# label = 2.2.5.1-199.2-c
# 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, (-3*a - 13)*i, 1/2*a + 1/2 + (1/2*a + 73)*i + 1/2*j, 1/2*a + (1/2*a + 189/2)*i + 1/2*k]

# Nmax = 10000

[(1, [(-3*a - 13)*i, 1/2*a + 1/2 + (1/2*a + 73)*i + 1/2*j, 1/2*a + (1/2*a + 189/2)*i + 1/2*k]), (-1, [(-3*a - 13)*i, 1/2*a + 1/2 + (1/2*a + 73)*i + 1/2*j, 1/2*a + (1/2*a + 189/2)*i + 1/2*k])]
[((3*a + 13,), 17/2*a + 2 + (-91*a + 605)*i + 7/2*j + (-1/2*a + 1/2)*k)]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> -1, Fractional ideal (3*a + 13) -> -1
[a + 5, 3*a + 2 + (473/2*a - 17)*i + (3/2*a + 1/2)*j + (-1/2)*k, [(5, [(a - 3, -2, 2.733)]), (16, [(-4, -2, 1.528)]), (41, [(a - 7, 2, 0.9544)]), (49, [(-7, 2, 0.8730)]), (61, [(3*a - 10, 2, 0.7825), (-3*a - 7, -4, 3.130)]), (64, [(-8, -4, 3.056)]), (109, [(-a - 10, 8, 9.365)]), (149, [(4*a - 15, -10, 12.52)]), (176, [(-4*a - 12, -2, 0.4606)]), (241, [(-5*a - 14, 0, 0)]), (261, [(3*a - 18, -8, 6.052), (-3*a - 15, 4, 1.513)]), (269, [(4*a - 19, 14, 18.26), (-4*a - 15, -10, 9.315)]), (281, [(-7*a - 15, 0, 0)]), (304, [(-4*a - 16, -2, 0.3505)]), (320, [(8*a - 24, 4, 1.367)]), (341, [(-a - 18, 4, 1.324)]), (389, [(5*a - 23, -16, 19.83)]), (409, [(3*a - 22, 0, 0)]), (449, [(-8*a - 19, 6, 2.596), (8*a - 27, 0, 0)]), (505, [(a - 23, 2, 0.2719)]), (529, [(-23, -6, 2.391)]), (569, [(5*a - 27, -6, 2.306)]), (589, [(-3*a - 23, 16, 16.12)]), (601, [(9*a - 31, -2, 0.2493), (-9*a - 22, -2, 0.2493)]), (641, [(7*a - 30, 4, 0.9655)]), (649, [(8*a - 31, 2, 0.2399), (-8*a - 23, -4, 0.9595)]), (704, [(-8*a - 24, -8, 3.685)]), (801, [(3*a - 30, 0, 0), (-3*a - 27, 0, 0)]), (845, [(-13*a - 26, -14, 10.30)]), (869, [(-7*a - 27, 16, 13.27)]), (880, [(4*a - 32, 2, 0.2060)]), (881, [(-8*a - 27, -2, 0.2059)]), (905, [(-11*a - 27, -4, 0.8126)]), (909, [(12*a - 39, -20, 20.27)]), (929, [(-a - 30, 6, 1.805)]), (944, [(-8*a - 28, 10, 4.973)]), (961, [(-31, 0, 0)]), (1045, [(3*a - 34, -4, 0.7562), (-3*a - 31, 14, 9.263)]), (1069, [(-4*a - 31, -6, 1.682)]), (1121, [(13*a - 43, 6, 1.643), (-13*a - 30, 0, 0)]), (1129, [(7*a - 38, 10, 4.547)]), (1136, [(-4*a - 32, -10, 4.533)]), (1145, [(8*a - 39, -6, 1.625)]), (1181, [(-11*a - 31, 6, 1.600)]), (1189, [(a - 35, -20, 17.72), (-12*a - 31, -4, 0.7089)]), (1201, [(-15*a - 31, -4, 0.7054), (15*a - 46, 2, 0.1763)]), (1216, [(-8*a - 32, 0, 0)]), (1301, [(-5*a - 34, -2, 0.1694)]), (1321, [(3*a - 38, 2, 0.1681)]), (1441, [(8*a - 43, 4, 0.6440)]), (1481, [(-a - 38, 2, 0.1588)]), (1489, [(11*a - 46, 2, 0.1584)]), (1501, [(-12*a - 35, 12, 5.679)]), (1520, [(8*a - 44, -10, 3.919)]), (1529, [(-16*a - 35, 8, 2.501)]), (1584, [(12*a - 48, -4, 0.6142)]), (1609, [(5*a - 43, -8, 2.438)]), (1616, [(-16*a - 36, 6, 1.368)]), (1629, [(-3*a - 39, -16, 9.691)]), (1661, [(4*a - 43, -10, 3.749)]), (1705, [(9*a - 47, 4, 0.5920)]), (1745, [(7*a - 46, 6, 1.317)]), (1829, [(-11*a - 39, -4, 0.5716)]), (1845, [(12*a - 51, -16, 9.106)]), (1849, [(-43, 2, 0.1421)]), (1889, [(16*a - 55, -8, 2.250), (-16*a - 39, 4, 0.5624)]), (1901, [(-19*a - 39, 12, 5.046)]), (2005, [(-4*a - 43, -10, 3.412)]), (2061, [(9*a - 51, -4, 0.5385)]), (2101, [(7*a - 50, -12, 4.800), (-7*a - 43, 0, 0)]), (2141, [(-13*a - 42, -14, 6.472), (13*a - 55, 10, 3.302)]), (2161, [(a - 47, -2, 0.1315)]), (2189, [(17*a - 59, 10, 6.531)]), (2201, [(-11*a - 43, -4, 0.5210)]), (2209, [(-47, -2, 0.1300)]), (2269, [(-15*a - 43, -12, 4.619), (15*a - 58, -24, 18.47)]), (2281, [(16*a - 59, -2, 0.1280), (-16*a - 43, -2, 0.1280)]), (2309, [(-20*a - 43, -30, 28.61)]), (2321, [(5*a - 51, 4, 0.5074), (-5*a - 46, -8, 2.030)]), (2341, [(3*a - 50, 10, 3.158)]), (2381, [(4*a - 51, 8, 2.004)]), (2416, [(20*a - 64, -2, 0.1243), (-20*a - 44, -2, 0.1243)]), (2449, [(9*a - 55, -8, 1.976), (-9*a - 46, 4, 0.4940)]), (2489, [(7*a - 54, 8, 1.960)]), (2521, [(-8*a - 47, -2, 0.1217)]), (2545, [(-13*a - 46, -4, 0.4846), (13*a - 59, 2, 0.1211)]), (2549, [(-a - 50, 6, 1.089), (a - 51, 30, 27.23)]), (2601, [(-51, 0, 0)]), (2605, [(11*a - 58, 26, 20.24), (-11*a - 47, -4, 0.4789)]), (2609, [(17*a - 63, -2, 0.1196)]), (2624, [(8*a - 56, -4, 0.4772)]), (2629, [(12*a - 59, 12, 4.291)]), (2641, [(21*a - 67, -4, 0.4757)]), (2704, [(-52, -2, 0.1175)]), (2705, [(16*a - 63, -2, 0.1175)]), (2736, [(12*a - 60, 4, 0.4673)]), (2741, [(-19*a - 47, -20, 11.67)]), (2761, [(-23*a - 47, 6, 1.047)]), (2789, [(-4*a - 51, -18, 9.373)]), (2864, [(-20*a - 48, -18, 9.250)]), (2869, [(9*a - 59, 26, 19.28)]), (2896, [(4*a - 56, -4, 0.4542)]), (2945, [(8*a - 59, 4, 0.4504)]), (2969, [(-a - 54, -4, 0.4486)]), (2981, [(13*a - 63, 20, 11.19)]), (3056, [(8*a - 60, 4, 0.4422)]), (3061, [(17*a - 67, 0, 0)]), (3069, [(12*a - 63, 20, 11.03)]), (3109, [(-21*a - 50, 22, 13.26), (21*a - 71, -2, 0.1096)]), (3136, [(-56, 4, 0.4365)]), (3141, [(15*a - 66, 16, 6.979)]), (3161, [(16*a - 67, 4, 0.4348), (-5*a - 54, 0, 0)]), (3184, [(12*a - 64, 2, 0.1083), (-12*a - 52, 10, 5.415)]), (3209, [(-19*a - 51, -4, 0.4315), (19*a - 70, 2, 0.1079)]), (3221, [(20*a - 71, -10, 2.692)]), (3229, [(4*a - 59, -26, 18.18), (-4*a - 55, 16, 6.883)]), (3280, [(-16*a - 52, -2, 0.1067)]), (3344, [(20*a - 72, 2, 0.1057), (-20*a - 52, -4, 0.4227)]), (3361, [(7*a - 62, 2, 0.1054), (-7*a - 55, 2, 0.1054)]), (3376, [(24*a - 76, -4, 0.4207)]), (3421, [(a - 59, -8, 1.672)]), (3449, [(-13*a - 54, 8, 1.665), (13*a - 67, -4, 0.4162)]), (3509, [(11*a - 66, 20, 10.32), (-11*a - 55, 32, 26.41)]), (3520, [(8*a - 64, -8, 1.648)]), (3609, [(-21*a - 54, -4, 0.4069)]), (3629, [(5*a - 63, 20, 10.14), (-5*a - 58, 20, 10.14)]), (3641, [(25*a - 79, 2, 0.1013)]), (3649, [(-3*a - 59, -8, 1.619), (-16*a - 55, 8, 1.619)]), (3664, [(-12*a - 56, 6, 0.9086)]), (3701, [(4*a - 63, -2, 0.1005)]), (3709, [(19*a - 74, 10, 2.509)]), (3761, [(23*a - 78, -2, 0.09965)]), (3776, [(-16*a - 56, 8, 1.591)]), (3781, [(27*a - 82, -10, 4.969)]), (3805, [(9*a - 67, -14, 4.855)]), (3889, [(-8*a - 59, 0, 0)]), (3904, [(24*a - 80, 12, 3.521), (-24*a - 56, 0, 0)]), (3905, [(-a - 62, -8, 1.565), (a - 63, -2, 0.09779)]), (3920, [(-28*a - 56, 14, 4.783)]), (3949, [(13*a - 71, -18, 7.877)]), (4009, [(11*a - 70, 4, 0.3861), (-11*a - 59, 4, 0.3861)]), (4016, [(-8*a - 60, -6, 0.8679), (8*a - 68, 0, 0)]), (4045, [(12*a - 71, 18, 7.783), (-12*a - 59, -6, 0.8648)]), (4061, [(-17*a - 58, -12, 3.452), (17*a - 75, 12, 3.452)]), (4129, [(5*a - 67, 2, 0.09510)]), (4141, [(-15*a - 59, 10, 2.374), (15*a - 74, 4, 0.3799)]), (4149, [(-3*a - 63, -24, 13.66), (3*a - 66, 0, 0)]), (4169, [(-16*a - 59, -8, 1.514)]), (4189, [(25*a - 83, -12, 3.399), (-25*a - 58, 18, 7.648)]), (4205, [(29*a - 87, 8, 1.508)]), (4241, [(-19*a - 59, 2, 0.09384), (19*a - 78, 2, 0.09384)]), (4261, [(20*a - 79, 6, 0.8426)]), (4309, [(-23*a - 59, 24, 13.41), (23*a - 82, 0, 0)]), (4321, [(-9*a - 62, -4, 0.3719), (24*a - 83, 0, 0)]), (4345, [(27*a - 86, 0, 0)]), (4349, [(-28*a - 59, 22, 11.21)]), (4409, [(8*a - 71, 4, 0.3681), (-8*a - 63, -2, 0.09204)]), (4421, [(-a - 66, -4, 0.3676), (a - 67, 2, 0.09191)]), (4464, [(24*a - 84, -8, 1.463), (-24*a - 60, 4, 0.3659)]), (4481, [(-13*a - 62, -2, 0.09129), (13*a - 75, -2, 0.09129)]), (4541, [(11*a - 74, -8, 1.451)]), (4544, [(-8*a - 64, -8, 1.451)]), (4609, [(-17*a - 62, 2, 0.09002), (17*a - 79, 8, 1.440)]), (4661, [(-5*a - 66, -20, 8.951)]), (4720, [(12*a - 76, -6, 0.8006)]), (4741, [(-4*a - 67, 14, 4.349)]), (4769, [(-25*a - 62, -2, 0.08849)]), (4869, [(9*a - 75, 32, 22.42)]), (4880, [(4*a - 72, 4, 0.3499), (-4*a - 68, 10, 2.187)]), (4889, [(23*a - 86, -2, 0.08740)]), (4905, [(-24*a - 63, 0, 0)]), (4909, [(-7*a - 67, 26, 14.74)]), (4949, [(-28*a - 63, -30, 19.55)]), (4969, [(-a - 70, 10, 2.167), (a - 71, -2, 0.08669)]), (5104, [(8*a - 76, 16, 5.474), (-28*a - 64, 4, 0.3422)]), (5149, [(12*a - 79, -12, 3.066)]), (5189, [(-17*a - 66, -44, 41.06)]), (5245, [(-3*a - 71, -10, 2.110)]), (5269, [(-15*a - 67, -30, 18.94)]), (5296, [(12*a - 80, -2, 0.08398), (-12*a - 68, -2, 0.08398)]), (5301, [(21*a - 87, -20, 8.394)]), (5305, [(16*a - 83, -4, 0.3356), (-16*a - 67, 2, 0.08390)]), (5309, [(4*a - 75, 4, 0.3355)]), (5401, [(19*a - 86, -6, 0.7484), (-19*a - 67, 0, 0)]), (5445, [(33*a - 99, -20, 8.282)]), (5449, [(-9*a - 70, 2, 0.08279)]), (5456, [(-16*a - 68, 4, 0.3309)]), (5501, [(-23*a - 67, -8, 1.318), (23*a - 90, -26, 13.92)]), (5521, [(-24*a - 67, 0, 0)]), (5545, [(8*a - 79, -4, 0.3283), (-8*a - 71, -10, 2.052)]), (5549, [(a - 75, -28, 16.08)]), (5584, [(-20*a - 68, 6, 0.7360)]), (5609, [(-32*a - 67, -4, 0.3264)]), (5641, [(-13*a - 70, 0, 0)]), (5680, [(24*a - 92, 6, 0.7298)]), (5701, [(11*a - 82, 18, 6.556)]), (5744, [(-28*a - 68, -2, 0.08063), (28*a - 96, -8, 1.290)]), (5801, [(17*a - 87, -2, 0.08024)]), (5841, [(3*a - 78, -4, 0.3198), (-3*a - 75, 8, 1.279)]), (5881, [(15*a - 86, -2, 0.07969)]), (5904, [(-12*a - 72, 16, 5.090)]), (5909, [(-4*a - 75, 24, 11.45)]), (5921, [(16*a - 87, 0, 0)]), (6029, [(19*a - 90, 40, 31.48)]), (6061, [(9*a - 83, 16, 5.024), (-9*a - 74, -8, 1.256), (20*a - 91, 12, 2.826), (-20*a - 71, 0, 0)]), (6064, [(-4*a - 76, -18, 6.357), (4*a - 80, 0, 0)]), (6080, [(16*a - 88, 16, 5.016)]), (6089, [(29*a - 99, -4, 0.3133)]), (6101, [(7*a - 82, 12, 2.817), (-7*a - 75, 18, 6.337)]), (6121, [(-33*a - 70, 6, 0.7030), (33*a - 103, 0, 0)]), (6145, [(-23*a - 71, -2, 0.07796), (23*a - 94, -2, 0.07796)]), (6161, [(-a - 78, -10, 1.946), (8*a - 83, -4, 0.3114)]), (6169, [(24*a - 95, 8, 2.490)]), (6229, [(27*a - 98, -2, 0.07743)]), (6241, [(-79, 4, 0.3094)]), (6245, [(-28*a - 71, 36, 25.06)]), (6289, [(-32*a - 71, -6, 0.6935)]), (6301, [(35*a - 106, 2, 0.07699), (-35*a - 71, -22, 9.315)]), (6329, [(11*a - 86, -16, 4.916), (-11*a - 75, -10, 1.920)]), (6336, [(24*a - 96, 0, 0)]), (6381, [(12*a - 87, 12, 2.754), (-12*a - 75, 12, 2.754)]), (6416, [(28*a - 100, 6, 0.6866)]), (6445, [(17*a - 91, -18, 6.166)]), (6464, [(-32*a - 72, -12, 2.736)]), (6469, [(-3*a - 79, 26, 12.84)]), (6541, [(-4*a - 79, -4, 0.3022)]), (6569, [(16*a - 91, 12, 2.714), (-16*a - 75, 6, 0.6786)]), (6589, [(-21*a - 74, 30, 16.94)]), (6701, [(-25*a - 74, 6, 0.6719)]), (6704, [(4*a - 84, 6, 0.6717)]), (6705, [(9*a - 87, 12, 2.687)]), (6745, [(7*a - 86, 2, 0.07441), (-7*a - 79, -4, 0.2976)]), (6781, [(-29*a - 74, 10, 1.855)]), (6805, [(-a - 82, -14, 3.630)]), (6809, [(8*a - 87, -12, 2.666), (-8*a - 79, 18, 5.999)]), (6821, [(23*a - 98, 14, 3.626)]), (6829, [(33*a - 107, -24, 10.65), (-33*a - 74, 12, 2.662)]), (6849, [(24*a - 99, 8, 1.182)]), (6896, [(20*a - 96, 6, 0.6623), (-20*a - 76, 6, 0.6623)]), (6921, [(27*a - 102, -4, 0.2938), (-27*a - 75, -4, 0.2938)]), (6929, [(13*a - 91, 14, 3.597)]), (6941, [(-28*a - 75, 4, 0.2934), (28*a - 103, -32, 18.78)]), (6976, [(-8*a - 80, -8, 1.171)]), (6989, [(11*a - 90, 36, 23.68), (-31*a - 75, -12, 2.632)]), (7024, [(24*a - 100, -14, 3.573)]), (7109, [(5*a - 87, -8, 1.160), (-5*a - 82, -26, 12.25)]), (7121, [(17*a - 95, 8, 1.159)]), (7129, [(-3*a - 83, 0, 0)]), (7201, [(-15*a - 79, -8, 1.152)]), (7205, [(-4*a - 83, -32, 18.43)]), (7216, [(12*a - 92, 8, 1.151), (-12*a - 80, 2, 0.07194)]), (7249, [(16*a - 95, -12, 2.584)]), (7409, [(25*a - 103, -4, 0.2840), (-25*a - 78, 20, 7.100)]), (7421, [(20*a - 99, 8, 1.135), (-20*a - 79, -4, 0.2838)]), (7481, [(a - 87, 2, 0.07066)]), (7505, [(29*a - 107, -4, 0.2822)]), (7529, [(-23*a - 79, -14, 3.451)]), (7561, [(24*a - 103, 6, 0.6325)]), (7601, [(37*a - 115, 8, 1.122)]), (7621, [(-13*a - 82, -22, 8.470)]), (7645, [(-27*a - 79, 28, 13.70)]), (7664, [(8*a - 92, 10, 1.745), (-8*a - 84, 10, 1.745)]), (7669, [(28*a - 107, 14, 3.419)]), (7681, [(11*a - 94, -6, 0.6276)]), (7729, [(31*a - 110, -8, 1.112)]), (7741, [(-12*a - 83, -20, 6.946)]), (7745, [(32*a - 111, 20, 6.944)]), (7789, [(-36*a - 79, -38, 25.00), (36*a - 115, 10, 1.731)]), (7821, [(3*a - 90, -20, 6.910)]), (7829, [(17*a - 99, 14, 3.384)]), (7856, [(-28*a - 80, -10, 1.724)]), (7909, [(-15*a - 83, -24, 9.895)]), (7920, [(-12*a - 84, 4, 0.2747)]), (7961, [(16*a - 99, -4, 0.2740), (-16*a - 83, 2, 0.06849)]), (7984, [(-36*a - 80, -4, 0.2736)]), (8089, [(-9*a - 86, -14, 3.329)]), (8129, [(7*a - 94, -12, 2.440), (-7*a - 87, -6, 0.6100)]), (8144, [(-16*a - 84, -6, 0.6095), (16*a - 100, 0, 0)]), (8149, [(20*a - 103, 16, 4.333), (-25*a - 82, 16, 4.333)]), (8189, [(a - 91, -14, 3.309)]), (8201, [(8*a - 95, 8, 1.080)]), (8261, [(29*a - 111, -18, 5.446), (-29*a - 82, -24, 9.682)]), (8269, [(-23*a - 83, -18, 5.444)]), (8281, [(-91, -2, 0.06715)]), (8305, [(-24*a - 83, -10, 1.676)]), (8336, [(20*a - 104, -4, 0.2677), (-20*a - 84, 2, 0.06693)]), (8345, [(13*a - 99, -2, 0.06690)]), (8389, [(37*a - 119, -22, 8.073), (-37*a - 82, -22, 8.073)]), (8401, [(27*a - 110, -8, 1.067), (-27*a - 83, 4, 0.2667)]), (8429, [(-28*a - 83, -30, 14.98)]), (8469, [(12*a - 99, -12, 2.391), (-12*a - 87, 24, 9.562)]), (8496, [(24*a - 108, 0, 0)]), (8501, [(31*a - 114, 8, 1.061)]), (8521, [(32*a - 115, -6, 0.5958)]), (8569, [(-17*a - 86, -4, 0.2641), (-35*a - 83, 6, 0.5942)]), (8581, [(-36*a - 83, -6, 0.5937)]), (8605, [(39*a - 122, 18, 5.336)]), (8609, [(-40*a - 83, -2, 0.06586), (40*a - 123, 4, 0.2635)]), (8624, [(-28*a - 84, 22, 7.963)]), (8629, [(4*a - 95, 34, 19.01), (-4*a - 91, 10, 1.645)]), (8656, [(-12*a - 88, 6, 0.5912)]), (8705, [(16*a - 103, 2, 0.06550)]), (8720, [(32*a - 116, -20, 6.544)]), (8816, [(4*a - 96, -8, 1.041), (40*a - 124, 8, 1.041)]), (8861, [(19*a - 106, 26, 10.97)]), (8869, [(7*a - 98, 24, 9.344)]), (8909, [(20*a - 107, -6, 0.5827)]), (8929, [(a - 95, 14, 3.169)]), (8945, [(8*a - 99, 4, 0.2585)]), (9081, [(24*a - 111, -8, 1.026), (-24*a - 87, -8, 1.026)]), (9101, [(-13*a - 90, 10, 1.601)]), (9136, [(8*a - 100, 6, 0.5754)]), (9145, [(33*a - 119, 0, 0)]), (9189, [(27*a - 114, 4, 0.2550), (-27*a - 87, -20, 6.375)]), (9209, [(37*a - 123, 24, 9.170)]), (9221, [(-28*a - 87, -2, 0.06364)]), (9229, [(12*a - 103, -8, 1.018)]), (9241, [(41*a - 127, 4, 0.2543)]), (9281, [(5*a - 99, 6, 0.5709)]), (9301, [(3*a - 98, 12, 2.281)]), (9329, [(32*a - 119, -6, 0.5694), (-32*a - 87, 0, 0)]), (9389, [(4*a - 99, -36, 20.43), (-4*a - 95, -18, 5.109)]), (9405, [(-36*a - 87, 4, 0.2521), (36*a - 123, 28, 12.35)]), (9421, [(-15*a - 91, -2, 0.06296)]), (9424, [(-28*a - 88, 12, 2.266)]), (9441, [(-39*a - 87, 4, 0.2516)]), (9449, [(40*a - 127, -16, 4.024)]), (9461, [(43*a - 130, 16, 4.021)]), (9536, [(32*a - 120, -4, 0.2503)]), (9584, [(4*a - 100, -6, 0.5618), (-4*a - 96, 6, 0.5618)]), (9641, [(7*a - 102, -8, 0.9958), (-7*a - 95, 4, 0.2490)]), (9649, [(19*a - 110, 6, 0.5599)]), (9664, [(40*a - 128, 0, 0), (-40*a - 88, 0, 0)]), (9701, [(-a - 98, 12, 2.234), (20*a - 111, -20, 6.205)]), (9721, [(-8*a - 95, 6, 0.5578), (8*a - 103, 0, 0)]), (9845, [(-23*a - 91, -2, 0.06159), (23*a - 114, -8, 0.9855)]), (9869, [(29*a - 119, -24, 8.858)]), (9889, [(-13*a - 94, -12, 2.212), (24*a - 115, -4, 0.2458)]), (9904, [(20*a - 112, 10, 1.535)]), (9949, [(-11*a - 95, -8, 0.9803)])]]

