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

# Nmax = 10000

[(1, [9*i, 9/2*i + 5/2*j, 1/2 + 1/2*i + (-7/10)*j + 1/10*k]), (1, [9*i, 9/2*i + 5/2*j, 1/2 + 1/2*i + (-7/10)*j + 1/10*k]), (-1, [9*i, 9/2*i + 5/2*j, 1/2 + 1/2*i + (-7/10)*j + 1/10*k]), (-1, [9*i, 9/2*i + 5/2*j, 1/2 + 1/2*i + (-7/10)*j + 1/10*k])]
[((3,), -1/2 + (-20)*i + j + 1/2*k), ((11,), -1/2 + 221/2*i + 11/2*j + 1/2*k)]

# map: (1 |-> 1.0) -> -1, Fractional ideal (3) -> -1, Fractional ideal (11) -> 1
[17, 7/2 + (-31/2)*i + (-3/2)*j + 1/2*k, [(-7, [(-7, 4, 1.786)]), (-19, [(-19, -4, 1.084)]), (-40, [(-40, 0, 0)]), (-43, [(-43, 12, 6.485)]), (-52, [(-52, -8, 2.621)]), (-55, [(-55, 4, 1.274)]), (-79, [(-79, -4, 0.5316)]), (-88, [(-88, 8, 4.030)]), (-127, [(-127, 4, 0.4193)]), (-139, [(-139, -4, 0.4008)]), (-151, [(-151, -4, 0.3845)]), (-184, [(-184, 8, 1.393)]), (-187, [(-187, -8, 2.764)]), (-211, [(-211, 4, 0.3253)]), (-244, [(-244, 8, 1.210)]), (-259, [(-259, -8, 1.174)]), (-271, [(-271, 4, 0.2870)]), (-283, [(-283, 12, 2.528)]), (-292, [(-292, 16, 4.424)]), (-307, [(-307, -12, 2.427)]), (-319, [(-319, 0, 0)]), (-340, [(-340, -16, 4.100)]), (-376, [(-376, -8, 0.9748)]), (-391, [(-391, 0, 0)]), (-403, [(-403, -24, 8.474)]), (-415, [(-415, 8, 0.9278)]), (-424, [(-424, 16, 3.672)]), (-436, [(-436, -8, 0.9052)]), (-439, [(-439, -4, 0.2255)]), (-451, [(-451, 0, 0)]), (-472, [(-472, 0, 0)]), (-523, [(-523, 4, 0.2066)]), (-535, [(-535, 8, 0.8172)]), (-547, [(-547, 4, 0.2020)]), (-568, [(-568, -24, 7.138)]), (-571, [(-571, 4, 0.1977)]), (-580, [(-580, -16, 3.139)]), (-583, [(-583, 4, 0.3914)]), (-607, [(-607, 4, 0.1918)]), (-616, [(-616, 0, 0)]), (-655, [(-655, 8, 0.7385)]), (-667, [(-667, 24, 6.587)]), (-679, [(-679, -8, 0.7254)]), (-703, [(-703, 0, 0)]), (-712, [(-712, -24, 6.375)]), (-715, [(-715, 8, 1.414)]), (-739, [(-739, -12, 1.564)]), (-772, [(-772, 0, 0)]), (-787, [(-787, -4, 0.1684)]), (-799, [(-799, -8, 0.6687)]), (-811, [(-811, -4, 0.1659)]), (-820, [(-820, -16, 2.640)]), (-835, [(-835, 16, 2.616)]), (-868, [(-868, 16, 2.566)]), (-871, [(-871, 8, 0.6404)]), (-904, [(-904, 8, 0.6286)]), (-919, [(-919, -12, 1.403)]), (-943, [(-943, 8, 0.6155)]), (-952, [(-952, 0, 0)]), (-964, [(-964, 0, 0)]), (-967, [(-967, 28, 7.446)]), (-979, [(-979, -4, 0.3020)]), (-1003, [(-1003, -24, 5.371)]), (-1012, [(-1012, 24, 10.69)]), (-1051, [(-1051, 4, 0.1458)]), (-1063, [(-1063, -12, 1.304)]), (-1096, [(-1096, -8, 0.5709)]), (-1099, [(-1099, -8, 0.5702)]), (-1108, [(-1108, 24, 5.110)]), (-1111, [(-1111, 0, 0)]), (-1135, [(-1135, 8, 0.5610)]), (-1144, [(-1144, 8, 1.118)]), (-1195, [(-1195, 8, 0.5468)]), (-1207, [(-1207, -16, 2.176)]), (-1231, [(-1231, 4, 0.1347)]), (-1240, [(-1240, -16, 2.147)]), (-1243, [(-1243, 20, 6.701)]), (-1267, [(-1267, -16, 2.124)]), (-1315, [(-1315, 16, 2.085)]), (-1327, [(-1327, -12, 1.167)]), (-1339, [(-1339, 0, 0)]), (-1348, [(-1348, 32, 8.237)]), (-1363, [(-1363, -16, 2.048)]), (-1396, [(-1396, 8, 0.5059)]), (-1399, [(-1399, -4, 0.1263)]), (-1432, [(-1432, 32, 7.992)]), (-1447, [(-1447, -20, 3.105)]), (-1459, [(-1459, -4, 0.1237)]), (-1471, [(-1471, 12, 1.109)]), (-1480, [(-1480, 0, 0)]), (-1492, [(-1492, -24, 4.404)]), (-1495, [(-1495, 0, 0)]), (-1507, [(-1507, -12, 2.191)]), (-1528, [(-1528, -8, 0.4835)]), (-1531, [(-1531, 4, 0.1208)]), (-1540, [(-1540, -16, 3.853)]), (-1579, [(-1579, 12, 1.070)]), (-1591, [(-1591, 0, 0)]), (-1603, [(-1603, 24, 4.249)]), (-1624, [(-1624, 16, 1.876)]), (-1627, [(-1627, -28, 5.740)]), (-1636, [(-1636, 0, 0)]), (-1639, [(-1639, -8, 0.9338)]), (-1663, [(-1663, 4, 0.1159)]), (-1672, [(-1672, -8, 0.9245)]), (-1711, [(-1711, 8, 0.4570)]), (-1723, [(-1723, -4, 0.1138)]), (-1735, [(-1735, 8, 0.4538)]), (-1759, [(-1759, -4, 0.1127)]), (-1768, [(-1768, 16, 1.798)]), (-1771, [(-1771, 0, 0)]), (-1795, [(-1795, 16, 1.785)]), (-1828, [(-1828, -48, 15.91)]), (-1843, [(-1843, -8, 0.4403)]), (-1855, [(-1855, -8, 0.4389)]), (-1867, [(-1867, 28, 5.359)]), (-1876, [(-1876, 0, 0)]), (-1891, [(-1891, -8, 0.4347)]), (-1903, [(-1903, 0, 0)]), (-1924, [(-1924, 16, 1.724)]), (-1927, [(-1927, 16, 1.722)]), (-1987, [(-1987, 20, 2.650)]), (-1999, [(-1999, 4, 0.1057)]), (-2008, [(-2008, 16, 1.687)]), (-2020, [(-2020, -32, 6.729)]), (-2035, [(-2035, 0, 0)]), (-2056, [(-2056, -8, 0.4168)]), (-2059, [(-2059, 8, 0.4165)]), (-2068, [(-2068, 8, 0.8313)]), (-2119, [(-2119, -8, 0.4106)]), (-2131, [(-2131, 12, 0.9213)]), (-2152, [(-2152, -16, 1.630)]), (-2155, [(-2155, -8, 0.4072)]), (-2164, [(-2164, -8, 0.4063)]), (-2167, [(-2167, 16, 3.248)]), (-2191, [(-2191, 0, 0)]), (-2239, [(-2239, 4, 0.09986)]), (-2251, [(-2251, -20, 2.490)]), (-2263, [(-2263, 8, 0.3973)]), (-2287, [(-2287, 4, 0.09881)]), (-2296, [(-2296, -16, 1.578)]), (-2323, [(-2323, -8, 0.3922)]), (-2356, [(-2356, 16, 1.558)]), (-2371, [(-2371, 4, 0.09704)]), (-2383, [(-2383, 4, 0.09680)]), (-2395, [(-2395, -24, 3.476)]), (-2404, [(-2404, 0, 0)]), (-2419, [(-2419, -8, 0.3843)]), (-2431, [(-2431, 0, 0)]), (-2452, [(-2452, -24, 3.435)]), (-2455, [(-2455, 0, 0)]), (-2488, [(-2488, -8, 0.3789)]), (-2503, [(-2503, -4, 0.09445)]), (-2515, [(-2515, 16, 1.508)]), (-2536, [(-2536, -16, 1.501)]), (-2551, [(-2551, -4, 0.09356)]), (-2563, [(-2563, 32, 11.95)]), (-2584, [(-2584, 0, 0)]), (-2587, [(-2587, 16, 1.486)]), (-2596, [(-2596, 0, 0)]), (-2635, [(-2635, 0, 0)]), (-2647, [(-2647, 28, 4.500)]), (-2659, [(-2659, -4, 0.09164)]), (-2680, [(-2680, 16, 1.460)]), (-2683, [(-2683, 44, 11.04)]), (-2692, [(-2692, -16, 1.457)]), (-2719, [(-2719, -4, 0.09062)]), (-2728, [(-2728, 32, 11.58)]), (-2767, [(-2767, -28, 4.402)]), (-2779, [(-2779, 0, 0)]), (-2791, [(-2791, -4, 0.08944)]), (-2815, [(-2815, 0, 0)]), (-2824, [(-2824, 8, 0.3557)]), (-2827, [(-2827, -28, 8.709)]), (-2851, [(-2851, -12, 0.7965)]), (-2884, [(-2884, -16, 1.408)]), (-2899, [(-2899, -24, 3.159)]), (-2911, [(-2911, 0, 0)]), (-2923, [(-2923, -48, 12.59)]), (-2932, [(-2932, -40, 8.727)]), (-2947, [(-2947, 24, 3.134)]), (-2959, [(-2959, 4, 0.1737)]), (-2980, [(-2980, 0, 0)]), (-2983, [(-2983, -16, 1.384)]), (-3016, [(-3016, 0, 0)]), (-3031, [(-3031, 0, 0)]), (-3043, [(-3043, -8, 0.3426)]), (-3055, [(-3055, 0, 0)]), (-3064, [(-3064, -8, 0.3415)]), (-3076, [(-3076, 16, 1.363)]), (-3079, [(-3079, -4, 0.08516)]), (-3091, [(-3091, 0, 0)]), (-3112, [(-3112, 32, 5.421)]), (-3115, [(-3115, -8, 0.3387)]), (-3124, [(-3124, 8, 0.6763)]), (-3163, [(-3163, -4, 0.08402)]), (-3187, [(-3187, 12, 0.7533)]), (-3208, [(-3208, 24, 3.003)]), (-3220, [(-3220, 16, 1.332)]), (-3223, [(-3223, 8, 0.6659)]), (-3247, [(-3247, -24, 2.985)]), (-3256, [(-3256, 0, 0)]), (-3295, [(-3295, 8, 0.3293)]), (-3307, [(-3307, -28, 4.026)]), (-3319, [(-3319, -4, 0.08202)]), (-3343, [(-3343, -28, 4.005)]), (-3352, [(-3352, 0, 0)]), (-3355, [(-3355, -8, 0.6526)]), (-3379, [(-3379, 0, 0)]), (-3412, [(-3412, 24, 2.912)]), (-3427, [(-3427, 32, 5.166)]), (-3439, [(-3439, 16, 1.289)]), (-3451, [(-3451, 0, 0)]), (-3460, [(-3460, 16, 1.285)]), (-3487, [(-3487, 20, 4.001)]), (-3508, [(-3508, -24, 2.872)]), (-3511, [(-3511, -12, 0.7177)]), (-3544, [(-3544, 0, 0)]), (-3559, [(-3559, 12, 0.7129)]), (-3571, [(-3571, 12, 0.7117)]), (-3583, [(-3583, 4, 0.07894)]), (-3592, [(-3592, 8, 0.3154)]), (-3604, [(-3604, 0, 0)]), (-3607, [(-3607, -28, 3.855)]), (-3619, [(-3619, -16, 2.514)]), (-3640, [(-3640, 16, 1.253)]), (-3643, [(-3643, -28, 3.836)]), (-3652, [(-3652, -16, 2.502)]), (-3691, [(-3691, -12, 0.7000)]), (-3715, [(-3715, 8, 0.3101)]), (-3736, [(-3736, 0, 0)]), (-3739, [(-3739, 12, 0.6955)]), (-3748, [(-3748, -16, 1.235)]), (-3784, [(-3784, -8, 0.6145)]), (-3823, [(-3823, 36, 6.190)]), (-3835, [(-3835, -32, 4.883)]), (-3847, [(-3847, -20, 1.905)]), (-3880, [(-3880, 32, 4.855)]), (-3883, [(-3883, -20, 3.792)]), (-3907, [(-3907, 60, 17.01)]), (-3940, [(-3940, 0, 0)]), (-3955, [(-3955, -24, 2.705)]), (-3967, [(-3967, 20, 1.876)]), (-3979, [(-3979, 8, 0.2996)]), (-3988, [(-3988, -24, 2.694)]), (-4003, [(-4003, -4, 0.07469)]), (-4015, [(-4015, 8, 0.5966)]), (-4036, [(-4036, 0, 0)]), (-4039, [(-4039, 8, 0.2974)]), (-4072, [(-4072, -48, 10.66)]), (-4087, [(-4087, 8, 0.2957)]), (-4099, [(-4099, -4, 0.07381)]), (-4111, [(-4111, 4, 0.07370)]), (-4120, [(-4120, 16, 1.178)]), (-4132, [(-4132, 48, 10.59)]), (-4135, [(-4135, -8, 0.2939)]), (-4147, [(-4147, -16, 2.348)]), (-4168, [(-4168, -40, 7.319)]), (-4171, [(-4171, 0, 0)]), (-4180, [(-4180, 0, 0)]), (-4219, [(-4219, 20, 1.819)]), (-4231, [(-4231, -12, 0.6538)]), (-4243, [(-4243, 20, 1.814)]), (-4264, [(-4264, -16, 1.158)]), (-4267, [(-4267, -8, 0.2894)]), (-4276, [(-4276, 24, 2.601)]), (-4279, [(-4279, 4, 0.1445)]), (-4303, [(-4303, -8, 0.2881)]), (-4351, [(-4351, -16, 1.146)]), (-4363, [(-4363, 20, 1.788)]), (-4399, [(-4399, 8, 0.2850)]), (-4408, [(-4408, 32, 4.555)]), (-4411, [(-4411, 4, 0.1423)]), (-4435, [(-4435, 8, 0.2838)]), (-4468, [(-4468, 8, 0.2828)]), (-4483, [(-4483, 20, 1.764)]), (-4495, [(-4495, 16, 1.128)]), (-4507, [(-4507, 52, 11.90)]), (-4516, [(-4516, 32, 4.500)]), (-4531, [(-4531, 8, 0.2808)]), (-4543, [(-4543, -16, 2.243)]), (-4564, [(-4564, -16, 1.119)]), (-4567, [(-4567, -20, 1.748)]), (-4615, [(-4615, -16, 1.113)]), (-4627, [(-4627, -24, 2.501)]), (-4639, [(-4639, 4, 0.06938)]), (-4648, [(-4648, -32, 4.436)]), (-4660, [(-4660, 0, 0)]), (-4663, [(-4663, -20, 1.730)]), (-4696, [(-4696, -16, 1.103)]), (-4699, [(-4699, 8, 0.2757)]), (-4708, [(-4708, -32, 8.815)]), (-4747, [(-4747, -8, 0.2743)]), (-4759, [(-4759, 12, 0.6165)]), (-4771, [(-4771, 0, 0)]), (-4792, [(-4792, -8, 0.2730)]), (-4795, [(-4795, -40, 6.824)]), (-4804, [(-4804, 0, 0)]), (-4807, [(-4807, 0, 0)]), (-4831, [(-4831, -12, 0.6119)]), (-4879, [(-4879, 0, 0)]), (-4891, [(-4891, -16, 1.081)]), (-4903, [(-4903, 28, 3.307)]), (-4927, [(-4927, 24, 2.423)]), (-4936, [(-4936, -8, 0.2690)]), (-4939, [(-4939, 20, 3.362)]), (-4963, [(-4963, 32, 4.293)]), (-4996, [(-4996, 0, 0)]), (-5011, [(-5011, -4, 0.06675)]), (-5023, [(-5023, -20, 1.667)]), (-5035, [(-5035, -24, 2.397)]), (-5044, [(-5044, -16, 1.065)]), (-5059, [(-5059, 12, 0.5979)]), (-5071, [(-5071, 8, 0.5309)]), (-5092, [(-5092, 48, 9.536)]), (-5095, [(-5095, 8, 0.2648)]), (-5128, [(-5128, 40, 6.599)]), (-5143, [(-5143, 24, 2.372)]), (-5155, [(-5155, 0, 0)]), (-5167, [(-5167, -36, 5.325)]), (-5176, [(-5176, -8, 0.2627)]), (-5188, [(-5188, 32, 4.199)]), (-5191, [(-5191, -8, 0.2623)]), (-5224, [(-5224, 0, 0)]), (-5227, [(-5227, -12, 0.5882)]), (-5236, [(-5236, 0, 0)]), (-5287, [(-5287, 0, 0)]), (-5299, [(-5299, -8, 0.2597)]), (-5320, [(-5320, 16, 1.037)]), (-5323, [(-5323, -20, 1.619)]), (-5332, [(-5332, 0, 0)]), (-5335, [(-5335, -8, 0.5176)]), (-5359, [(-5359, 24, 2.324)]), (-5368, [(-5368, 24, 4.644)]), (-5407, [(-5407, -12, 0.5784)]), (-5419, [(-5419, 28, 3.145)]), (-5431, [(-5431, -12, 0.5771)]), (-5455, [(-5455, -8, 0.2559)]), (-5464, [(-5464, -16, 1.023)]), (-5467, [(-5467, 0, 0)]), (-5524, [(-5524, -8, 0.2543)]), (-5539, [(-5539, 0, 0)]), (-5551, [(-5551, 0, 0)]), (-5563, [(-5563, -28, 3.104)]), (-5572, [(-5572, 0, 0)]), (-5587, [(-5587, -8, 0.2529)]), (-5599, [(-5599, 4, 0.1263)]), (-5620, [(-5620, 0, 0)]), (-5623, [(-5623, 28, 3.088)]), (-5656, [(-5656, 0, 0)]), (-5671, [(-5671, 0, 0)]), (-5683, [(-5683, 4, 0.06268)]), (-5695, [(-5695, -16, 1.002)]), (-5704, [(-5704, -16, 1.001)]), (-5716, [(-5716, 24, 2.250)]), (-5719, [(-5719, 8, 0.2499)]), (-5731, [(-5731, 4, 0.1248)]), (-5752, [(-5752, 40, 6.230)]), (-5755, [(-5755, -40, 6.229)]), (-5764, [(-5764, -16, 1.992)]), (-5803, [(-5803, -56, 12.16)]), (-5815, [(-5815, -24, 2.231)]), (-5827, [(-5827, -4, 0.06190)]), (-5848, [(-5848, 32, 3.955)]), (-5851, [(-5851, 4, 0.06177)]), (-5860, [(-5860, 16, 0.9876)]), (-5863, [(-5863, -24, 4.443)]), (-5896, [(-5896, -16, 1.969)]), (-5935, [(-5935, -16, 0.9814)]), (-5947, [(-5947, -8, 0.2451)]), (-5959, [(-5959, 16, 0.9794)]), (-5983, [(-5983, 16, 0.9774)]), (-5992, [(-5992, 0, 0)]), (-5995, [(-5995, 8, 0.4882)]), (-6019, [(-6019, -8, 0.2436)]), (-6052, [(-6052, -16, 0.9719)]), (-6067, [(-6067, 20, 1.517)]), (-6079, [(-6079, -4, 0.06061)]), (-6091, [(-6091, -20, 1.514)]), (-6115, [(-6115, 40, 6.043)]), (-6127, [(-6127, 24, 4.346)]), (-6148, [(-6148, 16, 0.9642)]), (-6151, [(-6151, -4, 0.06025)]), (-6184, [(-6184, -16, 0.9614)]), (-6199, [(-6199, -4, 0.06002)]), (-6211, [(-6211, 20, 1.499)]), (-6232, [(-6232, -48, 8.619)]), (-6244, [(-6244, 0, 0)]), (-6247, [(-6247, 28, 2.929)]), (-6259, [(-6259, 8, 0.4778)]), (-6280, [(-6280, 16, 0.9540)]), (-6283, [(-6283, 16, 0.9538)]), (-6331, [(-6331, 8, 0.2376)]), (-6343, [(-6343, -20, 1.483)]), (-6355, [(-6355, 0, 0)]), (-6376, [(-6376, 0, 0)]), (-6379, [(-6379, 20, 1.479)]), (-6388, [(-6388, -8, 0.2365)]), (-6391, [(-6391, 0, 0)]), (-6415, [(-6415, -16, 0.9440)]), (-6424, [(-6424, -16, 1.887)]), (-6463, [(-6463, -32, 3.762)]), (-6487, [(-6487, -8, 0.2347)]), (-6511, [(-6511, 8, 0.2342)]), (-6520, [(-6520, 32, 3.745)]), (-6523, [(-6523, 0, 0)]), (-6547, [(-6547, -60, 13.14)]), (-6580, [(-6580, 16, 0.9320)]), (-6595, [(-6595, 0, 0)]), (-6607, [(-6607, 12, 0.5232)]), (-6619, [(-6619, 4, 0.05808)]), (-6628, [(-6628, 16, 0.9287)]), (-6643, [(-6643, 0, 0)]), (-6676, [(-6676, 8, 0.2313)]), (-6679, [(-6679, -4, 0.05782)]), (-6712, [(-6712, -24, 2.076)]), (-6739, [(-6739, 0, 0)]), (-6751, [(-6751, -8, 0.2300)]), (-6772, [(-6772, -24, 2.067)]), (-6787, [(-6787, 12, 1.032)]), (-6808, [(-6808, -32, 3.665)]), (-6820, [(-6820, 16, 1.831)]), (-6871, [(-6871, 4, 0.05701)]), (-6883, [(-6883, -44, 6.892)]), (-6904, [(-6904, -24, 2.047)]), (-6907, [(-6907, -36, 4.605)]), (-6916, [(-6916, 16, 0.9091)]), (-6919, [(-6919, 0, 0)]), (-6943, [(-6943, 40, 5.671)]), (-6952, [(-6952, -16, 1.814)]), (-6991, [(-6991, -4, 0.05651)]), (-7003, [(-7003, 40, 5.647)]), (-7015, [(-7015, 16, 0.9027)]), (-7039, [(-7039, 20, 1.408)]), (-7048, [(-7048, -24, 2.026)]), (-7051, [(-7051, -12, 1.013)]), (-7108, [(-7108, -32, 3.587)]), (-7123, [(-7123, 48, 8.062)]), (-7135, [(-7135, -16, 0.8951)]), (-7147, [(-7147, 16, 0.8943)]), (-7156, [(-7156, -8, 0.2234)]), (-7171, [(-7171, -8, 0.2232)]), (-7183, [(-7183, -28, 5.464)]), (-7204, [(-7204, -16, 0.8908)]), (-7207, [(-7207, 36, 4.509)]), (-7240, [(-7240, 48, 7.997)]), (-7255, [(-7255, 0, 0)]), (-7279, [(-7279, 0, 0)]), (-7288, [(-7288, -8, 0.2214)]), (-7303, [(-7303, 8, 0.2212)]), (-7315, [(-7315, 8, 0.4420)]), (-7336, [(-7336, 0, 0)]), (-7339, [(-7339, 32, 3.530)]), (-7348, [(-7348, -16, 1.764)]), (-7387, [(-7387, 56, 10.78)]), (-7411, [(-7411, 12, 0.4940)]), (-7432, [(-7432, 40, 5.481)]), (-7435, [(-7435, -24, 1.973)]), (-7444, [(-7444, -8, 0.2191)]), (-7447, [(-7447, -16, 1.752)]), (-7471, [(-7471, 24, 1.968)]), (-7480, [(-7480, -16, 1.748)]), (-7519, [(-7519, 8, 0.2180)]), (-7531, [(-7531, -24, 1.960)]), (-7543, [(-7543, 24, 1.959)]), (-7567, [(-7567, 48, 7.822)]), (-7576, [(-7576, 0, 0)]), (-7579, [(-7579, 8, 0.4342)]), (-7603, [(-7603, 36, 4.390)]), (-7636, [(-7636, 0, 0)]), (-7651, [(-7651, 8, 0.2161)]), (-7663, [(-7663, -16, 0.8637)]), (-7684, [(-7684, -16, 0.8625)]), (-7699, [(-7699, -28, 2.639)]), (-7711, [(-7711, -8, 0.4305)]), (-7732, [(-7732, -24, 1.935)]), (-7735, [(-7735, -32, 3.439)]), (-7768, [(-7768, 32, 3.431)]), (-7783, [(-7783, -8, 0.2142)]), (-7795, [(-7795, 16, 0.8563)]), (-7807, [(-7807, 24, 1.925)]), (-7816, [(-7816, 24, 1.924)]), (-7828, [(-7828, 16, 0.8545)]), (-7831, [(-7831, 0, 0)]), (-7843, [(-7843, -16, 1.707)]), (-7864, [(-7864, -8, 0.2131)]), (-7867, [(-7867, -36, 4.315)]), (-7876, [(-7876, 16, 1.704)]), (-7915, [(-7915, -8, 0.2125)]), (-7927, [(-7927, -12, 0.4777)]), (-7939, [(-7939, 24, 1.909)]), (-7960, [(-7960, 0, 0)]), (-7963, [(-7963, 28, 2.595)]), (-7972, [(-7972, 16, 0.8468)]), (-7999, [(-7999, 0, 0)]), (-8008, [(-8008, -32, 6.759)]), (-8047, [(-8047, -8, 0.2107)]), (-8059, [(-8059, 12, 0.4737)]), (-8071, [(-8071, 16, 0.8416)]), (-8095, [(-8095, -16, 0.8403)]), (-8104, [(-8104, 0, 0)]), (-8131, [(-8131, -24, 1.887)]), (-8164, [(-8164, 0, 0)]), (-8179, [(-8179, -4, 0.05225)]), (-8191, [(-8191, -4, 0.05221)]), (-8203, [(-8203, 8, 0.2087)]), (-8212, [(-8212, -24, 1.877)]), (-8227, [(-8227, -80, 20.84)]), (-8239, [(-8239, 8, 0.4165)]), (-8260, [(-8260, 0, 0)]), (-8263, [(-8263, 28, 2.547)]), (-8296, [(-8296, -16, 0.8301)]), (-8311, [(-8311, 4, 0.05183)]), (-8323, [(-8323, 32, 3.315)]), (-8335, [(-8335, 0, 0)]), (-8344, [(-8344, 0, 0)]), (-8356, [(-8356, 0, 0)]), (-8359, [(-8359, 8, 0.2067)]), (-8371, [(-8371, 8, 0.4132)]), (-8392, [(-8392, 24, 1.857)]), (-8395, [(-8395, -16, 0.8252)]), (-8404, [(-8404, 8, 0.4124)]), (-8443, [(-8443, -36, 4.165)]), (-8455, [(-8455, -24, 1.850)]), (-8467, [(-8467, 4, 0.05135)]), (-8488, [(-8488, 32, 3.283)]), (-8491, [(-8491, -24, 1.846)]), (-8503, [(-8503, 4, 0.1025)]), (-8527, [(-8527, -12, 0.4605)]), (-8536, [(-8536, 0, 0)]), (-8587, [(-8587, -24, 1.836)]), (-8599, [(-8599, -4, 0.05096)]), (-8623, [(-8623, -20, 1.272)]), (-8632, [(-8632, 64, 13.02)]), (-8635, [(-8635, -8, 0.4068)]), (-8659, [(-8659, 0, 0)]), (-8692, [(-8692, 0, 0)]), (-8707, [(-8707, -12, 0.4558)]), (-8719, [(-8719, 4, 0.05061)]), (-8731, [(-8731, -4, 0.05057)]), (-8740, [(-8740, -16, 0.8087)]), (-8755, [(-8755, 16, 0.8080)]), (-8767, [(-8767, 12, 0.9084)]), (-8791, [(-8791, 0, 0)]), (-8824, [(-8824, 8, 0.2012)]), (-8839, [(-8839, 12, 0.4523)]), (-8851, [(-8851, 16, 0.8036)]), (-8863, [(-8863, -36, 4.066)]), (-8872, [(-8872, 32, 3.211)]), (-8884, [(-8884, -24, 1.805)]), (-8887, [(-8887, 4, 0.05012)]), (-8899, [(-8899, -24, 3.607)]), (-8920, [(-8920, 32, 3.202)]), (-8923, [(-8923, 52, 8.454)]), (-8932, [(-8932, -16, 1.600)]), (-8971, [(-8971, -20, 1.247)]), (-8983, [(-8983, 8, 0.1994)]), (-8995, [(-8995, 8, 0.1993)]), (-9019, [(-9019, 16, 0.7961)]), (-9028, [(-9028, -16, 0.7957)]), (-9031, [(-9031, -16, 1.591)]), (-9055, [(-9055, -8, 0.1986)]), (-9064, [(-9064, 0, 0)]), (-9103, [(-9103, -28, 2.427)]), (-9115, [(-9115, -32, 3.168)]), (-9127, [(-9127, -28, 2.424)]), (-9151, [(-9151, -12, 0.4446)]), (-9160, [(-9160, -32, 3.160)]), (-9187, [(-9187, 28, 2.416)]), (-9220, [(-9220, -16, 0.7874)]), (-9235, [(-9235, -8, 0.1967)]), (-9247, [(-9247, 0, 0)]), (-9259, [(-9259, 24, 1.768)]), (-9268, [(-9268, 48, 7.068)]), (-9283, [(-9283, -20, 1.226)]), (-9316, [(-9316, 16, 0.7833)]), (-9319, [(-9319, -12, 0.4405)]), (-9352, [(-9352, 16, 0.7818)]), (-9367, [(-9367, -32, 3.125)]), (-9379, [(-9379, 0, 0)]), (-9391, [(-9391, -12, 0.4388)]), (-9412, [(-9412, 16, 0.7793)]), (-9415, [(-9415, -8, 0.1948)]), (-9427, [(-9427, 40, 9.734)]), (-9448, [(-9448, -32, 3.111)]), (-9451, [(-9451, 0, 0)]), (-9460, [(-9460, 0, 0)]), (-9499, [(-9499, 0, 0)]), (-9511, [(-9511, 4, 0.04845)]), (-9523, [(-9523, -64, 12.40)]), (-9544, [(-9544, 24, 1.741)]), (-9547, [(-9547, 52, 8.173)]), (-9556, [(-9556, -8, 0.1934)]), (-9592, [(-9592, 40, 9.650)]), (-9631, [(-9631, 12, 0.4333)]), (-9643, [(-9643, 20, 1.203)]), (-9655, [(-9655, 8, 0.1924)]), (-9679, [(-9679, -4, 0.04803)]), (-9688, [(-9688, -80, 19.20)]), (-9691, [(-9691, -12, 0.8640)]), (-9715, [(-9715, 0, 0)]), (-9748, [(-9748, -24, 1.723)]), (-9763, [(-9763, -64, 12.24)]), (-9787, [(-9787, -36, 3.869)]), (-9796, [(-9796, -16, 0.7639)]), (-9811, [(-9811, -4, 0.04771)]), (-9823, [(-9823, 32, 6.103)]), (-9844, [(-9844, 0, 0)]), (-9847, [(-9847, 16, 0.7619)]), (-9880, [(-9880, 16, 0.7606)]), (-9895, [(-9895, 0, 0)]), (-9907, [(-9907, -52, 8.023)]), (-9919, [(-9919, 0, 0)]), (-9928, [(-9928, -16, 0.7588)]), (-9940, [(-9940, 16, 0.7583)]), (-9943, [(-9943, -32, 3.033)]), (-9955, [(-9955, 8, 0.3789)]), (-9976, [(-9976, 32, 3.028)]), (-9979, [(-9979, -8, 0.1892)]), (-9988, [(-9988, 0, 0)])]]

