# label = 2.2.5.1-55.1-a
# Base field F = Number Field in a with defining polynomial x^2 - x - 1
# Quaternion algebra given by i^2 = -1, j^2 = -1
# Order with basis over the integers given by [1, (a + 7)*i, 1/2*a + 1/2 + (1/2*a - 9)*i + 1/2*j, 1/2*a + (1/2*a - 5/2)*i + 1/2*k]

# Nmax = 5000

[(1, [(a + 7)*i, 1/2*a + 1/2 + (1/2*a - 9)*i + 1/2*j, 1/2*a + (1/2*a - 5/2)*i + 1/2*k]), (-1, [(-22*a + 11)*i, 1/2*a + 1/2 + (7/2*a + 12)*i + 1/2*j, -3/2*a + 1/2 + (-261/22*a + 109/22)*i + (-9/22*a + 3/22)*j + (-3/22*a + 1/22)*k])]
[((-2*a + 1,), a + 2 + (-171/2*a - 8)*i + (1/2*a - 1/2)*j + (a + 1/2)*k), ((-3*a + 1,), -3*a - 5 + (-195/2*a - 33)*i + (1/2*a + 1/2)*j + (-6*a - 1/2)*k)]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> -1, Fractional ideal (-2*a + 1) -> -1, Fractional ideal (-3*a + 1) -> -1
[-a + 6, -7/2*a + 9/2 + (39/2*a + 3)*i + (-a - 1/2)*j + a*k, [(9, [(-3, 12, 1.480)]), (109, [(-a - 10, -36, 3.827)]), (149, [(-4*a - 11, -36, 3.274)]), (269, [(4*a - 19, 36, 2.436), (-4*a - 15, -36, 2.436)]), (304, [(4*a - 20, 0, 0)]), (389, [(-5*a - 18, 36, 2.026), (5*a - 23, 36, 2.026)]), (409, [(-3*a - 19, -36, 1.976)]), (464, [(-4*a - 20, -72, 7.420)]), (529, [(-23, -36, 1.737)]), (569, [(-5*a - 22, 36, 1.675)]), (589, [(3*a - 26, 0, 0)]), (704, [(-8*a - 24, 72, 6.024)]), (909, [(-12*a - 27, -72, 5.302)]), (929, [(a - 31, -36, 1.311), (-a - 30, -36, 1.311)]), (944, [(8*a - 36, 72, 5.202), (-8*a - 28, 0, 0)]), (1069, [(-4*a - 31, 36, 1.222)]), (1129, [(-7*a - 31, -36, 1.189)]), (1189, [(-a - 34, 72, 4.635), (a - 35, 0, 0)]), (1264, [(-12*a - 32, -72, 4.496)]), (1349, [(4*a - 39, 72, 4.352)]), (1429, [(-13*a - 34, 36, 1.057)]), (1529, [(16*a - 51, 0, 0)]), (1609, [(-5*a - 38, -36, 0.9962), (5*a - 43, -36, 0.9962)]), (1769, [(-8*a - 39, -72, 3.800), (8*a - 47, 0, 0)]), (1889, [(-16*a - 39, 36, 0.9194)]), (1949, [(5*a - 47, -36, 0.9052)]), (1969, [(3*a - 46, -72, 3.602)]), (1984, [(16*a - 56, -72, 3.589), (-16*a - 40, 0, 0)]), (2129, [(-8*a - 43, -36, 0.8660)]), (2209, [(-47, 36, 0.8502)]), (2224, [(8*a - 52, -72, 3.389)]), (2269, [(15*a - 58, 108, 7.550), (-15*a - 43, -36, 0.8389)]), (2309, [(20*a - 63, -36, 0.8316)]), (2449, [(-9*a - 46, 72, 3.230)]), (2489, [(-7*a - 47, 72, 3.204), (7*a - 54, 0, 0)]), (2549, [(a - 51, 108, 7.123)]), (2609, [(-17*a - 46, 36, 0.7823)]), (2624, [(-8*a - 48, 72, 3.120)]), (2749, [(20*a - 67, 36, 0.7621)]), (2789, [(-4*a - 51, 36, 0.7567)]), (2869, [(9*a - 59, -72, 2.984), (-9*a - 50, 0, 0)]), (2969, [(-a - 54, -108, 6.600)]), (3069, [(12*a - 63, 0, 0)]), (3109, [(21*a - 71, 36, 0.7167)]), (3184, [(-12*a - 52, -72, 2.833), (12*a - 64, 0, 0)]), (3209, [(19*a - 70, -36, 0.7054)]), (3229, [(-4*a - 55, -108, 6.329)]), (3344, [(20*a - 72, 0, 0)]), (3449, [(13*a - 67, 108, 6.124)]), (3629, [(-5*a - 58, 72, 2.653)]), (3649, [(-3*a - 59, 72, 2.646), (-16*a - 55, 0, 0)]), (3664, [(-12*a - 56, 72, 2.641), (12*a - 68, -72, 2.641)]), (3709, [(19*a - 74, -36, 0.6561)]), (3769, [(24*a - 79, -36, 0.6509)]), (3824, [(4*a - 64, 72, 2.585)]), (3889, [(-8*a - 59, 36, 0.6408)]), (3904, [(-24*a - 56, 0, 0)]), (4009, [(11*a - 70, -72, 2.524), (-11*a - 59, 0, 0)]), (4129, [(-5*a - 62, 36, 0.6219), (5*a - 67, 36, 0.6219)]), (4149, [(-3*a - 63, -72, 2.481)]), (4189, [(25*a - 83, 72, 2.470), (-25*a - 58, 72, 2.470)]), (4309, [(23*a - 82, -72, 2.435)]), (4489, [(-67, 36, 0.5964)]), (4609, [(-17*a - 62, 72, 2.354)]), (4769, [(25*a - 87, 144, 9.258)]), (4829, [(20*a - 83, -144, 9.201)]), (4869, [(-9*a - 66, 0, 0)]), (4889, [(-23*a - 63, 36, 0.5715), (23*a - 86, -36, 0.5715)]), (4949, [(28*a - 91, 72, 2.272)]), (4969, [(a - 71, 36, 0.5669)])]]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> -1, Fractional ideal (-2*a + 1) -> 1, Fractional ideal (-3*a + 1) -> 1
[1, None, [(5, [(a - 3, -1, 0.9926)]), (41, [(-a - 6, 2, 0.6933)]), (61, [(-3*a - 7, 2, 0.5684)]), (121, [(-11, 2, 0.8071)]), (145, [(3*a - 14, 2, 0.7373)]), (176, [(4*a - 16, -4, 2.677), (-4*a - 12, 4, 1.338)]), (241, [(5*a - 19, -6, 2.573)]), (261, [(3*a - 18, -8, 4.396)]), (281, [(-7*a - 15, -6, 2.383)]), (341, [(-a - 18, 2, 0.4808)]), (361, [(-19, -4, 0.9345)]), (421, [(4*a - 23, 6, 1.947), (-4*a - 19, -6, 1.947)]), (496, [(8*a - 28, -4, 0.7973), (-8*a - 20, 8, 3.189)]), (505, [(a - 23, 4, 1.580)]), (576, [(-24, -4, 0.7398)]), (601, [(9*a - 31, -2, 0.1811)]), (641, [(7*a - 30, 10, 4.383), (-7*a - 23, -2, 0.1753)]), (701, [(-a - 26, -6, 1.509)]), (720, [(12*a - 36, 4, 1.323)]), (781, [(5*a - 31, 4, 1.271), (-5*a - 26, 8, 2.541)]), (801, [(-3*a - 27, 0, 0), (3*a - 30, 0, 0)]), (821, [(-4*a - 27, 6, 1.394)]), (880, [(-4*a - 28, -4, 2.394)]), (1045, [(3*a - 34, 2, 0.5493), (-3*a - 31, -8, 4.394)]), (1121, [(13*a - 43, 0, 0)]), (1145, [(8*a - 39, 6, 2.361), (-8*a - 31, -6, 2.361)]), (1201, [(15*a - 46, 2, 0.1281)]), (1216, [(8*a - 40, 0, 0)]), (1301, [(5*a - 39, 10, 3.077), (-5*a - 34, -2, 0.1231)]), (1381, [(9*a - 43, -2, 0.1195)]), (1421, [(-7*a - 35, 8, 1.884)]), (1441, [(8*a - 43, -4, 0.9355)]), (1481, [(a - 39, 2, 0.1153)]), (1501, [(-12*a - 35, 0, 0), (12*a - 47, 0, 0)]), (1520, [(-8*a - 36, -8, 3.643)]), (1521, [(-39, 4, 0.4553)]), (1616, [(16*a - 52, 12, 3.975)]), (1661, [(-4*a - 39, -8, 3.485)]), (1705, [(9*a - 47, 4, 1.720), (-9*a - 38, -4, 0.8600)]), (1745, [(7*a - 46, -6, 1.913)]), (1801, [(-17*a - 38, 6, 0.9414)]), (1845, [(-12*a - 39, 4, 0.8268)]), (1856, [(-8*a - 40, 12, 3.709)]), (1881, [(-15*a - 39, -4, 0.8188)]), (2096, [(4*a - 48, 0, 0)]), (2101, [(7*a - 50, 6, 1.743)]), (2141, [(-13*a - 42, -14, 4.701)]), (2161, [(-a - 46, -2, 0.09549), (a - 47, -2, 0.09549)]), (2201, [(11*a - 54, -4, 0.3785), (-11*a - 43, -4, 0.3785)]), (2221, [(12*a - 55, 14, 4.615)]), (2281, [(16*a - 59, 10, 2.324), (-16*a - 43, -2, 0.09295)]), (2305, [(19*a - 62, -4, 0.7397)]), (2321, [(-5*a - 46, 8, 2.949)]), (2381, [(4*a - 51, -10, 2.274), (-4*a - 47, -10, 2.274)]), (2416, [(20*a - 64, 4, 0.3612)]), (2521, [(-8*a - 47, -2, 0.08841)]), (2545, [(-13*a - 46, -2, 0.1760), (13*a - 59, -2, 0.1760)]), (2601, [(-51, 12, 3.133)]), (2705, [(16*a - 63, -4, 0.6828)]), (2736, [(-12*a - 48, -8, 1.358)]), (2741, [(-19*a - 47, -2, 0.08479)]), (2745, [(-3*a - 51, 8, 2.711)]), (2761, [(-23*a - 47, 0, 0), (23*a - 70, 0, 0)]), (2896, [(4*a - 56, -4, 0.3300), (-4*a - 52, -4, 0.3300)]), (2945, [(-8*a - 51, -4, 0.6544)]), (2981, [(13*a - 63, 4, 0.6504)]), (3041, [(11*a - 62, -2, 0.08050), (-11*a - 51, -2, 0.08050)]), (3056, [(8*a - 60, 4, 0.3212), (-8*a - 52, -8, 1.285)]), (3061, [(-17*a - 50, -6, 0.7221), (17*a - 67, 6, 0.7221)]), (3141, [(15*a - 66, 4, 0.3168)]), (3161, [(5*a - 59, -12, 2.842), (-5*a - 54, 0, 0)]), (3181, [(3*a - 58, 2, 0.07871)]), (3221, [(20*a - 71, 2, 0.07822), (-20*a - 51, 14, 3.833)]), (3245, [(-23*a - 51, -10, 7.793)]), (3280, [(-16*a - 52, 8, 2.480)]), (3361, [(-7*a - 55, -10, 1.914)]), (3376, [(24*a - 76, -16, 4.890)]), (3401, [(-8*a - 55, 8, 1.218)]), (3421, [(-a - 58, -8, 1.214), (a - 59, -4, 0.6072)]), (3520, [(8*a - 64, -4, 0.5986), (-8*a - 56, 4, 1.197)]), (3541, [(12*a - 67, 2, 0.07460)]), (3641, [(-25*a - 54, 10, 3.678)]), (3761, [(23*a - 78, -2, 0.07238)]), (3776, [(16*a - 72, -4, 0.2890), (-16*a - 56, -16, 4.623)]), (3781, [(27*a - 82, 4, 0.2888)]), (3805, [(-9*a - 58, 8, 2.303)]), (3845, [(-7*a - 59, 6, 1.289)]), (3905, [(-a - 62, 4, 1.137)]), (4045, [(-12*a - 59, 6, 1.256)]), (4061, [(17*a - 75, -12, 2.508)]), (4141, [(-21*a - 58, -4, 0.2759), (21*a - 79, -4, 0.2759)]), (4241, [(19*a - 78, 14, 3.340)]), (4261, [(20*a - 79, -6, 0.6120), (-20*a - 59, -6, 0.6120)]), (4321, [(9*a - 71, 8, 1.080), (-9*a - 62, -4, 0.2701)]), (4336, [(4*a - 68, -12, 2.427)]), (4345, [(27*a - 86, -6, 2.424), (-27*a - 59, 0, 0)]), (4421, [(a - 67, 2, 0.06676)]), (4541, [(11*a - 74, 4, 0.2635), (-11*a - 63, 4, 0.2635)]), (4661, [(5*a - 71, 4, 0.2601)]), (4681, [(-3*a - 67, 4, 0.2595)]), (4705, [(21*a - 83, 0, 0)]), (4720, [(-12*a - 64, 12, 4.652), (12*a - 76, 0, 0)]), (4721, [(-16*a - 63, -10, 1.615)]), (4741, [(4*a - 71, -14, 6.318), (-4*a - 67, -4, 0.2579)]), (4801, [(29*a - 91, -2, 0.06406), (-29*a - 62, -2, 0.06406)]), (4880, [(-4*a - 68, 8, 2.033)]), (4905, [(24*a - 87, 0, 0)])]]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> 1, Fractional ideal (-2*a + 1) -> -1, Fractional ideal (-3*a + 1) -> 1
[-5*a + 2, -2*a + 21/2 + (47*a + 326)*i + (-1/2*a + 1/2)*j + 1/2*a*k, [(-16, [(4*a - 4, -12, 2.358)]), (-71, [(8*a - 7, 0, 0)]), (-131, [(11*a - 10, -24, 3.296)]), (-151, [(11*a - 6, 24, 3.070)]), (-171, [(12*a - 3, -24, 2.885)]), (-176, [(12*a - 4, -12, 1.422)]), (-211, [(13*a - 7, 0, 0)]), (-251, [(15*a - 2, 24, 2.381)]), (-271, [(16*a - 15, 0, 0)]), (-311, [(16*a - 11, -24, 2.139)]), (-451, [(19*a - 10, -24, 3.553), (20*a - 3, -24, 3.553)]), (-531, [(21*a - 15, 24, 1.637)]), (-551, [(23*a - 22, 24, 1.607)]), (-631, [(23*a - 6, 24, 1.502)]), (-656, [(24*a - 4, -24, 1.473)]), (-671, [(24*a - 19, 24, 2.913), (25*a - 23, -24, 2.913)]), (-691, [(25*a - 3, -24, 1.435)]), (-711, [(24*a - 15, 24, 1.415)]), (-751, [(25*a - 7, 0, 0)]), (-976, [(28*a - 12, 24, 1.208)]), (-1031, [(29*a - 19, 24, 1.175)]), (-1111, [(32*a - 3, -48, 4.528)]), (-1136, [(32*a - 4, 24, 1.119)]), (-1171, [(31*a - 10, -48, 4.410)]), (-1216, [(32*a - 24, 24, 1.082)]), (-1271, [(33*a - 7, 0, 0)]), (-1451, [(36*a - 31, -48, 3.962)]), (-1531, [(35*a - 18, 48, 3.857)]), (-1571, [(36*a - 11, 48, 3.807)]), (-1616, [(36*a - 20, 0, 0)]), (-1691, [(37*a - 23, -24, 0.9175), (39*a - 34, 24, 0.9175)]), (-1711, [(40*a - 3, 48, 3.648)]), (-1791, [(39*a - 30, 24, 0.8915)]), (-1811, [(39*a - 10, 48, 3.546)]), (-1856, [(40*a - 8, -24, 0.8757)]), (-1891, [(43*a - 42, 0, 0)]), (-1931, [(43*a - 2, -48, 3.434)]), (-1936, [(44*a - 44, 24, 1.715)]), (-1951, [(40*a - 27, 48, 3.417)]), (-1991, [(41*a - 31, 48, 3.382), (40*a - 23, 0, 0)]), (-2071, [(43*a - 6, 24, 0.8290)]), (-2111, [(45*a - 43, 0, 0)]), (-2131, [(44*a - 39, -48, 3.269)]), (-2151, [(45*a - 3, 24, 0.8135)]), (-2251, [(44*a - 35, 24, 0.7952)]), (-2291, [(43*a - 26, -24, 0.7882)]), (-2411, [(44*a - 19, -48, 3.073)]), (-2531, [(45*a - 23, 0, 0)]), (-2591, [(48*a - 7, -24, 0.7412)]), (-2651, [(51*a - 50, 24, 1.466), (47*a - 34, 0, 0)]), (-2671, [(47*a - 14, 0, 0)]), (-2711, [(48*a - 11, -24, 0.7246)]), (-2731, [(47*a - 18, -24, 0.7219)]), (-2791, [(49*a - 39, -72, 6.427)]), (-2831, [(51*a - 46, -24, 0.7091)]), (-2871, [(48*a - 27, 24, 1.408), (51*a - 6, 0, 0)]), (-2911, [(49*a - 15, -48, 2.797)]), (-2971, [(49*a - 19, 72, 6.229)]), (-3091, [(52*a - 43, -24, 1.357), (53*a - 47, 48, 5.429)]), (-3131, [(55*a - 2, -48, 2.697)]), (-3136, [(56*a - 56, -48, 2.695)]), (-3191, [(56*a - 55, -48, 2.672)]), (-3211, [(52*a - 39, -72, 5.992)]), (-3231, [(51*a - 30, 72, 5.974)]), (-3271, [(53*a - 11, -48, 2.639)]), (-3371, [(52*a - 23, 48, 2.599)]), (-3411, [(57*a - 3, 24, 0.6460)]), (-3491, [(53*a - 31, -72, 5.747)]), (-3511, [(53*a - 27, 24, 0.6367)]), (-3631, [(56*a - 11, 24, 0.6261)]), (-3691, [(55*a - 18, -24, 0.6210)]), (-3751, [(55*a - 22, -48, 4.928)]), (-3851, [(57*a - 43, 0, 0)]), (-3856, [(56*a - 36, 72, 5.468)]), (-3971, [(57*a - 19, 24, 1.197)]), (-4016, [(60*a - 52, 72, 5.358)]), (-4031, [(63*a - 62, -48, 2.377)]), (-4176, [(60*a - 48, 0, 0)]), (-4311, [(63*a - 6, 24, 0.5746)]), (-4331, [(59*a - 34, 0, 0)]), (-4411, [(65*a - 3, 48, 2.272), (61*a - 15, 0, 0)]), (-4491, [(60*a - 27, 72, 5.067)]), (-4496, [(60*a - 28, -24, 0.5627)]), (-4591, [(64*a - 55, 48, 2.227)]), (-4631, [(61*a - 35, -24, 1.109), (65*a - 7, 0, 0)]), (-4651, [(61*a - 31, -48, 2.213)]), (-4851, [(63*a - 42, 96, 8.667)]), (-4976, [(64*a - 20, -24, 0.5348)])]]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> 1, Fractional ideal (-2*a + 1) -> 1, Fractional ideal (-3*a + 1) -> -1
[-4*a + 1, 7/2*a + 7/2 + (-21*a + 13)*i + 3/2*a*j + (a - 1/2)*k, [(-19, [(4*a - 3, 12, 2.164)]), (-64, [(8*a - 8, 12, 1.179)]), (-79, [(8*a - 3, -12, 1.061)]), (-80, [(8*a - 4, -12, 2.109)]), (-95, [(9*a - 7, -12, 1.936)]), (-179, [(12*a - 7, 12, 0.7050)]), (-239, [(15*a - 14, -12, 0.6102)]), (-279, [(15*a - 6, 24, 2.259)]), (-295, [(16*a - 3, 12, 1.098)]), (-319, [(16*a - 7, -24, 2.113)]), (-355, [(17*a - 11, -24, 4.005)]), (-359, [(17*a - 7, -12, 0.4978)]), (-395, [(19*a - 2, 12, 0.9492)]), (-419, [(20*a - 19, -36, 4.147)]), (-464, [(20*a - 4, 0, 0)]), (-479, [(21*a - 19, -12, 0.4310)]), (-599, [(24*a - 23, 12, 0.3854)]), (-619, [(23*a - 18, 12, 0.3791)]), (-719, [(24*a - 11, 12, 0.3518)]), (-720, [(24*a - 12, -24, 2.812)]), (-779, [(27*a - 2, -24, 1.352)]), (-784, [(28*a - 28, 48, 5.390)]), (-859, [(28*a - 3, 12, 0.3218)]), (-899, [(27*a - 10, -48, 5.034)]), (-995, [(29*a - 7, 12, 0.5981)]), (-1039, [(29*a - 11, 36, 2.634)]), (-1159, [(32*a - 27, 0, 0)]), (-1179, [(33*a - 3, 0, 0)]), (-1195, [(31*a - 18, 36, 4.912)]), (-1255, [(32*a - 11, -24, 2.130)]), (-1259, [(35*a - 34, 12, 0.2658)]), (-1319, [(33*a - 23, -36, 2.338)]), (-1359, [(33*a - 15, -24, 1.023)]), (-1399, [(35*a - 6, -36, 2.270)]), (-1424, [(36*a - 32, 24, 0.9999), (36*a - 4, -24, 0.9999)]), (-1555, [(37*a - 31, 0, 0)]), (-1559, [(39*a - 38, 12, 0.2389)]), (-1584, [(36*a - 24, -48, 3.792)]), (-1719, [(39*a - 6, 0, 0)]), (-1744, [(40*a - 4, -24, 0.9035)]), (-1795, [(41*a - 3, 36, 4.008)]), (-1879, [(40*a - 31, -60, 5.440)]), (-1895, [(39*a - 22, -12, 0.4334)]), (-1899, [(39*a - 18, 24, 0.8658)]), (-1919, [(40*a - 11, 24, 0.8613)]), (-2039, [(43*a - 38, -36, 1.880)]), (-2059, [(44*a - 3, 24, 0.8315)]), (-2099, [(41*a - 19, 36, 1.853)]), (-2155, [(43*a - 34, 24, 1.626)]), (-2179, [(43*a - 10, 36, 1.819)]), (-2224, [(44*a - 36, -24, 0.8001)]), (-2239, [(43*a - 30, 12, 0.1993)]), (-2255, [(47*a - 46, 0, 0)]), (-2320, [(44*a - 12, 0, 0)]), (-2339, [(44*a - 31, 12, 0.1950)]), (-2384, [(44*a - 16, -24, 0.7728)]), (-2395, [(44*a - 27, 12, 0.3855)]), (-2419, [(44*a - 23, 0, 0)]), (-2439, [(48*a - 3, 24, 0.7640)]), (-2455, [(47*a - 6, -48, 6.092)]), (-2459, [(45*a - 31, 60, 4.755)]), (-2495, [(49*a - 47, -12, 0.3777)]), (-2519, [(48*a - 43, 48, 3.007), (45*a - 19, 0, 0)]), (-2539, [(49*a - 3, -60, 4.680)]), (-2579, [(47*a - 10, 60, 4.644)]), (-2624, [(48*a - 8, 72, 6.629)]), (-2655, [(48*a - 39, 0, 0)]), (-2659, [(49*a - 43, 60, 4.573)]), (-2695, [(49*a - 7, 0, 0)]), (-2704, [(52*a - 52, 24, 0.7256)]), (-2755, [(47*a - 26, -24, 1.438)]), (-2855, [(48*a - 19, 0, 0)]), (-2864, [(48*a - 20, 24, 0.7050)]), (-2939, [(52*a - 47, 36, 1.566)]), (-2979, [(51*a - 42, -72, 6.222)]), (-2999, [(49*a - 23, 12, 0.1722)]), (-3155, [(52*a - 11, -24, 1.343)]), (-3195, [(51*a - 18, 24, 1.335)]), (-3239, [(51*a - 22, 48, 2.652)]), (-3259, [(52*a - 15, -36, 1.487)]), (-3280, [(52*a - 36, -24, 1.318)]), (-3299, [(52*a - 35, 36, 1.478)]), (-3344, [(56*a - 52, -48, 2.610)]), (-3355, [(53*a - 39, -48, 5.211)]), (-3359, [(57*a - 55, 12, 0.1628)]), (-3379, [(53*a - 15, 24, 0.6491)]), (-3455, [(53*a - 19, 0, 0)]), (-3479, [(56*a - 7, 0, 0)]), (-3499, [(53*a - 23, 36, 1.435)]), (-3520, [(56*a - 8, 48, 5.088)]), (-3539, [(59*a - 58, 60, 3.964)]), (-3599, [(55*a - 14, 24, 0.6289)]), (-3739, [(55*a - 34, 36, 1.388)]), (-3755, [(57*a - 11, 48, 4.926)]), (-3779, [(55*a - 26, 12, 0.1534)]), (-3799, [(59*a - 6, 24, 0.6122)]), (-3839, [(56*a - 19, -24, 0.6090)]), (-3895, [(61*a - 3, 48, 4.836)]), (-3904, [(56*a - 24, 48, 2.415)]), (-3919, [(56*a - 27, 36, 1.356)]), (-4019, [(57*a - 35, -12, 0.1488)]), (-4055, [(57*a - 31, -24, 1.185)]), (-4059, [(60*a - 51, -48, 2.369)]), (-4099, [(61*a - 7, -60, 3.683)]), (-4159, [(64*a - 63, -12, 0.1463)]), (-4195, [(59*a - 42, -36, 2.621)]), (-4259, [(63*a - 58, -36, 1.301)]), (-4379, [(61*a - 47, 24, 0.5702)]), (-4464, [(60*a - 36, -48, 2.259)]), (-4495, [(64*a - 7, -24, 1.126)]), (-4544, [(64*a - 8, 24, 0.5597), (64*a - 56, 0, 0)]), (-4579, [(61*a - 39, 48, 2.230)]), (-4619, [(67*a - 2, 0, 0)]), (-4624, [(68*a - 68, -24, 0.5549)]), (-4639, [(61*a - 27, 36, 1.246)]), (-4655, [(63*a - 14, -24, 1.106)]), (-4720, [(64*a - 52, -24, 1.098)]), (-4759, [(64*a - 51, -36, 1.231)]), (-4799, [(67*a - 62, 60, 3.404)]), (-4819, [(65*a - 11, 0, 0)]), (-4880, [(68*a - 64, 24, 1.080)]), (-4959, [(63*a - 30, 48, 2.143)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> -1, Fractional ideal (-2*a + 1) -> -1, Fractional ideal (-3*a + 1) -> 1
[11*a - 10, 60*a + 41 + (-17/2*a - 1505/2)*i + 83/2*j + 1/2*a*k, [(-11, [(-3*a + 1, 12, 1.261)]), (-31, [(-5*a + 2, -24, 1.502)]), (-131, [(-11*a + 1, 24, 0.7308)]), (-151, [(-11*a + 5, 24, 0.6807)]), (-171, [(-12*a + 9, -48, 2.559)]), (-176, [(-12*a + 8, 48, 2.522)]), (-191, [(-13*a + 2, 24, 0.6052)]), (-211, [(-13*a + 6, -72, 5.182)]), (-271, [(-16*a + 1, -72, 4.573)]), (-331, [(-17*a + 14, 24, 0.4598)]), (-451, [(-20*a + 17, -48, 1.575)]), (-496, [(-20*a + 12, 96, 6.009)]), (-551, [(-21*a + 10, -48, 1.425)]), (-576, [(-24*a, 48, 1.394)]), (-656, [(-24*a + 20, -48, 1.306)]), (-671, [(-25*a + 2, -48, 1.292)]), (-711, [(-24*a + 9, -48, 1.255)]), (-911, [(-27*a + 13, -24, 0.2771)]), (-971, [(-28*a + 17, -72, 2.416)]), (-976, [(-28*a + 16, 96, 4.284)]), (-991, [(-31*a + 1, -24, 0.2657)]), (-1031, [(-29*a + 10, -24, 0.2605)]), (-1111, [(-31*a + 25, -24, 0.5019), (-32*a + 29, -48, 2.008)]), (-1216, [(-32*a + 8, 96, 3.838)]), (-1271, [(-33*a + 26, 0, 0)]), (-1291, [(-35*a + 33, 120, 5.820)]), (-1451, [(-36*a + 5, 24, 0.2196)]), (-1511, [(-35*a + 13, 72, 1.937)]), (-1531, [(-35*a + 17, -24, 0.2138)]), (-1611, [(-36*a + 21, 0, 0)]), (-1616, [(-36*a + 16, 144, 7.491)]), (-1691, [(-37*a + 14, -48, 0.8136), (-39*a + 5, -96, 3.255)]), (-1711, [(-40*a + 37, -96, 3.235)]), (-1811, [(-39*a + 29, -24, 0.1966)]), (-1831, [(-40*a + 33, -72, 1.759)]), (-1856, [(-40*a + 32, 48, 0.7766)]), (-1871, [(-39*a + 25, 24, 0.1934)]), (-1891, [(-43*a + 1, 0, 0)]), (-1931, [(-43*a + 41, -120, 4.759)]), (-1936, [(-44*a, 48, 1.521)]), (-1991, [(-40*a + 17, -72, 3.374), (-41*a + 10, 24, 0.3749)]), (-2011, [(-41*a + 30, 72, 1.679)]), (-2071, [(-41*a + 26, -96, 2.941)]), (-2111, [(-45*a + 2, -72, 1.638)]), (-2131, [(-44*a + 5, 120, 4.530)]), (-2151, [(-45*a + 42, 96, 2.886)]), (-2251, [(-44*a + 9, -120, 4.408)]), (-2291, [(-45*a + 38, 0, 0)]), (-2311, [(-43*a + 21, -24, 0.1740)]), (-2411, [(-44*a + 25, -24, 0.1704)]), (-2591, [(-48*a + 41, -24, 0.1643)]), (-2651, [(-47*a + 13, 144, 5.848)]), (-2791, [(-49*a + 10, -72, 1.425)]), (-2831, [(-48*a + 17, 144, 5.659)]), (-2871, [(-48*a + 21, -96, 2.498)]), (-2891, [(-49*a + 14, 96, 2.489)]), (-2896, [(-52*a + 4, -48, 0.6217), (-52*a + 48, 144, 5.596)]), (-2911, [(-49*a + 34, 96, 2.480)]), (-3056, [(-52*a + 44, 0, 0)]), (-3091, [(-53*a + 6, -48, 0.6018)]), (-3131, [(-55*a + 53, 48, 0.5979)]), (-3211, [(-52*a + 13, 0, 0)]), (-3231, [(-51*a + 21, 0, 0)]), (-3331, [(-52*a + 33, -168, 7.102)]), (-3391, [(-56*a + 5, 24, 0.1436)]), (-3511, [(-53*a + 26, 24, 0.1412)]), (-3691, [(-55*a + 37, 120, 3.442)]), (-3751, [(-55*a + 33, 48, 1.093)]), (-3771, [(-60*a + 57, -192, 8.718)]), (-3776, [(-56*a + 16, -48, 0.5445), (-56*a + 40, -96, 2.178)]), (-3856, [(-56*a + 20, -144, 4.849)]), (-3931, [(-59*a + 9, -24, 0.1334)]), (-4031, [(-57*a + 34, 0, 0)]), (-4051, [(-61*a + 6, -216, 10.64)]), (-4176, [(-60*a + 12, 0, 0)]), (-4211, [(-60*a + 13, 72, 1.160)]), (-4271, [(-61*a + 50, 72, 1.152)]), (-4311, [(-63*a + 57, -96, 2.038)]), (-4331, [(-59*a + 25, 144, 4.576)]), (-4411, [(-61*a + 46, -72, 2.267), (-65*a + 62, 24, 0.2519)]), (-4496, [(-60*a + 32, 48, 0.4990)]), (-4691, [(-68*a + 1, -24, 0.1221)]), (-4851, [(-63*a + 21, 48, 0.9608)]), (-4871, [(-63*a + 41, 24, 0.1198)]), (-4931, [(-63*a + 37, -120, 2.978)]), (-4951, [(-64*a + 45, 120, 2.972)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> -1, Fractional ideal (-2*a + 1) -> 1, Fractional ideal (-3*a + 1) -> -1
[4*a - 3, 5*a + 1/2 + (2*a - 44)*i + (1/2*a + 1/2)*j + (-1/2*a + 3)*k, [(-19, [(-4*a + 1, 12, 1.918)]), (-55, [(-7*a + 1, 12, 2.255)]), (-59, [(-7*a + 5, -12, 1.088)]), (-79, [(-8*a + 5, 12, 0.9406)]), (-95, [(-9*a + 2, 0, 0)]), (-144, [(-12*a, -24, 2.787)]), (-155, [(-12*a + 1, 12, 1.343)]), (-199, [(-13*a + 10, 12, 0.5927)]), (-239, [(-15*a + 1, -12, 0.5408)]), (-320, [(-16*a + 8, -24, 3.739)]), (-359, [(-17*a + 10, 12, 0.4412)]), (-379, [(-19*a + 1, 12, 0.4294)]), (-395, [(-19*a + 17, -24, 3.365)]), (-464, [(-20*a + 16, -24, 1.552)]), (-479, [(-21*a + 2, 36, 3.438)]), (-499, [(-20*a + 9, -36, 3.368)]), (-539, [(-21*a + 14, 24, 1.440)]), (-639, [(-24*a + 21, 24, 1.323)]), (-704, [(-24*a + 16, 24, 1.260)]), (-779, [(-25*a + 14, -24, 1.198)]), (-839, [(-27*a + 5, 36, 2.598)]), (-895, [(-29*a + 2, 24, 2.236)]), (-899, [(-27*a + 17, -24, 1.115)]), (-944, [(-28*a + 8, 24, 1.088)]), (-955, [(-28*a + 9, -12, 0.5411)]), (-1159, [(-31*a + 9, 24, 0.9823)]), (-1179, [(-33*a + 30, -24, 0.9739)]), (-1195, [(-31*a + 13, 24, 1.935)]), (-1199, [(-32*a + 25, 0, 0)]), (-1279, [(-32*a + 17, 12, 0.2338)]), (-1319, [(-33*a + 10, 12, 0.2302)]), (-1359, [(-33*a + 18, 0, 0)]), (-1395, [(-36*a + 33, 0, 0)]), (-1399, [(-35*a + 29, -36, 2.012)]), (-1439, [(-37*a + 2, -36, 1.984)]), (-1499, [(-36*a + 29, -36, 1.943)]), (-1519, [(-35*a + 21, 48, 3.432)]), (-1559, [(-39*a + 1, 36, 1.906)]), (-1595, [(-39*a + 37, 24, 1.675)]), (-1639, [(-40*a + 1, 0, 0)]), (-1655, [(-37*a + 26, -12, 0.4110)]), (-1699, [(-37*a + 22, 60, 5.071)]), (-1744, [(-40*a + 36, 48, 3.203)]), (-1795, [(-41*a + 38, 0, 0)]), (-1899, [(-39*a + 21, -48, 3.070)]), (-1919, [(-41*a + 34, 24, 0.7634)]), (-1984, [(-40*a + 16, -72, 6.757), (-40*a + 24, 0, 0)]), (-2059, [(-44*a + 41, -24, 0.7370)]), (-2095, [(-41*a + 18, 24, 1.461)]), (-2155, [(-43*a + 9, -36, 3.242)]), (-2224, [(-44*a + 8, 72, 6.382)]), (-2239, [(-43*a + 13, -60, 4.417)]), (-2259, [(-45*a + 6, -72, 6.332)]), (-2320, [(-44*a + 32, 48, 5.554)]), (-2339, [(-44*a + 13, -12, 0.1729)]), (-2384, [(-44*a + 28, -48, 2.740)]), (-2395, [(-44*a + 17, 48, 5.467)]), (-2399, [(-45*a + 34, 12, 0.1707)]), (-2419, [(-44*a + 21, -24, 0.6799)]), (-2439, [(-48*a + 45, 0, 0)]), (-2455, [(-47*a + 41, -12, 0.3375)]), (-2459, [(-45*a + 14, 12, 0.1686)]), (-2480, [(-48*a + 44, 24, 1.343)]), (-2624, [(-48*a + 40, -24, 0.6528)]), (-2659, [(-49*a + 6, 12, 0.1621)]), (-2699, [(-51*a + 49, -12, 0.1609)]), (-2755, [(-52*a + 1, 48, 5.097)]), (-2759, [(-48*a + 13, 24, 0.6367), (-47*a + 25, 0, 0)]), (-2799, [(-48*a + 33, -24, 0.6321)]), (-2819, [(-49*a + 38, -36, 1.417)]), (-2855, [(-48*a + 29, 36, 2.816)]), (-2880, [(-48*a + 24, -24, 1.246)]), (-2939, [(-52*a + 5, 60, 3.855)]), (-2995, [(-49*a + 22, -48, 4.889)]), (-2999, [(-49*a + 26, -36, 1.374)]), (-3019, [(-52*a + 45, 12, 0.1522)]), (-3095, [(-51*a + 13, 24, 1.202)]), (-3184, [(-52*a + 12, 48, 2.371)]), (-3239, [(-53*a + 10, 48, 2.350)]), (-3280, [(-52*a + 16, -24, 1.168)]), (-3299, [(-52*a + 17, -36, 1.310)]), (-3344, [(-52*a + 20, -48, 2.313)]), (-3379, [(-53*a + 38, 72, 5.178)]), (-3539, [(-59*a + 1, -12, 0.1405)]), (-3595, [(-59*a + 57, -48, 4.462)]), (-3599, [(-55*a + 41, 0, 0)]), (-3664, [(-56*a + 12, -72, 4.972), (-56*a + 44, -72, 4.972)]), (-3719, [(-57*a + 10, -12, 0.1371)]), (-3739, [(-55*a + 21, -12, 0.1367)]), (-3779, [(-55*a + 29, -84, 6.664)]), (-3799, [(-56*a + 17, 24, 0.5426)]), (-3895, [(-56*a + 33, -24, 1.072)]), (-3904, [(-56*a + 32, 0, 0)]), (-3920, [(-56*a + 28, 0, 0)]), (-4055, [(-57*a + 26, -12, 0.2626)]), (-4079, [(-59*a + 13, -36, 1.178)]), (-4099, [(-61*a + 54, -12, 0.1306)]), (-4139, [(-60*a + 49, 12, 0.1299)]), (-4259, [(-63*a + 5, -36, 1.153)]), (-4295, [(-59*a + 37, 0, 0)]), (-4304, [(-60*a + 16, 0, 0), (-60*a + 44, 0, 0)]), (-4339, [(-59*a + 33, 108, 10.28)]), (-4379, [(-60*a + 41, 48, 2.021)]), (-4495, [(-64*a + 57, -24, 0.9976)]), (-4499, [(-63*a + 53, 0, 0)]), (-4519, [(-61*a + 42, -12, 0.1244)]), (-4555, [(-67*a + 1, 36, 2.230)]), (-4579, [(-65*a + 6, 48, 1.977)]), (-4619, [(-67*a + 65, 0, 0)]), (-4639, [(-61*a + 34, 12, 0.1227)]), (-4655, [(-63*a + 49, 24, 0.9803)]), (-4679, [(-64*a + 53, -12, 0.1222)]), (-4759, [(-64*a + 13, 36, 1.091)]), (-4819, [(-68*a + 65, 0, 0)]), (-4855, [(-67*a + 61, -36, 2.160)]), (-4880, [(-68*a + 4, 48, 3.830)]), (-4939, [(-65*a + 14, 24, 0.4758), (-68*a + 5, -24, 0.4758)]), (-4955, [(-63*a + 29, 36, 2.138)]), (-4959, [(-69*a + 66, -48, 1.900)]), (-4999, [(-64*a + 21, 84, 5.794)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> 1, Fractional ideal (-2*a + 1) -> -1, Fractional ideal (-3*a + 1) -> -1
[-3, 5/2*a + 2 + (-34*a + 63/2)*i + (1/2*a - 1/2)*j + 3*a*k, [(29, [(-a + 6, -12, 3.300)]), (64, [(8, 12, 2.221)]), (89, [(a + 9, -12, 1.884), (-a + 10, -12, 1.884)]), (169, [(13, 12, 1.367)]), (289, [(17, 12, 1.045)]), (304, [(4*a + 16, 24, 4.077)]), (349, [(-5*a + 22, 12, 0.9513)]), (369, [(3*a + 18, 0, 0)]), (549, [(9*a + 21, -24, 3.034)]), (589, [(7*a + 22, -24, 2.929)]), (649, [(a + 25, -24, 2.790)]), (709, [(4*a + 25, 36, 6.007), (-4*a + 29, -12, 0.6674)]), (769, [(9*a + 25, -12, 0.6408)]), (784, [(28, 24, 2.539)]), (809, [(7*a + 26, -36, 5.623)]), (1009, [(8*a + 29, -12, 0.5595)]), (1109, [(-11*a + 41, -12, 0.5336), (11*a + 30, -36, 4.803)]), (1229, [(-5*a + 38, 36, 4.562)]), (1249, [(3*a + 34, 12, 0.5028)]), (1264, [(-12*a + 44, 0, 0)]), (1289, [(8*a + 33, -36, 4.455)]), (1349, [(13*a + 33, 0, 0)]), (1529, [(5*a + 37, 0, 0)]), (1549, [(3*a + 38, 36, 4.064), (-3*a + 41, -12, 0.4515)]), (1584, [(12*a + 36, 48, 7.144)]), (1669, [(12*a + 37, 12, 0.4350)]), (1709, [(-17*a + 54, 60, 10.75), (17*a + 37, 12, 0.4299)]), (1744, [(-4*a + 44, 0, 0)]), (1789, [(15*a + 38, 12, 0.4202)]), (1829, [(4*a + 41, -24, 1.662), (-4*a + 45, 48, 6.648)]), (2009, [(-7*a + 49, 24, 1.586)]), (2089, [(17*a + 41, -12, 0.3888)]), (2169, [(-15*a + 57, -24, 1.526)]), (2189, [(4*a + 45, 24, 1.519)]), (2224, [(8*a + 44, -24, 1.507)]), (2384, [(-16*a + 60, -48, 5.823)]), (2389, [(7*a + 46, 36, 3.272)]), (2449, [(-a + 50, -24, 1.436)]), (2489, [(16*a + 45, 48, 5.699), (-16*a + 61, -24, 1.425)]), (2529, [(21*a + 45, 48, 5.654)]), (2624, [(-8*a + 56, -48, 5.551)]), (2864, [(-20*a + 68, -24, 1.328), (20*a + 48, -24, 1.328)]), (2869, [(-13*a + 62, -24, 1.327), (13*a + 49, 0, 0)]), (2929, [(11*a + 50, 0, 0), (-11*a + 61, 0, 0)]), (2989, [(-21*a + 70, -24, 1.300)]), (3049, [(5*a + 53, 36, 2.897)]), (3169, [(-8*a + 61, 12, 0.3157), (8*a + 53, -36, 2.841)]), (3249, [(57, 0, 0)]), (3329, [(13*a + 53, -36, 2.772)]), (3344, [(4*a + 56, -48, 4.917)]), (3389, [(-11*a + 65, 12, 0.3053), (11*a + 54, 36, 2.747)]), (3629, [(-23*a + 77, -24, 1.180)]), (3789, [(-12*a + 69, -72, 10.39), (12*a + 57, 24, 1.155)]), (3824, [(4*a + 60, -48, 4.598)]), (3904, [(-24*a + 80, -24, 1.138)]), (3929, [(-17*a + 74, 12, 0.2835)]), (3989, [(-20*a + 77, -36, 2.532)]), (4009, [(-15*a + 73, 24, 1.123), (15*a + 58, 0, 0)]), (4169, [(23*a + 58, 24, 1.101)]), (4229, [(7*a + 62, -36, 2.459), (-7*a + 69, 12, 0.2733)]), (4289, [(-a + 66, -60, 6.784)]), (4309, [(12*a + 61, 72, 9.746)]), (4464, [(24*a + 60, -48, 4.256), (-24*a + 84, 0, 0)]), (4469, [(-17*a + 78, 48, 4.253), (17*a + 61, 24, 1.063)]), (4544, [(-8*a + 72, 24, 1.055), (8*a + 64, 72, 9.491)]), (4549, [(-15*a + 77, 12, 0.2635)]), (4649, [(-29*a + 90, 12, 0.2606)]), (4729, [(9*a + 65, 36, 2.326)]), (4769, [(7*a + 66, 0, 0)]), (4829, [(a + 69, -48, 4.092)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> 1, Fractional ideal (-2*a + 1) -> 1, Fractional ideal (-3*a + 1) -> 1
[-a - 6, -19/2*a + 5/2 + (135/2*a + 5)*i + 1/2*j + (-10*a)*k, [(1, [(1, 2, 0.4936)]), (101, [(4*a + 9, 0, 0)]), (176, [(-4*a + 16, 12, 2.679)]), (205, [(-4*a + 17, -12, 2.482)]), (245, [(7*a + 14, 12, 2.271)]), (305, [(-a + 18, -12, 2.035)]), (320, [(-8*a + 24, -12, 1.987)]), (341, [(-4*a + 21, 24, 3.849), (4*a + 17, 0, 0)]), (461, [(a + 21, 24, 3.310)]), (541, [(3*a + 22, -24, 3.056)]), (545, [(8*a + 21, 12, 1.522)]), (605, [(-11*a + 33, -12, 2.890)]), (656, [(-4*a + 28, 0, 0)]), (745, [(3*a + 26, -12, 1.302)]), (761, [(-8*a + 33, 0, 0)]), (781, [(-12*a + 37, 0, 0)]), (880, [(-4*a + 32, 0, 0), (4*a + 28, 0, 0)]), (941, [(4*a + 29, 24, 2.317)]), (976, [(-12*a + 40, 0, 0)]), (981, [(3*a + 30, -24, 2.269)]), (1045, [(12*a + 29, -12, 2.199), (-12*a + 41, 0, 0)]), (1061, [(7*a + 30, 24, 2.182), (-7*a + 37, -24, 2.182)]), (1121, [(a + 33, 24, 2.123)]), (1136, [(4*a + 32, -24, 2.109), (-4*a + 36, 24, 2.109)]), (1205, [(4*a + 33, -12, 1.024)]), (1216, [(8*a + 32, 0, 0)]), (1305, [(9*a + 33, 0, 0)]), (1341, [(12*a + 33, -24, 1.941)]), (1361, [(16*a + 33, 0, 0)]), (1405, [(-a + 38, 12, 0.9481)]), (1441, [(-15*a + 49, 0, 0)]), (1501, [(4*a + 37, -24, 1.835), (-4*a + 41, 0, 0)]), (1520, [(-8*a + 44, 24, 3.646)]), (1601, [(8*a + 37, -24, 1.776)]), (1661, [(7*a + 38, -24, 3.488)]), (1705, [(-16*a + 53, 12, 1.721)]), (1721, [(a + 41, -24, 1.713), (-a + 42, 0, 0)]), (1741, [(11*a + 38, 24, 1.703), (-11*a + 49, 0, 0)]), (1805, [(-19*a + 57, 0, 0)]), (1856, [(-8*a + 48, -24, 1.650)]), (1861, [(-5*a + 46, 0, 0)]), (1881, [(-3*a + 45, 24, 3.278)]), (1936, [(44, 24, 3.231)]), (2045, [(13*a + 41, 36, 7.073)]), (2081, [(-16*a + 57, -24, 1.558)]), (2096, [(4*a + 44, 24, 1.553)]), (2101, [(-20*a + 61, -24, 1.551), (20*a + 41, 24, 3.101)]), (2105, [(-11*a + 53, 12, 0.7746), (11*a + 42, 12, 0.7746)]), (2245, [(3*a + 46, -12, 0.7501), (-3*a + 49, -12, 0.7501)]), (2320, [(12*a + 44, 24, 2.951)]), (2321, [(8*a + 45, 0, 0)]), (2416, [(20*a + 44, -24, 1.446)]), (2421, [(-12*a + 57, 24, 1.445), (12*a + 45, -24, 1.445)]), (2441, [(13*a + 45, 0, 0)]), (2480, [(4*a + 48, -24, 2.855), (-4*a + 52, -24, 2.855)]), (2501, [(-17*a + 62, 24, 1.421), (17*a + 45, -48, 5.685)]), (2581, [(-4*a + 53, 24, 1.399), (-15*a + 61, 24, 1.399)]), (2621, [(-5*a + 54, 24, 1.388), (5*a + 49, 48, 5.553)]), (2736, [(-12*a + 60, -48, 5.436)]), (2761, [(-9*a + 58, 0, 0)]), (2801, [(7*a + 50, -48, 5.372)]), (2845, [(12*a + 49, 12, 0.6663)]), (2880, [(-24*a + 72, -24, 2.649)]), (2945, [(-17*a + 66, 0, 0)]), (2981, [(-20*a + 69, -24, 2.604)]), (3005, [(4*a + 53, 36, 5.835)]), (3121, [(-23*a + 73, 24, 1.272)]), (3136, [(56, -24, 1.269)]), (3205, [(9*a + 53, -12, 0.6278), (-9*a + 62, -12, 0.6278)]), (3245, [(7*a + 54, -24, 2.496), (-7*a + 61, -24, 4.991)]), (3376, [(24*a + 52, -24, 1.223)]), (3401, [(-16*a + 69, 0, 0)]), (3421, [(17*a + 53, 0, 0)]), (3461, [(-4*a + 61, 24, 1.208)]), (3501, [(15*a + 54, 24, 1.201), (-15*a + 69, 24, 1.201)]), (3505, [(-24*a + 77, 12, 0.6003)]), (3520, [(8*a + 56, -12, 1.198)]), (3581, [(19*a + 54, 24, 1.188)]), (3641, [(-8*a + 65, 24, 2.356), (8*a + 57, -24, 1.178)]), (3681, [(9*a + 57, -24, 1.172)]), (3781, [(-a + 62, -24, 1.156)]), (3856, [(20*a + 56, 0, 0)]), (3881, [(-11*a + 69, 0, 0), (11*a + 58, 0, 0)]), (3905, [(16*a + 57, -24, 4.550), (-16*a + 73, 0, 0)]), (4001, [(5*a + 61, -24, 1.124)]), (4005, [(-21*a + 78, -48, 8.985), (21*a + 57, 0, 0)]), (4016, [(-8*a + 68, -24, 1.122), (8*a + 60, 24, 1.122)]), (4021, [(-3*a + 65, -24, 1.121)]), (4061, [(28*a + 57, 48, 4.461)]), (4105, [(-19*a + 77, -12, 0.5547)]), (4145, [(-8*a + 69, -12, 0.5520), (8*a + 61, -12, 0.5520)]), (4176, [(12*a + 60, -48, 4.400)]), (4201, [(27*a + 58, 0, 0)]), (4336, [(4*a + 64, 24, 1.079)]), (4345, [(-13*a + 74, 12, 1.078), (13*a + 61, 0, 0)]), (4441, [(16*a + 61, 0, 0)]), (4496, [(-28*a + 88, 48, 4.240)]), (4541, [(-20*a + 81, 24, 1.055), (20*a + 61, 0, 0)]), (4545, [(3*a + 66, 24, 2.109)]), (4561, [(-21*a + 82, -24, 1.052)]), (4661, [(-19*a + 81, -24, 1.041)]), (4681, [(8*a + 65, 0, 0)]), (4741, [(-23*a + 85, 24, 1.032), (23*a + 62, -24, 2.065)]), (4761, [(69, 24, 1.030)]), (4861, [(12*a + 65, -48, 4.078)]), (4901, [(-13*a + 78, 24, 1.015)]), (4961, [(11*a + 66, 24, 2.018), (-11*a + 77, 0, 0)]), (4976, [(-20*a + 84, 24, 1.008), (20*a + 64, 24, 1.008)])]]