/*
  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<x> := PolynomialRing(Rationals());
g := P![1, -5, 2, 8, -4, -2, 1];
F<w> := NumberField(g);
ZF := Integers(F);

NN := ideal<ZF | {64, 2, -2}>;

primesArray := [
[9, 3, -w^2 + 2],
[19, 19, -w^3 + 4*w],
[19, 19, w^3 - 3*w - 1],
[29, 29, w^5 - w^4 - 6*w^3 + 4*w^2 + 8*w - 3],
[29, 29, w^4 - w^3 - 4*w^2 + 2*w + 2],
[31, 31, -w^4 + 4*w^2 + w - 3],
[41, 41, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 11*w - 4],
[49, 7, -2*w^5 + 3*w^4 + 10*w^3 - 12*w^2 - 11*w + 6],
[59, 59, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 7*w - 5],
[59, 59, w^5 - w^4 - 4*w^3 + 3*w^2 + 3*w - 3],
[59, 59, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 9*w - 4],
[61, 61, -w^5 + w^4 + 5*w^3 - 3*w^2 - 7*w + 1],
[64, 2, -2],
[71, 71, -2*w^5 + 2*w^4 + 10*w^3 - 8*w^2 - 11*w + 6],
[79, 79, -3*w^5 + 4*w^4 + 13*w^3 - 14*w^2 - 9*w + 5],
[79, 79, -w^4 - w^3 + 5*w^2 + 4*w - 3],
[79, 79, -2*w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 8*w + 4],
[81, 3, 3*w^5 - 5*w^4 - 14*w^3 + 19*w^2 + 13*w - 8],
[89, 89, 2*w^5 - 2*w^4 - 9*w^3 + 6*w^2 + 8*w - 1],
[101, 101, -w^4 - w^3 + 5*w^2 + 3*w - 3],
[101, 101, -w^5 + 2*w^4 + 6*w^3 - 8*w^2 - 9*w + 4],
[109, 109, -2*w^5 + 4*w^4 + 8*w^3 - 14*w^2 - 6*w + 5],
[109, 109, -3*w^5 + 4*w^4 + 13*w^3 - 14*w^2 - 10*w + 7],
[125, 5, w^5 - w^4 - 5*w^3 + 4*w^2 + 5*w],
[131, 131, -w^2 - w + 3],
[131, 131, w^5 - 3*w^4 - 4*w^3 + 11*w^2 + 3*w - 4],
[131, 131, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 6*w - 5],
[131, 131, -2*w^5 + 4*w^4 + 8*w^3 - 15*w^2 - 6*w + 7],
[139, 139, w^4 - 3*w^3 - 3*w^2 + 9*w],
[149, 149, 2*w^5 - 3*w^4 - 9*w^3 + 12*w^2 + 7*w - 5],
[149, 149, w^5 - 2*w^4 - 4*w^3 + 8*w^2 + 2*w - 2],
[151, 151, 3*w^5 - 4*w^4 - 13*w^3 + 14*w^2 + 10*w - 5],
[151, 151, -3*w^5 + 4*w^4 + 14*w^3 - 15*w^2 - 12*w + 6],
[151, 151, 4*w^5 - 5*w^4 - 18*w^3 + 18*w^2 + 15*w - 9],
[151, 151, 2*w^5 - 2*w^4 - 9*w^3 + 7*w^2 + 8*w - 5],
[169, 13, -2*w^5 + w^4 + 11*w^3 - 3*w^2 - 13*w + 1],
[179, 179, w^3 - w^2 - 2*w + 3],
[181, 181, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 10*w - 3],
[181, 181, -2*w^4 + w^3 + 8*w^2 - 3*w - 2],
[191, 191, w^5 - w^4 - 6*w^3 + 5*w^2 + 9*w - 4],
[191, 191, -w^3 + 2*w^2 + 3*w - 4],
[191, 191, -2*w^5 + w^4 + 11*w^3 - 3*w^2 - 12*w],
[191, 191, w^4 - 2*w^3 - 4*w^2 + 7*w],
[199, 199, -3*w^5 + 4*w^4 + 15*w^3 - 14*w^2 - 16*w + 6],
[199, 199, -2*w^5 + 3*w^4 + 10*w^3 - 12*w^2 - 12*w + 7],
[211, 211, -2*w^5 + 4*w^4 + 9*w^3 - 15*w^2 - 8*w + 5],
[211, 211, -3*w^5 + 5*w^4 + 13*w^3 - 18*w^2 - 10*w + 8],
[229, 229, -3*w^5 + 4*w^4 + 13*w^3 - 14*w^2 - 10*w + 6],
[229, 229, w^4 - 4*w^2 - 1],
[229, 229, w^5 - w^4 - 3*w^3 + 3*w^2 - 3*w - 2],
[239, 239, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 8*w + 8],
[241, 241, w^5 - 3*w^4 - 4*w^3 + 10*w^2 + 3*w - 2],
[241, 241, w^5 - w^4 - 5*w^3 + 3*w^2 + 4*w + 1],
[251, 251, -3*w^5 + 3*w^4 + 15*w^3 - 10*w^2 - 17*w + 3],
[271, 271, -2*w^5 + 4*w^4 + 9*w^3 - 14*w^2 - 8*w + 2],
[271, 271, -2*w^5 + 3*w^4 + 8*w^3 - 9*w^2 - 4*w],
[271, 271, w^5 - 2*w^4 - 3*w^3 + 7*w^2 - 2*w - 4],
[289, 17, 4*w^5 - 6*w^4 - 17*w^3 + 22*w^2 + 12*w - 9],
[311, 311, -2*w^5 + 3*w^4 + 7*w^3 - 9*w^2 - 3*w + 2],
[331, 331, 3*w^5 - 5*w^4 - 14*w^3 + 19*w^2 + 14*w - 12],
[349, 349, -4*w^5 + 6*w^4 + 18*w^3 - 21*w^2 - 17*w + 7],
[349, 349, -w^4 + w^3 + 5*w^2 - 3*w - 3],
[359, 359, -2*w^5 + 4*w^4 + 9*w^3 - 15*w^2 - 10*w + 9],
[361, 19, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 6*w - 4],
[361, 19, -3*w^5 + 5*w^4 + 13*w^3 - 18*w^2 - 10*w + 9],
[379, 379, -4*w^5 + 5*w^4 + 18*w^3 - 17*w^2 - 14*w + 7],
[379, 379, 2*w^5 - 4*w^4 - 10*w^3 + 15*w^2 + 11*w - 5],
[389, 389, -5*w^5 + 7*w^4 + 22*w^3 - 25*w^2 - 17*w + 11],
[389, 389, w^5 - 3*w^4 - 3*w^3 + 12*w^2 - 2*w - 5],
[401, 401, -4*w^5 + 6*w^4 + 18*w^3 - 23*w^2 - 15*w + 10],
[401, 401, -w^5 + 3*w^4 + 4*w^3 - 12*w^2 - w + 4],
[401, 401, 4*w^5 - 5*w^4 - 20*w^3 + 19*w^2 + 21*w - 11],
[401, 401, -3*w^5 + 3*w^4 + 16*w^3 - 12*w^2 - 18*w + 6],
[409, 409, -2*w^4 + 2*w^3 + 7*w^2 - 6*w - 2],
[409, 409, -w^5 + 3*w^4 + 5*w^3 - 13*w^2 - 5*w + 9],
[419, 419, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 10*w - 6],
[419, 419, -w^5 + 7*w^3 - w^2 - 10*w + 4],
[419, 419, w^5 - 2*w^4 - 5*w^3 + 10*w^2 + 5*w - 9],
[421, 421, 3*w^5 - 3*w^4 - 16*w^3 + 12*w^2 + 18*w - 7],
[431, 431, 4*w^5 - 7*w^4 - 17*w^3 + 25*w^2 + 13*w - 10],
[431, 431, -2*w^5 + 3*w^4 + 7*w^3 - 10*w^2 - w + 5],
[431, 431, 4*w^5 - 6*w^4 - 19*w^3 + 23*w^2 + 17*w - 10],
[439, 439, -2*w^5 + 4*w^4 + 10*w^3 - 15*w^2 - 11*w + 4],
[461, 461, w^5 - 2*w^4 - 3*w^3 + 6*w^2 + 2],
[461, 461, w^5 - w^4 - 5*w^3 + 5*w^2 + 6*w - 7],
[479, 479, -2*w^5 + w^4 + 9*w^3 - 2*w^2 - 8*w],
[479, 479, 2*w^5 - 2*w^4 - 10*w^3 + 8*w^2 + 12*w - 7],
[491, 491, -3*w^5 + 3*w^4 + 14*w^3 - 12*w^2 - 12*w + 7],
[491, 491, -3*w^5 + 3*w^4 + 15*w^3 - 12*w^2 - 14*w + 8],
[491, 491, -2*w^2 + w + 6],
[499, 499, -3*w^5 + 3*w^4 + 14*w^3 - 10*w^2 - 13*w + 6],
[509, 509, -2*w^5 + 2*w^4 + 8*w^3 - 6*w^2 - 5*w],
[521, 521, 3*w^5 - 4*w^4 - 14*w^3 + 15*w^2 + 15*w - 9],
[521, 521, -3*w^5 + 5*w^4 + 14*w^3 - 19*w^2 - 15*w + 9],
[521, 521, -4*w^5 + 5*w^4 + 18*w^3 - 17*w^2 - 16*w + 6],
[529, 23, w^5 - 3*w^4 - 5*w^3 + 11*w^2 + 7*w - 5],
[541, 541, -3*w^5 + 4*w^4 + 14*w^3 - 15*w^2 - 14*w + 10],
[569, 569, -w^5 - w^4 + 6*w^3 + 4*w^2 - 6*w - 1],
[571, 571, -2*w^4 + w^3 + 9*w^2 - 3*w - 4],
[599, 599, -3*w^5 + 3*w^4 + 14*w^3 - 11*w^2 - 11*w + 4],
[601, 601, w^4 - 2*w^2 - w - 2],
[619, 619, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 10*w - 5],
[619, 619, w^5 - 3*w^4 - 4*w^3 + 12*w^2 + 3*w - 3],
[619, 619, -3*w^5 + 5*w^4 + 13*w^3 - 20*w^2 - 10*w + 10],
[619, 619, w^5 - 2*w^4 - 5*w^3 + 10*w^2 + 5*w - 8],
[619, 619, -4*w^5 + 6*w^4 + 19*w^3 - 23*w^2 - 17*w + 11],
[619, 619, -4*w^5 + 6*w^4 + 17*w^3 - 22*w^2 - 13*w + 10],
[631, 631, w^5 - 3*w^4 - 5*w^3 + 13*w^2 + 5*w - 6],
[641, 641, -w^3 + w^2 + 3*w - 5],
[641, 641, -w^5 + 3*w^4 + 2*w^3 - 10*w^2 + 3*w + 4],
[659, 659, -w^5 + 3*w^4 + 5*w^3 - 12*w^2 - 5*w + 5],
[661, 661, -2*w^5 + 3*w^4 + 8*w^3 - 12*w^2 - 3*w + 8],
[661, 661, 2*w^5 - 3*w^4 - 8*w^3 + 10*w^2 + 6*w - 1],
[691, 691, -w^3 - w^2 + 5*w + 1],
[691, 691, -3*w^5 + 4*w^4 + 13*w^3 - 13*w^2 - 10*w + 6],
[691, 691, 3*w^5 - 4*w^4 - 15*w^3 + 15*w^2 + 14*w - 6],
[701, 701, 3*w^5 - 6*w^4 - 13*w^3 + 23*w^2 + 10*w - 10],
[701, 701, -3*w^5 + 6*w^4 + 13*w^3 - 23*w^2 - 11*w + 9],
[709, 709, 3*w^5 - 6*w^4 - 13*w^3 + 22*w^2 + 11*w - 10],
[709, 709, -w^5 + 5*w^3 - 4*w - 2],
[709, 709, -w^5 + w^4 + 7*w^3 - 6*w^2 - 11*w + 5],
[719, 719, -2*w^5 + 3*w^4 + 9*w^3 - 12*w^2 - 7*w + 4],
[751, 751, w^4 + w^3 - 5*w^2 - 6*w + 4],
[769, 769, 4*w^5 - 5*w^4 - 19*w^3 + 18*w^2 + 18*w - 10],
[769, 769, 4*w^5 - 6*w^4 - 17*w^3 + 22*w^2 + 13*w - 11],
[809, 809, w^5 - w^4 - 4*w^3 + 5*w^2 + w - 7],
[809, 809, 2*w^5 - 5*w^4 - 9*w^3 + 19*w^2 + 10*w - 7],
[809, 809, -w^5 + 5*w^3 + w^2 - 7*w],
[809, 809, -3*w^5 + 4*w^4 + 15*w^3 - 16*w^2 - 15*w + 11],
[811, 811, -2*w^5 + 4*w^4 + 8*w^3 - 13*w^2 - 6*w + 5],
[811, 811, -w^5 + 3*w^4 + 3*w^3 - 9*w^2 - w],
[811, 811, 2*w^5 - 4*w^4 - 9*w^3 + 16*w^2 + 10*w - 9],
[811, 811, 2*w^5 - 4*w^4 - 10*w^3 + 16*w^2 + 10*w - 7],
[821, 821, -w^5 + 2*w^4 + 5*w^3 - 6*w^2 - 5*w - 2],
[829, 829, 3*w^5 - 5*w^4 - 13*w^3 + 19*w^2 + 12*w - 9],
[839, 839, 2*w^5 - 4*w^4 - 7*w^3 + 14*w^2 + w - 6],
[839, 839, 4*w^5 - 5*w^4 - 18*w^3 + 19*w^2 + 14*w - 10],
[841, 29, -2*w^5 + 4*w^4 + 10*w^3 - 15*w^2 - 10*w + 5],
[841, 29, -w^5 + 3*w^4 + 6*w^3 - 12*w^2 - 10*w + 6],
[859, 859, 3*w^5 - 3*w^4 - 15*w^3 + 10*w^2 + 14*w - 2],
[881, 881, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 10*w - 4],
[911, 911, -4*w^5 + 5*w^4 + 19*w^3 - 20*w^2 - 17*w + 11],
[919, 919, 2*w^5 - 3*w^4 - 10*w^3 + 13*w^2 + 9*w - 10],
[929, 929, -w^5 + w^4 + 5*w^3 - 2*w^2 - 8*w - 1],
[941, 941, -5*w^5 + 7*w^4 + 23*w^3 - 26*w^2 - 20*w + 11],
[961, 31, -3*w^5 + 4*w^4 + 16*w^3 - 16*w^2 - 20*w + 8],
[971, 971, w^5 - 5*w^3 + 5*w - 4],
[991, 991, 3*w^5 - 5*w^4 - 12*w^3 + 18*w^2 + 8*w - 6],
[991, 991, 3*w^5 - 5*w^4 - 14*w^3 + 18*w^2 + 12*w - 7]];
primes := [ideal<ZF | {F!x : x in I}> : I in primesArray];

heckePol := x^9 - 4*x^8 - 50*x^7 + 189*x^6 + 792*x^5 - 2821*x^4 - 4252*x^3 + 15087*x^2 + 4626*x - 20934;
K<e> := NumberField(heckePol);

heckeEigenvaluesArray := [e, 493534/180524109*e^8 - 813472/180524109*e^7 - 29490188/180524109*e^6 + 11307476/60174703*e^5 + 195971800/60174703*e^4 - 405921397/180524109*e^3 - 4326361090/180524109*e^2 + 540336667/60174703*e + 2959186050/60174703, -1449239/180524109*e^8 + 2933000/180524109*e^7 + 76317421/180524109*e^6 - 38605923/60174703*e^5 - 434024801/60174703*e^4 + 1267733570/180524109*e^3 + 7891282658/180524109*e^2 - 1364231083/60174703*e - 4304921925/60174703, 432709/60174703*e^8 - 981531/60174703*e^7 - 22630899/60174703*e^6 + 40065344/60174703*e^5 + 382244300/60174703*e^4 - 456307749/60174703*e^3 - 2309681809/60174703*e^2 + 1484771920/60174703*e + 3996647478/60174703, -56584/60174703*e^8 + 260334/60174703*e^7 + 3095425/60174703*e^6 - 10111341/60174703*e^5 - 56692281/60174703*e^4 + 94829544/60174703*e^3 + 395952630/60174703*e^2 - 104539265/60174703*e - 856968539/60174703, -171865/180524109*e^8 + 375334/180524109*e^7 + 6596450/180524109*e^6 - 3781037/60174703*e^5 - 19692508/60174703*e^4 + 57835063/180524109*e^3 - 21774794/180524109*e^2 + 53605785/60174703*e + 108838248/60174703, 248840/180524109*e^8 - 78968/180524109*e^7 - 13226206/180524109*e^6 + 526226/60174703*e^5 + 73775403/60174703*e^4 + 16974346/180524109*e^3 - 1181215646/180524109*e^2 - 37909428/60174703*e + 312835420/60174703, 267440/180524109*e^8 - 949463/180524109*e^7 - 15258694/180524109*e^6 + 13299780/60174703*e^5 + 91476459/60174703*e^4 - 465684542/180524109*e^3 - 1634504090/180524109*e^2 + 548722938/60174703*e + 961452209/60174703, -1179646/180524109*e^8 + 2467105/180524109*e^7 + 64919489/180524109*e^6 - 32839239/60174703*e^5 - 392337391/60174703*e^4 + 1125683176/180524109*e^3 + 7694079037/180524109*e^2 - 1455554865/60174703*e - 4409199200/60174703, 19541/2472933*e^8 - 2718041/180524109*e^7 - 77322709/180524109*e^6 + 36087393/60174703*e^5 + 464744739/60174703*e^4 - 1224944771/180524109*e^3 - 9401924012/180524109*e^2 + 1453928943/60174703*e + 5929645643/60174703, 797791/180524109*e^8 - 540418/180524109*e^7 - 45991685/180524109*e^6 + 4463914/60174703*e^5 + 288111581/60174703*e^4 + 9674477/180524109*e^3 - 5677062547/180524109*e^2 - 158755480/60174703*e + 3291171175/60174703, -341617/180524109*e^8 + 1156336/180524109*e^7 + 15882725/180524109*e^6 - 13892378/60174703*e^5 - 76384789/60174703*e^4 + 342323695/180524109*e^3 + 1166083096/180524109*e^2 - 50933480/60174703*e - 748130291/60174703, -1, 2424389/180524109*e^8 - 5513852/180524109*e^7 - 129188944/180524109*e^6 + 76349651/60174703*e^5 + 744796092/60174703*e^4 - 2680011431/180524109*e^3 - 13879865648/180524109*e^2 + 2902800219/60174703*e + 8102133204/60174703, 19525/180524109*e^8 - 305524/180524109*e^7 - 3702416/180524109*e^6 + 8039697/60174703*e^5 + 47139738/60174703*e^4 - 537028639/180524109*e^3 - 1607277634/180524109*e^2 + 1014540143/60174703*e + 1168485356/60174703, -4272392/180524109*e^8 + 8354924/180524109*e^7 + 231517048/180524109*e^6 - 115618826/60174703*e^5 - 1370815252/60174703*e^4 + 4110604298/180524109*e^3 + 26458747166/180524109*e^2 - 4814983270/60174703*e - 15235936786/60174703, -1770103/180524109*e^8 + 3702409/180524109*e^7 + 94028420/180524109*e^6 - 47257843/60174703*e^5 - 542497583/60174703*e^4 + 1451032525/180524109*e^3 + 10041377779/180524109*e^2 - 1468578917/60174703*e - 5470164911/60174703, 956510/180524109*e^8 - 1788257/180524109*e^7 - 52009972/180524109*e^6 + 26172966/60174703*e^5 + 305859511/60174703*e^4 - 1026599552/180524109*e^3 - 5762962331/180524109*e^2 + 1373663737/60174703*e + 3248517187/60174703, -1791701/180524109*e^8 + 3680165/180524109*e^7 + 96211948/180524109*e^6 - 50170028/60174703*e^5 - 565426824/60174703*e^4 + 1677864065/180524109*e^3 + 11027738732/180524109*e^2 - 1603381620/60174703*e - 6916085534/60174703, -31234/60174703*e^8 + 170799/60174703*e^7 + 1442149/60174703*e^6 - 8632295/60174703*e^5 - 32048068/60174703*e^4 + 137889264/60174703*e^3 + 439793583/60174703*e^2 - 637100091/60174703*e - 1556910468/60174703, 775567/60174703*e^8 - 1781797/60174703*e^7 - 41072175/60174703*e^6 + 73161212/60174703*e^5 + 710011914/60174703*e^4 - 832938507/60174703*e^3 - 4417565113/60174703*e^2 + 2578965952/60174703*e + 7395902504/60174703, 355077/60174703*e^8 - 496627/60174703*e^7 - 20416793/60174703*e^6 + 17763694/60174703*e^5 + 379588040/60174703*e^4 - 152003355/60174703*e^3 - 2437188879/60174703*e^2 + 389967458/60174703*e + 4252623384/60174703, -1393702/180524109*e^8 + 3518722/180524109*e^7 + 76554941/180524109*e^6 - 49584087/60174703*e^5 - 454028251/60174703*e^4 + 1776772726/180524109*e^3 + 8404800202/180524109*e^2 - 1966751237/60174703*e - 4104142687/60174703, -871041/60174703*e^8 + 1316157/60174703*e^7 + 48013070/60174703*e^6 - 53621407/60174703*e^5 - 865046425/60174703*e^4 + 620776239/60174703*e^3 + 5585447003/60174703*e^2 - 2264737727/60174703*e - 9443023067/60174703, 964878/60174703*e^8 - 1153486/60174703*e^7 - 53848665/60174703*e^6 + 44259315/60174703*e^5 + 987906144/60174703*e^4 - 467981348/60174703*e^3 - 6539227940/60174703*e^2 + 1595168737/60174703*e + 11700605425/60174703, 221813/60174703*e^8 - 370302/60174703*e^7 - 11638567/60174703*e^6 + 13885721/60174703*e^5 + 202875032/60174703*e^4 - 122258627/60174703*e^3 - 1358972837/60174703*e^2 + 65003915/60174703*e + 2690250402/60174703, 2650483/180524109*e^8 - 5377861/180524109*e^7 - 143420438/180524109*e^6 + 74357347/60174703*e^5 + 849291433/60174703*e^4 - 2620248286/180524109*e^3 - 16391198539/180524109*e^2 + 2894413948/60174703*e + 9498120015/60174703, 2650483/180524109*e^8 - 5377861/180524109*e^7 - 143420438/180524109*e^6 + 74357347/60174703*e^5 + 849291433/60174703*e^4 - 2620248286/180524109*e^3 - 16391198539/180524109*e^2 + 2894413948/60174703*e + 9498120015/60174703, 1291405/180524109*e^8 - 1198090/180524109*e^7 - 73139999/180524109*e^6 + 13365806/60174703*e^5 + 458504829/60174703*e^4 - 382809871/180524109*e^3 - 9548088067/180524109*e^2 + 681446610/60174703*e + 6531909455/60174703, -4572503/180524109*e^8 + 8737406/180524109*e^7 + 251056321/180524109*e^6 - 119030288/60174703*e^5 - 1511376027/60174703*e^4 + 4134878513/180524109*e^3 + 29592854312/180524109*e^2 - 4852396052/60174703*e - 17299690091/60174703, 1356502/180524109*e^8 - 1777732/180524109*e^7 - 72489965/180524109*e^6 + 24036979/60174703*e^5 + 418626139/60174703*e^4 - 811454950/180524109*e^3 - 7859271532/180524109*e^2 + 793486505/60174703*e + 4852849011/60174703, -58375/180524109*e^8 - 1166861/180524109*e^7 + 4597268/180524109*e^6 + 16028365/60174703*e^5 - 36381839/60174703*e^4 - 557468297/180524109*e^3 + 930226105/180524109*e^2 + 570936009/60174703*e - 495153315/60174703, -4611896/180524109*e^8 + 9916928/180524109*e^7 + 250089598/180524109*e^6 - 135841508/60174703*e^5 - 1484199814/60174703*e^4 + 4679581562/180524109*e^3 + 28834462946/180524109*e^2 - 4903712394/60174703*e - 17431271488/60174703, 1200439/180524109*e^8 - 2776132/180524109*e^7 - 61920278/180524109*e^6 + 36876905/60174703*e^5 + 347460122/60174703*e^4 - 1187727337/180524109*e^3 - 6662923336/180524109*e^2 + 1040588247/60174703*e + 4854959056/60174703, 95575/180524109*e^8 - 574129/180524109*e^7 - 8662244/180524109*e^6 + 9518743/60174703*e^5 + 71783951/60174703*e^4 - 407849479/180524109*e^3 - 1475754775/180524109*e^2 + 481979317/60174703*e + 468543427/60174703, 590417/180524109*e^8 - 1313204/180524109*e^7 - 30279868/180524109*e^6 + 15621396/60174703*e^5 + 162949468/60174703*e^4 - 422329928/180524109*e^3 - 2755490636/180524109*e^2 + 374576316/60174703*e + 2123683656/60174703, -249021/60174703*e^8 + 962937/60174703*e^7 + 12605681/60174703*e^6 - 42457960/60174703*e^5 - 204907895/60174703*e^4 + 529425649/60174703*e^3 + 1154102367/60174703*e^2 - 1763763022/60174703*e - 1502720886/60174703, 1690061/60174703*e^8 - 40618/824311*e^7 - 92502911/60174703*e^6 + 120082740/60174703*e^5 + 1658926833/60174703*e^4 - 1366976607/60174703*e^3 - 10772111274/60174703*e^2 + 4656227790/60174703*e + 19489903209/60174703, 134216/60174703*e^8 - 745238/60174703*e^7 - 5309531/60174703*e^6 + 32412991/60174703*e^5 + 59348541/60174703*e^4 - 399133938/60174703*e^3 - 268445560/60174703*e^2 + 1199343727/60174703*e + 962040851/60174703, -438513/60174703*e^8 + 1218595/60174703*e^7 + 24761646/60174703*e^6 - 54435345/60174703*e^5 - 466383811/60174703*e^4 + 710868485/60174703*e^3 + 3248651915/60174703*e^2 - 2537107707/60174703*e - 6251289027/60174703, -2424389/180524109*e^8 + 5513852/180524109*e^7 + 129188944/180524109*e^6 - 76349651/60174703*e^5 - 744796092/60174703*e^4 + 2680011431/180524109*e^3 + 13879865648/180524109*e^2 - 3023149625/60174703*e - 8222482610/60174703, -1656613/180524109*e^8 + 2160214/180524109*e^7 + 92029238/180524109*e^6 - 27448441/60174703*e^5 - 559186914/60174703*e^4 + 835729165/180524109*e^3 + 10993378678/180524109*e^2 - 951248693/60174703*e - 6555554098/60174703, 1584401/60174703*e^8 - 3484525/60174703*e^7 - 83238548/60174703*e^6 + 143180559/60174703*e^5 + 1417808233/60174703*e^4 - 1650724461/60174703*e^3 - 8640976101/60174703*e^2 + 5443970527/60174703*e + 14532228921/60174703, 221773/60174703*e^8 - 448202/60174703*e^7 - 12809504/60174703*e^6 + 17494097/60174703*e^5 + 241242860/60174703*e^4 - 159064503/60174703*e^3 - 1586640622/60174703*e^2 + 66516053/60174703*e + 2929843790/60174703, -528183/60174703*e^8 + 7067/824311*e^7 + 29571794/60174703*e^6 - 20525539/60174703*e^5 - 537278811/60174703*e^4 + 244145481/60174703*e^3 + 3477563699/60174703*e^2 - 1170543695/60174703*e - 5923418635/60174703, 14522/755331*e^8 - 38144/755331*e^7 - 758839/755331*e^6 + 516086/251777*e^5 + 4278068/251777*e^4 - 17271026/755331*e^3 - 77233319/755331*e^2 + 17885172/251777*e + 42623636/251777, -3298087/180524109*e^8 + 5364901/180524109*e^7 + 182657327/180524109*e^6 - 75546825/60174703*e^5 - 1115061195/60174703*e^4 + 2766133237/180524109*e^3 + 22440537154/180524109*e^2 - 3223932379/60174703*e - 13783156449/60174703, 589189/180524109*e^8 - 1231801/180524109*e^7 - 35810558/180524109*e^6 + 18420635/60174703*e^5 + 242177199/60174703*e^4 - 800333827/180524109*e^3 - 5346780295/180524109*e^2 + 1322181407/60174703*e + 3588932301/60174703, -7068/824311*e^8 + 819530/60174703*e^7 + 27596277/60174703*e^6 - 35857713/60174703*e^5 - 485458385/60174703*e^4 + 468772884/60174703*e^3 + 3148258124/60174703*e^2 - 1874770269/60174703*e - 5551447901/60174703, 4857938/180524109*e^8 - 10499135/180524109*e^7 - 257310079/180524109*e^6 + 140215143/60174703*e^5 + 1488800652/60174703*e^4 - 4614055778/180524109*e^3 - 28524791267/180524109*e^2 + 4593015963/60174703*e + 17951557164/60174703, -244439/60174703*e^8 + 818961/60174703*e^7 + 14146090/60174703*e^6 - 32266439/60174703*e^5 - 285993405/60174703*e^4 + 335639757/60174703*e^3 + 2276401225/60174703*e^2 - 883591403/60174703*e - 4853203227/60174703, -5986958/180524109*e^8 + 12643055/180524109*e^7 + 325782988/180524109*e^6 - 173854833/60174703*e^5 - 1933316285/60174703*e^4 + 6070675979/180524109*e^3 + 37013642489/180524109*e^2 - 6886082341/60174703*e - 20986720083/60174703, 987188/180524109*e^8 - 1393244/180524109*e^7 - 55467565/180524109*e^6 + 19006576/60174703*e^5 + 353575772/60174703*e^4 - 701425166/180524109*e^3 - 7969718825/180524109*e^2 + 958811790/60174703*e + 5919477524/60174703, 47530/2472933*e^8 - 8723413/180524109*e^7 - 182209463/180524109*e^6 + 121332625/60174703*e^5 + 1050528879/60174703*e^4 - 4298380906/180524109*e^3 - 20319905869/180524109*e^2 + 4618397985/60174703*e + 12516275624/60174703, -1826908/180524109*e^8 + 5593123/180524109*e^7 + 99453938/180524109*e^6 - 78439064/60174703*e^5 - 599460881/60174703*e^4 + 2759417782/180524109*e^3 + 12099896731/180524109*e^2 - 2812929858/60174703*e - 7374990233/60174703, 1720300/180524109*e^8 - 5485831/180524109*e^7 - 87523706/180524109*e^6 + 80518032/60174703*e^5 + 488732579/60174703*e^4 - 3103353700/180524109*e^3 - 9341659741/180524109*e^2 + 3578306384/60174703*e + 6127173685/60174703, -2022002/60174703*e^8 + 4006307/60174703*e^7 + 110297952/60174703*e^6 - 165472510/60174703*e^5 - 1963188683/60174703*e^4 + 1955397860/60174703*e^3 + 12471730713/60174703*e^2 - 7105185912/60174703*e - 21144256691/60174703, -755800/60174703*e^8 + 1123257/60174703*e^7 + 43341108/60174703*e^6 - 48781261/60174703*e^5 - 824293354/60174703*e^4 + 620964844/60174703*e^3 + 5775506642/60174703*e^2 - 2287883397/60174703*e - 10868310586/60174703, 2391175/180524109*e^8 - 3428926/180524109*e^7 - 126769940/180524109*e^6 + 45358687/60174703*e^5 + 712130090/60174703*e^4 - 1482221773/180524109*e^3 - 12281078320/180524109*e^2 + 1536619069/60174703*e + 6435617482/60174703, 8367203/180524109*e^8 - 17574692/180524109*e^7 - 447939007/180524109*e^6 + 238759809/60174703*e^5 + 2621956694/60174703*e^4 - 8176688285/180524109*e^3 - 50279449613/180524109*e^2 + 9019161051/60174703*e + 29670663442/60174703, 1698810/60174703*e^8 - 3649123/60174703*e^7 - 91987949/60174703*e^6 + 154821975/60174703*e^5 + 1629806042/60174703*e^4 - 1874690612/60174703*e^3 - 10374681569/60174703*e^2 + 6353743837/60174703*e + 17401030152/60174703, -4369537/180524109*e^8 + 5871478/180524109*e^7 + 239351042/180524109*e^6 - 77927983/60174703*e^5 - 1422017744/60174703*e^4 + 2652600223/180524109*e^3 + 27167257312/180524109*e^2 - 3381675637/60174703*e - 15739001078/60174703, -3587308/180524109*e^8 + 7172194/180524109*e^7 + 196411742/180524109*e^6 - 97301784/60174703*e^5 - 1159168310/60174703*e^4 + 3317217406/180524109*e^3 + 21457554376/180524109*e^2 - 3857300756/60174703*e - 11616794416/60174703, 851758/180524109*e^8 - 3012271/180524109*e^7 - 46582415/180524109*e^6 + 40695336/60174703*e^5 + 288689590/60174703*e^4 - 1347139921/180524109*e^3 - 6472361959/180524109*e^2 + 1515059534/60174703*e + 5262670638/60174703, -4713730/180524109*e^8 + 9429853/180524109*e^7 + 253024241/180524109*e^6 - 128774923/60174703*e^5 - 1470562998/60174703*e^4 + 4420907383/180524109*e^3 + 27497703457/180524109*e^2 - 4852089950/60174703*e - 15924336384/60174703, -363980/180524109*e^8 + 880721/180524109*e^7 + 24419929/180524109*e^6 - 16881874/60174703*e^5 - 179909816/60174703*e^4 + 830923193/180524109*e^3 + 4217104379/180524109*e^2 - 1097057768/60174703*e - 2210989724/60174703, -8020555/180524109*e^8 + 17560963/180524109*e^7 + 432253193/180524109*e^6 - 238653520/60174703*e^5 - 2551764941/60174703*e^4 + 8122884349/180524109*e^3 + 49515115231/180524109*e^2 - 8614398944/60174703*e - 30335383582/60174703, -869008/60174703*e^8 + 1566025/60174703*e^7 + 48361021/60174703*e^6 - 65395567/60174703*e^5 - 899310088/60174703*e^4 + 773818056/60174703*e^3 + 6339744117/60174703*e^2 - 2615799195/60174703*e - 12824051900/60174703, -456797/180524109*e^8 + 1880189/180524109*e^7 + 25905511/180524109*e^6 - 29045234/60174703*e^5 - 169729926/60174703*e^4 + 1093240655/180524109*e^3 + 4154828153/180524109*e^2 - 11292444/824311*e - 4110904176/60174703, 2656582/180524109*e^8 - 4628257/180524109*e^7 - 142376585/180524109*e^6 + 62583187/60174703*e^5 + 815027770/60174703*e^4 - 2161122835/180524109*e^3 - 14128307197/180524109*e^2 + 2543352480/60174703*e + 6478139400/60174703, -896987/180524109*e^8 + 2717915/180524109*e^7 + 50601520/180524109*e^6 - 42594986/60174703*e^5 - 323126851/60174703*e^4 + 1768110590/180524109*e^3 + 7329738533/180524109*e^2 - 2108925606/60174703*e - 6185056431/60174703, -6656503/180524109*e^8 + 13176325/180524109*e^7 + 358831850/180524109*e^6 - 178688322/60174703*e^5 - 2100559599/60174703*e^4 + 6094562350/180524109*e^3 + 39715347205/180524109*e^2 - 6515958888/60174703*e - 23188444359/60174703, -2156686/180524109*e^8 + 3840115/180524109*e^7 + 119959931/180524109*e^6 - 59912461/60174703*e^5 - 749196770/60174703*e^4 + 2549719960/180524109*e^3 + 16124020840/180524109*e^2 - 3488387291/60174703*e - 10710767194/60174703, -5998876/180524109*e^8 + 11689147/180524109*e^7 + 331891841/180524109*e^6 - 158726057/60174703*e^5 - 2014488594/60174703*e^4 + 5470240912/180524109*e^3 + 39858305788/180524109*e^2 - 6307837133/60174703*e - 23348579716/60174703, -4711697/180524109*e^8 + 9679721/180524109*e^7 + 253372192/180524109*e^6 - 132699643/60174703*e^5 - 1481984219/60174703*e^4 + 4634123903/180524109*e^3 + 27890952353/180524109*e^2 - 5370275126/60174703*e - 15125755499/60174703, 4918226/180524109*e^8 - 9316106/180524109*e^7 - 265072207/180524109*e^6 + 123870434/60174703*e^5 + 1552129098/60174703*e^4 - 4134312698/180524109*e^3 - 29383723613/180524109*e^2 + 4949599788/60174703*e + 16716848414/60174703, -4552978/180524109*e^8 + 8431882/180524109*e^7 + 247353905/180524109*e^6 - 110990591/60174703*e^5 - 1464236289/60174703*e^4 + 3597849874/180524109*e^3 + 28166100787/180524109*e^2 - 3958205315/60174703*e - 17334698795/60174703, 3027952/180524109*e^8 - 5954551/180524109*e^7 - 160046975/180524109*e^6 + 74043032/60174703*e^5 + 909690138/60174703*e^4 - 2123902393/180524109*e^3 - 16347157597/180524109*e^2 + 1871875642/60174703*e + 8474740916/60174703, -4152986/180524109*e^8 + 8442407/180524109*e^7 + 226873912/180524109*e^6 - 113126578/60174703*e^5 - 1351469661/60174703*e^4 + 3812994476/180524109*e^3 + 25889267477/180524109*e^2 - 4478207844/60174703*e - 14286174099/60174703, 4916776/180524109*e^8 - 12139981/180524109*e^7 - 262387646/180524109*e^6 + 167471644/60174703*e^5 + 1534342729/60174703*e^4 - 80681488/2472933*e^3 - 29467964887/180524109*e^2 + 6502326382/60174703*e + 16683432973/60174703, 3466652/180524109*e^8 - 9694052/180524109*e^7 - 183229360/180524109*e^6 + 132396786/60174703*e^5 + 1058089970/60174703*e^4 - 4470664724/180524109*e^3 - 19833977036/180524109*e^2 + 57921724/824311*e + 11156972754/60174703, -7969204/180524109*e^8 + 17413249/180524109*e^7 + 428282000/180524109*e^6 - 238173868/60174703*e^5 - 2510558121/60174703*e^4 + 8275596946/180524109*e^3 + 47656511083/180524109*e^2 - 9262181262/60174703*e - 27099419407/60174703, 1868642/60174703*e^8 - 4274325/60174703*e^7 - 98932350/60174703*e^6 + 177939246/60174703*e^5 + 1723147229/60174703*e^4 - 2085567492/60174703*e^3 - 11107203889/60174703*e^2 + 6543987950/60174703*e + 20936941865/60174703, 2935135/180524109*e^8 - 4955083/180524109*e^7 - 158561393/180524109*e^6 + 61879672/60174703*e^5 + 919870028/60174703*e^4 - 1861584931/180524109*e^3 - 16409433823/180524109*e^2 + 2024235592/60174703*e + 8139368742/60174703, 250028/180524109*e^8 - 238271/180524109*e^7 - 8866453/180524109*e^6 - 1070221/60174703*e^5 + 7336948/60174703*e^4 + 297997666/180524109*e^3 + 1362930337/180524109*e^2 - 623962255/60174703*e - 2496683400/60174703, 1991084/60174703*e^8 - 4044409/60174703*e^7 - 109744426/60174703*e^6 + 162460520/60174703*e^5 + 2001612519/60174703*e^4 - 1797445908/60174703*e^3 - 13444465129/60174703*e^2 + 5644358458/60174703*e + 24959376163/60174703, 2707088/180524109*e^8 - 5185142/180524109*e^7 - 142335976/180524109*e^6 + 65391112/60174703*e^5 + 801217356/60174703*e^4 - 1940603438/180524109*e^3 - 14197062476/180524109*e^2 + 1767527808/60174703*e + 7309497930/60174703, 3774854/180524109*e^8 - 5447510/180524109*e^7 - 215621761/180524109*e^6 + 76169987/60174703*e^5 + 1345857098/60174703*e^4 - 2780558012/180524109*e^3 - 27239223938/180524109*e^2 + 3444242873/60174703*e + 16609648941/60174703, 5213083/180524109*e^8 - 10039021/180524109*e^7 - 289667135/180524109*e^6 + 136727783/60174703*e^5 + 1781970770/60174703*e^4 - 4685519164/180524109*e^3 - 36390046861/180524109*e^2 + 5044893471/60174703*e + 22941519216/60174703, 3908594/180524109*e^8 - 4646825/180524109*e^7 - 216483307/180524109*e^6 + 59137773/60174703*e^5 + 1300708812/60174703*e^4 - 1818705548/180524109*e^3 - 24976358957/180524109*e^2 + 1969988688/60174703*e + 14081961518/60174703, -690943/180524109*e^8 + 900526/180524109*e^7 + 41087075/180524109*e^6 - 13759634/60174703*e^5 - 254118935/60174703*e^4 + 555096697/180524109*e^3 + 4465356376/180524109*e^2 - 669820025/60174703*e - 2161493185/60174703, 4232012/180524109*e^8 - 10334051/180524109*e^7 - 217914844/180524109*e^6 + 139532266/60174703*e^5 + 1220381579/60174703*e^4 - 4681565318/180524109*e^3 - 22645429817/180524109*e^2 + 4698165658/60174703*e + 13709101899/60174703, 3475789/180524109*e^8 - 7973809/180524109*e^7 - 181165610/180524109*e^6 + 109558465/60174703*e^5 + 1016265216/60174703*e^4 - 3839255455/180524109*e^3 - 18057014527/180524109*e^2 + 4267336517/60174703*e + 130086233/824311, -248840/60174703*e^8 + 78968/60174703*e^7 + 13226206/60174703*e^6 - 1578678/60174703*e^5 - 221326209/60174703*e^4 - 16974346/60174703*e^3 + 1181215646/60174703*e^2 + 595125908/60174703*e - 1179205072/60174703, 544057/180524109*e^8 - 100783/180524109*e^7 - 27282701/180524109*e^6 + 2558447/60174703*e^5 + 128338888/60174703*e^4 - 202979236/180524109*e^3 - 1083853777/180524109*e^2 + 413896059/60174703*e - 198744242/60174703, 1873494/60174703*e^8 - 3068165/60174703*e^7 - 100410237/60174703*e^6 + 117612813/60174703*e^5 + 1755667452/60174703*e^4 - 1206602721/60174703*e^3 - 11058946497/60174703*e^2 + 3646439212/60174703*e + 19259029356/60174703, -283925/60174703*e^8 + 580899/60174703*e^7 + 14805179/60174703*e^6 - 29138382/60174703*e^5 - 234867092/60174703*e^4 + 454905719/60174703*e^3 + 1174049195/60174703*e^2 - 2164443598/60174703*e - 2236177064/60174703, -2416742/180524109*e^8 + 4332320/180524109*e^7 + 132766318/180524109*e^6 - 54383970/60174703*e^5 - 791617939/60174703*e^4 + 1639528304/180524109*e^3 + 14983870880/180524109*e^2 - 1671567132/60174703*e - 8793683148/60174703, -2216533/60174703*e^8 + 4752400/60174703*e^7 + 118230988/60174703*e^6 - 191587963/60174703*e^5 - 2067016752/60174703*e^4 + 2129633474/60174703*e^3 + 13139716522/60174703*e^2 - 6618124550/60174703*e - 22620751978/60174703, -2234410/180524109*e^8 + 8267404/180524109*e^7 + 122036246/180524109*e^6 - 113434088/60174703*e^5 - 757595988/60174703*e^4 + 3858120808/180524109*e^3 + 16544894320/180524109*e^2 - 3839083738/60174703*e - 11975081996/60174703, -5365423/180524109*e^8 + 10108831/180524109*e^7 + 292561169/180524109*e^6 - 132469123/60174703*e^5 - 1754523540/60174703*e^4 + 4206325588/180524109*e^3 + 34760994433/180524109*e^2 - 4217446355/60174703*e - 21182797988/60174703, 9259502/180524109*e^8 - 22003688/180524109*e^7 - 490365883/180524109*e^6 + 295872710/60174703*e^5 + 2829820892/60174703*e^4 - 9884488514/180524109*e^3 - 53135369681/180524109*e^2 + 10240686958/60174703*e + 30429728858/60174703, -6599093/180524109*e^8 + 13700315/180524109*e^7 + 354733573/180524109*e^6 - 188780038/60174703*e^5 - 2080827166/60174703*e^4 + 6609419819/180524109*e^3 + 39530918396/180524109*e^2 - 7393949222/60174703*e - 21789393448/60174703, -101674/180524109*e^8 - 175475/180524109*e^7 + 7618391/180524109*e^6 + 2255417/60174703*e^5 - 37520288/60174703*e^4 - 51275972/180524109*e^3 - 426088349/180524109*e^2 - 70743146/60174703*e + 986894910/60174703, 2933222/180524109*e^8 - 7444184/180524109*e^7 - 167761198/180524109*e^6 + 108357432/60174703*e^5 + 1061907176/60174703*e^4 - 4076268605/180524109*e^3 - 21871721522/180524109*e^2 + 4653617723/60174703*e + 12837574718/60174703, -292809/60174703*e^8 + 8080/824311*e^7 + 15799365/60174703*e^6 - 28618640/60174703*e^5 - 292636519/60174703*e^4 + 396157041/60174703*e^3 + 2156086065/60174703*e^2 - 1040391570/60174703*e - 4473721697/60174703, 721547/60174703*e^8 - 1473939/60174703*e^7 - 41806251/60174703*e^6 + 60581703/60174703*e^5 + 808491488/60174703*e^4 - 689066320/60174703*e^3 - 5716080669/60174703*e^2 + 2092122173/60174703*e + 10832407172/60174703, -2676530/180524109*e^8 + 5346455/180524109*e^7 + 135365572/180524109*e^6 - 68949126/60174703*e^5 - 715133267/60174703*e^4 + 2155360196/180524109*e^3 + 11307302627/180524109*e^2 - 2000343508/60174703*e - 4639643017/60174703, 1698119/180524109*e^8 - 2934068/180524109*e^7 - 88372690/180524109*e^6 + 37929357/60174703*e^5 + 495010928/60174703*e^4 - 1153778645/180524109*e^3 - 8844830519/180524109*e^2 + 1205468203/60174703*e + 4277135836/60174703, -1648681/180524109*e^8 + 2770186/180524109*e^7 + 87566357/180524109*e^6 - 37133361/60174703*e^5 - 480750715/60174703*e^4 + 1203692350/180524109*e^3 + 7637029048/180524109*e^2 - 1095878671/60174703*e - 3463364103/60174703, 8275654/180524109*e^8 - 16578727/180524109*e^7 - 439751798/180524109*e^6 + 222594418/60174703*e^5 + 2540119577/60174703*e^4 - 7439386345/180524109*e^3 - 47883816613/180524109*e^2 + 7681839537/60174703*e + 28070993441/60174703, -1887276/60174703*e^8 + 3429983/60174703*e^7 + 100752637/60174703*e^6 - 132904897/60174703*e^5 - 1742648570/60174703*e^4 + 1381751950/60174703*e^3 + 10706495527/60174703*e^2 - 4203548421/60174703*e - 18343097130/60174703, 3491270/180524109*e^8 - 3790358/180524109*e^7 - 187269199/180524109*e^6 + 44498175/60174703*e^5 + 1078224121/60174703*e^4 - 1076206784/180524109*e^3 - 19607803868/180524109*e^2 + 413677387/60174703*e + 11587685029/60174703, -2637760/180524109*e^8 + 6663040/180524109*e^7 + 132128846/180524109*e^6 - 90611604/60174703*e^5 - 700312614/60174703*e^4 + 3236420083/180524109*e^3 + 11529018586/180524109*e^2 - 4246733301/60174703*e - 5835226100/60174703, 72338/60174703*e^8 - 78926/60174703*e^7 - 4319143/60174703*e^6 + 8086271/60174703*e^5 + 79708321/60174703*e^4 - 224255630/60174703*e^3 - 370137747/60174703*e^2 + 1504063627/60174703*e - 912197557/60174703, 1756615/180524109*e^8 - 7713892/180524109*e^7 - 88747817/180524109*e^6 + 109596205/60174703*e^5 + 481906733/60174703*e^4 - 3917321146/180524109*e^3 - 8505531436/180524109*e^2 + 3962111075/60174703*e + 5480772533/60174703, -1107093/60174703*e^8 + 3219047/60174703*e^7 + 61433072/60174703*e^6 - 132907175/60174703*e^5 - 1147323993/60174703*e^4 + 1541501981/60174703*e^3 + 8084701969/60174703*e^2 - 5085446289/60174703*e - 16189685137/60174703, 614270/180524109*e^8 + 1864186/180524109*e^7 - 40330696/180524109*e^6 - 26193110/60174703*e^5 + 271471588/60174703*e^4 + 760962970/180524109*e^3 - 4772506424/180524109*e^2 - 12180630/60174703*e + 691824792/60174703, -2320865/180524109*e^8 + 6819269/180524109*e^7 + 118230697/180524109*e^6 - 88072782/60174703*e^5 - 648398440/60174703*e^4 + 2622547901/180524109*e^3 + 11636927399/180524109*e^2 - 1916066816/60174703*e - 95426662/824311, -1178458/180524109*e^8 + 2307802/180524109*e^7 + 69279242/180524109*e^6 - 34435686/60174703*e^5 - 458775846/60174703*e^4 + 19269952/2472933*e^3 + 10238225020/180524109*e^2 - 1680559474/60174703*e - 6376272178/60174703, 881823/60174703*e^8 - 1750298/60174703*e^7 - 47150157/60174703*e^6 + 76586482/60174703*e^5 + 801661971/60174703*e^4 - 975448427/60174703*e^3 - 4674418996/60174703*e^2 + 3731541712/60174703*e + 7342904545/60174703, -2606990/60174703*e^8 + 4764290/60174703*e^7 + 137052154/60174703*e^6 - 187218880/60174703*e^5 - 2333389878/60174703*e^4 + 1979656004/60174703*e^3 + 14293467998/60174703*e^2 - 5556026718/60174703*e - 25401270598/60174703, 497265/60174703*e^8 - 553993/60174703*e^7 - 29018268/60174703*e^6 + 17513549/60174703*e^5 + 575702647/60174703*e^4 - 86193529/60174703*e^3 - 4329948709/60174703*e^2 - 169934353/60174703*e + 8535044047/60174703, -3891886/180524109*e^8 + 12456325/180524109*e^7 + 2778581/2472933*e^6 - 2358075/824311*e^5 - 1137875677/60174703*e^4 + 5918253544/180524109*e^3 + 20580915829/180524109*e^2 - 6062044339/60174703*e - 12277998844/60174703, -340705/60174703*e^8 + 459523/60174703*e^7 + 18180483/60174703*e^6 - 9533740/60174703*e^5 - 308151006/60174703*e^4 - 63871391/60174703*e^3 + 1748185793/60174703*e^2 + 903615991/60174703*e - 2845828428/60174703, -10673756/180524109*e^8 + 20118452/180524109*e^7 + 571656565/180524109*e^6 - 265407626/60174703*e^5 - 3326825736/60174703*e^4 + 8693236340/180524109*e^3 + 62461542725/180524109*e^2 - 9308850676/60174703*e - 35774410170/60174703, 1513405/60174703*e^8 - 3264987/60174703*e^7 - 79077750/60174703*e^6 + 128447640/60174703*e^5 + 1328046746/60174703*e^4 - 1376826047/60174703*e^3 - 7904037576/60174703*e^2 + 56267598/824311*e + 14313299904/60174703, -860855/180524109*e^8 + 1369928/180524109*e^7 + 45689602/180524109*e^6 - 19059807/60174703*e^5 - 259654112/60174703*e^4 + 632187122/180524109*e^3 + 4381494908/180524109*e^2 - 531644294/60174703*e - 1776325094/60174703, -808664/180524109*e^8 + 385181/180524109*e^7 + 53943421/180524109*e^6 + 2322629/60174703*e^5 - 378213036/60174703*e^4 - 554061667/180524109*e^3 + 7689691793/180524109*e^2 + 1223571030/60174703*e - 4349785678/60174703, 5072839/180524109*e^8 - 11141581/180524109*e^7 - 272957333/180524109*e^6 + 154631718/60174703*e^5 + 1605508746/60174703*e^4 - 5513476237/180524109*e^3 - 30483788974/180524109*e^2 + 6255224640/60174703*e + 16440624116/60174703, -1818064/60174703*e^8 + 4681971/60174703*e^7 + 93167260/60174703*e^6 - 186067142/60174703*e^5 - 1533261633/60174703*e^4 + 2017224287/60174703*e^3 + 8792320581/60174703*e^2 - 5763728687/60174703*e - 12467259557/60174703, -6890044/180524109*e^8 + 14611366/180524109*e^7 + 375340655/180524109*e^6 - 204675659/60174703*e^5 - 2222179473/60174703*e^4 + 7379661118/180524109*e^3 + 42080489680/180524109*e^2 - 8704121182/60174703*e - 23790747681/60174703, 545650/180524109*e^8 - 707815/180524109*e^7 - 39815057/180524109*e^6 + 11864439/60174703*e^5 + 317774406/60174703*e^4 - 514976758/180524109*e^3 - 7708053241/180524109*e^2 + 442827716/60174703*e + 3985625024/60174703, -8750366/180524109*e^8 + 19426982/180524109*e^7 + 458994247/180524109*e^6 - 261930311/60174703*e^5 - 2621376221/60174703*e^4 + 8920604990/180524109*e^3 + 49249840874/180524109*e^2 - 9805207619/60174703*e - 29424470943/60174703, -739736/180524109*e^8 + 1084079/180524109*e^7 + 32026921/180524109*e^6 - 10869943/60174703*e^5 - 149415534/60174703*e^4 + 132997406/180524109*e^3 + 2744970053/180524109*e^2 + 554647087/60174703*e - 1996636284/60174703, -10108318/180524109*e^8 + 20853772/180524109*e^7 + 546533438/180524109*e^6 - 288527496/60174703*e^5 - 3226772484/60174703*e^4 + 10088508796/180524109*e^3 + 62054816854/180524109*e^2 - 10857803108/60174703*e - 36918031088/60174703, 2094656/60174703*e^8 - 4294134/60174703*e^7 - 115505718/60174703*e^6 + 179179086/60174703*e^5 + 2113368908/60174703*e^4 - 2159590802/60174703*e^3 - 14314571162/60174703*e^2 + 7665172770/60174703*e + 26807583134/60174703, 7762453/180524109*e^8 - 20682142/180524109*e^7 - 408366734/180524109*e^6 + 287805048/60174703*e^5 + 2343399142/60174703*e^4 - 10152840178/180524109*e^3 - 44378787874/180524109*e^2 + 10709201024/60174703*e + 26296301120/60174703, 2955283/180524109*e^8 - 7756714/180524109*e^7 - 158060360/180524109*e^6 + 108393067/60174703*e^5 + 925012900/60174703*e^4 - 3843852397/180524109*e^3 - 18021608377/180524109*e^2 + 4193162513/60174703*e + 152279674/824311, -5152772/180524109*e^8 + 10030376/180524109*e^7 + 280909066/180524109*e^6 - 142718330/60174703*e^5 - 1677609102/60174703*e^4 + 5279820059/180524109*e^3 + 32808567926/180524109*e^2 - 6481517113/60174703*e - 249051332/824311, -6166430/180524109*e^8 + 14277821/180524109*e^7 + 329973001/180524109*e^6 - 200804343/60174703*e^5 - 1918976222/60174703*e^4 + 7265974748/180524109*e^3 + 35935006139/180524109*e^2 - 8244737798/60174703*e - 19804856964/60174703, 2117053/180524109*e^8 - 3127993/180524109*e^7 - 127952276/180524109*e^6 + 50317993/60174703*e^5 + 853108639/60174703*e^4 - 2225852167/180524109*e^3 - 18789991243/180524109*e^2 + 3560444631/60174703*e + 12622914851/60174703, 5196494/180524109*e^8 - 11434436/180524109*e^7 - 273216760/180524109*e^6 + 154817520/60174703*e^5 + 1531713310/60174703*e^4 - 5243221106/180524109*e^3 - 26662923050/180524109*e^2 + 5505472450/60174703*e + 13691717272/60174703, 1187268/60174703*e^8 - 2460858/60174703*e^7 - 63413456/60174703*e^6 + 97427871/60174703*e^5 + 1107924407/60174703*e^4 - 1042965530/60174703*e^3 - 7023038837/60174703*e^2 + 2710912319/60174703*e + 13349045693/60174703, -4280689/180524109*e^8 + 5797648/180524109*e^7 + 241678310/180524109*e^6 - 71877721/60174703*e^5 - 1488756242/60174703*e^4 + 2140233643/180524109*e^3 + 29126489254/180524109*e^2 - 2089988075/60174703*e - 16736996868/60174703, 10861120/180524109*e^8 - 21221146/180524109*e^7 - 581480396/180524109*e^6 + 283875008/60174703*e^5 + 3403711148/60174703*e^4 - 9437028394/180524109*e^3 - 65508496117/180524109*e^2 + 9741109062/60174703*e + 39048328506/60174703, 427274/60174703*e^8 - 437995/60174703*e^7 - 28307079/60174703*e^6 + 27523723/60174703*e^5 + 606330602/60174703*e^4 - 497014708/60174703*e^3 - 4584294209/60174703*e^2 + 2368435546/60174703*e + 8513696874/60174703, 2445484/180524109*e^8 - 2761801/180524109*e^7 - 132063110/180524109*e^6 + 37179762/60174703*e^5 + 771354371/60174703*e^4 - 1351186516/180524109*e^3 - 14358850435/180524109*e^2 + 1641005194/60174703*e + 7981295959/60174703, -3078880/180524109*e^8 + 3216658/180524109*e^7 + 162366932/180524109*e^6 - 30035026/60174703*e^5 - 928947444/60174703*e^4 + 402096292/180524109*e^3 + 17062525900/180524109*e^2 - 428234534/60174703*e - 128801774/824311];
heckeEigenvalues := AssociativeArray();
for i := 1 to #heckeEigenvaluesArray do
  heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i];
end for;

ALEigenvalues := AssociativeArray();
ALEigenvalues[ideal<ZF | {64, 2, -2}>] := 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;