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

# Nmax = 10000

[(1, [1/2 + 5/2*i, i + 19*j, 1/2 + (-9/10)*i + 23/10*j + 1/10*k]), (-1, [1/2 + 5/2*i, i + 19*j, 1/2 + (-9/10)*i + 23/10*j + 1/10*k])]
[((3,), 41/2 + 1/2*i + (-53)*j + k), ((19,), 107/2 + (-3/2)*i + 15/2*j + (-1/2)*k)]

# map: (1 |-> 1.0) -> -1, Fractional ideal (3) -> -1, Fractional ideal (19) -> -1
[13, -15/2 + (-5/2)*i + 516*j + (-23)*k, [(-4, [(-4, 4, 1.918)]), (-7, [(-7, 4, 1.450)]), (-43, [(-43, 20, 14.62)]), (-55, [(-55, -4, 0.5172)]), (-115, [(-115, -8, 1.431)]), (-139, [(-139, -12, 2.928)]), (-163, [(-163, -32, 19.23)]), (-187, [(-187, 20, 7.013)]), (-199, [(-199, 4, 0.2719)]), (-232, [(-232, -24, 9.067)]), (-235, [(-235, -28, 12.26)]), (-244, [(-244, 4, 0.2456)]), (-271, [(-271, -8, 0.9321)]), (-283, [(-283, -12, 2.052)]), (-292, [(-292, -4, 0.2245)]), (-328, [(-328, -16, 3.389)]), (-340, [(-340, -20, 5.201)]), (-367, [(-367, -8, 0.8009)]), (-391, [(-391, -8, 0.7760)]), (-403, [(-403, -48, 27.52)]), (-415, [(-415, -16, 3.013)]), (-424, [(-424, -16, 2.981)]), (-427, [(-427, -20, 4.641)]), (-463, [(-463, 12, 1.604)]), (-472, [(-472, 24, 6.356)]), (-499, [(-499, 20, 4.293)]), (-511, [(-511, 4, 0.1697)]), (-520, [(-520, -24, 6.056)]), (-568, [(-568, 40, 16.10)]), (-571, [(-571, 24, 5.779)]), (-595, [(-595, -4, 0.1573)]), (-619, [(-619, 16, 2.467)]), (-628, [(-628, -24, 5.511)]), (-631, [(-631, 4, 0.1527)]), (-643, [(-643, 28, 7.413)]), (-655, [(-655, -12, 1.349)]), (-691, [(-691, 4, 0.1459)]), (-712, [(-712, 0, 0)]), (-727, [(-727, -4, 0.1423)]), (-739, [(-739, 28, 6.914)]), (-799, [(-799, -4, 0.1357)]), (-823, [(-823, -28, 6.552)]), (-856, [(-856, 16, 2.098)]), (-859, [(-859, 4, 0.1309)]), (-871, [(-871, 8, 0.5199)]), (-883, [(-883, 60, 29.05)]), (-904, [(-904, 24, 4.593)]), (-916, [(-916, -4, 0.1267)]), (-919, [(-919, 16, 2.025)]), (-955, [(-955, -12, 1.117)]), (-967, [(-967, -16, 1.974)]), (-1012, [(-1012, 40, 12.06)]), (-1027, [(-1027, -8, 0.4788)]), (-1051, [(-1051, 48, 17.04)]), (-1087, [(-1087, 28, 5.701)]), (-1099, [(-1099, 16, 1.851)]), (-1108, [(-1108, 44, 13.94)]), (-1111, [(-1111, 0, 0)]), (-1144, [(-1144, -8, 0.4537)]), (-1147, [(-1147, -8, 0.4531)]), (-1195, [(-1195, -28, 5.437)]), (-1204, [(-1204, 12, 0.9950)]), (-1240, [(-1240, -16, 1.743)]), (-1252, [(-1252, -16, 1.735)]), (-1255, [(-1255, 12, 0.9745)]), (-1279, [(-1279, -4, 0.1073)]), (-1303, [(-1303, -36, 8.608)]), (-1315, [(-1315, 12, 0.9520)]), (-1327, [(-1327, -32, 6.739)]), (-1336, [(-1336, 8, 0.4198)]), (-1339, [(-1339, 8, 0.4193)]), (-1384, [(-1384, 16, 1.650)]), (-1396, [(-1396, 4, 0.1027)]), (-1411, [(-1411, -24, 3.676)]), (-1423, [(-1423, 4, 0.1017)]), (-1432, [(-1432, -40, 10.14)]), (-1480, [(-1480, -16, 1.595)]), (-1483, [(-1483, -28, 4.881)]), (-1507, [(-1507, 76, 35.67)]), (-1531, [(-1531, 20, 2.451)]), (-1540, [(-1540, -28, 4.790)]), (-1543, [(-1543, 0, 0)]), (-1555, [(-1555, -52, 16.44)]), (-1567, [(-1567, -4, 0.09690)]), (-1588, [(-1588, 4, 0.09626)]), (-1603, [(-1603, 4, 0.09581)]), (-1624, [(-1624, -8, 0.3808)]), (-1639, [(-1639, 28, 4.643)]), (-1651, [(-1651, -32, 6.042)]), (-1711, [(-1711, 0, 0)]), (-1735, [(-1735, -4, 0.09209)]), (-1759, [(-1759, 12, 0.8232)]), (-1768, [(-1768, -40, 9.123)]), (-1771, [(-1771, -16, 1.458)]), (-1783, [(-1783, -8, 0.3634)]), (-1795, [(-1795, -52, 15.30)]), (-1816, [(-1816, 8, 0.3601)]), (-1828, [(-1828, -20, 2.243)]), (-1831, [(-1831, -8, 0.3586)]), (-1867, [(-1867, -12, 0.7990)]), (-1879, [(-1879, -4, 0.08849)]), (-1924, [(-1924, 16, 1.399)]), (-1939, [(-1939, -20, 2.178)]), (-1963, [(-1963, 8, 0.3463)]), (-1987, [(-1987, 28, 4.217)]), (-1999, [(-1999, 20, 2.145)]), (-2011, [(-2011, -4, 0.08554)]), (-2020, [(-2020, 24, 3.073)]), (-2056, [(-2056, 0, 0)]), (-2059, [(-2059, 24, 3.043)]), (-2068, [(-2068, -20, 2.109)]), (-2095, [(-2095, -32, 5.364)]), (-2152, [(-2152, -16, 1.323)]), (-2164, [(-2164, 44, 9.978)]), (-2167, [(-2167, 32, 5.274)]), (-2191, [(-2191, -8, 0.3278)]), (-2215, [(-2215, -12, 0.7336)]), (-2227, [(-2227, 44, 9.836)]), (-2239, [(-2239, 0, 0)]), (-2248, [(-2248, -16, 1.294)]), (-2251, [(-2251, 52, 13.66)]), (-2287, [(-2287, 16, 1.283)]), (-2296, [(-2296, 0, 0)]), (-2308, [(-2308, -20, 1.996)]), (-2323, [(-2323, -32, 5.094)]), (-2335, [(-2335, 4, 0.07938)]), (-2344, [(-2344, 16, 1.268)]), (-2392, [(-2392, 16, 1.255)]), (-2395, [(-2395, -72, 25.40)]), (-2419, [(-2419, -56, 15.29)]), (-2443, [(-2443, 44, 9.391)]), (-2452, [(-2452, 36, 6.275)]), (-2455, [(-2455, 0, 0)]), (-2467, [(-2467, 36, 6.256)]), (-2479, [(-2479, 8, 0.3082)]), (-2515, [(-2515, -72, 24.78)]), (-2536, [(-2536, 24, 2.742)]), (-2551, [(-2551, -4, 0.07595)]), (-2563, [(-2563, 44, 9.168)]), (-2623, [(-2623, -12, 0.6741)]), (-2647, [(-2647, -36, 6.039)]), (-2671, [(-2671, 16, 1.188)]), (-2680, [(-2680, -8, 0.2964)]), (-2683, [(-2683, -20, 1.851)]), (-2707, [(-2707, -52, 12.46)]), (-2728, [(-2728, 0, 0)]), (-2740, [(-2740, -12, 0.6595)]), (-2743, [(-2743, 24, 2.637)]), (-2779, [(-2779, 20, 1.819)]), (-2791, [(-2791, -12, 0.6535)]), (-2836, [(-2836, -24, 2.593)]), (-2851, [(-2851, 12, 0.6466)]), (-2899, [(-2899, 8, 0.2850)]), (-2911, [(-2911, -8, 0.2844)]), (-2923, [(-2923, -88, 34.34)]), (-2932, [(-2932, -24, 2.550)]), (-2935, [(-2935, -12, 0.6373)]), (-2968, [(-2968, 32, 4.506)]), (-2971, [(-2971, 12, 0.6334)]), (-2980, [(-2980, 4, 0.07027)]), (-3007, [(-3007, -16, 1.119)]), (-3019, [(-3019, 44, 8.448)]), (-3028, [(-3028, -44, 8.435)]), (-3064, [(-3064, 0, 0)]), (-3076, [(-3076, -4, 0.06916)]), (-3079, [(-3079, -4, 0.06913)]), (-3103, [(-3103, 32, 4.407)]), (-3127, [(-3127, -8, 0.2744)]), (-3139, [(-3139, 4, 0.06847)]), (-3151, [(-3151, -24, 2.460)]), (-3160, [(-3160, 24, 2.457)]), (-3163, [(-3163, -60, 15.35)]), (-3199, [(-3199, 4, 0.06782)]), (-3208, [(-3208, 56, 13.27)]), (-3220, [(-3220, -32, 4.326)]), (-3235, [(-3235, 52, 11.40)]), (-3247, [(-3247, 12, 0.6059)]), (-3256, [(-3256, -32, 4.302)]), (-3304, [(-3304, 8, 0.2669)]), (-3307, [(-3307, 0, 0)]), (-3331, [(-3331, 20, 1.662)]), (-3355, [(-3355, -84, 29.21)]), (-3367, [(-3367, -32, 4.231)]), (-3379, [(-3379, 8, 0.2640)]), (-3391, [(-3391, -8, 0.2635)]), (-3412, [(-3412, 16, 1.051)]), (-3427, [(-3427, -8, 0.2621)]), (-3448, [(-3448, 72, 21.17)]), (-3463, [(-3463, 12, 0.5867)]), (-3535, [(-3535, 16, 1.032)]), (-3559, [(-3559, 12, 0.5787)]), (-3583, [(-3583, 20, 1.602)]), (-3592, [(-3592, -32, 4.096)]), (-3595, [(-3595, -12, 0.5758)]), (-3607, [(-3607, 12, 0.5748)]), (-3619, [(-3619, -36, 5.165)]), (-3640, [(-3640, -40, 6.358)]), (-3652, [(-3652, -40, 6.348)]), (-3655, [(-3655, -28, 3.109)]), (-3691, [(-3691, -52, 10.67)]), (-3748, [(-3748, -4, 0.06266)]), (-3763, [(-3763, -40, 6.253)]), (-3787, [(-3787, 4, 0.06233)]), (-3811, [(-3811, 16, 0.9942)]), (-3823, [(-3823, 36, 5.025)]), (-3835, [(-3835, 0, 0)]), (-3847, [(-3847, 32, 3.958)]), (-3880, [(-3880, 40, 6.158)]), (-3883, [(-3883, -24, 2.216)]), (-3892, [(-3892, -12, 0.5534)]), (-3919, [(-3919, 4, 0.06128)]), (-3931, [(-3931, -36, 4.956)]), (-3940, [(-3940, 16, 0.9778)]), (-3976, [(-3976, 8, 0.2433)]), (-3988, [(-3988, -36, 4.920)]), (-3991, [(-3991, 24, 2.186)]), (-4015, [(-4015, 4, 0.06054)]), (-4039, [(-4039, -20, 1.509)]), (-4051, [(-4051, 4, 0.06027)]), (-4063, [(-4063, -20, 1.505)]), (-4072, [(-4072, 24, 2.164)]), (-4111, [(-4111, 0, 0)]), (-4120, [(-4120, -64, 15.30)]), (-4132, [(-4132, -56, 11.70)]), (-4147, [(-4147, 40, 5.957)]), (-4159, [(-4159, -4, 0.05948)]), (-4168, [(-4168, 40, 5.942)]), (-4216, [(-4216, -48, 8.507)]), (-4219, [(-4219, -12, 0.5315)]), (-4243, [(-4243, -24, 2.120)]), (-4267, [(-4267, -100, 36.70)]), (-4276, [(-4276, 4, 0.05866)]), (-4279, [(-4279, 20, 1.466)]), (-4291, [(-4291, 28, 2.869)]), (-4303, [(-4303, 0, 0)]), (-4324, [(-4324, 16, 0.9334)]), (-4339, [(-4339, 8, 0.2329)]), (-4360, [(-4360, -24, 2.091)]), (-4387, [(-4387, -24, 2.085)]), (-4447, [(-4447, -36, 4.659)]), (-4471, [(-4471, 4, 0.05737)]), (-4495, [(-4495, 8, 0.2289)]), (-4504, [(-4504, -16, 0.9145)]), (-4507, [(-4507, 8, 0.2286)]), (-4519, [(-4519, 20, 1.427)]), (-4531, [(-4531, 32, 3.647)]), (-4552, [(-4552, -40, 5.686)]), (-4564, [(-4564, -40, 5.678)]), (-4567, [(-4567, -4, 0.05676)]), (-4603, [(-4603, 32, 3.619)]), (-4615, [(-4615, 32, 3.614)]), (-4660, [(-4660, 20, 1.405)]), (-4699, [(-4699, -8, 0.2238)]), (-4723, [(-4723, 36, 4.521)]), (-4735, [(-4735, -16, 0.8920)]), (-4747, [(-4747, 72, 18.04)]), (-4756, [(-4756, 0, 0)]), (-4759, [(-4759, 8, 0.2224)]), (-4792, [(-4792, 40, 5.541)]), (-4795, [(-4795, 20, 1.385)]), (-4804, [(-4804, -4, 0.05535)]), (-4831, [(-4831, 8, 0.2208)]), (-4843, [(-4843, -40, 5.512)]), (-4852, [(-4852, 64, 14.10)]), (-4888, [(-4888, 56, 10.75)]), (-4903, [(-4903, -16, 0.8765)]), (-4927, [(-4927, 0, 0)]), (-4951, [(-4951, -8, 0.2181)]), (-4963, [(-4963, 56, 10.67)]), (-4984, [(-4984, -16, 0.8694)]), (-4987, [(-4987, 4, 0.05432)]), (-5023, [(-5023, -12, 0.4871)]), (-5032, [(-5032, 32, 3.461)]), (-5044, [(-5044, -8, 0.2160)]), (-5059, [(-5059, 16, 0.8629)]), (-5071, [(-5071, 4, 0.05387)]), (-5080, [(-5080, -8, 0.2153)]), (-5128, [(-5128, -40, 5.357)]), (-5131, [(-5131, 64, 13.71)]), (-5155, [(-5155, -48, 7.694)]), (-5179, [(-5179, 20, 1.333)]), (-5188, [(-5188, 88, 25.78)]), (-5191, [(-5191, -32, 3.407)]), (-5215, [(-5215, -4, 0.05312)]), (-5236, [(-5236, 20, 1.325)]), (-5251, [(-5251, 56, 10.38)]), (-5272, [(-5272, 80, 21.13)]), (-5287, [(-5287, 28, 2.585)]), (-5299, [(-5299, 20, 1.317)]), (-5359, [(-5359, -32, 3.354)]), (-5383, [(-5383, 20, 1.307)]), (-5407, [(-5407, 12, 0.4695)]), (-5416, [(-5416, -8, 0.2085)]), (-5419, [(-5419, -60, 11.72)]), (-5431, [(-5431, -8, 0.2082)]), (-5443, [(-5443, 68, 15.03)]), (-5464, [(-5464, -8, 0.2076)]), (-5479, [(-5479, -4, 0.05182)]), (-5515, [(-5515, 52, 8.729)]), (-5527, [(-5527, -32, 3.302)]), (-5572, [(-5572, -20, 1.285)]), (-5587, [(-5587, 88, 24.84)]), (-5611, [(-5611, 32, 3.277)]), (-5647, [(-5647, -24, 1.838)]), (-5659, [(-5659, 16, 0.8159)]), (-5668, [(-5668, -32, 3.261)]), (-5671, [(-5671, -16, 0.8150)]), (-5704, [(-5704, 16, 0.8127)]), (-5707, [(-5707, 64, 13.00)]), (-5716, [(-5716, 4, 0.05074)]), (-5743, [(-5743, -12, 0.4556)]), (-5755, [(-5755, -8, 0.2023)]), (-5764, [(-5764, -20, 1.263)]), (-5812, [(-5812, 28, 2.466)]), (-5815, [(-5815, 12, 0.4527)]), (-5839, [(-5839, 12, 0.4518)]), (-5863, [(-5863, 40, 5.010)]), (-5896, [(-5896, 8, 0.1998)]), (-5899, [(-5899, -36, 4.045)]), (-5935, [(-5935, -8, 0.1992)]), (-5944, [(-5944, 8, 0.1990)]), (-5956, [(-5956, 12, 0.4473)]), (-5971, [(-5971, -40, 4.964)]), (-5983, [(-5983, 32, 3.174)]), (-5992, [(-5992, 0, 0)]), (-6040, [(-6040, 8, 0.1974)]), (-6043, [(-6043, 108, 35.97)]), (-6067, [(-6067, 32, 3.152)]), (-6091, [(-6091, 60, 11.06)]), (-6103, [(-6103, -4, 0.04910)]), (-6115, [(-6115, -28, 2.404)]), (-6127, [(-6127, -36, 3.970)]), (-6148, [(-6148, -48, 7.045)]), (-6163, [(-6163, -40, 4.886)]), (-6184, [(-6184, -24, 1.756)]), (-6199, [(-6199, 4, 0.04872)]), (-6211, [(-6211, -32, 3.115)]), (-6271, [(-6271, -12, 0.4360)]), (-6295, [(-6295, -32, 3.094)]), (-6319, [(-6319, -8, 0.1930)]), (-6328, [(-6328, 40, 4.822)]), (-6331, [(-6331, 24, 1.736)]), (-6343, [(-6343, 44, 5.828)]), (-6355, [(-6355, 0, 0)]), (-6376, [(-6376, -24, 1.729)]), (-6388, [(-6388, -56, 9.407)]), (-6391, [(-6391, 8, 0.1919)]), (-6427, [(-6427, -44, 5.790)]), (-6439, [(-6439, -12, 0.4302)]), (-6484, [(-6484, -12, 0.4287)]), (-6499, [(-6499, 32, 3.045)]), (-6523, [(-6523, -32, 3.040)]), (-6547, [(-6547, -108, 34.56)]), (-6559, [(-6559, 12, 0.4263)]), (-6571, [(-6571, 32, 3.029)]), (-6580, [(-6580, -28, 2.317)]), (-6583, [(-6583, 0, 0)]), (-6616, [(-6616, 40, 4.716)]), (-6619, [(-6619, -44, 5.705)]), (-6628, [(-6628, -56, 9.235)]), (-6667, [(-6667, -16, 0.7517)]), (-6676, [(-6676, 4, 0.04695)]), (-6712, [(-6712, 0, 0)]), (-6751, [(-6751, 0, 0)]), (-6787, [(-6787, -44, 5.634)]), (-6799, [(-6799, -24, 1.675)]), (-6808, [(-6808, -64, 11.90)]), (-6847, [(-6847, -56, 9.086)]), (-6856, [(-6856, 24, 1.668)]), (-6868, [(-6868, -72, 15.00)]), (-6883, [(-6883, -100, 28.90)]), (-6895, [(-6895, 16, 0.7392)]), (-6904, [(-6904, -32, 2.955)]), (-6952, [(-6952, -72, 14.91)]), (-6955, [(-6955, -40, 4.600)]), (-6979, [(-6979, -36, 3.719)]), (-7003, [(-7003, 52, 7.747)]), (-7012, [(-7012, 4, 0.04581)]), (-7015, [(-7015, -48, 6.595)]), (-7027, [(-7027, 28, 2.242)]), (-7039, [(-7039, 36, 3.703)]), (-7060, [(-7060, -16, 0.7305)]), (-7096, [(-7096, -8, 0.1821)]), (-7111, [(-7111, -8, 0.1820)]), (-7123, [(-7123, -24, 1.636)]), (-7183, [(-7183, -12, 0.4074)]), (-7207, [(-7207, 60, 10.17)]), (-7231, [(-7231, 8, 0.1804)]), (-7240, [(-7240, -48, 6.492)]), (-7243, [(-7243, 60, 10.14)]), (-7255, [(-7255, -4, 0.04504)]), (-7288, [(-7288, 48, 6.470)]), (-7303, [(-7303, -64, 11.49)]), (-7339, [(-7339, -32, 2.866)]), (-7351, [(-7351, 36, 3.624)]), (-7411, [(-7411, 40, 4.456)]), (-7435, [(-7435, -76, 16.06)]), (-7459, [(-7459, -44, 5.374)]), (-7471, [(-7471, 0, 0)]), (-7483, [(-7483, 20, 1.109)]), (-7492, [(-7492, 20, 1.108)]), (-7495, [(-7495, 0, 0)]), (-7528, [(-7528, 32, 2.830)]), (-7531, [(-7531, -20, 1.105)]), (-7540, [(-7540, -8, 0.1767)]), (-7567, [(-7567, 24, 1.588)]), (-7579, [(-7579, -24, 1.586)]), (-7588, [(-7588, 8, 0.1761)]), (-7624, [(-7624, -24, 1.582)]), (-7636, [(-7636, 0, 0)]), (-7639, [(-7639, 0, 0)]), (-7663, [(-7663, 0, 0)]), (-7687, [(-7687, 44, 5.294)]), (-7699, [(-7699, 20, 1.093)]), (-7711, [(-7711, 24, 1.573)]), (-7720, [(-7720, -8, 0.1746)]), (-7723, [(-7723, -100, 27.28)]), (-7759, [(-7759, 8, 0.1742)]), (-7768, [(-7768, 0, 0)]), (-7780, [(-7780, 36, 3.523)]), (-7795, [(-7795, 68, 12.56)]), (-7807, [(-7807, 8, 0.1737)]), (-7816, [(-7816, 64, 11.11)]), (-7864, [(-7864, 32, 2.768)]), (-7867, [(-7867, 36, 3.503)]), (-7891, [(-7891, 80, 17.27)]), (-7915, [(-7915, -4, 0.04312)]), (-7924, [(-7924, 28, 2.112)]), (-7927, [(-7927, 4, 0.04308)]), (-7939, [(-7939, -60, 9.687)]), (-7951, [(-7951, 12, 0.3872)]), (-7972, [(-7972, 20, 1.074)]), (-8008, [(-8008, 8, 0.1715)]), (-8023, [(-8023, 16, 0.6852)]), (-8035, [(-8035, 0, 0)]), (-8095, [(-8095, -8, 0.1705)]), (-8119, [(-8119, 16, 0.6812)]), (-8143, [(-8143, 0, 0)]), (-8152, [(-8152, 32, 2.719)]), (-8155, [(-8155, 52, 7.179)]), (-8167, [(-8167, 4, 0.04245)]), (-8179, [(-8179, -12, 0.3817)]), (-8212, [(-8212, 64, 10.84)]), (-8215, [(-8215, 32, 2.709)]), (-8251, [(-8251, 24, 1.520)]), (-8263, [(-8263, 8, 0.1688)]), (-8308, [(-8308, -40, 4.209)]), (-8323, [(-8323, -80, 16.82)]), (-8347, [(-8347, 0, 0)]), (-8371, [(-8371, 28, 2.054)]), (-8383, [(-8383, -32, 2.681)]), (-8395, [(-8395, -56, 8.206)]), (-8404, [(-8404, -36, 3.389)]), (-8407, [(-8407, 36, 3.389)]), (-8440, [(-8440, 40, 4.175)]), (-8443, [(-8443, 56, 8.182)]), (-8452, [(-8452, -20, 1.043)]), (-8479, [(-8479, 36, 3.374)]), (-8491, [(-8491, 0, 0)]), (-8536, [(-8536, -8, 0.1661)]), (-8548, [(-8548, -68, 11.99)]), (-8551, [(-8551, -8, 0.1659)]), (-8599, [(-8599, -4, 0.04137)]), (-8611, [(-8611, -32, 2.646)]), (-8623, [(-8623, 16, 0.6609)]), (-8632, [(-8632, 0, 0)]), (-8635, [(-8635, 0, 0)]), (-8671, [(-8671, 0, 0)]), (-8680, [(-8680, 32, 2.635)]), (-8692, [(-8692, 40, 4.115)]), (-8707, [(-8707, 20, 1.028)]), (-8719, [(-8719, -44, 4.971)]), (-8728, [(-8728, -8, 0.1642)]), (-8776, [(-8776, 24, 1.474)]), (-8779, [(-8779, -24, 1.474)]), (-8803, [(-8803, -36, 3.312)]), (-8827, [(-8827, 24, 1.470)]), (-8839, [(-8839, 4, 0.04080)]), (-8851, [(-8851, 0, 0)]), (-8863, [(-8863, -48, 5.867)]), (-8884, [(-8884, -28, 1.994)]), (-8899, [(-8899, -44, 4.920)]), (-8920, [(-8920, 48, 5.849)]), (-8935, [(-8935, 4, 0.04058)]), (-8947, [(-8947, 136, 46.88)]), (-9007, [(-9007, -8, 0.1617)]), (-9031, [(-9031, -4, 0.04037)]), (-9055, [(-9055, 36, 3.265)]), (-9064, [(-9064, 16, 0.6447)]), (-9067, [(-9067, 84, 17.77)]), (-9079, [(-9079, -8, 0.1610)]), (-9091, [(-9091, 32, 2.575)]), (-9112, [(-9112, -40, 4.019)]), (-9124, [(-9124, -4, 0.04016)]), (-9127, [(-9127, -28, 1.967)]), (-9220, [(-9220, 76, 14.42)]), (-9235, [(-9235, -92, 21.12)]), (-9259, [(-9259, -40, 3.987)]), (-9283, [(-9283, -8, 0.1593)]), (-9307, [(-9307, -80, 15.91)]), (-9316, [(-9316, 20, 0.9936)]), (-9319, [(-9319, -4, 0.03974)]), (-9352, [(-9352, 8, 0.1587)]), (-9355, [(-9355, -36, 3.212)]), (-9364, [(-9364, -24, 1.427)]), (-9391, [(-9391, -12, 0.3563)]), (-9403, [(-9403, -88, 19.15)]), (-9412, [(-9412, 56, 7.750)]), (-9448, [(-9448, -16, 0.6314)]), (-9460, [(-9460, -20, 0.9860)]), (-9463, [(-9463, -12, 0.3549)]), (-9487, [(-9487, 0, 0)]), (-9511, [(-9511, 4, 0.03933)]), (-9523, [(-9523, 80, 15.72)]), (-9535, [(-9535, 20, 0.9821)]), (-9544, [(-9544, -24, 1.414)]), (-9547, [(-9547, -44, 4.750)]), (-9592, [(-9592, -88, 18.96)]), (-9619, [(-9619, -68, 11.30)]), (-9631, [(-9631, 4, 0.03909)]), (-9640, [(-9640, 0, 0)]), (-9688, [(-9688, 80, 15.59)]), (-9691, [(-9691, 4, 0.03897)]), (-9715, [(-9715, -24, 1.401)]), (-9739, [(-9739, -52, 6.569)]), (-9748, [(-9748, -4, 0.03885)]), (-9763, [(-9763, -48, 5.590)]), (-9796, [(-9796, 16, 0.6201)]), (-9811, [(-9811, 68, 11.19)]), (-9832, [(-9832, -64, 9.904)]), (-9847, [(-9847, -20, 0.9664)]), (-9859, [(-9859, 28, 1.893)]), (-9919, [(-9919, -16, 0.6163)]), (-9943, [(-9943, 16, 0.6155)]), (-9967, [(-9967, -4, 0.03842)]), (-9976, [(-9976, 40, 3.841)]), (-9979, [(-9979, 28, 1.882)]), (-9991, [(-9991, 40, 3.838)])]]

