/* This code can be loaded, or copied and pasted, into Magma. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. At the *bottom* of the file, there is code to recreate the Hilbert modular form in Magma, by creating the HMF space and cutting out the corresponding Hecke irreducible subspace. From there, you can ask for more eigenvalues or modify as desired. It is commented out, as this computation may be lengthy. */ P := PolynomialRing(Rationals()); g := P![-1, 1, 6, -2, -6, 0, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [5, 5, -w^4 + w^3 + 4*w^2 - 2*w - 1], [7, 7, w^5 - w^4 - 5*w^3 + 3*w^2 + 4*w - 3], [19, 19, w^5 - w^4 - 5*w^3 + 2*w^2 + 4*w], [23, 23, -w^2 + w + 2], [25, 5, w^5 + w^4 - 6*w^3 - 7*w^2 + 4*w + 2], [41, 41, 2*w^5 - w^4 - 10*w^3 + 6*w - 1], [47, 47, w^3 - w^2 - 4*w], [53, 53, w^5 - 5*w^3 - 3*w^2 + w + 3], [59, 59, 2*w^5 - 11*w^3 - 4*w^2 + 8*w], [61, 61, w^2 - 2*w - 2], [64, 2, -2], [67, 67, -w^4 + 6*w^2 + w - 3], [67, 67, -2*w^4 + w^3 + 10*w^2 - 6], [73, 73, w^5 - 5*w^3 - 2*w^2 + 2*w - 2], [73, 73, -w^5 - w^4 + 7*w^3 + 6*w^2 - 8*w - 2], [79, 79, w^5 - w^4 - 5*w^3 + 3*w^2 + 5*w - 1], [83, 83, 2*w^5 - 11*w^3 - 4*w^2 + 6*w], [89, 89, -2*w^5 + 11*w^3 + 4*w^2 - 7*w - 2], [97, 97, w^5 - w^4 - 5*w^3 + 3*w^2 + 2*w - 2], [97, 97, w^5 - w^4 - 6*w^3 + 3*w^2 + 7*w - 1], [97, 97, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 5*w + 4], [101, 101, w^5 - 6*w^3 - 3*w^2 + 6*w + 2], [103, 103, -w^5 - w^4 + 5*w^3 + 8*w^2 - 5], [107, 107, 2*w^4 - w^3 - 9*w^2 + w + 2], [109, 109, 2*w^5 - 10*w^3 - 5*w^2 + 4*w + 1], [113, 113, -w^4 + 6*w^2 + 2*w - 3], [125, 5, 2*w^5 - 10*w^3 - 6*w^2 + 5*w + 6], [127, 127, 2*w^5 - w^4 - 11*w^3 + 10*w], [131, 131, 2*w^5 - w^4 - 11*w^3 + 9*w + 1], [137, 137, -w^5 + 2*w^4 + 6*w^3 - 9*w^2 - 9*w + 5], [139, 139, -w^5 - 2*w^4 + 7*w^3 + 11*w^2 - 5*w - 5], [157, 157, 2*w^5 - 10*w^3 - 5*w^2 + 5*w + 1], [167, 167, -2*w^5 + 10*w^3 + 5*w^2 - 3*w + 1], [173, 173, 4*w^5 + 2*w^4 - 22*w^3 - 19*w^2 + 10*w + 5], [179, 179, 2*w^5 - w^4 - 11*w^3 + 10*w + 1], [179, 179, 2*w^5 - 11*w^3 - 5*w^2 + 8*w + 1], [181, 181, -4*w^5 - w^4 + 22*w^3 + 14*w^2 - 12*w - 4], [191, 191, w^4 + w^3 - 6*w^2 - 4*w + 2], [191, 191, -3*w^5 + 18*w^3 + 5*w^2 - 15*w - 1], [193, 193, -w^4 + w^3 + 6*w^2 - 2*w - 7], [197, 197, -3*w^5 + 2*w^4 + 16*w^3 - 3*w^2 - 12*w + 1], [197, 197, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 7*w - 5], [197, 197, -w^5 + w^4 + 6*w^3 - 3*w^2 - 9*w + 1], [211, 211, -2*w^5 + w^4 + 10*w^3 - w^2 - 4*w + 4], [223, 223, 2*w^5 - 10*w^3 - 6*w^2 + 5*w + 4], [227, 227, w^5 - 7*w^3 - w^2 + 9*w], [227, 227, -2*w^5 + w^4 + 9*w^3 - 2*w + 1], [229, 229, w^5 + w^4 - 5*w^3 - 6*w^2 - 2*w - 2], [233, 233, -2*w^5 - w^4 + 12*w^3 + 8*w^2 - 8*w - 4], [269, 269, 3*w^5 - 16*w^3 - 6*w^2 + 8*w], [269, 269, -2*w^5 + 12*w^3 + 3*w^2 - 12*w - 1], [277, 277, 3*w^5 - w^4 - 17*w^3 - w^2 + 16*w], [289, 17, -2*w^5 - w^4 + 12*w^3 + 8*w^2 - 10*w - 3], [307, 307, w^4 - 5*w^2 - 2*w - 1], [307, 307, 3*w^5 - w^4 - 16*w^3 - 3*w^2 + 12*w + 3], [307, 307, -w^4 - w^3 + 5*w^2 + 6*w - 2], [311, 311, -w^4 - w^3 + 7*w^2 + 4*w - 4], [311, 311, 3*w^5 - w^4 - 17*w^3 - 2*w^2 + 16*w + 2], [313, 313, -w^5 + w^4 + 6*w^3 - 3*w^2 - 7*w], [317, 317, 2*w^5 + w^4 - 12*w^3 - 8*w^2 + 7*w], [331, 331, 2*w^5 - 2*w^4 - 10*w^3 + 5*w^2 + 8*w - 5], [337, 337, w^5 - 6*w^3 - 3*w^2 + 6*w], [347, 347, -2*w^5 + 2*w^4 + 10*w^3 - 6*w^2 - 7*w + 2], [347, 347, 3*w^5 + w^4 - 17*w^3 - 11*w^2 + 9*w + 2], [349, 349, -2*w^5 + 11*w^3 + 5*w^2 - 7*w - 6], [367, 367, -w^5 - 2*w^4 + 5*w^3 + 13*w^2 + 2*w - 5], [367, 367, 2*w^5 + 2*w^4 - 10*w^3 - 16*w^2 - w + 6], [373, 373, 3*w^5 - w^4 - 17*w^3 - w^2 + 15*w + 1], [373, 373, 2*w^4 - 2*w^3 - 9*w^2 + 2*w + 4], [379, 379, 2*w^5 + w^4 - 11*w^3 - 10*w^2 + 5*w + 7], [389, 389, w^2 - 5], [389, 389, w^5 - 7*w^3 + 8*w], [397, 397, -2*w^5 - w^4 + 12*w^3 + 9*w^2 - 7*w - 5], [397, 397, -3*w^5 - w^4 + 18*w^3 + 10*w^2 - 14*w - 2], [397, 397, -2*w^5 - 2*w^4 + 12*w^3 + 13*w^2 - 6*w - 4], [419, 419, 2*w^5 + 2*w^4 - 11*w^3 - 14*w^2 + 2*w + 5], [419, 419, -w^5 + 4*w^3 + 3*w^2 + w - 2], [433, 433, -w^5 + 5*w^3 + 4*w^2 - w - 3], [433, 433, w^5 - 2*w^4 - 5*w^3 + 7*w^2 + 6*w - 4], [439, 439, 4*w^5 + 2*w^4 - 22*w^3 - 18*w^2 + 9*w + 4], [439, 439, w^5 + w^4 - 5*w^3 - 9*w^2 + 6], [439, 439, -3*w^5 + 2*w^4 + 16*w^3 - 3*w^2 - 13*w + 2], [443, 443, -3*w^5 + w^4 + 15*w^3 + 3*w^2 - 8*w - 2], [449, 449, -w^5 + w^4 + 5*w^3 - 4*w^2 - 2*w + 3], [449, 449, 3*w^5 - 16*w^3 - 8*w^2 + 9*w + 4], [449, 449, w^4 + w^3 - 6*w^2 - 6*w + 5], [449, 449, -w^5 + w^4 + 6*w^3 - 5*w^2 - 7*w + 4], [457, 457, -2*w^5 + 2*w^4 + 10*w^3 - 5*w^2 - 6*w + 4], [457, 457, w^5 - 3*w^4 - 4*w^3 + 12*w^2 + 5*w - 4], [461, 461, -2*w^4 + w^3 + 10*w^2 + w - 5], [463, 463, -w^5 + w^4 + 6*w^3 - 4*w^2 - 5*w + 4], [487, 487, -3*w^4 + 2*w^3 + 14*w^2 - w - 7], [487, 487, 3*w^5 + w^4 - 18*w^3 - 10*w^2 + 14*w + 3], [491, 491, -3*w^5 + w^4 + 16*w^3 + w^2 - 12*w + 2], [491, 491, 3*w^5 - w^4 - 16*w^3 - 2*w^2 + 12*w + 3], [499, 499, 4*w^5 - 22*w^3 - 9*w^2 + 15*w + 4], [499, 499, w^4 + w^3 - 7*w^2 - 6*w + 6], [523, 523, w^4 - 2*w^3 - 4*w^2 + 5*w + 2], [529, 23, -w^5 + 7*w^3 + w^2 - 10*w - 1], [541, 541, w^5 + 2*w^4 - 8*w^3 - 10*w^2 + 9*w + 3], [557, 557, w^5 - w^4 - 5*w^3 + 3*w^2 + 5*w - 5], [557, 557, 4*w^5 - 22*w^3 - 8*w^2 + 14*w + 1], [563, 563, 2*w^5 - w^4 - 12*w^3 + 2*w^2 + 13*w - 1], [563, 563, -w^5 - 2*w^4 + 6*w^3 + 13*w^2 - 2*w - 6], [563, 563, -w^5 + w^4 + 4*w^3 - 2*w^2 + w + 3], [569, 569, -3*w^5 + w^4 + 16*w^3 + w^2 - 9*w + 1], [599, 599, -w^4 - w^3 + 7*w^2 + 6*w - 5], [607, 607, -w^5 + 6*w^3 + 3*w^2 - 7*w - 1], [613, 613, -w^5 - 2*w^4 + 7*w^3 + 12*w^2 - 4*w - 7], [619, 619, 4*w^5 - w^4 - 22*w^3 - 3*w^2 + 16*w], [653, 653, 2*w^5 - 2*w^4 - 10*w^3 + 4*w^2 + 7*w], [653, 653, -2*w^5 + w^4 + 12*w^3 - w^2 - 14*w + 1], [659, 659, -2*w^5 - w^4 + 11*w^3 + 11*w^2 - 5*w - 7], [661, 661, 2*w^5 - 11*w^3 - 3*w^2 + 7*w], [661, 661, 2*w^5 - w^4 - 11*w^3 + 11*w + 2], [673, 673, -w^4 - w^3 + 5*w^2 + 7*w - 1], [677, 677, 3*w^5 - 16*w^3 - 7*w^2 + 10*w + 3], [677, 677, w^5 + 3*w^4 - 6*w^3 - 18*w^2 + 12], [691, 691, w^5 - w^4 - 4*w^3 + 2*w^2 - 4], [709, 709, -w^4 + w^3 + 3*w^2 - 2*w + 2], [709, 709, -2*w^5 - w^4 + 11*w^3 + 9*w^2 - 6*w - 1], [719, 719, 2*w^5 + 2*w^4 - 12*w^3 - 14*w^2 + 8*w + 5], [729, 3, -3], [739, 739, 4*w^5 - w^4 - 21*w^3 - 5*w^2 + 12*w + 3], [743, 743, -2*w^5 - w^4 + 10*w^3 + 11*w^2 - w - 6], [751, 751, -3*w^5 + w^4 + 17*w^3 + 2*w^2 - 15*w - 2], [751, 751, -2*w^5 + 3*w^4 + 10*w^3 - 11*w^2 - 10*w + 6], [757, 757, w^5 - 3*w^4 - 5*w^3 + 13*w^2 + 7*w - 6], [761, 761, -w^5 + w^4 + 6*w^3 - 3*w^2 - 6*w - 1], [787, 787, -3*w^5 - w^4 + 18*w^3 + 10*w^2 - 15*w - 2], [797, 797, 2*w^5 - 2*w^4 - 11*w^3 + 6*w^2 + 12*w - 1], [797, 797, w^2 - 2*w - 5], [809, 809, 2*w^5 - w^4 - 12*w^3 + 3*w^2 + 12*w - 3], [827, 827, 4*w^5 - 22*w^3 - 8*w^2 + 15*w + 1], [839, 839, 3*w^5 - w^4 - 16*w^3 - 3*w^2 + 10*w + 2], [839, 839, -w^5 + w^4 + 6*w^3 - 4*w^2 - 8*w + 1], [841, 29, -2*w^5 - w^4 + 11*w^3 + 9*w^2 - 7*w - 3], [853, 853, w^5 - 7*w^3 - w^2 + 7*w + 1], [857, 857, -2*w^5 + w^4 + 10*w^3 - w^2 - 6*w + 4], [863, 863, 3*w^5 - w^4 - 17*w^3 - 2*w^2 + 16*w], [877, 877, 2*w^5 - 10*w^3 - 5*w^2 + 3*w + 4], [887, 887, 2*w^5 + w^4 - 13*w^3 - 8*w^2 + 13*w + 5], [887, 887, 3*w^5 - 2*w^4 - 15*w^3 + 3*w^2 + 8*w - 4], [907, 907, 2*w^5 - w^4 - 13*w^3 + 2*w^2 + 17*w], [907, 907, -2*w^5 + 2*w^4 + 10*w^3 - 4*w^2 - 9*w + 1], [919, 919, -3*w^5 + 17*w^3 + 5*w^2 - 11*w], [929, 929, -3*w^5 + 17*w^3 + 6*w^2 - 11*w], [941, 941, 2*w^5 - w^4 - 11*w^3 - w^2 + 9*w + 2], [947, 947, -w^4 + 6*w^2 + 4*w - 4], [947, 947, -2*w^5 + w^4 + 11*w^3 - 11*w - 3], [947, 947, -4*w^5 + w^4 + 22*w^3 + 3*w^2 - 16*w - 1], [953, 953, -w^5 - 2*w^4 + 6*w^3 + 13*w^2 - 3*w - 8], [953, 953, 2*w^5 + 2*w^4 - 13*w^3 - 14*w^2 + 10*w + 6], [961, 31, 2*w^5 + w^4 - 12*w^3 - 10*w^2 + 9*w + 4], [967, 967, 2*w^5 - w^4 - 11*w^3 + w^2 + 11*w + 1], [967, 967, 2*w^5 - 2*w^4 - 11*w^3 + 6*w^2 + 13*w - 3], [983, 983, -4*w^5 + w^4 + 22*w^3 + 4*w^2 - 18*w - 2], [991, 991, 3*w^5 - 16*w^3 - 7*w^2 + 7*w + 2], [991, 991, -2*w^5 - w^4 + 12*w^3 + 8*w^2 - 11*w - 2]]; primes := [ideal : I in primesArray]; heckePol := x^11 - 4*x^10 - 36*x^9 + 140*x^8 + 435*x^7 - 1508*x^6 - 2498*x^5 + 6067*x^4 + 7104*x^3 - 6760*x^2 - 7104*x - 1120; K := NumberField(heckePol); heckeEigenvaluesArray := [e, -10810673/455558424*e^10 + 77929/18981601*e^9 + 32786749/37963202*e^8 + 4163327/113889606*e^7 - 4610823211/455558424*e^6 - 83427517/18981601*e^5 + 10109489405/227779212*e^4 + 15694249613/455558424*e^3 - 5915954467/113889606*e^2 - 2816553796/56944803*e - 461520880/56944803, 1386251/75926404*e^10 + 260525/37963202*e^9 - 12811010/18981601*e^8 - 7326688/18981601*e^7 + 610740601/75926404*e^6 + 281670363/37963202*e^5 - 1324218211/37963202*e^4 - 3334191331/75926404*e^3 + 1324868877/37963202*e^2 + 1196049132/18981601*e + 348587846/18981601, -35493239/455558424*e^10 + 912625/75926404*e^9 + 54041503/18981601*e^8 + 8206517/113889606*e^7 - 15282975829/455558424*e^6 - 940977609/75926404*e^5 + 33569706305/227779212*e^4 + 45615631271/455558424*e^3 - 39458122721/227779212*e^2 - 17293563425/113889606*e - 1280257558/56944803, -1, -2741357/75926404*e^10 + 488421/75926404*e^9 + 24789058/18981601*e^8 + 1071862/18981601*e^7 - 1153133811/75926404*e^6 - 532060953/75926404*e^5 + 2510159403/37963202*e^4 + 4323217495/75926404*e^3 - 5820720409/75926404*e^2 - 1714984826/18981601*e - 224600828/18981601, -19372597/455558424*e^10 + 2533245/75926404*e^9 + 28874738/18981601*e^8 - 100272881/113889606*e^7 - 7881941639/455558424*e^6 + 238182095/75926404*e^5 + 16658828131/227779212*e^4 + 6502799149/455558424*e^3 - 18709187149/227779212*e^2 - 3843908413/113889606*e - 294830756/56944803, -1197467/56944803*e^10 + 330745/18981601*e^9 + 14143687/18981601*e^8 - 26125318/56944803*e^7 - 484631992/56944803*e^6 + 29836259/18981601*e^5 + 2187845437/56944803*e^4 + 435348611/56944803*e^3 - 3199110487/56944803*e^2 - 1074795122/56944803*e + 538960444/56944803, 3820394/56944803*e^10 - 3902517/75926404*e^9 - 91650765/37963202*e^8 + 79328818/56944803*e^7 + 1590930082/56944803*e^6 - 424035543/75926404*e^5 - 14097571205/113889606*e^4 - 2136118657/113889606*e^3 + 37141159159/227779212*e^2 + 6108529981/113889606*e - 236934640/56944803, -210027/6602296*e^10 - 7297/3301148*e^9 + 955502/825287*e^8 + 584703/1650574*e^7 - 89447057/6602296*e^6 - 32658707/3301148*e^5 + 193748245/3301148*e^4 + 435513083/6602296*e^3 - 212378957/3301148*e^2 - 155365651/1650574*e - 11809830/825287, 2069489/75926404*e^10 + 739067/75926404*e^9 - 19268996/18981601*e^8 - 9603757/18981601*e^7 + 928073303/75926404*e^6 + 719782609/75926404*e^5 - 2026604401/37963202*e^4 - 4233064175/75926404*e^3 + 4076428053/75926404*e^2 + 1463979835/18981601*e + 518314575/18981601, -10282589/227779212*e^10 + 2318007/75926404*e^9 + 30806881/18981601*e^8 - 41944117/56944803*e^7 - 4253706115/227779212*e^6 + 43692197/75926404*e^5 + 9244291511/113889606*e^4 + 7012300895/227779212*e^3 - 22659106201/227779212*e^2 - 3719238923/56944803*e - 430927022/56944803, 1211935/227779212*e^10 + 2386593/37963202*e^9 - 5005255/18981601*e^8 - 125524720/56944803*e^7 + 967684445/227779212*e^6 + 937128945/37963202*e^5 - 2365934911/113889606*e^4 - 23772373207/227779212*e^3 + 1263884719/113889606*e^2 + 7018803136/56944803*e + 2108931526/56944803, 26764841/455558424*e^10 - 231168/18981601*e^9 - 81322921/37963202*e^8 + 3086053/113889606*e^7 + 11449325563/455558424*e^6 + 170574156/18981601*e^5 - 24961741493/227779212*e^4 - 35377764437/455558424*e^3 + 14271545227/113889606*e^2 + 6944545303/56944803*e + 1299702694/56944803, -30035449/455558424*e^10 - 515189/37963202*e^9 + 93340799/37963202*e^8 + 88795243/113889606*e^7 - 13581486755/455558424*e^6 - 629350715/37963202*e^5 + 30524753965/227779212*e^4 + 46884373405/455558424*e^3 - 9216735799/56944803*e^2 - 8108160734/56944803*e - 836075846/56944803, -1339275/75926404*e^10 + 793407/75926404*e^9 + 23577981/37963202*e^8 - 5738754/18981601*e^7 - 526445517/75926404*e^6 + 110494389/75926404*e^5 + 545190062/18981601*e^4 + 41994905/75926404*e^3 - 2589946807/75926404*e^2 + 58818911/37963202*e + 127529206/18981601, 554339/113889606*e^10 - 1141037/37963202*e^9 - 2977344/18981601*e^8 + 62306498/56944803*e^7 + 188752123/113889606*e^6 - 477112711/37963202*e^5 - 558275687/56944803*e^4 + 6307379335/113889606*e^3 + 3689871481/113889606*e^2 - 4012327205/56944803*e - 1587344042/56944803, 3467485/37963202*e^10 - 38207/18981601*e^9 - 63944143/18981601*e^8 - 7110098/18981601*e^7 + 1526149609/37963202*e^6 + 294708073/18981601*e^5 - 3374734666/18981601*e^4 - 4245476885/37963202*e^3 + 3925115654/18981601*e^2 + 2989738045/18981601*e + 643847174/18981601, 4350817/56944803*e^10 - 926465/37963202*e^9 - 52867450/18981601*e^8 + 21971060/56944803*e^7 + 1865299757/56944803*e^6 + 260521293/37963202*e^5 - 8243993342/56944803*e^4 - 4251091879/56944803*e^3 + 19994675503/113889606*e^2 + 6494731852/56944803*e + 1000696030/56944803, 17963975/455558424*e^10 - 318649/75926404*e^9 - 27406958/18981601*e^8 - 3393485/113889606*e^7 + 7791559789/455558424*e^6 + 386337925/75926404*e^5 - 17272522541/227779212*e^4 - 18816004007/455558424*e^3 + 21354583745/227779212*e^2 + 7114869383/113889606*e + 442591756/56944803, -1135945/37963202*e^10 + 3253523/75926404*e^9 + 19598032/18981601*e^8 - 22946950/18981601*e^7 - 422914291/37963202*e^6 + 543019341/75926404*e^5 + 868645649/18981601*e^4 - 55609062/18981601*e^3 - 4066683683/75926404*e^2 - 439753071/18981601*e - 45033978/18981601, -3927/1650574*e^10 + 35087/825287*e^9 + 8560/825287*e^8 - 1177500/825287*e^7 + 1936637/1650574*e^6 + 12003689/825287*e^5 - 8260403/825287*e^4 - 92792727/1650574*e^3 + 12232795/825287*e^2 + 53355295/825287*e + 5597214/825287, 30747367/227779212*e^10 + 2580877/75926404*e^9 - 94646019/18981601*e^8 - 116834638/56944803*e^7 + 13593473537/227779212*e^6 + 3263566327/75926404*e^5 - 30106441225/113889606*e^4 - 60218889577/227779212*e^3 + 68457723221/227779212*e^2 + 21140476762/56944803*e + 4057265452/56944803, -781551/151852808*e^10 + 1567261/75926404*e^9 + 3066947/18981601*e^8 - 27085523/37963202*e^7 - 214863981/151852808*e^6 + 565685951/75926404*e^5 + 287623597/75926404*e^4 - 4412224289/151852808*e^3 - 25473295/75926404*e^2 + 1260265537/37963202*e + 37525246/18981601, 23053787/455558424*e^10 - 1026849/37963202*e^9 - 68915819/37963202*e^8 + 64091701/113889606*e^7 + 9442965361/455558424*e^6 + 89629049/37963202*e^5 - 19917967631/227779212*e^4 - 20858952263/455558424*e^3 + 5325911759/56944803*e^2 + 4522460173/56944803*e + 1103746570/56944803, -150787/151852808*e^10 - 201977/18981601*e^9 + 321749/37963202*e^8 + 16605635/37963202*e^7 + 59818735/151852808*e^6 - 117977806/18981601*e^5 - 411291001/75926404*e^4 + 5045581615/151852808*e^3 + 792855067/37963202*e^2 - 1032695359/18981601*e - 398304642/18981601, 4962446/56944803*e^10 + 180815/18981601*e^9 - 60654809/18981601*e^8 - 49732526/56944803*e^7 + 2153625373/56944803*e^6 + 430477903/18981601*e^5 - 9410688865/56944803*e^4 - 8601949691/56944803*e^3 + 10509089824/56944803*e^2 + 12878280845/56944803*e + 2164560854/56944803, -14549727/151852808*e^10 + 87771/37963202*e^9 + 133417189/37963202*e^8 + 18365121/37963202*e^7 - 6323948365/151852808*e^6 - 723938561/37963202*e^5 + 13911730763/75926404*e^4 + 20952565387/151852808*e^3 - 3993528413/18981601*e^2 - 3885642537/18981601*e - 745245552/18981601, 27457083/151852808*e^10 - 354132/18981601*e^9 - 252344789/37963202*e^8 - 16555385/37963202*e^7 + 11998433617/151852808*e^6 + 583595925/18981601*e^5 - 26599303699/75926404*e^4 - 36049431375/151852808*e^3 + 15750712459/37963202*e^2 + 6829822283/18981601*e + 1233148044/18981601, -2758898/18981601*e^10 + 1725425/37963202*e^9 + 100576868/18981601*e^8 - 13711704/18981601*e^7 - 1181055684/18981601*e^6 - 495539935/37963202*e^5 + 5181604260/18981601*e^4 + 2763150393/18981601*e^3 - 12285527187/37963202*e^2 - 4567166523/18981601*e - 786896652/18981601, -801224/18981601*e^10 - 2825203/75926404*e^9 + 60073971/37963202*e^8 + 30042809/18981601*e^7 - 367386538/18981601*e^6 - 1844818425/75926404*e^5 + 3287923141/37963202*e^4 + 5039431941/37963202*e^3 - 6888267405/75926404*e^2 - 7088828641/37963202*e - 1036978556/18981601, 3992275/56944803*e^10 - 576433/75926404*e^9 - 98313103/37963202*e^8 - 5162854/56944803*e^7 + 1765292648/56944803*e^6 + 782771445/75926404*e^5 - 15744569269/113889606*e^4 - 9882422177/113889606*e^3 + 37611788147/227779212*e^2 + 16610682779/113889606*e + 1177293544/56944803, 2678803/75926404*e^10 - 131985/18981601*e^9 - 24163124/18981601*e^8 - 1564320/18981601*e^7 + 1115825589/75926404*e^6 + 149760879/18981601*e^5 - 2394821179/37963202*e^4 - 4817031447/75926404*e^3 + 1322706148/18981601*e^2 + 2055166496/18981601*e + 364454730/18981601, 92167181/455558424*e^10 - 1171523/18981601*e^9 - 280698237/37963202*e^8 + 111119215/113889606*e^7 + 39707440111/455558424*e^6 + 340286096/18981601*e^5 - 87702997409/227779212*e^4 - 90498805529/455558424*e^3 + 53722344355/113889606*e^2 + 18833305333/56944803*e + 1479971542/56944803, 34316821/455558424*e^10 - 778753/37963202*e^9 - 102024317/37963202*e^8 + 10111469/113889606*e^7 + 13874332367/455558424*e^6 + 492439695/37963202*e^5 - 28793584033/227779212*e^4 - 51689946721/455558424*e^3 + 7094606392/56944803*e^2 + 10494044849/56944803*e + 2987960588/56944803, 87128593/455558424*e^10 - 3979571/37963202*e^9 - 261646479/37963202*e^8 + 265047287/113889606*e^7 + 36271915907/455558424*e^6 + 188555093/37963202*e^5 - 78940650001/227779212*e^4 - 68277806437/455558424*e^3 + 23978966560/56944803*e^2 + 15668666177/56944803*e + 1530153152/56944803, 3971669/56944803*e^10 - 812837/18981601*e^9 - 47046507/18981601*e^8 + 58058857/56944803*e^7 + 1599909610/56944803*e^6 - 1885913/18981601*e^5 - 6817118884/56944803*e^4 - 2539080695/56944803*e^3 + 7797093850/56944803*e^2 + 4352821658/56944803*e + 971253332/56944803, 45538685/455558424*e^10 - 3895259/75926404*e^9 - 69240221/18981601*e^8 + 145720237/113889606*e^7 + 19632953887/455558424*e^6 - 85962437/75926404*e^5 - 44274209519/227779212*e^4 - 22534664501/455558424*e^3 + 59274254075/227779212*e^2 + 9894972893/113889606*e - 467895428/56944803, -18117651/75926404*e^10 + 952563/18981601*e^9 + 165893298/18981601*e^8 - 6112477/18981601*e^7 - 7846879121/75926404*e^6 - 578547535/18981601*e^5 + 17366613095/37963202*e^4 + 20324331931/75926404*e^3 - 10565367919/18981601*e^2 - 7648573604/18981601*e - 712899174/18981601, -20511181/227779212*e^10 + 444619/37963202*e^9 + 61624828/18981601*e^8 + 17463361/56944803*e^7 - 8540569259/227779212*e^6 - 742711543/37963202*e^5 + 18251382229/113889606*e^4 + 34479007885/227779212*e^3 - 19485668185/113889606*e^2 - 13535420494/56944803*e - 2460485332/56944803, 548713/37963202*e^10 - 1368014/18981601*e^9 - 7816864/18981601*e^8 + 43774624/18981601*e^7 + 107175035/37963202*e^6 - 404019739/18981601*e^5 - 85685784/18981601*e^4 + 2777927129/37963202*e^3 - 57429028/18981601*e^2 - 1477188817/18981601*e - 111567734/18981601, 4510165/227779212*e^10 - 387118/18981601*e^9 - 13059237/18981601*e^8 + 30521423/56944803*e^7 + 1703030807/227779212*e^6 - 37685147/18981601*e^5 - 3393708427/113889606*e^4 - 1934368561/227779212*e^3 + 1506086789/56944803*e^2 + 1101618964/56944803*e + 884025544/56944803, 9284089/75926404*e^10 + 1045828/18981601*e^9 - 86897862/18981601*e^8 - 49608122/18981601*e^7 + 4230121971/75926404*e^6 + 863564241/18981601*e^5 - 9456508177/37963202*e^4 - 19702302373/75926404*e^3 + 5364398317/18981601*e^2 + 6645038366/18981601*e + 1441101978/18981601, 2225102/56944803*e^10 + 435373/75926404*e^9 - 28573885/18981601*e^8 - 21059012/56944803*e^7 + 1081319041/56944803*e^6 + 631923247/75926404*e^5 - 5050486540/56944803*e^4 - 6059200705/113889606*e^3 + 25466437417/227779212*e^2 + 3997142294/56944803*e + 131771564/56944803, -498319/151852808*e^10 - 303310/18981601*e^9 + 6572731/37963202*e^8 + 15657569/37963202*e^7 - 424977085/151852808*e^6 - 44819253/18981601*e^5 + 941994703/75926404*e^4 + 429942227/151852808*e^3 + 45317373/37963202*e^2 + 105326780/18981601*e - 458644768/18981601, 8900948/56944803*e^10 - 1322225/75926404*e^9 - 217741607/37963202*e^8 - 13267898/56944803*e^7 + 3873499060/56944803*e^6 + 1802192873/75926404*e^5 - 34172070383/113889606*e^4 - 21691304815/113889606*e^3 + 79057392235/227779212*e^2 + 33504551395/113889606*e + 4011982880/56944803, -21053107/227779212*e^10 + 2058621/37963202*e^9 + 61821708/18981601*e^8 - 63784139/56944803*e^7 - 8273313353/227779212*e^6 - 190541849/37963202*e^5 + 17111446615/113889606*e^4 + 21673611559/227779212*e^3 - 17569763263/113889606*e^2 - 10024739548/56944803*e - 3099284020/56944803, -2806365/18981601*e^10 + 3702921/75926404*e^9 + 102680051/18981601*e^8 - 16487583/18981601*e^7 - 1213953232/18981601*e^6 - 817918325/75926404*e^5 + 5406518078/18981601*e^4 + 4977485687/37963202*e^3 - 27142694913/75926404*e^2 - 4151987789/18981601*e - 299695730/18981601, 56914723/455558424*e^10 + 2350947/75926404*e^9 - 88389842/18981601*e^8 - 210051559/113889606*e^7 + 25690815569/455558424*e^6 + 2916551829/75926404*e^5 - 57554334205/227779212*e^4 - 107972118211/455558424*e^3 + 65822884753/227779212*e^2 + 38094667453/113889606*e + 4219849778/56944803, 14863857/75926404*e^10 - 2970255/37963202*e^9 - 135790935/18981601*e^8 + 28780819/18981601*e^7 + 6410341327/75926404*e^6 + 447591487/37963202*e^5 - 14312493809/37963202*e^4 - 12713428493/75926404*e^3 + 18356459207/37963202*e^2 + 5172953839/18981601*e + 163484416/18981601, 22947469/151852808*e^10 + 1208797/18981601*e^9 - 214591493/37963202*e^8 - 112017863/37963202*e^7 + 10440568631/151852808*e^6 + 979897938/18981601*e^5 - 23289158149/75926404*e^4 - 45560687081/151852808*e^3 + 13038545933/37963202*e^2 + 8006788676/18981601*e + 1703201034/18981601, 31475065/455558424*e^10 - 1261239/37963202*e^9 - 91911027/37963202*e^8 + 60391313/113889606*e^7 + 12172122011/455558424*e^6 + 299166349/37963202*e^5 - 24650543845/227779212*e^4 - 40464040981/455558424*e^3 + 5983801933/56944803*e^2 + 8068377680/56944803*e + 1410836186/56944803, -58997351/455558424*e^10 + 9730757/75926404*e^9 + 87025175/18981601*e^8 - 404223451/113889606*e^7 - 23460822085/455558424*e^6 + 1373910915/75926404*e^5 + 49798005437/227779212*e^4 + 5144556959/455558424*e^3 - 60437531465/227779212*e^2 - 8367716453/113889606*e - 35808202/56944803, -271381/455558424*e^10 + 670357/37963202*e^9 - 1504977/37963202*e^8 - 49612001/113889606*e^7 + 645313225/455558424*e^6 + 69292281/37963202*e^5 - 1960958639/227779212*e^4 + 1197583417/455558424*e^3 + 652948958/56944803*e^2 - 629744948/56944803*e - 801866744/56944803, -12642443/227779212*e^10 + 338233/37963202*e^9 + 38981459/18981601*e^8 - 3364309/56944803*e^7 - 5631135049/227779212*e^6 - 222323673/37963202*e^5 + 12843665045/113889606*e^4 + 11539921331/227779212*e^3 - 17247116069/113889606*e^2 - 4173063182/56944803*e + 655257640/56944803, -9280309/37963202*e^10 + 3459175/37963202*e^9 + 169065254/18981601*e^8 - 32027251/18981601*e^7 - 3975873519/37963202*e^6 - 643299219/37963202*e^5 + 8826128559/18981601*e^4 + 8310723121/37963202*e^3 - 22141994909/37963202*e^2 - 6730621102/18981601*e - 593461494/18981601, 1867463/37963202*e^10 + 1949621/37963202*e^9 - 35788203/18981601*e^8 - 35940208/18981601*e^7 + 905381535/37963202*e^6 + 944713831/37963202*e^5 - 2120998370/18981601*e^4 - 4596029655/37963202*e^3 + 5527839981/37963202*e^2 + 2821039496/18981601*e - 33648276/18981601, -1745066/18981601*e^10 - 537448/18981601*e^9 + 64114559/18981601*e^8 + 32730099/18981601*e^7 - 763276980/18981601*e^6 - 671292902/18981601*e^5 + 3385589551/18981601*e^4 + 4098884603/18981601*e^3 - 3827208588/18981601*e^2 - 5898314019/18981601*e - 1331959752/18981601, -61129289/227779212*e^10 + 1698526/18981601*e^9 + 184702471/18981601*e^8 - 80838595/56944803*e^7 - 25823779627/227779212*e^6 - 473865875/18981601*e^5 + 56122644005/113889606*e^4 + 63158458901/227779212*e^3 - 32276593720/56944803*e^2 - 25998239342/56944803*e - 5443667852/56944803, 1434161/75926404*e^10 - 6409675/75926404*e^9 - 11304071/18981601*e^8 + 53003626/18981601*e^7 + 427397287/75926404*e^6 - 2081668189/75926404*e^5 - 942541087/37963202*e^4 + 7828147341/75926404*e^3 + 4517388831/75926404*e^2 - 2445712274/18981601*e - 938297120/18981601, -3714575/56944803*e^10 + 504481/75926404*e^9 + 90837157/37963202*e^8 + 18553982/56944803*e^7 - 1621856854/56944803*e^6 - 1181217765/75926404*e^5 + 14754181805/113889606*e^4 + 13034264143/113889606*e^3 - 39523332727/227779212*e^2 - 19343800495/113889606*e + 23699758/56944803, 55583921/455558424*e^10 - 199303/18981601*e^9 - 170591633/37963202*e^8 - 63157709/113889606*e^7 + 24348439051/455558424*e^6 + 507090291/18981601*e^5 - 53891267321/227779212*e^4 - 91830677117/455558424*e^3 + 31306929025/113889606*e^2 + 17859314710/56944803*e + 3328008790/56944803, -8700010/56944803*e^10 - 1711665/75926404*e^9 + 108129452/18981601*e^8 + 93561616/56944803*e^7 - 3930134222/56944803*e^6 - 2944859755/75926404*e^5 + 17693759288/56944803*e^4 + 28378001801/113889606*e^3 - 85215937289/227779212*e^2 - 20357696470/56944803*e - 2930095780/56944803, 42062743/227779212*e^10 - 1878917/37963202*e^9 - 128143129/18981601*e^8 + 35131574/56944803*e^7 + 18117183809/227779212*e^6 + 761199211/37963202*e^5 - 39730493161/113889606*e^4 - 45706138255/227779212*e^3 + 45835311565/113889606*e^2 + 18884505163/56944803*e + 3828991114/56944803, -39539491/227779212*e^10 - 1901517/37963202*e^9 + 121993107/18981601*e^8 + 155563561/56944803*e^7 - 17557001561/227779212*e^6 - 2067291703/37963202*e^5 + 38713977385/113889606*e^4 + 75576764443/227779212*e^3 - 43153532077/113889606*e^2 - 26400625393/56944803*e - 4779826240/56944803, -18575641/113889606*e^10 + 3130241/37963202*e^9 + 112465674/18981601*e^8 - 106899961/56944803*e^7 - 7894546619/113889606*e^6 - 109056747/37963202*e^5 + 17455513042/56944803*e^4 + 12274642207/113889606*e^3 - 44041009721/113889606*e^2 - 9971114645/56944803*e + 13634878/56944803, -20972749/227779212*e^10 - 1191875/75926404*e^9 + 64092894/18981601*e^8 + 56620642/56944803*e^7 - 9165866999/227779212*e^6 - 1713060469/75926404*e^5 + 20548984795/113889606*e^4 + 31666621135/227779212*e^3 - 51614825207/227779212*e^2 - 10423088629/56944803*e - 764843566/56944803, -4033175/227779212*e^10 + 605677/37963202*e^9 + 10805953/18981601*e^8 - 13792279/56944803*e^7 - 1176429913/227779212*e^6 - 125052257/37963202*e^5 + 1405791449/113889606*e^4 + 8377043855/227779212*e^3 + 2507586967/113889606*e^2 - 3431518802/56944803*e - 2680468562/56944803, 37649947/227779212*e^10 + 1808403/75926404*e^9 - 115448512/18981601*e^8 - 110932573/56944803*e^7 + 16499108117/227779212*e^6 + 3594781565/75926404*e^5 - 36493889209/113889606*e^4 - 69440642821/227779212*e^3 + 83415320327/227779212*e^2 + 24348541861/56944803*e + 5275919830/56944803, -46040005/455558424*e^10 + 3523251/75926404*e^9 + 70066975/18981601*e^8 - 121890893/113889606*e^7 - 19887020231/455558424*e^6 - 141173391/75926404*e^5 + 44775435943/227779212*e^4 + 30050378173/455558424*e^3 - 58745025787/227779212*e^2 - 13473968365/113889606*e - 304032698/56944803, 5518031/56944803*e^10 - 5215651/75926404*e^9 - 134126361/37963202*e^8 + 105761698/56944803*e^7 + 2367975076/56944803*e^6 - 565948081/75926404*e^5 - 21279783095/113889606*e^4 - 2599486231/113889606*e^3 + 57633147865/227779212*e^2 + 6412371427/113889606*e - 1781575570/56944803, -115055581/455558424*e^10 - 440834/18981601*e^9 + 352956205/37963202*e^8 + 268893973/113889606*e^7 - 50390301119/455558424*e^6 - 1202044747/18981601*e^5 + 110741570761/227779212*e^4 + 193781331025/455558424*e^3 - 62274460949/113889606*e^2 - 35928321578/56944803*e - 7010327258/56944803, -8502302/56944803*e^10 + 4089211/75926404*e^9 + 101830741/18981601*e^8 - 41841730/56944803*e^7 - 3511647520/56944803*e^6 - 1346985263/75926404*e^5 + 15055161706/56944803*e^4 + 20763675391/113889606*e^3 - 67213393849/227779212*e^2 - 16975109516/56944803*e - 3382437884/56944803, 56618303/227779212*e^10 - 3345553/37963202*e^9 - 170660171/18981601*e^8 + 82660207/56944803*e^7 + 23783876329/227779212*e^6 + 839633573/37963202*e^5 - 51675670451/113889606*e^4 - 57110600327/227779212*e^3 + 61116139901/113889606*e^2 + 22867692443/56944803*e + 2337861908/56944803, -14313160/56944803*e^10 + 784960/18981601*e^9 + 175527180/18981601*e^8 + 5389000/56944803*e^7 - 6272400908/56944803*e^6 - 710374525/18981601*e^5 + 28054232039/56944803*e^4 + 17594468266/56944803*e^3 - 34654288811/56944803*e^2 - 26917765486/56944803*e - 3013090222/56944803, -12924641/151852808*e^10 + 1832551/75926404*e^9 + 58707617/18981601*e^8 - 16880085/37963202*e^7 - 5493925955/151852808*e^6 - 434125727/75926404*e^5 + 11969714099/75926404*e^4 + 10485163465/151852808*e^3 - 14161379433/75926404*e^2 - 4410236795/37963202*e - 211139684/18981601, -120198485/455558424*e^10 + 3864103/37963202*e^9 + 366749481/37963202*e^8 - 242722387/113889606*e^7 - 52000103383/455558424*e^6 - 443205459/37963202*e^5 + 115188214793/227779212*e^4 + 90399766481/455558424*e^3 - 35476934693/56944803*e^2 - 19111399627/56944803*e - 1191078592/56944803, -36585839/113889606*e^10 + 4554951/37963202*e^9 + 223314409/18981601*e^8 - 143136542/56944803*e^7 - 15834727855/113889606*e^6 - 545557377/37963202*e^5 + 35033013719/56944803*e^4 + 27374675453/113889606*e^3 - 85909382629/113889606*e^2 - 22798387243/56944803*e - 1349781178/56944803, -9234949/37963202*e^10 + 130507/18981601*e^9 + 169244417/18981601*e^8 + 25468495/18981601*e^7 - 3999911457/37963202*e^6 - 985411663/18981601*e^5 + 8740323937/18981601*e^4 + 14239522011/37963202*e^3 - 9758160215/18981601*e^2 - 10776933902/18981601*e - 2474107096/18981601, -17608160/56944803*e^10 + 610105/75926404*e^9 + 426600935/37963202*e^8 + 109404719/56944803*e^7 - 7482869134/56944803*e^6 - 5435336381/75926404*e^5 + 65003857409/113889606*e^4 + 57576776563/113889606*e^3 - 146185195399/227779212*e^2 - 84024473197/113889606*e - 8537645720/56944803, -1277785/227779212*e^10 - 1953837/37963202*e^9 + 4528794/18981601*e^8 + 111648127/56944803*e^7 - 732803375/227779212*e^6 - 922550385/37963202*e^5 + 1363529371/113889606*e^4 + 25072585225/227779212*e^3 + 1202219927/113889606*e^2 - 7889115076/56944803*e - 1901058808/56944803, -77150759/455558424*e^10 - 696507/75926404*e^9 + 118591367/18981601*e^8 + 163525481/113889606*e^7 - 34006714141/455558424*e^6 - 3153021441/75926404*e^5 + 75786308729/227779212*e^4 + 127398825551/455558424*e^3 - 90691238165/227779212*e^2 - 45887821151/113889606*e - 3196179142/56944803, 67959851/455558424*e^10 + 37347/37963202*e^9 - 212930341/37963202*e^8 - 72844625/113889606*e^7 + 31376057929/455558424*e^6 + 895496659/37963202*e^5 - 72283325447/227779212*e^4 - 78410940887/455558424*e^3 + 23645975738/56944803*e^2 + 14532374587/56944803*e + 198154168/56944803, -3352965/151852808*e^10 - 1596985/75926404*e^9 + 17944552/18981601*e^8 + 26805827/37963202*e^7 - 2036069207/151852808*e^6 - 589122239/75926404*e^5 + 5256860263/75926404*e^4 + 5144748413/151852808*e^3 - 7937211881/75926404*e^2 - 1638088477/37963202*e + 353281064/18981601, -91108283/455558424*e^10 + 1629109/37963202*e^9 + 280035715/37963202*e^8 - 42457243/113889606*e^7 - 40100330905/455558424*e^6 - 888475085/37963202*e^5 + 89488700195/227779212*e^4 + 99606023039/455558424*e^3 - 27671346356/56944803*e^2 - 20545344562/56944803*e - 1196259070/56944803, -40732319/151852808*e^10 + 2361063/75926404*e^9 + 187796279/18981601*e^8 + 19098161/37963202*e^7 - 17954313477/151852808*e^6 - 3285405911/75926404*e^5 + 40196323173/75926404*e^4 + 51219169447/151852808*e^3 - 49141666205/75926404*e^2 - 19218630837/37963202*e - 1524991674/18981601, 18914336/56944803*e^10 - 3059220/18981601*e^9 - 228872774/18981601*e^8 + 204598414/56944803*e^7 + 8017974355/56944803*e^6 + 172556426/18981601*e^5 - 35227210612/56944803*e^4 - 14042569823/56944803*e^3 + 43362340183/56944803*e^2 + 25196834549/56944803*e + 1443659528/56944803, -119117405/455558424*e^10 + 5042467/75926404*e^9 + 181357878/18981601*e^8 - 85885975/113889606*e^7 - 51263277103/455558424*e^6 - 2236240203/75926404*e^5 + 112529466203/227779212*e^4 + 129967752533/455558424*e^3 - 132113532563/227779212*e^2 - 52280805521/113889606*e - 4109541334/56944803, 4025145/18981601*e^10 - 1240835/75926404*e^9 - 148641147/18981601*e^8 - 13110307/18981601*e^7 + 1776120052/18981601*e^6 + 2850083363/75926404*e^5 - 7898786801/18981601*e^4 - 10701088175/37963202*e^3 + 37468521995/75926404*e^2 + 7943212606/18981601*e + 1292412980/18981601, 12118729/113889606*e^10 - 725647/18981601*e^9 - 74989192/18981601*e^8 + 53923651/56944803*e^7 + 5401635707/113889606*e^6 + 12658818/18981601*e^5 - 12014159839/56944803*e^4 - 6133669045/113889606*e^3 + 14532010333/56944803*e^2 + 5905236839/56944803*e - 50993878/56944803, 15482127/75926404*e^10 - 354995/37963202*e^9 - 141066592/18981601*e^8 - 20084385/18981601*e^7 + 6627062437/75926404*e^6 + 1661502619/37963202*e^5 - 14464888107/37963202*e^4 - 23876291667/75926404*e^3 + 16342735195/37963202*e^2 + 8534242194/18981601*e + 1891953234/18981601, -30513481/227779212*e^10 + 2012591/37963202*e^9 + 94321680/18981601*e^8 - 71313668/56944803*e^7 - 13613426303/227779212*e^6 - 79687183/37963202*e^5 + 30747526951/113889606*e^4 + 18832801249/227779212*e^3 - 39471249319/113889606*e^2 - 9729810178/56944803*e - 124370464/56944803, 48382141/227779212*e^10 - 13017233/75926404*e^9 - 290230327/37963202*e^8 + 255693761/56944803*e^7 + 20090064599/227779212*e^6 - 1170061703/75926404*e^5 - 22043911499/56944803*e^4 - 18338443891/227779212*e^3 + 111889839695/227779212*e^2 + 22608055805/113889606*e + 418270822/56944803, -37149179/113889606*e^10 + 1616723/37963202*e^9 + 226715525/18981601*e^8 + 24044242/56944803*e^7 - 16071745513/113889606*e^6 - 1935370537/37963202*e^5 + 35315631956/56944803*e^4 + 46533221693/113889606*e^3 - 82614027217/113889606*e^2 - 35233355554/56944803*e - 4773231346/56944803, 3914207/56944803*e^10 - 1823195/75926404*e^9 - 46308995/18981601*e^8 + 22973158/56944803*e^7 + 1570839967/56944803*e^6 + 507007123/75926404*e^5 - 6560023804/56944803*e^4 - 9100921975/113889606*e^3 + 26861695333/227779212*e^2 + 8306074352/56944803*e + 2087799380/56944803, -86788309/455558424*e^10 - 1278598/18981601*e^9 + 267301335/37963202*e^8 + 408880057/113889606*e^7 - 38318136335/455558424*e^6 - 1304676050/18981601*e^5 + 83818563565/227779212*e^4 + 187175659201/455558424*e^3 - 45375599873/113889606*e^2 - 32997749372/56944803*e - 7248361376/56944803, -5807956/56944803*e^10 + 866437/18981601*e^9 + 68998853/18981601*e^8 - 45921200/56944803*e^7 - 2343927740/56944803*e^6 - 164197931/18981601*e^5 + 9802031222/56944803*e^4 + 6036442432/56944803*e^3 - 10265921063/56944803*e^2 - 9306906322/56944803*e - 3108502030/56944803, 39156485/455558424*e^10 - 22673/37963202*e^9 - 122871683/37963202*e^8 - 45519401/113889606*e^7 + 18017532823/455558424*e^6 + 557326217/37963202*e^5 - 40567875449/227779212*e^4 - 47916220553/455558424*e^3 + 12061354982/56944803*e^2 + 8883007828/56944803*e + 1928603392/56944803, -3402441/37963202*e^10 + 1384079/37963202*e^9 + 59877467/18981601*e^8 - 8609183/18981601*e^7 - 1332206893/37963202*e^6 - 488223299/37963202*e^5 + 2735981380/18981601*e^4 + 4855071001/37963202*e^3 - 5551378709/37963202*e^2 - 4006009582/18981601*e - 823241424/18981601, -83167955/455558424*e^10 + 255251/18981601*e^9 + 254093841/37963202*e^8 + 91728965/113889606*e^7 - 36179197537/455558424*e^6 - 716673293/18981601*e^5 + 80795225963/227779212*e^4 + 125288576759/455558424*e^3 - 50141145847/113889606*e^2 - 23000149288/56944803*e - 2217374866/56944803, 12254435/56944803*e^10 - 2695358/18981601*e^9 - 147366350/18981601*e^8 + 213853753/56944803*e^7 + 5115996301/56944803*e^6 - 226540764/18981601*e^5 - 22329847009/56944803*e^4 - 4097162423/56944803*e^3 + 28005083656/56944803*e^2 + 8763639518/56944803*e - 1542422470/56944803, -25829493/151852808*e^10 + 3143897/37963202*e^9 + 235278181/37963202*e^8 - 69290543/37963202*e^7 - 11066514415/151852808*e^6 - 178829105/37963202*e^5 + 24683972125/75926404*e^4 + 18409708761/151852808*e^3 - 7925825580/18981601*e^2 - 3891107819/18981601*e + 78245018/18981601, 8100607/75926404*e^10 - 1423137/18981601*e^9 - 73541405/18981601*e^8 + 40323345/18981601*e^7 + 3421605809/75926404*e^6 - 195541114/18981601*e^5 - 7391622977/37963202*e^4 - 1271840295/75926404*e^3 + 4370587904/18981601*e^2 + 1202935603/18981601*e - 144860528/18981601, 85475/4951722*e^10 + 28937/1650574*e^9 - 521439/825287*e^8 - 2091124/2475861*e^7 + 36696889/4951722*e^6 + 23087309/1650574*e^5 - 76298972/2475861*e^4 - 388831103/4951722*e^3 + 101297641/4951722*e^2 + 281652454/2475861*e + 123709486/2475861, 1765157/18981601*e^10 - 7138815/37963202*e^9 - 59865765/18981601*e^8 + 111598817/18981601*e^7 + 631893477/18981601*e^6 - 1860965783/37963202*e^5 - 2630893114/18981601*e^4 + 2637777478/18981601*e^3 + 7617647185/37963202*e^2 - 2090633145/18981601*e - 1038949214/18981601, -11067387/151852808*e^10 - 1794329/37963202*e^9 + 107189649/37963202*e^8 + 78167059/37963202*e^7 - 5450932417/151852808*e^6 - 1216233857/37963202*e^5 + 12750185203/75926404*e^4 + 26168917671/151852808*e^3 - 3843270576/18981601*e^2 - 4295583967/18981601*e - 780778810/18981601, -9694295/113889606*e^10 + 1655975/37963202*e^9 + 58750170/18981601*e^8 - 63402962/56944803*e^7 - 4158309475/113889606*e^6 + 56438153/37963202*e^5 + 9455841716/56944803*e^4 + 4585109009/113889606*e^3 - 26339460631/113889606*e^2 - 4988371750/56944803*e + 1476369656/56944803, -12030101/227779212*e^10 - 3724387/75926404*e^9 + 74407879/37963202*e^8 + 113652761/56944803*e^7 - 5405306827/227779212*e^6 - 2232553273/75926404*e^5 + 6001518739/56944803*e^4 + 34966364999/227779212*e^3 - 25446509167/227779212*e^2 - 23065296163/113889606*e - 2791832570/56944803, 11814593/56944803*e^10 - 950936/18981601*e^9 - 144170826/18981601*e^8 + 36859144/56944803*e^7 + 5117373694/56944803*e^6 + 392397592/18981601*e^5 - 22711167751/56944803*e^4 - 11741045858/56944803*e^3 + 27961522102/56944803*e^2 + 19018686332/56944803*e + 1766025170/56944803, -114676537/455558424*e^10 + 9874183/75926404*e^9 + 173405369/18981601*e^8 - 346210793/113889606*e^7 - 48571257011/455558424*e^6 - 169758747/75926404*e^5 + 106681957699/227779212*e^4 + 71166596521/455558424*e^3 - 131367402067/227779212*e^2 - 31042808845/113889606*e - 291016742/56944803, 2107885/6602296*e^10 - 211159/1650574*e^9 - 19015993/1650574*e^8 + 3674233/1650574*e^7 + 878561775/6602296*e^6 + 44468793/1650574*e^5 - 1886354269/3301148*e^4 - 2177273225/6602296*e^3 + 527918811/825287*e^2 + 458243343/825287*e + 103431434/825287, 5416663/18981601*e^10 - 1219057/37963202*e^9 - 202020438/18981601*e^8 - 5079986/18981601*e^7 + 2451160396/18981601*e^6 + 1445190063/37963202*e^5 - 11156354349/18981601*e^4 - 5883054232/18981601*e^3 + 28518765037/37963202*e^2 + 8845045911/18981601*e + 374468840/18981601, 5105317/18981601*e^10 + 1452331/37963202*e^9 - 188345587/18981601*e^8 - 55562718/18981601*e^7 + 2245063832/18981601*e^6 + 2695692931/37963202*e^5 - 9841569132/18981601*e^4 - 8844884603/18981601*e^3 + 21816375365/37963202*e^2 + 13348294693/18981601*e + 2761720002/18981601, 3713988/18981601*e^10 - 981101/37963202*e^9 - 135439343/18981601*e^8 - 10281785/18981601*e^7 + 1590328551/18981601*e^6 + 1457093845/37963202*e^5 - 6954541482/18981601*e^4 - 5577256687/18981601*e^3 + 15904011529/37963202*e^2 + 8224135494/18981601*e + 1816765958/18981601, -27077645/113889606*e^10 - 745038/18981601*e^9 + 165985130/18981601*e^8 + 166994341/56944803*e^7 - 11855447701/113889606*e^6 - 1304061564/18981601*e^5 + 26214524807/56944803*e^4 + 49512858641/113889606*e^3 - 30239498015/56944803*e^2 - 34016855278/56944803*e - 5570238832/56944803, 30383029/113889606*e^10 - 4332291/75926404*e^9 - 364764919/37963202*e^8 - 1705805/56944803*e^7 + 12636671417/113889606*e^6 + 3484031595/75926404*e^5 - 54498281321/113889606*e^4 - 21530195210/56944803*e^3 + 124869288589/227779212*e^2 + 65526061015/113889606*e + 5023704410/56944803, -26615115/75926404*e^10 + 3848665/75926404*e^9 + 489575915/37963202*e^8 + 4765997/18981601*e^7 - 11645226965/75926404*e^6 - 3907699545/75926404*e^5 + 12911226883/18981601*e^4 + 31779376101/75926404*e^3 - 61761996129/75926404*e^2 - 23673707185/37963202*e - 1602510292/18981601, 3032155/37963202*e^10 - 1510641/75926404*e^9 - 107600219/37963202*e^8 + 1574947/18981601*e^7 + 1211126013/37963202*e^6 + 1032122329/75926404*e^5 - 4983335009/37963202*e^4 - 2361070552/18981601*e^3 + 9770190909/75926404*e^2 + 8464298907/37963202*e + 1072095276/18981601, -12202183/227779212*e^10 - 1067691/37963202*e^9 + 39785995/18981601*e^8 + 64108795/56944803*e^7 - 6201142517/227779212*e^6 - 641053379/37963202*e^5 + 15279488293/113889606*e^4 + 20637746863/227779212*e^3 - 22751425267/113889606*e^2 - 7281044704/56944803*e + 656921450/56944803, 2078697/151852808*e^10 - 3441597/37963202*e^9 - 13481007/37963202*e^8 + 122096429/37963202*e^7 + 275469107/151852808*e^6 - 1342675829/37963202*e^5 - 33104413/75926404*e^4 + 22710694203/151852808*e^3 + 261627591/18981601*e^2 - 3657931285/18981601*e - 900759106/18981601, -20345203/227779212*e^10 + 1131795/37963202*e^9 + 63010830/18981601*e^8 - 38635403/56944803*e^7 - 9162588029/227779212*e^6 - 111806693/37963202*e^5 + 21075869299/113889606*e^4 + 14542894027/227779212*e^3 - 28221357049/113889606*e^2 - 7264121569/56944803*e - 60780484/56944803, 4109597/227779212*e^10 - 2367009/37963202*e^9 - 10827202/18981601*e^8 + 118766926/56944803*e^7 + 1192740295/227779212*e^6 - 773114693/37963202*e^5 - 2062922585/113889606*e^4 + 16724069743/227779212*e^3 + 3299141381/113889606*e^2 - 4931168980/56944803*e - 2732392888/56944803, 1257527/18981601*e^10 - 1222725/75926404*e^9 - 45120211/18981601*e^8 + 4033051/18981601*e^7 + 519239585/18981601*e^6 + 518598253/75926404*e^5 - 2217519533/18981601*e^4 - 2580002649/37963202*e^3 + 9474528481/75926404*e^2 + 2120418749/18981601*e + 859332346/18981601, 2309266/56944803*e^10 + 315764/18981601*e^9 - 29025157/18981601*e^8 - 45270706/56944803*e^7 + 1065370610/56944803*e^6 + 264739122/18981601*e^5 - 4757801468/56944803*e^4 - 4639486402/56944803*e^3 + 5406970037/56944803*e^2 + 7389641761/56944803*e + 1213678378/56944803, 9264557/56944803*e^10 + 1884681/37963202*e^9 - 115302614/18981601*e^8 - 145915820/56944803*e^7 + 4198803565/56944803*e^6 + 1888002839/37963202*e^5 - 18788557435/56944803*e^4 - 17443639571/56944803*e^3 + 43114893641/113889606*e^2 + 25997583605/56944803*e + 4851243632/56944803, 83452723/455558424*e^10 + 2024601/75926404*e^9 - 128841306/18981601*e^8 - 226298845/113889606*e^7 + 37144045049/455558424*e^6 + 3583675319/75926404*e^5 - 82805924929/227779212*e^4 - 136820099467/455558424*e^3 + 98332503295/227779212*e^2 + 47257790245/113889606*e + 3582875720/56944803, -1872927/75926404*e^10 + 2108573/37963202*e^9 + 15638661/18981601*e^8 - 28681824/18981601*e^7 - 644155409/75926404*e^6 + 325935329/37963202*e^5 + 1366392489/37963202*e^4 - 198251737/75926404*e^3 - 2109892653/37963202*e^2 - 448458414/18981601*e + 241630218/18981601, -11540387/75926404*e^10 + 2955641/75926404*e^9 + 214469461/37963202*e^8 - 11520352/18981601*e^7 - 5177675117/75926404*e^6 - 907239269/75926404*e^5 + 5893236543/18981601*e^4 + 9637920913/75926404*e^3 - 31459763337/75926404*e^2 - 7015959235/37963202*e + 522225160/18981601, 216000359/455558424*e^10 - 3251904/18981601*e^9 - 651652737/37963202*e^8 + 320364007/113889606*e^7 + 90823362445/455558424*e^6 + 806257378/18981601*e^5 - 196737883151/227779212*e^4 - 219883048091/455558424*e^3 + 114293333155/113889606*e^2 + 44310173146/56944803*e + 5925717910/56944803, 30663557/227779212*e^10 + 448227/75926404*e^9 - 94355957/18981601*e^8 - 56442221/56944803*e^7 + 13567610431/227779212*e^6 + 2303687737/75926404*e^5 - 30351530027/113889606*e^4 - 48415134755/227779212*e^3 + 72243638347/227779212*e^2 + 17712715856/56944803*e + 4052320808/56944803, 31556455/227779212*e^10 + 1316398/18981601*e^9 - 97487903/18981601*e^8 - 183910522/56944803*e^7 + 14045454233/227779212*e^6 + 1048729093/18981601*e^5 - 30774192529/113889606*e^4 - 70905448903/227779212*e^3 + 16466428751/56944803*e^2 + 23473527592/56944803*e + 4945736812/56944803, 78176219/227779212*e^10 + 3731245/75926404*e^9 - 481828233/37963202*e^8 - 211192046/56944803*e^7 + 34581843673/227779212*e^6 + 6756317255/75926404*e^5 - 38132939314/56944803*e^4 - 130631069705/227779212*e^3 + 173154094441/227779212*e^2 + 93046884931/113889606*e + 8992185104/56944803, 23478881/56944803*e^10 - 1067800/18981601*e^9 - 288448694/18981601*e^8 - 24292739/56944803*e^7 + 10338013570/56944803*e^6 + 1188389685/18981601*e^5 - 46386739555/56944803*e^4 - 28996820852/56944803*e^3 + 57867103012/56944803*e^2 + 44699911073/56944803*e + 4471089050/56944803, 86965487/455558424*e^10 - 1070701/37963202*e^9 - 263095871/37963202*e^8 - 59032619/113889606*e^7 + 36728447821/455558424*e^6 + 1474650275/37963202*e^5 - 78933379571/227779212*e^4 - 136592338979/455558424*e^3 + 21836062337/56944803*e^2 + 25837555525/56944803*e + 4246627876/56944803, -3154111/113889606*e^10 + 6694621/75926404*e^9 + 33767963/37963202*e^8 - 157073338/56944803*e^7 - 951528869/113889606*e^6 + 1815084363/75926404*e^5 + 3311095415/113889606*e^4 - 4229580517/56944803*e^3 - 6797047627/227779212*e^2 + 8963314991/113889606*e + 1263126262/56944803, -7901065/227779212*e^10 - 1355652/18981601*e^9 + 26833317/18981601*e^8 + 142681243/56944803*e^7 - 4365388163/227779212*e^6 - 559214207/18981601*e^5 + 10693815745/113889606*e^4 + 30886631413/227779212*e^3 - 6983263718/56944803*e^2 - 10935328825/56944803*e - 1038450796/56944803, -41657555/113889606*e^10 - 8709941/75926404*e^9 + 521583609/37963202*e^8 + 341555836/56944803*e^7 - 19156342087/113889606*e^6 - 8721758867/75926404*e^5 + 86978570767/113889606*e^4 + 39201192241/56944803*e^3 - 209595940229/227779212*e^2 - 109559067911/113889606*e - 8029710814/56944803, 25186579/455558424*e^10 - 6528255/75926404*e^9 - 39462935/18981601*e^8 + 342958979/113889606*e^7 + 11655832049/455558424*e^6 - 2368367305/75926404*e^5 - 28106164393/227779212*e^4 + 54390891221/455558424*e^3 + 46287168295/227779212*e^2 - 16090465247/113889606*e - 4147820206/56944803, -1670089/455558424*e^10 - 6560147/75926404*e^9 + 4108754/18981601*e^8 + 319559707/113889606*e^7 - 1632347843/455558424*e^6 - 2102129697/75926404*e^5 + 2255751235/227779212*e^4 + 45958739977/455558424*e^3 + 10101654227/227779212*e^2 - 11836579777/113889606*e - 4054409348/56944803, 150888943/455558424*e^10 + 3195273/75926404*e^9 - 229930917/18981601*e^8 - 431789845/113889606*e^7 + 65167656941/455558424*e^6 + 7238096199/75926404*e^5 - 142855330297/227779212*e^4 - 282364811431/455558424*e^3 + 161055429667/227779212*e^2 + 101679279307/113889606*e + 10004136776/56944803, 8437913/75926404*e^10 + 2944073/37963202*e^9 - 80675040/18981601*e^8 - 62185598/18981601*e^7 + 4016174375/75926404*e^6 + 1889085163/37963202*e^5 - 9016989295/37963202*e^4 - 20026977001/75926404*e^3 + 9638589913/37963202*e^2 + 6499721367/18981601*e + 1770617218/18981601, 30394114/56944803*e^10 - 93720/18981601*e^9 - 374414840/18981601*e^8 - 169520083/56944803*e^7 + 13460903153/56944803*e^6 + 2057784209/18981601*e^5 - 60268419158/56944803*e^4 - 43929472852/56944803*e^3 + 72857921645/56944803*e^2 + 64427477992/56944803*e + 9302655688/56944803, -6103042/56944803*e^10 + 1575555/75926404*e^9 + 144789543/37963202*e^8 + 9494611/56944803*e^7 - 2486782160/56944803*e^6 - 1645257731/75926404*e^5 + 21874284943/113889606*e^4 + 19195979633/113889606*e^3 - 55448204393/227779212*e^2 - 28215926633/113889606*e - 1514658982/56944803, 6528517/227779212*e^10 - 9520929/75926404*e^9 - 17846849/18981601*e^8 + 231821570/56944803*e^7 + 2144367035/227779212*e^6 - 2953458435/75926404*e^5 - 4834918657/113889606*e^4 + 31393593965/227779212*e^3 + 21904827575/227779212*e^2 - 7782736634/56944803*e - 3653511116/56944803, -7396825/113889606*e^10 + 670517/37963202*e^9 + 42881297/18981601*e^8 - 6996175/56944803*e^7 - 2821216481/113889606*e^6 - 382568965/37963202*e^5 + 5685346399/56944803*e^4 + 9932331721/113889606*e^3 - 11108752715/113889606*e^2 - 7890830438/56944803*e - 943367378/56944803, -6613973/56944803*e^10 - 4765903/75926404*e^9 + 84801005/18981601*e^8 + 160931609/56944803*e^7 - 3202544485/56944803*e^6 - 3491898353/75926404*e^5 + 14843666167/56944803*e^4 + 29058324421/113889606*e^3 - 72020748883/227779212*e^2 - 19816944653/56944803*e - 3982771562/56944803, -1055719/19806888*e^10 + 344223/3301148*e^9 + 1444166/825287*e^8 - 15484895/4951722*e^7 - 344754365/19806888*e^6 + 76504589/3301148*e^5 + 647956777/9903444*e^4 - 1004415041/19806888*e^3 - 657565375/9903444*e^2 + 108074111/4951722*e - 50051090/2475861, -95685413/227779212*e^10 + 2331393/18981601*e^9 + 291202297/18981601*e^8 - 106880380/56944803*e^7 - 41211419815/227779212*e^6 - 718029485/18981601*e^5 + 91403450345/113889606*e^4 + 91333705121/227779212*e^3 - 56564998675/56944803*e^2 - 36118416218/56944803*e - 3456621836/56944803, -40060541/455558424*e^10 - 1330983/75926404*e^9 + 61763459/18981601*e^8 + 124326455/113889606*e^7 - 17919699199/455558424*e^6 - 1840122049/75926404*e^5 + 41263479119/227779212*e^4 + 70501158125/455558424*e^3 - 57231760661/227779212*e^2 - 26287195385/113889606*e + 1036353986/56944803, 18369557/151852808*e^10 + 255025/37963202*e^9 - 175831923/37963202*e^8 - 17063489/37963202*e^7 + 8872663519/151852808*e^6 + 529466489/37963202*e^5 - 21161421145/75926404*e^4 - 15694027937/151852808*e^3 + 7498540775/18981601*e^2 + 2998136550/18981601*e - 483422652/18981601, 50445001/113889606*e^10 - 3098633/75926404*e^9 - 613745169/37963202*e^8 - 90527276/56944803*e^7 + 21690910469/113889606*e^6 + 6611739125/75926404*e^5 - 95640347477/113889606*e^4 - 37032421433/56944803*e^3 + 228072105547/227779212*e^2 + 109361435701/113889606*e + 7586199734/56944803, 42356797/113889606*e^10 - 2334375/18981601*e^9 - 256524294/18981601*e^8 + 117103240/56944803*e^7 + 17999723693/113889606*e^6 + 591703987/18981601*e^5 - 39435180580/56944803*e^4 - 40523051011/113889606*e^3 + 47744888086/56944803*e^2 + 32344136000/56944803*e + 3409566128/56944803, -184105003/455558424*e^10 + 2189069/37963202*e^9 + 560735847/37963202*e^8 + 74386783/113889606*e^7 - 79371625049/455558424*e^6 - 2631544753/37963202*e^5 + 175209659635/227779212*e^4 + 250473716695/455558424*e^3 - 52501986604/56944803*e^2 - 47779405655/56944803*e - 7874147174/56944803, -99549643/455558424*e^10 + 280714/18981601*e^9 + 304558075/37963202*e^8 + 84427525/113889606*e^7 - 43514249873/455558424*e^6 - 742108044/18981601*e^5 + 97699669387/227779212*e^4 + 134431274815/455558424*e^3 - 62195883515/113889606*e^2 - 25525502264/56944803*e - 555299510/56944803, 32582539/75926404*e^10 - 5107157/37963202*e^9 - 295160098/18981601*e^8 + 35685636/18981601*e^7 + 13764454045/75926404*e^6 + 1730840875/37963202*e^5 - 30101363627/37963202*e^4 - 35589566923/75926404*e^3 + 35652708333/37963202*e^2 + 14270792145/18981601*e + 2675607876/18981601, 15131509/113889606*e^10 + 864839/37963202*e^9 - 94146975/18981601*e^8 - 83506211/56944803*e^7 + 6846176045/113889606*e^6 + 1265679721/37963202*e^5 - 15335773180/56944803*e^4 - 24711309661/113889606*e^3 + 36980653841/113889606*e^2 + 18507357470/56944803*e + 1470999032/56944803, 6288617/227779212*e^10 + 3317615/75926404*e^9 - 16887472/18981601*e^8 - 124038071/56944803*e^7 + 1923954823/227779212*e^6 + 2757655297/75926404*e^5 - 2729029541/113889606*e^4 - 45090929483/227779212*e^3 - 6081346229/227779212*e^2 + 15191533895/56944803*e + 5012853938/56944803, -8447627/37963202*e^10 + 6499561/37963202*e^9 + 152114674/18981601*e^8 - 86861864/18981601*e^7 - 3527402491/37963202*e^6 + 672251011/37963202*e^5 + 7869206391/18981601*e^4 + 2169669877/37963202*e^3 - 21236028253/37963202*e^2 - 2529024280/18981601*e + 784281084/18981601, -15012205/37963202*e^10 + 352643/37963202*e^9 + 275048346/18981601*e^8 + 45756766/18981601*e^7 - 6504278039/37963202*e^6 - 3412806265/37963202*e^5 + 14278036431/18981601*e^4 + 24615644061/37963202*e^3 - 32460459397/37963202*e^2 - 18909379314/18981601*e - 3715560420/18981601]; heckeEigenvalues := AssociativeArray(); for i := 1 to #heckeEigenvaluesArray do heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i]; end for; ALEigenvalues := AssociativeArray(); ALEigenvalues[ideal] := 1; // EXAMPLE: // pp := Factorization(2*ZF)[1][1]; // heckeEigenvalues[pp]; print "To reconstruct the Hilbert newform f, type f, iso := Explode(make_newform());"; function make_newform(); M := HilbertCuspForms(F, NN); S := NewSubspace(M); // SetVerbose("ModFrmHil", 1); NFD := NewformDecomposition(S); newforms := [* Eigenform(U) : U in NFD *]; if #newforms eq 0 then; print "No Hilbert newforms at this level"; return 0; end if; print "Testing ", #newforms, " possible newforms"; newforms := [* f: f in newforms | IsIsomorphic(BaseField(f), K) *]; print #newforms, " newforms have the correct Hecke field"; if #newforms eq 0 then; print "No Hilbert newform found with the correct Hecke field"; return 0; end if; autos := Automorphisms(K); xnewforms := [* *]; for f in newforms do; if K eq RationalField() then; Append(~xnewforms, [* f, autos[1] *]); else; flag, iso := IsIsomorphic(K,BaseField(f)); for a in autos do; Append(~xnewforms, [* f, a*iso *]); end for; end if; end for; newforms := xnewforms; for P in primes do; xnewforms := [* *]; for f_iso in newforms do; f, iso := Explode(f_iso); if HeckeEigenvalue(f,P) eq iso(heckeEigenvalues[P]) then; Append(~xnewforms, f_iso); end if; end for; newforms := xnewforms; if #newforms eq 0 then; print "No Hilbert newform found which matches the Hecke eigenvalues"; return 0; else if #newforms eq 1 then; print "success: unique match"; return newforms[1]; end if; end if; end for; print #newforms, "Hilbert newforms found which match the Hecke eigenvalues"; return newforms[1]; end function;