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

# Nmax = 10000

[(1/2, [1/2 + 5/2*i, -i + j, 1/2*j + 1/2*k]), (-1/2, [1/2 + 5/2*i, -i + j, 1/2*j + 1/2*k])]
[((3,), 2 + 9*i + (-17/2)*j + 1/2*k), ((5,), 1/2 + 7/2*i + 5/2*j + (-3/2)*k)]

# map: (1 |-> 1.0) -> -1, Fractional ideal (3) -> -1, Fractional ideal (5) -> 1
[1, None, [(-4, [(-4, 1, 1.596)]), (-19, [(-19, 2, 2.929)]), (-31, [(-31, 2, 2.293)]), (-79, [(-79, -2, 1.437)]), (-91, [(-91, -4, 5.354)]), (-136, [(-136, -4, 4.379)]), (-139, [(-139, -2, 1.083)]), (-151, [(-151, 2, 1.039)]), (-184, [(-184, -4, 3.765)]), (-199, [(-199, -2, 0.9051)]), (-211, [(-211, -2, 0.8790)]), (-244, [(-244, 4, 3.270)]), (-259, [(-259, 0, 0)]), (-271, [(-271, -2, 0.7756)]), (-319, [(-319, 4, 2.859)]), (-331, [(-331, 6, 6.316)]), (-376, [(-376, 4, 2.634)]), (-379, [(-379, 6, 5.903)]), (-391, [(-391, 0, 0)]), (-424, [(-424, 0, 0)]), (-436, [(-436, 4, 2.446)]), (-439, [(-439, 2, 0.6094)]), (-451, [(-451, 4, 2.405)]), (-499, [(-499, -6, 5.144)]), (-511, [(-511, -4, 2.259)]), (-559, [(-559, 0, 0)]), (-571, [(-571, 2, 0.5343)]), (-616, [(-616, -8, 8.231)]), (-619, [(-619, -2, 0.5132)]), (-631, [(-631, -6, 4.575)]), (-664, [(-664, -8, 7.928)]), (-679, [(-679, 4, 1.960)]), (-691, [(-691, -2, 0.4857)]), (-724, [(-724, -4, 1.898)]), (-739, [(-739, -6, 4.227)]), (-751, [(-751, 2, 0.4659)]), (-799, [(-799, -4, 1.807)]), (-811, [(-811, 2, 0.4483)]), (-856, [(-856, 8, 6.982)]), (-859, [(-859, -6, 3.921)]), (-871, [(-871, -4, 1.730)]), (-904, [(-904, 4, 1.699)]), (-916, [(-916, -4, 1.687)]), (-919, [(-919, -2, 0.4212)]), (-964, [(-964, 0, 0)]), (-979, [(-979, 8, 6.529)]), (-991, [(-991, 2, 0.4056)]), (-1039, [(-1039, 6, 3.565)]), (-1051, [(-1051, -2, 0.3938)]), (-1096, [(-1096, -4, 1.543)]), (-1099, [(-1099, 4, 1.541)]), (-1111, [(-1111, 4, 1.532)]), (-1144, [(-1144, 0, 0)]), (-1159, [(-1159, 0, 0)]), (-1171, [(-1171, 10, 9.328)]), (-1204, [(-1204, 8, 5.887)]), (-1219, [(-1219, 8, 5.851)]), (-1231, [(-1231, 2, 0.3639)]), (-1279, [(-1279, -6, 3.213)]), (-1291, [(-1291, -10, 8.884)]), (-1336, [(-1336, 4, 1.397)]), (-1339, [(-1339, 0, 0)]), (-1351, [(-1351, 8, 5.558)]), (-1384, [(-1384, 8, 5.491)]), (-1396, [(-1396, 4, 1.367)]), (-1399, [(-1399, -2, 0.3414)]), (-1411, [(-1411, -4, 1.360)]), (-1459, [(-1459, 2, 0.3343)]), (-1471, [(-1471, -2, 0.3329)]), (-1531, [(-1531, 2, 0.3263)]), (-1576, [(-1576, -8, 5.146)]), (-1579, [(-1579, -2, 0.3213)]), (-1591, [(-1591, 4, 1.280)]), (-1624, [(-1624, 0, 0)]), (-1636, [(-1636, -8, 5.051)]), (-1639, [(-1639, -4, 1.262)]), (-1651, [(-1651, -8, 5.028)]), (-1684, [(-1684, -12, 11.20)]), (-1699, [(-1699, 2, 0.3098)]), (-1711, [(-1711, 0, 0)]), (-1759, [(-1759, -2, 0.3044)]), (-1771, [(-1771, -8, 4.854)]), (-1816, [(-1816, 8, 4.794)]), (-1819, [(-1819, -8, 4.790)]), (-1831, [(-1831, 2, 0.2984)]), (-1864, [(-1864, 4, 1.183)]), (-1876, [(-1876, -8, 4.717)]), (-1879, [(-1879, -6, 2.651)]), (-1891, [(-1891, -4, 1.174)]), (-1924, [(-1924, 0, 0)]), (-1939, [(-1939, -8, 4.639)]), (-1951, [(-1951, 2, 0.2891)]), (-1999, [(-1999, -2, 0.2856)]), (-2011, [(-2011, 6, 2.562)]), (-2056, [(-2056, -4, 1.126)]), (-2059, [(-2059, 8, 4.502)]), (-2071, [(-2071, -4, 1.122)]), (-2104, [(-2104, -4, 1.113)]), (-2119, [(-2119, 4, 1.109)]), (-2131, [(-2131, 2, 0.2766)]), (-2164, [(-2164, 4, 1.098)]), (-2179, [(-2179, 2, 0.2735)]), (-2191, [(-2191, 4, 1.091)]), (-2239, [(-2239, 6, 2.429)]), (-2251, [(-2251, -2, 0.2691)]), (-2296, [(-2296, 8, 4.263)]), (-2311, [(-2311, -6, 2.390)]), (-2344, [(-2344, 8, 4.219)]), (-2356, [(-2356, 0, 0)]), (-2359, [(-2359, 8, 4.206)]), (-2371, [(-2371, 6, 2.360)]), (-2404, [(-2404, 0, 0)]), (-2419, [(-2419, -8, 4.154)]), (-2431, [(-2431, 0, 0)]), (-2479, [(-2479, -8, 4.103)]), (-2491, [(-2491, 12, 9.209)]), (-2536, [(-2536, 8, 4.057)]), (-2539, [(-2539, 6, 2.281)]), (-2551, [(-2551, -2, 0.2528)]), (-2584, [(-2584, 8, 4.019)]), (-2596, [(-2596, 8, 4.009)]), (-2599, [(-2599, 0, 0)]), (-2611, [(-2611, 0, 0)]), (-2644, [(-2644, -12, 8.939)]), (-2659, [(-2659, -2, 0.2476)]), (-2671, [(-2671, -2, 0.2470)]), (-2719, [(-2719, 6, 2.204)]), (-2731, [(-2731, 6, 2.199)]), (-2776, [(-2776, 0, 0)]), (-2779, [(-2779, -4, 0.9688)]), (-2791, [(-2791, -2, 0.2417)]), (-2824, [(-2824, 4, 0.9611)]), (-2836, [(-2836, -4, 0.9590)]), (-2839, [(-2839, 8, 3.834)]), (-2851, [(-2851, -2, 0.2391)]), (-2884, [(-2884, -8, 3.804)]), (-2899, [(-2899, 4, 0.9485)]), (-2911, [(-2911, -4, 0.9466)]), (-2959, [(-2959, 0, 0)]), (-2971, [(-2971, 2, 0.2342)]), (-3016, [(-3016, -8, 3.720)]), (-3019, [(-3019, -6, 2.091)]), (-3031, [(-3031, -4, 0.9277)]), (-3064, [(-3064, -4, 0.9226)]), (-3076, [(-3076, -8, 3.683)]), (-3079, [(-3079, -2, 0.2301)]), (-3091, [(-3091, 4, 0.9186)]), (-3124, [(-3124, 8, 3.655)]), (-3139, [(-3139, -12, 8.204)]), (-3151, [(-3151, -8, 3.639)]), (-3199, [(-3199, 0, 0)]), (-3256, [(-3256, 8, 3.580)]), (-3259, [(-3259, -10, 5.591)]), (-3271, [(-3271, -6, 2.009)]), (-3304, [(-3304, -8, 3.554)]), (-3316, [(-3316, 12, 7.982)]), (-3319, [(-3319, -6, 1.995)]), (-3331, [(-3331, -10, 5.531)]), (-3379, [(-3379, 0, 0)]), (-3391, [(-3391, 6, 1.973)]), (-3439, [(-3439, 4, 0.8709)]), (-3451, [(-3451, -8, 3.478)]), (-3496, [(-3496, 0, 0)]), (-3499, [(-3499, -2, 0.2158)]), (-3511, [(-3511, 6, 1.939)]), (-3544, [(-3544, -8, 3.432)]), (-3556, [(-3556, -8, 3.426)]), (-3559, [(-3559, -6, 1.926)]), (-3571, [(-3571, 14, 10.47)]), (-3604, [(-3604, -8, 3.403)]), (-3619, [(-3619, 0, 0)]), (-3631, [(-3631, -10, 5.297)]), (-3679, [(-3679, 8, 3.368)]), (-3691, [(-3691, -2, 0.2102)]), (-3736, [(-3736, 0, 0)]), (-3739, [(-3739, 6, 1.879)]), (-3784, [(-3784, 8, 3.321)]), (-3796, [(-3796, -8, 3.316)]), (-3799, [(-3799, 4, 0.8286)]), (-3811, [(-3811, 12, 7.446)]), (-3859, [(-3859, 8, 3.289)]), (-3919, [(-3919, -6, 1.836)]), (-3931, [(-3931, -10, 5.091)]), (-3976, [(-3976, 8, 3.240)]), (-3979, [(-3979, -4, 0.8096)]), (-3991, [(-3991, 4, 0.8084)]), (-4024, [(-4024, 12, 7.246)]), (-4036, [(-4036, 8, 3.216)]), (-4039, [(-4039, 4, 0.8036)]), (-4051, [(-4051, -14, 9.830)]), (-4084, [(-4084, 12, 7.193)]), (-4099, [(-4099, 14, 9.772)]), (-4111, [(-4111, 2, 0.1991)]), (-4159, [(-4159, -2, 0.1980)]), (-4171, [(-4171, 8, 3.163)]), (-4216, [(-4216, -8, 3.146)]), (-4219, [(-4219, -2, 0.1966)]), (-4231, [(-4231, 2, 0.1963)]), (-4264, [(-4264, 0, 0)]), (-4276, [(-4276, 4, 0.7810)]), (-4279, [(-4279, -8, 3.123)]), (-4291, [(-4291, 8, 3.119)]), (-4324, [(-4324, 8, 3.107)]), (-4339, [(-4339, 10, 4.846)]), (-4351, [(-4351, 8, 3.097)]), (-4399, [(-4399, 0, 0)]), (-4411, [(-4411, 0, 0)]), (-4456, [(-4456, -8, 3.060)]), (-4471, [(-4471, 4, 0.7638)]), (-4504, [(-4504, 0, 0)]), (-4516, [(-4516, 8, 3.040)]), (-4519, [(-4519, 6, 1.709)]), (-4531, [(-4531, -4, 0.7587)]), (-4564, [(-4564, -8, 3.024)]), (-4579, [(-4579, 4, 0.7547)]), (-4591, [(-4591, 10, 4.711)]), (-4639, [(-4639, -6, 1.687)]), (-4651, [(-4651, -6, 1.685)]), (-4696, [(-4696, -8, 2.981)]), (-4699, [(-4699, 8, 2.980)]), (-4711, [(-4711, 0, 0)]), (-4744, [(-4744, -12, 6.673)]), (-4756, [(-4756, -8, 2.962)]), (-4759, [(-4759, 2, 0.1851)]), (-4771, [(-4771, -8, 2.958)]), (-4804, [(-4804, 8, 2.947)]), (-4819, [(-4819, -4, 0.7357)]), (-4831, [(-4831, -2, 0.1837)]), (-4879, [(-4879, 0, 0)]), (-4891, [(-4891, -8, 2.921)]), (-4936, [(-4936, 4, 0.7269)]), (-4939, [(-4939, -8, 2.907)]), (-4951, [(-4951, -6, 1.633)]), (-4984, [(-4984, -8, 2.894)]), (-4996, [(-4996, 0, 0)]), (-4999, [(-4999, -10, 4.515)]), (-5011, [(-5011, -10, 4.509)]), (-5044, [(-5044, 8, 2.876)]), (-5059, [(-5059, -10, 4.488)]), (-5071, [(-5071, 4, 0.7172)]), (-5119, [(-5119, -10, 4.461)]), (-5131, [(-5131, 4, 0.7130)]), (-5176, [(-5176, -4, 0.7099)]), (-5179, [(-5179, 6, 1.597)]), (-5191, [(-5191, 0, 0)]), (-5224, [(-5224, 0, 0)]), (-5236, [(-5236, 0, 0)]), (-5251, [(-5251, 4, 0.7048)]), (-5284, [(-5284, -8, 2.810)]), (-5299, [(-5299, -8, 2.806)]), (-5311, [(-5311, 8, 2.803)]), (-5359, [(-5359, 4, 0.6976)]), (-5371, [(-5371, -16, 11.15)]), (-5416, [(-5416, 0, 0)]), (-5419, [(-5419, -6, 1.561)]), (-5431, [(-5431, -2, 0.1733)]), (-5464, [(-5464, 0, 0)]), (-5479, [(-5479, 2, 0.1725)]), (-5524, [(-5524, -4, 0.6872)]), (-5539, [(-5539, 4, 0.6862)]), (-5551, [(-5551, 8, 2.742)]), (-5599, [(-5599, 0, 0)]), (-5611, [(-5611, 4, 0.6818)]), (-5656, [(-5656, 0, 0)]), (-5659, [(-5659, 14, 8.317)]), (-5671, [(-5671, 4, 0.6782)]), (-5704, [(-5704, -8, 2.705)]), (-5716, [(-5716, 4, 0.6755)]), (-5719, [(-5719, 0, 0)]), (-5731, [(-5731, 0, 0)]), (-5764, [(-5764, 8, 2.691)]), (-5779, [(-5779, -10, 4.199)]), (-5791, [(-5791, -14, 8.221)]), (-5839, [(-5839, -2, 0.1671)]), (-5851, [(-5851, 10, 4.173)]), (-5896, [(-5896, 0, 0)]), (-5899, [(-5899, 8, 2.660)]), (-5911, [(-5911, -4, 0.6643)]), (-5944, [(-5944, 4, 0.6624)]), (-5956, [(-5956, 0, 0)]), (-5959, [(-5959, 4, 0.6616)]), (-5971, [(-5971, -4, 0.6609)]), (-6004, [(-6004, 16, 10.55)]), (-6019, [(-6019, -4, 0.6583)]), (-6031, [(-6031, 4, 0.6576)]), (-6079, [(-6079, -2, 0.1638)]), (-6091, [(-6091, 10, 4.090)]), (-6136, [(-6136, -16, 10.43)]), (-6139, [(-6139, -8, 2.607)]), (-6151, [(-6151, -2, 0.1628)]), (-6184, [(-6184, -8, 2.598)]), (-6196, [(-6196, 20, 16.22)]), (-6199, [(-6199, 6, 1.460)]), (-6211, [(-6211, -2, 0.1620)]), (-6244, [(-6244, 8, 2.585)]), (-6259, [(-6259, 12, 5.810)]), (-6271, [(-6271, -10, 4.031)]), (-6319, [(-6319, 8, 2.570)]), (-6331, [(-6331, 4, 0.6419)]), (-6376, [(-6376, 8, 2.558)]), (-6379, [(-6379, 10, 3.997)]), (-6391, [(-6391, 8, 2.555)]), (-6424, [(-6424, 0, 0)]), (-6436, [(-6436, 16, 10.19)]), (-6439, [(-6439, 0, 0)]), (-6451, [(-6451, 2, 0.1590)]), (-6484, [(-6484, -4, 0.6342)]), (-6499, [(-6499, -4, 0.6335)]), (-6511, [(-6511, -4, 0.6329)]), (-6559, [(-6559, 4, 0.6306)]), (-6571, [(-6571, 18, 12.76)]), (-6616, [(-6616, 0, 0)]), (-6619, [(-6619, 10, 3.923)]), (-6631, [(-6631, 8, 2.509)]), (-6676, [(-6676, -4, 0.6251)]), (-6679, [(-6679, -6, 1.406)]), (-6691, [(-6691, 2, 0.1561)]), (-6739, [(-6739, 0, 0)]), (-6751, [(-6751, -4, 0.6216)]), (-6799, [(-6799, 8, 2.478)]), (-6856, [(-6856, 12, 5.551)]), (-6871, [(-6871, -6, 1.386)]), (-6904, [(-6904, 4, 0.6147)]), (-6916, [(-6916, 0, 0)]), (-6919, [(-6919, 8, 2.456)]), (-6931, [(-6931, 16, 9.815)]), (-6964, [(-6964, 12, 5.508)]), (-6979, [(-6979, -12, 5.502)]), (-6991, [(-6991, -10, 3.818)]), (-7039, [(-7039, 2, 0.1522)]), (-7051, [(-7051, -8, 2.433)]), (-7096, [(-7096, -12, 5.457)]), (-7099, [(-7099, -12, 5.455)]), (-7111, [(-7111, -8, 2.423)]), (-7144, [(-7144, 0, 0)]), (-7156, [(-7156, -4, 0.6037)]), (-7159, [(-7159, -10, 3.773)]), (-7171, [(-7171, -8, 2.412)]), (-7204, [(-7204, 0, 0)]), (-7219, [(-7219, 6, 1.352)]), (-7231, [(-7231, 0, 0)]), (-7279, [(-7279, 4, 0.5986)]), (-7291, [(-7291, -12, 5.383)]), (-7336, [(-7336, 8, 2.385)]), (-7339, [(-7339, -4, 0.5962)]), (-7351, [(-7351, -6, 1.340)]), (-7384, [(-7384, 0, 0)]), (-7411, [(-7411, 6, 1.335)]), (-7444, [(-7444, -12, 5.328)]), (-7459, [(-7459, -6, 1.331)]), (-7471, [(-7471, -4, 0.5909)]), (-7519, [(-7519, -4, 0.5890)]), (-7531, [(-7531, -4, 0.5885)]), (-7576, [(-7576, -8, 2.347)]), (-7579, [(-7579, -8, 2.347)]), (-7591, [(-7591, -6, 1.319)]), (-7624, [(-7624, -20, 14.62)]), (-7636, [(-7636, -8, 2.338)]), (-7639, [(-7639, 6, 1.315)]), (-7651, [(-7651, 16, 9.342)]), (-7684, [(-7684, 0, 0)]), (-7699, [(-7699, -10, 3.638)]), (-7711, [(-7711, 4, 0.5816)]), (-7759, [(-7759, 2, 0.1450)]), (-7771, [(-7771, 12, 5.214)]), (-7816, [(-7816, -4, 0.5777)]), (-7819, [(-7819, 0, 0)]), (-7831, [(-7831, 4, 0.5771)]), (-7864, [(-7864, -12, 5.183)]), (-7876, [(-7876, 8, 2.302)]), (-7879, [(-7879, 2, 0.1438)]), (-7891, [(-7891, -8, 2.300)]), (-7924, [(-7924, 0, 0)]), (-7939, [(-7939, 4, 0.5732)]), (-7951, [(-7951, 2, 0.1432)]), (-7999, [(-7999, -4, 0.5710)]), (-8011, [(-8011, -14, 6.990)]), (-8056, [(-8056, 8, 2.276)]), (-8059, [(-8059, -10, 3.556)]), (-8071, [(-8071, 4, 0.5685)]), (-8104, [(-8104, -8, 2.269)]), (-8116, [(-8116, 4, 0.5669)]), (-8119, [(-8119, 4, 0.5668)]), (-8131, [(-8131, -4, 0.5664)]), (-8164, [(-8164, 16, 9.044)]), (-8179, [(-8179, 10, 3.529)]), (-8191, [(-8191, -2, 0.1411)]), (-8239, [(-8239, -8, 2.251)]), (-8251, [(-8251, 8, 2.249)]), (-8296, [(-8296, 8, 2.243)]), (-8299, [(-8299, -8, 2.242)]), (-8311, [(-8311, -6, 1.260)]), (-8344, [(-8344, 16, 8.946)]), (-8356, [(-8356, 8, 2.235)]), (-8359, [(-8359, -4, 0.5586)]), (-8371, [(-8371, -4, 0.5582)]), (-8404, [(-8404, -8, 2.228)]), (-8419, [(-8419, 18, 11.27)]), (-8431, [(-8431, -6, 1.251)]), (-8479, [(-8479, 4, 0.5546)]), (-8491, [(-8491, 0, 0)]), (-8536, [(-8536, -16, 8.844)]), (-8539, [(-8539, -2, 0.1382)]), (-8551, [(-8551, -8, 2.209)]), (-8584, [(-8584, 16, 8.820)]), (-8596, [(-8596, 0, 0)]), (-8599, [(-8599, 6, 1.239)]), (-8611, [(-8611, 4, 0.5504)]), (-8644, [(-8644, 0, 0)]), (-8659, [(-8659, -4, 0.5488)]), (-8671, [(-8671, 16, 8.775)]), (-8719, [(-8719, -6, 1.231)]), (-8731, [(-8731, 2, 0.1366)]), (-8776, [(-8776, 4, 0.5452)]), (-8779, [(-8779, 6, 1.226)]), (-8791, [(-8791, 4, 0.5447)]), (-8824, [(-8824, 12, 4.893)]), (-8839, [(-8839, 2, 0.1358)]), (-8851, [(-8851, 8, 2.171)]), (-8884, [(-8884, 4, 0.5418)]), (-8899, [(-8899, 12, 4.873)]), (-8911, [(-8911, 8, 2.164)]), (-8971, [(-8971, -6, 1.213)]), (-9019, [(-9019, 12, 4.840)]), (-9031, [(-9031, 4, 0.5374)]), (-9064, [(-9064, -8, 2.146)]), (-9076, [(-9076, 12, 4.825)]), (-9079, [(-9079, 8, 2.144)]), (-9091, [(-9091, -2, 0.1339)]), (-9124, [(-9124, -16, 8.555)]), (-9139, [(-9139, 8, 2.137)]), (-9151, [(-9151, 6, 1.201)]), (-9199, [(-9199, -10, 3.328)]), (-9211, [(-9211, -4, 0.5321)]), (-9256, [(-9256, 16, 8.494)]), (-9259, [(-9259, 4, 0.5308)]), (-9271, [(-9271, 8, 2.122)]), (-9304, [(-9304, 8, 2.118)]), (-9316, [(-9316, -16, 8.466)]), (-9319, [(-9319, -2, 0.1323)]), (-9331, [(-9331, 8, 2.115)]), (-9364, [(-9364, 4, 0.5278)]), (-9379, [(-9379, 12, 4.746)]), (-9391, [(-9391, 2, 0.1318)]), (-9439, [(-9439, -6, 1.183)]), (-9451, [(-9451, -8, 2.101)]), (-9496, [(-9496, -16, 8.385)]), (-9499, [(-9499, -8, 2.096)]), (-9511, [(-9511, -2, 0.1309)]), (-9544, [(-9544, 4, 0.5228)]), (-9556, [(-9556, -4, 0.5224)]), (-9571, [(-9571, -12, 4.698)]), (-9619, [(-9619, -14, 6.379)]), (-9631, [(-9631, 2, 0.1301)]), (-9679, [(-9679, 6, 1.168)]), (-9691, [(-9691, 8, 2.075)]), (-9736, [(-9736, 12, 4.658)]), (-9739, [(-9739, 14, 6.340)]), (-9784, [(-9784, 12, 4.647)]), (-9796, [(-9796, 0, 0)]), (-9799, [(-9799, -12, 4.643)]), (-9811, [(-9811, -6, 1.160)]), (-9844, [(-9844, 8, 2.059)]), (-9859, [(-9859, -10, 3.215)]), (-9871, [(-9871, 2, 0.1285)]), (-9919, [(-9919, 8, 2.051)]), (-9931, [(-9931, -14, 6.278)]), (-9976, [(-9976, 0, 0)]), (-9979, [(-9979, -4, 0.5113)]), (-9991, [(-9991, 0, 0)])]]