# map: (1 |-> 1.0) -> -1, Fractional ideal (3) -> 1, Fractional ideal (19) -> 1
[17, 4 + 4*i + (-99/2)*j + (-1/2)*k, [(-3, [(-3, -2, 2.215)]), (-8, [(-8, -4, 2.713)]), (-15, [(-15, 2, 0.9906)]), (-51, [(-51, -6, 4.835)]), (-56, [(-56, -4, 1.025)]), (-59, [(-59, 4, 0.9989)]), (-71, [(-71, 4, 0.9106)]), (-84, [(-84, -2, 0.4186)]), (-95, [(-95, -4, 1.574)]), (-107, [(-107, -16, 11.87)]), (-116, [(-116, 8, 2.850)]), (-132, [(-132, 2, 0.3339)]), (-143, [(-143, -4, 0.6416)]), (-152, [(-152, -4, 1.245)]), (-155, [(-155, 12, 5.547)]), (-164, [(-164, 4, 0.5992)]), (-167, [(-167, 0, 0)]), (-179, [(-179, 8, 2.294)]), (-183, [(-183, -6, 2.552)]), (-203, [(-203, 0, 0)]), (-212, [(-212, -12, 4.743)]), (-219, [(-219, -10, 6.481)]), (-227, [(-227, 4, 0.5093)]), (-228, [(-228, 6, 4.573)]), (-231, [(-231, 2, 0.2524)]), (-255, [(-255, -2, 0.2402)]), (-260, [(-260, 4, 0.4759)]), (-276, [(-276, 0, 0)]), (-287, [(-287, 4, 0.4529)]), (-299, [(-299, -8, 1.775)]), (-303, [(-303, 8, 3.526)]), (-312, [(-312, -12, 7.819)]), (-323, [(-323, -12, 7.685)]), (-335, [(-335, 0, 0)]), (-344, [(-344, -4, 0.4137)]), (-356, [(-356, -4, 0.4067)]), (-371, [(-371, -4, 0.3984)]), (-383, [(-383, 4, 0.3921)]), (-395, [(-395, 8, 1.544)]), (-399, [(-399, 2, 0.3841)]), (-407, [(-407, 12, 3.423)]), (-411, [(-411, 2, 0.1892)]), (-420, [(-420, 6, 1.685)]), (-431, [(-431, -4, 0.3696)]), (-440, [(-440, -4, 0.3658)]), (-447, [(-447, 2, 0.1815)]), (-452, [(-452, -16, 5.774)]), (-455, [(-455, -4, 0.3597)]), (-456, [(-456, 4, 1.437)]), (-471, [(-471, 4, 0.7071)]), (-483, [(-483, 12, 6.284)]), (-488, [(-488, 4, 0.3473)]), (-515, [(-515, -16, 5.410)]), (-516, [(-516, -2, 0.1689)]), (-527, [(-527, 4, 0.3342)]), (-551, [(-551, 0, 0)]), (-563, [(-563, -4, 0.3234)]), (-564, [(-564, -2, 0.1615)]), (-584, [(-584, 4, 0.3175)]), (-591, [(-591, 0, 0)]), (-599, [(-599, -8, 1.254)]), (-611, [(-611, 20, 7.760)]), (-623, [(-623, -12, 2.767)]), (-627, [(-627, -14, 15.02)]), (-635, [(-635, 0, 0)]), (-659, [(-659, -8, 1.196)]), (-660, [(-660, -14, 7.317)]), (-680, [(-680, -4, 0.2942)]), (-683, [(-683, 28, 14.39)]), (-687, [(-687, 6, 1.317)]), (-692, [(-692, 8, 1.167)]), (-696, [(-696, 4, 0.5817)]), (-699, [(-699, -2, 0.1451)]), (-740, [(-740, -4, 0.2821)]), (-743, [(-743, -8, 1.126)]), (-744, [(-744, 8, 2.250)]), (-755, [(-755, 12, 2.513)]), (-759, [(-759, 4, 0.5570)]), (-779, [(-779, 12, 4.948)]), (-791, [(-791, 0, 0)]), (-827, [(-827, -24, 9.605)]), (-831, [(-831, -6, 1.198)]), (-836, [(-836, 4, 0.5307)]), (-839, [(-839, 0, 0)]), (-851, [(-851, 0, 0)]), (-863, [(-863, 4, 0.2612)]), (-884, [(-884, 12, 2.323)]), (-887, [(-887, 4, 0.2576)]), (-888, [(-888, -8, 2.060)]), (-903, [(-903, 2, 0.1277)]), (-911, [(-911, 0, 0)]), (-915, [(-915, 10, 3.171)]), (-920, [(-920, 0, 0)]), (-939, [(-939, 8, 2.003)]), (-971, [(-971, -8, 0.9850)]), (-983, [(-983, 8, 0.9789)]), (-984, [(-984, 8, 1.957)]), (-987, [(-987, -10, 3.053)]), (-996, [(-996, -12, 4.376)]), (-1007, [(-1007, -4, 0.4836)]), (-1019, [(-1019, 4, 0.2404)]), (-1028, [(-1028, 0, 0)]), (-1047, [(-1047, -6, 1.067)]), (-1055, [(-1055, 4, 0.2362)]), (-1059, [(-1059, -8, 1.886)]), (-1064, [(-1064, -4, 0.4705)]), (-1067, [(-1067, -20, 5.872)]), (-1076, [(-1076, 4, 0.2339)]), (-1079, [(-1079, 0, 0)]), (-1091, [(-1091, -4, 0.2323)]), (-1095, [(-1095, -2, 0.1159)]), (-1112, [(-1112, -4, 0.2301)]), (-1115, [(-1115, -20, 5.745)]), (-1124, [(-1124, 0, 0)]), (-1131, [(-1131, 4, 0.4563)]), (-1139, [(-1139, 0, 0)]), (-1140, [(-1140, 6, 2.045)]), (-1155, [(-1155, -10, 2.822)]), (-1167, [(-1167, -6, 1.011)]), (-1172, [(-1172, -8, 0.8965)]), (-1191, [(-1191, 6, 1.001)]), (-1199, [(-1199, 8, 0.8864)]), (-1211, [(-1211, -8, 0.8820)]), (-1235, [(-1235, 4, 0.4367)]), (-1247, [(-1247, 16, 3.477)]), (-1256, [(-1256, -8, 0.8660)]), (-1268, [(-1268, 12, 1.939)]), (-1272, [(-1272, -8, 1.721)]), (-1283, [(-1283, 32, 13.71)]), (-1295, [(-1295, 4, 0.2132)]), (-1304, [(-1304, 0, 0)]), (-1307, [(-1307, 8, 0.8490)]), (-1311, [(-1311, -4, 0.8477)]), (-1319, [(-1319, 0, 0)]), (-1343, [(-1343, -8, 0.8375)]), (-1364, [(-1364, 4, 0.2078)]), (-1367, [(-1367, -12, 1.868)]), (-1371, [(-1371, 2, 0.1036)]), (-1380, [(-1380, -12, 3.718)]), (-1383, [(-1383, 6, 0.9285)]), (-1416, [(-1416, -12, 3.670)]), (-1419, [(-1419, -2, 0.1018)]), (-1427, [(-1427, 4, 0.2031)]), (-1428, [(-1428, 14, 4.975)]), (-1439, [(-1439, 0, 0)]), (-1443, [(-1443, -8, 1.616)]), (-1463, [(-1463, -4, 0.4012)]), (-1496, [(-1496, 4, 0.1984)]), (-1511, [(-1511, 0, 0)]), (-1515, [(-1515, 0, 0)]), (-1523, [(-1523, -16, 3.146)]), (-1535, [(-1535, 8, 0.7834)]), (-1547, [(-1547, 20, 4.877)]), (-1551, [(-1551, -2, 0.09742)]), (-1560, [(-1560, 4, 0.3885)]), (-1571, [(-1571, 0, 0)]), (-1572, [(-1572, 18, 7.838)]), (-1592, [(-1592, -4, 0.1923)]), (-1595, [(-1595, -8, 0.7685)]), (-1599, [(-1599, -4, 0.3838)]), (-1604, [(-1604, 0, 0)]), (-1608, [(-1608, -4, 0.3827)]), (-1623, [(-1623, 2, 0.09523)]), (-1652, [(-1652, 4, 0.1888)]), (-1655, [(-1655, 0, 0)]), (-1667, [(-1667, 12, 1.691)]), (-1668, [(-1668, 22, 11.37)]), (-1671, [(-1671, -2, 0.09385)]), (-1691, [(-1691, 4, 0.3732)]), (-1703, [(-1703, -12, 1.673)]), (-1704, [(-1704, -4, 0.3718)]), (-1731, [(-1731, -6, 0.8299)]), (-1739, [(-1739, -4, 0.1840)]), (-1743, [(-1743, -4, 0.3676)]), (-1748, [(-1748, -8, 1.468)]), (-1751, [(-1751, -8, 0.7335)]), (-1763, [(-1763, -4, 0.1827)]), (-1767, [(-1767, 4, 0.7301)]), (-1779, [(-1779, 8, 1.455)]), (-1796, [(-1796, 8, 0.7242)]), (-1799, [(-1799, 8, 0.7236)]), (-1823, [(-1823, 12, 1.617)]), (-1832, [(-1832, 12, 1.613)]), (-1839, [(-1839, -2, 0.08946)]), (-1851, [(-1851, 6, 0.8026)]), (-1880, [(-1880, 20, 4.424)]), (-1883, [(-1883, 28, 8.664)]), (-1895, [(-1895, -8, 0.7050)]), (-1896, [(-1896, 4, 0.3524)]), (-1919, [(-1919, 0, 0)]), (-1931, [(-1931, 12, 1.572)]), (-1940, [(-1940, -12, 1.568)]), (-1956, [(-1956, -4, 0.3470)]), (-1959, [(-1959, 2, 0.08668)]), (-1967, [(-1967, -8, 0.6920)]), (-1976, [(-1976, -8, 1.381)]), (-1979, [(-1979, 4, 0.1725)]), (-1988, [(-1988, -20, 4.302)]), (-1991, [(-1991, 0, 0)]), (-1995, [(-1995, -2, 0.1718)]), (-2003, [(-2003, -44, 20.74)]), (-2024, [(-2024, -16, 2.729)]), (-2027, [(-2027, 32, 10.91)]), (-2036, [(-2036, -4, 0.1700)]), (-2051, [(-2051, -8, 0.6777)]), (-2055, [(-2055, -6, 0.7617)]), (-2067, [(-2067, 20, 8.438)]), (-2084, [(-2084, 8, 0.6723)]), (-2103, [(-2103, -4, 0.3346)]), (-2111, [(-2111, 4, 0.1670)]), (-2123, [(-2123, -8, 0.6661)]), (-2127, [(-2127, -4, 0.3327)]), (-2136, [(-2136, 16, 5.313)]), (-2147, [(-2147, 8, 1.325)]), (-2159, [(-2159, 0, 0)]), (-2168, [(-2168, 8, 0.6592)]), (-2180, [(-2180, 16, 2.629)]), (-2184, [(-2184, 4, 0.3284)]), (-2195, [(-2195, 8, 0.6551)]), (-2199, [(-2199, 4, 0.3273)]), (-2207, [(-2207, -12, 1.470)]), (-2216, [(-2216, -20, 4.075)]), (-2219, [(-2219, -20, 4.072)]), (-2231, [(-2231, 0, 0)]), (-2235, [(-2235, 14, 3.976)]), (-2244, [(-2244, 2, 0.08099)]), (-2255, [(-2255, 12, 1.454)]), (-2264, [(-2264, -4, 0.1613)]), (-2271, [(-2271, -2, 0.08051)]), (-2276, [(-2276, -12, 1.447)]), (-2279, [(-2279, -4, 0.1607)]), (-2280, [(-2280, -4, 0.6428)]), (-2283, [(-2283, -38, 28.99)]), (-2292, [(-2292, 6, 0.7212)]), (-2307, [(-2307, -22, 9.665)]), (-2328, [(-2328, -20, 7.951)]), (-2339, [(-2339, -20, 3.966)]), (-2351, [(-2351, 4, 0.1582)]), (-2355, [(-2355, 8, 1.265)]), (-2387, [(-2387, 20, 3.926)]), (-2388, [(-2388, -18, 6.359)]), (-2408, [(-2408, -20, 3.909)]), (-2415, [(-2415, 8, 1.249)]), (-2423, [(-2423, 16, 2.494)]), (-2427, [(-2427, -14, 3.816)]), (-2435, [(-2435, -4, 0.1555)]), (-2447, [(-2447, -4, 0.1551)]), (-2451, [(-2451, 14, 7.594)]), (-2459, [(-2459, -8, 0.6189)]), (-2463, [(-2463, 10, 1.933)]), (-2472, [(-2472, 8, 1.235)]), (-2483, [(-2483, 12, 1.386)]), (-2504, [(-2504, -8, 0.6133)]), (-2507, [(-2507, -40, 15.32)]), (-2516, [(-2516, -4, 0.1530)]), (-2559, [(-2559, 0, 0)]), (-2564, [(-2564, 4, 0.1515)]), (-2567, [(-2567, 4, 0.1514)]), (-2568, [(-2568, 0, 0)]), (-2579, [(-2579, -4, 0.1511)]), (-2580, [(-2580, -10, 1.888)]), (-2603, [(-2603, -12, 2.707)]), (-2615, [(-2615, 8, 0.6002)]), (-2616, [(-2616, 4, 0.3000)]), (-2643, [(-2643, -26, 12.61)]), (-2651, [(-2651, 12, 1.341)]), (-2660, [(-2660, -4, 0.2975)]), (-2663, [(-2663, -4, 0.1487)]), (-2679, [(-2679, -2, 0.1482)]), (-2687, [(-2687, 0, 0)]), (-2708, [(-2708, 0, 0)]), (-2711, [(-2711, -4, 0.1474)]), (-2712, [(-2712, 12, 2.652)]), (-2735, [(-2735, 4, 0.1467)]), (-2739, [(-2739, -4, 0.2932)]), (-2751, [(-2751, -2, 0.07315)]), (-2787, [(-2787, -24, 10.46)]), (-2792, [(-2792, 12, 1.307)]), (-2795, [(-2795, 20, 3.628)]), (-2807, [(-2807, -8, 0.5793)]), (-2811, [(-2811, 14, 3.546)]), (-2820, [(-2820, -2, 0.07224)]), (-2831, [(-2831, 4, 0.2884)]), (-2843, [(-2843, 24, 5.181)]), (-2852, [(-2852, -16, 2.299)]), (-2868, [(-2868, -14, 3.510)]), (-2879, [(-2879, 12, 1.287)]), (-2903, [(-2903, 8, 0.5696)]), (-2915, [(-2915, -4, 0.1421)]), (-2919, [(-2919, 6, 0.6391)]), (-2936, [(-2936, 0, 0)]), (-2939, [(-2939, 8, 0.5661)]), (-2948, [(-2948, 32, 9.044)]), (-2955, [(-2955, -20, 7.058)]), (-2963, [(-2963, 0, 0)]), (-2964, [(-2964, 4, 0.5637)]), (-2967, [(-2967, -4, 0.2817)]), (-2991, [(-2991, -6, 0.6314)]), (-2996, [(-2996, 0, 0)]), (-3012, [(-3012, -22, 8.458)]), (-3023, [(-3023, -4, 0.1396)]), (-3035, [(-3035, -36, 11.28)]), (-3039, [(-3039, -6, 0.6263)]), (-3048, [(-3048, -4, 0.2780)]), (-3059, [(-3059, -16, 4.439)]), (-3071, [(-3071, -8, 0.5538)]), (-3080, [(-3080, -12, 1.244)]), (-3092, [(-3092, 4, 0.1380)]), (-3099, [(-3099, -4, 0.2757)]), (-3107, [(-3107, 4, 0.1377)]), (-3111, [(-3111, 2, 0.06878)]), (-3119, [(-3119, 4, 0.1374)]), (-3128, [(-3128, 0, 0)]), (-3131, [(-3131, -24, 4.937)]), (-3135, [(-3135, -2, 0.1370)]), (-3143, [(-3143, 0, 0)]), (-3147, [(-3147, 18, 5.539)]), (-3156, [(-3156, -6, 0.6146)]), (-3167, [(-3167, -16, 2.182)]), (-3176, [(-3176, 12, 1.225)]), (-3183, [(-3183, 6, 0.6120)]), (-3188, [(-3188, 8, 0.5436)]), (-3191, [(-3191, 0, 0)]), (-3192, [(-3192, 4, 0.5432)]), (-3207, [(-3207, -18, 5.487)]), (-3219, [(-3219, -4, 0.2705)]), (-3224, [(-3224, -8, 0.5405)]), (-3243, [(-3243, 32, 17.25)]), (-3251, [(-3251, -12, 1.211)]), (-3252, [(-3252, 24, 9.688)]), (-3263, [(-3263, -20, 3.358)]), (-3287, [(-3287, 8, 1.071)]), (-3299, [(-3299, 16, 2.137)]), (-3320, [(-3320, -8, 0.5327)]), (-3327, [(-3327, 6, 0.5986)]), (-3335, [(-3335, -8, 0.5315)]), (-3347, [(-3347, 24, 4.775)]), (-3359, [(-3359, 0, 0)]), (-3363, [(-3363, 8, 2.117)]), (-3371, [(-3371, 24, 4.758)]), (-3395, [(-3395, 20, 3.292)]), (-3396, [(-3396, 2, 0.06583)]), (-3416, [(-3416, 4, 0.1313)]), (-3419, [(-3419, 4, 0.1312)]), (-3423, [(-3423, 0, 0)]), (-3428, [(-3428, 12, 1.179)]), (-3432, [(-3432, 20, 6.549)]), (-3435, [(-3435, 14, 3.208)]), (-3471, [(-3471, 0, 0)]), (-3476, [(-3476, 8, 0.5206)]), (-3480, [(-3480, 12, 2.341)]), (-3491, [(-3491, -12, 1.169)]), (-3495, [(-3495, -6, 0.5841)]), (-3515, [(-3515, 20, 6.471)]), (-3527, [(-3527, 4, 0.1292)]), (-3563, [(-3563, -4, 0.1285)]), (-3567, [(-3567, 16, 4.111)]), (-3572, [(-3572, -12, 2.311)]), (-3587, [(-3587, -4, 0.1281)]), (-3599, [(-3599, -12, 1.151)]), (-3603, [(-3603, -22, 7.734)]), (-3620, [(-3620, 24, 4.591)]), (-3623, [(-3623, 16, 2.040)]), (-3624, [(-3624, 4, 0.2549)]), (-3639, [(-3639, 0, 0)]), (-3647, [(-3647, -16, 2.033)]), (-3651, [(-3651, 0, 0)]), (-3656, [(-3656, 4, 0.1269)]), (-3704, [(-3704, 20, 3.152)]), (-3707, [(-3707, 28, 6.175)]), (-3719, [(-3719, 4, 0.1258)]), (-3720, [(-3720, 0, 0)]), (-3723, [(-3723, -2, 0.06288)]), (-3732, [(-3732, 6, 0.5652)]), (-3743, [(-3743, 0, 0)]), (-3755, [(-3755, 8, 0.5009)]), (-3764, [(-3764, 8, 0.5003)]), (-3783, [(-3783, -4, 0.2495)]), (-3791, [(-3791, 12, 1.122)]), (-3795, [(-3795, -24, 8.968)]), (-3803, [(-3803, -24, 4.479)]), (-3812, [(-3812, 16, 1.988)]), (-3815, [(-3815, 0, 0)]), (-3819, [(-3819, 8, 1.987)]), (-3827, [(-3827, -28, 6.078)]), (-3831, [(-3831, 10, 1.550)]), (-3848, [(-3848, -8, 0.4948)]), (-3851, [(-3851, 12, 1.113)]), (-3860, [(-3860, -16, 1.976)]), (-3867, [(-3867, 6, 0.5553)]), (-3876, [(-3876, -2, 0.1232)]), (-3891, [(-3891, -4, 0.2460)]), (-3903, [(-3903, 20, 6.141)]), (-3908, [(-3908, -20, 3.069)]), (-3927, [(-3927, 6, 0.5510)]), (-3935, [(-3935, 0, 0)]), (-3947, [(-3947, 24, 4.397)]), (-3983, [(-3983, 4, 0.1216)]), (-3992, [(-3992, -20, 3.036)]), (-4004, [(-4004, -20, 3.032)]), (-4008, [(-4008, -28, 11.88)]), (-4011, [(-4011, 2, 0.06058)]), (-4019, [(-4019, 32, 7.746)]), (-4031, [(-4031, 0, 0)]), (-4040, [(-4040, -8, 0.4829)]), (-4043, [(-4043, -36, 9.775)]), (-4047, [(-4047, 0, 0)]), (-4055, [(-4055, -12, 1.084)]), (-4079, [(-4079, 0, 0)]), (-4088, [(-4088, 20, 3.000)]), (-4103, [(-4103, 16, 1.917)]), (-4119, [(-4119, 2, 0.05978)]), (-4136, [(-4136, 4, 0.1193)]), (-4152, [(-4152, -8, 0.9526)]), (-4155, [(-4155, -22, 7.202)]), (-4163, [(-4163, 0, 0)]), (-4164, [(-4164, -10, 1.486)]), (-4179, [(-4179, -10, 1.484)]), (-4199, [(-4199, -4, 0.2368)]), (-4211, [(-4211, 4, 0.1182)]), (-4247, [(-4247, 12, 1.060)]), (-4251, [(-4251, -24, 8.473)]), (-4259, [(-4259, 8, 0.4703)]), (-4271, [(-4271, 4, 0.1174)]), (-4283, [(-4283, 4, 0.1172)]), (-4287, [(-4287, 10, 1.465)]), (-4296, [(-4296, 4, 0.2341)]), (-4307, [(-4307, -28, 5.729)]), (-4308, [(-4308, 10, 1.461)]), (-4323, [(-4323, 30, 13.13)]), (-4328, [(-4328, 4, 0.1166)]), (-4331, [(-4331, 12, 1.049)]), (-4340, [(-4340, -12, 1.048)]), (-4344, [(-4344, -8, 0.9313)]), (-4359, [(-4359, -2, 0.05811)]), (-4388, [(-4388, 20, 2.896)]), (-4391, [(-4391, 0, 0)]), (-4403, [(-4403, 20, 2.891)]), (-4404, [(-4404, -8, 0.9250)]), (-4407, [(-4407, -16, 3.699)]), (-4427, [(-4427, 20, 5.766)]), (-4439, [(-4439, -8, 0.4607)]), (-4440, [(-4440, -16, 3.685)]), (-4467, [(-4467, 34, 16.59)]), (-4479, [(-4479, 2, 0.05732)]), (-4484, [(-4484, 12, 2.063)]), (-4487, [(-4487, 4, 0.1145)]), (-4499, [(-4499, 12, 1.030)]), (-4503, [(-4503, -8, 1.829)]), (-4511, [(-4511, 4, 0.1142)]), (-4515, [(-4515, -2, 0.05710)]), (-4532, [(-4532, -16, 1.824)]), (-4535, [(-4535, -4, 0.1139)]), (-4551, [(-4551, -4, 0.2275)]), (-4559, [(-4559, 12, 1.023)]), (-4568, [(-4568, -32, 7.266)]), (-4587, [(-4587, 34, 16.37)]), (-4611, [(-4611, 8, 0.9040)]), (-4616, [(-4616, 12, 1.016)]), (-4619, [(-4619, -12, 1.016)]), (-4631, [(-4631, -12, 1.015)]), (-4632, [(-4632, -12, 2.029)]), (-4667, [(-4667, -20, 2.808)]), (-4676, [(-4676, -8, 0.4488)]), (-4692, [(-4692, 4, 0.2240)]), (-4695, [(-4695, 4, 0.2240)]), (-4703, [(-4703, -4, 0.1119)]), (-4712, [(-4712, -16, 3.577)]), (-4715, [(-4715, -32, 7.152)]), (-4724, [(-4724, -12, 1.005)]), (-4727, [(-4727, 8, 0.4464)]), (-4731, [(-4731, -8, 1.785)]), (-4739, [(-4739, 16, 1.783)]), (-4760, [(-4760, 20, 2.780)]), (-4763, [(-4763, -16, 1.779)]), (-4772, [(-4772, 4, 0.1111)]), (-4787, [(-4787, -28, 5.434)]), (-4791, [(-4791, -4, 0.2217)]), (-4803, [(-4803, 22, 6.698)]), (-4820, [(-4820, 20, 2.763)]), (-4836, [(-4836, 0, 0)]), (-4839, [(-4839, -2, 0.05515)]), (-4847, [(-4847, -12, 0.9919)]), (-4859, [(-4859, 16, 1.761)]), (-4863, [(-4863, -2, 0.05502)]), (-4872, [(-4872, -4, 0.2199)]), (-4883, [(-4883, -16, 3.514)]), (-4895, [(-4895, -12, 0.9870)]), (-4904, [(-4904, 12, 0.9861)]), (-4916, [(-4916, 8, 0.4377)]), (-4920, [(-4920, -8, 0.8751)]), (-4931, [(-4931, 0, 0)]), (-4935, [(-4935, 2, 0.05461)]), (-4943, [(-4943, 4, 0.1091)]), (-4952, [(-4952, 8, 0.4361)]), (-4955, [(-4955, -4, 0.1090)]), (-4967, [(-4967, -4, 0.1089)]), (-4971, [(-4971, -28, 10.67)]), (-4980, [(-4980, 0, 0)]), (-4991, [(-4991, 8, 0.4344)]), (-5007, [(-5007, -22, 6.560)]), (-5012, [(-5012, 8, 0.4335)]), (-5015, [(-5015, 12, 0.9752)]), (-5016, [(-5016, -12, 3.900)]), (-5019, [(-5019, 2, 0.05415)]), (-5028, [(-5028, -8, 0.8657)]), (-5048, [(-5048, -4, 0.1080)]), (-5064, [(-5064, -4, 0.2156)]), (-5087, [(-5087, -12, 0.9682)]), (-5091, [(-5091, -14, 2.635)]), (-5111, [(-5111, -4, 0.2147)]), (-5123, [(-5123, 16, 1.715)]), (-5124, [(-5124, 6, 0.4824)]), (-5144, [(-5144, -4, 0.1070)]), (-5151, [(-5151, 0, 0)]), (-5159, [(-5159, 0, 0)]), (-5163, [(-5163, -6, 0.4805)]), (-5171, [(-5171, 12, 0.9603)]), (-5183, [(-5183, 4, 0.1066)]), (-5187, [(-5187, -20, 10.65)]), (-5195, [(-5195, 28, 5.216)]), (-5199, [(-5199, -6, 0.4789)]), (-5208, [(-5208, 0, 0)]), (-5219, [(-5219, -24, 3.824)]), (-5235, [(-5235, 6, 0.4772)]), (-5240, [(-5240, -4, 0.1060)]), (-5252, [(-5252, 24, 3.812)]), (-5259, [(-5259, -14, 2.592)]), (-5271, [(-5271, 10, 1.321)]), (-5295, [(-5295, -4, 0.2109)]), (-5303, [(-5303, 16, 1.686)]), (-5304, [(-5304, 4, 0.2107)]), (-5315, [(-5315, 40, 10.52)]), (-5316, [(-5316, 6, 0.4736)]), (-5339, [(-5339, 0, 0)]), (-5351, [(-5351, 4, 0.1049)]), (-5352, [(-5352, 32, 13.43)]), (-5379, [(-5379, -16, 3.348)]), (-5387, [(-5387, -28, 5.123)]), (-5396, [(-5396, 4, 0.2089)]), (-5399, [(-5399, -12, 0.9398)]), (-5411, [(-5411, 4, 0.1043)]), (-5423, [(-5423, -8, 0.4168)]), (-5444, [(-5444, 0, 0)]), (-5447, [(-5447, -24, 3.743)]), (-5448, [(-5448, 12, 1.871)]), (-5471, [(-5471, 4, 0.1037)]), (-5480, [(-5480, -12, 0.9329)]), (-5487, [(-5487, -8, 0.8287)]), (-5523, [(-5523, 18, 4.182)]), (-5528, [(-5528, -28, 5.057)]), (-5531, [(-5531, 12, 0.9286)]), (-5543, [(-5543, 8, 0.4122)]), (-5556, [(-5556, 2, 0.05147)]), (-5567, [(-5567, -16, 3.291)]), (-5579, [(-5579, -8, 0.4109)]), (-5588, [(-5588, 40, 10.26)]), (-5604, [(-5604, -10, 1.281)]), (-5615, [(-5615, -12, 0.9216)]), (-5619, [(-5619, -2, 0.05118)]), (-5624, [(-5624, -8, 0.8185)]), (-5627, [(-5627, 0, 0)]), (-5636, [(-5636, 16, 1.635)]), (-5639, [(-5639, 8, 0.4087)]), (-5651, [(-5651, -16, 1.633)]), (-5655, [(-5655, 4, 0.2041)]), (-5672, [(-5672, 40, 10.19)]), (-5691, [(-5691, 0, 0)]), (-5699, [(-5699, -12, 0.9148)]), (-5703, [(-5703, -4, 0.2032)]), (-5727, [(-5727, 0, 0)]), (-5732, [(-5732, -4, 0.1013)]), (-5748, [(-5748, -20, 5.060)]), (-5759, [(-5759, 4, 0.1011)]), (-5771, [(-5771, 0, 0)]), (-5784, [(-5784, -8, 0.8071)]), (-5795, [(-5795, 4, 0.2016)]), (-5807, [(-5807, -12, 0.9062)]), (-5816, [(-5816, -4, 0.1006)]), (-5828, [(-5828, -36, 8.141)]), (-5835, [(-5835, 10, 1.256)]), (-5843, [(-5843, 20, 2.509)]), (-5847, [(-5847, 8, 0.8028)]), (-5855, [(-5855, -4, 0.1003)]), (-5864, [(-5864, 0, 0)]), (-5867, [(-5867, 40, 10.02)]), (-5871, [(-5871, 4, 0.4006)]), (-5879, [(-5879, 4, 0.1001)]), (-5883, [(-5883, -24, 7.203)]), (-5892, [(-5892, 16, 3.199)]), (-5903, [(-5903, 24, 3.595)]), (-5912, [(-5912, -44, 12.07)]), (-5919, [(-5919, 2, 0.04987)]), (-5924, [(-5924, -4, 0.09969)]), (-5927, [(-5927, 8, 0.3987)]), (-5928, [(-5928, 12, 3.588)]), (-5943, [(-5943, -10, 1.244)]), (-5955, [(-5955, -14, 2.436)]), (-5960, [(-5960, -12, 0.8945)]), (-5979, [(-5979, 14, 2.431)]), (-5987, [(-5987, -40, 9.917)]), (-5988, [(-5988, -18, 4.016)]), (-5999, [(-5999, 4, 0.09907)]), (-6023, [(-6023, 4, 0.1977)]), (-6035, [(-6035, -20, 2.469)]), (-6036, [(-6036, 8, 0.7901)]), (-6056, [(-6056, 4, 0.09860)]), (-6063, [(-6063, -10, 1.232)]), (-6071, [(-6071, -12, 0.8863)]), (-6083, [(-6083, -24, 3.542)]), (-6095, [(-6095, 0, 0)]), (-6099, [(-6099, -12, 3.537)]), (-6107, [(-6107, 0, 0)]), (-6131, [(-6131, -12, 0.8819)]), (-6132, [(-6132, -18, 3.968)]), (-6152, [(-6152, 20, 2.446)]), (-6155, [(-6155, -12, 0.8802)]), (-6159, [(-6159, 0, 0)]), (-6164, [(-6164, -16, 1.564)]), (-6168, [(-6168, 16, 3.126)]), (-6207, [(-6207, 8, 0.7791)]), (-6212, [(-6212, 0, 0)]), (-6215, [(-6215, 0, 0)]), (-6216, [(-6216, 16, 3.114)]), (-6227, [(-6227, 32, 6.223)]), (-6231, [(-6231, 12, 1.750)]), (-6251, [(-6251, -4, 0.1941)]), (-6263, [(-6263, -16, 1.551)]), (-6299, [(-6299, -16, 1.547)]), (-6303, [(-6303, 2, 0.04832)]), (-6308, [(-6308, 16, 3.091)]), (-6311, [(-6311, 8, 0.3863)]), (-6323, [(-6323, -20, 2.412)]), (-6335, [(-6335, 16, 1.542)]), (-6339, [(-6339, -2, 0.04819)]), (-6356, [(-6356, 12, 0.8662)]), (-6359, [(-6359, -8, 0.3849)]), (-6360, [(-6360, 8, 0.7697)]), (-6383, [(-6383, 0, 0)]), (-6387, [(-6387, -2, 0.04801)]), (-6392, [(-6392, -12, 0.8638)]), (-6411, [(-6411, 10, 1.198)]), (-6440, [(-6440, 8, 0.3825)]), (-6443, [(-6443, -8, 0.3824)]), (-6455, [(-6455, 0, 0)]), (-6456, [(-6456, -8, 0.7640)]), (-6459, [(-6459, 16, 3.055)]), (-6479, [(-6479, 4, 0.1907)]), (-6491, [(-6491, 16, 1.524)]), (-6519, [(-6519, 12, 1.711)]), (-6527, [(-6527, 8, 0.3799)]), (-6531, [(-6531, 10, 1.187)]), (-6536, [(-6536, -4, 0.1898)]), (-6539, [(-6539, 24, 3.416)]), (-6548, [(-6548, 4, 0.09482)]), (-6551, [(-6551, -4, 0.09480)]), (-6555, [(-6555, 0, 0)]), (-6563, [(-6563, 28, 4.641)]), (-6567, [(-6567, -6, 0.4261)]), (-6584, [(-6584, -4, 0.09456)]), (-6587, [(-6587, 24, 3.403)]), (-6596, [(-6596, -28, 4.629)]), (-6603, [(-6603, -4, 0.1889)]), (-6611, [(-6611, 12, 0.8493)]), (-6612, [(-6612, 20, 9.436)]), (-6639, [(-6639, 6, 0.4238)]), (-6644, [(-6644, 12, 0.8472)]), (-6663, [(-6663, -2, 0.04700)]), (-6671, [(-6671, 8, 0.3758)]), (-6683, [(-6683, -40, 9.386)]), (-6707, [(-6707, -32, 11.99)]), (-6719, [(-6719, 4, 0.09361)]), (-6740, [(-6740, -4, 0.09346)]), (-6744, [(-6744, 0, 0)]), (-6747, [(-6747, 16, 2.989)]), (-6755, [(-6755, -32, 5.975)]), (-6767, [(-6767, 8, 0.3731)]), (-6779, [(-6779, -4, 0.09319)]), (-6783, [(-6783, -10, 2.329)]), (-6791, [(-6791, -8, 0.3724)]), (-6815, [(-6815, -16, 1.487)]), (-6824, [(-6824, 16, 1.486)]), (-6836, [(-6836, 4, 0.09280)]), (-6839, [(-6839, -4, 0.09278)]), (-6843, [(-6843, 6, 0.4174)]), (-6852, [(-6852, -16, 2.966)]), (-6855, [(-6855, 10, 1.158)]), (-6872, [(-6872, 12, 0.8330)]), (-6888, [(-6888, 16, 2.958)]), (-6891, [(-6891, -10, 1.155)]), (-6899, [(-6899, 8, 0.3695)]), (-6911, [(-6911, 4, 0.09230)]), (-6915, [(-6915, -10, 1.153)]), (-6935, [(-6935, -4, 0.1843)]), (-6947, [(-6947, 16, 1.473)]), (-6968, [(-6968, 16, 1.471)]), (-6983, [(-6983, 4, 0.09182)]), (-6987, [(-6987, -38, 16.57)]), (-6995, [(-6995, 52, 15.50)]), (-7019, [(-7019, -8, 0.3663)]), (-7023, [(-7023, -4, 0.1831)]), (-7032, [(-7032, 0, 0)]), (-7043, [(-7043, -16, 1.463)]), (-7044, [(-7044, 14, 2.240)]), (-7059, [(-7059, -12, 1.644)]), (-7064, [(-7064, -4, 0.09129)]), (-7067, [(-7067, 44, 11.04)]), (-7071, [(-7071, -6, 0.4106)]), (-7076, [(-7076, -8, 0.3649)]), (-7080, [(-7080, 4, 0.1824)]), (-7095, [(-7095, 10, 1.139)]), (-7124, [(-7124, -12, 0.8182)]), (-7127, [(-7127, 4, 0.09089)]), (-7140, [(-7140, 22, 5.494)]), (-7143, [(-7143, 6, 0.4085)]), (-7163, [(-7163, -32, 11.60)]), (-7176, [(-7176, -8, 0.7246)]), (-7211, [(-7211, -28, 4.427)]), (-7215, [(-7215, -8, 0.7227)]), (-7223, [(-7223, 4, 0.09028)]), (-7235, [(-7235, 20, 2.255)]), (-7239, [(-7239, -4, 0.3607)]), (-7247, [(-7247, 20, 2.253)]), (-7251, [(-7251, 14, 2.208)]), (-7268, [(-7268, -24, 3.240)]), (-7271, [(-7271, 0, 0)]), (-7287, [(-7287, -6, 0.4045)]), (-7295, [(-7295, -12, 0.8085)]), (-7304, [(-7304, 0, 0)]), (-7311, [(-7311, -2, 0.04487)]), (-7323, [(-7323, 48, 25.82)]), (-7347, [(-7347, -24, 6.445)]), (-7352, [(-7352, -24, 3.222)]), (-7355, [(-7355, 4, 0.08947)]), (-7367, [(-7367, 4, 0.08940)]), (-7368, [(-7368, 12, 1.609)]), (-7391, [(-7391, 4, 0.1785)]), (-7403, [(-7403, -68, 25.77)]), (-7412, [(-7412, -8, 0.3565)]), (-7428, [(-7428, 4, 0.1781)]), (-7431, [(-7431, -8, 0.7121)]), (-7439, [(-7439, -8, 0.3558)]), (-7451, [(-7451, 0, 0)]), (-7460, [(-7460, 24, 3.198)]), (-7463, [(-7463, -32, 5.684)]), (-7467, [(-7467, 6, 0.7992)]), (-7496, [(-7496, 4, 0.08862)]), (-7499, [(-7499, 28, 4.342)]), (-7508, [(-7508, 20, 2.214)]), (-7523, [(-7523, 24, 3.185)]), (-7527, [(-7527, 16, 2.830)]), (-7539, [(-7539, 18, 3.579)]), (-7556, [(-7556, -4, 0.08827)]), (-7572, [(-7572, -2, 0.04409)]), (-7583, [(-7583, -32, 5.639)]), (-7599, [(-7599, -10, 1.100)]), (-7608, [(-7608, -12, 1.583)]), (-7619, [(-7619, 0, 0)]), (-7631, [(-7631, -12, 0.7905)]), (-7640, [(-7640, -4, 0.08778)]), (-7652, [(-7652, -12, 0.7894)]), (-7656, [(-7656, -12, 1.578)]), (-7667, [(-7667, -4, 0.08763)]), (-7671, [(-7671, 2, 0.04380)]), (-7679, [(-7679, 4, 0.08756)]), (-7691, [(-7691, 20, 2.187)]), (-7703, [(-7703, 0, 0)]), (-7707, [(-7707, 16, 2.797)]), (-7716, [(-7716, 22, 5.285)]), (-7727, [(-7727, 8, 0.3492)]), (-7736, [(-7736, 16, 1.396)]), (-7743, [(-7743, 8, 0.6976)]), (-7748, [(-7748, 4, 0.08717)]), (-7751, [(-7751, -8, 0.3486)]), (-7752, [(-7752, 4, 0.3486)]), (-7755, [(-7755, -6, 0.3921)]), (-7764, [(-7764, 22, 5.268)]), (-7779, [(-7779, 18, 3.523)]), (-7784, [(-7784, 4, 0.08697)]), (-7811, [(-7811, 0, 0)]), (-7823, [(-7823, 20, 2.169)]), (-7827, [(-7827, 14, 2.125)]), (-7847, [(-7847, -12, 1.559)]), (-7859, [(-7859, -16, 1.385)]), (-7860, [(-7860, -2, 0.04327)]), (-7880, [(-7880, 8, 0.3457)]), (-7887, [(-7887, -2, 0.04320)]), (-7895, [(-7895, -8, 0.3454)]), (-7899, [(-7899, 6, 0.3885)]), (-7907, [(-7907, 48, 12.43)]), (-7919, [(-7919, -4, 0.08622)]), (-7923, [(-7923, -10, 2.155)]), (-7931, [(-7931, 8, 0.3446)]), (-7944, [(-7944, -12, 1.550)]), (-7955, [(-7955, 4, 0.08603)]), (-7971, [(-7971, 2, 0.04297)]), (-7976, [(-7976, -4, 0.08591)]), (-7979, [(-7979, -8, 0.3436)]), (-7988, [(-7988, -16, 1.374)]), (-7995, [(-7995, -12, 1.545)]), (-8007, [(-8007, -12, 1.543)]), (-8031, [(-8031, -16, 2.740)]), (-8039, [(-8039, 0, 0)]), (-8040, [(-8040, -28, 8.386)]), (-8051, [(-8051, 32, 5.473)]), (-8052, [(-8052, -30, 9.620)]), (-8087, [(-8087, 20, 2.133)]), (-8088, [(-8088, -4, 0.1706)]), (-8115, [(-8115, -6, 0.3833)]), (-8123, [(-8123, 12, 0.7662)]), (-8132, [(-8132, -16, 2.723)]), (-8135, [(-8135, 16, 1.361)]), (-8147, [(-8147, -28, 4.165)]), (-8151, [(-8151, 4, 0.3400)]), (-8159, [(-8159, 12, 0.7645)]), (-8180, [(-8180, -4, 0.08484)]), (-8184, [(-8184, -8, 0.6785)]), (-8207, [(-8207, 0, 0)]), (-8211, [(-8211, 0, 0)]), (-8216, [(-8216, 16, 1.354)]), (-8223, [(-8223, 12, 1.523)]), (-8259, [(-8259, -18, 3.419)]), (-8264, [(-8264, -16, 1.350)]), (-8267, [(-8267, 12, 0.7595)]), (-8279, [(-8279, -12, 0.7590)]), (-8283, [(-8283, 30, 9.485)]), (-8292, [(-8292, -6, 0.3792)]), (-8315, [(-8315, 20, 2.104)]), (-8324, [(-8324, -8, 0.3364)]), (-8340, [(-8340, 10, 1.050)]), (-8351, [(-8351, 4, 0.08396)]), (-8355, [(-8355, 50, 26.23)]), (-8360, [(-8360, 12, 1.511)]), (-8363, [(-8363, 12, 0.7551)]), (-8372, [(-8372, -16, 1.342)]), (-8387, [(-8387, -44, 10.14)]), (-8391, [(-8391, -2, 0.04188)]), (-8408, [(-8408, 24, 3.012)]), (-8411, [(-8411, -28, 4.100)]), (-8420, [(-8420, 4, 0.08362)]), (-8435, [(-8435, -28, 4.094)]), (-8436, [(-8436, 16, 5.347)]), (-8439, [(-8439, 8, 0.6682)]), (-8463, [(-8463, -8, 0.6673)]), (-8468, [(-8468, 16, 1.334)]), (-8484, [(-8484, 12, 1.499)]), (-8495, [(-8495, -4, 0.08325)]), (-8507, [(-8507, -16, 1.331)]), (-8511, [(-8511, -2, 0.04159)]), (-8520, [(-8520, 12, 1.496)]), (-8531, [(-8531, 8, 0.6646)]), (-8543, [(-8543, 0, 0)]), (-8552, [(-8552, 4, 0.08297)]), (-8564, [(-8564, 0, 0)]), (-8571, [(-8571, 4, 0.1658)]), (-8579, [(-8579, -8, 0.3314)]), (-8583, [(-8583, -8, 0.6626)]), (-8603, [(-8603, -64, 21.18)]), (-8607, [(-8607, 16, 5.293)]), (-8615, [(-8615, -12, 0.7440)]), (-8628, [(-8628, -42, 18.21)]), (-8639, [(-8639, -8, 0.3302)]), (-8648, [(-8648, -24, 2.970)]), (-8655, [(-8655, 2, 0.04124)]), (-8660, [(-8660, 0, 0)]), (-8663, [(-8663, 24, 2.968)]), (-8679, [(-8679, -2, 0.04118)]), (-8691, [(-8691, -12, 1.482)]), (-8696, [(-8696, -12, 0.7405)]), (-8715, [(-8715, -8, 0.6575)]), (-8723, [(-8723, -20, 2.054)]), (-8724, [(-8724, 10, 1.027)]), (-8735, [(-8735, 12, 0.7389)]), (-8759, [(-8759, -4, 0.1640)]), (-8772, [(-8772, 22, 4.956)]), (-8792, [(-8792, -32, 5.237)]), (-8799, [(-8799, -8, 0.6544)]), (-8807, [(-8807, 0, 0)]), (-8819, [(-8819, -8, 0.3268)]), (-8831, [(-8831, -4, 0.08165)]), (-8835, [(-8835, 20, 8.163)]), (-8843, [(-8843, 60, 18.36)]), (-8867, [(-8867, 0, 0)]), (-8868, [(-8868, -6, 0.3667)]), (-8888, [(-8888, -16, 1.302)]), (-8891, [(-8891, -8, 0.3255)]), (-8895, [(-8895, 12, 1.464)]), (-8904, [(-8904, -16, 2.602)]), (-8907, [(-8907, 6, 0.3659)]), (-8943, [(-8943, 16, 2.596)]), (-8948, [(-8948, -40, 8.111)]), (-8951, [(-8951, -4, 0.08110)]), (-8952, [(-8952, -8, 0.6488)]), (-8963, [(-8963, 0, 0)]), (-8987, [(-8987, -4, 0.1619)]), (-8999, [(-8999, 16, 1.294)]), (-9035, [(-9035, 20, 2.018)]), (-9039, [(-9039, -8, 0.6456)]), (-9044, [(-9044, 4, 0.1614)]), (-9047, [(-9047, 0, 0)]), (-9059, [(-9059, 12, 0.7256)]), (-9071, [(-9071, 8, 0.3223)]), (-9092, [(-9092, 24, 2.897)]), (-9095, [(-9095, 8, 0.3218)]), (-9096, [(-9096, 0, 0)]), (-9111, [(-9111, 2, 0.04019)]), (-9119, [(-9119, 0, 0)]), (-9123, [(-9123, -10, 1.004)]), (-9128, [(-9128, -8, 0.3212)]), (-9147, [(-9147, -2, 0.04011)]), (-9176, [(-9176, 8, 0.3204)]), (-9179, [(-9179, 40, 8.009)]), (-9191, [(-9191, 0, 0)]), (-9192, [(-9192, -8, 0.6402)]), (-9195, [(-9195, -18, 3.241)]), (-9204, [(-9204, -8, 0.6398)]), (-9215, [(-9215, 4, 0.1599)]), (-9227, [(-9227, -32, 5.112)]), (-9236, [(-9236, 0, 0)]), (-9255, [(-9255, -10, 0.9970)]), (-9263, [(-9263, 0, 0)]), (-9267, [(-9267, 10, 0.9963)]), (-9272, [(-9272, -12, 1.434)]), (-9284, [(-9284, 28, 3.902)]), (-9287, [(-9287, 4, 0.07962)]), (-9291, [(-9291, 16, 5.095)]), (-9299, [(-9299, -4, 0.07957)]), (-9303, [(-9303, 6, 0.3580)]), (-9320, [(-9320, -12, 0.7153)]), (-9323, [(-9323, 8, 0.3179)]), (-9332, [(-9332, 4, 0.07943)]), (-9339, [(-9339, -34, 11.47)]), (-9347, [(-9347, -12, 0.7143)]), (-9348, [(-9348, 0, 0)]), (-9363, [(-9363, -50, 24.78)]), (-9380, [(-9380, 0, 0)]), (-9399, [(-9399, 4, 0.1583)]), (-9407, [(-9407, 8, 0.3164)]), (-9419, [(-9419, -12, 0.7116)]), (-9443, [(-9443, -28, 7.738)]), (-9455, [(-9455, -4, 0.07891)]), (-9476, [(-9476, 0, 0)]), (-9480, [(-9480, 28, 7.723)]), (-9483, [(-9483, -20, 3.940)]), (-9491, [(-9491, 8, 0.3150)]), (-9503, [(-9503, -20, 1.968)]), (-9512, [(-9512, -8, 0.3147)]), (-9515, [(-9515, 64, 20.14)]), (-9519, [(-9519, 4, 0.3146)]), (-9527, [(-9527, 16, 1.258)]), (-9551, [(-9551, -4, 0.07851)]), (-9560, [(-9560, -4, 0.07847)]), (-9572, [(-9572, 4, 0.07843)]), (-9579, [(-9579, -4, 0.1568)]), (-9588, [(-9588, 10, 0.9795)]), (-9591, [(-9591, 8, 0.6268)]), (-9608, [(-9608, 4, 0.07828)]), (-9624, [(-9624, -4, 0.1564)]), (-9627, [(-9627, -26, 6.608)]), (-9635, [(-9635, -20, 1.954)]), (-9636, [(-9636, -18, 3.166)]), (-9647, [(-9647, 0, 0)]), (-9651, [(-9651, -2, 0.03905)]), (-9671, [(-9671, -12, 1.404)]), (-9683, [(-9683, 16, 1.248)]), (-9704, [(-9704, 8, 0.3116)]), (-9719, [(-9719, -4, 0.07783)]), (-9723, [(-9723, 30, 8.754)]), (-9731, [(-9731, 12, 0.7001)]), (-9743, [(-9743, -16, 1.244)]), (-9755, [(-9755, 16, 1.243)]), (-9759, [(-9759, -10, 0.9709)]), (-9768, [(-9768, 8, 0.6211)]), (-9779, [(-9779, -8, 0.3104)]), (-9780, [(-9780, -8, 0.6207)]), (-9795, [(-9795, -10, 0.9691)]), (-9803, [(-9803, 24, 2.790)]), (-9807, [(-9807, 10, 0.9685)]), (-9812, [(-9812, 12, 0.6972)]), (-9816, [(-9816, -24, 5.576)]), (-9831, [(-9831, -8, 0.6191)]), (-9860, [(-9860, 8, 0.3091)]), (-9863, [(-9863, 8, 0.3090)]), (-9876, [(-9876, -6, 0.3474)]), (-9879, [(-9879, 12, 1.390)]), (-9899, [(-9899, 32, 9.871)]), (-9911, [(-9911, 4, 0.07707)]), (-9912, [(-9912, 20, 3.853)]), (-9939, [(-9939, 14, 1.886)]), (-9951, [(-9951, -4, 0.1538)]), (-9956, [(-9956, 4, 0.1538)]), (-9959, [(-9959, 8, 0.3076)]), (-9983, [(-9983, 8, 0.3072)]), (-9987, [(-9987, -16, 2.457)])]]

