/* 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([-10, 0, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([338, 338, w + 32]) primes_array = [ [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 = [ZF.ideal(I) for I in primes_array] heckePol = x K = QQ e = 1 hecke_eigenvalues_array = [1, 0, -1, 4, 0, -2, 7, -10, -1, 1, 11, -4, -4, 7, 2, -8, 9, 2, -10, 11, 14, 11, -8, 0, 16, 4, -5, -3, -2, -13, 19, 8, 10, -1, 12, 14, 6, -16, -12, 22, 3, 15, -1, -15, 23, -4, 9, 6, -15, 10, 8, 14, 12, -6, -5, -24, -12, -24, 17, 22, -20, 28, -19, -16, -31, -24, 22, 16, 12, 0, -10, -13, -26, 30, 1, -25, -8, 6, 6, -1, -15, -22, -12, -6, 18, 39, -21, -4, 0, 3, 0, 23, 35, -21, -14, 11, 22, 36, -40, 23, -22, -4, 26, 6, -6, 47, -19, -36, 15, 31, 2, 10, 20, -8, -17, 18, -40, 25, -20, -14, 17, 39, -36, -12, -4, -49, -27, 4, -24, 41, 9, -30, -17, -35, -6, -2, -42, 23, -10, -9, 32, -14, -53, 44, -16, 21, 19, -30, -33, 40, 9, -50, 18, -32, 3, -31, -22, 28, -39, 8, 30, 12, -20, -20, 6, -21, 22, 42, 41, 51, 29, -10, 12, -37, 16, -25, 33, -39, 9, 40, -19, -55, 34, 8, 50, 33, 21, 11, 14, 8, -20, 8, 11, 36, -12, -47, -44, -38, -44, 57, 41, 37, -43, -38, -32, 22, 12, -3, -24, -1, -58, 21, 26, -60, 41, 3, -40, -32, 39, -2, -62, 4, -14, 26, -4, -37, 30, 33, -54, -57, 0, -33, -4, -14, -56, 32, -24, 8, 10, 29, 5, -34, -15, 42, 0, -18, -68, -67, -2, -16, 49, -49, 54, 9, -58, 14, 38, -39, 8, 38, -67, 60, -13, 56, -8, -66, -50, -20, 46, 14, -49, 30, 50, -6, 6, 32, -12, 6, -53, -8, -25, -80, -14, -66, 52, -19, -36, 54, -10, -1, -78, -72, 28, -27, 42, 27, 40, 50, -26, 42, 38, -70, -83, -21, 58, 74, 14, 76, 12, 20, -25, -30, -46, -34, 81, -7, -74, 13, -80, 52, -16, -15, -55, 46, -21, -43, 15, -73, 10, 64, -43, -75, 38, 72, -86, 53, 59, 19, 28, 8, 38, -10, 60, -24, -8, -14, 90, -60, -6, 8, -3, 55, -24, -4, -48, -26, -22, 54, -42, 48, 91, -84, -80, 12, 8, 28, 44, -78, -43, -56, 52, -93, -14, -6, -12, -14, 23, 25, 44, -34, 50, 54, 41, -53, -60, -72, 60, 26, 8, -90, 53, 38, 24, -10, 2, 78, -27, -10, -38, -56, -42, 39, 90, -16, 102, 87, 27, 14, 53, -59, -20, 42, 9, 20, 24, -80, 103, 46, 78, 60, 36, 66, 88, -5, 100, -20, -79, -11, -69, 23, 30, -53, -51, 50, 45, -83, -46, 106, -20, 91, 1, 10, -48, 44, 64, -36, 15, -41, 24, 94, 12, -68, -28, -90, 14, -57, 77, 60, -6, 86, -62, 64, 69, 34, 51, 64, 70, -64, 36, -48, 28, 100, -28, 92, -102, 45, -118, -2, -34, -26, -45, -74, -1, 80, -36, 61, 30, 54, 84, -16, 93, 22, -50, -110, 26, -26, -10, -56, -33, 18, 27, 102, -74, 90, 62, -3, -79, 61, 21, -91, 106, 100, 41, -16, -84, 59, -1, -49, 8, 10, 18, 54, 65, 40, 34, 22, 79, -24, 74, 13, -76, -15, -120, -8, 20, -68, 36, 74, -84, -46, -28, -126, -21, 108, -36, -66, -74, -80, 60, -36, 92, 38, 38, -55, 128, -4, 18, -84, 47, 106, -56, 8, -62, 96, 38, 27, -114, -1, 100, -101, 105, -22, -104, 12, -12, 60, 50, -120, 26, -37, -121, -24, 68, -8, 33, -39, 44, -1, -12, -107, -94, 4, -120, 77, -25, 6, -100, -40, -44, 66, -22, -65, 80, -84, -104, 112, -43, -40, -119, 0, 104, -49, 130, 44, 100, -108, -34, -52, -61, -9, -93, 106, 1, 60, 30, -63, -76, 29, 118, 43, 65, 66, 111, -73, 20, 30, -42, 85, -102, -18, -29, 8, 34, 50, -49, -40, 34, 80, -5, -113, -65, 122, -10, -130, 23, -101, -1, 87, 70, -19, 80, 45, -82, -114, -81, 2, -92, -23, -48, 41, 0, -39, -27, -114, -65, -4, 44, -86, 106, 81, 7, -50, 54, 108, 81, -23, -16, 94, -74, 34, -65, -85, 120, -22, -43, 51, -37, 52, -106, -40, -102, -50, -108, 22, -41, -28, -95, -72, -94, 124, -60, -78, 62, -20, -103, 57, 38, -110, -91, -66, 31, -44, -41, -112, 75, 20, -14, -73, -8, 49, -3, -102, -52, -132, 20, 52, -60, -74, 101, 75, -124, -59, -12, -105, -33, 34, 104, -15, -71, -1, -119, -35, 14, 74, -63, 25, 52, -91, 81, 30, 57, 63, -7, 30, 27, 2, 3, -6, 112, -112, 106, 101, 64, -72, 50, 28, 94, -12, -87, 64, 96, -15, -86, -138, 16, 18, 42, -50, -97, -83, 25, -75, 6, 131, 10, -48, -16, 128, -85, 120, -80, -35, -74, -98, -36, -63, -84, -36, 36, -66, 36, 58, -28, -101, 12, -89, -64, 8, 56, 62, -138, 69, 28, 47, -21, -91, 70, 30, -154, -96, -4, -98, 110, -15, 46, -64, -89, 25, -99, 90, 54, 86, 6, 40, 4, 14, 124, 4, 21, 3, -86, 76, 132, -60, 92, 120, 155, -50, 16, -33, -56, 104, 45, -14, 80, -64, 107, 18, 96, -12, 111, -26, 144, 67, -50, -107, -1, -57, -93, 97, -112, -53, 69, 127, -7, 126, -102, -36, -102, -72, 7, 59, -25, 47, -49, 110, -33, -56, -34, 130, 150, 158, 71, -87, 118, -136, 8, 32, -15, 72, 48, 67, 38, -100, -29, -70, 115, 105, 118, -82, 51, 96, 70, -19, -88, 138, 124, -71, 162, -42, -102, -71, 86, 21, -90, -33, 38, 23, -44, -9, 34, -62, -13, 26, -10, -21, -70, -16, -52, -88, -29, 34, -132, -34, -65, 22, 8, 32, -60, -150, 110, -123, 122, 16, 38, -106, -102, -142, 89, -74, 104, 14, 36, 1, 27, 116, -120, 32, -106, -20, 66, 2, -91, 158, -11, -68, -154, -120, -153, 7, 42, -10, -175, -127, 1, -108, 37, 0, -104, -151, 52, 166, 8, 108, -123, -3, -117, 117, -18, -168, 92, 110, -126, -5, 54, -164, -159, -26, 28, -57, 82, -47, -73, 45, -57, -22, -37, 63, -117, -57, -105, 94, -96, -72, -32, 108, 91, -22, -1, -76, 101, -23, -29, -20, -16, 104, 120, -23, -58, 164, -20, 54, -77, -62, 16, -20, 97, -134, 85, -84, -7, 116, 6, 45, 73, 32, -8, -40, 50, 66, 126, -50, -43, 142, 60, 110, -57, -149, 41, -150, -29, -10, -40, 148, 98, 46, -58, 62, -182, -154, -155, 8, 96, 87, -158, -15, 151, -27, -60, -36, 6, -144, -38, -65, -76, 78, 158, 62, 47, 114, 48, 142, 100, -138, 174, -136, 48, 33, -40, -122, 27, -174, -174, -58, 100, 136, 132, -140, -40, 62, -170, 44, -34, -46, 78, -76, 76, 36, 123, 129, 68, -65, -114, 13, -160, -46, -149, -180, -78, 83, -185, -139, 153, 104, 146, 19, -49, -61, 0, 139, -42, -86, -17, 99, 10, -40, 109, -9, 0, -46, 25, -74, 161, 116, 16, -129, 66, -74, 181, 72, 117, 130, -64, -112, 94, -64, 96, 16, -127, -2, 84, 138, 30, 73, -9, 0, 50, 54, -146, 10, -155, -58, -102, 94, 148, -54, 31, -47, -45, 142, 80, 133, 26, 92, 94, 106, -120, -96, -120, 149, 94, -136, 61, 144, 112, 125, 2, -90, -4, 132, -40, 105, -139, -155, -156, 176, -137, 177, -18, -153, -71, -50, -98] 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])] = -1 AL_eigenvalues[ZF.ideal([13, 13, w + 6])] = -1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]