/* 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([1, -1, -5, 0, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([31, 31, -w^3 + 6*w + 2]) primes_array = [ [2, 2, w + 1],\ [5, 5, w^3 - 4*w],\ [8, 2, w^3 - w^2 - 4*w + 3],\ [11, 11, w^3 - 5*w + 1],\ [17, 17, -w^3 - w^2 + 5*w + 4],\ [23, 23, -w^2 + 2],\ [29, 29, -w^2 - w + 3],\ [31, 31, -w^3 + 6*w + 2],\ [43, 43, w^3 - 6*w],\ [47, 47, 2*w^3 - 9*w],\ [47, 47, -2*w^3 + w^2 + 8*w - 2],\ [53, 53, -4*w^3 + 2*w^2 + 18*w - 5],\ [59, 59, w^2 - w - 5],\ [59, 59, 3*w^3 - 15*w - 5],\ [71, 71, w^3 - 3*w - 3],\ [81, 3, -3],\ [83, 83, -2*w^3 + 8*w + 3],\ [89, 89, -2*w^3 + 11*w - 2],\ [101, 101, 2*w^3 - w^2 - 10*w],\ [101, 101, 2*w^3 - 2*w^2 - 10*w + 3],\ [107, 107, 3*w^3 - 15*w - 1],\ [107, 107, 4*w^3 - 2*w^2 - 18*w + 3],\ [109, 109, 2*w^3 - 10*w + 3],\ [109, 109, 3*w^3 - 2*w^2 - 13*w + 3],\ [113, 113, 3*w^3 - w^2 - 15*w + 2],\ [113, 113, 3*w^3 - 13*w - 5],\ [121, 11, 3*w^3 - 13*w - 1],\ [125, 5, -2*w^3 + w^2 + 7*w + 1],\ [127, 127, 2*w^3 - 8*w - 1],\ [127, 127, -w^3 + 2*w^2 + 3*w - 3],\ [137, 137, 2*w^3 - 10*w + 1],\ [137, 137, 2*w^3 - 11*w],\ [139, 139, 2*w^3 - 9*w - 6],\ [157, 157, -4*w^3 - w^2 + 19*w + 7],\ [163, 163, 5*w^3 - 2*w^2 - 25*w + 7],\ [167, 167, w^2 + w - 5],\ [167, 167, -w^3 + 2*w^2 + 4*w - 6],\ [169, 13, -w^3 + w^2 + 3*w - 4],\ [169, 13, w^2 - 2*w - 4],\ [173, 173, -2*w^3 + w^2 + 11*w - 7],\ [173, 173, w - 4],\ [181, 181, w + 4],\ [181, 181, -2*w - 5],\ [191, 191, -w^3 + 2*w^2 + 6*w - 6],\ [191, 191, 2*w^3 - w^2 - 11*w + 1],\ [193, 193, -3*w^3 + 16*w],\ [227, 227, 6*w^3 - 3*w^2 - 27*w + 5],\ [227, 227, 2*w^3 - 11*w - 2],\ [229, 229, -2*w^3 + w^2 + 10*w - 6],\ [233, 233, 4*w^3 - 3*w^2 - 17*w + 5],\ [233, 233, 2*w^3 + w^2 - 7*w - 5],\ [233, 233, w^3 - 7*w - 1],\ [233, 233, 2*w^3 - 7*w],\ [239, 239, 2*w^2 - 2*w - 7],\ [239, 239, -4*w^3 + w^2 + 18*w],\ [241, 241, w^3 - 5*w - 5],\ [263, 263, -4*w^3 + w^2 + 20*w - 4],\ [269, 269, w^3 + 2*w^2 - 6*w - 6],\ [271, 271, 2*w^3 + w^2 - 12*w - 8],\ [277, 277, w^3 + w^2 - 7*w - 6],\ [283, 283, 6*w^3 - 3*w^2 - 27*w + 7],\ [283, 283, -3*w^3 + 3*w^2 + 13*w - 8],\ [293, 293, -2*w^3 + w^2 + 9*w + 3],\ [293, 293, 4*w^3 - w^2 - 19*w + 3],\ [313, 313, 2*w^2 - w - 4],\ [313, 313, -2*w^3 + 2*w^2 + 8*w - 1],\ [317, 317, 3*w^3 + w^2 - 13*w - 10],\ [331, 331, w^3 + 2*w^2 - 4*w - 6],\ [349, 349, -w^3 + 3*w^2 + w - 4],\ [353, 353, 3*w^3 - 14*w],\ [353, 353, -2*w^3 + w^2 + 7*w + 5],\ [361, 19, -5*w^3 + w^2 + 23*w - 2],\ [361, 19, -2*w^3 + 7*w + 6],\ [373, 373, -w^3 + 4*w - 4],\ [379, 379, -w^3 - 2*w^2 + 5*w + 7],\ [383, 383, w^2 - 2*w - 6],\ [389, 389, -4*w^3 + 2*w^2 + 16*w - 5],\ [397, 397, 5*w^3 - 2*w^2 - 24*w + 2],\ [397, 397, 3*w^3 + 2*w^2 - 16*w - 14],\ [401, 401, 2*w^2 - 5],\ [419, 419, -w^3 - w^2 + 9*w + 6],\ [439, 439, 3*w^3 - w^2 - 15*w - 2],\ [449, 449, 4*w^3 + w^2 - 17*w - 5],\ [449, 449, 4*w^3 - w^2 - 17*w - 5],\ [467, 467, -3*w^3 + 16*w - 2],\ [467, 467, 2*w^3 + w^2 - 10*w - 2],\ [479, 479, 4*w^3 - 19*w - 8],\ [491, 491, 3*w - 4],\ [491, 491, -w^3 + 2*w^2 + 5*w - 11],\ [509, 509, -7*w^3 + 3*w^2 + 33*w - 10],\ [509, 509, 4*w^3 - w^2 - 21*w - 3],\ [523, 523, -w^3 - 2*w^2 + 6*w + 2],\ [541, 541, -5*w^3 + 2*w^2 + 26*w - 8],\ [541, 541, 2*w^3 + w^2 - 9*w - 1],\ [571, 571, -4*w^3 + 3*w^2 + 20*w - 14],\ [571, 571, -3*w^3 - w^2 + 15*w + 4],\ [593, 593, w^3 - 4*w - 6],\ [613, 613, 4*w^3 - 2*w^2 - 19*w + 2],\ [617, 617, -w^3 + 3*w - 5],\ [617, 617, -w^3 + 2*w^2 + 3*w - 9],\ [617, 617, 8*w^3 - 3*w^2 - 38*w + 8],\ [617, 617, w^3 - 8*w],\ [619, 619, 6*w^3 - 3*w^2 - 26*w + 4],\ [631, 631, 3*w^3 + w^2 - 17*w - 8],\ [631, 631, w^2 - 3*w - 5],\ [641, 641, -3*w^3 + 2*w^2 + 16*w - 10],\ [643, 643, -2*w^3 + 3*w^2 + 7*w - 9],\ [647, 647, w^3 - w^2 - 3*w - 4],\ [653, 653, 2*w^3 + w^2 - 11*w - 1],\ [653, 653, w^3 + 2*w^2 - 7*w - 9],\ [653, 653, -4*w^3 - w^2 + 17*w + 3],\ [653, 653, 3*w^3 - 2*w^2 - 13*w + 1],\ [661, 661, 2*w^3 - 3*w^2 - 8*w + 8],\ [673, 673, 3*w^3 - 12*w - 2],\ [673, 673, 2*w^3 - w^2 - 12*w],\ [683, 683, -w^3 + 2*w^2 + 2*w - 6],\ [691, 691, -5*w^3 + 22*w + 8],\ [691, 691, 2*w^3 - 12*w - 3],\ [719, 719, 6*w^3 + w^2 - 28*w - 8],\ [733, 733, -3*w^2 + 3*w + 7],\ [733, 733, 3*w^3 - 14*w + 2],\ [733, 733, -w^3 + w^2 + 7*w - 8],\ [733, 733, 2*w^3 - 6*w - 5],\ [751, 751, 3*w^3 + 3*w^2 - 13*w - 12],\ [751, 751, 5*w^3 - 2*w^2 - 25*w + 5],\ [751, 751, -4*w^3 + 3*w^2 + 20*w - 12],\ [751, 751, 2*w^3 + w^2 - 9*w + 1],\ [757, 757, -3*w^3 + w^2 + 11*w + 2],\ [773, 773, w^3 - w^2 - 7*w + 6],\ [787, 787, -9*w^3 + 4*w^2 + 43*w - 13],\ [787, 787, w^2 + 2*w - 6],\ [797, 797, -w^3 + 4*w^2 - 2*w - 6],\ [797, 797, 2*w^3 - w^2 - 9*w + 7],\ [821, 821, -6*w^3 + 27*w + 2],\ [823, 823, 8*w^3 - 4*w^2 - 37*w + 8],\ [827, 827, -3*w^3 + 3*w^2 + 15*w - 4],\ [829, 829, w^3 + w^2 - 3*w - 8],\ [839, 839, 2*w^3 - 3*w^2 - 8*w + 6],\ [839, 839, 8*w^3 - 2*w^2 - 38*w + 3],\ [859, 859, 4*w^3 - 2*w^2 - 18*w + 1],\ [859, 859, -4*w^3 + 4*w^2 + 17*w - 10],\ [863, 863, -4*w^3 + w^2 + 19*w + 3],\ [877, 877, -4*w^3 + w^2 + 18*w + 4],\ [883, 883, -6*w^3 + 3*w^2 + 31*w - 13],\ [883, 883, 4*w^3 - w^2 - 17*w - 1],\ [887, 887, 3*w^3 - 4*w^2 - 11*w + 11],\ [907, 907, 5*w^3 - 4*w^2 - 21*w + 11],\ [907, 907, -2*w^3 + 2*w^2 + 8*w - 11],\ [911, 911, 2*w^3 - 2*w^2 - 11*w],\ [919, 919, 4*w^3 - 17*w - 2],\ [937, 937, 3*w^3 - 2*w^2 - 15*w + 1],\ [937, 937, 3*w^3 - 17*w + 1],\ [941, 941, 4*w^3 - w^2 - 16*w - 4],\ [953, 953, -2*w^3 + 2*w^2 + 13*w - 6],\ [971, 971, -3*w^3 + 11*w + 9],\ [977, 977, 8*w^3 - 4*w^2 - 39*w + 16],\ [983, 983, 4*w^3 - w^2 - 21*w + 3],\ [983, 983, 2*w^3 - 3*w^2 - 9*w + 7],\ [997, 997, w^3 - w^2 - w - 6],\ [997, 997, w^3 - 9*w - 3]] primes = [ZF.ideal(I) for I in primes_array] heckePol = x^14 - 5*x^13 - 10*x^12 + 80*x^11 - 477*x^9 + 305*x^8 + 1313*x^7 - 1265*x^6 - 1603*x^5 + 1976*x^4 + 558*x^3 - 1101*x^2 + 143*x + 83 K. = NumberField(heckePol) hecke_eigenvalues_array = [e, -57/391*e^13 + 13/23*e^12 + 825/391*e^11 - 3716/391*e^10 - 3994/391*e^9 + 23658/391*e^8 + 5824/391*e^7 - 71272/391*e^6 + 9250/391*e^5 + 101462/391*e^4 - 31835/391*e^3 - 57021/391*e^2 + 19477/391*e + 6920/391, 361/391*e^13 - 90/23*e^12 - 4834/391*e^11 + 25229/391*e^10 + 20473/391*e^9 - 157263/391*e^8 - 19551/391*e^7 + 463771/391*e^6 - 68228/391*e^5 - 644287/391*e^4 + 165780/391*e^3 + 344711/391*e^2 - 100155/391*e - 32618/391, -6/391*e^13 + 5/23*e^12 - 263/391*e^11 - 741/391*e^10 + 4251/391*e^9 + 62/391*e^8 - 20645/391*e^7 + 12521/391*e^6 + 39765/391*e^5 - 30169/391*e^4 - 26667/391*e^3 + 16079/391*e^2 + 3038/391*e + 1140/391, 135/391*e^13 - 32/23*e^12 - 1707/391*e^11 + 8266/391*e^10 + 6990/391*e^9 - 46360/391*e^8 - 9966/391*e^7 + 120421/391*e^6 + 1264/391*e^5 - 144839/391*e^4 + 5101/391*e^3 + 66172/391*e^2 - 5795/391*e - 4536/391, 753/391*e^13 - 179/23*e^12 - 10590/391*e^11 + 50963/391*e^10 + 49285/391*e^9 - 323318/391*e^8 - 68830/391*e^7 + 971092/391*e^6 - 99684/391*e^5 - 1374404/391*e^4 + 337377/391*e^3 + 750561/391*e^2 - 221741/391*e - 73081/391, 921/391*e^13 - 227/23*e^12 - 12219/391*e^11 + 63109/391*e^10 + 50685/391*e^9 - 389569/391*e^8 - 42862/391*e^7 + 1137797/391*e^6 - 185165/391*e^5 - 1570905/391*e^4 + 421699/391*e^3 + 845012/391*e^2 - 244636/391*e - 85060/391, -1, -453/391*e^13 + 113/23*e^12 + 5754/391*e^11 - 30726/391*e^10 - 21761/391*e^9 + 184541/391*e^8 + 9017/391*e^7 - 522283/391*e^6 + 102797/391*e^5 + 696773/391*e^4 - 193058/391*e^3 - 361570/391*e^2 + 101903/391*e + 35631/391, 1095/391*e^13 - 257/23*e^12 - 15540/391*e^11 + 73259/391*e^10 + 73640/391*e^9 - 465266/391*e^8 - 110030/391*e^7 + 1398724/391*e^6 - 122340/391*e^5 - 1982394/391*e^4 + 466609/391*e^3 + 1086431/391*e^2 - 310842/391*e - 108345/391, 839/391*e^13 - 197/23*e^12 - 12164/391*e^11 + 56892/391*e^10 + 59907/391*e^9 - 366565/391*e^8 - 100837/391*e^7 + 1117588/391*e^6 - 59689/391*e^5 - 1602120/391*e^4 + 327822/391*e^3 + 882422/391*e^2 - 230617/391*e - 87075/391, -658/391*e^13 + 165/23*e^12 + 8824/391*e^11 - 46464/391*e^10 - 37415/391*e^9 + 291317/391*e^8 + 35924/391*e^7 - 865469/391*e^6 + 122455/391*e^5 + 1214815/391*e^4 - 295788/391*e^3 - 661782/391*e^2 + 178201/391*e + 67543/391, 1177/391*e^13 - 287/23*e^12 - 15986/391*e^11 + 80649/391*e^10 + 69501/391*e^9 - 504301/391*e^8 - 73951/391*e^7 + 1494396/391*e^6 - 213017/391*e^5 - 2097022/391*e^4 + 551102/391*e^3 + 1151854/391*e^2 - 336591/391*e - 120406/391, 574/391*e^13 - 141/23*e^12 - 7423/391*e^11 + 38436/391*e^10 + 29286/391*e^9 - 231408/391*e^8 - 18410/391*e^7 + 656410/391*e^6 - 122138/391*e^5 - 879032/391*e^4 + 250108/391*e^3 + 461871/391*e^2 - 136451/391*e - 47282/391, -235/391*e^13 + 54/23*e^12 + 3319/391*e^11 - 15142/391*e^10 - 15904/391*e^9 + 94574/391*e^8 + 26124/391*e^7 - 280190/391*e^6 + 16336/391*e^5 + 391830/391*e^4 - 87485/391*e^3 - 210042/391*e^2 + 61381/391*e + 18844/391, -2413/391*e^13 + 581/23*e^12 + 32970/391*e^11 - 162915/391*e^10 - 145880/391*e^9 + 1015598/391*e^8 + 173693/391*e^7 - 2996328/391*e^6 + 369948/391*e^5 + 4176882/391*e^4 - 1038140/391*e^3 - 2267655/391*e^2 + 646882/391*e + 229735/391, 1352/391*e^13 - 337/23*e^12 - 17634/391*e^11 + 93073/391*e^10 + 70438/391*e^9 - 569712/391*e^8 - 45728/391*e^7 + 1647210/391*e^6 - 299730/391*e^5 - 2248616/391*e^4 + 631150/391*e^3 + 1196983/391*e^2 - 358208/391*e - 120421/391, -689/391*e^13 + 164/23*e^12 + 9355/391*e^11 - 45405/391*e^10 - 41453/391*e^9 + 278995/391*e^8 + 53140/391*e^7 - 811269/391*e^6 + 83337/391*e^5 + 1116093/391*e^4 - 253121/391*e^3 - 599365/391*e^2 + 158968/391*e + 62094/391, 30/17*e^13 - 7*e^12 - 436/17*e^11 + 2022/17*e^10 + 2154/17*e^9 - 13026/17*e^8 - 3654/17*e^7 + 39684/17*e^6 - 2016/17*e^5 - 56810/17*e^4 + 11530/17*e^3 + 31261/17*e^2 - 8084/17*e - 3218/17, 1066/391*e^13 - 252/23*e^12 - 15182/391*e^11 + 72219/391*e^10 + 72095/391*e^9 - 461708/391*e^8 - 105743/391*e^7 + 1398963/391*e^6 - 136395/391*e^5 - 2001201/391*e^4 + 494705/391*e^3 + 1109732/391*e^2 - 326917/391*e - 111046/391, 179/391*e^13 - 38/23*e^12 - 2776/391*e^11 + 10963/391*e^10 + 15698/391*e^9 - 70014/391*e^8 - 39472/391*e^7 + 208330/391*e^6 + 40440/391*e^5 - 283450/391*e^4 - 5007/391*e^3 + 140892/391*e^2 - 10218/391*e - 11723/391, 1671/391*e^13 - 415/23*e^12 - 21963/391*e^11 + 115070/391*e^10 + 88997/391*e^9 - 707773/391*e^8 - 62387/391*e^7 + 2057086/391*e^6 - 371905/391*e^5 - 2821002/391*e^4 + 802242/391*e^3 + 1504494/391*e^2 - 457038/391*e - 151315/391, 92/17*e^13 - 22*e^12 - 1260/17*e^11 + 6160/17*e^10 + 5606/17*e^9 - 38328/17*e^8 - 6840/17*e^7 + 112810/17*e^6 - 13710/17*e^5 - 156798/17*e^4 + 39314/17*e^3 + 84808/17*e^2 - 24392/17*e - 8470/17, -1101/391*e^13 + 262/23*e^12 + 15277/391*e^11 - 74000/391*e^10 - 69389/391*e^9 + 464937/391*e^8 + 90167/391*e^7 - 1381511/391*e^6 + 153503/391*e^5 + 1935021/391*e^4 - 465906/391*e^3 - 1051193/391*e^2 + 289638/391*e + 108703/391, -1266/391*e^13 + 296/23*e^12 + 18015/391*e^11 - 84016/391*e^10 - 86795/391*e^9 + 531157/391*e^8 + 142751/391*e^7 - 1589471/391*e^6 + 84011/391*e^5 + 2240251/391*e^4 - 452243/391*e^3 - 1214875/391*e^2 + 316488/391*e + 115029/391, 364/391*e^13 - 81/23*e^12 - 5289/391*e^11 + 22667/391*e^10 + 27145/391*e^9 - 140872/391*e^8 - 57126/391*e^7 + 413914/391*e^6 + 28994/391*e^5 - 574658/391*e^4 + 53016/391*e^3 + 311843/391*e^2 - 54754/391*e - 31233/391, 788/391*e^13 - 189/23*e^12 - 10685/391*e^11 + 52744/391*e^10 + 46188/391*e^9 - 326547/391*e^8 - 47389/391*e^7 + 954813/391*e^6 - 146117/391*e^5 - 1317999/391*e^4 + 362927/391*e^3 + 709226/391*e^2 - 212223/391*e - 69565/391, 71/391*e^13 - 17/23*e^12 - 863/391*e^11 + 4663/391*e^10 + 2286/391*e^9 - 28234/391*e^8 + 8852/391*e^7 + 81026/391*e^6 - 54724/391*e^5 - 114090/391*e^4 + 88975/391*e^3 + 71767/391*e^2 - 41945/391*e - 12317/391, 678/391*e^13 - 151/23*e^12 - 10163/391*e^11 + 43460/391*e^10 + 53743/391*e^9 - 278360/391*e^8 - 112820/391*e^7 + 840024/391*e^6 + 35508/391*e^5 - 1182416/391*e^4 + 163372/391*e^3 + 626823/391*e^2 - 140756/391*e - 54530/391, -894/391*e^13 + 216/23*e^12 + 12425/391*e^11 - 61534/391*e^10 - 56325/391*e^9 + 391245/391*e^8 + 69881/391*e^7 - 1181043/391*e^6 + 147569/391*e^5 + 1688093/391*e^4 - 432487/391*e^3 - 942587/391*e^2 + 273584/391*e + 102999/391, -93/391*e^13 + 20/23*e^12 + 1593/391*e^11 - 6598/391*e^10 - 9377/391*e^9 + 48663/391*e^8 + 18804/391*e^7 - 168577/391*e^6 + 12849/391*e^5 + 271175/391*e^4 - 79229/391*e^3 - 166213/391*e^2 + 56082/391*e + 22753/391, -2232/391*e^13 + 549/23*e^12 + 30021/391*e^11 - 154051/391*e^10 - 127298/391*e^9 + 961464/391*e^8 + 115036/391*e^7 - 2841568/391*e^6 + 467904/391*e^5 + 3969046/391*e^4 - 1115586/391*e^3 - 2154931/391*e^2 + 662109/391*e + 216459/391, 1740/391*e^13 - 438/23*e^12 - 22262/391*e^11 + 120268/391*e^10 + 84489/391*e^9 - 731555/391*e^8 - 26921/391*e^7 + 2103316/391*e^6 - 460685/391*e^5 - 2861344/391*e^4 + 886629/391*e^3 + 1524665/391*e^2 - 480245/391*e - 155823/391, -1067/391*e^13 + 249/23*e^12 + 15073/391*e^11 - 70192/391*e^10 - 71973/391*e^9 + 440083/391*e^8 + 117877/391*e^7 - 1304535/391*e^6 + 61499/391*e^5 + 1818333/391*e^4 - 345682/391*e^3 - 968182/391*e^2 + 242446/391*e + 88167/391, -3862/391*e^13 + 949/23*e^12 + 51761/391*e^11 - 265035/391*e^10 - 219342/391*e^9 + 1644441/391*e^8 + 208170/391*e^7 - 4826576/391*e^6 + 739926/391*e^5 + 6688942/391*e^4 - 1787802/391*e^3 - 3603058/391*e^2 + 1063849/391*e + 359593/391, 74/17*e^13 - 18*e^12 - 995/17*e^11 + 5008/17*e^10 + 4283/17*e^9 - 30951/17*e^8 - 4651/17*e^7 + 90567/17*e^6 - 11885/17*e^5 - 125415/17*e^4 + 30951/17*e^3 + 67765/17*e^2 - 19018/17*e - 6801/17, -1121/391*e^13 + 271/23*e^12 + 15443/391*e^11 - 76470/391*e^10 - 69295/391*e^9 + 480132/391*e^8 + 86517/391*e^7 - 1426837/391*e^6 + 164061/391*e^5 + 2001545/391*e^4 - 480506/391*e^3 - 1090133/391*e^2 + 303414/391*e + 111721/391, -937/391*e^13 + 225/23*e^12 + 13212/391*e^11 - 64303/391*e^10 - 61636/391*e^9 + 409154/391*e^8 + 86471/391*e^7 - 1230440/391*e^6 + 121902/391*e^5 + 1741346/391*e^4 - 414220/391*e^3 - 952409/391*e^2 + 274894/391*e + 96311/391, -1891/391*e^13 + 445/23*e^12 + 26917/391*e^11 - 126991/391*e^10 - 128627/391*e^9 + 807275/391*e^8 + 200533/391*e^7 - 2427815/391*e^6 + 173679/391*e^5 + 3438203/391*e^4 - 744664/391*e^3 - 1876530/391*e^2 + 510042/391*e + 183340/391, -1179/391*e^13 + 281/23*e^12 + 16941/391*e^11 - 81287/391*e^10 - 81769/391*e^9 + 525175/391*e^8 + 127935/391*e^7 - 1607783/391*e^6 + 117965/391*e^5 + 2318177/391*e^4 - 496258/391*e^3 - 1286342/391*e^2 + 337734/391*e + 130170/391, -984/391*e^13 + 245/23*e^12 + 12781/391*e^11 - 67566/391*e^10 - 50428/391*e^9 + 412898/391*e^8 + 28432/391*e^7 - 1191856/391*e^6 + 230270/391*e^5 + 1624994/391*e^4 - 468862/391*e^3 - 863667/391*e^2 + 256985/391*e + 85300/391, -22/17*e^13 + 5*e^12 + 339/17*e^11 - 1493/17*e^10 - 1821/17*e^9 + 9940/17*e^8 + 3635/17*e^7 - 31111/17*e^6 + 353/17*e^5 + 45191/17*e^4 - 9107/17*e^3 - 24593/17*e^2 + 7082/17*e + 2242/17, -177/391*e^13 + 44/23*e^12 + 2212/391*e^11 - 11889/391*e^10 - 7731/391*e^9 + 70645/391*e^8 - 2391/391*e^7 - 197385/391*e^6 + 60477/391*e^5 + 263269/391*e^4 - 107314/391*e^3 - 143645/391*e^2 + 58341/391*e + 14080/391, 1074/391*e^13 - 274/23*e^12 - 13528/391*e^11 + 74771/391*e^10 + 50005/391*e^9 - 451755/391*e^8 - 12789/391*e^7 + 1291035/391*e^6 - 269179/391*e^5 - 1750357/391*e^4 + 502109/391*e^3 + 938019/391*e^2 - 275185/391*e - 99272/391, -262/391*e^13 + 65/23*e^12 + 3113/391*e^11 - 16717/391*e^10 - 10264/391*e^9 + 92898/391*e^8 - 1286/391*e^7 - 236944/391*e^6 + 58624/391*e^5 + 276206/391*e^4 - 93510/391*e^3 - 122633/391*e^2 + 47291/391*e + 11071/391, 1910/391*e^13 - 457/23*e^12 - 26019/391*e^11 + 127187/391*e^10 + 115361/391*e^9 - 785445/391*e^8 - 144867/391*e^7 + 2292305/391*e^6 - 248967/391*e^5 - 3159745/391*e^4 + 739375/391*e^3 + 1699646/391*e^2 - 467138/391*e - 169746/391, -1752/391*e^13 + 448/23*e^12 + 21736/391*e^11 - 121359/391*e^10 - 76769/391*e^9 + 725814/391*e^8 - 3812/391*e^7 - 2046994/391*e^6 + 492122/391*e^5 + 2729844/391*e^4 - 855116/391*e^3 - 1427992/391*e^2 + 440183/391*e + 140899/391, 195/23*e^13 - 773/23*e^12 - 2757/23*e^11 + 12870/23*e^10 + 13056/23*e^9 - 81043/23*e^8 - 20015/23*e^7 + 241265/23*e^6 - 18243/23*e^5 - 338017/23*e^4 + 75236/23*e^3 + 182210/23*e^2 - 50251/23*e - 17339/23, 3644/391*e^13 - 890/23*e^12 - 49717/391*e^11 + 251015/391*e^10 + 217786/391*e^9 - 1575588/391*e^8 - 238571/391*e^7 + 4682624/391*e^6 - 646036/391*e^5 - 6572852/391*e^4 + 1696305/391*e^3 + 3589944/391*e^2 - 1036621/391*e - 371349/391, -2689/391*e^13 + 650/23*e^12 + 36512/391*e^11 - 181752/391*e^10 - 159519/391*e^9 + 1129103/391*e^8 + 179627/391*e^7 - 3316925/391*e^6 + 437683/391*e^5 + 4595137/391*e^4 - 1166112/391*e^3 - 2464075/391*e^2 + 706475/391*e + 240729/391, 3430/391*e^13 - 842/23*e^12 - 45282/391*e^11 + 232406/391*e^10 + 187199/391*e^9 - 1422190/391*e^8 - 163063/391*e^7 + 4115213/391*e^6 - 649427/391*e^5 - 5637315/391*e^4 + 1494729/391*e^3 + 3031744/391*e^2 - 874047/391*e - 311139/391, 2568/391*e^13 - 622/23*e^12 - 34452/391*e^11 + 172478/391*e^10 + 147693/391*e^9 - 1060731/391*e^8 - 158895/391*e^7 + 3081529/391*e^6 - 404657/391*e^5 - 4222461/391*e^4 + 1032817/391*e^3 + 2249211/391*e^2 - 617187/391*e - 227123/391, -671/391*e^13 + 172/23*e^12 + 8580/391*e^11 - 47483/391*e^10 - 32701/391*e^9 + 290539/391*e^8 + 13415/391*e^7 - 839057/391*e^6 + 158369/391*e^5 + 1138957/391*e^4 - 299022/391*e^3 - 590907/391*e^2 + 160411/391*e + 52418/391, -962/391*e^13 + 219/23*e^12 + 14788/391*e^11 - 65631/391*e^10 - 78527/391*e^9 + 439389/391*e^8 + 148574/391*e^7 - 1387389/391*e^6 + 53967/391*e^5 + 2045025/391*e^4 - 450456/391*e^3 - 1143408/391*e^2 + 325349/391*e + 113964/391, -1299/391*e^13 + 335/23*e^12 + 16373/391*e^11 - 92588/391*e^10 - 58527/391*e^9 + 567861/391*e^8 - 10483/391*e^7 - 1649049/391*e^6 + 436245/391*e^5 + 2271581/391*e^4 - 787960/391*e^3 - 1232206/391*e^2 + 422736/391*e + 127555/391, 2977/391*e^13 - 706/23*e^12 - 41483/391*e^11 + 199334/391*e^10 + 190462/391*e^9 - 1252116/391*e^8 - 258834/391*e^7 + 3721178/391*e^6 - 389448/391*e^5 - 5217370/391*e^4 + 1264917/391*e^3 + 2842214/391*e^2 - 806943/391*e - 292712/391, 2740/391*e^13 - 681/23*e^12 - 36036/391*e^11 + 188637/391*e^10 + 147041/391*e^9 - 1158955/391*e^8 - 114211/391*e^7 + 3364355/391*e^6 - 561613/391*e^5 - 4606731/391*e^4 + 1236577/391*e^3 + 2447636/391*e^2 - 704537/391*e - 239080/391, 1306/391*e^13 - 314/23*e^12 - 18347/391*e^11 + 90129/391*e^10 + 84261/391*e^9 - 577969/391*e^8 - 105735/391*e^7 + 1760669/391*e^6 - 229465/391*e^5 - 2541429/391*e^4 + 677725/391*e^3 + 1432733/391*e^2 - 430842/391*e - 153518/391, -2305/391*e^13 + 537/23*e^12 + 33012/391*e^11 - 153487/391*e^10 - 159056/391*e^9 + 977337/391*e^8 + 250098/391*e^7 - 2943314/391*e^6 + 223474/391*e^5 + 4170178/391*e^4 - 958909/391*e^3 - 2272820/391*e^2 + 650066/391*e + 216253/391, 733/391*e^13 - 170/23*e^12 - 10815/391*e^11 + 49275/391*e^10 + 55635/391*e^9 - 319071/391*e^8 - 109625/391*e^7 + 978551/391*e^6 + 11361/391*e^5 - 1410713/391*e^4 + 205868/391*e^3 + 780437/391*e^2 - 168474/391*e - 77492/391, 3686/391*e^13 - 879/23*e^12 - 51004/391*e^11 + 247209/391*e^10 + 232212/391*e^9 - 1546306/391*e^8 - 314580/391*e^7 + 4577382/391*e^6 - 450108/391*e^5 - 6395686/391*e^4 + 1466950/391*e^3 + 3465661/391*e^2 - 941760/391*e - 343357/391, 2288/391*e^13 - 565/23*e^12 - 30564/391*e^11 + 157839/391*e^10 + 128286/391*e^9 - 980159/391*e^8 - 112636/391*e^7 + 2882930/391*e^6 - 472286/391*e^5 - 4014866/391*e^4 + 1110328/391*e^3 + 2186154/391*e^2 - 660096/391*e - 224753/391, -1007/391*e^13 + 245/23*e^12 + 13793/391*e^11 - 69038/391*e^10 - 60916/391*e^9 + 432816/391*e^8 + 69004/391*e^7 - 1285857/391*e^6 + 175668/391*e^5 + 1812697/391*e^4 - 475095/391*e^3 - 1008153/391*e^2 + 291439/391*e + 110002/391, 1713/391*e^13 - 404/23*e^12 - 24423/391*e^11 + 115565/391*e^10 + 117108/391*e^9 - 736750/391*e^8 - 185316/391*e^7 + 2221634/391*e^6 - 144306/391*e^5 - 3147444/391*e^4 + 648741/391*e^3 + 1706696/391*e^2 - 441159/391*e - 164769/391, -855/391*e^13 + 195/23*e^12 + 12375/391*e^11 - 55349/391*e^10 - 61865/391*e^9 + 349787/391*e^8 + 115121/391*e^7 - 1046011/391*e^6 + 6201/391*e^5 + 1475401/391*e^4 - 239406/391*e^3 - 808786/391*e^2 + 179938/391*e + 81122/391, 1718/391*e^13 - 389/23*e^12 - 25442/391*e^11 + 112468/391*e^10 + 130183/391*e^9 - 724811/391*e^8 - 243249/391*e^7 + 2206573/391*e^6 - 47045/391*e^5 - 3149999/391*e^4 + 611727/391*e^3 + 1716822/391*e^2 - 457897/391*e - 164155/391, 1223/391*e^13 - 287/23*e^12 - 17619/391*e^11 + 82420/391*e^10 + 86567/391*e^9 - 528106/391*e^8 - 150012/391*e^7 + 1601852/391*e^6 - 54938/391*e^5 - 2283184/391*e^4 + 403649/391*e^3 + 1246499/391*e^2 - 286244/391*e - 124454/391, 36/17*e^13 - 9*e^12 - 479/17*e^11 + 2542/17*e^10 + 1932/17*e^9 - 15978/17*e^8 - 910/17*e^7 + 47580/17*e^6 - 10586/17*e^5 - 67118/17*e^4 + 21860/17*e^3 + 37095/17*e^2 - 12057/17*e - 3984/17, -533/391*e^13 + 103/23*e^12 + 9937/391*e^11 - 34350/391*e^10 - 67523/391*e^9 + 253532/391*e^8 + 197346/391*e^7 - 868198/391*e^6 - 200224/391*e^5 + 1360516/391*e^4 - 79809/391*e^3 - 784383/391*e^2 + 164436/391*e + 73900/391, 3826/391*e^13 - 942/23*e^12 - 50993/391*e^11 + 262544/391*e^10 + 213177/391*e^9 - 1624910/391*e^8 - 185806/391*e^7 + 4756250/391*e^6 - 771908/391*e^5 - 6575924/391*e^4 + 1788892/391*e^3 + 3540004/391*e^2 - 1050704/391*e - 354708/391, 711/391*e^13 - 167/23*e^12 - 10085/391*e^11 + 47340/391*e^10 + 48153/391*e^9 - 298251/391*e^8 - 77277/391*e^7 + 887481/391*e^6 - 48109/391*e^5 - 1245417/391*e^4 + 239856/391*e^3 + 684036/391*e^2 - 168804/391*e - 76831/391, -2830/391*e^13 + 710/23*e^12 + 36783/391*e^11 - 195842/391*e^10 - 146618/391*e^9 + 1197812/391*e^8 + 98568/391*e^7 - 3464316/391*e^6 + 600522/391*e^5 + 4739914/391*e^4 - 1269042/391*e^3 - 2540756/391*e^2 + 718045/391*e + 264000/391, -2081/391*e^13 + 519/23*e^12 + 27321/391*e^11 - 143809/391*e^10 - 110921/391*e^9 + 883789/391*e^8 + 82966/391*e^7 - 2566335/391*e^6 + 432335/391*e^5 + 3515743/391*e^4 - 940059/391*e^3 - 1868754/391*e^2 + 540036/391*e + 182686/391, 3683/391*e^13 - 888/23*e^12 - 50940/391*e^11 + 251335/391*e^10 + 229841/391*e^9 - 1583811/391*e^8 - 289517/391*e^7 + 4723816/391*e^6 - 547721/391*e^5 - 6639310/391*e^4 + 1614904/391*e^3 + 3598625/391*e^2 - 1011403/391*e - 352562/391, -1151/391*e^13 + 273/23*e^12 + 16083/391*e^11 - 76656/391*e^10 - 76192/391*e^9 + 478878/391*e^8 + 128744/391*e^7 - 1415844/391*e^6 + 31318/391*e^5 + 1971128/391*e^4 - 296349/391*e^3 - 1053921/391*e^2 + 224373/391*e + 102172/391, 464/391*e^13 - 126/23*e^12 - 5337/391*e^11 + 33062/391*e^10 + 16118/391*e^9 - 189868/391*e^8 + 8826/391*e^7 + 509950/391*e^6 - 102778/391*e^5 - 639834/391*e^4 + 136182/391*e^3 + 305178/391*e^2 - 59901/391*e - 24036/391, -1556/391*e^13 + 346/23*e^12 + 23550/391*e^11 - 100672/391*e^10 - 125705/391*e^9 + 653148/391*e^8 + 264994/391*e^7 - 2001150/391*e^6 - 76480/391*e^5 + 2874454/391*e^4 - 411748/391*e^3 - 1578922/391*e^2 + 361795/391*e + 154880/391, 1053/391*e^13 - 268/23*e^12 - 13080/391*e^11 + 72764/391*e^10 + 45920/391*e^9 - 435898/391*e^8 + 5470/391*e^7 + 1229484/391*e^6 - 303410/391*e^5 - 1637966/391*e^4 + 510239/391*e^3 + 859596/391*e^2 - 248912/391*e - 87462/391, -3804/391*e^13 + 916/23*e^12 + 51827/391*e^11 - 256308/391*e^10 - 227982/391*e^9 + 1593142/391*e^8 + 265284/391*e^7 - 4681211/391*e^6 + 592086/391*e^5 + 6485309/391*e^4 - 1614086/391*e^3 - 3480748/391*e^2 + 982609/391*e + 345836/391, -2488/391*e^13 + 586/23*e^12 + 35352/391*e^11 - 166899/391*e^10 - 168401/391*e^9 + 1058210/391*e^8 + 259515/391*e^7 - 3171579/391*e^6 + 240433/391*e^5 + 4468575/391*e^4 - 994749/391*e^3 - 2412898/391*e^2 + 669999/391*e + 224044/391, -44/391*e^13 + 6/23*e^12 + 1460/391*e^11 - 3870/391*e^10 - 13791/391*e^9 + 40467/391*e^8 + 50229/391*e^7 - 172365/391*e^6 - 62245/391*e^5 + 314561/391*e^4 - 13743/391*e^3 - 206487/391*e^2 + 45869/391*e + 27519/391, 349/391*e^13 - 80/23*e^12 - 5360/391*e^11 + 24138/391*e^10 + 28193/391*e^9 - 162613/391*e^8 - 50675/391*e^7 + 515401/391*e^6 - 32881/391*e^5 - 758583/391*e^4 + 185172/391*e^3 + 419097/391*e^2 - 123795/391*e - 40113/391, -2146/391*e^13 + 531/23*e^12 + 28447/391*e^11 - 147731/391*e^10 - 118240/391*e^9 + 913134/391*e^8 + 104534/391*e^7 - 2672785/391*e^6 + 408194/391*e^5 + 3704967/391*e^4 - 947236/391*e^3 - 2013295/391*e^2 + 559393/391*e + 207939/391, 2463/391*e^13 - 592/23*e^12 - 33776/391*e^11 + 166353/391*e^10 + 150337/391*e^9 - 1038923/391*e^8 - 182945/391*e^7 + 3065851/391*e^6 - 365845/391*e^5 - 4255999/391*e^4 + 1038668/391*e^3 + 2273511/391*e^2 - 641049/391*e - 217730/391, 2317/391*e^13 - 570/23*e^12 - 30531/391*e^11 + 156924/391*e^10 + 126703/391*e^9 - 957520/391*e^8 - 120051/391*e^7 + 2762263/391*e^6 - 385505/391*e^5 - 3769279/391*e^4 + 910192/391*e^3 + 2009972/391*e^2 - 537278/391*e - 195855/391, -42/23*e^13 + 181/23*e^12 + 574/23*e^11 - 3071/23*e^10 - 2443/23*e^9 + 19777/23*e^8 + 1788/23*e^7 - 60335/23*e^6 + 11601/23*e^5 + 86667/23*e^4 - 26106/23*e^3 - 47964/23*e^2 + 14757/23*e + 4898/23, -1057/391*e^13 + 256/23*e^12 + 14208/391*e^11 - 71303/391*e^10 - 60681/391*e^9 + 440501/391*e^8 + 62225/391*e^7 - 1284609/391*e^6 + 177039/391*e^5 + 1765521/391*e^4 - 433786/391*e^3 - 945193/391*e^2 + 258627/391*e + 100734/391, 1765/391*e^13 - 432/23*e^12 - 23838/391*e^11 + 120814/391*e^10 + 103335/391*e^9 - 751233/391*e^8 - 114439/391*e^7 + 2211781/391*e^6 - 283661/391*e^5 - 3075875/391*e^4 + 748088/391*e^3 + 1657405/391*e^2 - 457583/391*e - 155881/391, -137/23*e^13 + 580/23*e^12 + 1742/23*e^11 - 9272/23*e^10 - 6608/23*e^9 + 55688/23*e^8 + 2793/23*e^7 - 157862/23*e^6 + 31564/23*e^5 + 211710/23*e^4 - 60588/23*e^3 - 111374/23*e^2 + 33250/23*e + 11310/23, -2015/391*e^13 + 487/23*e^12 + 26695/391*e^11 - 133312/391*e^10 - 112717/391*e^9 + 807253/391*e^8 + 120035/391*e^7 - 2306419/391*e^6 + 294817/391*e^5 + 3112131/391*e^4 - 748382/391*e^3 - 1644066/391*e^2 + 447186/391*e + 165063/391, 3201/391*e^13 - 793/23*e^12 - 42482/391*e^11 + 221133/391*e^10 + 175255/391*e^9 - 1369515/391*e^8 - 134671/391*e^7 + 4010964/391*e^6 - 713911/391*e^5 - 5544538/391*e^4 + 1599304/391*e^3 + 2977272/391*e^2 - 924793/391*e - 298518/391, 104/391*e^13 - 33/23*e^12 - 1176/391*e^11 + 9325/391*e^10 + 2952/391*e^9 - 58682/391*e^8 + 7250/391*e^7 + 173448/391*e^6 - 37072/391*e^5 - 232222/391*e^4 + 43076/391*e^3 + 102783/391*e^2 - 21118/391*e - 7639/391, 182/391*e^13 - 52/23*e^12 - 2058/391*e^11 + 14266/391*e^10 + 4775/391*e^9 - 87249/391*e^8 + 19921/391*e^7 + 255441/391*e^6 - 108277/391*e^5 - 360837/391*e^4 + 167659/391*e^3 + 202255/391*e^2 - 86809/391*e - 13857/391, 4390/391*e^13 - 1044/23*e^12 - 61852/391*e^11 + 296617/391*e^10 + 290994/391*e^9 - 1876286/391*e^8 - 437904/391*e^7 + 5612476/391*e^6 - 427778/391*e^5 - 7896368/391*e^4 + 1691530/391*e^3 + 4272136/391*e^2 - 1123572/391*e - 419249/391, 1693/391*e^13 - 441/23*e^12 - 19956/391*e^11 + 117396/391*e^10 + 60116/391*e^9 - 687538/391*e^8 + 68703/391*e^7 + 1897134/391*e^6 - 600602/391*e^5 - 2485036/391*e^4 + 921526/391*e^3 + 1295915/391*e^2 - 455144/391*e - 135554/391, -378/391*e^13 + 85/23*e^12 + 6109/391*e^11 - 26742/391*e^10 - 34039/391*e^9 + 188849/391*e^8 + 64737/391*e^7 - 630507/391*e^6 + 47369/391*e^5 + 983369/391*e^4 - 272421/391*e^3 - 581130/391*e^2 + 196086/391*e + 62827/391, -228/391*e^13 + 29/23*e^12 + 4864/391*e^11 - 10563/391*e^10 - 37481/391*e^9 + 81729/391*e^8 + 127693/391*e^7 - 281569/391*e^6 - 184697/391*e^5 + 425007/391*e^4 + 70115/391*e^3 - 213226/391*e^2 + 32943/391*e + 1092/391, -3123/391*e^13 + 774/23*e^12 + 40427/391*e^11 - 212282/391*e^10 - 158965/391*e^9 + 1288945/391*e^8 + 89865/391*e^7 - 3696717/391*e^6 + 722861/391*e^5 + 5015539/391*e^4 - 1488406/391*e^3 - 2669397/391*e^2 + 840334/391*e + 265321/391, -1835/391*e^13 + 452/23*e^12 + 25201/391*e^11 - 128677/391*e^10 - 110826/391*e^9 + 816732/391*e^8 + 116522/391*e^7 - 2457224/391*e^6 + 366752/391*e^5 + 3489742/391*e^4 - 948159/391*e^3 - 1910604/391*e^2 + 583217/391*e + 180129/391, 1806/391*e^13 - 447/23*e^12 - 23279/391*e^11 + 121772/391*e^10 + 91295/391*e^9 - 732237/391*e^8 - 55149/391*e^7 + 2073501/391*e^6 - 388627/391*e^5 - 2775033/391*e^4 + 801869/391*e^3 + 1465096/391*e^2 - 456186/391*e - 144121/391, 3601/391*e^13 - 881/23*e^12 - 48930/391*e^11 + 247855/391*e^10 + 213257/391*e^9 - 1551423/391*e^8 - 232929/391*e^7 + 4597255/391*e^6 - 620873/391*e^5 - 6430451/391*e^4 + 1629334/391*e^3 + 3490192/391*e^2 - 1005595/391*e - 351840/391, 963/391*e^13 - 262/23*e^12 - 10769/391*e^11 + 69078/391*e^10 + 26793/391*e^9 - 399387/391*e^8 + 68809/391*e^7 + 1084167/391*e^6 - 377891/391*e^5 - 1392175/391*e^4 + 509054/391*e^3 + 711345/391*e^2 - 225238/391*e - 76227/391, -1090/391*e^13 + 272/23*e^12 + 13348/391*e^11 - 71664/391*e^10 - 47662/391*e^9 + 412690/391*e^8 + 16125/391*e^7 - 1107632/391*e^6 + 199660/391*e^5 + 1383564/391*e^4 - 337057/391*e^3 - 654416/391*e^2 + 177586/391*e + 44444/391, -2238/391*e^13 + 554/23*e^12 + 28585/391*e^11 - 149709/391*e^10 - 111317/391*e^9 + 891537/391*e^8 + 74841/391*e^7 - 2495915/391*e^6 + 409137/391*e^5 + 3289035/391*e^4 - 826325/391*e^3 - 1693503/391*e^2 + 454398/391*e + 171070/391, 3437/391*e^13 - 844/23*e^12 - 45692/391*e^11 + 234639/391*e^10 + 190646/391*e^9 - 1449502/391*e^8 - 167064/391*e^7 + 4242082/391*e^6 - 685458/391*e^5 - 5877838/391*e^4 + 1599935/391*e^3 + 3178704/391*e^2 - 948232/391*e - 321853/391, -135/23*e^13 + 544/23*e^12 + 1891/23*e^11 - 9071/23*e^10 - 8738/23*e^9 + 57216/23*e^8 + 11944/23*e^7 - 170584/23*e^6 + 18286/23*e^5 + 239070/23*e^4 - 59749/23*e^3 - 128456/23*e^2 + 38179/23*e + 12333/23, 269/391*e^13 - 67/23*e^12 - 2350/391*e^11 + 13476/391*e^10 + 2372/391*e^9 - 44747/391*e^8 + 11752/391*e^7 + 6830/391*e^6 + 26946/391*e^5 + 162438/391*e^4 - 160613/391*e^3 - 162462/391*e^2 + 113906/391*e + 11450/391, 222/391*e^13 - 70/23*e^12 - 1608/391*e^11 + 17251/391*e^10 - 5970/391*e^9 - 91051/391*e^8 + 74141/391*e^7 + 222537/391*e^6 - 201337/391*e^5 - 266323/391*e^4 + 197641/391*e^3 + 155015/391*e^2 - 67832/391*e - 33578/391, 1029/391*e^13 - 271/23*e^12 - 12177/391*e^11 + 72537/391*e^10 + 36727/391*e^9 - 427048/391*e^8 + 44491/391*e^7 + 1182991/391*e^6 - 384033/391*e^5 - 1556495/391*e^4 + 601026/391*e^3 + 825771/391*e^2 - 304012/391*e - 89940/391, 282/391*e^13 - 74/23*e^12 - 3279/391*e^11 + 20360/391*e^10 + 7042/391*e^9 - 123342/391*e^8 + 44036/391*e^7 + 350304/391*e^6 - 227146/391*e^5 - 470196/391*e^4 + 338800/391*e^3 + 253458/391*e^2 - 146305/391*e - 30902/391, 1850/391*e^13 - 430/23*e^12 - 26303/391*e^11 + 122123/391*e^10 + 125418/391*e^9 - 772704/391*e^8 - 191789/391*e^7 + 2315464/391*e^6 - 196570/391*e^5 - 3272582/391*e^4 + 786287/391*e^3 + 1786928/391*e^2 - 522387/391*e - 179851/391, -2623/391*e^13 + 618/23*e^12 + 36277/391*e^11 - 173601/391*e^10 - 164052/391*e^9 + 1085020/391*e^8 + 209658/391*e^7 - 3213018/391*e^6 + 381884/391*e^5 + 4501588/391*e^4 - 1145693/391*e^3 - 2454828/391*e^2 + 721541/391*e + 243047/391, -662/391*e^13 + 130/23*e^12 + 11907/391*e^11 - 42657/391*e^10 - 76809/391*e^9 + 309996/391*e^8 + 202542/391*e^7 - 1045714/391*e^6 - 130600/391*e^5 + 1614506/391*e^4 - 242404/391*e^3 - 915118/391*e^2 + 248912/391*e + 73777/391, -1228/391*e^13 + 295/23*e^12 + 16683/391*e^11 - 81669/391*e^10 - 74618/391*e^9 + 501309/391*e^8 + 103939/391*e^7 - 1453851/391*e^6 + 107821/391*e^5 + 1990925/391*e^4 - 388531/391*e^3 - 1062298/391*e^2 + 260363/391*e + 101944/391, -5414/391*e^13 + 1307/23*e^12 + 73792/391*e^11 - 365995/391*e^10 - 325203/391*e^9 + 2277737/391*e^8 + 382009/391*e^7 - 6705349/391*e^6 + 839865/391*e^5 + 9314631/391*e^4 - 2327615/391*e^3 - 5017792/391*e^2 + 1443299/391*e + 493772/391, 996/391*e^13 - 255/23*e^12 - 13428/391*e^11 + 72958/391*e^10 + 56393/391*e^9 - 466589/391*e^8 - 43055/391*e^7 + 1419009/391*e^6 - 245285/391*e^5 - 2044413/391*e^4 + 551521/391*e^3 + 1143918/391*e^2 - 313891/391*e - 120033/391, -832/391*e^13 + 172/23*e^12 + 13709/391*e^11 - 52704/391*e^10 - 81484/391*e^9 + 360758/391*e^8 + 201233/391*e^7 - 1162368/391*e^6 - 127268/391*e^5 + 1742040/391*e^4 - 217533/391*e^3 - 980228/391*e^2 + 241279/391*e + 90046/391, 1715/391*e^13 - 398/23*e^12 - 25378/391*e^11 + 116203/391*e^10 + 129376/391*e^9 - 758015/391*e^8 - 238127/391*e^7 + 2339713/391*e^6 - 62157/391*e^5 - 3387367/391*e^4 + 636516/391*e^3 + 1866599/391*e^2 - 484530/391*e - 170232/391, -1125/391*e^13 + 282/23*e^12 + 14616/391*e^11 - 78137/391*e^10 - 57468/391*e^9 + 481998/391*e^8 + 27528/391*e^7 - 1414710/391*e^6 + 298096/391*e^5 + 1979738/391*e^4 - 620667/391*e^3 - 1095184/391*e^2 + 351056/391*e + 118737/391, 4156/391*e^13 - 987/23*e^12 - 57251/391*e^11 + 277102/391*e^10 + 256982/391*e^9 - 1729980/391*e^8 - 320690/391*e^7 + 5114302/391*e^6 - 615720/391*e^5 - 7156668/391*e^4 + 1803012/391*e^3 + 3920935/391*e^2 - 1129037/391*e - 404114/391, -5240/391*e^13 + 1277/23*e^12 + 72035/391*e^11 - 361710/391*e^10 - 320234/391*e^9 + 2281804/391*e^8 + 373100/391*e^7 - 6815090/391*e^6 + 884704/391*e^5 + 9594430/391*e^4 - 2434804/391*e^3 - 5214293/391*e^2 + 1505341/391*e + 520926/391, 37/23*e^13 - 114/23*e^12 - 682/23*e^11 + 2189/23*e^10 + 4594/23*e^9 - 15846/23*e^8 - 13292/23*e^7 + 53316/23*e^6 + 12992/23*e^5 - 82088/23*e^4 + 6195/23*e^3 + 46210/23*e^2 - 10370/23*e - 3511/23, 383/391*e^13 - 93/23*e^12 - 6346/391*e^11 + 31074/391*e^10 + 34211/391*e^9 - 231259/391*e^8 - 44861/391*e^7 + 804299/391*e^6 - 159293/391*e^5 - 1292077/391*e^4 + 477436/391*e^3 + 783628/391*e^2 - 303145/391*e - 87237/391, 4817/391*e^13 - 1143/23*e^12 - 67312/391*e^11 + 323741/391*e^10 + 309671/391*e^9 - 2041269/391*e^8 - 416867/391*e^7 + 6092961/391*e^6 - 667541/391*e^5 - 8588457/391*e^4 + 2133052/391*e^3 + 4713678/391*e^2 - 1354113/391*e - 489040/391, 75/391*e^13 - 28/23*e^12 + 746/391*e^11 + 3202/391*e^10 - 18143/391*e^9 + 14865/391*e^8 + 88173/391*e^7 - 157490/391*e^6 - 138711/391*e^5 + 382000/391*e^4 + 15650/391*e^3 - 288767/391*e^2 + 64467/391*e + 38535/391, -932/391*e^13 + 240/23*e^12 + 11020/391*e^11 - 63099/391*e^10 - 34876/391*e^9 + 362052/391*e^8 - 16818/391*e^7 - 965936/391*e^6 + 234412/391*e^5 + 1195692/391*e^4 - 326114/391*e^3 - 561058/391*e^2 + 135382/391*e + 42967/391, 1718/391*e^13 - 435/23*e^12 - 23096/391*e^11 + 123807/391*e^10 + 96166/391*e^9 - 785025/391*e^8 - 67690/391*e^7 + 2355544/391*e^6 - 442346/391*e^5 - 3327904/391*e^4 + 989824/391*e^3 + 1814572/391*e^2 - 582626/391*e - 186833/391, 2755/391*e^13 - 659/23*e^12 - 37920/391*e^11 + 185211/391*e^10 + 169844/391*e^9 - 1155982/391*e^8 - 211374/391*e^7 + 3404801/391*e^6 - 398078/391*e^5 - 4709409/391*e^4 + 1155251/391*e^3 + 2498737/391*e^2 - 716824/391*e - 235283/391, -4667/391*e^13 + 1133/23*e^12 + 62939/391*e^11 - 315382/391*e^10 - 272840/391*e^9 + 1948616/391*e^8 + 309347/391*e^7 - 5689674/391*e^6 + 697836/391*e^5 + 7831858/391*e^4 - 1860896/391*e^3 - 4171779/391*e^2 + 1132711/391*e + 407364/391, -1007/391*e^13 + 222/23*e^12 + 16530/391*e^11 - 69038/391*e^10 - 96497/391*e^9 + 479736/391*e^8 + 222276/391*e^7 - 1567768/391*e^6 - 68316/391*e^5 + 2380038/391*e^4 - 402369/391*e^3 - 1361226/391*e^2 + 361037/391*e + 139718/391, -494/391*e^13 + 105/23*e^12 + 8323/391*e^11 - 33248/391*e^10 - 49603/391*e^9 + 234752/391*e^8 + 114338/391*e^7 - 776958/391*e^6 - 24100/391*e^5 + 1190834/391*e^4 - 237064/391*e^3 - 683035/391*e^2 + 202948/391*e + 68054/391, -3839/391*e^13 + 926/23*e^12 + 52313/391*e^11 - 259262/391*e^10 - 229968/391*e^9 + 1612793/391*e^8 + 264566/391*e^7 - 4744696/391*e^6 + 617014/391*e^5 + 6589996/391*e^4 - 1672871/391*e^3 - 3566097/391*e^2 + 1020011/391*e + 367344/391, -3/23*e^13 + 31/23*e^12 - 51/23*e^11 - 382/23*e^10 + 1171/23*e^9 + 1434/23*e^8 - 6953/23*e^7 - 1387/23*e^6 + 17295/23*e^5 - 905/23*e^4 - 17922/23*e^3 - 505/23*e^2 + 5406/23*e + 1191/23, -3256/391*e^13 + 812/23*e^12 + 42743/391*e^11 - 224993/391*e^10 - 174019/391*e^9 + 1384420/391*e^8 + 134604/391*e^7 - 4033364/391*e^6 + 663768/391*e^5 + 5557394/391*e^4 - 1458030/391*e^3 - 2979960/391*e^2 + 828564/391*e + 301539/391, -252/391*e^13 + 49/23*e^12 + 3421/391*e^11 - 11572/391*e^10 - 17740/391*e^9 + 55780/391*e^8 + 52933/391*e^7 - 109884/391*e^6 - 113612/391*e^5 + 68558/391*e^4 + 141743/391*e^3 + 18829/391*e^2 - 51091/391*e - 15462/391, 1493/391*e^13 - 374/23*e^12 - 18687/391*e^11 + 100907/391*e^10 + 67703/391*e^9 - 599321/391*e^8 - 8461/391*e^7 + 1672609/391*e^6 - 391407/391*e^5 - 2204931/391*e^4 + 699672/391*e^3 + 1151281/391*e^2 - 365086/391*e - 110848/391, 7569/391*e^13 - 1857/23*e^12 - 101649/391*e^11 + 519334/391*e^10 + 432179/391*e^9 - 3228109/391*e^8 - 414325/391*e^7 + 9495225/391*e^6 - 1456091/391*e^5 - 13188417/391*e^4 + 3539090/391*e^3 + 7119772/391*e^2 - 2107736/391*e - 717497/391, 3665/391*e^13 - 896/23*e^12 - 50165/391*e^11 + 253413/391*e^10 + 220698/391*e^9 - 1595355/391*e^8 - 243536/391*e^7 + 4753168/391*e^6 - 655988/391*e^5 - 6679378/391*e^4 + 1724929/391*e^3 + 3643343/391*e^2 - 1046863/391*e - 381595/391, -2467/391*e^13 + 603/23*e^12 + 33731/391*e^11 - 170757/391*e^10 - 147503/391*e^9 + 1077543/391*e^8 + 153281/391*e^7 - 3224591/391*e^6 + 490105/391*e^5 + 4568497/391*e^4 - 1258202/391*e^3 - 2531148/391*e^2 + 757898/391*e + 264628/391, -208/391*e^13 - 3/23*e^12 + 6653/391*e^11 - 4965/391*e^10 - 64554/391*e^9 + 71617/391*e^8 + 259591/391*e^7 - 330083/391*e^6 - 442367/391*e^5 + 600121/391*e^4 + 246589/391*e^3 - 361184/391*e^2 + 5091/391*e + 16060/391, -2976/391*e^13 + 709/23*e^12 + 41201/391*e^11 - 199406/391*e^10 - 186674/391*e^9 + 1245198/391*e^8 + 242008/391*e^7 - 3670154/391*e^6 + 413514/391*e^5 + 5094476/391*e^4 - 1263014/391*e^3 - 2749555/391*e^2 + 799529/391*e + 282356/391, -4432/391*e^13 + 1079/23*e^12 + 60402/391*e^11 - 302977/391*e^10 - 266320/391*e^9 + 1890796/391*e^8 + 318022/391*e^7 - 5576832/391*e^6 + 645528/391*e^5 + 7740316/391*e^4 - 1806646/391*e^3 - 4129085/391*e^2 + 1132326/391*e + 382655/391, -3300/391*e^13 + 818/23*e^12 + 43421/391*e^11 - 226126/391*e^10 - 178035/391*e^9 + 1386569/391*e^8 + 145733/391*e^7 - 4019613/391*e^6 + 654699/391*e^5 + 5500505/391*e^4 - 1481157/391*e^3 - 2919003/391*e^2 + 871696/391*e + 279401/391, 406/391*e^13 - 70/23*e^12 - 7749/391*e^11 + 23162/391*e^10 + 54865/391*e^9 - 169067/391*e^8 - 175363/391*e^7 + 569469/391*e^6 + 238607/391*e^5 - 867083/391*e^4 - 74679/391*e^3 + 460869/391*e^2 - 50996/391*e - 23573/391, -1487/391*e^13 + 369/23*e^12 + 19341/391*e^11 - 102121/391*e^10 - 75082/391*e^9 + 626238/391*e^8 + 25587/391*e^7 - 1814160/391*e^6 + 425150/391*e^5 + 2490032/391*e^4 - 832142/391*e^3 - 1355431/391*e^2 + 436729/391*e + 156237/391, -534/391*e^13 + 146/23*e^12 + 6309/391*e^11 - 40925/391*e^10 - 15789/391*e^9 + 256149/391*e^8 - 65393/391*e^7 - 765559/391*e^6 + 385279/391*e^5 + 1099839/391*e^4 - 620119/391*e^3 - 641269/391*e^2 + 293060/391*e + 82692/391, 3459/391*e^13 - 870/23*e^12 - 44076/391*e^11 + 238529/391*e^10 + 165284/391*e^9 - 1448426/391*e^8 - 39102/391*e^7 + 4158375/391*e^6 - 952082/391*e^5 - 5657999/391*e^4 + 1810713/391*e^3 + 3033858/391*e^2 - 984656/391*e - 315867/391, 3053/391*e^13 - 754/23*e^12 - 39846/391*e^11 + 207938/391*e^10 + 158903/391*e^9 - 1271930/391*e^8 - 95211/391*e^7 + 3682355/391*e^6 - 732437/391*e^5 - 5054841/391*e^4 + 1548350/391*e^3 + 2732126/391*e^2 - 875401/391*e - 284083/391, -1215/391*e^13 + 288/23*e^12 + 16145/391*e^11 - 77913/391*e^10 - 70339/391*e^9 + 464551/391*e^8 + 98687/391*e^7 - 1300403/391*e^6 + 64869/391*e^5 + 1701589/391*e^4 - 254312/391*e^3 - 845397/391*e^2 + 167500/391*e + 72104/391, 2885/391*e^13 - 706/23*e^12 - 39781/391*e^11 + 201266/391*e^10 + 176662/391*e^9 - 1280360/391*e^8 - 195860/391*e^7 + 3865595/391*e^6 - 550770/391*e^5 - 5524995/391*e^4 + 1473803/391*e^3 + 3086934/391*e^2 - 914675/391*e - 332318/391, 8294/391*e^13 - 2028/23*e^12 - 111772/391*e^11 + 567621/391*e^10 + 478624/391*e^9 - 3531718/391*e^8 - 476926/391*e^7 + 10401453/391*e^6 - 1548892/391*e^5 - 14474223/391*e^4 + 3832958/391*e^3 + 7831848/391*e^2 - 2297444/391*e - 791905/391, 910/391*e^13 - 214/23*e^12 - 14200/391*e^11 + 65856/391*e^10 + 75487/391*e^9 - 453449/391*e^8 - 131867/391*e^7 + 1473096/391*e^6 - 125361/391*e^5 - 2236240/391*e^4 + 590401/391*e^3 + 1293577/391*e^2 - 409803/391*e - 127153/391, -3443/391*e^13 + 872/23*e^12 + 44647/391*e^11 - 241245/391*e^10 - 176620/391*e^9 + 1480844/391*e^8 + 110056/391*e^7 - 4298768/391*e^6 + 752202/391*e^5 + 5894198/391*e^4 - 1568343/391*e^3 - 3141902/391*e^2 + 905523/391*e + 307353/391, 5637/391*e^13 - 1328/23*e^12 - 79592/391*e^11 + 376918/391*e^10 + 375806/391*e^9 - 2381962/391*e^8 - 571024/391*e^7 + 7122798/391*e^6 - 536206/391*e^5 - 10036198/391*e^4 + 2164311/391*e^3 + 5459402/391*e^2 - 1439954/391*e - 539270/391, 128/23*e^13 - 556/23*e^12 - 1642/23*e^11 + 9046/23*e^10 + 6257/23*e^9 - 55503/23*e^8 - 2009/23*e^7 + 160923/23*e^6 - 34695/23*e^5 - 219807/23*e^4 + 67979/23*e^3 + 116069/23*e^2 - 37433/23*e - 11555/23, 2272/391*e^13 - 544/23*e^12 - 32308/391*e^11 + 156254/391*e^10 + 153698/391*e^9 - 1002020/391*e^8 - 232856/391*e^7 + 3047565/391*e^6 - 243472/391*e^5 - 4378531/391*e^4 + 957888/391*e^3 + 2443560/391*e^2 - 639222/391*e - 254166/391, -2140/391*e^13 + 457/23*e^12 + 33793/391*e^11 - 135260/391*e^10 - 191698/391*e^9 + 892740/391*e^8 + 449318/391*e^7 - 2776018/391*e^6 - 254434/391*e^5 + 4026822/391*e^4 - 480694/391*e^3 - 2211189/391*e^2 + 479719/391*e + 209536/391, -3736/391*e^13 + 890/23*e^12 + 51419/391*e^11 - 249083/391*e^10 - 232368/391*e^9 + 1548908/391*e^8 + 310538/391*e^7 - 4555411/391*e^6 + 454216/391*e^5 + 6323877/391*e^4 - 1461222/391*e^3 - 3409348/391*e^2 + 935145/391*e + 331743/391, -269/23*e^13 + 1070/23*e^12 + 3845/23*e^11 - 18007/23*e^10 - 18449/23*e^9 + 114828/23*e^8 + 28613/23*e^7 - 346563/23*e^6 + 27127/23*e^5 + 492487/23*e^4 - 112006/23*e^3 - 269294/23*e^2 + 75154/23*e + 26132/23, 3260/391*e^13 - 800/23*e^12 - 43871/391*e^11 + 223532/391*e^10 + 188780/391*e^9 - 1387850/391*e^8 - 203472/391*e^7 + 4074804/391*e^6 - 528404/391*e^5 - 5634510/391*e^4 + 1368674/391*e^3 + 2994786/391*e^2 - 845317/391*e - 279230/391] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal([31, 31, -w^3 + 6*w + 2])] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]