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

NN := ideal<ZF | {25, 5, w^3 - 2*w^2 - 2*w + 2}>;

primesArray := [
[3, 3, w],
[3, 3, w - 2],
[3, 3, w - 1],
[16, 2, 2],
[23, 23, -w^3 + 4*w + 1],
[25, 5, w^3 - 2*w^2 - 2*w + 2],
[25, 5, w^3 - w^2 - 3*w + 1],
[29, 29, w^3 - 2*w^2 - 4*w + 4],
[29, 29, w^3 - w^2 - 5*w + 1],
[43, 43, -w^3 + 2*w^2 + 3*w - 2],
[43, 43, w^3 - w^2 - 4*w + 2],
[61, 61, -w^2 + 2*w + 4],
[61, 61, w^2 - 5],
[79, 79, 3*w^3 - 7*w^2 - 8*w + 16],
[79, 79, -w^3 + w^2 + 6*w - 4],
[101, 101, -w^3 + 3*w^2 + w - 7],
[101, 101, w^3 - 4*w - 4],
[103, 103, 2*w^3 - w^2 - 8*w - 1],
[103, 103, 2*w^3 - 5*w^2 - 4*w + 8],
[107, 107, 2*w^2 - 3*w - 4],
[107, 107, 3*w - 5],
[107, 107, w^3 - 4*w^2 + 10],
[107, 107, 2*w^2 - w - 5],
[113, 113, -w^3 + 4*w^2 + w - 11],
[113, 113, -2*w^3 + 4*w^2 + 5*w - 5],
[113, 113, 2*w^3 - 2*w^2 - 7*w + 2],
[113, 113, w^3 + w^2 - 6*w - 7],
[121, 11, w^3 - 3*w^2 - 4*w + 8],
[121, 11, w^3 - 7*w - 2],
[127, 127, w^2 - 4*w + 2],
[127, 127, w^3 - w^2 - 2*w - 2],
[127, 127, -w^3 + 2*w^2 + w - 4],
[127, 127, -2*w^3 + 5*w^2 + 3*w - 8],
[131, 131, 2*w^3 - 2*w^2 - 9*w + 2],
[131, 131, -w^3 - w^2 + 7*w + 5],
[157, 157, w^3 - w^2 - 7*w + 8],
[157, 157, w^3 - w^2 - 5*w + 4],
[169, 13, 2*w^2 - 2*w - 5],
[173, 173, -w^3 + 7*w - 1],
[173, 173, -w^3 - w^2 + 6*w + 4],
[179, 179, -2*w^3 + 4*w^2 + 5*w - 8],
[179, 179, -2*w^3 + 2*w^2 + 7*w + 1],
[181, 181, -w^3 + 4*w^2 - 7],
[181, 181, w^2 - 4*w + 5],
[191, 191, 3*w^3 - 7*w^2 - 9*w + 20],
[191, 191, -w^3 + 4*w + 5],
[191, 191, -w^3 + 3*w^2 + w - 8],
[191, 191, 3*w^3 - 3*w^2 - 12*w + 2],
[199, 199, 2*w^2 - 7],
[199, 199, 3*w^3 - 6*w^2 - 9*w + 13],
[233, 233, w^3 - 3*w^2 - 4*w + 11],
[233, 233, 3*w - 7],
[251, 251, 3*w^3 - 7*w^2 - 7*w + 13],
[251, 251, 4*w^3 - w^2 - 20*w - 11],
[251, 251, -w^3 + w^2 + 5*w - 7],
[251, 251, -2*w^3 + 4*w^2 + 8*w - 11],
[257, 257, w^2 - 2*w - 7],
[257, 257, w^2 - 8],
[269, 269, 2*w^3 - 3*w^2 - 8*w + 2],
[269, 269, 2*w^3 - 3*w^2 - 8*w + 7],
[283, 283, -2*w^3 + 4*w^2 + 4*w - 7],
[283, 283, 2*w^3 - 2*w^2 - 6*w - 1],
[289, 17, -w^2 + w - 2],
[289, 17, w^2 - w - 7],
[311, 311, -w^3 + 2*w^2 + 3*w - 8],
[311, 311, -w^3 + w^2 + 4*w + 4],
[313, 313, -w^3 + 2*w^2 + 5*w - 5],
[313, 313, w^3 - w^2 - 6*w + 1],
[337, 337, 3*w - 1],
[337, 337, 3*w - 2],
[347, 347, -2*w^3 - w^2 + 11*w + 11],
[347, 347, -2*w^3 + 7*w^2 + 3*w - 19],
[367, 367, 4*w^3 - 8*w^2 - 13*w + 19],
[367, 367, 4*w^3 - 4*w^2 - 17*w - 2],
[373, 373, w^2 - 3*w - 5],
[373, 373, w^2 + w - 7],
[433, 433, 2*w^3 - 3*w^2 - 5*w + 1],
[433, 433, -2*w^3 + 3*w^2 + 5*w - 5],
[443, 443, w^3 - 7*w + 2],
[443, 443, 3*w^3 - 6*w^2 - 12*w + 20],
[491, 491, -2*w^3 + 3*w^2 + 8*w - 8],
[491, 491, 2*w^3 - 3*w^2 - 11*w + 14],
[521, 521, w^3 + w^2 - 8*w - 7],
[521, 521, w^3 - 5*w^2 + 2*w + 10],
[521, 521, w^3 + 2*w^2 - 5*w - 8],
[521, 521, w^3 - 4*w^2 - 3*w + 13],
[523, 523, 3*w^3 - 5*w^2 - 11*w + 11],
[523, 523, w^3 + w^2 - 6*w - 1],
[529, 23, 3*w^2 - 3*w - 10],
[547, 547, w^3 - 3*w^2 - 4*w + 14],
[547, 547, -2*w^3 + 2*w^2 + 7*w - 5],
[547, 547, w^3 - 4*w + 4],
[547, 547, 3*w^3 - 9*w^2 - 6*w + 22],
[563, 563, w^3 - 2*w^2 - 6*w + 8],
[563, 563, -3*w^3 + 4*w^2 + 11*w - 7],
[563, 563, 3*w^3 - 5*w^2 - 10*w + 5],
[563, 563, 3*w^3 - 8*w^2 - 3*w + 10],
[571, 571, 2*w^3 - 3*w^2 - 5*w + 4],
[571, 571, -2*w^3 + 3*w^2 + 5*w - 2],
[599, 599, 2*w^3 - 2*w^2 - 5*w + 1],
[599, 599, -2*w^3 + 4*w^2 + 3*w - 4],
[641, 641, -2*w^2 + 7*w - 7],
[641, 641, 2*w^2 + w - 8],
[641, 641, 2*w^2 - 5*w - 5],
[641, 641, w^3 - 4*w^2 - 2*w + 16],
[647, 647, -w^3 + 3*w^2 - 2*w - 4],
[647, 647, w^3 - w - 4],
[653, 653, -2*w^3 + 4*w^2 + 9*w - 13],
[653, 653, 3*w^3 - 7*w^2 - 6*w + 11],
[673, 673, w^3 - 2*w^2 - 5*w + 11],
[673, 673, -2*w^3 + 2*w^2 + 10*w - 5],
[673, 673, 2*w^3 - 4*w^2 - 8*w + 5],
[673, 673, 2*w^3 - 7*w^2 - w + 13],
[677, 677, -w^3 + 2*w^2 + 6*w - 2],
[677, 677, 3*w^3 - 7*w^2 - 8*w + 13],
[677, 677, 3*w^3 - 2*w^2 - 13*w - 1],
[677, 677, -w^3 + w^2 + 7*w - 5],
[701, 701, w^2 - 5*w - 1],
[701, 701, -w^3 + 4*w^2 + 3*w - 7],
[701, 701, -w^3 - w^2 + 8*w + 1],
[701, 701, w^2 + 3*w - 5],
[719, 719, -2*w^3 + w^2 + 7*w + 5],
[719, 719, 2*w^3 - 5*w^2 - 3*w + 11],
[727, 727, 2*w^2 - 4*w - 11],
[727, 727, -3*w^3 + w^2 + 10*w + 5],
[751, 751, 4*w^3 - 12*w^2 - 7*w + 28],
[751, 751, 2*w^3 - 6*w^2 - 5*w + 20],
[757, 757, -w^3 + 2*w^2 - 5],
[757, 757, w^3 - w^2 - w - 4],
[797, 797, -4*w^3 + 7*w^2 + 13*w - 11],
[797, 797, 4*w^3 - 5*w^2 - 17*w + 2],
[797, 797, -4*w^3 + 7*w^2 + 15*w - 16],
[797, 797, 4*w^3 - 5*w^2 - 15*w + 5],
[809, 809, -w^3 + 4*w^2 + 3*w - 16],
[809, 809, 3*w^3 - 8*w^2 - 10*w + 26],
[841, 29, 3*w^2 - 3*w - 8],
[857, 857, 4*w^3 - 2*w^2 - 21*w - 7],
[857, 857, -w^3 + 2*w^2 - w + 4],
[881, 881, -w^3 + 2*w^2 + 7*w - 10],
[881, 881, w^3 - 5*w^2 - w + 13],
[881, 881, w^3 + 2*w^2 - 8*w - 8],
[881, 881, -w^3 + w^2 + 8*w + 2],
[887, 887, w^3 - w^2 - 5*w - 5],
[887, 887, -w^3 + 2*w^2 + 4*w - 10],
[907, 907, -3*w^3 + 3*w^2 + 9*w - 5],
[907, 907, 3*w^3 - 6*w^2 - 6*w + 4],
[919, 919, 4*w^3 - 3*w^2 - 16*w - 2],
[919, 919, -4*w^3 + 9*w^2 + 10*w - 17],
[937, 937, -3*w^3 + w^2 + 12*w + 7],
[937, 937, -3*w^3 + 8*w^2 + 5*w - 17],
[953, 953, -2*w^3 + 6*w^2 + 2*w - 13],
[953, 953, -w^3 + 3*w^2 + 4*w - 2],
[953, 953, w^3 - 7*w + 4],
[953, 953, 2*w^3 - 8*w - 7],
[961, 31, 3*w^3 - 4*w^2 - 13*w + 1],
[961, 31, 3*w^3 - 5*w^2 - 12*w + 13],
[991, 991, 3*w^3 - w^2 - 15*w - 4],
[991, 991, -w^3 - 3*w^2 + 7*w + 5],
[991, 991, w^3 - 6*w^2 + 2*w + 8],
[991, 991, 3*w^3 - 8*w^2 - 8*w + 17]];
primes := [ideal<ZF | {F!x : x in I}> : I in primesArray];

