/* This code can be loaded, or copied and pasted, into Magma. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. At the *bottom* of the file, there is code to recreate the Hilbert modular form in Magma, by creating the HMF space and cutting out the corresponding Hecke irreducible subspace. From there, you can ask for more eigenvalues or modify as desired. It is commented out, as this computation may be lengthy. */ P := PolynomialRing(Rationals()); g := P![-3, 0, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, -w + 1], [3, 3, w], [11, 11, -2*w + 1], [11, 11, 2*w + 1], [13, 13, w + 4], [13, 13, -w + 4], [23, 23, -3*w + 2], [23, 23, 3*w + 2], [25, 5, 5], [37, 37, 2*w - 7], [37, 37, -2*w - 7], [47, 47, -4*w - 1], [47, 47, 4*w - 1], [49, 7, -7], [59, 59, 5*w - 4], [59, 59, -5*w - 4], [61, 61, -w - 8], [61, 61, w - 8], [71, 71, 5*w - 2], [71, 71, -5*w - 2], [73, 73, 3*w - 10], [73, 73, -3*w - 10], [83, 83, 6*w - 5], [83, 83, -6*w - 5], [97, 97, -w - 10], [97, 97, w - 10], [107, 107, -6*w - 1], [107, 107, 6*w - 1], [109, 109, 2*w - 11], [109, 109, -2*w - 11], [131, 131, -7*w - 4], [131, 131, 7*w - 4], [157, 157, 2*w - 13], [157, 157, -2*w - 13], [167, 167, 8*w - 5], [167, 167, -8*w - 5], [179, 179, 9*w - 8], [179, 179, -9*w - 8], [181, 181, 5*w - 16], [181, 181, -5*w - 16], [191, 191, -8*w - 1], [191, 191, 8*w - 1], [193, 193, -w - 14], [193, 193, w - 14], [227, 227, 9*w - 4], [227, 227, -9*w - 4], [229, 229, 3*w - 16], [229, 229, -3*w - 16], [239, 239, 9*w - 2], [239, 239, -9*w - 2], [241, 241, 4*w - 17], [241, 241, -4*w - 17], [251, 251, -10*w - 7], [251, 251, 10*w - 7], [263, 263, 11*w - 10], [263, 263, -11*w - 10], [277, 277, 2*w - 17], [277, 277, -2*w - 17], [289, 17, -17], [311, 311, 12*w - 11], [311, 311, -12*w - 11], [313, 313, -4*w - 19], [313, 313, 4*w - 19], [337, 337, 7*w - 22], [337, 337, -7*w - 22], [347, 347, -11*w - 4], [347, 347, 11*w - 4], [349, 349, 2*w - 19], [349, 349, -2*w - 19], [359, 359, 11*w - 2], [359, 359, -11*w - 2], [361, 19, -19], [373, 373, -3*w - 20], [373, 373, 3*w - 20], [383, 383, 12*w - 7], [383, 383, -12*w - 7], [397, 397, -w - 20], [397, 397, w - 20], [409, 409, -5*w - 22], [409, 409, 5*w - 22], [419, 419, 14*w - 13], [419, 419, -14*w - 13], [421, 421, -6*w - 23], [421, 421, 6*w - 23], [431, 431, -12*w - 1], [431, 431, 12*w - 1], [433, 433, -9*w - 26], [433, 433, 9*w - 26], [443, 443, -13*w - 8], [443, 443, 13*w - 8], [457, 457, 3*w - 22], [457, 457, -3*w - 22], [467, 467, 14*w - 11], [467, 467, -14*w - 11], [479, 479, 15*w - 14], [479, 479, -15*w - 14], [491, 491, 13*w - 4], [491, 491, -13*w - 4], [503, 503, 13*w - 2], [503, 503, -13*w - 2], [541, 541, 9*w - 28], [541, 541, -9*w - 28], [563, 563, -14*w - 5], [563, 563, 14*w - 5], [577, 577, 4*w - 25], [577, 577, -4*w - 25], [587, 587, -14*w - 1], [587, 587, 14*w - 1], [599, 599, -16*w - 13], [599, 599, 16*w - 13], [601, 601, 5*w - 26], [601, 601, -5*w - 26], [613, 613, 2*w - 25], [613, 613, -2*w - 25], [647, 647, -16*w - 11], [647, 647, 16*w - 11], [659, 659, -15*w - 4], [659, 659, 15*w - 4], [661, 661, -11*w - 32], [661, 661, 11*w - 32], [673, 673, -w - 26], [673, 673, w - 26], [683, 683, 18*w - 17], [683, 683, -18*w - 17], [709, 709, 5*w - 28], [709, 709, -5*w - 28], [719, 719, -16*w - 7], [719, 719, 16*w - 7], [733, 733, -6*w - 29], [733, 733, 6*w - 29], [743, 743, 16*w - 5], [743, 743, -16*w - 5], [757, 757, 3*w - 28], [757, 757, -3*w - 28], [769, 769, -8*w - 31], [769, 769, 8*w - 31], [827, 827, -19*w - 16], [827, 827, 19*w - 16], [829, 829, 2*w - 29], [829, 829, -2*w - 29], [839, 839, 20*w - 19], [839, 839, -20*w - 19], [841, 29, -29], [853, 853, 6*w - 31], [853, 853, -6*w - 31], [863, 863, 17*w - 2], [863, 863, -17*w - 2], [877, 877, 7*w - 32], [877, 877, -7*w - 32], [887, 887, 19*w - 14], [887, 887, -19*w - 14], [911, 911, 20*w - 17], [911, 911, -20*w - 17], [937, 937, -13*w - 38], [937, 937, 13*w - 38], [947, 947, 18*w - 5], [947, 947, -18*w - 5], [961, 31, -31], [971, 971, -18*w - 1], [971, 971, 18*w - 1], [983, 983, -19*w - 10], [983, 983, 19*w - 10], [997, 997, -3*w - 32], [997, 997, 3*w - 32], [1009, 1009, -7*w - 34], [1009, 1009, 7*w - 34], [1019, 1019, 19*w - 8], [1019, 1019, -19*w - 8], [1021, 1021, -w - 32], [1021, 1021, w - 32], [1031, 1031, 20*w - 13], [1031, 1031, -20*w - 13], [1033, 1033, 8*w - 35], [1033, 1033, -8*w - 35], [1069, 1069, 10*w - 37], [1069, 1069, -10*w - 37], [1091, 1091, -22*w - 19], [1091, 1091, 22*w - 19], [1093, 1093, 13*w - 40], [1093, 1093, -13*w - 40], [1103, 1103, 23*w - 22], [1103, 1103, -23*w - 22], [1117, 1117, -6*w - 35], [1117, 1117, 6*w - 35], [1129, 1129, 3*w - 34], [1129, 1129, -3*w - 34], [1151, 1151, -20*w - 7], [1151, 1151, 20*w - 7], [1153, 1153, -w - 34], [1153, 1153, w - 34], [1163, 1163, 22*w - 17], [1163, 1163, -22*w - 17], [1187, 1187, 23*w - 20], [1187, 1187, -23*w - 20], [1201, 1201, -9*w - 38], [1201, 1201, 9*w - 38], [1213, 1213, 2*w - 35], [1213, 1213, -2*w - 35], [1223, 1223, 21*w - 10], [1223, 1223, -21*w - 10], [1237, 1237, -11*w - 40], [1237, 1237, 11*w - 40], [1249, 1249, 12*w - 41], [1249, 1249, -12*w - 41], [1259, 1259, -21*w - 8], [1259, 1259, 21*w - 8], [1283, 1283, 22*w - 13], [1283, 1283, -22*w - 13], [1297, 1297, -7*w - 38], [1297, 1297, 7*w - 38], [1307, 1307, 21*w - 4], [1307, 1307, -21*w - 4], [1319, 1319, 21*w - 2], [1319, 1319, -21*w - 2], [1321, 1321, 4*w - 37], [1321, 1321, -4*w - 37], [1367, 1367, 24*w - 19], [1367, 1367, -24*w - 19], [1381, 1381, 10*w - 41], [1381, 1381, -10*w - 41], [1427, 1427, -22*w - 5], [1427, 1427, 22*w - 5], [1429, 1429, -13*w - 44], [1429, 1429, 13*w - 44], [1439, 1439, 24*w - 17], [1439, 1439, -24*w - 17], [1451, 1451, -22*w - 1], [1451, 1451, 22*w - 1], [1453, 1453, 7*w - 40], [1453, 1453, -7*w - 40], [1487, 1487, -23*w - 10], [1487, 1487, 23*w - 10], [1489, 1489, 8*w - 41], [1489, 1489, -8*w - 41], [1499, 1499, 26*w - 23], [1499, 1499, -26*w - 23], [1511, 1511, 27*w - 26], [1511, 1511, -27*w - 26], [1523, 1523, -23*w - 8], [1523, 1523, 23*w - 8], [1549, 1549, -10*w - 43], [1549, 1549, 10*w - 43], [1559, 1559, 24*w - 13], [1559, 1559, -24*w - 13], [1571, 1571, -23*w - 4], [1571, 1571, 23*w - 4], [1583, 1583, 23*w - 2], [1583, 1583, -23*w - 2], [1597, 1597, -w - 40], [1597, 1597, w - 40], [1607, 1607, -24*w - 11], [1607, 1607, 24*w - 11], [1609, 1609, 13*w - 46], [1609, 1609, -13*w - 46], [1619, 1619, -25*w - 16], [1619, 1619, 25*w - 16], [1621, 1621, 14*w - 47], [1621, 1621, -14*w - 47], [1657, 1657, 8*w - 43], [1657, 1657, -8*w - 43], [1667, 1667, -26*w - 19], [1667, 1667, 26*w - 19], [1669, 1669, 2*w - 41], [1669, 1669, -2*w - 41], [1681, 41, -41], [1693, 1693, -9*w - 44], [1693, 1693, 9*w - 44], [1741, 1741, 6*w - 43], [1741, 1741, -6*w - 43], [1753, 1753, -11*w - 46], [1753, 1753, 11*w - 46], [1777, 1777, -12*w - 47], [1777, 1777, 12*w - 47], [1787, 1787, 27*w - 20], [1787, 1787, -27*w - 20], [1789, 1789, -7*w - 44], [1789, 1789, 7*w - 44], [1801, 1801, -4*w - 43], [1801, 1801, 4*w - 43], [1811, 1811, 25*w - 8], [1811, 1811, -25*w - 8], [1823, 1823, -28*w - 23], [1823, 1823, 28*w - 23], [1847, 1847, 29*w - 26], [1847, 1847, -29*w - 26], [1849, 43, -43], [1861, 1861, -5*w - 44], [1861, 1861, 5*w - 44], [1871, 1871, 25*w - 2], [1871, 1871, -25*w - 2], [1873, 1873, 9*w - 46], [1873, 1873, -9*w - 46], [1907, 1907, 26*w - 11], [1907, 1907, -26*w - 11], [1931, 1931, 27*w - 16], [1931, 1931, -27*w - 16], [1933, 1933, -w - 44], [1933, 1933, w - 44], [1979, 1979, 26*w - 7], [1979, 1979, -26*w - 7], [1993, 1993, 13*w - 50], [1993, 1993, -13*w - 50], [2003, 2003, 26*w - 5], [2003, 2003, -26*w - 5], [2017, 2017, -8*w - 47], [2017, 2017, 8*w - 47], [2027, 2027, -26*w - 1], [2027, 2027, 26*w - 1], [2029, 2029, -15*w - 52], [2029, 2029, 15*w - 52], [2039, 2039, -29*w - 22], [2039, 2039, 29*w - 22], [2053, 2053, 18*w - 55], [2053, 2053, -18*w - 55], [2063, 2063, -28*w - 17], [2063, 2063, 28*w - 17], [2087, 2087, 27*w - 10], [2087, 2087, -27*w - 10], [2089, 2089, 3*w - 46], [2089, 2089, -3*w - 46], [2099, 2099, -31*w - 28], [2099, 2099, 31*w - 28], [2111, 2111, 32*w - 31], [2111, 2111, -32*w - 31], [2113, 2113, -w - 46], [2113, 2113, w - 46], [2137, 2137, 11*w - 50], [2137, 2137, -11*w - 50], [2161, 2161, -4*w - 47], [2161, 2161, 4*w - 47], [2207, 2207, -31*w - 26], [2207, 2207, 31*w - 26], [2221, 2221, -14*w - 53], [2221, 2221, 14*w - 53], [2243, 2243, 33*w - 32], [2243, 2243, -33*w - 32], [2267, 2267, 29*w - 16], [2267, 2267, -29*w - 16], [2269, 2269, 17*w - 56], [2269, 2269, -17*w - 56], [2281, 2281, -20*w - 59], [2281, 2281, 20*w - 59], [2293, 2293, 6*w - 49], [2293, 2293, -6*w - 49], [2339, 2339, 30*w - 19], [2339, 2339, -30*w - 19], [2341, 2341, -11*w - 52], [2341, 2341, 11*w - 52], [2351, 2351, -28*w - 1], [2351, 2351, 28*w - 1], [2377, 2377, 12*w - 53], [2377, 2377, -12*w - 53], [2389, 2389, 2*w - 49], [2389, 2389, -2*w - 49], [2399, 2399, 31*w - 22], [2399, 2399, -31*w - 22], [2411, 2411, 30*w - 17], [2411, 2411, -30*w - 17], [2423, 2423, -29*w - 10], [2423, 2423, 29*w - 10], [2437, 2437, -14*w - 55], [2437, 2437, 14*w - 55], [2447, 2447, -32*w - 25], [2447, 2447, 32*w - 25], [2459, 2459, -29*w - 8], [2459, 2459, 29*w - 8], [2473, 2473, -3*w - 50], [2473, 2473, 3*w - 50], [2521, 2521, 20*w - 61], [2521, 2521, -20*w - 61], [2531, 2531, -30*w - 13], [2531, 2531, 30*w - 13], [2543, 2543, -32*w - 23], [2543, 2543, 32*w - 23], [2557, 2557, -7*w - 52], [2557, 2557, 7*w - 52], [2579, 2579, -30*w - 11], [2579, 2579, 30*w - 11], [2591, 2591, -33*w - 26], [2591, 2591, 33*w - 26], [2593, 2593, -12*w - 55], [2593, 2593, 12*w - 55], [2617, 2617, -8*w - 53], [2617, 2617, 8*w - 53], [2663, 2663, 36*w - 35], [2663, 2663, -36*w - 35], [2677, 2677, 3*w - 52], [2677, 2677, -3*w - 52], [2687, 2687, 31*w - 14], [2687, 2687, -31*w - 14], [2689, 2689, 15*w - 58], [2689, 2689, -15*w - 58], [2699, 2699, -30*w - 1], [2699, 2699, 30*w - 1], [2711, 2711, 32*w - 19], [2711, 2711, -32*w - 19], [2713, 2713, 16*w - 59], [2713, 2713, -16*w - 59], [2749, 2749, -18*w - 61], [2749, 2749, 18*w - 61], [2797, 2797, 2*w - 53], [2797, 2797, -2*w - 53], [2809, 53, -53], [2819, 2819, -31*w - 8], [2819, 2819, 31*w - 8], [2833, 2833, -8*w - 55], [2833, 2833, 8*w - 55], [2843, 2843, -34*w - 25], [2843, 2843, 34*w - 25], [2857, 2857, -13*w - 58], [2857, 2857, 13*w - 58], [2879, 2879, 31*w - 2], [2879, 2879, -31*w - 2], [2903, 2903, -32*w - 13], [2903, 2903, 32*w - 13], [2917, 2917, 6*w - 55], [2917, 2917, -6*w - 55], [2927, 2927, -36*w - 31], [2927, 2927, 36*w - 31], [2939, 2939, -34*w - 23], [2939, 2939, 34*w - 23], [2953, 2953, 16*w - 61], [2953, 2953, -16*w - 61], [2963, 2963, 38*w - 37], [2963, 2963, -38*w - 37], [2999, 2999, 35*w - 26], [2999, 2999, -35*w - 26], [3001, 3001, 11*w - 58], [3001, 3001, -11*w - 58], [3011, 3011, 33*w - 16], [3011, 3011, -33*w - 16], [3023, 3023, 32*w - 7], [3023, 3023, -32*w - 7], [3037, 3037, 22*w - 67], [3037, 3037, -22*w - 67], [3049, 3049, -12*w - 59], [3049, 3049, 12*w - 59], [3061, 3061, 5*w - 56], [3061, 3061, -5*w - 56], [3083, 3083, 37*w - 32], [3083, 3083, -37*w - 32], [3109, 3109, -3*w - 56], [3109, 3109, 3*w - 56], [3119, 3119, 39*w - 38], [3119, 3119, -39*w - 38], [3121, 3121, -9*w - 58], [3121, 3121, 9*w - 58], [3167, 3167, -33*w - 10], [3167, 3167, 33*w - 10], [3169, 3169, -15*w - 62], [3169, 3169, 15*w - 62], [3181, 3181, -10*w - 59], [3181, 3181, 10*w - 59], [3191, 3191, -35*w - 22], [3191, 3191, 35*w - 22], [3203, 3203, 33*w - 8], [3203, 3203, -33*w - 8], [3217, 3217, -7*w - 58], [3217, 3217, 7*w - 58], [3229, 3229, 17*w - 64], [3229, 3229, -17*w - 64], [3251, 3251, 33*w - 4], [3251, 3251, -33*w - 4], [3253, 3253, 18*w - 65], [3253, 3253, -18*w - 65], [3299, 3299, 34*w - 13], [3299, 3299, -34*w - 13], [3301, 3301, -21*w - 68], [3301, 3301, 21*w - 68], [3313, 3313, 23*w - 70], [3313, 3313, -23*w - 70], [3323, 3323, -37*w - 28], [3323, 3323, 37*w - 28], [3347, 3347, 34*w - 11], [3347, 3347, -34*w - 11], [3359, 3359, -36*w - 23], [3359, 3359, 36*w - 23], [3361, 3361, -w - 58], [3361, 3361, w - 58], [3371, 3371, 38*w - 31], [3371, 3371, -38*w - 31], [3373, 3373, -6*w - 59], [3373, 3373, 6*w - 59], [3407, 3407, 39*w - 34], [3407, 3407, -39*w - 34], [3433, 3433, -4*w - 59], [3433, 3433, 4*w - 59], [3457, 3457, 16*w - 65], [3457, 3457, -16*w - 65], [3467, 3467, -34*w - 1], [3467, 3467, 34*w - 1], [3469, 3469, 2*w - 59], [3469, 3469, -2*w - 59], [3491, 3491, 38*w - 29], [3491, 3491, -38*w - 29], [3517, 3517, 18*w - 67], [3517, 3517, -18*w - 67], [3527, 3527, 36*w - 19], [3527, 3527, -36*w - 19], [3529, 3529, -8*w - 61], [3529, 3529, 8*w - 61], [3539, 3539, -39*w - 32], [3539, 3539, 39*w - 32], [3541, 3541, 19*w - 68], [3541, 3541, -19*w - 68], [3613, 3613, 6*w - 61], [3613, 3613, -6*w - 61], [3623, 3623, 37*w - 22], [3623, 3623, -37*w - 22], [3637, 3637, -14*w - 65], [3637, 3637, 14*w - 65], [3659, 3659, -35*w - 4], [3659, 3659, 35*w - 4], [3671, 3671, 35*w - 2], [3671, 3671, -35*w - 2], [3673, 3673, 4*w - 61], [3673, 3673, -4*w - 61], [3697, 3697, -7*w - 62], [3697, 3697, 7*w - 62], [3709, 3709, 2*w - 61], [3709, 3709, -2*w - 61], [3719, 3719, 36*w - 13], [3719, 3719, -36*w - 13], [3733, 3733, 11*w - 64], [3733, 3733, -11*w - 64], [3767, 3767, 36*w - 11], [3767, 3767, -36*w - 11], [3769, 3769, -5*w - 62], [3769, 3769, 5*w - 62], [3779, 3779, -39*w - 28], [3779, 3779, 39*w - 28], [3793, 3793, 12*w - 65], [3793, 3793, -12*w - 65], [3803, 3803, -38*w - 23], [3803, 3803, 38*w - 23], [3851, 3851, -37*w - 16], [3851, 3851, 37*w - 16], [3853, 3853, 9*w - 64], [3853, 3853, -9*w - 64], [3863, 3863, 36*w - 5], [3863, 3863, -36*w - 5], [3877, 3877, -22*w - 73], [3877, 3877, 22*w - 73], [3889, 3889, -23*w - 74], [3889, 3889, 23*w - 74], [3911, 3911, -37*w - 14], [3911, 3911, 37*w - 14], [3923, 3923, 42*w - 37], [3923, 3923, -42*w - 37], [3947, 3947, -43*w - 40], [3947, 3947, 43*w - 40], [4007, 4007, 37*w - 10], [4007, 4007, -37*w - 10], [4019, 4019, -41*w - 32], [4019, 4019, 41*w - 32], [4021, 4021, -5*w - 64], [4021, 4021, 5*w - 64], [4057, 4057, -12*w - 67], [4057, 4057, 12*w - 67], [4079, 4079, -39*w - 22], [4079, 4079, 39*w - 22], [4091, 4091, 37*w - 4], [4091, 4091, -37*w - 4], [4093, 4093, -w - 64], [4093, 4093, w - 64], [4127, 4127, 44*w - 41], [4127, 4127, -44*w - 41], [4129, 4129, -20*w - 73], [4129, 4129, 20*w - 73], [4139, 4139, 45*w - 44], [4139, 4139, -45*w - 44], [4153, 4153, 21*w - 74], [4153, 4153, -21*w - 74], [4177, 4177, 4*w - 65], [4177, 4177, -4*w - 65], [4201, 4201, 24*w - 77], [4201, 4201, -24*w - 77], [4211, 4211, -38*w - 11], [4211, 4211, 38*w - 11], [4259, 4259, 41*w - 28], [4259, 4259, -41*w - 28], [4261, 4261, -11*w - 68], [4261, 4261, 11*w - 68], [4271, 4271, -40*w - 23], [4271, 4271, 40*w - 23], [4273, 4273, 16*w - 71], [4273, 4273, -16*w - 71], [4283, 4283, -38*w - 7], [4283, 4283, 38*w - 7], [4297, 4297, 8*w - 67], [4297, 4297, -8*w - 67], [4357, 4357, 18*w - 73], [4357, 4357, -18*w - 73], [4391, 4391, -43*w - 34], [4391, 4391, 43*w - 34], [4441, 4441, -4*w - 67], [4441, 4441, 4*w - 67], [4451, 4451, 42*w - 29], [4451, 4451, -42*w - 29], [4463, 4463, -39*w - 10], [4463, 4463, 39*w - 10], [4489, 67, -67], [4513, 4513, 24*w - 79], [4513, 4513, -24*w - 79], [4523, 4523, 43*w - 32], [4523, 4523, -43*w - 32], [4547, 4547, -39*w - 4], [4547, 4547, 39*w - 4], [4549, 4549, 5*w - 68], [4549, 4549, -5*w - 68], [4561, 4561, -16*w - 73], [4561, 4561, 16*w - 73], [4583, 4583, 44*w - 35], [4583, 4583, -44*w - 35], [4597, 4597, -3*w - 68], [4597, 4597, 3*w - 68], [4621, 4621, -w - 68], [4621, 4621, w - 68], [4643, 4643, 41*w - 20], [4643, 4643, -41*w - 20], [4657, 4657, 9*w - 70], [4657, 4657, -9*w - 70], [4679, 4679, -40*w - 11], [4679, 4679, 40*w - 11], [4691, 4691, 47*w - 44], [4691, 4691, -47*w - 44], [4703, 4703, 48*w - 47], [4703, 4703, -48*w - 47], [4729, 4729, -20*w - 77], [4729, 4729, 20*w - 77], [4751, 4751, 40*w - 7], [4751, 4751, -40*w - 7], [4787, 4787, -41*w - 16], [4787, 4787, 41*w - 16], [4789, 4789, -22*w - 79], [4789, 4789, 22*w - 79], [4799, 4799, -40*w - 1], [4799, 4799, 40*w - 1], [4801, 4801, -15*w - 74], [4801, 4801, 15*w - 74], [4813, 4813, -23*w - 80], [4813, 4813, 23*w - 80], [4861, 4861, -26*w - 83], [4861, 4861, 26*w - 83], [4871, 4871, -43*w - 26], [4871, 4871, 43*w - 26], [4909, 4909, -17*w - 76], [4909, 4909, 17*w - 76], [4919, 4919, -45*w - 34], [4919, 4919, 45*w - 34], [4931, 4931, 42*w - 19], [4931, 4931, -42*w - 19], [4933, 4933, -6*w - 71], [4933, 4933, 6*w - 71], [4943, 4943, 41*w - 10], [4943, 4943, -41*w - 10], [4957, 4957, -18*w - 77], [4957, 4957, 18*w - 77], [4967, 4967, 44*w - 29], [4967, 4967, -44*w - 29], [4969, 4969, 13*w - 74], [4969, 4969, -13*w - 74], [4993, 4993, -4*w - 71], [4993, 4993, 4*w - 71], [5003, 5003, -42*w - 17], [5003, 5003, 42*w - 17], [5039, 5039, 41*w - 2], [5039, 5039, -41*w - 2], [5051, 5051, 45*w - 32], [5051, 5051, -45*w - 32], [5077, 5077, 21*w - 80], [5077, 5077, -21*w - 80], [5087, 5087, -49*w - 46], [5087, 5087, 49*w - 46], [5099, 5099, 50*w - 49], [5099, 5099, -50*w - 49], [5101, 5101, 15*w - 76], [5101, 5101, -15*w - 76], [5113, 5113, -11*w - 74], [5113, 5113, 11*w - 74], [5147, 5147, 43*w - 20], [5147, 5147, -43*w - 20], [5171, 5171, 42*w - 11], [5171, 5171, -42*w - 11], [5197, 5197, -26*w - 85], [5197, 5197, 26*w - 85], [5209, 5209, 27*w - 86], [5209, 5209, -27*w - 86], [5231, 5231, 48*w - 41], [5231, 5231, -48*w - 41], [5233, 5233, -9*w - 74], [5233, 5233, 9*w - 74], [5279, 5279, 44*w - 23], [5279, 5279, -44*w - 23], [5281, 5281, 4*w - 73], [5281, 5281, -4*w - 73], [5303, 5303, 51*w - 50], [5303, 5303, -51*w - 50], [5351, 5351, 43*w - 14], [5351, 5351, -43*w - 14], [5387, 5387, -46*w - 31], [5387, 5387, 46*w - 31], [5399, 5399, 45*w - 26], [5399, 5399, -45*w - 26], [5413, 5413, -11*w - 76], [5413, 5413, 11*w - 76], [5437, 5437, -22*w - 83], [5437, 5437, 22*w - 83], [5449, 5449, -3*w - 74], [5449, 5449, 3*w - 74], [5471, 5471, -47*w - 34], [5471, 5471, 47*w - 34], [5483, 5483, 43*w - 8], [5483, 5483, -43*w - 8], [5507, 5507, 46*w - 29], [5507, 5507, -46*w - 29], [5519, 5519, -44*w - 17], [5519, 5519, 44*w - 17], [5521, 5521, -25*w - 86], [5521, 5521, 25*w - 86], [5531, 5531, -43*w - 4], [5531, 5531, 43*w - 4], [5557, 5557, 27*w - 88], [5557, 5557, -27*w - 88], [5569, 5569, -28*w - 89], [5569, 5569, 28*w - 89], [5581, 5581, -31*w - 92], [5581, 5581, 31*w - 92], [5591, 5591, 45*w - 22], [5591, 5591, -45*w - 22], [5639, 5639, -44*w - 13], [5639, 5639, 44*w - 13], [5641, 5641, -19*w - 82], [5641, 5641, 19*w - 82], [5651, 5651, -50*w - 43], [5651, 5651, 50*w - 43], [5653, 5653, -14*w - 79], [5653, 5653, 14*w - 79], [5689, 5689, 20*w - 83], [5689, 5689, -20*w - 83], [5701, 5701, 5*w - 76], [5701, 5701, -5*w - 76], [5711, 5711, -52*w - 49], [5711, 5711, 52*w - 49], [5737, 5737, -8*w - 77], [5737, 5737, 8*w - 77], [5749, 5749, 3*w - 76], [5749, 5749, -3*w - 76], [5783, 5783, -44*w - 5], [5783, 5783, 44*w - 5], [5807, 5807, -44*w - 1], [5807, 5807, 44*w - 1], [5821, 5821, -6*w - 77], [5821, 5821, 6*w - 77], [5843, 5843, 47*w - 28], [5843, 5843, -47*w - 28], [5857, 5857, -17*w - 82], [5857, 5857, 17*w - 82], [5867, 5867, 51*w - 44], [5867, 5867, -51*w - 44], [5869, 5869, 25*w - 88], [5869, 5869, -25*w - 88], [5879, 5879, 45*w - 14], [5879, 5879, -45*w - 14], [5881, 5881, 4*w - 77], [5881, 5881, -4*w - 77], [5903, 5903, 52*w - 47], [5903, 5903, -52*w - 47], [5927, 5927, 53*w - 50], [5927, 5927, -53*w - 50], [5939, 5939, 54*w - 53], [5939, 5939, -54*w - 53], [5953, 5953, 31*w - 94], [5953, 5953, -31*w - 94], [5987, 5987, -46*w - 19], [5987, 5987, 46*w - 19], [6011, 6011, -45*w - 8], [6011, 6011, 45*w - 8], [6037, 6037, 11*w - 80], [6037, 6037, -11*w - 80], [6047, 6047, -49*w - 34], [6047, 6047, 49*w - 34], [6073, 6073, -21*w - 86], [6073, 6073, 21*w - 86], [6121, 6121, -16*w - 83], [6121, 6121, 16*w - 83], [6131, 6131, -50*w - 37], [6131, 6131, 50*w - 37], [6133, 6133, 6*w - 79], [6133, 6133, -6*w - 79], [6143, 6143, -47*w - 22], [6143, 6143, 47*w - 22], [6203, 6203, 51*w - 40], [6203, 6203, -51*w - 40], [6217, 6217, -13*w - 82], [6217, 6217, 13*w - 82], [6229, 6229, 2*w - 79], [6229, 6229, -2*w - 79], [6241, 79, -79], [6263, 6263, -52*w - 43], [6263, 6263, 52*w - 43], [6277, 6277, 27*w - 92], [6277, 6277, -27*w - 92], [6287, 6287, 48*w - 25], [6287, 6287, -48*w - 25], [6299, 6299, 46*w - 7], [6299, 6299, -46*w - 7], [6301, 6301, -14*w - 83], [6301, 6301, 14*w - 83], [6311, 6311, -53*w - 46], [6311, 6311, 53*w - 46], [6323, 6323, 46*w - 5], [6323, 6323, -46*w - 5], [6337, 6337, 32*w - 97], [6337, 6337, -32*w - 97], [6359, 6359, 51*w - 38], [6359, 6359, -51*w - 38], [6361, 6361, -11*w - 82], [6361, 6361, 11*w - 82], [6373, 6373, -3*w - 80], [6373, 6373, 3*w - 80], [6397, 6397, -w - 80], [6397, 6397, w - 80], [6421, 6421, -21*w - 88], [6421, 6421, 21*w - 88], [6469, 6469, 22*w - 89], [6469, 6469, -22*w - 89], [6481, 6481, 9*w - 82], [6481, 6481, -9*w - 82], [6491, 6491, 53*w - 44], [6491, 6491, -53*w - 44], [6529, 6529, 17*w - 86], [6529, 6529, -17*w - 86], [6551, 6551, 48*w - 19], [6551, 6551, -48*w - 19], [6553, 6553, -24*w - 91], [6553, 6553, 24*w - 91], [6563, 6563, -47*w - 8], [6563, 6563, 47*w - 8], [6577, 6577, 7*w - 82], [6577, 6577, -7*w - 82], [6599, 6599, 56*w - 53], [6599, 6599, -56*w - 53], [6637, 6637, 14*w - 85], [6637, 6637, -14*w - 85], [6659, 6659, -50*w - 29], [6659, 6659, 50*w - 29], [6661, 6661, 19*w - 88], [6661, 6661, -19*w - 88], [6673, 6673, -28*w - 95], [6673, 6673, 28*w - 95], [6709, 6709, 30*w - 97], [6709, 6709, -30*w - 97], [6719, 6719, 49*w - 22], [6719, 6719, -49*w - 22], [6733, 6733, 33*w - 100], [6733, 6733, -33*w - 100], [6779, 6779, -51*w - 32], [6779, 6779, 51*w - 32], [6781, 6781, -6*w - 83], [6781, 6781, 6*w - 83], [6791, 6791, 48*w - 11], [6791, 6791, -48*w - 11], [6793, 6793, 12*w - 85], [6793, 6793, -12*w - 85], [6803, 6803, 49*w - 20], [6803, 6803, -49*w - 20], [6827, 6827, -53*w - 40], [6827, 6827, 53*w - 40], [6829, 6829, -22*w - 91], [6829, 6829, 22*w - 91], [6841, 6841, -4*w - 83], [6841, 6841, 4*w - 83], [6863, 6863, -48*w - 7], [6863, 6863, 48*w - 7], [6899, 6899, 54*w - 43], [6899, 6899, -54*w - 43], [6911, 6911, -48*w - 1], [6911, 6911, 48*w - 1], [6947, 6947, 49*w - 16], [6947, 6947, -49*w - 16], [6949, 6949, -18*w - 89], [6949, 6949, 18*w - 89], [6959, 6959, -55*w - 46], [6959, 6959, 55*w - 46], [6961, 6961, 25*w - 94], [6961, 6961, -25*w - 94], [6971, 6971, 50*w - 23], [6971, 6971, -50*w - 23], [6983, 6983, -53*w - 38], [6983, 6983, 53*w - 38], [6997, 6997, -26*w - 95], [6997, 6997, 26*w - 95], [7019, 7019, 51*w - 28], [7019, 7019, -51*w - 28], [7043, 7043, 57*w - 52], [7043, 7043, -57*w - 52], [7057, 7057, 28*w - 97], [7057, 7057, -28*w - 97], [7069, 7069, 15*w - 88], [7069, 7069, -15*w - 88], [7079, 7079, 59*w - 58], [7079, 7079, -59*w - 58], [7103, 7103, -49*w - 10], [7103, 7103, 49*w - 10], [7127, 7127, -51*w - 26], [7127, 7127, 51*w - 26], [7129, 7129, 32*w - 101], [7129, 7129, -32*w - 101], [7151, 7151, 52*w - 31], [7151, 7151, -52*w - 31], [7177, 7177, 4*w - 85], [7177, 7177, -4*w - 85], [7187, 7187, 49*w - 4], [7187, 7187, -49*w - 4], [7211, 7211, -50*w - 17], [7211, 7211, 50*w - 17], [7213, 7213, 2*w - 85], [7213, 7213, -2*w - 85], [7237, 7237, 13*w - 88], [7237, 7237, -13*w - 88], [7247, 7247, -57*w - 50], [7247, 7247, 57*w - 50], [7283, 7283, -58*w - 53], [7283, 7283, 58*w - 53], [7297, 7297, -24*w - 95], [7297, 7297, 24*w - 95], [7307, 7307, 59*w - 56], [7307, 7307, -59*w - 56], [7309, 7309, 18*w - 91], [7309, 7309, -18*w - 91], [7321, 7321, 5*w - 86], [7321, 7321, -5*w - 86], [7331, 7331, 50*w - 13], [7331, 7331, -50*w - 13], [7333, 7333, 14*w - 89], [7333, 7333, -14*w - 89], [7369, 7369, -3*w - 86], [7369, 7369, 3*w - 86], [7393, 7393, -w - 86], [7393, 7393, w - 86], [7417, 7417, 27*w - 98], [7417, 7417, -27*w - 98], [7451, 7451, 50*w - 7], [7451, 7451, -50*w - 7], [7477, 7477, 29*w - 100], [7477, 7477, -29*w - 100], [7487, 7487, -52*w - 25], [7487, 7487, 52*w - 25], [7489, 7489, 12*w - 89], [7489, 7489, -12*w - 89], [7499, 7499, -50*w - 1], [7499, 7499, 50*w - 1], [7523, 7523, -54*w - 35], [7523, 7523, 54*w - 35], [7537, 7537, -32*w - 103], [7537, 7537, 32*w - 103], [7547, 7547, -51*w - 16], [7547, 7547, 51*w - 16], [7549, 7549, -33*w - 104], [7549, 7549, 33*w - 104], [7559, 7559, 56*w - 43], [7559, 7559, -56*w - 43], [7561, 7561, -36*w - 107], [7561, 7561, 36*w - 107], [7573, 7573, -22*w - 95], [7573, 7573, 22*w - 95], [7583, 7583, 52*w - 23], [7583, 7583, -52*w - 23], [7607, 7607, -51*w - 14], [7607, 7607, 51*w - 14], [7621, 7621, -10*w - 89], [7621, 7621, 10*w - 89], [7643, 7643, 53*w - 28], [7643, 7643, -53*w - 28], [7669, 7669, 5*w - 88], [7669, 7669, -5*w - 88], [7681, 7681, 24*w - 97], [7681, 7681, -24*w - 97], [7691, 7691, 58*w - 49], [7691, 7691, -58*w - 49], [7703, 7703, 51*w - 10], [7703, 7703, -51*w - 10], [7717, 7717, 3*w - 88], [7717, 7717, -3*w - 88], [7727, 7727, 56*w - 41], [7727, 7727, -56*w - 41], [7741, 7741, -w - 88], [7741, 7741, w - 88], [7753, 7753, -19*w - 94], [7753, 7753, 19*w - 94], [7789, 7789, -15*w - 92], [7789, 7789, 15*w - 92], [7823, 7823, 52*w - 17], [7823, 7823, -52*w - 17], [7873, 7873, 4*w - 89], [7873, 7873, -4*w - 89], [7883, 7883, -58*w - 47], [7883, 7883, 58*w - 47], [7907, 7907, 54*w - 29], [7907, 7907, -54*w - 29], [7919, 7919, 55*w - 34], [7919, 7919, -55*w - 34], [7921, 89, -89], [7933, 7933, -31*w - 104], [7933, 7933, 31*w - 104], [7993, 7993, 36*w - 109], [7993, 7993, -36*w - 109], [8017, 8017, 23*w - 98], [8017, 8017, -23*w - 98], [8039, 8039, 56*w - 37], [8039, 8039, -56*w - 37], [8053, 8053, -18*w - 95], [8053, 8053, 18*w - 95], [8087, 8087, -52*w - 5], [8087, 8087, 52*w - 5], [8089, 8089, 8*w - 91], [8089, 8089, -8*w - 91], [8101, 8101, 11*w - 92], [8101, 8101, -11*w - 92], [8111, 8111, -52*w - 1], [8111, 8111, 52*w - 1], [8123, 8123, -54*w - 25], [8123, 8123, 54*w - 25], [8147, 8147, -57*w - 40], [8147, 8147, 57*w - 40], [8161, 8161, 15*w - 94], [8161, 8161, -15*w - 94], [8171, 8171, -53*w - 16], [8171, 8171, 53*w - 16], [8209, 8209, -20*w - 97], [8209, 8209, 20*w - 97], [8219, 8219, 54*w - 23], [8219, 8219, -54*w - 23], [8221, 8221, -9*w - 92], [8221, 8221, 9*w - 92], [8231, 8231, -53*w - 14], [8231, 8231, 53*w - 14], [8233, 8233, -4*w - 91], [8233, 8233, 4*w - 91], [8243, 8243, -58*w - 43], [8243, 8243, 58*w - 43], [8269, 8269, 2*w - 91], [8269, 8269, -2*w - 91], [8291, 8291, -55*w - 28], [8291, 8291, 55*w - 28], [8293, 8293, 29*w - 104], [8293, 8293, -29*w - 104], [8317, 8317, 7*w - 92], [8317, 8317, -7*w - 92], [8329, 8329, -13*w - 94], [8329, 8329, 13*w - 94], [8353, 8353, 31*w - 106], [8353, 8353, -31*w - 106], [8363, 8363, -53*w - 8], [8363, 8363, 53*w - 8], [8377, 8377, 32*w - 107], [8377, 8377, -32*w - 107], [8387, 8387, 54*w - 19], [8387, 8387, -54*w - 19], [8389, 8389, -5*w - 92], [8389, 8389, 5*w - 92], [8423, 8423, 53*w - 2], [8423, 8423, -53*w - 2], [8447, 8447, 56*w - 31], [8447, 8447, -56*w - 31], [8461, 8461, -w - 92], [8461, 8461, w - 92], [8521, 8521, -19*w - 98], [8521, 8521, 19*w - 98], [8543, 8543, -63*w - 58], [8543, 8543, 63*w - 58], [8581, 8581, -26*w - 103], [8581, 8581, 26*w - 103], [8627, 8627, -54*w - 11], [8627, 8627, 54*w - 11], [8629, 8629, -27*w - 104], [8629, 8629, 27*w - 104], [8641, 8641, 16*w - 97], [8641, 8641, -16*w - 97], [8663, 8663, -61*w - 50], [8663, 8663, 61*w - 50], [8677, 8677, 21*w - 100], [8677, 8677, -21*w - 100], [8689, 8689, -7*w - 94], [8689, 8689, 7*w - 94], [8699, 8699, 54*w - 7], [8699, 8699, -54*w - 7], [8713, 8713, -29*w - 106], [8713, 8713, 29*w - 106], [8737, 8737, 17*w - 98], [8737, 8737, -17*w - 98], [8747, 8747, -54*w - 1], [8747, 8747, 54*w - 1], [8761, 8761, -5*w - 94], [8761, 8761, 5*w - 94], [8783, 8783, -56*w - 25], [8783, 8783, 56*w - 25], [8807, 8807, 64*w - 59], [8807, 8807, -64*w - 59], [8819, 8819, 55*w - 16], [8819, 8819, -55*w - 16], [8821, 8821, -14*w - 97], [8821, 8821, 14*w - 97], [8831, 8831, 65*w - 62], [8831, 8831, -65*w - 62], [8867, 8867, -58*w - 35], [8867, 8867, 58*w - 35], [8893, 8893, 38*w - 115], [8893, 8893, -38*w - 115], [8929, 8929, 15*w - 98], [8929, 8929, -15*w - 98], [8941, 8941, -25*w - 104], [8941, 8941, 25*w - 104], [8951, 8951, -60*w - 43], [8951, 8951, 60*w - 43], [8963, 8963, 57*w - 28], [8963, 8963, -57*w - 28], [8999, 8999, -59*w - 38], [8999, 8999, 59*w - 38], [9001, 9001, 20*w - 101], [9001, 9001, -20*w - 101], [9011, 9011, -55*w - 8], [9011, 9011, 55*w - 8], [9013, 9013, 2*w - 95], [9013, 9013, -2*w - 95], [9049, 9049, 27*w - 106], [9049, 9049, -27*w - 106], [9059, 9059, -55*w - 4], [9059, 9059, 55*w - 4], [9109, 9109, 10*w - 97], [9109, 9109, -10*w - 97], [9133, 9133, 17*w - 100], [9133, 9133, -17*w - 100], [9157, 9157, 22*w - 103], [9157, 9157, -22*w - 103], [9181, 9181, -30*w - 109], [9181, 9181, 30*w - 109], [9203, 9203, 63*w - 52], [9203, 9203, -63*w - 52], [9227, 9227, 61*w - 44], [9227, 9227, -61*w - 44], [9239, 9239, -56*w - 13], [9239, 9239, 56*w - 13], [9241, 9241, -11*w - 98], [9241, 9241, 11*w - 98], [9277, 9277, -33*w - 112], [9277, 9277, 33*w - 112], [9311, 9311, 65*w - 58], [9311, 9311, -65*w - 58], [9323, 9323, 62*w - 47], [9323, 9323, -62*w - 47], [9337, 9337, -36*w - 115], [9337, 9337, 36*w - 115], [9349, 9349, 37*w - 116], [9349, 9349, -37*w - 116], [9371, 9371, -67*w - 64], [9371, 9371, 67*w - 64], [9397, 9397, 2*w - 97], [9397, 9397, -2*w - 97], [9419, 9419, -59*w - 32], [9419, 9419, 59*w - 32], [9421, 9421, 26*w - 107], [9421, 9421, -26*w - 107], [9431, 9431, -60*w - 37], [9431, 9431, 60*w - 37], [9433, 9433, -16*w - 101], [9433, 9433, 16*w - 101], [9467, 9467, -58*w - 25], [9467, 9467, 58*w - 25], [9479, 9479, -64*w - 53], [9479, 9479, 64*w - 53], [9491, 9491, -57*w - 16], [9491, 9491, 57*w - 16], [9539, 9539, 65*w - 56], [9539, 9539, -65*w - 56], [9551, 9551, 57*w - 14], [9551, 9551, -57*w - 14], [9587, 9587, 66*w - 59], [9587, 9587, -66*w - 59], [9601, 9601, -w - 98], [9601, 9601, w - 98], [9613, 9613, 14*w - 101], [9613, 9613, -14*w - 101], [9623, 9623, 67*w - 62], [9623, 9623, -67*w - 62], [9649, 9649, 23*w - 106], [9649, 9649, -23*w - 106], [9661, 9661, -31*w - 112], [9661, 9661, 31*w - 112], [9697, 9697, -32*w - 113], [9697, 9697, 32*w - 113], [9719, 9719, 61*w - 38], [9719, 9719, -61*w - 38], [9721, 9721, 24*w - 107], [9721, 9721, -24*w - 107], [9733, 9733, -19*w - 104], [9733, 9733, 19*w - 104], [9743, 9743, 57*w - 2], [9743, 9743, -57*w - 2], [9767, 9767, -59*w - 26], [9767, 9767, 59*w - 26], [9769, 9769, 12*w - 101], [9769, 9769, -12*w - 101], [9781, 9781, 35*w - 116], [9781, 9781, -35*w - 116], [9791, 9791, 63*w - 46], [9791, 9791, -63*w - 46], [9803, 9803, 58*w - 17], [9803, 9803, -58*w - 17], [9817, 9817, 37*w - 118], [9817, 9817, -37*w - 118], [9829, 9829, -38*w - 119], [9829, 9829, 38*w - 119], [9839, 9839, 60*w - 31], [9839, 9839, -60*w - 31], [9851, 9851, 62*w - 41], [9851, 9851, -62*w - 41], [9887, 9887, -64*w - 49], [9887, 9887, 64*w - 49], [9901, 9901, 10*w - 101], [9901, 9901, -10*w - 101], [9923, 9923, -58*w - 13], [9923, 9923, 58*w - 13], [9949, 9949, -17*w - 104], [9949, 9949, 17*w - 104], [9973, 9973, 3*w - 100], [9973, 9973, -3*w - 100]]; primes := [ideal : I in primesArray]; heckePol := x; K := Rationals(); e := 1; heckeEigenvaluesArray := [-1, -1, 4, 4, -2, -2, 0, 0, -6, -2, -2, 0, 0, -14, -12, -12, -10, -10, 0, 0, 10, 10, -4, -4, -14, -14, 4, 4, -10, -10, 12, 12, -2, -2, -16, -16, 12, 12, 14, 14, 16, 16, 18, 18, -4, -4, -26, -26, 0, 0, 2, 2, -28, -28, 8, 8, 30, 30, 1, 0, 0, 10, 10, -14, -14, -28, -28, 14, 14, 24, 24, -22, 6, 6, 16, 16, -26, -26, 26, 26, -4, -4, 22, 22, 8, 8, -14, -14, 4, 4, 10, 10, 12, 12, -24, -24, -12, -12, 0, 0, -10, -10, -36, -36, 2, 2, 20, 20, 8, 8, -6, -6, 38, 38, 40, 40, -36, -36, 6, 6, -46, -46, 20, 20, 46, 46, -40, -40, 46, 46, 16, 16, -10, -10, -30, -30, 20, 20, -34, -34, 0, 0, 42, -2, -2, 32, 32, 22, 22, 48, 48, -8, -8, -22, -22, 28, 28, 2, 4, 4, -48, -48, -2, -2, 34, 34, -12, -12, -50, -50, -32, -32, -54, -54, -18, -18, 12, 12, -2, -2, -32, -32, 22, 22, 26, 26, -8, -8, -62, -62, -44, -44, -4, -4, -46, -46, -42, -42, 56, 56, 22, 22, -30, -30, 36, 36, -36, -36, 2, 2, -28, -28, -32, -32, 26, 26, 16, 16, -26, -26, 12, 12, -58, -58, 56, 56, 52, 52, -34, -34, 16, 16, -30, -30, -12, -12, -40, -40, 76, 76, -50, -50, 0, 0, -68, -68, 16, 16, -2, -2, 72, 72, 10, 10, 12, 12, 14, 14, -6, -6, 44, 44, 30, 30, 18, 70, 70, -10, -10, 26, 26, -14, -14, 20, 20, -18, -18, 74, 74, -36, -36, 48, 48, -80, -80, 58, 54, 54, 48, 48, 2, 2, 44, 44, -28, -28, -26, -26, 4, 4, -22, -22, 12, 12, -14, -14, -60, -60, -58, -58, 40, 40, -58, -58, -24, -24, 88, 88, 42, 42, -84, -84, -8, -8, 34, 34, -22, -22, -46, -46, -24, -24, 22, 22, 76, 76, -12, -12, 78, 78, 10, 10, 6, 6, -36, -36, -66, -66, 40, 40, 26, 26, 22, 22, -32, -32, 20, 20, -40, -40, -66, -66, 32, 32, 36, 36, -86, -86, -22, -22, 12, 12, 72, 72, -58, -58, 12, 12, -24, -24, 34, 34, 58, 58, -64, -64, 86, 86, -64, -64, -62, -62, 36, 36, -72, -72, -54, -54, 54, 54, -50, -50, -70, 92, 92, -46, -46, -76, -76, 42, 42, 24, 24, 56, 56, 14, 14, -40, -40, 4, 4, 26, 26, -36, -36, -16, -16, 58, 58, 28, 28, 40, 40, -58, -58, 10, 10, -26, -26, 84, 84, 38, 38, 48, 48, 50, 50, -104, -104, 50, 50, 14, 14, -16, -16, 44, 44, -46, -46, -82, -82, 92, 92, 30, 30, -4, -4, 62, 62, 50, 50, 36, 36, 28, 28, -24, -24, 34, 34, -12, -12, -58, -58, -8, -8, 74, 74, -46, -46, -76, -76, 30, 30, -52, -52, -50, -50, 8, 8, 10, 10, 44, 44, -98, -98, -34, -34, 24, 24, 22, 22, 36, 36, -24, -24, 90, 90, -14, -14, -90, -90, 72, 72, 62, 62, -48, -48, 10, 10, 12, 12, -46, -46, -108, -108, -108, -108, 70, 70, 88, 88, -58, -58, 50, 50, -88, -88, -84, -84, 36, 36, -64, -64, -68, -68, 38, 38, -70, -70, 0, 0, -92, -92, 94, 94, 0, 0, 2, 2, 36, 36, -70, -70, 114, 114, -22, -22, -52, -52, 12, 12, -82, -82, 48, 48, 82, 82, 20, 20, -54, -54, -98, -98, -16, -16, 122, 122, -84, -84, 0, 0, 10, 34, 34, 36, 36, -36, -36, 94, 94, 66, 66, -16, -16, 62, 62, -42, -42, -84, -84, -14, -14, -72, -72, -132, -132, 120, 120, 10, 10, 64, 64, 12, 12, 46, 46, -40, -40, 98, 98, -114, -114, -18, -18, -24, -24, -2, -2, -64, -64, 92, 92, -34, -34, -48, -48, -74, -74, 80, 80, -38, -38, -94, -94, 36, 36, -24, -24, -60, -60, 30, 30, -64, -64, -44, -44, -18, -18, -134, -134, -76, -76, 28, 28, 22, 22, 122, 122, 72, 72, 18, 18, 64, 64, 82, 82, 88, 88, 72, 72, 132, 132, -48, -48, -18, -18, -74, -74, 74, 74, -88, -88, 4, 4, -36, -36, -88, -88, 50, 50, -92, -92, -26, -26, 2, 2, -10, -10, -24, -24, 96, 96, -38, -38, -52, -52, 6, 6, -6, -6, -98, -98, 96, 96, -22, -22, 62, 62, -80, -80, -40, -40, -26, -26, -84, -84, 98, 98, -124, -124, -50, -50, -48, -48, 58, 58, -96, -96, 128, 128, -100, -100, 114, 114, 108, 108, -28, -28, 70, 70, -72, -72, 26, 26, 42, 42, 44, 44, 22, 22, -56, -56, 4, 4, -70, -70, 110, 110, -94, 144, 144, -90, -90, -88, -88, 132, 132, 70, 70, 72, 72, -36, -36, -158, -158, 72, 72, -102, -102, 70, 70, 118, 118, 62, 62, -106, -106, 82, 82, 100, 100, -62, -62, 112, 112, -38, -38, 92, 92, -78, -78, -160, -160, -26, -26, 60, 60, -82, -82, -14, -14, 14, 14, -144, -144, -82, -82, -108, -108, -98, -98, -24, -24, 10, 10, 140, 140, -44, -44, 22, 22, -38, -38, -72, -72, 44, 44, 160, 160, -148, -148, 118, 118, 120, 120, 18, 18, -76, -76, -24, -24, 14, 14, -44, -44, -36, -36, 18, 18, -10, -10, 48, 48, 24, 24, 152, 152, -134, -134, 120, 120, -70, -70, 108, 108, -12, -12, 38, 38, 142, 142, 120, 120, 108, 108, 98, 98, 100, 100, 62, 62, -22, -22, 28, 28, -34, -34, 10, 10, -30, -30, -54, -54, 84, 84, 14, 14, -136, -136, 66, 66, 20, 20, -4, -4, 34, 34, -156, -156, 62, 62, -144, -144, -118, -118, -42, -42, -128, -128, 104, 104, 14, 14, -76, -76, 38, 38, -78, -78, -60, -60, -72, -72, -26, -26, -144, -144, 118, 118, -54, -54, -106, -106, 24, 24, 130, 130, 148, 148, 140, 140, -24, -24, -142, -74, -74, -38, -38, 34, 34, -104, -104, -146, -146, 64, 64, 10, 10, -10, -10, -160, -160, 116, 116, -132, -132, -30, -30, 36, 36, 82, 82, 4, 4, -106, -106, 48, 48, -86, -86, -180, -180, -154, -154, 60, 60, 14, 14, 94, 94, -150, -150, 114, 114, 20, 20, 58, 58, 156, 156, -154, -154, -168, -168, 48, 48, 118, 118, 10, 10, 16, 16, -42, -42, -84, -84, -130, -130, -46, -46, -48, -48, 94, 94, 146, 146, 52, 52, 138, 138, 130, 130, -172, -172, -134, -134, -72, -72, -8, -8, 12, 12, 54, 54, 48, 48, -52, -52, -82, -82, 2, 2, -178, -178, -152, -152, 124, 124, -96, -96, 42, 42, 12, 12, 62, 62, 74, 74, 12, 12, -50, -50, 94, 94, -50, -50, 14, 14, -180, -180, 36, 36, 168, 168, 26, 26, 134, 134, -120, -120, -92, -92, -6, -6, -10, -10, -60, -60, -58, -58, 116, 116, -26, -26, 24, 24, 122, 122, -108, -108, -160, -160, -116, -116, -132, -132, 152, 152, 124, 124, -62, -62, -130, -130, 88, 88, 82, 82, 54, 54, 162, 162, 192, 192, 90, 90, -42, -42, 0, 0, -104, -104, 42, 42, 62, 62, 0, 0, 84, 84, 122, 122, -34, -34, 16, 16, 148, 148, -88, -88, 134, 134, -52, -52, -146, -146, -130, -130]; heckeEigenvalues := AssociativeArray(); for i := 1 to #heckeEigenvaluesArray do heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i]; end for; ALEigenvalues := AssociativeArray(); ALEigenvalues[ideal] := 1; ALEigenvalues[ideal] := 1; ALEigenvalues[ideal] := -1; // EXAMPLE: // pp := Factorization(2*ZF)[1][1]; // heckeEigenvalues[pp]; print "To reconstruct the Hilbert newform f, type f, iso := Explode(make_newform());"; function make_newform(); M := HilbertCuspForms(F, NN); S := NewSubspace(M); // SetVerbose("ModFrmHil", 1); NFD := NewformDecomposition(S); newforms := [* Eigenform(U) : U in NFD *]; if #newforms eq 0 then; print "No Hilbert newforms at this level"; return 0; end if; print "Testing ", #newforms, " possible newforms"; newforms := [* f: f in newforms | IsIsomorphic(BaseField(f), K) *]; print #newforms, " newforms have the correct Hecke field"; if #newforms eq 0 then; print "No Hilbert newform found with the correct Hecke field"; return 0; end if; autos := Automorphisms(K); xnewforms := [* *]; for f in newforms do; if K eq RationalField() then; Append(~xnewforms, [* f, autos[1] *]); else; flag, iso := IsIsomorphic(K,BaseField(f)); for a in autos do; Append(~xnewforms, [* f, a*iso *]); end for; end if; end for; newforms := xnewforms; for P in primes do; xnewforms := [* *]; for f_iso in newforms do; f, iso := Explode(f_iso); if HeckeEigenvalue(f,P) eq iso(heckeEigenvalues[P]) then; Append(~xnewforms, f_iso); end if; end for; newforms := xnewforms; if #newforms eq 0 then; print "No Hilbert newform found which matches the Hecke eigenvalues"; return 0; else if #newforms eq 1 then; print "success: unique match"; return newforms[1]; end if; end if; end for; print #newforms, "Hilbert newforms found which match the Hecke eigenvalues"; return newforms[1]; end function;