# map: (1 |-> 1.0) -> 1, Fractional ideal (3) -> -1, Fractional ideal (19) -> 1
[-59, 4 + 3*i + 99/2*j + 1/2*k, [(5, [(5, 4, 4.969)]), (17, [(17, -4, 2.695)]), (44, [(44, -4, 1.675)]), (77, [(77, -12, 11.40)]), (92, [(92, 8, 4.634)]), (101, [(101, 8, 4.422)]), (104, [(104, 8, 4.358)]), (137, [(137, 4, 0.9493)]), (140, [(140, 4, 0.9390)]), (149, [(149, -4, 0.9102)]), (152, [(152, -8, 7.210)]), (161, [(161, 0, 0)]), (188, [(188, 12, 7.293)]), (197, [(197, -8, 3.167)]), (209, [(209, 4, 1.537)]), (233, [(233, 4, 0.7279)]), (248, [(248, 16, 11.29)]), (296, [(296, 0, 0)]), (305, [(305, -4, 0.6362)]), (329, [(329, 4, 0.6126)]), (332, [(332, -16, 9.757)]), (353, [(353, 8, 2.366)]), (365, [(365, 12, 5.234)]), (377, [(377, -8, 2.289)]), (380, [(380, 4, 1.140)]), (389, [(389, -4, 0.5634)]), (437, [(437, 16, 17.01)]), (461, [(461, -12, 4.657)]), (473, [(473, 4, 0.5109)]), (476, [(476, -4, 0.5093)]), (524, [(524, -12, 4.368)]), (533, [(533, 8, 1.925)]), (536, [(536, -8, 1.920)]), (557, [(557, 12, 4.237)]), (581, [(581, 0, 0)]), (593, [(593, -8, 1.825)]), (617, [(617, -4, 0.4473)]), (632, [(632, -8, 1.768)]), (653, [(653, -12, 3.913)]), (665, [(665, -4, 0.8617)]), (689, [(689, -8, 1.693)]), (701, [(701, 0, 0)]), (728, [(728, -8, 1.647)]), (761, [(761, -4, 0.4028)]), (764, [(764, -4, 0.4020)]), (776, [(776, -8, 1.595)]), (785, [(785, 0, 0)]), (809, [(809, -4, 0.3906)]), (821, [(821, 4, 0.3878)]), (824, [(824, 0, 0)]), (860, [(860, 12, 3.410)]), (872, [(872, -8, 1.505)]), (881, [(881, 12, 3.369)]), (893, [(893, -12, 6.693)]), (917, [(917, 20, 9.173)]), (929, [(929, -8, 1.458)]), (956, [(956, 4, 0.3594)]), (989, [(989, 0, 0)]), (1004, [(1004, -4, 0.3507)]), (1013, [(1013, -36, 28.28)]), (1016, [(1016, 8, 1.394)]), (1037, [(1037, -12, 3.105)]), (1049, [(1049, 12, 3.088)]), (1052, [(1052, -4, 0.3426)]), (1061, [(1061, -12, 3.070)]), (1064, [(1064, 8, 2.725)]), (1073, [(1073, 8, 1.357)]), (1109, [(1109, 28, 16.35)]), (1121, [(1121, 0, 0)]), (1145, [(1145, 4, 0.3284)]), (1157, [(1157, 16, 5.227)]), (1160, [(1160, -24, 11.74)]), (1208, [(1208, 8, 1.279)]), (1217, [(1217, 8, 1.274)]), (1241, [(1241, 4, 0.3154)]), (1244, [(1244, 12, 2.835)]), (1265, [(1265, -8, 1.250)]), (1277, [(1277, -36, 25.19)]), (1289, [(1289, -4, 0.3095)]), (1292, [(1292, -4, 0.6182)]), (1301, [(1301, -16, 4.929)]), (1337, [(1337, -4, 0.3039)]), (1349, [(1349, -16, 9.681)]), (1373, [(1373, -4, 0.2999)]), (1385, [(1385, 12, 2.687)]), (1388, [(1388, -4, 0.2982)]), (1436, [(1436, 4, 0.2932)]), (1448, [(1448, 32, 18.69)]), (1469, [(1469, 16, 4.638)]), (1493, [(1493, -4, 0.2876)]), (1505, [(1505, -12, 2.578)]), (1517, [(1517, 40, 28.53)]), (1529, [(1529, 4, 0.2842)]), (1544, [(1544, -8, 1.131)]), (1565, [(1565, 8, 1.123)]), (1577, [(1577, -8, 2.238)]), (1601, [(1601, -4, 0.2777)]), (1613, [(1613, 28, 13.56)]), (1640, [(1640, 0, 0)]), (1673, [(1673, 12, 2.445)]), (1676, [(1676, -8, 1.086)]), (1688, [(1688, -8, 1.082)]), (1697, [(1697, -20, 6.743)]), (1721, [(1721, -12, 2.410)]), (1733, [(1733, 4, 0.2669)]), (1736, [(1736, 0, 0)]), (1745, [(1745, -4, 0.2660)]), (1757, [(1757, 4, 0.2651)]), (1772, [(1772, -4, 0.2640)]), (1784, [(1784, 16, 4.209)]), (1793, [(1793, 0, 0)]), (1829, [(1829, 0, 0)]), (1841, [(1841, 4, 0.2590)]), (1868, [(1868, 36, 20.82)]), (1901, [(1901, 16, 4.077)]), (1916, [(1916, -16, 4.061)]), (1928, [(1928, -32, 16.20)]), (1949, [(1949, -24, 9.061)]), (1961, [(1961, 0, 0)]), (1964, [(1964, -8, 1.003)]), (1973, [(1973, -20, 6.254)]), (1976, [(1976, 8, 2.000)]), (1985, [(1985, -12, 2.244)]), (2012, [(2012, -24, 8.918)]), (2021, [(2021, 28, 12.11)]), (2033, [(2033, 8, 1.971)]), (2069, [(2069, -8, 0.9771)]), (2072, [(2072, -16, 3.906)]), (2120, [(2120, 16, 3.861)]), (2129, [(2129, -4, 0.2408)]), (2153, [(2153, -8, 0.9578)]), (2177, [(2177, 12, 2.143)]), (2189, [(2189, -4, 0.2375)]), (2201, [(2201, -8, 0.9473)]), (2204, [(2204, 8, 1.893)]), (2213, [(2213, 12, 2.126)]), (2249, [(2249, 0, 0)]), (2261, [(2261, 4, 0.4673)]), (2285, [(2285, -44, 28.12)]), (2297, [(2297, 12, 2.086)]), (2348, [(2348, 20, 5.732)]), (2357, [(2357, 52, 38.68)]), (2360, [(2360, 8, 0.9149)]), (2381, [(2381, 12, 2.049)]), (2405, [(2405, 0, 0)]), (2417, [(2417, -4, 0.2260)]), (2429, [(2429, 12, 2.029)]), (2441, [(2441, -8, 0.8996)]), (2456, [(2456, 8, 0.8968)]), (2477, [(2477, -40, 22.32)]), (2489, [(2489, 4, 0.4454)]), (2513, [(2513, -4, 0.2216)]), (2552, [(2552, 8, 0.8798)]), (2585, [(2585, 4, 0.2185)]), (2588, [(2588, -12, 1.966)]), (2609, [(2609, 12, 1.958)]), (2633, [(2633, 4, 0.2165)]), (2648, [(2648, 8, 0.8637)]), (2657, [(2657, 12, 1.940)]), (2669, [(2669, -8, 0.8603)]), (2684, [(2684, 4, 0.2145)]), (2696, [(2696, 8, 0.8560)]), (2705, [(2705, 20, 5.341)]), (2717, [(2717, -8, 1.705)]), (2741, [(2741, 0, 0)]), (2753, [(2753, -12, 1.906)]), (2780, [(2780, -4, 0.2107)]), (2813, [(2813, -48, 30.17)]), (2828, [(2828, 16, 3.343)]), (2837, [(2837, -20, 5.215)]), (2840, [(2840, 8, 0.8340)]), (2861, [(2861, -8, 0.8309)]), (2876, [(2876, -12, 1.865)]), (2885, [(2885, -4, 0.2069)]), (2897, [(2897, 16, 3.303)]), (2924, [(2924, 20, 5.137)]), (2933, [(2933, -24, 7.386)]), (2945, [(2945, -8, 1.638)]), (2969, [(2969, -4, 0.2039)]), (2981, [(2981, -32, 13.02)]), (2984, [(2984, 0, 0)]), (3032, [(3032, -16, 3.229)]), (3041, [(3041, 4, 0.2015)]), (3065, [(3065, 4, 0.2007)]), (3068, [(3068, -16, 3.210)]), (3089, [(3089, -4, 0.1999)]), (3101, [(3101, 20, 4.988)]), (3113, [(3113, 4, 0.1991)]), (3116, [(3116, 0, 0)]), (3161, [(3161, 8, 0.7905)]), (3173, [(3173, 24, 14.20)]), (3197, [(3197, 24, 7.074)]), (3209, [(3209, -12, 1.765)]), (3212, [(3212, 20, 4.901)]), (3260, [(3260, -16, 3.114)]), (3269, [(3269, 4, 0.1943)]), (3272, [(3272, -16, 3.108)]), (3293, [(3293, 24, 6.970)]), (3317, [(3317, -8, 0.7717)]), (3329, [(3329, 8, 0.7703)]), (3341, [(3341, 8, 0.7689)]), (3353, [(3353, 0, 0)]), (3368, [(3368, 16, 3.063)]), (3389, [(3389, 20, 4.772)]), (3401, [(3401, -8, 1.524)]), (3437, [(3437, -16, 3.032)]), (3464, [(3464, -24, 6.796)]), (3497, [(3497, -16, 3.006)]), (3512, [(3512, -8, 0.7500)]), (3521, [(3521, 8, 0.7490)]), (3545, [(3545, -8, 0.7465)]), (3557, [(3557, -24, 6.707)]), (3560, [(3560, 0, 0)]), (3569, [(3569, -8, 0.7439)]), (3581, [(3581, 0, 0)]), (3596, [(3596, 8, 0.7411)]), (3608, [(3608, -32, 11.84)]), (3617, [(3617, -32, 11.82)]), (3629, [(3629, -4, 0.3689)]), (3653, [(3653, 48, 26.47)]), (3665, [(3665, 0, 0)]), (3692, [(3692, -32, 11.70)]), (3740, [(3740, -4, 0.1817)]), (3749, [(3749, 0, 0)]), (3752, [(3752, 8, 0.7256)]), (3785, [(3785, 12, 1.625)]), (3788, [(3788, 0, 0)]), (3797, [(3797, -32, 11.54)]), (3809, [(3809, -8, 0.7201)]), (3836, [(3836, 4, 0.1794)]), (3845, [(3845, 12, 1.613)]), (3857, [(3857, 8, 1.431)]), (3881, [(3881, -4, 0.1784)]), (3893, [(3893, -20, 4.452)]), (3896, [(3896, 8, 0.7120)]), (3944, [(3944, -8, 0.7077)]), (3953, [(3953, -16, 2.828)]), (3977, [(3977, 0, 0)]), (3980, [(3980, -4, 0.1761)]), (4001, [(4001, 4, 0.1757)]), (4013, [(4013, 0, 0)]), (4028, [(4028, -24, 12.60)]), (4037, [(4037, -40, 17.49)]), (4073, [(4073, -20, 4.352)]), (4085, [(4085, 12, 3.129)]), (4109, [(4109, -28, 8.493)]), (4121, [(4121, -8, 0.6923)]), (4124, [(4124, -8, 0.6921)]), (4172, [(4172, -12, 1.548)]), (4181, [(4181, -16, 2.749)]), (4184, [(4184, -16, 2.748)]), (4229, [(4229, 20, 4.271)]), (4241, [(4241, 8, 0.6825)]), (4253, [(4253, 8, 0.6815)]), (4265, [(4265, 8, 0.6805)]), (4280, [(4280, 0, 0)]), (4301, [(4301, 8, 0.6777)]), (4313, [(4313, 8, 1.353)]), (4337, [(4337, -4, 0.1687)]), (4349, [(4349, 0, 0)]), (4376, [(4376, 8, 0.6719)]), (4409, [(4409, -4, 0.1673)]), (4412, [(4412, 20, 4.182)]), (4424, [(4424, -8, 0.6682)]), (4433, [(4433, 0, 0)]), (4457, [(4457, 20, 4.161)]), (4469, [(4469, 32, 10.64)]), (4472, [(4472, 8, 0.6646)]), (4481, [(4481, 4, 0.1660)]), (4493, [(4493, 36, 13.43)]), (4520, [(4520, 24, 5.950)]), (4529, [(4529, 4, 0.1651)]), (4541, [(4541, -28, 16.16)]), (4565, [(4565, 24, 5.920)]), (4577, [(4577, 16, 2.628)]), (4604, [(4604, -16, 2.620)]), (4637, [(4637, -60, 36.71)]), (4652, [(4652, -4, 0.1629)]), (4661, [(4661, 32, 10.42)]), (4664, [(4664, 0, 0)]), (4685, [(4685, 20, 4.058)]), (4697, [(4697, -12, 1.459)]), (4709, [(4709, -20, 4.048)]), (4712, [(4712, -16, 5.180)]), (4721, [(4721, 4, 0.1617)]), (4748, [(4748, 24, 5.805)]), (4757, [(4757, -16, 2.578)]), (4769, [(4769, -4, 0.3218)]), (4793, [(4793, 0, 0)]), (4808, [(4808, 40, 16.02)]), (4856, [(4856, 8, 0.6378)]), (4865, [(4865, 12, 1.434)]), (4889, [(4889, 16, 2.543)]), (4892, [(4892, -28, 7.784)]), (4937, [(4937, 8, 0.6325)]), (4940, [(4940, 24, 11.38)]), (4985, [(4985, 4, 0.1574)]), (4997, [(4997, 36, 25.46)]), (5021, [(5021, -20, 3.920)]), (5033, [(5033, -4, 0.1566)]), (5036, [(5036, -8, 0.6263)]), (5084, [(5084, 0, 0)]), (5093, [(5093, 12, 1.401)]), (5117, [(5117, 12, 1.398)]), (5141, [(5141, -16, 2.479)]), (5153, [(5153, 0, 0)]), (5165, [(5165, -16, 2.474)]), (5177, [(5177, 8, 0.6177)]), (5192, [(5192, -8, 0.6168)]), (5213, [(5213, -40, 15.39)]), (5249, [(5249, 8, 0.6134)]), (5261, [(5261, -20, 3.830)]), (5288, [(5288, 0, 0)]), (5321, [(5321, 8, 0.6093)]), (5336, [(5336, 0, 0)]), (5345, [(5345, -4, 0.1520)]), (5369, [(5369, 16, 2.426)]), (5381, [(5381, 16, 2.423)]), (5384, [(5384, -8, 0.6057)]), (5393, [(5393, -32, 9.683)]), (5405, [(5405, -16, 2.418)]), (5420, [(5420, 0, 0)]), (5432, [(5432, -8, 0.6030)]), (5441, [(5441, 0, 0)]), (5453, [(5453, 16, 4.815)]), (5477, [(5477, 20, 3.753)]), (5489, [(5489, -4, 0.1500)]), (5516, [(5516, -24, 5.386)]), (5549, [(5549, 40, 14.92)]), (5564, [(5564, 24, 5.362)]), (5573, [(5573, -32, 9.526)]), (5576, [(5576, 16, 2.381)]), (5597, [(5597, 8, 0.5941)]), (5609, [(5609, -8, 0.5934)]), (5612, [(5612, 16, 2.373)]), (5621, [(5621, 12, 1.334)]), (5624, [(5624, 0, 0)]), (5633, [(5633, -20, 3.701)]), (5660, [(5660, 12, 1.329)]), (5669, [(5669, 12, 1.328)]), (5681, [(5681, 0, 0)]), (5705, [(5705, -8, 0.5884)]), (5717, [(5717, 20, 3.674)]), (5720, [(5720, 8, 0.5876)]), (5768, [(5768, -32, 9.363)]), (5777, [(5777, -8, 0.5847)]), (5801, [(5801, -4, 0.1459)]), (5804, [(5804, 4, 0.1458)]), (5837, [(5837, 24, 5.236)]), (5849, [(5849, 4, 0.1453)]), (5852, [(5852, 4, 0.2905)]), (5861, [(5861, -12, 1.306)]), (5897, [(5897, 20, 3.617)]), (5909, [(5909, 4, 0.2891)]), (5933, [(5933, -36, 11.68)]), (5945, [(5945, -16, 2.306)]), (5948, [(5948, -28, 7.059)]), (5996, [(5996, 8, 0.5740)]), (6005, [(6005, 12, 1.290)]), (6008, [(6008, -16, 2.294)]), (6029, [(6029, 28, 7.012)]), (6053, [(6053, -4, 0.1428)]), (6065, [(6065, 8, 0.5707)]), (6077, [(6077, 16, 2.280)]), (6089, [(6089, -16, 2.278)]), (6104, [(6104, 8, 0.5689)]), (6161, [(6161, 0, 0)]), (6173, [(6173, 36, 11.45)]), (6233, [(6233, -16, 2.252)]), (6236, [(6236, 4, 0.1407)]), (6248, [(6248, -24, 5.060)]), (6257, [(6257, 8, 0.5619)]), (6281, [(6281, 0, 0)]), (6293, [(6293, -8, 0.5603)]), (6296, [(6296, -32, 8.962)]), (6305, [(6305, 8, 0.5597)]), (6317, [(6317, 80, 55.92)]), (6332, [(6332, 4, 0.1396)]), (6344, [(6344, 8, 0.5580)]), (6353, [(6353, -4, 0.1394)]), (6365, [(6365, -16, 4.457)]), (6389, [(6389, -24, 5.004)]), (6401, [(6401, -8, 0.5555)]), (6428, [(6428, 16, 2.217)]), (6461, [(6461, -16, 2.212)]), (6476, [(6476, 0, 0)]), (6485, [(6485, 0, 0)]), (6488, [(6488, 8, 0.5518)]), (6509, [(6509, -32, 8.814)]), (6521, [(6521, -4, 0.1376)]), (6524, [(6524, 4, 0.1376)]), (6533, [(6533, 4, 0.1375)]), (6536, [(6536, 8, 1.099)]), (6545, [(6545, 4, 0.1373)]), (6572, [(6572, -16, 2.193)]), (6581, [(6581, 4, 0.1370)]), (6593, [(6593, -20, 6.842)]), (6617, [(6617, 0, 0)]), (6629, [(6629, -24, 4.913)]), (6632, [(6632, 0, 0)]), (6680, [(6680, 8, 0.5438)]), (6689, [(6689, 4, 0.1359)]), (6716, [(6716, 24, 4.881)]), (6737, [(6737, -36, 10.96)]), (6749, [(6749, -4, 0.1352)]), (6761, [(6761, 12, 1.216)]), (6764, [(6764, -8, 1.081)]), (6773, [(6773, 40, 13.50)]), (6809, [(6809, 16, 2.154)]), (6821, [(6821, -12, 2.422)]), (6857, [(6857, -4, 0.1342)]), (6908, [(6908, -8, 0.5347)]), (6917, [(6917, -4, 0.1336)]), (6920, [(6920, 0, 0)]), (6941, [(6941, 4, 0.1334)]), (6965, [(6965, -4, 0.1331)]), (6977, [(6977, 20, 3.326)]), (6989, [(6989, 16, 2.126)]), (7001, [(7001, -4, 0.1328)]), (7016, [(7016, 0, 0)]), (7037, [(7037, 24, 4.768)]), (7049, [(7049, -8, 1.059)]), (7073, [(7073, 28, 6.474)]), (7085, [(7085, 0, 0)]), (7112, [(7112, 40, 13.18)]), (7145, [(7145, 20, 3.286)]), (7148, [(7148, 4, 0.1314)]), (7160, [(7160, 8, 0.5252)]), (7169, [(7169, 0, 0)]), (7193, [(7193, -16, 2.096)]), (7205, [(7205, -20, 3.272)]), (7208, [(7208, 32, 8.376)]), (7217, [(7217, -16, 2.093)]), (7229, [(7229, -40, 13.07)]), (7244, [(7244, 28, 6.397)]), (7256, [(7256, 0, 0)]), (7265, [(7265, -20, 3.259)]), (7277, [(7277, 8, 1.042)]), (7313, [(7313, 32, 8.316)]), (7340, [(7340, -8, 0.5188)]), (7373, [(7373, 32, 8.281)]), (7388, [(7388, 12, 1.163)]), (7397, [(7397, -64, 33.07)]), (7421, [(7421, 0, 0)]), (7433, [(7433, -12, 1.160)]), (7445, [(7445, 4, 0.1288)]), (7457, [(7457, 16, 2.059)]), (7484, [(7484, -4, 0.1284)]), (7493, [(7493, 56, 25.16)]), (7505, [(7505, 0, 0)]), (7529, [(7529, 0, 0)]), (7541, [(7541, -4, 0.1280)]), (7544, [(7544, -16, 2.047)]), (7592, [(7592, -8, 0.5101)]), (7601, [(7601, 12, 1.147)]), (7628, [(7628, 12, 1.145)]), (7649, [(7649, 16, 2.033)]), (7661, [(7661, 8, 0.5078)]), (7673, [(7673, 0, 0)]), (7676, [(7676, -8, 1.015)]), (7685, [(7685, -32, 8.112)]), (7721, [(7721, 4, 0.1264)]), (7733, [(7733, -16, 4.043)]), (7757, [(7757, -12, 1.135)]), (7769, [(7769, -4, 0.1261)]), (7772, [(7772, 8, 0.5041)]), (7820, [(7820, 8, 0.5026)]), (7829, [(7829, 0, 0)]), (7832, [(7832, 48, 18.08)]), (7853, [(7853, -12, 1.128)]), (7877, [(7877, 4, 0.1252)]), (7901, [(7901, 28, 6.125)]), (7913, [(7913, 24, 4.497)]), (7928, [(7928, 16, 1.997)]), (7949, [(7949, 8, 0.4985)]), (7961, [(7961, 0, 0)]), (7985, [(7985, 0, 0)]), (7997, [(7997, 44, 15.03)]), (8024, [(8024, -8, 0.4962)]), (8057, [(8057, 0, 0)]), (8060, [(8060, 32, 7.921)]), (8072, [(8072, 8, 0.4947)]), (8081, [(8081, 12, 1.112)]), (8105, [(8105, 4, 0.1234)]), (8117, [(8117, -20, 3.083)]), (8120, [(8120, -24, 4.439)]), (8129, [(8129, 4, 0.1232)]), (8141, [(8141, -36, 9.975)]), (8156, [(8156, 12, 1.107)]), (8168, [(8168, -32, 7.868)]), (8177, [(8177, 0, 0)]), (8189, [(8189, -24, 8.840)]), (8213, [(8213, 4, 0.1226)]), (8252, [(8252, 36, 9.907)]), (8285, [(8285, -16, 1.953)]), (8309, [(8309, 0, 0)]), (8312, [(8312, -40, 12.19)]), (8333, [(8333, -64, 31.16)]), (8345, [(8345, -12, 1.095)]), (8348, [(8348, 8, 0.4864)]), (8357, [(8357, -60, 27.35)]), (8360, [(8360, 8, 0.9722)]), (8369, [(8369, -4, 0.1215)]), (8396, [(8396, -12, 1.091)]), (8417, [(8417, 12, 2.180)]), (8441, [(8441, -16, 1.935)]), (8453, [(8453, 40, 12.08)]), (8456, [(8456, -8, 0.4833)]), (8504, [(8504, 32, 7.711)]), (8513, [(8513, 4, 0.1204)]), (8537, [(8537, 4, 0.1203)]), (8540, [(8540, 20, 3.006)]), (8561, [(8561, -12, 1.081)]), (8573, [(8573, -84, 52.92)]), (8585, [(8585, 24, 4.317)]), (8588, [(8588, -8, 0.9592)]), (8597, [(8597, 28, 5.872)]), (8633, [(8633, 0, 0)]), (8645, [(8645, -24, 8.604)]), (8669, [(8669, 12, 1.074)]), (8681, [(8681, -4, 0.1193)]), (8684, [(8684, -8, 0.4769)]), (8732, [(8732, 56, 23.31)]), (8741, [(8741, 36, 9.626)]), (8744, [(8744, 0, 0)]), (8765, [(8765, 20, 2.967)]), (8789, [(8789, 4, 0.1185)]), (8801, [(8801, 8, 0.4737)]), (8813, [(8813, 40, 11.84)]), (8840, [(8840, -24, 4.254)]), (8861, [(8861, 44, 14.28)]), (8873, [(8873, 4, 0.2359)]), (8897, [(8897, -16, 1.885)]), (8909, [(8909, 8, 0.4709)]), (8936, [(8936, 0, 0)]), (8969, [(8969, 0, 0)]), (8972, [(8972, -20, 2.933)]), (8984, [(8984, 24, 4.220)]), (9017, [(9017, 0, 0)]), (9029, [(9029, 28, 5.730)]), (9032, [(9032, 8, 0.4676)]), (9041, [(9041, -4, 0.1169)]), (9053, [(9053, -20, 2.919)]), (9068, [(9068, -36, 9.451)]), (9080, [(9080, 8, 0.4664)]), (9089, [(9089, 4, 0.1165)]), (9101, [(9101, -8, 0.9318)]), (9137, [(9137, 8, 0.4650)]), (9164, [(9164, 0, 0)]), (9197, [(9197, -12, 1.043)]), (9221, [(9221, -8, 0.4628)]), (9224, [(9224, -8, 0.4628)]), (9257, [(9257, -28, 5.659)]), (9260, [(9260, -12, 1.039)]), (9269, [(9269, 16, 1.847)]), (9272, [(9272, 8, 0.9231)]), (9281, [(9281, -24, 4.152)]), (9308, [(9308, -16, 1.843)]), (9329, [(9329, -16, 3.681)]), (9353, [(9353, -20, 2.872)]), (9365, [(9365, 4, 0.1148)]), (9368, [(9368, 0, 0)]), (9416, [(9416, 0, 0)]), (9449, [(9449, -12, 1.029)]), (9452, [(9452, -12, 1.029)]), (9473, [(9473, -12, 1.027)]), (9485, [(9485, 16, 1.825)]), (9497, [(9497, 8, 0.4561)]), (9509, [(9509, 32, 7.292)]), (9545, [(9545, 0, 0)]), (9557, [(9557, 0, 0)]), (9581, [(9581, -8, 0.4541)]), (9593, [(9593, 24, 4.084)]), (9596, [(9596, 24, 4.083)]), (9644, [(9644, 8, 0.4526)]), (9656, [(9656, -8, 0.4523)]), (9677, [(9677, -20, 2.824)]), (9701, [(9701, 24, 4.061)]), (9713, [(9713, 4, 0.1127)]), (9737, [(9737, -24, 4.054)]), (9752, [(9752, -16, 1.800)]), (9773, [(9773, -24, 4.046)]), (9785, [(9785, 8, 0.8986)]), (9809, [(9809, 4, 0.1122)]), (9821, [(9821, 8, 0.4485)]), (9848, [(9848, -48, 16.12)]), (9881, [(9881, 8, 0.4471)]), (9884, [(9884, -32, 7.153)]), (9896, [(9896, 8, 0.4468)]), (9905, [(9905, 4, 0.1116)]), (9929, [(9929, -4, 0.1115)]), (9941, [(9941, 12, 1.003)]), (9944, [(9944, -8, 0.4457)]), (9953, [(9953, -8, 0.4455)]), (9965, [(9965, -20, 2.783)]), (9980, [(9980, 44, 13.46)]), (9992, [(9992, -8, 0.4446)])]]

