/* 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([2, 0, -6, -2, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([13, 13, -w^3 + 3*w^2 + 3*w - 1]) primes_array = [ [2, 2, w],\ [5, 5, -w^3 + 3*w^2 + 2*w - 1],\ [5, 5, w - 1],\ [11, 11, w^3 - 2*w^2 - 5*w - 1],\ [13, 13, -w^3 + 3*w^2 + 3*w - 1],\ [17, 17, 2*w^3 - 5*w^2 - 9*w + 5],\ [23, 23, -w^3 + 3*w^2 + 4*w - 5],\ [25, 5, -w^2 + 3*w + 1],\ [29, 29, -2*w^3 + 6*w^2 + 5*w - 1],\ [31, 31, -w^2 + 2*w + 1],\ [43, 43, -w^3 + 3*w^2 + 2*w - 3],\ [43, 43, -w^3 + 2*w^2 + 6*w - 3],\ [59, 59, 2*w^3 - 6*w^2 - 7*w + 7],\ [73, 73, 3*w^3 - 6*w^2 - 16*w - 5],\ [79, 79, -5*w^3 + 14*w^2 + 20*w - 17],\ [81, 3, -3],\ [83, 83, -w - 3],\ [83, 83, w^2 - 3*w - 7],\ [89, 89, w^2 - 2*w - 7],\ [101, 101, -2*w^3 + 5*w^2 + 8*w - 3],\ [101, 101, 5*w^3 - 14*w^2 - 19*w + 17],\ [103, 103, -w^3 + w^2 + 8*w + 3],\ [103, 103, 2*w^3 - 5*w^2 - 7*w - 1],\ [109, 109, 3*w^3 - 7*w^2 - 14*w + 1],\ [109, 109, -w^2 + 4*w + 1],\ [127, 127, -3*w^3 + 8*w^2 + 11*w - 7],\ [127, 127, -w^3 + 2*w^2 + 7*w + 1],\ [137, 137, -2*w^3 + 5*w^2 + 9*w - 1],\ [139, 139, -w^3 + 3*w^2 + 2*w - 5],\ [149, 149, w^3 - 3*w^2 - w - 1],\ [149, 149, -2*w^3 + 4*w^2 + 10*w + 1],\ [163, 163, w^3 - 4*w^2 - w + 11],\ [163, 163, 2*w^3 - 4*w^2 - 10*w + 1],\ [173, 173, -4*w^3 + 11*w^2 + 15*w - 13],\ [179, 179, 2*w^2 - 6*w - 3],\ [179, 179, -w^3 + 2*w^2 + 7*w - 1],\ [181, 181, w^3 - 10*w - 9],\ [181, 181, -3*w^3 + 8*w^2 + 14*w - 7],\ [199, 199, w^3 - 8*w - 9],\ [211, 211, 2*w - 3],\ [223, 223, -w^3 + 4*w^2 + w - 5],\ [227, 227, w^3 - 2*w^2 - 5*w - 5],\ [227, 227, -3*w^3 + 7*w^2 + 14*w - 5],\ [227, 227, -4*w^3 + 10*w^2 + 19*w - 7],\ [227, 227, w^2 - 4*w - 5],\ [239, 239, -2*w^3 + 5*w^2 + 7*w - 3],\ [251, 251, -w^3 + 4*w^2 + 2*w - 11],\ [251, 251, 2*w^3 - 6*w^2 - 6*w + 1],\ [257, 257, -3*w^3 + 6*w^2 + 16*w + 3],\ [263, 263, -w^3 + 3*w^2 + 3*w - 7],\ [263, 263, w^3 - 4*w^2 + 7],\ [269, 269, -2*w^3 + 6*w^2 + 6*w - 11],\ [269, 269, -w^3 + 4*w^2 - w - 5],\ [271, 271, -3*w^3 + 9*w^2 + 11*w - 11],\ [271, 271, w^2 - 5*w - 3],\ [277, 277, w^3 - 4*w^2 - 2*w + 7],\ [277, 277, -2*w^3 + 7*w^2 + 8*w - 9],\ [281, 281, 2*w^2 - 4*w - 5],\ [281, 281, 2*w^3 - 4*w^2 - 11*w + 1],\ [283, 283, -3*w^3 + 8*w^2 + 14*w - 11],\ [293, 293, w^3 - 2*w^2 - 6*w + 5],\ [307, 307, -2*w^3 + 5*w^2 + 7*w - 1],\ [313, 313, 2*w^3 - 4*w^2 - 9*w + 3],\ [313, 313, -2*w^3 + 5*w^2 + 6*w - 3],\ [317, 317, -2*w^3 + 5*w^2 + 9*w + 1],\ [347, 347, 4*w^3 - 9*w^2 - 21*w + 3],\ [347, 347, 4*w^3 - 10*w^2 - 18*w + 5],\ [349, 349, -2*w^3 + 6*w^2 + 7*w - 3],\ [353, 353, -w^3 + 12*w + 5],\ [353, 353, w^2 - w - 7],\ [359, 359, -2*w^3 + 5*w^2 + 6*w - 7],\ [359, 359, -w^3 + 4*w^2 - 11],\ [373, 373, -w^3 + 2*w^2 + 6*w + 5],\ [379, 379, -3*w^3 + 8*w^2 + 14*w - 5],\ [397, 397, 6*w^3 - 14*w^2 - 30*w + 7],\ [401, 401, 3*w^3 - 5*w^2 - 20*w - 7],\ [409, 409, 3*w^3 - 7*w^2 - 12*w - 3],\ [409, 409, 2*w^2 - 4*w - 7],\ [421, 421, w^3 - 11*w - 11],\ [421, 421, -w^3 + 3*w^2 + w - 7],\ [431, 431, 2*w^3 - 3*w^2 - 14*w - 3],\ [431, 431, -4*w^3 + 11*w^2 + 15*w - 15],\ [433, 433, 2*w^3 - 5*w^2 - 6*w + 1],\ [439, 439, -4*w^3 + 11*w^2 + 13*w - 9],\ [439, 439, -2*w^3 + 6*w^2 + 8*w - 11],\ [443, 443, 2*w - 5],\ [443, 443, -6*w^3 + 17*w^2 + 24*w - 21],\ [449, 449, w^3 - 2*w^2 - 8*w + 3],\ [449, 449, 4*w^3 - 12*w^2 - 15*w + 17],\ [457, 457, -2*w^3 + 4*w^2 + 9*w + 5],\ [461, 461, -3*w^3 + 6*w^2 + 15*w - 1],\ [461, 461, -3*w^3 + 7*w^2 + 17*w + 1],\ [463, 463, -4*w^3 + 10*w^2 + 17*w - 7],\ [463, 463, -3*w^3 + 10*w^2 + 9*w - 17],\ [467, 467, 4*w^3 - 8*w^2 - 21*w - 7],\ [467, 467, w^3 - 6*w^2 + 3*w + 19],\ [479, 479, -w^3 + w^2 + 8*w + 1],\ [487, 487, -4*w^3 + 11*w^2 + 14*w - 15],\ [487, 487, 3*w^3 - 6*w^2 - 15*w - 5],\ [491, 491, w^2 - 5],\ [503, 503, 2*w^3 - 5*w^2 - 11*w + 3],\ [523, 523, -3*w^3 + 7*w^2 + 13*w + 1],\ [547, 547, 2*w^3 - 3*w^2 - 12*w - 3],\ [547, 547, 2*w^3 - 3*w^2 - 12*w - 9],\ [557, 557, -3*w^3 + 9*w^2 + 9*w - 11],\ [557, 557, -6*w^3 + 15*w^2 + 27*w - 13],\ [563, 563, -3*w^3 + 7*w^2 + 14*w - 7],\ [571, 571, -5*w^3 + 11*w^2 + 26*w - 3],\ [593, 593, -6*w^3 + 15*w^2 + 26*w - 7],\ [599, 599, 7*w^3 - 18*w^2 - 29*w + 17],\ [599, 599, -2*w^3 + 6*w^2 + 8*w - 3],\ [601, 601, -7*w^3 + 20*w^2 + 28*w - 23],\ [601, 601, 3*w^3 - 7*w^2 - 12*w + 5],\ [607, 607, 5*w^3 - 12*w^2 - 24*w + 9],\ [607, 607, w^3 - 5*w^2 + 15],\ [613, 613, -w^3 + 5*w^2 - 2*w - 9],\ [617, 617, w^3 + w^2 - 13*w - 15],\ [617, 617, 2*w^3 - 4*w^2 - 8*w - 1],\ [619, 619, 5*w^3 - 10*w^2 - 27*w - 7],\ [619, 619, 2*w^3 - 4*w^2 - 10*w + 3],\ [643, 643, w^3 - 5*w^2 + 5*w + 5],\ [643, 643, 4*w^3 - 9*w^2 - 20*w - 1],\ [643, 643, 3*w^3 - 7*w^2 - 14*w - 3],\ [643, 643, -3*w^3 + 7*w^2 + 13*w - 3],\ [647, 647, -3*w^3 + 8*w^2 + 12*w - 3],\ [653, 653, -w^3 + 9*w + 13],\ [653, 653, -w^3 + 4*w^2 + 3*w - 9],\ [653, 653, -2*w^3 + 7*w^2 + 4*w - 7],\ [653, 653, w^2 - 4*w - 9],\ [673, 673, -w^3 + 5*w^2 + w - 13],\ [683, 683, w^3 - 3*w^2 - 3*w - 3],\ [701, 701, 5*w^3 - 13*w^2 - 23*w + 9],\ [709, 709, 2*w^3 - w^2 - 19*w - 15],\ [719, 719, -5*w^3 + 15*w^2 + 20*w - 19],\ [727, 727, -w - 5],\ [751, 751, -4*w^3 + 10*w^2 + 15*w - 9],\ [751, 751, 6*w^3 - 17*w^2 - 22*w + 21],\ [757, 757, 3*w^3 - 6*w^2 - 18*w - 1],\ [757, 757, -w^3 + 4*w^2 + 2*w + 1],\ [769, 769, w^2 - 2*w + 3],\ [773, 773, 5*w^3 - 12*w^2 - 23*w + 9],\ [787, 787, 2*w^3 - 4*w^2 - 5*w + 1],\ [797, 797, -3*w^3 + 8*w^2 + 10*w - 3],\ [809, 809, 2*w^2 - 5*w - 1],\ [809, 809, 4*w^3 - 6*w^2 - 28*w - 11],\ [827, 827, 4*w^3 - 8*w^2 - 22*w - 1],\ [827, 827, 2*w^2 - 6*w - 9],\ [829, 829, -w^3 + w^2 + 10*w + 1],\ [839, 839, -2*w^3 + 2*w^2 + 16*w + 7],\ [877, 877, 6*w^3 - 16*w^2 - 25*w + 13],\ [877, 877, w^3 - w^2 - 7*w + 1],\ [881, 881, 2*w^3 - 2*w^2 - 15*w - 7],\ [881, 881, -4*w^3 + 7*w^2 + 26*w + 9],\ [887, 887, 2*w^3 - 4*w^2 - 13*w - 1],\ [907, 907, 5*w^3 - 11*w^2 - 26*w - 1],\ [907, 907, 5*w^3 - 13*w^2 - 22*w + 9],\ [907, 907, w^3 - 5*w^2 + 2*w + 13],\ [907, 907, -2*w^3 + 7*w^2 + 5*w - 7],\ [911, 911, -3*w^3 + 8*w^2 + 9*w - 5],\ [919, 919, -2*w^3 + 7*w^2 + 6*w - 3],\ [919, 919, -3*w^3 + 8*w^2 + 15*w - 7],\ [947, 947, -2*w^3 + 5*w^2 + 12*w - 9],\ [947, 947, -w^2 + w - 3],\ [947, 947, 3*w^3 - 6*w^2 - 14*w - 7],\ [947, 947, -w^3 + 5*w^2 - w - 17],\ [953, 953, 3*w^3 - 9*w^2 - 9*w + 13],\ [953, 953, -4*w^3 + 13*w^2 + 11*w - 23],\ [967, 967, 8*w^3 - 20*w^2 - 33*w + 19]] primes = [ZF.ideal(I) for I in primes_array] heckePol = x^13 - 8*x^12 + 11*x^11 + 66*x^10 - 202*x^9 - 64*x^8 + 804*x^7 - 565*x^6 - 985*x^5 + 1282*x^4 + 21*x^3 - 452*x^2 + 83*x + 1 K. = NumberField(heckePol) hecke_eigenvalues_array = [e, -336/97*e^12 + 2218/97*e^11 - 620/97*e^10 - 22907/97*e^9 + 35964/97*e^8 + 70238/97*e^7 - 171078/97*e^6 - 43455/97*e^5 + 264062/97*e^4 - 69501/97*e^3 - 93499/97*e^2 + 22665/97*e - 38/97, -92/97*e^12 + 605/97*e^11 - 179/97*e^10 - 6174/97*e^9 + 9875/97*e^8 + 18375/97*e^7 - 46531/97*e^6 - 9172/97*e^5 + 70947/97*e^4 - 22283/97*e^3 - 24251/97*e^2 + 7214/97*e - 179/97, -312/97*e^12 + 2115/97*e^11 - 839/97*e^10 - 21638/97*e^9 + 36416/97*e^8 + 64833/97*e^7 - 170609/97*e^6 - 34344/97*e^5 + 262993/97*e^4 - 74105/97*e^3 - 94823/97*e^2 + 22702/97*e + 325/97, -1, -1102/97*e^12 + 7405/97*e^11 - 2627/97*e^10 - 76189/97*e^9 + 125069/97*e^8 + 231633/97*e^7 - 590642/97*e^6 - 136780/97*e^5 + 915594/97*e^4 - 237063/97*e^3 - 333770/97*e^2 + 70364/97*e + 1059/97, 1226/97*e^12 - 8212/97*e^11 + 2805/97*e^10 + 84540/97*e^9 - 137704/97*e^8 - 257441/97*e^7 + 651055/97*e^6 + 153929/97*e^5 - 1008595/97*e^4 + 259674/97*e^3 + 366182/97*e^2 - 77173/97*e - 881/97, 466/97*e^12 - 3172/97*e^11 + 1301/97*e^10 + 32521/97*e^9 - 55179/97*e^8 - 97858/97*e^7 + 259132/97*e^6 + 53303/97*e^5 - 401635/97*e^4 + 108615/97*e^3 + 146532/97*e^2 - 31526/97*e + 137/97, 729/97*e^12 - 4911/97*e^11 + 1799/97*e^10 + 50392/97*e^9 - 83222/97*e^8 - 152064/97*e^7 + 391103/97*e^6 + 84723/97*e^5 - 601776/97*e^4 + 166140/97*e^3 + 213875/97*e^2 - 50468/97*e + 247/97, 461/97*e^12 - 3001/97*e^11 + 607/97*e^10 + 31323/97*e^9 - 46624/97*e^8 - 98870/97*e^7 + 224959/97*e^6 + 73727/97*e^5 - 351041/97*e^4 + 72795/97*e^3 + 128976/97*e^2 - 24093/97*e - 945/97, -1148/97*e^12 + 7756/97*e^11 - 2959/97*e^10 - 79567/97*e^9 + 132868/97*e^8 + 239899/97*e^7 - 625402/97*e^6 - 132636/97*e^5 + 968964/97*e^4 - 263967/97*e^3 - 353995/97*e^2 + 79694/97*e + 1309/97, 90/97*e^12 - 556/97*e^11 - 21/97*e^10 + 5947/97*e^9 - 7617/97*e^8 - 19808/97*e^7 + 38837/97*e^6 + 18719/97*e^5 - 62524/97*e^4 + 6791/97*e^3 + 24232/97*e^2 - 1389/97*e - 700/97, -1262/97*e^12 + 8415/97*e^11 - 2719/97*e^10 - 86686/97*e^9 + 139742/97*e^8 + 264142/97*e^7 - 661701/97*e^6 - 157459/97*e^5 + 1022857/97*e^4 - 269258/97*e^3 - 366524/97*e^2 + 81628/97*e + 191/97, 193/97*e^12 - 1285/97*e^11 + 385/97*e^10 + 13321/97*e^9 - 21084/97*e^8 - 41117/97*e^7 + 100331/97*e^6 + 26065/97*e^5 - 155208/97*e^4 + 39978/97*e^3 + 55135/97*e^2 - 12559/97*e - 197/97, 1586/97*e^12 - 10630/97*e^11 + 3594/97*e^10 + 109686/97*e^9 - 177969/97*e^8 - 336091/97*e^7 + 843069/97*e^6 + 209696/97*e^5 - 1310392/97*e^4 + 322437/97*e^3 + 481734/97*e^2 - 95824/97*e - 2517/97, -309/97*e^12 + 1993/97*e^11 - 248/97*e^10 - 21152/97*e^9 + 29634/97*e^8 + 69553/97*e^7 - 145876/97*e^6 - 63263/97*e^5 + 231880/97*e^4 - 28751/97*e^3 - 89508/97*e^2 + 8969/97*e + 528/97, 510/97*e^12 - 3280/97*e^11 + 560/97*e^10 + 34023/97*e^9 - 49953/97*e^8 - 105520/97*e^7 + 240317/97*e^6 + 70249/97*e^5 - 369176/97*e^4 + 95098/97*e^3 + 126677/97*e^2 - 31248/97*e + 560/97, -995/97*e^12 + 6772/97*e^11 - 2791/97*e^10 - 69234/97*e^9 + 117465/97*e^8 + 207176/97*e^7 - 549262/97*e^6 - 109243/97*e^5 + 846222/97*e^4 - 236136/97*e^3 - 304478/97*e^2 + 69854/97*e - 75/97, -916/97*e^12 + 6146/97*e^11 - 2166/97*e^10 - 63129/97*e^9 + 103546/97*e^8 + 191078/97*e^7 - 487946/97*e^6 - 109165/97*e^5 + 752667/97*e^4 - 203001/97*e^3 - 269826/97*e^2 + 60684/97*e + 841/97, -287/97*e^12 + 1842/97*e^11 - 279/97*e^10 - 19140/97*e^9 + 27591/97*e^8 + 59708/97*e^7 - 132537/97*e^6 - 41598/97*e^5 + 201889/97*e^4 - 49623/97*e^3 - 66989/97*e^2 + 16577/97*e - 85/97, 393/97*e^12 - 2596/97*e^11 + 694/97*e^10 + 26903/97*e^9 - 41729/97*e^8 - 83087/97*e^7 + 198685/97*e^6 + 53587/97*e^5 - 305510/97*e^4 + 77336/97*e^3 + 105535/97*e^2 - 22856/97*e + 597/97, -1384/97*e^12 + 9076/97*e^11 - 2212/97*e^10 - 94228/97*e^9 + 144396/97*e^8 + 293323/97*e^7 - 691916/97*e^6 - 202003/97*e^5 + 1075716/97*e^4 - 246307/97*e^3 - 391351/97*e^2 + 76404/97*e + 2250/97, -784/97*e^12 + 5240/97*e^11 - 1673/97*e^10 - 54161/97*e^9 + 86632/97*e^8 + 166734/97*e^7 - 410628/97*e^6 - 107506/97*e^5 + 636741/97*e^4 - 152954/97*e^3 - 232973/97*e^2 + 45804/97*e + 2013/97, -1511/97*e^12 + 10199/97*e^11 - 3854/97*e^10 - 104520/97*e^9 + 173998/97*e^8 + 314605/97*e^7 - 817414/97*e^6 - 173064/97*e^5 + 1261522/97*e^4 - 345797/97*e^3 - 455365/97*e^2 + 102960/97*e + 1869/97, -26/97*e^12 + 346/97*e^11 - 854/97*e^10 - 3048/97*e^9 + 12185/97*e^8 + 5330/97*e^7 - 50261/97*e^6 + 12464/97*e^5 + 75646/97*e^4 - 32519/97*e^3 - 27989/97*e^2 + 4915/97*e - 951/97, -328/97*e^12 + 2022/97*e^11 + 180/97*e^10 - 21805/97*e^9 + 26350/97*e^8 + 74127/97*e^7 - 134773/97*e^6 - 76017/97*e^5 + 214947/97*e^4 - 15390/97*e^3 - 80231/97*e^2 + 6543/97*e + 1053/97, 2407/97*e^12 - 16146/97*e^11 + 5572/97*e^10 + 166252/97*e^9 - 271163/97*e^8 - 506336/97*e^7 + 1281673/97*e^6 + 301942/97*e^5 - 1986025/97*e^4 + 514740/97*e^3 + 722382/97*e^2 - 156028/97*e - 1897/97, -930/97*e^12 + 6198/97*e^11 - 1917/97*e^10 - 64136/97*e^9 + 102183/97*e^8 + 197925/97*e^7 - 486223/97*e^6 - 129151/97*e^5 + 757987/97*e^4 - 179525/97*e^3 - 281308/97*e^2 + 54220/97*e + 2351/97, 1871/97*e^12 - 12617/97*e^11 + 4740/97*e^10 + 129375/97*e^9 - 215427/97*e^8 - 389569/97*e^7 + 1013696/97*e^6 + 213408/97*e^5 - 1567005/97*e^4 + 431646/97*e^3 + 566552/97*e^2 - 129274/97*e - 983/97, -1240/97*e^12 + 8264/97*e^11 - 2556/97*e^10 - 85547/97*e^9 + 136341/97*e^8 + 263997/97*e^7 - 648750/97*e^6 - 171296/97*e^5 + 1009744/97*e^4 - 242600/97*e^3 - 371456/97*e^2 + 74007/97*e + 2779/97, -1152/97*e^12 + 7563/97*e^11 - 1807/97*e^10 - 78760/97*e^9 + 120021/97*e^8 + 246927/97*e^7 - 576576/97*e^6 - 176495/97*e^5 + 899577/97*e^4 - 196302/97*e^3 - 330947/97*e^2 + 61759/97*e + 2946/97, -233/97*e^12 + 1683/97*e^11 - 1087/97*e^10 - 16988/97*e^9 + 32585/97*e^8 + 49317/97*e^7 - 148966/97*e^6 - 20686/97*e^5 + 230354/97*e^4 - 63571/97*e^3 - 86749/97*e^2 + 14890/97*e - 117/97, -8*e^12 + 53*e^11 - 15*e^10 - 550*e^9 + 863*e^8 + 1707*e^7 - 4123*e^6 - 1141*e^5 + 6422*e^4 - 1526*e^3 - 2353*e^2 + 494*e + 14, -614/97*e^12 + 3985/97*e^11 - 775/97*e^10 - 41559/97*e^9 + 61736/97*e^8 + 130526/97*e^7 - 297801/97*e^6 - 93143/97*e^5 + 461464/97*e^4 - 106543/97*e^3 - 162876/97*e^2 + 36649/97*e + 874/97, 1695/97*e^12 - 11312/97*e^11 + 3630/97*e^10 + 116868/97*e^9 - 187831/97*e^8 - 359406/97*e^7 + 892628/97*e^6 + 230596/97*e^5 - 1391970/97*e^4 + 330708/97*e^3 + 517932/97*e^2 - 97115/97*e - 3257/97, 2077/97*e^12 - 13784/97*e^11 + 4194/97*e^10 + 142086/97*e^9 - 226550/97*e^8 - 433739/97*e^7 + 1074604/97*e^6 + 261759/97*e^5 - 1659932/97*e^4 + 437783/97*e^3 + 592953/97*e^2 - 136579/97*e - 1917/97, 1343/97*e^12 - 9090/97*e^11 + 3544/97*e^10 + 93212/97*e^9 - 156501/97*e^8 - 280650/97*e^7 + 736337/97*e^6 + 153519/97*e^5 - 1141422/97*e^4 + 311386/97*e^3 + 417200/97*e^2 - 92937/97*e - 1306/97, -1035/97*e^12 + 7170/97*e^11 - 3590/97*e^10 - 72707/97*e^9 + 130421/97*e^8 + 212660/97*e^7 - 605269/97*e^6 - 91157/97*e^5 + 935336/97*e^4 - 280875/97*e^3 - 343755/97*e^2 + 78878/97*e + 1163/97, -378/97*e^12 + 2471/97*e^11 - 552/97*e^10 - 25831/97*e^9 + 38956/97*e^8 + 82243/97*e^7 - 188122/97*e^6 - 65971/97*e^5 + 296221/97*e^4 - 47670/97*e^3 - 112813/97*e^2 + 11130/97*e + 806/97, 1463/97*e^12 - 9605/97*e^11 + 2255/97*e^10 + 100236/97*e^9 - 152010/97*e^8 - 316502/97*e^7 + 731116/97*e^6 + 237971/97*e^5 - 1143178/97*e^4 + 224346/97*e^3 + 424936/97*e^2 - 67047/97*e - 3468/97, 2208/97*e^12 - 14714/97*e^11 + 4684/97*e^10 + 151862/97*e^9 - 243984/97*e^8 - 465541/97*e^7 + 1158551/97*e^6 + 291326/97*e^5 - 1801377/97*e^4 + 444970/97*e^3 + 662340/97*e^2 - 133754/97*e - 3755/97, 1281/97*e^12 - 8347/97*e^11 + 1806/97*e^10 + 86757/97*e^9 - 130638/97*e^8 - 270850/97*e^7 + 627318/97*e^6 + 189225/97*e^5 - 972847/97*e^4 + 225633/97*e^3 + 349778/97*e^2 - 76777/97*e - 716/97, 1535/97*e^12 - 10011/97*e^11 + 2083/97*e^10 + 104528/97*e^9 - 156183/97*e^8 - 329904/97*e^7 + 753863/97*e^6 + 244837/97*e^5 - 1178007/97*e^4 + 244969/97*e^3 + 432992/97*e^2 - 77606/97*e - 1603/97, -578/97*e^12 + 4073/97*e^11 - 2413/97*e^10 - 40674/97*e^9 + 77255/97*e^8 + 113446/97*e^7 - 353115/97*e^6 - 22586/97*e^5 + 537800/97*e^4 - 204241/97*e^3 - 188239/97*e^2 + 64398/97*e - 1346/97, 1523/97*e^12 - 10299/97*e^11 + 3987/97*e^10 + 105397/97*e^9 - 176585/97*e^8 - 315513/97*e^7 + 828367/97*e^6 + 163700/97*e^5 - 1276267/97*e^4 + 370946/97*e^3 + 456837/97*e^2 - 116182/97*e + 10/97, -1394/97*e^12 + 9321/97*e^11 - 3115/97*e^10 - 95848/97*e^9 + 155395/97*e^8 + 290620/97*e^7 - 733393/97*e^6 - 166490/97*e^5 + 1129374/97*e^4 - 311545/97*e^3 - 399982/97*e^2 + 97090/97*e + 86/97, -396/97*e^12 + 2718/97*e^11 - 1285/97*e^10 - 27486/97*e^9 + 48608/97*e^8 + 80016/97*e^7 - 225164/97*e^6 - 33301/97*e^5 + 345353/97*e^4 - 107461/97*e^3 - 122975/97*e^2 + 31642/97*e - 994/97, -1595/97*e^12 + 10802/97*e^11 - 4106/97*e^10 - 111241/97*e^9 + 184832/97*e^8 + 339488/97*e^7 - 872163/97*e^6 - 208008/97*e^5 + 1359402/97*e^4 - 328810/97*e^3 - 508349/97*e^2 + 93567/97*e + 2199/97, 3037/97*e^12 - 20329/97*e^11 + 6880/97*e^10 + 209336/97*e^9 - 340293/97*e^8 - 638008/97*e^7 + 1609695/97*e^6 + 383796/97*e^5 - 2495473/97*e^4 + 639780/97*e^3 + 909466/97*e^2 - 191553/97*e - 2917/97, 254/97*e^12 - 1567/97*e^11 - 208/97*e^10 + 17286/97*e^9 - 20113/97*e^8 - 61673/97*e^7 + 106272/97*e^6 + 74139/97*e^5 - 177321/97*e^4 - 8794/97*e^3 + 75842/97*e^2 + 2954/97*e - 2730/97, 881/97*e^12 - 5822/97*e^11 + 1673/97*e^10 + 60175/97*e^9 - 95071/97*e^8 - 185455/97*e^7 + 453890/97*e^6 + 121377/97*e^5 - 709879/97*e^4 + 165176/97*e^3 + 267311/97*e^2 - 48617/97*e - 2886/97, 1481/97*e^12 - 9949/97*e^11 + 3570/97*e^10 + 102085/97*e^9 - 168161/97*e^8 - 308067/97*e^7 + 791729/97*e^6 + 171642/97*e^5 - 1221313/97*e^4 + 337681/97*e^3 + 437814/97*e^2 - 105601/97*e + 1533/97, -382/97*e^12 + 2569/97*e^11 - 952/97*e^10 - 26188/97*e^9 + 43472/97*e^8 + 77340/97*e^7 - 202637/97*e^6 - 33976/97*e^5 + 306083/97*e^4 - 107851/97*e^3 - 99853/97*e^2 + 40822/97*e - 1922/97, -3996/97*e^12 + 26801/97*e^11 - 9369/97*e^10 - 275454/97*e^9 + 451064/97*e^8 + 834894/97*e^7 - 2128135/97*e^6 - 481070/97*e^5 + 3289215/97*e^4 - 881852/97*e^3 - 1187509/97*e^2 + 269562/97*e + 3629/97, 222/97*e^12 - 1462/97*e^11 + 472/97*e^10 + 14818/97*e^9 - 24240/97*e^8 - 43376/97*e^7 + 113730/97*e^6 + 19020/97*e^5 - 173891/97*e^4 + 56741/97*e^3 + 62152/97*e^2 - 17433/97*e - 1177/97, -1752/97*e^12 + 11496/97*e^11 - 2734/97*e^10 - 119700/97*e^9 + 182344/97*e^8 + 375165/97*e^7 - 875906/97*e^6 - 267791/97*e^5 + 1365421/97*e^4 - 299161/97*e^3 - 498831/97*e^2 + 95269/97*e + 952/97, 4043/97*e^12 - 27031/97*e^11 + 8928/97*e^10 + 278606/97*e^9 - 450292/97*e^8 - 850737/97*e^7 + 2131434/97*e^6 + 516821/97*e^5 - 3301158/97*e^4 + 846274/97*e^3 + 1196637/97*e^2 - 255857/97*e - 3585/97, 636/97*e^12 - 4427/97*e^11 + 2296/97*e^10 + 44735/97*e^9 - 80948/97*e^8 - 129313/97*e^7 + 373123/97*e^6 + 47781/97*e^5 - 569443/97*e^4 + 186745/97*e^3 + 198587/97*e^2 - 53873/97*e + 1326/97, 1725/97*e^12 - 11756/97*e^11 + 4981/97*e^10 + 119885/97*e^9 - 205405/97*e^8 - 355371/97*e^7 + 959150/97*e^6 + 169259/97*e^5 - 1475344/97*e^4 + 446397/97*e^3 + 527141/97*e^2 - 138900/97*e + 810/97, 1035/97*e^12 - 7073/97*e^11 + 3008/97*e^10 + 72513/97*e^9 - 124213/97*e^8 - 217898/97*e^7 + 583929/97*e^6 + 116474/97*e^5 - 910407/97*e^4 + 246828/97*e^3 + 341136/97*e^2 - 71215/97*e - 2521/97, -3386/97*e^12 + 22526/97*e^11 - 6860/97*e^10 - 232991/97*e^9 + 370370/97*e^8 + 718283/97*e^7 - 1761429/97*e^6 - 466415/97*e^5 + 2737994/97*e^4 - 654294/97*e^3 - 1002943/97*e^2 + 197421/97*e + 4295/97, -2499/97*e^12 + 16654/97*e^11 - 5266/97*e^10 - 171844/97*e^9 + 275315/97*e^8 + 526651/97*e^7 - 1305506/97*e^6 - 329253/97*e^5 + 2023313/97*e^4 - 504625/97*e^3 - 733829/97*e^2 + 152766/97*e - 222/97, 4062/97*e^12 - 26963/97*e^11 + 8112/97*e^10 + 278386/97*e^9 - 442255/97*e^8 - 854147/97*e^7 + 2100640/97*e^6 + 536753/97*e^5 - 3253476/97*e^4 + 815162/97*e^3 + 1174362/97*e^2 - 248872/97*e - 1491/97, -135/97*e^12 + 640/97*e^11 + 1050/97*e^10 - 7902/97*e^9 - 263/97*e^8 + 34271/97*e^7 - 13393/97*e^6 - 61980/97*e^5 + 30348/97*e^4 + 42242/97*e^3 - 16948/97*e^2 - 9605/97*e + 2117/97, 642/97*e^12 - 4089/97*e^11 + 568/97*e^10 + 42312/97*e^9 - 61047/97*e^8 - 130155/97*e^7 + 293482/97*e^6 + 80929/97*e^5 - 445429/97*e^4 + 132050/97*e^3 + 145003/97*e^2 - 49523/97*e + 1247/97, 526/97*e^12 - 3478/97*e^11 + 996/97*e^10 + 35839/97*e^9 - 56474/97*e^8 - 108994/97*e^7 + 267240/97*e^6 + 62937/97*e^5 - 407169/97*e^4 + 116505/97*e^3 + 134977/97*e^2 - 35459/97*e + 2839/97, 2207/97*e^12 - 14738/97*e^11 + 4778/97*e^10 + 152088/97*e^9 - 244698/97*e^8 - 466500/97*e^7 + 1159651/97*e^6 + 294208/97*e^5 - 1799445/97*e^4 + 441783/97*e^3 + 658402/97*e^2 - 135255/97*e - 2788/97, 2264/97*e^12 - 15310/97*e^11 + 6016/97*e^10 + 156569/97*e^9 - 263655/97*e^8 - 468291/97*e^7 + 1236728/97*e^6 + 243521/97*e^5 - 1907532/97*e^4 + 544387/97*e^3 + 686346/97*e^2 - 164934/97*e + 99/97, -2712/97*e^12 + 18235/97*e^11 - 6584/97*e^10 - 187338/97*e^9 + 309085/97*e^8 + 567018/97*e^7 - 1457945/97*e^6 - 322704/97*e^5 + 2257610/97*e^4 - 607276/97*e^3 - 820485/97*e^2 + 185163/97*e + 3116/97, 1759/97*e^12 - 11619/97*e^11 + 3240/97*e^10 + 120058/97*e^9 - 188016/97*e^8 - 368937/97*e^7 + 893426/97*e^6 + 232970/97*e^5 - 1376132/97*e^4 + 353771/97*e^3 + 483620/97*e^2 - 112892/97*e + 1300/97, -1703/97*e^12 + 11702/97*e^11 - 5303/97*e^10 - 119522/97*e^9 + 207824/97*e^8 + 356681/97*e^7 - 970643/97*e^6 - 183969/97*e^5 + 1503844/97*e^4 - 412852/97*e^3 - 552734/97*e^2 + 118184/97*e + 32/97, -2671/97*e^12 + 18055/97*e^11 - 6752/97*e^10 - 185934/97*e^9 + 308192/97*e^8 + 566858/97*e^7 - 1455321/97*e^6 - 342896/97*e^5 + 2266280/97*e^4 - 559738/97*e^3 - 842454/97*e^2 + 159307/97*e + 4306/97, 265/97*e^12 - 1885/97*e^11 + 1086/97*e^10 + 19359/97*e^9 - 35733/97*e^8 - 59078/97*e^7 + 166631/97*e^6 + 38363/97*e^5 - 263466/97*e^4 + 47700/97*e^3 + 104804/97*e^2 - 6919/97*e - 175/97, 3381/97*e^12 - 22646/97*e^11 + 7718/97*e^10 + 233248/97*e^9 - 379857/97*e^8 - 710953/97*e^7 + 1797872/97*e^6 + 426990/97*e^5 - 2791190/97*e^4 + 714989/97*e^3 + 1021665/97*e^2 - 215208/97*e - 3243/97, -678/97*e^12 + 4486/97*e^11 - 1258/97*e^10 - 46495/97*e^9 + 72979/97*e^8 + 143646/97*e^7 - 348845/97*e^6 - 92510/97*e^5 + 543499/97*e^4 - 135911/97*e^3 - 198016/97*e^2 + 43890/97*e + 197/97, -5467/97*e^12 + 36602/97*e^11 - 12424/97*e^10 - 376695/97*e^9 + 612688/97*e^8 + 1146052/97*e^7 - 2895653/97*e^6 - 679398/97*e^5 + 4481508/97*e^4 - 1172240/97*e^3 - 1623191/97*e^2 + 356999/97*e + 4454/97, -619/97*e^12 + 4156/97*e^11 - 1469/97*e^10 - 42757/97*e^9 + 70097/97*e^8 + 129999/97*e^7 - 330228/97*e^6 - 76987/97*e^5 + 507596/97*e^4 - 131693/97*e^3 - 176552/97*e^2 + 36613/97*e - 1275/97, 2488/97*e^12 - 16530/97*e^11 + 4942/97*e^10 + 171032/97*e^9 - 270947/97*e^8 - 527791/97*e^7 + 1289476/97*e^6 + 344562/97*e^5 - 2005262/97*e^4 + 479268/97*e^3 + 736392/97*e^2 - 147840/97*e - 3885/97, -4563/97*e^12 + 30653/97*e^11 - 10876/97*e^10 - 315219/97*e^9 + 517452/97*e^8 + 957725/97*e^7 - 2442425/97*e^6 - 565525/97*e^5 + 3785490/97*e^4 - 977413/97*e^3 - 1383161/97*e^2 + 290234/97*e + 4450/97, 4263/97*e^12 - 28638/97*e^11 + 10073/97*e^10 + 294652/97*e^9 - 482265/97*e^8 - 896128/97*e^7 + 2275688/97*e^6 + 531808/97*e^5 - 3520364/97*e^4 + 909154/97*e^3 + 1273417/97*e^2 - 266398/97*e - 1276/97, -466/97*e^12 + 2881/97*e^11 + 57/97*e^10 - 30484/97*e^9 + 39368/97*e^8 + 99507/97*e^7 - 197537/97*e^6 - 87544/97*e^5 + 313171/97*e^4 - 47699/97*e^3 - 118402/97*e^2 + 17267/97*e + 930/97, -2662/97*e^12 + 18174/97*e^11 - 7792/97*e^10 - 185446/97*e^9 + 318013/97*e^8 + 552015/97*e^7 - 1484039/97*e^6 - 278430/97*e^5 + 2285461/97*e^4 - 653663/97*e^3 - 824181/97*e^2 + 193089/97*e + 1520/97, 1176/97*e^12 - 7763/97*e^11 + 1976/97*e^10 + 80999/97*e^9 - 124225/97*e^8 - 255630/97*e^7 + 596542/97*e^6 + 191620/97*e^5 - 934111/97*e^4 + 182095/97*e^3 + 348635/97*e^2 - 53962/97*e - 2583/97, 4477/97*e^12 - 30098/97*e^11 + 10715/97*e^10 + 309532/97*e^9 - 508337/97*e^8 - 939513/97*e^7 + 2398800/97*e^6 + 545948/97*e^5 - 3714204/97*e^4 + 984922/97*e^3 + 1349752/97*e^2 - 301368/97*e - 5484/97, 3411/97*e^12 - 22508/97*e^11 + 6159/97*e^10 + 233064/97*e^9 - 364354/97*e^8 - 719916/97*e^7 + 1739652/97*e^6 + 470316/97*e^5 - 2703553/97*e^4 + 656369/97*e^3 + 983732/97*e^2 - 204225/97*e - 3638/97, -2569/97*e^12 + 17205/97*e^11 - 5961/97*e^10 - 176588/97*e^9 + 288676/97*e^8 + 533726/97*e^7 - 1359844/97*e^6 - 302501/97*e^5 + 2095406/97*e^4 - 572612/97*e^3 - 750014/97*e^2 + 176318/97*e + 1896/97, 3438/97*e^12 - 23218/97*e^11 + 8859/97*e^10 + 237826/97*e^9 - 396971/97*e^8 - 714393/97*e^7 + 1863309/97*e^6 + 383869/97*e^5 - 2870080/97*e^4 + 809542/97*e^3 + 1025165/97*e^2 - 248088/97*e + 32/97, 2280/97*e^12 - 15605/97*e^11 + 6840/97*e^10 + 159161/97*e^9 - 274444/97*e^8 - 473026/97*e^7 + 1280238/97*e^6 + 234560/97*e^5 - 1974916/97*e^4 + 569577/97*e^3 + 718411/97*e^2 - 170018/97*e - 1599/97, -2297/97*e^12 + 15585/97*e^11 - 6212/97*e^10 - 159684/97*e^9 + 269193/97*e^8 + 479906/97*e^7 - 1263963/97*e^6 - 259480/97*e^5 + 1954895/97*e^4 - 536165/97*e^3 - 708921/97*e^2 + 156723/97*e + 578/97, 1109/97*e^12 - 7237/97*e^11 + 1581/97*e^10 + 75286/97*e^9 - 113281/97*e^8 - 235784/97*e^7 + 543948/97*e^6 + 168501/97*e^5 - 844728/97*e^4 + 188174/97*e^3 + 306143/97*e^2 - 64222/97*e - 941/97, 6822/97*e^12 - 45501/97*e^11 + 14646/97*e^10 + 469232/97*e^9 - 754995/97*e^8 - 1435661/97*e^7 + 3578438/97*e^6 + 887185/97*e^5 - 5546980/97*e^4 + 1394315/97*e^3 + 2015867/97*e^2 - 418732/97*e - 5530/97, -1677/97*e^12 + 11065/97*e^11 - 3091/97*e^10 - 114049/97*e^9 + 179052/97*e^8 + 347665/97*e^7 - 849281/97*e^6 - 205745/97*e^5 + 1302195/97*e^4 - 363358/97*e^3 - 448794/97*e^2 + 119380/97*e - 1054/97, 374/97*e^12 - 2470/97*e^11 + 637/97*e^10 + 25765/97*e^9 - 39775/97*e^8 - 80647/97*e^7 + 191164/97*e^6 + 55577/97*e^5 - 298096/97*e^4 + 69163/97*e^3 + 107149/97*e^2 - 19850/97*e + 1510/97, 2305/97*e^12 - 15684/97*e^11 + 6430/97*e^10 + 160592/97*e^9 - 272211/97*e^8 - 482710/97*e^7 + 1276503/97*e^6 + 264942/97*e^5 - 1979081/97*e^4 + 526256/97*e^3 + 731889/97*e^2 - 149468/97*e - 4822/97, 2277/97*e^12 - 15192/97*e^11 + 4988/97*e^10 + 156347/97*e^9 - 253015/97*e^8 - 475321/97*e^7 + 1196723/97*e^6 + 279678/97*e^5 - 1846997/97*e^4 + 489109/97*e^3 + 656836/97*e^2 - 145615/97*e + 1011/97, 2374/97*e^12 - 15871/97*e^11 + 5279/97*e^10 + 163525/97*e^9 - 264946/97*e^8 - 498989/97*e^7 + 1254729/97*e^6 + 301697/97*e^5 - 1947198/97*e^4 + 500846/97*e^3 + 712902/97*e^2 - 155703/97*e - 3936/97, 2735/97*e^12 - 18168/97*e^11 + 5392/97*e^10 + 188057/97*e^9 - 297222/97*e^8 - 581045/97*e^7 + 1413439/97*e^6 + 383100/97*e^5 - 2191466/97*e^4 + 517132/97*e^3 + 793398/97*e^2 - 153259/97*e - 1980/97, 3996/97*e^12 - 26898/97*e^11 + 9757/97*e^10 + 276424/97*e^9 - 455720/97*e^8 - 838192/97*e^7 + 2147632/97*e^6 + 487084/97*e^5 - 3322486/97*e^4 + 871376/97*e^3 + 1205648/97*e^2 - 258698/97*e - 2174/97, 2870/97*e^12 - 19196/97*e^11 + 6282/97*e^10 + 198190/97*e^9 - 319075/97*e^8 - 608720/97*e^7 + 1512095/97*e^6 + 387850/97*e^5 - 2349175/97*e^4 + 565682/97*e^3 + 865442/97*e^2 - 166934/97*e - 5843/97, -4856/97*e^12 + 32351/97*e^11 - 10203/97*e^10 - 333682/97*e^9 + 534551/97*e^8 + 1020700/97*e^7 - 2533539/97*e^6 - 626691/97*e^5 + 3919625/97*e^4 - 1005224/97*e^3 - 1412571/97*e^2 + 308669/97*e + 4638/97, 81/97*e^12 - 772/97*e^11 + 1407/97*e^10 + 6720/97*e^9 - 23161/97*e^8 - 10785/97*e^7 + 97625/97*e^6 - 32846/97*e^5 - 147471/97*e^4 + 81801/97*e^3 + 55720/97*e^2 - 18099/97*e + 922/97, 1763/97*e^12 - 11717/97*e^11 + 3640/97*e^10 + 120609/97*e^9 - 193017/97*e^8 - 366556/97*e^7 + 913373/97*e^6 + 213100/97*e^5 - 1405491/97*e^4 + 388538/97*e^3 + 495007/97*e^2 - 125027/97*e - 1210/97, -1254/97*e^12 + 8607/97*e^11 - 3665/97*e^10 - 88591/97*e^9 + 150498/97*e^8 + 270068/97*e^7 - 706294/97*e^6 - 164704/97*e^5 + 1099357/97*e^4 - 261222/97*e^3 - 412329/97*e^2 + 70841/97*e + 4192/97, -139/97*e^12 + 738/97*e^11 + 553/97*e^10 - 7968/97*e^9 + 5126/97*e^8 + 26846/97*e^7 - 30236/97*e^6 - 24941/97*e^5 + 42247/97*e^4 - 15223/97*e^3 - 4861/97*e^2 + 13006/97*e - 1193/97, 1239/97*e^12 - 8191/97*e^11 + 2359/97*e^10 + 84415/97*e^9 - 133369/97*e^8 - 257099/97*e^7 + 633360/97*e^6 + 150510/97*e^5 - 977257/97*e^4 + 273654/97*e^3 + 348118/97*e^2 - 92483/97*e - 1230/97, 3769/97*e^12 - 25362/97*e^11 + 9173/97*e^10 + 260699/97*e^9 - 429909/97*e^8 - 790202/97*e^7 + 2027956/97*e^6 + 455217/97*e^5 - 3140002/97*e^4 + 831777/97*e^3 + 1138744/97*e^2 - 247024/97*e - 236/97, 3239/97*e^12 - 21786/97*e^11 + 7777/97*e^10 + 224212/97*e^9 - 368143/97*e^8 - 682619/97*e^7 + 1737956/97*e^6 + 408949/97*e^5 - 2695811/97*e^4 + 685064/97*e^3 + 988306/97*e^2 - 202922/97*e - 2408/97, -1613/97*e^12 + 10855/97*e^11 - 4160/97*e^10 - 110665/97*e^9 + 185948/97*e^8 + 328046/97*e^7 - 871181/97*e^6 - 157102/97*e^5 + 1338112/97*e^4 - 409553/97*e^3 - 474182/97*e^2 + 127077/97*e - 280/97, 666/97*e^12 - 4483/97*e^11 + 1610/97*e^10 + 46394/97*e^9 - 76600/97*e^8 - 142932/97*e^7 + 365149/97*e^6 + 92174/97*e^5 - 575023/97*e^4 + 128707/97*e^3 + 219048/97*e^2 - 32608/97*e - 2173/97, 2318/97*e^12 - 15566/97*e^11 + 5499/97*e^10 + 159982/97*e^9 - 262250/97*e^8 - 485375/97*e^7 + 1236595/97*e^6 + 282863/97*e^5 - 1913017/97*e^4 + 507159/97*e^3 + 696171/97*e^2 - 158667/97*e - 4007/97, -6629/97*e^12 + 44604/97*e^11 - 16104/97*e^10 - 458433/97*e^9 + 755154/97*e^8 + 1390179/97*e^7 - 3559975/97*e^6 - 807188/97*e^5 + 5508172/97*e^4 - 1447166/97*e^3 - 1996913/97*e^2 + 428192/97*e + 3199/97, 207/97*e^12 - 1628/97*e^11 + 1688/97*e^10 + 15492/97*e^9 - 36599/97*e^8 - 37391/97*e^7 + 157584/97*e^6 - 17678/97*e^5 - 228816/97*e^4 + 114278/97*e^3 + 70109/97*e^2 - 35777/97*e + 2270/97, 2540/97*e^12 - 17222/97*e^11 + 6747/97*e^10 + 176643/97*e^9 - 295899/97*e^8 - 533213/97*e^7 + 1389513/97*e^6 + 300816/97*e^5 - 2150637/97*e^4 + 570690/97*e^3 + 786356/97*e^2 - 169504/97*e - 334/97, 3906/97*e^12 - 25954/97*e^11 + 7741/97*e^10 + 268634/97*e^9 - 425211/97*e^8 - 829733/97*e^7 + 2023629/97*e^6 + 545286/97*e^5 - 3144532/97*e^4 + 744111/97*e^3 + 1148727/97*e^2 - 225299/97*e - 3996/97, -1693/97*e^12 + 11360/97*e^11 - 3915/97*e^10 - 117029/97*e^9 + 190811/97*e^8 + 356765/97*e^7 - 902976/97*e^6 - 213565/97*e^5 + 1403723/97*e^4 - 362746/97*e^3 - 518204/97*e^2 + 112727/97*e + 5009/97, 2285/97*e^12 - 15000/97*e^11 + 3460/97*e^10 + 156576/97*e^9 - 236536/97*e^8 - 494421/97*e^7 + 1137289/97*e^6 + 370597/97*e^5 - 1775056/97*e^4 + 354846/97*e^3 + 655554/97*e^2 - 108581/97*e - 5173/97, 1086/97*e^12 - 7013/97*e^11 + 1221/97*e^10 + 73209/97*e^9 - 107296/97*e^8 - 231069/97*e^7 + 518905/97*e^6 + 172125/97*e^5 - 805724/97*e^4 + 169484/97*e^3 + 287058/97*e^2 - 53931/97*e + 1609/97, -759/97*e^12 + 4870/97*e^11 - 822/97*e^10 - 50499/97*e^9 + 74121/97*e^8 + 157341/97*e^7 - 356842/97*e^6 - 111559/97*e^5 + 550223/97*e^4 - 122070/97*e^3 - 191850/97*e^2 + 36284/97*e - 2374/97, -5115/97*e^12 + 34283/97*e^11 - 11853/97*e^10 - 352748/97*e^9 + 576314/97*e^8 + 1072437/97*e^7 - 2723066/97*e^6 - 633167/97*e^5 + 4215925/97*e^4 - 1097337/97*e^3 - 1528570/97*e^2 + 325273/97*e + 3958/97, 2044/97*e^12 - 13897/97*e^11 + 5647/97*e^10 + 142269/97*e^9 - 240703/97*e^8 - 426683/97*e^7 + 1128073/97*e^6 + 226594/97*e^5 - 1742161/97*e^4 + 487230/97*e^3 + 630227/97*e^2 - 147312/97*e - 270/97, 2936/97*e^12 - 19649/97*e^11 + 6577/97*e^10 + 202480/97*e^9 - 328017/97*e^8 - 618564/97*e^7 + 1552306/97*e^6 + 378640/97*e^5 - 2408787/97*e^4 + 610348/97*e^3 + 884208/97*e^2 - 190282/97*e - 5548/97, -3486/97*e^12 + 23618/97*e^11 - 9197/97*e^10 - 242595/97*e^9 + 406349/97*e^8 + 734515/97*e^7 - 1912941/97*e^6 - 422364/97*e^5 + 2969412/97*e^4 - 768906/97*e^3 - 1092939/97*e^2 + 220272/97*e + 7293/97, 5113/97*e^12 - 33943/97*e^11 + 10198/97*e^10 + 350290/97*e^9 - 556111/97*e^8 - 1072803/97*e^7 + 2638548/97*e^6 + 662890/97*e^5 - 4075388/97*e^4 + 1052454/97*e^3 + 1454831/97*e^2 - 330312/97*e + 498/97, 2837/97*e^12 - 19309/97*e^11 + 8123/97*e^10 + 197112/97*e^9 - 337205/97*e^8 - 587308/97*e^7 + 1577301/97*e^6 + 298753/97*e^5 - 2436351/97*e^4 + 688752/97*e^3 + 887972/97*e^2 - 200171/97*e - 3226/97, 739/97*e^12 - 5059/97*e^11 + 2120/97*e^10 + 52012/97*e^9 - 88013/97*e^8 - 158188/97*e^7 + 412016/97*e^6 + 95285/97*e^5 - 636325/97*e^4 + 154457/97*e^3 + 229878/97*e^2 - 39629/97*e + 180/97, -113/97*e^12 + 586/97*e^11 + 631/97*e^10 - 6860/97*e^9 + 2253/97*e^8 + 27724/97*e^7 - 18290/97*e^6 - 45941/97*e^5 + 28584/97*e^4 + 28936/97*e^3 - 6845/97*e^2 - 7526/97*e + 631/97, 4983/97*e^12 - 33280/97*e^11 + 10875/97*e^10 + 343004/97*e^9 - 553580/97*e^8 - 1046638/97*e^7 + 2621498/97*e^6 + 629762/97*e^5 - 4058095/97*e^4 + 1058445/97*e^3 + 1463684/97*e^2 - 326010/97*e - 1153/97, -64/97*e^12 + 695/97*e^11 - 1744/97*e^10 - 4936/97*e^9 + 24823/97*e^8 - 2885/97*e^7 - 97507/97*e^6 + 77942/97*e^5 + 131893/97*e^4 - 147126/97*e^3 - 30290/97*e^2 + 50309/97*e - 3975/97, 764/97*e^12 - 5235/97*e^11 + 2389/97*e^10 + 53055/97*e^9 - 92861/97*e^8 - 154292/97*e^7 + 430397/97*e^6 + 58931/97*e^5 - 655816/97*e^4 + 226469/97*e^3 + 226478/97*e^2 - 77085/97*e + 1031/97, -2438/97*e^12 + 16372/97*e^11 - 5762/97*e^10 - 168461/97*e^9 + 275801/97*e^8 + 512982/97*e^7 - 1301602/97*e^6 - 309115/97*e^5 + 2015168/97*e^4 - 510135/97*e^3 - 732716/97*e^2 + 151595/97*e + 58/97, -612/97*e^12 + 3645/97*e^11 + 880/97*e^10 - 39489/97*e^9 + 42406/97*e^8 + 135451/97*e^7 - 222207/97*e^6 - 141975/97*e^5 + 350415/97*e^4 - 27710/97*e^3 - 122699/97*e^2 + 21124/97*e - 575/97, 1025/97*e^12 - 6634/97*e^11 + 1038/97*e^10 + 69923/97*e^9 - 100410/97*e^8 - 226421/97*e^7 + 489878/97*e^6 + 193503/97*e^5 - 772747/97*e^4 + 115145/97*e^3 + 293802/97*e^2 - 32778/97*e - 4200/97, -3463/97*e^12 + 22812/97*e^11 - 6024/97*e^10 - 236250/97*e^9 + 366608/97*e^8 + 730091/97*e^7 - 1749188/97*e^6 - 477592/97*e^5 + 2708957/97*e^4 - 668736/97*e^3 - 974041/97*e^2 + 215995/97*e + 3385/97, -3292/97*e^12 + 21775/97*e^11 - 6093/97*e^10 - 225620/97*e^9 + 353387/97*e^8 + 698819/97*e^7 - 1686640/97*e^6 - 467469/97*e^5 + 2625838/97*e^4 - 610699/97*e^3 - 965093/97*e^2 + 184770/97*e + 4965/97, 1382/97*e^12 - 9027/97*e^11 + 2206/97*e^10 + 93031/97*e^9 - 143496/97*e^8 - 283019/97*e^7 + 683349/97*e^6 + 162565/97*e^5 - 1046729/97*e^4 + 311325/97*e^3 + 356412/97*e^2 - 108506/97*e + 2691/97, -757/97*e^12 + 5015/97*e^11 - 1301/97*e^10 - 52697/97*e^9 + 81078/97*e^8 + 169250/97*e^7 - 393477/97*e^6 - 139148/97*e^5 + 630458/97*e^4 - 95326/97*e^3 - 254493/97*e^2 + 25415/97*e + 3452/97, -1208/97*e^12 + 8353/97*e^11 - 3818/97*e^10 - 85989/97*e^9 + 149004/97*e^8 + 262093/97*e^7 - 700731/97*e^6 - 159633/97*e^5 + 1102538/97*e^4 - 251681/97*e^3 - 430322/97*e^2 + 63354/97*e + 5009/97, 1949/97*e^12 - 12879/97*e^11 + 3422/97*e^10 + 133960/97*e^9 - 207362/97*e^8 - 419042/97*e^7 + 993080/97*e^6 + 297169/97*e^5 - 1551928/97*e^4 + 335203/97*e^3 + 578933/97*e^2 - 105510/97*e - 4726/97, 3066/97*e^12 - 20797/97*e^11 + 8228/97*e^10 + 213258/97*e^9 - 358581/97*e^8 - 642692/97*e^7 + 1684786/97*e^6 + 356090/97*e^5 - 2609701/97*e^4 + 701648/97*e^3 + 955380/97*e^2 - 205836/97*e - 6128/97, -3213/97*e^12 + 21343/97*e^11 - 6535/97*e^10 - 220194/97*e^9 + 351108/97*e^8 + 674670/97*e^7 - 1666743/97*e^6 - 421025/97*e^5 + 2583790/97*e^4 - 650605/97*e^3 - 939462/97*e^2 + 203924/97*e + 3553/97, -5947/97*e^12 + 39923/97*e^11 - 13961/97*e^10 - 410805/97*e^9 + 671936/97*e^8 + 1249399/97*e^7 - 3172462/97*e^6 - 740077/97*e^5 + 4910094/97*e^4 - 1274063/97*e^3 - 1779750/97*e^2 + 379442/97*e + 4954/97, 5336/97*e^12 - 35672/97*e^11 + 12031/97*e^10 + 366822/97*e^9 - 596806/97*e^8 - 1113086/97*e^7 + 2820533/97*e^6 + 645272/97*e^5 - 4360821/97*e^4 + 1170679/97*e^3 + 1570973/97*e^2 - 360406/97*e - 3489/97, -1325/97*e^12 + 8843/97*e^11 - 3005/97*e^10 - 90781/97*e^9 + 148789/97*e^8 + 273565/97*e^7 - 705115/97*e^6 - 148262/97*e^5 + 1096170/97*e^4 - 310183/97*e^3 - 402382/97*e^2 + 96675/97*e + 2039/97, 7703/97*e^12 - 51614/97*e^11 + 17871/97*e^10 + 530377/97*e^9 - 867332/97*e^8 - 1605596/97*e^7 + 4093050/97*e^6 + 912532/97*e^5 - 6320006/97*e^4 + 1725749/97*e^3 + 2265330/97*e^2 - 530981/97*e - 1723/97, 263/97*e^12 - 1739/97*e^11 + 498/97*e^10 + 17871/97*e^9 - 28043/97*e^8 - 54109/97*e^7 + 131971/97*e^6 + 30062/97*e^5 - 200432/97*e^4 + 63442/97*e^3 + 68022/97*e^2 - 26217/97*e + 1856/97, 45/97*e^12 + 304/97*e^11 - 2969/97*e^10 - 276/97*e^9 + 30190/97*e^8 - 21544/97*e^7 - 112259/97*e^6 + 103983/97*e^5 + 162350/97*e^4 - 144287/97*e^3 - 61216/97*e^2 + 29133/97*e - 2581/97, -2306/97*e^12 + 15175/97*e^11 - 4008/97*e^10 - 156971/97*e^9 + 244046/97*e^8 + 483497/97*e^7 - 1164629/97*e^6 - 309105/97*e^5 + 1804958/97*e^4 - 457857/97*e^3 - 649497/97*e^2 + 148161/97*e - 1486/97, 7710/97*e^12 - 51446/97*e^11 + 16728/97*e^10 + 530056/97*e^9 - 855156/97*e^8 - 1616634/97*e^7 + 4049751/97*e^6 + 972577/97*e^5 - 6268831/97*e^4 + 1629524/97*e^3 + 2264669/97*e^2 - 498455/97*e - 4418/97, 2893/97*e^12 - 19420/97*e^11 + 6836/97*e^10 + 199588/97*e^9 - 327194/97*e^8 - 604705/97*e^7 + 1542958/97*e^6 + 346978/97*e^5 - 2382456/97*e^4 + 641020/97*e^3 + 856009/97*e^2 - 194685/97*e - 2864/97, -6278/97*e^12 + 41873/97*e^11 - 13693/97*e^10 - 430865/97*e^9 + 696823/97*e^8 + 1308912/97*e^7 - 3296854/97*e^6 - 762440/97*e^5 + 5093686/97*e^4 - 1373413/97*e^3 - 1824944/97*e^2 + 425035/97*e + 4252/97, -5218/97*e^12 + 35206/97*e^11 - 13132/97*e^10 - 361480/97*e^9 + 599772/97*e^8 + 1092873/97*e^7 - 2823069/97*e^6 - 619658/97*e^5 + 4364772/97*e^4 - 1165832/97*e^3 - 1579940/97*e^2 + 342845/97*e + 4134/97, 4204/97*e^12 - 28211/97*e^11 + 9896/97*e^10 + 290041/97*e^9 - 475309/97*e^8 - 879571/97*e^7 + 2243394/97*e^6 + 508428/97*e^5 - 3468359/97*e^4 + 922784/97*e^3 + 1247297/97*e^2 - 273186/97*e + 1263/97, 172/97*e^12 - 916/97*e^11 - 939/97*e^10 + 11277/97*e^9 - 5232/97*e^8 - 48258/97*e^7 + 43891/97*e^6 + 84162/97*e^5 - 88834/97*e^4 - 53042/97*e^3 + 48485/97*e^2 + 13150/97*e - 1812/97, 2640/97*e^12 - 17344/97*e^11 + 4234/97*e^10 + 180524/97*e^9 - 276200/97*e^8 - 565256/97*e^7 + 1325782/97*e^6 + 401780/97*e^5 - 2065738/97*e^4 + 451338/97*e^3 + 753356/97*e^2 - 139199/97*e - 2071/97, 2002/97*e^12 - 13256/97*e^11 + 3969/97*e^10 + 136338/97*e^9 - 216856/97*e^8 - 413999/97*e^7 + 1025960/97*e^6 + 241617/97*e^5 - 1575754/97*e^4 + 432140/97*e^3 + 552034/97*e^2 - 134015/97*e + 2126/97, 6413/97*e^12 - 42804/97*e^11 + 14098/97*e^10 + 440610/97*e^9 - 713341/97*e^8 - 1340855/97*e^7 + 3376498/97*e^6 + 795417/97*e^5 - 5227824/97*e^4 + 1369971/97*e^3 + 1892041/97*e^2 - 414266/97*e - 6078/97, 3533/97*e^12 - 23654/97*e^11 + 8077/97*e^10 + 243322/97*e^9 - 396556/97*e^8 - 738815/97*e^7 + 1873075/97*e^6 + 429500/97*e^5 - 2893667/97*e^4 + 776299/97*e^3 + 1038726/97*e^2 - 241390/97*e - 1817/97, -27*e^12 + 181*e^11 - 62*e^10 - 1864*e^9 + 3034*e^8 + 5684*e^7 - 14339*e^6 - 3435*e^5 + 22216*e^4 - 5676*e^3 - 8076*e^2 + 1717*e - 20, -3441/97*e^12 + 23631/97*e^11 - 10905/97*e^10 - 240252/97*e^9 + 421213/97*e^8 + 707151/97*e^7 - 1960210/97*e^6 - 319448/97*e^5 + 3019630/97*e^4 - 911059/97*e^3 - 1090814/97*e^2 + 268611/97*e + 2190/97, -5864/97*e^12 + 39102/97*e^11 - 12451/97*e^10 - 403373/97*e^9 + 647390/97*e^8 + 1234130/97*e^7 - 3069180/97*e^6 - 758123/97*e^5 + 4753424/97*e^4 - 1214309/97*e^3 - 1716930/97*e^2 + 369874/97*e + 2778/97, -3983/97*e^12 + 26143/97*e^11 - 6614/97*e^10 - 270729/97*e^9 + 418054/97*e^8 + 836497/97*e^7 - 1998390/97*e^6 - 546278/97*e^5 + 3097647/97*e^4 - 769708/97*e^3 - 1113423/97*e^2 + 251439/97*e + 1728/97, -4172/97*e^12 + 27815/97*e^11 - 8927/97*e^10 - 286700/97*e^9 + 461200/97*e^8 + 875727/97*e^7 - 2185280/97*e^6 - 533431/97*e^5 + 3384225/97*e^4 - 869979/97*e^3 - 1224004/97*e^2 + 268741/97*e + 191/97, 518/97*e^12 - 3476/97*e^11 + 1166/97*e^10 + 35804/97*e^9 - 57627/97*e^8 - 109488/97*e^7 + 271190/97*e^6 + 67757/97*e^5 - 417418/97*e^4 + 109245/97*e^3 + 150518/97*e^2 - 39707/97*e + 196/97, -6491/97*e^12 + 43454/97*e^11 - 14817/97*e^10 - 447038/97*e^9 + 728362/97*e^8 + 1358203/97*e^7 - 3441630/97*e^6 - 795952/97*e^5 + 5322551/97*e^4 - 1407388/97*e^3 - 1917711/97*e^2 + 424452/97*e + 606/97, 3257/97*e^12 - 21354/97*e^11 + 5212/97*e^10 + 221599/97*e^9 - 339771/97*e^8 - 688928/97*e^7 + 1627267/97*e^6 + 470078/97*e^5 - 2526693/97*e^4 + 589073/97*e^3 + 913496/97*e^2 - 185313/97*e - 2742/97, 1058/97*e^12 - 7200/97*e^11 + 3174/97*e^10 + 72844/97*e^9 - 127191/97*e^8 - 210488/97*e^7 + 591512/97*e^6 + 73565/97*e^5 - 902948/97*e^4 + 321196/97*e^3 + 309490/97*e^2 - 104398/97*e + 3271/97, -1275/97*e^12 + 8588/97*e^11 - 3049/97*e^10 - 88695/97*e^9 + 145301/97*e^8 + 272239/97*e^7 - 688432/97*e^6 - 171985/97*e^5 + 1072708/97*e^4 - 253556/97*e^3 - 395214/97*e^2 + 68905/97*e - 818/97, -1829/97*e^12 + 12364/97*e^11 - 4905/97*e^10 - 126160/97*e^9 + 213599/97*e^8 + 373878/97*e^7 - 1000920/97*e^6 - 175275/97*e^5 + 1538047/97*e^4 - 477339/97*e^3 - 541224/97*e^2 + 147696/97*e - 1898/97] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal([13, 13, -w^3 + 3*w^2 + 3*w - 1])] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]