# map: (1 |-> 1.0) -> -1, Fractional ideal (3) -> 1, Fractional ideal (5) -> -1
[17, 2 + (-40)*i + 41/2*j + (-49/2)*k, [(-3, [(-3, 2, 0.9216)]), (-8, [(-8, -4, 1.129)]), (-15, [(-15, -2, 0.8243)]), (-20, [(-20, 4, 1.428)]), (-23, [(-23, 4, 0.6657)]), (-35, [(-35, -4, 1.079)]), (-47, [(-47, -4, 0.4657)]), (-68, [(-68, 0, 0)]), (-83, [(-83, 4, 0.3504)]), (-87, [(-87, 4, 0.6845)]), (-95, [(-95, 0, 0)]), (-107, [(-107, 4, 0.3086)]), (-120, [(-120, -4, 1.166)]), (-123, [(-123, -4, 0.5757)]), (-132, [(-132, -8, 2.223)]), (-143, [(-143, -8, 1.068)]), (-152, [(-152, 8, 1.036)]), (-155, [(-155, 8, 2.051)]), (-167, [(-167, 4, 0.2470)]), (-168, [(-168, 8, 1.970)]), (-183, [(-183, 0, 0)]), (-195, [(-195, -4, 0.9145)]), (-203, [(-203, -16, 3.585)]), (-212, [(-212, -8, 0.8771)]), (-215, [(-215, 4, 0.4355)]), (-227, [(-227, -4, 0.2119)]), (-228, [(-228, 8, 1.691)]), (-248, [(-248, 0, 0)]), (-255, [(-255, 4, 0.7997)]), (-260, [(-260, 0, 0)]), (-263, [(-263, -4, 0.1969)]), (-267, [(-267, 12, 3.517)]), (-287, [(-287, 8, 0.7538)]), (-303, [(-303, -4, 0.3668)]), (-308, [(-308, 0, 0)]), (-312, [(-312, -8, 1.446)]), (-323, [(-323, 16, 2.842)]), (-327, [(-327, -8, 1.412)]), (-335, [(-335, -4, 0.3489)]), (-347, [(-347, -4, 0.1714)]), (-372, [(-372, 8, 1.324)]), (-383, [(-383, 12, 1.468)]), (-395, [(-395, 0, 0)]), (-407, [(-407, 0, 0)]), (-408, [(-408, -8, 1.264)]), (-420, [(-420, 8, 2.492)]), (-435, [(-435, -4, 0.6123)]), (-440, [(-440, 8, 1.218)]), (-443, [(-443, -4, 0.1517)]), (-447, [(-447, 4, 0.3020)]), (-452, [(-452, 16, 2.403)]), (-455, [(-455, -8, 1.197)]), (-467, [(-467, -12, 1.330)]), (-483, [(-483, 8, 1.162)]), (-488, [(-488, -8, 0.5781)]), (-503, [(-503, -4, 0.1423)]), (-515, [(-515, -12, 2.532)]), (-527, [(-527, -8, 0.5563)]), (-543, [(-543, 8, 1.096)]), (-548, [(-548, -16, 2.182)]), (-552, [(-552, 0, 0)]), (-555, [(-555, -4, 0.5421)]), (-563, [(-563, 12, 1.211)]), (-587, [(-587, 20, 3.294)]), (-615, [(-615, -4, 0.5149)]), (-623, [(-623, 8, 0.5116)]), (-627, [(-627, -8, 1.020)]), (-632, [(-632, 0, 0)]), (-635, [(-635, 12, 2.280)]), (-647, [(-647, -12, 1.130)]), (-660, [(-660, -8, 1.988)]), (-663, [(-663, 0, 0)]), (-680, [(-680, 8, 0.9794)]), (-683, [(-683, -4, 0.1222)]), (-687, [(-687, 8, 0.9744)]), (-692, [(-692, -8, 0.4854)]), (-695, [(-695, 0, 0)]), (-707, [(-707, 8, 0.4803)]), (-708, [(-708, -8, 0.9599)]), (-723, [(-723, 8, 0.9499)]), (-728, [(-728, 16, 1.893)]), (-740, [(-740, -16, 3.755)]), (-743, [(-743, -4, 0.1171)]), (-755, [(-755, -8, 0.9295)]), (-767, [(-767, 8, 0.4611)]), (-788, [(-788, 8, 0.4549)]), (-795, [(-795, 12, 4.076)]), (-803, [(-803, -8, 0.4506)]), (-807, [(-807, 4, 0.2248)]), (-815, [(-815, 4, 0.2237)]), (-827, [(-827, -12, 0.9991)]), (-840, [(-840, 8, 1.762)]), (-843, [(-843, -12, 1.979)]), (-852, [(-852, 16, 3.500)]), (-863, [(-863, -4, 0.1087)]), (-872, [(-872, -8, 0.4324)]), (-887, [(-887, -4, 0.1072)]), (-888, [(-888, 8, 0.8571)]), (-903, [(-903, -16, 3.400)]), (-915, [(-915, 8, 1.689)]), (-920, [(-920, -8, 0.8420)]), (-923, [(-923, -8, 0.4203)]), (-932, [(-932, 0, 0)]), (-935, [(-935, 8, 0.8353)]), (-947, [(-947, -4, 0.1037)]), (-948, [(-948, -8, 0.8295)]), (-983, [(-983, 4, 0.1018)]), (-987, [(-987, 0, 0)]), (-995, [(-995, 0, 0)]), (-1007, [(-1007, 8, 0.4024)]), (-1023, [(-1023, 0, 0)]), (-1028, [(-1028, 16, 1.593)]), (-1032, [(-1032, 0, 0)]), (-1043, [(-1043, 0, 0)]), (-1047, [(-1047, 0, 0)]), (-1055, [(-1055, 8, 0.7863)]), (-1067, [(-1067, 16, 1.564)]), (-1092, [(-1092, -16, 3.092)]), (-1095, [(-1095, 4, 0.3859)]), (-1103, [(-1103, -12, 0.8651)]), (-1112, [(-1112, -24, 3.447)]), (-1115, [(-1115, 12, 1.721)]), (-1128, [(-1128, 0, 0)]), (-1140, [(-1140, 0, 0)]), (-1155, [(-1155, -8, 1.503)]), (-1160, [(-1160, -8, 0.7499)]), (-1163, [(-1163, -12, 0.8425)]), (-1167, [(-1167, -12, 1.682)]), (-1172, [(-1172, 8, 0.3730)]), (-1187, [(-1187, 12, 0.8340)]), (-1203, [(-1203, 4, 0.1841)]), (-1208, [(-1208, -16, 1.470)]), (-1220, [(-1220, 0, 0)]), (-1223, [(-1223, 4, 0.09129)]), (-1227, [(-1227, 8, 0.7291)]), (-1235, [(-1235, 8, 0.7268)]), (-1247, [(-1247, -8, 0.3616)]), (-1263, [(-1263, 8, 0.7187)]), (-1268, [(-1268, 8, 0.3586)]), (-1272, [(-1272, 8, 0.7161)]), (-1283, [(-1283, 4, 0.08913)]), (-1295, [(-1295, -8, 0.7097)]), (-1307, [(-1307, -28, 4.327)]), (-1320, [(-1320, -8, 1.406)]), (-1335, [(-1335, 4, 0.3495)]), (-1343, [(-1343, -8, 0.3485)]), (-1347, [(-1347, -12, 1.566)]), (-1355, [(-1355, -8, 0.6938)]), (-1367, [(-1367, 12, 0.7771)]), (-1380, [(-1380, 8, 1.375)]), (-1383, [(-1383, 12, 1.545)]), (-1403, [(-1403, 8, 0.3409)]), (-1407, [(-1407, 0, 0)]), (-1412, [(-1412, 16, 1.359)]), (-1415, [(-1415, -4, 0.1697)]), (-1427, [(-1427, -12, 0.7606)]), (-1428, [(-1428, -16, 2.703)]), (-1443, [(-1443, -16, 2.689)]), (-1448, [(-1448, -8, 0.3356)]), (-1455, [(-1455, 4, 0.3348)]), (-1460, [(-1460, 8, 0.6684)]), (-1463, [(-1463, 0, 0)]), (-1487, [(-1487, -4, 0.08279)]), (-1508, [(-1508, 0, 0)]), (-1515, [(-1515, -12, 2.953)]), (-1523, [(-1523, 20, 2.045)]), (-1527, [(-1527, -12, 1.471)]), (-1535, [(-1535, -12, 1.467)]), (-1547, [(-1547, 16, 1.299)]), (-1560, [(-1560, 16, 5.173)]), (-1563, [(-1563, 4, 0.1615)]), (-1572, [(-1572, 8, 0.6442)]), (-1583, [(-1583, 12, 0.7222)]), (-1592, [(-1592, 16, 1.280)]), (-1595, [(-1595, 0, 0)]), (-1607, [(-1607, 4, 0.07964)]), (-1608, [(-1608, -16, 2.548)]), (-1623, [(-1623, 8, 0.6340)]), (-1635, [(-1635, 8, 1.263)]), (-1640, [(-1640, 0, 0)]), (-1643, [(-1643, 24, 2.835)]), (-1652, [(-1652, -16, 1.257)]), (-1655, [(-1655, -8, 0.6278)]), (-1667, [(-1667, -4, 0.07819)]), (-1668, [(-1668, -8, 0.6254)]), (-1688, [(-1688, -8, 0.3108)]), (-1695, [(-1695, -4, 0.3102)]), (-1703, [(-1703, 16, 1.238)]), (-1707, [(-1707, 12, 1.391)]), (-1727, [(-1727, -16, 1.229)]), (-1743, [(-1743, 0, 0)]), (-1748, [(-1748, -16, 1.222)]), (-1752, [(-1752, 16, 2.441)]), (-1763, [(-1763, -16, 1.217)]), (-1767, [(-1767, 0, 0)]), (-1787, [(-1787, -12, 0.6797)]), (-1803, [(-1803, 0, 0)]), (-1812, [(-1812, -8, 0.6000)]), (-1823, [(-1823, -4, 0.07477)]), (-1832, [(-1832, 24, 2.685)]), (-1835, [(-1835, -20, 3.726)]), (-1847, [(-1847, 4, 0.07429)]), (-1848, [(-1848, 16, 2.376)]), (-1860, [(-1860, 0, 0)]), (-1880, [(-1880, -8, 0.5890)]), (-1883, [(-1883, 8, 0.2943)]), (-1887, [(-1887, -8, 0.5879)]), (-1892, [(-1892, -16, 1.174)]), (-1895, [(-1895, 16, 2.347)]), (-1907, [(-1907, -4, 0.07311)]), (-1923, [(-1923, 12, 1.310)]), (-1928, [(-1928, 16, 1.163)]), (-1940, [(-1940, 8, 0.5799)]), (-1943, [(-1943, 0, 0)]), (-1947, [(-1947, -16, 2.315)]), (-1955, [(-1955, 8, 0.5776)]), (-1967, [(-1967, 16, 1.152)]), (-1983, [(-1983, -16, 2.294)]), (-1988, [(-1988, 0, 0)]), (-1992, [(-1992, 0, 0)]), (-1995, [(-1995, -8, 1.144)]), (-2003, [(-2003, -20, 1.783)]), (-2015, [(-2015, -8, 0.5690)]), (-2027, [(-2027, 4, 0.07091)]), (-2040, [(-2040, -16, 4.524)]), (-2055, [(-2055, -12, 2.535)]), (-2063, [(-2063, -4, 0.07029)]), (-2067, [(-2067, -16, 2.247)]), (-2072, [(-2072, 0, 0)]), (-2087, [(-2087, 4, 0.06988)]), (-2103, [(-2103, -4, 0.1392)]), (-2120, [(-2120, 8, 0.5547)]), (-2123, [(-2123, -24, 2.494)]), (-2127, [(-2127, 8, 0.5538)]), (-2132, [(-2132, -16, 1.106)]), (-2135, [(-2135, 8, 0.5527)]), (-2147, [(-2147, 8, 0.2756)]), (-2148, [(-2148, 8, 0.5511)]), (-2163, [(-2163, 0, 0)]), (-2168, [(-2168, 0, 0)]), (-2180, [(-2180, 0, 0)]), (-2183, [(-2183, -8, 0.2733)]), (-2195, [(-2195, 16, 2.181)]), (-2207, [(-2207, -12, 0.6116)]), (-2228, [(-2228, 8, 0.2705)]), (-2235, [(-2235, 4, 0.2701)]), (-2243, [(-2243, -12, 0.6067)]), (-2247, [(-2247, 8, 0.5388)]), (-2255, [(-2255, 16, 2.151)]), (-2267, [(-2267, 4, 0.06705)]), (-2280, [(-2280, -16, 4.279)]), (-2283, [(-2283, 4, 0.1336)]), (-2292, [(-2292, 0, 0)]), (-2307, [(-2307, 16, 2.127)]), (-2315, [(-2315, -4, 0.1327)]), (-2327, [(-2327, 0, 0)]), (-2328, [(-2328, 0, 0)]), (-2343, [(-2343, 0, 0)]), (-2355, [(-2355, 20, 6.579)]), (-2360, [(-2360, -8, 0.5257)]), (-2363, [(-2363, 24, 2.364)]), (-2372, [(-2372, -16, 1.049)]), (-2387, [(-2387, 16, 1.046)]), (-2388, [(-2388, 24, 4.704)]), (-2408, [(-2408, 0, 0)]), (-2415, [(-2415, 8, 1.039)]), (-2423, [(-2423, -20, 1.621)]), (-2427, [(-2427, -12, 1.166)]), (-2435, [(-2435, -12, 1.165)]), (-2447, [(-2447, -4, 0.06454)]), (-2463, [(-2463, -4, 0.1287)]), (-2468, [(-2468, 0, 0)]), (-2472, [(-2472, -8, 0.5137)]), (-2483, [(-2483, -16, 1.025)]), (-2487, [(-2487, 8, 0.5121)]), (-2495, [(-2495, 0, 0)]), (-2507, [(-2507, 8, 0.2550)]), (-2532, [(-2532, 8, 0.5076)]), (-2543, [(-2543, 4, 0.06331)]), (-2552, [(-2552, -16, 1.011)]), (-2555, [(-2555, 8, 0.5053)]), (-2567, [(-2567, -16, 1.008)]), (-2568, [(-2568, -16, 2.016)]), (-2580, [(-2580, 0, 0)]), (-2595, [(-2595, 4, 0.2507)]), (-2603, [(-2603, 16, 1.001)]), (-2607, [(-2607, 8, 0.5002)]), (-2612, [(-2612, 24, 2.249)]), (-2615, [(-2615, 4, 0.1249)]), (-2627, [(-2627, 16, 0.9966)]), (-2643, [(-2643, -20, 3.105)]), (-2648, [(-2648, 8, 0.2482)]), (-2660, [(-2660, 16, 1.981)]), (-2663, [(-2663, 4, 0.06187)]), (-2667, [(-2667, 0, 0)]), (-2687, [(-2687, 4, 0.06159)]), (-2703, [(-2703, 8, 0.4912)]), (-2708, [(-2708, 24, 2.209)]), (-2712, [(-2712, -8, 0.4904)]), (-2715, [(-2715, -8, 0.9803)]), (-2723, [(-2723, -16, 0.9789)]), (-2735, [(-2735, 4, 0.1221)]), (-2747, [(-2747, -8, 0.2437)]), (-2760, [(-2760, 0, 0)]), (-2787, [(-2787, -12, 1.089)]), (-2792, [(-2792, 24, 2.175)]), (-2795, [(-2795, -24, 4.348)]), (-2807, [(-2807, -16, 0.9641)]), (-2820, [(-2820, -8, 0.9619)]), (-2823, [(-2823, -4, 0.1202)]), (-2840, [(-2840, 0, 0)]), (-2843, [(-2843, 20, 1.497)]), (-2847, [(-2847, 0, 0)]), (-2852, [(-2852, 0, 0)]), (-2855, [(-2855, -8, 0.4780)]), (-2867, [(-2867, -16, 0.9540)]), (-2868, [(-2868, 0, 0)]), (-2895, [(-2895, -4, 0.2373)]), (-2903, [(-2903, 4, 0.05925)]), (-2915, [(-2915, 16, 1.892)]), (-2927, [(-2927, 20, 1.475)]), (-2948, [(-2948, -16, 0.9408)]), (-2955, [(-2955, 4, 0.2349)]), (-2963, [(-2963, -4, 0.05865)]), (-2967, [(-2967, -8, 0.4689)]), (-2987, [(-2987, -16, 0.9346)]), (-3003, [(-3003, 16, 1.864)]), (-3012, [(-3012, 8, 0.4654)]), (-3023, [(-3023, 20, 1.452)]), (-3027, [(-3027, 8, 0.4642)]), (-3032, [(-3032, 8, 0.2319)]), (-3035, [(-3035, -4, 0.1159)]), (-3047, [(-3047, 8, 0.2313)]), (-3048, [(-3048, 24, 4.163)]), (-3063, [(-3063, 0, 0)]), (-3080, [(-3080, 0, 0)]), (-3083, [(-3083, -4, 0.05750)]), (-3092, [(-3092, 8, 0.2297)]), (-3095, [(-3095, -16, 1.836)]), (-3107, [(-3107, 24, 2.062)]), (-3108, [(-3108, 0, 0)]), (-3128, [(-3128, -32, 3.653)]), (-3135, [(-3135, -8, 0.9123)]), (-3140, [(-3140, 16, 1.823)]), (-3143, [(-3143, 0, 0)]), (-3147, [(-3147, 28, 5.577)]), (-3155, [(-3155, 8, 0.4547)]), (-3167, [(-3167, -4, 0.05673)]), (-3183, [(-3183, 12, 1.019)]), (-3188, [(-3188, -40, 5.654)]), (-3192, [(-3192, 0, 0)]), (-3203, [(-3203, 4, 0.05641)]), (-3207, [(-3207, -16, 1.804)]), (-3215, [(-3215, -4, 0.1126)]), (-3227, [(-3227, -24, 2.023)]), (-3243, [(-3243, 32, 7.176)]), (-3252, [(-3252, -8, 0.4479)]), (-3255, [(-3255, -8, 0.8953)]), (-3263, [(-3263, 0, 0)]), (-3272, [(-3272, -16, 0.8930)]), (-3287, [(-3287, -8, 0.2227)]), (-3288, [(-3288, -8, 0.4454)]), (-3315, [(-3315, -8, 0.8872)]), (-3320, [(-3320, 24, 3.989)]), (-3323, [(-3323, 12, 0.4984)]), (-3327, [(-3327, -4, 0.1107)]), (-3335, [(-3335, 0, 0)]), (-3347, [(-3347, 4, 0.05518)]), (-3363, [(-3363, 0, 0)]), (-3368, [(-3368, -8, 0.2200)]), (-3383, [(-3383, 8, 0.2196)]), (-3387, [(-3387, -8, 0.4389)]), (-3395, [(-3395, -8, 0.4383)]), (-3407, [(-3407, 12, 0.4923)]), (-3423, [(-3423, 0, 0)]), (-3428, [(-3428, -16, 0.8724)]), (-3432, [(-3432, 0, 0)]), (-3435, [(-3435, -16, 3.486)]), (-3443, [(-3443, 0, 0)]), (-3455, [(-3455, 8, 0.4345)]), (-3467, [(-3467, 4, 0.05422)]), (-3480, [(-3480, 16, 3.464)]), (-3495, [(-3495, 12, 1.944)]), (-3503, [(-3503, 16, 0.8630)]), (-3507, [(-3507, 0, 0)]), (-3512, [(-3512, 16, 0.8619)]), (-3515, [(-3515, -8, 0.4308)]), (-3527, [(-3527, 12, 0.4838)]), (-3540, [(-3540, 8, 0.8585)]), (-3543, [(-3543, -4, 0.1073)]), (-3560, [(-3560, 16, 1.712)]), (-3563, [(-3563, 8, 0.2139)]), (-3567, [(-3567, -8, 0.4276)]), (-3572, [(-3572, 16, 0.8547)]), (-3587, [(-3587, -24, 1.919)]), (-3588, [(-3588, 0, 0)]), (-3603, [(-3603, -16, 1.702)]), (-3608, [(-3608, 16, 0.8504)]), (-3615, [(-3615, 0, 0)]), (-3620, [(-3620, -16, 1.698)]), (-3623, [(-3623, -4, 0.05304)]), (-3635, [(-3635, 12, 0.9531)]), (-3647, [(-3647, 8, 0.2115)]), (-3668, [(-3668, -16, 0.8434)]), (-3683, [(-3683, -8, 0.2104)]), (-3687, [(-3687, -4, 0.1052)]), (-3695, [(-3695, 0, 0)]), (-3707, [(-3707, -24, 1.888)]), (-3720, [(-3720, 8, 0.8375)]), (-3723, [(-3723, -24, 3.767)]), (-3732, [(-3732, -32, 6.689)]), (-3743, [(-3743, 0, 0)]), (-3747, [(-3747, 8, 0.4172)]), (-3752, [(-3752, -32, 3.336)]), (-3755, [(-3755, -24, 3.751)]), (-3767, [(-3767, -12, 0.4681)]), (-3768, [(-3768, 8, 0.4161)]), (-3783, [(-3783, 0, 0)]), (-3795, [(-3795, 16, 3.317)]), (-3803, [(-3803, 20, 1.294)]), (-3812, [(-3812, 16, 0.8273)]), (-3815, [(-3815, -16, 1.654)]), (-3827, [(-3827, 8, 0.2064)]), (-3828, [(-3828, 0, 0)]), (-3848, [(-3848, 16, 0.8234)]), (-3855, [(-3855, 4, 0.2057)]), (-3860, [(-3860, -8, 0.4111)]), (-3863, [(-3863, -4, 0.05137)]), (-3867, [(-3867, 20, 2.567)]), (-3903, [(-3903, 12, 0.9198)]), (-3908, [(-3908, 32, 3.268)]), (-3912, [(-3912, 0, 0)]), (-3923, [(-3923, -12, 0.4587)]), (-3927, [(-3927, 16, 1.630)]), (-3935, [(-3935, -4, 0.1018)]), (-3947, [(-3947, 12, 0.4573)]), (-3963, [(-3963, 0, 0)]), (-3972, [(-3972, 24, 3.647)]), (-3983, [(-3983, -16, 0.8094)]), (-3992, [(-3992, -8, 0.2021)]), (-3995, [(-3995, 8, 0.4041)]), (-4007, [(-4007, 12, 0.4539)]), (-4008, [(-4008, 16, 1.614)]), (-4020, [(-4020, 0, 0)]), (-4035, [(-4035, 4, 0.2010)]), (-4040, [(-4040, -24, 3.616)]), (-4043, [(-4043, 0, 0)]), (-4047, [(-4047, 16, 1.606)]), (-4052, [(-4052, 8, 0.2006)]), (-4055, [(-4055, 8, 0.4011)]), (-4083, [(-4083, -4, 0.09993)]), (-4088, [(-4088, 0, 0)]), (-4103, [(-4103, -8, 0.1994)]), (-4115, [(-4115, 20, 2.488)]), (-4127, [(-4127, 12, 0.4473)]), (-4143, [(-4143, -8, 0.3968)]), (-4148, [(-4148, 16, 0.7931)]), (-4152, [(-4152, -24, 3.567)]), (-4155, [(-4155, -12, 1.783)]), (-4163, [(-4163, 8, 0.1979)]), (-4187, [(-4187, 8, 0.1974)]), (-4215, [(-4215, 4, 0.1967)]), (-4223, [(-4223, -16, 0.7860)]), (-4227, [(-4227, -4, 0.09821)]), (-4247, [(-4247, 8, 0.1960)]), (-4260, [(-4260, -16, 3.130)]), (-4280, [(-4280, -8, 0.3904)]), (-4283, [(-4283, -4, 0.04878)]), (-4287, [(-4287, -16, 1.560)]), (-4292, [(-4292, 0, 0)]), (-4295, [(-4295, 16, 1.559)]), (-4307, [(-4307, 24, 1.751)]), (-4308, [(-4308, 16, 1.556)]), (-4323, [(-4323, -16, 1.554)]), (-4328, [(-4328, -24, 1.747)]), (-4340, [(-4340, 0, 0)]), (-4343, [(-4343, 0, 0)]), (-4355, [(-4355, -8, 0.3870)]), (-4367, [(-4367, -16, 0.7730)]), (-4388, [(-4388, 32, 3.084)]), (-4395, [(-4395, -4, 0.1926)]), (-4403, [(-4403, -16, 0.7698)]), (-4407, [(-4407, 16, 1.539)]), (-4415, [(-4415, -4, 0.09609)]), (-4427, [(-4427, 32, 3.071)]), (-4440, [(-4440, -16, 3.066)]), (-4443, [(-4443, 4, 0.09579)]), (-4452, [(-4452, 0, 0)]), (-4463, [(-4463, -12, 0.4301)]), (-4467, [(-4467, -8, 0.3821)]), (-4472, [(-4472, -16, 0.7638)]), (-4487, [(-4487, -16, 0.7626)]), (-4488, [(-4488, 0, 0)]), (-4503, [(-4503, 16, 1.522)]), (-4515, [(-4515, 0, 0)]), (-4520, [(-4520, 8, 0.3799)]), (-4523, [(-4523, -4, 0.04747)]), (-4532, [(-4532, 16, 0.7588)]), (-4535, [(-4535, 20, 2.370)]), (-4547, [(-4547, -20, 1.184)]), (-4548, [(-4548, 8, 0.3787)]), (-4568, [(-4568, 24, 1.700)]), (-4580, [(-4580, 16, 1.510)]), (-4583, [(-4583, -4, 0.04716)]), (-4587, [(-4587, 8, 0.3771)]), (-4595, [(-4595, 0, 0)]), (-4607, [(-4607, 0, 0)]), (-4623, [(-4623, -24, 3.381)]), (-4628, [(-4628, -16, 0.7509)]), (-4632, [(-4632, -16, 1.501)]), (-4643, [(-4643, -36, 3.795)]), (-4647, [(-4647, 0, 0)]), (-4667, [(-4667, 8, 0.1869)]), (-4683, [(-4683, -16, 1.493)]), (-4692, [(-4692, 16, 1.491)]), (-4695, [(-4695, -12, 1.677)]), (-4703, [(-4703, 4, 0.04655)]), (-4712, [(-4712, 0, 0)]), (-4715, [(-4715, -16, 1.488)]), (-4727, [(-4727, 8, 0.1857)]), (-4728, [(-4728, -8, 0.3714)]), (-4740, [(-4740, 0, 0)]), (-4755, [(-4755, 4, 0.1852)]), (-4760, [(-4760, -16, 1.481)]), (-4763, [(-4763, -16, 0.7401)]), (-4767, [(-4767, 16, 1.480)]), (-4772, [(-4772, -32, 2.958)]), (-4787, [(-4787, -20, 1.154)]), (-4803, [(-4803, 20, 2.303)]), (-4808, [(-4808, 0, 0)]), (-4820, [(-4820, -16, 1.471)]), (-4823, [(-4823, 0, 0)]), (-4827, [(-4827, -8, 0.3676)]), (-4835, [(-4835, 4, 0.09183)]), (-4847, [(-4847, -8, 0.1834)]), (-4863, [(-4863, -8, 0.3662)]), (-4868, [(-4868, -16, 0.7321)]), (-4872, [(-4872, 16, 1.464)]), (-4883, [(-4883, -8, 0.1827)]), (-4895, [(-4895, 0, 0)]), (-4907, [(-4907, -16, 0.7292)]), (-4920, [(-4920, 8, 0.7282)]), (-4935, [(-4935, 0, 0)]), (-4943, [(-4943, 20, 1.135)]), (-4947, [(-4947, 8, 0.3631)]), (-4952, [(-4952, -8, 0.1815)]), (-4955, [(-4955, -8, 0.3628)]), (-4967, [(-4967, 4, 0.04530)]), (-4980, [(-4980, 16, 2.895)]), (-4983, [(-4983, -8, 0.3618)]), (-5003, [(-5003, 20, 1.128)]), (-5007, [(-5007, -8, 0.3609)]), (-5012, [(-5012, 32, 2.886)]), (-5015, [(-5015, 16, 1.443)]), (-5027, [(-5027, 40, 4.503)]), (-5028, [(-5028, -8, 0.3602)]), (-5048, [(-5048, 16, 0.7189)]), (-5055, [(-5055, -4, 0.1796)]), (-5060, [(-5060, -16, 1.436)]), (-5063, [(-5063, 16, 0.7179)]), (-5087, [(-5087, -4, 0.04476)]), (-5108, [(-5108, 8, 0.1787)]), (-5115, [(-5115, 16, 2.857)]), (-5123, [(-5123, 24, 1.606)]), (-5127, [(-5127, 4, 0.08917)]), (-5135, [(-5135, -16, 1.426)]), (-5147, [(-5147, 4, 0.04450)]), (-5160, [(-5160, 0, 0)]), (-5163, [(-5163, -4, 0.08886)]), (-5172, [(-5172, -16, 1.421)]), (-5183, [(-5183, 0, 0)]), (-5187, [(-5187, 0, 0)]), (-5192, [(-5192, 0, 0)]), (-5195, [(-5195, 16, 1.417)]), (-5207, [(-5207, 0, 0)]), (-5208, [(-5208, -32, 5.662)]), (-5223, [(-5223, 0, 0)]), (-5235, [(-5235, 8, 0.7060)]), (-5240, [(-5240, 24, 3.175)]), (-5252, [(-5252, -32, 2.819)]), (-5255, [(-5255, -8, 0.3523)]), (-5267, [(-5267, -24, 1.584)]), (-5268, [(-5268, -24, 3.167)]), (-5288, [(-5288, -8, 0.1756)]), (-5295, [(-5295, -12, 1.579)]), (-5303, [(-5303, 20, 1.096)]), (-5307, [(-5307, 8, 0.3506)]), (-5315, [(-5315, -4, 0.08758)]), (-5327, [(-5327, -8, 0.1750)]), (-5343, [(-5343, -8, 0.3494)]), (-5348, [(-5348, 0, 0)]), (-5352, [(-5352, 8, 0.3491)]), (-5363, [(-5363, 32, 2.790)]), (-5367, [(-5367, 16, 1.395)]), (-5387, [(-5387, -12, 0.3915)]), (-5403, [(-5403, 16, 1.390)]), (-5412, [(-5412, 0, 0)]), (-5423, [(-5423, -16, 0.6936)]), (-5432, [(-5432, 32, 2.772)]), (-5435, [(-5435, -20, 2.165)]), (-5447, [(-5447, 16, 0.6921)]), (-5448, [(-5448, 0, 0)]), (-5460, [(-5460, 16, 2.765)]), (-5480, [(-5480, 8, 0.3450)]), (-5483, [(-5483, 12, 0.3880)]), (-5487, [(-5487, -8, 0.3448)]), (-5492, [(-5492, -24, 1.551)]), (-5495, [(-5495, -8, 0.3445)]), (-5507, [(-5507, 20, 1.076)]), (-5523, [(-5523, -8, 0.3437)]), (-5528, [(-5528, 8, 0.1718)]), (-5540, [(-5540, 16, 1.373)]), (-5543, [(-5543, 8, 0.1715)]), (-5555, [(-5555, -16, 1.371)]), (-5567, [(-5567, -24, 1.540)]), (-5583, [(-5583, 0, 0)]), (-5588, [(-5588, 0, 0)]), (-5592, [(-5592, 24, 3.074)]), (-5595, [(-5595, -12, 1.537)]), (-5603, [(-5603, 8, 0.1706)]), (-5615, [(-5615, 4, 0.08521)]), (-5627, [(-5627, -16, 0.6809)]), (-5640, [(-5640, 16, 2.721)]), (-5655, [(-5655, 8, 0.6793)]), (-5663, [(-5663, 32, 2.715)]), (-5667, [(-5667, -20, 2.120)]), (-5672, [(-5672, -8, 0.1696)]), (-5703, [(-5703, 20, 2.114)]), (-5720, [(-5720, 0, 0)]), (-5723, [(-5723, -24, 1.519)]), (-5727, [(-5727, 0, 0)]), (-5732, [(-5732, 0, 0)]), (-5735, [(-5735, -8, 0.3373)]), (-5747, [(-5747, 0, 0)]), (-5748, [(-5748, 16, 1.347)]), (-5763, [(-5763, 8, 0.3364)]), (-5768, [(-5768, 0, 0)]), (-5783, [(-5783, -4, 0.04198)]), (-5795, [(-5795, 0, 0)]), (-5807, [(-5807, -20, 1.047)]), (-5828, [(-5828, -32, 2.676)]), (-5835, [(-5835, 4, 0.1672)]), (-5843, [(-5843, -20, 1.044)]), (-5847, [(-5847, -4, 0.08350)]), (-5855, [(-5855, -8, 0.3338)]), (-5867, [(-5867, -4, 0.04168)]), (-5883, [(-5883, 0, 0)]), (-5892, [(-5892, 8, 0.3327)]), (-5903, [(-5903, -20, 1.039)]), (-5907, [(-5907, 0, 0)]), (-5912, [(-5912, 40, 4.152)]), (-5927, [(-5927, -12, 0.3732)]), (-5928, [(-5928, -16, 1.327)]), (-5943, [(-5943, 16, 1.325)]), (-5955, [(-5955, -20, 4.137)]), (-5960, [(-5960, -8, 0.3308)]), (-5963, [(-5963, -32, 2.646)]), (-5972, [(-5972, -8, 0.1652)]), (-5987, [(-5987, -12, 0.3713)]), (-5988, [(-5988, -24, 2.970)]), (-6008, [(-6008, 0, 0)]), (-6015, [(-6015, -4, 0.1647)]), (-6020, [(-6020, 16, 1.317)]), (-6023, [(-6023, -8, 0.1645)]), (-6035, [(-6035, 8, 0.3288)]), (-6047, [(-6047, 20, 1.026)]), (-6063, [(-6063, 8, 0.3280)]), (-6068, [(-6068, 0, 0)]), (-6072, [(-6072, -16, 1.311)]), (-6083, [(-6083, 32, 2.620)]), (-6087, [(-6087, -8, 0.3274)]), (-6095, [(-6095, -8, 0.3271)]), (-6107, [(-6107, 8, 0.1634)]), (-6123, [(-6123, 0, 0)]), (-6132, [(-6132, -16, 1.305)]), (-6135, [(-6135, 8, 0.6521)]), (-6143, [(-6143, 12, 0.3666)]), (-6152, [(-6152, 16, 0.6512)]), (-6155, [(-6155, 24, 2.930)]), (-6167, [(-6167, -8, 0.1626)]), (-6168, [(-6168, -8, 0.3252)]), (-6180, [(-6180, -8, 0.6498)]), (-6195, [(-6195, -16, 2.596)]), (-6203, [(-6203, 12, 0.3648)]), (-6207, [(-6207, 12, 0.7294)]), (-6212, [(-6212, -16, 0.6481)]), (-6215, [(-6215, 0, 0)]), (-6227, [(-6227, 24, 1.456)]), (-6243, [(-6243, 4, 0.08081)]), (-6248, [(-6248, 16, 0.6462)]), (-6260, [(-6260, -8, 0.3228)]), (-6263, [(-6263, -4, 0.04034)]), (-6267, [(-6267, 8, 0.3226)]), (-6287, [(-6287, 4, 0.04026)]), (-6303, [(-6303, 0, 0)]), (-6308, [(-6308, 16, 0.6431)]), (-6312, [(-6312, -16, 1.286)]), (-6315, [(-6315, 0, 0)]), (-6323, [(-6323, 28, 1.967)]), (-6335, [(-6335, 8, 0.3209)]), (-6347, [(-6347, 16, 0.6412)]), (-6360, [(-6360, 0, 0)]), (-6383, [(-6383, -32, 2.557)]), (-6387, [(-6387, -4, 0.07989)]), (-6392, [(-6392, 0, 0)]), (-6395, [(-6395, 16, 1.278)]), (-6407, [(-6407, 8, 0.1595)]), (-6420, [(-6420, 0, 0)]), (-6423, [(-6423, -12, 0.7170)]), (-6440, [(-6440, -32, 5.092)]), (-6443, [(-6443, 24, 1.432)]), (-6447, [(-6447, -16, 1.272)]), (-6452, [(-6452, -24, 1.431)]), (-6455, [(-6455, -8, 0.3179)]), (-6467, [(-6467, -16, 0.6352)]), (-6483, [(-6483, -8, 0.3172)]), (-6488, [(-6488, -24, 1.427)]), (-6495, [(-6495, 12, 1.426)]), (-6503, [(-6503, -8, 0.1584)]), (-6515, [(-6515, -20, 1.978)]), (-6527, [(-6527, 32, 2.529)]), (-6548, [(-6548, 24, 1.420)]), (-6555, [(-6555, 8, 0.6309)]), (-6563, [(-6563, -12, 0.3547)]), (-6567, [(-6567, 0, 0)]), (-6587, [(-6587, -8, 0.1573)]), (-6603, [(-6603, -24, 2.829)]), (-6612, [(-6612, 0, 0)]), (-6623, [(-6623, -8, 0.1569)]), (-6632, [(-6632, -8, 0.1568)]), (-6635, [(-6635, 4, 0.07839)]), (-6648, [(-6648, -8, 0.3132)]), (-6663, [(-6663, -8, 0.3129)]), (-6680, [(-6680, -24, 2.812)]), (-6683, [(-6683, -32, 2.499)]), (-6692, [(-6692, 32, 2.498)]), (-6695, [(-6695, 8, 0.3121)]), (-6707, [(-6707, -16, 0.6237)]), (-6708, [(-6708, 0, 0)]), (-6735, [(-6735, 4, 0.1556)]), (-6740, [(-6740, -24, 2.800)]), (-6743, [(-6743, 8, 0.1555)]), (-6747, [(-6747, 32, 4.975)]), (-6755, [(-6755, 24, 2.797)]), (-6767, [(-6767, 8, 0.1552)]), (-6783, [(-6783, 16, 1.240)]), (-6788, [(-6788, 32, 2.480)]), (-6792, [(-6792, 16, 1.240)]), (-6803, [(-6803, 4, 0.03871)]), (-6807, [(-6807, 0, 0)]), (-6815, [(-6815, 8, 0.3094)]), (-6827, [(-6827, -20, 0.9660)]), (-6843, [(-6843, -8, 0.3087)]), (-6852, [(-6852, 8, 0.3085)]), (-6855, [(-6855, 4, 0.1542)]), (-6863, [(-6863, 12, 0.3468)]), (-6872, [(-6872, -24, 1.386)]), (-6887, [(-6887, -24, 1.385)]), (-6888, [(-6888, 16, 1.231)]), (-6915, [(-6915, 4, 0.1536)]), (-6920, [(-6920, -8, 0.3070)]), (-6923, [(-6923, -32, 2.456)]), (-6927, [(-6927, -12, 0.6905)]), (-6932, [(-6932, 8, 0.1534)]), (-6935, [(-6935, -16, 1.227)]), (-6947, [(-6947, -36, 3.103)]), (-6963, [(-6963, 8, 0.3061)]), (-6968, [(-6968, 16, 0.6119)]), (-6980, [(-6980, -16, 1.223)]), (-6983, [(-6983, -20, 0.9551)]), (-6987, [(-6987, 8, 0.3055)]), (-6995, [(-6995, -16, 1.221)]), (-7023, [(-7023, -8, 0.3048)]), (-7028, [(-7028, 16, 0.6093)]), (-7032, [(-7032, 24, 2.741)]), (-7035, [(-7035, 0, 0)]), (-7043, [(-7043, -12, 0.3424)]), (-7055, [(-7055, 8, 0.3041)]), (-7067, [(-7067, 40, 3.798)]), (-7080, [(-7080, -8, 0.6071)]), (-7095, [(-7095, 8, 0.6064)]), (-7103, [(-7103, -4, 0.03788)]), (-7107, [(-7107, -8, 0.3030)]), (-7112, [(-7112, 0, 0)]), (-7115, [(-7115, 4, 0.07570)]), (-7127, [(-7127, -12, 0.3403)]), (-7140, [(-7140, 0, 0)]), (-7143, [(-7143, -28, 3.702)]), (-7160, [(-7160, -8, 0.3018)]), (-7163, [(-7163, -16, 0.6035)]), (-7167, [(-7167, 0, 0)]), (-7172, [(-7172, -16, 0.6032)]), (-7187, [(-7187, 12, 0.3389)]), (-7188, [(-7188, 16, 1.205)]), (-7208, [(-7208, 0, 0)]), (-7215, [(-7215, -8, 0.6014)]), (-7223, [(-7223, 16, 0.6010)]), (-7235, [(-7235, -12, 0.6756)]), (-7247, [(-7247, 20, 0.9376)]), (-7268, [(-7268, 32, 2.397)]), (-7283, [(-7283, 12, 0.3367)]), (-7287, [(-7287, -24, 2.693)]), (-7295, [(-7295, 16, 1.196)]), (-7307, [(-7307, -20, 0.9337)]), (-7320, [(-7320, 8, 0.5970)]), (-7323, [(-7323, -20, 1.865)]), (-7332, [(-7332, -16, 1.193)]), (-7343, [(-7343, -8, 0.1490)]), (-7347, [(-7347, 0, 0)]), (-7352, [(-7352, -16, 0.5957)]), (-7355, [(-7355, 8, 0.2978)]), (-7367, [(-7367, 8, 0.1488)]), (-7368, [(-7368, -16, 1.190)]), (-7383, [(-7383, 0, 0)]), (-7395, [(-7395, 16, 2.376)]), (-7403, [(-7403, 8, 0.1484)]), (-7412, [(-7412, 16, 0.5933)]), (-7415, [(-7415, 12, 0.6673)]), (-7427, [(-7427, 16, 0.5927)]), (-7428, [(-7428, 8, 0.2963)]), (-7455, [(-7455, 8, 0.5916)]), (-7460, [(-7460, 16, 1.183)]), (-7463, [(-7463, -8, 0.1478)]), (-7467, [(-7467, -8, 0.2956)]), (-7487, [(-7487, 12, 0.3321)]), (-7503, [(-7503, 16, 1.179)]), (-7508, [(-7508, -24, 1.326)]), (-7512, [(-7512, 16, 1.179)]), (-7523, [(-7523, 4, 0.03681)]), (-7527, [(-7527, 16, 1.178)]), (-7535, [(-7535, 0, 0)]), (-7547, [(-7547, 20, 0.9187)]), (-7563, [(-7563, 0, 0)]), (-7572, [(-7572, -24, 2.642)]), (-7583, [(-7583, 20, 0.9165)]), (-7592, [(-7592, 16, 0.5862)]), (-7607, [(-7607, 12, 0.3294)]), (-7608, [(-7608, 24, 2.635)]), (-7620, [(-7620, -8, 0.5852)]), (-7635, [(-7635, -20, 3.654)]), (-7640, [(-7640, 16, 1.169)]), (-7643, [(-7643, -4, 0.03652)]), (-7647, [(-7647, -4, 0.07302)]), (-7652, [(-7652, 0, 0)]), (-7655, [(-7655, -8, 0.2919)]), (-7667, [(-7667, -16, 0.5834)]), (-7683, [(-7683, 40, 7.284)]), (-7703, [(-7703, -20, 0.9094)]), (-7707, [(-7707, -16, 1.164)]), (-7715, [(-7715, -4, 0.07269)]), (-7727, [(-7727, -20, 0.9080)]), (-7743, [(-7743, -8, 0.2902)]), (-7748, [(-7748, -32, 2.321)]), (-7752, [(-7752, 0, 0)]), (-7755, [(-7755, 16, 2.320)]), (-7763, [(-7763, 8, 0.1449)]), (-7787, [(-7787, 16, 0.5789)]), (-7815, [(-7815, -20, 3.611)]), (-7823, [(-7823, 4, 0.03610)]), (-7827, [(-7827, -4, 0.07217)]), (-7832, [(-7832, 0, 0)]), (-7835, [(-7835, 4, 0.07213)]), (-7847, [(-7847, -32, 2.307)]), (-7860, [(-7860, -8, 0.5762)]), (-7863, [(-7863, 12, 0.6481)]), (-7880, [(-7880, 24, 2.589)]), (-7883, [(-7883, -20, 0.8989)]), (-7887, [(-7887, 16, 1.150)]), (-7892, [(-7892, -24, 1.294)]), (-7895, [(-7895, -16, 1.150)]), (-7907, [(-7907, -4, 0.03590)]), (-7908, [(-7908, -8, 0.2872)]), (-7923, [(-7923, 32, 4.591)]), (-7928, [(-7928, 0, 0)]), (-7940, [(-7940, 0, 0)]), (-7955, [(-7955, 8, 0.2864)]), (-7967, [(-7967, -16, 0.5723)]), (-7988, [(-7988, -24, 1.286)]), (-7995, [(-7995, -16, 2.285)]), (-8003, [(-8003, 24, 1.285)]), (-8007, [(-8007, 0, 0)]), (-8015, [(-8015, 8, 0.2853)]), (-8027, [(-8027, 16, 0.5701)]), (-8040, [(-8040, 16, 2.279)]), (-8043, [(-8043, 16, 1.139)]), (-8052, [(-8052, 32, 4.554)]), (-8063, [(-8063, 8, 0.1422)]), (-8067, [(-8067, -24, 2.559)]), (-8072, [(-8072, 16, 0.5685)]), (-8087, [(-8087, 12, 0.3195)]), (-8088, [(-8088, 16, 1.136)]), (-8103, [(-8103, 0, 0)]), (-8115, [(-8115, 8, 0.5670)]), (-8120, [(-8120, -16, 1.134)]), (-8123, [(-8123, -36, 2.869)]), (-8132, [(-8132, -16, 0.5664)]), (-8135, [(-8135, 4, 0.07079)]), (-8147, [(-8147, -4, 0.03537)]), (-8148, [(-8148, -16, 1.132)]), (-8168, [(-8168, -8, 0.1413)]), (-8180, [(-8180, 0, 0)]), (-8187, [(-8187, -12, 0.6351)]), (-8195, [(-8195, -32, 4.514)]), (-8207, [(-8207, 0, 0)]), (-8223, [(-8223, 12, 0.6337)]), (-8243, [(-8243, 28, 1.723)]), (-8247, [(-8247, 0, 0)]), (-8255, [(-8255, -8, 0.2811)]), (-8267, [(-8267, 8, 0.1404)]), (-8283, [(-8283, -32, 4.490)]), (-8292, [(-8292, -24, 2.524)]), (-8295, [(-8295, 0, 0)]), (-8312, [(-8312, 0, 0)]), (-8315, [(-8315, -12, 0.6302)]), (-8327, [(-8327, -16, 0.5598)]), (-8328, [(-8328, 0, 0)]), (-8340, [(-8340, -16, 2.237)]), (-8355, [(-8355, -4, 0.1397)]), (-8360, [(-8360, 32, 4.469)]), (-8363, [(-8363, 4, 0.03491)]), (-8367, [(-8367, 4, 0.06980)]), (-8372, [(-8372, 32, 2.233)]), (-8387, [(-8387, -36, 2.824)]), (-8403, [(-8403, -20, 1.741)]), (-8408, [(-8408, -8, 0.1393)]), (-8420, [(-8420, 0, 0)]), (-8423, [(-8423, 4, 0.03479)]), (-8435, [(-8435, -24, 2.503)]), (-8447, [(-8447, 4, 0.03474)]), (-8463, [(-8463, 0, 0)]), (-8468, [(-8468, 16, 0.5551)]), (-8472, [(-8472, -8, 0.2775)]), (-8483, [(-8483, 8, 0.1386)]), (-8495, [(-8495, -16, 1.108)]), (-8507, [(-8507, 24, 1.246)]), (-8520, [(-8520, 0, 0)]), (-8535, [(-8535, -4, 0.1382)]), (-8543, [(-8543, 12, 0.3109)]), (-8547, [(-8547, -32, 4.420)]), (-8552, [(-8552, -8, 0.1381)]), (-8555, [(-8555, 0, 0)]), (-8567, [(-8567, -16, 0.5519)]), (-8580, [(-8580, 0, 0)]), (-8583, [(-8583, 12, 0.6203)]), (-8603, [(-8603, 32, 2.203)]), (-8607, [(-8607, 16, 1.101)]), (-8612, [(-8612, 16, 0.5504)]), (-8615, [(-8615, -12, 0.6191)]), (-8627, [(-8627, -4, 0.03437)]), (-8628, [(-8628, -16, 1.100)]), (-8643, [(-8643, -16, 1.099)]), (-8648, [(-8648, 0, 0)]), (-8655, [(-8655, 12, 1.235)]), (-8660, [(-8660, 24, 2.470)]), (-8663, [(-8663, 4, 0.03430)]), (-8687, [(-8687, -16, 0.5480)]), (-8708, [(-8708, -32, 2.190)]), (-8715, [(-8715, 32, 8.755)]), (-8723, [(-8723, 16, 0.5469)]), (-8727, [(-8727, -4, 0.06835)]), (-8735, [(-8735, 12, 0.6149)]), (-8747, [(-8747, -4, 0.03414)]), (-8760, [(-8760, 8, 0.5458)]), (-8763, [(-8763, 0, 0)]), (-8772, [(-8772, 16, 1.091)]), (-8783, [(-8783, 12, 0.3066)]), (-8787, [(-8787, 8, 0.2725)]), (-8792, [(-8792, -16, 0.5448)]), (-8795, [(-8795, -16, 1.089)]), (-8807, [(-8807, -20, 0.8505)]), (-8808, [(-8808, -24, 2.449)]), (-8823, [(-8823, 8, 0.2719)]), (-8835, [(-8835, -16, 2.174)]), (-8840, [(-8840, 16, 1.087)]), (-8843, [(-8843, -8, 0.1358)]), (-8852, [(-8852, 8, 0.1357)]), (-8855, [(-8855, 16, 1.086)]), (-8867, [(-8867, 36, 2.746)]), (-8868, [(-8868, -8, 0.2712)]), (-8888, [(-8888, -16, 0.5418)]), (-8895, [(-8895, -12, 1.219)]), (-8903, [(-8903, 8, 0.1353)]), (-8907, [(-8907, 20, 1.691)]), (-8915, [(-8915, -12, 0.6086)]), (-8927, [(-8927, -8, 0.1352)]), (-8943, [(-8943, -24, 2.431)]), (-8948, [(-8948, -8, 0.1350)]), (-8952, [(-8952, 40, 6.748)]), (-8963, [(-8963, 28, 1.652)]), (-8987, [(-8987, 0, 0)]), (-9003, [(-9003, 8, 0.2692)]), (-9012, [(-9012, 8, 0.2690)]), (-9015, [(-9015, 8, 0.5380)]), (-9023, [(-9023, 0, 0)]), (-9032, [(-9032, -16, 0.5375)]), (-9035, [(-9035, 16, 1.075)]), (-9047, [(-9047, 0, 0)]), (-9048, [(-9048, 16, 1.074)]), (-9060, [(-9060, -16, 2.147)]), (-9080, [(-9080, 8, 0.2680)]), (-9083, [(-9083, 0, 0)]), (-9087, [(-9087, 0, 0)]), (-9092, [(-9092, 16, 0.5357)]), (-9095, [(-9095, 8, 0.2678)]), (-9107, [(-9107, 24, 1.204)]), (-9123, [(-9123, 28, 3.276)]), (-9128, [(-9128, 0, 0)]), (-9140, [(-9140, -8, 0.2671)]), (-9143, [(-9143, 0, 0)]), (-9147, [(-9147, 24, 2.403)]), (-9155, [(-9155, 8, 0.2669)]), (-9167, [(-9167, 8, 0.1334)]), (-9183, [(-9183, 0, 0)]), (-9188, [(-9188, -16, 0.5329)]), (-9192, [(-9192, -16, 1.066)]), (-9195, [(-9195, 12, 1.199)]), (-9203, [(-9203, -12, 0.2995)]), (-9215, [(-9215, -8, 0.2661)]), (-9227, [(-9227, -52, 5.617)]), (-9240, [(-9240, 0, 0)]), (-9255, [(-9255, -4, 0.1327)]), (-9263, [(-9263, -24, 1.194)]), (-9267, [(-9267, -28, 3.250)]), (-9272, [(-9272, -16, 0.5305)]), (-9287, [(-9287, 40, 3.313)]), (-9303, [(-9303, 8, 0.2648)]), (-9320, [(-9320, -24, 2.381)]), (-9323, [(-9323, -4, 0.03306)]), (-9327, [(-9327, 0, 0)]), (-9332, [(-9332, 8, 0.1322)]), (-9335, [(-9335, -4, 0.06608)]), (-9347, [(-9347, -32, 2.113)]), (-9348, [(-9348, 32, 4.227)]), (-9363, [(-9363, 24, 2.376)]), (-9368, [(-9368, -8, 0.1319)]), (-9380, [(-9380, -16, 1.055)]), (-9383, [(-9383, 8, 0.1318)]), (-9395, [(-9395, 0, 0)]), (-9407, [(-9407, -16, 0.5267)]), (-9428, [(-9428, 8, 0.1315)]), (-9435, [(-9435, 0, 0)]), (-9443, [(-9443, -16, 0.5257)]), (-9447, [(-9447, -8, 0.2628)]), (-9455, [(-9455, -16, 1.051)]), (-9467, [(-9467, 44, 3.970)]), (-9480, [(-9480, -24, 4.722)]), (-9483, [(-9483, 0, 0)]), (-9492, [(-9492, 16, 1.049)]), (-9503, [(-9503, 0, 0)]), (-9507, [(-9507, 32, 4.191)]), (-9512, [(-9512, 16, 0.5237)]), (-9515, [(-9515, 8, 0.2618)]), (-9527, [(-9527, 24, 1.177)]), (-9528, [(-9528, 8, 0.2617)]), (-9543, [(-9543, 8, 0.2614)]), (-9560, [(-9560, 32, 4.179)]), (-9563, [(-9563, -40, 3.265)]), (-9572, [(-9572, 32, 2.088)]), (-9587, [(-9587, 20, 0.8151)]), (-9588, [(-9588, 32, 4.173)]), (-9608, [(-9608, 0, 0)]), (-9615, [(-9615, 12, 1.172)]), (-9620, [(-9620, 16, 1.042)]), (-9623, [(-9623, -12, 0.2929)]), (-9627, [(-9627, -4, 0.06508)]), (-9635, [(-9635, 8, 0.2602)]), (-9647, [(-9647, 8, 0.1300)]), (-9663, [(-9663, -12, 0.5846)]), (-9668, [(-9668, 32, 2.078)]), (-9672, [(-9672, -16, 1.039)]), (-9683, [(-9683, -8, 0.1298)]), (-9687, [(-9687, -8, 0.2595)]), (-9695, [(-9695, 8, 0.2594)]), (-9707, [(-9707, -40, 3.240)]), (-9723, [(-9723, 0, 0)]), (-9732, [(-9732, 8, 0.2589)]), (-9735, [(-9735, 0, 0)]), (-9743, [(-9743, 12, 0.2911)]), (-9752, [(-9752, 16, 0.5173)]), (-9755, [(-9755, 8, 0.2586)]), (-9767, [(-9767, 12, 0.2907)]), (-9768, [(-9768, 0, 0)]), (-9780, [(-9780, -16, 2.066)]), (-9795, [(-9795, -4, 0.1290)]), (-9803, [(-9803, -36, 2.612)]), (-9807, [(-9807, -16, 1.032)]), (-9812, [(-9812, -16, 0.5157)]), (-9815, [(-9815, 8, 0.2578)]), (-9827, [(-9827, -16, 0.5153)]), (-9843, [(-9843, -24, 2.317)]), (-9848, [(-9848, -32, 2.059)]), (-9860, [(-9860, -32, 4.115)]), (-9863, [(-9863, 0, 0)]), (-9867, [(-9867, 0, 0)]), (-9887, [(-9887, 4, 0.03211)]), (-9903, [(-9903, -16, 1.027)]), (-9908, [(-9908, -8, 0.1283)]), (-9912, [(-9912, -32, 4.104)]), (-9915, [(-9915, -8, 0.5130)]), (-9923, [(-9923, 12, 0.2884)]), (-9935, [(-9935, 4, 0.06406)]), (-9960, [(-9960, -16, 2.047)]), (-9983, [(-9983, -16, 0.5112)]), (-9987, [(-9987, -4, 0.06389)]), (-9992, [(-9992, -32, 2.044)]), (-9995, [(-9995, 32, 4.087)])]]