# map: (1 |-> 1.0) -> -1, Fractional ideal (3) -> 1, Fractional ideal (11) -> 1
[13, -1/2 + 41/2*i + (-1/2)*j + 1/2*k, [(-8, [(-8, -8, 3.342)]), (-11, [(-11, 4, 1.425)]), (-35, [(-35, 8, 1.598)]), (-68, [(-68, -16, 4.585)]), (-83, [(-83, -16, 4.150)]), (-95, [(-95, 8, 0.9698)]), (-107, [(-107, 0, 0)]), (-116, [(-116, 0, 0)]), (-131, [(-131, 8, 0.8259)]), (-143, [(-143, 8, 1.581)]), (-164, [(-164, 0, 0)]), (-167, [(-167, -8, 0.7315)]), (-215, [(-215, 8, 0.6447)]), (-227, [(-227, -16, 2.510)]), (-239, [(-239, -8, 0.6114)]), (-248, [(-248, 16, 2.401)]), (-260, [(-260, -16, 2.345)]), (-263, [(-263, -24, 5.246)]), (-296, [(-296, -16, 2.198)]), (-299, [(-299, 0, 0)]), (-308, [(-308, 16, 4.309)]), (-347, [(-347, 32, 8.119)]), (-359, [(-359, 0, 0)]), (-371, [(-371, 8, 0.4908)]), (-395, [(-395, 8, 0.4756)]), (-404, [(-404, 16, 1.881)]), (-407, [(-407, -8, 0.9371)]), (-431, [(-431, -8, 0.4553)]), (-440, [(-440, 0, 0)]), (-479, [(-479, -8, 0.4319)]), (-491, [(-491, 0, 0)]), (-503, [(-503, 24, 3.793)]), (-527, [(-527, 16, 1.647)]), (-536, [(-536, -16, 1.633)]), (-563, [(-563, -24, 3.585)]), (-596, [(-596, 16, 1.549)]), (-611, [(-611, 0, 0)]), (-623, [(-623, 8, 0.3787)]), (-635, [(-635, -8, 0.3751)]), (-644, [(-644, 16, 1.490)]), (-659, [(-659, -8, 0.3682)]), (-671, [(-671, 8, 0.7298)]), (-692, [(-692, 0, 0)]), (-695, [(-695, 24, 3.227)]), (-728, [(-728, -16, 1.401)]), (-743, [(-743, 16, 1.387)]), (-755, [(-755, 24, 3.096)]), (-767, [(-767, -32, 5.461)]), (-776, [(-776, 0, 0)]), (-788, [(-788, -16, 1.347)]), (-791, [(-791, 8, 0.3361)]), (-803, [(-803, 24, 6.004)]), (-824, [(-824, 16, 1.317)]), (-827, [(-827, 32, 5.259)]), (-836, [(-836, 0, 0)]), (-887, [(-887, -16, 1.270)]), (-899, [(-899, -16, 1.261)]), (-920, [(-920, -16, 1.247)]), (-923, [(-923, 16, 1.245)]), (-932, [(-932, -32, 4.954)]), (-935, [(-935, 0, 0)]), (-959, [(-959, -8, 0.3052)]), (-1007, [(-1007, -24, 2.681)]), (-1019, [(-1019, -8, 0.2961)]), (-1031, [(-1031, 16, 1.178)]), (-1055, [(-1055, 8, 0.2910)]), (-1064, [(-1064, 0, 0)]), (-1067, [(-1067, 16, 2.315)]), (-1091, [(-1091, -8, 0.2862)]), (-1124, [(-1124, 16, 1.128)]), (-1139, [(-1139, -16, 1.120)]), (-1151, [(-1151, -8, 0.2786)]), (-1163, [(-1163, 32, 4.435)]), (-1172, [(-1172, 0, 0)]), (-1187, [(-1187, -40, 6.859)]), (-1199, [(-1199, -8, 0.5460)]), (-1220, [(-1220, 16, 1.083)]), (-1223, [(-1223, -16, 1.081)]), (-1256, [(-1256, -16, 1.067)]), (-1271, [(-1271, 0, 0)]), (-1283, [(-1283, 8, 0.2639)]), (-1295, [(-1295, 0, 0)]), (-1304, [(-1304, 0, 0)]), (-1316, [(-1316, 16, 1.042)]), (-1319, [(-1319, -16, 1.041)]), (-1355, [(-1355, 8, 0.2568)]), (-1364, [(-1364, 0, 0)]), (-1403, [(-1403, 0, 0)]), (-1415, [(-1415, 8, 0.2513)]), (-1427, [(-1427, -24, 2.252)]), (-1448, [(-1448, -48, 8.943)]), (-1451, [(-1451, -16, 0.9926)]), (-1460, [(-1460, -32, 3.958)]), (-1463, [(-1463, -24, 4.448)]), (-1487, [(-1487, 32, 3.922)]), (-1496, [(-1496, 0, 0)]), (-1535, [(-1535, -8, 0.2413)]), (-1547, [(-1547, 0, 0)]), (-1559, [(-1559, 0, 0)]), (-1583, [(-1583, 32, 3.801)]), (-1592, [(-1592, 32, 3.791)]), (-1595, [(-1595, 0, 0)]), (-1619, [(-1619, -16, 0.9397)]), (-1652, [(-1652, 32, 3.721)]), (-1667, [(-1667, 56, 11.34)]), (-1679, [(-1679, -16, 0.9228)]), (-1691, [(-1691, -8, 0.2299)]), (-1727, [(-1727, 16, 1.820)]), (-1748, [(-1748, -48, 8.139)]), (-1751, [(-1751, 16, 0.9036)]), (-1784, [(-1784, 0, 0)]), (-1799, [(-1799, 8, 0.2229)]), (-1811, [(-1811, -8, 0.2221)]), (-1823, [(-1823, 8, 0.2214)]), (-1832, [(-1832, -16, 0.8834)]), (-1844, [(-1844, 0, 0)]), (-1847, [(-1847, 16, 0.8798)]), (-1880, [(-1880, -16, 0.8720)]), (-1883, [(-1883, -56, 10.67)]), (-1892, [(-1892, -32, 6.954)]), (-1931, [(-1931, 8, 0.2151)]), (-1943, [(-1943, -48, 7.720)]), (-1955, [(-1955, 32, 3.421)]), (-1976, [(-1976, -16, 0.8506)]), (-1979, [(-1979, 0, 0)]), (-1988, [(-1988, 16, 0.8480)]), (-1991, [(-1991, -8, 0.4237)]), (-2015, [(-2015, -16, 0.8423)]), (-2024, [(-2024, 16, 1.681)]), (-2063, [(-2063, 8, 0.2081)]), (-2087, [(-2087, 8, 0.2069)]), (-2111, [(-2111, 0, 0)]), (-2120, [(-2120, 16, 0.8212)]), (-2123, [(-2123, -24, 3.693)]), (-2147, [(-2147, 24, 1.836)]), (-2180, [(-2180, -16, 0.8098)]), (-2195, [(-2195, 24, 1.816)]), (-2207, [(-2207, 40, 5.030)]), (-2219, [(-2219, 8, 0.2007)]), (-2228, [(-2228, -64, 12.82)]), (-2243, [(-2243, 64, 12.77)]), (-2255, [(-2255, 0, 0)]), (-2276, [(-2276, 16, 0.7925)]), (-2279, [(-2279, 8, 0.1980)]), (-2327, [(-2327, -16, 0.7838)]), (-2339, [(-2339, 0, 0)]), (-2351, [(-2351, -16, 0.7798)]), (-2360, [(-2360, 0, 0)]), (-2372, [(-2372, 16, 0.7763)]), (-2387, [(-2387, 0, 0)]), (-2408, [(-2408, 32, 3.082)]), (-2411, [(-2411, 0, 0)]), (-2459, [(-2459, 16, 0.7625)]), (-2471, [(-2471, 24, 1.711)]), (-2483, [(-2483, -32, 3.035)]), (-2504, [(-2504, 16, 0.7556)]), (-2507, [(-2507, -32, 3.021)]), (-2516, [(-2516, 0, 0)]), (-2519, [(-2519, 0, 0)]), (-2543, [(-2543, 0, 0)]), (-2552, [(-2552, 32, 5.988)]), (-2591, [(-2591, 8, 0.1857)]), (-2603, [(-2603, -8, 0.1853)]), (-2615, [(-2615, 8, 0.1848)]), (-2639, [(-2639, 0, 0)]), (-2648, [(-2648, -32, 2.939)]), (-2651, [(-2651, 8, 0.3672)]), (-2708, [(-2708, 16, 0.7266)]), (-2723, [(-2723, -56, 8.876)]), (-2735, [(-2735, -8, 0.1807)]), (-2747, [(-2747, -16, 0.7214)]), (-2756, [(-2756, 16, 0.7202)]), (-2771, [(-2771, 16, 0.7183)]), (-2804, [(-2804, 0, 0)]), (-2807, [(-2807, -24, 1.606)]), (-2840, [(-2840, 48, 6.385)]), (-2855, [(-2855, 24, 1.592)]), (-2867, [(-2867, -80, 17.65)]), (-2879, [(-2879, 8, 0.1762)]), (-2903, [(-2903, 8, 0.1754)]), (-2915, [(-2915, 8, 0.3502)]), (-2936, [(-2936, 0, 0)]), (-2939, [(-2939, 16, 0.6975)]), (-2948, [(-2948, 16, 1.393)]), (-2987, [(-2987, -32, 2.767)]), (-2999, [(-2999, 8, 0.1726)]), (-3011, [(-3011, 16, 0.6891)]), (-3032, [(-3032, 32, 2.747)]), (-3035, [(-3035, 24, 1.544)]), (-3044, [(-3044, -16, 0.6853)]), (-3047, [(-3047, 40, 8.562)]), (-3071, [(-3071, 0, 0)]), (-3080, [(-3080, -16, 1.363)]), (-3119, [(-3119, -16, 0.6770)]), (-3131, [(-3131, 16, 0.6757)]), (-3143, [(-3143, -24, 1.517)]), (-3167, [(-3167, -8, 0.1680)]), (-3176, [(-3176, 16, 0.6709)]), (-3203, [(-3203, 48, 6.013)]), (-3236, [(-3236, -32, 2.659)]), (-3251, [(-3251, -16, 0.6631)]), (-3263, [(-3263, 0, 0)]), (-3284, [(-3284, -16, 0.6598)]), (-3299, [(-3299, -8, 0.1646)]), (-3311, [(-3311, -8, 0.3286)]), (-3335, [(-3335, -16, 0.6547)]), (-3368, [(-3368, -48, 5.864)]), (-3383, [(-3383, -32, 2.600)]), (-3395, [(-3395, 32, 2.596)]), (-3407, [(-3407, -16, 0.6478)]), (-3416, [(-3416, -16, 0.6469)]), (-3428, [(-3428, 0, 0)]), (-3431, [(-3431, -16, 0.6455)]), (-3443, [(-3443, 24, 2.900)]), (-3464, [(-3464, -16, 0.6424)]), (-3467, [(-3467, -24, 1.445)]), (-3476, [(-3476, 16, 1.283)]), (-3515, [(-3515, -48, 5.740)]), (-3527, [(-3527, 32, 2.547)]), (-3539, [(-3539, 16, 0.6356)]), (-3560, [(-3560, 32, 2.535)]), (-3563, [(-3563, -24, 1.425)]), (-3572, [(-3572, 48, 5.694)]), (-3599, [(-3599, -16, 0.6303)]), (-3608, [(-3608, -48, 11.33)]), (-3647, [(-3647, 24, 1.409)]), (-3659, [(-3659, 0, 0)]), (-3671, [(-3671, -8, 0.1560)]), (-3695, [(-3695, -24, 1.400)]), (-3704, [(-3704, -16, 0.6213)]), (-3707, [(-3707, -24, 2.795)]), (-3731, [(-3731, 48, 5.571)]), (-3764, [(-3764, -16, 0.6163)]), (-3779, [(-3779, 0, 0)]), (-3791, [(-3791, -16, 0.6141)]), (-3803, [(-3803, 56, 7.511)]), (-3812, [(-3812, 0, 0)]), (-3827, [(-3827, 8, 0.1528)]), (-3839, [(-3839, 8, 0.3051)]), (-3860, [(-3860, -32, 2.434)]), (-3863, [(-3863, 24, 1.369)]), (-3896, [(-3896, 0, 0)]), (-3911, [(-3911, 8, 0.1512)]), (-3923, [(-3923, 0, 0)]), (-3935, [(-3935, 24, 1.356)]), (-3944, [(-3944, 0, 0)]), (-3956, [(-3956, -16, 0.6012)]), (-3959, [(-3959, 32, 2.404)]), (-3992, [(-3992, -32, 2.394)]), (-3995, [(-3995, -16, 0.5982)]), (-4004, [(-4004, -16, 1.195)]), (-4043, [(-4043, 32, 2.379)]), (-4055, [(-4055, -24, 1.336)]), (-4088, [(-4088, 32, 2.365)]), (-4091, [(-4091, -8, 0.1478)]), (-4103, [(-4103, 24, 2.656)]), (-4127, [(-4127, 0, 0)]), (-4136, [(-4136, -16, 1.176)]), (-4187, [(-4187, -56, 7.158)]), (-4199, [(-4199, 0, 0)]), (-4223, [(-4223, -48, 5.237)]), (-4259, [(-4259, -8, 0.1448)]), (-4292, [(-4292, -64, 9.234)]), (-4307, [(-4307, 48, 5.185)]), (-4319, [(-4319, 8, 0.1438)]), (-4331, [(-4331, -32, 2.298)]), (-4340, [(-4340, 0, 0)]), (-4355, [(-4355, 16, 0.5730)]), (-4367, [(-4367, -8, 0.2861)]), (-4388, [(-4388, -32, 2.283)]), (-4391, [(-4391, -8, 0.1426)]), (-4424, [(-4424, 16, 0.5685)]), (-4439, [(-4439, 16, 0.5675)]), (-4451, [(-4451, 16, 0.5667)]), (-4463, [(-4463, 40, 3.537)]), (-4472, [(-4472, -48, 5.089)]), (-4484, [(-4484, -32, 2.259)]), (-4487, [(-4487, 8, 0.1411)]), (-4499, [(-4499, -8, 0.2819)]), (-4520, [(-4520, 0, 0)]), (-4523, [(-4523, 24, 1.265)]), (-4532, [(-4532, 32, 4.493)]), (-4571, [(-4571, 24, 1.258)]), (-4583, [(-4583, 48, 5.027)]), (-4595, [(-4595, -24, 1.255)]), (-4616, [(-4616, 0, 0)]), (-4619, [(-4619, 32, 2.225)]), (-4628, [(-4628, 48, 5.002)]), (-4631, [(-4631, 8, 0.2778)]), (-4664, [(-4664, 0, 0)]), (-4703, [(-4703, 8, 0.1378)]), (-4715, [(-4715, -48, 4.956)]), (-4727, [(-4727, -16, 0.5499)]), (-4751, [(-4751, -16, 0.5486)]), (-4760, [(-4760, 32, 2.192)]), (-4763, [(-4763, -24, 2.465)]), (-4787, [(-4787, -16, 0.5465)]), (-4820, [(-4820, 0, 0)]), (-4835, [(-4835, 8, 0.1359)]), (-4847, [(-4847, 16, 0.5431)]), (-4859, [(-4859, 8, 0.1356)]), (-4868, [(-4868, 0, 0)]), (-4883, [(-4883, -24, 1.217)]), (-4895, [(-4895, -8, 0.2702)]), (-4916, [(-4916, 16, 0.5393)]), (-4919, [(-4919, 8, 0.1348)]), (-4952, [(-4952, 48, 4.836)]), (-4967, [(-4967, 0, 0)]), (-4979, [(-4979, 16, 0.5359)]), (-4991, [(-4991, 0, 0)]), (-5012, [(-5012, 0, 0)]), (-5015, [(-5015, 16, 0.5339)]), (-5027, [(-5027, -24, 2.400)]), (-5048, [(-5048, -16, 0.5322)]), (-5051, [(-5051, -24, 1.197)]), (-5060, [(-5060, -16, 1.063)]), (-5099, [(-5099, 8, 0.1324)]), (-5111, [(-5111, 8, 0.1322)]), (-5123, [(-5123, -16, 0.5283)]), (-5144, [(-5144, 16, 0.5272)]), (-5147, [(-5147, 40, 3.294)]), (-5156, [(-5156, 16, 0.5266)]), (-5159, [(-5159, 16, 1.053)]), (-5183, [(-5183, 0, 0)]), (-5192, [(-5192, -32, 4.198)]), (-5231, [(-5231, -32, 2.091)]), (-5255, [(-5255, -8, 0.1304)]), (-5279, [(-5279, -8, 0.1301)]), (-5288, [(-5288, -16, 0.5200)]), (-5291, [(-5291, 0, 0)]), (-5315, [(-5315, -56, 6.353)]), (-5348, [(-5348, 16, 0.5170)]), (-5363, [(-5363, 16, 0.5163)]), (-5387, [(-5387, -8, 0.1288)]), (-5396, [(-5396, -16, 0.5147)]), (-5411, [(-5411, 8, 0.1285)]), (-5423, [(-5423, -16, 1.027)]), (-5444, [(-5444, -16, 0.5125)]), (-5447, [(-5447, -48, 4.611)]), (-5480, [(-5480, 32, 2.043)]), (-5495, [(-5495, -32, 2.040)]), (-5507, [(-5507, 80, 12.74)]), (-5519, [(-5519, 0, 0)]), (-5528, [(-5528, 16, 0.5085)]), (-5540, [(-5540, 48, 4.572)]), (-5543, [(-5543, 0, 0)]), (-5555, [(-5555, 32, 4.058)]), (-5576, [(-5576, 0, 0)]), (-5579, [(-5579, 24, 1.139)]), (-5588, [(-5588, 16, 1.012)]), (-5627, [(-5627, -48, 4.536)]), (-5639, [(-5639, 8, 0.1259)]), (-5651, [(-5651, -8, 0.1257)]), (-5672, [(-5672, 16, 0.5020)]), (-5711, [(-5711, 16, 0.5003)]), (-5720, [(-5720, 16, 0.9999)]), (-5759, [(-5759, 16, 0.4982)]), (-5771, [(-5771, -16, 0.4977)]), (-5783, [(-5783, -40, 3.108)]), (-5807, [(-5807, 16, 0.4962)]), (-5816, [(-5816, 32, 1.983)]), (-5843, [(-5843, -8, 0.1237)]), (-5876, [(-5876, 16, 0.4933)]), (-5891, [(-5891, -8, 0.1232)]), (-5903, [(-5903, -32, 1.969)]), (-5924, [(-5924, -16, 0.4913)]), (-5939, [(-5939, -8, 0.1227)]), (-5951, [(-5951, -8, 0.2451)]), (-5972, [(-5972, 96, 17.61)]), (-6008, [(-6008, -80, 12.20)]), (-6023, [(-6023, -24, 1.096)]), (-6035, [(-6035, 0, 0)]), (-6047, [(-6047, -16, 0.4862)]), (-6056, [(-6056, 16, 0.4859)]), (-6068, [(-6068, 64, 7.766)]), (-6071, [(-6071, 32, 1.941)]), (-6083, [(-6083, 24, 2.182)]), (-6104, [(-6104, 16, 0.4840)]), (-6107, [(-6107, 16, 0.4838)]), (-6116, [(-6116, 0, 0)]), (-6155, [(-6155, -8, 0.1205)]), (-6167, [(-6167, -56, 5.898)]), (-6179, [(-6179, -16, 0.4810)]), (-6203, [(-6203, -96, 17.28)]), (-6212, [(-6212, -16, 0.4797)]), (-6215, [(-6215, -8, 0.2398)]), (-6239, [(-6239, 16, 0.4787)]), (-6248, [(-6248, 16, 0.9567)]), (-6287, [(-6287, 32, 1.907)]), (-6299, [(-6299, -8, 0.1191)]), (-6311, [(-6311, -16, 0.4759)]), (-6335, [(-6335, 0, 0)]), (-6344, [(-6344, 0, 0)]), (-6347, [(-6347, 0, 0)]), (-6371, [(-6371, -16, 0.4737)]), (-6404, [(-6404, -32, 1.890)]), (-6431, [(-6431, 0, 0)]), (-6443, [(-6443, -32, 1.884)]), (-6452, [(-6452, 16, 0.4707)]), (-6467, [(-6467, -16, 0.4702)]), (-6479, [(-6479, 0, 0)]), (-6503, [(-6503, -8, 0.1172)]), (-6536, [(-6536, 16, 0.4677)]), (-6551, [(-6551, -8, 0.1168)]), (-6563, [(-6563, 24, 1.050)]), (-6584, [(-6584, 0, 0)]), (-6596, [(-6596, 0, 0)]), (-6599, [(-6599, 8, 0.1164)]), (-6611, [(-6611, 8, 0.2325)]), (-6632, [(-6632, 16, 0.4643)]), (-6635, [(-6635, 24, 1.044)]), (-6644, [(-6644, -16, 0.9277)]), (-6683, [(-6683, 16, 0.4625)]), (-6695, [(-6695, 0, 0)]), (-6707, [(-6707, 72, 9.349)]), (-6731, [(-6731, -40, 2.880)]), (-6740, [(-6740, 0, 0)]), (-6743, [(-6743, 8, 0.2302)]), (-6767, [(-6767, 32, 1.839)]), (-6815, [(-6815, 0, 0)]), (-6827, [(-6827, 40, 2.860)]), (-6839, [(-6839, 8, 0.1143)]), (-6863, [(-6863, 16, 0.4564)]), (-6872, [(-6872, -32, 1.824)]), (-6899, [(-6899, -32, 1.821)]), (-6932, [(-6932, 32, 1.817)]), (-6947, [(-6947, -24, 1.021)]), (-6959, [(-6959, 8, 0.1133)]), (-6971, [(-6971, 8, 0.1132)]), (-6980, [(-6980, 16, 0.4526)]), (-6995, [(-6995, -24, 1.017)]), (-7028, [(-7028, -96, 16.24)]), (-7031, [(-7031, -8, 0.1127)]), (-7064, [(-7064, -16, 0.4499)]), (-7079, [(-7079, -16, 0.4494)]), (-7091, [(-7091, -24, 1.010)]), (-7103, [(-7103, 24, 1.009)]), (-7112, [(-7112, -16, 0.4483)]), (-7124, [(-7124, 16, 0.4480)]), (-7127, [(-7127, 48, 4.031)]), (-7160, [(-7160, 64, 7.149)]), (-7163, [(-7163, 32, 1.787)]), (-7172, [(-7172, -64, 14.29)]), (-7211, [(-7211, -24, 1.002)]), (-7223, [(-7223, 32, 1.780)]), (-7235, [(-7235, 24, 1.000)]), (-7256, [(-7256, 16, 0.4439)]), (-7259, [(-7259, 16, 0.4438)]), (-7268, [(-7268, -16, 0.4435)]), (-7271, [(-7271, 0, 0)]), (-7295, [(-7295, -8, 0.1107)]), (-7304, [(-7304, -16, 0.8848)]), (-7343, [(-7343, 24, 0.9928)]), (-7355, [(-7355, -24, 0.9920)]), (-7367, [(-7367, -24, 0.9912)]), (-7391, [(-7391, -8, 0.1100)]), (-7403, [(-7403, -8, 0.2197)]), (-7427, [(-7427, 56, 5.375)]), (-7460, [(-7460, -16, 0.4378)]), (-7487, [(-7487, 24, 0.9832)]), (-7499, [(-7499, 0, 0)]), (-7508, [(-7508, -64, 6.982)]), (-7523, [(-7523, 16, 0.4359)]), (-7535, [(-7535, -8, 0.2178)]), (-7556, [(-7556, -16, 0.4350)]), (-7559, [(-7559, 16, 0.4349)]), (-7592, [(-7592, -32, 1.736)]), (-7607, [(-7607, -72, 8.779)]), (-7619, [(-7619, -8, 0.1083)]), (-7631, [(-7631, 0, 0)]), (-7640, [(-7640, 16, 0.4326)]), (-7652, [(-7652, -48, 3.890)]), (-7655, [(-7655, -24, 0.9724)]), (-7667, [(-7667, -32, 3.455)]), (-7691, [(-7691, -32, 1.725)]), (-7739, [(-7739, 32, 1.719)]), (-7751, [(-7751, -16, 0.4295)]), (-7763, [(-7763, -40, 2.682)]), (-7784, [(-7784, -32, 1.714)]), (-7787, [(-7787, -48, 3.856)]), (-7796, [(-7796, 16, 0.4282)]), (-7799, [(-7799, -16, 0.8563)]), (-7823, [(-7823, 0, 0)]), (-7832, [(-7832, 16, 0.8545)]), (-7871, [(-7871, 32, 1.705)]), (-7883, [(-7883, 32, 1.703)]), (-7895, [(-7895, -8, 0.1064)]), (-7919, [(-7919, -16, 0.4249)]), (-7928, [(-7928, 48, 3.822)]), (-7931, [(-7931, 16, 0.8491)]), (-7955, [(-7955, 16, 0.4239)]), (-7988, [(-7988, 64, 6.769)]), (-8003, [(-8003, 40, 2.642)]), (-8015, [(-8015, -48, 3.801)]), (-8027, [(-8027, 80, 10.55)]), (-8051, [(-8051, 32, 1.686)]), (-8063, [(-8063, -8, 0.2105)]), (-8084, [(-8084, -48, 3.785)]), (-8087, [(-8087, 8, 0.1051)]), (-8120, [(-8120, -64, 6.714)]), (-8135, [(-8135, 8, 0.1048)]), (-8147, [(-8147, 24, 0.9425)]), (-8159, [(-8159, 16, 0.4186)]), (-8168, [(-8168, 16, 0.4184)]), (-8180, [(-8180, -32, 1.672)]), (-8195, [(-8195, -16, 0.8354)]), (-8216, [(-8216, 16, 0.4171)]), (-8219, [(-8219, 32, 1.668)]), (-8267, [(-8267, 72, 8.421)]), (-8279, [(-8279, 0, 0)]), (-8291, [(-8291, -8, 0.1038)]), (-8312, [(-8312, -64, 6.636)]), (-8315, [(-8315, -24, 0.9330)]), (-8324, [(-8324, 0, 0)]), (-8327, [(-8327, 40, 5.179)]), (-8351, [(-8351, -8, 0.1034)]), (-8360, [(-8360, 32, 3.308)]), (-8399, [(-8399, 16, 0.4126)]), (-8411, [(-8411, 16, 0.4123)]), (-8423, [(-8423, -40, 2.575)]), (-8447, [(-8447, -16, 0.4114)]), (-8456, [(-8456, -48, 3.701)]), (-8459, [(-8459, 8, 0.2056)]), (-8483, [(-8483, -48, 3.695)]), (-8516, [(-8516, 64, 6.556)]), (-8531, [(-8531, -24, 0.9211)]), (-8543, [(-8543, -24, 0.9204)]), (-8555, [(-8555, -16, 0.4088)]), (-8564, [(-8564, -16, 0.4086)]), (-8579, [(-8579, -16, 0.4082)]), (-8612, [(-8612, -16, 0.4074)]), (-8615, [(-8615, -8, 0.1018)]), (-8648, [(-8648, 32, 1.626)]), (-8663, [(-8663, 56, 4.976)]), (-8687, [(-8687, 16, 0.4057)]), (-8696, [(-8696, -16, 0.4055)]), (-8708, [(-8708, 80, 10.13)]), (-8711, [(-8711, 0, 0)]), (-8723, [(-8723, -32, 3.239)]), (-8744, [(-8744, 16, 0.4044)]), (-8747, [(-8747, -120, 22.74)]), (-8756, [(-8756, -16, 0.8081)]), (-8795, [(-8795, -8, 0.1008)]), (-8807, [(-8807, -24, 0.9065)]), (-8819, [(-8819, 16, 0.4026)]), (-8840, [(-8840, -32, 1.609)]), (-8843, [(-8843, 48, 3.619)]), (-8852, [(-8852, -64, 6.430)]), (-8855, [(-8855, 0, 0)]), (-8879, [(-8879, 0, 0)]), (-8888, [(-8888, -16, 0.8021)]), (-8927, [(-8927, -56, 4.902)]), (-8939, [(-8939, 40, 2.499)]), (-8951, [(-8951, 24, 0.8992)]), (-8984, [(-8984, 16, 0.3989)]), (-8987, [(-8987, -8, 0.1994)]), (-9011, [(-9011, 16, 0.3983)]), (-9044, [(-9044, 0, 0)]), (-9059, [(-9059, 16, 0.3973)]), (-9071, [(-9071, 0, 0)]), (-9083, [(-9083, -64, 6.348)]), (-9092, [(-9092, -16, 0.3965)]), (-9107, [(-9107, 8, 0.09905)]), (-9119, [(-9119, 0, 0)]), (-9140, [(-9140, 32, 1.582)]), (-9143, [(-9143, 16, 0.3954)]), (-9176, [(-9176, 0, 0)]), (-9191, [(-9191, 0, 0)]), (-9203, [(-9203, 16, 0.3941)]), (-9215, [(-9215, 0, 0)]), (-9224, [(-9224, -16, 0.3937)]), (-9236, [(-9236, 32, 1.574)]), (-9239, [(-9239, 24, 0.8851)]), (-9272, [(-9272, -16, 0.3927)]), (-9284, [(-9284, 32, 3.139)]), (-9323, [(-9323, 24, 0.8811)]), (-9335, [(-9335, 40, 2.446)]), (-9347, [(-9347, -32, 1.564)]), (-9368, [(-9368, 64, 6.250)]), (-9371, [(-9371, -16, 0.3906)]), (-9380, [(-9380, 0, 0)]), (-9383, [(-9383, -24, 1.757)]), (-9407, [(-9407, 0, 0)]), (-9416, [(-9416, 16, 0.7793)]), (-9455, [(-9455, -16, 0.3889)]), (-9467, [(-9467, 40, 2.429)]), (-9479, [(-9479, 16, 0.3884)]), (-9503, [(-9503, -32, 1.551)]), (-9512, [(-9512, 64, 6.203)]), (-9515, [(-9515, -16, 0.7752)]), (-9539, [(-9539, 0, 0)]), (-9572, [(-9572, -32, 1.546)]), (-9587, [(-9587, -56, 4.730)]), (-9599, [(-9599, 0, 0)]), (-9611, [(-9611, 24, 0.8678)]), (-9620, [(-9620, 0, 0)]), (-9635, [(-9635, 0, 0)]), (-9647, [(-9647, -40, 4.812)]), (-9668, [(-9668, 0, 0)]), (-9671, [(-9671, -8, 0.09612)]), (-9704, [(-9704, -16, 0.3838)]), (-9719, [(-9719, 0, 0)]), (-9731, [(-9731, -16, 0.3833)]), (-9743, [(-9743, -40, 2.394)]), (-9752, [(-9752, 16, 0.3829)]), (-9764, [(-9764, 16, 0.3826)]), (-9767, [(-9767, 16, 0.3826)]), (-9779, [(-9779, -8, 0.1912)]), (-9803, [(-9803, 48, 3.437)]), (-9812, [(-9812, 48, 6.871)]), (-9851, [(-9851, 32, 1.524)]), (-9863, [(-9863, 40, 2.380)]), (-9896, [(-9896, -16, 0.3801)]), (-9899, [(-9899, 24, 0.8551)]), (-9908, [(-9908, -16, 0.3799)]), (-9911, [(-9911, 16, 0.7596)]), (-9935, [(-9935, 24, 0.8535)]), (-9944, [(-9944, -16, 0.7583)]), (-9983, [(-9983, 0, 0)]), (-9995, [(-9995, -24, 0.8509)])]]