# map: (a |-> -0.62) -> -1, (a |-> 1.62) -> 1, Fractional ideal (3*a + 13) -> 1
[-3*a + 1, -a - 1/2 + (77*a + 47/2)*i + (-1/2)*j + 1/2*k, [(-11, [(3*a - 2, 2, 4.387)]), (-16, [(4*a - 4, 2, 3.638)]), (-19, [(4*a - 3, 2, 3.338)]), (-64, [(8*a - 8, 0, 0)]), (-71, [(8*a - 7, -2, 1.727)]), (-80, [(8*a - 4, -2, 1.627)]), (-99, [(9*a - 3, 4, 5.849)]), (-151, [(11*a - 6, -2, 1.184)]), (-171, [(12*a - 3, -4, 4.451)]), (-179, [(12*a - 7, 2, 1.088)]), (-199, [(13*a - 3, -2, 1.031)]), (-251, [(15*a - 2, 8, 14.69)]), (-279, [(15*a - 6, 0, 0)]), (-295, [(16*a - 3, 2, 0.8471)]), (-320, [(16*a - 8, 0, 0)]), (-331, [(17*a - 3, 6, 7.198)]), (-359, [(17*a - 7, 0, 0)]), (-379, [(19*a - 18, -6, 6.726)]), (-431, [(19*a - 14, 2, 0.7009)]), (-439, [(19*a - 6, 2, 0.6944)]), (-451, [(20*a - 3, 8, 10.96)]), (-479, [(21*a - 19, 2, 0.6648)]), (-499, [(20*a - 11, -4, 2.605)]), (-571, [(23*a - 2, 6, 5.480)]), (-599, [(24*a - 23, -2, 0.5945)]), (-639, [(24*a - 3, 0, 0)]), (-656, [(24*a - 4, -6, 5.113)]), (-659, [(23*a - 10, -6, 5.101)]), (-704, [(24*a - 16, 4, 2.194)]), (-711, [(24*a - 15, -4, 2.183)]), (-755, [(27*a - 26, 6, 4.766)]), (-779, [(27*a - 2, 4, 2.085)]), (-784, [(28*a - 28, 2, 0.5196)]), (-811, [(28*a - 27, 12, 18.39)]), (-880, [(28*a - 4, -2, 0.4905)]), (-899, [(27*a - 10, 8, 7.764), (28*a - 23, 4, 1.941)]), (-919, [(29*a - 3, -2, 0.4800)]), (-944, [(28*a - 20, 2, 0.4736)]), (-955, [(28*a - 19, 12, 16.95)]), (-976, [(28*a - 16, -8, 7.452), (28*a - 12, 2, 0.4657)]), (-1031, [(29*a - 19, 0, 0)]), (-1055, [(32*a - 31, 4, 1.792)]), (-1111, [(31*a - 6, 2, 0.4365)]), (-1151, [(33*a - 31, -2, 0.4289)]), (-1171, [(31*a - 10, -14, 20.83)]), (-1179, [(33*a - 3, 4, 1.695)]), (-1199, [(31*a - 14, 0, 0)]), (-1216, [(32*a - 24, -4, 1.669)]), (-1251, [(33*a - 27, 16, 26.33)]), (-1255, [(32*a - 11, -2, 0.4107)]), (-1271, [(33*a - 7, 0, 0)]), (-1279, [(32*a - 15, -2, 0.4068)]), (-1291, [(35*a - 2, -12, 14.58)]), (-1319, [(33*a - 23, -2, 0.4006)]), (-1395, [(36*a - 3, 4, 1.558)]), (-1439, [(37*a - 35, 2, 0.3836)]), (-1471, [(37*a - 3, -6, 3.414)]), (-1499, [(36*a - 7, -6, 3.382)]), (-1511, [(35*a - 22, 0, 0)]), (-1520, [(36*a - 8, 2, 0.3732)]), (-1531, [(35*a - 18, 16, 23.80)]), (-1571, [(36*a - 11, -8, 5.874)]), (-1579, [(37*a - 7, -2, 0.3662)]), (-1595, [(36*a - 23, -8, 5.829), (39*a - 2, -12, 13.12)]), (-1611, [(36*a - 15, -8, 5.800)]), (-1616, [(36*a - 20, -2, 0.3619)]), (-1639, [(40*a - 39, 0, 0)]), (-1655, [(37*a - 11, 2, 0.3577)]), (-1699, [(37*a - 15, -12, 12.71)]), (-1711, [(37*a - 19, -4, 1.407), (40*a - 3, -4, 1.407)]), (-1744, [(40*a - 36, -4, 1.394)]), (-1759, [(41*a - 39, -4, 1.388)]), (-1795, [(41*a - 3, 2, 0.3434)]), (-1811, [(39*a - 10, -10, 8.548)]), (-1859, [(39*a - 26, 6, 3.037)]), (-1871, [(39*a - 14, 2, 0.3364)]), (-1879, [(40*a - 31, -2, 0.3357)]), (-1895, [(39*a - 22, -4, 1.337)]), (-1919, [(40*a - 11, 2, 0.3321)]), (-1951, [(40*a - 27, 2, 0.3294)]), (-1979, [(44*a - 43, 4, 1.308)]), (-1991, [(41*a - 31, 0, 0)]), (-2071, [(41*a - 15, 4, 1.279)]), (-2095, [(41*a - 23, 6, 2.861)]), (-2111, [(45*a - 43, 2, 0.3167)]), (-2131, [(44*a - 39, -18, 25.53)]), (-2151, [(45*a - 3, -4, 1.255)]), (-2155, [(43*a - 34, -14, 15.36)]), (-2239, [(43*a - 30, -2, 0.3075)]), (-2251, [(44*a - 35, 2, 0.3067)]), (-2255, [(43*a - 14, -2, 0.3064)]), (-2291, [(43*a - 26, -4, 1.216), (45*a - 7, -8, 4.864)]), (-2299, [(44*a - 11, -4, 1.214)]), (-2311, [(43*a - 22, 0, 0)]), (-2371, [(44*a - 15, 20, 29.88)]), (-2384, [(44*a - 16, 2, 0.2980)]), (-2395, [(44*a - 27, 14, 14.57)]), (-2411, [(44*a - 19, -16, 18.96)]), (-2416, [(44*a - 20, 6, 2.664)]), (-2419, [(47*a - 42, 6, 2.663)]), (-2439, [(48*a - 3, -4, 1.178)]), (-2455, [(47*a - 6, 6, 2.643)]), (-2459, [(45*a - 31, 2, 0.2934)]), (-2519, [(45*a - 19, -2, 0.2899)]), (-2531, [(45*a - 23, -8, 4.628)]), (-2539, [(49*a - 3, -6, 2.599)]), (-2551, [(47*a - 38, -8, 4.609)]), (-2624, [(48*a - 8, 0, 0)]), (-2651, [(47*a - 34, 4, 1.130)]), (-2655, [(48*a - 39, 0, 0)]), (-2659, [(49*a - 43, 12, 10.16)]), (-2671, [(47*a - 14, -6, 2.534)]), (-2695, [(49*a - 7, -2, 0.2803)]), (-2699, [(51*a - 2, -2, 0.2801)]), (-2704, [(52*a - 52, 2, 0.2798)]), (-2719, [(47*a - 30, 4, 1.116)]), (-2755, [(47*a - 26, -16, 17.74), (52*a - 51, 8, 4.435)]), (-2759, [(48*a - 35, -4, 1.108), (47*a - 22, 0, 0)]), (-2791, [(49*a - 39, 6, 2.479)]), (-2799, [(48*a - 15, 4, 1.100)]), (-2831, [(51*a - 46, -4, 1.094)]), (-2891, [(49*a - 35, -14, 13.26)]), (-2896, [(52*a - 4, 4, 1.081)]), (-2911, [(53*a - 51, 8, 4.315)]), (-2995, [(49*a - 27, -14, 13.03)]), (-3019, [(52*a - 7, -8, 4.237)]), (-3056, [(52*a - 8, 0, 0)]), (-3079, [(55*a - 54, -2, 0.2622)]), (-3091, [(52*a - 43, -12, 9.421)]), (-3095, [(51*a - 38, -2, 0.2615)]), (-3131, [(55*a - 2, 8, 4.161)]), (-3136, [(56*a - 56, 0, 0)]), (-3155, [(52*a - 11, 8, 4.145)]), (-3211, [(52*a - 39, 10, 6.419)]), (-3239, [(51*a - 22, 4, 1.023)]), (-3251, [(51*a - 26, 14, 12.50)]), (-3259, [(52*a - 15, 8, 4.078)]), (-3271, [(53*a - 11, 6, 2.290)]), (-3280, [(52*a - 36, -2, 0.2541)]), (-3295, [(56*a - 3, 0, 0)]), (-3299, [(52*a - 35, 0, 0)]), (-3344, [(52*a - 32, 4, 1.006), (52*a - 20, 2, 0.2516)]), (-3355, [(52*a - 31, -10, 6.280), (53*a - 39, 12, 9.043)]), (-3376, [(52*a - 24, 8, 4.007)]), (-3379, [(52*a - 27, 12, 9.011)]), (-3439, [(55*a - 46, 0, 0)]), (-3499, [(53*a - 23, 12, 8.855)]), (-3520, [(56*a - 8, -12, 8.829)]), (-3539, [(59*a - 58, -14, 11.98)]), (-3555, [(57*a - 51, 4, 0.9761)]), (-3571, [(55*a - 42, -14, 11.93)]), (-3599, [(55*a - 14, -4, 0.9701), (57*a - 7, 2, 0.2425)]), (-3659, [(60*a - 59, -2, 0.2405)]), (-3664, [(56*a - 44, -2, 0.2404)]), (-3671, [(55*a - 38, 8, 3.842)]), (-3691, [(55*a - 18, 12, 8.622)]), (-3695, [(56*a - 43, -6, 2.154)]), (-3719, [(57*a - 47, -4, 0.9544)]), (-3751, [(55*a - 22, -4, 0.9503)]), (-3755, [(57*a - 11, -10, 5.936)]), (-3776, [(56*a - 40, -4, 0.9471)]), (-3779, [(55*a - 26, 2, 0.2367)]), (-3799, [(56*a - 39, -4, 0.9443), (59*a - 6, 4, 0.9443)]), (-3839, [(56*a - 19, -2, 0.2348)]), (-3856, [(56*a - 36, -4, 0.9373)]), (-3895, [(56*a - 23, 2, 0.2331)]), (-3904, [(56*a - 24, -8, 3.726), (56*a - 32, 0, 0)]), (-3911, [(56*a - 31, 4, 0.9306)]), (-3919, [(56*a - 27, 2, 0.2324)]), (-3920, [(56*a - 28, 6, 2.092)]), (-3931, [(59*a - 50, -18, 18.80)]), (-3951, [(57*a - 39, -4, 0.9259)]), (-3971, [(57*a - 19, -20, 23.09)]), (-4016, [(60*a - 52, 2, 0.2296)]), (-4019, [(57*a - 35, 4, 0.9181)]), (-4031, [(57*a - 23, 4, 0.9167), (63*a - 62, -4, 0.9167)]), (-4051, [(61*a - 55, 2, 0.2286)]), (-4059, [(57*a - 27, -8, 3.654)]), (-4091, [(63*a - 2, 22, 27.53)]), (-4099, [(61*a - 7, 2, 0.2273)]), (-4111, [(59*a - 14, 2, 0.2269)]), (-4159, [(64*a - 63, -2, 0.2256)]), (-4176, [(60*a - 48, 4, 0.9006), (60*a - 12, 0, 0)]), (-4211, [(60*a - 47, 4, 0.8969)]), (-4219, [(59*a - 18, -6, 2.016)]), (-4279, [(64*a - 3, 0, 0)]), (-4304, [(60*a - 44, 6, 1.996), (60*a - 16, -2, 0.2218)]), (-4339, [(59*a - 26, 6, 1.988)]), (-4351, [(59*a - 30, -2, 0.2206)]), (-4391, [(64*a - 59, 6, 1.976)]), (-4411, [(65*a - 3, 2, 0.2191)]), (-4451, [(60*a - 23, -12, 7.851)]), (-4464, [(60*a - 36, -4, 0.8711)]), (-4491, [(60*a - 27, -20, 21.71)]), (-4495, [(61*a - 43, 4, 0.8681), (64*a - 7, -4, 0.8681)]), (-4496, [(60*a - 32, -12, 7.812)]), (-4499, [(63*a - 10, 8, 3.471)]), (-4544, [(64*a - 56, -4, 0.8634)]), (-4579, [(61*a - 39, -8, 3.440)]), (-4591, [(64*a - 55, 2, 0.2147)]), (-4595, [(61*a - 23, -10, 5.366)]), (-4619, [(67*a - 2, 12, 7.707)]), (-4631, [(61*a - 35, 4, 0.8552), (65*a - 7, 0, 0)]), (-4651, [(61*a - 31, -24, 30.72)]), (-4655, [(63*a - 14, -6, 1.919)]), (-4691, [(68*a - 67, -12, 7.648)]), (-4751, [(63*a - 46, -4, 0.8444)]), (-4799, [(67*a - 62, 2, 0.2100)]), (-4831, [(64*a - 15, 6, 1.884)]), (-4871, [(63*a - 22, 2, 0.2085)]), (-4880, [(68*a - 64, 2, 0.2083), (68*a - 4, 0, 0)]), (-4895, [(64*a - 47, -4, 0.8319), (69*a - 67, 0, 0)]), (-4955, [(63*a - 34, 14, 10.13)]), (-4999, [(64*a - 43, 2, 0.2058)]), (-5011, [(67*a - 58, 18, 16.65)]), (-5095, [(64*a - 27, 0, 0)]), (-5099, [(65*a - 19, -6, 1.834)]), (-5104, [(64*a - 36, 4, 0.8147), (68*a - 8, 0, 0)]), (-5139, [(69*a - 63, 4, 0.8119)]), (-5155, [(68*a - 59, 14, 9.930)]), (-5171, [(65*a - 43, 6, 1.821)]), (-5195, [(69*a - 7, 14, 9.892)]), (-5231, [(67*a - 14, 0, 0)]), (-5251, [(65*a - 27, -8, 3.213), (68*a - 11, 24, 28.91)]), (-5296, [(68*a - 56, -2, 0.1999)]), (-5339, [(67*a - 50, 12, 7.169)]), (-5351, [(69*a - 59, 4, 0.7956)]), (-5371, [(71*a - 66, -12, 7.147)]), (-5431, [(71*a - 6, -4, 0.7897)]), (-5455, [(67*a - 46, -2, 0.1970)]), (-5456, [(68*a - 52, -12, 7.091), (72*a - 68, -4, 0.7879)]), (-5539, [(67*a - 42, 8, 3.128), (73*a - 3, 0, 0)]), (-5555, [(68*a - 19, 8, 3.124)]), (-5584, [(68*a - 48, -10, 4.868)]), (-5599, [(67*a - 30, -2, 0.1945), (71*a - 62, -8, 3.111)]), (-5611, [(67*a - 34, -20, 19.42)]), (-5639, [(72*a - 7, 2, 0.1938)]), (-5651, [(71*a - 10, -12, 6.968)]), (-5659, [(68*a - 23, 4, 0.7737)]), (-5680, [(68*a - 24, 2, 0.1931)]), (-5699, [(68*a - 43, -4, 0.7710)]), (-5711, [(69*a - 19, 0, 0)]), (-5731, [(68*a - 27, 18, 15.57), (73*a - 67, 24, 27.68)]), (-5744, [(68*a - 40, -2, 0.1920)]), (-5779, [(68*a - 35, 0, 0)]), (-5795, [(69*a - 47, -18, 15.48), (71*a - 58, 0, 0)]), (-5839, [(71*a - 14, 2, 0.1904)]), (-5879, [(69*a - 43, -2, 0.1898)]), (-5895, [(69*a - 27, 0, 0)]), (-5904, [(72*a - 60, -8, 3.030)]), (-5951, [(69*a - 35, 6, 1.698)]), (-5959, [(71*a - 54, 0, 0)]), (-5995, [(76*a - 3, -16, 12.03)]), (-6064, [(76*a - 4, 4, 0.7474)]), (-6079, [(77*a - 75, -4, 0.7465)]), (-6080, [(72*a - 16, -4, 0.7464)]), (-6119, [(72*a - 55, 0, 0), (71*a - 22, 0, 0)]), (-6131, [(76*a - 71, -6, 1.672)]), (-6155, [(73*a - 59, -14, 9.088)]), (-6191, [(71*a - 46, 6, 1.664)]), (-6219, [(75*a - 66, 4, 0.7380)]), (-6224, [(72*a - 20, 4, 0.7377)]), (-6255, [(72*a - 51, -4, 0.7359)]), (-6259, [(76*a - 7, 0, 0)]), (-6271, [(71*a - 30, -6, 1.654)]), (-6311, [(72*a - 23, 2, 0.1832)]), (-6336, [(72*a - 24, -8, 2.925)]), (-6355, [(77*a - 71, 4, 0.7301)]), (-6416, [(72*a - 28, -2, 0.1817)]), (-6431, [(72*a - 43, 0, 0)]), (-6464, [(72*a - 40, 8, 2.896)]), (-6471, [(72*a - 39, 12, 6.512)]), (-6479, [(72*a - 35, -4, 0.7231), (73*a - 23, 4, 0.7231)]), (-6491, [(76*a - 11, -16, 11.56)]), (-6544, [(76*a - 12, -4, 0.7195)]), (-6571, [(73*a - 27, 20, 17.95)]), (-6595, [(76*a - 63, 18, 14.51)]), (-6599, [(77*a - 67, 0, 0)]), (-6631, [(73*a - 31, 2, 0.1787)]), (-6679, [(79*a - 6, 2, 0.1780)]), (-6704, [(80*a - 4, 6, 1.599)]), (-6791, [(75*a - 22, -4, 0.7062)]), (-6871, [(79*a - 70, 2, 0.1755)]), (-6896, [(76*a - 20, 6, 1.577)]), (-6899, [(75*a - 26, -2, 0.1752)]), (-6911, [(80*a - 7, -8, 2.800)]), (-6931, [(76*a - 55, -12, 6.292), (79*a - 10, 16, 11.19)]), (-6971, [(83*a - 82, -6, 1.568)]), (-6976, [(80*a - 72, 0, 0)]), (-6995, [(76*a - 23, 6, 1.566)]), (-7011, [(75*a - 42, 16, 11.12)]), (-7031, [(75*a - 38, 4, 0.6941), (77*a - 19, 4, 0.6941)]), (-7051, [(83*a - 2, -28, 33.96)]), (-7079, [(81*a - 7, -2, 0.1729)]), (-7099, [(79*a - 66, -4, 0.6908)]), (-7171, [(76*a - 31, 10, 4.296)]), (-7184, [(76*a - 44, -6, 1.545), (76*a - 32, -4, 0.6867)]), (-7195, [(76*a - 43, -18, 13.89)]), (-7211, [(76*a - 35, -10, 4.284)]), (-7216, [(80*a - 68, -10, 4.282)]), (-7271, [(80*a - 67, -4, 0.6825), (81*a - 71, -8, 2.730)]), (-7299, [(84*a - 3, 0, 0)]), (-7331, [(81*a - 11, -2, 0.1699)]), (-7339, [(79*a - 18, -4, 0.6794)]), (-7351, [(83*a - 6, -6, 1.527)]), (-7391, [(85*a - 83, 4, 0.6770)]), (-7399, [(77*a - 35, -2, 0.1692)]), (-7411, [(77*a - 39, 18, 13.69)]), (-7459, [(79*a - 58, -6, 1.516)]), (-7471, [(80*a - 63, 4, 0.6733)]), (-7495, [(79*a - 22, 6, 1.513)]), (-7551, [(81*a - 15, 12, 6.028)]), (-7559, [(80*a - 19, -2, 0.1674)]), (-7619, [(83*a - 10, -6, 1.500)]), (-7639, [(80*a - 59, -2, 0.1665)]), (-7664, [(84*a - 8, 2, 0.1662)]), (-7691, [(79*a - 50, 26, 28.04)]), (-7711, [(79*a - 30, -4, 0.6628), (80*a - 23, 4, 0.6628)]), (-7731, [(84*a - 75, 12, 5.957)]), (-7739, [(81*a - 19, 12, 5.954)]), (-7771, [(85*a - 7, 28, 32.35)]), (-7795, [(79*a - 42, 22, 19.94)]), (-7831, [(80*a - 27, -4, 0.6577)]), (-7855, [(83*a - 14, -2, 0.1642)]), (-7856, [(80*a - 52, -2, 0.1642)]), (-7859, [(81*a - 59, 8, 2.626), (84*a - 11, -12, 5.909)]), (-7920, [(84*a - 72, -4, 0.6540)]), (-7979, [(84*a - 71, -8, 2.606)]), (-7999, [(80*a - 39, 4, 0.6507), (88*a - 3, 0, 0)]), (-8080, [(88*a - 4, -6, 1.457)]), (-8095, [(89*a - 87, 2, 0.1617)]), (-8111, [(81*a - 31, -2, 0.1616)]), (-8144, [(84*a - 68, -2, 0.1612), (84*a - 16, 0, 0)]), (-8195, [(81*a - 43, -14, 7.876)]), (-8199, [(81*a - 39, -4, 0.6427)]), (-8219, [(85*a - 71, -6, 1.444)]), (-8336, [(84*a - 64, 10, 3.984), (84*a - 20, 4, 0.6375)]), (-8371, [(83*a - 26, 22, 19.24)]), (-8419, [(89*a - 83, 10, 3.964)]), (-8431, [(85*a - 67, 0, 0)]), (-8455, [(88*a - 79, -4, 0.6329), (83*a - 54, 0, 0)]), (-8464, [(92*a - 92, -6, 1.423)]), (-8496, [(84*a - 24, 16, 10.10)]), (-8539, [(83*a - 50, -8, 2.519)]), (-8591, [(88*a - 11, 0, 0)]), (-8595, [(84*a - 27, 20, 15.69)]), (-8611, [(85*a - 63, -4, 0.6272)]), (-8624, [(84*a - 56, 6, 1.410)]), (-8651, [(84*a - 55, -12, 5.632)]), (-8656, [(88*a - 76, 2, 0.1564)]), (-8711, [(89*a - 79, 12, 5.612)]), (-8719, [(88*a - 75, 2, 0.1558)]), (-8720, [(84*a - 32, -8, 2.493)]), (-8739, [(84*a - 51, 8, 2.490)]), (-8791, [(91*a - 6, -6, 1.397)]), (-8816, [(92*a - 4, -8, 2.479), (84*a - 40, 0, 0)]), (-8831, [(93*a - 91, 2, 0.1548)]), (-8899, [(85*a - 31, -2, 0.1542), (92*a - 87, 6, 1.388)]), (-8959, [(85*a - 51, 0, 0)]), (-8971, [(89*a - 75, -8, 2.458)]), (-9011, [(85*a - 47, -6, 1.379)]), (-9019, [(85*a - 39, 4, 0.6128), (91*a - 82, 8, 2.451)]), (-9031, [(85*a - 43, 4, 0.6124), (89*a - 15, 0, 0)]), (-9055, [(88*a - 19, 0, 0)]), (-9059, [(92*a - 7, 0, 0)]), (-9104, [(88*a - 20, 2, 0.1525)]), (-9119, [(87*a - 62, 4, 0.6095), (95*a - 94, 8, 2.438)]), (-9151, [(88*a - 67, 4, 0.6084)]), (-9211, [(92*a - 83, 26, 25.62), (95*a - 2, 0, 0)]), (-9251, [(87*a - 58, 16, 9.682)]), (-9311, [(96*a - 95, 8, 2.413)]), (-9319, [(88*a - 63, 2, 0.1507)]), (-9355, [(92*a - 11, 10, 3.761)]), (-9359, [(91*a - 14, -4, 0.6016)]), (-9391, [(88*a - 27, 8, 2.402)]), (-9424, [(88*a - 60, -4, 0.5995), (92*a - 80, -8, 2.398)]), (-9431, [(87*a - 38, 6, 1.348)]), (-9439, [(89*a - 23, 2, 0.1498)]), (-9459, [(87*a - 42, -8, 2.394)]), (-9479, [(93*a - 83, 0, 0)]), (-9491, [(92*a - 79, 26, 25.24)]), (-9495, [(96*a - 3, 8, 2.389)]), (-9511, [(88*a - 31, -2, 0.1492)]), (-9536, [(88*a - 32, 0, 0)]), (-9559, [(88*a - 55, 0, 0)]), (-9584, [(96*a - 4, 2, 0.1486)]), (-9595, [(91*a - 18, -4, 0.5942)]), (-9616, [(88*a - 52, 2, 0.1484), (88*a - 36, -18, 12.02)]), (-9619, [(92*a - 15, 12, 5.341)]), (-9631, [(88*a - 51, -10, 3.707)]), (-9664, [(88*a - 48, -12, 5.328), (88*a - 40, 4, 0.5920)]), (-9671, [(88*a - 47, 2, 0.1480), (96*a - 91, -4, 0.5918)]), (-9679, [(88*a - 43, 0, 0)]), (-9691, [(89*a - 59, 4, 0.5912)]), (-9719, [(89*a - 31, 2, 0.1476)]), (-9739, [(92*a - 75, -6, 1.327)]), (-9755, [(93*a - 79, 2, 0.1473)]), (-9791, [(89*a - 55, -2, 0.1470)]), (-9799, [(95*a - 86, -4, 0.5879)]), (-9859, [(89*a - 51, -10, 3.663)]), (-9871, [(89*a - 39, 2, 0.1464)]), (-9895, [(89*a - 47, 2, 0.1463)]), (-9899, [(89*a - 43, -6, 1.316), (99*a - 98, 8, 2.340)]), (-9904, [(92*a - 20, 6, 1.316)]), (-9931, [(91*a - 66, -6, 1.314)]), (-9955, [(92*a - 71, -8, 2.333)]), (-9999, [(96*a - 87, 4, 0.5820)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> -1, Fractional ideal (3*a + 13) -> 1
[3*a - 2, -6*a - 3 + (-1145/2*a + 161)*i + (-5/2*a + 1/2)*j + (-a + 1/2)*k, [(-11, [(-3*a + 1, -2, 4.858)]), (-19, [(-4*a + 1, -2, 3.696)]), (-31, [(-5*a + 2, 2, 2.894)]), (-71, [(-8*a + 1, -2, 1.912)]), (-79, [(-8*a + 5, 0, 0)]), (-99, [(-9*a + 6, -2, 1.619)]), (-131, [(-11*a + 1, -4, 5.631)]), (-139, [(-11*a + 9, 4, 5.466)]), (-144, [(-12*a, -2, 1.343)]), (-155, [(-12*a + 1, -4, 5.177)]), (-171, [(-12*a + 9, 6, 11.09)]), (-179, [(-12*a + 5, 4, 4.817)]), (-239, [(-15*a + 1, 0, 0)]), (-271, [(-16*a + 1, -2, 0.9787)]), (-295, [(-16*a + 13, 2, 0.9381)]), (-311, [(-16*a + 5, 0, 0)]), (-395, [(-19*a + 17, -4, 3.243)]), (-439, [(-19*a + 13, 2, 0.7690)]), (-451, [(-19*a + 9, 8, 12.14)]), (-464, [(-20*a + 4, 2, 0.7480), (-20*a + 16, 2, 0.7480)]), (-496, [(-20*a + 12, 4, 2.894)]), (-499, [(-20*a + 9, -4, 2.885)]), (-571, [(-23*a + 21, -10, 16.86)]), (-576, [(-24*a, -4, 2.685)]), (-639, [(-24*a + 21, 2, 0.6374)]), (-655, [(-23*a + 9, 0, 0)]), (-656, [(-24*a + 20, 0, 0)]), (-691, [(-25*a + 22, -10, 15.32)]), (-695, [(-24*a + 17, 2, 0.6112)]), (-704, [(-24*a + 8, 0, 0)]), (-719, [(-24*a + 13, -2, 0.6009)]), (-720, [(-24*a + 12, 6, 5.404)]), (-779, [(-25*a + 14, 0, 0)]), (-811, [(-28*a + 1, 12, 20.37)]), (-839, [(-27*a + 5, 0, 0)]), (-859, [(-28*a + 25, -2, 0.5497)]), (-880, [(-28*a + 24, -6, 4.888)]), (-911, [(-27*a + 13, 0, 0)]), (-944, [(-28*a + 8, -2, 0.5244)]), (-955, [(-28*a + 9, 0, 0)]), (-971, [(-28*a + 17, 12, 18.61)]), (-1051, [(-29*a + 14, -8, 7.952)]), (-1055, [(-32*a + 1, 2, 0.4960)]), (-1111, [(-32*a + 29, 2, 0.4834)]), (-1151, [(-33*a + 2, -4, 1.900)]), (-1171, [(-31*a + 21, 12, 16.95)]), (-1195, [(-31*a + 13, -8, 7.457)]), (-1199, [(-32*a + 25, 0, 0)]), (-1216, [(-32*a + 8, 4, 1.848)]), (-1259, [(-35*a + 1, 8, 7.265)]), (-1264, [(-32*a + 12, 4, 1.813)]), (-1271, [(-33*a + 26, 0, 0)]), (-1279, [(-32*a + 17, 2, 0.4505)]), (-1291, [(-35*a + 33, -10, 11.21)]), (-1355, [(-33*a + 14, -2, 0.4377)]), (-1359, [(-33*a + 18, -2, 0.4371)]), (-1424, [(-36*a + 4, -2, 0.4270), (-36*a + 32, 0, 0)]), (-1451, [(-36*a + 5, -2, 0.4230)]), (-1459, [(-35*a + 9, 4, 1.687)]), (-1471, [(-37*a + 34, 4, 1.680)]), (-1511, [(-35*a + 13, -6, 3.730)]), (-1519, [(-35*a + 21, 0, 0)]), (-1520, [(-36*a + 28, 2, 0.4133)]), (-1531, [(-35*a + 17, 0, 0)]), (-1555, [(-37*a + 6, -14, 20.02)]), (-1579, [(-37*a + 30, 6, 3.649)]), (-1595, [(-36*a + 13, -6, 3.631), (-39*a + 37, 10, 10.09)]), (-1611, [(-36*a + 21, 14, 19.67)]), (-1616, [(-36*a + 16, -6, 3.607)]), (-1639, [(-37*a + 10, 0, 0)]), (-1699, [(-37*a + 22, -8, 6.254)]), (-1711, [(-37*a + 18, -6, 3.506), (-40*a + 37, -2, 0.3895)]), (-1744, [(-40*a + 4, 4, 1.543)]), (-1759, [(-41*a + 2, -2, 0.3842)]), (-1791, [(-39*a + 9, 6, 3.426)]), (-1831, [(-40*a + 33, -2, 0.3765)]), (-1856, [(-40*a + 8, 4, 1.496), (-40*a + 32, 0, 0)]), (-1859, [(-39*a + 13, 2, 0.3737)]), (-1879, [(-40*a + 9, 2, 0.3717)]), (-1891, [(-41*a + 6, -12, 13.34), (-43*a + 1, -12, 13.34)]), (-1919, [(-41*a + 34, 2, 0.3678)]), (-1931, [(-43*a + 41, -6, 3.300)]), (-1936, [(-44*a, -6, 3.296)]), (-1984, [(-40*a + 16, 4, 1.447), (-40*a + 24, 4, 1.447)]), (-1991, [(-40*a + 17, 0, 0)]), (-1999, [(-40*a + 21, 4, 1.441)]), (-2039, [(-43*a + 5, 0, 0)]), (-2071, [(-43*a + 37, 4, 1.416)]), (-2095, [(-41*a + 18, 2, 0.3520)]), (-2096, [(-44*a + 40, -4, 1.408)]), (-2131, [(-44*a + 5, -16, 22.34)]), (-2224, [(-44*a + 8, -2, 0.3417)]), (-2255, [(-47*a + 1, 2, 0.3393)]), (-2259, [(-45*a + 6, -4, 1.356)]), (-2299, [(-44*a + 33, -10, 8.401)]), (-2320, [(-44*a + 12, -2, 0.3345), (-44*a + 32, -6, 3.011)]), (-2351, [(-48*a + 1, -2, 0.3323)]), (-2384, [(-44*a + 28, 4, 1.320)]), (-2419, [(-44*a + 21, 2, 0.3276)]), (-2455, [(-47*a + 41, 2, 0.3252)]), (-2459, [(-45*a + 14, 6, 2.924)]), (-2480, [(-48*a + 44, 2, 0.3235)]), (-2519, [(-48*a + 5, -2, 0.3210)]), (-2531, [(-45*a + 22, -14, 15.69)]), (-2551, [(-47*a + 9, 6, 2.871)]), (-2591, [(-48*a + 41, 2, 0.3165)]), (-2624, [(-48*a + 40, 4, 1.258)]), (-2651, [(-51*a + 1, 14, 15.33)]), (-2655, [(-48*a + 9, -2, 0.3127)]), (-2671, [(-47*a + 33, 0, 0)]), (-2695, [(-49*a + 42, 6, 2.793)]), (-2711, [(-48*a + 37, 2, 0.3094)]), (-2731, [(-47*a + 29, 2, 0.3083)]), (-2755, [(-47*a + 21, 10, 7.674), (-52*a + 1, -2, 0.3070)]), (-2819, [(-49*a + 38, 8, 4.855)]), (-2831, [(-48*a + 17, 4, 1.211)]), (-2851, [(-52*a + 49, 22, 36.51)]), (-2880, [(-48*a + 24, -4, 1.201)]), (-2891, [(-49*a + 14, 10, 7.492)]), (-2896, [(-52*a + 48, 6, 2.695)]), (-2911, [(-49*a + 34, 0, 0)]), (-2979, [(-51*a + 9, -2, 0.2952)]), (-2999, [(-49*a + 26, -6, 2.648)]), (-3011, [(-51*a + 41, 6, 2.643)]), (-3019, [(-52*a + 45, -2, 0.2932)]), (-3056, [(-52*a + 44, 4, 1.166)]), (-3091, [(-53*a + 6, -18, 23.47)]), (-3095, [(-51*a + 13, -4, 1.158)]), (-3131, [(-55*a + 53, 10, 7.199)]), (-3155, [(-52*a + 41, 14, 14.06)]), (-3191, [(-56*a + 1, -2, 0.2852)]), (-3211, [(-52*a + 13, 18, 23.03)]), (-3231, [(-51*a + 21, -4, 1.134)]), (-3239, [(-51*a + 29, -4, 1.132)]), (-3251, [(-51*a + 25, -16, 18.09)]), (-3259, [(-52*a + 37, -2, 0.2822)]), (-3271, [(-53*a + 42, -2, 0.2817)]), (-3280, [(-52*a + 16, 4, 1.125)]), (-3344, [(-56*a + 4, 2, 0.2786), (-56*a + 52, -2, 0.2786)]), (-3355, [(-52*a + 21, -12, 10.01), (-53*a + 14, -10, 6.954)]), (-3359, [(-57*a + 2, 4, 1.112)]), (-3371, [(-52*a + 29, 8, 4.440)]), (-3376, [(-52*a + 28, -10, 6.932)]), (-3379, [(-52*a + 25, -4, 1.109)]), (-3391, [(-56*a + 5, 2, 0.2767)]), (-3411, [(-57*a + 54, 6, 2.483)]), (-3439, [(-53*a + 18, 4, 1.099)]), (-3455, [(-53*a + 34, 0, 0)]), (-3511, [(-53*a + 26, 4, 1.088)]), (-3520, [(-56*a + 48, 0, 0)]), (-3539, [(-59*a + 1, 4, 1.083)]), (-3595, [(-59*a + 57, 16, 17.20)]), (-3599, [(-55*a + 41, 2, 0.2686), (-57*a + 50, 0, 0)]), (-3631, [(-56*a + 45, -2, 0.2674)]), (-3659, [(-60*a + 1, -2, 0.2664)]), (-3664, [(-56*a + 12, 4, 1.065)]), (-3691, [(-55*a + 37, 14, 13.00)]), (-3695, [(-56*a + 13, 0, 0)]), (-3719, [(-57*a + 10, 0, 0)]), (-3739, [(-55*a + 21, 12, 9.486)]), (-3755, [(-57*a + 46, -2, 0.2629)]), (-3776, [(-56*a + 16, 8, 4.195)]), (-3779, [(-55*a + 29, -12, 9.436)]), (-3824, [(-60*a + 56, 0, 0)]), (-3839, [(-61*a + 2, 6, 2.340)]), (-3851, [(-57*a + 14, -2, 0.2596)]), (-3856, [(-56*a + 20, 2, 0.2595)]), (-3871, [(-56*a + 21, 0, 0)]), (-3879, [(-57*a + 42, -2, 0.2587)]), (-3895, [(-61*a + 58, -2, 0.2582)]), (-3919, [(-56*a + 29, 4, 1.029)]), (-3931, [(-59*a + 9, -8, 4.112)]), (-3951, [(-57*a + 18, -6, 2.307)]), (-3971, [(-57*a + 38, -2, 0.2557)]), (-4019, [(-57*a + 22, -12, 9.150)]), (-4051, [(-61*a + 6, 20, 25.31)]), (-4059, [(-60*a + 9, 8, 4.046)]), (-4099, [(-61*a + 54, 16, 16.11)]), (-4159, [(-64*a + 1, 4, 0.9994)]), (-4195, [(-59*a + 17, 12, 8.956)]), (-4231, [(-61*a + 10, 4, 0.9908)]), (-4259, [(-63*a + 5, 12, 8.888)]), (-4271, [(-61*a + 50, 0, 0)]), (-4279, [(-59*a + 21, 2, 0.2463)]), (-4295, [(-59*a + 37, 0, 0)]), (-4311, [(-63*a + 57, -2, 0.2454)]), (-4336, [(-64*a + 60, -14, 11.99)]), (-4351, [(-65*a + 2, -2, 0.2443)]), (-4379, [(-60*a + 41, -10, 6.087), (-61*a + 14, 6, 2.191)]), (-4411, [(-61*a + 46, -14, 11.89)]), (-4451, [(-60*a + 37, -12, 8.694)]), (-4491, [(-60*a + 33, -4, 0.9617)]), (-4496, [(-60*a + 28, -2, 0.2403)]), (-4499, [(-60*a + 29, 6, 2.162)]), (-4544, [(-64*a + 8, 4, 0.9561)]), (-4555, [(-67*a + 1, 10, 5.968)]), (-4579, [(-65*a + 6, 2, 0.2381)]), (-4619, [(-67*a + 65, 0, 0)]), (-4624, [(-68*a, -2, 0.2369)]), (-4631, [(-65*a + 58, -6, 2.131), (-61*a + 26, 0, 0)]), (-4639, [(-61*a + 34, -2, 0.2366)]), (-4651, [(-61*a + 30, -16, 15.12)]), (-4655, [(-63*a + 49, 2, 0.2362)]), (-4679, [(-64*a + 53, 2, 0.2355)]), (-4751, [(-63*a + 17, 0, 0)]), (-4759, [(-64*a + 13, -6, 2.102)]), (-4819, [(-65*a + 54, -12, 8.356), (-68*a + 65, -4, 0.9284)]), (-4831, [(-64*a + 49, -2, 0.2318)]), (-4855, [(-67*a + 61, -2, 0.2312)]), (-4871, [(-63*a + 41, -8, 3.694)]), (-4895, [(-64*a + 17, -2, 0.2303), (-69*a + 2, 4, 0.9212)]), (-4931, [(-63*a + 37, 2, 0.2294)]), (-4951, [(-64*a + 45, 0, 0)]), (-4955, [(-63*a + 29, 10, 5.722)]), (-4976, [(-64*a + 44, 6, 2.056)]), (-4999, [(-64*a + 21, 4, 0.9115)]), (-5039, [(-64*a + 41, 0, 0)]), (-5056, [(-64*a + 24, 8, 3.625), (-64*a + 40, 4, 0.9064)]), (-5095, [(-64*a + 37, 4, 0.9029)]), (-5104, [(-64*a + 28, 6, 2.030), (-68*a + 60, -2, 0.2255)]), (-5119, [(-64*a + 33, 0, 0)]), (-5139, [(-69*a + 6, -6, 2.023)]), (-5179, [(-71*a + 69, -12, 8.060)]), (-5195, [(-69*a + 62, 6, 2.012)]), (-5239, [(-65*a + 26, 2, 0.2226)]), (-5251, [(-65*a + 38, 28, 43.58), (-68*a + 57, 14, 10.90)]), (-5255, [(-72*a + 1, 0, 0)]), (-5339, [(-68*a + 13, -2, 0.2205)]), (-5371, [(-71*a + 5, 8, 3.518)]), (-5391, [(-72*a + 69, 2, 0.2194)]), (-5399, [(-69*a + 58, 2, 0.2193)]), (-5419, [(-68*a + 53, -8, 3.502)]), (-5455, [(-67*a + 21, -6, 1.963)]), (-5456, [(-68*a + 16, 8, 3.490), (-72*a + 4, -2, 0.2181)]), (-5471, [(-73*a + 2, 4, 0.8713)]), (-5479, [(-67*a + 45, 4, 0.8707)]), (-5531, [(-69*a + 14, 8, 3.466)]), (-5539, [(-67*a + 25, -16, 13.86), (-73*a + 70, 8, 3.464)]), (-5555, [(-67*a + 41, -6, 1.946)]), (-5584, [(-68*a + 20, -6, 1.941)]), (-5599, [(-71*a + 9, -2, 0.2153), (-67*a + 37, 0, 0)]), (-5611, [(-67*a + 33, -8, 3.442)]), (-5639, [(-72*a + 65, -2, 0.2146)]), (-5659, [(-68*a + 45, 18, 17.35)]), (-5680, [(-68*a + 44, 10, 5.345)]), (-5696, [(-72*a + 8, 4, 0.8539), (-72*a + 64, -12, 7.686)]), (-5699, [(-68*a + 25, -6, 1.921)]), (-5731, [(-68*a + 41, 8, 3.405), (-73*a + 6, -2, 0.2128)]), (-5776, [(-76*a, -10, 5.300)]), (-5791, [(-73*a + 66, 4, 0.8469)]), (-5795, [(-71*a + 13, -6, 1.905), (-69*a + 22, 0, 0)]), (-5839, [(-71*a + 57, 2, 0.2109)]), (-5851, [(-76*a + 1, 0, 0)]), (-5879, [(-69*a + 26, 2, 0.2101)]), (-5904, [(-72*a + 12, 2, 0.2097)]), (-5931, [(-69*a + 30, 18, 16.95)]), (-5951, [(-72*a + 13, -2, 0.2089)]), (-5959, [(-73*a + 10, 2, 0.2087)]), (-5995, [(-71*a + 53, -20, 20.81)]), (-6079, [(-77*a + 2, 4, 0.8266)]), (-6080, [(-72*a + 56, 12, 7.439)]), (-6091, [(-71*a + 21, 10, 5.161)]), (-6119, [(-72*a + 17, -4, 0.8239), (-71*a + 49, 0, 0)]), (-6155, [(-73*a + 14, 18, 16.64)]), (-6191, [(-71*a + 25, 0, 0)]), (-6224, [(-72*a + 52, 2, 0.2042)]), (-6259, [(-71*a + 29, -6, 1.833)]), (-6295, [(-71*a + 33, 0, 0)]), (-6299, [(-71*a + 37, -8, 3.248)]), (-6311, [(-72*a + 49, -4, 0.8113)]), (-6320, [(-76*a + 8, 8, 3.243)]), (-6336, [(-72*a + 48, -16, 12.95)]), (-6355, [(-77*a + 6, -18, 16.37)]), (-6416, [(-72*a + 44, -12, 7.241)]), (-6419, [(-77*a + 70, -4, 0.8044)]), (-6431, [(-75*a + 13, 4, 0.8037)]), (-6464, [(-72*a + 32, -4, 0.8016)]), (-6479, [(-75*a + 61, 2, 0.2002), (-80*a + 1, -4, 0.8007)]), (-6544, [(-76*a + 64, -2, 0.1992)]), (-6619, [(-73*a + 30, -8, 3.169)]), (-6631, [(-80*a + 77, 2, 0.1979)]), (-6659, [(-73*a + 38, -8, 3.159)]), (-6691, [(-76*a + 61, -4, 0.7879)]), (-6704, [(-80*a + 76, 6, 1.771)]), (-6736, [(-76*a + 16, 10, 4.908), (-76*a + 60, -4, 0.7853)]), (-6779, [(-76*a + 17, 2, 0.1957)]), (-6795, [(-81*a + 78, -22, 23.65)]), (-6811, [(-77*a + 14, -22, 23.62)]), (-6871, [(-79*a + 9, 2, 0.1944)]), (-6899, [(-75*a + 49, -2, 0.1940)]), (-6959, [(-75*a + 29, 0, 0)]), (-6971, [(-83*a + 1, 22, 23.35)]), (-6976, [(-80*a + 8, -16, 12.35)]), (-6991, [(-77*a + 18, -12, 6.937)]), (-6995, [(-76*a + 53, 6, 1.734)]), (-7011, [(-81*a + 6, 4, 0.7697)]), (-7051, [(-76*a + 25, -4, 0.7675)]), (-7056, [(-84*a, -2, 0.1918)]), (-7099, [(-79*a + 13, 6, 1.721)]), (-7120, [(-76*a + 28, 4, 0.7638), (-76*a + 48, 6, 1.719)]), (-7171, [(-77*a + 54, -6, 1.712)]), (-7216, [(-76*a + 40, -6, 1.707)]), (-7255, [(-77*a + 26, 0, 0)]), (-7271, [(-80*a + 13, 6, 1.701), (-81*a + 10, 0, 0)]), (-7279, [(-77*a + 50, 6, 1.700), (-83*a + 5, 2, 0.1889)]), (-7295, [(-79*a + 17, 6, 1.698)]), (-7299, [(-84*a + 81, 12, 6.789)]), (-7331, [(-81*a + 70, -14, 9.221)]), (-7339, [(-77*a + 30, 12, 6.771)]), (-7376, [(-84*a + 4, -6, 1.688), (-84*a + 80, -4, 0.7504)]), (-7391, [(-77*a + 34, -6, 1.687)]), (-7411, [(-77*a + 38, 10, 4.679)]), (-7459, [(-79*a + 21, 12, 6.716)]), (-7471, [(-80*a + 17, 8, 2.982)]), (-7591, [(-79*a + 25, -4, 0.7397)]), (-7595, [(-84*a + 77, 14, 9.059)]), (-7619, [(-79*a + 53, -10, 4.615)]), (-7639, [(-80*a + 21, 6, 1.659)]), (-7691, [(-79*a + 29, -20, 18.37)]), (-7711, [(-79*a + 49, 4, 0.7339), (-80*a + 57, 2, 0.1835)]), (-7739, [(-87*a + 85, 8, 2.930)]), (-7744, [(-88*a, -4, 0.7324)]), (-7771, [(-79*a + 45, 6, 1.645)]), (-7795, [(-79*a + 37, 12, 6.570)]), (-7831, [(-88*a + 1, 8, 2.913)]), (-7856, [(-80*a + 28, 2, 0.1818)]), (-7919, [(-80*a + 49, 0, 0)]), (-7920, [(-84*a + 12, 2, 0.1810)]), (-7979, [(-84*a + 13, -8, 2.886)]), (-7991, [(-80*a + 37, 8, 2.884), (-81*a + 26, -8, 2.884)]), (-7999, [(-88*a + 85, -2, 0.1801), (-80*a + 41, 0, 0)]), (-8011, [(-83*a + 17, 18, 14.58)]), (-8039, [(-85*a + 74, 2, 0.1797)]), (-8080, [(-88*a + 84, 6, 1.613)]), (-8091, [(-81*a + 30, 4, 0.7165), (-84*a + 69, 24, 25.79)]), (-8095, [(-89*a + 2, 0, 0)]), (-8159, [(-88*a + 5, 4, 0.7135)]), (-8179, [(-89*a + 86, -6, 1.603)]), (-8191, [(-83*a + 21, -8, 2.848)]), (-8195, [(-84*a + 17, 10, 4.450)]), (-8219, [(-85*a + 14, 12, 6.398)]), (-8231, [(-83*a + 61, -4, 0.7104)]), (-8271, [(-87*a + 9, -6, 1.594)]), (-8291, [(-84*a + 65, 24, 25.48)]), (-8339, [(-83*a + 25, -12, 6.352), (-87*a + 77, -8, 2.823)]), (-8371, [(-91*a + 1, -18, 14.26)]), (-8384, [(-88*a + 8, 0, 0), (-88*a + 80, 0, 0)]), (-8431, [(-85*a + 18, 10, 4.387)]), (-8455, [(-83*a + 29, 2, 0.1752), (-88*a + 9, -8, 2.804)]), (-8479, [(-83*a + 53, -2, 0.1750), (-85*a + 66, 0, 0)]), (-8496, [(-84*a + 60, 2, 0.1748)]), (-8539, [(-83*a + 33, 14, 8.544)]), (-8591, [(-88*a + 77, -6, 1.564)]), (-8595, [(-84*a + 57, -8, 2.781)]), (-8611, [(-85*a + 22, -8, 2.778)]), (-8624, [(-84*a + 28, 6, 1.561)]), (-8651, [(-85*a + 62, -14, 8.488)]), (-8656, [(-88*a + 12, 8, 2.771)]), (-8711, [(-89*a + 10, 0, 0)]), (-8720, [(-84*a + 52, -8, 2.761)]), (-8779, [(-89*a + 78, 6, 1.548)]), (-8784, [(-84*a + 36, 6, 1.547), (-84*a + 48, 0, 0)]), (-8791, [(-85*a + 58, 2, 0.1718)]), (-8816, [(-84*a + 44, -10, 4.290), (-92*a + 88, 10, 4.290)]), (-8819, [(-84*a + 41, -12, 6.177)]), (-8831, [(-93*a + 2, 2, 0.1715)]), (-8896, [(-88*a + 16, -4, 0.6833), (-88*a + 72, -12, 6.150)]), (-8899, [(-85*a + 54, -10, 4.270), (-92*a + 5, 10, 4.270)]), (-9031, [(-85*a + 42, 6, 1.526), (-89*a + 74, -4, 0.6782)]), (-9104, [(-88*a + 68, -2, 0.1689)]), (-9119, [(-87*a + 25, -4, 0.6749), (-95*a + 1, 2, 0.1687)]), (-9155, [(-87*a + 61, -16, 10.78)]), (-9199, [(-89*a + 18, 2, 0.1680)]), (-9251, [(-87*a + 29, -12, 6.031)]), (-9279, [(-87*a + 57, 4, 0.6691)]), (-9280, [(-88*a + 24, 8, 2.676), (-88*a + 64, 4, 0.6690)]), (-9359, [(-91*a + 77, -4, 0.6662)]), (-9371, [(-87*a + 53, -24, 23.97)]), (-9391, [(-88*a + 61, -2, 0.1663)]), (-9419, [(-87*a + 37, 0, 0)]), (-9424, [(-88*a + 28, -8, 2.656), (-92*a + 12, 6, 1.494)]), (-9431, [(-87*a + 49, 2, 0.1659)]), (-9455, [(-88*a + 29, -6, 1.491), (-87*a + 41, 0, 0)]), (-9491, [(-92*a + 13, -6, 1.488)]), (-9495, [(-96*a + 93, 4, 0.6614)]), (-9536, [(-88*a + 56, 0, 0)]), (-9595, [(-89*a + 62, -14, 8.060)]), (-9599, [(-88*a + 53, 2, 0.1645), (-97*a + 2, 2, 0.1645)]), (-9619, [(-92*a + 77, 12, 5.914)]), (-9655, [(-88*a + 49, 2, 0.1640)]), (-9671, [(-88*a + 41, 8, 2.621), (-96*a + 5, 2, 0.1638)]), (-9679, [(-88*a + 45, -4, 0.6551)]), (-9680, [(-88*a + 44, 2, 0.1638)]), (-9691, [(-97*a + 94, 16, 10.47)]), (-9719, [(-89*a + 58, 4, 0.6537)]), (-9799, [(-95*a + 9, 4, 0.6511)]), (-9851, [(-92*a + 73, 8, 2.597)]), (-9859, [(-89*a + 38, -14, 7.951)]), (-9871, [(-89*a + 50, 6, 1.460)]), (-9899, [(-99*a + 1, -10, 4.049), (-89*a + 46, 0, 0)]), (-9904, [(-92*a + 72, -12, 5.828)]), (-9920, [(-96*a + 8, -4, 0.6471), (-96*a + 88, 4, 0.6471)]), (-9955, [(-97*a + 6, 22, 19.54)]), (-9995, [(-99*a + 97, -2, 0.1612)]), (-9999, [(-93*a + 18, 6, 1.450)])]]

# map: (a |-> -0.62) -> 1, (a |-> 1.62) -> 1, Fractional ideal (3*a + 13) -> -1
[-a - 2, -82*a - 67 + (-515*a - 9324)*i + (-3*a - 64)*j, [(29, [(a + 5, -2, 7.125), (-a + 6, 2, 7.125)]), (45, [(3*a + 6, 2, 5.720)]), (89, [(-a + 10, -2, 4.067), (a + 9, 0, 0)]), (101, [(-4*a + 13, -2, 3.818)]), (144, [(12, 2, 3.197)]), (176, [(-4*a + 16, -2, 2.892)]), (181, [(a + 13, 2, 2.852)]), (205, [(-4*a + 17, 4, 10.72)]), (229, [(-3*a + 17, 4, 10.14)]), (289, [(17, -2, 2.257)]), (304, [(-4*a + 20, -2, 2.201)]), (341, [(-4*a + 21, 4, 8.311)]), (349, [(-5*a + 22, -2, 2.054)]), (369, [(-3*a + 21, 2, 1.997)]), (401, [(7*a + 18, 0, 0)]), (441, [(21, -2, 1.827)]), (461, [(-a + 22, 2, 1.787), (a + 21, 0, 0)]), (496, [(-8*a + 28, -2, 1.723), (8*a + 20, 0, 0)]), (541, [(-3*a + 25, 4, 6.599)]), (545, [(8*a + 21, 0, 0)]), (549, [(9*a + 21, 4, 6.550), (-9*a + 30, -6, 14.74)]), (576, [(24, 0, 0)]), (589, [(-7*a + 29, -4, 6.324)]), (605, [(11*a + 22, -2, 1.560)]), (649, [(a + 25, 2, 1.506), (-a + 26, 2, 1.506)]), (656, [(4*a + 24, 0, 0)]), (704, [(-8*a + 32, -4, 5.784)]), (709, [(4*a + 25, -6, 12.97), (-4*a + 29, -4, 5.764)]), (745, [(-3*a + 29, 0, 0)]), (761, [(-8*a + 33, -2, 1.391)]), (769, [(-9*a + 34, 0, 0), (9*a + 25, 0, 0)]), (869, [(-a + 30, -8, 20.83)]), (880, [(4*a + 28, 2, 1.293)]), (941, [(4*a + 29, 6, 11.26), (-4*a + 33, 2, 1.251)]), (944, [(-8*a + 36, -2, 1.249)]), (981, [(3*a + 30, -4, 4.900)]), (1009, [(-8*a + 37, 0, 0), (8*a + 29, 0, 0)]), (1021, [(9*a + 29, -4, 4.803), (-9*a + 38, 2, 1.201)]), (1045, [(12*a + 29, 2, 1.187), (-12*a + 41, 6, 10.68)]), (1049, [(13*a + 29, -2, 1.185)]), (1121, [(a + 33, -2, 1.146), (-a + 34, 2, 1.146)]), (1136, [(-4*a + 36, 2, 1.138)]), (1205, [(4*a + 33, -6, 9.948)]), (1216, [(-8*a + 40, 0, 0)]), (1249, [(3*a + 34, -2, 1.086)]), (1264, [(12*a + 32, -4, 4.317), (-12*a + 44, 0, 0)]), (1289, [(-8*a + 41, 2, 1.069)]), (1341, [(-12*a + 45, 2, 1.048)]), (1361, [(16*a + 33, -2, 1.040)]), (1369, [(37, 2, 1.037)]), (1405, [(a + 37, 6, 9.213)]), (1409, [(11*a + 34, -2, 1.022), (-11*a + 45, -2, 1.022)]), (1441, [(15*a + 34, 0, 0)]), (1501, [(-4*a + 41, 0, 0)]), (1520, [(8*a + 36, -2, 0.9842)]), (1529, [(5*a + 37, 2, 0.9813)]), (1549, [(-3*a + 41, 10, 24.37)]), (1584, [(12*a + 36, 2, 0.9641)]), (1601, [(8*a + 37, -2, 0.9589), (-8*a + 45, 0, 0)]), (1621, [(9*a + 37, 4, 3.812), (-9*a + 46, 4, 3.812)]), (1661, [(7*a + 38, 6, 8.473)]), (1669, [(-12*a + 49, 8, 15.03)]), (1681, [(41, 0, 0)]), (1705, [(16*a + 37, -2, 0.9292)]), (1709, [(-17*a + 54, 8, 14.85), (17*a + 37, 6, 8.353)]), (1721, [(-a + 42, 0, 0)]), (1741, [(-11*a + 49, -4, 3.678)]), (1744, [(-4*a + 44, -4, 3.675)]), (1789, [(-15*a + 53, -10, 22.68)]), (1805, [(-19*a + 57, -6, 8.128)]), (1829, [(-4*a + 45, 6, 8.075)]), (1856, [(8*a + 40, 4, 3.562), (-8*a + 48, 0, 0)]), (1861, [(5*a + 41, 4, 3.558), (-5*a + 46, 4, 3.558)]), (1936, [(44, -2, 0.8720)]), (1945, [(-8*a + 49, 2, 0.8700)]), (1984, [(16*a + 40, -4, 3.446), (-16*a + 56, 0, 0)]), (2009, [(7*a + 42, -4, 3.424)]), (2029, [(-12*a + 53, -4, 3.407)]), (2045, [(-13*a + 54, 6, 7.636)]), (2069, [(a + 45, -10, 21.09), (-a + 46, -6, 7.592)]), (2081, [(16*a + 41, -2, 0.8411), (-16*a + 57, 0, 0)]), (2089, [(-17*a + 58, -4, 3.358)]), (2096, [(-4*a + 48, -4, 3.352), (4*a + 44, 0, 0)]), (2101, [(20*a + 41, 4, 3.348), (-20*a + 61, 4, 3.348)]), (2105, [(11*a + 42, 2, 0.8363), (-11*a + 53, -4, 3.345)]), (2169, [(15*a + 42, 0, 0)]), (2189, [(-4*a + 49, -6, 14.76)]), (2201, [(-19*a + 61, 0, 0)]), (2224, [(8*a + 44, 4, 3.254), (-8*a + 52, -6, 7.323)]), (2320, [(12*a + 44, 2, 0.7966), (-12*a + 56, 2, 0.7966)]), (2321, [(-8*a + 53, 2, 0.7964), (8*a + 45, 0, 0)]), (2384, [(16*a + 44, 0, 0)]), (2389, [(7*a + 46, 10, 19.63), (-7*a + 53, -4, 3.140)]), (2421, [(12*a + 45, -2, 0.7798), (-12*a + 57, -2, 0.7798)]), (2441, [(13*a + 45, -2, 0.7766), (-13*a + 58, 0, 0)]), (2480, [(4*a + 48, 2, 0.7705), (-4*a + 52, 0, 0)]), (2489, [(16*a + 45, 0, 0)]), (2501, [(-11*a + 57, -4, 3.069), (-17*a + 62, -4, 3.069)]), (2529, [(21*a + 45, 4, 3.052)]), (2621, [(-5*a + 54, -6, 6.745)]), (2624, [(8*a + 48, 4, 2.996)]), (2629, [(19*a + 46, 4, 2.993)]), (2641, [(3*a + 50, 2, 0.7466)]), (2729, [(8*a + 49, 0, 0)]), (2736, [(12*a + 48, 2, 0.7335)]), (2761, [(-9*a + 58, 2, 0.7302)]), (2801, [(-7*a + 57, 0, 0)]), (2845, [(-12*a + 61, 6, 6.474)]), (2861, [(-a + 54, 0, 0)]), (2864, [(-20*a + 68, -4, 2.868)]), (2869, [(13*a + 49, 2, 0.7163)]), (2880, [(-24*a + 72, 0, 0)]), (2929, [(11*a + 50, 2, 0.7090), (-16*a + 65, 2, 0.7090)]), (2945, [(17*a + 49, 2, 0.7070)]), (2981, [(20*a + 49, -6, 6.325)]), (3049, [(5*a + 53, -4, 2.780), (-5*a + 58, -4, 2.780)]), (3056, [(8*a + 52, 4, 2.776)]), (3069, [(3*a + 54, 0, 0)]), (3089, [(-19*a + 69, -2, 0.6904), (19*a + 50, 2, 0.6904)]), (3121, [(23*a + 50, 0, 0)]), (3184, [(12*a + 52, -2, 1.360)]), (3205, [(-9*a + 62, -4, 2.711)]), (3305, [(a + 57, 4, 2.670), (-a + 58, -2, 0.6674)]), (3344, [(4*a + 56, 6, 5.972), (-4*a + 60, -2, 0.6635)]), (3376, [(24*a + 52, 6, 5.943)]), (3389, [(-11*a + 65, 14, 32.30)]), (3421, [(-17*a + 70, 2, 0.6560)]), (3461, [(-4*a + 61, 4, 2.609)]), (3469, [(-20*a + 73, -2, 0.6515), (20*a + 53, 0, 0)]), (3501, [(-15*a + 69, 4, 2.594)]), (3505, [(24*a + 53, -2, 0.6481), (-24*a + 77, 0, 0)]), (3520, [(8*a + 56, -4, 2.587)]), (3529, [(-3*a + 61, 0, 0)]), (3581, [(19*a + 54, -8, 10.26)]), (3629, [(-23*a + 77, -8, 10.19), (23*a + 54, -12, 22.93)]), (3641, [(-8*a + 65, 2, 0.6359)]), (3681, [(-9*a + 66, 0, 0)]), (3776, [(-16*a + 72, 4, 2.498)]), (3781, [(-a + 62, 2, 1.248)]), (3821, [(-13*a + 70, 4, 2.483), (13*a + 57, 6, 5.586)]), (3824, [(4*a + 60, 4, 2.482), (-4*a + 64, -4, 2.482)]), (3856, [(-20*a + 76, 2, 0.6179)]), (3881, [(-11*a + 69, 0, 0), (11*a + 58, 0, 0)]), (3905, [(-16*a + 73, 2, 0.6140), (16*a + 57, -2, 0.6140)]), (3929, [(-17*a + 74, 2, 0.6121)]), (3949, [(4*a + 61, 10, 15.26)]), (4001, [(-5*a + 66, 2, 0.6066)]), (4009, [(-15*a + 73, 2, 0.6060), (15*a + 58, 0, 0)]), (4021, [(-3*a + 65, -4, 2.420)]), (4041, [(24*a + 57, 2, 0.6036), (-24*a + 81, 0, 0)]), (4049, [(25*a + 57, -4, 2.412)]), (4105, [(-19*a + 77, 2, 0.5989), (19*a + 58, 0, 0)]), (4145, [(8*a + 61, -2, 0.5960), (-8*a + 69, 0, 0)]), (4169, [(-23*a + 81, -4, 2.377)]), (4189, [(9*a + 61, -2, 0.5928), (-9*a + 70, -10, 14.82)]), (4201, [(-27*a + 85, -2, 0.5920)]), (4289, [(a + 65, -4, 2.344)]), (4336, [(4*a + 64, -2, 0.5827), (-4*a + 68, 2, 0.5827)]), (4345, [(13*a + 61, 0, 0)]), (4405, [(11*a + 62, -4, 2.312)]), (4469, [(-17*a + 78, 16, 36.73), (17*a + 61, 4, 2.296)]), (4496, [(-28*a + 88, 2, 0.5722)]), (4541, [(20*a + 61, 8, 9.110)]), (4544, [(-8*a + 72, 8, 9.107)]), (4545, [(-3*a + 69, 2, 0.5691)]), (4549, [(-15*a + 77, 2, 0.5689)]), (4561, [(-21*a + 82, -2, 0.5681)]), (4609, [(24*a + 61, 2, 0.5652), (-24*a + 85, 2, 0.5652)]), (4621, [(25*a + 61, -2, 0.5644)]), (4645, [(28*a + 61, -6, 5.067)]), (4649, [(29*a + 61, -4, 2.251), (-29*a + 90, -4, 2.251)]), (4661, [(-19*a + 81, -8, 8.992)]), (4681, [(8*a + 65, -2, 0.5608), (-8*a + 73, 0, 0)]), (4720, [(12*a + 64, 2, 0.5585)]), (4729, [(-9*a + 74, -4, 2.232)]), (4741, [(23*a + 62, -2, 0.5573)]), (4761, [(69, -2, 0.5561)]), (4769, [(-7*a + 73, 2, 0.5556)]), (4861, [(-12*a + 77, -2, 0.5503)]), (4901, [(-13*a + 78, -6, 4.933), (13*a + 65, 2, 0.5481)]), (4961, [(-11*a + 77, 2, 0.5448)]), (4976, [(20*a + 64, 2, 0.5439), (-20*a + 84, 0, 0)]), (5009, [(-16*a + 81, -4, 2.169)]), (5021, [(4*a + 69, 4, 2.166), (-4*a + 73, -6, 4.873)]), (5056, [(24*a + 64, 4, 2.158), (-24*a + 88, 0, 0)]), (5104, [(8*a + 68, -6, 4.834), (-28*a + 92, 2, 0.5371)]), (5121, [(-15*a + 81, 2, 0.5362)]), (5149, [(21*a + 65, -10, 13.37)]), (5249, [(8*a + 69, 4, 2.118), (-19*a + 85, 0, 0)]), (5261, [(-28*a + 93, -2, 0.5290)]), (5269, [(-29*a + 94, 6, 4.757)]), (5281, [(32*a + 65, -4, 2.112)]), (5301, [(9*a + 69, 4, 2.108)]), (5329, [(73, 2, 0.5256)]), (5341, [(-7*a + 77, 8, 8.400)]), (5345, [(23*a + 66, -4, 2.099)]), (5401, [(a + 73, -2, 0.5221), (-a + 74, -2, 0.5221)]), (5409, [(27*a + 66, 2, 0.5217), (-27*a + 93, 2, 0.5217)]), (5441, [(31*a + 66, -4, 2.081)]), (5456, [(-4*a + 76, 2, 0.5195)]), (5549, [(-11*a + 81, -8, 8.241)]), (5609, [(-16*a + 85, 0, 0)]), (5645, [(-17*a + 86, 4, 2.043)]), (5669, [(-5*a + 78, 4, 2.038)]), (5680, [(24*a + 68, 2, 0.5091)]), (5696, [(8*a + 72, -4, 2.034), (-8*a + 80, 0, 0)]), (5769, [(-21*a + 90, 4, 2.021)]), (5776, [(76, -2, 0.5049)]), (5841, [(-24*a + 93, 2, 0.5020), (24*a + 69, 0, 0)]), (5849, [(8*a + 73, -4, 2.007)]), (5861, [(25*a + 69, -4, 2.005), (-25*a + 94, -6, 4.511)]), (5869, [(-19*a + 89, -4, 2.003), (19*a + 70, -4, 2.003)]), (5905, [(9*a + 73, 0, 0)]), (5909, [(-28*a + 97, -2, 0.4991)]), (5921, [(29*a + 69, 0, 0)]), (5929, [(77, -2, 0.4983)]), (5945, [(7*a + 74, -6, 4.479), (-32*a + 101, 2, 0.4976)]), (5981, [(-23*a + 93, -6, 4.465)]), (6061, [(-12*a + 85, -2, 0.4929), (27*a + 70, -6, 4.436), (-27*a + 97, -4, 1.971), (12*a + 73, 0, 0)]), (6080, [(16*a + 72, 8, 7.873)]), (6109, [(13*a + 73, 12, 17.67), (-13*a + 86, 0, 0)]), (6169, [(11*a + 74, -4, 1.954), (-11*a + 85, 2, 0.9770)]), (6224, [(20*a + 72, -2, 0.4863)]), (6289, [(-5*a + 82, 2, 0.4838)]), (6320, [(-8*a + 84, 4, 1.931), (8*a + 76, 0, 0)]), (6336, [(24*a + 72, -4, 1.928)]), (6361, [(-15*a + 89, 2, 0.4811)]), (6389, [(20*a + 73, -12, 17.28)]), (6421, [(-21*a + 94, -2, 0.4788), (21*a + 73, -8, 7.661)]), (6464, [(-32*a + 104, -8, 7.636)]), (6481, [(-8*a + 85, 4, 1.906)]), (6505, [(24*a + 73, -2, 0.4757)]), (6521, [(-19*a + 93, 2, 0.4751)]), (6541, [(9*a + 77, 8, 7.591)]), (6544, [(12*a + 76, 2, 0.4743)]), (6589, [(-28*a + 101, -10, 11.82)]), (6605, [(-29*a + 102, 4, 1.888)]), (6641, [(a + 81, -2, 0.4708), (32*a + 73, -2, 0.4708)]), (6649, [(23*a + 74, 4, 1.882), (33*a + 73, 0, 0)]), (6704, [(4*a + 80, -2, 0.4686)]), (6709, [(-12*a + 89, 0, 0)]), (6736, [(-16*a + 92, 2, 0.4675), (16*a + 76, 0, 0)]), (6745, [(27*a + 74, 2, 0.4672), (-27*a + 101, -2, 0.4672)]), (6761, [(13*a + 77, 0, 0)]), (6809, [(31*a + 74, 2, 0.4650), (-31*a + 105, 0, 0)]), (6821, [(11*a + 78, 2, 0.4646)]), (6841, [(35*a + 74, 0, 0)]), (6905, [(16*a + 77, 2, 0.4617), (-16*a + 93, 0, 0)]), (6941, [(5*a + 81, 10, 11.51), (-5*a + 86, -4, 1.842)]), (6949, [(17*a + 77, 10, 11.51)]), (6961, [(3*a + 82, -2, 0.4599)]), (6976, [(-8*a + 88, 0, 0)]), (7024, [(24*a + 76, -2, 0.4578)]), (7105, [(-21*a + 98, -2, 0.4552), (21*a + 77, -2, 0.4552)]), (7120, [(-28*a + 104, 4, 1.819), (28*a + 76, -2, 0.4547)]), (7145, [(8*a + 81, 6, 4.085), (-8*a + 89, -2, 0.4539)]), (7201, [(-24*a + 101, 0, 0)]), (7205, [(-19*a + 97, -8, 7.233)]), (7216, [(36*a + 76, -2, 0.4517), (-36*a + 112, 0, 0)]), (7249, [(7*a + 82, -4, 1.803)]), (7301, [(28*a + 77, -8, 7.185)]), (7309, [(a + 85, -2, 0.4488), (-a + 86, -12, 16.16)]), (7321, [(-29*a + 106, 2, 0.4484), (29*a + 77, 0, 0)]), (7349, [(-23*a + 101, 6, 4.028)]), (7369, [(32*a + 77, -2, 0.4470)]), (7381, [(33*a + 77, 4, 1.786), (-33*a + 110, -10, 11.17)]), (7405, [(36*a + 77, 6, 4.013)]), (7445, [(-13*a + 94, 10, 11.12)]), (7505, [(11*a + 82, 4, 1.772)]), (7549, [(4*a + 85, -16, 28.26)]), (7589, [(35*a + 78, 18, 35.68)]), (7601, [(16*a + 81, 0, 0)]), (7605, [(-39*a + 117, 6, 3.960)]), (7645, [(3*a + 86, 0, 0)]), (7649, [(-17*a + 98, -4, 1.755)]), (7729, [(15*a + 82, 0, 0)]), (7744, [(88, 0, 0)]), (7781, [(20*a + 81, 4, 1.740), (-20*a + 101, -10, 10.87)]), (7821, [(21*a + 81, -4, 1.735)]), (7841, [(-8*a + 93, 0, 0), (8*a + 85, 0, 0)]), (7856, [(-28*a + 108, -2, 0.4329)]), (7909, [(-9*a + 94, 0, 0)]), (7920, [(-12*a + 96, -6, 3.880)]), (7929, [(24*a + 81, 2, 0.4309)]), (7961, [(25*a + 81, -2, 0.4300), (-25*a + 106, -2, 0.4300)]), (7984, [(-36*a + 116, -8, 6.871)]), (8045, [(-28*a + 109, -18, 34.65)]), (8069, [(29*a + 81, 12, 15.38)]), (8080, [(4*a + 88, 6, 3.842)]), (8101, [(-12*a + 97, 8, 6.821)]), (8129, [(32*a + 81, 2, 0.4256), (-32*a + 113, 0, 0)]), (8145, [(33*a + 81, 0, 0)]), (8161, [(13*a + 85, 2, 0.4247), (-13*a + 98, 0, 0)]), (8189, [(37*a + 81, -14, 20.78)]), (8201, [(40*a + 81, 0, 0)]), (8209, [(27*a + 82, -4, 1.694), (-27*a + 109, 0, 0)]), (8221, [(-11*a + 97, -4, 1.693), (11*a + 86, 0, 0)]), (8261, [(4*a + 89, -2, 0.4222), (-4*a + 93, -10, 10.55)]), (8305, [(-31*a + 113, -2, 0.4210)]), (8329, [(16*a + 85, 0, 0)]), (8361, [(3*a + 90, 2, 0.4196)]), (8369, [(-35*a + 117, -4, 1.678)]), (8384, [(8*a + 88, -8, 6.705), (-8*a + 96, -8, 6.705)]), (8461, [(-15*a + 101, -2, 0.4171), (15*a + 86, -6, 3.754)]), (8496, [(24*a + 84, -2, 0.4163)]), (8569, [(-8*a + 97, 6, 3.730), (-21*a + 106, 2, 0.4145)]), (8624, [(-28*a + 112, 2, 0.4132)]), (8641, [(-9*a + 98, 2, 0.4128)]), (8649, [(93, -4, 1.650)]), (8816, [(4*a + 92, -2, 0.4086), (40*a + 84, -2, 0.4086)]), (8821, [(-28*a + 113, 2, 0.4085), (28*a + 85, -8, 6.536)]), (8845, [(12*a + 89, 8, 6.528), (-12*a + 101, 2, 0.4080), (-23*a + 109, -8, 6.528), (23*a + 86, -6, 3.672)]), (8849, [(-29*a + 114, -2, 0.4079)]), (8896, [(16*a + 88, 4, 1.627), (-16*a + 104, 0, 0)]), (8909, [(13*a + 89, -14, 19.92)]), (8941, [(33*a + 85, 10, 10.14)]), (8989, [(27*a + 86, 2, 0.4047), (-36*a + 121, -12, 14.57)]), (9001, [(-37*a + 122, 2, 0.4044), (37*a + 85, 0, 0)]), (9005, [(4*a + 93, 6, 3.639), (-4*a + 97, 12, 14.56)]), (9029, [(-41*a + 126, -16, 25.84)]), (9089, [(-5*a + 98, 4, 1.610), (-16*a + 105, 4, 1.610)]), (9101, [(-31*a + 117, -6, 3.620)]), (9104, [(20*a + 88, 10, 10.05)]), (9109, [(-3*a + 97, 16, 25.73)]), (9136, [(8*a + 92, -2, 0.4014)]), (9145, [(17*a + 89, 0, 0)]), (9181, [(35*a + 86, -6, 3.604)]), (9229, [(-39*a + 125, -12, 14.38)]), (9280, [(-24*a + 112, -4, 1.593), (24*a + 88, 0, 0)]), (9301, [(20*a + 89, 4, 1.591)]), (9329, [(8*a + 93, 2, 0.3973), (-8*a + 101, -2, 0.3973)]), (9349, [(21*a + 89, -8, 6.349)]), (9405, [(9*a + 93, -2, 0.3956), (-9*a + 102, -12, 14.24)]), (9409, [(97, -2, 0.3956)]), (9424, [(-12*a + 104, -6, 3.557)]), (9449, [(19*a + 90, -4, 1.579)]), (9505, [(a + 97, 4, 1.574)]), (9521, [(-25*a + 114, -2, 0.3932)]), (9536, [(32*a + 88, 0, 0)]), (9621, [(12*a + 93, 6, 3.521)]), (9629, [(28*a + 89, 8, 6.256)]), (9661, [(29*a + 89, -6, 3.513)]), (9689, [(-13*a + 106, -8, 6.237)]), (9745, [(-32*a + 121, -4, 1.555), (32*a + 89, -2, 0.3887)]), (9749, [(11*a + 94, -14, 19.04)]), (9781, [(4*a + 97, 0, 0)]), (9829, [(-36*a + 125, 18, 31.35)]), (9845, [(37*a + 89, 8, 6.187), (-37*a + 126, 18, 31.32)]), (9869, [(-5*a + 102, -14, 18.93)]), (9881, [(40*a + 89, 2, 0.3860), (-40*a + 129, 0, 0)]), (9889, [(3*a + 98, 4, 1.543), (41*a + 89, 0, 0)]), (9901, [(-44*a + 133, 0, 0)]), (9904, [(20*a + 92, -4, 1.542)]), (9920, [(-8*a + 104, 4, 1.541), (8*a + 96, 0, 0)]), (9929, [(-31*a + 121, 0, 0), (31*a + 90, 0, 0)]), (9941, [(17*a + 93, 0, 0)])]]