# map: (1 |-> 1.0) -> 1, Fractional ideal (3) -> -1, Fractional ideal (5) -> -1
[-23, 4 + 3*i + 7/2*j + 3/2*k, [(5, [(5, -2, 1.253)]), (8, [(8, 4, 1.981)]), (17, [(17, -4, 1.359)]), (53, [(53, -4, 0.7697)]), (65, [(65, 4, 1.390)]), (77, [(77, 8, 2.554)]), (92, [(92, -8, 2.337)]), (113, [(113, 4, 0.5271)]), (137, [(137, 4, 0.4787)]), (140, [(140, -8, 3.789)]), (152, [(152, 0, 0)]), (173, [(173, 12, 3.834)]), (185, [(185, -4, 0.8240)]), (188, [(188, 8, 1.635)]), (197, [(197, -12, 3.593)]), (233, [(233, -4, 0.3671)]), (248, [(248, 8, 1.423)]), (257, [(257, 4, 0.3495)]), (293, [(293, -12, 2.946)]), (305, [(305, -8, 2.567)]), (317, [(317, -4, 0.3147)]), (332, [(332, 16, 4.921)]), (353, [(353, -12, 2.684)]), (365, [(365, 12, 5.279)]), (377, [(377, 0, 0)]), (380, [(380, 8, 2.300)]), (413, [(413, 0, 0)]), (428, [(428, 0, 0)]), (437, [(437, -8, 1.072)]), (440, [(440, -8, 2.137)]), (473, [(473, 8, 1.031)]), (485, [(485, -4, 0.5089)]), (488, [(488, -8, 1.015)]), (497, [(497, 8, 1.005)]), (533, [(533, 8, 0.9709)]), (545, [(545, 0, 0)]), (557, [(557, 20, 5.936)]), (572, [(572, -16, 3.749)]), (593, [(593, 12, 2.071)]), (617, [(617, -12, 2.030)]), (620, [(620, -8, 1.800)]), (632, [(632, -8, 0.8916)]), (653, [(653, 12, 1.974)]), (665, [(665, 8, 1.738)]), (668, [(668, 8, 0.8672)]), (677, [(677, 4, 0.2154)]), (680, [(680, 8, 1.719)]), (713, [(713, 0, 0)]), (728, [(728, -16, 3.323)]), (737, [(737, 0, 0)]), (773, [(773, -12, 1.814)]), (785, [(785, 4, 0.4000)]), (797, [(797, -4, 0.1985)]), (812, [(812, 16, 3.146)]), (857, [(857, -12, 1.723)]), (860, [(860, 16, 6.115)]), (872, [(872, 8, 0.7590)]), (893, [(893, -24, 6.751)]), (905, [(905, 0, 0)]), (908, [(908, -16, 2.975)]), (917, [(917, 16, 2.961)]), (920, [(920, 16, 5.912)]), (953, [(953, -4, 0.1815)]), (965, [(965, -4, 0.3608)]), (977, [(977, -12, 1.613)]), (1013, [(1013, -4, 0.1761)]), (1037, [(1037, -8, 0.6961)]), (1052, [(1052, -8, 0.6911)]), (1073, [(1073, -8, 0.6843)]), (1085, [(1085, -8, 1.361)]), (1097, [(1097, 12, 1.523)]), (1112, [(1112, 16, 2.689)]), (1133, [(1133, 16, 2.664)]), (1145, [(1145, -8, 1.325)]), (1148, [(1148, -16, 2.646)]), (1157, [(1157, -8, 0.6590)]), (1160, [(1160, -8, 1.316)]), (1193, [(1193, 4, 0.1622)]), (1205, [(1205, 8, 1.291)]), (1208, [(1208, 8, 0.6449)]), (1217, [(1217, -4, 0.1606)]), (1253, [(1253, 24, 5.699)]), (1265, [(1265, 0, 0)]), (1277, [(1277, -20, 3.920)]), (1292, [(1292, 0, 0)]), (1313, [(1313, 16, 2.474)]), (1337, [(1337, 24, 5.517)]), (1340, [(1340, 0, 0)]), (1373, [(1373, -12, 1.361)]), (1385, [(1385, -4, 0.3011)]), (1388, [(1388, -16, 2.407)]), (1397, [(1397, 8, 0.5997)]), (1433, [(1433, -4, 0.1480)]), (1448, [(1448, -24, 5.301)]), (1457, [(1457, 8, 0.5872)]), (1493, [(1493, 20, 3.626)]), (1505, [(1505, 0, 0)]), (1517, [(1517, 16, 2.302)]), (1532, [(1532, -8, 0.5727)]), (1553, [(1553, -12, 1.280)]), (1565, [(1565, 4, 0.2833)]), (1577, [(1577, 8, 0.5644)]), (1580, [(1580, -8, 1.128)]), (1592, [(1592, 8, 0.5618)]), (1613, [(1613, -20, 3.488)]), (1628, [(1628, 0, 0)]), (1637, [(1637, -4, 0.1385)]), (1640, [(1640, 16, 4.428)]), (1673, [(1673, -8, 0.5480)]), (1685, [(1685, 20, 6.826)]), (1688, [(1688, -16, 2.182)]), (1697, [(1697, 4, 0.1360)]), (1733, [(1733, -4, 0.1346)]), (1745, [(1745, 8, 1.073)]), (1757, [(1757, -32, 8.556)]), (1772, [(1772, 16, 2.130)]), (1793, [(1793, 16, 2.117)]), (1817, [(1817, -8, 0.5258)]), (1820, [(1820, 0, 0)]), (1832, [(1832, 8, 0.5237)]), (1853, [(1853, -8, 0.5207)]), (1865, [(1865, -12, 2.336)]), (1868, [(1868, 16, 2.074)]), (1877, [(1877, 12, 1.164)]), (1880, [(1880, 0, 0)]), (1913, [(1913, -12, 1.153)]), (1928, [(1928, 16, 2.042)]), (1937, [(1937, -8, 0.5093)]), (1973, [(1973, 4, 0.1262)]), (1985, [(1985, -4, 0.2515)]), (1997, [(1997, -12, 1.129)]), (2012, [(2012, 8, 0.4997)]), (2033, [(2033, -16, 1.988)]), (2045, [(2045, -16, 3.965)]), (2060, [(2060, 8, 0.9877)]), (2072, [(2072, -16, 1.970)]), (2093, [(2093, 16, 1.960)]), (2105, [(2105, 8, 0.9771)]), (2108, [(2108, 16, 1.953)]), (2117, [(2117, 24, 4.384)]), (2120, [(2120, -8, 0.9736)]), (2153, [(2153, 20, 3.019)]), (2165, [(2165, -20, 6.022)]), (2168, [(2168, 24, 4.333)]), (2177, [(2177, -16, 1.922)]), (2213, [(2213, -4, 0.1191)]), (2237, [(2237, -4, 0.1185)]), (2252, [(2252, -16, 1.889)]), (2273, [(2273, 4, 0.1175)]), (2285, [(2285, -4, 0.2345)]), (2297, [(2297, -4, 0.1169)]), (2333, [(2333, -20, 2.900)]), (2345, [(2345, 16, 3.703)]), (2348, [(2348, 0, 0)]), (2357, [(2357, 4, 0.1154)]), (2360, [(2360, -24, 8.305)]), (2393, [(2393, 4, 0.1146)]), (2405, [(2405, 24, 8.227)]), (2408, [(2408, -16, 1.827)]), (2417, [(2417, 12, 1.026)]), (2453, [(2453, 16, 1.810)]), (2465, [(2465, -8, 0.9029)]), (2477, [(2477, 20, 2.815)]), (2492, [(2492, 16, 1.796)]), (2513, [(2513, 8, 0.4471)]), (2537, [(2537, -8, 0.4450)]), (2540, [(2540, 8, 0.8895)]), (2552, [(2552, -32, 7.099)]), (2573, [(2573, -16, 1.768)]), (2585, [(2585, 16, 3.527)]), (2588, [(2588, -8, 0.4406)]), (2633, [(2633, 4, 0.1092)]), (2648, [(2648, -16, 1.742)]), (2657, [(2657, 4, 0.1087)]), (2693, [(2693, -4, 0.1080)]), (2705, [(2705, 16, 3.448)]), (2717, [(2717, 16, 1.720)]), (2732, [(2732, -16, 1.715)]), (2753, [(2753, -12, 0.9612)]), (2765, [(2765, 0, 0)]), (2777, [(2777, -4, 0.1063)]), (2780, [(2780, -24, 7.652)]), (2792, [(2792, -8, 0.4242)]), (2813, [(2813, 8, 0.4226)]), (2828, [(2828, 16, 1.686)]), (2837, [(2837, 20, 2.630)]), (2840, [(2840, 16, 3.365)]), (2885, [(2885, -4, 0.2087)]), (2897, [(2897, 12, 0.9370)]), (2933, [(2933, 0, 0)]), (2945, [(2945, -16, 3.304)]), (2957, [(2957, -12, 0.9274)]), (2972, [(2972, -8, 0.4112)]), (2993, [(2993, 0, 0)]), (3005, [(3005, -8, 0.8178)]), (3017, [(3017, -8, 0.4081)]), (3020, [(3020, -8, 0.8158)]), (3032, [(3032, 32, 6.513)]), (3053, [(3053, 0, 0)]), (3065, [(3065, -4, 0.2024)]), (3068, [(3068, 16, 1.619)]), (3077, [(3077, -24, 3.637)]), (3080, [(3080, -16, 3.231)]), (3113, [(3113, -8, 0.4017)]), (3128, [(3128, 16, 1.603)]), (3137, [(3137, 4, 0.1000)]), (3173, [(3173, 16, 1.592)]), (3197, [(3197, -16, 1.586)]), (3212, [(3212, 0, 0)]), (3233, [(3233, 8, 0.3942)]), (3245, [(3245, 16, 3.148)]), (3257, [(3257, -4, 0.09819)]), (3260, [(3260, -16, 3.141)]), (3272, [(3272, -16, 1.567)]), (3293, [(3293, 8, 0.3906)]), (3305, [(3305, -8, 0.7798)]), (3308, [(3308, 32, 6.235)]), (3317, [(3317, -40, 9.729)]), (3320, [(3320, 0, 0)]), (3353, [(3353, -16, 1.548)]), (3365, [(3365, -20, 4.830)]), (3368, [(3368, 8, 0.3862)]), (3377, [(3377, 8, 0.3857)]), (3413, [(3413, -4, 0.09592)]), (3437, [(3437, -8, 0.3823)]), (3452, [(3452, 24, 3.433)]), (3473, [(3473, -16, 1.521)]), (3485, [(3485, 8, 0.7594)]), (3497, [(3497, 0, 0)]), (3512, [(3512, 24, 3.404)]), (3533, [(3533, 4, 0.09428)]), (3545, [(3545, -8, 0.7529)]), (3548, [(3548, -8, 0.3763)]), (3557, [(3557, 20, 2.349)]), (3560, [(3560, 0, 0)]), (3593, [(3593, -12, 0.8414)]), (3605, [(3605, 16, 2.987)]), (3608, [(3608, 0, 0)]), (3617, [(3617, 4, 0.09317)]), (3653, [(3653, -24, 3.338)]), (3665, [(3665, -12, 1.666)]), (3677, [(3677, 12, 0.8317)]), (3692, [(3692, -32, 5.902)]), (3713, [(3713, 0, 0)]), (3737, [(3737, 16, 1.467)]), (3740, [(3740, 0, 0)]), (3752, [(3752, 16, 1.464)]), (3785, [(3785, 4, 0.1822)]), (3788, [(3788, -32, 5.827)]), (3797, [(3797, 4, 0.09094)]), (3833, [(3833, 12, 0.8146)]), (3845, [(3845, 8, 0.7230)]), (3848, [(3848, 16, 1.445)]), (3857, [(3857, 0, 0)]), (3893, [(3893, -32, 5.748)]), (3905, [(3905, 16, 2.870)]), (3917, [(3917, -20, 2.238)]), (3932, [(3932, 8, 0.3575)]), (3953, [(3953, 8, 0.3565)]), (3965, [(3965, 16, 2.848)]), (3977, [(3977, 24, 3.199)]), (3980, [(3980, 8, 0.7106)]), (3992, [(3992, -16, 1.419)]), (4013, [(4013, 28, 4.334)]), (4028, [(4028, -32, 5.651)]), (4037, [(4037, -16, 1.411)]), (4040, [(4040, -8, 0.7053)]), (4073, [(4073, 4, 0.08780)]), (4085, [(4085, 8, 0.7014)]), (4088, [(4088, 16, 1.402)]), (4097, [(4097, -8, 0.3502)]), (4133, [(4133, 20, 2.179)]), (4145, [(4145, 0, 0)]), (4157, [(4157, 36, 7.040)]), (4172, [(4172, -16, 1.388)]), (4193, [(4193, -8, 0.3461)]), (4217, [(4217, 12, 0.7766)]), (4220, [(4220, -24, 6.211)]), (4253, [(4253, 20, 2.148)]), (4265, [(4265, -4, 0.1716)]), (4268, [(4268, 0, 0)]), (4277, [(4277, -16, 1.371)]), (4280, [(4280, -16, 2.741)]), (4313, [(4313, 0, 0)]), (4328, [(4328, -8, 0.3407)]), (4337, [(4337, -20, 2.127)]), (4373, [(4373, 12, 0.7626)]), (4385, [(4385, 12, 1.523)]), (4397, [(4397, 28, 4.141)]), (4412, [(4412, 8, 0.3375)]), (4433, [(4433, 16, 1.347)]), (4445, [(4445, 0, 0)]), (4457, [(4457, 4, 0.08394)]), (4460, [(4460, 8, 0.6713)]), (4472, [(4472, -32, 5.363)]), (4493, [(4493, -12, 0.7524)]), (4505, [(4505, -8, 0.6679)]), (4517, [(4517, -12, 0.7504)]), (4520, [(4520, 24, 6.001)]), (4553, [(4553, 24, 2.990)]), (4565, [(4565, -24, 5.971)]), (4568, [(4568, -16, 1.327)]), (4577, [(4577, -8, 0.3313)]), (4613, [(4613, -8, 0.3300)]), (4637, [(4637, 20, 2.057)]), (4652, [(4652, -32, 5.258)]), (4673, [(4673, 4, 0.08197)]), (4685, [(4685, -20, 4.093)]), (4697, [(4697, -16, 1.308)]), (4712, [(4712, 16, 1.306)]), (4733, [(4733, 12, 0.7331)]), (4745, [(4745, 8, 0.6508)]), (4748, [(4748, 32, 5.205)]), (4757, [(4757, 8, 0.3250)]), (4760, [(4760, 16, 2.599)]), (4793, [(4793, -20, 2.023)]), (4808, [(4808, 0, 0)]), (4817, [(4817, -20, 2.018)]), (4853, [(4853, -32, 5.148)]), (4865, [(4865, 8, 0.6427)]), (4877, [(4877, -4, 0.08024)]), (4892, [(4892, 40, 8.012)]), (4937, [(4937, -12, 0.7178)]), (4940, [(4940, 16, 2.551)]), (4952, [(4952, 16, 1.274)]), (4973, [(4973, -4, 0.07946)]), (4985, [(4985, -4, 0.1587)]), (4988, [(4988, 0, 0)]), (4997, [(4997, -8, 0.3171)]), (5033, [(5033, -32, 5.055)]), (5045, [(5045, -24, 5.680)]), (5048, [(5048, -8, 0.3155)]), (5057, [(5057, 16, 1.261)]), (5093, [(5093, -16, 1.256)]), (5105, [(5105, 0, 0)]), (5117, [(5117, 0, 0)]), (5132, [(5132, 16, 1.252)]), (5153, [(5153, -4, 0.07806)]), (5165, [(5165, 28, 7.641)]), (5177, [(5177, -16, 1.246)]), (5180, [(5180, 16, 2.491)]), (5192, [(5192, 0, 0)]), (5213, [(5213, 8, 0.3104)]), (5228, [(5228, 0, 0)]), (5237, [(5237, -4, 0.07743)]), (5240, [(5240, 8, 0.6193)]), (5273, [(5273, 12, 0.6945)]), (5285, [(5285, 0, 0)]), (5288, [(5288, -40, 7.706)]), (5297, [(5297, -28, 3.773)]), (5333, [(5333, -28, 3.760)]), (5345, [(5345, 16, 2.453)]), (5357, [(5357, 0, 0)]), (5372, [(5372, -16, 1.223)]), (5393, [(5393, -4, 0.07630)]), (5405, [(5405, 0, 0)]), (5417, [(5417, 4, 0.07614)]), (5420, [(5420, 24, 5.480)]), (5432, [(5432, 16, 1.216)]), (5453, [(5453, -32, 4.857)]), (5465, [(5465, 4, 0.1516)]), (5468, [(5468, -8, 0.3031)]), (5477, [(5477, 28, 3.710)]), (5480, [(5480, 8, 0.6056)]), (5513, [(5513, 0, 0)]), (5528, [(5528, 0, 0)]), (5573, [(5573, 12, 0.6756)]), (5585, [(5585, -20, 3.749)]), (5597, [(5597, 24, 2.696)]), (5612, [(5612, 0, 0)]), (5633, [(5633, 0, 0)]), (5645, [(5645, -16, 2.387)]), (5657, [(5657, 12, 0.6705)]), (5660, [(5660, 0, 0)]), (5672, [(5672, -24, 2.679)]), (5693, [(5693, 28, 3.639)]), (5705, [(5705, 0, 0)]), (5708, [(5708, -16, 1.187)]), (5717, [(5717, -28, 3.631)]), (5720, [(5720, -16, 2.371)]), (5753, [(5753, 8, 0.2955)]), (5765, [(5765, -4, 0.1476)]), (5768, [(5768, 0, 0)]), (5777, [(5777, 24, 2.654)]), (5813, [(5813, 20, 1.837)]), (5837, [(5837, 8, 0.2934)]), (5852, [(5852, 32, 4.688)]), (5873, [(5873, 16, 1.170)]), (5885, [(5885, 8, 0.5844)]), (5897, [(5897, 4, 0.07297)]), (5912, [(5912, -16, 1.166)]), (5933, [(5933, 16, 1.164)]), (5945, [(5945, 0, 0)]), (5948, [(5948, -24, 2.616)]), (5957, [(5957, -16, 1.162)]), (5960, [(5960, -8, 0.5807)]), (5993, [(5993, 8, 0.2895)]), (6005, [(6005, -8, 0.5785)]), (6008, [(6008, 8, 0.2892)]), (6017, [(6017, 24, 2.601)]), (6053, [(6053, -12, 0.6482)]), (6065, [(6065, 4, 0.1439)]), (6077, [(6077, -8, 0.2875)]), (6092, [(6092, -16, 1.149)]), (6113, [(6113, -28, 3.512)]), (6140, [(6140, -16, 2.288)]), (6152, [(6152, -16, 1.143)]), (6173, [(6173, 52, 12.05)]), (6185, [(6185, 4, 0.1425)]), (6188, [(6188, 0, 0)]), (6197, [(6197, -20, 1.780)]), (6233, [(6233, 32, 4.543)]), (6245, [(6245, 24, 5.105)]), (6248, [(6248, -16, 1.134)]), (6257, [(6257, 12, 0.6376)]), (6293, [(6293, 32, 4.521)]), (6305, [(6305, -24, 5.081)]), (6317, [(6317, -12, 0.6345)]), (6332, [(6332, 24, 2.535)]), (6353, [(6353, 12, 0.6327)]), (6365, [(6365, 16, 2.248)]), (6377, [(6377, 8, 0.2807)]), (6380, [(6380, 16, 2.245)]), (6392, [(6392, 0, 0)]), (6428, [(6428, -8, 0.2796)]), (6437, [(6437, 8, 0.2794)]), (6440, [(6440, -16, 2.234)]), (6473, [(6473, -20, 1.741)]), (6485, [(6485, 20, 3.479)]), (6488, [(6488, -32, 4.452)]), (6497, [(6497, 0, 0)]), (6533, [(6533, -24, 2.496)]), (6545, [(6545, -16, 2.216)]), (6557, [(6557, 8, 0.2768)]), (6572, [(6572, 16, 1.106)]), (6593, [(6593, -24, 2.484)]), (6605, [(6605, -24, 4.964)]), (6617, [(6617, 24, 2.480)]), (6620, [(6620, 8, 0.5510)]), (6632, [(6632, 8, 0.2752)]), (6653, [(6653, -4, 0.06870)]), (6665, [(6665, 16, 2.196)]), (6668, [(6668, 0, 0)]), (6677, [(6677, 8, 0.2743)]), (6680, [(6680, 32, 8.776)]), (6737, [(6737, 12, 0.6144)]), (6773, [(6773, -32, 4.358)]), (6785, [(6785, -8, 0.5442)]), (6797, [(6797, -16, 1.087)]), (6812, [(6812, 0, 0)]), (6833, [(6833, 4, 0.06779)]), (6857, [(6857, -12, 0.6090)]), (6872, [(6872, 32, 4.326)]), (6893, [(6893, -16, 1.080)]), (6905, [(6905, 8, 0.5395)]), (6908, [(6908, 0, 0)]), (6917, [(6917, -12, 0.6064)]), (6920, [(6920, 8, 0.5389)]), (6953, [(6953, 0, 0)]), (6965, [(6965, -8, 0.5372)]), (6968, [(6968, -16, 1.074)]), (6977, [(6977, 12, 0.6038)]), (7013, [(7013, 20, 1.673)]), (7037, [(7037, 8, 0.2672)]), (7052, [(7052, -32, 4.271)]), (7073, [(7073, -16, 1.066)]), (7085, [(7085, -8, 0.5326)]), (7097, [(7097, -24, 2.395)]), (7112, [(7112, 32, 4.253)]), (7133, [(7133, -24, 2.389)]), (7145, [(7145, -16, 2.121)]), (7148, [(7148, -16, 1.060)]), (7157, [(7157, -16, 1.060)]), (7160, [(7160, 24, 4.768)]), (7193, [(7193, -28, 3.237)]), (7205, [(7205, 16, 2.113)]), (7208, [(7208, 32, 4.224)]), (7217, [(7217, 8, 0.2638)]), (7253, [(7253, -4, 0.06580)]), (7265, [(7265, 12, 1.183)]), (7277, [(7277, -32, 4.204)]), (7292, [(7292, 8, 0.2625)]), (7313, [(7313, 0, 0)]), (7337, [(7337, -16, 1.047)]), (7340, [(7340, -24, 4.709)]), (7352, [(7352, 8, 0.2614)]), (7373, [(7373, -8, 0.2610)]), (7385, [(7385, -16, 2.087)]), (7388, [(7388, 24, 2.347)]), (7397, [(7397, 16, 1.042)]), (7433, [(7433, 4, 0.06500)]), (7445, [(7445, -16, 2.078)]), (7457, [(7457, -20, 1.622)]), (7493, [(7493, 48, 9.322)]), (7505, [(7505, -16, 2.070)]), (7517, [(7517, 4, 0.06463)]), (7532, [(7532, 16, 1.033)]), (7553, [(7553, 16, 1.032)]), (7565, [(7565, 16, 2.062)]), (7577, [(7577, -4, 0.06438)]), (7580, [(7580, -8, 0.5149)]), (7592, [(7592, 16, 1.029)]), (7613, [(7613, 0, 0)]), (7628, [(7628, 32, 4.106)]), (7637, [(7637, 16, 1.026)]), (7640, [(7640, -16, 2.052)]), (7673, [(7673, 12, 0.5757)]), (7685, [(7685, -32, 8.182)]), (7697, [(7697, 16, 1.022)]), (7733, [(7733, -16, 1.020)]), (7745, [(7745, 8, 0.5094)]), (7757, [(7757, -44, 7.698)]), (7772, [(7772, -48, 9.153)]), (7793, [(7793, 4, 0.06348)]), (7805, [(7805, -32, 8.119)]), (7817, [(7817, -4, 0.06338)]), (7820, [(7820, 16, 2.028)]), (7832, [(7832, -32, 4.052)]), (7853, [(7853, 4, 0.06323)]), (7868, [(7868, 0, 0)]), (7877, [(7877, 20, 1.578)]), (7880, [(7880, 8, 0.5050)]), (7913, [(7913, 8, 0.2520)]), (7928, [(7928, 24, 2.266)]), (7937, [(7937, -12, 0.5661)]), (7973, [(7973, 0, 0)]), (7985, [(7985, 20, 3.135)]), (7997, [(7997, 32, 4.010)]), (8012, [(8012, 0, 0)]), (8033, [(8033, 16, 1.000)]), (8045, [(8045, -16, 1.999)]), (8057, [(8057, 0, 0)]), (8060, [(8060, 0, 0)]), (8072, [(8072, -16, 0.9979)]), (8093, [(8093, 36, 5.045)]), (8105, [(8105, 0, 0)]), (8108, [(8108, -16, 0.9957)]), (8117, [(8117, 28, 3.048)]), (8120, [(8120, -32, 7.960)]), (8153, [(8153, 0, 0)]), (8165, [(8165, 8, 0.4961)]), (8168, [(8168, 24, 2.232)]), (8177, [(8177, -16, 0.9915)]), (8213, [(8213, 16, 0.9893)]), (8237, [(8237, 28, 3.025)]), (8252, [(8252, -8, 0.2467)]), (8273, [(8273, -4, 0.06161)]), (8285, [(8285, -12, 1.108)]), (8297, [(8297, 4, 0.06152)]), (8312, [(8312, -24, 2.213)]), (8333, [(8333, -48, 8.839)]), (8345, [(8345, 8, 0.4907)]), (8348, [(8348, -56, 12.02)]), (8357, [(8357, 0, 0)]), (8360, [(8360, 16, 1.961)]), (8393, [(8393, 16, 0.9787)]), (8408, [(8408, 16, 0.9778)]), (8417, [(8417, 8, 0.2443)]), (8453, [(8453, 16, 0.9752)]), (8465, [(8465, 12, 1.096)]), (8492, [(8492, 0, 0)]), (8513, [(8513, -4, 0.06073)]), (8537, [(8537, 12, 0.5458)]), (8540, [(8540, 0, 0)]), (8552, [(8552, -8, 0.2424)]), (8573, [(8573, -28, 2.965)]), (8585, [(8585, 0, 0)]), (8588, [(8588, -32, 3.870)]), (8597, [(8597, 12, 0.5439)]), (8633, [(8633, 16, 0.9650)]), (8645, [(8645, 16, 1.929)]), (8648, [(8648, 0, 0)]), (8657, [(8657, -24, 2.168)]), (8693, [(8693, -4, 0.06010)]), (8705, [(8705, 0, 0)]), (8717, [(8717, -24, 2.161)]), (8732, [(8732, -16, 0.9595)]), (8753, [(8753, 12, 0.5390)]), (8765, [(8765, 20, 2.993)]), (8777, [(8777, 8, 0.2393)]), (8780, [(8780, -8, 0.4784)]), (8792, [(8792, 16, 0.9562)]), (8813, [(8813, -16, 0.9550)]), (8828, [(8828, 40, 5.964)]), (8837, [(8837, 20, 1.490)]), (8840, [(8840, -16, 1.907)]), (8873, [(8873, -24, 2.142)]), (8885, [(8885, 20, 2.972)]), (8888, [(8888, 0, 0)]), (8897, [(8897, -16, 0.9505)]), (8933, [(8933, 28, 2.905)]), (8945, [(8945, 8, 0.4740)]), (8972, [(8972, 0, 0)]), (9005, [(9005, -24, 4.252)]), (9017, [(9017, 8, 0.2360)]), (9020, [(9020, 16, 1.888)]), (9032, [(9032, -16, 0.9434)]), (9053, [(9053, -16, 0.9423)]), (9068, [(9068, 16, 0.9415)]), (9077, [(9077, -16, 0.9411)]), (9080, [(9080, 16, 1.882)]), (9113, [(9113, -16, 0.9392)]), (9128, [(9128, -16, 0.9384)]), (9137, [(9137, -28, 2.872)]), (9173, [(9173, -20, 1.463)]), (9185, [(9185, 8, 0.4678)]), (9197, [(9197, -8, 0.2337)]), (9233, [(9233, -16, 0.9331)]), (9257, [(9257, 20, 1.456)]), (9260, [(9260, -8, 0.4659)]), (9272, [(9272, 32, 3.724)]), (9293, [(9293, 4, 0.05813)]), (9305, [(9305, -16, 1.859)]), (9308, [(9308, 32, 3.717)]), (9320, [(9320, -8, 0.4644)]), (9353, [(9353, 8, 0.2318)]), (9365, [(9365, -12, 1.042)]), (9368, [(9368, 48, 8.337)]), (9377, [(9377, -4, 0.05787)]), (9413, [(9413, -12, 0.5198)]), (9437, [(9437, -28, 2.826)]), (9452, [(9452, 0, 0)]), (9473, [(9473, 20, 1.439)]), (9485, [(9485, -24, 4.143)]), (9497, [(9497, 4, 0.05750)]), (9512, [(9512, -16, 0.9193)]), (9533, [(9533, 20, 1.435)]), (9545, [(9545, -16, 1.835)]), (9548, [(9548, 32, 3.670)]), (9557, [(9557, -8, 0.2293)]), (9560, [(9560, -16, 1.834)]), (9593, [(9593, -8, 0.2288)]), (9605, [(9605, 8, 0.4574)]), (9608, [(9608, 0, 0)]), (9617, [(9617, 16, 0.9142)]), (9665, [(9665, -12, 1.026)]), (9677, [(9677, -52, 9.627)]), (9692, [(9692, -8, 0.2277)]), (9713, [(9713, -32, 3.639)]), (9737, [(9737, -16, 0.9086)]), (9740, [(9740, -8, 0.4542)]), (9752, [(9752, 0, 0)]), (9773, [(9773, -8, 0.2267)]), (9785, [(9785, -16, 1.813)]), (9788, [(9788, 24, 2.039)]), (9797, [(9797, 32, 3.623)]), (9833, [(9833, -4, 0.05651)]), (9845, [(9845, 0, 0)]), (9848, [(9848, -8, 0.2259)]), (9857, [(9857, -4, 0.05644)]), (9893, [(9893, 8, 0.2254)]), (9905, [(9905, 0, 0)]), (9917, [(9917, -24, 2.026)]), (9932, [(9932, 32, 3.599)]), (9953, [(9953, 32, 3.595)]), (9965, [(9965, 12, 1.010)]), (9977, [(9977, -16, 0.8976)]), (9980, [(9980, 8, 0.4487)]), (9992, [(9992, 32, 3.588)])]]