# map: (1 |-> 1.0) -> 1, Fractional ideal (3) -> -1, Fractional ideal (11) -> -1
[-7, 9/2 + (-39/2)*i + 1/2*j + 3/2*k, [(8, [(8, 4, 3.181)]), (17, [(17, -4, 2.182)]), (29, [(29, -4, 1.671)]), (41, [(41, -4, 1.405)]), (65, [(65, 0, 0)]), (101, [(101, 4, 0.8953)]), (140, [(140, -8, 3.042)]), (149, [(149, 4, 0.7371)]), (161, [(161, 0, 0)]), (173, [(173, 12, 6.156)]), (197, [(197, -4, 0.6410)]), (233, [(233, -4, 0.5894)]), (248, [(248, -8, 2.285)]), (281, [(281, 4, 0.5367)]), (293, [(293, 20, 13.14)]), (296, [(296, 0, 0)]), (305, [(305, 0, 0)]), (329, [(329, 0, 0)]), (332, [(332, -8, 1.975)]), (365, [(365, 0, 0)]), (380, [(380, 8, 1.846)]), (413, [(413, 8, 1.771)]), (428, [(428, -8, 1.740)]), (437, [(437, -16, 6.886)]), (461, [(461, 12, 3.771)]), (497, [(497, -8, 1.614)]), (524, [(524, 0, 0)]), (536, [(536, 0, 0)]), (545, [(545, -8, 1.542)]), (557, [(557, -12, 3.431)]), (569, [(569, -4, 0.3772)]), (593, [(593, 12, 3.325)]), (629, [(629, 0, 0)]), (668, [(668, 24, 12.53)]), (677, [(677, -12, 3.112)]), (689, [(689, 8, 1.371)]), (701, [(701, 4, 0.3398)]), (728, [(728, 16, 5.335)]), (761, [(761, 4, 0.3261)]), (776, [(776, 0, 0)]), (809, [(809, -4, 0.3163)]), (821, [(821, -4, 0.3140)]), (824, [(824, -8, 1.254)]), (857, [(857, -12, 2.766)]), (860, [(860, -8, 1.227)]), (893, [(893, -8, 1.204)]), (908, [(908, -24, 10.75)]), (920, [(920, -16, 4.746)]), (941, [(941, -4, 0.2933)]), (953, [(953, 12, 2.623)]), (956, [(956, -8, 1.164)]), (965, [(965, 8, 1.159)]), (989, [(989, 0, 0)]), (1052, [(1052, -8, 1.110)]), (1064, [(1064, -8, 1.103)]), (1073, [(1073, 16, 4.395)]), (1085, [(1085, -16, 4.370)]), (1097, [(1097, 12, 2.445)]), (1121, [(1121, -8, 1.075)]), (1157, [(1157, 16, 4.232)]), (1196, [(1196, 0, 0)]), (1205, [(1205, 8, 1.037)]), (1217, [(1217, -4, 0.2579)]), (1229, [(1229, 4, 0.2566)]), (1253, [(1253, 24, 9.150)]), (1256, [(1256, -8, 1.015)]), (1289, [(1289, 4, 0.2506)]), (1304, [(1304, 0, 0)]), (1337, [(1337, 8, 0.9842)]), (1349, [(1349, 0, 0)]), (1361, [(1361, -4, 0.2439)]), (1385, [(1385, 0, 0)]), (1388, [(1388, 8, 0.9660)]), (1436, [(1436, 0, 0)]), (1448, [(1448, 0, 0)]), (1469, [(1469, -8, 0.9390)]), (1481, [(1481, 4, 0.2338)]), (1484, [(1484, -8, 0.9342)]), (1493, [(1493, -20, 5.821)]), (1517, [(1517, 8, 0.9240)]), (1553, [(1553, -4, 0.2283)]), (1580, [(1580, 24, 8.149)]), (1592, [(1592, 24, 8.118)]), (1601, [(1601, -4, 0.2249)]), (1613, [(1613, 28, 10.98)]), (1649, [(1649, -8, 0.8862)]), (1685, [(1685, -16, 3.507)]), (1724, [(1724, 8, 0.8668)]), (1733, [(1733, -20, 5.403)]), (1745, [(1745, 0, 0)]), (1757, [(1757, -16, 3.434)]), (1781, [(1781, -16, 3.411)]), (1784, [(1784, -8, 0.8521)]), (1817, [(1817, -16, 3.377)]), (1832, [(1832, 24, 7.567)]), (1865, [(1865, 8, 0.8334)]), (1877, [(1877, -20, 5.192)]), (1880, [(1880, -16, 3.320)]), (1889, [(1889, 4, 0.2070)]), (1913, [(1913, 20, 5.143)]), (1916, [(1916, 8, 0.8222)]), (1949, [(1949, -12, 1.834)]), (1964, [(1964, 8, 0.8121)]), (1976, [(1976, 0, 0)]), (1997, [(1997, 4, 0.2013)]), (2012, [(2012, 24, 7.221)]), (2021, [(2021, 8, 0.8006)]), (2045, [(2045, -8, 0.7958)]), (2081, [(2081, -4, 0.1972)]), (2108, [(2108, 0, 0)]), (2120, [(2120, 8, 0.7816)]), (2129, [(2129, 4, 0.1950)]), (2141, [(2141, 4, 0.1944)]), (2153, [(2153, 4, 0.1939)]), (2177, [(2177, 8, 0.7713)]), (2213, [(2213, -4, 0.1913)]), (2252, [(2252, -32, 12.13)]), (2261, [(2261, 8, 0.7569)]), (2273, [(2273, -12, 1.698)]), (2285, [(2285, -16, 3.012)]), (2309, [(2309, 12, 1.685)]), (2345, [(2345, 16, 2.973)]), (2360, [(2360, -16, 2.963)]), (2393, [(2393, -20, 4.598)]), (2405, [(2405, 16, 2.935)]), (2408, [(2408, 8, 0.7334)]), (2417, [(2417, 12, 1.647)]), (2441, [(2441, -4, 0.1821)]), (2444, [(2444, 0, 0)]), (2477, [(2477, 36, 14.64)]), (2492, [(2492, -8, 0.7209)]), (2504, [(2504, 8, 0.7192)]), (2537, [(2537, 16, 2.858)]), (2540, [(2540, -8, 0.7141)]), (2549, [(2549, 12, 1.604)]), (2573, [(2573, -16, 2.838)]), (2609, [(2609, 4, 0.1761)]), (2636, [(2636, 0, 0)]), (2648, [(2648, -16, 2.797)]), (2657, [(2657, 12, 1.571)]), (2669, [(2669, 0, 0)]), (2681, [(2681, 8, 0.6951)]), (2705, [(2705, -8, 0.6920)]), (2741, [(2741, -4, 0.1719)]), (2780, [(2780, 8, 0.6826)]), (2789, [(2789, 4, 0.1704)]), (2801, [(2801, 4, 0.1700)]), (2813, [(2813, 8, 0.6786)]), (2837, [(2837, -4, 0.1689)]), (2840, [(2840, -16, 2.701)]), (2921, [(2921, -8, 0.6659)]), (2933, [(2933, -32, 10.63)]), (2936, [(2936, -8, 0.6642)]), (2945, [(2945, -16, 2.653)]), (2969, [(2969, 4, 0.1651)]), (2972, [(2972, -16, 2.641)]), (3005, [(3005, 16, 2.626)]), (3020, [(3020, 8, 0.6549)]), (3032, [(3032, 0, 0)]), (3053, [(3053, -32, 10.42)]), (3065, [(3065, -8, 0.6501)]), (3068, [(3068, 16, 2.599)]), (3077, [(3077, 32, 10.38)]), (3101, [(3101, 0, 0)]), (3137, [(3137, -20, 4.016)]), (3164, [(3164, -24, 5.758)]), (3176, [(3176, -16, 2.554)]), (3197, [(3197, 8, 0.6365)]), (3209, [(3209, -12, 1.429)]), (3233, [(3233, -24, 5.696)]), (3269, [(3269, 8, 0.6294)]), (3308, [(3308, 24, 5.631)]), (3317, [(3317, 24, 5.624)]), (3329, [(3329, -4, 0.1559)]), (3341, [(3341, -8, 0.6226)]), (3365, [(3365, 24, 5.584)]), (3368, [(3368, 16, 2.481)]), (3401, [(3401, 0, 0)]), (3416, [(3416, 16, 2.463)]), (3449, [(3449, -4, 0.1532)]), (3461, [(3461, -12, 1.376)]), (3464, [(3464, 8, 0.6115)]), (3473, [(3473, -24, 5.496)]), (3497, [(3497, 8, 0.6086)]), (3533, [(3533, -12, 1.362)]), (3548, [(3548, 16, 2.417)]), (3560, [(3560, -8, 0.6032)]), (3581, [(3581, -4, 0.1504)]), (3593, [(3593, -12, 1.351)]), (3596, [(3596, 0, 0)]), (3605, [(3605, 16, 2.398)]), (3629, [(3629, -8, 0.5974)]), (3665, [(3665, -16, 2.378)]), (3692, [(3692, 16, 2.369)]), (3704, [(3704, -8, 0.5913)]), (3713, [(3713, -16, 2.362)]), (3737, [(3737, -24, 5.298)]), (3761, [(3761, 12, 1.320)]), (3797, [(3797, -12, 1.314)]), (3836, [(3836, -8, 0.5811)]), (3845, [(3845, -16, 2.322)]), (3857, [(3857, 8, 0.5795)]), (3869, [(3869, -16, 2.314)]), (3893, [(3893, 16, 2.307)]), (3896, [(3896, 8, 0.5766)]), (3929, [(3929, -12, 1.292)]), (3944, [(3944, 16, 2.292)]), (3977, [(3977, -8, 0.5707)]), (3989, [(3989, 4, 0.1425)]), (3992, [(3992, 32, 9.114)]), (4001, [(4001, 4, 0.1422)]), (4028, [(4028, -40, 14.18)]), (4061, [(4061, 8, 0.5648)]), (4076, [(4076, 16, 2.255)]), (4088, [(4088, 32, 9.006)]), (4109, [(4109, 8, 0.5614)]), (4121, [(4121, 0, 0)]), (4124, [(4124, 0, 0)]), (4133, [(4133, 4, 0.1400)]), (4157, [(4157, -28, 6.838)]), (4193, [(4193, 16, 2.223)]), (4220, [(4220, -24, 4.986)]), (4241, [(4241, -4, 0.1382)]), (4253, [(4253, 12, 1.242)]), (4265, [(4265, 8, 0.5511)]), (4289, [(4289, 4, 0.1374)]), (4364, [(4364, -16, 2.179)]), (4373, [(4373, 36, 11.02)]), (4385, [(4385, -8, 0.5435)]), (4397, [(4397, 12, 1.221)]), (4421, [(4421, 4, 0.1353)]), (4424, [(4424, 8, 0.5411)]), (4457, [(4457, -12, 1.213)]), (4472, [(4472, -16, 2.153)]), (4505, [(4505, 8, 0.5362)]), (4517, [(4517, 12, 1.205)]), (4520, [(4520, 8, 0.5353)]), (4529, [(4529, 8, 0.5348)]), (4553, [(4553, -8, 0.5334)]), (4556, [(4556, -16, 2.133)]), (4589, [(4589, 16, 2.125)]), (4604, [(4604, -8, 0.5304)]), (4616, [(4616, -16, 2.119)]), (4637, [(4637, 12, 1.189)]), (4649, [(4649, 4, 0.1320)]), (4652, [(4652, -24, 4.749)]), (4661, [(4661, -8, 0.5271)]), (4685, [(4685, 8, 0.5258)]), (4721, [(4721, 4, 0.1309)]), (4748, [(4748, 16, 2.089)]), (4760, [(4760, -16, 2.087)]), (4769, [(4769, 8, 0.5211)]), (4781, [(4781, 8, 0.5205)]), (4793, [(4793, 20, 3.249)]), (4817, [(4817, 12, 1.167)]), (4853, [(4853, 24, 4.649)]), (4892, [(4892, -32, 8.233)]), (4952, [(4952, 16, 2.046)]), (4985, [(4985, -8, 0.5097)]), (5033, [(5033, 0, 0)]), (5045, [(5045, 8, 0.5067)]), (5048, [(5048, 24, 4.559)]), (5057, [(5057, 8, 0.5061)]), (5081, [(5081, 12, 1.136)]), (5084, [(5084, 16, 2.019)]), (5117, [(5117, 24, 4.528)]), (5132, [(5132, -32, 8.038)]), (5144, [(5144, 0, 0)]), (5165, [(5165, 0, 0)]), (5177, [(5177, 16, 2.001)]), (5180, [(5180, 0, 0)]), (5189, [(5189, -12, 1.124)]), (5213, [(5213, -16, 1.994)]), (5249, [(5249, 8, 0.4967)]), (5276, [(5276, -16, 1.982)]), (5288, [(5288, -8, 0.4949)]), (5297, [(5297, 4, 0.1236)]), (5309, [(5309, -4, 0.1235)]), (5321, [(5321, 0, 0)]), (5345, [(5345, 16, 1.969)]), (5381, [(5381, 12, 1.104)]), (5420, [(5420, -8, 0.4888)]), (5429, [(5429, -8, 0.4884)]), (5441, [(5441, -4, 0.1220)]), (5453, [(5453, 8, 0.4874)]), (5477, [(5477, -4, 0.1216)]), (5480, [(5480, 24, 4.375)]), (5513, [(5513, 8, 0.4847)]), (5528, [(5528, 48, 17.43)]), (5561, [(5561, 8, 0.4826)]), (5573, [(5573, -28, 5.906)]), (5576, [(5576, 0, 0)]), (5585, [(5585, 0, 0)]), (5609, [(5609, 0, 0)]), (5612, [(5612, 32, 7.687)]), (5645, [(5645, -24, 4.311)]), (5660, [(5660, -8, 0.4784)]), (5672, [(5672, -24, 4.301)]), (5693, [(5693, -20, 2.981)]), (5705, [(5705, 0, 0)]), (5708, [(5708, 0, 0)]), (5717, [(5717, 12, 1.071)]), (5741, [(5741, 4, 0.1187)]), (5777, [(5777, 0, 0)]), (5804, [(5804, 8, 0.4724)]), (5816, [(5816, 24, 4.247)]), (5837, [(5837, -16, 1.884)]), (5849, [(5849, 4, 0.1176)]), (5873, [(5873, -24, 4.227)]), (5909, [(5909, 0, 0)]), (5948, [(5948, 32, 7.466)]), (5957, [(5957, -48, 16.79)]), (5969, [(5969, -8, 0.4658)]), (5981, [(5981, -4, 0.1163)]), (6005, [(6005, 0, 0)]), (6008, [(6008, -8, 0.4643)]), (6041, [(6041, 0, 0)]), (6056, [(6056, -16, 1.850)]), (6089, [(6089, 4, 0.1153)]), (6101, [(6101, 4, 0.1152)]), (6104, [(6104, 0, 0)]), (6113, [(6113, 4, 0.1151)]), (6140, [(6140, 24, 4.134)]), (6173, [(6173, -20, 2.863)]), (6188, [(6188, 48, 16.47)]), (6221, [(6221, -4, 0.1141)]), (6233, [(6233, -24, 4.103)]), (6236, [(6236, 0, 0)]), (6245, [(6245, -8, 0.4554)]), (6269, [(6269, -4, 0.1136)]), (6305, [(6305, 0, 0)]), (6332, [(6332, 0, 0)]), (6344, [(6344, 16, 1.807)]), (6353, [(6353, -12, 1.016)]), (6365, [(6365, 0, 0)]), (6377, [(6377, -40, 11.27)]), (6401, [(6401, 8, 0.4498)]), (6437, [(6437, -24, 4.037)]), (6476, [(6476, -8, 0.4472)]), (6485, [(6485, -24, 4.022)]), (6497, [(6497, 24, 4.018)]), (6509, [(6509, 0, 0)]), (6533, [(6533, -8, 0.4453)]), (6536, [(6536, 8, 0.4452)]), (6569, [(6569, -12, 0.9991)]), (6584, [(6584, 8, 0.4435)]), (6617, [(6617, 16, 1.770)]), (6629, [(6629, 8, 0.4420)]), (6632, [(6632, -40, 11.05)]), (6641, [(6641, -8, 0.4416)]), (6665, [(6665, -16, 1.763)]), (6668, [(6668, 32, 7.052)]), (6701, [(6701, 12, 0.9892)]), (6716, [(6716, 0, 0)]), (6749, [(6749, 0, 0)]), (6761, [(6761, -4, 0.1094)]), (6764, [(6764, 8, 0.4376)]), (6773, [(6773, -8, 0.4373)]), (6797, [(6797, 40, 10.91)]), (6833, [(6833, 28, 5.333)]), (6872, [(6872, -16, 1.737)]), (6881, [(6881, 8, 0.4339)]), (6893, [(6893, -32, 6.936)]), (6905, [(6905, 24, 3.898)]), (6965, [(6965, 0, 0)]), (7004, [(7004, 0, 0)]), (7013, [(7013, 44, 13.00)]), (7037, [(7037, 8, 0.4290)]), (7061, [(7061, -8, 0.4283)]), (7064, [(7064, -16, 1.713)]), (7097, [(7097, 24, 3.845)]), (7112, [(7112, -8, 0.4267)]), (7145, [(7145, 0, 0)]), (7157, [(7157, -8, 0.4254)]), (7160, [(7160, 16, 1.701)]), (7169, [(7169, 8, 0.4250)]), (7193, [(7193, -4, 0.1061)]), (7196, [(7196, -8, 0.4243)]), (7229, [(7229, -12, 0.9524)]), (7244, [(7244, 0, 0)]), (7256, [(7256, 0, 0)]), (7277, [(7277, -8, 0.4219)]), (7289, [(7289, -8, 0.4215)]), (7292, [(7292, 56, 20.65)]), (7361, [(7361, -8, 0.4195)]), (7388, [(7388, 0, 0)]), (7409, [(7409, 0, 0)]), (7421, [(7421, 0, 0)]), (7433, [(7433, 12, 0.9392)]), (7457, [(7457, 20, 2.605)]), (7493, [(7493, 40, 10.39)]), (7532, [(7532, 8, 0.4147)]), (7541, [(7541, -4, 0.1036)]), (7553, [(7553, 32, 6.626)]), (7565, [(7565, -24, 3.724)]), (7589, [(7589, -4, 0.1033)]), (7592, [(7592, -16, 1.652)]), (7640, [(7640, 0, 0)]), (7673, [(7673, 12, 0.9244)]), (7685, [(7685, 8, 0.4105)]), (7697, [(7697, 16, 1.641)]), (7721, [(7721, -8, 0.4096)]), (7724, [(7724, -16, 1.638)]), (7757, [(7757, -28, 5.006)]), (7772, [(7772, 0, 0)]), (7784, [(7784, -24, 3.671)]), (7805, [(7805, 32, 6.518)]), (7817, [(7817, 28, 4.986)]), (7820, [(7820, 16, 1.628)]), (7829, [(7829, 12, 0.9152)]), (7853, [(7853, -36, 8.224)]), (7916, [(7916, 24, 3.640)]), (7928, [(7928, -24, 3.638)]), (7937, [(7937, 36, 8.180)]), (7949, [(7949, -4, 0.1009)]), (7961, [(7961, 8, 0.4034)]), (7985, [(7985, 0, 0)]), (8021, [(8021, -16, 1.607)]), (8060, [(8060, -16, 1.603)]), (8069, [(8069, -12, 0.9015)]), (8081, [(8081, -12, 0.9008)]), (8093, [(8093, 28, 4.901)]), (8117, [(8117, -12, 0.8988)]), (8120, [(8120, -16, 1.598)]), (8153, [(8153, 16, 1.594)]), (8168, [(8168, 16, 1.593)]), (8201, [(8201, 8, 0.3974)]), (8213, [(8213, 32, 6.354)]), (8216, [(8216, -16, 1.588)]), (8249, [(8249, 0, 0)]), (8252, [(8252, -8, 0.3962)]), (8285, [(8285, -8, 0.3954)]), (8312, [(8312, 56, 19.34)]), (8333, [(8333, 24, 3.548)]), (8345, [(8345, 8, 0.3940)]), (8348, [(8348, 8, 0.3939)]), (8357, [(8357, -32, 6.299)]), (8417, [(8417, -16, 1.569)]), (8444, [(8444, 0, 0)]), (8456, [(8456, -8, 0.3914)]), (8465, [(8465, -24, 3.520)]), (8489, [(8489, 8, 0.3906)]), (8513, [(8513, -12, 0.8776)]), (8549, [(8549, -8, 0.3892)]), (8588, [(8588, -8, 0.3883)]), (8597, [(8597, -20, 2.426)]), (8609, [(8609, 4, 0.09697)]), (8621, [(8621, 8, 0.3876)]), (8645, [(8645, -32, 6.193)]), (8648, [(8648, 32, 6.192)]), (8681, [(8681, -4, 0.09657)]), (8696, [(8696, 8, 0.3859)]), (8729, [(8729, -8, 0.3852)]), (8741, [(8741, 4, 0.09623)]), (8744, [(8744, -16, 1.539)]), (8753, [(8753, 12, 0.8655)]), (8777, [(8777, 40, 9.604)]), (8780, [(8780, -8, 0.3841)]), (8813, [(8813, -32, 6.134)]), (8828, [(8828, 24, 3.447)]), (8840, [(8840, 16, 1.531)]), (8861, [(8861, -20, 2.390)]), (8873, [(8873, -32, 6.113)]), (8876, [(8876, 8, 0.3820)]), (8885, [(8885, -16, 1.527)]), (8909, [(8909, 0, 0)]), (8945, [(8945, 0, 0)]), (8972, [(8972, -8, 0.3799)]), (8984, [(8984, 0, 0)]), (9005, [(9005, 0, 0)]), (9017, [(9017, -24, 3.411)]), (9041, [(9041, -4, 0.09462)]), (9077, [(9077, 24, 3.400)]), (9116, [(9116, 24, 3.392)]), (9137, [(9137, -28, 4.612)]), (9149, [(9149, 8, 0.3763)]), (9173, [(9173, 20, 2.349)]), (9176, [(9176, 0, 0)]), (9209, [(9209, -4, 0.09376)]), (9224, [(9224, 8, 0.3747)]), (9257, [(9257, 4, 0.09351)]), (9269, [(9269, 16, 1.495)]), (9272, [(9272, 32, 5.980)]), (9281, [(9281, 12, 0.8405)]), (9305, [(9305, 0, 0)]), (9308, [(9308, 16, 1.492)]), (9341, [(9341, 4, 0.09309)]), (9356, [(9356, 8, 0.3721)]), (9368, [(9368, -16, 1.487)]), (9389, [(9389, 8, 0.3714)]), (9401, [(9401, -8, 0.3712)]), (9404, [(9404, -32, 5.938)]), (9413, [(9413, -44, 11.22)]), (9437, [(9437, 20, 2.315)]), (9473, [(9473, -20, 2.311)]), (9512, [(9512, 0, 0)]), (9521, [(9521, 4, 0.09221)]), (9533, [(9533, -52, 15.57)]), (9545, [(9545, 0, 0)]), (9569, [(9569, 8, 0.3679)]), (9605, [(9605, 24, 3.305)]), (9644, [(9644, 8, 0.3665)]), (9665, [(9665, -8, 0.3661)]), (9677, [(9677, 20, 2.287)]), (9701, [(9701, 8, 0.3654)]), (9704, [(9704, 0, 0)]), (9737, [(9737, 0, 0)]), (9752, [(9752, 16, 1.458)]), (9785, [(9785, -16, 1.455)]), (9797, [(9797, -16, 1.454)]), (9809, [(9809, 0, 0)]), (9833, [(9833, -12, 0.8166)]), (9836, [(9836, -8, 0.3629)]), (9869, [(9869, 8, 0.3623)]), (9884, [(9884, 8, 0.3620)]), (9896, [(9896, -16, 1.447)]), (9917, [(9917, -40, 9.035)]), (9929, [(9929, -4, 0.09029)]), (9932, [(9932, -16, 1.444)]), (9941, [(9941, -4, 0.09024)]), (9965, [(9965, 8, 0.3605)])]]

