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

NN := ideal<ZF | {29, 29, 2*w^4 - 2*w^3 - 11*w^2 + 4*w + 3}>;

primesArray := [
[2, 2, w],
[7, 7, -2*w^4 + w^3 + 12*w^2 + w - 5],
[8, 2, w^4 - 7*w^2 - 3*w + 5],
[19, 19, -2*w^4 + w^3 + 12*w^2 - 5],
[19, 19, -w^3 + w^2 + 5*w - 1],
[29, 29, 2*w^4 - 2*w^3 - 11*w^2 + 4*w + 3],
[31, 31, -2*w^4 + w^3 + 12*w^2 + 2*w - 5],
[37, 37, -2*w^4 + 13*w^2 + 5*w - 7],
[53, 53, 3*w^4 - 2*w^3 - 18*w^2 + 3*w + 9],
[59, 59, 2*w^4 - 13*w^2 - 6*w + 5],
[61, 61, -3*w^4 + 2*w^3 + 18*w^2 - 2*w - 11],
[61, 61, w^2 - w - 3],
[61, 61, 6*w^4 - 2*w^3 - 38*w^2 - 6*w + 23],
[67, 67, -w^4 + 7*w^2 + 4*w - 5],
[67, 67, -w^4 + 6*w^2 + 2*w - 1],
[71, 71, -w^2 + 3],
[73, 73, 3*w^4 - w^3 - 19*w^2 - 3*w + 9],
[79, 79, 3*w^4 - w^3 - 19*w^2 - 4*w + 11],
[83, 83, -w^4 - w^3 + 7*w^2 + 8*w - 3],
[97, 97, -2*w^4 + w^3 + 12*w^2 + 2*w - 3],
[97, 97, w^4 - w^3 - 5*w^2 + 2*w + 3],
[103, 103, -4*w^4 + w^3 + 25*w^2 + 7*w - 13],
[103, 103, 7*w^4 - 3*w^3 - 43*w^2 - 4*w + 23],
[107, 107, 4*w^4 - 2*w^3 - 24*w^2 - w + 9],
[113, 113, 5*w^4 - 3*w^3 - 30*w^2 + w + 15],
[137, 137, -3*w^4 + 2*w^3 + 17*w^2 - 7],
[139, 139, w^2 - 5],
[149, 149, 4*w^4 - w^3 - 26*w^2 - 5*w + 17],
[151, 151, -4*w^4 + 2*w^3 + 24*w^2 + w - 13],
[157, 157, -4*w^4 + w^3 + 26*w^2 + 5*w - 15],
[157, 157, 5*w^4 - 2*w^3 - 31*w^2 - 4*w + 15],
[157, 157, -3*w^4 + 2*w^3 + 19*w^2 - 2*w - 15],
[169, 13, -w^4 + 2*w^3 + 5*w^2 - 8*w - 3],
[173, 173, w^4 - w^3 - 5*w^2 + w - 1],
[179, 179, -2*w^4 + 2*w^3 + 12*w^2 - 5*w - 7],
[191, 191, -4*w^4 + 2*w^3 + 24*w^2 + 2*w - 11],
[193, 193, 2*w^4 - 2*w^3 - 11*w^2 + 5*w + 5],
[197, 197, w^4 - 6*w^2 - w + 1],
[197, 197, -w^4 + 8*w^2 + 2*w - 11],
[199, 199, -3*w^4 + w^3 + 20*w^2 + 3*w - 17],
[211, 211, 4*w^4 - 2*w^3 - 25*w^2 + 13],
[223, 223, w^4 - 6*w^2 - 3*w - 1],
[223, 223, 2*w^4 - 13*w^2 - 4*w + 9],
[223, 223, -2*w^4 + 2*w^3 + 11*w^2 - 3*w - 3],
[227, 227, 2*w^4 - 12*w^2 - 7*w + 5],
[227, 227, -w^4 + 8*w^2 + w - 7],
[229, 229, -2*w^4 - w^3 + 14*w^2 + 11*w - 11],
[229, 229, -3*w^4 + 19*w^2 + 8*w - 11],
[233, 233, -w^4 + 8*w^2 + 2*w - 7],
[233, 233, 3*w^4 - w^3 - 20*w^2 - w + 11],
[239, 239, -w^4 + 6*w^2 + 5*w - 3],
[243, 3, -3],
[251, 251, -w^4 + w^3 + 5*w^2 - 3*w - 3],
[263, 263, 3*w^4 - 2*w^3 - 18*w^2 + 2*w + 7],
[269, 269, -3*w^4 + 20*w^2 + 8*w - 11],
[271, 271, 4*w^4 - 2*w^3 - 25*w^2 - w + 13],
[283, 283, -w^2 + 3*w + 1],
[283, 283, 6*w^4 - 4*w^3 - 36*w^2 + 3*w + 19],
[283, 283, -6*w^4 + 3*w^3 + 36*w^2 + 2*w - 17],
[289, 17, -8*w^4 + 2*w^3 + 49*w^2 + 12*w - 21],
[293, 293, -3*w^4 + 2*w^3 + 17*w^2 - 2*w - 7],
[293, 293, 2*w^4 - 2*w^3 - 12*w^2 + 4*w + 7],
[307, 307, -2*w^4 + 13*w^2 + 7*w - 9],
[311, 311, -w^4 + 5*w^2 + 4*w + 3],
[311, 311, 3*w^4 - w^3 - 18*w^2 - 2*w + 7],
[317, 317, -w^4 + w^3 + 6*w^2 - 4*w - 3],
[337, 337, 4*w^4 - w^3 - 25*w^2 - 7*w + 15],
[347, 347, -2*w^4 + w^3 + 13*w^2 + w - 11],
[347, 347, -3*w^4 + w^3 + 20*w^2 + 2*w - 17],
[349, 349, -w^3 + w^2 + 3*w + 3],
[359, 359, 3*w^4 - w^3 - 18*w^2 - 3*w + 11],
[367, 367, -w^4 - w^3 + 8*w^2 + 6*w - 7],
[367, 367, 4*w^4 - 3*w^3 - 24*w^2 + 3*w + 11],
[373, 373, -w^3 + 6*w + 1],
[379, 379, 2*w^4 - 14*w^2 - 5*w + 9],
[397, 397, -2*w^4 - w^3 + 15*w^2 + 11*w - 13],
[397, 397, w^4 - 6*w^2 - 2*w - 1],
[397, 397, -w^4 - w^3 + 8*w^2 + 8*w - 5],
[401, 401, -2*w^4 + 14*w^2 + 7*w - 13],
[409, 409, -4*w^4 + 2*w^3 + 24*w^2 - 11],
[421, 421, 3*w^4 - 2*w^3 - 18*w^2 + 9],
[433, 433, -2*w^4 + 2*w^3 + 12*w^2 - 5*w - 5],
[433, 433, 6*w^4 - w^3 - 38*w^2 - 12*w + 21],
[439, 439, -5*w^4 + 2*w^3 + 30*w^2 + 3*w - 15],
[443, 443, 4*w^4 - 2*w^3 - 26*w^2 - w + 15],
[443, 443, -w^4 + w^3 + 5*w^2 - w - 5],
[443, 443, -w^4 + w^3 + 6*w^2 - 4*w - 5],
[443, 443, -w^4 + 6*w^2 + 5*w - 1],
[443, 443, w^4 + w^3 - 7*w^2 - 7*w + 1],
[461, 461, 2*w^4 - 14*w^2 - 6*w + 9],
[461, 461, -w^4 + w^3 + 4*w^2 - 2*w + 5],
[463, 463, w^4 - 7*w^2 - 2*w + 1],
[479, 479, -6*w^4 + 3*w^3 + 37*w^2 + w - 19],
[499, 499, -4*w^4 + 25*w^2 + 11*w - 13],
[499, 499, 5*w^4 - 3*w^3 - 31*w^2 + 17],
[503, 503, -4*w^4 + 3*w^3 + 23*w^2 - 3*w - 7],
[503, 503, -3*w^4 + w^3 + 18*w^2 + w - 9],
[503, 503, 2*w^4 - w^3 - 14*w^2 - w + 11],
[509, 509, 8*w^4 - 2*w^3 - 52*w^2 - 11*w + 35],
[521, 521, -2*w^4 + 2*w^3 + 13*w^2 - 5*w - 11],
[521, 521, 10*w^4 - 4*w^3 - 63*w^2 - 6*w + 39],
[529, 23, -w^4 - w^3 + 7*w^2 + 7*w - 3],
[547, 547, 9*w^4 - 5*w^3 - 55*w^2 + w + 29],
[547, 547, -w^4 + 2*w^3 + 6*w^2 - 9*w - 7],
[557, 557, -5*w^4 + w^3 + 32*w^2 + 6*w - 17],
[563, 563, 4*w^4 - w^3 - 26*w^2 - 4*w + 19],
[587, 587, -2*w^3 + 3*w^2 + 10*w - 5],
[587, 587, 7*w^4 - w^3 - 45*w^2 - 15*w + 25],
[593, 593, -9*w^4 + 3*w^3 + 57*w^2 + 10*w - 33],
[599, 599, w^4 + w^3 - 6*w^2 - 7*w + 3],
[601, 601, w^4 - 2*w^3 - 4*w^2 + 9*w - 1],
[601, 601, 3*w^4 - 3*w^3 - 16*w^2 + 5*w + 3],
[607, 607, 6*w^4 - 2*w^3 - 38*w^2 - 5*w + 23],
[607, 607, 4*w^4 - 2*w^3 - 24*w^2 - 3*w + 11],
[613, 613, -w^4 + w^3 + 7*w^2 - 3*w - 5],
[641, 641, 2*w^4 - 2*w^3 - 11*w^2 + 4*w + 7],
[641, 641, -w^3 + 6*w - 1],
[647, 647, 7*w^4 - 3*w^3 - 45*w^2 - 2*w + 31],
[659, 659, -3*w^4 + w^3 + 19*w^2 + w - 9],
[661, 661, -2*w^4 + 15*w^2 + 5*w - 13],
[683, 683, -w^4 + 8*w^2 + 2*w - 9],
[683, 683, -4*w^4 + 3*w^3 + 24*w^2 - 4*w - 17],
[683, 683, 6*w^4 - 3*w^3 - 36*w^2 - w + 15],
[691, 691, -3*w^4 + w^3 + 18*w^2 + 4*w - 11],
[709, 709, w^4 - w^3 - 4*w^2 + 4*w - 3],
[733, 733, -5*w^4 + 2*w^3 + 30*w^2 + 2*w - 15],
[743, 743, -9*w^4 + 5*w^3 + 55*w^2 - 31],
[751, 751, -4*w^4 + 2*w^3 + 23*w^2 + 2*w - 9],
[751, 751, 5*w^4 - w^3 - 32*w^2 - 8*w + 19],
[761, 761, w^4 + w^3 - 7*w^2 - 6*w + 3],
[761, 761, -6*w^4 + w^3 + 38*w^2 + 11*w - 19],
[787, 787, -w^3 + w^2 + 3*w - 5],
[787, 787, -6*w^4 + 3*w^3 + 35*w^2 + 3*w - 13],
[809, 809, -7*w^4 + 5*w^3 + 42*w^2 - 6*w - 23],
[821, 821, 3*w^4 - 2*w^3 - 18*w^2 + 2*w + 5],
[827, 827, 7*w^4 - 3*w^3 - 43*w^2 - 3*w + 23],
[829, 829, 4*w^4 - w^3 - 26*w^2 - 7*w + 19],
[829, 829, 5*w^4 - 2*w^3 - 30*w^2 - 4*w + 17],
[841, 29, w^4 - w^3 - 5*w^2 - 1],
[841, 29, 6*w^4 - 2*w^3 - 38*w^2 - 6*w + 19],
[853, 853, 3*w^4 - 20*w^2 - 7*w + 13],
[857, 857, 2*w^3 - 3*w^2 - 8*w + 3],
[859, 859, -5*w^4 + 2*w^3 + 33*w^2 + 2*w - 27],
[863, 863, -3*w^4 + 2*w^3 + 17*w^2 - 3],
[881, 881, -5*w^4 + w^3 + 32*w^2 + 10*w - 21],
[883, 883, w^2 - 2*w - 5],
[887, 887, 3*w^4 + w^3 - 21*w^2 - 12*w + 13],
[911, 911, -4*w^4 + w^3 + 26*w^2 + 7*w - 17],
[911, 911, 6*w^4 - 2*w^3 - 37*w^2 - 5*w + 19],
[919, 919, 14*w^4 - 3*w^3 - 86*w^2 - 26*w + 37],
[919, 919, -7*w^4 + 4*w^3 + 42*w^2 - 21],
[937, 937, 3*w^4 - 2*w^3 - 19*w^2 + 4*w + 13],
[947, 947, 6*w^4 - 3*w^3 - 36*w^2 - 2*w + 19],
[953, 953, w^4 - 2*w^3 - 3*w^2 + 6*w - 5],
[953, 953, -9*w^4 + 3*w^3 + 56*w^2 + 10*w - 31],
[977, 977, -5*w^4 + w^3 + 33*w^2 + 7*w - 23],
[977, 977, -5*w^4 + 2*w^3 + 31*w^2 + 2*w - 13],
[997, 997, 6*w^4 - w^3 - 38*w^2 - 13*w + 21],
[997, 997, 4*w^4 - 2*w^3 - 24*w^2 - 4*w + 13]];
primes := [ideal<ZF | {F!x : x in I}> : I in primesArray];

heckePol := x^19 + 3*x^18 - 23*x^17 - 71*x^16 + 214*x^15 + 687*x^14 - 1037*x^13 - 3510*x^12 + 2823*x^11 + 10223*x^10 - 4413*x^9 - 17168*x^8 + 4009*x^7 + 16113*x^6 - 2071*x^5 - 7672*x^4 + 504*x^3 + 1439*x^2 - 32*x - 15;
K<e> := NumberField(heckePol);

