/* This code can be loaded, or copied and pasted, into Magma. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. At the *bottom* of the file, there is code to recreate the Hilbert modular form in Magma, by creating the HMF space and cutting out the corresponding Hecke irreducible subspace. From there, you can ask for more eigenvalues or modify as desired. It is commented out, as this computation may be lengthy. */ P := PolynomialRing(Rationals()); g := P![11, 6, -8, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [9, 3, 1/3*w^3 - 8/3*w - 2/3], [9, 3, -w + 1], [11, 11, w], [11, 11, -1/3*w^3 + 2/3*w + 5/3], [11, 11, 1/3*w^3 - 8/3*w + 1/3], [11, 11, -2/3*w^3 + 13/3*w + 4/3], [16, 2, 2], [25, 5, 2/3*w^3 - 10/3*w - 1/3], [29, 29, -w - 3], [29, 29, -1/3*w^3 + 8/3*w - 10/3], [31, 31, w^3 - 6*w + 1], [31, 31, w^3 - 6*w - 2], [41, 41, 2/3*w^3 + w^2 - 13/3*w - 10/3], [41, 41, 2/3*w^3 - 13/3*w + 5/3], [59, 59, 2/3*w^3 - 13/3*w + 8/3], [59, 59, w^3 + w^2 - 6*w - 4], [79, 79, 2/3*w^3 + w^2 - 10/3*w - 19/3], [79, 79, 1/3*w^3 + w^2 - 2/3*w - 17/3], [89, 89, 4/3*w^3 - 23/3*w - 5/3], [89, 89, 1/3*w^3 + 2*w^2 - 5/3*w - 32/3], [101, 101, 5/3*w^3 + w^2 - 31/3*w - 16/3], [101, 101, 2/3*w^3 - w^2 - 4/3*w + 8/3], [109, 109, -w^3 - 2*w^2 + 7*w + 7], [109, 109, -1/3*w^3 + 2*w^2 + 2/3*w - 16/3], [131, 131, w^3 - w^2 - 7*w + 5], [131, 131, -2/3*w^3 - w^2 + 4/3*w + 13/3], [139, 139, -2/3*w^3 - w^2 + 13/3*w + 4/3], [139, 139, w^2 - w - 7], [151, 151, -5/3*w^3 + 28/3*w - 5/3], [151, 151, -1/3*w^3 + w^2 + 2/3*w - 16/3], [151, 151, w^3 + w^2 - 6*w - 3], [151, 151, -w^3 + w^2 + 7*w - 6], [179, 179, 5/3*w^3 + w^2 - 28/3*w - 19/3], [179, 179, -1/3*w^3 + w^2 + 11/3*w - 4/3], [181, 181, -4/3*w^3 - 2*w^2 + 20/3*w + 29/3], [181, 181, 1/3*w^3 + w^2 - 2/3*w - 20/3], [181, 181, w^3 + w^2 - 5*w - 7], [181, 181, 5/3*w^3 + w^2 - 28/3*w - 16/3], [191, 191, 2*w - 1], [191, 191, 2/3*w^3 - 16/3*w - 1/3], [199, 199, 1/3*w^3 - 11/3*w + 4/3], [199, 199, 1/3*w^3 - 11/3*w - 2/3], [211, 211, -2/3*w^3 - w^2 + 19/3*w + 16/3], [211, 211, 2/3*w^3 + w^2 - 19/3*w - 7/3], [229, 229, 1/3*w^3 - 11/3*w + 1/3], [239, 239, -5/3*w^3 - w^2 + 25/3*w + 19/3], [239, 239, -4/3*w^3 + w^2 + 20/3*w - 7/3], [251, 251, -2/3*w^3 + w^2 + 16/3*w - 14/3], [251, 251, -1/3*w^3 - w^2 - 1/3*w + 14/3], [269, 269, 2/3*w^3 + w^2 - 7/3*w - 19/3], [269, 269, 1/3*w^3 + 2*w^2 - 2/3*w - 32/3], [281, 281, w^3 - w^2 - 5*w + 1], [281, 281, 4/3*w^3 + w^2 - 20/3*w - 23/3], [289, 17, 2/3*w^3 + w^2 - 16/3*w - 4/3], [289, 17, 1/3*w^3 + w^2 - 11/3*w - 20/3], [331, 331, 1/3*w^3 + 2*w^2 - 8/3*w - 23/3], [331, 331, 2/3*w^3 + 2*w^2 - 13/3*w - 28/3], [349, 349, 4/3*w^3 - 17/3*w + 1/3], [349, 349, -5/3*w^3 + 28/3*w - 2/3], [361, 19, -1/3*w^3 + 5/3*w + 14/3], [361, 19, 4/3*w^3 - 20/3*w - 5/3], [379, 379, 4/3*w^3 + 2*w^2 - 23/3*w - 41/3], [379, 379, -5/3*w^3 + 31/3*w - 5/3], [389, 389, 5/3*w^3 + w^2 - 25/3*w - 16/3], [389, 389, -4/3*w^3 + w^2 + 20/3*w - 10/3], [401, 401, -1/3*w^3 - 3*w^2 + 5/3*w + 26/3], [401, 401, 1/3*w^3 + w^2 - 11/3*w - 23/3], [401, 401, -2/3*w^3 - 3*w^2 + 10/3*w + 52/3], [401, 401, 2/3*w^3 + w^2 - 16/3*w - 1/3], [409, 409, -2*w^3 - w^2 + 11*w + 2], [409, 409, -5/3*w^3 - 2*w^2 + 28/3*w + 37/3], [409, 409, 1/3*w^3 - 11/3*w - 17/3], [409, 409, 5/3*w^3 + 3*w^2 - 25/3*w - 37/3], [419, 419, -1/3*w^3 + 3*w^2 - 1/3*w - 37/3], [419, 419, 2*w^3 + 3*w^2 - 12*w - 13], [421, 421, -1/3*w^3 + 3*w^2 + 2/3*w - 31/3], [421, 421, -5/3*w^3 - w^2 + 25/3*w + 13/3], [421, 421, -w^3 + 7*w - 4], [421, 421, -4/3*w^3 + w^2 + 20/3*w - 13/3], [439, 439, -4/3*w^3 + w^2 + 14/3*w - 7/3], [439, 439, 4/3*w^3 - 17/3*w - 5/3], [439, 439, -7/3*w^3 - w^2 + 41/3*w + 17/3], [439, 439, 5/3*w^3 - 28/3*w - 4/3], [449, 449, w^3 + 3*w^2 - 6*w - 17], [449, 449, 1/3*w^3 + 3*w^2 - 8/3*w - 26/3], [449, 449, -4/3*w^3 + 26/3*w + 17/3], [449, 449, 7/3*w^3 + w^2 - 38/3*w - 8/3], [461, 461, -5/3*w^3 + w^2 + 28/3*w - 14/3], [461, 461, -2/3*w^3 - 2*w^2 + 10/3*w + 43/3], [461, 461, -2*w^3 - w^2 + 12*w + 4], [461, 461, -w^3 + 8*w - 5], [479, 479, w^3 + w^2 - 7*w - 2], [479, 479, -4/3*w^3 - w^2 + 23/3*w + 5/3], [499, 499, -4/3*w^3 - 2*w^2 + 23/3*w + 17/3], [499, 499, -4/3*w^3 - w^2 + 29/3*w + 8/3], [521, 521, 2*w^3 - 11*w + 2], [521, 521, 4/3*w^3 - w^2 - 14/3*w + 1/3], [569, 569, w^3 + 3*w^2 - 6*w - 9], [569, 569, 4/3*w^3 + w^2 - 26/3*w - 32/3], [569, 569, -w^3 + 6*w - 6], [569, 569, -1/3*w^3 - 3*w^2 + 8/3*w + 50/3], [571, 571, 2/3*w^3 + 3*w^2 - 10/3*w - 46/3], [571, 571, 2*w^2 - 15], [599, 599, -w^3 + 2*w^2 + 4*w - 10], [599, 599, -w^2 - 3*w + 8], [601, 601, 5/3*w^3 + 3*w^2 - 28/3*w - 34/3], [601, 601, 1/3*w^3 - 3*w^2 - 2/3*w + 43/3], [619, 619, 2/3*w^3 - w^2 - 13/3*w + 2/3], [619, 619, 2/3*w^3 + w^2 - 7/3*w - 25/3], [619, 619, 2*w^3 + w^2 - 11*w - 6], [619, 619, -2/3*w^3 + 13/3*w - 17/3], [631, 631, 2/3*w^3 + 2*w^2 - 19/3*w - 31/3], [631, 631, w^3 + 2*w^2 - 8*w - 6], [631, 631, 2/3*w^3 + 2*w^2 - 4/3*w - 31/3], [631, 631, -2/3*w^3 + 2*w^2 + 16/3*w - 23/3], [659, 659, -2/3*w^3 + 1/3*w + 16/3], [659, 659, 5/3*w^3 - 34/3*w - 13/3], [661, 661, w^3 - 8*w + 2], [661, 661, 4/3*w^3 + w^2 - 23/3*w + 1/3], [661, 661, 5/3*w^3 + w^2 - 31/3*w - 10/3], [661, 661, -3*w - 1], [691, 691, -4/3*w^3 + 29/3*w + 2/3], [691, 691, 1/3*w^3 + 4/3*w - 5/3], [691, 691, -5/3*w^3 + w^2 + 25/3*w - 5/3], [691, 691, 2*w^3 + w^2 - 10*w - 7], [701, 701, -2/3*w^3 - 3*w^2 + 19/3*w + 46/3], [701, 701, w^3 - 2*w^2 - 6*w + 8], [701, 701, 4/3*w^3 + 2*w^2 - 17/3*w - 29/3], [701, 701, 5/3*w^3 + 3*w^2 - 28/3*w - 52/3], [709, 709, 1/3*w^3 - 14/3*w + 10/3], [709, 709, -2/3*w^3 + 19/3*w + 7/3], [719, 719, 3*w^2 - w - 10], [719, 719, -4/3*w^3 - 3*w^2 + 23/3*w + 47/3], [739, 739, 5/3*w^3 + w^2 - 34/3*w - 10/3], [739, 739, 4/3*w^3 + 2*w^2 - 23/3*w - 14/3], [761, 761, 7/3*w^3 + 2*w^2 - 41/3*w - 26/3], [761, 761, 2*w^3 + 3*w^2 - 12*w - 15], [769, 769, -2/3*w^3 + 19/3*w - 8/3], [769, 769, -4/3*w^3 + 2*w^2 + 17/3*w - 31/3], [769, 769, 1/3*w^3 - 14/3*w - 5/3], [769, 769, -1/3*w^3 + 3*w^2 + 2/3*w - 34/3], [809, 809, -4/3*w^3 + w^2 + 26/3*w - 7/3], [809, 809, w^3 + w^2 - 3*w - 7], [811, 811, 4/3*w^3 + w^2 - 17/3*w - 23/3], [811, 811, -1/3*w^3 - 2*w^2 + 2/3*w + 38/3], [821, 821, 8/3*w^3 + 3*w^2 - 43/3*w - 34/3], [821, 821, 2/3*w^3 + 2*w^2 - 7/3*w - 34/3], [821, 821, -w^3 - w^2 + 4*w + 8], [821, 821, 2/3*w^3 + 4*w^2 - 7/3*w - 58/3], [829, 829, 4/3*w^3 + 3*w^2 - 26/3*w - 50/3], [829, 829, 7/3*w^3 - 41/3*w - 5/3], [839, 839, 2*w^3 + w^2 - 10*w - 3], [839, 839, 5/3*w^3 - w^2 - 25/3*w + 17/3], [841, 29, 5/3*w^3 - 25/3*w - 7/3], [859, 859, -7/3*w^3 - w^2 + 32/3*w + 29/3], [859, 859, 2*w^3 + w^2 - 14*w - 6], [859, 859, 1/3*w^3 + 2*w^2 - 2/3*w - 47/3], [859, 859, -5/3*w^3 - 2*w^2 + 31/3*w + 49/3], [881, 881, w^3 + 4*w^2 - 4*w - 20], [881, 881, 8/3*w^3 + 2*w^2 - 43/3*w - 34/3], [919, 919, -w^3 + 3*w - 7], [919, 919, 1/3*w^3 + 3*w^2 - 5/3*w - 35/3], [919, 919, -5/3*w^3 + 31/3*w - 23/3], [919, 919, 2/3*w^3 + 3*w^2 - 10/3*w - 43/3], [929, 929, w^2 - 2*w - 9], [929, 929, w^3 + w^2 - 7*w + 1], [961, 31, 2/3*w^3 - 10/3*w - 19/3], [971, 971, -w^3 - 3*w^2 + 7*w + 16], [971, 971, -5/3*w^3 + w^2 + 25/3*w - 8/3], [971, 971, 2*w^3 + w^2 - 10*w - 6], [971, 971, 1/3*w^3 + 2*w^2 - 8/3*w - 47/3]]; primes := [ideal : I in primesArray]; heckePol := x^9 - 2*x^8 - 43*x^7 + 94*x^6 + 446*x^5 - 1101*x^4 - 616*x^3 + 2034*x^2 + 270*x - 914; K := NumberField(heckePol); heckeEigenvaluesArray := [e, -233667190/12191019113*e^8 + 74359977/12191019113*e^7 + 9996783760/12191019113*e^6 - 4939271955/12191019113*e^5 - 104955430794/12191019113*e^4 + 69434522490/12191019113*e^3 + 184011546248/12191019113*e^2 - 24209839454/12191019113*e - 41841204404/12191019113, 218071166/12191019113*e^8 - 93936012/12191019113*e^7 - 9220535706/12191019113*e^6 + 5638060361/12191019113*e^5 + 93730337924/12191019113*e^4 - 74524367938/12191019113*e^3 - 139529678404/12191019113*e^2 + 20424327736/12191019113*e + 57592487710/12191019113, -2342550/1741574159*e^8 + 12248927/1741574159*e^7 + 102426737/1741574159*e^6 - 548462391/1741574159*e^5 - 1057674089/1741574159*e^4 + 6145350693/1741574159*e^3 + 817893490/1741574159*e^2 - 10031713225/1741574159*e - 347458392/1741574159, 114260022/12191019113*e^8 + 232846777/12191019113*e^7 - 5366348823/12191019113*e^6 - 8945052609/12191019113*e^5 + 73320161160/12191019113*e^4 + 76189119432/12191019113*e^3 - 331085684898/12191019113*e^2 - 49408931608/12191019113*e + 252342337700/12191019113, -250065040/12191019113*e^8 + 160102466/12191019113*e^7 + 10713770919/12191019113*e^6 - 8778508692/12191019113*e^5 - 112359149417/12191019113*e^4 + 112451977341/12191019113*e^3 + 189736800678/12191019113*e^2 - 106622851142/12191019113*e - 44273413148/12191019113, -57650961/12191019113*e^8 - 325304508/12191019113*e^7 + 2876519211/12191019113*e^6 + 13154610958/12191019113*e^5 - 45826310343/12191019113*e^4 - 122696022356/12191019113*e^3 + 274800109905/12191019113*e^2 + 118075459812/12191019113*e - 213904251473/12191019113, -218962671/12191019113*e^8 + 211702704/12191019113*e^7 + 9193189186/12191019113*e^6 - 10683284277/12191019113*e^5 - 90030632533/12191019113*e^4 + 126664421074/12191019113*e^3 + 83056132921/12191019113*e^2 - 95024724128/12191019113*e - 8367190254/12191019113, 77130744/12191019113*e^8 - 186196012/12191019113*e^7 - 3187460910/12191019113*e^6 + 8393291812/12191019113*e^5 + 28307942095/12191019113*e^4 - 88787516390/12191019113*e^3 + 19346796822/12191019113*e^2 + 61739536860/12191019113*e - 15047365156/12191019113, 235270842/12191019113*e^8 - 284997025/12191019113*e^7 - 9878261970/12191019113*e^6 + 14015322241/12191019113*e^5 + 97312682300/12191019113*e^4 - 165649123088/12191019113*e^3 - 106498319420/12191019113*e^2 + 181464839394/12191019113*e + 78208188504/12191019113, 49818434/1741574159*e^8 + 7595468/1741574159*e^7 - 2186267384/1741574159*e^6 + 76034927/1741574159*e^5 + 24922031101/1741574159*e^4 - 5907529051/1741574159*e^3 - 68048659676/1741574159*e^2 + 9374203847/1741574159*e + 44623862022/1741574159, 228963018/12191019113*e^8 - 387784876/12191019113*e^7 - 9418103386/12191019113*e^6 + 18003605390/12191019113*e^5 + 84092542452/12191019113*e^4 - 196506366016/12191019113*e^3 + 41728778869/12191019113*e^2 + 144280510022/12191019113*e - 126095586404/12191019113, -1, 327601914/12191019113*e^8 - 804649017/12191019113*e^7 - 13654253719/12191019113*e^6 + 36159817168/12191019113*e^5 + 126743952354/12191019113*e^4 - 384125796192/12191019113*e^3 + 2436684214/12191019113*e^2 + 374233260214/12191019113*e - 46180692260/12191019113, -174257033/12191019113*e^8 - 80111198/12191019113*e^7 + 7605935815/12191019113*e^6 + 1984018521/12191019113*e^5 - 85872021161/12191019113*e^4 - 27887612/12191019113*e^3 + 227095086346/12191019113*e^2 - 30016370255/12191019113*e - 74103391006/12191019113, 292861087/12191019113*e^8 - 507669616/12191019113*e^7 - 12372659437/12191019113*e^6 + 23777303279/12191019113*e^5 + 121228496582/12191019113*e^4 - 268328831985/12191019113*e^3 - 76402397748/12191019113*e^2 + 320704660412/12191019113*e - 36560869570/12191019113, 449427842/12191019113*e^8 + 128496427/12191019113*e^7 - 19773506796/12191019113*e^6 - 2502780526/12191019113*e^5 + 227378973379/12191019113*e^4 - 4048236715/12191019113*e^3 - 642746892782/12191019113*e^2 - 115090562662/12191019113*e + 449803549024/12191019113, -25351070/12191019113*e^8 - 25990779/12191019113*e^7 + 1227481158/12191019113*e^6 + 1337868995/12191019113*e^5 - 17217402795/12191019113*e^4 - 21811876760/12191019113*e^3 + 72805980906/12191019113*e^2 + 105439752780/12191019113*e - 78415323340/12191019113, -116695751/12191019113*e^8 + 257641478/12191019113*e^7 + 4761330979/12191019113*e^6 - 11677791210/12191019113*e^5 - 40167379674/12191019113*e^4 + 126700887581/12191019113*e^3 - 65421955628/12191019113*e^2 - 156255745602/12191019113*e + 195018630860/12191019113, -14178498/1741574159*e^8 + 38568019/1741574159*e^7 + 629564487/1741574159*e^6 - 1679450001/1741574159*e^5 - 6916466692/1741574159*e^4 + 17121790593/1741574159*e^3 + 11191894978/1741574159*e^2 - 17177169072/1741574159*e - 11750191424/1741574159, 209537358/12191019113*e^8 + 892287951/12191019113*e^7 - 10129664422/12191019113*e^6 - 36357814930/12191019113*e^5 + 150457388726/12191019113*e^4 + 347783100286/12191019113*e^3 - 808149819746/12191019113*e^2 - 384677129432/12191019113*e + 582519569518/12191019113, 90351067/1741574159*e^8 - 91489737/1741574159*e^7 - 3856184597/1741574159*e^6 + 4574557739/1741574159*e^5 + 39796801293/1741574159*e^4 - 54265424246/1741574159*e^3 - 59445403250/1741574159*e^2 + 50050685120/1741574159*e + 25250677612/1741574159, -803236873/12191019113*e^8 + 487590945/12191019113*e^7 + 34817556239/12191019113*e^6 - 26779211140/12191019113*e^5 - 379269952172/12191019113*e^4 + 346143000377/12191019113*e^3 + 821206014710/12191019113*e^2 - 398021534240/12191019113*e - 425224784700/12191019113, -82800982/1741574159*e^8 + 140634433/1741574159*e^7 + 3425438647/1741574159*e^6 - 6580850606/1741574159*e^5 - 31393112941/1741574159*e^4 + 73221246464/1741574159*e^3 - 924697830/1741574159*e^2 - 69239574276/1741574159*e + 19396921476/1741574159, 379381588/12191019113*e^8 - 1016835808/12191019113*e^7 - 15614233471/12191019113*e^6 + 45890977975/12191019113*e^5 + 137834491654/12191019113*e^4 - 494725189342/12191019113*e^3 + 94589461942/12191019113*e^2 + 517030511628/12191019113*e - 139643380756/12191019113, -684212041/12191019113*e^8 + 1482749833/12191019113*e^7 + 28599321495/12191019113*e^6 - 68155540961/12191019113*e^5 - 270224489963/12191019113*e^4 + 749176067032/12191019113*e^3 + 76653322623/12191019113*e^2 - 800681278998/12191019113*e + 80504633848/12191019113, -57898844/937770701*e^8 + 15555642/937770701*e^7 + 2504522896/937770701*e^6 - 1088065565/937770701*e^5 - 27136241907/937770701*e^4 + 15956923960/937770701*e^3 + 56033419492/937770701*e^2 - 9817423954/937770701*e - 17390608134/937770701, -50025685/12191019113*e^8 - 161784017/12191019113*e^7 + 2683225091/12191019113*e^6 + 6770328594/12191019113*e^5 - 47892769720/12191019113*e^4 - 67767936518/12191019113*e^3 + 329214282727/12191019113*e^2 + 72398990634/12191019113*e - 381809852638/12191019113, -989440688/12191019113*e^8 + 922936562/12191019113*e^7 + 41509154957/12191019113*e^6 - 46689715887/12191019113*e^5 - 405868506749/12191019113*e^4 + 552770814168/12191019113*e^3 + 361738178176/12191019113*e^2 - 353256716905/12191019113*e + 53499849408/12191019113, 347431403/12191019113*e^8 + 629285507/12191019113*e^7 - 15578196318/12191019113*e^6 - 23500996091/12191019113*e^5 + 192077062256/12191019113*e^4 + 193673652240/12191019113*e^3 - 693449832172/12191019113*e^2 - 202660822562/12191019113*e + 388234995410/12191019113, -295260050/12191019113*e^8 + 503940093/12191019113*e^7 + 12944173940/12191019113*e^6 - 23944804935/12191019113*e^5 - 143748439160/12191019113*e^4 + 279616909023/12191019113*e^3 + 328137567322/12191019113*e^2 - 440624660122/12191019113*e - 229337569138/12191019113, -752541170/12191019113*e^8 + 958347485/12191019113*e^7 + 31504380538/12191019113*e^6 - 46451171122/12191019113*e^5 - 303802997909/12191019113*e^4 + 536213186199/12191019113*e^3 + 202610712690/12191019113*e^2 - 529560334214/12191019113*e + 76457672028/12191019113, -436154326/12191019113*e^8 - 982543162/12191019113*e^7 + 20184700027/12191019113*e^6 + 38469854586/12191019113*e^5 - 267824381520/12191019113*e^4 - 350133988446/12191019113*e^3 + 1145211749334/12191019113*e^2 + 474470438424/12191019113*e - 811994123942/12191019113, -69543203/1741574159*e^8 - 52148900/1741574159*e^7 + 3103725115/1741574159*e^6 + 1697389035/1741574159*e^5 - 37208684634/1741574159*e^4 - 10623488979/1741574159*e^3 + 120010049950/1741574159*e^2 + 13162859852/1741574159*e - 66311690050/1741574159, -10285345/133967243*e^8 + 9599529/133967243*e^7 + 436404510/133967243*e^6 - 481212400/133967243*e^5 - 4419767897/133967243*e^4 + 5634774127/133967243*e^3 + 5702604072/133967243*e^2 - 3878336134/133967243*e - 1273394446/133967243, 3530996/133967243*e^8 + 3371103/133967243*e^7 - 150426925/133967243*e^6 - 107348291/133967243*e^5 + 1617184682/133967243*e^4 + 588926143/133967243*e^3 - 3834942462/133967243*e^2 - 240254261/133967243*e + 148741486/133967243, -348446835/12191019113*e^8 + 68069608/12191019113*e^7 + 15579047074/12191019113*e^6 - 5501981181/12191019113*e^5 - 183817611580/12191019113*e^4 + 92286132170/12191019113*e^3 + 529490170044/12191019113*e^2 - 201385521140/12191019113*e - 335656912848/12191019113, -164716959/12191019113*e^8 + 33357666/12191019113*e^7 + 7246702769/12191019113*e^6 - 3155343599/12191019113*e^5 - 82589886621/12191019113*e^4 + 58102622281/12191019113*e^3 + 220921418324/12191019113*e^2 - 144828321172/12191019113*e - 192861112954/12191019113, 24359981/937770701*e^8 - 79625397/937770701*e^7 - 989627810/937770701*e^6 + 3586179699/937770701*e^5 + 8221443056/937770701*e^4 - 39005492268/937770701*e^3 + 13228719984/937770701*e^2 + 49895584892/937770701*e - 14956947252/937770701, -237346761/12191019113*e^8 - 385230077/12191019113*e^7 + 11369049949/12191019113*e^6 + 14194919548/12191019113*e^5 - 160813414857/12191019113*e^4 - 109346545801/12191019113*e^3 + 764178905306/12191019113*e^2 + 12531517751/12191019113*e - 698151113512/12191019113, 562281983/12191019113*e^8 - 599684179/12191019113*e^7 - 23369174779/12191019113*e^6 + 30145961385/12191019113*e^5 + 220629023036/12191019113*e^4 - 358444616798/12191019113*e^3 - 103860446570/12191019113*e^2 + 277696560916/12191019113*e - 108167115928/12191019113, -38997228/937770701*e^8 + 66365267/937770701*e^7 + 1634261656/937770701*e^6 - 3082516774/937770701*e^5 - 15572946895/937770701*e^4 + 33810297936/937770701*e^3 + 6253947496/937770701*e^2 - 27776990925/937770701*e - 4816790506/937770701, 58613558/12191019113*e^8 - 754730330/12191019113*e^7 - 1777839442/12191019113*e^6 + 32246861485/12191019113*e^5 - 11179449899/12191019113*e^4 - 325229311636/12191019113*e^3 + 414707099862/12191019113*e^2 + 363798545833/12191019113*e - 509503849830/12191019113, 558246443/12191019113*e^8 - 489346222/12191019113*e^7 - 24298400079/12191019113*e^6 + 23988149911/12191019113*e^5 + 264335630912/12191019113*e^4 - 269575117507/12191019113*e^3 - 534011230622/12191019113*e^2 + 107299689816/12191019113*e + 406730316854/12191019113, 20684008/937770701*e^8 - 32049855/937770701*e^7 - 890387494/937770701*e^6 + 1522616575/937770701*e^5 + 9276473221/937770701*e^4 - 17332739642/937770701*e^3 - 12843032646/937770701*e^2 + 17690304876/937770701*e - 1433316656/937770701, 81358619/1741574159*e^8 - 68032228/1741574159*e^7 - 3495791306/1741574159*e^6 + 3541694369/1741574159*e^5 + 37078896733/1741574159*e^4 - 43662886230/1741574159*e^3 - 70263278536/1741574159*e^2 + 40987540011/1741574159*e + 50083884724/1741574159, 403614459/12191019113*e^8 - 340534247/12191019113*e^7 - 17288784206/12191019113*e^6 + 17984617727/12191019113*e^5 + 179966160064/12191019113*e^4 - 232539854216/12191019113*e^3 - 264870199658/12191019113*e^2 + 367132565326/12191019113*e + 37708210544/12191019113, 631035887/12191019113*e^8 + 1115050299/12191019113*e^7 - 28149263004/12191019113*e^6 - 42254273882/12191019113*e^5 + 344903762374/12191019113*e^4 + 366880197079/12191019113*e^3 - 1266767756578/12191019113*e^2 - 518137851003/12191019113*e + 736892438962/12191019113, 158014423/1741574159*e^8 - 42923954/1741574159*e^7 - 6767141499/1741574159*e^6 + 3071020365/1741574159*e^5 + 71686968421/1741574159*e^4 - 45289913400/1741574159*e^3 - 137507451112/1741574159*e^2 + 18295823706/1741574159*e + 59980953844/1741574159, 1258339365/12191019113*e^8 - 960407081/12191019113*e^7 - 53353654859/12191019113*e^6 + 50095472797/12191019113*e^5 + 543670240146/12191019113*e^4 - 607634545887/12191019113*e^3 - 779534506780/12191019113*e^2 + 428673630429/12191019113*e + 209029677182/12191019113, 98325021/12191019113*e^8 + 800823398/12191019113*e^7 - 4360987238/12191019113*e^6 - 33154650871/12191019113*e^5 + 56896554836/12191019113*e^4 + 332914875396/12191019113*e^3 - 279152177380/12191019113*e^2 - 583530282841/12191019113*e + 71310459384/12191019113, 708218120/12191019113*e^8 + 226778735/12191019113*e^7 - 31494522561/12191019113*e^6 - 4009622524/12191019113*e^5 + 370666198732/12191019113*e^4 - 34277855189/12191019113*e^3 - 1099560410898/12191019113*e^2 + 141709765060/12191019113*e + 567117144460/12191019113, -21768151/1741574159*e^8 - 128693186/1741574159*e^7 + 1117038153/1741574159*e^6 + 5302747558/1741574159*e^5 - 18851703602/1741574159*e^4 - 50779261844/1741574159*e^3 + 122594941896/1741574159*e^2 + 41900747654/1741574159*e - 104717810452/1741574159, -345569090/12191019113*e^8 + 632978186/12191019113*e^7 + 14147519990/12191019113*e^6 - 29174197827/12191019113*e^5 - 124138253270/12191019113*e^4 + 319174500760/12191019113*e^3 - 89433802428/12191019113*e^2 - 328945397428/12191019113*e + 278087465984/12191019113, -4610673/1741574159*e^8 + 61415863/1741574159*e^7 + 169453060/1741574159*e^6 - 2590768891/1741574159*e^5 - 302452258/1741574159*e^4 + 26205455160/1741574159*e^3 - 21470846256/1741574159*e^2 - 40350800803/1741574159*e + 35306963112/1741574159, -1534794721/12191019113*e^8 + 1547631584/12191019113*e^7 + 65726735918/12191019113*e^6 - 76551636164/12191019113*e^5 - 684330831610/12191019113*e^4 + 896356104692/12191019113*e^3 + 1083054185273/12191019113*e^2 - 822070859814/12191019113*e - 512193308062/12191019113, 244677765/1741574159*e^8 - 235328646/1741574159*e^7 - 10458049078/1741574159*e^6 + 11760939098/1741574159*e^5 + 108298958028/1741574159*e^4 - 138774825342/1741574159*e^3 - 163159370276/1741574159*e^2 + 121744938208/1741574159*e + 61399724492/1741574159, 130537884/12191019113*e^8 - 364777552/12191019113*e^7 - 5459897098/12191019113*e^6 + 17213049303/12191019113*e^5 + 51099222829/12191019113*e^4 - 207723183952/12191019113*e^3 + 8458280567/12191019113*e^2 + 459678747552/12191019113*e - 107292513084/12191019113, -557581652/12191019113*e^8 + 1503896424/12191019113*e^7 + 22996180071/12191019113*e^6 - 66751377451/12191019113*e^5 - 202677212590/12191019113*e^4 + 695751568644/12191019113*e^3 - 177940980962/12191019113*e^2 - 590290037534/12191019113*e + 318492687770/12191019113, 1132492565/12191019113*e^8 - 341697131/12191019113*e^7 - 48952272843/12191019113*e^6 + 22759774851/12191019113*e^5 + 530210389454/12191019113*e^4 - 322458597290/12191019113*e^3 - 1106519179848/12191019113*e^2 + 167912201572/12191019113*e + 487590415192/12191019113, 113254670/1741574159*e^8 - 62961817/1741574159*e^7 - 4838392500/1741574159*e^6 + 3427918398/1741574159*e^5 + 50485159743/1741574159*e^4 - 42110718986/1741574159*e^3 - 86280880872/1741574159*e^2 + 18534192025/1741574159*e + 39900697496/1741574159, -715841758/12191019113*e^8 + 1690588401/12191019113*e^7 + 29400576544/12191019113*e^6 - 76339726824/12191019113*e^5 - 257163046260/12191019113*e^4 + 809610406739/12191019113*e^3 - 232881247568/12191019113*e^2 - 615062218203/12191019113*e + 587907406158/12191019113, -1234727790/12191019113*e^8 + 705298032/12191019113*e^7 + 53670561605/12191019113*e^6 - 38270818345/12191019113*e^5 - 587565965890/12191019113*e^4 + 473710638640/12191019113*e^3 + 1282903244535/12191019113*e^2 - 249236935212/12191019113*e - 921990159676/12191019113, 989050549/12191019113*e^8 + 313221591/12191019113*e^7 - 43923279742/12191019113*e^6 - 5602489892/12191019113*e^5 + 517162596183/12191019113*e^4 - 41920659706/12191019113*e^3 - 1566803836254/12191019113*e^2 + 32330681724/12191019113*e + 943334953312/12191019113, -15339408/1741574159*e^8 + 83424191/1741574159*e^7 + 675953152/1741574159*e^6 - 3556263842/1741574159*e^5 - 7093535747/1741574159*e^4 + 36031713994/1741574159*e^3 + 7719747406/1741574159*e^2 - 47458616910/1741574159*e - 1747138352/1741574159, -142102842/1741574159*e^8 - 45485260/1741574159*e^7 + 6178460681/1741574159*e^6 + 870770806/1741574159*e^5 - 68745723029/1741574159*e^4 + 3013342032/1741574159*e^3 + 169683896904/1741574159*e^2 + 26438428888/1741574159*e - 82644083176/1741574159, 473549793/12191019113*e^8 - 1003448877/12191019113*e^7 - 20358034915/12191019113*e^6 + 45312403184/12191019113*e^5 + 208712828952/12191019113*e^4 - 484676041162/12191019113*e^3 - 239260135346/12191019113*e^2 + 485475044224/12191019113*e + 275663931330/12191019113, 474951833/12191019113*e^8 + 548365852/12191019113*e^7 - 21923030089/12191019113*e^6 - 19822473967/12191019113*e^5 + 285871862559/12191019113*e^4 + 156144566673/12191019113*e^3 - 1153102349758/12191019113*e^2 - 161434836125/12191019113*e + 957691447434/12191019113, -886668596/12191019113*e^8 + 2546081858/12191019113*e^7 + 35940361523/12191019113*e^6 - 114341439482/12191019113*e^5 - 299302011310/12191019113*e^4 + 1220542808437/12191019113*e^3 - 443615599032/12191019113*e^2 - 1228620807847/12191019113*e + 601743858060/12191019113, -500938421/12191019113*e^8 + 745208551/12191019113*e^7 + 20618983755/12191019113*e^6 - 35541616300/12191019113*e^5 - 186912859268/12191019113*e^4 + 406045078840/12191019113*e^3 - 27288021874/12191019113*e^2 - 383453664228/12191019113*e + 275291911794/12191019113, -1133951127/12191019113*e^8 + 1694350902/12191019113*e^7 + 47856361733/12191019113*e^6 - 80557166293/12191019113*e^5 - 473499325618/12191019113*e^4 + 918286750581/12191019113*e^3 + 460807048952/12191019113*e^2 - 1034989062502/12191019113*e - 95621804032/12191019113, -969959617/12191019113*e^8 + 797328626/12191019113*e^7 + 41275241048/12191019113*e^6 - 41556835496/12191019113*e^5 - 423286706537/12191019113*e^4 + 512127653396/12191019113*e^3 + 625700940654/12191019113*e^2 - 517902815750/12191019113*e - 403191304008/12191019113, 1305396552/12191019113*e^8 - 839933593/12191019113*e^7 - 55887058343/12191019113*e^6 + 45971055679/12191019113*e^5 + 584758608678/12191019113*e^4 - 591050659611/12191019113*e^3 - 976998663610/12191019113*e^2 + 611061041522/12191019113*e + 288109612044/12191019113, 177296837/12191019113*e^8 + 56196046/12191019113*e^7 - 7921016235/12191019113*e^6 - 1207810246/12191019113*e^5 + 92467161936/12191019113*e^4 - 2061399517/12191019113*e^3 - 225452606714/12191019113*e^2 - 26567076762/12191019113*e - 135191130946/12191019113, -347673700/12191019113*e^8 + 2119081507/12191019113*e^7 + 13032748870/12191019113*e^6 - 91156707921/12191019113*e^5 - 61561717341/12191019113*e^4 + 919594966932/12191019113*e^3 - 860658133852/12191019113*e^2 - 843445383916/12191019113*e + 806423762728/12191019113, -1616625718/12191019113*e^8 + 928705238/12191019113*e^7 + 69178275339/12191019113*e^6 - 51889160129/12191019113*e^5 - 723542500797/12191019113*e^4 + 673440296792/12191019113*e^3 + 1203957428252/12191019113*e^2 - 619734096530/12191019113*e - 183855055642/12191019113, 1158307847/12191019113*e^8 - 1696727651/12191019113*e^7 - 49450193547/12191019113*e^6 + 80158207620/12191019113*e^5 + 504023165389/12191019113*e^4 - 903333755172/12191019113*e^3 - 607802263515/12191019113*e^2 + 897323666594/12191019113*e + 111734724510/12191019113, -5957379/937770701*e^8 + 124443367/937770701*e^7 + 159673288/937770701*e^6 - 5351870477/937770701*e^5 + 2306199836/937770701*e^4 + 55105655686/937770701*e^3 - 57145101456/937770701*e^2 - 67282618392/937770701*e + 54069876722/937770701, 1025905505/12191019113*e^8 + 776323872/12191019113*e^7 - 45659934260/12191019113*e^6 - 24489194446/12191019113*e^5 + 544702395616/12191019113*e^4 + 135532728974/12191019113*e^3 - 1749734354224/12191019113*e^2 - 98157273194/12191019113*e + 1160060246154/12191019113, -502649031/12191019113*e^8 - 195406431/12191019113*e^7 + 22622495225/12191019113*e^6 + 4594346135/12191019113*e^5 - 276862898366/12191019113*e^4 - 4702816813/12191019113*e^3 + 964286971712/12191019113*e^2 + 81317946365/12191019113*e - 862804553888/12191019113, 965385867/12191019113*e^8 - 1410254239/12191019113*e^7 - 40885304233/12191019113*e^6 + 65740311941/12191019113*e^5 + 408023571080/12191019113*e^4 - 715969953012/12191019113*e^3 - 413951034480/12191019113*e^2 + 544413063300/12191019113*e + 38211988558/12191019113, 229457785/1741574159*e^8 - 262125693/1741574159*e^7 - 9757539613/1741574159*e^6 + 12710136391/1741574159*e^5 + 98983869175/1741574159*e^4 - 144358380945/1741574159*e^3 - 122081890244/1741574159*e^2 + 108740518912/1741574159*e + 24463920876/1741574159, -150375985/1741574159*e^8 + 136666562/1741574159*e^7 + 6414482364/1741574159*e^6 - 6922764460/1741574159*e^5 - 66293559578/1741574159*e^4 + 82985318146/1741574159*e^3 + 101338682426/1741574159*e^2 - 84023747564/1741574159*e - 18598178532/1741574159, 702386389/12191019113*e^8 + 863897291/12191019113*e^7 - 30483987237/12191019113*e^6 - 30432682130/12191019113*e^5 + 345745854096/12191019113*e^4 + 225017498763/12191019113*e^3 - 1010104633808/12191019113*e^2 - 263373462435/12191019113*e + 374743846164/12191019113, -282738030/1741574159*e^8 + 371746469/1741574159*e^7 + 11876394883/1741574159*e^6 - 17830878839/1741574159*e^5 - 116033230345/1741574159*e^4 + 203181582482/1741574159*e^3 + 98437126824/1741574159*e^2 - 186147778136/1741574159*e + 2668899884/1741574159, -2007773772/12191019113*e^8 + 527226262/12191019113*e^7 + 87165482151/12191019113*e^6 - 38471492753/12191019113*e^5 - 957240107819/12191019113*e^4 + 588092701380/12191019113*e^3 + 2165379650118/12191019113*e^2 - 566860815666/12191019113*e - 1171794608624/12191019113, -106900880/12191019113*e^8 + 686333331/12191019113*e^7 + 2621816445/12191019113*e^6 - 29323330397/12191019113*e^5 + 38395806966/12191019113*e^4 + 281373017150/12191019113*e^3 - 817058014105/12191019113*e^2 - 24073782802/12191019113*e + 865221174708/12191019113, 307998126/12191019113*e^8 + 187350039/12191019113*e^7 - 13206198547/12191019113*e^6 - 5796190739/12191019113*e^5 + 141773982533/12191019113*e^4 + 35573846272/12191019113*e^3 - 318600046992/12191019113*e^2 - 74319488181/12191019113*e + 186721072228/12191019113, 1225183875/12191019113*e^8 - 227979550/12191019113*e^7 - 53105642893/12191019113*e^6 + 19869097834/12191019113*e^5 + 581372753454/12191019113*e^4 - 333797059326/12191019113*e^3 - 1308408640702/12191019113*e^2 + 427537481452/12191019113*e + 693024051042/12191019113, -80666798/1741574159*e^8 + 321621759/1741574159*e^7 + 3166453180/1741574159*e^6 - 14289158421/1741574159*e^5 - 22233858304/1741574159*e^4 + 152194203384/1741574159*e^3 - 97470329766/1741574159*e^2 - 172626539087/1741574159*e + 96638785656/1741574159, -758181882/12191019113*e^8 - 1902020858/12191019113*e^7 + 34454644330/12191019113*e^6 + 74069318849/12191019113*e^5 - 445129378258/12191019113*e^4 - 663525921830/12191019113*e^3 + 1895723024322/12191019113*e^2 + 800956453666/12191019113*e - 1345798013676/12191019113, -825802450/12191019113*e^8 + 2615409646/12191019113*e^7 + 34018294673/12191019113*e^6 - 115862046693/12191019113*e^5 - 295597011460/12191019113*e^4 + 1214219811268/12191019113*e^3 - 330546720106/12191019113*e^2 - 1211673886666/12191019113*e + 558416387652/12191019113, -1126510633/12191019113*e^8 - 1256707763/12191019113*e^7 + 49674136933/12191019113*e^6 + 44473204427/12191019113*e^5 - 580498237828/12191019113*e^4 - 348088820774/12191019113*e^3 + 1755579964748/12191019113*e^2 + 638531032795/12191019113*e - 750174024968/12191019113, -235356582/12191019113*e^8 - 794025070/12191019113*e^7 + 10505417953/12191019113*e^6 + 31754097517/12191019113*e^5 - 131618753395/12191019113*e^4 - 305032703882/12191019113*e^3 + 553727743004/12191019113*e^2 + 590873898079/12191019113*e - 424983320084/12191019113, 8090504/12191019113*e^8 - 2427513380/12191019113*e^7 + 2868645854/12191019113*e^6 + 102705958135/12191019113*e^5 - 149659359058/12191019113*e^4 - 1022926221801/12191019113*e^3 + 1726426917702/12191019113*e^2 + 1021832010618/12191019113*e - 1419247987978/12191019113, -778176003/12191019113*e^8 - 1170678918/12191019113*e^7 + 34635010250/12191019113*e^6 + 43040418058/12191019113*e^5 - 416045616572/12191019113*e^4 - 353380148319/12191019113*e^3 + 1395316296536/12191019113*e^2 + 535696812901/12191019113*e - 868855931920/12191019113, 15490307/1741574159*e^8 - 381261817/1741574159*e^7 - 454083037/1741574159*e^6 + 16218498346/1741574159*e^5 - 4909380006/1741574159*e^4 - 164755862434/1741574159*e^3 + 142994702306/1741574159*e^2 + 204617646422/1741574159*e - 100818205952/1741574159, 1085508108/12191019113*e^8 + 656448862/12191019113*e^7 - 47634776247/12191019113*e^6 - 19493191216/12191019113*e^5 + 547252659166/12191019113*e^4 + 95432872966/12191019113*e^3 - 1578430882604/12191019113*e^2 - 211567656380/12191019113*e + 1062795161100/12191019113, -1393185977/12191019113*e^8 - 830886211/12191019113*e^7 + 62369710317/12191019113*e^6 + 24359965047/12191019113*e^5 - 753962591176/12191019113*e^4 - 100834842426/12191019113*e^3 + 2531666090420/12191019113*e^2 + 25505842576/12191019113*e - 1738355310670/12191019113, 212224236/1741574159*e^8 - 300219546/1741574159*e^7 - 9024313417/1741574159*e^6 + 14389337723/1741574159*e^5 + 91366371791/1741574159*e^4 - 165352584561/1741574159*e^3 - 111098065166/1741574159*e^2 + 172583739128/1741574159*e + 36256990054/1741574159, -1402727281/12191019113*e^8 - 631384968/12191019113*e^7 + 61633155905/12191019113*e^6 + 16079517208/12191019113*e^5 - 706153247333/12191019113*e^4 - 38501041920/12191019113*e^3 + 1961373007782/12191019113*e^2 + 263023415398/12191019113*e - 1252887000536/12191019113, -123280473/12191019113*e^8 - 572872049/12191019113*e^7 + 5509667378/12191019113*e^6 + 23592176564/12191019113*e^5 - 71060276074/12191019113*e^4 - 245551377550/12191019113*e^3 + 322866414022/12191019113*e^2 + 622434858966/12191019113*e - 360313665494/12191019113, -1335959267/12191019113*e^8 + 2095669283/12191019113*e^7 + 55947673357/12191019113*e^6 - 97921886830/12191019113*e^5 - 533921047061/12191019113*e^4 + 1079406628758/12191019113*e^3 + 201637836108/12191019113*e^2 - 883140143148/12191019113*e + 461027861244/12191019113, -2175494707/12191019113*e^8 + 1399383761/12191019113*e^7 + 93462501970/12191019113*e^6 - 75851289418/12191019113*e^5 - 990861503104/12191019113*e^4 + 957453581368/12191019113*e^3 + 1864006278216/12191019113*e^2 - 838344431676/12191019113*e - 1120910673308/12191019113, 61788058/937770701*e^8 - 24791813/937770701*e^7 - 2623088266/937770701*e^6 + 1558547255/937770701*e^5 + 27110318359/937770701*e^4 - 21748678362/937770701*e^3 - 48072041298/937770701*e^2 + 17748071882/937770701*e + 38274055796/937770701, 970569935/12191019113*e^8 - 2246345774/12191019113*e^7 - 39190690394/12191019113*e^6 + 101925734839/12191019113*e^5 + 324762122198/12191019113*e^4 - 1090368408342/12191019113*e^3 + 478112900158/12191019113*e^2 + 875589434556/12191019113*e - 870883194726/12191019113, 448958576/12191019113*e^8 - 534735527/12191019113*e^7 - 20010251136/12191019113*e^6 + 27156543126/12191019113*e^5 + 233287446264/12191019113*e^4 - 349202185456/12191019113*e^3 - 648074902448/12191019113*e^2 + 698915951624/12191019113*e + 419191964650/12191019113, 780374037/12191019113*e^8 - 2916158103/12191019113*e^7 - 30810476364/12191019113*e^6 + 128945222235/12191019113*e^5 + 222165989333/12191019113*e^4 - 1346191673912/12191019113*e^3 + 884266984108/12191019113*e^2 + 1186351751150/12191019113*e - 1015777751998/12191019113, -733173572/12191019113*e^8 + 1172614/12191019113*e^7 + 32643202701/12191019113*e^6 - 5552851783/12191019113*e^5 - 384829919970/12191019113*e^4 + 133832372148/12191019113*e^3 + 1143274647540/12191019113*e^2 - 358816590308/12191019113*e - 709828121214/12191019113, 1054777291/12191019113*e^8 - 1581129507/12191019113*e^7 - 42596822105/12191019113*e^6 + 74552839902/12191019113*e^5 + 360202329141/12191019113*e^4 - 821382253248/12191019113*e^3 + 360823194559/12191019113*e^2 + 484678926392/12191019113*e - 857113318454/12191019113, -287772006/12191019113*e^8 - 2057723861/12191019113*e^7 + 14008908885/12191019113*e^6 + 84660306800/12191019113*e^5 - 219108454868/12191019113*e^4 - 824414618403/12191019113*e^3 + 1342397733662/12191019113*e^2 + 1111455956935/12191019113*e - 819490104142/12191019113, -2257024972/12191019113*e^8 + 1152652586/12191019113*e^7 + 97104728821/12191019113*e^6 - 66172767491/12191019113*e^5 - 1037200489300/12191019113*e^4 + 873728022814/12191019113*e^3 + 2041584255314/12191019113*e^2 - 827217791579/12191019113*e - 860082139386/12191019113, -1755192415/12191019113*e^8 - 587912700/12191019113*e^7 + 76121461933/12191019113*e^6 + 10820529516/12191019113*e^5 - 844128342633/12191019113*e^4 + 60071032100/12191019113*e^3 + 2094421719830/12191019113*e^2 + 119302994134/12191019113*e - 780407611602/12191019113, -1221259255/12191019113*e^8 - 1690605272/12191019113*e^7 + 55124890809/12191019113*e^6 + 62010257598/12191019113*e^5 - 685877174167/12191019113*e^4 - 497885579538/12191019113*e^3 + 2525887882016/12191019113*e^2 + 542087019288/12191019113*e - 1632558807496/12191019113, 3542089/1741574159*e^8 + 6843182/1741574159*e^7 - 167048478/1741574159*e^6 - 209448665/1741574159*e^5 + 2308065770/1741574159*e^4 - 461741536/1741574159*e^3 - 12544848298/1741574159*e^2 + 24245286204/1741574159*e + 29846668248/1741574159, -1963359425/12191019113*e^8 + 2010312305/12191019113*e^7 + 83926626191/12191019113*e^6 - 100522316165/12191019113*e^5 - 868401383202/12191019113*e^4 + 1202468353964/12191019113*e^3 + 1300346230234/12191019113*e^2 - 1375136353182/12191019113*e - 426933334962/12191019113, 831113351/12191019113*e^8 - 964536589/12191019113*e^7 - 35471933928/12191019113*e^6 + 46571384737/12191019113*e^5 + 363456242337/12191019113*e^4 - 519062864354/12191019113*e^3 - 491978442134/12191019113*e^2 + 226016934606/12191019113*e + 257072770460/12191019113, -393190605/12191019113*e^8 + 369118817/12191019113*e^7 + 16021656505/12191019113*e^6 - 18659955544/12191019113*e^5 - 139451750702/12191019113*e^4 + 226327384414/12191019113*e^3 - 103247080614/12191019113*e^2 - 300508815686/12191019113*e + 525383365356/12191019113, 7703458/133967243*e^8 - 8388574/133967243*e^7 - 314293111/133967243*e^6 + 419355112/133967243*e^5 + 2790618078/133967243*e^4 - 4931511952/133967243*e^3 + 868099456/133967243*e^2 + 4287236841/133967243*e - 6085506330/133967243, 780806965/12191019113*e^8 + 35376559/12191019113*e^7 - 34223448495/12191019113*e^6 + 4962298868/12191019113*e^5 + 390314848501/12191019113*e^4 - 136602927339/12191019113*e^3 - 1074896430774/12191019113*e^2 + 246380842781/12191019113*e + 637578885306/12191019113, -2098143764/12191019113*e^8 + 400555950/12191019113*e^7 + 90855310400/12191019113*e^6 - 33096119923/12191019113*e^5 - 993927619403/12191019113*e^4 + 523383384564/12191019113*e^3 + 2247200764950/12191019113*e^2 - 359358689132/12191019113*e - 1284563728144/12191019113, -93044507/12191019113*e^8 + 226629764/12191019113*e^7 + 3607788689/12191019113*e^6 - 9760298918/12191019113*e^5 - 25588395411/12191019113*e^4 + 91710842592/12191019113*e^3 - 99790540730/12191019113*e^2 + 32465013810/12191019113*e + 108052887526/12191019113, 468190329/12191019113*e^8 + 514533829/12191019113*e^7 - 20956809360/12191019113*e^6 - 18396948497/12191019113*e^5 + 254935965367/12191019113*e^4 + 145829582277/12191019113*e^3 - 884998170970/12191019113*e^2 - 295241578582/12191019113*e + 642484535716/12191019113, 805116485/12191019113*e^8 + 1338600142/12191019113*e^7 - 37428507981/12191019113*e^6 - 49330010153/12191019113*e^5 + 500536316405/12191019113*e^4 + 387617302668/12191019113*e^3 - 2189222237276/12191019113*e^2 - 273570417742/12191019113*e + 1804150606092/12191019113, 76466361/12191019113*e^8 + 1193111520/12191019113*e^7 - 5268268497/12191019113*e^6 - 48996922319/12191019113*e^5 + 129177695251/12191019113*e^4 + 460143018486/12191019113*e^3 - 1147577266124/12191019113*e^2 - 387998256810/12191019113*e + 1210919104396/12191019113, 1180968819/12191019113*e^8 + 298613324/12191019113*e^7 - 51975595185/12191019113*e^6 - 3164585679/12191019113*e^5 + 597496905559/12191019113*e^4 - 90149604105/12191019113*e^3 - 1696666185392/12191019113*e^2 + 91758281383/12191019113*e + 1196913084344/12191019113, 1358076802/12191019113*e^8 - 118014199/12191019113*e^7 - 57826182278/12191019113*e^6 + 15078785298/12191019113*e^5 + 602509277677/12191019113*e^4 - 255060074765/12191019113*e^3 - 1071172260050/12191019113*e^2 - 185941719130/12191019113*e + 374006189118/12191019113, 804620170/12191019113*e^8 - 83775968/12191019113*e^7 - 35061471395/12191019113*e^6 + 8592680181/12191019113*e^5 + 388905095364/12191019113*e^4 - 136091156560/12191019113*e^3 - 897583817010/12191019113*e^2 - 33137739042/12191019113*e + 123751419466/12191019113, 181577580/12191019113*e^8 + 264044090/12191019113*e^7 - 7566399305/12191019113*e^6 - 9826132970/12191019113*e^5 + 73925634189/12191019113*e^4 + 86984596425/12191019113*e^3 - 75460089274/12191019113*e^2 - 224713906663/12191019113*e - 141192233590/12191019113, -170139199/1741574159*e^8 + 83292361/1741574159*e^7 + 7361177141/1741574159*e^6 - 4859618798/1741574159*e^5 - 79639225957/1741574159*e^4 + 64524961681/1741574159*e^3 + 162445580314/1741574159*e^2 - 51088182962/1741574159*e - 82715728326/1741574159, 2061026228/12191019113*e^8 - 1844861513/12191019113*e^7 - 87254855901/12191019113*e^6 + 93742634269/12191019113*e^5 + 880847101240/12191019113*e^4 - 1113077026965/12191019113*e^3 - 1142765138462/12191019113*e^2 + 742117775692/12191019113*e + 395531968004/12191019113, -121659522/12191019113*e^8 - 219581703/12191019113*e^7 + 4447913754/12191019113*e^6 + 9234199475/12191019113*e^5 - 25375469321/12191019113*e^4 - 108662808990/12191019113*e^3 - 160370908890/12191019113*e^2 + 395883744654/12191019113*e + 315510563926/12191019113, 240029215/12191019113*e^8 + 896090068/12191019113*e^7 - 11588361276/12191019113*e^6 - 35412176963/12191019113*e^5 + 174070132022/12191019113*e^4 + 319832275550/12191019113*e^3 - 992948666817/12191019113*e^2 - 360647688656/12191019113*e + 1090941729242/12191019113, 1270923512/12191019113*e^8 + 332444215/12191019113*e^7 - 56706838115/12191019113*e^6 - 4594855969/12191019113*e^5 + 674843201346/12191019113*e^4 - 64613525360/12191019113*e^3 - 2105208302768/12191019113*e^2 - 53677404332/12191019113*e + 1552681559368/12191019113, -1544696243/12191019113*e^8 + 513990450/12191019113*e^7 + 66277403278/12191019113*e^6 - 33511727940/12191019113*e^5 - 702396145202/12191019113*e^4 + 473659614200/12191019113*e^3 + 1300876093414/12191019113*e^2 - 356261657784/12191019113*e - 227913508208/12191019113, 1460144683/12191019113*e^8 + 113923618/12191019113*e^7 - 63314427434/12191019113*e^6 + 6114640057/12191019113*e^5 + 695841658584/12191019113*e^4 - 189146985162/12191019113*e^3 - 1574323902206/12191019113*e^2 + 48997189428/12191019113*e + 403272526814/12191019113, -1264561391/12191019113*e^8 + 2635504016/12191019113*e^7 + 52167897792/12191019113*e^6 - 121711441744/12191019113*e^5 - 471392662056/12191019113*e^4 + 1338763818302/12191019113*e^3 - 126118713424/12191019113*e^2 - 1264895865078/12191019113*e + 450334323392/12191019113, -361356428/12191019113*e^8 + 766518796/12191019113*e^7 + 14802622270/12191019113*e^6 - 35863848116/12191019113*e^5 - 132826198305/12191019113*e^4 + 404355224080/12191019113*e^3 - 17781387797/12191019113*e^2 - 472553799330/12191019113*e + 22577664444/12191019113, -53258796/1741574159*e^8 - 127543371/1741574159*e^7 + 2511877996/1741574159*e^6 + 4971364982/1741574159*e^5 - 35106481149/1741574159*e^4 - 45025197136/1741574159*e^3 + 170263590296/1741574159*e^2 + 74305907712/1741574159*e - 153500609338/1741574159, 1182365302/12191019113*e^8 + 261237885/12191019113*e^7 - 50938748359/12191019113*e^6 - 1557265530/12191019113*e^5 + 553260084821/12191019113*e^4 - 94958152894/12191019113*e^3 - 1246990628844/12191019113*e^2 - 46027095978/12191019113*e + 520313144940/12191019113, -2702466308/12191019113*e^8 + 1139896741/12191019113*e^7 + 116881618834/12191019113*e^6 - 70142965927/12191019113*e^5 - 1265834175247/12191019113*e^4 + 984681281309/12191019113*e^3 + 2643981376716/12191019113*e^2 - 1190834382411/12191019113*e - 1198246429832/12191019113, -1875225834/12191019113*e^8 + 1089366279/12191019113*e^7 + 79815733223/12191019113*e^6 - 59963337614/12191019113*e^5 - 823418331361/12191019113*e^4 + 747276265340/12191019113*e^3 + 1281312834580/12191019113*e^2 - 260219457908/12191019113*e - 480592621370/12191019113, 138651948/12191019113*e^8 - 2245545490/12191019113*e^7 - 3605324350/12191019113*e^6 + 94295314374/12191019113*e^5 - 56217332874/12191019113*e^4 - 905116824966/12191019113*e^3 + 1343211065891/12191019113*e^2 + 576429420752/12191019113*e - 1530048614200/12191019113, 1188262548/12191019113*e^8 - 2327566181/12191019113*e^7 - 49185951905/12191019113*e^6 + 105679055784/12191019113*e^5 + 447622083750/12191019113*e^4 - 1117775864396/12191019113*e^3 + 121859407454/12191019113*e^2 + 712103335004/12191019113*e - 607577503656/12191019113, 484436476/12191019113*e^8 + 107142629/12191019113*e^7 - 22246631661/12191019113*e^6 - 2018480277/12191019113*e^5 + 284350914102/12191019113*e^4 - 11479149034/12191019113*e^3 - 1099414784386/12191019113*e^2 + 61253367424/12191019113*e + 1067926672296/12191019113, 1432571394/12191019113*e^8 - 2011113683/12191019113*e^7 - 59804712964/12191019113*e^6 + 97249466157/12191019113*e^5 + 573003122784/12191019113*e^4 - 1130804833922/12191019113*e^3 - 362623636602/12191019113*e^2 + 1281052964708/12191019113*e - 154930607596/12191019113, -1236186624/12191019113*e^8 + 462046647/12191019113*e^7 + 54830002225/12191019113*e^6 - 29299248673/12191019113*e^5 - 635143343335/12191019113*e^4 + 423531140960/12191019113*e^3 + 1731292048190/12191019113*e^2 - 648914610648/12191019113*e - 1026207269842/12191019113, 1650618842/12191019113*e^8 - 351793808/12191019113*e^7 - 71541633251/12191019113*e^6 + 26920131325/12191019113*e^5 + 781725808842/12191019113*e^4 - 408324033144/12191019113*e^3 - 1719606651592/12191019113*e^2 + 184537458015/12191019113*e + 769816490438/12191019113, 190721938/12191019113*e^8 + 624253743/12191019113*e^7 - 8647758607/12191019113*e^6 - 26800687688/12191019113*e^5 + 111249567307/12191019113*e^4 + 300419203199/12191019113*e^3 - 461427266270/12191019113*e^2 - 739060336753/12191019113*e + 468725296640/12191019113, -1395558064/12191019113*e^8 + 2674359354/12191019113*e^7 + 59172358382/12191019113*e^6 - 122328124859/12191019113*e^5 - 587362452074/12191019113*e^4 + 1328531911202/12191019113*e^3 + 509859769311/12191019113*e^2 - 1300964133302/12191019113*e + 77451819702/12191019113, -73589976/1741574159*e^8 + 100142073/1741574159*e^7 + 2922480950/1741574159*e^6 - 4819487988/1741574159*e^5 - 23187367512/1741574159*e^4 + 54686896429/1741574159*e^3 - 42362791164/1741574159*e^2 - 39308968734/1741574159*e + 67179598960/1741574159, 774355339/12191019113*e^8 - 823535431/12191019113*e^7 - 32708872801/12191019113*e^6 + 41256900794/12191019113*e^5 + 328126561771/12191019113*e^4 - 496233344986/12191019113*e^3 - 413036610892/12191019113*e^2 + 550175240656/12191019113*e + 325795838436/12191019113, 247553090/1741574159*e^8 - 244025462/1741574159*e^7 - 10519889977/1741574159*e^6 + 12077896613/1741574159*e^5 + 106986457289/1741574159*e^4 - 139663287864/1741574159*e^3 - 140997046848/1741574159*e^2 + 100173709645/1741574159*e + 28753582904/1741574159, 1435913175/12191019113*e^8 - 2425633374/12191019113*e^7 - 61198690671/12191019113*e^6 + 113127663594/12191019113*e^5 + 619325251015/12191019113*e^4 - 1255536636930/12191019113*e^3 - 701740615568/12191019113*e^2 + 1253825329930/12191019113*e + 291598126228/12191019113, 1350442455/12191019113*e^8 - 1333407567/12191019113*e^7 - 57626397455/12191019113*e^6 + 67131722766/12191019113*e^5 + 594215901964/12191019113*e^4 - 808718191735/12191019113*e^3 - 870595494108/12191019113*e^2 + 910708215845/12191019113*e + 130461940562/12191019113, -204733073/12191019113*e^8 - 1402693774/12191019113*e^7 + 9953764998/12191019113*e^6 + 57238688453/12191019113*e^5 - 153497735597/12191019113*e^4 - 542409314220/12191019113*e^3 + 907023189424/12191019113*e^2 + 581502580627/12191019113*e - 724134655448/12191019113, 1724895811/12191019113*e^8 - 660476325/12191019113*e^7 - 73946377697/12191019113*e^6 + 41898889743/12191019113*e^5 + 783794049263/12191019113*e^4 - 597105355939/12191019113*e^3 - 1508420121232/12191019113*e^2 + 606318840700/12191019113*e + 543557265480/12191019113, 532911306/12191019113*e^8 - 436392078/12191019113*e^7 - 24219305928/12191019113*e^6 + 21856662129/12191019113*e^5 + 293297531550/12191019113*e^4 - 266918849752/12191019113*e^3 - 874602305702/12191019113*e^2 + 453540963482/12191019113*e + 489030029820/12191019113, 39561844/1741574159*e^8 + 40989237/1741574159*e^7 - 2046983014/1741574159*e^6 - 1543337842/1741574159*e^5 + 32701640797/1741574159*e^4 + 13471605064/1741574159*e^3 - 178167890293/1741574159*e^2 - 13872514014/1741574159*e + 194152670622/1741574159, 1264061817/12191019113*e^8 + 1023353027/12191019113*e^7 - 56034482139/12191019113*e^6 - 33564889238/12191019113*e^5 + 660762456013/12191019113*e^4 + 221165920148/12191019113*e^3 - 2032357450157/12191019113*e^2 - 455863092078/12191019113*e + 1047792103508/12191019113, -753670231/12191019113*e^8 + 625955891/12191019113*e^7 + 33095799760/12191019113*e^6 - 32589413008/12191019113*e^5 - 373248436214/12191019113*e^4 + 409228062218/12191019113*e^3 + 925308883718/12191019113*e^2 - 537755539556/12191019113*e - 613858809572/12191019113, -1458864075/12191019113*e^8 + 341936913/12191019113*e^7 + 62513675748/12191019113*e^6 - 25416333216/12191019113*e^5 - 662503617099/12191019113*e^4 + 379216130491/12191019113*e^3 + 1270273750948/12191019113*e^2 - 132512431665/12191019113*e - 622412012064/12191019113, -1457627428/12191019113*e^8 - 2378062573/12191019113*e^7 + 65425473852/12191019113*e^6 + 88302460474/12191019113*e^5 - 806325398990/12191019113*e^4 - 727193607330/12191019113*e^3 + 2910761969742/12191019113*e^2 + 884864322376/12191019113*e - 1681622252662/12191019113, -170211051/937770701*e^8 + 258692291/937770701*e^7 + 7083144146/937770701*e^6 - 12237158261/937770701*e^5 - 66605748270/937770701*e^4 + 136844425800/937770701*e^3 + 19043416449/937770701*e^2 - 108210356480/937770701*e + 57176265086/937770701, -441402951/12191019113*e^8 - 103641380/12191019113*e^7 + 19077893598/12191019113*e^6 + 1659941053/12191019113*e^5 - 209384506595/12191019113*e^4 - 3067175162/12191019113*e^3 + 501982743858/12191019113*e^2 + 403142847756/12191019113*e - 445194870544/12191019113, -90795637/1741574159*e^8 + 391076306/1741574159*e^7 + 3430510861/1741574159*e^6 - 17136950213/1741574159*e^5 - 19246643644/1741574159*e^4 + 177069600323/1741574159*e^3 - 168213825868/1741574159*e^2 - 164769637726/1741574159*e + 167890543144/1741574159, -1080786909/12191019113*e^8 - 1375001725/12191019113*e^7 + 48131172189/12191019113*e^6 + 49763791520/12191019113*e^5 - 577350656858/12191019113*e^4 - 393456530366/12191019113*e^3 + 1910422980524/12191019113*e^2 + 504247573105/12191019113*e - 1068553343236/12191019113, 245015376/12191019113*e^8 + 433710386/12191019113*e^7 - 10655274202/12191019113*e^6 - 16512118314/12191019113*e^5 + 120281812940/12191019113*e^4 + 155325604404/12191019113*e^3 - 348931883929/12191019113*e^2 - 480559913570/12191019113*e + 354160149570/12191019113, 876046131/12191019113*e^8 - 594582455/12191019113*e^7 - 38202804895/12191019113*e^6 + 33178881439/12191019113*e^5 + 420641337985/12191019113*e^4 - 451238809456/12191019113*e^3 - 920144384316/12191019113*e^2 + 710868163102/12191019113*e + 423902066194/12191019113, 405045384/12191019113*e^8 + 551765328/12191019113*e^7 - 18394655814/12191019113*e^6 - 20176820436/12191019113*e^5 + 228288283112/12191019113*e^4 + 165459661086/12191019113*e^3 - 775503158258/12191019113*e^2 - 258365400896/12191019113*e + 421779143252/12191019113, 997774230/12191019113*e^8 + 938046527/12191019113*e^7 - 43225275083/12191019113*e^6 - 31775190976/12191019113*e^5 + 485235053351/12191019113*e^4 + 224101992388/12191019113*e^3 - 1370072593684/12191019113*e^2 - 404775950424/12191019113*e + 856218491536/12191019113]; heckeEigenvalues := AssociativeArray(); for i := 1 to #heckeEigenvaluesArray do heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i]; end for; ALEigenvalues := AssociativeArray(); ALEigenvalues[ideal] := 1; // EXAMPLE: // pp := Factorization(2*ZF)[1][1]; // heckeEigenvalues[pp]; print "To reconstruct the Hilbert newform f, type f, iso := Explode(make_newform());"; function make_newform(); M := HilbertCuspForms(F, NN); S := NewSubspace(M); // SetVerbose("ModFrmHil", 1); NFD := NewformDecomposition(S); newforms := [* Eigenform(U) : U in NFD *]; if #newforms eq 0 then; print "No Hilbert newforms at this level"; return 0; end if; print "Testing ", #newforms, " possible newforms"; newforms := [* f: f in newforms | IsIsomorphic(BaseField(f), K) *]; print #newforms, " newforms have the correct Hecke field"; if #newforms eq 0 then; print "No Hilbert newform found with the correct Hecke field"; return 0; end if; autos := Automorphisms(K); xnewforms := [* *]; for f in newforms do; if K eq RationalField() then; Append(~xnewforms, [* f, autos[1] *]); else; flag, iso := IsIsomorphic(K,BaseField(f)); for a in autos do; Append(~xnewforms, [* f, a*iso *]); end for; end if; end for; newforms := xnewforms; for P in primes do; xnewforms := [* *]; for f_iso in newforms do; f, iso := Explode(f_iso); if HeckeEigenvalue(f,P) eq iso(heckeEigenvalues[P]) then; Append(~xnewforms, f_iso); end if; end for; newforms := xnewforms; if #newforms eq 0 then; print "No Hilbert newform found which matches the Hecke eigenvalues"; return 0; else if #newforms eq 1 then; print "success: unique match"; return newforms[1]; end if; end if; end for; print #newforms, "Hilbert newforms found which match the Hecke eigenvalues"; return newforms[1]; end function;