heckePol := x^16 - 6*x^15 - 12*x^14 + 128*x^13 - 31*x^12 - 1031*x^11 + 1051*x^10 + 3828*x^9 - 5696*x^8 - 6123*x^7 + 12576*x^6 + 1815*x^5 - 10952*x^4 + 3792*x^3 + 1950*x^2 - 1362*x + 213;
K<e> := NumberField(heckePol);

heckeEigenvaluesArray := [13535/163*e^15 - 101017/163*e^14 - 14366/163*e^13 + 1751859/163*e^12 - 2983969/163*e^11 - 9558016/163*e^10 + 28170895/163*e^9 + 10404915/163*e^8 - 91896197/163*e^7 + 51963831/163*e^6 + 92684374/163*e^5 - 110801250/163*e^4 + 15710370/163*e^3 + 27186224/163*e^2 - 13663365/163*e + 1921675/163, e, 8940/163*e^15 - 66982/163*e^14 - 7678/163*e^13 + 1158250/163*e^12 - 2003896/163*e^11 - 6271605/163*e^10 + 18808939/163*e^9 + 6429077/163*e^8 - 61101535/163*e^7 + 35886196/163*e^6 + 60947037/163*e^5 - 75069847/163*e^4 + 11623314/163*e^3 + 18222741/163*e^2 - 9418544/163*e + 1349900/163, 132230/163*e^15 - 987868/163*e^14 - 133361/163*e^13 + 17118647/163*e^12 - 29279246/163*e^11 - 93210925/163*e^10 + 275998917/163*e^9 + 99904571/163*e^8 - 899374775/163*e^7 + 513811095/163*e^6 + 904570355/163*e^5 - 1089942912/163*e^4 + 158094776/163*e^3 + 266754446/163*e^2 - 134947239/163*e + 19056532/163, 221477/163*e^15 - 1654954/163*e^14 - 220990/163*e^13 + 28674035/163*e^12 - 49084344/163*e^11 - 156066431/163*e^10 + 462548331/163*e^9 + 166741356/163*e^8 - 1506942118/163*e^7 + 862693790/163*e^6 + 1514791881/163*e^5 - 1828137997/163*e^4 + 266372983/163*e^3 + 447208973/163*e^2 - 226530092/163*e + 32011986/163, -1, 56868/163*e^15 - 424561/163*e^14 - 59371/163*e^13 + 7360824/163*e^12 - 12555140/163*e^11 - 40131617/163*e^10 + 118468863/163*e^9 + 43449121/163*e^8 - 386308597/163*e^7 + 219256063/163*e^6 + 389220527/163*e^5 - 466650170/163*e^4 + 66735511/163*e^3 + 114381763/163*e^2 - 57632367/163*e + 8120336/163, 152586/163*e^15 - 1139730/163*e^14 - 155405/163*e^13 + 19753123/163*e^12 - 33759203/163*e^11 - 107596366/163*e^10 + 318321515/163*e^9 + 115662763/163*e^8 - 1037512612/163*e^7 + 591587559/163*e^6 + 1044120196/163*e^5 - 1256165989/163*e^4 + 181303419/163*e^3 + 307636086/163*e^2 - 155369314/163*e + 21911316/163, 47210/163*e^15 - 352347/163*e^14 - 49984/163*e^13 + 6109890/163*e^12 - 10409900/163*e^11 - 33326760/163*e^10 + 98265403/163*e^9 + 36210068/163*e^8 - 320502092/163*e^7 + 181498366/163*e^6 + 323085085/163*e^5 - 386744281/163*e^4 + 55091004/163*e^3 + 94839349/163*e^2 - 47738258/163*e + 6721929/163, 238740/163*e^15 - 1784239/163*e^14 - 236094/163*e^13 + 30909661/163*e^12 - 52947787/163*e^11 - 168172549/163*e^10 + 498817552/163*e^9 + 179161616/163*e^8 - 1624725368/163*e^7 + 931899226/163*e^6 + 1632080409/163*e^5 - 1972876997/163*e^4 + 289164361/163*e^3 + 482212795/163*e^2 - 244801526/163*e + 34660240/163, -67448/163*e^15 + 505109/163*e^14 + 59479/163*e^13 - 8736951/163*e^12 + 15090133/163*e^11 + 47345290/163*e^10 - 141730684/163*e^9 - 48843918/163*e^8 + 460632950/163*e^7 - 269528886/163*e^6 - 460048676/163*e^5 + 564923575/163*e^4 - 86609189/163*e^3 - 137326030/163*e^2 + 70717304/163*e - 10107299/163, 303011/163*e^15 - 2263461/163*e^14 - 307559/163*e^13 + 39226830/163*e^12 - 67059087/163*e^11 - 213640655/163*e^10 + 632245610/163*e^9 + 229407042/163*e^8 - 2060520433/163*e^7 + 1175757222/163*e^6 + 2073153839/163*e^5 - 2495657259/163*e^4 + 360937968/163*e^3 + 611019249/163*e^2 - 308814694/163*e + 43577330/163, 442770/163*e^15 - 3308510/163*e^14 - 441903/163*e^13 + 57323766/163*e^12 - 98125256/163*e^11 - 311999777/163*e^10 + 924686388/163*e^9 + 333337329/163*e^8 - 3012506605/163*e^7 + 1724645395/163*e^6 + 3028020874/163*e^5 - 3654625791/163*e^4 + 532845684/163*e^3 + 893878208/163*e^2 - 452956412/163*e + 64040686/163, -487040/163*e^15 + 3640362/163*e^14 + 478825/163*e^13 - 63060288/163*e^12 + 108068722/163*e^11 + 343035061/163*e^10 - 1017956236/163*e^9 - 364928656/163*e^8 + 3315373181/163*e^7 - 1903240159/163*e^6 - 3329825039/163*e^5 + 4027478027/163*e^4 - 590959908/163*e^3 - 984327535/163*e^2 + 499783610/163*e - 70755538/163, 314278/163*e^15 - 2347969/163*e^14 - 316543/163*e^13 + 40686713/163*e^12 - 69597083/163*e^11 - 221525147/163*e^10 + 656025613/163*e^9 + 237317505/163*e^8 - 2137667219/163*e^7 + 1221647921/163*e^6 + 2149822786/163*e^5 - 2591064457/163*e^4 + 376104052/163*e^3 + 634098392/163*e^2 - 320847096/163*e + 45313072/163, 533133/163*e^15 - 3985528/163*e^14 - 519443/163*e^13 + 69030227/163*e^12 - 118381349/163*e^11 - 375379345/163*e^10 + 1114810761/163*e^9 + 398239172/163*e^8 - 3630132033/163*e^7 + 2087637975/163*e^6 + 3644100979/163*e^5 - 4413791675/163*e^4 + 650288187/163*e^3 + 1078245543/163*e^2 - 548147022/163*e + 77662581/163, -281831/163*e^15 + 2105225/163*e^14 + 286297/163*e^13 - 36485116/163*e^12 + 62367501/163*e^11 + 198716955/163*e^10 - 588026855/163*e^9 - 213453861/163*e^8 + 1916443361/163*e^7 - 1093296095/163*e^6 - 1928283240/163*e^5 + 2320863902/163*e^4 - 335547251/163*e^3 - 568221385/163*e^2 + 287177619/163*e - 40527822/163, 9654/163*e^15 - 71808/163*e^14 - 11926/163*e^13 + 1248315/163*e^12 - 2097529/163*e^11 - 6853362/163*e^10 + 19900978/163*e^9 + 7816906/163*e^8 - 65135722/163*e^7 + 35655974/163*e^6 + 66248478/163*e^5 - 77317637/163*e^4 + 10181730/163*e^3 + 19131855/163*e^2 - 9411811/163*e + 1301431/163, 399099/163*e^15 - 2983911/163*e^14 - 386422/163*e^13 + 51678256/163*e^12 - 88664906/163*e^11 - 280967613/163*e^10 + 834836482/163*e^9 + 297626334/163*e^8 - 2718227099/163*e^7 + 1564629317/163*e^6 + 2728202458/163*e^5 - 3306490106/163*e^4 + 487715882/163*e^3 + 807679528/163*e^2 - 410669953/163*e + 58180114/163, 349213/163*e^15 - 2610318/163*e^14 - 342274/163*e^13 + 45215121/163*e^12 - 77505207/163*e^11 - 245929810/163*e^10 + 729996115/163*e^9 + 261364575/163*e^8 - 2377346264/163*e^7 + 1365652118/163*e^6 + 2387222097/163*e^5 - 2888949682/163*e^4 + 424614640/163*e^3 + 705944132/163*e^2 - 358621483/163*e + 50785800/163, -192259/163*e^15 + 1437181/163*e^14 + 187805/163*e^13 - 24892689/163*e^12 + 42680892/163*e^11 + 135369899/163*e^10 - 401948092/163*e^9 - 143667505/163*e^8 + 1308833240/163*e^7 - 752583164/163*e^6 - 1313705805/163*e^5 + 1591271421/163*e^4 - 234796021/163*e^3 - 388615182/163*e^2 + 197735318/163*e - 28042743/163, -215938/163*e^15 + 1613612/163*e^14 + 215133/163*e^13 - 27957047/163*e^12 + 47862460/163*e^11 + 152154442/163*e^10 - 451010586/163*e^9 - 162483538/163*e^8 + 1469280426/163*e^7 - 841409862/163*e^6 - 1476706588/163*e^5 + 1782720840/163*e^4 - 260128668/163*e^3 - 435993648/163*e^2 + 220987711/163*e - 31247550/163, 62347/163*e^15 - 466007/163*e^14 - 61259/163*e^13 + 8072105/163*e^12 - 13834305/163*e^11 - 43906140/163*e^10 + 130305751/163*e^9 + 46671507/163*e^8 - 424351791/163*e^7 + 243763627/163*e^6 + 426054809/163*e^5 - 515685650/163*e^4 + 75910830/163*e^3 + 125982175/163*e^2 - 64048061/163*e + 9076758/163, -340412/163*e^15 + 2545138/163*e^14 + 329455/163*e^13 - 44078484/163*e^12 + 75628576/163*e^11 + 239639372/163*e^10 - 712073194/163*e^9 - 253772764/163*e^8 + 2318419084/163*e^7 - 1334801638/163*e^6 - 2326598588/163*e^5 + 2820473009/163*e^4 - 416591254/163*e^3 - 688798397/163*e^2 + 350443972/163*e - 49679313/163, -141216/163*e^15 + 1055444/163*e^14 + 139469/163*e^13 - 18284766/163*e^12 + 31323992/163*e^11 + 99490577/163*e^10 - 295108714/163*e^9 - 106047050/163*e^8 + 961327607/163*e^7 - 551094457/163*e^6 - 966148702/163*e^5 + 1167000664/163*e^4 - 170204736/163*e^3 - 285489548/163*e^2 + 144587978/163*e - 20419776/163, 466094/163*e^15 - 3484361/163*e^14 - 454346/163*e^13 + 60350921/163*e^12 - 103492340/163*e^11 - 328196490/163*e^10 + 974621673/163*e^9 + 348301395/163*e^8 - 3173736649/163*e^7 + 1824713829/163*e^6 + 3186290692/163*e^5 - 3858366447/163*e^4 + 567910667/163*e^3 + 942710013/163*e^2 - 479052111/163*e + 67845276/163, 202174/163*e^15 - 1510623/163*e^14 - 202318/163*e^13 + 26174118/163*e^12 - 44794849/163*e^11 - 142471489/163*e^10 + 422153079/163*e^9 + 152316900/163*e^8 - 1375356860/163*e^7 + 787071023/163*e^6 + 1382492344/163*e^5 - 1668174018/163*e^4 + 243203782/163*e^3 + 407984249/163*e^2 - 206781299/163*e + 29247702/163, -432745/163*e^15 + 3233683/163*e^14 + 431442/163*e^13 - 56026957/163*e^12 + 95912863/163*e^11 + 304936306/163*e^10 - 903821049/163*e^9 - 325743202/163*e^8 + 2944546073/163*e^7 - 1685837438/163*e^6 - 2959850718/163*e^5 + 3572294270/163*e^4 - 520533905/163*e^3 - 873873345/163*e^2 + 442645992/163*e - 62550317/163, -48359/163*e^15 + 361798/163*e^14 + 45069/163*e^13 - 6262317/163*e^12 + 10774761/163*e^11 + 33995687/163*e^10 - 101338676/163*e^9 - 35580200/163*e^8 + 329656737/163*e^7 - 191239248/163*e^6 - 329994338/163*e^5 + 402573161/163*e^4 - 60692203/163*e^3 - 98051840/163*e^2 + 50245812/163*e - 7160218/163, -225272/163*e^15 + 1683584/163*e^14 + 222843/163*e^13 - 29166340/163*e^12 + 49960243/163*e^11 + 158692910/163*e^10 - 470682643/163*e^9 - 169104812/163*e^8 + 1533144316/163*e^7 - 879196166/163*e^6 - 1540302207/163*e^5 + 1861506499/163*e^4 - 272456397/163*e^3 - 455121697/163*e^2 + 230880751/163*e - 32659726/163, 50201/163*e^15 - 376470/163*e^14 - 40576/163*e^13 + 6504955/163*e^12 - 11298870/163*e^11 - 35151754/163*e^10 + 105904313/163*e^9 + 35435317/163*e^8 - 343695007/163*e^7 + 203851589/163*e^6 + 341943047/163*e^5 - 424422312/163*e^4 + 66895148/163*e^3 + 102848546/163*e^2 - 53410428/163*e + 7667975/163, 61081/163*e^15 - 455520/163*e^14 - 67212/163*e^13 + 7903912/163*e^12 - 13422437/163*e^11 - 43182505/163*e^10 + 126858190/163*e^9 + 47504103/163*e^8 - 414134660/163*e^7 + 232541331/163*e^6 + 418489003/163*e^5 - 497637645/163*e^4 + 69410288/163*e^3 + 122327028/163*e^2 - 61176391/163*e + 8574877/163, 534387/163*e^15 - 3991537/163*e^14 - 544253/163*e^13 + 69178175/163*e^12 - 118230196/163*e^11 - 376806933/163*e^10 + 1114797807/163*e^9 + 404973416/163*e^8 - 3633369390/163*e^7 + 2072104470/163*e^6 + 3656056280/163*e^5 - 4399478713/163*e^4 + 635779125/163*e^3 + 1077209338/163*e^2 - 544352375/163*e + 76812730/163, -483908/163*e^15 + 3617331/163*e^14 + 473046/163*e^13 - 62656237/163*e^12 + 107423010/163*e^11 + 340764560/163*e^10 - 1011713168/163*e^9 - 361903941/163*e^8 + 3294670789/163*e^7 - 1893393035/163*e^6 - 3308060445/163*e^5 + 4004503681/163*e^4 - 588949131/163*e^3 - 978487496/163*e^2 + 497139631/163*e - 70402518/163, -95462/163*e^15 + 712820/163*e^14 + 98790/163*e^13 - 12356876/163*e^12 + 21091568/163*e^11 + 67347211/163*e^10 - 198963497/163*e^9 - 72721561/163*e^8 + 648654871/163*e^7 - 368811447/163*e^6 - 653171581/163*e^5 + 784250237/163*e^4 - 112713149/163*e^3 - 192126350/163*e^2 + 96958534/163*e - 13674522/163, 309929/163*e^15 - 2316246/163*e^14 - 306682/163*e^13 + 40126299/163*e^12 - 68732559/163*e^11 - 218322442/163*e^10 + 647534997/163*e^9 + 232624012/163*e^8 - 2109139127/163*e^7 + 1209636138/163*e^6 + 2118726601/163*e^5 - 2560985253/163*e^4 + 375314023/163*e^3 + 625973163/163*e^2 - 317772506/163*e + 44989237/163, -390569/163*e^15 + 2918283/163*e^14 + 391114/163*e^13 - 50565551/163*e^12 + 86533514/163*e^11 + 275257688/163*e^10 - 815537088/163*e^9 - 294426235/163*e^8 + 2657149671/163*e^7 - 1520011232/163*e^6 - 2671527175/163*e^5 + 3222260764/163*e^4 - 468763751/163*e^3 - 788372854/163*e^2 + 399176020/163*e - 56398238/163, 258085/163*e^15 - 1928269/163*e^14 - 259158/163*e^13 + 33412546/163*e^12 - 57167340/163*e^11 - 181900001/163*e^10 + 538813949/163*e^9 + 194703248/163*e^8 - 1755613222/163*e^7 + 1003857519/163*e^6 + 1765269036/163*e^5 - 2128531238/163*e^4 + 309461904/163*e^3 + 520789358/163*e^2 - 263667393/163*e + 37255969/163, 55964/163*e^15 - 419521/163*e^14 - 46385/163*e^13 + 7250758/163*e^12 - 12574301/163*e^11 - 39209906/163*e^10 + 117919354/163*e^9 + 39765966/163*e^8 - 382788989/163*e^7 + 226283908/163*e^6 + 381032020/163*e^5 - 471872146/163*e^4 + 74209257/163*e^3 + 114320261/163*e^2 - 59404396/163*e + 8544051/163, -180050/163*e^15 + 1344428/163*e^14 + 186451/163*e^13 - 23306580/163*e^12 + 39779789/163*e^11 + 127033866/163*e^10 - 375277848/163*e^9 - 137239854/163*e^8 + 1223600040/163*e^7 - 695392010/163*e^6 - 1232605499/163*e^5 + 1479038160/163*e^4 - 211710228/163*e^3 - 362551493/163*e^2 + 182638508/163*e - 25716045/163, 546471/163*e^15 - 4084561/163*e^14 - 537379/163*e^13 + 70755342/163*e^12 - 121254071/163*e^11 - 384900018/163*e^10 + 1142169329/163*e^9 + 409508466/163*e^8 - 3719983561/163*e^7 + 2135339266/163*e^6 + 3736419176/163*e^5 - 4518826442/163*e^4 + 662669073/163*e^3 + 1104528581/163*e^2 - 560654145/163*e + 79349694/163, -45286/163*e^15 + 341251/163*e^14 + 25271/163*e^13 - 5875747/163*e^12 + 10399084/163*e^11 + 31457702/163*e^10 - 96802436/163*e^9 - 29236132/163*e^8 + 312595918/163*e^7 - 193547823/163*e^6 - 306842334/163*e^5 + 394505163/163*e^4 - 68064294/163*e^3 - 94392914/163*e^2 + 50630215/163*e - 7428462/163, -388099/163*e^15 + 2900505/163*e^14 + 383796/163*e^13 - 50248325/163*e^12 + 86074643/163*e^11 + 273400157/163*e^10 - 810923905/163*e^9 - 291342795/163*e^8 + 2641459787/163*e^7 - 1514700971/163*e^6 - 2654028180/163*e^5 + 3207130812/163*e^4 - 468961906/163*e^3 - 784243568/163*e^2 + 397653352/163*e - 56225881/163, 131036/163*e^15 - 978821/163*e^14 - 133058/163*e^13 + 16963529/163*e^12 - 28998218/163*e^11 - 92390080/163*e^10 + 273401388/163*e^9 + 99226159/163*e^8 - 891016691/163*e^7 + 508366515/163*e^6 + 896419949/163*e^5 - 1079072325/163*e^4 + 156196809/163*e^3 + 264107748/163*e^2 - 133570915/163*e + 18869405/163, 332563/163*e^15 - 2483187/163*e^14 - 344631/163*e^13 + 43047481/163*e^12 - 73469289/163*e^11 - 234629584/163*e^10 + 693095962/163*e^9 + 253458857/163*e^8 - 2259739580/163*e^7 + 1284437362/163*e^6 + 2275896004/163*e^5 - 2731696234/163*e^4 + 391888551/163*e^3 + 669369931/163*e^2 - 337554499/163*e + 47577036/163, 147622/163*e^15 - 1102064/163*e^14 - 154373/163*e^13 + 19107521/163*e^12 - 32587306/163*e^11 - 104181951/163*e^10 + 307509598/163*e^9 + 112847271/163*e^8 - 1002809372/163*e^7 + 568968927/163*e^6 + 1010591950/163*e^5 - 1211201516/163*e^4 + 172826245/163*e^3 + 297011797/163*e^2 - 149487240/163*e + 21035439/163, -467673/163*e^15 + 3492306/163*e^14 + 482847/163*e^13 - 60538516/163*e^12 + 103351957/163*e^11 + 329926385/163*e^10 - 974912807/163*e^9 - 356081696/163*e^8 + 3178441567/163*e^7 - 1807604725/163*e^6 - 3201002057/163*e^5 + 3843307644/163*e^4 - 551426245/163*e^3 - 941846516/163*e^2 + 474844712/163*e - 66892452/163, -365289/163*e^15 + 2727925/163*e^14 + 376226/163*e^13 - 47287213/163*e^12 + 80744097/163*e^11 + 257695524/163*e^10 - 761614823/163*e^9 - 278010165/163*e^8 + 2483030728/163*e^7 - 1412408286/163*e^6 - 2500772698/163*e^5 + 3002719866/163*e^4 - 430510977/163*e^3 - 735970045/163*e^2 + 370875746/163*e - 52217118/163, 276613/163*e^15 - 2067043/163*e^14 - 275423/163*e^13 + 35813143/163*e^12 - 61314708/163*e^11 - 194911441/163*e^10 + 577770592/163*e^9 + 208147079/163*e^8 - 1882273000/163*e^7 + 1077849155/163*e^6 + 1891967775/163*e^5 - 2283725913/163*e^4 + 332899227/163*e^3 + 558605545/163*e^2 - 283005399/163*e + 40002233/163, -818638/163*e^15 + 6117615/163*e^14 + 813778/163*e^13 - 105989752/163*e^12 + 181485043/163*e^11 + 576805737/163*e^10 - 1710053429/163*e^9 - 615649788/163*e^8 + 5570815634/163*e^7 - 3191159245/163*e^6 - 5598841826/163*e^5 + 6760194356/163*e^4 - 986429251/163*e^3 - 1653375662/163*e^2 + 837916575/163*e - 118461437/163, -55195/163*e^15 + 413106/163*e^14 + 50357/163*e^13 - 7148765/163*e^12 + 12318491/163*e^11 + 38784373/163*e^10 - 115802433/163*e^9 - 40392494/163*e^8 + 376626559/163*e^7 - 219089507/163*e^6 - 376880421/163*e^5 + 460546537/163*e^4 - 69530270/163*e^3 - 112174255/163*e^2 + 57457061/163*e - 8182821/163, -713802/163*e^15 + 5335164/163*e^14 + 702513/163*e^13 - 92419724/163*e^12 + 158370989/163*e^11 + 502760769/163*e^10 - 1491824857/163*e^9 - 534983084/163*e^8 + 4858818419/163*e^7 - 2788846917/163*e^6 - 4880287612/163*e^5 + 5902049851/163*e^4 - 865563631/163*e^3 - 1442630366/163*e^2 + 732301872/163*e - 103644594/163, 382958/163*e^15 - 2861581/163*e^14 - 382115/163*e^13 + 49579783/163*e^12 - 84871129/163*e^11 - 269845239/163*e^10 + 799775065/163*e^9 + 288252059/163*e^8 - 2605510279/163*e^7 + 1491834494/163*e^6 + 2618742493/163*e^5 - 3161091849/163*e^4 + 461204243/163*e^3 + 773099605/163*e^2 - 391862706/163*e + 55412709/163, -144414/163*e^15 + 1079632/163*e^14 + 140437/163*e^13 - 18699023/163*e^12 + 32071928/163*e^11 + 101677049/163*e^10 - 302010358/163*e^9 - 107815227/163*e^8 + 983402434/163*e^7 - 565714156/163*e^6 - 987128240/163*e^5 + 1195888808/163*e^4 - 176259057/163*e^3 - 292157000/163*e^2 + 148518773/163*e - 21034833/163, -584872/163*e^15 + 4371405/163*e^14 + 576362/163*e^13 - 75726291/163*e^12 + 129752065/163*e^11 + 411970595/163*e^10 - 1222286311/163*e^9 - 438555286/163*e^8 + 3981059291/163*e^7 - 2284413059/163*e^6 - 3998979684/163*e^5 + 4835157986/163*e^4 - 708622067/163*e^3 - 1181935065/163*e^2 + 599850951/163*e - 84889359/163, -613740/163*e^15 + 4585764/163*e^14 + 614675/163*e^13 - 79458182/163*e^12 + 135977157/163*e^11 + 432535987/163*e^10 - 1281523168/163*e^9 - 462647995/163*e^8 + 4175407531/163*e^7 - 2388565540/163*e^6 - 4197991884/163*e^5 + 5063471124/163*e^4 - 736627446/163*e^3 - 1238849695/163*e^2 + 627267348/163*e - 88621491/163, 310370/163*e^15 - 2321317/163*e^14 - 295096/163*e^13 + 40193486/163*e^12 - 69052778/163*e^11 - 218393497/163*e^10 + 649867753/163*e^9 + 230222586/163*e^8 - 2115333649/163*e^7 + 1221237651/163*e^6 + 2121552641/163*e^5 - 2576939667/163*e^4 + 382152182/163*e^3 + 629147392/163*e^2 - 320319935/163*e + 45401409/163, 688321/163*e^15 - 5141601/163*e^14 - 699113/163*e^13 + 89106481/163*e^12 - 152321554/163*e^11 - 485302514/163*e^10 + 1436125514/163*e^9 + 521148616/163*e^8 - 4680331367/163*e^7 + 2670644479/163*e^6 + 4708656682/163*e^5 - 5668673343/163*e^4 + 820572050/163*e^3 + 1387616984/163*e^2 - 701661343/163*e + 99072441/163, -736287/163*e^15 + 5500429/163*e^14 + 744045/163*e^13 - 95318206/163*e^12 + 163006002/163*e^11 + 519034330/163*e^10 - 1536643359/163*e^9 - 556535229/163*e^8 + 5007463168/163*e^7 - 2860073473/163*e^6 - 5036652259/163*e^5 + 6067866588/163*e^4 - 879810327/163*e^3 - 1485164079/163*e^2 + 751237095/163*e - 106068954/163, 119603/163*e^15 - 894905/163*e^14 - 111186/163*e^13 + 15490720/163*e^12 - 26656184/163*e^11 - 84105575/163*e^10 + 250716535/163*e^9 + 88123925/163*e^8 - 815747392/163*e^7 + 472725948/163*e^6 + 817251740/163*e^5 - 995604366/163*e^4 + 148921177/163*e^3 + 242821878/163*e^2 - 123966127/163*e + 17602743/163, 79946/163*e^15 - 598426/163*e^14 - 72542/163*e^13 + 10355110/163*e^12 - 17849381/163*e^11 - 56171600/163*e^10 + 167769973/163*e^9 + 58434343/163*e^8 - 545562863/163*e^7 + 317591012/163*e^6 + 545690263/163*e^5 - 667328371/163*e^4 + 101152380/163*e^3 + 162422584/163*e^2 - 83350667/163*e + 11892146/163, -300876/163*e^15 + 2247656/163*e^14 + 304349/163*e^13 - 38950827/163*e^12 + 66605324/163*e^11 + 212107690/163*e^10 - 627902170/163*e^9 - 227511587/163*e^8 + 2046199427/163*e^7 - 1168443571/163*e^6 - 2058282679/163*e^5 + 2479242607/163*e^4 - 359238307/163*e^3 - 606888655/163*e^2 + 306895119/163*e - 43317707/163, -503498/163*e^15 + 3761697/163*e^14 + 506734/163*e^13 - 65183879/163*e^12 + 111507104/163*e^11 + 354895792/163*e^10 - 1051047494/163*e^9 - 380131118/163*e^8 + 3424790714/163*e^7 - 1957431423/163*e^6 - 3444095185/163*e^5 + 4151376355/163*e^4 - 602867406/163*e^3 - 1015883160/163*e^2 + 514116346/163*e - 72615583/163, 180142/163*e^15 - 1344312/163*e^14 - 192113/163*e^13 + 23314657/163*e^12 - 39698163/163*e^11 - 127221110/163*e^10 + 374836527/163*e^9 + 138639936/163*e^8 - 1222893820/163*e^7 + 691026078/163*e^6 + 1233783685/163*e^5 - 1474058587/163*e^4 + 208335658/163*e^3 + 361875147/163*e^2 - 181610682/163*e + 25500841/163, -932796/163*e^15 + 6968331/163*e^14 + 943793/163*e^13 - 120758934/163*e^12 + 206490666/163*e^11 + 657610646/163*e^10 - 1946649381/163*e^9 - 705496920/163*e^8 + 6343786146/163*e^7 - 3621998007/163*e^6 - 6381471599/163*e^5 + 7685676290/163*e^4 - 1113351782/163*e^3 - 1881306976/163*e^2 + 951363077/163*e - 134309715/163, 522744/163*e^15 - 3907985/163*e^14 - 508734/163*e^13 + 67686777/163*e^12 - 116085793/163*e^11 - 368068518/163*e^10 + 1093164274/163*e^9 + 390440488/163*e^8 - 3559607965/163*e^7 + 2047164556/163*e^6 + 3573253872/163*e^5 - 4328056218/163*e^4 + 637736248/163*e^3 + 1057265160/163*e^2 - 537525045/163*e + 76165044/163, -401833/163*e^15 + 3000449/163*e^14 + 416224/163*e^13 - 52014627/163*e^12 + 88777168/163*e^11 + 283505822/163*e^10 - 837510678/163*e^9 - 306259551/163*e^8 + 2730665522/163*e^7 - 1552026922/163*e^6 - 2750543013/163*e^5 + 3300912681/163*e^4 - 472877079/163*e^3 - 809070514/163*e^2 + 407699250/163*e - 57414301/163, 126357/163*e^15 - 944247/163*e^14 - 125899/163*e^13 + 16360887/163*e^12 - 28008884/163*e^11 - 89057884/163*e^10 + 263952867/163*e^9 + 95220055/163*e^8 - 860067033/163*e^7 + 492009151/163*e^6 + 865087491/163*e^5 - 1042993116/163*e^4 + 151005113/163*e^3 + 255423630/163*e^2 - 128992669/163*e + 18172798/163, -553252/163*e^15 + 4133628/163*e^14 + 555288/163*e^13 - 71625950/163*e^12 + 122553635/163*e^11 + 389929036/163*e^10 - 1155080247/163*e^9 - 417312465/163*e^8 + 3763574115/163*e^7 - 2152208731/163*e^6 - 3784264391/163*e^5 + 4563265253/163*e^4 - 663401881/163*e^3 - 1116566341/163*e^2 + 565226237/163*e - 79844260/163, 599241/163*e^15 - 4477203/163*e^14 - 601773/163*e^13 + 77580118/163*e^12 - 132734991/163*e^11 - 422355308/163*e^10 + 1251060495/163*e^9 + 452118485/163*e^8 - 4076351855/163*e^7 + 2330711300/163*e^6 + 4098885122/163*e^5 - 4942065903/163*e^4 + 718329096/163*e^3 + 1209222087/163*e^2 - 612146289/163*e + 86487151/163, 150529/163*e^15 - 1124833/163*e^14 - 149873/163*e^13 + 19488011/163*e^12 - 33365792/163*e^11 - 106054233/163*e^10 + 314396251/163*e^9 + 113187492/163*e^8 - 1024167739/163*e^7 + 586770191/163*e^6 + 1029137102/163*e^5 - 1242957141/163*e^4 + 181709277/163*e^3 + 303927410/163*e^2 - 154150839/163*e + 21805308/163, -185994/163*e^15 + 1389795/163*e^14 + 185806/163*e^13 - 24080550/163*e^12 + 41216863/163*e^11 + 131075132/163*e^10 - 388425858/163*e^9 - 140124123/163*e^8 + 1265516375/163*e^7 - 724176525/163*e^6 - 1272295677/163*e^5 + 1534916856/163*e^4 - 223364687/163*e^3 - 375549532/163*e^2 + 190144949/163*e - 26858667/163, -818560/163*e^15 + 6114751/163*e^14 + 829629/163*e^13 - 105969733/163*e^12 + 181178072/163*e^11 + 577116618/163*e^10 - 1708119679/163*e^9 - 619491723/163*e^8 + 5566770211/163*e^7 - 3177118976/163*e^6 - 5600810167/163*e^5 + 6743051563/163*e^4 - 975215944/163*e^3 - 1650987964/163*e^2 + 834317498/163*e - 117707167/163, 21365/163*e^15 - 160143/163*e^14 - 17974/163*e^13 + 2768914/163*e^12 - 4796620/163*e^11 - 14988872/163*e^10 + 45008400/163*e^9 + 15329444/163*e^8 - 146224480/163*e^7 + 85939308/163*e^6 + 145967084/163*e^5 - 179692429/163*e^4 + 27586654/163*e^3 + 43687309/163*e^2 - 22469656/163*e + 3204716/163, 362665/163*e^15 - 2711305/163*e^14 - 352478/163*e^13 + 46959213/163*e^12 - 80545918/163*e^11 - 255342506/163*e^10 + 758466173/163*e^9 + 270750054/163*e^8 - 2469716410/163*e^7 + 1420709546/163*e^6 + 2479138016/163*e^5 - 3003255258/163*e^4 + 442526136/163*e^3 + 733649566/163*e^2 - 372954561/163*e + 52841933/163, -153130/163*e^15 + 1143927/163*e^14 + 155172/163*e^13 - 19825035/163*e^12 + 33895300/163*e^11 + 107975760/163*e^10 - 319572152/163*e^9 - 115962028/163*e^8 + 1041589846/163*e^7 - 594194391/163*e^6 - 1048364676/163*e^5 + 1261411189/163*e^4 - 181699919/163*e^3 - 309067437/163*e^2 + 155877246/163*e - 21945626/163, 559530/163*e^15 - 4182904/163*e^14 - 545001/163*e^13 + 72448842/163*e^12 - 124245871/163*e^11 - 393969951/163*e^10 + 1170029478/163*e^9 + 417968325/163*e^8 - 3809926082/163*e^7 + 2190989875/163*e^6 + 3824553440/163*e^5 - 4632306149/163*e^4 + 682566595/163*e^3 + 1131600500/163*e^2 - 575317983/163*e + 81518407/163, -237926/163*e^15 + 1775783/163*e^14 + 252126/163*e^13 - 30795197/163*e^12 + 52461709/163*e^11 + 168004391/163*e^10 - 495257376/163*e^9 - 182787465/163*e^8 + 1615555405/163*e^7 - 913866903/163*e^6 - 1629405845/163*e^5 + 1948292638/163*e^4 - 276160999/163*e^3 - 478078861/163*e^2 + 240188499/163*e - 33761578/163, 718870/163*e^15 - 5370183/163*e^14 - 727833/163*e^13 + 93065286/163*e^12 - 159127292/163*e^11 - 506824903/163*e^10 + 1500188133/163*e^9 + 543926745/163*e^8 - 4889053187/163*e^7 + 2790655202/163*e^6 + 4918810621/163*e^5 - 5922430340/163*e^4 + 856721141/163*e^3 + 1450027897/163*e^2 - 732810972/163*e + 103388202/163, -216835/163*e^15 + 1619816/163*e^14 + 219726/163*e^13 - 28072269/163*e^12 + 47995625/163*e^11 + 152890905/163*e^10 - 452504842/163*e^9 - 164180977/163*e^8 + 1474797777/163*e^7 - 841414691/163*e^6 - 1484138706/163*e^5 + 1786078209/163*e^4 - 257761808/163*e^3 - 437440472/163*e^2 + 220865642/163*e - 31135629/163, 1181402/163*e^15 - 8824706/163*e^14 - 1200686/163*e^13 + 152938683/163*e^12 - 261426347/163*e^11 - 832982514/163*e^10 + 2464865878/163*e^9 + 894739862/163*e^8 - 8033312492/163*e^7 + 4582993814/163*e^6 + 8083044832/163*e^5 - 9728879018/163*e^4 + 1406351774/163*e^3 + 2382102421/163*e^2 - 1203735137/163*e + 169839774/163, -103287/163*e^15 + 771520/163*e^14 + 104716/163*e^13 - 13369557/163*e^12 + 22858802/163*e^11 + 72797174/163*e^10 - 215491767/163*e^9 - 78028429/163*e^8 + 702146509/163*e^7 - 401246369/163*e^6 - 705885884/163*e^5 + 851103825/163*e^4 - 124044220/163*e^3 - 208156005/163*e^2 + 105534815/163*e - 14932350/163, -447953/163*e^15 + 3350230/163*e^14 + 426134/163*e^13 - 58007664/163*e^12 + 99655244/163*e^11 + 315169028/163*e^10 - 937848936/163*e^9 - 332093706/163*e^8 + 3052467942/163*e^7 - 1762986532/163*e^6 - 3060432959/163*e^5 + 3719347959/163*e^4 - 553357521/163*e^3 - 907537514/163*e^2 + 462778419/163*e - 65701608/163, -723935/163*e^15 + 5413129/163*e^14 + 697070/163*e^13 - 93742421/163*e^12 + 160901566/163*e^11 + 509559924/163*e^10 - 1514756446/163*e^9 - 538894392/163*e^8 + 4931485950/163*e^7 - 2841538426/163*e^6 - 4948066282/163*e^5 + 6001827565/163*e^4 - 887475211/163*e^3 - 1465642857/163*e^2 + 745802830/163*e - 105714837/163, -42284/163*e^15 + 317071/163*e^14 + 34530/163*e^13 - 5479959/163*e^12 + 9511876/163*e^11 + 29631907/163*e^10 - 89189488/163*e^9 - 30030085/163*e^8 + 289602166/163*e^7 - 171136936/163*e^6 - 288655451/163*e^5 + 356893338/163*e^4 - 55396168/163*e^3 - 86644703/163*e^2 + 44725211/163*e - 6396825/163, -175625/163*e^15 + 1312489/163*e^14 + 173812/163*e^13 - 22736503/163*e^12 + 38946006/163*e^11 + 123694886/163*e^10 - 366898294/163*e^9 - 131704482/163*e^8 + 1194932024/163*e^7 - 685731483/163*e^6 - 1199887134/163*e^5 + 1451365800/163*e^4 - 213525306/163*e^3 - 354502618/163*e^2 + 180287836/163*e - 25573311/163, -1228065/163*e^15 + 9178664/163*e^14 + 1210468/163*e^13 - 159003181/163*e^12 + 272436783/163*e^11 + 865022448/163*e^10 - 2566408900/163*e^9 - 920880703/163*e^8 + 8358925224/163*e^7 - 4796432097/163*e^6 - 8396420390/163*e^5 + 10152128897/163*e^4 - 1488142531/163*e^3 - 2481527511/163*e^2 + 1259573711/163*e - 178277653/163, -63796/163*e^15 + 477383/163*e^14 + 58911/163*e^13 - 8262358/163*e^12 + 14224906/163*e^11 + 44844465/163*e^10 - 133763188/163*e^9 - 46861157/163*e^8 + 435116792/163*e^7 - 252603357/163*e^6 - 435585684/163*e^5 + 531509558/163*e^4 - 80038330/163*e^3 - 129461744/163*e^2 + 66298769/163*e - 9446401/163, -449965/163*e^15 + 3363086/163*e^14 + 443563/163*e^13 - 58259816/163*e^12 + 99821810/163*e^11 + 316958593/163*e^10 - 940358329/163*e^9 - 337493644/163*e^8 + 3062909602/163*e^7 - 1757216672/163*e^6 - 3077088036/163*e^5 + 3719655679/163*e^4 - 544458583/163*e^3 - 909425011/163*e^2 + 461286866/163*e - 65246549/163, -724700/163*e^15 + 5414248/163*e^14 + 730030/163*e^13 - 93821746/163*e^12 + 160485049/163*e^11 + 510842442/163*e^10 - 1512763857/163*e^9 - 547384309/163*e^8 + 4929503721/163*e^7 - 2816616284/163*e^6 - 4958075689/163*e^5 + 5974453739/163*e^4 - 866296841/163*e^3 - 1462328238/163*e^2 + 739589752/163*e - 104409401/163, -1005657/163*e^15 + 7511610/163*e^14 + 1024641/163*e^13 - 130186854/163*e^12 + 222489279/163*e^11 + 709137554/163*e^10 - 2097894147/163*e^9 - 762332901/163*e^8 + 6837610131/163*e^7 - 3898778690/163*e^6 - 6880674584/163*e^5 + 8278508105/163*e^4 - 1195803050/163*e^3 - 2027031910/163*e^2 + 1024221143/163*e - 144529000/163, 758574/163*e^15 - 5669721/163*e^14 - 747361/163*e^13 + 98217203/163*e^12 - 168290827/163*e^11 - 534327861/163*e^10 + 1585320392/163*e^9 + 568816825/163*e^8 - 5163479667/163*e^7 + 2962852623/163*e^6 + 5186735030/163*e^5 - 6271157203/163*e^4 + 919068060/163*e^3 + 1532955282/163*e^2 - 778008261/163*e + 110104118/163, 394585/163*e^15 - 2949540/163*e^14 - 386551/163*e^13 + 51092001/163*e^12 - 87581497/163*e^11 - 277907906/163*e^10 + 824918661/163*e^9 + 295451363/163*e^8 - 2686666862/163*e^7 + 1542819033/163*e^6 + 2698598332/163*e^5 - 3264253478/163*e^4 + 478405428/163*e^3 + 798019347/163*e^2 - 404862433/163*e + 57261415/163, 8424/163*e^15 - 65790/163*e^14 + 11329/163*e^13 + 1103856/163*e^12 - 2227530/163*e^11 - 5496278/163*e^10 + 19820909/163*e^9 + 1586387/163*e^8 - 61917990/163*e^7 + 49670651/163*e^6 + 55300544/163*e^5 - 90000123/163*e^4 + 22927548/163*e^3 + 20088451/163*e^2 - 12706586/163*e + 2034846/163, 64087/163*e^15 - 476846/163*e^14 - 78397/163*e^13 + 8289768/163*e^12 - 13942195/163*e^11 - 45513995/163*e^10 + 132273852/163*e^9 + 51922872/163*e^8 - 433123540/163*e^7 + 236811786/163*e^6 + 441396126/163*e^5 - 513736705/163*e^4 + 66032709/163*e^3 + 127510070/163*e^2 - 62114440/163*e + 8521740/163, -975524/163*e^15 + 7286295/163*e^14 + 995436/163*e^13 - 126284124/163*e^12 + 215795094/163*e^11 + 687911503/163*e^10 - 2034859675/163*e^9 - 739783871/163*e^8 + 6632346559/163*e^7 - 3780878432/163*e^6 - 6674576390/163*e^5 + 8029158636/163*e^4 - 1159118760/163*e^3 - 1966158210/163*e^2 + 993252913/163*e - 140129988/163, 75615/163*e^15 - 562336/163*e^14 - 94206/163*e^13 + 9777712/163*e^12 - 16415608/163*e^11 - 53709144/163*e^10 + 155808880/163*e^9 + 61497613/163*e^8 - 510161884/163*e^7 + 278367280/163*e^6 + 519509241/163*e^5 - 604529820/163*e^4 + 78619767/163*e^3 + 149722589/163*e^2 - 73409698/163*e + 10150089/163, -118712/163*e^15 + 888006/163*e^14 + 111831/163*e^13 - 15373151/163*e^12 + 26428407/163*e^11 + 83494644/163*e^10 - 248637203/163*e^9 - 87724102/163*e^8 + 808997981/163*e^7 - 468151986/163*e^6 - 810293755/163*e^5 + 986634625/163*e^4 - 148154466/163*e^3 - 240391944/163*e^2 + 123086614/163*e - 17540159/163, -647518/163*e^15 + 4836220/163*e^14 + 662135/163*e^13 - 83823709/163*e^12 + 143213587/163*e^11 + 456666534/163*e^10 - 1350550553/163*e^9 - 491522382/163*e^8 + 4402287501/163*e^7 - 2508060564/163*e^6 - 4431448859/163*e^5 + 5327797031/163*e^4 - 767323541/163*e^3 - 1305083171/163*e^2 + 658691657/163*e - 92854477/163, -547539/163*e^15 + 4092229/163*e^14 + 540317/163*e^13 - 70890472/163*e^12 + 121454296/163*e^11 + 385668567/163*e^10 - 1144143854/163*e^9 - 410614342/163*e^8 + 3726492028/163*e^7 - 2138259678/163*e^6 - 3742933776/163*e^5 + 4525884024/163*e^4 - 663977404/163*e^3 - 1106091548/163*e^2 + 561688034/163*e - 79539957/163, -640476/163*e^15 + 4782096/163*e^14 + 665600/163*e^13 - 82904991/163*e^12 + 141460266/163*e^11 + 451937294/163*e^10 - 1334639932/163*e^9 - 488746559/163*e^8 + 4351784490/163*e^7 - 2471636046/163*e^6 - 4384053047/163*e^5 + 5258610298/163*e^4 - 752640255/163*e^3 - 1288981774/163*e^2 + 649467277/163*e - 91466973/163, -976948/163*e^15 + 7302061/163*e^14 + 960831/163*e^13 - 126489671/163*e^12 + 216765297/163*e^11 + 688070868/163*e^10 - 2041828338/163*e^9 - 731930154/163*e^8 + 6649916002/163*e^7 - 3817806112/163*e^6 - 6678470269/163*e^5 + 8078634254/163*e^4 - 1186157976/163*e^3 - 1974217094/163*e^2 + 1002701453/163*e - 142000143/163, -706032/163*e^15 + 5276423/163*e^14 + 699614/163*e^13 - 91411147/163*e^12 + 156560552/163*e^11 + 497401690/163*e^10 - 1475054470/163*e^9 - 530349240/163*e^8 + 4804853218/163*e^7 - 2754310572/163*e^6 - 4827813205/163*e^5 + 5832754383/163*e^4 - 852964178/163*e^3 - 1426181034/163*e^2 + 723329362/163*e - 102312192/163, 251344/163*e^15 - 1877557/163*e^14 - 254653/163*e^13 + 32537484/163*e^12 - 55632087/163*e^11 - 177188219/163*e^10 + 524470779/163*e^9 + 190097618/163*e^8 - 1709127842/163*e^7 + 975873257/163*e^6 + 1719107982/163*e^5 - 2070717212/163*e^4 + 300296767/163*e^3 + 506759684/163*e^2 - 256415554/163*e + 36223413/163, -380377/163*e^15 + 2846147/163*e^14 + 352874/163*e^13 - 49263841/163*e^12 + 84786534/163*e^11 + 267436198/163*e^10 - 797398622/163*e^9 - 279902670/163*e^8 + 2594194994/163*e^7 - 1504521076/163*e^6 - 2598060737/163*e^5 + 3167443831/163*e^4 - 475257756/163*e^3 - 772108390/163*e^2 + 394715363/163*e - 56128911/163, -1225959/163*e^15 + 9160016/163*e^14 + 1228663/163*e^13 - 158717600/163*e^12 + 271600274/163*e^11 + 864000703/163*e^10 - 2559740991/163*e^9 - 924247165/163*e^8 + 8340021015/163*e^7 - 4770733072/163*e^6 - 8384897140/163*e^5 + 10113576015/163*e^4 - 1471824446/163*e^3 - 2474164433/163*e^2 + 1253041302/163*e - 177100560/163, 487310/163*e^15 - 3637775/163*e^14 - 511437/163*e^13 + 63076108/163*e^12 - 107540785/163*e^11 - 343981614/163*e^10 + 1014931926/163*e^9 + 373137262/163*e^8 - 3310120463/163*e^7 + 1876132430/163*e^6 + 3336868206/163*e^5 - 3995818561/163*e^4 + 568620548/163*e^3 + 980145650/163*e^2 - 492921250/163*e + 69320286/163, 829374/163*e^15 - 6200794/163*e^14 - 803537/163*e^13 + 107390921/163*e^12 - 184243919/163*e^11 - 583864480/163*e^10 + 1734774914/163*e^9 + 618445989/163*e^8 - 5648276611/163*e^7 + 3251489207/163*e^6 + 5668337055/163*e^5 - 6870999530/163*e^4 + 1014719367/163*e^3 + 1678047062/163*e^2 - 853710646/163*e + 121015452/163, -473357/163*e^15 + 3538015/163*e^14 + 465655/163*e^13 - 61287158/163*e^12 + 105026382/163*e^11 + 333386635/163*e^10 - 989304563/163*e^9 - 354641604/163*e^8 + 3222013794/163*e^7 - 1849798370/163*e^6 - 3235844241/163*e^5 + 3914265302/163*e^4 - 574727709/163*e^3 - 956559829/163*e^2 + 485826896/163*e - 68794098/163, 241356/163*e^15 - 1804285/163*e^14 - 235417/163*e^13 + 31251494/163*e^12 - 53588281/163*e^11 - 169955092/163*e^10 + 504664922/163*e^9 + 180412768/163*e^8 - 1643381283/163*e^7 + 944694239/163*e^6 + 1649858339/163*e^5 - 1997669410/163*e^4 + 294131653/163*e^3 + 487993840/163*e^2 - 248086590/163*e + 35163077/163, -181566/163*e^15 + 1359589/163*e^14 + 160931/163*e^13 - 23518085/163*e^12 + 40606100/163*e^11 + 127458878/163*e^10 - 381424259/163*e^9 - 131620290/163*e^8 + 1239704498/163*e^7 - 725027419/163*e^6 - 1238202424/163*e^5 + 1520059697/163*e^4 - 233000290/163*e^3 - 369538593/163*e^2 + 190293774/163*e - 27193000/163, 71303/163*e^15 - 529723/163*e^14 - 92522/163*e^13 + 9217196/163*e^12 - 15412090/163*e^11 - 50722604/163*e^10 + 146507321/163*e^9 + 58842187/163*e^8 - 480211072/163*e^7 + 259460810/163*e^6 + 490331302/163*e^5 - 566399448/163*e^4 + 71707882/163*e^3 + 140681682/163*e^2 - 68450367/163*e + 9409013/163, 601932/163*e^15 - 4494022/163*e^14 - 626962/163*e^13 + 77911766/163*e^12 - 132919489/163*e^11 - 424731609/163*e^10 + 1254126793/163*e^9 + 459438849/163*e^8 - 4089321657/163*e^7 + 2322336829/163*e^6 + 4119653514/163*e^5 - 4941358657/163*e^4 + 707284405/163*e^3 + 1211212914/163*e^2 - 610316831/163*e + 85960841/163, -261392/163*e^15 + 1951214/163*e^14 + 274761/163*e^13 - 33832930/163*e^12 + 57676640/163*e^11 + 184511705/163*e^10 - 544355653/163*e^9 - 200197522/163*e^8 + 1775421510/163*e^7 - 1006162147/163*e^6 - 1789893071/163*e^5 + 2143150129/163*e^4 - 304753540/163*e^3 - 525791300/163*e^2 + 264307882/163*e - 37151910/163, -1440664/163*e^15 + 10762823/163*e^14 + 1453619/163*e^13 - 186507971/163*e^12 + 318988856/163*e^11 + 1015538885/163*e^10 - 3006955550/163*e^9 - 1088501623/163*e^8 + 9798529527/163*e^7 - 5597844388/163*e^6 - 9855081587/163*e^5 + 11874773280/163*e^4 - 1722542290/163*e^3 - 2906242880/163*e^2 + 1470270507/163*e - 207621663/163, 214560/163*e^15 - 1607568/163*e^14 - 183946/163*e^13 + 27796859/163*e^12 - 48100024/163*e^11 - 150495048/163*e^10 + 451463110/163*e^9 + 154118548/163*e^8 - 1466603263/163*e^7 + 861885985/163*e^6 + 1462996697/163*e^5 - 1802585868/163*e^4 + 278758557/163*e^3 + 437774148/163*e^2 - 226004306/163*e + 32343321/163, -915630/163*e^15 + 6840986/163*e^14 + 919971/163*e^13 - 118539671/163*e^12 + 202808293/163*e^11 + 645348621/163*e^10 - 1911548651/163*e^9 - 690859831/163*e^8 + 6228511165/163*e^7 - 3561146223/163*e^6 - 6263180343/163*e^5 + 7551292033/163*e^4 - 1097133702/163*e^3 - 1847802892/163*e^2 + 935209571/163*e - 132093315/163, -862378/163*e^15 + 6444898/163*e^14 + 854027/163*e^13 - 111653015/163*e^12 + 191239106/163*e^11 + 607526172/163*e^10 - 1801752021/163*e^9 - 647608294/163*e^8 + 5868970550/163*e^7 - 3364837063/163*e^6 - 5896840608/163*e^5 + 7125088577/163*e^4 - 1042154597/163*e^3 - 1742089673/163*e^2 + 883601949/163*e - 125001849/163, -15089/163*e^15 + 111559/163*e^14 + 23650/163*e^13 - 1949858/163*e^12 + 3189446/163*e^11 + 10853044/163*e^10 - 30590363/163*e^9 - 13602665/163*e^8 + 101004567/163*e^7 - 50995592/163*e^6 - 105274816/163*e^5 + 115329050/163*e^4 - 11284798/163*e^3 - 29358106/163*e^2 + 13314417/163*e - 1720704/163, -460732/163*e^15 + 3442647/163*e^14 + 460059/163*e^13 - 59646767/163*e^12 + 102098323/163*e^11 + 324629406/163*e^10 - 962104626/163*e^9 - 346727798/163*e^8 + 3134170272/163*e^7 - 1794841679/163*e^6 - 3149334149/163*e^5 + 3802765207/163*e^4 - 556225383/163*e^3 - 929582076/163*e^2 + 471785694/163*e - 66811125/163, 79570/163*e^15 - 595307/163*e^14 - 74369/163*e^13 + 10305339/163*e^12 - 17726264/163*e^11 - 55961364/163*e^10 + 166744952/163*e^9 + 58717536/163*e^8 - 542553734/163*e^7 + 314146239/163*e^6 + 543567417/163*e^5 - 661850009/163*e^4 + 99051204/163*e^3 + 161345303/163*e^2 - 82456931/163*e + 11726895/163, -223781/163*e^15 + 1668597/163*e^14 + 248672/163*e^13 - 28958938/163*e^12 + 49135099/163*e^11 + 158305371/163*e^10 - 464572375/163*e^9 - 174888160/163*e^8 + 1517257945/163*e^7 - 849228447/163*e^6 - 1535263198/163*e^5 + 1820275473/163*e^4 - 250588227/163*e^3 - 448251312/163*e^2 + 223085227/163*e - 31130025/163, -269957/163*e^15 + 2015260/163*e^14 + 282857/163*e^13 - 34940882/163*e^12 + 59580553/163*e^11 + 190518690/163*e^10 - 562244287/163*e^9 - 206430323/163*e^8 + 1833440494/163*e^7 - 1040139234/163*e^6 - 1847273185/163*e^5 + 2214307182/163*e^4 - 316767259/163*e^3 - 542751990/163*e^2 + 273542428/163*e - 38540103/163, -1330614/163*e^15 + 9941455/163*e^14 + 1336765/163*e^13 - 172262395/163*e^12 + 294724813/163*e^11 + 937799638/163*e^10 - 2777851432/163*e^9 - 1003747685/163*e^8 + 9050930360/163*e^7 - 5175707267/163*e^6 - 9100143860/163*e^5 + 10974002714/163*e^4 - 1596489773/163*e^3 - 2684765319/163*e^2 + 1359635313/163*e - 192162188/163, 866768/163*e^15 - 6476626/163*e^14 - 865940/163*e^13 + 112216924/163*e^12 - 192075591/163*e^11 - 610796292/163*e^10 + 1810093917/163*e^9 + 652778622/163*e^8 - 5897257384/163*e^7 + 3375403413/163*e^6 + 5928298964/163*e^5 - 7153559652/163*e^4 + 1041862908/163*e^3 + 1750034805/163*e^2 - 886334574/163*e + 125237531/163, -764637/163*e^15 + 5715838/163*e^14 + 747424/163*e^13 - 99004255/163*e^12 + 169742610/163*e^11 + 538441392/163*e^10 - 1598633049/163*e^9 - 571786215/163*e^8 + 5205946524/163*e^7 - 2992003551/163*e^6 - 5226942113/163*e^5 + 6327839112/163*e^4 - 930899698/163*e^3 - 1546135810/163*e^2 + 785616786/163*e - 111264932/163, 1240333/163*e^15 - 9266403/163*e^14 - 1250289/163*e^13 + 160574986/163*e^12 - 274654371/163*e^11 - 874309911/163*e^10 + 2588969643/163*e^9 + 936930060/163*e^8 - 8436348921/163*e^7 + 4820243922/163*e^6 + 8484763810/163*e^5 - 10224544679/163*e^4 + 1483537983/163*e^3 + 2502286701/163*e^2 - 1266007402/163*e + 178788928/163, -997799/163*e^15 + 7456325/163*e^14 + 992188/163*e^13 - 129181295/163*e^12 + 221192859/163*e^11 + 702988363/163*e^10 - 2084170264/163*e^9 - 750111803/163*e^8 + 6789228800/163*e^7 - 3890151988/163*e^6 - 6822008849/163*e^5 + 8239885223/163*e^4 - 1204771264/163*e^3 - 2014583760/163*e^2 + 1021932051/163*e - 144613592/163, 872602/163*e^15 - 6519793/163*e^14 - 874889/163*e^13 + 112971113/163*e^12 - 193312191/163*e^11 - 614990266/163*e^10 + 1821940659/163*e^9 + 658005696/163*e^8 - 5936333866/163*e^7 + 3395229013/163*e^6 + 5968903489/163*e^5 - 7198236290/163*e^4 + 1046466308/163*e^3 + 1761319129/163*e^2 - 891565650/163*e + 125936144/163, -346657/163*e^15 + 2588538/163*e^14 + 358330/163*e^13 - 44871823/163*e^12 + 76599118/163*e^11 + 244545044/163*e^10 - 722564510/163*e^9 - 263935503/163*e^8 + 2355666454/163*e^7 - 1339770502/163*e^6 - 2372077255/163*e^5 + 2848524868/163*e^4 - 409286152/163*e^3 - 697874160/163*e^2 + 352104333/163*e - 49645335/163, -408638/163*e^15 + 3055049/163*e^14 + 397220/163*e^13 - 52914152/163*e^12 + 90757132/163*e^11 + 287741607/163*e^10 - 854644324/163*e^9 - 305257041/163*e^8 + 2783049013/163*e^7 - 1600321000/163*e^6 - 2794261421/163*e^5 + 3383585274/163*e^4 - 497562338/163*e^3 - 826847276/163*e^2 + 419952603/163*e - 59446392/163, -88797/163*e^15 + 658412/163*e^14 + 124121/163*e^13 - 11472895/163*e^12 + 19031032/163*e^11 + 63369425/163*e^10 - 181452200/163*e^9 - 75450100/163*e^8 + 595982896/163*e^7 - 315429033/163*e^6 - 611752201/163*e^5 + 696006896/163*e^4 - 83463111/163*e^3 - 173745973/163*e^2 + 83388617/163*e - 11360778/163, -1396525/163*e^15 + 10434569/163*e^14 + 1398704/163*e^13 - 180800701/163*e^12 + 309405189/163*e^11 + 984193023/163*e^10 - 2915997247/163*e^9 - 1052645545/163*e^8 + 9500720537/163*e^7 - 5435225898/163*e^6 - 9551854722/163*e^5 + 11521757529/163*e^4 - 1676583019/163*e^3 - 2818847825/163*e^2 + 1427398656/163*e - 201690261/163, -88098/163*e^15 + 657146/163*e^14 + 95967/163*e^13 - 11400516/163*e^12 + 19376504/163*e^11 + 62259603/163*e^10 - 183065707/163*e^9 - 68274807/163*e^8 + 597436817/163*e^7 - 336218082/163*e^6 - 603139330/163*e^5 + 718645567/163*e^4 - 101185395/163*e^3 - 176422146/163*e^2 + 88559893/163*e - 12451476/163, -921298/163*e^15 + 6886864/163*e^14 + 900873/163*e^13 - 119287943/163*e^12 + 204513391/163*e^11 + 648760347/163*e^10 - 1926113860/163*e^9 - 688981341/163*e^8 + 6272366208/163*e^7 - 3604795454/163*e^6 - 6297528293/163*e^5 + 7623912717/163*e^4 - 1121858911/163*e^3 - 1862660286/163*e^2 + 946626715/163*e - 134107956/163, -186941/163*e^15 + 1397162/163*e^14 + 184823/163*e^13 - 24205282/163*e^12 + 41463691/163*e^11 + 131711968/163*e^10 - 390655647/163*e^9 - 140445128/163*e^8 + 1272659474/163*e^7 - 729356861/163*e^6 - 1279339137/163*e^5 + 1544746398/163*e^4 - 224771057/163*e^3 - 378050328/163*e^2 + 191250114/163*e - 26980294/163, 103977/163*e^15 - 777659/163*e^14 - 98770/163*e^13 + 13464120/163*e^12 - 23132512/163*e^11 - 73145101/163*e^10 + 217672596/163*e^9 + 77011790/163*e^8 - 708316909/163*e^7 + 409372499/163*e^6 + 709581422/163*e^5 - 863250755/163*e^4 + 129515050/163*e^3 + 210260463/163*e^2 - 107714026/163*e + 15372120/163, -953032/163*e^15 + 7123824/163*e^14 + 933938/163*e^13 - 123397318/163*e^12 + 211523655/163*e^11 + 671179180/163*e^10 - 1992288453/163*e^9 - 713361888/163*e^8 + 6488373079/163*e^7 - 3726858847/163*e^6 - 6516036439/163*e^5 + 7884312341/163*e^4 - 1157525198/163*e^3 - 1926979511/163*e^2 + 978367662/163*e - 138474474/163, -6535*e^15 + 48827*e^14 + 6554*e^13 - 846044*e^12 + 1447685*e^11 + 4605668*e^10 - 13644193*e^9 - 4927777*e^8 + 44455284*e^7 - 25426644*e^6 - 44695463*e^5 + 53905690*e^4 - 7843752*e^3 - 13187426*e^2 + 6678684*e - 943968, -160791/163*e^15 + 1200162/163*e^14 + 169679/163*e^13 - 20811022/163*e^12 + 35465316/163*e^11 + 113508958/163*e^10 - 334748593/163*e^9 - 123281869/163*e^8 + 1091761246/163*e^7 - 618371366/163*e^6 - 1100440079/163*e^5 + 1317437386/163*e^4 - 187872892/163*e^3 - 322967425/163*e^2 + 162679399/163*e - 22930146/163, 626418/163*e^15 - 4685452/163*e^14 - 592538/163*e^13 + 81120357/163*e^12 - 139419660/163*e^11 - 440659938/163*e^10 + 1311871248/163*e^9 + 463607249/163*e^8 - 4269372777/163*e^7 + 2468166581/163*e^6 + 4279349463/163*e^5 - 5204507588/163*e^4 + 775978934/163*e^3 + 1269553532/163*e^2 - 647846106/163*e + 92028435/163, -621181/163*e^15 + 4642652/163*e^14 + 612673/163*e^13 - 80424656/163*e^12 + 137794802/163*e^11 + 437524719/163*e^10 - 1298054713/163*e^9 - 465712896/163*e^8 + 4227710348/163*e^7 - 2426275046/163*e^6 - 4246146482/163*e^5 + 5135110999/163*e^4 - 753665011/163*e^3 - 1254919673/163*e^2 + 637355811/163*e - 90268938/163, 1260964/163*e^15 - 9423928/163*e^14 - 1247044/163*e^13 + 163259159/163*e^12 - 279659637/163*e^11 - 888278537/163*e^10 + 2634698468/163*e^9 + 946492281/163*e^8 - 8581931380/163*e^7 + 4921561689/163*e^6 + 8621993472/163*e^5 - 10420062231/163*e^4 + 1525103617/163*e^3 + 2547499002/163*e^2 - 1292394582/163*e + 182859114/163, 149770/163*e^15 - 1119922/163*e^14 - 143993/163*e^13 + 19393951/163*e^12 - 33291444/163*e^11 - 105415098/163*e^10 + 313394461/163*e^9 + 111441673/163*e^8 - 1020233614/163*e^7 + 588008516/163*e^6 + 1023453355/163*e^5 - 1241758089/163*e^4 + 183995073/163*e^3 + 303078463/163*e^2 - 154411373/163*e + 21920097/163, -35324/163*e^15 + 262142/163*e^14 + 47967/163*e^13 - 4565623/163*e^12 + 7596853/163*e^11 + 25186316/163*e^10 - 72350617/163*e^9 - 29728233/163*e^8 + 237477432/163*e^7 - 126534973/163*e^6 - 243393768/163*e^5 + 278170837/163*e^4 - 33865967/163*e^3 - 69295740/163*e^2 + 33395867/163*e - 4573030/163, 346260/163*e^15 - 2586140/163*e^14 - 354212/163*e^13 + 44824480/163*e^12 - 76581388/163*e^11 - 244204168/163*e^10 + 722200288/163*e^9 + 262865320/163*e^8 - 2354158274/163*e^7 + 1341118698/163*e^6 + 2369953876/163*e^5 - 2849038884/163*e^4 + 409951374/163*e^3 + 698019008/163*e^2 - 352127042/163*e + 49614484/163, 11925/163*e^15 - 89844/163*e^14 - 6724/163*e^13 + 1547349/163*e^12 - 2738577/163*e^11 - 8288917/163*e^10 + 25512787/163*e^9 + 7734722/163*e^8 - 82518997/163*e^7 + 50908248/163*e^6 + 81515392/163*e^5 - 104018858/163*e^4 + 16985757/163*e^3 + 25192870/163*e^2 - 13079241/163*e + 1855615/163, -484806/163*e^15 + 3625837/163*e^14 + 461723/163*e^13 - 62782179/163*e^12 + 107846792/163*e^11 + 341145252/163*e^10 - 1014997560/163*e^9 - 359754168/163*e^8 + 3303842365/163*e^7 - 1907029432/163*e^6 - 3313430553/163*e^5 + 4024387736/163*e^4 - 597156533/163*e^3 - 982384771/163*e^2 + 500386319/163*e - 70965211/163, 302146/163*e^15 - 2259038/163*e^14 - 292760/163*e^13 + 39125388/163*e^12 - 67122768/163*e^11 - 212736039/163*e^10 + 632026787/163*e^9 + 225486954/163*e^8 - 2057986775/163*e^7 + 1184060022/163*e^6 + 2065915564/163*e^5 - 2502773744/163*e^4 + 368570500/163*e^3 + 611513940/163*e^2 - 310730752/163*e + 43992848/163, -420799/163*e^15 + 3144397/163*e^14 + 419588/163*e^13 - 54479591/163*e^12 + 93262721/163*e^11 + 296509740/163*e^10 - 878836216/163*e^9 - 316709546/163*e^8 + 2863041959/163*e^7 - 1639351171/163*e^6 - 2877494691/163*e^5 + 3473540321/163*e^4 - 506946986/163*e^3 - 849436424/163*e^2 + 430637394/163*e - 60913373/163, -1176834/163*e^15 + 8791537/163*e^14 + 1189207/163*e^13 - 152350079/163*e^12 + 260537067/163*e^11 + 829582754/163*e^10 - 2456039963/163*e^9 - 889479544/163*e^8 + 8003357455/163*e^7 - 4571444285/163*e^6 - 8049445719/163*e^5 + 9698355826/163*e^4 - 1407255105/163*e^3 - 2373410321/163*e^2 + 1200996756/163*e - 169644183/163, -574782/163*e^15 + 4293974/163*e^14 + 580224/163*e^13 - 74409295/163*e^12 + 127259440/163*e^11 + 405152581/163*e^10 - 1199603047/163*e^9 - 434211427/163*e^8 + 3908883369/163*e^7 - 2233442148/163*e^6 - 3930738285/163*e^5 + 4737462858/163*e^4 - 688516729/163*e^3 - 1159053788/163*e^2 + 586928235/163*e - 82970487/163, 855788/163*e^15 - 6397369/163*e^14 - 835623/163*e^13 + 110808075/163*e^12 - 189994789/163*e^11 - 602622821/163*e^10 + 1789324891/163*e^9 + 639819328/163*e^8 - 5826891598/163*e^7 + 3349211458/163*e^6 + 5850378235/163*e^5 - 7082910727/163*e^4 + 1041909101/163*e^3 + 1730667787/163*e^2 - 879304379/163*e + 124516185/163, 637758/163*e^15 - 4768649/163*e^14 - 614721/163*e^13 + 82582356/163*e^12 - 141735589/163*e^11 - 448908079/163*e^10 + 1334353502/163*e^9 + 474849837/163*e^8 - 4344183570/163*e^7 + 2502851252/163*e^6 + 4358771990/163*e^5 - 5286744541/163*e^4 + 781845775/163*e^3 + 1290930506/163*e^2 - 656998807/163*e + 93149625/163, 5322*e^15 - 39743*e^14 - 5484*e^13 + 688915*e^12 - 1176306*e^11 - 3754166*e^10 + 11095305*e^9 + 4049103*e^8 - 36171192*e^7 + 20580242*e^6 + 36421736*e^5 - 43747220*e^4 + 6286372*e^3 + 10718257*e^2 - 5406977*e + 762131, 1139391/163*e^15 - 8518148/163*e^14 - 1107499/163*e^13 + 147532784/163*e^12 - 253050728/163*e^11 - 802218758/163*e^10 + 2382879073/163*e^9 + 850648250/163*e^8 - 7759165401/163*e^7 + 4463430513/163*e^6 + 7788902232/163*e^5 - 9435493460/163*e^4 + 1390029971/163*e^3 + 2305170332/163*e^2 - 1171641822/163*e + 165941573/163, -404405/163*e^15 + 3021408/163*e^14 + 406638/163*e^13 - 52354872/163*e^12 + 89567009/163*e^11 + 285033489/163*e^10 - 844209903/163*e^9 - 305185543/163*e^8 + 2750678320/163*e^7 - 1572599795/163*e^6 - 2765695697/163*e^5 + 3334723507/163*e^4 - 485101292/163*e^3 - 815833726/163*e^2 + 413180459/163*e - 58394501/163, -1361020/163*e^15 + 10176305/163*e^14 + 1313996/163*e^13 - 176234132/163*e^12 + 302432842/163*e^11 + 958034998/163*e^10 - 2847328192/163*e^9 - 1013796565/163*e^8 + 9270047858/163*e^7 - 5339622697/163*e^6 - 9301405927/163*e^5 + 11280129204/163*e^4 - 1668072694/163*e^3 - 2754387814/163*e^2 + 1401892482/163*e - 198782887/163, -942379/163*e^15 + 7041327/163*e^14 + 943288/163*e^13 - 122003753/163*e^12 + 208795731/163*e^11 + 664103572/163*e^10 - 1967746536/163*e^9 - 710076558/163*e^8 + 6410955189/163*e^7 - 3668451613/163*e^6 - 6444647875/163*e^5 + 7775564890/163*e^4 - 1132832192/163*e^3 - 1901905935/163*e^2 + 963623039/163*e - 136240282/163, -1150789/163*e^15 + 8597778/163*e^14 + 1157333/163*e^13 - 148982636/163*e^12 + 254873538/163*e^11 + 811107267/163*e^10 - 2402331957/163*e^9 - 868503324/163*e^8 + 7827678099/163*e^7 - 4474906851/163*e^6 - 7871133192/163*e^5 + 9489448002/163*e^4 - 1379104036/163*e^3 - 2321880391/163*e^2 + 1175405060/163*e - 166075097/163];
heckeEigenvalues := AssociativeArray();
for i := 1 to #heckeEigenvaluesArray do
  heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i];
end for;

ALEigenvalues := AssociativeArray();
ALEigenvalues[ideal<ZF | {25, 5, w^3 - 2*w^2 - 2*w + 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;