heckeEigenvaluesArray := [e, 5049336/253002341*e^18 + 76703640/253002341*e^17 + 35997139/253002341*e^16 - 1714879205/253002341*e^15 - 2261674122/253002341*e^14 + 15259431476/253002341*e^13 + 24025396729/253002341*e^12 - 68705112587/253002341*e^11 - 115759652731/253002341*e^10 + 164444677432/253002341*e^9 + 286448216629/253002341*e^8 - 201485592507/253002341*e^7 - 359626053207/253002341*e^6 + 110375209049/253002341*e^5 + 209901867544/253002341*e^4 - 11104114860/253002341*e^3 - 43694742965/253002341*e^2 - 6459263977/253002341*e + 97853167/253002341, 121433384/253002341*e^18 + 557294486/253002341*e^17 - 2080167705/253002341*e^16 - 12345981170/253002341*e^15 + 10199040003/253002341*e^14 + 108813682933/253002341*e^13 + 13353967165/253002341*e^12 - 485273187773/253002341*e^11 - 280222053156/253002341*e^10 + 1152079307746/253002341*e^9 + 953230704862/253002341*e^8 - 1413779836219/253002341*e^7 - 1365408087636/253002341*e^6 + 825934062873/253002341*e^5 + 858789001543/253002341*e^4 - 178276435998/253002341*e^3 - 194367778213/253002341*e^2 + 2168345058/253002341*e + 2633397762/253002341, 83230600/253002341*e^18 + 266074599/253002341*e^17 - 1719250484/253002341*e^16 - 5903524349/253002341*e^15 + 13495928547/253002341*e^14 + 52285361142/253002341*e^13 - 48494500690/253002341*e^12 - 235745098967/253002341*e^11 + 68542882035/253002341*e^10 + 572353301305/253002341*e^9 + 17802244594/253002341*e^8 - 734320104700/253002341*e^7 - 118749760998/253002341*e^6 + 467047440868/253002341*e^5 + 78730052001/253002341*e^4 - 121240569850/253002341*e^3 - 13365002516/253002341*e^2 + 6947070451/253002341*e + 34159444/253002341, 115961544/253002341*e^18 + 522332198/253002341*e^17 - 2026838654/253002341*e^16 - 11601385551/253002341*e^15 + 10648877492/253002341*e^14 + 102681511679/253002341*e^13 + 4655457144/253002341*e^12 - 461174088313/253002341*e^11 - 231490992844/253002341*e^10 + 1108692822906/253002341*e^9 + 826103799830/253002341*e^8 - 1393523699952/253002341*e^7 - 1205509545131/253002341*e^6 + 855459504584/253002341*e^5 + 766758654873/253002341*e^4 - 212521369185/253002341*e^3 - 172529384461/253002341*e^2 + 11191591019/253002341*e + 744687262/253002341, -1, -114809589/253002341*e^18 - 486234469/253002341*e^17 + 2067998529/253002341*e^16 + 10736277060/253002341*e^15 - 11926060571/253002341*e^14 - 94178524685/253002341*e^13 + 8004549859/253002341*e^12 + 416883803857/253002341*e^11 + 169510216647/253002341*e^10 - 976540711048/253002341*e^9 - 661850711576/253002341*e^8 + 1164324311149/253002341*e^7 + 971860811211/253002341*e^6 - 629585415032/253002341*e^5 - 603811090528/253002341*e^4 + 95668586341/253002341*e^3 + 131783130635/253002341*e^2 + 13548141234/253002341*e - 1650411140/253002341, -178856108/253002341*e^18 - 634617364/253002341*e^17 + 3560949468/253002341*e^16 + 14134671664/253002341*e^15 - 25989737792/253002341*e^14 - 125764561811/253002341*e^13 + 76696907624/253002341*e^12 + 570322452675/253002341*e^11 - 16485438053/253002341*e^10 - 1395431277827/253002341*e^9 - 383240033178/253002341*e^8 + 1811846035896/253002341*e^7 + 750795546727/253002341*e^6 - 1180021753032/253002341*e^5 - 519471547226/253002341*e^4 + 331763514017/253002341*e^3 + 117949115461/253002341*e^2 - 26808124059/253002341*e - 1388786564/253002341, -220161915/253002341*e^18 - 939975717/253002341*e^17 + 3960936956/253002341*e^16 + 20842552856/253002341*e^15 - 22749618325/253002341*e^14 - 184056594947/253002341*e^13 + 14196633654/253002341*e^12 + 823965245727/253002341*e^11 + 330272622731/253002341*e^10 - 1970506759052/253002341*e^9 - 1280275879821/253002341*e^8 + 2451985087875/253002341*e^7 + 1872115492458/253002341*e^6 - 1466966405364/253002341*e^5 - 1154858388068/253002341*e^4 + 324182394347/253002341*e^3 + 245814276530/253002341*e^2 - 470082781/253002341*e - 259321398/253002341, -610078999/253002341*e^18 - 2574406019/253002341*e^17 + 11087287100/253002341*e^16 + 57170170969/253002341*e^15 - 65425853789/253002341*e^14 - 505969327805/253002341*e^13 + 59323846140/253002341*e^12 + 2272896898415/253002341*e^11 + 833077606332/253002341*e^10 - 5468647680724/253002341*e^9 - 3379048865928/253002341*e^8 + 6889701287409/253002341*e^7 + 5034936825400/253002341*e^6 - 4251379570159/253002341*e^5 - 3165342905287/253002341*e^4 + 1056890601126/253002341*e^3 + 699673328322/253002341*e^2 - 49558005693/253002341*e - 7362089202/253002341, 656326698/253002341*e^18 + 2809747533/253002341*e^17 - 11708050728/253002341*e^16 - 62203548919/253002341*e^15 + 65374420740/253002341*e^14 + 548107015868/253002341*e^13 - 17923492716/253002341*e^12 - 2446130000981/253002341*e^11 - 1112140330127/253002341*e^10 + 5824800717739/253002341*e^9 + 4189540027502/253002341*e^8 - 7213857307180/253002341*e^7 - 6182435319266/253002341*e^6 + 4333851340936/253002341*e^5 + 3932747925746/253002341*e^4 - 1034928843131/253002341*e^3 - 888595913252/253002341*e^2 + 42991527255/253002341*e + 7148804197/253002341, -408257912/253002341*e^18 - 1667930390/253002341*e^17 + 7467557265/253002341*e^16 + 36909149814/253002341*e^15 - 44689386084/253002341*e^14 - 325114553764/253002341*e^13 + 45891394927/253002341*e^12 + 1450664292335/253002341*e^11 + 540960102506/253002341*e^10 - 3453921899155/253002341*e^9 - 2261613423050/253002341*e^8 + 4274042926476/253002341*e^7 + 3449370999772/253002341*e^6 - 2553612483570/253002341*e^5 - 2240271627885/253002341*e^4 + 592575536659/253002341*e^3 + 519155220741/253002341*e^2 - 17454780154/253002341*e - 7856052629/253002341, 250981625/253002341*e^18 + 1129603690/253002341*e^17 - 4291456672/253002341*e^16 - 24878184962/253002341*e^15 + 20958811862/253002341*e^14 + 217528314541/253002341*e^13 + 27950834193/253002341*e^12 - 959011493388/253002341*e^11 - 575840800577/253002341*e^10 + 2236196043322/253002341*e^9 + 1944166080352/253002341*e^8 - 2661174701066/253002341*e^7 - 2756283791298/253002341*e^6 + 1469337035719/253002341*e^5 + 1711324150863/253002341*e^4 - 269557318226/253002341*e^3 - 381630489445/253002341*e^2 - 12242178565/253002341*e + 4617576226/253002341, -714436036/253002341*e^18 - 2834403091/253002341*e^17 + 13223122607/253002341*e^16 + 62574315197/253002341*e^15 - 81654898043/253002341*e^14 - 549330461861/253002341*e^13 + 111119198982/253002341*e^12 + 2438240493992/253002341*e^11 + 805184449774/253002341*e^10 - 5751981530540/253002341*e^9 - 3602652077772/253002341*e^8 + 6987441641162/253002341*e^7 + 5555553874799/253002341*e^6 - 4001520760861/253002341*e^5 - 3591937285105/253002341*e^4 + 812280337287/253002341*e^3 + 815332281360/253002341*e^2 + 9453348937/253002341*e - 8779241048/253002341, -5922557/253002341*e^18 - 216982654/253002341*e^17 - 318992105/253002341*e^16 + 4921447697/253002341*e^15 + 8761082602/253002341*e^14 - 44600154040/253002341*e^13 - 81864355022/253002341*e^12 + 205928534473/253002341*e^11 + 374806562348/253002341*e^10 - 512678299586/253002341*e^9 - 902652845370/253002341*e^8 + 676152768433/253002341*e^7 + 1112387636030/253002341*e^6 - 441640976020/253002341*e^5 - 636562190525/253002341*e^4 + 112039753731/253002341*e^3 + 127642354952/253002341*e^2 - 2754748656/253002341*e + 978091993/253002341, 850622040/253002341*e^18 + 3427730122/253002341*e^17 - 15847224642/253002341*e^16 - 76162126054/253002341*e^15 + 99621744885/253002341*e^14 + 674799332145/253002341*e^13 - 154385283563/253002341*e^12 - 3037364482999/253002341*e^11 - 856464376008/253002341*e^10 + 7332465631254/253002341*e^9 + 4038679833774/253002341*e^8 - 9283984791194/253002341*e^7 - 6296174209166/253002341*e^6 + 5754675315762/253002341*e^5 + 4081996890352/253002341*e^4 - 1421551547238/253002341*e^3 - 929487838162/253002341*e^2 + 57316988138/253002341*e + 8847755754/253002341, 721484080/253002341*e^18 + 2833234875/253002341*e^17 - 13460090670/253002341*e^16 - 62617370710/253002341*e^15 + 84828215014/253002341*e^14 + 550671712308/253002341*e^13 - 133118642942/253002341*e^12 - 2451501320847/253002341*e^11 - 720176797423/253002341*e^10 + 5815806834740/253002341*e^9 + 3420725598331/253002341*e^8 - 7150681127466/253002341*e^7 - 5355485880000/253002341*e^6 + 4222557807078/253002341*e^5 + 3496350331616/253002341*e^4 - 961421829376/253002341*e^3 - 802418118058/253002341*e^2 + 27036825946/253002341*e + 8368449142/253002341, -699630746/253002341*e^18 - 3042928204/253002341*e^17 + 12411297014/253002341*e^16 + 67411965540/253002341*e^15 - 68233498754/253002341*e^14 - 594411795535/253002341*e^13 + 6976606543/253002341*e^12 + 2654180355074/253002341*e^11 + 1236789703003/253002341*e^10 - 6318634902477/253002341*e^9 - 4582233391681/253002341*e^8 + 7798322686888/253002341*e^7 + 6730327600023/253002341*e^6 - 4605835737559/253002341*e^5 - 4280985061368/253002341*e^4 + 1012338441589/253002341*e^3 + 978077182421/253002341*e^2 - 9546529686/253002341*e - 12088219109/253002341, -392655799/253002341*e^18 - 1890879248/253002341*e^17 + 6556989203/253002341*e^16 + 42001258796/253002341*e^15 - 29276663388/253002341*e^14 - 371555849900/253002341*e^13 - 75518158617/253002341*e^12 + 1666066639783/253002341*e^11 + 1049989974623/253002341*e^10 - 3990019250524/253002341*e^9 - 3426420624933/253002341*e^8 + 4971310742828/253002341*e^7 + 4844824919778/253002341*e^6 - 2985141282129/253002341*e^5 - 3030667467976/253002341*e^4 + 683091590754/253002341*e^3 + 679807634831/253002341*e^2 - 15516757811/253002341*e - 6889877463/253002341, -169451304/253002341*e^18 - 1000500613/253002341*e^17 + 2316857958/253002341*e^16 + 22106772551/253002341*e^15 - 1325253566/253002341*e^14 - 193988595142/253002341*e^13 - 131943952283/253002341*e^12 + 858709023648/253002341*e^11 + 895722571872/253002341*e^10 - 2012656411103/253002341*e^9 - 2530889694640/253002341*e^8 + 2415061577875/253002341*e^7 + 3384116148058/253002341*e^6 - 1359235568529/253002341*e^5 - 2054711018104/253002341*e^4 + 272361317494/253002341*e^3 + 444891884775/253002341*e^2 - 1125178641/253002341*e - 2091979460/253002341, 621374414/253002341*e^18 + 2669093651/253002341*e^17 - 11064197970/253002341*e^16 - 59043880815/253002341*e^15 + 61492328078/253002341*e^14 + 519596980584/253002341*e^13 - 13910885849/253002341*e^12 - 2313613168873/253002341*e^11 - 1064198403649/253002341*e^10 + 5484868777546/253002341*e^9 + 3986030271487/253002341*e^8 - 6727375074635/253002341*e^7 - 5862270864277/253002341*e^6 + 3948346969431/253002341*e^5 + 3708143203422/253002341*e^4 - 882591398435/253002341*e^3 - 824874382045/253002341*e^2 + 22699598893/253002341*e + 4975232548/253002341, 529925254/253002341*e^18 + 2000635573/253002341*e^17 - 10192802558/253002341*e^16 - 44401458428/253002341*e^15 + 69117597877/253002341*e^14 + 392739174553/253002341*e^13 - 158221249848/253002341*e^12 - 1762866552821/253002341*e^11 - 255843731291/253002341*e^10 + 4232568430938/253002341*e^9 + 1847900429731/253002341*e^8 - 5291178093025/253002341*e^7 - 3080511544233/253002341*e^6 + 3168122469160/253002341*e^5 + 2033301754954/253002341*e^4 - 693720382815/253002341*e^3 - 464730161494/253002341*e^2 + 257972588/253002341*e + 5723790985/253002341, -1138585163/253002341*e^18 - 4683187375/253002341*e^17 + 20739826356/253002341*e^16 + 103587099501/253002341*e^15 - 122796605658/253002341*e^14 - 911802151889/253002341*e^13 + 112626527708/253002341*e^12 + 4063522446351/253002341*e^11 + 1572353958646/253002341*e^10 - 9652953587951/253002341*e^9 - 6442564158570/253002341*e^8 + 11889542539424/253002341*e^7 + 9755474836768/253002341*e^6 - 7032614832404/253002341*e^5 - 6296825496592/253002341*e^4 + 1592683426723/253002341*e^3 + 1442234825988/253002341*e^2 - 39296851105/253002341*e - 16415637410/253002341, -3455202/253002341*e^18 - 171636819/253002341*e^17 - 307469618/253002341*e^16 + 3818985703/253002341*e^15 + 7721624288/253002341*e^14 - 33741587750/253002341*e^13 - 70022621956/253002341*e^12 + 150279825956/253002341*e^11 + 314298642827/253002341*e^10 - 353684211766/253002341*e^9 - 743651646776/253002341*e^8 + 422775987153/253002341*e^7 + 901086036930/253002341*e^6 - 227220484593/253002341*e^5 - 514437204547/253002341*e^4 + 29761551341/253002341*e^3 + 115510730747/253002341*e^2 + 5379695876/253002341*e - 5016788202/253002341, -340830077/253002341*e^18 - 1353377863/253002341*e^17 + 6365590799/253002341*e^16 + 29995583497/253002341*e^15 - 40211140346/253002341*e^14 - 264774406292/253002341*e^13 + 63822656440/253002341*e^12 + 1185044591125/253002341*e^11 + 338357125542/253002341*e^10 - 2835390885573/253002341*e^9 - 1622330818527/253002341*e^8 + 3539934961277/253002341*e^7 + 2565750994834/253002341*e^6 - 2153142583024/253002341*e^5 - 1708393818730/253002341*e^4 + 523923367858/253002341*e^3 + 406790481563/253002341*e^2 - 21519470614/253002341*e - 4077385131/253002341, 311703666/253002341*e^18 + 1169666595/253002341*e^17 - 5996839088/253002341*e^16 - 25911471871/253002341*e^15 + 40714472624/253002341*e^14 + 228644473967/253002341*e^13 - 93943649498/253002341*e^12 - 1023105256899/253002341*e^11 - 144159809395/253002341*e^10 + 2446730650516/253002341*e^9 + 1062564870176/253002341*e^8 - 3046239026467/253002341*e^7 - 1762621119262/253002341*e^6 + 1825579509749/253002341*e^5 + 1148725801937/253002341*e^4 - 410152686214/253002341*e^3 - 254013661824/253002341*e^2 + 3952872946/253002341*e - 406859556/253002341, 836876164/253002341*e^18 + 3425182969/253002341*e^17 - 15379175772/253002341*e^16 - 75858394258/253002341*e^15 + 93382567582/253002341*e^14 + 668665847432/253002341*e^13 - 112092669032/253002341*e^12 - 2984192984286/253002341*e^11 - 1012413771471/253002341*e^10 + 7095467298098/253002341*e^9 + 4344759191942/253002341*e^8 - 8722294495128/253002341*e^7 - 6583311858203/253002341*e^6 + 5076425625000/253002341*e^5 + 4186205933206/253002341*e^4 - 1043873826493/253002341*e^3 - 939486132001/253002341*e^2 - 15456495869/253002341*e + 10349547328/253002341, 716417571/253002341*e^18 + 3132243802/253002341*e^17 - 12649442096/253002341*e^16 - 69326436254/253002341*e^15 + 68693981788/253002341*e^14 + 610568747475/253002341*e^13 + 1477961227/253002341*e^12 - 2721905620468/253002341*e^11 - 1293596780406/253002341*e^10 + 6463966485170/253002341*e^9 + 4714362726935/253002341*e^8 - 7943673974754/253002341*e^7 - 6829884874055/253002341*e^6 + 4649639758067/253002341*e^5 + 4255058051289/253002341*e^4 - 989915591242/253002341*e^3 - 938220911284/253002341*e^2 - 1732475834/253002341*e + 8872295871/253002341, 304687185/253002341*e^18 + 1230228185/253002341*e^17 - 5632968516/253002341*e^16 - 27248577739/253002341*e^15 + 34751486920/253002341*e^14 + 240453101829/253002341*e^13 - 47338408773/253002341*e^12 - 1076818978064/253002341*e^11 - 341339768219/253002341*e^10 + 2584240791771/253002341*e^9 + 1528096431193/253002341*e^8 - 3260544507005/253002341*e^7 - 2360407557436/253002341*e^6 + 2055896330901/253002341*e^5 + 1534665102637/253002341*e^4 - 571335205002/253002341*e^3 - 352681235561/253002341*e^2 + 46665881135/253002341*e + 4477161355/253002341, -1316848423/253002341*e^18 - 5383834112/253002341*e^17 + 24398563933/253002341*e^16 + 119650814029/253002341*e^15 - 151413511603/253002341*e^14 - 1060217207843/253002341*e^13 + 216002336917/253002341*e^12 + 4771512979864/253002341*e^11 + 1418613605213/253002341*e^10 - 11511009445525/253002341*e^9 - 6440643578665/253002341*e^8 + 14545102404619/253002341*e^7 + 9920195978194/253002341*e^6 - 8965289055881/253002341*e^5 - 6370271414347/253002341*e^4 + 2178602738875/253002341*e^3 + 1437285462115/253002341*e^2 - 80019963475/253002341*e - 16003440227/253002341, -866660503/253002341*e^18 - 3825275582/253002341*e^17 + 15268497758/253002341*e^16 + 84871571865/253002341*e^15 - 82147673616/253002341*e^14 - 750147069336/253002341*e^13 - 12974903585/253002341*e^12 + 3362980307202/253002341*e^11 + 1634429404648/253002341*e^10 - 8064537556246/253002341*e^9 - 5944124383839/253002341*e^8 + 10100731240972/253002341*e^7 + 8712976830307/253002341*e^6 - 6167345293085/253002341*e^5 - 5549769589492/253002341*e^4 + 1499481957120/253002341*e^3 + 1263552372805/253002341*e^2 - 59966320618/253002341*e - 12263200001/253002341, 685308292/253002341*e^18 + 2544507251/253002341*e^17 - 13210637554/253002341*e^16 - 56267419797/253002341*e^15 + 90109395804/253002341*e^14 + 495229523041/253002341*e^13 - 211991673473/253002341*e^12 - 2206944214449/253002341*e^11 - 291700943592/253002341*e^10 + 5239314812499/253002341*e^9 + 2275193915494/253002341*e^8 - 6425380318710/253002341*e^7 - 3805207253960/253002341*e^6 + 3717632619818/253002341*e^5 + 2497845313036/253002341*e^4 - 751036677235/253002341*e^3 - 564627089468/253002341*e^2 - 15050513233/253002341*e + 4940329738/253002341, 461181776/253002341*e^18 + 2303364659/253002341*e^17 - 7420798677/253002341*e^16 - 51003976100/253002341*e^15 + 28200051846/253002341*e^14 + 449249585165/253002341*e^13 + 143052154998/253002341*e^12 - 2002035609424/253002341*e^11 - 1475721217569/253002341*e^10 + 4751344253975/253002341*e^9 + 4604761049214/253002341*e^8 - 5843462970313/253002341*e^7 - 6422485392706/253002341*e^6 + 3458632164987/253002341*e^5 + 4022789332662/253002341*e^4 - 784620520371/253002341*e^3 - 923715850065/253002341*e^2 + 17826674809/253002341*e + 12543167656/253002341, -1545082074/253002341*e^18 - 6410607235/253002341*e^17 + 28112556696/253002341*e^16 + 141933982027/253002341*e^15 - 166111732082/253002341*e^14 - 1250922820087/253002341*e^13 + 150023597294/253002341*e^12 + 5584222223694/253002341*e^11 + 2136315204473/253002341*e^10 - 13294964517122/253002341*e^9 - 8716403065873/253002341*e^8 + 16415413625111/253002341*e^7 + 13142511454213/253002341*e^6 - 9698812311030/253002341*e^5 - 8424451391013/253002341*e^4 + 2134710675688/253002341*e^3 + 1907218037825/253002341*e^2 - 22104715508/253002341*e - 18632068431/253002341, 63353482/253002341*e^18 + 347628319/253002341*e^17 - 1044250065/253002341*e^16 - 7979498818/253002341*e^15 + 4312107845/253002341*e^14 + 73793487962/253002341*e^13 + 17197311061/253002341*e^12 - 352381059611/253002341*e^11 - 201033799883/253002341*e^10 + 927189371750/253002341*e^9 + 661766599746/253002341*e^8 - 1337572556645/253002341*e^7 - 978254899847/253002341*e^6 + 1005179360348/253002341*e^5 + 648651280754/253002341*e^4 - 336067663619/253002341*e^3 - 151892763170/253002341*e^2 + 28752193776/253002341*e + 993387291/253002341, 661793293/253002341*e^18 + 2820355562/253002341*e^17 - 11955881452/253002341*e^16 - 62691990615/253002341*e^15 + 69241163385/253002341*e^14 + 555567110205/253002341*e^13 - 47276369627/253002341*e^12 - 2500656540871/253002341*e^11 - 991512099189/253002341*e^10 + 6037305212982/253002341*e^9 + 3916535666846/253002341*e^8 - 7658282185695/253002341*e^7 - 5855329778523/253002341*e^6 + 4796791536185/253002341*e^5 + 3743575013982/253002341*e^4 - 1235207104747/253002341*e^3 - 852558197330/253002341*e^2 + 65027540282/253002341*e + 9090549879/253002341, 1122265440/253002341*e^18 + 4533850979/253002341*e^17 - 20713442658/253002341*e^16 - 100407837224/253002341*e^15 + 127024160601/253002341*e^14 + 885412557969/253002341*e^13 - 163807046171/253002341*e^12 - 3957042851696/253002341*e^11 - 1313047344838/253002341*e^10 + 9445166943525/253002341*e^9 + 5779532874678/253002341*e^8 - 11738542201191/253002341*e^7 - 8893490633937/253002341*e^6 + 7069574549661/253002341*e^5 + 5765860957408/253002341*e^4 - 1673291691017/253002341*e^3 - 1324794903682/253002341*e^2 + 58753095394/253002341*e + 15571634929/253002341, 1518290099/253002341*e^18 + 6593792766/253002341*e^17 - 27155982153/253002341*e^16 - 146500545755/253002341*e^15 + 153071713026/253002341*e^14 + 1297228905497/253002341*e^13 - 59970961071/253002341*e^12 - 5830096789284/253002341*e^11 - 2479819402198/253002341*e^10 + 14029999465513/253002341*e^9 + 9444584313464/253002341*e^8 - 17658072010698/253002341*e^7 - 13956921247260/253002341*e^6 + 10834285090624/253002341*e^5 + 8860151300539/253002341*e^4 - 2629345382611/253002341*e^3 - 2004378950615/253002341*e^2 + 104166688300/253002341*e + 22250403663/253002341, 813302447/253002341*e^18 + 3122176706/253002341*e^17 - 15448853576/253002341*e^16 - 69298545623/253002341*e^15 + 101586965668/253002341*e^14 + 613278947055/253002341*e^13 - 201099056246/253002341*e^12 - 2757097541426/253002341*e^11 - 592407441809/253002341*e^10 + 6647907259306/253002341*e^9 + 3359863594204/253002341*e^8 - 8411479909554/253002341*e^7 - 5469014444296/253002341*e^6 + 5227152936259/253002341*e^5 + 3643633927626/253002341*e^4 - 1316520399092/253002341*e^3 - 858608619097/253002341*e^2 + 60944133235/253002341*e + 11712769899/253002341, -169698913/253002341*e^18 - 950772778/253002341*e^17 + 2475151486/253002341*e^16 + 20984850606/253002341*e^15 - 4848181740/253002341*e^14 - 183760534200/253002341*e^13 - 100055960080/253002341*e^12 + 810069487750/253002341*e^11 + 747520067820/253002341*e^10 - 1881572278032/253002341*e^9 - 2157860920947/253002341*e^8 + 2207499126925/253002341*e^7 + 2889303468532/253002341*e^6 - 1163490305283/253002341*e^5 - 1742574743082/253002341*e^4 + 175149890686/253002341*e^3 + 377787079409/253002341*e^2 + 16588154565/253002341*e - 3860988608/253002341, -147793649/253002341*e^18 - 614239896/253002341*e^17 + 2736830093/253002341*e^16 + 13695779740/253002341*e^15 - 16859358810/253002341*e^14 - 121667392718/253002341*e^13 + 21846709442/253002341*e^12 + 547730210846/253002341*e^11 + 177714422877/253002341*e^10 - 1313014792461/253002341*e^9 - 795681937132/253002341*e^8 + 1613526885359/253002341*e^7 + 1262281733623/253002341*e^6 - 893204729242/253002341*e^5 - 860203346274/253002341*e^4 + 121915280336/253002341*e^3 + 212520693561/253002341*e^2 + 27988124651/253002341*e + 53171638/253002341, -330560/253002341*e^18 + 54023500/253002341*e^17 + 222082490/253002341*e^16 - 1054086530/253002341*e^15 - 4828547773/253002341*e^14 + 7512496145/253002341*e^13 + 42272701141/253002341*e^12 - 21856951946/253002341*e^11 - 187318093972/253002341*e^10 + 9906743548/253002341*e^9 + 439331439402/253002341*e^8 + 64334689357/253002341*e^7 - 523475428522/253002341*e^6 - 83714983846/253002341*e^5 + 282246400769/253002341*e^4 + 1069566804/253002341*e^3 - 44388362648/253002341*e^2 + 18265573631/253002341*e - 4478162018/253002341, -1898222604/253002341*e^18 - 7858748729/253002341*e^17 + 34694504738/253002341*e^16 + 174335957685/253002341*e^15 - 207359124135/253002341*e^14 - 1540822153999/253002341*e^13 + 211049036444/253002341*e^12 + 6908362310354/253002341*e^11 + 2518918856807/253002341*e^10 - 16569470875597/253002341*e^9 - 10506020042699/253002341*e^8 + 20746706774854/253002341*e^7 + 15993194149034/253002341*e^6 - 12623128659001/253002341*e^5 - 10351614618466/253002341*e^4 + 3015103779247/253002341*e^3 + 2381974077167/253002341*e^2 - 100180068138/253002341*e - 29544057074/253002341, -1165060839/253002341*e^18 - 4962532627/253002341*e^17 + 21016768190/253002341*e^16 + 110161463642/253002341*e^15 - 121389455492/253002341*e^14 - 974462109205/253002341*e^13 + 80623508752/253002341*e^12 + 4374029048774/253002341*e^11 + 1747066292187/253002341*e^10 - 10508201332858/253002341*e^9 - 6867084864655/253002341*e^8 + 13189961680562/253002341*e^7 + 10216508240296/253002341*e^6 - 8049669238195/253002341*e^5 - 6485004691393/253002341*e^4 + 1920952704577/253002341*e^3 + 1467800028532/253002341*e^2 - 64190611002/253002341*e - 20344713446/253002341, -1737694505/253002341*e^18 - 7256282278/253002341*e^17 + 31502880454/253002341*e^16 + 160689639404/253002341*e^15 - 184202051836/253002341*e^14 - 1416425715954/253002341*e^13 + 144828862847/253002341*e^12 + 6323259948883/253002341*e^11 + 2513056183511/253002341*e^10 - 15052477706095/253002341*e^9 - 10073883291247/253002341*e^8 + 18580110849292/253002341*e^7 + 15120517841303/253002341*e^6 - 10978854777236/253002341*e^5 - 9671418323056/253002341*e^4 + 2422307716812/253002341*e^3 + 2187021776403/253002341*e^2 - 27414550753/253002341*e - 22669559133/253002341, 167224827/253002341*e^18 + 419733221/253002341*e^17 - 3578834631/253002341*e^16 - 9083754451/253002341*e^15 + 29479635286/253002341*e^14 + 77723438725/253002341*e^13 - 113577739200/253002341*e^12 - 332609765014/253002341*e^11 + 179910803933/253002341*e^10 + 737986252669/253002341*e^9 + 43789895490/253002341*e^8 - 787237827415/253002341*e^7 - 462921965715/253002341*e^6 + 308697277711/253002341*e^5 + 477758426653/253002341*e^4 + 23264171071/253002341*e^3 - 141194345380/253002341*e^2 - 25635580120/253002341*e - 1400975964/253002341, -575893170/253002341*e^18 - 2537689393/253002341*e^17 + 10205827684/253002341*e^16 + 56430909137/253002341*e^15 - 55902773987/253002341*e^14 - 500356793414/253002341*e^13 + 2997316943/253002341*e^12 + 2253965305868/253002341*e^11 + 1033075829740/253002341*e^10 - 5448716425417/253002341*e^9 - 3816293951205/253002341*e^8 + 6927385932385/253002341*e^7 + 5604198702009/253002341*e^6 - 4357950404459/253002341*e^5 - 3552842322067/253002341*e^4 + 1133204302785/253002341*e^3 + 796549312222/253002341*e^2 - 61644541269/253002341*e - 5249690798/253002341, -1137665997/253002341*e^18 - 4748266586/253002341*e^17 + 20681127346/253002341*e^16 + 105304196568/253002341*e^15 - 121811202113/253002341*e^14 - 930308520574/253002341*e^13 + 104999767967/253002341*e^12 + 4168226476553/253002341*e^11 + 1604299218596/253002341*e^10 - 9985089578033/253002341*e^9 - 6518082555268/253002341*e^8 + 12471473009177/253002341*e^7 + 9851823446609/253002341*e^6 - 7544759573203/253002341*e^5 - 6352793475798/253002341*e^4 + 1769407775290/253002341*e^3 + 1454050166914/253002341*e^2 - 49296487213/253002341*e - 15594723053/253002341, 1439728634/253002341*e^18 + 6160607168/253002341*e^17 - 25964658209/253002341*e^16 - 136850327189/253002341*e^15 + 149862753827/253002341*e^14 + 1211499543012/253002341*e^13 - 98481718062/253002341*e^12 - 5443238500429/253002341*e^11 - 2162967019689/253002341*e^10 + 13094092558593/253002341*e^9 + 8490162662874/253002341*e^8 - 16471024251899/253002341*e^7 - 12615970604042/253002341*e^6 + 10092808713222/253002341*e^5 + 7989098949811/253002341*e^4 - 2427464034205/253002341*e^3 - 1790193093665/253002341*e^2 + 80735338797/253002341*e + 16999937949/253002341, 1480991400/253002341*e^18 + 5946253379/253002341*e^17 - 27504280655/253002341*e^16 - 131826320993/253002341*e^15 + 171541157484/253002341*e^14 + 1164272936225/253002341*e^13 - 252493867828/253002341*e^12 - 5215204160837/253002341*e^11 - 1558783851249/253002341*e^10 + 12488470005329/253002341*e^9 + 7168313700287/253002341*e^8 - 15576244588507/253002341*e^7 - 11074629421136/253002341*e^6 + 9361308708339/253002341*e^5 + 7117479733225/253002341*e^4 - 2127427981395/253002341*e^3 - 1603713333720/253002341*e^2 + 38161388025/253002341*e + 15453243021/253002341, 328638894/253002341*e^18 + 1443170867/253002341*e^17 - 5776521835/253002341*e^16 - 31847817148/253002341*e^15 + 30927542767/253002341*e^14 + 279053322656/253002341*e^13 + 5900637373/253002341*e^12 - 1232851488342/253002341*e^11 - 617347918324/253002341*e^10 + 2880078142113/253002341*e^9 + 2223577558291/253002341*e^8 - 3429278298300/253002341*e^7 - 3224038554416/253002341*e^6 + 1885143064994/253002341*e^5 + 2034108407075/253002341*e^4 - 343823399166/253002341*e^3 - 459482075343/253002341*e^2 - 10358733641/253002341*e + 2242447017/253002341, 1294689522/253002341*e^18 + 5264253660/253002341*e^17 - 23880425289/253002341*e^16 - 116726432089/253002341*e^15 + 146211621106/253002341*e^14 + 1031095803768/253002341*e^13 - 185870387769/253002341*e^12 - 4619797612922/253002341*e^11 - 1532003722193/253002341*e^10 + 11069340409193/253002341*e^9 + 6725468682754/253002341*e^8 - 13836590911554/253002341*e^7 - 10365358826239/253002341*e^6 + 8395285528817/253002341*e^5 + 6728025759717/253002341*e^4 - 2001821594750/253002341*e^3 - 1530321466777/253002341*e^2 + 67874997329/253002341*e + 12634801328/253002341, 495420430/253002341*e^18 + 2119638221/253002341*e^17 - 8869981972/253002341*e^16 - 47004835800/253002341*e^15 + 49930448470/253002341*e^14 + 414996503250/253002341*e^13 - 16938501017/253002341*e^12 - 1855843866042/253002341*e^11 - 836408217182/253002341*e^10 + 4423925097488/253002341*e^9 + 3203167083351/253002341*e^8 - 5454017679186/253002341*e^7 - 4820170909360/253002341*e^6 + 3177676706942/253002341*e^5 + 3160655644132/253002341*e^4 - 647238361481/253002341*e^3 - 749957525545/253002341*e^2 - 13755338543/253002341*e + 9247087500/253002341, 1415877524/253002341*e^18 + 6008817279/253002341*e^17 - 25512103603/253002341*e^16 - 133252491529/253002341*e^15 + 146577010861/253002341*e^14 + 1176737149468/253002341*e^13 - 86175024149/253002341*e^12 - 5266354447923/253002341*e^11 - 2197552715004/253002341*e^10 + 12580703048012/253002341*e^9 + 8600765935582/253002341*e^8 - 15604084845518/253002341*e^7 - 12889868001203/253002341*e^6 + 9259317364654/253002341*e^5 + 8312549068786/253002341*e^4 - 2024487030670/253002341*e^3 - 1923022158710/253002341*e^2 + 10427843443/253002341*e + 23680890204/253002341, -1371783363/253002341*e^18 - 5577138567/253002341*e^17 + 25284689440/253002341*e^16 + 123568840960/253002341*e^15 - 154702462641/253002341*e^14 - 1090265772343/253002341*e^13 + 197564246408/253002341*e^12 + 4875847228445/253002341*e^11 + 1601965351203/253002341*e^10 - 11645579231026/253002341*e^9 - 7002172629382/253002341*e^8 + 14466999003679/253002341*e^7 + 10681357073491/253002341*e^6 - 8651699177577/253002341*e^5 - 6830897650070/253002341*e^4 + 1954646905192/253002341*e^3 + 1542153171432/253002341*e^2 - 29826880949/253002341*e - 18446752074/253002341, 1030770485/253002341*e^18 + 4036958269/253002341*e^17 - 19341638745/253002341*e^16 - 89489519770/253002341*e^15 + 123558227326/253002341*e^14 + 790555440772/253002341*e^13 - 209582192587/253002341*e^12 - 3544391439314/253002341*e^11 - 952911915273/253002341*e^10 + 8506436518377/253002341*e^9 + 4748207862742/253002341*e^8 - 10665064958215/253002341*e^7 - 7566005978627/253002341*e^6 + 6492725751862/253002341*e^5 + 5022407385461/253002341*e^4 - 1539360744319/253002341*e^3 - 1182719819420/253002341*e^2 + 44804986085/253002341*e + 16014115927/253002341, 8983334/253002341*e^18 - 189390589/253002341*e^17 - 651031990/253002341*e^16 + 4351207512/253002341*e^15 + 11698572115/253002341*e^14 - 40042253380/253002341*e^13 - 95020276086/253002341*e^12 + 188831752422/253002341*e^11 + 406894579114/253002341*e^10 - 487238517503/253002341*e^9 - 949818524363/253002341*e^8 + 691421093614/253002341*e^7 + 1172582194492/253002341*e^6 - 530674438977/253002341*e^5 - 712372037665/253002341*e^4 + 193882937842/253002341*e^3 + 177267227744/253002341*e^2 - 19372004275/253002341*e - 8685191189/253002341, -136458539/253002341*e^18 - 497552372/253002341*e^17 + 2804851473/253002341*e^16 + 11292454719/253002341*e^15 - 21842914822/253002341*e^14 - 102910016410/253002341*e^13 + 76974915634/253002341*e^12 + 481429930942/253002341*e^11 - 99190553401/253002341*e^10 - 1227056332938/253002341*e^9 - 71072888162/253002341*e^8 + 1675649761872/253002341*e^7 + 267961508780/253002341*e^6 - 1137626694218/253002341*e^5 - 186425256705/253002341*e^4 + 311808974122/253002341*e^3 + 40001089323/253002341*e^2 - 20322261896/253002341*e - 1529142218/253002341, 497270157/253002341*e^18 + 2146340967/253002341*e^17 - 8863643660/253002341*e^16 - 47522299192/253002341*e^15 + 49500028289/253002341*e^14 + 418914746417/253002341*e^13 - 14370884757/253002341*e^12 - 1871688936487/253002341*e^11 - 834667351875/253002341*e^10 + 4470655080825/253002341*e^9 + 3145774230607/253002341*e^8 - 5585751956450/253002341*e^7 - 4637625135482/253002341*e^6 + 3449370928215/253002341*e^5 + 2942629663234/253002341*e^4 - 911475188589/253002341*e^3 - 660025923732/253002341*e^2 + 66181007663/253002341*e + 6229300114/253002341, -682948508/253002341*e^18 - 2750518509/253002341*e^17 + 12620173180/253002341*e^16 + 60949183810/253002341*e^15 - 77505761603/253002341*e^14 - 537796873740/253002341*e^13 + 100198172273/253002341*e^12 + 2404858371889/253002341*e^11 + 803262193189/253002341*e^10 - 5740976654064/253002341*e^9 - 3543028572261/253002341*e^8 + 7123300284251/253002341*e^7 + 5455125341654/253002341*e^6 - 4256642609425/253002341*e^5 - 3512025105734/253002341*e^4 + 981405805578/253002341*e^3 + 779739218113/253002341*e^2 - 30674295587/253002341*e - 5870706680/253002341, 317911507/253002341*e^18 + 1493528815/253002341*e^17 - 5482874568/253002341*e^16 - 33289174631/253002341*e^15 + 27618574988/253002341*e^14 + 295756457375/253002341*e^13 + 25792641521/253002341*e^12 - 1333657920291/253002341*e^11 - 686165613295/253002341*e^10 + 3218618209680/253002341*e^9 + 2358866746631/253002341*e^8 - 4052898085641/253002341*e^7 - 3355434923302/253002341*e^6 + 2461944021783/253002341*e^5 + 2065827697762/253002341*e^4 - 563805034761/253002341*e^3 - 448334599192/253002341*e^2 + 11127483650/253002341*e + 4830166995/253002341, -1683402767/253002341*e^18 - 7304512785/253002341*e^17 + 29948379934/253002341*e^16 + 162011736858/253002341*e^15 - 165958041286/253002341*e^14 - 1431137720673/253002341*e^13 + 31291047024/253002341*e^12 + 6409136764124/253002341*e^11 + 2917732244308/253002341*e^10 - 15336207837128/253002341*e^9 - 10905788457119/253002341*e^8 + 19112244094635/253002341*e^7 + 16065859043217/253002341*e^6 - 11511752876497/253002341*e^5 - 10211144393894/253002341*e^4 + 2664402635801/253002341*e^3 + 2310968132339/253002341*e^2 - 64193455137/253002341*e - 22912263084/253002341, 530635765/253002341*e^18 + 2078079913/253002341*e^17 - 9946817350/253002341*e^16 - 46001168551/253002341*e^15 + 63444450586/253002341*e^14 + 405354939808/253002341*e^13 - 107556453261/253002341*e^12 - 1809110978983/253002341*e^11 - 482881720750/253002341*e^10 + 4304949007699/253002341*e^9 + 2386214069290/253002341*e^8 - 5308224349206/253002341*e^7 - 3734931192678/253002341*e^6 + 3126065346178/253002341*e^5 + 2406608609392/253002341*e^4 - 683439651967/253002341*e^3 - 541215499382/253002341*e^2 + 5498926363/253002341*e + 8479435066/253002341, 1217821329/253002341*e^18 + 5131490150/253002341*e^17 - 22046932112/253002341*e^16 - 113700274658/253002341*e^15 + 128697151650/253002341*e^14 + 1003068013096/253002341*e^13 - 101162035960/253002341*e^12 - 4483901520244/253002341*e^11 - 1744600453667/253002341*e^10 + 10698244808880/253002341*e^9 + 6960568433930/253002341*e^8 - 13259036670810/253002341*e^7 - 10362628441780/253002341*e^6 + 7886313947764/253002341*e^5 + 6540937497295/253002341*e^4 - 1753940795486/253002341*e^3 - 1450334932363/253002341*e^2 + 19358142725/253002341*e + 12649377513/253002341, 948869234/253002341*e^18 + 4471450168/253002341*e^17 - 16006587596/253002341*e^16 - 99218662397/253002341*e^15 + 74250021502/253002341*e^14 + 876760138449/253002341*e^13 + 152219593941/253002341*e^12 - 3927594214894/253002341*e^11 - 2404704482513/253002341*e^10 + 9403586525919/253002341*e^9 + 7971528355889/253002341*e^8 - 11747908818580/253002341*e^7 - 11345827517861/253002341*e^6 + 7157410125096/253002341*e^5 + 7146191537095/253002341*e^4 - 1746285781908/253002341*e^3 - 1632323896165/253002341*e^2 + 77440353940/253002341*e + 21034479933/253002341, -1096926705/253002341*e^18 - 4421119733/253002341*e^17 + 20258125208/253002341*e^16 + 97788440781/253002341*e^15 - 124572211798/253002341*e^14 - 860634555710/253002341*e^13 + 165622123432/253002341*e^12 + 3834158773893/253002341*e^11 + 1246154391619/253002341*e^10 - 9102264751688/253002341*e^9 - 5511995358366/253002341*e^8 + 11200890459001/253002341*e^7 + 8423406568241/253002341*e^6 - 6623491262340/253002341*e^5 - 5377572646640/253002341*e^4 + 1508134782320/253002341*e^3 + 1189268333156/253002341*e^2 - 40700427133/253002341*e - 6958165896/253002341, -47515206/253002341*e^18 - 52210007/253002341*e^17 + 1189202080/253002341*e^16 + 1099902714/253002341*e^15 - 12175118276/253002341*e^14 - 9169897570/253002341*e^13 + 65652611580/253002341*e^12 + 38591965158/253002341*e^11 - 200118547260/253002341*e^10 - 87127273614/253002341*e^9 + 344082199258/253002341*e^8 + 106735886194/253002341*e^7 - 313847978157/253002341*e^6 - 76190473266/253002341*e^5 + 129740685458/253002341*e^4 + 36501892906/253002341*e^3 - 16281989796/253002341*e^2 - 8573954627/253002341*e + 1741669105/253002341, -474742316/253002341*e^18 - 1855300935/253002341*e^17 + 9096145566/253002341*e^16 + 41336102723/253002341*e^15 - 61418444704/253002341*e^14 - 367570878195/253002341*e^13 + 140511664041/253002341*e^12 + 1662767795299/253002341*e^11 + 215148414259/253002341*e^10 - 4042221032593/253002341*e^9 - 1553048296171/253002341*e^8 + 5164292749744/253002341*e^7 + 2499459140381/253002341*e^6 - 3215111062933/253002341*e^5 - 1551190032863/253002341*e^4 + 758555302503/253002341*e^3 + 325435630696/253002341*e^2 - 9851699847/253002341*e - 1791655899/253002341, 6729498/253002341*e^18 - 160810876/253002341*e^17 - 543366063/253002341*e^16 + 3554741085/253002341*e^15 + 9803920818/253002341*e^14 - 30982202425/253002341*e^13 - 78257298237/253002341*e^12 + 134524951395/253002341*e^11 + 324272053940/253002341*e^10 - 302728422465/253002341*e^9 - 717603504048/253002341*e^8 + 337383579545/253002341*e^7 + 811907371917/253002341*e^6 - 176360013198/253002341*e^5 - 431613392852/253002341*e^4 + 50455915636/253002341*e^3 + 91916748881/253002341*e^2 - 15280773464/253002341*e - 5095668855/253002341, 481446407/253002341*e^18 + 2292496749/253002341*e^17 - 8059814511/253002341*e^16 - 50786140787/253002341*e^15 + 36456447591/253002341*e^14 + 447694409555/253002341*e^13 + 86213314336/253002341*e^12 - 1998161977687/253002341*e^11 - 1249322721380/253002341*e^10 + 4756907740012/253002341*e^9 + 4075298022081/253002341*e^8 - 5892115139740/253002341*e^7 - 5716388013181/253002341*e^6 + 3555848139526/253002341*e^5 + 3523496862116/253002341*e^4 - 871702000528/253002341*e^3 - 767136203770/253002341*e^2 + 45377210301/253002341*e + 3031990456/253002341, 1666912456/253002341*e^18 + 6326999061/253002341*e^17 - 31716631981/253002341*e^16 - 140095638848/253002341*e^15 + 209306277079/253002341*e^14 + 1235388711235/253002341*e^13 - 420956998596/253002341*e^12 - 5522314143613/253002341*e^11 - 1180109008259/253002341*e^10 + 13185063067226/253002341*e^9 + 6823648575723/253002341*e^8 - 16377300442320/253002341*e^7 - 11171122714721/253002341*e^6 + 9811290344127/253002341*e^5 + 7482839223831/253002341*e^4 - 2269785489467/253002341*e^3 - 1761665854163/253002341*e^2 + 62968395648/253002341*e + 23353204602/253002341, 812680740/253002341*e^18 + 3376474731/253002341*e^17 - 14752134971/253002341*e^16 - 74778473266/253002341*e^15 + 86446791240/253002341*e^14 + 659379263831/253002341*e^13 - 68739179430/253002341*e^12 - 2946144663610/253002341*e^11 - 1182684257740/253002341*e^10 + 7026619782708/253002341*e^9 + 4777581684120/253002341*e^8 - 8711522501704/253002341*e^7 - 7261255957881/253002341*e^6 + 5208226816381/253002341*e^5 + 4744539438648/253002341*e^4 - 1205706845637/253002341*e^3 - 1110035504877/253002341*e^2 + 37328803914/253002341*e + 14495567203/253002341, -838269889/253002341*e^18 - 3288256164/253002341*e^17 + 15813315935/253002341*e^16 + 72869940101/253002341*e^15 - 102729774990/253002341*e^14 - 643127436867/253002341*e^13 + 194966964492/253002341*e^12 + 2877218601331/253002341*e^11 + 634793854200/253002341*e^10 - 6873904317901/253002341*e^9 - 3413650603352/253002341*e^8 + 8534682801535/253002341*e^7 + 5366367956499/253002341*e^6 - 5084657066136/253002341*e^5 - 3396561288790/253002341*e^4 + 1136890722806/253002341*e^3 + 726528955034/253002341*e^2 - 18477852664/253002341*e - 331367864/253002341, -1488755011/253002341*e^18 - 6084402715/253002341*e^17 + 27374240968/253002341*e^16 + 134892603757/253002341*e^15 - 166197351332/253002341*e^14 - 1191074742278/253002341*e^13 + 196542991771/253002341*e^12 + 5331472762655/253002341*e^11 + 1838380986222/253002341*e^10 - 12746857825247/253002341*e^9 - 7914325774643/253002341*e^8 + 15849990351513/253002341*e^7 + 12141060735918/253002341*e^6 - 9481017555659/253002341*e^5 - 7881924682536/253002341*e^4 + 2149013853439/253002341*e^3 + 1813775152788/253002341*e^2 - 38381302001/253002341*e - 19808952239/253002341, 405027872/253002341*e^18 + 1664462701/253002341*e^17 - 7607030577/253002341*e^16 - 37089037707/253002341*e^15 + 49161954764/253002341*e^14 + 329683279003/253002341*e^13 - 93028094684/253002341*e^12 - 1489652440785/253002341*e^11 - 293954744651/253002341*e^10 + 3613201838845/253002341*e^9 + 1557212019277/253002341*e^8 - 4601684462009/253002341*e^7 - 2363375868981/253002341*e^6 + 2866919826363/253002341*e^5 + 1412360642646/253002341*e^4 - 703417666596/253002341*e^3 - 285992754765/253002341*e^2 + 24689828660/253002341*e + 3997421920/253002341, -234845030/253002341*e^18 - 804978632/253002341*e^17 + 4635045740/253002341*e^16 + 17723007835/253002341*e^15 - 33056818752/253002341*e^14 - 155021250829/253002341*e^13 + 89342613167/253002341*e^12 + 684199897336/253002341*e^11 + 41092481855/253002341*e^10 - 1596921935818/253002341*e^9 - 695620303267/253002341*e^8 + 1892303764737/253002341*e^7 + 1310148740210/253002341*e^6 - 1013755139056/253002341*e^5 - 956214917389/253002341*e^4 + 165022777818/253002341*e^3 + 240457228864/253002341*e^2 + 12653727118/253002341*e - 2449380569/253002341, -473350208/253002341*e^18 - 1896123223/253002341*e^17 + 8848580381/253002341*e^16 + 42039631841/253002341*e^15 - 56311000741/253002341*e^14 - 371227548873/253002341*e^13 + 96191078727/253002341*e^12 + 1661539215974/253002341*e^11 + 413920603273/253002341*e^10 - 3968876444295/253002341*e^9 - 2036330249539/253002341*e^8 + 4913993065020/253002341*e^7 + 3118414355127/253002341*e^6 - 2889119841425/253002341*e^5 - 1926205130095/253002341*e^4 + 609261219290/253002341*e^3 + 398527730745/253002341*e^2 + 216078772/253002341*e - 1320490433/253002341, 1479832227/253002341*e^18 + 6210535662/253002341*e^17 - 26833706220/253002341*e^16 - 137749638535/253002341*e^15 + 156940085181/253002341*e^14 + 1217026944657/253002341*e^13 - 122967113346/253002341*e^12 - 5452430763941/253002341*e^11 - 2150657326574/253002341*e^10 + 13055228203522/253002341*e^9 + 8644546939003/253002341*e^8 - 16279690568247/253002341*e^7 - 13053895415630/253002341*e^6 + 9799721541738/253002341*e^5 + 8446401705556/253002341*e^4 - 2263650493500/253002341*e^3 - 1953903569777/253002341*e^2 + 56058816735/253002341*e + 20508159991/253002341, -522424702/253002341*e^18 - 2127129246/253002341*e^17 + 9819684840/253002341*e^16 + 47460719538/253002341*e^15 - 63259354966/253002341*e^14 - 422693580969/253002341*e^13 + 114763966465/253002341*e^12 + 1915163720076/253002341*e^11 + 427368335304/253002341*e^10 - 4661524478004/253002341*e^9 - 2213555578369/253002341*e^8 + 5952117320434/253002341*e^7 + 3478524552010/253002341*e^6 - 3679956050635/253002341*e^5 - 2231319791986/253002341*e^4 + 849507279952/253002341*e^3 + 507149818399/253002341*e^2 - 6541596531/253002341*e - 10885200552/253002341, 1346804988/253002341*e^18 + 5190596316/253002341*e^17 - 25567132040/253002341*e^16 - 115103807698/253002341*e^15 + 168159771812/253002341*e^14 + 1017029411427/253002341*e^13 - 335757774788/253002341*e^12 - 4559013455746/253002341*e^11 - 947698462369/253002341*e^10 + 10931104313704/253002341*e^9 + 5407022572145/253002341*e^8 - 13667416245488/253002341*e^7 - 8703167483164/253002341*e^6 + 8264450194693/253002341*e^5 + 5666853212668/253002341*e^4 - 1929929120039/253002341*e^3 - 1278311397779/253002341*e^2 + 55366410906/253002341*e + 13672221070/253002341, -161767134/253002341*e^18 - 434397229/253002341*e^17 + 3441580741/253002341*e^16 + 9632496446/253002341*e^15 - 27949833845/253002341*e^14 - 85556958938/253002341*e^13 + 103390525764/253002341*e^12 + 389256021490/253002341*e^11 - 135044012666/253002341*e^10 - 964291695564/253002341*e^9 - 173689509840/253002341*e^8 + 1290959359337/253002341*e^7 + 689486666151/253002341*e^6 - 905240554704/253002341*e^5 - 681870961897/253002341*e^4 + 315862802470/253002341*e^3 + 217418127536/253002341*e^2 - 43995189794/253002341*e - 4511104538/253002341, -106861999/253002341*e^18 - 838219743/253002341*e^17 + 999656525/253002341*e^16 + 18643698210/253002341*e^15 + 9252801909/253002341*e^14 - 165118883146/253002341*e^13 - 171004953837/253002341*e^12 + 741350936007/253002341*e^11 + 951915776022/253002341*e^10 - 1780600129711/253002341*e^9 - 2505080510052/253002341*e^8 + 2240867924301/253002341*e^7 + 3235053144576/253002341*e^6 - 1394818782778/253002341*e^5 - 1924889444380/253002341*e^4 + 362730269489/253002341*e^3 + 420249436463/253002341*e^2 - 25687670227/253002341*e - 4787492027/253002341, -2267046250/253002341*e^18 - 9187912544/253002341*e^17 + 41866293139/253002341*e^16 + 203498266141/253002341*e^15 - 257474244240/253002341*e^14 - 1794400133612/253002341*e^13 + 342553991116/253002341*e^12 + 8015724948863/253002341*e^11 + 2576951644560/253002341*e^10 - 19100252911246/253002341*e^9 - 11414482928382/253002341*e^8 + 23601111359294/253002341*e^7 + 17487861446719/253002341*e^6 - 13924632395849/253002341*e^5 - 11221437092923/253002341*e^4 + 3013522541873/253002341*e^3 + 2531703036036/253002341*e^2 - 5457547073/253002341*e - 27577801820/253002341, -442862008/253002341*e^18 - 2028789118/253002341*e^17 + 7566282936/253002341*e^16 + 44785838708/253002341*e^15 - 36885182014/253002341*e^14 - 392731957996/253002341*e^13 - 49912444512/253002341*e^12 + 1738443357843/253002341*e^11 + 1017960842689/253002341*e^10 - 4081641796726/253002341*e^9 - 3434278189261/253002341*e^8 + 4932752572804/253002341*e^7 + 4869986719133/253002341*e^6 - 2855819540944/253002341*e^5 - 3031731629104/253002341*e^4 + 663956754105/253002341*e^3 + 685784141256/253002341*e^2 - 40103160561/253002341*e - 12443026034/253002341, -1091446508/253002341*e^18 - 4853743724/253002341*e^17 + 19222387151/253002341*e^16 + 107789807219/253002341*e^15 - 103518264499/253002341*e^14 - 953717266735/253002341*e^13 - 12975222315/253002341*e^12 + 4280947118596/253002341*e^11 + 2023282058474/253002341*e^10 - 10282100895506/253002341*e^9 - 7323016843663/253002341*e^8 + 12904988072358/253002341*e^7 + 10604558500829/253002341*e^6 - 7894491113575/253002341*e^5 - 6613634536726/253002341*e^4 + 1909907389057/253002341*e^3 + 1461111583554/253002341*e^2 - 72468663849/253002341*e - 17484071490/253002341, -1367106970/253002341*e^18 - 5581369970/253002341*e^17 + 25183695941/253002341*e^16 + 123898946658/253002341*e^15 - 153517297763/253002341*e^14 - 1096256283162/253002341*e^13 + 186744166094/253002341*e^12 + 4924160026564/253002341*e^11 + 1671848532927/253002341*e^10 - 11847837733135/253002341*e^9 - 7272512694477/253002341*e^8 + 14919473124101/253002341*e^7 + 11238356353915/253002341*e^6 - 9175356832081/253002341*e^5 - 7353283271156/253002341*e^4 + 2254582628189/253002341*e^3 + 1702968647845/253002341*e^2 - 97541742492/253002341*e - 16121005296/253002341, -1974597230/253002341*e^18 - 8186232186/253002341*e^17 + 36024674090/253002341*e^16 + 181390653730/253002341*e^15 - 214547176696/253002341*e^14 - 1600450347608/253002341*e^13 + 213241753324/253002341*e^12 + 7156931870974/253002341*e^11 + 2621735896098/253002341*e^10 - 17092149865126/253002341*e^9 - 10828878732015/253002341*e^8 + 21241314712216/253002341*e^7 + 16295967102524/253002341*e^6 - 12748301912536/253002341*e^5 - 10354827818230/253002341*e^4 + 2944129648907/253002341*e^3 + 2304861742491/253002341*e^2 - 70338944686/253002341*e - 20126627721/253002341, -209090999/253002341*e^18 - 1076800847/253002341*e^17 + 3379037446/253002341*e^16 + 23938374495/253002341*e^15 - 13471957193/253002341*e^14 - 212164837446/253002341*e^13 - 54521476995/253002341*e^12 + 955770606228/253002341*e^11 + 596127212753/253002341*e^10 - 2317204697294/253002341*e^9 - 1819344018882/253002341*e^8 + 2989344621062/253002341*e^7 + 2399406588144/253002341*e^6 - 1987385226938/253002341*e^5 - 1366042460991/253002341*e^4 + 618602259892/253002341*e^3 + 270234992150/253002341*e^2 - 71785080279/253002341*e + 352814646/253002341, -1967577022/253002341*e^18 - 8194178707/253002341*e^17 + 35767128244/253002341*e^16 + 181545115893/253002341*e^15 - 210731451337/253002341*e^14 - 1601430077471/253002341*e^13 + 183160501504/253002341*e^12 + 7157710910001/253002341*e^11 + 2760043884438/253002341*e^10 - 17074547452870/253002341*e^9 - 11207799160743/253002341*e^8 + 21159375023930/253002341*e^7 + 16897562589156/253002341*e^6 - 12603338124186/253002341*e^5 - 10863187825982/253002341*e^4 + 2847089443098/253002341*e^3 + 2492617729519/253002341*e^2 - 60518908958/253002341*e - 32570438943/253002341, -376935619/253002341*e^18 - 1035866999/253002341*e^17 + 8161773975/253002341*e^16 + 23023331450/253002341*e^15 - 69033072136/253002341*e^14 - 204775622301/253002341*e^13 + 284317988468/253002341*e^12 + 931144483507/253002341*e^11 - 565778842711/253002341*e^10 - 2296451577679/253002341*e^9 + 402447357268/253002341*e^8 + 3032282315662/253002341*e^7 + 189928282451/253002341*e^6 - 2039093780304/253002341*e^5 - 359940368261/253002341*e^4 + 618098411981/253002341*e^3 + 99517512504/253002341*e^2 - 59002745275/253002341*e + 273499965/253002341, -366110132/253002341*e^18 - 1681554440/253002341*e^17 + 6671454543/253002341*e^16 + 38079205310/253002341*e^15 - 39756786478/253002341*e^14 - 346021196160/253002341*e^13 + 40572501878/253002341*e^12 + 1613559433705/253002341*e^11 + 476562411549/253002341*e^10 - 4105233371400/253002341*e^9 - 1972334306518/253002341*e^8 + 5639966747951/253002341*e^7 + 2947052294939/253002341*e^6 - 3961870760563/253002341*e^5 - 1826461936507/253002341*e^4 + 1216131491633/253002341*e^3 + 389913020117/253002341*e^2 - 109855523901/253002341*e - 4059383580/253002341, 1209683544/253002341*e^18 + 4874322899/253002341*e^17 - 22562303218/253002341*e^16 - 108201986525/253002341*e^15 + 142612172907/253002341*e^14 + 957439593022/253002341*e^13 - 232005094764/253002341*e^12 - 4301577820091/253002341*e^11 - 1137454916013/253002341*e^10 + 10354362034000/253002341*e^9 + 5468374590153/253002341*e^8 - 13044907231502/253002341*e^7 - 8467365858268/253002341*e^6 + 8009587359388/253002341*e^5 + 5413966197364/253002341*e^4 - 1932553248329/253002341*e^3 - 1227584197933/253002341*e^2 + 68216152570/253002341*e + 20739385660/253002341, -707565092/253002341*e^18 - 3080509581/253002341*e^17 + 12734603587/253002341*e^16 + 68629175022/253002341*e^15 - 73167898308/253002341*e^14 - 610010115705/253002341*e^13 + 44953148751/253002341*e^12 + 2756832094416/253002341*e^11 + 1074854962146/253002341*e^10 - 6691044390356/253002341*e^9 - 4192712784403/253002341*e^8 + 8533923371606/253002341*e^7 + 6214501980577/253002341*e^6 - 5332622390095/253002341*e^5 - 3925085696997/253002341*e^4 + 1317823893385/253002341*e^3 + 878317605307/253002341*e^2 - 48809585438/253002341*e - 8409353886/253002341, -725299231/253002341*e^18 - 2575710823/253002341*e^17 + 14451760071/253002341*e^16 + 57390535686/253002341*e^15 - 105715806253/253002341*e^14 - 510785149373/253002341*e^13 + 314914550615/253002341*e^12 + 2316238772629/253002341*e^11 - 91823756454/253002341*e^10 - 5661746994339/253002341*e^9 - 1466764427254/253002341*e^8 + 7324519192336/253002341*e^7 + 2888369270241/253002341*e^6 - 4714763483383/253002341*e^5 - 1987912293763/253002341*e^4 + 1274772038947/253002341*e^3 + 453897617703/253002341*e^2 - 89739544088/253002341*e - 2472096311/253002341, 862074378/253002341*e^18 + 3962992283/253002341*e^17 - 14699765410/253002341*e^16 - 87748750010/253002341*e^15 + 70906155600/253002341*e^14 + 773133019638/253002341*e^13 + 107914151296/253002341*e^12 - 3448729895274/253002341*e^11 - 2046727953383/253002341*e^10 + 8203391620943/253002341*e^9 + 6898484854153/253002341*e^8 - 10140298345196/253002341*e^7 - 9845952959697/253002341*e^6 + 6073373494766/253002341*e^5 + 6184059169640/253002341*e^4 - 1435683139389/253002341*e^3 - 1401824054670/253002341*e^2 + 54823384770/253002341*e + 21873603226/253002341, -1376550695/253002341*e^18 - 5583899347/253002341*e^17 + 25430805763/253002341*e^16 + 123718923702/253002341*e^15 - 156717648425/253002341*e^14 - 1091804995854/253002341*e^13 + 213429505156/253002341*e^12 + 4886019948193/253002341*e^11 + 1526507462992/253002341*e^10 - 11692287200714/253002341*e^9 - 6786801353160/253002341*e^8 + 14605323937162/253002341*e^7 + 10330979181001/253002341*e^6 - 8882730657597/253002341*e^5 - 6538860591818/253002341*e^4 + 2134249480654/253002341*e^3 + 1437339771814/253002341*e^2 - 74306221992/253002341*e - 9096769695/253002341, -420798366/253002341*e^18 - 1604772654/253002341*e^17 + 8088340298/253002341*e^16 + 35573956221/253002341*e^15 - 54948018839/253002341*e^14 - 314001592797/253002341*e^13 + 128364491919/253002341*e^12 + 1404575397254/253002341*e^11 + 177730891614/253002341*e^10 - 3354576339296/253002341*e^9 - 1362499722202/253002341*e^8 + 4166554316991/253002341*e^7 + 2243784153924/253002341*e^6 - 2493857456094/253002341*e^5 - 1457277081488/253002341*e^4 + 565436293257/253002341*e^3 + 333288670805/253002341*e^2 - 7249229740/253002341*e - 1366594623/253002341, -469638651/253002341*e^18 - 1734037818/253002341*e^17 + 9228121213/253002341*e^16 + 38687176417/253002341*e^15 - 65695893275/253002341*e^14 - 344934217282/253002341*e^13 + 180845371480/253002341*e^12 + 1568169455567/253002341*e^11 + 36393569973/253002341*e^10 - 3848046600689/253002341*e^9 - 1154955234930/253002341*e^8 + 5005656784818/253002341*e^7 + 2087022951055/253002341*e^6 - 3230450722179/253002341*e^5 - 1403268507418/253002341*e^4 + 836735879317/253002341*e^3 + 338857940503/253002341*e^2 - 35885702064/253002341*e - 9000511473/253002341, -2344025626/253002341*e^18 - 9557788548/253002341*e^17 + 43070988808/253002341*e^16 + 211729131616/253002341*e^15 - 261060885624/253002341*e^14 - 1867754526904/253002341*e^13 + 304301293950/253002341*e^12 + 8351142520347/253002341*e^11 + 2916568150104/253002341*e^10 - 19942756502360/253002341*e^9 - 12510825675303/253002341*e^8 + 24781930527385/253002341*e^7 + 19167405662847/253002341*e^6 - 14872718763756/253002341*e^5 - 12415460739128/253002341*e^4 + 3454195789076/253002341*e^3 + 2832824271510/253002341*e^2 - 101329010968/253002341*e - 25728510264/253002341, -2053185219/253002341*e^18 - 8965624684/253002341*e^17 + 36390956341/253002341*e^16 + 198977881444/253002341*e^15 - 199123142879/253002341*e^14 - 1759164328223/253002341*e^13 + 5691218828/253002341*e^12 + 7887777554836/253002341*e^11 + 3726600643658/253002341*e^10 - 18910434703709/253002341*e^9 - 13786381627750/253002341*e^8 + 23643396896142/253002341*e^7 + 20362313601420/253002341*e^6 - 14327737841921/253002341*e^5 - 13054867996051/253002341*e^4 + 3369903828645/253002341*e^3 + 2995613336185/253002341*e^2 - 92275590801/253002341*e - 35717771928/253002341, -714962221/253002341*e^18 - 3026438652/253002341*e^17 + 12694087048/253002341*e^16 + 66719769156/253002341*e^15 - 69805984486/253002341*e^14 - 584426600303/253002341*e^13 + 6260436356/253002341*e^12 + 2584684428660/253002341*e^11 + 1275257465154/253002341*e^10 - 6060139956794/253002341*e^9 - 4729094591462/253002341*e^8 + 7280796741935/253002341*e^7 + 6959292904301/253002341*e^6 - 4083138972017/253002341*e^5 - 4429092121277/253002341*e^4 + 782903184962/253002341*e^3 + 1005521670500/253002341*e^2 + 17064111747/253002341*e - 12102489333/253002341, -1245429097/253002341*e^18 - 5028717980/253002341*e^17 + 23186005362/253002341*e^16 + 111708648339/253002341*e^15 - 145540743014/253002341*e^14 - 989378464009/253002341*e^13 + 223483026422/253002341*e^12 + 4450353447180/253002341*e^11 + 1265386907641/253002341*e^10 - 10728226072057/253002341*e^9 - 5943724081257/253002341*e^8 + 13535759173600/253002341*e^7 + 9261936262918/253002341*e^6 - 8312007305869/253002341*e^5 - 5994626209191/253002341*e^4 + 2004107010979/253002341*e^3 + 1354156300216/253002341*e^2 - 77329722684/253002341*e - 11562358001/253002341, 114143005/253002341*e^18 + 766006139/253002341*e^17 - 1417552576/253002341*e^16 - 17234001492/253002341*e^15 - 2555077206/253002341*e^14 + 154944684462/253002341*e^13 + 122766042693/253002341*e^12 - 709898613388/253002341*e^11 - 777883120242/253002341*e^10 + 1752976558015/253002341*e^9 + 2206672943978/253002341*e^8 - 2287004599036/253002341*e^7 - 3070562468987/253002341*e^6 + 1469877381279/253002341*e^5 + 2003191164539/253002341*e^4 - 378726308678/253002341*e^3 - 485962042042/253002341*e^2 + 19928096889/253002341*e + 2740734412/253002341, 358712261/253002341*e^18 + 1845440171/253002341*e^17 - 5810396659/253002341*e^16 - 41095153073/253002341*e^15 + 23112537840/253002341*e^14 + 364847861017/253002341*e^13 + 97503237196/253002341*e^12 - 1645039580893/253002341*e^11 - 1067972415954/253002341*e^10 + 3976254548805/253002341*e^9 + 3333771506081/253002341*e^8 - 5037153692265/253002341*e^7 - 4587949022781/253002341*e^6 + 3113635457271/253002341*e^5 + 2809257941857/253002341*e^4 - 743506373523/253002341*e^3 - 642406385850/253002341*e^2 + 17012046857/253002341*e + 15749781274/253002341, -778452027/253002341*e^18 - 3019124942/253002341*e^17 + 14886356367/253002341*e^16 + 67295881700/253002341*e^15 - 99708687116/253002341*e^14 - 599222246781/253002341*e^13 + 217121335490/253002341*e^12 + 2719374111115/253002341*e^11 + 441380448397/253002341*e^10 - 6659186785035/253002341*e^9 - 2866220955192/253002341*e^8 + 8657971600146/253002341*e^7 + 4708393274436/253002341*e^6 - 5648943864479/253002341*e^5 - 3088766817706/253002341*e^4 + 1571510947750/253002341*e^3 + 703649400506/253002341*e^2 - 111631488498/253002341*e - 3838080333/253002341, 313909942/253002341*e^18 + 1111509327/253002341*e^17 - 6164458663/253002341*e^16 - 24585970453/253002341*e^15 + 43702475618/253002341*e^14 + 216709565611/253002341*e^13 - 117614529650/253002341*e^12 - 969659474657/253002341*e^11 - 47250270723/253002341*e^10 + 2324956115281/253002341*e^9 + 853989251322/253002341*e^8 - 2923562362148/253002341*e^7 - 1542109068355/253002341*e^6 + 1812448853101/253002341*e^5 + 1049311827864/253002341*e^4 - 470942439956/253002341*e^3 - 242867013176/253002341*e^2 + 32071594949/253002341*e - 891390354/253002341, 492485381/253002341*e^18 + 1957332788/253002341*e^17 - 9380470514/253002341*e^16 - 43785116207/253002341*e^15 + 62390682835/253002341*e^14 + 391767325980/253002341*e^13 - 132949633182/253002341*e^12 - 1789767527052/253002341*e^11 - 287984245025/253002341*e^10 + 4422451429157/253002341*e^9 + 1792366748290/253002341*e^8 - 5810399538777/253002341*e^7 - 2862889478719/253002341*e^6 + 3797839752781/253002341*e^5 + 1793380627788/253002341*e^4 - 1000466951669/253002341*e^3 - 381068307629/253002341*e^2 + 43124917201/253002341*e - 2180147199/253002341, 35318488/253002341*e^18 + 301049368/253002341*e^17 - 5139393/253002341*e^16 - 6128343286/253002341*e^15 - 10293302927/253002341*e^14 + 47148371880/253002341*e^13 + 120442816612/253002341*e^12 - 163709492773/253002341*e^11 - 599822946009/253002341*e^10 + 209174398721/253002341*e^9 + 1504936926224/253002341*e^8 + 123712526827/253002341*e^7 - 1904881622672/253002341*e^6 - 459008329500/253002341*e^5 + 1136816335996/253002341*e^4 + 274917541164/253002341*e^3 - 241400293314/253002341*e^2 - 37974684169/253002341*e + 1530724503/253002341, -2023662284/253002341*e^18 - 8131979692/253002341*e^17 + 37538791925/253002341*e^16 + 180179530268/253002341*e^15 - 233473218379/253002341*e^14 - 1589946837368/253002341*e^13 + 337529333995/253002341*e^12 + 7112956925506/253002341*e^11 + 2158608099016/253002341*e^10 - 17004380491116/253002341*e^9 - 9846924954213/253002341*e^8 + 21181676038357/253002341*e^7 + 15176450562379/253002341*e^6 - 12788901158430/253002341*e^5 - 9759311787818/253002341*e^4 + 3021636249328/253002341*e^3 + 2210682167181/253002341*e^2 - 95799508375/253002341*e - 25752742290/253002341, 1883299031/253002341*e^18 + 7574339412/253002341*e^17 - 34855564508/253002341*e^16 - 167497517698/253002341*e^15 + 215803223194/253002341*e^14 + 1473779707721/253002341*e^13 - 304298676900/253002341*e^12 - 6563311964421/253002341*e^11 - 2033548225894/253002341*e^10 + 15568276494460/253002341*e^9 + 9156683681504/253002341*e^8 - 19106364830337/253002341*e^7 - 13990564523476/253002341*e^6 + 11177015741213/253002341*e^5 + 8899042536422/253002341*e^4 - 2408982025215/253002341*e^3 - 1988396395641/253002341*e^2 + 18676053191/253002341*e + 21460639806/253002341, 1348360630/253002341*e^18 + 4939265796/253002341*e^17 - 26255161495/253002341*e^16 - 109609832356/253002341*e^15 + 182882179678/253002341*e^14 + 969883242427/253002341*e^13 - 463955324253/253002341*e^12 - 4359394830291/253002341*e^11 - 377829580829/253002341*e^10 + 10504240722714/253002341*e^9 + 4048893059530/253002341*e^8 - 13253943040358/253002341*e^7 - 7019624248923/253002341*e^6 + 8149435879925/253002341*e^5 + 4673441966636/253002341*e^4 - 1978592994396/253002341*e^3 - 1062353318153/253002341*e^2 + 76770871027/253002341*e + 9787234465/253002341, 1611520085/253002341*e^18 + 7332681302/253002341*e^17 - 27933793788/253002341*e^16 - 162831801926/253002341*e^15 + 142826559289/253002341*e^14 + 1440638906247/253002341*e^13 + 109100634266/253002341*e^12 - 6466510840539/253002341*e^11 - 3402215434172/253002341*e^10 + 15535291966614/253002341*e^9 + 11856639351641/253002341*e^8 - 19524323820025/253002341*e^7 - 17070897436369/253002341*e^6 + 12011368588850/253002341*e^5 + 10722751453936/253002341*e^4 - 2974855472827/253002341*e^3 - 2415634150334/253002341*e^2 + 135375855153/253002341*e + 31277257675/253002341, -306372672/253002341*e^18 - 1437582462/253002341*e^17 + 5005507048/253002341*e^16 + 31513037472/253002341*e^15 - 20370639532/253002341*e^14 - 273657622483/253002341*e^13 - 80773899491/253002341*e^12 + 1193583162637/253002341*e^11 + 916176906021/253002341*e^10 - 2732504849226/253002341*e^9 - 2901169916385/253002341*e^8 + 3139403923118/253002341*e^7 + 4062119693860/253002341*e^6 - 1604855237112/253002341*e^5 - 2551240665924/253002341*e^4 + 214540493832/253002341*e^3 + 589079520932/253002341*e^2 + 42786030044/253002341*e - 7938960653/253002341, -195426220/253002341*e^18 - 546469033/253002341*e^17 + 4177482044/253002341*e^16 + 12226924081/253002341*e^15 - 34381099527/253002341*e^14 - 109759523178/253002341*e^13 + 132800758335/253002341*e^12 + 505417644190/253002341*e^11 - 216595346484/253002341*e^10 - 1266645453372/253002341*e^9 - 7181373918/253002341*e^8 + 1698428177356/253002341*e^7 + 412970651499/253002341*e^6 - 1132871322035/253002341*e^5 - 400404106244/253002341*e^4 + 307894884410/253002341*e^3 + 112919411470/253002341*e^2 - 20347560730/253002341*e - 1116859880/253002341, 886361582/253002341*e^18 + 3339029513/253002341*e^17 - 16801257724/253002341*e^16 - 73687760556/253002341*e^15 + 109894243021/253002341*e^14 + 646817972395/253002341*e^13 - 211742394758/253002341*e^12 - 2871723108753/253002341*e^11 - 678667176492/253002341*e^10 + 6779882445024/253002341*e^9 + 3734711202764/253002341*e^8 - 8246067730540/253002341*e^7 - 6026388945882/253002341*e^6 + 4724902885732/253002341*e^5 + 3966954133336/253002341*e^4 - 958079257546/253002341*e^3 - 904618354382/253002341*e^2 - 11492291588/253002341*e + 10622572144/253002341, 142846774/253002341*e^18 + 810026221/253002341*e^17 - 2095997801/253002341*e^16 - 18048583038/253002341*e^15 + 4297047772/253002341*e^14 + 160435664384/253002341*e^13 + 82858114596/253002341*e^12 - 725783501240/253002341*e^11 - 625548993238/253002341*e^10 + 1771537674122/253002341*e^9 + 1813902349455/253002341*e^8 - 2312667550282/253002341*e^7 - 2440244780938/253002341*e^6 + 1567607976701/253002341*e^5 + 1486114900316/253002341*e^4 - 496344323457/253002341*e^3 - 331786881014/253002341*e^2 + 53109027243/253002341*e + 2290666710/253002341, 2184298714/253002341*e^18 + 8679651512/253002341*e^17 - 40757955687/253002341*e^16 - 192368489949/253002341*e^15 + 257166583787/253002341*e^14 + 1698191185935/253002341*e^13 - 408558014425/253002341*e^12 - 7601341654299/253002341*e^11 - 2137579332663/253002341*e^10 + 18182621972036/253002341*e^9 + 10178209574823/253002341*e^8 - 22648210565094/253002341*e^7 - 15815771463674/253002341*e^6 + 13616495918652/253002341*e^5 + 10159590095981/253002341*e^4 - 3136660049747/253002341*e^3 - 2275619643696/253002341*e^2 + 76859433950/253002341*e + 19970288010/253002341, -641423118/253002341*e^18 - 2931133047/253002341*e^17 + 10996934846/253002341*e^16 + 64819198506/253002341*e^15 - 54319152132/253002341*e^14 - 569978012211/253002341*e^13 - 63691190584/253002341*e^12 + 2533848376724/253002341*e^11 + 1431156109637/253002341*e^10 - 5986897311189/253002341*e^9 - 4853494887324/253002341*e^8 + 7286817028105/253002341*e^7 + 6869545308354/253002341*e^6 - 4182256411244/253002341*e^5 - 4250582934176/253002341*e^4 + 838039040288/253002341*e^3 + 960039230991/253002341*e^2 + 15323645332/253002341*e - 17896093182/253002341, 778063116/253002341*e^18 + 3860474084/253002341*e^17 - 12859527551/253002341*e^16 - 85847172978/253002341*e^15 + 55695509816/253002341*e^14 + 760657677900/253002341*e^13 + 162707845862/253002341*e^12 - 3419652826270/253002341*e^11 - 2093482745191/253002341*e^10 + 8228310008583/253002341*e^9 + 6660226530622/253002341*e^8 - 10350740729584/253002341*e^7 - 9133212384664/253002341*e^6 + 6340944563060/253002341*e^5 + 5468327237613/253002341*e^4 - 1509992072030/253002341*e^3 - 1166492879983/253002341*e^2 + 47223193794/253002341*e + 11620750785/253002341, 1019961098/253002341*e^18 + 3922905590/253002341*e^17 - 19369465303/253002341*e^16 - 86860580805/253002341*e^15 + 127770193931/253002341*e^14 + 766087693162/253002341*e^13 - 260916327460/253002341*e^12 - 3427242114576/253002341*e^11 - 670898292834/253002341*e^10 + 8205039594544/253002341*e^9 + 3927573727985/253002341*e^8 - 10281151472966/253002341*e^7 - 6288265644733/253002341*e^6 + 6339684735165/253002341*e^5 + 4039129582399/253002341*e^4 - 1629610397373/253002341*e^3 - 885388770447/253002341*e^2 + 102178664368/253002341*e + 6820904149/253002341, 97853908/253002341*e^18 + 804508399/253002341*e^17 - 442519658/253002341*e^16 - 17139462411/253002341*e^15 - 19142170141/253002341*e^14 + 142265818543/253002341*e^13 + 252663733038/253002341*e^12 - 573778929773/253002341*e^11 - 1311726390828/253002341*e^10 + 1122991150378/253002341*e^9 + 3378323087133/253002341*e^8 - 852888781863/253002341*e^7 - 4374023108853/253002341*e^6 - 73927800403/253002341*e^5 + 2667815572417/253002341*e^4 + 310600100457/253002341*e^3 - 600035629304/253002341*e^2 - 72113403602/253002341*e + 9413582331/253002341, -146244295/253002341*e^18 - 420502840/253002341*e^17 + 2985557980/253002341*e^16 + 8908903799/253002341*e^15 - 22968269769/253002341*e^14 - 73484036922/253002341*e^13 + 79248923235/253002341*e^12 + 294013542485/253002341*e^11 - 98491959925/253002341*e^10 - 566711125460/253002341*e^9 - 66100209847/253002341*e^8 + 400613520239/253002341*e^7 + 223874519554/253002341*e^6 + 120351899477/253002341*e^5 - 139262780529/253002341*e^4 - 259846511573/253002341*e^3 + 25398450450/253002341*e^2 + 82237453300/253002341*e - 3886703151/253002341, -322439117/253002341*e^18 - 1458184600/253002341*e^17 + 5854068403/253002341*e^16 + 32684487844/253002341*e^15 - 34997488037/253002341*e^14 - 292959577621/253002341*e^13 + 41417057730/253002341*e^12 + 1340855112619/253002341*e^11 + 355549873570/253002341*e^10 - 3325580010106/253002341*e^9 - 1441580288037/253002341*e^8 + 4423707231205/253002341*e^7 + 1956100145045/253002341*e^6 - 3022190044864/253002341*e^5 - 1008178271858/253002341*e^4 + 928284129500/253002341*e^3 + 153904607478/253002341*e^2 - 91080310599/253002341*e - 279863967/253002341, 811423527/253002341*e^18 + 3665964214/253002341*e^17 - 14086414266/253002341*e^16 - 81287566821/253002341*e^15 + 72417903553/253002341*e^14 + 717751108692/253002341*e^13 + 50280766411/253002341*e^12 - 3212432757244/253002341*e^11 - 1691588564124/253002341*e^10 + 7682349607601/253002341*e^9 + 5917705552022/253002341*e^8 - 9578420685815/253002341*e^7 - 8527320250291/253002341*e^6 + 5809651774175/253002341*e^5 + 5348356071981/253002341*e^4 - 1402026916724/253002341*e^3 - 1199083338915/253002341*e^2 + 58799542276/253002341*e + 17074315624/253002341, -959746071/253002341*e^18 - 3726780806/253002341*e^17 + 17896474406/253002341*e^16 + 82111981618/253002341*e^15 - 112529278181/253002341*e^14 - 718603509283/253002341*e^13 + 173212052790/253002341*e^12 + 3172470112627/253002341*e^11 + 980342400249/253002341*e^10 - 7406655045561/253002341*e^9 - 4615790848341/253002341*e^8 + 8792466562833/253002341*e^7 + 7221012888799/253002341*e^6 - 4747105307762/253002341*e^5 - 4721106569537/253002341*e^4 + 773720945457/253002341*e^3 + 1086016049754/253002341*e^2 + 61095046619/253002341*e - 8890883240/253002341, 962472367/253002341*e^18 + 3807432178/253002341*e^17 - 18112670386/253002341*e^16 - 84493615647/253002341*e^15 + 116813089872/253002341*e^14 + 747010400882/253002341*e^13 - 211747433455/253002341*e^12 - 3349377564725/253002341*e^11 - 796193603031/253002341*e^10 + 8025084933671/253002341*e^9 + 4127328723363/253002341*e^8 - 9999780193564/253002341*e^7 - 6509146670255/253002341*e^6 + 5974665283814/253002341*e^5 + 4181138964295/253002341*e^4 - 1336450615197/253002341*e^3 - 914162718918/253002341*e^2 + 29741401240/253002341*e + 1199364850/253002341, 746586310/253002341*e^18 + 3627977059/253002341*e^17 - 12549771563/253002341*e^16 - 80774049525/253002341*e^15 + 57825144542/253002341*e^14 + 716781026632/253002341*e^13 + 120829179757/253002341*e^12 - 3228301919793/253002341*e^11 - 1872363825278/253002341*e^10 + 7782761654427/253002341*e^9 + 6140682573324/253002341*e^8 - 9792698884437/253002341*e^7 - 8592489187863/253002341*e^6 + 5938591081701/253002341*e^5 + 5245010737046/253002341*e^4 - 1328477266379/253002341*e^3 - 1125719023722/253002341*e^2 + 8381980746/253002341*e + 3297697116/253002341, -232871817/253002341*e^18 - 1152213531/253002341*e^17 + 3740312293/253002341*e^16 + 25450853023/253002341*e^15 - 14110875718/253002341*e^14 - 223648495607/253002341*e^13 - 73320472334/253002341*e^12 + 995350554643/253002341*e^11 + 751277711806/253002341*e^10 - 2368557001209/253002341*e^9 - 2350530638244/253002341*e^8 + 2963767912345/253002341*e^7 + 3308353470764/253002341*e^6 - 1881991056251/253002341*e^5 - 2110258218654/253002341*e^4 + 557656494432/253002341*e^3 + 492977500409/253002341*e^2 - 59275530736/253002341*e - 10198651370/253002341, -577439486/253002341*e^18 - 2359981343/253002341*e^17 + 10557240453/253002341*e^16 + 52339219338/253002341*e^15 - 62819774424/253002341*e^14 - 462283785027/253002341*e^13 + 58366240195/253002341*e^12 + 2069097782355/253002341*e^11 + 812668452309/253002341*e^10 - 4938335769457/253002341*e^9 - 3372773292863/253002341*e^8 + 6088590290118/253002341*e^7 + 5199935401712/253002341*e^6 - 3506023138479/253002341*e^5 - 3432802199088/253002341*e^4 + 639808915237/253002341*e^3 + 803096264229/253002341*e^2 + 50050139570/253002341*e - 3168904973/253002341, 500238479/253002341*e^18 + 2185203077/253002341*e^17 - 9199932775/253002341*e^16 - 49174488288/253002341*e^15 + 56033649205/253002341*e^14 + 443144373571/253002341*e^13 - 68951755374/253002341*e^12 - 2042598094348/253002341*e^11 - 599654193561/253002341*e^10 + 5107064622882/253002341*e^9 + 2604073542770/253002341*e^8 - 6822248360917/253002341*e^7 - 3987976354992/253002341*e^6 + 4567572990582/253002341*e^5 + 2564853204427/253002341*e^4 - 1258925843230/253002341*e^3 - 591100096853/253002341*e^2 + 72302413977/253002341*e + 7576777050/253002341, -404830515/253002341*e^18 - 1700650830/253002341*e^17 + 7492080704/253002341*e^16 + 37725309750/253002341*e^15 - 47017025272/253002341*e^14 - 333291572246/253002341*e^13 + 78134720905/253002341*e^12 + 1492596020314/253002341*e^11 + 337058016165/253002341*e^10 - 3569273739582/253002341*e^9 - 1580462455284/253002341*e^8 + 4431697896321/253002341*e^7 + 2241777136315/253002341*e^6 - 2620392215810/253002341*e^5 - 1205885940025/253002341*e^4 + 545143196600/253002341*e^3 + 195322711004/253002341*e^2 + 9160687577/253002341*e + 1652001075/253002341, 87028094/253002341*e^18 + 547275232/253002341*e^17 - 942713107/253002341*e^16 - 11918726622/253002341*e^15 - 5141255619/253002341*e^14 + 102321453496/253002341*e^13 + 122743980186/253002341*e^12 - 436980587012/253002341*e^11 - 725676169617/253002341*e^10 + 959887185553/253002341*e^9 + 1994203149437/253002341*e^8 - 1009920079511/253002341*e^7 - 2692268506762/253002341*e^6 + 426680865936/253002341*e^5 + 1666950450238/253002341*e^4 - 44396620229/253002341*e^3 - 345116518499/253002341*e^2 + 6131999450/253002341*e - 8838295940/253002341, 861132760/253002341*e^18 + 3176051644/253002341*e^17 - 16386252835/253002341*e^16 - 70034800427/253002341*e^15 + 107637158508/253002341*e^14 + 613973711075/253002341*e^13 - 207263408032/253002341*e^12 - 2719812430641/253002341*e^11 - 690594244060/253002341*e^10 + 6392028045937/253002341*e^9 + 3839361282861/253002341*e^8 - 7689245076904/253002341*e^7 - 6384373404206/253002341*e^6 + 4268320902243/253002341*e^5 + 4405099563122/253002341*e^4 - 755433461348/253002341*e^3 - 1061029435724/253002341*e^2 - 55962424214/253002341*e + 8986838977/253002341, 523266561/253002341*e^18 + 2208272879/253002341*e^17 - 9324413749/253002341*e^16 - 48752445336/253002341*e^15 + 51746803730/253002341*e^14 + 428048642203/253002341*e^13 - 9200196299/253002341*e^12 - 1901512852149/253002341*e^11 - 920728753126/253002341*e^10 + 4502675507919/253002341*e^9 + 3462655257129/253002341*e^8 - 5554936063641/253002341*e^7 - 5164205492914/253002341*e^6 + 3390266237534/253002341*e^5 + 3349946642535/253002341*e^4 - 915949050830/253002341*e^3 - 768350502785/253002341*e^2 + 82666834450/253002341*e + 2478468207/253002341, -1730935037/253002341*e^18 - 7692046053/253002341*e^17 + 30033374497/253002341*e^16 + 169940028607/253002341*e^15 - 153860605351/253002341*e^14 - 1492735244661/253002341*e^13 - 114751839680/253002341*e^12 + 6628710558456/253002341*e^11 + 3647963577257/253002341*e^10 - 15652683586301/253002341*e^9 - 12722413918792/253002341*e^8 + 19098263139496/253002341*e^7 + 18310122476980/253002341*e^6 - 11168961567707/253002341*e^5 - 11487606808408/253002341*e^4 + 2518730629349/253002341*e^3 + 2564489239447/253002341*e^2 - 74285120587/253002341*e - 26281095990/253002341, -592911614/253002341*e^18 - 3345969493/253002341*e^17 + 8799061425/253002341*e^16 + 74382796216/253002341*e^15 - 20447348907/253002341*e^14 - 658522960276/253002341*e^13 - 316614599186/253002341*e^12 + 2955620216800/253002341*e^11 + 2450978244555/253002341*e^10 - 7092747396551/253002341*e^9 - 7106812060324/253002341*e^8 + 8894380025040/253002341*e^7 + 9467229883404/253002341*e^6 - 5456460274026/253002341*e^5 - 5650951791667/253002341*e^4 + 1329874784841/253002341*e^3 + 1225476483892/253002341*e^2 - 47280808041/253002341*e - 17095499268/253002341, -502816023/253002341*e^18 - 2037162683/253002341*e^17 + 9189690464/253002341*e^16 + 44819894537/253002341*e^15 - 55070635955/253002341*e^14 - 391124862979/253002341*e^13 + 59483002364/253002341*e^12 + 1717340337340/253002341*e^11 + 633788578424/253002341*e^10 - 3966627429755/253002341*e^9 - 2632624820099/253002341*e^8 + 4600424369919/253002341*e^7 + 3903347003385/253002341*e^6 - 2334516651812/253002341*e^5 - 2410705224257/253002341*e^4 + 259846161129/253002341*e^3 + 512187404353/253002341*e^2 + 75559264729/253002341*e - 11304510059/253002341, -118501359/253002341*e^18 - 553692828/253002341*e^17 + 2173997174/253002341*e^16 + 12459653964/253002341*e^15 - 13518738973/253002341*e^14 - 112329436401/253002341*e^13 + 22496201092/253002341*e^12 + 518882051715/253002341*e^11 + 90953591628/253002341*e^10 - 1307477026977/253002341*e^9 - 415143512686/253002341*e^8 + 1791132318444/253002341*e^7 + 544905446210/253002341*e^6 - 1296711882497/253002341*e^5 - 240323701688/253002341*e^4 + 454884785682/253002341*e^3 + 18258906175/253002341*e^2 - 59298346846/253002341*e - 1700290115/253002341, -872182652/253002341*e^18 - 3646635146/253002341*e^17 + 15937364797/253002341*e^16 + 81051691021/253002341*e^15 - 95321992203/253002341*e^14 - 718261705171/253002341*e^13 + 98837329087/253002341*e^12 + 3232412272681/253002341*e^11 + 1139979873909/253002341*e^10 - 7793446965508/253002341*e^9 - 4751425861655/253002341*e^8 + 9822608228213/253002341*e^7 + 7177493548609/253002341*e^6 - 5996450706210/253002341*e^5 - 4571871557612/253002341*e^4 + 1401112751843/253002341*e^3 + 1033503926266/253002341*e^2 - 33787231217/253002341*e - 16937929934/253002341, -95469278/253002341*e^18 - 212069310/253002341*e^17 + 1853304469/253002341*e^16 + 3936324525/253002341*e^15 - 12816814023/253002341*e^14 - 25441703494/253002341*e^13 + 32138776849/253002341*e^12 + 53164768547/253002341*e^11 + 24154677689/253002341*e^10 + 99102472010/253002341*e^9 - 253080911442/253002341*e^8 - 588748396511/253002341*e^7 + 399226901492/253002341*e^6 + 807958147849/253002341*e^5 - 230686407834/253002341*e^4 - 368518607595/253002341*e^3 + 35770904255/253002341*e^2 + 36092892509/253002341*e + 3409513279/253002341, 1239958336/253002341*e^18 + 5649674059/253002341*e^17 - 21695820430/253002341*e^16 - 125854310903/253002341*e^15 + 114450509092/253002341*e^14 + 1118355509587/253002341*e^13 + 43596460979/253002341*e^12 - 5052047248794/253002341*e^11 - 2440167236854/253002341*e^10 + 12258299997776/253002341*e^9 + 8721223757783/253002341*e^8 - 15656858390206/253002341*e^7 - 12700430905832/253002341*e^6 + 9878357774962/253002341*e^5 + 8061829257348/253002341*e^4 - 2550769309001/253002341*e^3 - 1831601651445/253002341*e^2 + 135833425651/253002341*e + 13472629186/253002341, 1501674165/253002341*e^18 + 6136002484/253002341*e^17 - 27712124907/253002341*e^16 - 136034728236/253002341*e^15 + 170159570981/253002341*e^14 + 1200915523639/253002341*e^13 - 223737233784/253002341*e^12 - 5372566401412/253002341*e^11 - 1721359365256/253002341*e^10 + 12829479903530/253002341*e^9 + 7602761146159/253002341*e^8 - 15910714601744/253002341*e^7 - 11665323224203/253002341*e^6 + 9460869276919/253002341*e^5 + 7529107566357/253002341*e^4 - 2107469697469/253002341*e^3 - 1721590640678/253002341*e^2 + 28173232958/253002341*e + 14704165275/253002341, -119956787/253002341*e^18 - 146041104/253002341*e^17 + 2805827692/253002341*e^16 + 2986603536/253002341*e^15 - 26035396386/253002341*e^14 - 23919870629/253002341*e^13 + 120338639784/253002341*e^12 + 95083662888/253002341*e^11 - 278450519283/253002341*e^10 - 197547634405/253002341*e^9 + 244793740735/253002341*e^8 + 220823914795/253002341*e^7 + 136538248518/253002341*e^6 - 174949708025/253002341*e^5 - 345569595292/253002341*e^4 + 133567577380/253002341*e^3 + 124684221305/253002341*e^2 - 47651516203/253002341*e + 743177041/253002341, 485005260/253002341*e^18 + 1844461093/253002341*e^17 - 9442747118/253002341*e^16 - 41441004799/253002341*e^15 + 65434410627/253002341*e^14 + 372979234396/253002341*e^13 - 159840889770/253002341*e^12 - 1718239460600/253002341*e^11 - 193315799314/253002341*e^10 + 4300288760862/253002341*e^9 + 1687817632406/253002341*e^8 - 5770765555240/253002341*e^7 - 2995838468567/253002341*e^6 + 3919667676909/253002341*e^5 + 2122915183125/253002341*e^4 - 1137006450798/253002341*e^3 - 537206104176/253002341*e^2 + 81876174305/253002341*e + 9414814599/253002341, 205915710/253002341*e^18 + 591031402/253002341*e^17 - 4325361205/253002341*e^16 - 13146306656/253002341*e^15 + 34385529264/253002341*e^14 + 117004268122/253002341*e^13 - 121444417107/253002341*e^12 - 531795889183/253002341*e^11 + 128367054751/253002341*e^10 + 1305096869266/253002341*e^9 + 317620013640/253002341*e^8 - 1688357206806/253002341*e^7 - 974245794693/253002341*e^6 + 1056467747450/253002341*e^5 + 879080889185/253002341*e^4 - 248060270400/253002341*e^3 - 239722915758/253002341*e^2 - 4801762175/253002341*e - 3038570133/253002341, -975382722/253002341*e^18 - 4115844973/253002341*e^17 + 18020158233/253002341*e^16 + 92053094736/253002341*e^15 - 111014940689/253002341*e^14 - 822676455967/253002341*e^13 + 149785524801/253002341*e^12 + 3747559802348/253002341*e^11 + 1099355373281/253002341*e^10 - 9207454679418/253002341*e^9 - 4902670982465/253002341*e^8 + 11977946494116/253002341*e^7 + 7552549350797/253002341*e^6 - 7728607265128/253002341*e^5 - 4889524131831/253002341*e^4 + 2030053315048/253002341*e^3 + 1134535046623/253002341*e^2 - 100955095137/253002341*e - 18978216365/253002341, 2865133174/253002341*e^18 + 11804325030/253002341*e^17 - 52608585264/253002341*e^16 - 261857376994/253002341*e^15 + 318847356517/253002341*e^14 + 2314234454838/253002341*e^13 - 376427916237/253002341*e^12 - 10374449605928/253002341*e^11 - 3504428462043/253002341*e^10 + 24871147206231/253002341*e^9 + 15009721693000/253002341*e^8 - 31090970632490/253002341*e^7 - 22828817018704/253002341*e^6 + 18798044743690/253002341*e^5 + 14638202837612/253002341*e^4 - 4354479535617/253002341*e^3 - 3342321618702/253002341*e^2 + 93255253658/253002341*e + 47949525285/253002341, -424687463/253002341*e^18 - 2553609883/253002341*e^17 + 5558005970/253002341*e^16 + 56078550655/253002341*e^15 + 2022063452/253002341*e^14 - 487815936150/253002341*e^13 - 375998983067/253002341*e^12 + 2130944327580/253002341*e^11 + 2437306504680/253002341*e^10 - 4886106116337/253002341*e^9 - 6773222657218/253002341*e^8 + 5629887354709/253002341*e^7 + 8981155912590/253002341*e^6 - 2911715923202/253002341*e^5 - 5455335157232/253002341*e^4 + 434699936171/253002341*e^3 + 1214289443028/253002341*e^2 + 43048212083/253002341*e - 19043653950/253002341, 60894527/253002341*e^18 + 180898879/253002341*e^17 - 1528845769/253002341*e^16 - 4470241064/253002341*e^15 + 15915633855/253002341*e^14 + 45105432449/253002341*e^13 - 89099456574/253002341*e^12 - 238688704459/253002341*e^11 + 291620486551/253002341*e^10 + 706434090378/253002341*e^9 - 571744575114/253002341*e^8 - 1148660117944/253002341*e^7 + 667770111412/253002341*e^6 + 926754671797/253002341*e^5 - 444430056467/253002341*e^4 - 279536667392/253002341*e^3 + 139433549654/253002341*e^2 + 2195755824/253002341*e - 13477949799/253002341, -2363735759/253002341*e^18 - 9743990726/253002341*e^17 + 42866812616/253002341*e^16 + 215415528473/253002341*e^15 - 250261468833/253002341*e^14 - 1894682835725/253002341*e^13 + 187083025067/253002341*e^12 + 8433065941660/253002341*e^11 + 3508286688609/253002341*e^10 - 19985547077601/253002341*e^9 - 14082615088924/253002341*e^8 + 24493445172797/253002341*e^7 + 21372322986436/253002341*e^6 - 14317773422367/253002341*e^5 - 13950675486616/253002341*e^4 + 3127841267604/253002341*e^3 + 3254458515702/253002341*e^2 - 38635914974/253002341*e - 41960125547/253002341, -852524779/253002341*e^18 - 3274508807/253002341*e^17 + 16252913158/253002341*e^16 + 72692395855/253002341*e^15 - 107987210720/253002341*e^14 - 643393435476/253002341*e^13 + 225881452260/253002341*e^12 + 2892102436047/253002341*e^11 + 544740561381/253002341*e^10 - 6965932516209/253002341*e^9 - 3317555070070/253002341*e^8 + 8773686249730/253002341*e^7 + 5450804848689/253002341*e^6 - 5354027684779/253002341*e^5 - 3638376608154/253002341*e^4 + 1243520367303/253002341*e^3 + 858759775909/253002341*e^2 - 20253280454/253002341*e - 11941166372/253002341, -3065557475/253002341*e^18 - 11855704806/253002341*e^17 + 57978832922/253002341*e^16 + 262871533905/253002341*e^15 - 377638547798/253002341*e^14 - 2322452432244/253002341*e^13 + 715363947261/253002341*e^12 + 10411245587994/253002341*e^11 + 2398009248627/253002341*e^10 - 24975055081168/253002341*e^9 - 12960386515138/253002341*e^8 + 31288278145812/253002341*e^7 + 20769237765080/253002341*e^6 - 19054545711258/253002341*e^5 - 13593600195849/253002341*e^4 + 4574289998523/253002341*e^3 + 3089544422032/253002341*e^2 - 171633770464/253002341*e - 27436630826/253002341, -1727287992/253002341*e^18 - 6951937839/253002341*e^17 + 31728616192/253002341*e^16 + 153618832780/253002341*e^15 - 191985813016/253002341*e^14 - 1350773752575/253002341*e^13 + 219136352520/253002341*e^12 + 6013614289124/253002341*e^11 + 2181322797860/253002341*e^10 - 14275993424773/253002341*e^9 - 9328079431296/253002341*e^8 + 17606366016832/253002341*e^7 + 14328633885107/253002341*e^6 - 10521997965831/253002341*e^5 - 9345157341235/253002341*e^4 + 2515044144151/253002341*e^3 + 2153662191559/253002341*e^2 - 113016125391/253002341*e - 22459316229/253002341, 1879899312/253002341*e^18 + 8718789861/253002341*e^17 - 32159329599/253002341*e^16 - 193577192744/253002341*e^15 + 157173019325/253002341*e^14 + 1712108137366/253002341*e^13 + 210704816593/253002341*e^12 - 7681234327397/253002341*e^11 - 4344574361281/253002341*e^10 + 18442590333464/253002341*e^9 + 14743586609398/253002341*e^8 - 23178839501928/253002341*e^7 - 21085482446276/253002341*e^6 + 14327523171016/253002341*e^5 + 13249417703502/253002341*e^4 - 3658980144443/253002341*e^3 - 2993784163172/253002341*e^2 + 219504483306/253002341*e + 32959693503/253002341, 235909732/253002341*e^18 + 205456276/253002341*e^17 - 6046001388/253002341*e^16 - 4225789069/253002341*e^15 + 63945104026/253002341*e^14 + 34086516543/253002341*e^13 - 361600540953/253002341*e^12 - 136409777606/253002341*e^11 + 1185710735292/253002341*e^10 + 282273745206/253002341*e^9 - 2287770039348/253002341*e^8 - 295274069079/253002341*e^7 + 2505689176416/253002341*e^6 + 175970973696/253002341*e^5 - 1393806911573/253002341*e^4 - 89615816759/253002341*e^3 + 313040690823/253002341*e^2 + 18614034471/253002341*e - 11763482088/253002341, -3066980540/253002341*e^18 - 13761575234/253002341*e^17 + 53680655459/253002341*e^16 + 305474414194/253002341*e^15 - 283569436197/253002341*e^14 - 2701187129814/253002341*e^13 - 101220140376/253002341*e^12 + 12113615478276/253002341*e^11 + 5984194171490/253002341*e^10 - 29045706957753/253002341*e^9 - 21349511061220/253002341*e^8 + 36315884914018/253002341*e^7 + 30916389486023/253002341*e^6 - 21981678019715/253002341*e^5 - 19441605315140/253002341*e^4 + 5110669828051/253002341*e^3 + 4382758492383/253002341*e^2 - 113753902100/253002341*e - 50323451187/253002341, -1555908548/253002341*e^18 - 6468551363/253002341*e^17 + 28432033383/253002341*e^16 + 143495866044/253002341*e^15 - 170043809702/253002341*e^14 - 1267948447593/253002341*e^13 + 176328638303/253002341*e^12 + 5680904129511/253002341*e^11 + 2031405553377/253002341*e^10 - 13602364311078/253002341*e^9 - 8457613642117/253002341*e^8 + 16963416309679/253002341*e^7 + 12747243877118/253002341*e^6 - 10219387607795/253002341*e^5 - 8076774092163/253002341*e^4 + 2368715031009/253002341*e^3 + 1776724609898/253002341*e^2 - 58865233359/253002341*e - 14737518162/253002341, 470366835/253002341*e^18 + 2166467871/253002341*e^17 - 8119055710/253002341*e^16 - 48104593651/253002341*e^15 + 40928447508/253002341*e^14 + 425311652331/253002341*e^13 + 38842434405/253002341*e^12 - 1905111338145/253002341*e^11 - 1027282429843/253002341*e^10 + 4550536876103/253002341*e^9 + 3553023903280/253002341*e^8 - 5623762742269/253002341*e^7 - 5107789659627/253002341*e^6 + 3283477348205/253002341*e^5 + 3193893258057/253002341*e^4 - 675276713583/253002341*e^3 - 712602659213/253002341*e^2 + 1827756826/253002341*e + 7011641854/253002341, 740203231/253002341*e^18 + 2764509055/253002341*e^17 - 13959468260/253002341*e^16 - 60726602495/253002341*e^15 + 90278628227/253002341*e^14 + 529553012844/253002341*e^13 - 165339952778/253002341*e^12 - 2328273914415/253002341*e^11 - 603509181266/253002341*e^10 + 5413476372427/253002341*e^9 + 3143827126886/253002341*e^8 - 6420899622721/253002341*e^7 - 4930246375298/253002341*e^6 + 3533308405751/253002341*e^5 + 3131991393892/253002341*e^4 - 658496716068/253002341*e^3 - 670566710570/253002341*e^2 - 20859937420/253002341*e - 1898185064/253002341];
heckeEigenvalues := AssociativeArray();
for i := 1 to #heckeEigenvaluesArray do
  heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i];
end for;

ALEigenvalues := AssociativeArray();
ALEigenvalues[ideal<ZF | {29, 29, 2*w^4 - 2*w^3 - 11*w^2 + 4*w + 3}>] := 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;