/* 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![-10, 0, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, w], [3, 3, w + 1], [3, 3, w + 2], [5, 5, w], [13, 13, w + 6], [13, 13, w + 7], [31, 31, -2*w + 3], [31, 31, 2*w + 3], [37, 37, w + 11], [37, 37, w + 26], [41, 41, 3*w + 7], [41, 41, -3*w + 7], [43, 43, w + 15], [43, 43, w + 28], [49, 7, -7], [53, 53, w + 13], [53, 53, w + 40], [67, 67, w + 12], [67, 67, w + 55], [71, 71, -w - 9], [71, 71, w - 9], [79, 79, -4*w - 9], [79, 79, 4*w - 9], [83, 83, w + 33], [83, 83, w + 50], [89, 89, -3*w - 1], [89, 89, 3*w - 1], [107, 107, w + 44], [107, 107, w + 63], [121, 11, -11], [151, 151, 4*w - 3], [151, 151, -4*w - 3], [157, 157, w + 18], [157, 157, w + 139], [163, 163, w + 70], [163, 163, w + 93], [173, 173, w + 23], [173, 173, w + 150], [191, 191, -6*w - 13], [191, 191, 6*w - 13], [197, 197, w + 73], [197, 197, w + 124], [199, 199, -3*w - 17], [199, 199, 3*w - 17], [227, 227, w + 64], [227, 227, w + 163], [239, 239, 6*w - 11], [239, 239, -6*w - 11], [241, 241, -5*w - 3], [241, 241, 5*w - 3], [271, 271, 3*w - 19], [271, 271, -3*w - 19], [277, 277, w + 29], [277, 277, w + 248], [281, 281, 4*w - 21], [281, 281, -4*w - 21], [283, 283, w + 24], [283, 283, w + 259], [289, 17, -17], [293, 293, w + 89], [293, 293, w + 204], [307, 307, w + 138], [307, 307, w + 169], [311, 311, -6*w - 7], [311, 311, 6*w - 7], [317, 317, w + 31], [317, 317, w + 286], [347, 347, w + 125], [347, 347, w + 222], [359, 359, -6*w - 1], [359, 359, 6*w - 1], [361, 19, -19], [373, 373, w + 82], [373, 373, w + 291], [397, 397, w + 176], [397, 397, w + 221], [401, 401, 2*w - 21], [401, 401, -2*w - 21], [409, 409, 7*w - 9], [409, 409, -7*w - 9], [431, 431, -w - 21], [431, 431, w - 21], [439, 439, -3*w - 23], [439, 439, 3*w - 23], [443, 443, w + 203], [443, 443, w + 240], [449, 449, 8*w - 33], [449, 449, -8*w - 33], [467, 467, w + 145], [467, 467, w + 322], [479, 479, -5*w - 27], [479, 479, 5*w - 27], [521, 521, 9*w - 17], [521, 521, -9*w - 17], [523, 523, w + 202], [523, 523, w + 321], [529, 23, -23], [547, 547, w + 253], [547, 547, w + 294], [557, 557, w + 41], [557, 557, w + 516], [563, 563, w + 130], [563, 563, w + 433], [569, 569, -4*w - 27], [569, 569, 4*w - 27], [587, 587, w + 214], [587, 587, w + 373], [599, 599, 12*w + 29], [599, 599, -12*w + 29], [601, 601, 6*w - 31], [601, 601, -6*w - 31], [613, 613, w + 43], [613, 613, w + 570], [631, 631, -8*w - 3], [631, 631, 8*w - 3], [641, 641, 9*w - 13], [641, 641, -9*w - 13], [643, 643, w + 36], [643, 643, w + 607], [653, 653, w + 140], [653, 653, w + 513], [677, 677, w + 213], [677, 677, w + 464], [683, 683, w + 159], [683, 683, w + 524], [719, 719, -w - 27], [719, 719, w - 27], [733, 733, w + 47], [733, 733, w + 686], [751, 751, -3*w - 29], [751, 751, 3*w - 29], [757, 757, w + 143], [757, 757, w + 614], [761, 761, -9*w - 7], [761, 761, 9*w - 7], [769, 769, 11*w - 21], [769, 769, -11*w - 21], [773, 773, w + 118], [773, 773, w + 655], [787, 787, w + 369], [787, 787, w + 418], [797, 797, w + 49], [797, 797, w + 748], [809, 809, -9*w - 1], [809, 809, 9*w - 1], [827, 827, w + 254], [827, 827, w + 573], [839, 839, 5*w - 33], [839, 839, -5*w - 33], [841, 29, -29], [853, 853, w + 160], [853, 853, w + 693], [877, 877, w + 42], [877, 877, w + 835], [881, 881, -8*w - 39], [881, 881, 8*w - 39], [883, 883, w + 234], [883, 883, w + 649], [907, 907, w + 266], [907, 907, w + 641], [911, 911, 12*w - 23], [911, 911, -12*w - 23], [919, 919, 10*w - 9], [919, 919, -10*w - 9], [929, 929, 4*w - 33], [929, 929, -4*w - 33], [947, 947, w + 111], [947, 947, w + 836], [991, 991, 10*w - 3], [991, 991, -10*w - 3], [997, 997, w + 134], [997, 997, w + 863], [1009, 1009, 6*w - 37], [1009, 1009, -6*w - 37], [1013, 1013, w + 353], [1013, 1013, w + 660], [1031, 1031, 7*w - 39], [1031, 1031, -7*w - 39], [1039, 1039, 16*w + 39], [1039, 1039, -16*w + 39], [1049, 1049, 2*w - 33], [1049, 1049, -2*w - 33], [1093, 1093, w + 292], [1093, 1093, w + 801], [1117, 1117, w + 521], [1117, 1117, w + 596], [1123, 1123, w + 75], [1123, 1123, w + 1048], [1129, 1129, -11*w - 9], [1129, 1129, 11*w - 9], [1151, 1151, -12*w - 17], [1151, 1151, 12*w - 17], [1163, 1163, w + 123], [1163, 1163, w + 1040], [1187, 1187, w + 312], [1187, 1187, w + 875], [1201, 1201, -11*w - 3], [1201, 1201, 11*w - 3], [1213, 1213, w + 181], [1213, 1213, w + 1032], [1231, 1231, 14*w - 27], [1231, 1231, -14*w - 27], [1237, 1237, w + 61], [1237, 1237, w + 1176], [1249, 1249, -13*w - 21], [1249, 1249, 13*w - 21], [1277, 1277, w + 574], [1277, 1277, w + 703], [1279, 1279, 3*w - 37], [1279, 1279, -3*w - 37], [1283, 1283, w + 152], [1283, 1283, w + 1131], [1289, 1289, -15*w - 31], [1289, 1289, 15*w - 31], [1307, 1307, w + 453], [1307, 1307, w + 854], [1319, 1319, 12*w - 11], [1319, 1319, -12*w - 11], [1321, 1321, -6*w - 41], [1321, 1321, 6*w - 41], [1361, 1361, -4*w - 39], [1361, 1361, 4*w - 39], [1373, 1373, w + 243], [1373, 1373, w + 1130], [1399, 1399, -9*w - 47], [1399, 1399, 9*w - 47], [1409, 1409, 15*w - 29], [1409, 1409, -15*w - 29], [1427, 1427, w + 504], [1427, 1427, w + 923], [1439, 1439, -12*w - 1], [1439, 1439, 12*w - 1], [1453, 1453, w + 54], [1453, 1453, w + 1399], [1471, 1471, -16*w - 33], [1471, 1471, 16*w - 33], [1481, 1481, 2*w - 39], [1481, 1481, -2*w - 39], [1483, 1483, w + 708], [1483, 1483, w + 775], [1489, 1489, 6*w - 43], [1489, 1489, -6*w - 43], [1493, 1493, w + 67], [1493, 1493, w + 1426], [1511, 1511, -w - 39], [1511, 1511, w - 39], [1523, 1523, w + 489], [1523, 1523, w + 1034], [1559, 1559, -13*w - 57], [1559, 1559, 13*w - 57], [1597, 1597, w + 653], [1597, 1597, w + 944], [1601, 1601, 10*w - 51], [1601, 1601, -10*w - 51], [1609, 1609, -13*w - 9], [1609, 1609, 13*w - 9], [1613, 1613, w + 220], [1613, 1613, w + 1393], [1627, 1627, w + 389], [1627, 1627, w + 1238], [1637, 1637, w + 565], [1637, 1637, w + 1072], [1667, 1667, w + 798], [1667, 1667, w + 869], [1693, 1693, w + 324], [1693, 1693, w + 1369], [1721, 1721, -15*w - 23], [1721, 1721, 15*w - 23], [1723, 1723, w + 449], [1723, 1723, w + 1274], [1733, 1733, w + 273], [1733, 1733, w + 1460], [1747, 1747, w + 532], [1747, 1747, w + 1215], [1759, 1759, 3*w - 43], [1759, 1759, -3*w - 43], [1787, 1787, w + 564], [1787, 1787, w + 1223], [1801, 1801, 17*w - 33], [1801, 1801, -17*w - 33], [1831, 1831, -16*w - 27], [1831, 1831, 16*w - 27], [1867, 1867, w + 710], [1867, 1867, w + 1157], [1871, 1871, -18*w - 37], [1871, 1871, 18*w - 37], [1877, 1877, w + 605], [1877, 1877, w + 1272], [1879, 1879, 14*w - 9], [1879, 1879, -14*w - 9], [1889, 1889, -15*w - 19], [1889, 1889, 15*w - 19], [1907, 1907, w + 840], [1907, 1907, w + 1067], [1933, 1933, w + 819], [1933, 1933, w + 1114], [1951, 1951, -14*w - 3], [1951, 1951, 14*w - 3], [1973, 1973, w + 77], [1973, 1973, w + 1896], [1987, 1987, w + 716], [1987, 1987, w + 1271], [1997, 1997, w + 783], [1997, 1997, w + 1214], [1999, 1999, -9*w - 53], [1999, 1999, 9*w - 53], [2003, 2003, w + 689], [2003, 2003, w + 1314], [2027, 2027, w + 487], [2027, 2027, w + 1540], [2039, 2039, -11*w - 57], [2039, 2039, 11*w - 57], [2053, 2053, w + 808], [2053, 2053, w + 1245], [2081, 2081, -15*w - 13], [2081, 2081, 15*w - 13], [2083, 2083, w + 250], [2083, 2083, w + 1833], [2089, 2089, -19*w - 39], [2089, 2089, 19*w - 39], [2111, 2111, -7*w - 51], [2111, 2111, 7*w - 51], [2129, 2129, 15*w - 11], [2129, 2129, -15*w - 11], [2161, 2161, 17*w - 27], [2161, 2161, -17*w - 27], [2203, 2203, w + 105], [2203, 2203, w + 2098], [2209, 47, -47], [2213, 2213, w + 426], [2213, 2213, w + 1787], [2237, 2237, w + 602], [2237, 2237, w + 1635], [2239, 2239, -22*w + 51], [2239, 2239, 22*w + 51], [2243, 2243, w + 540], [2243, 2243, w + 1703], [2267, 2267, w + 733], [2267, 2267, w + 1534], [2281, 2281, 12*w - 61], [2281, 2281, -12*w - 61], [2293, 2293, w + 83], [2293, 2293, w + 2210], [2311, 2311, 3*w - 49], [2311, 2311, -3*w - 49], [2333, 2333, w + 251], [2333, 2333, w + 2082], [2347, 2347, w + 325], [2347, 2347, w + 2022], [2351, 2351, 5*w - 51], [2351, 2351, -5*w - 51], [2357, 2357, w + 206], [2357, 2357, w + 2151], [2399, 2399, -18*w - 29], [2399, 2399, 18*w - 29], [2437, 2437, w + 436], [2437, 2437, w + 2001], [2441, 2441, -4*w - 51], [2441, 2441, 4*w - 51], [2467, 2467, w + 479], [2467, 2467, w + 1988], [2477, 2477, w + 695], [2477, 2477, w + 1782], [2521, 2521, 19*w - 33], [2521, 2521, -19*w - 33], [2551, 2551, 16*w - 3], [2551, 2551, -16*w - 3], [2557, 2557, w + 1005], [2557, 2557, w + 1552], [2591, 2591, -w - 51], [2591, 2591, w - 51], [2609, 2609, 8*w - 57], [2609, 2609, -8*w - 57], [2671, 2671, 9*w - 59], [2671, 2671, -9*w - 59], [2677, 2677, w + 1089], [2677, 2677, w + 1588], [2683, 2683, w + 832], [2683, 2683, w + 1851], [2689, 2689, -18*w - 77], [2689, 2689, 18*w - 77], [2693, 2693, w + 873], [2693, 2693, w + 1820], [2707, 2707, w + 654], [2707, 2707, w + 2053], [2711, 2711, 18*w - 23], [2711, 2711, -18*w - 23], [2719, 2719, -3*w - 53], [2719, 2719, 3*w - 53], [2729, 2729, 21*w - 41], [2729, 2729, -21*w - 41], [2791, 2791, -26*w + 63], [2791, 2791, 26*w + 63], [2797, 2797, w + 788], [2797, 2797, w + 2009], [2801, 2801, -14*w - 69], [2801, 2801, 14*w - 69], [2803, 2803, w + 290], [2803, 2803, w + 2513], [2837, 2837, w + 226], [2837, 2837, w + 2611], [2843, 2843, w + 973], [2843, 2843, w + 1870], [2879, 2879, -18*w - 19], [2879, 2879, 18*w - 19], [2917, 2917, w + 599], [2917, 2917, w + 2318], [2957, 2957, w + 648], [2957, 2957, w + 2309], [2963, 2963, w + 1303], [2963, 2963, w + 1660], [2969, 2969, -10*w - 63], [2969, 2969, 10*w - 63], [2999, 2999, -5*w - 57], [2999, 2999, 5*w - 57], [3001, 3001, -25*w + 57], [3001, 3001, 25*w + 57], [3037, 3037, w + 78], [3037, 3037, w + 2959], [3041, 3041, -21*w - 37], [3041, 3041, 21*w - 37], [3049, 3049, -12*w - 67], [3049, 3049, 12*w - 67], [3067, 3067, w + 910], [3067, 3067, w + 2157], [3079, 3079, 15*w - 73], [3079, 3079, -15*w - 73], [3083, 3083, w + 795], [3083, 3083, w + 2288], [3089, 3089, 4*w - 57], [3089, 3089, -4*w - 57], [3119, 3119, -18*w - 11], [3119, 3119, 18*w - 11], [3121, 3121, -6*w - 59], [3121, 3121, 6*w - 59], [3163, 3163, w + 1122], [3163, 3163, w + 2041], [3169, 3169, 19*w - 21], [3169, 3169, -19*w - 21], [3187, 3187, w + 411], [3187, 3187, w + 2776], [3191, 3191, 18*w - 7], [3191, 3191, -18*w - 7], [3203, 3203, w + 310], [3203, 3203, w + 2893], [3209, 3209, 2*w - 57], [3209, 3209, -2*w - 57], [3253, 3253, w + 242], [3253, 3253, w + 3011], [3271, 3271, -20*w - 27], [3271, 3271, 20*w - 27], [3307, 3307, w + 244], [3307, 3307, w + 3063], [3319, 3319, 22*w - 39], [3319, 3319, -22*w - 39], [3323, 3323, w + 1259], [3323, 3323, w + 2064], [3329, 3329, -8*w - 63], [3329, 3329, 8*w - 63], [3347, 3347, w + 862], [3347, 3347, w + 2485], [3359, 3359, -24*w - 49], [3359, 3359, 24*w - 49], [3361, 3361, 6*w - 61], [3361, 3361, -6*w - 61], [3373, 3373, w + 949], [3373, 3373, w + 2424], [3391, 3391, -3*w - 59], [3391, 3391, 3*w - 59], [3413, 3413, w + 320], [3413, 3413, w + 3093], [3449, 3449, 21*w - 31], [3449, 3449, -21*w - 31], [3467, 3467, w + 395], [3467, 3467, w + 3072], [3481, 59, -59], [3511, 3511, -21*w - 89], [3511, 3511, 21*w - 89], [3517, 3517, w + 1302], [3517, 3517, w + 2215], [3529, 3529, 19*w - 9], [3529, 3529, -19*w - 9], [3533, 3533, w + 103], [3533, 3533, w + 3430], [3547, 3547, w + 526], [3547, 3547, w + 3021], [3557, 3557, w + 980], [3557, 3557, w + 2577], [3559, 3559, -20*w - 21], [3559, 3559, 20*w - 21], [3613, 3613, w + 937], [3613, 3613, w + 2676], [3631, 3631, 3*w - 61], [3631, 3631, -3*w - 61], [3637, 3637, w + 1751], [3637, 3637, w + 1886], [3643, 3643, w + 135], [3643, 3643, w + 3508], [3671, 3671, 30*w + 73], [3671, 3671, -30*w + 73], [3677, 3677, w + 974], [3677, 3677, w + 2703], [3719, 3719, 5*w - 63], [3719, 3719, -5*w - 63], [3721, 61, -61], [3733, 3733, w + 768], [3733, 3733, w + 2965], [3761, 3761, -10*w - 69], [3761, 3761, 10*w - 69], [3769, 3769, 23*w - 39], [3769, 3769, -23*w - 39], [3797, 3797, w + 558], [3797, 3797, w + 3239], [3803, 3803, w + 1848], [3803, 3803, w + 1955], [3853, 3853, w + 340], [3853, 3853, w + 3513], [3877, 3877, w + 1529], [3877, 3877, w + 2348], [3881, 3881, 21*w - 23], [3881, 3881, -21*w - 23], [3889, 3889, 12*w - 73], [3889, 3889, -12*w - 73], [3907, 3907, w + 1004], [3907, 3907, w + 2903], [3911, 3911, 24*w - 43], [3911, 3911, -24*w - 43], [3917, 3917, w + 1620], [3917, 3917, w + 2297], [3919, 3919, -20*w - 9], [3919, 3919, 20*w - 9], [3923, 3923, w + 381], [3923, 3923, w + 3542], [3929, 3929, 2*w - 63], [3929, 3929, -2*w - 63], [3947, 3947, w + 1919], [3947, 3947, w + 2028], [4001, 4001, 16*w - 81], [4001, 4001, -16*w - 81], [4003, 4003, w + 1083], [4003, 4003, w + 2920], [4013, 4013, w + 1794], [4013, 4013, w + 2219], [4027, 4027, w + 1266], [4027, 4027, w + 2761], [4049, 4049, -21*w - 19], [4049, 4049, 21*w - 19], [4079, 4079, 24*w - 41], [4079, 4079, -24*w - 41], [4093, 4093, w + 1738], [4093, 4093, w + 2355], [4111, 4111, -22*w - 27], [4111, 4111, 22*w - 27], [4129, 4129, 6*w - 67], [4129, 4129, -6*w - 67], [4133, 4133, w + 713], [4133, 4133, w + 3420], [4157, 4157, w + 1608], [4157, 4157, w + 2549], [4159, 4159, 26*w - 51], [4159, 4159, -26*w - 51], [4201, 4201, -23*w - 33], [4201, 4201, 23*w - 33], [4231, 4231, -9*w - 71], [4231, 4231, 9*w - 71], [4241, 4241, 21*w - 13], [4241, 4241, -21*w - 13], [4243, 4243, w + 2065], [4243, 4243, w + 2178], [4253, 4253, w + 113], [4253, 4253, w + 4140], [4271, 4271, -7*w - 69], [4271, 4271, 7*w - 69], [4283, 4283, w + 578], [4283, 4283, w + 3705], [4289, 4289, -21*w - 11], [4289, 4289, 21*w - 11], [4357, 4357, w + 343], [4357, 4357, w + 4014], [4363, 4363, w + 637], [4363, 4363, w + 3726], [4373, 4373, w + 1489], [4373, 4373, w + 2884], [4391, 4391, 24*w - 37], [4391, 4391, -24*w - 37], [4397, 4397, w + 988], [4397, 4397, w + 3409], [4409, 4409, -21*w - 1], [4409, 4409, 21*w - 1], [4441, 4441, 24*w - 101], [4441, 4441, -24*w - 101], [4481, 4481, 27*w - 53], [4481, 4481, -27*w - 53], [4483, 4483, w + 1774], [4483, 4483, w + 2709], [4493, 4493, w + 592], [4493, 4493, w + 3901], [4507, 4507, w + 1705], [4507, 4507, w + 2802], [4517, 4517, w + 1895], [4517, 4517, w + 2622], [4519, 4519, 9*w - 73], [4519, 4519, -9*w - 73], [4523, 4523, w + 856], [4523, 4523, w + 3667], [4547, 4547, w + 1352], [4547, 4547, w + 3195], [4561, 4561, -23*w - 27], [4561, 4561, 23*w - 27], [4591, 4591, -28*w - 57], [4591, 4591, 28*w - 57], [4597, 4597, w + 1263], [4597, 4597, w + 3334], [4603, 4603, w + 96], [4603, 4603, w + 4507], [4637, 4637, w + 1831], [4637, 4637, w + 2806], [4639, 4639, 15*w - 83], [4639, 4639, -15*w - 83], [4643, 4643, w + 1049], [4643, 4643, w + 3594], [4649, 4649, -33*w + 79], [4649, 4649, 33*w + 79], [4679, 4679, -17*w - 87], [4679, 4679, 17*w - 87], [4721, 4721, 2*w - 69], [4721, 4721, -2*w - 69], [4723, 4723, w + 1003], [4723, 4723, w + 3720], [4729, 4729, -25*w - 39], [4729, 4729, 25*w - 39], [4733, 4733, w + 763], [4733, 4733, w + 3970], [4751, 4751, -w - 69], [4751, 4751, w - 69], [4759, 4759, -22*w - 9], [4759, 4759, 22*w - 9], [4787, 4787, w + 1544], [4787, 4787, w + 3243], [4799, 4799, -24*w - 31], [4799, 4799, 24*w - 31], [4801, 4801, -12*w - 79], [4801, 4801, 12*w - 79], [4813, 4813, w + 380], [4813, 4813, w + 4433], [4831, 4831, 22*w - 3], [4831, 4831, -22*w - 3], [4871, 4871, -13*w - 81], [4871, 4871, 13*w - 81], [4877, 4877, w + 121], [4877, 4877, w + 4756], [4889, 4889, 27*w - 49], [4889, 4889, -27*w - 49], [4919, 4919, -24*w - 29], [4919, 4919, 24*w - 29], [4933, 4933, w + 298], [4933, 4933, w + 4635], [4951, 4951, -3*w - 71], [4951, 4951, 3*w - 71], [4957, 4957, w + 2139], [4957, 4957, w + 2818], [4969, 4969, 6*w - 73], [4969, 4969, -6*w - 73], [4973, 4973, w + 2272], [4973, 4973, w + 2701], [4987, 4987, w + 2310], [4987, 4987, w + 2677], [4999, 4999, -34*w + 81], [4999, 4999, 34*w + 81], [5003, 5003, w + 2212], [5003, 5003, w + 2791], [5009, 5009, 16*w - 87], [5009, 5009, -16*w - 87], [5039, 5039, 19*w - 93], [5039, 5039, -19*w - 93], [5077, 5077, w + 995], [5077, 5077, w + 4082], [5081, 5081, 27*w - 47], [5081, 5081, -27*w - 47], [5107, 5107, w + 773], [5107, 5107, w + 4334], [5119, 5119, 9*w - 77], [5119, 5119, -9*w - 77], [5147, 5147, w + 1380], [5147, 5147, w + 3767], [5197, 5197, w + 102], [5197, 5197, w + 5095], [5209, 5209, 23*w - 9], [5209, 5209, -23*w - 9], [5227, 5227, w + 485], [5227, 5227, w + 4742], [5231, 5231, 24*w - 23], [5231, 5231, -24*w - 23], [5237, 5237, w + 2488], [5237, 5237, w + 2749], [5279, 5279, -30*w - 61], [5279, 5279, 30*w - 61], [5281, 5281, -23*w - 3], [5281, 5281, 23*w - 3], [5323, 5323, w + 1299], [5323, 5323, w + 4024], [5329, 73, -73], [5333, 5333, w + 400], [5333, 5333, w + 4933], [5347, 5347, w + 2268], [5347, 5347, w + 3079], [5351, 5351, 11*w - 81], [5351, 5351, -11*w - 81], [5387, 5387, w + 1603], [5387, 5387, w + 3784], [5399, 5399, 24*w - 19], [5399, 5399, -24*w - 19], [5413, 5413, w + 1312], [5413, 5413, w + 4101], [5431, 5431, 9*w - 79], [5431, 5431, -9*w - 79], [5437, 5437, w + 2636], [5437, 5437, w + 2801], [5441, 5441, 27*w - 43], [5441, 5441, -27*w - 43], [5443, 5443, w + 165], [5443, 5443, w + 5278], [5449, 5449, -12*w - 83], [5449, 5449, 12*w - 83], [5471, 5471, 24*w - 17], [5471, 5471, -24*w - 17], [5477, 5477, w + 314], [5477, 5477, w + 5163], [5479, 5479, 27*w - 113], [5479, 5479, -27*w - 113], [5483, 5483, w + 267], [5483, 5483, w + 5216], [5507, 5507, w + 672], [5507, 5507, w + 4835], [5519, 5519, 30*w - 59], [5519, 5519, -30*w - 59], [5521, 5521, 25*w - 27], [5521, 5521, -25*w - 27], [5557, 5557, w + 1569], [5557, 5557, w + 3988], [5563, 5563, w + 543], [5563, 5563, w + 5020], [5569, 5569, -6*w - 77], [5569, 5569, 6*w - 77], [5573, 5573, w + 1893], [5573, 5573, w + 3680], [5591, 5591, 24*w - 13], [5591, 5591, -24*w - 13], [5639, 5639, -24*w - 11], [5639, 5639, 24*w - 11], [5641, 5641, -31*w - 63], [5641, 5641, 31*w - 63], [5653, 5653, w + 2183], [5653, 5653, w + 3470], [5683, 5683, w + 727], [5683, 5683, w + 4956], [5689, 5689, 35*w + 81], [5689, 5689, -35*w + 81], [5693, 5693, w + 2617], [5693, 5693, w + 3076], [5711, 5711, -24*w - 7], [5711, 5711, 24*w - 7], [5717, 5717, w + 131], [5717, 5717, w + 5586], [5791, 5791, 38*w + 93], [5791, 5791, -38*w + 93], [5801, 5801, -20*w - 99], [5801, 5801, 20*w - 99], [5813, 5813, w + 1136], [5813, 5813, w + 4677], [5827, 5827, w + 108], [5827, 5827, w + 5719], [5839, 5839, -3*w - 77], [5839, 5839, 3*w - 77], [5843, 5843, w + 1494], [5843, 5843, w + 4349], [5849, 5849, -28*w - 117], [5849, 5849, 28*w - 117], [5867, 5867, w + 2620], [5867, 5867, w + 3247], [5879, 5879, 13*w - 87], [5879, 5879, -13*w - 87], [5881, 5881, 6*w - 79], [5881, 5881, -6*w - 79], [5923, 5923, w + 606], [5923, 5923, w + 5317], [5987, 5987, w + 279], [5987, 5987, w + 5708], [6037, 6037, w + 1085], [6037, 6037, w + 4952], [6043, 6043, w + 2249], [6043, 6043, w + 3794], [6053, 6053, w + 1038], [6053, 6053, w + 5015], [6067, 6067, w + 2116], [6067, 6067, w + 3951], [6079, 6079, -9*w - 83], [6079, 6079, 9*w - 83], [6089, 6089, 16*w - 93], [6089, 6089, -16*w - 93], [6121, 6121, -37*w + 87], [6121, 6121, 37*w + 87], [6133, 6133, w + 975], [6133, 6133, w + 5158], [6151, 6151, 3*w - 79], [6151, 6151, -3*w - 79], [6163, 6163, w + 430], [6163, 6163, w + 5733], [6173, 6173, w + 1262], [6173, 6173, w + 4911], [6197, 6197, w + 334], [6197, 6197, w + 5863], [6199, 6199, 21*w - 103], [6199, 6199, -21*w - 103], [6203, 6203, w + 1585], [6203, 6203, w + 4618], [6271, 6271, 32*w - 63], [6271, 6271, -32*w - 63], [6277, 6277, w + 2710], [6277, 6277, w + 3567], [6311, 6311, 5*w - 81], [6311, 6311, -5*w - 81], [6317, 6317, w + 413], [6317, 6317, w + 5904], [6323, 6323, w + 1418], [6323, 6323, w + 4905], [6329, 6329, -27*w - 31], [6329, 6329, 27*w - 31], [6359, 6359, -11*w - 87], [6359, 6359, 11*w - 87], [6361, 6361, -31*w - 57], [6361, 6361, 31*w - 57], [6373, 6373, w + 2572], [6373, 6373, w + 3801], [6397, 6397, w + 1018], [6397, 6397, w + 5379], [6427, 6427, w + 3144], [6427, 6427, w + 3283], [6449, 6449, 27*w - 29], [6449, 6449, -27*w - 29], [6481, 6481, 12*w - 89], [6481, 6481, -12*w - 89], [6521, 6521, 2*w - 81], [6521, 6521, -2*w - 81], [6529, 6529, -6*w - 83], [6529, 6529, 6*w - 83], [6547, 6547, w + 2855], [6547, 6547, w + 3692], [6551, 6551, -w - 81], [6551, 6551, w - 81], [6563, 6563, w + 3071], [6563, 6563, w + 3492], [6569, 6569, 10*w - 87], [6569, 6569, -10*w - 87], [6599, 6599, 30*w - 49], [6599, 6599, -30*w - 49], [6637, 6637, w + 2724], [6637, 6637, w + 3913], [6653, 6653, w + 930], [6653, 6653, w + 5723], [6679, 6679, -26*w - 9], [6679, 6679, 26*w - 9], [6689, 6689, -14*w - 93], [6689, 6689, 14*w - 93], [6719, 6719, -29*w - 123], [6719, 6719, 29*w - 123], [6733, 6733, w + 1318], [6733, 6733, w + 5415], [6761, 6761, 27*w - 23], [6761, 6761, -27*w - 23], [6763, 6763, w + 1655], [6763, 6763, w + 5108], [6791, 6791, 30*w - 47], [6791, 6791, -30*w - 47], [6803, 6803, w + 3330], [6803, 6803, w + 3473], [6827, 6827, w + 2214], [6827, 6827, w + 4613], [6841, 6841, -12*w - 91], [6841, 6841, 12*w - 91], [6871, 6871, 38*w + 87], [6871, 6871, -38*w + 87], [6883, 6883, w + 352], [6883, 6883, w + 6531], [6907, 6907, w + 734], [6907, 6907, w + 6173], [6911, 6911, -17*w - 99], [6911, 6911, 17*w - 99], [6917, 6917, w + 2345], [6917, 6917, w + 4572], [6947, 6947, w + 507], [6947, 6947, w + 6440], [6959, 6959, -13*w - 93], [6959, 6959, 13*w - 93], [6961, 6961, 18*w - 101], [6961, 6961, -18*w - 101], [6991, 6991, -32*w - 57], [6991, 6991, 32*w - 57], [6997, 6997, w + 3194], [6997, 6997, w + 3803], [7001, 7001, -27*w - 17], [7001, 7001, 27*w - 17], [7013, 7013, w + 2592], [7013, 7013, w + 4421], [7027, 7027, w + 2882], [7027, 7027, w + 4145], [7039, 7039, -21*w - 107], [7039, 7039, 21*w - 107], [7043, 7043, w + 1348], [7043, 7043, w + 5695], [7079, 7079, -7*w - 87], [7079, 7079, 7*w - 87], [7121, 7121, 27*w - 13], [7121, 7121, -27*w - 13], [7129, 7129, 30*w - 127], [7129, 7129, -30*w - 127], [7151, 7151, -30*w - 43], [7151, 7151, 30*w - 43], [7159, 7159, -15*w - 97], [7159, 7159, 15*w - 97], [7187, 7187, w + 917], [7187, 7187, w + 6270], [7213, 7213, w + 2590], [7213, 7213, w + 4623], [7237, 7237, w + 2089], [7237, 7237, w + 5148], [7243, 7243, w + 2312], [7243, 7243, w + 4931], [7253, 7253, w + 2124], [7253, 7253, w + 5129], [7283, 7283, w + 823], [7283, 7283, w + 6460], [7307, 7307, w + 1088], [7307, 7307, w + 6219], [7321, 7321, 29*w - 33], [7321, 7321, -29*w - 33], [7333, 7333, w + 2678], [7333, 7333, w + 4655], [7351, 7351, -40*w + 93], [7351, 7351, 40*w + 93], [7369, 7369, 18*w - 103], [7369, 7369, -18*w - 103], [7477, 7477, w + 959], [7477, 7477, w + 6518], [7481, 7481, 22*w - 111], [7481, 7481, -22*w - 111], [7489, 7489, 35*w - 69], [7489, 7489, -35*w - 69], [7507, 7507, w + 2117], [7507, 7507, w + 5390], [7517, 7517, w + 3037], [7517, 7517, w + 4480], [7523, 7523, w + 368], [7523, 7523, w + 7155], [7529, 7529, 2*w - 87], [7529, 7529, -2*w - 87], [7547, 7547, w + 1849], [7547, 7547, w + 5698], [7559, 7559, -w - 87], [7559, 7559, w - 87], [7561, 7561, -6*w - 89], [7561, 7561, 6*w - 89], [7573, 7573, w + 1942], [7573, 7573, w + 5631], [7591, 7591, 34*w - 63], [7591, 7591, -34*w - 63], [7603, 7603, w + 195], [7603, 7603, w + 7408], [7639, 7639, 32*w - 51], [7639, 7639, -32*w - 51], [7643, 7643, w + 2589], [7643, 7643, w + 5054], [7649, 7649, -10*w - 93], [7649, 7649, 10*w - 93], [7681, 7681, -29*w - 27], [7681, 7681, 29*w - 27], [7717, 7717, w + 3242], [7717, 7717, w + 4475], [7723, 7723, w + 2680], [7723, 7723, w + 5043], [7757, 7757, w + 3028], [7757, 7757, w + 4729], [7759, 7759, 28*w - 9], [7759, 7759, -28*w - 9], [7841, 7841, 14*w - 99], [7841, 7841, -14*w - 99], [7853, 7853, w + 1056], [7853, 7853, w + 6797], [7867, 7867, w + 595], [7867, 7867, w + 7272], [7877, 7877, w + 2994], [7877, 7877, w + 4883], [7879, 7879, -33*w - 137], [7879, 7879, 33*w - 137], [7883, 7883, w + 804], [7883, 7883, w + 7079], [7907, 7907, w + 3227], [7907, 7907, w + 4680], [7919, 7919, 36*w - 71], [7919, 7919, -36*w - 71], [7933, 7933, w + 126], [7933, 7933, w + 7807], [7951, 7951, -15*w - 101], [7951, 7951, 15*w - 101], [7963, 7963, w + 3575], [7963, 7963, w + 4388], [8009, 8009, -8*w - 93], [8009, 8009, 8*w - 93], [8039, 8039, -30*w - 31], [8039, 8039, 30*w - 31], [8053, 8053, w + 1128], [8053, 8053, w + 6925], [8081, 8081, -33*w - 53], [8081, 8081, 33*w - 53], [8089, 8089, -31*w - 39], [8089, 8089, 31*w - 39], [8093, 8093, w + 1695], [8093, 8093, w + 6398], [8111, 8111, 13*w - 99], [8111, 8111, -13*w - 99], [8117, 8117, w + 3365], [8117, 8117, w + 4752], [8123, 8123, w + 1074], [8123, 8123, w + 7049], [8147, 8147, w + 2673], [8147, 8147, w + 5474], [8161, 8161, 30*w - 131], [8161, 8161, -30*w - 131], [8191, 8191, 3*w - 91], [8191, 8191, -3*w - 91], [8209, 8209, -18*w - 107], [8209, 8209, 18*w - 107], [8231, 8231, 42*w + 97], [8231, 8231, -42*w + 97], [8237, 8237, w + 1483], [8237, 8237, w + 6754], [8243, 8243, w + 1809], [8243, 8243, w + 6434], [8293, 8293, w + 3815], [8293, 8293, w + 4478], [8311, 8311, -34*w - 57], [8311, 8311, 34*w - 57], [8317, 8317, w + 3493], [8317, 8317, w + 4824], [8329, 8329, -29*w - 9], [8329, 8329, 29*w - 9], [8363, 8363, w + 388], [8363, 8363, w + 7975], [8369, 8369, 45*w + 109], [8369, 8369, -45*w + 109], [8387, 8387, w + 2864], [8387, 8387, w + 5523], [8431, 8431, -33*w - 139], [8431, 8431, 33*w - 139], [8443, 8443, w + 2628], [8443, 8443, w + 5815], [8467, 8467, w + 2438], [8467, 8467, w + 6029], [8521, 8521, 31*w - 33], [8521, 8521, -31*w - 33], [8563, 8563, w + 2261], [8563, 8563, w + 6302], [8573, 8573, w + 1920], [8573, 8573, w + 6653], [8597, 8597, w + 2400], [8597, 8597, w + 6197], [8599, 8599, 9*w - 97], [8599, 8599, -9*w - 97], [8609, 8609, 2*w - 93], [8609, 8609, -2*w - 93], [8627, 8627, w + 4233], [8627, 8627, w + 4394], [8641, 8641, 18*w - 109], [8641, 8641, -18*w - 109], [8677, 8677, w + 2013], [8677, 8677, w + 6664], [8681, 8681, 33*w - 47], [8681, 8681, -33*w - 47], [8689, 8689, 43*w + 99], [8689, 8689, -43*w + 99], [8693, 8693, w + 2507], [8693, 8693, w + 6186], [8707, 8707, w + 132], [8707, 8707, w + 8575], [8719, 8719, 32*w - 39], [8719, 8719, -32*w - 39], [8747, 8747, w + 826], [8747, 8747, w + 7921], [8761, 8761, 12*w - 101], [8761, 8761, -12*w - 101], [8803, 8803, w + 2160], [8803, 8803, w + 6643], [8831, 8831, -30*w - 13], [8831, 8831, 30*w - 13], [8837, 8837, w + 4249], [8837, 8837, w + 4588], [8839, 8839, 46*w + 111], [8839, 8839, -46*w + 111], [8849, 8849, -22*w - 117], [8849, 8849, 22*w - 117], [8867, 8867, w + 1888], [8867, 8867, w + 6979], [8893, 8893, w + 3249], [8893, 8893, w + 5644], [8923, 8923, w + 2108], [8923, 8923, w + 6815], [8929, 8929, 37*w - 69], [8929, 8929, -37*w - 69], [8933, 8933, w + 2933], [8933, 8933, w + 6000], [8951, 8951, -30*w - 7], [8951, 8951, 30*w - 7], [8963, 8963, w + 913], [8963, 8963, w + 8050], [8969, 8969, -39*w - 79], [8969, 8969, 39*w - 79], [8999, 8999, -30*w - 1], [8999, 8999, 30*w - 1], [9001, 9001, -35*w - 57], [9001, 9001, 35*w - 57], [9013, 9013, w + 520], [9013, 9013, w + 8493], [9041, 9041, -33*w - 43], [9041, 9041, 33*w - 43], [9043, 9043, w + 2900], [9043, 9043, w + 6143], [9049, 9049, 6*w - 97], [9049, 9049, -6*w - 97], [9067, 9067, w + 404], [9067, 9067, w + 8663], [9133, 9133, w + 3938], [9133, 9133, w + 5195], [9151, 9151, -32*w - 33], [9151, 9151, 32*w - 33], [9157, 9157, w + 406], [9157, 9157, w + 8751], [9161, 9161, 8*w - 99], [9161, 9161, -8*w - 99], [9173, 9173, w + 1493], [9173, 9173, w + 7680], [9187, 9187, w + 2773], [9187, 9187, w + 6414], [9199, 9199, -15*w - 107], [9199, 9199, 15*w - 107], [9203, 9203, w + 3113], [9203, 9203, w + 6090], [9209, 9209, 33*w - 41], [9209, 9209, -33*w - 41], [9227, 9227, w + 3004], [9227, 9227, w + 6223], [9239, 9239, -36*w - 61], [9239, 9239, 36*w - 61], [9241, 9241, -36*w - 149], [9241, 9241, 36*w - 149], [9277, 9277, w + 1345], [9277, 9277, w + 7932], [9281, 9281, 39*w - 77], [9281, 9281, -39*w - 77], [9283, 9283, w + 4558], [9283, 9283, w + 4725], [9293, 9293, w + 167], [9293, 9293, w + 9126], [9311, 9311, 7*w - 99], [9311, 9311, -7*w - 99], [9319, 9319, 3*w - 97], [9319, 9319, -3*w - 97], [9323, 9323, w + 3342], [9323, 9323, w + 5981], [9391, 9391, -9*w - 101], [9391, 9391, 9*w - 101], [9397, 9397, w + 1907], [9397, 9397, w + 7490], [9403, 9403, w + 3971], [9403, 9403, w + 5432], [9409, 97, -97], [9413, 9413, w + 2883], [9413, 9413, w + 6530], [9431, 9431, 17*w - 111], [9431, 9431, -17*w - 111], [9437, 9437, w + 3741], [9437, 9437, w + 5696], [9439, 9439, -40*w - 81], [9439, 9439, 40*w - 81], [9467, 9467, w + 2409], [9467, 9467, w + 7058], [9479, 9479, -36*w - 59], [9479, 9479, 36*w - 59], [9511, 9511, 32*w - 27], [9511, 9511, -32*w - 27], [9521, 9521, 33*w - 37], [9521, 9521, -33*w - 37], [9533, 9533, w + 4439], [9533, 9533, w + 5094], [9547, 9547, w + 1698], [9547, 9547, w + 7849], [9551, 9551, -5*w - 99], [9551, 9551, 5*w - 99], [9587, 9587, w + 1429], [9587, 9587, w + 8158], [9601, 9601, 31*w - 3], [9601, 9601, -31*w - 3], [9613, 9613, w + 2990], [9613, 9613, w + 6623], [9631, 9631, 15*w - 109], [9631, 9631, -15*w - 109], [9643, 9643, w + 947], [9643, 9643, w + 8696], [9649, 9649, -35*w - 51], [9649, 9649, 35*w - 51], [9677, 9677, w + 1091], [9677, 9677, w + 8586], [9679, 9679, 38*w - 69], [9679, 9679, -38*w - 69], [9689, 9689, -20*w - 117], [9689, 9689, 20*w - 117], [9719, 9719, 37*w - 153], [9719, 9719, -37*w - 153], [9721, 9721, -37*w - 63], [9721, 9721, 37*w - 63], [9733, 9733, w + 3460], [9733, 9733, w + 6273], [9769, 9769, -47*w + 111], [9769, 9769, 47*w + 111], [9787, 9787, w + 1523], [9787, 9787, w + 8264], [9791, 9791, -w - 99], [9791, 9791, w - 99], [9803, 9803, w + 357], [9803, 9803, w + 9446], [9839, 9839, 23*w - 123], [9839, 9839, -23*w - 123], [9871, 9871, -27*w - 131], [9871, 9871, 27*w - 131], [9883, 9883, w + 878], [9883, 9883, w + 9005], [9907, 9907, w + 3422], [9907, 9907, w + 6485], [9923, 9923, w + 2524], [9923, 9923, w + 7399], [9929, 9929, -33*w - 31], [9929, 9929, 33*w - 31], [9973, 9973, w + 173], [9973, 9973, w + 9800]]; primes := [ideal : I in primesArray]; heckePol := x; K := Rationals(); e := 1; heckeEigenvaluesArray := [-2, 1, 1, 0, -1, -1, -3, -3, -2, -2, -8, -8, -1, -1, -5, 4, 4, 3, 3, -8, -8, 0, 0, -6, -6, 0, 0, -12, -12, -18, 7, 7, 13, 13, -11, -11, -6, -6, 22, 22, 18, 18, -5, -5, 8, 8, 20, 20, -23, -23, -8, -8, 3, 3, -18, -18, 9, 9, -30, -6, -6, -7, -7, -18, -18, 8, 8, -2, -2, 0, 0, -13, 29, 29, -7, -7, 12, 12, 5, 5, -18, -18, -35, -35, 24, 24, 20, 20, 38, 38, 30, 30, 22, 22, -31, -31, -10, 8, 8, -42, -42, -6, -6, 30, 30, -12, -12, -20, -20, -13, -13, 14, 14, -23, -23, 12, 12, -36, -36, 14, 14, -42, -42, 24, 24, 30, 30, 34, 34, -8, -8, 23, 23, 12, 12, 35, 35, 24, 24, -7, -7, -52, -52, -20, -20, 28, 28, 10, 10, 42, -51, -51, -27, -27, 32, 32, -41, -41, -12, -12, -58, -58, 55, 55, -50, -50, 18, 18, 17, 17, -42, -42, 5, 5, 14, 14, -18, -18, -5, -5, 0, 0, -1, -1, 63, 63, 29, 29, 5, 5, 2, 2, 64, 64, -42, -42, 22, 22, -6, -6, 12, 12, -42, -42, 10, 10, -42, -42, 35, 35, -26, -26, 60, 60, 28, 28, -30, -30, -58, -58, 42, 42, -6, -6, -25, -25, -30, -30, 8, 8, 10, 10, -21, -21, 47, 47, -58, -58, 4, 4, -30, -30, 44, 44, 12, 12, -66, -66, -10, -10, -22, -22, 2, 2, 45, 45, 14, 14, 28, 28, -12, -12, -22, -22, 69, 69, -8, -8, 4, 4, -26, -26, 8, 8, -15, -15, 18, 18, -33, -33, -8, -8, 33, 33, -78, -78, 48, 48, -40, -40, 0, 0, -52, -52, -71, -71, 77, 77, 24, 24, 28, 28, 28, 28, 25, 25, 54, 54, -12, -12, 60, 60, -6, -6, 12, 12, 19, 19, 25, 25, 12, 12, 30, 30, -38, -38, 29, 29, -90, -56, -56, -62, -62, 65, 65, -46, -46, -52, -52, -43, -43, -31, -31, -93, -93, -86, -86, 53, 53, 12, 12, 68, 68, 40, 40, 53, 53, -58, -58, -92, -92, -72, -72, 47, 47, 72, 72, 23, 23, 42, 42, -60, -60, -43, -43, 58, 58, -36, -36, 45, 45, 64, 64, -77, -77, 2, 2, 5, 5, -60, -60, -8, -8, -17, -17, -8, -8, 69, 69, -12, -12, -26, -26, 10, 10, -7, -7, -32, -32, -16, -16, 60, 60, 50, 50, -23, -23, 78, 78, 82, 82, -10, -10, 73, 73, 65, 65, -26, -26, -80, -80, -90, -90, 17, 17, 19, 19, 15, 15, 28, 28, 92, 92, 24, 24, 10, 10, 34, 34, 7, 7, 83, 83, -20, -20, 14, 14, -10, -10, 78, 78, 0, 0, -83, -83, 79, 79, -3, -3, 64, 64, -20, -20, 28, 28, -18, -33, -33, 13, 13, -5, -5, 84, 84, -117, -117, 28, 28, 15, 15, -46, -46, -83, -83, -97, -97, -71, -71, -88, -88, -52, -52, -30, -30, -73, -21, -21, 102, 102, 95, 95, -22, -22, -56, -56, -81, -81, -47, -47, 32, 32, -65, -65, -77, -77, 92, 92, -2, -2, -80, -80, -86, -86, 0, 0, 38, 38, 72, 72, -1, -1, 64, 64, 123, 123, -10, -10, -60, -60, 74, 74, 37, 37, -85, -85, -66, -66, 18, 18, 0, 0, 77, 77, 37, 37, -18, -18, 89, 89, -56, -56, -8, -8, -26, -26, 10, 10, 58, 58, -71, -71, 4, 4, -108, -108, 78, 78, 120, 120, -33, -33, -18, -18, 64, 64, 54, 54, 28, 28, 18, 18, 80, 80, 34, 34, -72, -72, 47, 47, -113, -113, -107, -107, -51, -51, -52, -52, 5, 5, -6, -6, 90, 90, 110, 110, 22, 22, 79, 79, -115, -115, -126, -126, -98, -98, -65, -65, -42, -42, 30, 30, 2, 2, 114, 114, -88, -88, 22, 22, 38, 38, -10, -10, -30, -30, -1, -1, 77, 77, 58, 58, -10, -10, 104, 104, -27, -27, 25, 25, -6, -6, -90, -90, 30, 30, -47, -47, -18, -18, 63, 63, 140, 140, -52, -52, 18, 18, 35, 35, 73, 73, 52, 52, -62, -62, -120, -120, 107, 107, 49, 49, 50, 14, 14, -87, -87, -98, -98, 48, 48, 0, 0, -61, -61, -23, -23, -57, -57, -28, -28, -96, -96, -45, -45, 12, 12, 128, 128, 55, 55, -66, -66, 118, 118, -90, -90, -73, -73, -42, -42, 79, 79, -55, -55, -76, -76, 92, 92, 10, 10, 42, 42, -11, -11, 19, 19, 50, 50, 84, 84, -98, -98, 68, 68, 112, 112, 2, 2, 144, 144, 133, 133, -55, -55, -6, -6, -60, -60, -12, -12, -50, -50, 57, 57, -21, -21, -62, -62, -87, -87, -31, -31, 84, 84, 33, 33, -120, -120, 20, 20, -23, -23, -111, -111, 32, 32, -116, -116, -96, -96, -2, -2, -35, -35, -96, -96, 72, 72, 133, 133, 62, 62, 48, 48, 144, 144, 40, 40, 130, 130, -23, -23, -66, -66, 113, 113, -32, -32, -40, -40, 82, 82, -78, -78, -90, -90, -12, -12, -58, -58, 4, 4, 10, 10, 30, 30, -107, -107, -76, -76, -5, -5, -110, -110, -20, -20, -121, -121, 22, 22, 84, 84, 72, 72, 114, 114, 98, 98, -83, -83, 97, 97, 99, 99, 28, 28, 72, 72, -132, -132, -102, -102, 120, 120, 17, 17, -133, -133, -37, -37, -78, -78, -66, -66, -112, -112, -60, -60, 104, 104, 110, 110, 2, 2, 130, 130, -88, -88, 15, 15, 38, 38, -151, -151, -142, -142, 59, 59, -126, -126, 64, 64, 128, 128, -33, -33, -46, -46, 32, 32, -65, -65, 43, 43, -48, -48, 65, 65, 93, 93, 28, 28, 44, 44, -130, -130, 78, 78, 100, 100, -83, -83, 34, 34, 167, 167, -156, -156, -65, -65, 134, 134, -20, -20, -33, -33, 63, 63, 44, 44, 48, 48, -25, -25, 112, 112, 44, 44, -47, -47, -102, -102, -145, -145, 84, 84, -2, -2, 90, 90, -11, -11, 157, 157, -61, -61, -90, -90, -50, -50, -1, -1, 152, 152, -130, -130, -86, -86, 82, 82, 48, 48, -16, -16, 88, 88, 17, 17, 52, 52, -5, -5, -138, -138, 28, 28, 14, 14, 169, 169, -73, -73, 158, 158, 165, 165, 54, 54, 130, 130, 98, 98, 27, 27, -131, -131, 153, 153, -18, -18, -41, -41, -66, -66, -132, -132, -140, -140, 60, 60, 48, 48, 7, 7, -122, -122, 22, 22, 125, 125, -16, -16, -77, -77, 65, 65, 158, 158, 157, 157, 164, 164, -168, -168, 18, 18, -115, -115, -40, -40, 168, 168, 109, 109, 84, 84, -125, -125, -46, -46, 42, 42, -186, -186, 120, 120, 100, 100, 57, 57, 139, 139, -138, -138, 139, 139, -155, -155, 73, 73, 34, 34, -128, -128, -147, -147, -28, -28, 164, 164, -17, -17, 175, 175, 24, 24, -80, -80, 108, 108, -30, -30, -33, -33, -17, -17, -108, -108, -116, -116, 54, 54, 152, 152, -135, -135, 54, 54, -23, -23, 73, 73, -56, -56, 95, -36, -36, -68, -68, -82, -82, -60, -60, -72, -72, 0, 0, 32, 32, -138, -138, -66, -66, -67, -67, -18, -18, -72, -72, 47, 47, -146, -146, 67, 67, -121, -121, 45, 45, 158, 158, 40, 40, 0, 0, 40, 40, 157, 157, 129, 129, 5, 5, 173, 173, -68, -68, -46, -46, 80, 80, 137, 137, 149, 149, -47, -47, -196, -196, 70, 70, -126, -126]; 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;