/* This code can be loaded, or copied and paste using cpaste, into Sage. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. */ P. = PolynomialRing(QQ) g = P([-7, 0, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([28, 14, 2*w]) primes_array = [ [2, 2, w - 3],\ [3, 3, w - 2],\ [3, 3, w + 2],\ [7, 7, w],\ [19, 19, 2*w - 3],\ [19, 19, 2*w + 3],\ [25, 5, 5],\ [29, 29, -w - 6],\ [29, 29, w - 6],\ [31, 31, 4*w + 9],\ [31, 31, -4*w + 9],\ [37, 37, -3*w + 10],\ [37, 37, -6*w + 17],\ [47, 47, -3*w - 4],\ [47, 47, 3*w - 4],\ [53, 53, 2*w - 9],\ [53, 53, 2*w + 9],\ [59, 59, 3*w - 2],\ [59, 59, -3*w - 2],\ [83, 83, -6*w - 13],\ [83, 83, -6*w + 13],\ [103, 103, 4*w - 3],\ [103, 103, -4*w - 3],\ [109, 109, -6*w + 19],\ [109, 109, -6*w - 19],\ [113, 113, -13*w + 36],\ [113, 113, -4*w + 15],\ [121, 11, -11],\ [131, 131, -6*w + 11],\ [131, 131, -6*w - 11],\ [137, 137, -w - 12],\ [137, 137, w - 12],\ [139, 139, -5*w - 6],\ [139, 139, 5*w - 6],\ [149, 149, -5*w + 18],\ [149, 149, -14*w + 39],\ [167, 167, -9*w + 20],\ [167, 167, -9*w - 20],\ [169, 13, -13],\ [193, 193, 3*w - 16],\ [193, 193, -3*w - 16],\ [197, 197, 2*w - 15],\ [197, 197, -2*w - 15],\ [199, 199, -7*w - 12],\ [199, 199, -7*w + 12],\ [223, 223, -8*w + 15],\ [223, 223, -8*w - 15],\ [227, 227, 6*w - 5],\ [227, 227, -6*w - 5],\ [233, 233, -16*w + 45],\ [233, 233, -7*w + 24],\ [251, 251, -6*w - 1],\ [251, 251, 6*w - 1],\ [271, 271, -11*w + 24],\ [271, 271, -11*w - 24],\ [277, 277, -21*w + 58],\ [277, 277, -6*w + 23],\ [281, 281, -8*w + 27],\ [281, 281, -17*w + 48],\ [283, 283, 13*w - 30],\ [283, 283, -14*w + 33],\ [289, 17, -17],\ [307, 307, 7*w - 6],\ [307, 307, -7*w - 6],\ [311, 311, -9*w - 16],\ [311, 311, -9*w + 16],\ [317, 317, -w - 18],\ [317, 317, w - 18],\ [337, 337, -3*w - 20],\ [337, 337, 3*w - 20],\ [367, 367, -8*w - 9],\ [367, 367, 8*w - 9],\ [373, 373, -6*w + 25],\ [373, 373, -27*w + 74],\ [383, 383, -12*w - 25],\ [383, 383, -12*w + 25],\ [389, 389, -19*w + 54],\ [389, 389, -10*w + 33],\ [401, 401, -5*w - 24],\ [401, 401, 5*w - 24],\ [419, 419, -15*w - 34],\ [419, 419, -15*w + 34],\ [421, 421, 3*w - 22],\ [421, 421, -3*w - 22],\ [439, 439, -8*w - 3],\ [439, 439, 8*w - 3],\ [449, 449, -11*w + 36],\ [449, 449, -11*w - 36],\ [457, 457, -9*w + 32],\ [457, 457, -24*w + 67],\ [467, 467, -9*w - 10],\ [467, 467, 9*w - 10],\ [479, 479, -12*w + 23],\ [479, 479, -12*w - 23],\ [503, 503, 9*w - 8],\ [503, 503, -9*w - 8],\ [523, 523, -11*w + 18],\ [523, 523, -11*w - 18],\ [529, 23, -23],\ [541, 541, -15*w + 46],\ [541, 541, -15*w - 46],\ [557, 557, 7*w + 30],\ [557, 557, 7*w - 30],\ [563, 563, 9*w - 2],\ [563, 563, -9*w - 2],\ [569, 569, -w - 24],\ [569, 569, w - 24],\ [587, 587, -18*w + 41],\ [587, 587, -18*w - 41],\ [607, 607, -13*w - 24],\ [607, 607, -13*w + 24],\ [613, 613, -3*w - 26],\ [613, 613, 3*w - 26],\ [617, 617, -4*w - 27],\ [617, 617, 4*w - 27],\ [619, 619, 10*w - 9],\ [619, 619, -10*w - 9],\ [641, 641, -8*w + 33],\ [641, 641, -35*w + 96],\ [643, 643, -14*w + 27],\ [643, 643, -14*w - 27],\ [647, 647, -12*w + 19],\ [647, 647, -12*w - 19],\ [653, 653, -14*w + 45],\ [653, 653, -14*w - 45],\ [673, 673, -12*w + 41],\ [673, 673, -27*w + 76],\ [691, 691, 10*w - 3],\ [691, 691, -10*w - 3],\ [701, 701, 2*w - 27],\ [701, 701, -2*w - 27],\ [709, 709, 6*w - 31],\ [709, 709, -6*w - 31],\ [719, 719, -12*w - 17],\ [719, 719, 12*w - 17],\ [727, 727, -17*w + 36],\ [727, 727, -17*w - 36],\ [757, 757, -18*w + 55],\ [757, 757, -18*w - 55],\ [787, 787, -22*w + 51],\ [787, 787, -22*w - 51],\ [809, 809, -16*w - 51],\ [809, 809, -16*w + 51],\ [811, 811, -11*w - 6],\ [811, 811, 11*w - 6],\ [821, 821, -37*w + 102],\ [821, 821, -10*w + 39],\ [839, 839, -12*w - 13],\ [839, 839, 12*w - 13],\ [859, 859, 13*w - 18],\ [859, 859, -13*w - 18],\ [877, 877, 9*w + 38],\ [877, 877, 9*w - 38],\ [887, 887, 12*w - 11],\ [887, 887, -12*w - 11],\ [953, 953, 7*w - 36],\ [953, 953, -7*w - 36],\ [971, 971, -21*w + 46],\ [971, 971, -21*w - 46],\ [977, 977, 4*w - 33],\ [977, 977, -4*w - 33],\ [983, 983, -12*w - 5],\ [983, 983, 12*w - 5],\ [1009, 1009, -21*w + 64],\ [1009, 1009, -21*w - 64],\ [1033, 1033, 9*w + 40],\ [1033, 1033, 9*w - 40],\ [1039, 1039, 13*w - 12],\ [1039, 1039, -13*w - 12],\ [1061, 1061, 2*w - 33],\ [1061, 1061, -2*w - 33],\ [1063, 1063, -16*w - 27],\ [1063, 1063, -16*w + 27],\ [1091, 1091, 15*w - 22],\ [1091, 1091, -15*w - 22],\ [1093, 1093, 3*w - 34],\ [1093, 1093, -3*w - 34],\ [1117, 1117, 6*w - 37],\ [1117, 1117, -6*w - 37],\ [1123, 1123, -17*w - 30],\ [1123, 1123, -17*w + 30],\ [1129, 1129, -15*w - 52],\ [1129, 1129, 15*w - 52],\ [1151, 1151, -21*w + 44],\ [1151, 1151, -21*w - 44],\ [1201, 1201, -45*w + 124],\ [1201, 1201, -12*w + 47],\ [1213, 1213, -18*w - 59],\ [1213, 1213, -18*w + 59],\ [1223, 1223, -24*w - 53],\ [1223, 1223, -24*w + 53],\ [1229, 1229, -41*w + 114],\ [1229, 1229, -14*w + 51],\ [1231, 1231, -19*w - 36],\ [1231, 1231, -19*w + 36],\ [1259, 1259, -27*w + 62],\ [1259, 1259, -27*w - 62],\ [1279, 1279, -20*w + 39],\ [1279, 1279, -20*w - 39],\ [1289, 1289, -w - 36],\ [1289, 1289, w - 36],\ [1291, 1291, 14*w - 9],\ [1291, 1291, -14*w - 9],\ [1297, 1297, -24*w + 73],\ [1297, 1297, -24*w - 73],\ [1307, 1307, -18*w - 31],\ [1307, 1307, -18*w + 31],\ [1319, 1319, -15*w - 16],\ [1319, 1319, 15*w - 16],\ [1373, 1373, -22*w - 69],\ [1373, 1373, -22*w + 69],\ [1381, 1381, -3*w - 38],\ [1381, 1381, 3*w - 38],\ [1399, 1399, -23*w + 48],\ [1399, 1399, -23*w - 48],\ [1409, 1409, -4*w - 39],\ [1409, 1409, 4*w - 39],\ [1427, 1427, -18*w - 29],\ [1427, 1427, -18*w + 29],\ [1429, 1429, -6*w - 41],\ [1429, 1429, 6*w - 41],\ [1447, 1447, -17*w - 24],\ [1447, 1447, 17*w - 24],\ [1453, 1453, -39*w + 110],\ [1453, 1453, -18*w + 61],\ [1459, 1459, -25*w + 54],\ [1459, 1459, -25*w - 54],\ [1481, 1481, -23*w + 72],\ [1481, 1481, -23*w - 72],\ [1483, 1483, -26*w + 57],\ [1483, 1483, -26*w - 57],\ [1487, 1487, -21*w - 40],\ [1487, 1487, -21*w + 40],\ [1493, 1493, 2*w - 39],\ [1493, 1493, -2*w - 39],\ [1511, 1511, -15*w - 8],\ [1511, 1511, 15*w - 8],\ [1531, 1531, -29*w - 66],\ [1531, 1531, -29*w + 66],\ [1543, 1543, -31*w + 72],\ [1543, 1543, -31*w - 72],\ [1549, 1549, 9*w - 46],\ [1549, 1549, -9*w - 46],\ [1559, 1559, -15*w - 4],\ [1559, 1559, 15*w - 4],\ [1567, 1567, 16*w - 15],\ [1567, 1567, -16*w - 15],\ [1571, 1571, 15*w - 2],\ [1571, 1571, -15*w - 2],\ [1597, 1597, 6*w - 43],\ [1597, 1597, -6*w - 43],\ [1621, 1621, -27*w + 82],\ [1621, 1621, -27*w - 82],\ [1627, 1627, -19*w - 30],\ [1627, 1627, -19*w + 30],\ [1681, 41, -41],\ [1699, 1699, -17*w - 18],\ [1699, 1699, 17*w - 18],\ [1709, 1709, -25*w - 78],\ [1709, 1709, -25*w + 78],\ [1733, 1733, -58*w + 159],\ [1733, 1733, -13*w + 54],\ [1783, 1783, 16*w - 3],\ [1783, 1783, -16*w - 3],\ [1789, 1789, -15*w + 58],\ [1789, 1789, -54*w + 149],\ [1801, 1801, 12*w - 53],\ [1801, 1801, 12*w + 53],\ [1811, 1811, -30*w - 67],\ [1811, 1811, -30*w + 67],\ [1823, 1823, -24*w + 47],\ [1823, 1823, -24*w - 47],\ [1847, 1847, -33*w - 76],\ [1847, 1847, -33*w + 76],\ [1849, 43, -43],\ [1867, 1867, -22*w + 39],\ [1867, 1867, -22*w - 39],\ [1873, 1873, -3*w - 44],\ [1873, 1873, 3*w - 44],\ [1877, 1877, -14*w + 57],\ [1877, 1877, -59*w + 162],\ [1879, 1879, 17*w - 12],\ [1879, 1879, -17*w - 12],\ [1901, 1901, 10*w - 51],\ [1901, 1901, -10*w - 51],\ [1907, 1907, -18*w - 19],\ [1907, 1907, 18*w - 19],\ [1913, 1913, 4*w - 45],\ [1913, 1913, -4*w - 45],\ [1931, 1931, -21*w + 34],\ [1931, 1931, -21*w - 34],\ [1933, 1933, 9*w - 50],\ [1933, 1933, -9*w - 50],\ [1951, 1951, -19*w - 24],\ [1951, 1951, 19*w - 24],\ [1979, 1979, 18*w - 17],\ [1979, 1979, -18*w - 17],\ [1987, 1987, -17*w - 6],\ [1987, 1987, 17*w - 6],\ [1997, 1997, 2*w - 45],\ [1997, 1997, -2*w - 45],\ [2017, 2017, 12*w + 55],\ [2017, 2017, 12*w - 55],\ [2053, 2053, 3*w - 46],\ [2053, 2053, -3*w - 46],\ [2063, 2063, -21*w - 32],\ [2063, 2063, -21*w + 32],\ [2069, 2069, -11*w - 54],\ [2069, 2069, 11*w - 54],\ [2081, 2081, -28*w - 87],\ [2081, 2081, -28*w + 87],\ [2099, 2099, -18*w - 13],\ [2099, 2099, 18*w - 13],\ [2129, 2129, 5*w - 48],\ [2129, 2129, -5*w - 48],\ [2131, 2131, -26*w + 51],\ [2131, 2131, -26*w - 51],\ [2137, 2137, 9*w - 52],\ [2137, 2137, -9*w - 52],\ [2153, 2153, 8*w - 51],\ [2153, 2153, -8*w - 51],\ [2203, 2203, 19*w - 18],\ [2203, 2203, -19*w - 18],\ [2213, 2213, -29*w + 90],\ [2213, 2213, -29*w - 90],\ [2221, 2221, -18*w + 67],\ [2221, 2221, -57*w + 158],\ [2237, 2237, -22*w + 75],\ [2237, 2237, -49*w + 138],\ [2239, 2239, -28*w - 57],\ [2239, 2239, -28*w + 57],\ [2243, 2243, 18*w - 5],\ [2243, 2243, -18*w - 5],\ [2267, 2267, -18*w - 1],\ [2267, 2267, 18*w - 1],\ [2269, 2269, -66*w + 181],\ [2269, 2269, -15*w + 62],\ [2287, 2287, -29*w + 60],\ [2287, 2287, -29*w - 60],\ [2293, 2293, -27*w + 86],\ [2293, 2293, -27*w - 86],\ [2297, 2297, -w - 48],\ [2297, 2297, w - 48],\ [2333, 2333, -17*w + 66],\ [2333, 2333, -62*w + 171],\ [2351, 2351, -24*w + 41],\ [2351, 2351, -24*w - 41],\ [2371, 2371, -31*w - 66],\ [2371, 2371, -31*w + 66],\ [2377, 2377, -33*w + 100],\ [2377, 2377, -33*w - 100],\ [2381, 2381, -50*w + 141],\ [2381, 2381, -23*w + 78],\ [2383, 2383, -19*w - 12],\ [2383, 2383, 19*w - 12],\ [2389, 2389, -21*w + 74],\ [2389, 2389, -54*w + 151],\ [2399, 2399, -27*w - 52],\ [2399, 2399, -27*w + 52],\ [2411, 2411, 21*w - 26],\ [2411, 2411, -21*w - 26],\ [2417, 2417, 13*w - 60],\ [2417, 2417, -13*w - 60],\ [2437, 2437, -3*w - 50],\ [2437, 2437, 3*w - 50],\ [2467, 2467, -34*w - 75],\ [2467, 2467, -34*w + 75],\ [2473, 2473, -12*w - 59],\ [2473, 2473, 12*w - 59],\ [2521, 2521, 15*w - 64],\ [2521, 2521, 15*w + 64],\ [2539, 2539, -38*w - 87],\ [2539, 2539, -38*w + 87],\ [2549, 2549, 10*w - 57],\ [2549, 2549, -10*w - 57],\ [2551, 2551, 40*w - 93],\ [2551, 2551, -41*w + 96],\ [2557, 2557, -6*w - 53],\ [2557, 2557, 6*w - 53],\ [2579, 2579, -30*w - 61],\ [2579, 2579, -30*w + 61],\ [2633, 2633, -32*w + 99],\ [2633, 2633, -32*w - 99],\ [2657, 2657, -64*w + 177],\ [2657, 2657, -19*w + 72],\ [2659, 2659, -22*w - 27],\ [2659, 2659, 22*w - 27],\ [2663, 2663, -24*w + 37],\ [2663, 2663, -24*w - 37],\ [2687, 2687, 21*w - 20],\ [2687, 2687, -21*w - 20],\ [2689, 2689, -60*w + 167],\ [2689, 2689, -21*w + 76],\ [2707, 2707, -26*w - 45],\ [2707, 2707, -26*w + 45],\ [2713, 2713, 12*w - 61],\ [2713, 2713, -12*w - 61],\ [2719, 2719, -20*w - 9],\ [2719, 2719, 20*w - 9],\ [2741, 2741, -5*w - 54],\ [2741, 2741, 5*w - 54],\ [2753, 2753, -11*w - 60],\ [2753, 2753, 11*w - 60],\ [2791, 2791, -20*w - 3],\ [2791, 2791, 20*w - 3],\ [2797, 2797, -9*w - 58],\ [2797, 2797, 9*w - 58],\ [2801, 2801, 8*w - 57],\ [2801, 2801, -8*w - 57],\ [2803, 2803, -23*w - 30],\ [2803, 2803, 23*w - 30],\ [2819, 2819, -30*w + 59],\ [2819, 2819, -30*w - 59],\ [2837, 2837, -26*w + 87],\ [2837, 2837, -53*w + 150],\ [2857, 2857, 24*w - 83],\ [2857, 2857, -24*w - 83],\ [2887, 2887, -28*w - 51],\ [2887, 2887, -28*w + 51],\ [2903, 2903, -39*w - 88],\ [2903, 2903, -39*w + 88],\ [2909, 2909, -w - 54],\ [2909, 2909, w - 54],\ [2939, 2939, -42*w - 97],\ [2939, 2939, -42*w + 97],\ [2969, 2969, 16*w + 69],\ [2969, 2969, 16*w - 69],\ [2971, 2971, -29*w - 54],\ [2971, 2971, -29*w + 54],\ [2999, 2999, -33*w + 68],\ [2999, 2999, -33*w - 68],\ [3023, 3023, -21*w - 8],\ [3023, 3023, 21*w - 8],\ [3049, 3049, 15*w - 68],\ [3049, 3049, 15*w + 68],\ [3061, 3061, -18*w + 73],\ [3061, 3061, -75*w + 206],\ [3079, 3079, 25*w - 36],\ [3079, 3079, -25*w - 36],\ [3083, 3083, 21*w - 2],\ [3083, 3083, -21*w - 2],\ [3089, 3089, -35*w + 108],\ [3089, 3089, -35*w - 108],\ [3109, 3109, -30*w + 97],\ [3109, 3109, -30*w - 97],\ [3137, 3137, 4*w - 57],\ [3137, 3137, -4*w - 57],\ [3163, 3163, -22*w - 15],\ [3163, 3163, 22*w - 15],\ [3167, 3167, -27*w - 44],\ [3167, 3167, -27*w + 44],\ [3191, 3191, -24*w - 29],\ [3191, 3191, 24*w - 29],\ [3217, 3217, 12*w - 65],\ [3217, 3217, -12*w - 65],\ [3221, 3221, 2*w - 57],\ [3221, 3221, -2*w - 57],\ [3229, 3229, -6*w - 59],\ [3229, 3229, 6*w - 59],\ [3251, 3251, -39*w - 86],\ [3251, 3251, -39*w + 86],\ [3257, 3257, 7*w - 60],\ [3257, 3257, -7*w - 60],\ [3301, 3301, 3*w - 58],\ [3301, 3301, -3*w - 58],\ [3307, 3307, -22*w - 9],\ [3307, 3307, 22*w - 9],\ [3313, 3313, -21*w + 80],\ [3313, 3313, -72*w + 199],\ [3323, 3323, -42*w + 95],\ [3323, 3323, -42*w - 95],\ [3329, 3329, -29*w + 96],\ [3329, 3329, -56*w + 159],\ [3331, 3331, -34*w - 69],\ [3331, 3331, -34*w + 69],\ [3359, 3359, -45*w + 104],\ [3359, 3359, -45*w - 104],\ [3361, 3361, -27*w + 92],\ [3361, 3361, -60*w + 169],\ [3389, 3389, -14*w - 69],\ [3389, 3389, 14*w - 69],\ [3391, 3391, -35*w + 72],\ [3391, 3391, -35*w - 72],\ [3407, 3407, -24*w - 25],\ [3407, 3407, 24*w - 25],\ [3413, 3413, -37*w - 114],\ [3413, 3413, -37*w + 114],\ [3463, 3463, -28*w - 45],\ [3463, 3463, -28*w + 45],\ [3469, 3469, 6*w - 61],\ [3469, 3469, -6*w - 61],\ [3491, 3491, -30*w + 53],\ [3491, 3491, -30*w - 53],\ [3499, 3499, -37*w + 78],\ [3499, 3499, -37*w - 78],\ [3527, 3527, -33*w - 64],\ [3527, 3527, -33*w + 64],\ [3529, 3529, 9*w - 64],\ [3529, 3529, -9*w - 64],\ [3547, 3547, -38*w + 81],\ [3547, 3547, -38*w - 81],\ [3557, 3557, -82*w + 225],\ [3557, 3557, -19*w + 78],\ [3559, 3559, -23*w - 12],\ [3559, 3559, 23*w - 12],\ [3581, 3581, -38*w + 117],\ [3581, 3581, -38*w - 117],\ [3583, 3583, -29*w + 48],\ [3583, 3583, -29*w - 48],\ [3593, 3593, -w - 60],\ [3593, 3593, w - 60],\ [3613, 3613, -33*w - 106],\ [3613, 3613, -33*w + 106],\ [3631, 3631, -40*w + 87],\ [3631, 3631, -40*w - 87],\ [3637, 3637, -21*w + 82],\ [3637, 3637, -78*w + 215],\ [3643, 3643, 26*w - 33],\ [3643, 3643, -26*w - 33],\ [3659, 3659, -27*w - 38],\ [3659, 3659, 27*w - 38],\ [3671, 3671, 24*w - 19],\ [3671, 3671, -24*w - 19],\ [3677, 3677, -31*w + 102],\ [3677, 3677, -31*w - 102],\ [3697, 3697, -36*w - 113],\ [3697, 3697, -36*w + 113],\ [3721, 61, -61],\ [3727, 3727, -43*w - 96],\ [3727, 3727, -43*w + 96],\ [3733, 3733, -27*w - 94],\ [3733, 3733, 27*w - 94],\ [3761, 3761, -20*w + 81],\ [3761, 3761, -83*w + 228],\ [3779, 3779, -33*w - 62],\ [3779, 3779, -33*w + 62],\ [3833, 3833, 16*w - 75],\ [3833, 3833, -16*w - 75],\ [3863, 3863, 24*w - 13],\ [3863, 3863, -24*w - 13],\ [3889, 3889, -75*w + 208],\ [3889, 3889, -24*w + 89],\ [3911, 3911, -24*w - 11],\ [3911, 3911, 24*w - 11],\ [3917, 3917, -26*w + 93],\ [3917, 3917, -71*w + 198],\ [3919, 3919, -32*w - 57],\ [3919, 3919, -32*w + 57],\ [3923, 3923, -39*w - 82],\ [3923, 3923, -39*w + 82],\ [3929, 3929, -40*w - 123],\ [3929, 3929, -40*w + 123],\ [3947, 3947, -27*w - 34],\ [3947, 3947, 27*w - 34],\ [3967, 3967, 28*w - 39],\ [3967, 3967, -28*w - 39],\ [4001, 4001, 13*w - 72],\ [4001, 4001, -13*w - 72],\ [4003, 4003, -26*w - 27],\ [4003, 4003, 26*w - 27],\ [4007, 4007, -24*w - 5],\ [4007, 4007, 24*w - 5],\ [4013, 4013, -7*w - 66],\ [4013, 4013, 7*w - 66],\ [4051, 4051, -25*w - 18],\ [4051, 4051, 25*w - 18],\ [4057, 4057, 9*w - 68],\ [4057, 4057, -9*w - 68],\ [4079, 4079, -27*w - 32],\ [4079, 4079, 27*w - 32],\ [4091, 4091, -30*w + 47],\ [4091, 4091, -30*w - 47],\ [4153, 4153, -36*w - 115],\ [4153, 4153, -36*w + 115],\ [4201, 4201, 15*w - 76],\ [4201, 4201, -15*w - 76],\ [4219, 4219, -35*w + 66],\ [4219, 4219, -35*w - 66],\ [4229, 4229, -34*w - 111],\ [4229, 4229, -34*w + 111],\ [4231, 4231, 25*w - 12],\ [4231, 4231, -25*w - 12],\ [4253, 4253, 14*w - 75],\ [4253, 4253, -14*w - 75],\ [4259, 4259, -33*w - 58],\ [4259, 4259, -33*w + 58],\ [4283, 4283, -51*w - 118],\ [4283, 4283, -51*w + 118],\ [4337, 4337, 11*w - 72],\ [4337, 4337, -11*w - 72],\ [4339, 4339, 25*w - 6],\ [4339, 4339, -25*w - 6],\ [4349, 4349, -w - 66],\ [4349, 4349, w - 66],\ [4397, 4397, -23*w + 90],\ [4397, 4397, -86*w + 237],\ [4421, 4421, -35*w + 114],\ [4421, 4421, -35*w - 114],\ [4423, 4423, -31*w - 48],\ [4423, 4423, -31*w + 48],\ [4451, 4451, -30*w - 43],\ [4451, 4451, 30*w - 43],\ [4481, 4481, -43*w - 132],\ [4481, 4481, -43*w + 132],\ [4483, 4483, -38*w + 75],\ [4483, 4483, -38*w - 75],\ [4489, 67, -67],\ [4507, 4507, -26*w - 15],\ [4507, 4507, 26*w - 15],\ [4517, 4517, -29*w + 102],\ [4517, 4517, -74*w + 207],\ [4561, 4561, -3*w - 68],\ [4561, 4561, 3*w - 68],\ [4567, 4567, -32*w + 51],\ [4567, 4567, -32*w - 51],\ [4583, 4583, -36*w - 67],\ [4583, 4583, -36*w + 67],\ [4591, 4591, 29*w - 36],\ [4591, 4591, -29*w - 36],\ [4621, 4621, 18*w - 83],\ [4621, 4621, 18*w + 83],\ [4639, 4639, -40*w - 81],\ [4639, 4639, -40*w + 81],\ [4649, 4649, 4*w - 69],\ [4649, 4649, -4*w - 69],\ [4651, 4651, -26*w - 9],\ [4651, 4651, 26*w - 9],\ [4657, 4657, -96*w + 263],\ [4657, 4657, -21*w + 88],\ [4673, 4673, -44*w + 135],\ [4673, 4673, -44*w - 135],\ [4679, 4679, -48*w + 107],\ [4679, 4679, -48*w - 107],\ [4703, 4703, 27*w - 20],\ [4703, 4703, -27*w - 20],\ [4723, 4723, -26*w - 3],\ [4723, 4723, 26*w - 3],\ [4729, 4729, -39*w - 124],\ [4729, 4729, -39*w + 124],\ [4733, 4733, 2*w - 69],\ [4733, 4733, -2*w - 69],\ [4751, 4751, -51*w - 116],\ [4751, 4751, -51*w + 116],\ [4759, 4759, 28*w - 27],\ [4759, 4759, -28*w - 27],\ [4787, 4787, -54*w + 125],\ [4787, 4787, -54*w - 125],\ [4789, 4789, -6*w - 71],\ [4789, 4789, 6*w - 71],\ [4813, 4813, -42*w + 131],\ [4813, 4813, -42*w - 131],\ [4817, 4817, -37*w - 120],\ [4817, 4817, -37*w + 120],\ [4871, 4871, -39*w - 76],\ [4871, 4871, -39*w + 76],\ [4903, 4903, -44*w - 93],\ [4903, 4903, -44*w + 93],\ [4909, 4909, -9*w - 74],\ [4909, 4909, 9*w - 74],\ [4919, 4919, -33*w - 52],\ [4919, 4919, -33*w + 52],\ [4931, 4931, -30*w - 37],\ [4931, 4931, 30*w - 37],\ [4937, 4937, -31*w - 108],\ [4937, 4937, 31*w - 108],\ [4957, 4957, 18*w - 85],\ [4957, 4957, -18*w - 85],\ [4987, 4987, -29*w - 30],\ [4987, 4987, 29*w - 30],\ [4993, 4993, -93*w + 256],\ [4993, 4993, -24*w + 95],\ [5003, 5003, 27*w - 10],\ [5003, 5003, -27*w - 10],\ [5009, 5009, -5*w - 72],\ [5009, 5009, 5*w - 72],\ [5011, 5011, -46*w + 99],\ [5011, 5011, -46*w - 99],\ [5021, 5021, -38*w + 123],\ [5021, 5021, -38*w - 123],\ [5039, 5039, 27*w - 8],\ [5039, 5039, -27*w - 8],\ [5041, 71, -71],\ [5059, 5059, -47*w - 102],\ [5059, 5059, -47*w + 102],\ [5077, 5077, 6*w - 73],\ [5077, 5077, -6*w - 73],\ [5087, 5087, -27*w - 4],\ [5087, 5087, 27*w - 4],\ [5099, 5099, 27*w - 2],\ [5099, 5099, -27*w - 2],\ [5153, 5153, 32*w - 111],\ [5153, 5153, -32*w - 111],\ [5171, 5171, -39*w + 74],\ [5171, 5171, -39*w - 74],\ [5179, 5179, -50*w + 111],\ [5179, 5179, -50*w - 111],\ [5189, 5189, -14*w - 81],\ [5189, 5189, 14*w - 81],\ [5209, 5209, -9*w - 76],\ [5209, 5209, 9*w - 76],\ [5227, 5227, -37*w + 66],\ [5227, 5227, -37*w - 66],\ [5233, 5233, -12*w - 79],\ [5233, 5233, 12*w - 79],\ [5237, 5237, 11*w - 78],\ [5237, 5237, -11*w - 78],\ [5261, 5261, -22*w + 93],\ [5261, 5261, -103*w + 282],\ [5273, 5273, -47*w + 144],\ [5273, 5273, -47*w - 144],\ [5323, 5323, 58*w - 135],\ [5323, 5323, -59*w + 138],\ [5329, 73, -73],\ [5347, 5347, -38*w + 69],\ [5347, 5347, -38*w - 69],\ [5351, 5351, -36*w - 61],\ [5351, 5351, -36*w + 61],\ [5407, 5407, 28*w - 9],\ [5407, 5407, -28*w - 9],\ [5413, 5413, -3*w - 74],\ [5413, 5413, 3*w - 74],\ [5431, 5431, 31*w - 36],\ [5431, 5431, -31*w - 36],\ [5441, 5441, -40*w + 129],\ [5441, 5441, -40*w - 129],\ [5479, 5479, 28*w - 3],\ [5479, 5479, -28*w - 3],\ [5507, 5507, 33*w - 46],\ [5507, 5507, -33*w - 46],\ [5519, 5519, -48*w - 103],\ [5519, 5519, -48*w + 103],\ [5563, 5563, 29*w - 18],\ [5563, 5563, -29*w - 18],\ [5569, 5569, -75*w + 212],\ [5569, 5569, -36*w + 121],\ [5573, 5573, -19*w - 90],\ [5573, 5573, 19*w - 90],\ [5581, 5581, -87*w + 242],\ [5581, 5581, -30*w + 109],\ [5591, 5591, -36*w - 59],\ [5591, 5591, -36*w + 59],\ [5647, 5647, 32*w - 39],\ [5647, 5647, -32*w - 39],\ [5653, 5653, -18*w - 89],\ [5653, 5653, 18*w - 89],\ [5657, 5657, -41*w - 132],\ [5657, 5657, -41*w + 132],\ [5659, 5659, -35*w + 54],\ [5659, 5659, -35*w - 54],\ [5683, 5683, -41*w - 78],\ [5683, 5683, -41*w + 78],\ [5693, 5693, -49*w - 150],\ [5693, 5693, -49*w + 150],\ [5711, 5711, -45*w + 92],\ [5711, 5711, -45*w - 92],\ [5737, 5737, -39*w - 128],\ [5737, 5737, -39*w + 128],\ [5741, 5741, 7*w - 78],\ [5741, 5741, -7*w - 78],\ [5743, 5743, 29*w - 12],\ [5743, 5743, -29*w - 12],\ [5749, 5749, 21*w + 94],\ [5749, 5749, 21*w - 94],\ [5821, 5821, -15*w - 86],\ [5821, 5821, 15*w - 86],\ [5827, 5827, 31*w - 30],\ [5827, 5827, -31*w - 30],\ [5843, 5843, -57*w - 130],\ [5843, 5843, -57*w + 130],\ [5849, 5849, -20*w - 93],\ [5849, 5849, 20*w - 93],\ [5851, 5851, -29*w - 6],\ [5851, 5851, 29*w - 6],\ [5861, 5861, 10*w - 81],\ [5861, 5861, -10*w - 81],\ [5879, 5879, -60*w - 139],\ [5879, 5879, -60*w + 139],\ [5881, 5881, -12*w - 83],\ [5881, 5881, 12*w - 83],\ [5927, 5927, -48*w + 101],\ [5927, 5927, -48*w - 101],\ [5939, 5939, 30*w - 19],\ [5939, 5939, -30*w - 19],\ [6011, 6011, 30*w - 17],\ [6011, 6011, -30*w - 17],\ [6029, 6029, -106*w + 291],\ [6029, 6029, -25*w + 102],\ [6047, 6047, -36*w + 55],\ [6047, 6047, -36*w - 55],\ [6067, 6067, 34*w - 45],\ [6067, 6067, -34*w - 45],\ [6073, 6073, -48*w - 149],\ [6073, 6073, -48*w + 149],\ [6079, 6079, -32*w - 33],\ [6079, 6079, 32*w - 33],\ [6101, 6101, -43*w - 138],\ [6101, 6101, -43*w + 138],\ [6113, 6113, 8*w - 81],\ [6113, 6113, -8*w - 81],\ [6131, 6131, -30*w - 13],\ [6131, 6131, 30*w - 13],\ [6133, 6133, -27*w + 106],\ [6133, 6133, -102*w + 281],\ [6151, 6151, 31*w - 24],\ [6151, 6151, -31*w - 24],\ [6163, 6163, -46*w - 93],\ [6163, 6163, -46*w + 93],\ [6197, 6197, 14*w - 87],\ [6197, 6197, -14*w - 87],\ [6217, 6217, 12*w - 85],\ [6217, 6217, -12*w - 85],\ [6241, 79, -79],\ [6247, 6247, -47*w + 96],\ [6247, 6247, -47*w - 96],\ [6263, 6263, -36*w - 53],\ [6263, 6263, 36*w - 53],\ [6269, 6269, -31*w + 114],\ [6269, 6269, -94*w + 261],\ [6271, 6271, 35*w - 48],\ [6271, 6271, -35*w - 48],\ [6299, 6299, -30*w - 1],\ [6299, 6299, 30*w - 1],\ [6301, 6301, -33*w + 118],\ [6301, 6301, -90*w + 251],\ [6329, 6329, -44*w + 141],\ [6329, 6329, -44*w - 141],\ [6337, 6337, -3*w - 80],\ [6337, 6337, 3*w - 80],\ [6353, 6353, -52*w - 159],\ [6353, 6353, -52*w + 159],\ [6359, 6359, -57*w + 128],\ [6359, 6359, -57*w - 128],\ [6421, 6421, -42*w - 137],\ [6421, 6421, -42*w + 137],\ [6449, 6449, 4*w - 81],\ [6449, 6449, -4*w - 81],\ [6469, 6469, -99*w + 274],\ [6469, 6469, -30*w + 113],\ [6521, 6521, -95*w + 264],\ [6521, 6521, -32*w + 117],\ [6551, 6551, -39*w + 64],\ [6551, 6551, -39*w - 64],\ [6553, 6553, 36*w - 125],\ [6553, 6553, -36*w - 125],\ [6571, 6571, -34*w - 39],\ [6571, 6571, 34*w - 39],\ [6577, 6577, 24*w - 103],\ [6577, 6577, 24*w + 103],\ [6581, 6581, -53*w + 162],\ [6581, 6581, -53*w - 162],\ [6599, 6599, 33*w - 32],\ [6599, 6599, -33*w - 32],\ [6607, 6607, -52*w - 111],\ [6607, 6607, -52*w + 111],\ [6637, 6637, -6*w - 83],\ [6637, 6637, 6*w - 83],\ [6661, 6661, 3*w - 82],\ [6661, 6661, -3*w - 82],\ [6673, 6673, -48*w + 151],\ [6673, 6673, -48*w - 151],\ [6689, 6689, 19*w - 96],\ [6689, 6689, -19*w - 96],\ [6691, 6691, 31*w - 6],\ [6691, 6691, -31*w - 6],\ [6701, 6701, 23*w - 102],\ [6701, 6701, 23*w + 102],\ [6719, 6719, -48*w - 97],\ [6719, 6719, -48*w + 97],\ [6779, 6779, -45*w - 86],\ [6779, 6779, -45*w + 86],\ [6803, 6803, -39*w - 62],\ [6803, 6803, -39*w + 62],\ [6823, 6823, -56*w + 123],\ [6823, 6823, -56*w - 123],\ [6829, 6829, 9*w - 86],\ [6829, 6829, -9*w - 86],\ [6833, 6833, -109*w + 300],\ [6833, 6833, -28*w + 111],\ [6841, 6841, -57*w + 172],\ [6841, 6841, -57*w - 172],\ [6857, 6857, 16*w - 93],\ [6857, 6857, -16*w - 93],\ [6863, 6863, 36*w - 47],\ [6863, 6863, -36*w - 47],\ [6869, 6869, 10*w - 87],\ [6869, 6869, -10*w - 87],\ [6907, 6907, -58*w - 129],\ [6907, 6907, -58*w + 129],\ [6917, 6917, -13*w - 90],\ [6917, 6917, 13*w - 90],\ [6947, 6947, -33*w - 26],\ [6947, 6947, 33*w - 26],\ [6971, 6971, -51*w - 106],\ [6971, 6971, -51*w + 106],\ [6991, 6991, -44*w + 81],\ [6991, 6991, -44*w - 81],\ [6997, 6997, -114*w + 313],\ [6997, 6997, -27*w + 110],\ [7001, 7001, -20*w - 99],\ [7001, 7001, 20*w - 99],\ [7019, 7019, -42*w - 73],\ [7019, 7019, -42*w + 73],\ [7027, 7027, -62*w - 141],\ [7027, 7027, -62*w + 141],\ [7057, 7057, -93*w + 260],\ [7057, 7057, -36*w + 127],\ [7103, 7103, -48*w + 95],\ [7103, 7103, -48*w - 95],\ [7109, 7109, -29*w + 114],\ [7109, 7109, -110*w + 303],\ [7121, 7121, -8*w - 87],\ [7121, 7121, 8*w - 87],\ [7159, 7159, -32*w - 3],\ [7159, 7159, 32*w - 3],\ [7177, 7177, 9*w - 88],\ [7177, 7177, -9*w - 88],\ [7187, 7187, -54*w + 115],\ [7187, 7187, -54*w - 115],\ [7193, 7193, -17*w - 96],\ [7193, 7193, 17*w - 96],\ [7243, 7243, -46*w - 87],\ [7243, 7243, -46*w + 87],\ [7253, 7253, -11*w - 90],\ [7253, 7253, 11*w - 90],\ [7283, 7283, 39*w - 58],\ [7283, 7283, -39*w - 58],\ [7307, 7307, -42*w + 71],\ [7307, 7307, -42*w - 71],\ [7309, 7309, -39*w - 134],\ [7309, 7309, 39*w - 134],\ [7333, 7333, -3*w - 86],\ [7333, 7333, 3*w - 86],\ [7393, 7393, -51*w + 160],\ [7393, 7393, -51*w - 160],\ [7411, 7411, -41*w + 66],\ [7411, 7411, -41*w - 66],\ [7417, 7417, 24*w - 107],\ [7417, 7417, 24*w + 107],\ [7451, 7451, -45*w + 82],\ [7451, 7451, -45*w - 82],\ [7457, 7457, -4*w - 87],\ [7457, 7457, 4*w - 87],\ [7477, 7477, -54*w + 167],\ [7477, 7477, -54*w - 167],\ [7507, 7507, -38*w - 51],\ [7507, 7507, 38*w - 51],\ [7523, 7523, -33*w - 10],\ [7523, 7523, 33*w - 10],\ [7529, 7529, -49*w + 156],\ [7529, 7529, -49*w - 156],\ [7541, 7541, 2*w - 87],\ [7541, 7541, -2*w - 87],\ [7559, 7559, 33*w - 8],\ [7559, 7559, -33*w - 8],\ [7561, 7561, -60*w + 181],\ [7561, 7561, -60*w - 181],\ [7589, 7589, 26*w + 111],\ [7589, 7589, 26*w - 111],\ [7591, 7591, -49*w - 96],\ [7591, 7591, -49*w + 96],\ [7607, 7607, 33*w - 4],\ [7607, 7607, -33*w - 4],\ [7643, 7643, -54*w - 113],\ [7643, 7643, -54*w + 113],\ [7669, 7669, -6*w - 89],\ [7669, 7669, 6*w - 89],\ [7673, 7673, -112*w + 309],\ [7673, 7673, -31*w + 120],\ [7681, 7681, 3*w - 88],\ [7681, 7681, -3*w - 88],\ [7691, 7691, -66*w - 151],\ [7691, 7691, -66*w + 151],\ [7699, 7699, -50*w + 99],\ [7699, 7699, -50*w - 99],\ [7703, 7703, -36*w - 37],\ [7703, 7703, 36*w - 37],\ [7727, 7727, -69*w - 160],\ [7727, 7727, -69*w + 160],\ [7753, 7753, -33*w + 124],\ [7753, 7753, -108*w + 299],\ [7757, 7757, -7*w - 90],\ [7757, 7757, 7*w - 90],\ [7759, 7759, -43*w - 72],\ [7759, 7759, -43*w + 72],\ [7793, 7793, -88*w + 249],\ [7793, 7793, -43*w + 144],\ [7841, 7841, -100*w + 279],\ [7841, 7841, -37*w + 132],\ [7867, 7867, 34*w - 15],\ [7867, 7867, -34*w - 15],\ [7877, 7877, -19*w - 102],\ [7877, 7877, 19*w - 102],\ [7921, 89, -89],\ [7927, 7927, -44*w + 75],\ [7927, 7927, -44*w - 75],\ [7933, 7933, 18*w - 101],\ [7933, 7933, -18*w - 101],\ [7949, 7949, -10*w - 93],\ [7949, 7949, 10*w - 93],\ [7951, 7951, 40*w - 57],\ [7951, 7951, -40*w - 57],\ [8009, 8009, -16*w - 99],\ [8009, 8009, 16*w - 99],\ [8011, 8011, 34*w - 9],\ [8011, 8011, -34*w - 9],\ [8017, 8017, -12*w - 95],\ [8017, 8017, 12*w - 95],\ [8039, 8039, -60*w - 131],\ [8039, 8039, -60*w + 131],\ [8089, 8089, -36*w + 131],\ [8089, 8089, -105*w + 292],\ [8093, 8093, -w - 90],\ [8093, 8093, w - 90],\ [8101, 8101, -42*w + 143],\ [8101, 8101, -93*w + 262],\ [8111, 8111, -36*w - 31],\ [8111, 8111, 36*w - 31],\ [8117, 8117, -101*w + 282],\ [8117, 8117, -38*w + 135],\ [8123, 8123, -42*w - 65],\ [8123, 8123, -42*w + 65],\ [8147, 8147, 39*w - 50],\ [8147, 8147, -39*w - 50],\ [8167, 8167, -41*w - 60],\ [8167, 8167, 41*w - 60],\ [8179, 8179, -55*w - 114],\ [8179, 8179, -55*w + 114],\ [8231, 8231, -36*w - 29],\ [8231, 8231, 36*w - 29],\ [8233, 8233, -57*w + 176],\ [8233, 8233, -57*w - 176],\ [8263, 8263, -56*w + 117],\ [8263, 8263, -56*w - 117],\ [8269, 8269, -9*w - 94],\ [8269, 8269, 9*w - 94],\ [8287, 8287, 37*w - 36],\ [8287, 8287, -37*w - 36],\ [8291, 8291, -66*w + 149],\ [8291, 8291, -66*w - 149],\ [8297, 8297, -52*w - 165],\ [8297, 8297, -52*w + 165],\ [8317, 8317, -63*w + 190],\ [8317, 8317, -63*w - 190],\ [8353, 8353, 27*w + 116],\ [8353, 8353, 27*w - 116],\ [8363, 8363, -69*w + 158],\ [8363, 8363, -69*w - 158],\ [8369, 8369, -11*w - 96],\ [8369, 8369, 11*w - 96],\ [8419, 8419, -58*w - 123],\ [8419, 8419, -58*w + 123],\ [8429, 8429, 14*w - 99],\ [8429, 8429, -14*w - 99],\ [8431, 8431, -35*w - 12],\ [8431, 8431, 35*w - 12],\ [8447, 8447, -36*w - 25],\ [8447, 8447, 36*w - 25],\ [8513, 8513, -128*w + 351],\ [8513, 8513, -29*w + 120],\ [8521, 8521, -48*w - 157],\ [8521, 8521, -48*w + 157],\ [8537, 8537, 4*w - 93],\ [8537, 8537, -4*w - 93],\ [8539, 8539, -35*w - 6],\ [8539, 8539, 35*w - 6],\ [8543, 8543, -36*w - 23],\ [8543, 8543, 36*w - 23],\ [8597, 8597, -91*w + 258],\ [8597, 8597, -46*w + 153],\ [8599, 8599, -40*w - 51],\ [8599, 8599, 40*w - 51],\ [8623, 8623, -61*w + 132],\ [8623, 8623, -61*w - 132],\ [8627, 8627, 42*w - 61],\ [8627, 8627, -42*w - 61],\ [8677, 8677, -42*w - 145],\ [8677, 8677, 42*w - 145],\ [8681, 8681, -103*w + 288],\ [8681, 8681, -40*w + 141],\ [8689, 8689, -51*w + 164],\ [8689, 8689, -51*w - 164],\ [8699, 8699, -45*w - 74],\ [8699, 8699, -45*w + 74],\ [8707, 8707, -49*w - 90],\ [8707, 8707, -49*w + 90],\ [8737, 8737, -24*w - 113],\ [8737, 8737, 24*w - 113],\ [8761, 8761, -33*w + 128],\ [8761, 8761, -120*w + 331],\ [8783, 8783, -36*w - 17],\ [8783, 8783, 36*w - 17],\ [8819, 8819, -57*w + 118],\ [8819, 8819, -57*w - 118],\ [8821, 8821, 27*w + 118],\ [8821, 8821, 27*w - 118],\ [8839, 8839, -65*w - 144],\ [8839, 8839, -65*w + 144],\ [8849, 8849, -35*w + 132],\ [8849, 8849, -116*w + 321],\ [8867, 8867, -42*w - 59],\ [8867, 8867, 42*w - 59],\ [8923, 8923, -67*w - 150],\ [8923, 8923, -67*w + 150],\ [8929, 8929, -45*w + 152],\ [8929, 8929, -96*w + 271],\ [8933, 8933, 22*w - 111],\ [8933, 8933, -22*w - 111],\ [8941, 8941, -57*w - 178],\ [8941, 8941, -57*w + 178],\ [8951, 8951, 36*w - 11],\ [8951, 8951, -36*w - 11],\ [8963, 8963, -54*w + 107],\ [8963, 8963, -54*w - 107],\ [8969, 8969, -41*w + 144],\ [8969, 8969, -104*w + 291],\ [9007, 9007, -37*w - 24],\ [9007, 9007, 37*w - 24],\ [9013, 9013, -21*w - 110],\ [9013, 9013, 21*w - 110],\ [9041, 9041, 5*w - 96],\ [9041, 9041, -5*w - 96],\ [9043, 9043, -71*w - 162],\ [9043, 9043, -71*w + 162],\ [9091, 9091, -74*w - 171],\ [9091, 9091, -74*w + 171],\ [9103, 9103, -76*w + 177],\ [9103, 9103, -76*w - 177],\ [9109, 9109, -66*w + 199],\ [9109, 9109, -66*w - 199],\ [9127, 9127, -52*w + 99],\ [9127, 9127, -52*w - 99],\ [9137, 9137, 19*w - 108],\ [9137, 9137, -19*w - 108],\ [9157, 9157, 6*w - 97],\ [9157, 9157, -6*w - 97],\ [9181, 9181, -18*w - 107],\ [9181, 9181, 18*w - 107],\ [9187, 9187, -46*w + 75],\ [9187, 9187, -46*w - 75],\ [9203, 9203, 39*w - 38],\ [9203, 9203, -39*w - 38],\ [9209, 9209, -w - 96],\ [9209, 9209, w - 96],\ [9221, 9221, 13*w - 102],\ [9221, 9221, -13*w - 102],\ [9239, 9239, -48*w - 83],\ [9239, 9239, -48*w + 83],\ [9241, 9241, -15*w - 104],\ [9241, 9241, 15*w - 104],\ [9277, 9277, -33*w + 130],\ [9277, 9277, -126*w + 347],\ [9293, 9293, -23*w - 114],\ [9293, 9293, 23*w - 114],\ [9323, 9323, -42*w - 55],\ [9323, 9323, 42*w - 55],\ [9343, 9343, 43*w - 60],\ [9343, 9343, -43*w - 60],\ [9349, 9349, -51*w + 166],\ [9349, 9349, -51*w - 166],\ [9371, 9371, -51*w - 94],\ [9371, 9371, -51*w + 94],\ [9377, 9377, -56*w + 177],\ [9377, 9377, -56*w - 177],\ [9409, 97, -97],\ [9433, 9433, 9*w - 100],\ [9433, 9433, -9*w - 100],\ [9437, 9437, -94*w + 267],\ [9437, 9437, -49*w + 162],\ [9439, 9439, 37*w - 12],\ [9439, 9439, -37*w - 12],\ [9461, 9461, -37*w + 138],\ [9461, 9461, -118*w + 327],\ [9463, 9463, -41*w - 48],\ [9463, 9463, 41*w - 48],\ [9467, 9467, -66*w + 145],\ [9467, 9467, -66*w - 145],\ [9473, 9473, -32*w + 129],\ [9473, 9473, -131*w + 360],\ [9491, 9491, 39*w - 34],\ [9491, 9491, -39*w - 34],\ [9511, 9511, -55*w - 108],\ [9511, 9511, -55*w + 108],\ [9521, 9521, -20*w - 111],\ [9521, 9521, 20*w - 111],\ [9539, 9539, 42*w - 53],\ [9539, 9539, -42*w - 53],\ [9547, 9547, 37*w - 6],\ [9547, 9547, -37*w - 6],\ [9551, 9551, -45*w - 68],\ [9551, 9551, 45*w - 68],\ [9601, 9601, -12*w - 103],\ [9601, 9601, 12*w - 103],\ [9613, 9613, 18*w - 109],\ [9613, 9613, -18*w - 109],\ [9623, 9623, -39*w - 32],\ [9623, 9623, 39*w - 32],\ [9629, 9629, -65*w + 198],\ [9629, 9629, -65*w - 198],\ [9631, 9631, -56*w + 111],\ [9631, 9631, -56*w - 111],\ [9661, 9661, 15*w - 106],\ [9661, 9661, -15*w - 106],\ [9679, 9679, 40*w - 39],\ [9679, 9679, -40*w - 39],\ [9689, 9689, -4*w - 99],\ [9689, 9689, 4*w - 99],\ [9697, 9697, -36*w + 137],\ [9697, 9697, -123*w + 340],\ [9719, 9719, -72*w - 163],\ [9719, 9719, -72*w + 163],\ [9743, 9743, -51*w - 92],\ [9743, 9743, -51*w + 92],\ [9769, 9769, -60*w - 187],\ [9769, 9769, -60*w + 187],\ [9781, 9781, 27*w - 122],\ [9781, 9781, 27*w + 122],\ [9791, 9791, -75*w + 172],\ [9791, 9791, -75*w - 172],\ [9803, 9803, -54*w + 103],\ [9803, 9803, -54*w - 103],\ [9829, 9829, -30*w + 127],\ [9829, 9829, -141*w + 386],\ [9857, 9857, 44*w - 153],\ [9857, 9857, -44*w - 153],\ [9859, 9859, -58*w - 117],\ [9859, 9859, -58*w + 117],\ [9883, 9883, 38*w - 15],\ [9883, 9883, -38*w - 15],\ [9887, 9887, -48*w + 79],\ [9887, 9887, -48*w - 79],\ [9931, 9931, -50*w - 87],\ [9931, 9931, -50*w + 87],\ [9941, 9941, -58*w + 183],\ [9941, 9941, -58*w - 183],\ [9949, 9949, -6*w - 101],\ [9949, 9949, 6*w - 101],\ [9967, 9967, -59*w + 120],\ [9967, 9967, -59*w - 120]] primes = [ZF.ideal(I) for I in primes_array] heckePol = x^2 + 2*x - 2 K. = NumberField(heckePol) hecke_eigenvalues_array = [0, -e - 2, e, -1, e - 4, -e - 6, -4, 4*e + 4, -4*e - 4, 4*e + 8, -4*e, -4*e - 8, 4*e, -2*e - 8, 2*e - 4, 4*e - 2, -4*e - 10, -e + 2, e + 4, e - 2, -e - 4, 4*e + 8, -4*e, -4*e - 8, 4*e, 2*e - 4, -2*e - 8, 14, e + 10, -e + 8, -6, -6, 9*e + 10, -9*e - 8, -4*e - 10, 4*e - 2, -6*e, 6*e + 12, 20, -6*e - 4, 6*e + 8, -8*e - 2, 8*e + 14, -8, -8, 6*e + 4, -6*e - 8, -11*e - 8, 11*e + 14, 18, 18, 5*e + 8, -5*e - 2, 6*e - 8, -6*e - 20, 4*e + 18, -4*e + 10, -8*e - 2, 8*e + 14, 9*e - 2, -9*e - 20, 2, 11*e, -11*e - 22, -8*e - 8, 8*e + 8, 12*e + 18, -12*e - 6, -4*e - 20, 4*e - 12, -10*e - 24, 10*e - 4, 4*e + 6, -4*e - 2, -2*e + 16, 2*e + 20, -4*e - 28, 4*e - 20, -12, -12, 3*e - 30, -3*e - 36, 4*e + 18, -4*e + 10, 6*e + 4, -6*e - 8, -16*e - 22, 16*e + 10, 2*e + 4, -2*e, 15*e + 18, -15*e - 12, 4*e + 40, -4*e + 32, 2*e + 20, -2*e + 16, -5*e - 34, 5*e - 24, 2, 8*e - 14, -8*e - 30, -16*e - 10, 16*e + 22, e - 14, -e - 16, -4*e - 4, 4*e + 4, -17*e - 32, 17*e + 2, 12*e - 8, -12*e - 32, -12*e - 40, 12*e - 16, 12, 12, 5*e - 30, -5*e - 40, 20*e + 20, -20*e - 20, -5*e - 40, 5*e - 30, 12*e, -12*e - 24, 4*e + 4, -4*e - 4, 2, 2, -21*e - 32, 21*e + 10, 12*e + 24, -12*e, 12*e + 8, -12*e - 16, 6*e + 36, -6*e + 24, -6*e + 4, 6*e + 16, 12*e + 8, -12*e - 16, -9*e + 10, 9*e + 28, 10*e + 40, -10*e + 20, -3*e - 2, 3*e + 4, -8*e + 22, 8*e + 38, -8*e - 32, 8*e - 16, -9*e - 14, 9*e + 4, 12*e + 20, -12*e - 4, -2*e + 4, 2*e + 8, 8*e - 34, -8*e - 50, -e + 2, e + 4, 8*e - 34, -8*e - 50, -4*e + 8, 4*e + 16, -10*e - 44, 10*e - 24, -8*e + 6, 8*e + 22, 22*e + 32, -22*e - 12, -28*e - 16, 28*e + 40, 12*e + 16, -12*e - 8, -7*e + 38, 7*e + 52, 4*e - 24, -4*e - 32, 12*e + 14, -12*e - 10, 9*e - 20, -9*e - 38, -16*e + 10, 16*e + 42, -24, -24, 20*e + 28, -20*e - 12, -12*e - 4, 12*e + 20, -2*e - 8, 2*e - 4, -24*e - 30, 24*e + 18, -20*e - 16, 20*e + 24, 13*e - 8, -13*e - 34, -32, -32, 14*e + 32, -14*e + 4, 3*e - 2, -3*e - 8, -4*e - 44, 4*e - 36, -27*e - 18, 27*e + 36, 22*e + 16, -22*e - 28, -4*e - 4, 4*e + 4, -12*e - 16, 12*e + 8, -18*e + 16, 18*e + 52, 16*e + 22, -16*e - 10, 17*e + 20, -17*e - 14, -12*e - 28, 12*e - 4, 22*e + 44, -22*e, 20*e + 40, -20*e, 9*e + 64, -9*e + 46, -42, -42, 5*e + 6, -5*e - 4, -18*e - 12, 18*e + 24, 42, 42, 12*e, -12*e - 24, 19*e + 62, -19*e + 24, -14*e - 4, 14*e + 24, -46, -46, 12*e + 24, -12*e, -32*e - 40, 32*e + 24, -19*e + 14, 19*e + 52, 12*e + 14, -12*e - 10, -20*e - 36, 20*e + 4, -17*e - 40, 17*e - 6, 2, -13*e - 12, 13*e + 14, -4*e + 14, 4*e + 22, -28*e - 52, 28*e + 4, -32, -32, 12*e + 50, -12*e + 26, -6*e - 28, 6*e - 16, 11*e - 16, -11*e - 38, 38*e + 32, -38*e - 44, 6*e - 12, -6*e - 24, 14, -15*e - 2, 15*e + 28, 16*e + 54, -16*e + 22, -8*e - 2, 8*e + 14, 2*e + 48, -2*e + 44, -16*e + 26, 16*e + 58, 13*e - 38, -13*e - 64, -16*e - 4, 16*e + 28, 31*e + 64, -31*e + 2, 8*e - 2, -8*e - 18, 10*e + 20, -10*e, -7*e + 20, 7*e + 34, 7*e + 50, -7*e + 36, -4*e - 52, 4*e - 44, 8*e - 2, -8*e - 18, -4*e - 14, 4*e - 6, 10*e - 32, -10*e - 52, -28*e - 16, 28*e + 40, 16*e - 14, -16*e - 46, e + 34, -e + 32, -8*e + 22, 8*e + 38, -9*e - 26, 9*e - 8, -8*e + 6, 8*e + 22, -18*e - 12, 18*e + 24, -23*e - 22, 23*e + 24, 20*e + 56, -20*e + 16, -16*e - 2, 16*e + 30, -28*e - 52, 28*e + 4, -38*e - 16, 38*e + 60, 15*e + 36, -15*e + 6, 9*e + 48, -9*e + 30, -12*e - 4, 12*e + 20, 4*e + 8, -4*e, -28*e - 14, 28*e + 42, -8*e - 68, 8*e - 52, -4*e + 56, 4*e + 64, -38*e - 32, 38*e + 44, -9*e + 46, 9*e + 64, 2, 2, -20*e - 26, 20*e + 14, 12*e - 32, -12*e - 56, -32*e - 42, 32*e + 22, -32*e - 56, 32*e + 8, -27*e - 24, 27*e + 30, 8*e - 10, -8*e - 26, 2, 2, 39*e + 34, -39*e - 44, 12*e + 68, -12*e + 44, 6*e + 32, -6*e + 20, -7*e + 18, 7*e + 32, -20*e - 2, 20*e + 38, 8*e + 48, -8*e + 32, 16*e + 18, -16*e - 14, 23*e + 50, -23*e + 4, -34*e - 28, 34*e + 40, 8*e - 58, -8*e - 74, 9*e - 50, -9*e - 68, -26*e - 20, 26*e + 32, 4*e - 32, -4*e - 40, 12*e - 28, -12*e - 52, 15*e + 70, -15*e + 40, 26, 26, -24*e - 56, 24*e - 8, -4*e - 4, 4*e + 4, -24*e - 54, 24*e - 6, 4*e - 16, -4*e - 24, -34, -34, 2*e + 20, -2*e + 16, e - 52, -e - 54, -13*e + 8, 13*e + 34, 20*e - 16, -20*e - 56, -46, -46, 18*e + 16, -18*e - 20, -10*e + 56, 10*e + 76, 4*e + 4, -4*e - 4, 15*e - 6, -15*e - 36, 24*e - 42, -24*e - 90, -33*e - 62, 33*e + 4, 18*e, -18*e - 36, 10*e + 40, -10*e + 20, 36*e - 4, -36*e - 76, 20*e - 44, -20*e - 84, 12*e - 8, -12*e - 32, -33*e - 54, 33*e + 12, -8*e - 44, 8*e - 28, -4*e - 68, 4*e - 60, 30*e - 12, -30*e - 72, -39*e - 80, 39*e - 2, 46*e + 64, -46*e - 28, -2*e + 40, 2*e + 44, 14*e + 28, -14*e, -16*e + 62, 16*e + 94, 4*e + 12, -4*e + 4, 3*e - 24, -3*e - 30, -34*e - 52, 34*e + 16, 98, 98, -3*e - 32, 3*e - 26, -24*e - 10, 24*e + 38, 49*e + 58, -49*e - 40, -20*e - 44, 20*e - 4, 13*e - 70, -13*e - 96, 30*e, -30*e - 60, -34*e - 68, 34*e, -20*e + 28, 20*e + 68, 4*e + 80, -4*e + 72, 16*e + 64, -16*e + 32, 8*e - 70, -8*e - 86, 6*e - 44, -6*e - 56, -44*e - 24, 44*e + 64, -5*e - 14, 5*e - 4, 27*e + 46, -27*e - 8, 20*e - 40, -20*e - 80, 40*e + 78, -40*e - 2, 27*e + 94, -27*e + 40, -44*e - 50, 44*e + 38, -18*e - 20, 18*e + 16, -12*e - 48, 12*e - 24, 14*e - 24, -14*e - 52, -64*e - 70, 64*e + 58, -12*e - 46, 12*e - 22, -42*e - 32, 42*e + 52, 36*e + 56, -36*e - 16, -27*e - 44, 27*e + 10, -43*e - 46, 43*e + 40, -44*e - 8, 44*e + 80, 20*e + 50, -20*e + 10, 40*e + 54, -40*e - 26, -76, -20*e - 64, 20*e - 24, -4*e + 52, 4*e + 60, 26*e + 8, -26*e - 44, 35*e + 2, -35*e - 68, 24*e + 6, -24*e - 42, -14*e + 40, 14*e + 68, -32*e - 60, 32*e + 4, 54*e + 48, -54*e - 60, 32*e - 10, -32*e - 74, 4*e - 40, -4*e - 48, 9*e - 78, -9*e - 96, -14*e - 20, 14*e + 8, -37*e - 10, 37*e + 64, 30*e + 52, -30*e - 8, 42, 42, -9*e - 98, 9*e - 80, 2*e + 20, -2*e + 16, -12*e + 24, 12*e + 48, -21*e + 28, 21*e + 70, -32*e + 12, 32*e + 76, -18*e, 18*e + 36, -13*e + 32, 13*e + 58, -8*e - 60, 8*e - 44, 36*e + 20, -36*e - 52, -3*e + 28, 3*e + 34, 4*e + 124, -4*e + 116, -18*e + 64, 18*e + 100, -20*e - 68, 20*e - 28, -35*e - 92, 35*e - 22, 11*e + 50, -11*e + 28, -34*e - 16, 34*e + 52, 35*e + 48, -35*e - 22, 36*e - 24, -36*e - 96, -20*e + 64, 20*e + 104, 16*e - 2, -16*e - 34, 38*e - 12, -38*e - 88, -19*e - 76, 19*e - 38, 20*e - 4, -20*e - 44, 9*e - 80, -9*e - 98, -22, 17*e - 48, -17*e - 82, -24*e - 30, 24*e + 18, -48*e - 22, 48*e + 74, 16*e - 16, -16*e - 48, -42*e - 72, 42*e + 12, 6*e - 44, -6*e - 56, -28*e - 20, 28*e + 36, 18*e + 88, -18*e + 52, 42, 42, -11*e - 100, 11*e - 78, -16*e - 98, 16*e - 66, -16*e + 74, 16*e + 106, 30*e - 12, -30*e - 72, 20*e + 56, -20*e + 16, -33*e - 14, 33*e + 52, 98, 98, -20*e + 40, 20*e + 80, 6*e - 72, -6*e - 84, -42*e - 8, 42*e + 76, 51*e + 84, -51*e - 18, -24*e + 38, 24*e + 86, 12*e + 68, -12*e + 44, 18, 18, 42*e + 12, -42*e - 72, -18*e + 40, 18*e + 76, 32*e + 46, -32*e - 18, -18*e - 12, 18*e + 24, 39*e + 24, -39*e - 54, 36*e + 12, -36*e - 60, 16*e + 102, -16*e + 70, 3*e - 44, -3*e - 50, 16*e - 6, -16*e - 38, -47*e - 20, 47*e + 74, 18*e, -18*e - 36, -15*e + 10, 15*e + 40, 12*e + 18, -12*e - 6, -16*e - 64, 16*e - 32, 50, -15*e + 4, 15*e + 34, -36*e - 88, 36*e - 16, -12*e + 48, 12*e + 72, -11*e - 62, 11*e - 40, -56*e - 68, 56*e + 44, 15*e - 6, -15*e - 36, 35*e + 12, -35*e - 58, -8*e - 2, 8*e + 14, -48*e - 52, 48*e + 44, -63*e - 80, 63*e + 46, -42*e - 16, 42*e + 68, 12*e - 78, -12*e - 102, 8*e + 14, -8*e - 2, 30*e + 36, -30*e - 24, 45*e + 22, -45*e - 68, -94, 9*e + 88, -9*e + 70, 18*e + 36, -18*e, 16, 16, 24*e + 2, -24*e - 46, 18*e + 76, -18*e + 40, 36*e + 84, -36*e + 12, 40*e + 8, -40*e - 72, -51*e - 102, 51*e, 12*e + 72, -12*e + 48, 13*e + 26, -13*e, 62*e + 40, -62*e - 84, -4*e - 16, 4*e - 8, -36*e - 58, 36*e + 14, -8*e + 64, 8*e + 80, 28*e + 56, -28*e, 36*e + 56, -36*e - 16, 24*e + 54, -24*e + 6, -3*e + 4, 3*e + 10, 7*e + 44, -7*e + 30, -52*e - 16, 52*e + 88, 4*e + 16, -4*e + 8, 8*e - 14, -8*e - 30, -48*e - 90, 48*e + 6, -18*e - 32, 18*e + 4, -36*e - 64, 36*e + 8, 12*e + 74, -12*e + 50, -21*e + 34, 21*e + 76, -29*e + 4, 29*e + 62, 32*e + 50, -32*e - 14, -23*e + 50, 23*e + 96, 16*e + 118, -16*e + 86, -14*e - 44, 14*e - 16, -60*e - 52, 60*e + 68, -18*e + 48, 18*e + 84, 5*e + 116, -5*e + 106, 73*e + 76, -73*e - 70, 4*e + 142, -4*e + 134, 58*e + 40, -58*e - 76, -51*e - 68, 51*e + 34, 18*e + 44, -18*e + 8, -26*e - 100, 26*e - 48, 12*e + 12, -12*e - 12, -30*e - 72, 30*e - 12, -25*e - 22, 25*e + 28, 122, 122, -16*e - 48, 16*e - 16, 3*e - 20, -3*e - 26, -12*e - 108, 12*e - 84, -32*e + 42, 32*e + 106, 50, -4*e - 48, 4*e - 40, -2*e + 40, 2*e + 44, -56*e - 98, 56*e + 14, -6*e - 56, 6*e - 44, 5*e + 92, -5*e + 82, 28*e - 36, -28*e - 92, 40*e + 94, -40*e + 14, 16*e - 84, -16*e - 116, 84, 84, -8*e - 128, 8*e - 112, 44*e + 82, -44*e - 6, 2*e + 92, -2*e + 88, -44*e - 42, 44*e + 46, 64*e + 58, -64*e - 70, -32*e - 56, 32*e + 8, 40*e - 36, -40*e - 116, -19*e + 72, 19*e + 110, 60*e + 116, -60*e - 4, -16*e - 58, 16*e - 26, -4*e - 88, 4*e - 80, 2*e + 60, -2*e + 56, -28*e - 8, 28*e + 48, -12*e - 124, 12*e - 100, 38*e + 16, -38*e - 60, 32*e + 2, -32*e - 62, 25*e + 20, -25*e - 30, 8*e - 22, -8*e - 38, -60*e - 96, 60*e + 24, -35*e - 56, 35*e + 14, 23*e + 110, -23*e + 64, 12*e + 88, -12*e + 64, -70, -70, 8*e - 130, -8*e - 146, 42*e + 92, -42*e + 8, 16*e + 22, -16*e - 10, -48*e - 48, 48*e + 48, 84*e + 72, -84*e - 96, -59*e - 82, 59*e + 36, 12*e + 84, -12*e + 60, 3*e + 102, -3*e + 96, -3*e + 72, 3*e + 78, 8*e - 96, -8*e - 112, -12*e - 52, 12*e - 28, 16*e - 26, -16*e - 58, -23*e + 10, 23*e + 56, 31*e + 20, -31*e - 42, 80*e + 94, -80*e - 66, 34*e + 76, -34*e + 8, 8*e + 134, -8*e + 118, 48*e - 30, -48*e - 126, 6*e + 28, -6*e + 16, -18*e + 44, 18*e + 80, -15*e - 12, 15*e + 18, 24*e + 132, -24*e + 84, -33*e - 62, 33*e + 4, -36*e + 36, 36*e + 108, 67*e + 82, -67*e - 52, -21*e + 42, 21*e + 84, 68*e + 70, -68*e - 66, -24*e - 94, 24*e - 46, 72*e + 86, -72*e - 58, -3*e + 16, 3*e + 22, 10*e - 24, -10*e - 44, 15*e + 84, -15*e + 54, 8*e + 86, -8*e + 70, 12*e - 40, -12*e - 64, -65*e - 76, 65*e + 54, -11*e - 110, 11*e - 88, -66*e - 120, 66*e + 12, -4*e + 56, 4*e + 64, 72*e + 72, -72*e - 72, 16*e + 18, -16*e - 14, -36*e, 36*e + 72, -18*e + 76, 18*e + 112, 14*e - 52, -14*e - 80, 25*e + 16, -25*e - 34, 4*e + 144, -4*e + 136, -2*e - 20, 2*e - 16, 6*e + 44, -6*e + 32, 15*e + 36, -15*e + 6, 39*e + 34, -39*e - 44, 32*e + 32, -32*e - 32, 2*e - 100, -2*e - 104, 8*e + 4, -8*e - 12, 28*e + 52, -28*e - 4, 60*e + 112, -60*e - 8, -16*e - 82, 16*e - 50, 12*e + 108, -12*e + 84, -39*e - 122, 39*e - 44, -36*e - 42, 36*e + 30, 146, 26*e - 24, -26*e - 76, -36*e + 20, 36*e + 92, 36*e + 30, -36*e - 42, 60*e - 8, -60*e - 128, -6*e - 48, 6*e - 36, -11*e - 130, 11*e - 108, -8*e - 102, 8*e - 86, 8*e - 16, -8*e - 32, 24*e - 82, -24*e - 130, -12*e + 96, 12*e + 120, 36*e + 32, -36*e - 40, -62*e - 20, 62*e + 104, -12*e - 102, 12*e - 78, -29*e + 40, 29*e + 98, -25*e - 130, 25*e - 80, -42*e - 128, 42*e - 44, 27*e + 112, -27*e + 58, -96, -96, -8*e - 78, 8*e - 62, 78*e + 112, -78*e - 44, -68*e - 120, 68*e + 16, -22*e - 12, 22*e + 32, e - 2, -e - 4, 16*e - 26, -16*e - 58, 24*e - 70, -24*e - 118, 24*e + 38, -24*e - 10, 11*e - 82, -11*e - 104, 8*e + 158, -8*e + 142, 47*e + 96, -47*e + 2, -28*e - 10, 28*e + 46, 92*e + 72, -92*e - 112, -32*e - 80, 32*e - 16, 62*e + 56, -62*e - 68, 52*e + 12, -52*e - 92, 26*e + 20, -26*e - 32, 25*e - 22, -25*e - 72, 8*e + 176, -8*e + 160, -52*e + 8, 52*e + 112, 2*e + 96, -2*e + 92, -12*e - 32, 12*e - 8, 29*e + 44, -29*e - 14, -60*e - 4, 60*e + 116, 34*e + 124, -34*e + 56, 88*e + 78, -88*e - 98, -e - 16, e - 14, -43*e + 6, 43*e + 92, -86*e - 96, 86*e + 76, -8*e + 78, 8*e + 94, 26*e - 76, -26*e - 128, 19*e - 8, -19*e - 46, 12*e - 4, -12*e - 28, -2*e - 112, 2*e - 108, -8*e - 98, 8*e - 82, 21*e + 6, -21*e - 36, -69*e - 26, 69*e + 112, -4*e - 140, 4*e - 132, 12*e + 48, -12*e + 24, -44*e - 84, 44*e + 4, 12*e + 48, -12*e + 24, -63*e - 90, 63*e + 36, 66, 66, -18*e + 52, 18*e + 88, 12*e - 28, -12*e - 52, -60, -60, -5*e - 112, 5*e - 102, -27*e - 2, 27*e + 52, 14*e + 108, -14*e + 80, 52*e + 36, -52*e - 68, 10*e + 116, -10*e + 96, 16*e + 52, -16*e + 20, -92*e - 108, 92*e + 76, 76*e + 54, -76*e - 98, -71*e - 76, 71*e + 66, -53*e - 44, 53*e + 62, 16*e + 82, -16*e + 50, 12*e + 66, -12*e + 42, -58*e - 100, 58*e + 16, 48*e + 2, -48*e - 94, 12*e - 10, -12*e - 34, -76*e - 58, 76*e + 94, 15*e + 66, -15*e + 36, 2*e - 132, -2*e - 136, -12*e + 44, 12*e + 68, -7*e + 50, 7*e + 64, 48*e + 78, -48*e - 18, -94, -48*e - 58, 48*e + 38, 66, 66, -42*e - 32, 42*e + 52, 20*e + 116, -20*e + 76, 30*e + 76, -30*e + 16, -23*e - 20, 23*e + 26, 40*e + 70, -40*e - 10, 5*e - 16, -5*e - 26, -2*e - 124, 2*e - 120, -32*e - 68, 32*e - 4, -13*e - 130, 13*e - 104, 45*e - 20, -45*e - 110, -26*e + 28, 26*e + 80, -20*e - 12, 20*e + 28, -12*e + 2, 12*e + 26, -18*e, 18*e + 36, -56*e + 22, 56*e + 134, 12*e - 8, -12*e - 32, -24*e - 82, 24*e - 34, -48*e - 104, 48*e - 8, -32*e - 86, 32*e - 22, -6*e - 64, 6*e - 52, 56*e + 56, -56*e - 56, 26*e + 104, -26*e + 52, -48*e - 52, 48*e + 44, -36*e - 28, 36*e + 44, -22*e - 172, 22*e - 128, 83*e + 56, -83*e - 110, -12*e - 70, 12*e - 46, 64*e + 34, -64*e - 94, -27*e + 10, 27*e + 64, -17*e + 50, 17*e + 84, 62*e + 44, -62*e - 80, 39*e - 62, -39*e - 140, 48*e + 78, -48*e - 18, -20*e - 156, 20*e - 116, 42*e + 148, -42*e + 64] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal([2, 2, w - 3])] = -1 AL_eigenvalues[ZF.ideal([7, 7, w])] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]