# map: (1 |-> 1.0) -> 1, Fractional ideal (3) -> 1, Fractional ideal (19) -> -1
[-7, 2 + 277*j + (-2)*k, [(12, [(12, 2, 3.208)]), (13, [(13, 4, 6.164)]), (21, [(21, -2, 2.425)]), (33, [(33, -2, 1.934)]), (37, [(37, -4, 3.654)]), (40, [(40, -4, 3.514)]), (60, [(60, 2, 1.435)]), (69, [(69, -4, 5.351)]), (88, [(88, -4, 2.369)]), (97, [(97, 4, 2.257)]), (105, [(105, 2, 1.085)]), (109, [(109, 0, 0)]), (124, [(124, -4, 1.996)]), (129, [(129, 2, 0.9784)]), (136, [(136, -4, 1.906)]), (141, [(141, 2, 0.9359)]), (145, [(145, 0, 0)]), (165, [(165, 2, 0.8651)]), (181, [(181, -8, 6.608)]), (184, [(184, 0, 0)]), (193, [(193, 0, 0)]), (204, [(204, 2, 0.7781)]), (205, [(205, -4, 1.552)]), (217, [(217, 4, 1.509)]), (241, [(241, -4, 1.432)]), (249, [(249, 0, 0)]), (265, [(265, -4, 1.365)]), (268, [(268, 0, 0)]), (280, [(280, 4, 1.328)]), (312, [(312, -4, 2.517)]), (316, [(316, 0, 0)]), (337, [(337, -4, 1.211)]), (345, [(345, 0, 0)]), (357, [(357, -2, 0.5882)]), (364, [(364, 4, 1.165)]), (373, [(373, 0, 0)]), (376, [(376, -4, 1.146)]), (393, [(393, -2, 0.5606)]), (409, [(409, 4, 1.099)]), (412, [(412, 8, 4.380)]), (417, [(417, -2, 0.5442)]), (421, [(421, 4, 1.083)]), (433, [(433, 8, 4.272)]), (445, [(445, -4, 1.054)]), (469, [(469, 0, 0)]), (489, [(489, 0, 0)]), (493, [(493, 16, 16.02)]), (508, [(508, 0, 0)]), (553, [(553, 0, 0)]), (561, [(561, -2, 0.4692)]), (565, [(565, 8, 3.740)]), (573, [(573, 14, 22.75)]), (597, [(597, -6, 4.093)]), (601, [(601, 4, 0.9066)]), (604, [(604, -4, 0.9044)]), (616, [(616, -4, 0.8955)]), (645, [(645, -2, 0.4376)]), (649, [(649, -4, 0.8724)]), (661, [(661, 0, 0)]), (664, [(664, -8, 3.450)]), (673, [(673, -4, 0.8567)]), (696, [(696, -4, 1.685)]), (697, [(697, -4, 0.8419)]), (705, [(705, 6, 3.767)]), (717, [(717, 10, 10.38)]), (721, [(721, 0, 0)]), (732, [(732, 6, 3.697)]), (744, [(744, 0, 0)]), (753, [(753, -2, 0.4050)]), (781, [(781, 4, 0.7953)]), (789, [(789, 6, 3.561)]), (793, [(793, -4, 0.7893)]), (808, [(808, -8, 3.128)]), (813, [(813, -4, 1.559)]), (829, [(829, -8, 3.088)]), (844, [(844, 4, 0.7650)]), (849, [(849, -2, 0.3814)]), (865, [(865, 0, 0)]), (876, [(876, -2, 0.3755)]), (877, [(877, -8, 3.002)]), (888, [(888, 8, 5.967)]), (889, [(889, 0, 0)]), (892, [(892, 12, 6.698)]), (901, [(901, 4, 0.7404)]), (924, [(924, -2, 0.3656)]), (933, [(933, 6, 3.274)]), (949, [(949, 4, 0.7215)]), (952, [(952, -4, 0.7203)]), (984, [(984, 0, 0)]), (1009, [(1009, 0, 0)]), (1020, [(1020, -6, 3.132)]), (1021, [(1021, 4, 0.6956)]), (1036, [(1036, 4, 0.6905)]), (1041, [(1041, 2, 0.3444)]), (1048, [(1048, 4, 0.6866)]), (1057, [(1057, -4, 0.6836)]), (1077, [(1077, 14, 16.59)]), (1093, [(1093, -8, 2.689)]), (1096, [(1096, 4, 0.6714)]), (1101, [(1101, 4, 1.340)]), (1105, [(1105, 4, 0.6686)]), (1117, [(1117, -8, 2.660)]), (1129, [(1129, 0, 0)]), (1153, [(1153, 8, 2.618)]), (1173, [(1173, -8, 5.192)]), (1177, [(1177, 0, 0)]), (1180, [(1180, -4, 0.6470)]), (1192, [(1192, 4, 0.6438)]), (1209, [(1209, 0, 0)]), (1212, [(1212, 0, 0)]), (1228, [(1228, -8, 2.537)]), (1237, [(1237, 0, 0)]), (1245, [(1245, -4, 1.260)]), (1249, [(1249, 0, 0)]), (1257, [(1257, -4, 1.254)]), (1272, [(1272, -8, 4.985)]), (1276, [(1276, 0, 0)]), (1281, [(1281, -2, 0.3105)]), (1285, [(1285, 8, 2.480)]), (1288, [(1288, 8, 2.477)]), (1321, [(1321, 4, 0.6115)]), (1324, [(1324, 0, 0)]), (1329, [(1329, 6, 2.744)]), (1333, [(1333, 4, 0.6087)]), (1345, [(1345, -4, 0.6060)]), (1357, [(1357, -16, 9.654)]), (1381, [(1381, 4, 0.5981)]), (1389, [(1389, -10, 7.454)]), (1401, [(1401, -2, 0.2969)]), (1405, [(1405, -16, 9.487)]), (1416, [(1416, -4, 1.181)]), (1420, [(1420, -12, 5.308)]), (1437, [(1437, 0, 0)]), (1465, [(1465, 0, 0)]), (1473, [(1473, 4, 1.158)]), (1477, [(1477, -12, 5.205)]), (1497, [(1497, -2, 0.2872)]), (1509, [(1509, 4, 1.144)]), (1513, [(1513, 4, 0.5714)]), (1516, [(1516, 0, 0)]), (1528, [(1528, -4, 0.5686)]), (1533, [(1533, -14, 13.91)]), (1549, [(1549, -4, 0.5647)]), (1560, [(1560, -4, 1.125)]), (1561, [(1561, 4, 0.5625)]), (1576, [(1576, 0, 0)]), (1585, [(1585, 4, 0.5583)]), (1608, [(1608, 12, 9.977)]), (1609, [(1609, 0, 0)]), (1633, [(1633, 0, 0)]), (1644, [(1644, -6, 2.467)]), (1693, [(1693, 8, 2.161)]), (1704, [(1704, 4, 1.077)]), (1705, [(1705, 4, 0.5383)]), (1713, [(1713, 4, 1.074)]), (1720, [(1720, 4, 0.5359)]), (1741, [(1741, 4, 0.5327)]), (1756, [(1756, 8, 2.122)]), (1761, [(1761, 2, 0.2648)]), (1777, [(1777, -8, 2.109)]), (1785, [(1785, 2, 0.2630)]), (1788, [(1788, 10, 6.570)]), (1789, [(1789, -4, 0.5255)]), (1801, [(1801, -4, 0.5237)]), (1804, [(1804, -4, 0.5233)]), (1837, [(1837, 16, 8.297)]), (1857, [(1857, 0, 0)]), (1861, [(1861, -12, 4.637)]), (1864, [(1864, 4, 0.5148)]), (1884, [(1884, 4, 1.024)]), (1893, [(1893, -18, 20.69)]), (1896, [(1896, 4, 1.021)]), (1912, [(1912, -12, 4.575)]), (1921, [(1921, 0, 0)]), (1929, [(1929, -2, 0.2530)]), (1932, [(1932, 8, 4.045)]), (1933, [(1933, 4, 0.5055)]), (1941, [(1941, -2, 0.2522)]), (1948, [(1948, 4, 0.5036)]), (1965, [(1965, 14, 12.28)]), (1969, [(1969, 0, 0)]), (2005, [(2005, -16, 7.942)]), (2008, [(2008, -12, 4.464)]), (2013, [(2013, -6, 2.229)]), (2017, [(2017, -4, 0.4949)]), (2029, [(2029, 8, 1.974)]), (2041, [(2041, 0, 0)]), (2065, [(2065, -4, 0.4891)]), (2073, [(2073, -6, 2.197)]), (2085, [(2085, 2, 0.2434)]), (2089, [(2089, 4, 0.4863)]), (2092, [(2092, 16, 7.775)]), (2104, [(2104, -4, 0.4845)]), (2121, [(2121, -4, 0.9652)]), (2136, [(2136, 0, 0)]), (2140, [(2140, 0, 0)]), (2149, [(2149, -8, 1.918)]), (2157, [(2157, -2, 0.2393)]), (2161, [(2161, 8, 1.912)]), (2181, [(2181, -2, 0.2380)]), (2184, [(2184, -4, 0.9512)]), (2188, [(2188, 4, 0.4752)]), (2193, [(2193, -2, 0.2373)]), (2217, [(2217, 6, 2.124)]), (2233, [(2233, -8, 1.881)]), (2236, [(2236, -4, 0.4700)]), (2245, [(2245, 16, 7.505)]), (2257, [(2257, -4, 0.4678)]), (2269, [(2269, 4, 0.4666)]), (2293, [(2293, -8, 1.857)]), (2301, [(2301, 0, 0)]), (2317, [(2317, -8, 1.847)]), (2328, [(2328, 4, 0.9213)]), (2332, [(2332, 4, 0.4603)]), (2364, [(2364, 0, 0)]), (2377, [(2377, 0, 0)]), (2389, [(2389, -8, 1.819)]), (2397, [(2397, -2, 0.2270)]), (2409, [(2409, 2, 0.2264)]), (2428, [(2428, -12, 4.060)]), (2440, [(2440, 4, 0.4499)]), (2445, [(2445, -4, 0.8990)]), (2461, [(2461, 8, 1.792)]), (2469, [(2469, -2, 0.2236)]), (2472, [(2472, 0, 0)]), (2473, [(2473, 0, 0)]), (2485, [(2485, 4, 0.4459)]), (2488, [(2488, -4, 0.4456)]), (2497, [(2497, -4, 0.4448)]), (2521, [(2521, 4, 0.4427)]), (2545, [(2545, 4, 0.4406)]), (2568, [(2568, -16, 14.03)]), (2577, [(2577, 6, 1.970)]), (2605, [(2605, 0, 0)]), (2613, [(2613, 4, 0.8696)]), (2616, [(2616, -4, 0.8691)]), (2617, [(2617, 8, 1.738)]), (2632, [(2632, 4, 0.4332)]), (2649, [(2649, -6, 1.943)]), (2653, [(2653, 8, 1.726)]), (2668, [(2668, 8, 1.721)]), (2689, [(2689, 4, 0.4286)]), (2697, [(2697, 4, 0.8559)]), (2701, [(2701, -4, 0.4277)]), (2712, [(2712, -12, 7.682)]), (2713, [(2713, 0, 0)]), (2716, [(2716, -4, 0.4265)]), (2748, [(2748, 2, 0.2120)]), (2749, [(2749, -8, 1.696)]), (2757, [(2757, 24, 30.48)]), (2769, [(2769, 0, 0)]), (2773, [(2773, 12, 3.799)]), (2776, [(2776, -4, 0.4218)]), (2796, [(2796, 10, 5.254)]), (2805, [(2805, 18, 17.00)]), (2824, [(2824, 8, 1.673)]), (2833, [(2833, -12, 3.758)]), (2841, [(2841, 0, 0)]), (2845, [(2845, -12, 3.750)]), (2860, [(2860, 4, 0.4156)]), (2865, [(2865, -2, 0.2076)]), (2872, [(2872, 4, 0.4147)]), (2877, [(2877, -6, 1.865)]), (2881, [(2881, 0, 0)]), (2901, [(2901, 8, 3.301)]), (2917, [(2917, 24, 14.81)]), (2920, [(2920, 4, 0.4113)]), (2929, [(2929, 0, 0)]), (2941, [(2941, 0, 0)]), (2953, [(2953, -8, 1.636)]), (2977, [(2977, 4, 0.4073)]), (2985, [(2985, -2, 0.2034)]), (3001, [(3001, 4, 0.4057)]), (3004, [(3004, 8, 1.622)]), (3016, [(3016, 0, 0)]), (3036, [(3036, 8, 3.227)]), (3048, [(3048, 12, 7.246)]), (3052, [(3052, 16, 6.437)]), (3061, [(3061, 4, 0.4017)]), (3073, [(3073, 0, 0)]), (3081, [(3081, 4, 0.8008)]), (3093, [(3093, -12, 7.193)]), (3109, [(3109, 4, 0.3986)]), (3112, [(3112, 12, 3.586)]), (3129, [(3129, -2, 0.1987)]), (3145, [(3145, -4, 0.3963)]), (3148, [(3148, -16, 6.338)]), (3153, [(3153, -8, 3.167)]), (3157, [(3157, -12, 3.560)]), (3169, [(3169, -8, 1.579)]), (3181, [(3181, -16, 6.305)]), (3205, [(3205, -20, 9.815)]), (3229, [(3229, 4, 0.3911)]), (3244, [(3244, -4, 0.3902)]), (3261, [(3261, 6, 1.751)]), (3289, [(3289, -8, 1.550)]), (3297, [(3297, 0, 0)]), (3301, [(3301, -12, 3.482)]), (3309, [(3309, 6, 1.739)]), (3324, [(3324, 2, 0.1928)]), (3333, [(3333, -4, 0.7700)]), (3337, [(3337, -12, 3.463)]), (3340, [(3340, 0, 0)]), (3352, [(3352, -16, 6.142)]), (3373, [(3373, 8, 1.531)]), (3385, [(3385, 0, 0)]), (3397, [(3397, 0, 0)]), (3409, [(3409, 4, 0.3807)]), (3432, [(3432, -4, 0.7588)]), (3433, [(3433, 12, 3.414)]), (3441, [(3441, 4, 0.7578)]), (3453, [(3453, 0, 0)]), (3457, [(3457, 0, 0)]), (3480, [(3480, 4, 0.7535)]), (3489, [(3489, -6, 1.693)]), (3517, [(3517, 24, 13.49)]), (3529, [(3529, 0, 0)]), (3544, [(3544, 4, 0.3733)]), (3561, [(3561, -4, 0.7449)]), (3565, [(3565, 0, 0)]), (3580, [(3580, -8, 1.486)]), (3585, [(3585, 2, 0.1856)]), (3601, [(3601, 4, 0.3704)]), (3612, [(3612, 2, 0.1849)]), (3613, [(3613, -16, 5.916)]), (3624, [(3624, 4, 0.7384)]), (3628, [(3628, -4, 0.3690)]), (3637, [(3637, -12, 3.317)]), (3660, [(3660, -6, 1.653)]), (3661, [(3661, 8, 1.469)]), (3669, [(3669, 6, 1.651)]), (3685, [(3685, 16, 5.858)]), (3688, [(3688, 12, 3.294)]), (3720, [(3720, 8, 2.915)]), (3736, [(3736, -4, 0.3636)]), (3745, [(3745, 0, 0)]), (3756, [(3756, 0, 0)]), (3765, [(3765, 14, 8.874)]), (3772, [(3772, 0, 0)]), (3777, [(3777, -4, 0.7233)]), (3784, [(3784, -4, 0.3613)]), (3793, [(3793, 12, 3.248)]), (3813, [(3813, -16, 11.52)]), (3829, [(3829, 12, 3.233)]), (3832, [(3832, -16, 5.745)]), (3837, [(3837, 6, 1.615)]), (3841, [(3841, -8, 1.434)]), (3853, [(3853, 4, 0.3581)]), (3865, [(3865, -4, 0.3575)]), (3889, [(3889, -4, 0.3564)]), (3909, [(3909, 10, 4.444)]), (3913, [(3913, 4, 0.3553)]), (3916, [(3916, -4, 0.3552)]), (3928, [(3928, 8, 1.418)]), (3945, [(3945, -2, 0.1769)]), (3948, [(3948, -6, 1.592)]), (3964, [(3964, 4, 0.3530)]), (3973, [(3973, 0, 0)]), (3981, [(3981, 8, 2.818)]), (3985, [(3985, 0, 0)]), (4008, [(4008, 4, 0.7021)]), (4012, [(4012, -4, 0.3509)]), (4017, [(4017, 12, 6.312)]), (4021, [(4021, -16, 5.608)]), (4024, [(4024, -8, 1.401)]), (4057, [(4057, -8, 1.396)]), (4060, [(4060, 8, 1.395)]), (4065, [(4065, 4, 0.6972)]), (4069, [(4069, 0, 0)]), (4081, [(4081, -4, 0.3479)]), (4093, [(4093, 28, 17.02)]), (4117, [(4117, -8, 1.386)]), (4137, [(4137, 0, 0)]), (4141, [(4141, 8, 1.382)]), (4152, [(4152, 0, 0)]), (4156, [(4156, -4, 0.3448)]), (4173, [(4173, -4, 0.6881)]), (4188, [(4188, 10, 4.293)]), (4201, [(4201, 0, 0)]), (4209, [(4209, 0, 0)]), (4213, [(4213, 36, 27.74)]), (4233, [(4233, -8, 2.733)]), (4236, [(4236, 0, 0)]), (4245, [(4245, -18, 13.82)]), (4249, [(4249, 4, 0.3410)]), (4252, [(4252, 16, 5.454)]), (4264, [(4264, 0, 0)]), (4269, [(4269, 2, 0.1701)]), (4285, [(4285, -4, 0.3395)]), (4296, [(4296, 4, 0.6782)]), (4297, [(4297, 4, 0.3391)]), (4309, [(4309, 4, 0.3386)]), (4321, [(4321, 0, 0)]), (4344, [(4344, 0, 0)]), (4345, [(4345, 0, 0)]), (4353, [(4353, -10, 4.211)]), (4369, [(4369, 0, 0)]), (4380, [(4380, -6, 1.511)]), (4429, [(4429, -8, 1.336)]), (4440, [(4440, 0, 0)]), (4441, [(4441, -4, 0.3335)]), (4449, [(4449, -2, 0.1666)]), (4456, [(4456, -4, 0.3330)]), (4461, [(4461, -6, 1.497)]), (4492, [(4492, -4, 0.3316)]), (4497, [(4497, -4, 0.6629)]), (4513, [(4513, 12, 2.978)]), (4521, [(4521, 6, 1.487)]), (4524, [(4524, 4, 0.6609)]), (4537, [(4537, 4, 0.3300)]), (4540, [(4540, 4, 0.3299)]), (4549, [(4549, -12, 2.966)]), (4573, [(4573, -12, 2.958)]), (4593, [(4593, -2, 0.1640)]), (4597, [(4597, -16, 5.245)]), (4620, [(4620, -2, 0.1635)]), (4629, [(4629, 8, 2.613)]), (4632, [(4632, -20, 16.33)]), (4648, [(4648, 8, 1.304)]), (4657, [(4657, 0, 0)]), (4665, [(4665, -6, 1.464)]), (4668, [(4668, -2, 0.1627)]), (4669, [(4669, -8, 1.301)]), (4677, [(4677, -14, 7.962)]), (4684, [(4684, 12, 2.923)]), (4696, [(4696, 4, 0.3243)]), (4701, [(4701, 2, 0.1621)]), (4705, [(4705, 0, 0)]), (4741, [(4741, -12, 2.905)]), (4744, [(4744, 8, 1.291)]), (4749, [(4749, -2, 0.1613)]), (4764, [(4764, -2, 0.1610)]), (4765, [(4765, 0, 0)]), (4777, [(4777, 0, 0)]), (4801, [(4801, 0, 0)]), (4809, [(4809, 2, 0.1602)]), (4821, [(4821, -8, 2.561)]), (4828, [(4828, -12, 2.879)]), (4857, [(4857, -8, 2.551)]), (4872, [(4872, -4, 0.6368)]), (4876, [(4876, 0, 0)]), (4885, [(4885, -12, 2.862)]), (4893, [(4893, -6, 1.430)]), (4897, [(4897, 0, 0)]), (4917, [(4917, 18, 12.84)]), (4920, [(4920, -16, 10.14)]), (4924, [(4924, -12, 2.851)]), (4929, [(4929, 0, 0)]), (4933, [(4933, 28, 15.51)]), (4936, [(4936, 4, 0.3163)]), (4953, [(4953, 0, 0)]), (4969, [(4969, 0, 0)]), (4972, [(4972, 8, 1.261)]), (4981, [(4981, 0, 0)]), (4993, [(4993, 4, 0.3145)]), (5005, [(5005, 4, 0.3142)]), (5029, [(5029, 16, 5.015)]), (5037, [(5037, -4, 0.6263)]), (5053, [(5053, -24, 11.26)]), (5064, [(5064, -12, 5.622)]), (5068, [(5068, 0, 0)]), (5113, [(5113, 4, 0.3108)]), (5133, [(5133, -8, 2.482)]), (5161, [(5161, 4, 0.3094)]), (5164, [(5164, 8, 1.237)]), (5176, [(5176, -4, 0.3089)]), (5181, [(5181, 4, 0.6176)]), (5197, [(5197, -24, 11.10)]), (5205, [(5205, 10, 3.851)]), (5208, [(5208, 8, 2.464)]), (5209, [(5209, 4, 0.3079)]), (5221, [(5221, 8, 1.230)]), (5224, [(5224, 4, 0.3075)]), (5233, [(5233, 4, 0.3072)]), (5257, [(5257, -8, 1.226)]), (5277, [(5277, -26, 25.85)]), (5281, [(5281, -8, 1.223)]), (5304, [(5304, 12, 5.493)]), (5313, [(5313, 4, 0.6098)]), (5349, [(5349, -4, 0.6078)]), (5352, [(5352, 8, 2.430)]), (5353, [(5353, -16, 4.860)]), (5361, [(5361, -2, 0.1518)]), (5368, [(5368, -4, 0.3034)]), (5385, [(5385, 2, 0.1514)]), (5389, [(5389, -12, 2.725)]), (5404, [(5404, 0, 0)]), (5433, [(5433, 2, 0.1508)]), (5437, [(5437, 0, 0)]), (5448, [(5448, 12, 5.420)]), (5449, [(5449, 4, 0.3011)]), (5452, [(5452, 24, 10.84)]), (5461, [(5461, 8, 1.203)]), (5484, [(5484, -2, 0.1501)]), (5485, [(5485, 12, 2.701)]), (5493, [(5493, -28, 29.39)]), (5505, [(5505, 0, 0)]), (5509, [(5509, 0, 0)]), (5512, [(5512, 0, 0)]), (5532, [(5532, 2, 0.1494)]), (5541, [(5541, 2, 0.1493)]), (5560, [(5560, 4, 0.2981)]), (5569, [(5569, 4, 0.2978)]), (5581, [(5581, -4, 0.2975)]), (5596, [(5596, 4, 0.2971)]), (5601, [(5601, 2, 0.1485)]), (5608, [(5608, -8, 1.187)]), (5613, [(5613, 10, 3.708)]), (5617, [(5617, -4, 0.2966)]), (5637, [(5637, -2, 0.1480)]), (5653, [(5653, -12, 2.660)]), (5656, [(5656, 0, 0)]), (5665, [(5665, -8, 1.181)]), (5676, [(5676, 2, 0.1475)]), (5677, [(5677, -28, 14.45)]), (5689, [(5689, -4, 0.2947)]), (5713, [(5713, 8, 1.176)]), (5721, [(5721, -2, 0.1469)]), (5737, [(5737, 0, 0)]), (5740, [(5740, -4, 0.2934)]), (5752, [(5752, -20, 7.326)]), (5772, [(5772, 0, 0)]), (5784, [(5784, 0, 0)]), (5788, [(5788, -28, 14.31)]), (5797, [(5797, 4, 0.2919)]), (5809, [(5809, 8, 1.166)]), (5817, [(5817, -2, 0.1457)]), (5829, [(5829, -12, 5.240)]), (5836, [(5836, -12, 2.618)]), (5845, [(5845, -8, 1.163)]), (5848, [(5848, -20, 7.266)]), (5865, [(5865, -4, 0.5804)]), (5881, [(5881, 0, 0)]), (5884, [(5884, -4, 0.2897)]), (5889, [(5889, -4, 0.5792)]), (5893, [(5893, -24, 10.42)]), (5905, [(5905, -4, 0.2892)]), (5917, [(5917, 4, 0.2889)]), (5941, [(5941, -4, 0.2884)]), (5961, [(5961, -2, 0.1439)]), (5965, [(5965, -12, 2.590)]), (5980, [(5980, 8, 1.150)]), (5997, [(5997, -22, 17.36)]), (6033, [(6033, 10, 3.577)]), (6037, [(6037, 0, 0)]), (6045, [(6045, -8, 2.287)]), (6060, [(6060, -8, 2.284)]), (6073, [(6073, 4, 0.2852)]), (6088, [(6088, 28, 13.96)]), (6109, [(6109, -20, 7.109)]), (6117, [(6117, 10, 3.552)]), (6121, [(6121, 0, 0)]), (6133, [(6133, -16, 4.541)]), (6136, [(6136, 0, 0)]), (6145, [(6145, 8, 1.134)]), (6168, [(6168, -8, 2.264)]), (6169, [(6169, -4, 0.2830)]), (6177, [(6177, 4, 0.5656)]), (6189, [(6189, 2, 0.1413)]), (6193, [(6193, -4, 0.2824)]), (6204, [(6204, -2, 0.1411)]), (6216, [(6216, 0, 0)]), (6261, [(6261, -20, 14.04)]), (6265, [(6265, 8, 1.123)]), (6280, [(6280, 0, 0)]), (6285, [(6285, -12, 5.046)]), (6297, [(6297, 2, 0.1400)]), (6301, [(6301, 4, 0.2800)]), (6316, [(6316, 0, 0)]), (6337, [(6337, 4, 0.2792)]), (6349, [(6349, 4, 0.2789)]), (6360, [(6360, -8, 2.230)]), (6361, [(6361, 4, 0.2787)]), (6364, [(6364, -4, 0.2786)]), (6373, [(6373, -16, 4.455)]), (6396, [(6396, 12, 5.002)]), (6397, [(6397, 28, 13.62)]), (6405, [(6405, 6, 1.250)]), (6421, [(6421, 12, 2.496)]), (6424, [(6424, -12, 2.496)]), (6456, [(6456, 0, 0)]), (6472, [(6472, -4, 0.2763)]), (6481, [(6481, -4, 0.2761)]), (6492, [(6492, 10, 3.448)]), (6493, [(6493, 4, 0.2758)]), (6501, [(6501, 4, 0.5513)]), (6508, [(6508, -24, 9.918)]), (6513, [(6513, 4, 0.5508)]), (6520, [(6520, 16, 4.404)]), (6529, [(6529, 0, 0)]), (6549, [(6549, -4, 0.5493)]), (6565, [(6565, 24, 9.875)]), (6568, [(6568, 4, 0.2742)]), (6573, [(6573, -12, 4.935)]), (6577, [(6577, -8, 1.096)]), (6589, [(6589, 8, 1.095)]), (6601, [(6601, 8, 1.094)]), (6645, [(6645, 2, 0.1363)]), (6649, [(6649, -8, 1.090)]), (6652, [(6652, -4, 0.2725)]), (6681, [(6681, 6, 1.224)]), (6684, [(6684, 6, 1.223)]), (6709, [(6709, 24, 9.769)]), (6717, [(6717, 8, 2.169)]), (6721, [(6721, -4, 0.2711)]), (6729, [(6729, -2, 0.1355)]), (6744, [(6744, 16, 8.661)]), (6748, [(6748, 4, 0.2706)]), (6753, [(6753, -6, 1.217)]), (6757, [(6757, 0, 0)]), (6793, [(6793, 4, 0.2697)]), (6796, [(6796, 12, 2.426)]), (6801, [(6801, 2, 0.1348)]), (6805, [(6805, 0, 0)]), (6817, [(6817, 8, 1.077)]), (6829, [(6829, 8, 1.076)]), (6853, [(6853, 12, 2.416)]), (6861, [(6861, 8, 2.147)]), (6873, [(6873, -16, 8.579)]), (6888, [(6888, 8, 2.142)]), (6892, [(6892, 12, 2.409)]), (6924, [(6924, 2, 0.1336)]), (6937, [(6937, 4, 0.2669)]), (6945, [(6945, 2, 0.1334)]), (6949, [(6949, 8, 1.066)]), (6969, [(6969, 0, 0)]), (6972, [(6972, 8, 2.129)]), (6981, [(6981, 8, 2.128)]), (6985, [(6985, -8, 1.064)]), (6988, [(6988, 4, 0.2659)]), (7005, [(7005, 22, 16.07)]), (7021, [(7021, 12, 2.387)]), (7032, [(7032, -8, 2.120)]), (7033, [(7033, -12, 2.385)]), (7045, [(7045, 16, 4.237)]), (7048, [(7048, 12, 2.383)]), (7057, [(7057, -4, 0.2646)]), (7080, [(7080, 12, 4.755)]), (7081, [(7081, -4, 0.2641)]), (7089, [(7089, 6, 1.188)]), (7116, [(7116, 0, 0)]), (7165, [(7165, -12, 2.363)]), (7176, [(7176, 0, 0)]), (7177, [(7177, 4, 0.2624)]), (7185, [(7185, 0, 0)]), (7192, [(7192, 0, 0)]), (7197, [(7197, -12, 4.716)]), (7213, [(7213, -20, 6.542)]), (7228, [(7228, -4, 0.2614)]), (7233, [(7233, 4, 0.5227)]), (7249, [(7249, 0, 0)]), (7257, [(7257, -12, 4.696)]), (7261, [(7261, 4, 0.2608)]), (7273, [(7273, 4, 0.2606)]), (7276, [(7276, -8, 1.042)]), (7285, [(7285, -4, 0.2604)]), (7309, [(7309, 4, 0.2600)]), (7329, [(7329, -2, 0.1298)]), (7333, [(7333, -8, 1.038)]), (7336, [(7336, -4, 0.2595)]), (7356, [(7356, -10, 3.239)]), (7365, [(7365, -4, 0.5180)]), (7368, [(7368, 4, 0.5179)]), (7384, [(7384, -16, 4.138)]), (7393, [(7393, 0, 0)]), (7401, [(7401, -2, 0.1292)]), (7404, [(7404, -6, 1.162)]), (7405, [(7405, -20, 6.457)]), (7413, [(7413, 4, 0.5163)]), (7420, [(7420, -12, 2.322)]), (7432, [(7432, 16, 4.125)]), (7437, [(7437, -20, 12.89)]), (7441, [(7441, 0, 0)]), (7477, [(7477, 8, 1.028)]), (7480, [(7480, -4, 0.2570)]), (7485, [(7485, -2, 0.1284)]), (7489, [(7489, 0, 0)]), (7501, [(7501, 4, 0.2566)]), (7513, [(7513, -4, 0.2564)]), (7537, [(7537, 0, 0)]), (7545, [(7545, 0, 0)]), (7557, [(7557, 6, 1.151)]), (7561, [(7561, -4, 0.2556)]), (7564, [(7564, 4, 0.2556)]), (7576, [(7576, -8, 1.021)]), (7593, [(7593, 8, 2.041)]), (7608, [(7608, -20, 12.74)]), (7612, [(7612, 24, 9.171)]), (7621, [(7621, -24, 9.165)]), (7629, [(7629, -6, 1.145)]), (7633, [(7633, -16, 4.070)]), (7653, [(7653, 6, 1.143)]), (7656, [(7656, 12, 4.572)]), (7660, [(7660, 12, 2.285)]), (7665, [(7665, 2, 0.1269)]), (7669, [(7669, 0, 0)]), (7672, [(7672, -20, 6.344)]), (7689, [(7689, 6, 1.141)]), (7705, [(7705, 16, 4.051)]), (7708, [(7708, 4, 0.2532)]), (7717, [(7717, 24, 9.108)]), (7729, [(7729, 4, 0.2528)]), (7741, [(7741, 0, 0)]), (7765, [(7765, 0, 0)]), (7773, [(7773, 24, 18.15)]), (7789, [(7789, 4, 0.2518)]), (7804, [(7804, -8, 1.006)]), (7836, [(7836, -10, 3.138)]), (7849, [(7849, 0, 0)]), (7861, [(7861, 12, 2.256)]), (7869, [(7869, 6, 1.127)]), (7881, [(7881, 4, 0.5007)]), (7897, [(7897, 4, 0.2501)]), (7912, [(7912, 8, 0.9995)]), (7917, [(7917, 12, 4.496)]), (7933, [(7933, -4, 0.2495)]), (7941, [(7941, 6, 1.122)]), (7944, [(7944, -12, 4.489)]), (7945, [(7945, -4, 0.2493)]), (7957, [(7957, -24, 8.970)]), (7960, [(7960, 4, 0.2491)]), (7969, [(7969, 4, 0.2490)]), (7993, [(7993, -12, 2.237)]), (8013, [(8013, 24, 17.88)]), (8017, [(8017, 0, 0)]), (8040, [(8040, 4, 0.4957)]), (8049, [(8049, 2, 0.1239)]), (8077, [(8077, -40, 24.73)]), (8088, [(8088, -4, 0.4943)]), (8089, [(8089, -4, 0.2471)]), (8097, [(8097, 0, 0)]), (8104, [(8104, 4, 0.2469)]), (8121, [(8121, 2, 0.1233)]), (8140, [(8140, -4, 0.2463)]), (8161, [(8161, -8, 0.9841)]), (8169, [(8169, -2, 0.1230)]), (8173, [(8173, 0, 0)]), (8184, [(8184, 0, 0)]), (8185, [(8185, 4, 0.2457)]), (8188, [(8188, -8, 0.9825)]), (8197, [(8197, -20, 6.137)]), (8220, [(8220, -2, 0.1226)]), (8221, [(8221, -32, 15.69)]), (8229, [(8229, 4, 0.4900)]), (8241, [(8241, 0, 0)]), (8245, [(8245, 28, 11.99)]), (8248, [(8248, 0, 0)]), (8268, [(8268, -4, 0.4889)]), (8277, [(8277, 28, 23.94)]), (8296, [(8296, 4, 0.2440)]), (8305, [(8305, 12, 2.195)]), (8313, [(8313, 4, 0.4875)]), (8317, [(8317, 8, 0.9748)]), (8332, [(8332, -12, 2.191)]), (8337, [(8337, 6, 1.095)]), (8344, [(8344, -4, 0.2433)]), (8353, [(8353, 0, 0)]), (8373, [(8373, -10, 3.036)]), (8389, [(8389, 12, 2.184)]), (8392, [(8392, 28, 11.89)]), (8401, [(8401, 0, 0)]), (8412, [(8412, 28, 23.75)]), (8413, [(8413, 16, 3.877)]), (8449, [(8449, -4, 0.2418)]), (8457, [(8457, 2, 0.1208)]), (8473, [(8473, 4, 0.2415)]), (8476, [(8476, 16, 3.863)]), (8488, [(8488, 4, 0.2412)]), (8508, [(8508, -12, 4.337)]), (8520, [(8520, 4, 0.4816)]), (8524, [(8524, -4, 0.2407)]), (8533, [(8533, 24, 8.662)]), (8545, [(8545, -4, 0.2404)]), (8553, [(8553, 6, 1.081)]), (8565, [(8565, -4, 0.4803)]), (8572, [(8572, -4, 0.2401)]), (8581, [(8581, 4, 0.2399)]), (8584, [(8584, 0, 0)]), (8601, [(8601, 2, 0.1198)]), (8617, [(8617, 4, 0.2394)]), (8620, [(8620, 4, 0.2394)]), (8629, [(8629, -12, 2.153)]), (8641, [(8641, 4, 0.2391)]), (8653, [(8653, -12, 2.150)]), (8677, [(8677, 4, 0.2386)]), (8697, [(8697, 12, 4.290)]), (8701, [(8701, 24, 8.578)]), (8716, [(8716, 12, 2.143)]), (8733, [(8733, 12, 4.281)]), (8761, [(8761, 0, 0)]), (8769, [(8769, -4, 0.4747)]), (8773, [(8773, 12, 2.136)]), (8781, [(8781, -2, 0.1186)]), (8796, [(8796, -4, 0.4740)]), (8805, [(8805, 18, 9.593)]), (8809, [(8809, 8, 0.9472)]), (8812, [(8812, -12, 2.131)]), (8824, [(8824, 4, 0.2366)]), (8845, [(8845, 0, 0)]), (8853, [(8853, 24, 17.01)]), (8857, [(8857, 8, 0.9447)]), (8872, [(8872, 4, 0.2360)]), (8881, [(8881, 0, 0)]), (8904, [(8904, 0, 0)]), (8905, [(8905, -4, 0.2355)]), (8913, [(8913, 2, 0.1177)]), (8929, [(8929, 0, 0)]), (8940, [(8940, -6, 1.058)]), (8952, [(8952, -16, 7.517)]), (8961, [(8961, -4, 0.4696)]), (8989, [(8989, 0, 0)]), (8997, [(8997, -14, 5.741)]), (9001, [(9001, -4, 0.2343)]), (9021, [(9021, 0, 0)]), (9033, [(9033, 2, 0.1169)]), (9037, [(9037, 16, 3.741)]), (9052, [(9052, -4, 0.2336)]), (9057, [(9057, -10, 2.919)]), (9073, [(9073, 4, 0.2333)]), (9084, [(9084, -10, 2.915)]), (9085, [(9085, -24, 8.395)]), (9096, [(9096, 8, 1.864)]), (9097, [(9097, 0, 0)]), (9109, [(9109, -4, 0.2329)]), (9132, [(9132, 6, 1.047)]), (9133, [(9133, -32, 14.88)]), (9141, [(9141, -14, 5.695)]), (9157, [(9157, 12, 2.090)]), (9160, [(9160, -4, 0.2322)]), (9192, [(9192, 0, 0)]), (9208, [(9208, -16, 3.706)]), (9217, [(9217, 8, 0.9260)]), (9228, [(9228, -10, 2.892)]), (9229, [(9229, 16, 3.702)]), (9237, [(9237, 18, 9.366)]), (9244, [(9244, 8, 0.9247)]), (9249, [(9249, 0, 0)]), (9256, [(9256, -8, 0.9241)]), (9265, [(9265, -8, 0.9236)]), (9285, [(9285, -24, 16.61)]), (9301, [(9301, -4, 0.2305)]), (9304, [(9304, -4, 0.2304)]), (9309, [(9309, -8, 1.843)]), (9313, [(9313, 16, 3.685)]), (9337, [(9337, 12, 2.070)]), (9361, [(9361, 0, 0)]), (9381, [(9381, 4, 0.4589)]), (9385, [(9385, -4, 0.2294)]), (9388, [(9388, 0, 0)]), (9417, [(9417, -6, 1.031)]), (9420, [(9420, 8, 1.832)]), (9436, [(9436, -4, 0.2288)]), (9445, [(9445, 12, 2.058)]), (9453, [(9453, -16, 7.315)]), (9465, [(9465, -2, 0.1142)]), (9480, [(9480, 12, 4.109)]), (9484, [(9484, -8, 0.9129)]), (9489, [(9489, -2, 0.1141)]), (9493, [(9493, -20, 5.703)]), (9496, [(9496, -8, 0.9123)]), (9529, [(9529, 0, 0)]), (9532, [(9532, -24, 8.195)]), (9541, [(9541, 0, 0)]), (9553, [(9553, 12, 2.047)]), (9565, [(9565, 4, 0.2273)]), (9589, [(9589, -4, 0.2270)]), (9597, [(9597, -10, 2.836)]), (9609, [(9609, 2, 0.1134)]), (9613, [(9613, -4, 0.2267)]), (9624, [(9624, 4, 0.4531)]), (9628, [(9628, 16, 3.624)]), (9645, [(9645, -10, 2.829)]), (9660, [(9660, -4, 0.4523)]), (9673, [(9673, -12, 2.034)]), (9681, [(9681, -2, 0.1129)]), (9685, [(9685, 4, 0.2258)]), (9705, [(9705, -6, 1.015)]), (9708, [(9708, -2, 0.1128)]), (9717, [(9717, -4, 0.4509)]), (9721, [(9721, -8, 0.9017)]), (9724, [(9724, 4, 0.2254)]), (9736, [(9736, 0, 0)]), (9741, [(9741, -6, 1.013)]), (9757, [(9757, -12, 2.025)]), (9768, [(9768, 24, 16.19)]), (9769, [(9769, 4, 0.2249)]), (9781, [(9781, -8, 0.8989)]), (9784, [(9784, 12, 2.022)]), (9793, [(9793, -12, 2.021)]), (9816, [(9816, 0, 0)]), (9817, [(9817, 12, 2.019)]), (9841, [(9841, 4, 0.2240)]), (9852, [(9852, -10, 2.799)]), (9901, [(9901, 4, 0.2234)]), (9912, [(9912, -12, 4.018)]), (9913, [(9913, -8, 0.8929)]), (9921, [(9921, 0, 0)]), (9928, [(9928, 4, 0.2231)]), (9933, [(9933, -2, 0.1115)]), (9949, [(9949, 16, 3.565)]), (9964, [(9964, -12, 2.004)]), (9969, [(9969, 0, 0)]), (9985, [(9985, -8, 0.8897)]), (9993, [(9993, 6, 1.001)]), (9997, [(9997, 4, 0.2223)])]]