# label = 2.2.5.1-31.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, (-5*a + 2)*i, 1/2*a + 1/2 + (1/2*a + 15)*i + 1/2*j, 1/2*a + (1/2*a - 15/2)*i + 1/2*k]

# Nmax = 10000

[(1, [(-5*a + 2)*i, 1/2*a + 1/2 + (1/2*a + 15)*i + 1/2*j, 1/2*a + (1/2*a - 15/2)*i + 1/2*k]), (-1, [(-a + 19)*i, 1/2*a + 1/2 + (1/2*a + 77)*i + 1/2*j, -3/2*a + 1/2 + (3825/22*a - 1275/22)*i + (-9/22*a + 3/22)*j + (-3/22*a + 1/22)*k])]
[((5*a - 2,), 2*a + 3/2 + (-33*a + 53/2)*i + 1/2*j + (2*a - 1/2)*k)]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> -1, Fractional ideal (5*a - 2) -> 1
[1, None, [(5, [(a - 3, -1, 1.508)]), (9, [(-3, 1, 1.124)]), (61, [(3*a - 10, 3, 3.886)]), (109, [(a - 11, 3, 2.907), (-a - 10, -5, 8.074)]), (121, [(-11, -2, 1.226)]), (145, [(-3*a - 11, -2, 1.120)]), (176, [(-4*a - 12, -2, 1.017)]), (209, [(a - 15, -2, 0.9330)]), (241, [(5*a - 19, 1, 0.2172)]), (261, [(3*a - 18, -2, 0.8349)]), (269, [(-4*a - 15, 3, 1.850)]), (281, [(7*a - 22, 1, 0.2012), (-7*a - 15, 1, 0.2012)]), (304, [(4*a - 20, 6, 6.962), (-4*a - 16, -2, 0.7736)]), (320, [(8*a - 24, -2, 0.7540)]), (341, [(a - 19, 3, 3.287), (-a - 18, -2, 0.7304)]), (389, [(5*a - 23, -5, 4.274)]), (409, [(3*a - 22, 1, 0.1667)]), (445, [(7*a - 26, 6, 5.754)]), (449, [(8*a - 27, 1, 0.1591)]), (464, [(-4*a - 20, 6, 5.635)]), (496, [(8*a - 28, -2, 1.211), (-8*a - 20, 4, 2.423)]), (529, [(-23, 1, 0.1466)]), (569, [(-5*a - 22, 1, 0.1414)]), (576, [(-24, 4, 2.248)]), (589, [(3*a - 26, -5, 6.947)]), (601, [(9*a - 31, -1, 0.1375)]), (641, [(7*a - 30, -1, 0.1332)]), (649, [(8*a - 31, -4, 2.118)]), (661, [(11*a - 34, 1, 0.1312), (-11*a - 23, -7, 6.427)]), (704, [(-8*a - 24, -2, 0.5083)]), (781, [(5*a - 31, 4, 1.931)]), (801, [(-3*a - 27, 2, 0.4766)]), (821, [(4*a - 31, -7, 5.766)]), (829, [(-9*a - 26, 9, 9.486)]), (880, [(-4*a - 28, -4, 1.819)]), (881, [(-8*a - 27, -1, 0.1136)]), (905, [(11*a - 38, 4, 1.793)]), (929, [(a - 31, 1, 0.1106)]), (961, [(-31, 1, 0.2175)]), (1045, [(-3*a - 31, 4, 1.669)]), (1069, [(4*a - 35, 1, 0.1031)]), (1121, [(-13*a - 30, 2, 0.4029), (13*a - 43, 2, 0.4029)]), (1129, [(7*a - 38, -1, 0.1004)]), (1136, [(4*a - 36, -4, 1.601), (-4*a - 32, 4, 1.601)]), (1145, [(8*a - 39, 2, 0.3986)]), (1181, [(-11*a - 31, 1, 0.09812)]), (1189, [(-a - 34, 6, 3.520), (-12*a - 31, -4, 1.565)]), (1201, [(-15*a - 31, 5, 2.433)]), (1216, [(8*a - 40, 2, 0.3868), (-8*a - 32, -6, 3.481)]), (1264, [(-12*a - 32, -4, 1.518)]), (1301, [(5*a - 39, -1, 0.09349)]), (1321, [(3*a - 38, -3, 0.8350), (-3*a - 35, -3, 0.8350)]), (1381, [(9*a - 43, -1, 0.09074)]), (1421, [(-7*a - 35, -4, 1.431)]), (1424, [(4*a - 40, -4, 1.430)]), (1429, [(13*a - 47, -7, 4.371)]), (1441, [(8*a - 43, 0, 0)]), (1481, [(-a - 38, -3, 0.7886)]), (1489, [(11*a - 46, -3, 0.7865), (-11*a - 35, 5, 2.185)]), (1501, [(-12*a - 35, 2, 0.3481)]), (1529, [(16*a - 51, -4, 1.380), (-16*a - 35, 4, 1.380)]), (1584, [(12*a - 48, -4, 1.356)]), (1616, [(16*a - 52, 2, 0.3355), (-16*a - 36, 2, 0.3355)]), (1629, [(-3*a - 39, 4, 1.337)]), (1661, [(4*a - 43, 4, 1.324), (-4*a - 39, 4, 1.324)]), (1705, [(9*a - 47, 4, 2.613), (-9*a - 38, 0, 0)]), (1745, [(7*a - 46, 2, 0.3229), (-7*a - 39, -6, 2.906)]), (1769, [(-13*a - 38, -6, 2.886), (13*a - 51, 2, 0.3207)]), (1801, [(17*a - 55, -5, 1.986)]), (1829, [(11*a - 50, -4, 1.262), (-11*a - 39, 6, 5.677)]), (1849, [(-43, -3, 0.7058)]), (1856, [(-8*a - 40, 2, 0.3131)]), (1881, [(15*a - 54, 0, 0)]), (1889, [(16*a - 55, -1, 0.07758)]), (1949, [(-5*a - 42, 1, 0.07638)]), (1984, [(16*a - 56, 6, 5.451), (-16*a - 40, 4, 1.211)]), (2005, [(-4*a - 43, 4, 1.205)]), (2061, [(-9*a - 42, -4, 1.188)]), (2096, [(4*a - 48, 2, 0.2946), (-4*a - 44, -6, 2.651)]), (2101, [(-7*a - 43, 2, 0.2943)]), (2129, [(8*a - 51, -1, 0.07308)]), (2161, [(-a - 46, 1, 0.07254)]), (2189, [(-17*a - 42, -12, 10.38), (17*a - 59, 4, 1.153)]), (2201, [(11*a - 54, -1, 0.1438)]), (2221, [(12*a - 55, -3, 0.6440), (-12*a - 43, -11, 8.658)]), (2224, [(8*a - 52, -6, 2.574)]), (2269, [(15*a - 58, 9, 5.734)]), (2281, [(16*a - 59, 1, 0.07060), (-16*a - 43, 1, 0.07060)]), (2305, [(19*a - 62, 0, 0)]), (2309, [(20*a - 63, 9, 5.684)]), (2321, [(-5*a - 46, 0, 0)]), (2341, [(3*a - 50, 7, 3.415), (-3*a - 47, -9, 5.645)]), (2381, [(4*a - 51, -3, 0.6219), (-4*a - 47, 5, 1.728)]), (2416, [(-20*a - 44, 0, 0)]), (2449, [(-9*a - 46, -4, 2.180)]), (2480, [(-4*a - 48, -2, 0.5417)]), (2521, [(8*a - 55, -7, 3.291), (-8*a - 47, 1, 0.06716)]), (2545, [(13*a - 59, 6, 2.406)]), (2629, [(12*a - 59, 10, 6.576), (-12*a - 47, 10, 6.576)]), (2641, [(-21*a - 46, -2, 0.2625)]), (2689, [(-15*a - 47, -5, 1.626)]), (2704, [(-52, -8, 4.150)]), (2741, [(19*a - 66, -1, 0.06441)]), (2745, [(-3*a - 51, 0, 0)]), (2749, [(-20*a - 47, 7, 3.151)]), (2789, [(-4*a - 51, -15, 14.37)]), (2864, [(20*a - 68, 2, 0.2520)]), (2869, [(9*a - 59, 4, 1.007)]), (2896, [(4*a - 56, -2, 0.2506)]), (2909, [(-7*a - 51, -9, 5.064)]), (2945, [(8*a - 59, -4, 1.988), (-8*a - 51, 0, 0)]), (2969, [(-a - 54, 5, 1.547)]), (3041, [(-11*a - 51, 1, 0.06115)]), (3061, [(17*a - 67, -5, 1.524)]), (3069, [(12*a - 63, -12, 8.765), (-12*a - 51, -2, 0.4869)]), (3109, [(-21*a - 50, -9, 4.898), (21*a - 71, 15, 13.61)]), (3141, [(-15*a - 51, 8, 3.851), (15*a - 66, 0, 0)]), (3161, [(5*a - 59, -4, 0.9596), (16*a - 67, 0, 0)]), (3184, [(12*a - 64, 4, 0.9561)]), (3245, [(-23*a - 51, -4, 0.9471)]), (3280, [(16*a - 68, 8, 3.768), (-16*a - 52, -8, 3.768)]), (3344, [(-20*a - 52, -4, 0.9330)]), (3361, [(7*a - 62, -1, 0.05816)]), (3376, [(24*a - 76, -2, 0.2321), (-24*a - 52, 6, 2.089)]), (3401, [(-8*a - 55, -2, 0.2313)]), (3421, [(-a - 58, 0, 0)]), (3449, [(-13*a - 54, -3, 0.5168), (13*a - 67, -3, 0.5168)]), (3509, [(11*a - 66, -4, 0.9108)]), (3520, [(-8*a - 56, -8, 3.637)]), (3545, [(17*a - 71, 2, 0.2265)]), (3609, [(21*a - 75, 6, 2.021)]), (3629, [(5*a - 63, -4, 0.8956), (-5*a - 58, 12, 8.060)]), (3649, [(-3*a - 59, -8, 3.573), (16*a - 71, -2, 0.2233)]), (3664, [(12*a - 68, 2, 0.2228)]), (3701, [(-4*a - 59, 7, 2.716)]), (3709, [(-19*a - 55, -9, 4.485), (19*a - 74, -17, 16.00)]), (3761, [(-23*a - 55, -7, 2.694), (23*a - 78, 1, 0.05498)]), (3769, [(24*a - 79, 11, 6.646), (-24*a - 55, 3, 0.4943)]), (3781, [(27*a - 82, 0, 0)]), (3805, [(-9*a - 58, -8, 3.499)]), (3824, [(-4*a - 60, 4, 0.8725)]), (3845, [(7*a - 66, -14, 10.66), (-7*a - 59, 10, 5.438)]), (3904, [(24*a - 80, -6, 1.943)]), (3905, [(a - 63, 0, 0)]), (3920, [(-28*a - 56, -4, 0.8617)]), (3949, [(-13*a - 58, 10, 5.366)]), (4016, [(-8*a - 60, 2, 0.2128)]), (4045, [(12*a - 71, -6, 1.909)]), (4061, [(17*a - 75, 1, 0.1058)]), (4129, [(5*a - 67, -3, 0.4723)]), (4141, [(-15*a - 59, 8, 3.354), (15*a - 74, 8, 3.354), (-21*a - 58, -2, 0.2096), (21*a - 79, 14, 10.27)]), (4149, [(-3*a - 63, 10, 5.235)]), (4169, [(-16*a - 59, 0, 0)]), (4189, [(25*a - 83, 2, 0.2084), (-25*a - 58, -14, 10.21)]), (4241, [(-19*a - 59, 7, 2.537), (19*a - 78, -1, 0.05178)]), (4309, [(-23*a - 59, -7, 5.034), (23*a - 82, -14, 10.07)]), (4321, [(24*a - 83, 4, 0.8208), (9*a - 71, 0, 0)]), (4336, [(4*a - 68, 4, 0.8193)]), (4361, [(7*a - 70, -2, 0.2042)]), (4409, [(8*a - 71, 1, 0.05078), (-8*a - 63, -7, 2.488)]), (4421, [(-a - 66, 13, 8.571), (a - 67, 5, 1.268)]), (4464, [(24*a - 84, 4, 1.615)]), (4481, [(-13*a - 62, 1, 0.05037)]), (4541, [(-11*a - 63, 0, 0)]), (4544, [(8*a - 72, -8, 3.201), (-8*a - 64, 0, 0)]), (4581, [(-12*a - 63, 10, 4.982)]), (4609, [(-17*a - 62, -2, 0.1987)]), (4624, [(-68, -8, 3.174)]), (4661, [(-5*a - 66, 8, 3.161)]), (4681, [(3*a - 70, 2, 0.1971), (-3*a - 67, -3, 0.8871)]), (4705, [(-21*a - 62, 4, 0.7866)]), (4720, [(12*a - 76, 4, 0.7853), (-12*a - 64, 4, 0.7853)]), (4721, [(16*a - 79, 7, 2.405), (-16*a - 63, -1, 0.04908)]), (4741, [(4*a - 71, 6, 1.763)]), (4769, [(25*a - 87, 8, 3.125)]), (4801, [(-29*a - 62, 3, 0.4380)]), (4829, [(20*a - 83, -12, 6.987)]), (4880, [(4*a - 72, 8, 3.089)]), (4889, [(23*a - 86, 7, 2.363)]), (4905, [(24*a - 87, -4, 0.7703), (-24*a - 63, -4, 0.7703)]), (4909, [(7*a - 74, 5, 1.203)]), (4949, [(-28*a - 63, 2, 0.1917), (28*a - 91, 18, 15.53)]), (4969, [(-a - 70, 1, 0.04784), (a - 71, 1, 0.04784)]), (5045, [(-13*a - 66, 2, 0.1899)]), (5056, [(-24*a - 64, 4, 0.7588)]), (5104, [(8*a - 76, 8, 3.021), (-8*a - 68, -8, 3.021)]), (5105, [(11*a - 78, 0, 0)]), (5149, [(12*a - 79, 2, 0.1880)]), (5189, [(-17*a - 66, -1, 0.04681)]), (5245, [(3*a - 74, -10, 4.656)]), (5269, [(-15*a - 67, 2, 0.1858)]), (5296, [(-12*a - 68, -6, 1.668)]), (5301, [(-21*a - 66, -4, 1.482), (21*a - 87, 0, 0)]), (5305, [(-16*a - 67, 0, 0), (16*a - 83, 0, 0)]), (5309, [(4*a - 75, 7, 2.268), (-4*a - 71, 15, 10.41)]), (5429, [(20*a - 87, 2, 0.1831), (-20*a - 67, 18, 14.83)]), (5445, [(33*a - 99, -8, 2.925)]), (5449, [(-9*a - 70, -1, 0.04568)]), (5456, [(-16*a - 68, -4, 1.461)]), (5521, [(-24*a - 67, 5, 1.135)]), (5545, [(-8*a - 71, -2, 0.1811)]), (5549, [(-a - 74, 6, 3.259)]), (5569, [(27*a - 94, -9, 3.660), (-27*a - 67, 7, 2.214)]), (5609, [(-32*a - 67, -2, 0.1801)]), (5641, [(13*a - 83, 5, 1.122)]), (5696, [(8*a - 80, -8, 2.859)]), (5744, [(-28*a - 68, -8, 2.847), (28*a - 96, 0, 0)]), (5801, [(-17*a - 70, -5, 1.107), (17*a - 87, 3, 0.3985)]), (5821, [(5*a - 79, -13, 7.469)]), (5841, [(3*a - 78, 0, 0)]), (5881, [(-15*a - 71, -5, 1.099)]), (5904, [(12*a - 84, -8, 2.809), (-12*a - 72, 8, 2.809)]), (5909, [(4*a - 79, -6, 1.579), (-4*a - 75, -14, 8.598)]), (5921, [(16*a - 87, 2, 0.3506), (-16*a - 71, 4, 0.7011)]), (6029, [(-19*a - 71, -1, 0.04343)]), (6061, [(20*a - 91, 4, 0.6930), (-20*a - 71, -12, 6.237)]), (6089, [(29*a - 99, 5, 1.080)]), (6101, [(7*a - 82, -5, 1.079), (-7*a - 75, 11, 5.224)]), (6121, [(33*a - 103, 5, 1.077), (-33*a - 70, -3, 0.3879)]), (6145, [(-23*a - 71, -6, 1.549), (23*a - 94, 2, 0.1721)]), (6161, [(a - 79, -2, 0.1718), (8*a - 83, 0, 0)]), (6169, [(24*a - 95, 2, 0.1717), (-24*a - 71, 5, 2.147)]), (6229, [(-27*a - 71, -9, 3.461)]), (6241, [(-79, -4, 0.6829)]), (6269, [(-13*a - 74, -11, 5.153), (13*a - 87, -3, 0.3833)]), (6289, [(32*a - 103, 4, 0.6803)]), (6301, [(35*a - 106, -1, 0.04248), (-35*a - 71, -1, 0.04248)]), (6320, [(-8*a - 76, 8, 2.715)]), (6336, [(24*a - 96, 4, 0.6778)]), (6381, [(-12*a - 75, -12, 6.079)]), (6416, [(-28*a - 72, 4, 0.6736)]), (6464, [(-32*a - 72, 2, 0.1678), (32*a - 104, 2, 0.1678)]), (6469, [(-3*a - 79, -3, 0.3773)]), (6541, [(-4*a - 79, -1, 0.08339)]), (6589, [(21*a - 95, -6, 1.495)]), (6689, [(19*a - 94, 7, 2.020)]), (6701, [(25*a - 99, 11, 4.984), (-25*a - 74, -13, 6.961)]), (6745, [(7*a - 86, 8, 2.628), (-7*a - 79, 0, 0)]), (6781, [(29*a - 103, -7, 2.007)]), (6849, [(24*a - 99, -2, 0.1630)]), (6889, [(-83, -3, 0.3656)]), (6896, [(20*a - 96, -12, 5.847), (-20*a - 76, -4, 0.6497)]), (6921, [(27*a - 102, 8, 2.594), (-27*a - 75, 0, 0)]), (6929, [(-13*a - 78, -2, 0.1620), (13*a - 91, -2, 0.1620)]), (6976, [(8*a - 88, -14, 7.913), (-8*a - 80, 2, 0.1615)]), (6989, [(31*a - 106, -14, 7.906), (-31*a - 75, 10, 4.033)]), (7001, [(32*a - 107, 1, 0.04030)]), (7029, [(-36*a - 75, 0, 0)]), (7056, [(-84, 0, 0)]), (7109, [(5*a - 87, -1, 0.03999), (-5*a - 82, -17, 11.56)]), (7121, [(-17*a - 78, -1, 0.03996)]), (7129, [(3*a - 86, 5, 0.9984)]), (7201, [(-15*a - 79, 4, 0.6358), (15*a - 94, -4, 0.6358)]), (7205, [(4*a - 87, 0, 0)]), (7216, [(36*a - 112, 4, 0.6351), (-12*a - 80, 0, 0)]), (7249, [(-16*a - 79, -4, 0.6337)]), (7281, [(-21*a - 78, -2, 0.1581)]), (7376, [(4*a - 88, -2, 0.1570)]), (7409, [(25*a - 103, -1, 0.07835), (-25*a - 78, 6, 1.410)]), (7421, [(-7*a - 83, -8, 2.505), (20*a - 99, -2, 0.1566)]), (7481, [(a - 87, 1, 0.03899), (-a - 86, -7, 1.910)]), (7505, [(29*a - 107, 0, 0)]), (7529, [(23*a - 102, 1, 0.03886)]), (7601, [(-37*a - 78, 0, 0)]), (7621, [(13*a - 95, 7, 1.893)]), (7645, [(27*a - 106, -16, 9.873), (-27*a - 79, -8, 2.468)]), (7669, [(-28*a - 79, 13, 6.507)]), (7681, [(-11*a - 83, -1, 0.03848)]), (7729, [(31*a - 110, -6, 1.381), (-31*a - 79, -6, 1.381)]), (7741, [(12*a - 95, 1, 0.03833)]), (7744, [(-88, 4, 0.6131)]), (7745, [(32*a - 111, -2, 0.1533)]), (7781, [(-35*a - 79, 2, 0.3058)]), (7801, [(5*a - 91, 6, 1.374), (-5*a - 86, -2, 0.1527)]), (7829, [(17*a - 99, 5, 0.9527)]), (7856, [(-28*a - 80, -2, 0.1522)]), (7901, [(4*a - 91, -5, 0.9484)]), (7909, [(-15*a - 83, -6, 1.365), (15*a - 98, 18, 12.28)]), (7920, [(12*a - 96, -8, 2.425)]), (7961, [(-16*a - 83, 0, 0), (16*a - 99, 0, 0)]), (7984, [(36*a - 116, -2, 0.1510)]), (8089, [(9*a - 95, 1, 0.03749)]), (8129, [(7*a - 94, -4, 0.5984), (-7*a - 87, 4, 0.5984)]), (8144, [(16*a - 100, 2, 0.1495)]), (8149, [(-20*a - 83, -16, 9.563), (-25*a - 82, 0, 0)]), (8201, [(-8*a - 87, 0, 0)]), (8261, [(-29*a - 82, 12, 5.342)]), (8269, [(-23*a - 83, 3, 0.3337)]), (8281, [(-91, -4, 0.5929)]), (8305, [(-24*a - 83, 8, 2.368), (24*a - 107, 0, 0)]), (8336, [(-20*a - 84, 0, 0), (20*a - 104, 0, 0)]), (8341, [(33*a - 115, -10, 3.692), (-33*a - 82, 14, 7.237)]), (8345, [(-13*a - 86, 2, 0.1476)]), (8384, [(8*a - 96, 14, 7.218), (-8*a - 88, 6, 1.326)]), (8401, [(27*a - 110, -2, 0.2943)]), (8405, [(-41*a - 82, -8, 2.354)]), (8429, [(-28*a - 83, 11, 4.444), (28*a - 111, 11, 4.444)]), (8469, [(12*a - 99, 2, 0.1466)]), (8496, [(24*a - 108, 4, 0.5853), (-24*a - 84, 4, 0.5853)]), (8501, [(31*a - 114, -3, 0.3292), (-31*a - 83, -11, 4.425)]), (8521, [(32*a - 115, 7, 1.790)]), (8545, [(3*a - 94, 2, 0.1459), (-3*a - 91, -6, 1.313)]), (8569, [(35*a - 118, 4, 0.5828), (-17*a - 86, 0, 0)]), (8581, [(-36*a - 83, -11, 4.405), (36*a - 119, -11, 4.405)]), (8609, [(-40*a - 83, 1, 0.03634)]), (8624, [(-28*a - 84, -8, 2.324)]), (8629, [(-4*a - 91, 1, 0.03630)]), (8656, [(12*a - 100, 6, 1.305), (-12*a - 88, -10, 3.624)]), (8784, [(-36*a - 84, 8, 2.303)]), (8816, [(-4*a - 92, 8, 2.298), (40*a - 124, 0, 0)]), (8861, [(19*a - 106, -3, 0.3224)]), (8869, [(7*a - 98, 2, 0.1432)]), (8896, [(16*a - 104, 2, 0.1430)]), (8909, [(20*a - 107, 2, 0.1429)]), (8921, [(-25*a - 86, -2, 0.1428)]), (8945, [(-8*a - 91, 2, 0.1426)]), (9049, [(29*a - 115, 3, 0.3190), (-29*a - 86, -5, 0.8862)]), (9081, [(24*a - 111, -4, 0.5662)]), (9101, [(-13*a - 90, 10, 3.535), (13*a - 103, -6, 1.272)]), (9136, [(-8*a - 92, 6, 1.270)]), (9145, [(-33*a - 86, 2, 0.2821)]), (9161, [(11*a - 102, -3, 0.3171), (-11*a - 91, 5, 0.8808)]), (9189, [(-27*a - 87, 16, 9.005)]), (9221, [(-28*a - 87, 1, 0.03512), (28*a - 115, -7, 1.721)]), (9229, [(12*a - 103, -16, 8.986)]), (9241, [(41*a - 127, 5, 0.8769)]), (9280, [(-24*a - 88, 4, 0.5601)]), (9281, [(-5*a - 94, -3, 0.3150)]), (9329, [(-32*a - 87, 4, 0.5586)]), (9389, [(4*a - 99, 2, 0.1392), (35*a - 122, 8, 2.227)]), (9405, [(-36*a - 87, -8, 2.225)]), (9424, [(-28*a - 88, 2, 0.2779)]), (9441, [(-39*a - 87, 2, 0.1388)]), (9461, [(43*a - 130, 1, 0.03467)]), (9481, [(-16*a - 91, 2, 0.1385)]), (9549, [(-21*a - 90, 2, 0.1380), (21*a - 111, -14, 6.763)]), (9584, [(4*a - 100, 4, 0.5511), (-4*a - 96, 12, 4.960)]), (9601, [(-9*a - 94, 3, 0.3097)]), (9641, [(7*a - 102, -2, 0.2747), (-7*a - 95, 4, 0.5495)]), (9664, [(-40*a - 88, -4, 0.5488)]), (9701, [(-a - 98, 4, 0.5478), (-20*a - 91, -8, 2.191)]), (9721, [(8*a - 103, -1, 0.03420), (-8*a - 95, -1, 0.03420)]), (9869, [(-29*a - 90, 2, 0.1358)]), (9889, [(-13*a - 94, 2, 0.2713), (13*a - 107, 4, 0.5425), (24*a - 115, 0, 0)]), (9904, [(20*a - 112, 10, 3.388)]), (9920, [(-8*a - 96, -6, 2.438)]), (9949, [(11*a - 106, -7, 1.657)]), (9981, [(33*a - 123, -6, 1.215)])]]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> 1, Fractional ideal (5*a - 2) -> -1
[-3*a + 1, 4*a - 2 + (38*a - 9/2)*i + (1/2*a - 1)*j + (-1/2*a - 1/2)*k, [(-11, [(3*a - 2, -8, 2.729)]), (-19, [(4*a - 3, 8, 2.076)]), (-31, [(5*a - 3, -8, 1.626)]), (-55, [(7*a - 6, 0, 0)]), (-71, [(8*a - 7, -8, 1.074)]), (-80, [(8*a - 4, 16, 4.048)]), (-99, [(9*a - 3, 16, 3.639)]), (-131, [(11*a - 10, -24, 7.117)]), (-139, [(11*a - 2, 8, 0.7677)]), (-144, [(12*a - 12, 0, 0)]), (-151, [(11*a - 6, 8, 0.7366)]), (-199, [(13*a - 3, 8, 0.6416)]), (-211, [(13*a - 7, -24, 5.608)]), (-239, [(15*a - 14, 8, 0.5855)]), (-295, [(16*a - 3, 16, 2.108)]), (-304, [(16*a - 4, 16, 2.076)]), (-319, [(17*a - 15, 0, 0)]), (-320, [(16*a - 8, -16, 2.024)]), (-359, [(17*a - 7, -8, 0.4777)]), (-431, [(19*a - 14, -8, 0.4360)]), (-464, [(20*a - 16, 16, 1.681)]), (-495, [(21*a - 3, 0, 0)]), (-531, [(21*a - 15, 16, 1.571)]), (-551, [(23*a - 22, -16, 1.542)]), (-576, [(24*a - 24, 32, 6.034)]), (-599, [(24*a - 23, 24, 3.328)]), (-659, [(23*a - 10, 24, 3.173)]), (-671, [(24*a - 19, 16, 1.398)]), (-695, [(24*a - 7, -16, 1.373)]), (-704, [(24*a - 16, 16, 1.365)]), (-719, [(24*a - 11, -8, 0.3376)]), (-739, [(25*a - 19, 8, 0.3329)]), (-751, [(25*a - 7, 8, 0.3303)]), (-755, [(27*a - 26, -32, 5.270)]), (-779, [(25*a - 11, -16, 1.297), (27*a - 2, 32, 5.189)]), (-839, [(27*a - 22, 8, 0.3125)]), (-855, [(27*a - 6, 0, 0)]), (-899, [(28*a - 23, 16, 1.207)]), (-911, [(27*a - 14, -24, 2.699)]), (-919, [(29*a - 3, 8, 0.2986)]), (-931, [(28*a - 7, 32, 4.746)]), (-955, [(28*a - 19, -32, 4.686)]), (-976, [(28*a - 12, -16, 1.159)]), (-979, [(28*a - 15, -16, 1.157)]), (-995, [(29*a - 7, 48, 10.33)]), (-1019, [(31*a - 2, -24, 2.552)]), (-1039, [(29*a - 11, -8, 0.2808)]), (-1136, [(32*a - 4, -32, 4.297)]), (-1159, [(32*a - 27, 16, 1.063)]), (-1171, [(31*a - 10, -8, 0.2645)]), (-1195, [(31*a - 18, 16, 1.047)]), (-1199, [(32*a - 7, -16, 1.046), (31*a - 14, 0, 0)]), (-1216, [(32*a - 24, 16, 1.038), (32*a - 8, -16, 1.038)]), (-1231, [(32*a - 23, -8, 0.2580)]), (-1251, [(33*a - 27, -32, 4.094)]), (-1259, [(35*a - 34, 40, 6.377)]), (-1264, [(32*a - 20, 0, 0)]), (-1291, [(35*a - 2, 56, 12.34)]), (-1319, [(33*a - 23, -8, 0.2492)]), (-1359, [(33*a - 15, 0, 0)]), (-1395, [(36*a - 3, -32, 3.877)]), (-1424, [(36*a - 4, -32, 3.838)]), (-1439, [(37*a - 35, -8, 0.2386)]), (-1499, [(36*a - 7, 8, 0.2338)]), (-1511, [(35*a - 22, -24, 2.096)]), (-1531, [(35*a - 18, 40, 5.783)]), (-1555, [(37*a - 31, -32, 3.672)]), (-1559, [(39*a - 38, -24, 2.063)]), (-1571, [(36*a - 11, -8, 0.2284)]), (-1595, [(39*a - 2, 32, 3.626)]), (-1616, [(36*a - 20, -16, 0.9006), (36*a - 16, -16, 0.9006)]), (-1691, [(37*a - 23, 0, 0)]), (-1699, [(37*a - 15, 8, 0.2196)]), (-1711, [(40*a - 3, 16, 0.8753)]), (-1719, [(39*a - 6, 16, 0.8732)]), (-1744, [(40*a - 36, 16, 0.8669), (40*a - 4, -16, 0.8669)]), (-1759, [(41*a - 39, 8, 0.2158)]), (-1791, [(39*a - 30, 0, 0)]), (-1856, [(40*a - 32, -16, 0.8404)]), (-1895, [(39*a - 22, 16, 0.8317)]), (-1936, [(44*a - 44, 32, 3.291)]), (-1984, [(40*a - 24, 0, 0)]), (-1991, [(40*a - 23, 16, 0.8114)]), (-2011, [(41*a - 11, -56, 9.890)]), (-2059, [(44*a - 3, -16, 0.7979)]), (-2095, [(41*a - 23, 16, 0.7910)]), (-2096, [(44*a - 4, -48, 7.117)]), (-2111, [(45*a - 43, -24, 1.773)]), (-2131, [(44*a - 39, -8, 0.1961)]), (-2151, [(45*a - 3, 16, 0.7806)]), (-2195, [(44*a - 7, -16, 0.7728)]), (-2239, [(43*a - 30, 8, 0.1913)]), (-2251, [(44*a - 35, -40, 4.769)]), (-2291, [(45*a - 7, 80, 18.91)]), (-2320, [(44*a - 32, 0, 0)]), (-2339, [(44*a - 31, -40, 4.679)]), (-2371, [(44*a - 15, -8, 0.1859)]), (-2395, [(44*a - 27, -16, 0.7398)]), (-2411, [(44*a - 19, -24, 1.659)]), (-2519, [(45*a - 19, 32, 2.885)]), (-2531, [(45*a - 23, 24, 1.619)]), (-2539, [(49*a - 3, -40, 4.491)]), (-2579, [(47*a - 10, -24, 1.604)]), (-2591, [(48*a - 7, -24, 1.600)]), (-2651, [(47*a - 34, 64, 11.25)]), (-2671, [(47*a - 14, 8, 0.1751)]), (-2699, [(51*a - 2, -24, 1.568)]), (-2704, [(52*a - 52, 0, 0)]), (-2719, [(47*a - 30, -8, 0.1736)]), (-2755, [(47*a - 26, 0, 0)]), (-2759, [(47*a - 22, 16, 0.6893)]), (-2791, [(49*a - 39, 8, 0.1713)]), (-2799, [(48*a - 15, 16, 0.6843)]), (-2819, [(49*a - 11, 24, 1.534)]), (-2831, [(48*a - 31, 16, 0.6804), (51*a - 46, 16, 0.6804)]), (-2851, [(52*a - 3, 8, 0.1695)]), (-2864, [(48*a - 20, -16, 0.6765)]), (-2871, [(48*a - 27, 32, 2.703)]), (-2879, [(48*a - 23, -8, 0.1687)]), (-2896, [(52*a - 4, 48, 6.055)]), (-2911, [(49*a - 15, 16, 0.6710), (53*a - 51, -32, 2.684)]), (-2939, [(52*a - 47, 40, 4.174)]), (-2959, [(53*a - 3, 16, 0.6656)]), (-2971, [(49*a - 19, 24, 1.494)]), (-3011, [(51*a - 10, 72, 13.36)]), (-3079, [(55*a - 54, -24, 1.468)]), (-3091, [(52*a - 43, 48, 5.861), (53*a - 47, 32, 2.605)]), (-3191, [(56*a - 55, -8, 0.1602)]), (-3195, [(51*a - 18, 64, 10.25)]), (-3239, [(51*a - 22, -16, 0.6361), (53*a - 43, 0, 0)]), (-3251, [(51*a - 26, 56, 7.778)]), (-3259, [(52*a - 15, 24, 1.427)]), (-3280, [(52*a - 36, 32, 2.529), (52*a - 16, 32, 2.529)]), (-3299, [(52*a - 35, -8, 0.1576)]), (-3344, [(56*a - 4, -32, 2.504), (52*a - 32, 0, 0)]), (-3355, [(52*a - 31, -32, 2.500)]), (-3376, [(52*a - 24, 16, 0.6231)]), (-3391, [(56*a - 51, 24, 1.399)]), (-3411, [(57*a - 3, 0, 0)]), (-3439, [(53*a - 35, 0, 0)]), (-3455, [(53*a - 19, 0, 0)]), (-3479, [(56*a - 7, -16, 0.6138)]), (-3491, [(53*a - 31, 24, 1.379)]), (-3499, [(53*a - 23, 24, 1.377)]), (-3520, [(56*a - 48, 32, 2.441)]), (-3571, [(55*a - 42, -56, 7.422)]), (-3595, [(59*a - 2, -16, 0.6038)]), (-3599, [(57*a - 7, 0, 0)]), (-3631, [(56*a - 11, -24, 1.352)]), (-3659, [(60*a - 59, -8, 0.1496)]), (-3664, [(56*a - 12, -16, 0.5981)]), (-3671, [(55*a - 38, 24, 1.344)]), (-3695, [(56*a - 43, -16, 0.5956)]), (-3719, [(57*a - 47, 8, 0.1484)]), (-3771, [(60*a - 3, -48, 5.306)]), (-3779, [(55*a - 26, -56, 7.215)]), (-3799, [(59*a - 6, -16, 0.5874)]), (-3839, [(56*a - 19, -16, 0.5843), (61*a - 59, 0, 0)]), (-3851, [(57*a - 43, -56, 7.147)]), (-3856, [(56*a - 20, -32, 2.332)]), (-3871, [(56*a - 35, -16, 0.5819)]), (-3904, [(56*a - 24, -16, 0.5794)]), (-3920, [(56*a - 28, 0, 0)]), (-3931, [(59*a - 50, -88, 17.47)]), (-3951, [(57*a - 39, 0, 0)]), (-4016, [(60*a - 52, -16, 0.5713)]), (-4031, [(57*a - 23, 32, 2.281)]), (-4055, [(57*a - 31, 32, 2.274)]), (-4079, [(59*a - 46, -8, 0.1417)]), (-4091, [(63*a - 2, 72, 11.46)]), (-4111, [(59*a - 14, 24, 1.270)]), (-4139, [(60*a - 11, -24, 1.266)]), (-4159, [(64*a - 63, -8, 0.1403)]), (-4176, [(60*a - 12, -32, 2.241)]), (-4231, [(61*a - 51, 8, 0.1391)]), (-4259, [(63*a - 58, 8, 0.1387)]), (-4279, [(59*a - 38, 16, 0.5535)]), (-4304, [(60*a - 44, -16, 0.5518)]), (-4311, [(63*a - 6, -48, 4.963)]), (-4331, [(60*a - 43, -16, 0.5501)]), (-4336, [(64*a - 4, -32, 2.199)]), (-4351, [(59*a - 30, 16, 0.5489)]), (-4379, [(61*a - 47, -80, 13.68)]), (-4411, [(65*a - 3, -48, 4.906)]), (-4496, [(60*a - 32, -32, 2.160), (60*a - 28, 0, 0)]), (-4499, [(60*a - 31, 64, 8.636)]), (-4519, [(61*a - 19, 8, 0.1346)]), (-4544, [(64*a - 56, -32, 2.148), (64*a - 8, 0, 0)]), (-4555, [(67*a - 66, 0, 0)]), (-4579, [(65*a - 59, 0, 0)]), (-4624, [(68*a - 68, 32, 2.130)]), (-4651, [(61*a - 31, 8, 0.1327)]), (-4679, [(64*a - 11, -8, 0.1323)]), (-4720, [(64*a - 52, 32, 2.108)]), (-4819, [(65*a - 11, -48, 4.694)]), (-4831, [(64*a - 15, 24, 1.172)]), (-4855, [(67*a - 6, 0, 0)]), (-4880, [(68*a - 4, -32, 2.073)]), (-4895, [(64*a - 47, -32, 2.070)]), (-4919, [(63*a - 38, 8, 0.1291)]), (-4931, [(63*a - 26, -88, 15.60)]), (-4939, [(65*a - 51, 0, 0)]), (-4959, [(69*a - 3, 0, 0)]), (-4999, [(64*a - 43, -8, 0.1280)]), (-5011, [(67*a - 58, -8, 0.1279)]), (-5039, [(64*a - 23, -8, 0.1275)]), (-5056, [(64*a - 40, 0, 0)]), (-5059, [(67*a - 10, -8, 0.1273)]), (-5071, [(64*a - 39, -16, 0.5084)]), (-5095, [(64*a - 27, -16, 0.5072)]), (-5104, [(68*a - 8, -32, 2.027)]), (-5111, [(64*a - 35, -16, 0.5064)]), (-5155, [(68*a - 59, 32, 2.017)]), (-5191, [(65*a - 23, 32, 2.010)]), (-5251, [(65*a - 27, 0, 0)]), (-5255, [(72*a - 71, -32, 1.998)]), (-5279, [(65*a - 31, 40, 3.114)]), (-5296, [(68*a - 56, 48, 4.477)]), (-5351, [(69*a - 59, -56, 6.063)]), (-5371, [(67*a - 18, 48, 4.446), (71*a - 66, 16, 0.4940)]), (-5399, [(69*a - 11, -8, 0.1232)]), (-5419, [(68*a - 15, 40, 3.074)]), (-5456, [(72*a - 68, -32, 1.961)]), (-5479, [(67*a - 22, -8, 0.1223)]), (-5519, [(72*a - 67, 8, 0.1218)]), (-5539, [(67*a - 42, -48, 4.378)]), (-5591, [(67*a - 38, -8, 0.1210)]), (-5599, [(67*a - 30, 32, 1.935)]), (-5611, [(67*a - 34, -16, 0.4833)]), (-5651, [(71*a - 10, -72, 9.753)]), (-5659, [(68*a - 23, -40, 3.008)]), (-5696, [(72*a - 8, 0, 0)]), (-5711, [(69*a - 19, -24, 1.078)]), (-5744, [(68*a - 40, 0, 0)]), (-5755, [(68*a - 39, -64, 7.636)]), (-5771, [(68*a - 31, -16, 0.4766)]), (-5779, [(68*a - 35, 40, 2.977)]), (-5795, [(69*a - 47, -32, 1.902)]), (-5819, [(69*a - 23, -16, 0.4746)]), (-5855, [(72*a - 11, -32, 1.893)]), (-5895, [(69*a - 27, 0, 0)]), (-5904, [(72*a - 60, 0, 0), (72*a - 12, 0, 0)]), (-5959, [(71*a - 54, -16, 0.4690), (73*a - 63, 32, 1.876)]), (-5995, [(71*a - 18, -64, 7.481), (76*a - 3, -32, 1.870)]), (-6011, [(73*a - 11, -72, 9.456)]), (-6039, [(75*a - 6, -32, 1.864)]), (-6079, [(77*a - 75, 8, 0.1161)]), (-6119, [(72*a - 55, -32, 1.851)]), (-6151, [(77*a - 3, 40, 2.885)]), (-6155, [(73*a - 59, -32, 1.846)]), (-6211, [(71*a - 26, -24, 1.034)]), (-6219, [(75*a - 66, 32, 1.836)]), (-6224, [(72*a - 20, 16, 0.4589)]), (-6255, [(72*a - 51, 0, 0)]), (-6259, [(76*a - 7, 16, 0.4576)]), (-6271, [(71*a - 30, 8, 0.1143)]), (-6299, [(71*a - 34, 24, 1.026)]), (-6311, [(72*a - 23, 24, 1.025)]), (-6319, [(73*a - 55, -32, 1.822)]), (-6320, [(76*a - 68, 0, 0)]), (-6336, [(72*a - 24, 32, 1.819)]), (-6379, [(76*a - 67, 8, 0.1133)]), (-6395, [(79*a - 2, -48, 4.075)]), (-6416, [(72*a - 44, -32, 1.808)]), (-6419, [(77*a - 7, -64, 7.230)]), (-6431, [(72*a - 43, -16, 0.4515), (75*a - 62, 32, 1.806)]), (-6451, [(73*a - 51, -8, 0.1127)]), (-6464, [(72*a - 40, -16, 0.4503), (72*a - 32, -16, 0.4503)]), (-6471, [(72*a - 39, 48, 4.051)]), (-6479, [(80*a - 79, 32, 1.799)]), (-6544, [(76*a - 12, 32, 1.790)]), (-6571, [(73*a - 27, 40, 2.791)]), (-6595, [(76*a - 63, -16, 0.4458)]), (-6611, [(75*a - 58, -32, 1.781)]), (-6619, [(73*a - 43, -24, 1.001)]), (-6631, [(73*a - 31, 32, 1.778), (80*a - 3, 0, 0)]), (-6651, [(75*a - 18, -32, 1.776)]), (-6691, [(76*a - 15, 24, 0.9959)]), (-6719, [(81*a - 79, -8, 0.1104)]), (-6779, [(76*a - 59, 8, 0.1099)]), (-6795, [(81*a - 3, -32, 1.757)]), (-6896, [(76*a - 20, 32, 1.744)]), (-6931, [(79*a - 10, 16, 0.4349)]), (-6959, [(75*a - 46, -8, 0.1085)]), (-6976, [(80*a - 72, 48, 3.901), (80*a - 8, 16, 0.4335)]), (-6995, [(76*a - 23, -80, 10.82)]), (-7019, [(75*a - 34, 40, 2.701)]), (-7031, [(75*a - 38, 16, 0.4318)]), (-7039, [(80*a - 71, 8, 0.1079)]), (-7051, [(76*a - 51, 32, 1.725)]), (-7056, [(84*a - 84, 64, 6.896)]), (-7079, [(81*a - 7, -8, 0.1076)]), (-7099, [(76*a - 27, -16, 0.4297)]), (-7120, [(76*a - 28, 32, 1.716)]), (-7139, [(77*a - 55, 0, 0)]), (-7151, [(79*a - 14, 8, 0.1070)]), (-7159, [(80*a - 11, 8, 0.1070)]), (-7184, [(76*a - 32, 32, 1.709)]), (-7195, [(76*a - 43, -80, 10.67)]), (-7216, [(80*a - 68, -32, 1.705), (76*a - 36, 0, 0)]), (-7255, [(77*a - 51, 0, 0)]), (-7271, [(80*a - 67, 48, 3.821), (81*a - 71, -16, 0.4246)]), (-7279, [(83*a - 78, 16, 0.4244)]), (-7295, [(79*a - 62, 16, 0.4239)]), (-7299, [(84*a - 3, 64, 6.780)]), (-7339, [(77*a - 47, 16, 0.4226), (79*a - 18, -32, 1.690)]), (-7351, [(83*a - 6, -8, 0.1056)]), (-7355, [(77*a - 31, 32, 1.689)]), (-7376, [(84*a - 4, -48, 3.794)]), (-7391, [(85*a - 83, -32, 1.684)]), (-7411, [(77*a - 39, 8, 0.1051)]), (-7451, [(84*a - 79, -8, 0.1049)]), (-7459, [(79*a - 58, 24, 0.9432)]), (-7495, [(79*a - 22, 16, 0.4182)]), (-7499, [(81*a - 67, -8, 0.1045)]), (-7555, [(83*a - 74, 0, 0)]), (-7559, [(80*a - 19, 40, 2.603)]), (-7591, [(79*a - 54, 8, 0.1039)]), (-7619, [(83*a - 10, -16, 0.4148)]), (-7655, [(87*a - 86, 0, 0)]), (-7699, [(85*a - 79, -24, 0.9284)]), (-7744, [(88*a - 88, 0, 0)]), (-7759, [(79*a - 46, 24, 0.9248)]), (-7771, [(85*a - 7, 48, 3.696)]), (-7799, [(79*a - 38, 16, 0.4100)]), (-7855, [(83*a - 14, 0, 0)]), (-7856, [(80*a - 52, 16, 0.4085)]), (-7859, [(81*a - 59, 48, 3.676)]), (-7879, [(80*a - 51, -8, 0.1020)]), (-7979, [(84*a - 71, -32, 1.621), (87*a - 82, 32, 1.621)]), (-7984, [(80*a - 36, -16, 0.4052)]), (-7991, [(81*a - 55, 0, 0)]), (-7999, [(80*a - 39, -16, 0.4048), (88*a - 3, 0, 0)]), (-8011, [(83*a - 66, -8, 0.1011)]), (-8039, [(85*a - 11, -24, 0.9085)]), (-8095, [(89*a - 87, -48, 3.622)]), (-8144, [(84*a - 16, 16, 0.4012)]), (-8191, [(83*a - 62, -40, 2.500)]), (-8199, [(81*a - 39, 16, 0.3998)]), (-8291, [(84*a - 19, 8, 0.09940)]), (-8311, [(88*a - 7, 24, 0.8935)]), (-8336, [(84*a - 64, 32, 1.586), (84*a - 20, 96, 14.28)]), (-8371, [(91*a - 90, -48, 3.561)]), (-8384, [(88*a - 80, -16, 0.3954), (88*a - 8, 48, 3.559)]), (-8419, [(89*a - 83, 8, 0.09864)]), (-8431, [(85*a - 67, -8, 0.09857)]), (-8455, [(88*a - 79, 0, 0)]), (-8459, [(84*a - 23, -32, 1.575), (91*a - 2, -48, 3.543)]), (-8464, [(92*a - 92, 0, 0)]), (-8479, [(85*a - 19, -16, 0.3932)]), (-8496, [(84*a - 24, 32, 1.571)]), (-8531, [(87*a - 74, -80, 9.799)]), (-8555, [(83*a - 34, 32, 1.566)]), (-8624, [(84*a - 56, 32, 1.559)]), (-8651, [(84*a - 55, 144, 31.53), (85*a - 23, 0, 0)]), (-8656, [(88*a - 76, -48, 3.502), (88*a - 12, -48, 3.502)]), (-8699, [(84*a - 31, -88, 11.74)]), (-8739, [(84*a - 51, 80, 9.682)]), (-8759, [(85*a - 59, 0, 0)]), (-8771, [(84*a - 35, 48, 3.479)]), (-8779, [(89*a - 11, 8, 0.09660)]), (-8784, [(84*a - 48, -64, 6.181)]), (-8795, [(84*a - 47, 16, 0.3861)]), (-8811, [(87*a - 18, 96, 13.89)]), (-8816, [(84*a - 40, -64, 6.169)]), (-8819, [(84*a - 43, -8, 0.09638)]), (-8896, [(88*a - 16, -16, 0.3839)]), (-8899, [(85*a - 31, 32, 1.535)]), (-8955, [(87*a - 66, 64, 6.121)]), (-9019, [(85*a - 39, -32, 1.525)]), (-9031, [(85*a - 43, -16, 0.3810)]), (-9104, [(88*a - 68, 0, 0)]), (-9119, [(95*a - 94, -32, 1.517)]), (-9136, [(92*a - 84, 16, 0.3788)]), (-9151, [(88*a - 67, -8, 0.09462)]), (-9155, [(87*a - 26, 0, 0)]), (-9171, [(93*a - 87, -16, 0.3781)]), (-9211, [(92*a - 83, -80, 9.431)]), (-9239, [(88*a - 23, 8, 0.09416)]), (-9279, [(87*a - 30, -16, 0.3758)]), (-9280, [(88*a - 64, -32, 1.503)]), (-9311, [(96*a - 95, -24, 0.8442)]), (-9395, [(89*a - 67, 48, 3.362)]), (-9419, [(87*a - 50, -40, 2.332)]), (-9431, [(87*a - 38, -72, 7.549)]), (-9455, [(87*a - 46, 32, 1.489)]), (-9459, [(87*a - 42, 32, 1.489)]), (-9491, [(92*a - 79, -56, 4.552)]), (-9495, [(96*a - 3, 32, 1.486)]), (-9511, [(88*a - 31, -24, 0.8353)]), (-9539, [(91*a - 74, 40, 2.317)]), (-9584, [(96*a - 4, -64, 5.917)]), (-9595, [(89*a - 27, -96, 13.31), (91*a - 18, -32, 1.478)]), (-9599, [(97*a - 95, 32, 1.478)]), (-9616, [(88*a - 36, -32, 1.477)]), (-9655, [(88*a - 39, 32, 1.474)]), (-9664, [(88*a - 48, 32, 1.473)]), (-9671, [(88*a - 47, -32, 1.473)]), (-9679, [(88*a - 43, -24, 0.8280)]), (-9691, [(97*a - 3, 16, 0.3678)]), (-9719, [(89*a - 31, 24, 0.8263)]), (-9739, [(92*a - 75, 56, 4.494)]), (-9791, [(89*a - 55, -24, 0.8232)]), (-9811, [(89*a - 35, 40, 2.284)]), (-9851, [(92*a - 19, -88, 11.03)]), (-9904, [(92*a - 20, 16, 0.3638)]), (-9955, [(92*a - 71, 64, 5.806)]), (-9971, [(91*a - 26, 80, 9.064)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> -1, Fractional ideal (5*a - 2) -> -1
[4*a - 3, -2*a + 5/2 + (14*a - 27/2)*i + (-1/2)*j + (-1/2)*k, [(-11, [(-3*a + 1, 8, 2.588)]), (-16, [(-4*a, -8, 2.146)]), (-55, [(-7*a + 1, -8, 1.157)]), (-59, [(-7*a + 5, -16, 4.470)]), (-64, [(-8*a, -8, 1.073)]), (-95, [(-9*a + 2, 8, 0.8806)]), (-99, [(-9*a + 6, 8, 0.8627)]), (-139, [(-11*a + 9, 16, 2.912)]), (-151, [(-11*a + 5, 8, 0.6985)]), (-155, [(-12*a + 1, 24, 6.205)]), (-171, [(-12*a + 9, 24, 5.908)]), (-191, [(-13*a + 2, 0, 0)]), (-199, [(-13*a + 10, -8, 0.6085)]), (-239, [(-15*a + 1, 8, 0.5552)]), (-279, [(-15*a + 9, -8, 0.5139)]), (-311, [(-16*a + 5, 24, 4.380)]), (-319, [(-16*a + 9, 0, 0)]), (-355, [(-17*a + 6, 8, 0.4556)]), (-379, [(-19*a + 1, -24, 3.968)]), (-419, [(-20*a + 1, 16, 1.677)]), (-439, [(-19*a + 13, 8, 0.4097)]), (-464, [(-20*a + 4, 16, 1.594)]), (-479, [(-21*a + 2, 16, 1.569)]), (-495, [(-21*a + 18, 16, 1.543)]), (-551, [(-23*a + 1, -16, 1.463)]), (-639, [(-24*a + 21, -8, 0.3396)]), (-655, [(-23*a + 9, -8, 0.3354)]), (-656, [(-24*a + 4, -16, 1.340), (-24*a + 20, 32, 5.362)]), (-671, [(-25*a + 2, -8, 0.3314)]), (-691, [(-25*a + 22, -48, 11.76)]), (-695, [(-24*a + 17, -24, 2.930)]), (-704, [(-24*a + 8, 0, 0)]), (-719, [(-24*a + 13, 0, 0)]), (-720, [(-24*a + 12, 16, 1.280)]), (-739, [(-25*a + 6, 0, 0)]), (-755, [(-27*a + 1, -24, 2.811)]), (-784, [(-28*a, 0, 0)]), (-811, [(-28*a + 1, 24, 2.713)]), (-911, [(-27*a + 13, 16, 1.138)]), (-944, [(-28*a + 8, 32, 4.470)]), (-971, [(-28*a + 17, -32, 4.407)]), (-976, [(-28*a + 16, 0, 0)]), (-979, [(-29*a + 6, -16, 1.097)]), (-995, [(-29*a + 22, -8, 0.2721)]), (-1019, [(-31*a + 29, 8, 0.2689)]), (-1031, [(-29*a + 10, 32, 4.277)]), (-1051, [(-29*a + 14, -32, 4.236)]), (-1055, [(-32*a + 1, -8, 0.2643)]), (-1151, [(-33*a + 2, 24, 2.277)]), (-1159, [(-32*a + 5, -8, 0.2521)]), (-1171, [(-31*a + 21, 40, 6.271)]), (-1179, [(-33*a + 30, -40, 6.250)]), (-1195, [(-31*a + 13, 24, 2.235)]), (-1199, [(-31*a + 17, 8, 0.2479), (-32*a + 25, -8, 0.2479)]), (-1231, [(-32*a + 9, 0, 0)]), (-1251, [(-33*a + 6, 24, 2.184)]), (-1264, [(-32*a + 12, -16, 0.9657)]), (-1279, [(-32*a + 17, -24, 2.160)]), (-1319, [(-33*a + 10, -8, 0.2363)]), (-1359, [(-33*a + 18, -8, 0.2328)]), (-1399, [(-35*a + 29, 8, 0.2295)]), (-1424, [(-36*a + 32, 0, 0)]), (-1439, [(-37*a + 2, 16, 0.9051)]), (-1451, [(-36*a + 5, -40, 5.633)]), (-1459, [(-35*a + 9, -24, 2.022)]), (-1471, [(-37*a + 34, -8, 0.2238)]), (-1499, [(-36*a + 29, 40, 5.542)]), (-1511, [(-35*a + 13, 16, 0.8833)]), (-1520, [(-36*a + 28, 16, 0.8806)]), (-1531, [(-35*a + 17, 32, 3.510)]), (-1571, [(-36*a + 25, -64, 13.86)]), (-1595, [(-36*a + 13, -48, 7.737)]), (-1619, [(-36*a + 17, -8, 0.2133)]), (-1691, [(-37*a + 14, -16, 0.8349)]), (-1711, [(-40*a + 37, -16, 0.8300)]), (-1759, [(-41*a + 2, 0, 0)]), (-1791, [(-39*a + 9, 24, 1.825)]), (-1795, [(-41*a + 38, 56, 9.927)]), (-1831, [(-40*a + 33, -24, 1.805)]), (-1856, [(-40*a + 8, 32, 3.188)]), (-1879, [(-40*a + 9, 8, 0.1980)]), (-1891, [(-43*a + 1, -24, 1.776)]), (-1899, [(-39*a + 21, -24, 1.773)]), (-1919, [(-40*a + 29, 16, 0.7838), (-41*a + 34, -32, 3.135)]), (-1931, [(-43*a + 41, -48, 7.032)]), (-1991, [(-41*a + 10, 32, 3.078)]), (-2011, [(-41*a + 30, -8, 0.1914)]), (-2059, [(-44*a + 41, 0, 0)]), (-2071, [(-41*a + 26, 8, 0.1886), (-43*a + 37, 8, 0.1886)]), (-2111, [(-45*a + 2, 8, 0.1868)]), (-2131, [(-44*a + 5, -8, 0.1859)]), (-2151, [(-45*a + 42, -8, 0.1851)]), (-2155, [(-43*a + 9, -8, 0.1849)]), (-2179, [(-43*a + 33, 8, 0.1839)]), (-2291, [(-43*a + 17, -80, 17.93)]), (-2299, [(-44*a + 33, -32, 2.864)]), (-2320, [(-44*a + 12, -16, 0.7128)]), (-2371, [(-44*a + 29, -48, 6.346)]), (-2384, [(-44*a + 16, 16, 0.7032), (-44*a + 28, 32, 2.813)]), (-2411, [(-44*a + 25, -40, 4.370)]), (-2419, [(-44*a + 21, 32, 2.792), (-47*a + 5, -16, 0.6981)]), (-2459, [(-45*a + 14, -48, 6.231)]), (-2519, [(-48*a + 5, 0, 0)]), (-2551, [(-47*a + 9, 24, 1.529)]), (-2579, [(-47*a + 37, -16, 0.6761)]), (-2624, [(-48*a + 8, 16, 0.6702), (-48*a + 40, -32, 2.681)]), (-2651, [(-51*a + 1, -72, 13.50)]), (-2655, [(-48*a + 9, 0, 0)]), (-2711, [(-48*a + 37, 48, 5.935)]), (-2719, [(-47*a + 17, 0, 0)]), (-2736, [(-48*a + 12, -16, 0.6564)]), (-2755, [(-47*a + 21, 0, 0)]), (-2819, [(-49*a + 38, 8, 0.1617)]), (-2851, [(-52*a + 49, -56, 7.877)]), (-2864, [(-48*a + 28, -16, 0.6416)]), (-2871, [(-51*a + 45, -16, 0.6408)]), (-2879, [(-48*a + 25, 0, 0)]), (-2880, [(-48*a + 24, 16, 0.6398)]), (-2891, [(-49*a + 14, -48, 5.747)]), (-2896, [(-52*a + 48, -16, 0.6380)]), (-2959, [(-49*a + 18, 8, 0.1578)]), (-2971, [(-49*a + 30, 24, 1.417)]), (-2995, [(-49*a + 22, -56, 7.685)]), (-3056, [(-52*a + 44, -16, 0.6211)]), (-3091, [(-52*a + 9, 24, 1.389), (-53*a + 6, 8, 0.1544)]), (-3119, [(-51*a + 37, -16, 0.6148)]), (-3136, [(-56*a, 32, 2.452)]), (-3191, [(-56*a + 1, 16, 0.6078)]), (-3211, [(-52*a + 13, -64, 9.694)]), (-3231, [(-51*a + 21, 8, 0.1510)]), (-3239, [(-51*a + 29, -16, 0.6033), (-53*a + 10, 16, 0.6033)]), (-3251, [(-51*a + 25, -16, 0.6022)]), (-3271, [(-53*a + 42, 32, 2.401)]), (-3295, [(-56*a + 53, -8, 0.1495)]), (-3299, [(-52*a + 17, 8, 0.1494)]), (-3319, [(-55*a + 49, 8, 0.1490)]), (-3331, [(-52*a + 33, 40, 3.718)]), (-3344, [(-52*a + 20, -32, 2.375), (-56*a + 52, 16, 0.5937)]), (-3355, [(-53*a + 14, -48, 5.335)]), (-3379, [(-52*a + 25, 24, 1.329), (-53*a + 38, -8, 0.1477)]), (-3391, [(-56*a + 5, -16, 0.5896)]), (-3439, [(-53*a + 18, -16, 0.5855)]), (-3499, [(-53*a + 30, 16, 0.5804)]), (-3511, [(-53*a + 26, -24, 1.304)]), (-3520, [(-56*a + 8, 0, 0)]), (-3539, [(-59*a + 1, 32, 2.309)]), (-3559, [(-56*a + 9, 16, 0.5755)]), (-3571, [(-55*a + 13, -16, 0.5745)]), (-3595, [(-59*a + 57, 56, 7.015)]), (-3599, [(-57*a + 50, 16, 0.5723)]), (-3664, [(-56*a + 44, 32, 2.269)]), (-3671, [(-55*a + 17, -16, 0.5667)]), (-3691, [(-55*a + 37, -48, 5.086)]), (-3695, [(-56*a + 13, -8, 0.1412)]), (-3719, [(-57*a + 10, -32, 2.252)]), (-3739, [(-55*a + 21, -16, 0.5615)]), (-3751, [(-55*a + 33, 32, 2.242)]), (-3755, [(-57*a + 46, 24, 1.261)]), (-3776, [(-56*a + 16, -16, 0.5587), (-56*a + 40, 16, 0.5587)]), (-3799, [(-59*a + 53, -16, 0.5570)]), (-3839, [(-61*a + 2, 0, 0), (-56*a + 37, 0, 0)]), (-3856, [(-56*a + 36, -32, 2.212)]), (-3871, [(-56*a + 21, 16, 0.5518)]), (-3879, [(-57*a + 42, -24, 1.240)]), (-3895, [(-61*a + 58, -16, 0.5501), (-56*a + 33, 0, 0)]), (-3904, [(-56*a + 32, -16, 0.5495)]), (-3911, [(-56*a + 25, -40, 3.431)]), (-4016, [(-60*a + 8, 32, 2.167)]), (-4019, [(-57*a + 22, -8, 0.1354)]), (-4031, [(-63*a + 1, 0, 0)]), (-4091, [(-63*a + 61, 40, 3.355)]), (-4099, [(-61*a + 54, -16, 0.5363)]), (-4176, [(-60*a + 48, -16, 0.5313)]), (-4195, [(-59*a + 17, 24, 1.193)]), (-4231, [(-61*a + 10, 16, 0.5278)]), (-4259, [(-63*a + 5, -32, 2.104)]), (-4279, [(-64*a + 61, 24, 1.181)]), (-4304, [(-60*a + 16, 48, 4.710)]), (-4331, [(-60*a + 17, -40, 3.261)]), (-4336, [(-64*a + 60, 32, 2.086)]), (-4351, [(-59*a + 29, 32, 2.082)]), (-4379, [(-60*a + 41, 64, 8.301)]), (-4391, [(-64*a + 5, -16, 0.5181)]), (-4411, [(-61*a + 46, -32, 2.068)]), (-4451, [(-60*a + 37, -64, 8.234)]), (-4495, [(-61*a + 18, 0, 0)]), (-4499, [(-63*a + 53, -24, 1.152)]), (-4519, [(-61*a + 42, 8, 0.1277)]), (-4555, [(-67*a + 1, 56, 6.232)]), (-4579, [(-65*a + 6, 40, 3.171)]), (-4595, [(-61*a + 38, -56, 6.205)]), (-4639, [(-61*a + 34, -16, 0.5041)]), (-4655, [(-63*a + 49, 32, 2.013)]), (-4679, [(-64*a + 53, -16, 0.5019)]), (-4691, [(-68*a + 1, -24, 1.128)]), (-4751, [(-63*a + 17, -8, 0.1245)]), (-4759, [(-64*a + 13, -16, 0.4977)]), (-4799, [(-67*a + 5, 24, 1.115)]), (-4819, [(-68*a + 65, 48, 4.451)]), (-4831, [(-64*a + 49, 8, 0.1235)]), (-4871, [(-63*a + 41, 8, 0.1230)]), (-4880, [(-68*a + 64, 32, 1.966)]), (-4895, [(-69*a + 2, 32, 1.963)]), (-4919, [(-63*a + 25, 24, 1.101)]), (-4939, [(-68*a + 5, 56, 5.985)]), (-4959, [(-69*a + 66, 32, 1.950)]), (-4976, [(-64*a + 44, 80, 12.17)]), (-5039, [(-64*a + 41, -8, 0.1209)]), (-5056, [(-64*a + 24, 16, 0.4829)]), (-5059, [(-67*a + 57, 48, 4.344)]), (-5071, [(-65*a + 18, 0, 0)]), (-5095, [(-64*a + 37, 8, 0.1203)]), (-5104, [(-64*a + 28, -16, 0.4806)]), (-5111, [(-64*a + 29, -24, 1.081)]), (-5119, [(-64*a + 33, -8, 0.1200)]), (-5171, [(-65*a + 22, -16, 0.4775)]), (-5179, [(-71*a + 69, 40, 2.982)]), (-5191, [(-67*a + 13, -32, 1.906)]), (-5195, [(-69*a + 62, -88, 14.41)]), (-5251, [(-65*a + 38, 32, 1.895)]), (-5296, [(-68*a + 12, 0, 0)]), (-5339, [(-67*a + 17, -8, 0.1175), (-68*a + 13, 24, 1.057)]), (-5391, [(-72*a + 69, -8, 0.1169)]), (-5456, [(-68*a + 16, -16, 0.4648)]), (-5479, [(-67*a + 45, -24, 1.044)]), (-5491, [(-68*a + 17, -48, 4.170)]), (-5539, [(-67*a + 25, 16, 0.4613)]), (-5584, [(-68*a + 20, -16, 0.4595), (-68*a + 48, 0, 0)]), (-5591, [(-67*a + 29, -32, 1.837)]), (-5599, [(-71*a + 9, 0, 0)]), (-5639, [(-72*a + 65, 32, 1.829)]), (-5659, [(-68*a + 45, -24, 1.027)]), (-5680, [(-68*a + 44, -32, 1.822)]), (-5696, [(-72*a + 64, 64, 7.279)]), (-5771, [(-75*a + 73, 32, 1.808)]), (-5776, [(-76*a, 16, 0.4518)]), (-5779, [(-68*a + 33, -8, 0.1129)]), (-5791, [(-73*a + 66, -8, 0.1128)]), (-5795, [(-69*a + 22, 80, 11.28)]), (-5819, [(-69*a + 46, 40, 2.813)]), (-5855, [(-72*a + 61, -8, 0.1122)]), (-5879, [(-69*a + 26, -24, 1.008)]), (-5931, [(-69*a + 30, 24, 1.003)]), (-5939, [(-69*a + 38, -64, 7.128)]), (-5995, [(-71*a + 53, 16, 0.4434), (-76*a + 73, -32, 1.774)]), (-6039, [(-72*a + 57, -32, 1.767)]), (-6064, [(-76*a + 72, 48, 3.968)]), (-6079, [(-77*a + 2, 0, 0)]), (-6080, [(-72*a + 16, 64, 7.045), (-72*a + 56, 16, 0.4403)]), (-6119, [(-72*a + 17, 0, 0)]), (-6151, [(-77*a + 74, -16, 0.4378)]), (-6155, [(-73*a + 14, 24, 0.9847)]), (-6211, [(-71*a + 45, -32, 1.743)]), (-6224, [(-72*a + 52, 0, 0)]), (-6255, [(-72*a + 21, -16, 0.4341)]), (-6259, [(-71*a + 29, 40, 2.712)]), (-6295, [(-71*a + 33, 40, 2.705)]), (-6299, [(-71*a + 37, 40, 2.704)]), (-6319, [(-73*a + 18, 0, 0)]), (-6320, [(-76*a + 8, 32, 1.728)]), (-6336, [(-72*a + 48, -80, 10.78)]), (-6359, [(-72*a + 25, -8, 0.1076)]), (-6379, [(-76*a + 9, 40, 2.687)]), (-6416, [(-72*a + 28, 0, 0)]), (-6451, [(-73*a + 22, 24, 0.9618)]), (-6455, [(-72*a + 41, -40, 2.671)]), (-6471, [(-72*a + 33, -8, 0.1067)]), (-6479, [(-73*a + 50, 0, 0)]), (-6544, [(-76*a + 64, -16, 0.4244)]), (-6551, [(-73*a + 26, -40, 2.651)]), (-6571, [(-73*a + 46, -8, 0.1059)]), (-6595, [(-76*a + 13, 24, 0.9512)]), (-6611, [(-79*a + 5, -88, 12.77)]), (-6651, [(-75*a + 57, -40, 2.631)]), (-6659, [(-73*a + 38, -64, 6.732)]), (-6679, [(-79*a + 73, -16, 0.4201)]), (-6691, [(-76*a + 61, 0, 0)]), (-6704, [(-80*a + 76, 16, 0.4193)]), (-6719, [(-81*a + 2, 24, 0.9424)]), (-6736, [(-76*a + 16, 48, 3.765), (-76*a + 60, 16, 0.4183)]), (-6759, [(-75*a + 21, -8, 0.1044)]), (-6779, [(-76*a + 17, -40, 2.606)]), (-6791, [(-75*a + 53, -8, 0.1042)]), (-6795, [(-81*a + 78, 0, 0)]), (-6871, [(-79*a + 9, -40, 2.589)]), (-6931, [(-76*a + 21, 64, 6.599)]), (-6959, [(-75*a + 29, 8, 0.1029)]), (-6991, [(-77*a + 18, -24, 0.9239)]), (-7011, [(-75*a + 33, -112, 20.09), (-81*a + 6, 64, 6.561)]), (-7019, [(-75*a + 41, 0, 0)]), (-7024, [(-76*a + 24, 16, 0.4097)]), (-7031, [(-77*a + 58, 32, 1.638)]), (-7051, [(-83*a + 81, -72, 8.280)]), (-7079, [(-81*a + 74, 0, 0)]), (-7120, [(-76*a + 48, 32, 1.628)]), (-7151, [(-79*a + 65, 24, 0.9135)]), (-7159, [(-80*a + 69, 16, 0.4058)]), (-7171, [(-76*a + 45, -16, 0.4054), (-77*a + 54, 80, 10.14)]), (-7184, [(-76*a + 44, 16, 0.4051)]), (-7195, [(-76*a + 33, -8, 0.1012)]), (-7211, [(-76*a + 41, 64, 6.469)]), (-7216, [(-76*a + 40, -32, 1.617), (-80*a + 12, 32, 1.617)]), (-7271, [(-80*a + 13, -8, 0.1007), (-81*a + 10, 8, 0.1007)]), (-7279, [(-77*a + 50, 32, 1.610)]), (-7339, [(-77*a + 30, -48, 3.607), (-79*a + 61, -16, 0.4008)]), (-7376, [(-84*a + 80, 16, 0.3998)]), (-7391, [(-85*a + 2, -24, 0.8986)]), (-7451, [(-84*a + 5, -80, 9.944)]), (-7471, [(-85*a + 82, 8, 0.09931)]), (-7495, [(-79*a + 57, 8, 0.09915)]), (-7551, [(-81*a + 66, -56, 4.840)]), (-7555, [(-83*a + 9, -8, 0.09875)]), (-7559, [(-80*a + 61, 8, 0.09873)]), (-7591, [(-79*a + 25, 0, 0)]), (-7619, [(-83*a + 73, -64, 6.294)]), (-7655, [(-87*a + 1, 8, 0.09810)]), (-7664, [(-84*a + 76, -48, 3.530)]), (-7699, [(-85*a + 6, 16, 0.3913)]), (-7739, [(-81*a + 62, -8, 0.09757), (-87*a + 85, 24, 0.8781)]), (-7771, [(-85*a + 78, 40, 2.434)]), (-7795, [(-79*a + 37, -40, 2.430)]), (-7799, [(-83*a + 13, 16, 0.3888)]), (-7831, [(-80*a + 53, -16, 0.3880), (-88*a + 1, -32, 1.552)]), (-7855, [(-83*a + 69, 8, 0.09685)]), (-7856, [(-80*a + 28, 16, 0.3874)]), (-7859, [(-84*a + 73, -32, 1.549)]), (-7919, [(-80*a + 49, -24, 0.8681)]), (-7979, [(-84*a + 13, 64, 6.150), (-87*a + 5, 16, 0.3844)]), (-7984, [(-80*a + 44, -16, 0.3843)]), (-7991, [(-81*a + 26, -24, 0.8642)]), (-8011, [(-83*a + 17, -48, 3.452)]), (-8080, [(-88*a + 4, -48, 3.438), (-88*a + 84, 48, 3.438)]), (-8091, [(-84*a + 69, -32, 1.527)]), (-8111, [(-81*a + 50, 0, 0)]), (-8144, [(-84*a + 68, -16, 0.3805)]), (-8171, [(-81*a + 46, 16, 0.3798)]), (-8199, [(-81*a + 42, 8, 0.09479)]), (-8219, [(-85*a + 14, -40, 2.367)]), (-8231, [(-83*a + 61, 32, 1.514)]), (-8271, [(-87*a + 9, 40, 2.359)]), (-8311, [(-88*a + 81, 0, 0)]), (-8339, [(-83*a + 25, 24, 0.8460)]), (-8371, [(-83*a + 57, -32, 1.501)]), (-8379, [(-84*a + 21, 0, 0)]), (-8431, [(-85*a + 18, -24, 0.8413)]), (-8455, [(-88*a + 9, -16, 0.3734)]), (-8459, [(-91*a + 89, -48, 3.360), (-84*a + 61, 0, 0)]), (-8479, [(-83*a + 53, 8, 0.09322)]), (-8495, [(-89*a + 82, -8, 0.09313)]), (-8531, [(-87*a + 13, 8, 0.09293)]), (-8539, [(-83*a + 33, 8, 0.09289)]), (-8555, [(-83*a + 49, -16, 0.3712)]), (-8591, [(-88*a + 77, -48, 3.334)]), (-8595, [(-84*a + 57, 112, 18.15)]), (-8624, [(-84*a + 28, -64, 5.915)]), (-8711, [(-89*a + 10, 8, 0.09197), (-91*a + 5, 8, 0.09197)]), (-8719, [(-88*a + 13, 8, 0.09192)]), (-8720, [(-84*a + 52, 64, 5.883), (-84*a + 32, 0, 0)]), (-8731, [(-92*a + 89, -72, 7.441)]), (-8759, [(-85*a + 26, 0, 0)]), (-8771, [(-84*a + 49, 48, 3.299)]), (-8779, [(-89*a + 78, 0, 0)]), (-8784, [(-84*a + 36, 16, 0.3663)]), (-8791, [(-85*a + 58, -48, 3.296), (-91*a + 85, 0, 0)]), (-8795, [(-84*a + 37, 8, 0.09153)]), (-8811, [(-84*a + 45, 64, 5.852)]), (-8816, [(-84*a + 44, -48, 3.291)]), (-8819, [(-84*a + 41, -72, 7.403)]), (-8839, [(-88*a + 73, 16, 0.3652)]), (-8896, [(-88*a + 72, -16, 0.3640)]), (-8899, [(-92*a + 5, 64, 5.823)]), (-8955, [(-87*a + 21, 16, 0.3628)]), (-8999, [(-87*a + 65, 16, 0.3619)]), (-9019, [(-85*a + 46, -32, 1.446)]), (-9031, [(-89*a + 74, 8, 0.09032)]), (-9059, [(-92*a + 85, -72, 7.305)]), (-9091, [(-91*a + 81, -16, 0.3601)]), (-9104, [(-88*a + 20, 0, 0)]), (-9119, [(-87*a + 25, 40, 2.247)]), (-9136, [(-92*a + 8, 32, 1.437)]), (-9151, [(-88*a + 21, -32, 1.436)]), (-9171, [(-93*a + 6, -8, 0.08963)]), (-9211, [(-95*a + 93, -104, 15.11)]), (-9280, [(-88*a + 24, -48, 3.208)]), (-9311, [(-96*a + 1, -24, 0.8006)]), (-9319, [(-88*a + 25, -16, 0.3557)]), (-9351, [(-87*a + 33, 24, 0.7989)]), (-9359, [(-91*a + 77, 16, 0.3549)]), (-9371, [(-87*a + 53, -104, 14.98)]), (-9419, [(-87*a + 37, -24, 0.7960)]), (-9424, [(-88*a + 28, -16, 0.3537), (-92*a + 80, 16, 0.3537)]), (-9536, [(-88*a + 32, 32, 1.406), (-88*a + 56, 48, 3.164)]), (-9539, [(-91*a + 17, 32, 1.406)]), (-9599, [(-88*a + 53, -32, 1.402)]), (-9616, [(-88*a + 52, 32, 1.401)]), (-9619, [(-92*a + 77, 96, 12.60)]), (-9664, [(-88*a + 40, 0, 0)]), (-9671, [(-88*a + 41, -32, 1.397)]), (-9680, [(-88*a + 44, 32, 1.396)]), (-9691, [(-89*a + 30, -40, 2.180)]), (-9791, [(-89*a + 34, -64, 5.552)]), (-9811, [(-89*a + 54, 0, 0)]), (-9851, [(-92*a + 73, -56, 4.238)]), (-9859, [(-89*a + 38, 8, 0.08645)]), (-9899, [(-89*a + 46, -80, 8.627), (-99*a + 1, 32, 1.380)]), (-9904, [(-92*a + 72, -16, 0.3450)]), (-9920, [(-96*a + 8, -16, 0.3447)]), (-9955, [(-97*a + 6, 48, 3.097)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> 1, Fractional ideal (5*a - 2) -> 1
[-a - 2, -15/2*a + 1 + (9/2*a + 11/2)*i + (-1/2)*k, [(1, [(1, 1, 0.3599)]), (29, [(-a + 6, 8, 4.277)]), (45, [(3*a + 6, -8, 3.434)]), (64, [(8, -8, 2.879)]), (89, [(a + 9, 0, 0)]), (176, [(-4*a + 16, 0, 0)]), (181, [(a + 13, 8, 1.712)]), (209, [(-5*a + 18, -8, 1.593)]), (229, [(3*a + 14, -16, 6.088)]), (305, [(a + 17, 8, 1.319)]), (341, [(4*a + 17, 8, 2.495), (-4*a + 21, 8, 1.247)]), (349, [(5*a + 17, -16, 4.932), (-5*a + 22, 24, 11.10)]), (401, [(-7*a + 25, -8, 1.150)]), (461, [(a + 21, -8, 1.073)]), (496, [(-8*a + 28, 8, 2.068)]), (509, [(4*a + 21, 8, 1.021)]), (545, [(8*a + 21, -8, 0.9867), (-8*a + 29, -8, 0.9867)]), (549, [(-9*a + 30, -8, 0.9830)]), (589, [(7*a + 22, 16, 7.593), (-7*a + 29, 8, 0.9491)]), (605, [(11*a + 22, 16, 3.746)]), (649, [(-a + 26, 0, 0)]), (656, [(4*a + 24, -16, 3.597), (-4*a + 28, 0, 0)]), (704, [(-8*a + 32, 16, 3.472)]), (709, [(4*a + 25, -16, 3.460)]), (761, [(-8*a + 33, 0, 0)]), (769, [(9*a + 25, 16, 3.322), (-9*a + 34, -8, 0.8306)]), (781, [(12*a + 25, -24, 7.418)]), (784, [(28, 16, 3.291)]), (809, [(7*a + 26, -8, 0.8098)]), (880, [(-4*a + 32, 0, 0)]), (941, [(-4*a + 33, 0, 0)]), (944, [(8*a + 28, -16, 2.999), (-8*a + 36, 0, 0)]), (976, [(12*a + 28, 16, 2.949)]), (981, [(3*a + 30, 8, 0.7354), (-3*a + 33, 24, 6.619)]), (1009, [(-8*a + 37, 0, 0)]), (1021, [(9*a + 29, 8, 0.7209)]), (1045, [(12*a + 29, 16, 2.850)]), (1049, [(13*a + 29, 8, 0.7112)]), (1061, [(7*a + 30, -16, 2.829), (-7*a + 37, 16, 2.829)]), (1089, [(33, 0, 0)]), (1109, [(-11*a + 41, -16, 2.767)]), (1205, [(4*a + 33, 8, 0.6635)]), (1229, [(5*a + 33, -24, 5.913), (-5*a + 38, -32, 10.51)]), (1264, [(-12*a + 44, -16, 2.591)]), (1305, [(9*a + 33, 0, 0)]), (1345, [(-7*a + 41, -8, 0.6281)]), (1349, [(-13*a + 46, -16, 2.509), (13*a + 33, 24, 5.644)]), (1405, [(a + 37, -40, 15.36), (-a + 38, -8, 0.6145)]), (1441, [(15*a + 34, -8, 0.6068)]), (1501, [(4*a + 37, 16, 2.378)]), (1520, [(8*a + 36, 16, 2.363), (-8*a + 44, 0, 0)]), (1529, [(5*a + 37, 8, 0.5891), (-5*a + 42, 16, 2.356)]), (1549, [(3*a + 38, -16, 2.341)]), (1584, [(12*a + 36, -16, 2.315)]), (1661, [(7*a + 38, 16, 2.261), (-7*a + 45, 8, 0.5652)]), (1669, [(-12*a + 49, -8, 0.5638)]), (1681, [(41, 0, 0)]), (1705, [(16*a + 37, 8, 1.116), (-16*a + 53, -16, 2.231)]), (1709, [(-17*a + 54, 32, 8.915), (17*a + 37, -8, 0.5572)]), (1789, [(-15*a + 53, 24, 4.901)]), (1829, [(-4*a + 45, 16, 4.309)]), (1856, [(-8*a + 48, 0, 0)]), (1881, [(-3*a + 45, 0, 0)]), (1945, [(8*a + 41, -8, 0.5223)]), (1984, [(-16*a + 56, -8, 1.034)]), (2009, [(-7*a + 49, 16, 2.056), (7*a + 42, 0, 0)]), (2045, [(13*a + 41, 8, 0.5094)]), (2069, [(a + 45, -16, 2.026)]), (2081, [(16*a + 41, -16, 2.020), (-16*a + 57, 8, 0.5049)]), (2089, [(-17*a + 58, 0, 0)]), (2101, [(20*a + 41, 16, 2.010)]), (2169, [(-15*a + 57, -24, 4.451)]), (2189, [(4*a + 45, -24, 4.431), (-4*a + 49, 16, 1.969)]), (2201, [(-19*a + 61, -8, 0.4910), (19*a + 42, 0, 0)]), (2224, [(8*a + 44, -16, 1.954)]), (2245, [(3*a + 46, 24, 4.375)]), (2320, [(-12*a + 56, 16, 1.913)]), (2321, [(-8*a + 53, 8, 0.4781)]), (2384, [(16*a + 44, 16, 1.887), (-16*a + 60, 0, 0)]), (2416, [(-20*a + 64, 16, 1.874)]), (2421, [(12*a + 45, -8, 0.4681)]), (2441, [(-13*a + 58, -8, 0.4662)]), (2449, [(-a + 50, 16, 3.724)]), (2480, [(4*a + 48, 16, 3.700), (-4*a + 52, -16, 1.850)]), (2489, [(16*a + 45, 8, 0.4617), (-16*a + 61, 16, 1.847)]), (2501, [(11*a + 46, 16, 1.842), (-17*a + 62, 16, 1.842)]), (2529, [(-21*a + 66, 8, 0.4580), (21*a + 45, -24, 4.122)]), (2581, [(4*a + 49, 32, 7.254), (-4*a + 53, -16, 1.814)]), (2621, [(5*a + 49, -8, 0.4499)]), (2624, [(8*a + 48, 16, 1.799), (-8*a + 56, -32, 7.195)]), (2629, [(-19*a + 65, 48, 16.17), (19*a + 46, 8, 0.4492)]), (2641, [(3*a + 50, -8, 0.4482)]), (2645, [(-23*a + 69, -24, 4.031)]), (2736, [(12*a + 48, 16, 1.761), (-12*a + 60, -16, 1.761)]), (2801, [(7*a + 50, 0, 0)]), (2845, [(-12*a + 61, 24, 3.887)]), (2861, [(a + 53, 24, 3.876), (-a + 54, 16, 1.723)]), (2864, [(20*a + 48, -16, 1.722)]), (2869, [(-13*a + 62, -24, 3.870)]), (2880, [(24*a + 48, -16, 1.717)]), (2929, [(-11*a + 61, -16, 1.702), (-16*a + 65, 16, 1.702)]), (2945, [(17*a + 49, 8, 0.8489)]), (2989, [(21*a + 49, 0, 0)]), (3001, [(24*a + 49, 8, 0.4205), (-24*a + 73, -8, 0.4205)]), (3005, [(4*a + 53, -8, 0.4202)]), (3049, [(-5*a + 58, -8, 0.4171)]), (3056, [(8*a + 52, 16, 1.667), (-8*a + 60, -16, 1.667)]), (3069, [(-3*a + 57, -24, 7.484), (3*a + 54, 0, 0)]), (3089, [(-19*a + 69, -8, 0.4144), (19*a + 50, 8, 0.4144)]), (3121, [(-23*a + 73, 0, 0)]), (3136, [(56, 16, 1.645)]), (3169, [(8*a + 53, -24, 3.682), (-8*a + 61, 8, 0.4092)]), (3184, [(12*a + 52, 16, 1.633)]), (3205, [(9*a + 53, -8, 0.4069)]), (3245, [(7*a + 54, -16, 1.617)]), (3301, [(12*a + 53, -24, 3.608)]), (3305, [(a + 57, 8, 0.4007), (-a + 58, -8, 0.4007)]), (3329, [(-13*a + 66, -8, 0.3992)]), (3344, [(4*a + 56, -16, 1.593)]), (3401, [(16*a + 53, 0, 0)]), (3421, [(17*a + 53, 16, 1.575)]), (3461, [(4*a + 57, -40, 9.788), (-4*a + 61, -8, 0.3915)]), (3501, [(-15*a + 69, 8, 0.3893)]), (3520, [(-8*a + 64, 0, 0)]), (3529, [(-3*a + 61, 0, 0)]), (3681, [(-9*a + 66, -8, 0.3796)]), (3776, [(-16*a + 72, 16, 1.499), (16*a + 56, 0, 0)]), (3781, [(a + 61, -40, 9.365)]), (3821, [(-13*a + 70, -16, 1.491), (13*a + 57, 0, 0)]), (3824, [(-4*a + 64, -16, 1.490)]), (3856, [(20*a + 56, 16, 1.484)]), (3881, [(11*a + 58, -8, 0.3697)]), (3904, [(24*a + 56, 0, 0)]), (3905, [(16*a + 57, 0, 0)]), (3929, [(17*a + 57, -8, 0.3675)]), (3949, [(-4*a + 65, -8, 0.3665)]), (3989, [(-20*a + 77, -32, 5.835)]), (4001, [(-5*a + 66, 8, 0.3641), (5*a + 61, 0, 0)]), (4005, [(-21*a + 78, 32, 5.823)]), (4009, [(-15*a + 73, 8, 0.3638), (15*a + 58, 16, 1.455)]), (4016, [(-8*a + 68, 0, 0)]), (4021, [(-3*a + 65, 8, 0.3632)]), (4041, [(-24*a + 81, 8, 0.3623)]), (4049, [(25*a + 57, -16, 1.448), (-25*a + 82, 8, 0.3620)]), (4061, [(-28*a + 85, -24, 3.253), (28*a + 57, 0, 0)]), (4105, [(19*a + 58, -8, 0.3595)]), (4145, [(-8*a + 69, -8, 0.3578)]), (4169, [(-23*a + 81, 16, 1.427)]), (4176, [(12*a + 60, 16, 1.426)]), (4229, [(7*a + 62, 8, 0.3542)]), (4289, [(-a + 66, -8, 0.3517)]), (4304, [(-16*a + 76, 0, 0)]), (4309, [(12*a + 61, 56, 17.19), (-12*a + 73, -16, 2.807)]), (4336, [(4*a + 64, 0, 0)]), (4405, [(-11*a + 73, 24, 3.123)]), (4464, [(-24*a + 84, 16, 2.758), (24*a + 60, 0, 0)]), (4541, [(20*a + 61, 8, 0.3418)]), (4549, [(-15*a + 77, -48, 12.29)]), (4609, [(-24*a + 85, -16, 1.357)]), (4621, [(25*a + 61, 32, 5.421), (-25*a + 86, 0, 0)]), (4645, [(28*a + 61, 8, 0.3380)]), (4649, [(-29*a + 90, 16, 1.351)]), (4661, [(19*a + 62, 16, 1.350)]), (4681, [(8*a + 65, 8, 0.6733), (-8*a + 73, 8, 0.3367)]), (4729, [(9*a + 65, -24, 3.015)]), (4741, [(-23*a + 85, -8, 0.3345)]), (4761, [(69, 8, 0.3338)]), (4769, [(-7*a + 73, 0, 0)]), (4789, [(-27*a + 89, 16, 1.331)]), (4805, [(31*a + 62, -8, 0.6646)]), (4829, [(-a + 70, 16, 1.326)]), (4861, [(-12*a + 77, 24, 2.973), (12*a + 65, 0, 0)]), (4901, [(13*a + 65, -32, 5.264)]), (4976, [(20*a + 64, -16, 1.306), (-20*a + 84, -16, 1.306)]), (5009, [(16*a + 65, 16, 1.302), (-16*a + 81, 16, 1.302)]), (5021, [(-4*a + 73, 0, 0)]), (5056, [(-24*a + 88, 16, 1.296)]), (5081, [(-5*a + 74, -24, 2.908), (5*a + 69, 0, 0)]), (5101, [(-3*a + 73, 0, 0)]), (5104, [(-28*a + 92, 48, 11.61), (28*a + 64, 0, 0)]), (5121, [(15*a + 66, -8, 0.3219)]), (5149, [(-21*a + 86, -32, 5.136)]), (5209, [(24*a + 65, 16, 1.277), (-24*a + 89, -24, 2.872)]), (5249, [(8*a + 69, 16, 1.272), (-8*a + 77, 0, 0)]), (5261, [(28*a + 65, 8, 0.3176)]), (5269, [(-29*a + 94, 0, 0)]), (5281, [(-32*a + 97, -8, 0.3170)]), (5296, [(-12*a + 80, 0, 0)]), (5301, [(-9*a + 78, 8, 0.6327)]), (5345, [(23*a + 66, 8, 0.3151)]), (5409, [(-27*a + 93, 8, 0.3132)]), (5441, [(31*a + 66, -8, 0.3123), (-31*a + 97, -24, 2.810)]), (5456, [(-4*a + 76, 0, 0)]), (5549, [(11*a + 70, -16, 2.474)]), (5605, [(4*a + 73, -32, 4.923), (-4*a + 77, -48, 11.08)]), (5609, [(16*a + 69, 0, 0)]), (5645, [(17*a + 69, 8, 0.3066)]), (5669, [(-5*a + 78, 8, 0.3059)]), (5680, [(-24*a + 92, 16, 1.223), (24*a + 68, 0, 0)]), (5689, [(3*a + 74, 8, 0.3054), (-3*a + 77, 32, 4.886)]), (5696, [(8*a + 72, 0, 0)]), (5741, [(-20*a + 89, 0, 0)]), (5769, [(-21*a + 90, -8, 0.3033)]), (5776, [(76, -16, 1.212)]), (5841, [(-24*a + 93, -16, 1.206)]), (5849, [(8*a + 73, 0, 0)]), (5869, [(-19*a + 89, -48, 10.82), (19*a + 70, 0, 0)]), (5905, [(-9*a + 82, -24, 2.698)]), (5921, [(29*a + 69, 0, 0)]), (5945, [(-32*a + 101, 16, 1.195), (-7*a + 81, 0, 0)]), (5949, [(33*a + 69, 40, 7.466), (-33*a + 102, 40, 7.466)]), (5981, [(-23*a + 93, 16, 1.191)]), (6005, [(-a + 78, -40, 7.431)]), (6061, [(27*a + 70, -16, 1.183), (-27*a + 97, 0, 0)]), (6064, [(4*a + 76, 48, 10.65), (-4*a + 80, -32, 4.733)]), (6080, [(16*a + 72, 16, 1.182), (-16*a + 88, 0, 0)]), (6109, [(-13*a + 86, 32, 4.715), (31*a + 70, -64, 18.86), (-31*a + 101, -16, 1.179), (13*a + 73, 0, 0)]), (6169, [(11*a + 74, 8, 0.2933), (-11*a + 85, 8, 0.5865)]), (6221, [(-4*a + 81, 40, 7.301)]), (6224, [(20*a + 72, 16, 1.168)]), (6289, [(-5*a + 82, 16, 1.162)]), (6320, [(-8*a + 84, -32, 4.636)]), (6336, [(24*a + 72, -16, 1.157)]), (6361, [(15*a + 74, -16, 1.155)]), (6389, [(20*a + 73, 16, 1.153)]), (6421, [(-21*a + 94, 8, 0.2874), (21*a + 73, -40, 7.186)]), (6505, [(24*a + 73, 8, 0.2856)]), (6521, [(19*a + 74, 8, 0.2852)]), (6541, [(9*a + 77, -16, 2.278), (-9*a + 86, 40, 7.120)]), (6544, [(12*a + 76, 0, 0)]), (6581, [(7*a + 78, 32, 4.543), (-7*a + 85, -24, 2.555)]), (6589, [(28*a + 73, -40, 7.094)]), (6605, [(29*a + 73, -8, 0.2834), (-29*a + 102, -40, 7.085)]), (6641, [(a + 81, 16, 1.131), (-a + 82, 0, 0)]), (6649, [(-23*a + 97, -8, 0.2825), (33*a + 73, 8, 0.2825)]), (6661, [(-36*a + 109, 0, 0)]), (6704, [(4*a + 80, 16, 1.125), (-4*a + 84, 16, 1.125)]), (6709, [(-12*a + 89, 56, 13.78)]), (6736, [(-16*a + 92, 0, 0), (16*a + 76, 0, 0)]), (6761, [(13*a + 77, -8, 0.2801)]), (6821, [(11*a + 78, -32, 4.462), (-11*a + 89, 8, 0.2789)]), (6841, [(-35*a + 109, -8, 0.2785)]), (6869, [(4*a + 81, -48, 10.01), (-4*a + 85, -8, 0.2779)]), (6905, [(16*a + 77, -8, 0.2772)]), (6949, [(-17*a + 94, -24, 2.487), (17*a + 77, -16, 1.105)]), (6961, [(-3*a + 85, 0, 0)]), (7024, [(24*a + 76, 48, 9.894), (-24*a + 100, 16, 1.099)]), (7029, [(-15*a + 93, -16, 1.099)]), (7105, [(-21*a + 98, 0, 0)]), (7120, [(28*a + 76, 32, 4.368)]), (7145, [(8*a + 81, -8, 0.2725)]), (7184, [(32*a + 76, 0, 0)]), (7205, [(19*a + 78, 32, 4.342)]), (7216, [(36*a + 76, -32, 4.338), (-12*a + 92, 0, 0)]), (7229, [(25*a + 77, 24, 2.438)]), (7249, [(-7*a + 89, 24, 2.435)]), (7301, [(-28*a + 105, 16, 1.078), (28*a + 77, 32, 4.313)]), (7309, [(-a + 86, 16, 1.078)]), (7321, [(29*a + 77, 8, 0.2692), (-29*a + 106, 8, 0.2692)]), (7349, [(-23*a + 101, 48, 9.673), (23*a + 78, 16, 1.075)]), (7369, [(-32*a + 109, 0, 0)]), (7381, [(-33*a + 110, 0, 0)]), (7389, [(-12*a + 93, 8, 0.2680)]), (7405, [(-36*a + 113, 40, 6.692)]), (7409, [(37*a + 77, 8, 0.2676), (-37*a + 114, -24, 4.817)]), (7445, [(-13*a + 94, -8, 0.2670), (13*a + 81, 40, 6.674)]), (7461, [(27*a + 78, 8, 0.2667)]), (7505, [(-11*a + 93, 16, 1.064)]), (7541, [(31*a + 78, -24, 2.387), (-31*a + 109, 32, 4.244)]), (7601, [(-16*a + 97, 0, 0)]), (7645, [(3*a + 86, -48, 9.484), (-3*a + 89, 32, 4.215)]), (7649, [(17*a + 81, 8, 0.2634)]), (7664, [(8*a + 84, -48, 9.472), (-8*a + 92, -16, 1.052)]), (7781, [(-20*a + 101, 16, 2.089)]), (7841, [(8*a + 85, 8, 0.2601)]), (7856, [(-28*a + 108, -16, 1.039)]), (7909, [(9*a + 85, -16, 1.036), (-9*a + 94, -24, 2.331)]), (7920, [(12*a + 84, 32, 4.141)]), (7929, [(24*a + 81, -24, 2.328)]), (7949, [(7*a + 86, 8, 0.2584)]), (7984, [(36*a + 80, -16, 1.031)]), (8009, [(-a + 90, 0, 0)]), (8080, [(4*a + 88, 16, 1.025), (-4*a + 92, -48, 9.225)]), (8081, [(-23*a + 105, -16, 1.025)]), (8129, [(-32*a + 113, 24, 2.299), (32*a + 81, -16, 1.022)]), (8145, [(-33*a + 114, 0, 0)]), (8189, [(37*a + 81, -16, 1.018), (-37*a + 118, 40, 6.363)]), (8201, [(40*a + 81, 0, 0)]), (8221, [(11*a + 86, 24, 2.286)]), (8261, [(4*a + 89, -8, 0.2534)]), (8305, [(31*a + 82, -32, 4.044), (-31*a + 113, 0, 0)]), (8329, [(-16*a + 101, -16, 1.010)]), (8361, [(-3*a + 93, -8, 0.2519)]), (8369, [(-35*a + 117, -16, 1.007)]), (8381, [(17*a + 85, 16, 1.006)]), (8401, [(-39*a + 121, 0, 0)]), (8461, [(-15*a + 101, 24, 2.254)]), (8569, [(-8*a + 97, -16, 0.9953), (21*a + 85, 0, 0)]), (8624, [(-28*a + 112, 32, 3.969)]), (8641, [(-9*a + 98, 24, 2.230)]), (8649, [(93, 8, 0.4953)]), (8689, [(24*a + 85, 8, 0.2471), (-24*a + 109, -40, 6.178)]), (8741, [(a + 93, -24, 2.217)]), (8816, [(40*a + 84, -16, 0.9813), (-4*a + 96, 0, 0)]), (8821, [(28*a + 85, -16, 0.9810)]), (8845, [(12*a + 89, -48, 8.817), (-12*a + 101, 0, 0)]), (8849, [(-29*a + 114, 0, 0), (29*a + 85, 0, 0)]), (8896, [(16*a + 88, 0, 0)]), (8909, [(-13*a + 102, -16, 0.9761)]), (8921, [(-32*a + 117, 16, 0.9755)]), (8941, [(-33*a + 118, -8, 0.2436)]), (8969, [(11*a + 90, 16, 0.9729), (-11*a + 101, -24, 2.189)]), (8989, [(27*a + 86, 16, 0.9718), (36*a + 85, 16, 0.9718)]), (9001, [(-37*a + 122, 0, 0)]), (9005, [(4*a + 93, 8, 0.2427)]), (9089, [(5*a + 93, 16, 0.9664), (-16*a + 105, 16, 0.9664)]), (9104, [(-20*a + 108, -16, 0.9656)]), (9109, [(-3*a + 97, -8, 0.2413)]), (9136, [(-8*a + 100, 32, 3.856)]), (9145, [(-17*a + 106, 16, 1.927), (17*a + 89, 16, 0.9635)]), (9181, [(35*a + 86, 40, 6.010), (-35*a + 121, -8, 0.2404)]), (9229, [(-39*a + 125, 24, 2.158)]), (9245, [(-43*a + 129, -8, 0.2396)]), (9280, [(-24*a + 112, -16, 0.9564)]), (9301, [(20*a + 89, 8, 0.2388), (-20*a + 109, -64, 15.29)]), (9329, [(8*a + 93, 0, 0)]), (9405, [(9*a + 93, -32, 3.800)]), (9409, [(97, -32, 3.799)]), (9424, [(12*a + 92, -48, 8.542), (-12*a + 104, 0, 0)]), (9445, [(7*a + 94, 24, 2.133)]), (9481, [(24*a + 89, 16, 0.9462)]), (9536, [(-32*a + 120, -16, 0.9435), (32*a + 88, 0, 0)]), (9616, [(36*a + 88, -16, 0.9396)]), (9621, [(-12*a + 105, -8, 0.2348)]), (9629, [(-28*a + 117, 32, 3.756), (28*a + 89, -32, 3.756)]), (9641, [(23*a + 90, 8, 0.4692)]), (9661, [(29*a + 89, -8, 0.2343), (-29*a + 118, 40, 5.859)]), (9664, [(-40*a + 128, -16, 0.9372)]), (9689, [(-13*a + 106, 8, 0.2340)]), (9745, [(-32*a + 121, -8, 0.2333)]), (9749, [(-11*a + 105, -24, 2.100)]), (9781, [(4*a + 97, 16, 0.9316), (-4*a + 101, 56, 11.41)]), (9869, [(-5*a + 102, -8, 0.2319)]), (9881, [(16*a + 93, -16, 0.9269), (-40*a + 129, 0, 0)]), (9889, [(-41*a + 130, -16, 0.9265), (41*a + 89, 16, 1.853), (3*a + 98, 0, 0)]), (9901, [(-44*a + 133, 24, 2.083)]), (9904, [(20*a + 92, -16, 0.9258)]), (9920, [(8*a + 96, -16, 1.850), (-8*a + 104, 16, 0.9251)]), (9929, [(31*a + 90, -8, 0.2312), (-31*a + 121, 24, 2.080)]), (9941, [(-17*a + 110, -16, 0.9241)])]]