# map: (1 |-> 1.0) -> 1, Fractional ideal (3) -> 1, Fractional ideal (5) -> 1
[-19, -21/2 + (-123/2)*i - j, [(1, [(1, 2, 0.3502)]), (21, [(21, -8, 2.445)]), (24, [(24, 8, 2.288)]), (61, [(61, 16, 2.870)]), (69, [(69, -8, 1.349)]), (76, [(76, -16, 2.571)]), (109, [(109, 16, 2.147)]), (124, [(124, 16, 2.013)]), (129, [(129, -8, 0.9867)]), (136, [(136, 0, 0)]), (141, [(141, -8, 0.9437)]), (156, [(156, 16, 3.589)]), (181, [(181, 0, 0)]), (184, [(184, -16, 1.652)]), (201, [(201, 8, 0.7904)]), (204, [(204, -16, 3.138)]), (229, [(229, 0, 0)]), (241, [(241, 16, 1.444)]), (249, [(249, 8, 0.7102)]), (264, [(264, 16, 2.759)]), (301, [(301, -16, 1.292)]), (309, [(309, 8, 0.6375)]), (316, [(316, 16, 1.261)]), (321, [(321, -8, 0.6255)]), (349, [(349, -32, 4.799)]), (364, [(364, 0, 0)]), (376, [(376, 16, 1.156)]), (381, [(381, 8, 0.5741)]), (409, [(409, -16, 1.108)]), (421, [(421, 16, 1.092)]), (424, [(424, -32, 4.354)]), (429, [(429, 16, 2.164)]), (444, [(444, -16, 2.127)]), (456, [(456, -16, 2.099)]), (469, [(469, 16, 1.035)]), (481, [(481, 0, 0)]), (489, [(489, 8, 0.5068)]), (501, [(501, 24, 4.506)]), (541, [(541, -32, 3.854)]), (556, [(556, -16, 0.9505)]), (561, [(561, -16, 1.893)]), (589, [(589, 0, 0)]), (601, [(601, -16, 0.9142)]), (604, [(604, 16, 0.9120)]), (609, [(609, -16, 1.816)]), (616, [(616, 32, 3.612)]), (636, [(636, 0, 0)]), (649, [(649, 0, 0)]), (661, [(661, -16, 0.8718)]), (664, [(664, 16, 0.8698)]), (669, [(669, -8, 0.4333)]), (681, [(681, 24, 3.865)]), (696, [(696, 0, 0)]), (709, [(709, -32, 3.367)]), (721, [(721, 16, 0.8347)]), (741, [(741, 16, 1.647)]), (744, [(744, 0, 0)]), (769, [(769, 32, 3.233)]), (781, [(781, 0, 0)]), (789, [(789, -8, 0.3990)]), (796, [(796, -16, 0.7944)]), (829, [(829, 16, 0.7784)]), (844, [(844, 16, 0.7715)]), (849, [(849, 8, 0.3846)]), (856, [(856, -16, 0.7661)]), (861, [(861, 0, 0)]), (876, [(876, 0, 0)]), (889, [(889, -16, 0.7517)]), (901, [(901, -32, 2.987)]), (904, [(904, 32, 2.982)]), (921, [(921, 8, 0.3693)]), (924, [(924, 0, 0)]), (949, [(949, 0, 0)]), (969, [(969, 0, 0)]), (984, [(984, 16, 1.429)]), (1009, [(1009, 0, 0)]), (1021, [(1021, 32, 2.806)]), (1036, [(1036, 32, 2.785)]), (1041, [(1041, -24, 3.126)]), (1069, [(1069, -16, 0.6855)]), (1081, [(1081, -16, 0.6817)]), (1084, [(1084, -16, 0.6807)]), (1096, [(1096, -32, 2.708)]), (1101, [(1101, 8, 0.3377)]), (1129, [(1129, -16, 0.6670)]), (1141, [(1141, 16, 0.6635)]), (1144, [(1144, -32, 2.651)]), (1149, [(1149, 24, 2.975)]), (1164, [(1164, 32, 5.255)]), (1189, [(1189, 32, 2.600)]), (1201, [(1201, 16, 0.6467)]), (1209, [(1209, 16, 1.289)]), (1221, [(1221, -32, 5.131)]), (1249, [(1249, 0, 0)]), (1261, [(1261, 32, 2.525)]), (1276, [(1276, -32, 2.510)]), (1281, [(1281, -16, 1.252)]), (1309, [(1309, 32, 2.478)]), (1321, [(1321, -16, 0.6167)]), (1324, [(1324, 16, 0.6160)]), (1329, [(1329, 8, 0.3074)]), (1336, [(1336, 16, 0.6132)]), (1356, [(1356, 16, 1.217)]), (1381, [(1381, 16, 0.6031)]), (1384, [(1384, 0, 0)]), (1389, [(1389, -24, 2.706)]), (1401, [(1401, 8, 0.2994)]), (1416, [(1416, 16, 1.191)]), (1429, [(1429, -48, 5.336)]), (1441, [(1441, 0, 0)]), (1461, [(1461, -24, 2.639)]), (1464, [(1464, -16, 1.172)]), (1489, [(1489, 16, 0.5808)]), (1501, [(1501, 0, 0)]), (1509, [(1509, -24, 2.596)]), (1516, [(1516, 16, 0.5756)]), (1549, [(1549, 0, 0)]), (1561, [(1561, 16, 0.5673)]), (1564, [(1564, -32, 2.267)]), (1569, [(1569, -24, 2.546)]), (1576, [(1576, -32, 2.258)]), (1581, [(1581, -16, 1.127)]), (1596, [(1596, 0, 0)]), (1609, [(1609, 16, 0.5588)]), (1621, [(1621, 0, 0)]), (1624, [(1624, 32, 2.225)]), (1641, [(1641, 24, 2.490)]), (1644, [(1644, 16, 1.106)]), (1669, [(1669, 32, 2.194)]), (1689, [(1689, 8, 0.2727)]), (1704, [(1704, -32, 4.344)]), (1729, [(1729, 32, 2.156)]), (1741, [(1741, 0, 0)]), (1749, [(1749, 0, 0)]), (1756, [(1756, 16, 0.5349)]), (1761, [(1761, 8, 0.2670)]), (1789, [(1789, 32, 2.120)]), (1801, [(1801, -16, 0.5281)]), (1804, [(1804, -32, 2.111)]), (1816, [(1816, -16, 0.5259)]), (1821, [(1821, -40, 6.565)]), (1861, [(1861, 0, 0)]), (1864, [(1864, 0, 0)]), (1869, [(1869, -32, 4.147)]), (1884, [(1884, -16, 1.033)]), (1896, [(1896, 32, 4.118)]), (1909, [(1909, 16, 0.5130)]), (1921, [(1921, 0, 0)]), (1929, [(1929, -8, 0.2552)]), (1941, [(1941, 24, 2.289)]), (1969, [(1969, -32, 2.020)]), (1981, [(1981, -16, 0.5036)]), (1996, [(1996, 16, 0.5017)]), (2001, [(2001, -16, 1.002)]), (2029, [(2029, -32, 1.990)]), (2041, [(2041, -32, 1.984)]), (2044, [(2044, -32, 1.983)]), (2049, [(2049, -24, 2.228)]), (2056, [(2056, 32, 1.977)]), (2076, [(2076, -32, 3.935)]), (2089, [(2089, 0, 0)]), (2101, [(2101, 32, 1.956)]), (2104, [(2104, 16, 0.4886)]), (2109, [(2109, 16, 0.9761)]), (2121, [(2121, 0, 0)]), (2136, [(2136, 16, 0.9699)]), (2149, [(2149, 16, 0.4835)]), (2161, [(2161, 16, 0.4821)]), (2181, [(2181, 8, 0.2400)]), (2184, [(2184, 0, 0)]), (2221, [(2221, 16, 0.4756)]), (2229, [(2229, 24, 2.136)]), (2236, [(2236, -32, 1.896)]), (2269, [(2269, -16, 0.4705)]), (2281, [(2281, -16, 0.4693)]), (2284, [(2284, -16, 0.4690)]), (2289, [(2289, 0, 0)]), (2296, [(2296, -32, 1.871)]), (2301, [(2301, 16, 0.9345)]), (2316, [(2316, -32, 3.726)]), (2329, [(2329, 0, 0)]), (2341, [(2341, 16, 0.4632)]), (2344, [(2344, 0, 0)]), (2361, [(2361, 8, 0.2306)]), (2364, [(2364, 32, 3.688)]), (2389, [(2389, 0, 0)]), (2409, [(2409, 16, 0.9133)]), (2424, [(2424, -32, 3.642)]), (2449, [(2449, -32, 1.812)]), (2461, [(2461, -48, 4.066)]), (2469, [(2469, 24, 2.030)]), (2476, [(2476, 48, 4.054)]), (2481, [(2481, -24, 2.025)]), (2509, [(2509, -32, 1.790)]), (2521, [(2521, 16, 0.4464)]), (2524, [(2524, -16, 0.4461)]), (2536, [(2536, 32, 1.780)]), (2569, [(2569, -16, 0.4422)]), (2581, [(2581, 0, 0)]), (2584, [(2584, 0, 0)]), (2589, [(2589, -8, 0.2202)]), (2604, [(2604, 32, 3.514)]), (2616, [(2616, 16, 0.8764)]), (2629, [(2629, -32, 1.748)]), (2641, [(2641, 0, 0)]), (2649, [(2649, 8, 0.2177)]), (2661, [(2661, -8, 0.2172)]), (2689, [(2689, 16, 0.4322)]), (2701, [(2701, -32, 1.725)]), (2716, [(2716, 32, 1.720)]), (2721, [(2721, 24, 1.934)]), (2749, [(2749, -16, 0.4275)]), (2761, [(2761, 0, 0)]), (2764, [(2764, 16, 0.4263)]), (2769, [(2769, 16, 0.8519)]), (2776, [(2776, 16, 0.4254)]), (2796, [(2796, -16, 0.8477)]), (2821, [(2821, -32, 1.688)]), (2824, [(2824, 32, 1.687)]), (2829, [(2829, 48, 7.585)]), (2841, [(2841, 8, 0.2102)]), (2856, [(2856, -32, 3.355)]), (2869, [(2869, 32, 1.674)]), (2881, [(2881, 16, 0.4176)]), (2901, [(2901, 24, 1.873)]), (2929, [(2929, 0, 0)]), (2941, [(2941, -32, 1.653)]), (2949, [(2949, 24, 1.857)]), (2956, [(2956, -48, 3.710)]), (3001, [(3001, 0, 0)]), (3004, [(3004, 16, 0.4089)]), (3009, [(3009, -32, 3.269)]), (3016, [(3016, -64, 6.530)]), (3021, [(3021, 16, 0.8155)]), (3036, [(3036, 0, 0)]), (3049, [(3049, 32, 1.624)]), (3061, [(3061, -16, 0.4051)]), (3064, [(3064, 48, 3.644)]), (3081, [(3081, 0, 0)]), (3084, [(3084, -16, 0.8072)]), (3109, [(3109, -48, 3.618)]), (3121, [(3121, 32, 1.605)]), (3129, [(3129, 16, 0.8014)]), (3144, [(3144, -16, 0.7994)]), (3169, [(3169, 0, 0)]), (3181, [(3181, 16, 0.3974)]), (3189, [(3189, -40, 4.961)]), (3196, [(3196, 64, 6.343)]), (3201, [(3201, 0, 0)]), (3229, [(3229, 16, 0.3944)]), (3241, [(3241, -48, 3.543)]), (3244, [(3244, -16, 0.3935)]), (3256, [(3256, 0, 0)]), (3261, [(3261, 24, 1.766)]), (3289, [(3289, -32, 1.563)]), (3301, [(3301, -32, 1.560)]), (3304, [(3304, 32, 1.560)]), (3309, [(3309, -8, 0.1948)]), (3324, [(3324, -16, 0.7775)]), (3336, [(3336, 16, 0.7761)]), (3349, [(3349, -32, 1.549)]), (3361, [(3361, -48, 3.479)]), (3369, [(3369, -8, 0.1931)]), (3409, [(3409, -16, 0.3839)]), (3421, [(3421, 64, 6.131)]), (3436, [(3436, -16, 0.3824)]), (3441, [(3441, -16, 0.7642)]), (3469, [(3469, 32, 1.522)]), (3484, [(3484, 64, 6.075)]), (3489, [(3489, -24, 1.707)]), (3496, [(3496, -32, 1.516)]), (3516, [(3516, 0, 0)]), (3529, [(3529, 0, 0)]), (3541, [(3541, -48, 3.390)]), (3544, [(3544, -16, 0.3765)]), (3561, [(3561, 8, 0.1878)]), (3576, [(3576, -32, 2.998)]), (3589, [(3589, 32, 1.496)]), (3601, [(3601, 0, 0)]), (3621, [(3621, -16, 0.7449)]), (3624, [(3624, 0, 0)]), (3649, [(3649, 32, 1.484)]), (3661, [(3661, 16, 0.3704)]), (3669, [(3669, 40, 4.625)]), (3676, [(3676, -16, 0.3697)]), (3709, [(3709, -16, 0.3680)]), (3729, [(3729, 32, 2.936)]), (3736, [(3736, -16, 0.3667)]), (3741, [(3741, 32, 2.932)]), (3756, [(3756, -32, 2.926)]), (3769, [(3769, 16, 0.3651)]), (3781, [(3781, 32, 1.458)]), (3784, [(3784, -32, 1.457)]), (3801, [(3801, -16, 0.7271)]), (3804, [(3804, 32, 2.907)]), (3829, [(3829, -16, 0.3622)]), (3841, [(3841, 16, 0.3616)]), (3849, [(3849, -24, 1.626)]), (3864, [(3864, 0, 0)]), (3889, [(3889, -16, 0.3594)]), (3901, [(3901, 16, 0.3588)]), (3909, [(3909, -24, 1.613)]), (3916, [(3916, 0, 0)]), (3921, [(3921, -8, 0.1790)]), (3949, [(3949, 32, 1.427)]), (3961, [(3961, 32, 1.424)]), (3964, [(3964, -16, 0.3560)]), (3976, [(3976, 64, 5.687)]), (3981, [(3981, -24, 1.598)]), (4009, [(4009, -32, 1.416)]), (4021, [(4021, -32, 1.414)]), (4024, [(4024, -16, 0.3533)]), (4029, [(4029, -16, 0.7062)]), (4044, [(4044, 0, 0)]), (4069, [(4069, -32, 1.405)]), (4081, [(4081, 0, 0)]), (4089, [(4089, 32, 2.804)]), (4101, [(4101, -40, 4.375)]), (4129, [(4129, -16, 0.3488)]), (4141, [(4141, -32, 1.393)]), (4156, [(4156, 16, 0.3477)]), (4161, [(4161, 0, 0)]), (4189, [(4189, -32, 1.385)]), (4201, [(4201, 0, 0)]), (4204, [(4204, -16, 0.3457)]), (4209, [(4209, 16, 0.6909)]), (4216, [(4216, 32, 1.381)]), (4236, [(4236, 16, 0.6887)]), (4249, [(4249, 16, 0.3438)]), (4261, [(4261, 16, 0.3434)]), (4264, [(4264, 0, 0)]), (4269, [(4269, 8, 0.1715)]), (4281, [(4281, 8, 0.1713)]), (4296, [(4296, 16, 0.6839)]), (4309, [(4309, 64, 5.463)]), (4321, [(4321, 0, 0)]), (4341, [(4341, -24, 1.531)]), (4344, [(4344, 48, 6.121)]), (4369, [(4369, 0, 0)]), (4381, [(4381, 32, 1.354)]), (4389, [(4389, -32, 2.706)]), (4396, [(4396, -64, 5.409)]), (4429, [(4429, -16, 0.3368)]), (4441, [(4441, 32, 1.345)]), (4444, [(4444, -32, 1.345)]), (4449, [(4449, 8, 0.1680)]), (4456, [(4456, 0, 0)]), (4461, [(4461, -24, 1.510)]), (4476, [(4476, 16, 0.6700)]), (4501, [(4501, 48, 3.007)]), (4504, [(4504, -16, 0.3340)]), (4521, [(4521, 0, 0)]), (4524, [(4524, -32, 2.666)]), (4549, [(4549, 0, 0)]), (4561, [(4561, 0, 0)]), (4569, [(4569, -8, 0.1658)]), (4584, [(4584, 32, 2.648)]), (4609, [(4609, 32, 1.321)]), (4621, [(4621, 0, 0)]), (4629, [(4629, -8, 0.1647)]), (4636, [(4636, 0, 0)]), (4641, [(4641, 32, 2.632)]), (4669, [(4669, 0, 0)]), (4681, [(4681, 0, 0)]), (4684, [(4684, -16, 0.3275)]), (4696, [(4696, 16, 0.3271)]), (4701, [(4701, 8, 0.1634)]), (4729, [(4729, -32, 1.304)]), (4741, [(4741, 32, 1.302)]), (4744, [(4744, -32, 1.302)]), (4749, [(4749, -24, 1.464)]), (4764, [(4764, -16, 0.6494)]), (4776, [(4776, -32, 2.595)]), (4789, [(4789, -32, 1.295)]), (4801, [(4801, -16, 0.3235)]), (4809, [(4809, -16, 0.6464)]), (4821, [(4821, -24, 1.453)]), (4849, [(4849, -32, 1.287)]), (4861, [(4861, 32, 1.286)]), (4876, [(4876, 0, 0)]), (4881, [(4881, -24, 1.444)]), (4909, [(4909, 48, 2.879)]), (4921, [(4921, -32, 1.278)]), (4924, [(4924, 48, 2.875)]), (4929, [(4929, -16, 0.6385)]), (4936, [(4936, 0, 0)]), (4956, [(4956, 64, 10.19)]), (4969, [(4969, -16, 0.3180)]), (4981, [(4981, 32, 1.270)]), (4984, [(4984, -32, 1.270)]), (4989, [(4989, -40, 3.966)]), (5001, [(5001, -24, 1.426)]), (5016, [(5016, 32, 2.532)]), (5029, [(5029, 48, 2.844)]), (5061, [(5061, 48, 5.671)]), (5064, [(5064, -16, 0.6299)]), (5089, [(5089, 48, 2.828)]), (5101, [(5101, -64, 5.021)]), (5109, [(5109, 32, 2.509)]), (5116, [(5116, 16, 0.3134)]), (5149, [(5149, 0, 0)]), (5161, [(5161, 0, 0)]), (5164, [(5164, -16, 0.3119)]), (5169, [(5169, 24, 1.403)]), (5176, [(5176, -48, 2.804)]), (5181, [(5181, -32, 2.491)]), (5196, [(5196, 0, 0)]), (5209, [(5209, 0, 0)]), (5221, [(5221, 16, 0.3102)]), (5224, [(5224, 32, 1.240)]), (5241, [(5241, 8, 0.1548)]), (5244, [(5244, -32, 2.476)]), (5269, [(5269, 32, 1.235)]), (5281, [(5281, -32, 1.234)]), (5289, [(5289, -16, 0.6164)]), (5304, [(5304, 0, 0)]), (5349, [(5349, 8, 0.1532)]), (5356, [(5356, -32, 1.225)]), (5361, [(5361, 8, 0.1531)]), (5389, [(5389, 64, 4.885)]), (5401, [(5401, 32, 1.220)]), (5404, [(5404, 0, 0)]), (5416, [(5416, -32, 1.218)]), (5421, [(5421, -32, 2.435)]), (5449, [(5449, 16, 0.3036)]), (5461, [(5461, 16, 0.3033)]), (5464, [(5464, -48, 2.729)]), (5469, [(5469, -24, 1.364)]), (5484, [(5484, -32, 2.421)]), (5496, [(5496, 16, 0.6047)]), (5509, [(5509, 16, 0.3020)]), (5521, [(5521, -16, 0.3016)]), (5529, [(5529, -16, 0.6028)]), (5541, [(5541, 8, 0.1505)]), (5569, [(5569, 16, 0.3003)]), (5581, [(5581, 16, 0.3000)]), (5596, [(5596, -16, 0.2996)]), (5601, [(5601, 40, 3.743)]), (5629, [(5629, -64, 4.780)]), (5641, [(5641, 16, 0.2984)]), (5644, [(5644, 64, 4.773)]), (5649, [(5649, 32, 2.386)]), (5656, [(5656, 64, 4.768)]), (5676, [(5676, 32, 2.380)]), (5689, [(5689, 0, 0)]), (5701, [(5701, 16, 0.2968)]), (5704, [(5704, -64, 4.748)]), (5709, [(5709, -16, 0.5933)]), (5721, [(5721, -24, 1.333)]), (5736, [(5736, -32, 2.367)]), (5749, [(5749, -16, 0.2956)]), (5761, [(5761, -16, 0.2953)]), (5781, [(5781, 0, 0)]), (5784, [(5784, 0, 0)]), (5809, [(5809, 0, 0)]), (5821, [(5821, -48, 2.644)]), (5829, [(5829, 16, 0.5871)]), (5836, [(5836, 16, 0.2934)]), (5869, [(5869, -64, 4.681)]), (5881, [(5881, 48, 2.630)]), (5884, [(5884, 48, 2.630)]), (5889, [(5889, -16, 0.5841)]), (5896, [(5896, 32, 1.168)]), (5901, [(5901, 16, 0.5835)]), (5916, [(5916, 0, 0)]), (5941, [(5941, -32, 1.163)]), (5944, [(5944, 48, 2.616)]), (5961, [(5961, -24, 1.306)]), (5964, [(5964, 32, 2.322)]), (5989, [(5989, 0, 0)]), (6001, [(6001, 32, 1.157)]), (6009, [(6009, 24, 1.301)]), (6024, [(6024, 48, 5.198)]), (6049, [(6049, -16, 0.2882)]), (6061, [(6061, 0, 0)]), (6081, [(6081, -8, 0.1437)]), (6109, [(6109, 0, 0)]), (6121, [(6121, -16, 0.2865)]), (6124, [(6124, 48, 2.578)]), (6136, [(6136, -32, 1.144)]), (6141, [(6141, -32, 2.288)]), (6169, [(6169, 0, 0)]), (6181, [(6181, -80, 7.127)]), (6184, [(6184, -32, 1.140)]), (6189, [(6189, 40, 3.561)]), (6204, [(6204, 0, 0)]), (6216, [(6216, -32, 2.274)]), (6229, [(6229, 16, 0.2840)]), (6249, [(6249, -8, 0.1418)]), (6261, [(6261, 8, 0.1416)]), (6289, [(6289, -32, 1.130)]), (6301, [(6301, 16, 0.2824)]), (6316, [(6316, 16, 0.2820)]), (6349, [(6349, -16, 0.2813)]), (6361, [(6361, 0, 0)]), (6364, [(6364, 0, 0)]), (6369, [(6369, 16, 0.5617)]), (6376, [(6376, 32, 1.123)]), (6396, [(6396, -32, 2.242)]), (6409, [(6409, 0, 0)]), (6421, [(6421, 64, 4.475)]), (6424, [(6424, -32, 1.119)]), (6429, [(6429, 40, 3.494)]), (6441, [(6441, 16, 0.5585)]), (6456, [(6456, -64, 8.926)]), (6469, [(6469, -48, 2.508)]), (6481, [(6481, 0, 0)]), (6501, [(6501, -16, 0.5560)]), (6504, [(6504, 32, 2.223)]), (6529, [(6529, 32, 1.110)]), (6541, [(6541, 0, 0)]), (6549, [(6549, -16, 0.5539)]), (6556, [(6556, -32, 1.107)]), (6589, [(6589, -32, 1.104)]), (6601, [(6601, 32, 1.103)]), (6604, [(6604, -32, 1.103)]), (6609, [(6609, 8, 0.1378)]), (6616, [(6616, -16, 0.2755)]), (6621, [(6621, 56, 6.748)]), (6636, [(6636, 32, 2.201)]), (6649, [(6649, 0, 0)]), (6661, [(6661, 32, 1.098)]), (6681, [(6681, -16, 0.5484)]), (6684, [(6684, -32, 2.193)]), (6709, [(6709, 0, 0)]), (6721, [(6721, -32, 1.094)]), (6729, [(6729, -40, 3.415)]), (6744, [(6744, 16, 0.5458)]), (6769, [(6769, -16, 0.2724)]), (6781, [(6781, -48, 2.450)]), (6789, [(6789, 48, 4.896)]), (6796, [(6796, 16, 0.2719)]), (6801, [(6801, 8, 0.1359)]), (6829, [(6829, 48, 2.441)]), (6841, [(6841, 0, 0)]), (6844, [(6844, 0, 0)]), (6856, [(6856, 32, 1.083)]), (6861, [(6861, 24, 1.218)]), (6901, [(6901, -48, 2.428)]), (6904, [(6904, 80, 6.744)]), (6924, [(6924, -32, 2.155)]), (6949, [(6949, -32, 1.075)]), (6961, [(6961, -32, 1.075)]), (6969, [(6969, -16, 0.5370)]), (6981, [(6981, 0, 0)]), (7009, [(7009, -48, 2.409)]), (7021, [(7021, 0, 0)]), (7036, [(7036, -48, 2.405)]), (7041, [(7041, 8, 0.1336)]), (7069, [(7069, 64, 4.265)]), (7081, [(7081, -32, 1.065)]), (7084, [(7084, 64, 4.261)]), (7089, [(7089, 16, 0.5324)]), (7096, [(7096, 16, 0.2661)]), (7116, [(7116, -48, 4.782)]), (7129, [(7129, 16, 0.2654)]), (7141, [(7141, -32, 1.061)]), (7144, [(7144, 32, 1.061)]), (7149, [(7149, 24, 1.193)]), (7161, [(7161, -32, 2.119)]), (7176, [(7176, 32, 2.117)]), (7189, [(7189, 0, 0)]), (7201, [(7201, -32, 1.056)]), (7221, [(7221, 48, 4.748)]), (7224, [(7224, 32, 2.110)]), (7249, [(7249, 0, 0)]), (7261, [(7261, -32, 1.052)]), (7269, [(7269, -24, 1.183)]), (7276, [(7276, 32, 1.051)]), (7309, [(7309, -32, 1.049)]), (7321, [(7321, 32, 1.048)]), (7324, [(7324, -16, 0.2619)]), (7329, [(7329, -16, 0.5236)]), (7336, [(7336, -32, 1.047)]), (7341, [(7341, 24, 1.177)]), (7356, [(7356, 16, 0.5226)]), (7369, [(7369, 64, 4.177)]), (7384, [(7384, -32, 1.043)]), (7401, [(7401, 8, 0.1303)]), (7404, [(7404, -16, 0.5209)]), (7429, [(7429, 0, 0)]), (7441, [(7441, 16, 0.2598)]), (7449, [(7449, 0, 0)]), (7464, [(7464, -32, 2.075)]), (7489, [(7489, 16, 0.2590)]), (7501, [(7501, 64, 4.141)]), (7509, [(7509, 8, 0.1293)]), (7516, [(7516, -16, 0.2585)]), (7521, [(7521, 48, 4.652)]), (7549, [(7549, 32, 1.032)]), (7561, [(7561, 16, 0.2578)]), (7564, [(7564, 32, 1.031)]), (7576, [(7576, 48, 2.317)]), (7609, [(7609, -16, 0.2569)]), (7621, [(7621, 16, 0.2567)]), (7624, [(7624, -32, 1.027)]), (7629, [(7629, -24, 1.155)]), (7656, [(7656, 0, 0)]), (7669, [(7669, -48, 2.303)]), (7681, [(7681, 16, 0.2557)]), (7689, [(7689, -16, 0.5112)]), (7701, [(7701, 32, 2.043)]), (7729, [(7729, -32, 1.020)]), (7741, [(7741, 16, 0.2547)]), (7756, [(7756, -32, 1.018)]), (7761, [(7761, 32, 2.035)]), (7789, [(7789, -48, 2.286)]), (7801, [(7801, -32, 1.015)]), (7804, [(7804, -16, 0.2537)]), (7809, [(7809, -32, 2.029)]), (7816, [(7816, 0, 0)]), (7836, [(7836, -32, 2.026)]), (7849, [(7849, 48, 2.277)]), (7861, [(7861, -80, 6.320)]), (7864, [(7864, -16, 0.2527)]), (7869, [(7869, 16, 0.5053)]), (7881, [(7881, 0, 0)]), (7896, [(7896, 32, 2.018)]), (7909, [(7909, -32, 1.008)]), (7941, [(7941, -24, 1.132)]), (7944, [(7944, -16, 0.5029)]), (7969, [(7969, 32, 1.004)]), (7981, [(7981, 16, 0.2509)]), (7989, [(7989, -24, 1.128)]), (7996, [(7996, -16, 0.2506)]), (8029, [(8029, 32, 1.001)]), (8041, [(8041, 32, 0.9998)]), (8044, [(8044, 48, 2.249)]), (8049, [(8049, 24, 1.124)]), (8056, [(8056, 32, 0.9988)]), (8061, [(8061, -40, 3.120)]), (8076, [(8076, 64, 7.981)]), (8089, [(8089, 16, 0.2492)]), (8101, [(8101, -64, 3.984)]), (8104, [(8104, 32, 0.9959)]), (8121, [(8121, -8, 0.1244)]), (8124, [(8124, -32, 1.989)]), (8149, [(8149, 0, 0)]), (8161, [(8161, -32, 0.9924)]), (8169, [(8169, 16, 0.4960)]), (8184, [(8184, 32, 1.982)]), (8209, [(8209, -32, 0.9895)]), (8221, [(8221, 0, 0)]), (8229, [(8229, 0, 0)]), (8236, [(8236, 64, 3.951)]), (8241, [(8241, -32, 1.975)]), (8269, [(8269, -16, 0.2465)]), (8284, [(8284, 32, 0.9850)]), (8296, [(8296, 0, 0)]), (8301, [(8301, -8, 0.1230)]), (8329, [(8329, 0, 0)]), (8341, [(8341, 0, 0)]), (8344, [(8344, -32, 0.9815)]), (8364, [(8364, 32, 1.961)]), (8376, [(8376, 16, 0.4898)]), (8389, [(8389, 48, 2.202)]), (8401, [(8401, -32, 0.9781)]), (8409, [(8409, -8, 0.1222)]), (8421, [(8421, 16, 0.4885)]), (8449, [(8449, -32, 0.9753)]), (8461, [(8461, 0, 0)]), (8476, [(8476, 0, 0)]), (8481, [(8481, 32, 1.947)]), (8509, [(8509, 16, 0.2430)]), (8521, [(8521, 48, 2.185)]), (8524, [(8524, -48, 2.185)]), (8529, [(8529, 24, 1.092)]), (8536, [(8536, 0, 0)]), (8556, [(8556, 32, 1.938)]), (8569, [(8569, 0, 0)]), (8581, [(8581, 16, 0.2420)]), (8584, [(8584, 0, 0)]), (8589, [(8589, -16, 0.4837)]), (8601, [(8601, -32, 1.933)]), (8616, [(8616, 0, 0)]), (8629, [(8629, 16, 0.2413)]), (8641, [(8641, 32, 0.9644)]), (8661, [(8661, -24, 1.084)]), (8689, [(8689, 0, 0)]), (8701, [(8701, 0, 0)]), (8709, [(8709, 40, 3.002)]), (8716, [(8716, 16, 0.2401)]), (8749, [(8749, -32, 0.9585)]), (8761, [(8761, 16, 0.2395)]), (8764, [(8764, -96, 8.619)]), (8769, [(8769, -16, 0.4787)]), (8776, [(8776, 0, 0)]), (8781, [(8781, -8, 0.1196)]), (8796, [(8796, -48, 4.302)]), (8809, [(8809, 16, 0.2388)]), (8821, [(8821, 64, 3.818)]), (8824, [(8824, -80, 5.965)]), (8841, [(8841, -32, 1.907)]), (8844, [(8844, 0, 0)]), (8881, [(8881, 16, 0.2378)]), (8889, [(8889, 8, 0.1189)]), (8904, [(8904, -32, 1.900)]), (8929, [(8929, -16, 0.2372)]), (8941, [(8941, 32, 0.9481)]), (8949, [(8949, 0, 0)]), (8956, [(8956, -16, 0.2368)]), (8961, [(8961, 16, 0.4735)]), (8989, [(8989, 0, 0)]), (9001, [(9001, -32, 0.9450)]), (9004, [(9004, -80, 5.905)]), (9021, [(9021, 0, 0)]), (9049, [(9049, -16, 0.2356)]), (9061, [(9061, 64, 3.767)]), (9064, [(9064, 32, 0.9417)]), (9069, [(9069, 8, 0.1177)]), (9084, [(9084, 48, 4.233)]), (9096, [(9096, 16, 0.4700)]), (9109, [(9109, 0, 0)]), (9121, [(9121, -80, 5.867)]), (9129, [(9129, 0, 0)]), (9141, [(9141, -48, 4.220)]), (9169, [(9169, -32, 0.9363)]), (9181, [(9181, 0, 0)]), (9201, [(9201, 8, 0.1168)]), (9229, [(9229, 0, 0)]), (9241, [(9241, -16, 0.2332)]), (9244, [(9244, -16, 0.2331)]), (9249, [(9249, 24, 1.049)]), (9256, [(9256, 0, 0)]), (9276, [(9276, 32, 1.862)]), (9289, [(9289, -16, 0.2325)]), (9301, [(9301, 64, 3.718)]), (9304, [(9304, 16, 0.2324)]), (9309, [(9309, -16, 0.4646)]), (9321, [(9321, -16, 0.4643)]), (9336, [(9336, 0, 0)]), (9349, [(9349, 64, 3.709)]), (9361, [(9361, 0, 0)]), (9381, [(9381, -32, 1.851)]), (9384, [(9384, 32, 1.851)]), (9421, [(9421, -48, 2.078)]), (9429, [(9429, -48, 4.155)]), (9436, [(9436, 0, 0)]), (9469, [(9469, 64, 3.685)]), (9481, [(9481, 0, 0)]), (9484, [(9484, 48, 2.071)]), (9489, [(9489, 24, 1.035)]), (9496, [(9496, -48, 2.070)]), (9501, [(9501, -56, 5.634)]), (9516, [(9516, 0, 0)]), (9529, [(9529, 32, 0.9184)]), (9541, [(9541, 32, 0.9178)]), (9544, [(9544, 0, 0)]), (9561, [(9561, -56, 5.616)]), (9564, [(9564, 0, 0)]), (9589, [(9589, -48, 2.060)]), (9601, [(9601, 16, 0.2287)]), (9609, [(9609, -8, 0.1143)]), (9624, [(9624, 16, 0.4569)]), (9649, [(9649, -48, 2.053)]), (9661, [(9661, -32, 0.9121)]), (9669, [(9669, -48, 4.103)]), (9676, [(9676, 0, 0)]), (9681, [(9681, 32, 1.822)]), (9709, [(9709, -64, 3.639)]), (9721, [(9721, 16, 0.2273)]), (9724, [(9724, 0, 0)]), (9736, [(9736, -32, 0.9086)]), (9741, [(9741, 0, 0)]), (9769, [(9769, 0, 0)]), (9781, [(9781, 64, 3.626)]), (9784, [(9784, 16, 0.2266)]), (9789, [(9789, 32, 1.812)]), (9804, [(9804, 0, 0)]), (9816, [(9816, 0, 0)]), (9829, [(9829, 32, 0.9043)]), (9841, [(9841, 0, 0)]), (9861, [(9861, 48, 4.063)]), (9889, [(9889, 0, 0)]), (9901, [(9901, 0, 0)]), (9916, [(9916, 32, 0.9003)]), (9921, [(9921, -8, 0.1125)]), (9949, [(9949, 16, 0.2247)]), (9961, [(9961, 48, 2.021)]), (9964, [(9964, -32, 0.8981)]), (9969, [(9969, -8, 0.1122)]), (9976, [(9976, -64, 3.590)])]]