# map: (1 |-> 1.0) -> 1, Fractional ideal (3) -> 1, Fractional ideal (11) -> -1
[-83, -7/2 + (-16)*i - j + (-1/2)*k, [(13, [(13, 16, 4.990)]), (28, [(28, 16, 3.400)]), (40, [(40, 16, 2.845)]), (61, [(61, 0, 0)]), (73, [(73, 16, 2.106)]), (76, [(76, 16, 2.064)]), (85, [(85, -16, 1.951)]), (109, [(109, 16, 1.723)]), (145, [(145, -16, 1.494)]), (172, [(172, -16, 1.372)]), (184, [(184, 0, 0)]), (193, [(193, 32, 5.180)]), (205, [(205, -16, 1.257)]), (217, [(217, 32, 4.885)]), (241, [(241, -16, 1.159)]), (277, [(277, -16, 1.081)]), (316, [(316, -16, 1.012)]), (337, [(337, -16, 0.9801)]), (349, [(349, 0, 0)]), (373, [(373, -32, 3.726)]), (376, [(376, -32, 3.711)]), (409, [(409, -16, 0.8896)]), (424, [(424, 16, 0.8737)]), (457, [(457, -16, 0.8416)]), (469, [(469, 0, 0)]), (472, [(472, 32, 3.313)]), (481, [(481, 0, 0)]), (505, [(505, 16, 0.8006)]), (508, [(508, -48, 7.184)]), (541, [(541, 16, 0.7735)]), (556, [(556, 16, 0.7630)]), (568, [(568, -32, 3.020)]), (589, [(589, 0, 0)]), (601, [(601, 0, 0)]), (604, [(604, -16, 0.7321)]), (613, [(613, -32, 2.907)]), (673, [(673, 32, 2.774)]), (712, [(712, -16, 0.6743)]), (721, [(721, 0, 0)]), (733, [(733, -16, 0.6645)]), (745, [(745, -16, 0.6592)]), (769, [(769, 0, 0)]), (805, [(805, 0, 0)]), (844, [(844, -16, 0.6193)]), (853, [(853, 64, 9.856)]), (865, [(865, 16, 0.6117)]), (877, [(877, 32, 2.430)]), (901, [(901, 16, 0.5994)]), (904, [(904, 16, 0.5984)]), (937, [(937, 0, 0)]), (952, [(952, 0, 0)]), (985, [(985, -16, 0.5733)]), (997, [(997, 64, 9.117)]), (1009, [(1009, -16, 0.5664)]), (1033, [(1033, 16, 0.5598)]), (1036, [(1036, 32, 2.236)]), (1069, [(1069, 0, 0)]), (1084, [(1084, -16, 0.5465)]), (1096, [(1096, -16, 0.5435)]), (1117, [(1117, 48, 4.845)]), (1129, [(1129, 16, 0.5355)]), (1132, [(1132, 48, 4.813)]), (1141, [(1141, 32, 2.131)]), (1165, [(1165, 16, 0.5271)]), (1201, [(1201, 0, 0)]), (1228, [(1228, -80, 12.84)]), (1240, [(1240, -32, 2.044)]), (1249, [(1249, -16, 0.5091)]), (1261, [(1261, 0, 0)]), (1273, [(1273, -32, 2.017)]), (1297, [(1297, -32, 1.998)]), (1333, [(1333, 0, 0)]), (1381, [(1381, -16, 0.4841)]), (1393, [(1393, -32, 1.928)]), (1405, [(1405, 48, 4.320)]), (1429, [(1429, -32, 1.904)]), (1432, [(1432, -64, 7.607)]), (1465, [(1465, 16, 0.4701)]), (1480, [(1480, 32, 1.871)]), (1513, [(1513, 16, 0.4625)]), (1528, [(1528, -64, 7.364)]), (1537, [(1537, -16, 0.4589)]), (1561, [(1561, 0, 0)]), (1564, [(1564, -32, 1.820)]), (1597, [(1597, -48, 4.052)]), (1612, [(1612, -32, 1.792)]), (1624, [(1624, 0, 0)]), (1645, [(1645, -64, 7.098)]), (1657, [(1657, -64, 7.072)]), (1660, [(1660, 0, 0)]), (1669, [(1669, 16, 0.4404)]), (1693, [(1693, -64, 6.996)]), (1729, [(1729, 32, 1.731)]), (1756, [(1756, 16, 0.4293)]), (1768, [(1768, -32, 1.712)]), (1777, [(1777, -80, 10.67)]), (1789, [(1789, -32, 1.701)]), (1801, [(1801, -32, 1.696)]), (1861, [(1861, -32, 1.668)]), (1909, [(1909, 32, 1.647)]), (1921, [(1921, 16, 0.4105)]), (1933, [(1933, -32, 1.637)]), (1957, [(1957, 64, 6.507)]), (1993, [(1993, 32, 1.612)]), (2008, [(2008, -32, 1.606)]), (2041, [(2041, 0, 0)]), (2053, [(2053, -32, 1.588)]), (2056, [(2056, -48, 3.571)]), (2065, [(2065, 32, 1.584)]), (2089, [(2089, -16, 0.3936)]), (2092, [(2092, -16, 0.3934)]), (2140, [(2140, 0, 0)]), (2152, [(2152, 16, 0.3878)]), (2173, [(2173, 16, 0.3860)]), (2185, [(2185, 0, 0)]), (2188, [(2188, 80, 9.616)]), (2221, [(2221, -16, 0.3818)]), (2257, [(2257, -64, 6.059)]), (2284, [(2284, -16, 0.3765)]), (2296, [(2296, 0, 0)]), (2305, [(2305, 16, 0.3747)]), (2317, [(2317, 64, 5.980)]), (2329, [(2329, 16, 0.3728)]), (2353, [(2353, 32, 1.484)]), (2389, [(2389, 32, 1.472)]), (2428, [(2428, -80, 9.128)]), (2437, [(2437, 0, 0)]), (2449, [(2449, 0, 0)]), (2461, [(2461, -32, 1.451)]), (2485, [(2485, -32, 1.444)]), (2488, [(2488, 96, 12.99)]), (2521, [(2521, 0, 0)]), (2536, [(2536, -16, 0.3573)]), (2569, [(2569, 32, 1.420)]), (2581, [(2581, -16, 0.3541)]), (2584, [(2584, 32, 1.416)]), (2593, [(2593, 0, 0)]), (2617, [(2617, -48, 3.165)]), (2620, [(2620, 0, 0)]), (2653, [(2653, 64, 5.589)]), (2668, [(2668, 64, 5.573)]), (2680, [(2680, 0, 0)]), (2701, [(2701, 32, 1.385)]), (2713, [(2713, 16, 0.3454)]), (2716, [(2716, -32, 1.381)]), (2749, [(2749, 0, 0)]), (2785, [(2785, 16, 0.3409)]), (2812, [(2812, 64, 5.429)]), (2824, [(2824, 16, 0.3386)]), (2833, [(2833, 32, 1.352)]), (2845, [(2845, 48, 3.036)]), (2857, [(2857, 48, 3.029)]), (2881, [(2881, 32, 1.341)]), (2917, [(2917, 96, 11.99)]), (2956, [(2956, 16, 0.3309)]), (2965, [(2965, 16, 0.3304)]), (2977, [(2977, 64, 5.276)]), (3013, [(3013, 32, 1.311)]), (3016, [(3016, 32, 1.310)]), (3049, [(3049, -16, 0.3258)]), (3064, [(3064, 32, 1.300)]), (3097, [(3097, 0, 0)]), (3109, [(3109, 0, 0)]), (3112, [(3112, 48, 2.903)]), (3121, [(3121, 16, 0.3221)]), (3145, [(3145, -32, 1.283)]), (3148, [(3148, 48, 2.886)]), (3181, [(3181, 16, 0.3190)]), (3196, [(3196, 0, 0)]), (3208, [(3208, 16, 0.3176)]), (3229, [(3229, -48, 2.850)]), (3241, [(3241, 0, 0)]), (3244, [(3244, -16, 0.3159)]), (3253, [(3253, -16, 0.3154)]), (3277, [(3277, 48, 2.829)]), (3313, [(3313, -16, 0.3126)]), (3340, [(3340, 0, 0)]), (3352, [(3352, 96, 11.19)]), (3361, [(3361, 16, 0.3103)]), (3373, [(3373, -16, 0.3098)]), (3385, [(3385, -48, 2.783)]), (3409, [(3409, 0, 0)]), (3445, [(3445, 0, 0)]), (3484, [(3484, -32, 1.219)]), (3493, [(3493, -64, 4.871)]), (3505, [(3505, 16, 0.3039)]), (3517, [(3517, -128, 19.42)]), (3541, [(3541, 32, 1.209)]), (3544, [(3544, 0, 0)]), (3592, [(3592, 48, 2.702)]), (3637, [(3637, -80, 7.458)]), (3640, [(3640, 0, 0)]), (3649, [(3649, -16, 0.2978)]), (3673, [(3673, -32, 1.187)]), (3676, [(3676, -16, 0.2967)]), (3709, [(3709, -32, 1.182)]), (3736, [(3736, 0, 0)]), (3769, [(3769, 0, 0)]), (3772, [(3772, -128, 18.75)]), (3781, [(3781, 0, 0)]), (3805, [(3805, 16, 0.2917)]), (3841, [(3841, -32, 1.161)]), (3868, [(3868, 48, 2.604)]), (3880, [(3880, 32, 1.155)]), (3889, [(3889, -32, 1.154)]), (3901, [(3901, -32, 1.152)]), (3913, [(3913, 32, 1.150)]), (3937, [(3937, -32, 1.147)]), (3973, [(3973, -80, 7.136)]), (4012, [(4012, 96, 10.23)]), (4021, [(4021, -16, 0.2837)]), (4033, [(4033, 0, 0)]), (4045, [(4045, -16, 0.2829)]), (4069, [(4069, 32, 1.128)]), (4072, [(4072, -80, 7.049)]), (4105, [(4105, 16, 0.2808)]), (4120, [(4120, -32, 1.121)]), (4153, [(4153, 0, 0)]), (4168, [(4168, -48, 2.508)]), (4177, [(4177, 48, 2.505)]), (4201, [(4201, 16, 0.2776)]), (4204, [(4204, 16, 0.2775)]), (4237, [(4237, 96, 9.951)]), (4252, [(4252, -80, 6.898)]), (4264, [(4264, 0, 0)]), (4285, [(4285, -16, 0.2748)]), (4297, [(4297, -64, 4.391)]), (4309, [(4309, 0, 0)]), (4333, [(4333, -96, 9.840)]), (4369, [(4369, -16, 0.2722)]), (4396, [(4396, -32, 1.085)]), (4408, [(4408, -32, 1.084)]), (4417, [(4417, 0, 0)]), (4429, [(4429, 64, 4.326)]), (4441, [(4441, 32, 1.080)]), (4465, [(4465, 32, 1.077)]), (4501, [(4501, 0, 0)]), (4540, [(4540, 0, 0)]), (4549, [(4549, -32, 1.067)]), (4561, [(4561, 0, 0)]), (4573, [(4573, 80, 6.651)]), (4597, [(4597, -32, 1.061)]), (4633, [(4633, -48, 2.379)]), (4648, [(4648, -128, 16.89)]), (4681, [(4681, -32, 1.052)]), (4696, [(4696, 32, 1.050)]), (4705, [(4705, 48, 2.361)]), (4729, [(4729, 16, 0.2616)]), (4765, [(4765, -16, 0.2606)]), (4780, [(4780, 32, 1.041)]), (4792, [(4792, 0, 0)]), (4813, [(4813, -32, 1.037)]), (4828, [(4828, 32, 1.036)]), (4837, [(4837, 0, 0)]), (4861, [(4861, -48, 2.322)]), (4897, [(4897, -32, 1.028)]), (4924, [(4924, -16, 0.2564)]), (4936, [(4936, -16, 0.2561)]), (4945, [(4945, 64, 4.094)]), (4957, [(4957, 48, 2.300)]), (4969, [(4969, 32, 1.021)]), (4993, [(4993, -48, 2.292)]), (5029, [(5029, -32, 1.015)]), (5068, [(5068, 64, 4.044)]), (5077, [(5077, 0, 0)]), (5089, [(5089, -32, 1.009)]), (5101, [(5101, -48, 2.267)]), (5128, [(5128, 48, 2.261)]), (5161, [(5161, 0, 0)]), (5176, [(5176, 64, 4.001)]), (5209, [(5209, 32, 0.9971)]), (5221, [(5221, 64, 3.984)]), (5224, [(5224, -48, 2.240)]), (5233, [(5233, -32, 0.9948)]), (5257, [(5257, 64, 3.970)]), (5260, [(5260, 64, 3.969)]), (5293, [(5293, -96, 8.903)]), (5308, [(5308, -48, 2.223)]), (5320, [(5320, -32, 0.9867)]), (5353, [(5353, 16, 0.2459)]), (5356, [(5356, 0, 0)]), (5365, [(5365, -32, 0.9825)]), (5389, [(5389, 48, 2.206)]), (5452, [(5452, -96, 8.772)]), (5464, [(5464, -32, 0.9736)]), (5473, [(5473, -32, 0.9728)]), (5485, [(5485, -16, 0.2429)]), (5497, [(5497, -32, 0.9707)]), (5521, [(5521, -32, 0.9686)]), (5557, [(5557, 112, 11.83)]), (5596, [(5596, -16, 0.2405)]), (5605, [(5605, 96, 8.651)]), (5617, [(5617, -48, 2.161)]), (5629, [(5629, -32, 0.9592)]), (5653, [(5653, 96, 8.615)]), (5656, [(5656, 0, 0)]), (5689, [(5689, 16, 0.2385)]), (5704, [(5704, 0, 0)]), (5737, [(5737, -16, 0.2375)]), (5749, [(5749, 16, 0.2373)]), (5752, [(5752, -96, 8.540)]), (5761, [(5761, 0, 0)]), (5785, [(5785, 32, 0.9462)]), (5788, [(5788, 48, 2.128)]), (5821, [(5821, 16, 0.2358)]), (5836, [(5836, 16, 0.2355)]), (5848, [(5848, 160, 23.53)]), (5869, [(5869, 48, 2.114)]), (5881, [(5881, -16, 0.2346)]), (5884, [(5884, -16, 0.2346)]), (5893, [(5893, 64, 3.750)]), (5917, [(5917, 64, 3.742)]), (5953, [(5953, 16, 0.2332)]), (5980, [(5980, 64, 3.723)]), (5992, [(5992, 96, 8.367)]), (6001, [(6001, -16, 0.2323)]), (6013, [(6013, 32, 0.9281)]), (6049, [(6049, 0, 0)]), (6085, [(6085, 16, 0.2306)]), (6124, [(6124, 48, 2.069)]), (6133, [(6133, -32, 0.9190)]), (6145, [(6145, -16, 0.2295)]), (6157, [(6157, 32, 0.9172)]), (6181, [(6181, 0, 0)]), (6184, [(6184, 16, 0.2288)]), (6217, [(6217, 16, 0.2282)]), (6232, [(6232, -32, 0.9116)]), (6265, [(6265, -32, 0.9092)]), (6277, [(6277, 64, 3.633)]), (6280, [(6280, -64, 3.633)]), (6289, [(6289, -32, 0.9075)]), (6313, [(6313, 32, 0.9058)]), (6316, [(6316, -16, 0.2264)]), (6349, [(6349, 32, 0.9032)]), (6364, [(6364, 0, 0)]), (6376, [(6376, 16, 0.2253)]), (6397, [(6397, 0, 0)]), (6409, [(6409, 0, 0)]), (6412, [(6412, 32, 0.8987)]), (6421, [(6421, 16, 0.2245)]), (6445, [(6445, 16, 0.2241)]), (6481, [(6481, 48, 2.011)]), (6508, [(6508, 16, 0.2230)]), (6520, [(6520, 0, 0)]), (6529, [(6529, 0, 0)]), (6541, [(6541, -32, 0.8898)]), (6553, [(6553, 0, 0)]), (6577, [(6577, -48, 1.997)]), (6613, [(6613, -80, 5.531)]), (6652, [(6652, -48, 1.985)]), (6661, [(6661, -16, 0.2204)]), (6673, [(6673, 48, 1.982)]), (6685, [(6685, -32, 0.8802)]), (6709, [(6709, -32, 0.8786)]), (6712, [(6712, 64, 3.514)]), (6745, [(6745, 0, 0)]), (6793, [(6793, -96, 7.859)]), (6805, [(6805, 16, 0.2181)]), (6808, [(6808, 64, 3.489)]), (6817, [(6817, -80, 5.448)]), (6841, [(6841, -16, 0.2175)]), (6844, [(6844, 32, 0.8699)]), (6892, [(6892, -16, 0.2167)]), (6904, [(6904, -32, 0.8661)]), (6937, [(6937, -32, 0.8641)]), (6940, [(6940, -64, 3.456)]), (6949, [(6949, -16, 0.2158)]), (6973, [(6973, 0, 0)]), (7009, [(7009, 0, 0)]), (7036, [(7036, -48, 1.930)]), (7048, [(7048, -16, 0.2143)]), (7057, [(7057, 32, 0.8567)]), (7069, [(7069, -16, 0.2140)]), (7081, [(7081, 0, 0)]), (7141, [(7141, 0, 0)]), (7180, [(7180, 0, 0)]), (7189, [(7189, 32, 0.8488)]), (7201, [(7201, -32, 0.8481)]), (7213, [(7213, 160, 21.18)]), (7237, [(7237, -48, 1.903)]), (7240, [(7240, 0, 0)]), (7273, [(7273, -32, 0.8439)]), (7288, [(7288, 0, 0)]), (7321, [(7321, 0, 0)]), (7333, [(7333, 48, 1.891)]), (7336, [(7336, 32, 0.8402)]), (7345, [(7345, -64, 3.359)]), (7369, [(7369, 0, 0)]), (7372, [(7372, -32, 0.8382)]), (7405, [(7405, -80, 5.227)]), (7420, [(7420, 32, 0.8355)]), (7432, [(7432, -144, 16.90)]), (7453, [(7453, -48, 1.876)]), (7465, [(7465, 16, 0.2082)]), (7468, [(7468, 16, 0.2082)]), (7477, [(7477, 48, 1.873)]), (7501, [(7501, -32, 0.8309)]), (7537, [(7537, -32, 0.8290)]), (7564, [(7564, 32, 0.8275)]), (7576, [(7576, 0, 0)]), (7585, [(7585, 0, 0)]), (7597, [(7597, -96, 7.431)]), (7609, [(7609, 32, 0.8250)]), (7633, [(7633, 16, 0.2059)]), (7669, [(7669, -16, 0.2054)]), (7708, [(7708, -32, 0.8197)]), (7717, [(7717, 112, 10.04)]), (7729, [(7729, -32, 0.8186)]), (7741, [(7741, 80, 5.112)]), (7765, [(7765, -48, 1.838)]), (7768, [(7768, 64, 3.266)]), (7801, [(7801, 48, 1.833)]), (7816, [(7816, -16, 0.2035)]), (7849, [(7849, -32, 0.8123)]), (7861, [(7861, 64, 3.247)]), (7864, [(7864, -32, 0.8115)]), (7873, [(7873, 16, 0.2028)]), (7897, [(7897, 48, 1.822)]), (7933, [(7933, -64, 3.232)]), (7948, [(7948, -144, 16.35)]), (7960, [(7960, -96, 7.260)]), (7981, [(7981, -32, 0.8056)]), (7993, [(7993, 32, 0.8050)]), (7996, [(7996, -16, 0.2012)]), (8005, [(8005, -16, 0.2011)]), (8029, [(8029, -64, 3.213)]), (8065, [(8065, 16, 0.2003)]), (8104, [(8104, 16, 0.1999)]), (8113, [(8113, 0, 0)]), (8137, [(8137, 32, 0.7978)]), (8161, [(8161, 16, 0.1992)]), (8197, [(8197, -96, 7.154)]), (8236, [(8236, 0, 0)]), (8245, [(8245, -64, 3.170)]), (8257, [(8257, -32, 0.7920)]), (8269, [(8269, 32, 0.7914)]), (8293, [(8293, 32, 0.7903)]), (8296, [(8296, 64, 3.161)]), (8329, [(8329, -16, 0.1971)]), (8344, [(8344, -64, 3.151)]), (8377, [(8377, -80, 4.914)]), (8389, [(8389, -64, 3.143)]), (8392, [(8392, -112, 9.624)]), (8401, [(8401, 32, 0.7852)]), (8461, [(8461, -32, 0.7824)]), (8476, [(8476, -32, 0.7817)]), (8488, [(8488, 48, 1.758)]), (8509, [(8509, -32, 0.7802)]), (8521, [(8521, 0, 0)]), (8524, [(8524, 48, 1.754)]), (8533, [(8533, -128, 12.47)]), (8557, [(8557, 0, 0)]), (8593, [(8593, 32, 0.7764)]), (8620, [(8620, 32, 0.7751)]), (8632, [(8632, 0, 0)]), (8641, [(8641, 32, 0.7742)]), (8653, [(8653, 48, 1.741)]), (8665, [(8665, 16, 0.1933)]), (8689, [(8689, 48, 1.737)]), (8764, [(8764, 64, 3.075)]), (8773, [(8773, 32, 0.7683)]), (8785, [(8785, 0, 0)]), (8797, [(8797, 0, 0)]), (8821, [(8821, 0, 0)]), (8824, [(8824, 0, 0)]), (8857, [(8857, -48, 1.721)]), (8872, [(8872, 48, 1.719)]), (8905, [(8905, -32, 0.7626)]), (8917, [(8917, 128, 12.19)]), (8920, [(8920, 32, 0.7620)]), (8929, [(8929, 0, 0)]), (8953, [(8953, 32, 0.7606)]), (8956, [(8956, -48, 1.711)]), (8989, [(8989, 16, 0.1898)]), (9004, [(9004, 48, 1.706)]), (9037, [(9037, 128, 12.11)]), (9049, [(9049, 16, 0.1891)]), (9052, [(9052, -32, 0.7564)]), (9061, [(9061, -32, 0.7560)]), (9085, [(9085, 64, 3.020)]), (9121, [(9121, -32, 0.7535)]), (9148, [(9148, 48, 1.693)]), (9160, [(9160, 32, 0.7519)]), (9169, [(9169, 16, 0.1879)]), (9181, [(9181, 0, 0)]), (9193, [(9193, -16, 0.1876)]), (9217, [(9217, -64, 2.998)]), (9253, [(9253, 64, 2.993)]), (9292, [(9292, -64, 2.986)]), (9301, [(9301, -96, 6.716)]), (9313, [(9313, -64, 2.983)]), (9349, [(9349, -32, 0.7443)]), (9352, [(9352, -32, 0.7442)]), (9385, [(9385, 48, 1.671)]), (9433, [(9433, 80, 4.631)]), (9445, [(9445, -48, 1.666)]), (9448, [(9448, 112, 9.070)]), (9481, [(9481, 0, 0)]), (9484, [(9484, 48, 1.663)]), (9517, [(9517, 64, 2.951)]), (9532, [(9532, 16, 0.1843)]), (9544, [(9544, 16, 0.1842)]), (9565, [(9565, 16, 0.1840)]), (9577, [(9577, -64, 2.942)]), (9580, [(9580, -32, 0.7353)]), (9589, [(9589, -32, 0.7349)]), (9613, [(9613, 80, 4.588)]), (9649, [(9649, 48, 1.648)]), (9676, [(9676, 32, 0.7316)]), (9688, [(9688, 0, 0)]), (9697, [(9697, -48, 1.644)]), (9709, [(9709, 32, 0.7304)]), (9721, [(9721, -16, 0.1825)]), (9745, [(9745, 48, 1.640)]), (9781, [(9781, 32, 0.7277)]), (9820, [(9820, -32, 0.7262)]), (9829, [(9829, 16, 0.1815)]), (9841, [(9841, 32, 0.7255)]), (9853, [(9853, 64, 2.900)]), (9877, [(9877, 0, 0)]), (9880, [(9880, 0, 0)]), (9913, [(9913, 96, 6.505)]), (9928, [(9928, 32, 0.7223)]), (9961, [(9961, 32, 0.7211)]), (9973, [(9973, 48, 1.621)]), (9976, [(9976, -32, 0.7205)]), (9985, [(9985, 80, 4.501)])]]