/* 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, 7, 11, -2, -7, 0, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [5, 5, -2*w^5 + w^4 + 13*w^3 - 2*w^2 - 19*w - 5], [9, 3, 2*w^5 - w^4 - 14*w^3 + 2*w^2 + 23*w + 6], [11, 11, w - 1], [25, 5, w^3 + w^2 - 4*w - 3], [29, 29, w^5 - w^4 - 7*w^3 + 4*w^2 + 11*w], [41, 41, w^4 - w^3 - 5*w^2 + 3*w + 3], [49, 7, w^5 - w^4 - 7*w^3 + 4*w^2 + 11*w + 1], [59, 59, 2*w^5 - w^4 - 14*w^3 + 2*w^2 + 24*w + 7], [59, 59, -w^5 + 8*w^3 + 2*w^2 - 15*w - 8], [61, 61, w^5 - 7*w^3 - 2*w^2 + 12*w + 4], [61, 61, -w^5 + 7*w^3 - 11*w - 1], [64, 2, 2], [71, 71, w^3 + w^2 - 5*w - 3], [71, 71, -3*w^5 + w^4 + 21*w^3 - w^2 - 33*w - 9], [79, 79, -2*w^5 + w^4 + 13*w^3 - 3*w^2 - 19*w - 5], [81, 3, 2*w^5 - w^4 - 13*w^3 + w^2 + 19*w + 8], [89, 89, 2*w^5 - w^4 - 13*w^3 + 2*w^2 + 20*w + 7], [89, 89, -w^5 + 8*w^3 + w^2 - 16*w - 5], [89, 89, -3*w^5 + w^4 + 20*w^3 - 30*w - 11], [89, 89, -w^5 + 7*w^3 + 2*w^2 - 11*w - 4], [89, 89, -2*w^5 + 14*w^3 + 3*w^2 - 22*w - 8], [89, 89, 2*w^5 - w^4 - 14*w^3 + 3*w^2 + 22*w + 6], [101, 101, 3*w^5 - 2*w^4 - 18*w^3 + 6*w^2 + 22*w + 6], [101, 101, w^2 - w - 4], [101, 101, -3*w^5 + w^4 + 20*w^3 - 2*w^2 - 29*w - 7], [109, 109, w^4 - w^3 - 5*w^2 + 4*w + 5], [121, 11, w^5 - 7*w^3 - 2*w^2 + 10*w + 6], [131, 131, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 4*w - 3], [131, 131, -2*w^5 + w^4 + 13*w^3 - 3*w^2 - 20*w - 6], [131, 131, 3*w^5 - w^4 - 21*w^3 + w^2 + 35*w + 11], [131, 131, -w^5 + w^4 + 6*w^3 - 4*w^2 - 7*w + 2], [139, 139, -w^5 + 6*w^3 + w^2 - 8*w - 1], [151, 151, -w^3 + w^2 + 4*w - 2], [179, 179, w^4 - 6*w^2 + 6], [181, 181, w^3 + w^2 - 3*w], [191, 191, 3*w^5 - w^4 - 20*w^3 + 2*w^2 + 28*w + 5], [199, 199, -2*w^5 + w^4 + 12*w^3 - 3*w^2 - 15*w - 2], [199, 199, 5*w^5 - w^4 - 34*w^3 - w^2 + 52*w + 15], [211, 211, 3*w^5 - w^4 - 19*w^3 + w^2 + 26*w + 9], [229, 229, -w^5 + w^4 + 7*w^3 - 3*w^2 - 11*w], [229, 229, -w^4 + 2*w^3 + 6*w^2 - 7*w - 6], [239, 239, -w^5 + w^4 + 7*w^3 - 3*w^2 - 13*w - 6], [239, 239, 3*w^5 - w^4 - 21*w^3 + w^2 + 35*w + 10], [239, 239, w^3 - w^2 - 4*w + 1], [239, 239, 5*w^5 - 2*w^4 - 34*w^3 + 2*w^2 + 53*w + 17], [241, 241, -w^5 + 7*w^3 + w^2 - 13*w - 4], [241, 241, -3*w^5 + w^4 + 21*w^3 - 35*w - 10], [241, 241, -w^5 + 7*w^3 - 11*w], [251, 251, 3*w^5 - w^4 - 21*w^3 + 35*w + 11], [251, 251, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 8*w - 3], [269, 269, -w^5 + 8*w^3 + 3*w^2 - 16*w - 8], [269, 269, -2*w^5 + w^4 + 13*w^3 - w^2 - 21*w - 9], [269, 269, 3*w^5 - 21*w^3 - 3*w^2 + 32*w + 12], [271, 271, -5*w^5 + 3*w^4 + 34*w^3 - 8*w^2 - 53*w - 14], [281, 281, -w^5 + 8*w^3 + 3*w^2 - 16*w - 11], [281, 281, 4*w^5 - w^4 - 29*w^3 + 49*w + 13], [281, 281, w^5 - w^4 - 7*w^3 + 3*w^2 + 11*w + 5], [281, 281, -5*w^5 + 3*w^4 + 33*w^3 - 8*w^2 - 50*w - 12], [311, 311, 2*w^5 - w^4 - 14*w^3 + w^2 + 21*w + 9], [311, 311, -3*w^5 + 20*w^3 + 3*w^2 - 30*w - 10], [311, 311, 5*w^5 - 2*w^4 - 35*w^3 + 2*w^2 + 57*w + 19], [331, 331, -w^5 - w^4 + 7*w^3 + 6*w^2 - 11*w - 7], [349, 349, -6*w^5 + 3*w^4 + 41*w^3 - 7*w^2 - 64*w - 17], [349, 349, 4*w^5 - w^4 - 29*w^3 - w^2 + 50*w + 17], [349, 349, 5*w^5 - w^4 - 34*w^3 - w^2 + 52*w + 17], [359, 359, w^5 - 6*w^3 - w^2 + 5*w + 3], [379, 379, -w^5 + w^4 + 8*w^3 - 3*w^2 - 17*w - 3], [379, 379, 2*w^5 - 14*w^3 - 4*w^2 + 22*w + 11], [379, 379, -5*w^5 + 3*w^4 + 34*w^3 - 8*w^2 - 53*w - 13], [379, 379, 4*w^5 - 2*w^4 - 27*w^3 + 3*w^2 + 43*w + 14], [389, 389, 4*w^5 - 2*w^4 - 28*w^3 + 4*w^2 + 44*w + 13], [401, 401, -2*w^5 + 2*w^4 + 13*w^3 - 6*w^2 - 20*w - 6], [409, 409, -w^5 + 2*w^4 + 6*w^3 - 8*w^2 - 9*w], [419, 419, -5*w^5 + w^4 + 34*w^3 + 2*w^2 - 53*w - 19], [419, 419, 2*w^5 - w^4 - 14*w^3 + 4*w^2 + 23*w + 3], [421, 421, -w^5 - w^4 + 8*w^3 + 6*w^2 - 13*w - 7], [421, 421, 2*w^5 - 2*w^4 - 13*w^3 + 8*w^2 + 18*w + 2], [421, 421, 4*w^5 - w^4 - 26*w^3 + 37*w + 11], [431, 431, 2*w^5 - w^4 - 13*w^3 + 2*w^2 + 20*w + 9], [431, 431, w^5 - 8*w^3 - w^2 + 14*w + 2], [449, 449, 4*w^5 - 2*w^4 - 26*w^3 + 4*w^2 + 38*w + 9], [449, 449, -3*w^5 + w^4 + 20*w^3 - 31*w - 14], [461, 461, 3*w^5 - 2*w^4 - 18*w^3 + 6*w^2 + 23*w + 4], [461, 461, -4*w^5 + 2*w^4 + 26*w^3 - 5*w^2 - 36*w - 9], [461, 461, -4*w^5 + 2*w^4 + 27*w^3 - 3*w^2 - 42*w - 15], [491, 491, -3*w^5 + w^4 + 20*w^3 - 29*w - 10], [491, 491, -5*w^5 + w^4 + 35*w^3 + 2*w^2 - 56*w - 18], [491, 491, 2*w^5 - 14*w^3 - 4*w^2 + 24*w + 13], [491, 491, -3*w^5 + w^4 + 21*w^3 - 2*w^2 - 33*w - 10], [499, 499, 6*w^5 - 3*w^4 - 40*w^3 + 6*w^2 + 61*w + 18], [499, 499, -4*w^5 + w^4 + 29*w^3 + w^2 - 49*w - 17], [499, 499, -w^5 - w^4 + 8*w^3 + 5*w^2 - 14*w - 4], [499, 499, -3*w^5 + w^4 + 19*w^3 - 2*w^2 - 26*w - 8], [509, 509, -4*w^5 + 2*w^4 + 27*w^3 - 5*w^2 - 43*w - 11], [509, 509, -2*w^5 + 16*w^3 + 2*w^2 - 30*w - 9], [521, 521, 3*w^5 - 21*w^3 - 3*w^2 + 34*w + 10], [521, 521, -3*w^5 + w^4 + 19*w^3 - 26*w - 9], [521, 521, 4*w^5 - w^4 - 27*w^3 + 40*w + 15], [521, 521, -3*w^5 + 22*w^3 + 3*w^2 - 37*w - 11], [541, 541, -4*w^5 + w^4 + 29*w^3 + w^2 - 49*w - 18], [569, 569, -6*w^5 + 2*w^4 + 40*w^3 - 2*w^2 - 60*w - 19], [569, 569, -w^5 + w^4 + 7*w^3 - 2*w^2 - 12*w - 6], [571, 571, 4*w^5 - w^4 - 28*w^3 + 43*w + 14], [571, 571, -4*w^5 + 2*w^4 + 28*w^3 - 4*w^2 - 45*w - 14], [599, 599, -w^5 + w^4 + 7*w^3 - 2*w^2 - 13*w - 7], [601, 601, 4*w^5 - w^4 - 26*w^3 + 38*w + 13], [601, 601, 4*w^5 - 2*w^4 - 28*w^3 + 5*w^2 + 44*w + 11], [601, 601, 3*w^5 - w^4 - 21*w^3 + 2*w^2 + 35*w + 9], [619, 619, 4*w^5 - 2*w^4 - 27*w^3 + 4*w^2 + 40*w + 13], [619, 619, -4*w^5 + w^4 + 26*w^3 - 36*w - 12], [619, 619, w^4 - w^3 - 6*w^2 + 4*w + 4], [631, 631, -3*w^5 + w^4 + 20*w^3 - 30*w - 9], [631, 631, -5*w^5 + 2*w^4 + 35*w^3 - 3*w^2 - 57*w - 15], [641, 641, 5*w^5 - w^4 - 34*w^3 - w^2 + 52*w + 16], [641, 641, -5*w^5 + 2*w^4 + 34*w^3 - 2*w^2 - 52*w - 18], [659, 659, 3*w^5 - w^4 - 20*w^3 + w^2 + 32*w + 9], [659, 659, -4*w^5 + w^4 + 27*w^3 - w^2 - 40*w - 11], [661, 661, 4*w^5 - w^4 - 26*w^3 + 38*w + 12], [661, 661, -w^5 + 6*w^3 - 8*w + 1], [691, 691, 3*w^5 - 20*w^3 - 3*w^2 + 29*w + 9], [691, 691, w^5 + w^4 - 8*w^3 - 7*w^2 + 14*w + 9], [691, 691, -w^5 + w^4 + 6*w^3 - 3*w^2 - 7*w + 2], [701, 701, -2*w^5 + w^4 + 13*w^3 - 2*w^2 - 19*w - 9], [701, 701, 5*w^5 - 2*w^4 - 33*w^3 + 3*w^2 + 48*w + 14], [701, 701, w^4 + 3*w^3 - 3*w^2 - 10*w - 1], [701, 701, -2*w^5 + w^4 + 14*w^3 - 3*w^2 - 24*w - 3], [709, 709, -2*w^5 + 2*w^4 + 14*w^3 - 7*w^2 - 22*w - 5], [709, 709, -3*w^5 + 21*w^3 + 4*w^2 - 34*w - 11], [719, 719, 5*w^5 - 2*w^4 - 35*w^3 + 3*w^2 + 58*w + 17], [719, 719, 4*w^5 - 2*w^4 - 26*w^3 + 4*w^2 + 37*w + 11], [719, 719, 4*w^5 - 2*w^4 - 27*w^3 + 4*w^2 + 40*w + 12], [719, 719, 2*w^5 - 16*w^3 - 3*w^2 + 30*w + 10], [739, 739, -5*w^5 + w^4 + 34*w^3 + w^2 - 51*w - 17], [751, 751, -w^5 - w^4 + 9*w^3 + 7*w^2 - 18*w - 10], [761, 761, 4*w^5 - 2*w^4 - 28*w^3 + 3*w^2 + 46*w + 16], [761, 761, -4*w^5 + 2*w^4 + 27*w^3 - 5*w^2 - 43*w - 12], [769, 769, -4*w^5 + w^4 + 28*w^3 - 44*w - 12], [769, 769, -w^4 + w^3 + 3*w^2 - 3*w + 1], [809, 809, 2*w^5 - 2*w^4 - 13*w^3 + 7*w^2 + 20*w + 1], [811, 811, -2*w^5 + 15*w^3 + 2*w^2 - 24*w - 8], [811, 811, -w^5 + 9*w^3 + w^2 - 18*w - 6], [821, 821, -w^5 + 8*w^3 + 3*w^2 - 17*w - 9], [821, 821, w^5 + w^4 - 7*w^3 - 6*w^2 + 11*w + 8], [821, 821, 4*w^5 - 2*w^4 - 28*w^3 + 4*w^2 + 46*w + 11], [821, 821, 5*w^5 - 2*w^4 - 34*w^3 + 4*w^2 + 51*w + 13], [829, 829, -2*w^5 + w^4 + 15*w^3 - w^2 - 28*w - 10], [829, 829, -6*w^5 + 3*w^4 + 42*w^3 - 7*w^2 - 68*w - 21], [829, 829, 4*w^5 - 2*w^4 - 26*w^3 + 5*w^2 + 38*w + 12], [829, 829, w^5 - 7*w^3 - 3*w^2 + 11*w + 6], [839, 839, 3*w^5 - 2*w^4 - 20*w^3 + 5*w^2 + 32*w + 11], [839, 839, -w^4 + w^3 + 6*w^2 - 3*w - 4], [841, 29, -3*w^5 + w^4 + 22*w^3 - 38*w - 11], [911, 911, 3*w^5 - w^4 - 21*w^3 + 36*w + 12], [919, 919, -w^5 - w^4 + 7*w^3 + 6*w^2 - 12*w - 5], [941, 941, -w^5 + w^4 + 7*w^3 - 5*w^2 - 11*w], [941, 941, 4*w^5 - w^4 - 29*w^3 + 48*w + 15], [971, 971, -4*w^5 + w^4 + 27*w^3 + w^2 - 41*w - 13], [991, 991, w^5 - w^4 - 8*w^3 + 3*w^2 + 16*w + 2], [991, 991, -4*w^5 + 3*w^4 + 27*w^3 - 9*w^2 - 42*w - 10]]; primes := [ideal : I in primesArray]; heckePol := x^12 - x^11 - 41*x^10 + 37*x^9 + 601*x^8 - 440*x^7 - 4061*x^6 + 1788*x^5 + 13740*x^4 - 1460*x^3 - 21000*x^2 - 3360*x + 8208; K := NumberField(heckePol); heckeEigenvaluesArray := [e, -24364/31197*e^11 + 21631/124788*e^10 + 3629441/124788*e^9 - 726895/124788*e^8 - 44872501/124788*e^7 + 6232775/124788*e^6 + 56085119/31197*e^5 + 3576683/41596*e^4 - 37558511/10399*e^3 - 23561650/31197*e^2 + 18388130/10399*e - 1489588/10399, -4141/124788*e^11 + 61499/62394*e^10 + 130709/124788*e^9 - 4568209/124788*e^8 - 1144471/124788*e^7 + 14037047/31197*e^6 + 971912/31197*e^5 - 92268097/41596*e^4 - 15411595/41596*e^3 + 271883863/62394*e^2 + 13448873/10399*e - 20867077/10399, 17231/62394*e^11 - 57811/31197*e^10 - 1241489/124788*e^9 + 8566099/124788*e^8 + 14518783/124788*e^7 - 104527277/124788*e^6 - 69672209/124788*e^5 + 42001080/10399*e^4 + 70953959/41596*e^3 - 486047551/62394*e^2 - 30230652/10399*e + 39069782/10399, -1, -156209/124788*e^11 + 145115/124788*e^10 + 5811061/124788*e^9 - 5297309/124788*e^8 - 71747333/124788*e^7 + 15372478/31197*e^6 + 359944831/124788*e^5 - 40575007/20798*e^4 - 127838159/20798*e^3 + 93765979/31197*e^2 + 43117335/10399*e - 23235640/10399, -1323/41596*e^11 + 165227/41596*e^10 + 15603/41596*e^9 - 6134975/41596*e^8 + 484793/41596*e^7 + 18855366/10399*e^6 - 5225129/41596*e^5 - 93225068/10399*e^4 - 10174985/10399*e^3 + 183761773/10399*e^2 + 51503319/10399*e - 84057404/10399, 59221/124788*e^11 + 166321/62394*e^10 - 1109911/62394*e^9 - 3123890/31197*e^8 + 13805477/62394*e^7 + 157447717/124788*e^6 - 132749783/124788*e^5 - 274185977/41596*e^4 + 20592793/20798*e^3 + 425902816/31197*e^2 + 32750587/10399*e - 64171584/10399, -508003/249576*e^11 - 347897/249576*e^10 + 18951005/249576*e^9 + 13412291/249576*e^8 - 234807121/249576*e^7 - 90574757/124788*e^6 + 1169355305/249576*e^5 + 94253623/20798*e^4 - 361059775/41596*e^3 - 330917801/31197*e^2 + 19731577/10399*e + 38350496/10399, -7685/20798*e^11 + 190239/41596*e^10 + 264281/20798*e^9 - 1760754/10399*e^8 - 2822173/20798*e^7 + 42992571/20798*e^6 + 24032495/41596*e^5 - 417456449/41596*e^4 - 103633057/41596*e^3 + 202334719/10399*e^2 + 64343599/10399*e - 94146755/10399, -102497/124788*e^11 - 108293/62394*e^10 + 1924007/62394*e^9 + 2037085/31197*e^8 - 24076261/62394*e^7 - 103623005/124788*e^6 + 241118395/124788*e^5 + 187205909/41596*e^4 - 66289591/20798*e^3 - 298861364/31197*e^2 - 8035054/10399*e + 40897764/10399, 20713/249576*e^11 + 488435/249576*e^10 - 761921/249576*e^9 - 18347015/249576*e^8 + 8978893/249576*e^7 + 57616891/62394*e^6 - 31135781/249576*e^5 - 98802049/20798*e^4 - 6766390/10399*e^3 + 303825848/31197*e^2 + 31786544/10399*e - 48389447/10399, -119033/62394*e^11 + 3791/62394*e^10 + 8887781/124788*e^9 - 120673/124788*e^8 - 110336785/124788*e^7 - 4571557/124788*e^6 + 554558549/124788*e^5 + 9979720/10399*e^4 - 368493817/41596*e^3 - 101858728/31197*e^2 + 41664700/10399*e + 2726331/10399, 33717/41596*e^11 + 189881/41596*e^10 - 1287999/41596*e^9 - 7091461/41596*e^8 + 16555323/41596*e^7 + 44227331/20798*e^6 - 84487625/41596*e^5 - 227430157/20798*e^4 + 25756006/10399*e^3 + 232053182/10399*e^2 + 45467034/10399*e - 101708758/10399, 19694/10399*e^11 - 52367/41596*e^10 - 2934413/41596*e^9 + 1900083/41596*e^8 + 36306669/41596*e^7 - 21553719/41596*e^6 - 45596525/10399*e^5 + 76140835/41596*e^4 + 95382995/10399*e^3 - 24253350/10399*e^2 - 58575102/10399*e + 24425536/10399, -38035/31197*e^11 + 49780/31197*e^10 + 2797519/62394*e^9 - 3604145/62394*e^8 - 33827003/62394*e^7 + 41477245/62394*e^6 + 163874749/62394*e^5 - 27784879/10399*e^4 - 113966057/20798*e^3 + 129440393/31197*e^2 + 39502821/10399*e - 25829338/10399, -8359/20798*e^11 - 23565/20798*e^10 + 643663/41596*e^9 + 1743639/41596*e^8 - 8402701/41596*e^7 - 21481605/41596*e^6 + 44928085/41596*e^5 + 54998743/20798*e^4 - 80686981/41596*e^3 - 111487327/20798*e^2 - 1772029/10399*e + 21529210/10399, -33283/124788*e^11 + 66457/124788*e^10 + 1273637/124788*e^9 - 2525941/124788*e^8 - 16541149/124788*e^7 + 15998197/62394*e^6 + 91043771/124788*e^5 - 26635677/20798*e^4 - 19327385/10399*e^3 + 80879621/31197*e^2 + 19587261/10399*e - 16341534/10399, 127301/124788*e^11 + 88801/124788*e^10 - 2406011/62394*e^9 - 1657403/62394*e^8 + 30511951/62394*e^7 + 42486227/124788*e^6 - 79086874/31197*e^5 - 41582443/20798*e^4 + 209402237/41596*e^3 + 139227752/31197*e^2 - 18825233/10399*e - 12306713/10399, -679937/249576*e^11 - 583981/249576*e^10 + 25399465/249576*e^9 + 22335043/249576*e^8 - 315413861/249576*e^7 - 37019404/31197*e^6 + 1574651179/249576*e^5 + 296399621/41596*e^4 - 481056789/41596*e^3 - 508355446/31197*e^2 + 20789544/10399*e + 61386392/10399, -37317/20798*e^11 + 70695/20798*e^10 + 689740/10399*e^9 - 1299930/10399*e^8 - 8425558/10399*e^7 + 31021323/20798*e^6 + 41803276/10399*e^5 - 69161397/10399*e^4 - 188334579/20798*e^3 + 122978046/10399*e^2 + 82071106/10399*e - 68123290/10399, 158153/124788*e^11 - 275843/124788*e^10 - 5816161/124788*e^9 + 10087001/124788*e^8 + 70370297/124788*e^7 - 29733646/31197*e^6 - 342836683/124788*e^5 + 85847355/20798*e^4 + 124617437/20798*e^3 - 221203438/31197*e^2 - 50989005/10399*e + 40816588/10399, -20075/20798*e^11 + 71841/41596*e^10 + 750105/20798*e^9 - 1333149/20798*e^8 - 4671889/10399*e^7 + 8084887/10399*e^6 + 95927519/41596*e^5 - 148580433/41596*e^4 - 223809823/41596*e^3 + 137411165/20798*e^2 + 50192665/10399*e - 40115121/10399, 57581/62394*e^11 - 315173/62394*e^10 - 1045109/31197*e^9 + 5836387/31197*e^8 + 12383170/31197*e^7 - 142262857/62394*e^6 - 60069446/31197*e^5 + 113709454/10399*e^4 + 113225321/20798*e^3 - 654022724/31197*e^2 - 85871322/10399*e + 106155578/10399, 201713/124788*e^11 + 164693/62394*e^10 - 3789629/62394*e^9 - 3099784/31197*e^8 + 47510443/62394*e^7 + 158317517/124788*e^6 - 479141647/124788*e^5 - 290700645/41596*e^4 + 139489037/20798*e^3 + 469795475/31197*e^2 + 2452111/10399*e - 61595772/10399, 232991/249576*e^11 - 29627/249576*e^10 - 8676565/249576*e^9 + 918773/249576*e^8 + 107239529/249576*e^7 - 2406677/124788*e^6 - 535150153/249576*e^5 - 6360407/20798*e^4 + 176949825/41596*e^3 + 41269705/31197*e^2 - 20158397/10399*e - 464298/10399, -5023/41596*e^11 + 44422/10399*e^10 + 75755/20798*e^9 - 1648931/10399*e^8 - 578755/20798*e^7 + 81003609/41596*e^6 + 2861859/41596*e^5 - 399084353/41596*e^4 - 15190256/10399*e^3 + 195981254/10399*e^2 + 57409426/10399*e - 90101178/10399, -10184/31197*e^11 - 248579/62394*e^10 + 383878/31197*e^9 + 4656394/31197*e^8 - 4795064/31197*e^7 - 58279892/31197*e^6 + 43929485/62394*e^5 + 199362925/20798*e^4 + 5521727/20798*e^3 - 610181882/31197*e^2 - 56444045/10399*e + 94278516/10399, -51551/41596*e^11 - 25621/41596*e^10 + 1919569/41596*e^9 + 1000351/41596*e^8 - 23706481/41596*e^7 - 6966371/20798*e^6 + 117499545/41596*e^5 + 23199839/10399*e^4 - 109399683/20798*e^3 - 56598924/10399*e^2 + 14017915/10399*e + 19161432/10399, -95495/41596*e^11 + 73989/41596*e^10 + 3550027/41596*e^9 - 2677199/41596*e^8 - 43767167/41596*e^7 + 7593898/10399*e^6 + 218675049/41596*e^5 - 55258861/20798*e^4 - 228829729/20798*e^3 + 36973909/10399*e^2 + 71608087/10399*e - 32148306/10399, -231955/249576*e^11 - 1565741/249576*e^10 + 8867705/249576*e^9 + 58502423/249576*e^8 - 114008653/249576*e^7 - 364921895/124788*e^6 + 576846113/249576*e^5 + 156054041/10399*e^4 - 98001175/41596*e^3 - 954321131/31197*e^2 - 69226183/10399*e + 141563914/10399, 49207/124788*e^11 - 50443/31197*e^10 - 1799159/124788*e^9 + 7464121/124788*e^8 + 21590095/124788*e^7 - 45327487/62394*e^6 - 26495888/31197*e^5 + 143282527/41596*e^4 + 92419639/41596*e^3 - 204266984/31197*e^2 - 30038346/10399*e + 34220051/10399, -179435/124788*e^11 + 17917/62394*e^10 + 3352727/62394*e^9 - 307649/31197*e^8 - 41705869/62394*e^7 + 11033125/124788*e^6 + 421445209/124788*e^5 + 4899995/41596*e^4 - 143209705/20798*e^3 - 37378280/31197*e^2 + 36783386/10399*e - 4569338/10399, 104059/249576*e^11 - 698677/249576*e^10 - 3888059/249576*e^9 + 26099911/249576*e^8 + 48649063/249576*e^7 - 40417345/31197*e^6 - 261557141/249576*e^5 + 266782095/41596*e^4 + 138392565/41596*e^3 - 396420094/31197*e^2 - 55504696/10399*e + 66335740/10399, 112097/124788*e^11 - 121304/31197*e^10 - 1045522/31197*e^9 + 9052105/62394*e^8 + 13016984/31197*e^7 - 223375081/124788*e^6 - 272461627/124788*e^5 + 363419497/41596*e^4 + 125611157/20798*e^3 - 533299234/31197*e^2 - 83319988/10399*e + 91572572/10399, -104013/41596*e^11 + 302219/41596*e^10 + 3826443/41596*e^9 - 11161067/41596*e^8 - 46380387/41596*e^7 + 67405027/20798*e^6 + 229104333/41596*e^5 - 313348817/20798*e^4 - 138344433/10399*e^3 + 291622500/10399*e^2 + 149537687/10399*e - 150807336/10399, 50975/124788*e^11 - 742145/124788*e^10 - 1790959/124788*e^9 + 27591995/124788*e^8 + 20072747/124788*e^7 - 84882658/31197*e^6 - 96298441/124788*e^5 + 278800787/20798*e^4 + 74607673/20798*e^3 - 822810520/31197*e^2 - 91088824/10399*e + 129689122/10399, 44070/10399*e^11 - 160803/41596*e^10 - 6538175/41596*e^9 + 5833745/41596*e^8 + 80284363/41596*e^7 - 66851957/41596*e^6 - 199376469/20798*e^5 + 255612007/41596*e^4 + 418093471/20798*e^3 - 92713550/10399*e^2 - 135540005/10399*e + 69222884/10399, 11635/20798*e^11 + 53573/10399*e^10 - 908117/41596*e^9 - 7979251/41596*e^8 + 12053049/41596*e^7 + 98860481/41596*e^6 - 63260871/41596*e^5 - 250096533/20798*e^4 + 56279309/41596*e^3 + 251760386/10399*e^2 + 56130218/10399*e - 112015429/10399, 457415/124788*e^11 - 840155/124788*e^10 - 8440433/62394*e^9 + 7711100/31197*e^8 + 51397907/31197*e^7 - 366713053/124788*e^6 - 253626439/31197*e^5 + 270140795/20798*e^4 + 754753469/41596*e^3 - 1427572163/62394*e^2 - 161572291/10399*e + 132034434/10399, -149243/62394*e^11 + 155506/31197*e^10 + 5470417/62394*e^9 - 11376011/62394*e^8 - 65793959/62394*e^7 + 67263443/31197*e^6 + 158941484/31197*e^5 - 197348879/20798*e^4 - 234583207/20798*e^3 + 517487813/31197*e^2 + 103300369/10399*e - 91330056/10399, 394739/124788*e^11 + 266467/124788*e^10 - 3701911/31197*e^9 - 5073263/62394*e^8 + 92639389/62394*e^7 + 134471717/124788*e^6 - 234658720/31197*e^5 - 68634841/10399*e^4 + 597862253/41596*e^3 + 950933827/62394*e^2 - 42395408/10399*e - 50377763/10399, 135421/249576*e^11 + 124073/249576*e^10 - 4969025/249576*e^9 - 4872539/249576*e^8 + 59683957/249576*e^7 + 16810447/62394*e^6 - 279335315/249576*e^5 - 70214445/41596*e^4 + 73460819/41596*e^3 + 124964054/31197*e^2 + 3409402/10399*e - 18099734/10399, 1304773/249576*e^11 + 3521/249576*e^10 - 48643709/249576*e^9 - 1145807/249576*e^8 + 602403193/249576*e^7 + 6274448/31197*e^6 - 3014430503/249576*e^5 - 134099593/41596*e^4 + 992367829/41596*e^3 + 320823488/31197*e^2 - 106909825/10399*e - 14873516/10399, -41905/62394*e^11 - 635917/124788*e^10 + 808735/31197*e^9 + 5928931/31197*e^8 - 21120445/62394*e^7 - 147389875/62394*e^6 + 218333143/124788*e^5 + 500616623/41596*e^4 - 74114533/41596*e^3 - 1520448487/62394*e^2 - 54486995/10399*e + 112299451/10399, -174973/62394*e^11 - 606115/124788*e^10 + 6562541/62394*e^9 + 5711701/31197*e^8 - 82009939/62394*e^7 - 146073211/62394*e^6 + 821979049/124788*e^5 + 536058211/41596*e^4 - 468854137/41596*e^3 - 865743305/31197*e^2 - 11502247/10399*e + 115669183/10399, -13751/124788*e^11 - 16333/124788*e^10 + 475465/124788*e^9 + 667039/124788*e^8 - 5059349/124788*e^7 - 4860013/62394*e^6 + 17712097/124788*e^5 + 5329709/10399*e^4 - 779565/20798*e^3 - 39375326/31197*e^2 - 4947272/10399*e + 6957596/10399, 155509/41596*e^11 + 41895/41596*e^10 - 5791251/41596*e^9 - 1696201/41596*e^8 + 71556075/41596*e^7 + 12802483/20798*e^6 - 355745971/41596*e^5 - 49227388/10399*e^4 + 339771793/20798*e^3 + 128449814/10399*e^2 - 56838191/10399*e - 36514738/10399, -563759/124788*e^11 - 311563/124788*e^10 + 20994775/124788*e^9 + 12154777/124788*e^8 - 259359311/124788*e^7 - 42072938/31197*e^6 + 1286249857/124788*e^5 + 183344835/20798*e^4 - 398600729/20798*e^3 - 661719377/31197*e^2 + 48445815/10399*e + 75335948/10399, 21561/20798*e^11 + 353525/41596*e^10 - 1632153/41596*e^9 - 13239089/41596*e^8 + 20605977/41596*e^7 + 165726555/41596*e^6 - 49878961/20798*e^5 - 853290547/41596*e^4 + 14450145/10399*e^3 + 436424523/10399*e^2 + 108222469/10399*e - 198909214/10399, 526295/124788*e^11 + 661747/124788*e^10 - 4910323/31197*e^9 - 12583727/62394*e^8 + 121695835/62394*e^7 + 328148321/124788*e^6 - 301574917/31197*e^5 - 156920093/10399*e^4 + 701347577/41596*e^3 + 2090187925/62394*e^2 - 1569176/10399*e - 136671745/10399, 87485/41596*e^11 + 189663/41596*e^10 - 3292147/41596*e^9 - 7127061/41596*e^8 + 41367975/41596*e^7 + 45209861/20798*e^6 - 208629011/41596*e^5 - 121950999/10399*e^4 + 174244509/20798*e^3 + 258495591/10399*e^2 + 18929951/10399*e - 105414882/10399, 39453/20798*e^11 + 140195/41596*e^10 - 734523/10399*e^9 - 1330590/10399*e^8 + 18123853/20798*e^7 + 34422909/20798*e^6 - 177513289/41596*e^5 - 384522323/41596*e^4 + 287709413/41596*e^3 + 419041119/20798*e^2 + 17894244/10399*e - 87624604/10399, 53280/10399*e^11 - 58457/41596*e^10 - 7913515/41596*e^9 + 1970465/41596*e^8 + 97319111/41596*e^7 - 17579181/41596*e^6 - 120531115/10399*e^5 - 10086291/41596*e^4 + 239594589/10399*e^3 + 48072148/10399*e^2 - 114608336/10399*e + 8577394/10399, 302467/124788*e^11 + 865001/124788*e^10 - 5684293/62394*e^9 - 8127800/31197*e^8 + 35610808/31197*e^7 + 411600319/124788*e^6 - 177577568/31197*e^5 - 365854783/20798*e^4 + 359405057/41596*e^3 + 2309247569/62394*e^2 + 52596217/10399*e - 163891942/10399, 297755/124788*e^11 + 812383/124788*e^10 - 5650895/62394*e^9 - 15172787/62394*e^8 + 72040471/62394*e^7 + 380245997/124788*e^6 - 185432863/31197*e^5 - 333207083/20798*e^4 + 412309083/41596*e^3 + 1036706486/31197*e^2 + 29514711/10399*e - 140399145/10399, -201631/62394*e^11 - 445181/62394*e^10 + 3795748/31197*e^9 + 8357854/31197*e^8 - 47737259/31197*e^7 - 211750129/62394*e^6 + 241036120/31197*e^5 + 189863014/10399*e^4 - 268185245/20798*e^3 - 1204421705/31197*e^2 - 29896946/10399*e + 163676866/10399, -28789/41596*e^11 - 115757/20798*e^10 + 278295/10399*e^9 + 4314859/20798*e^8 - 3642800/10399*e^7 - 107155415/41596*e^6 + 75367925/41596*e^5 + 544738835/41596*e^4 - 18151011/10399*e^3 - 275221339/10399*e^2 - 60218581/10399*e + 122289690/10399, -104429/249576*e^11 + 2427197/249576*e^10 + 3596959/249576*e^9 - 90400367/249576*e^8 - 39020555/249576*e^7 + 558277775/124788*e^6 + 193657567/249576*e^5 - 231140931/10399*e^4 - 210307393/41596*e^3 + 1374807962/31197*e^2 + 148172776/10399*e - 216184496/10399, 143759/62394*e^11 - 160993/31197*e^10 - 10574285/124788*e^9 + 23670811/124788*e^8 + 128014123/124788*e^7 - 282735365/124788*e^6 - 627081461/124788*e^5 + 106142093/10399*e^4 + 476464475/41596*e^3 - 1145264329/62394*e^2 - 111376976/10399*e + 101418021/10399, 36206/31197*e^11 + 165815/62394*e^10 - 5535661/124788*e^9 - 12318037/124788*e^8 + 71421659/124788*e^7 + 153084041/124788*e^6 - 376014517/124788*e^5 - 66625080/10399*e^4 + 226664933/41596*e^3 + 823971061/62394*e^2 + 1193460/10399*e - 52432370/10399, -95599/20798*e^11 + 7291/20798*e^10 + 7099701/41596*e^9 - 351939/41596*e^8 - 87296487/41596*e^7 - 1862843/41596*e^6 + 431564767/41596*e^5 + 49132251/20798*e^4 - 840884651/41596*e^3 - 176352991/20798*e^2 + 87599763/10399*e + 13884534/10399, 121336/31197*e^11 + 782831/124788*e^10 - 18188087/124788*e^9 - 29552507/124788*e^8 + 226999471/124788*e^7 + 379195723/124788*e^6 - 284125154/31197*e^5 - 701206157/41596*e^4 + 163658764/10399*e^3 + 1138323778/31197*e^2 + 9665639/10399*e - 150506728/10399, -100219/41596*e^11 + 305647/41596*e^10 + 1832499/20798*e^9 - 2815627/10399*e^8 - 10984040/10399*e^7 + 135517649/41596*e^6 + 53239549/10399*e^5 - 313137483/20798*e^4 - 509709415/41596*e^3 + 578288593/20798*e^2 + 140018784/10399*e - 146278478/10399, 56099/249576*e^11 - 1811567/249576*e^10 - 1886053/249576*e^9 + 67503653/249576*e^8 + 19585961/249576*e^7 - 417346007/124788*e^6 - 99905185/249576*e^5 + 346591189/20798*e^4 + 143767819/41596*e^3 - 1033398212/31197*e^2 - 109626442/10399*e + 162216386/10399, -110437/41596*e^11 - 11815/20798*e^10 + 2067555/20798*e^9 + 236612/10399*e^8 - 25797683/20798*e^7 - 14308909/41596*e^6 + 261143547/41596*e^5 + 114497823/41596*e^4 - 258434665/20798*e^3 - 75313384/10399*e^2 + 52511576/10399*e + 15175522/10399, -257575/124788*e^11 - 339901/62394*e^10 + 9655145/124788*e^9 + 25598507/124788*e^8 - 120434671/124788*e^7 - 162665249/62394*e^6 + 298516213/62394*e^5 + 582884337/41596*e^4 - 304417491/41596*e^3 - 1850663945/62394*e^2 - 40605452/10399*e + 131294543/10399, 127965/41596*e^11 - 12653/20798*e^10 - 1179626/10399*e^9 + 380739/20798*e^8 + 14320527/10399*e^7 - 4086433/41596*e^6 - 276897357/41596*e^5 - 48920439/41596*e^4 + 131148487/10399*e^3 + 55686048/10399*e^2 - 50029349/10399*e - 12076802/10399, 66071/124788*e^11 - 1322087/124788*e^10 - 1118447/62394*e^9 + 24557365/62394*e^8 + 11625289/62394*e^7 - 603776803/124788*e^6 - 51367361/62394*e^5 + 247863423/10399*e^4 + 213677341/41596*e^3 - 1461982324/31197*e^2 - 153336524/10399*e + 227793867/10399, 797881/124788*e^11 - 89398/31197*e^10 - 7403219/31197*e^9 + 6286085/62394*e^8 + 90985657/31197*e^7 - 130637957/124788*e^6 - 1803873683/124788*e^5 + 96957565/41596*e^4 + 606774187/20798*e^3 + 13555606/31197*e^2 - 160238747/10399*e + 37087102/10399, 20777/124788*e^11 - 349201/62394*e^10 - 330911/62394*e^9 + 6495539/31197*e^8 + 2993395/62394*e^7 - 320324563/124788*e^6 - 23825011/124788*e^5 + 529284107/41596*e^4 + 46671707/20798*e^3 - 784252453/31197*e^2 - 79189721/10399*e + 121452770/10399, 18753/83192*e^11 - 277413/83192*e^10 - 602463/83192*e^9 + 10218527/83192*e^8 + 5444299/83192*e^7 - 61823357/41596*e^6 - 14990595/83192*e^5 + 147919847/20798*e^4 + 46334483/41596*e^3 - 141181252/10399*e^2 - 39556852/10399*e + 63283312/10399, 22892/31197*e^11 - 356498/31197*e^10 - 1568141/62394*e^9 + 26447383/62394*e^8 + 16644781/62394*e^7 - 324136445/62394*e^6 - 72573005/62394*e^5 + 264419200/10399*e^4 + 122755523/20798*e^3 - 1549502389/31197*e^2 - 163306343/10399*e + 240785992/10399, 164377/62394*e^11 + 26464/31197*e^10 - 6150365/62394*e^9 - 2079989/62394*e^8 + 76625497/62394*e^7 + 14916614/31197*e^6 - 193158475/31197*e^5 - 71776687/20798*e^4 + 250730323/20798*e^3 + 272388419/31197*e^2 - 45410796/10399*e - 23809892/10399, 12412/31197*e^11 + 394823/124788*e^10 - 1939547/124788*e^9 - 14675495/124788*e^8 + 25834207/124788*e^7 + 181314367/124788*e^6 - 34493183/31197*e^5 - 304711889/41596*e^4 + 13270007/10399*e^3 + 457265053/31197*e^2 + 30179122/10399*e - 66106936/10399, 105255/20798*e^11 - 7421/10399*e^10 - 7829253/41596*e^9 + 916143/41596*e^8 + 96543895/41596*e^7 - 4946677/41596*e^6 - 479902733/41596*e^5 - 17360903/10399*e^4 + 947718581/41596*e^3 + 152223431/20798*e^2 - 106243554/10399*e - 3951829/10399, -1178113/249576*e^11 + 1633801/249576*e^10 + 43686563/249576*e^9 - 59942779/249576*e^8 - 536503159/249576*e^7 + 354358735/124788*e^6 + 2676567179/249576*e^5 - 126690689/10399*e^4 - 976085529/41596*e^3 + 647962318/31197*e^2 + 188062260/10399*e - 131255428/10399, 17599/20798*e^11 + 113187/20798*e^10 - 692513/20798*e^9 - 4191891/20798*e^8 + 9337145/20798*e^7 + 25746050/10399*e^6 - 51283153/20798*e^5 - 128923452/10399*e^4 + 37495953/10399*e^3 + 256265625/10399*e^2 + 40187714/10399*e - 107583818/10399, -20119/41596*e^11 - 23772/10399*e^10 + 763829/41596*e^9 + 3556895/41596*e^8 - 9722023/41596*e^7 - 22262769/20798*e^6 + 12276378/10399*e^5 + 230911149/41596*e^4 - 63866107/41596*e^3 - 237484025/20798*e^2 - 21812298/10399*e + 52124208/10399, -212807/62394*e^11 - 5165/124788*e^10 + 15904985/124788*e^9 + 464621/124788*e^8 - 197818513/124788*e^7 - 16198939/124788*e^6 + 498833251/62394*e^5 + 83549793/41596*e^4 - 166370700/10399*e^3 - 197751226/31197*e^2 + 75481247/10399*e + 6405236/10399, 673339/124788*e^11 - 205825/124788*e^10 - 6255350/31197*e^9 + 3526631/62394*e^8 + 154055885/62394*e^7 - 66629363/124788*e^6 - 382445654/31197*e^5 + 2497340/10399*e^4 + 1018271953/41596*e^3 + 238597409/62394*e^2 - 124633262/10399*e + 14373509/10399, -327791/124788*e^11 - 168886/31197*e^10 + 6194453/62394*e^9 + 6316612/31197*e^8 - 78423295/62394*e^7 - 318209963/124788*e^6 + 801550315/124788*e^5 + 567510937/41596*e^4 - 115666396/10399*e^3 - 896212031/31197*e^2 - 12068577/10399*e + 118341342/10399, -78433/124788*e^11 - 1442093/124788*e^10 + 3144125/124788*e^9 + 53749475/124788*e^8 - 43196713/124788*e^7 - 166546357/31197*e^6 + 225788927/124788*e^5 + 559361913/20798*e^4 + 7981801/20798*e^3 - 1682621449/31197*e^2 - 146455848/10399*e + 255083104/10399, -369859/124788*e^11 + 588799/124788*e^10 + 13656383/124788*e^9 - 21565423/124788*e^8 - 166427887/124788*e^7 + 63675401/31197*e^6 + 820335395/124788*e^5 - 91720624/10399*e^4 - 149498512/10399*e^3 + 472048934/31197*e^2 + 119324452/10399*e - 90559062/10399, 170765/124788*e^11 - 158923/62394*e^10 - 6335305/124788*e^9 + 11731697/124788*e^8 + 77917823/124788*e^7 - 35225734/31197*e^6 - 97880587/31197*e^5 + 212011501/41596*e^4 + 298550651/41596*e^3 - 575067299/62394*e^2 - 66210015/10399*e + 54059322/10399, -32981/249576*e^11 - 3475903/249576*e^10 + 1799599/249576*e^9 + 129352993/249576*e^8 - 33416195/249576*e^7 - 798633469/124788*e^6 + 197647483/249576*e^5 + 664011349/20798*e^4 + 130125013/41596*e^3 - 1980651976/31197*e^2 - 187082268/10399*e + 303619296/10399, 52835/124788*e^11 - 372181/62394*e^10 - 937397/62394*e^9 + 6923189/31197*e^8 + 10719655/62394*e^7 - 341159737/124788*e^6 - 106189705/124788*e^5 + 561287441/41596*e^4 + 79772525/20798*e^3 - 829968622/31197*e^2 - 94005515/10399*e + 131620572/10399, -133819/20798*e^11 + 81102/10399*e^10 + 2474323/10399*e^9 - 2952692/10399*e^8 - 30229119/10399*e^7 + 68621041/20798*e^6 + 298377843/20798*e^5 - 280189383/20798*e^4 - 317573417/10399*e^3 + 223619847/10399*e^2 + 225543175/10399*e - 141292072/10399, 24075/20798*e^11 - 22337/41596*e^10 - 1799403/41596*e^9 + 812905/41596*e^8 + 22387159/41596*e^7 - 9111191/41596*e^6 - 56661059/20798*e^5 + 28114307/41596*e^4 + 58915459/10399*e^3 - 6368228/10399*e^2 - 34193371/10399*e + 11267182/10399, 133414/31197*e^11 + 94463/124788*e^10 - 19842329/124788*e^9 - 4048397/124788*e^8 + 244488337/124788*e^7 + 67334929/124788*e^6 - 605152759/62394*e^5 - 194798001/41596*e^4 + 385323347/20798*e^3 + 401140018/31197*e^2 - 66385303/10399*e - 37118990/10399, 250249/124788*e^11 + 618995/124788*e^10 - 9429101/124788*e^9 - 23214515/124788*e^8 + 118743385/124788*e^7 + 73283686/31197*e^6 - 600203849/124788*e^5 - 130268955/10399*e^4 + 82006664/10399*e^3 + 819277822/31197*e^2 + 24720633/10399*e - 111863222/10399, -13647/10399*e^11 + 3879/41596*e^10 + 2016955/41596*e^9 - 67861/41596*e^8 - 24571119/41596*e^7 - 1409211/41596*e^6 + 59678149/20798*e^5 + 36295441/41596*e^4 - 112615073/20798*e^3 - 31280834/10399*e^2 + 19971825/10399*e + 8407444/10399, -173374/31197*e^11 - 42821/124788*e^10 + 6426818/31197*e^9 + 601691/31197*e^8 - 157533851/62394*e^7 - 13722868/31197*e^6 + 1546629293/124788*e^5 + 206145725/41596*e^4 - 981020093/41596*e^3 - 923024381/62394*e^2 + 86447813/10399*e + 41562408/10399, 39091/124788*e^11 + 130709/124788*e^10 - 1462961/124788*e^9 - 4918823/124788*e^8 + 18176533/124788*e^7 + 31180277/62394*e^6 - 88765013/124788*e^5 - 27697678/10399*e^4 + 19870847/20798*e^3 + 175561927/31197*e^2 + 10618455/10399*e - 25959226/10399, 3491/124788*e^11 - 73871/31197*e^10 - 14561/62394*e^9 + 2724422/31197*e^8 - 861005/62394*e^7 - 132367609/124788*e^6 + 20665193/124788*e^5 + 213804571/41596*e^4 + 2743101/10399*e^3 - 310739872/31197*e^2 - 26893546/10399*e + 46096576/10399, -12710/31197*e^11 - 1613641/124788*e^10 + 2239495/124788*e^9 + 59920639/124788*e^8 - 34680179/124788*e^7 - 737465531/124788*e^6 + 101831015/62394*e^5 + 1221967639/41596*e^4 + 14628663/20798*e^3 - 1814971064/31197*e^2 - 155079600/10399*e + 272806656/10399, 25492/10399*e^11 - 30519/10399*e^10 - 1860887/20798*e^9 + 2183415/20798*e^8 + 22189501/20798*e^7 - 24479257/20798*e^6 - 104712331/20798*e^5 + 45695552/10399*e^4 + 209154299/20798*e^3 - 62998942/10399*e^2 - 65262303/10399*e + 37385838/10399, -8001/41596*e^11 + 20023/20798*e^10 + 145971/20798*e^9 - 369621/10399*e^8 - 1742665/20798*e^7 + 17910879/41596*e^6 + 16949875/41596*e^5 - 84825589/41596*e^4 - 22780415/20798*e^3 + 39902820/10399*e^2 + 15787287/10399*e - 19215832/10399, 49368/10399*e^11 - 8727/10399*e^10 - 3686463/20798*e^9 + 587585/20798*e^8 + 45781399/20798*e^7 - 4854765/20798*e^6 - 230564017/20798*e^5 - 7500268/10399*e^4 + 466627537/20798*e^3 + 48679998/10399*e^2 - 116147922/10399*e + 11160894/10399, -18315/20798*e^11 - 408025/41596*e^10 + 365747/10399*e^9 + 3791112/10399*e^8 - 10051655/20798*e^7 - 93571327/20798*e^6 + 110241159/41596*e^5 + 938795433/41596*e^4 - 100444411/41596*e^3 - 936335849/20798*e^2 - 101951794/10399*e + 205823651/10399, -146817/20798*e^11 + 86517/10399*e^10 + 5424639/20798*e^9 - 6289599/20798*e^8 - 66169409/20798*e^7 + 36405622/10399*e^6 + 162791201/10399*e^5 - 293933069/20798*e^4 - 688629847/20798*e^3 + 231134715/10399*e^2 + 240262503/10399*e - 147953242/10399, -38303/31197*e^11 - 267389/62394*e^10 + 2883401/62394*e^9 + 10035935/62394*e^8 - 36194203/62394*e^7 - 126582841/62394*e^6 + 90050701/31197*e^5 + 222694991/20798*e^4 - 42394328/10399*e^3 - 697175837/31197*e^2 - 38413283/10399*e + 100740206/10399, 115799/124788*e^11 + 404719/124788*e^10 - 4386685/124788*e^9 - 15119407/124788*e^8 + 55694261/124788*e^7 + 94602889/62394*e^6 - 282903655/124788*e^5 - 164540703/20798*e^4 + 35366278/10399*e^3 + 509912579/31197*e^2 + 24447132/10399*e - 72193966/10399, 94241/83192*e^11 - 233075/83192*e^10 - 3408469/83192*e^9 + 8478697/83192*e^8 + 39970113/83192*e^7 - 24847123/20798*e^6 - 184551855/83192*e^5 + 216351353/41596*e^4 + 199139077/41596*e^3 - 92833898/10399*e^2 - 45632663/10399*e + 45384148/10399, -758099/124788*e^11 + 25745/124788*e^10 + 7021411/31197*e^9 - 36931/62394*e^8 - 171937579/62394*e^7 - 26510105/124788*e^6 + 421574119/31197*e^5 + 42365365/10399*e^4 - 1076343901/41596*e^3 - 842035039/62394*e^2 + 101808226/10399*e + 32964018/10399, 436403/62394*e^11 - 383749/124788*e^10 - 32528777/124788*e^9 + 13689727/124788*e^8 + 402760129/124788*e^7 - 146801909/124788*e^6 - 505526288/31197*e^5 + 125397373/41596*e^4 + 692559007/20798*e^3 - 32161283/31197*e^2 - 192495501/10399*e + 52992570/10399, -992479/124788*e^11 - 49051/62394*e^10 + 9246395/31197*e^9 + 2235523/62394*e^8 - 114415060/31197*e^7 - 83676997/124788*e^6 + 2285254655/124788*e^5 + 282461515/41596*e^4 - 372090667/10399*e^3 - 608827351/31197*e^2 + 148429067/10399*e + 42285866/10399, 169333/62394*e^11 - 67766/31197*e^10 - 6340535/62394*e^9 + 4993663/62394*e^8 + 79192543/62394*e^7 - 29380291/31197*e^6 - 202431937/31197*e^5 + 78563771/20798*e^4 + 292293441/20798*e^3 - 186034063/31197*e^2 - 99562136/10399*e + 50799676/10399, 36917/41596*e^11 + 38382/10399*e^10 - 1378559/41596*e^9 - 5786295/41596*e^8 + 17049339/41596*e^7 + 18355166/10399*e^6 - 41015105/20798*e^5 - 389566637/41596*e^4 + 94872149/41596*e^3 + 204575084/10399*e^2 + 43013043/10399*e - 92061011/10399, 331669/124788*e^11 - 1175773/124788*e^10 - 3065909/31197*e^9 + 21814229/62394*e^8 + 75049919/62394*e^7 - 532338317/124788*e^6 - 378886903/62394*e^5 + 422600915/20798*e^4 + 647667205/41596*e^3 - 2418229759/62394*e^2 - 194080594/10399*e + 207040669/10399, -147568/31197*e^11 - 954437/124788*e^10 + 22243205/124788*e^9 + 35848337/124788*e^8 - 280287745/124788*e^7 - 456008569/124788*e^6 + 356589179/31197*e^5 + 833030619/41596*e^4 - 212061219/10399*e^3 - 1339377799/31197*e^2 + 3810718/10399*e + 171792482/10399, -50833/41596*e^11 + 122435/20798*e^10 + 468573/10399*e^9 - 4549671/20798*e^8 - 5712143/10399*e^7 + 111503285/41596*e^6 + 115773449/41596*e^5 - 538647765/41596*e^4 - 80404461/10399*e^3 + 260049352/10399*e^2 + 112219006/10399*e - 129690908/10399, 282861/41596*e^11 - 287153/41596*e^10 - 10472649/41596*e^9 + 10416777/41596*e^8 + 128193025/41596*e^7 - 29925786/10399*e^6 - 633668457/41596*e^5 + 116809853/10399*e^4 + 332601776/10399*e^3 - 174828999/10399*e^2 - 220688687/10399*e + 121421626/10399, -78413/124788*e^11 - 72544/31197*e^10 + 1514585/62394*e^9 + 2692789/31197*e^8 - 19867459/62394*e^7 - 133179725/124788*e^6 + 212783113/124788*e^5 + 226817971/41596*e^4 - 29926407/10399*e^3 - 344422259/31197*e^2 - 10561434/10399*e + 46303134/10399, -39229/41596*e^11 - 55103/10399*e^10 + 1502223/41596*e^9 + 8228863/41596*e^8 - 19387899/41596*e^7 - 25644645/10399*e^6 + 49817477/20798*e^5 + 526998825/41596*e^4 - 124758229/41596*e^3 - 268779303/10399*e^2 - 51498674/10399*e + 117814009/10399, -169628/31197*e^11 - 2129/62394*e^10 + 25156357/124788*e^9 + 893605/124788*e^8 - 308439719/124788*e^7 - 34386713/124788*e^6 + 1515996661/124788*e^5 + 41560523/10399*e^4 - 968317173/41596*e^3 - 787251379/62394*e^2 + 91030827/10399*e + 30985067/10399, -82969/41596*e^11 + 247791/20798*e^10 + 750010/10399*e^9 - 9177107/20798*e^8 - 8823420/10399*e^7 + 223765849/41596*e^6 + 169709869/41596*e^5 - 1075158613/41596*e^4 - 123167492/10399*e^3 + 516085782/10399*e^2 + 196414306/10399*e - 249448382/10399, 167401/62394*e^11 - 193397/124788*e^10 - 12403255/124788*e^9 + 6841661/124788*e^8 + 151909799/124788*e^7 - 73124851/124788*e^6 - 374238611/62394*e^5 + 68140945/41596*e^4 + 125695036/10399*e^3 - 29206666/31197*e^2 - 67841434/10399*e + 19128588/10399, 15509/124788*e^11 + 1130587/124788*e^10 - 215536/31197*e^9 - 10481209/31197*e^8 + 4122323/31197*e^7 + 514436621/124788*e^6 - 27966967/31197*e^5 - 211643494/10399*e^4 - 32301707/41596*e^3 + 1248708878/31197*e^2 + 106641003/10399*e - 186568449/10399, -165785/62394*e^11 + 47179/124788*e^10 + 12357545/124788*e^9 - 1533763/124788*e^8 - 152969029/124788*e^7 + 10521281/124788*e^6 + 382868875/62394*e^5 + 27576305/41596*e^4 - 127530025/10399*e^3 - 99790669/31197*e^2 + 60391406/10399*e - 2505770/10399, -206999/62394*e^11 + 389167/124788*e^10 + 15339155/124788*e^9 - 14112937/124788*e^8 - 187996375/124788*e^7 + 161720795/124788*e^6 + 232664525/31197*e^5 - 206846767/41596*e^4 - 324335267/20798*e^3 + 225970844/31197*e^2 + 105215629/10399*e - 54673746/10399, 245129/41596*e^11 + 123933/41596*e^10 - 4574509/20798*e^9 - 2411495/20798*e^8 + 56737575/20798*e^7 + 66758343/41596*e^6 - 141739822/10399*e^5 - 220251517/20798*e^4 + 1072130955/41596*e^3 + 266244508/10399*e^2 - 75675489/10399*e - 85957631/10399, 512597/124788*e^11 - 1220213/124788*e^10 - 18854317/124788*e^9 + 44906573/124788*e^8 + 228296525/124788*e^7 - 134479834/31197*e^6 - 1119531973/124788*e^5 + 203561263/10399*e^4 + 214834068/10399*e^3 - 1106877340/31197*e^2 - 207119690/10399*e + 193992598/10399, 118367/124788*e^11 + 134309/62394*e^10 - 4609105/124788*e^9 - 9832183/124788*e^8 + 61309343/124788*e^7 + 59518837/62394*e^6 - 169393013/62394*e^5 - 198977565/41596*e^4 + 224352855/41596*e^3 + 591518341/62394*e^2 - 11811249/10399*e - 33015759/10399, -104809/62394*e^11 + 1856027/124788*e^10 + 7537795/124788*e^9 - 68946317/124788*e^8 - 88014611/124788*e^7 + 846247243/124788*e^6 + 107404081/31197*e^5 - 1378350695/41596*e^4 - 248635273/20798*e^3 + 2019277627/31197*e^2 + 241152592/10399*e - 323103486/10399, -1089541/249576*e^11 + 2098027/249576*e^10 + 40206629/249576*e^9 - 77107897/249576*e^8 - 489600865/249576*e^7 + 114894283/31197*e^6 + 2416272611/249576*e^5 - 682357221/41596*e^4 - 903813851/41596*e^3 + 909129241/31197*e^2 + 197594476/10399*e - 166505550/10399, 429419/124788*e^11 - 379039/62394*e^10 - 3947272/31197*e^9 + 13856695/62394*e^8 + 47742401/31197*e^7 - 326633143/124788*e^6 - 930013063/124788*e^5 + 471437881/41596*e^4 + 169251453/10399*e^3 - 606760720/31197*e^2 - 139220262/10399*e + 111311716/10399, 63469/62394*e^11 + 139033/31197*e^10 - 4698799/124788*e^9 - 20998363/124788*e^8 + 57193649/124788*e^7 + 267204941/124788*e^6 - 266485027/124788*e^5 - 118533581/10399*e^4 + 86778945/41596*e^3 + 1496791669/62394*e^2 + 57827957/10399*e - 113814100/10399, 16640/31197*e^11 - 132881/31197*e^10 - 1139405/62394*e^9 + 9782251/62394*e^8 + 11974069/62394*e^7 - 118004147/62394*e^6 - 46143989/62394*e^5 + 92989168/10399*e^4 + 47718727/20798*e^3 - 524721901/31197*e^2 - 52304384/10399*e + 78543472/10399, -7063/31197*e^11 + 1584937/124788*e^10 + 784973/124788*e^9 - 58935379/124788*e^8 - 4431841/124788*e^7 + 726231899/124788*e^6 + 2932381/62394*e^5 - 1200485307/41596*e^4 - 88879651/20798*e^3 + 1780024076/31197*e^2 + 174697929/10399*e - 274347328/10399, 411049/249576*e^11 - 1043959/249576*e^10 - 14853257/249576*e^9 + 37955701/249576*e^8 + 173891173/249576*e^7 - 55585219/31197*e^6 - 800941367/249576*e^5 + 322920613/41596*e^4 + 289244667/41596*e^3 - 416977801/31197*e^2 - 67446660/10399*e + 68274996/10399, 151975/124788*e^11 - 198965/62394*e^10 - 2849779/62394*e^9 + 3711346/31197*e^8 + 35765639/62394*e^7 - 182498225/124788*e^6 - 374517917/124788*e^5 + 291211293/41596*e^4 + 156851923/20798*e^3 - 420735353/31197*e^2 - 83466920/10399*e + 77129192/10399, 179487/41596*e^11 - 44817/10399*e^10 - 6650771/41596*e^9 + 6513153/41596*e^8 + 81535051/41596*e^7 - 37519279/20798*e^6 - 101038350/10399*e^5 + 294142853/41596*e^4 + 851243645/41596*e^3 - 110870188/10399*e^2 - 142006674/10399*e + 77671897/10399, 764437/249576*e^11 + 295745/249576*e^10 - 28560341/249576*e^9 - 11521079/249576*e^8 + 354934825/249576*e^7 + 20209916/31197*e^6 - 1781653943/249576*e^5 - 186232701/41596*e^4 + 572137593/41596*e^3 + 345223058/31197*e^2 - 48645483/10399*e - 32628292/10399, -79729/41596*e^11 - 60562/10399*e^10 + 3001939/41596*e^9 + 9085135/41596*e^8 - 37723927/41596*e^7 - 28638186/10399*e^6 + 94426975/20798*e^5 + 606414697/41596*e^4 - 284733081/41596*e^3 - 316943101/10399*e^2 - 44331078/10399*e + 134817459/10399, -7609/20798*e^11 - 69045/41596*e^10 + 559617/41596*e^9 + 2610861/41596*e^8 - 6736069/41596*e^7 - 33297383/41596*e^6 + 15392997/20798*e^5 + 177635711/41596*e^4 - 6832074/10399*e^3 - 93372992/10399*e^2 - 22153013/10399*e + 42777408/10399, 167321/124788*e^11 + 418855/31197*e^10 - 1610935/31197*e^9 - 31294907/62394*e^8 + 20912312/31197*e^7 + 779734043/124788*e^6 - 420173935/124788*e^5 - 1325399103/41596*e^4 + 37654455/20798*e^3 + 2015338760/31197*e^2 + 164678257/10399*e - 303635800/10399, -386963/41596*e^11 + 945/41596*e^10 + 14402481/41596*e^9 + 302483/41596*e^8 - 177819369/41596*e^7 - 7624783/20798*e^6 + 884910419/41596*e^5 + 123791561/20798*e^4 - 432933767/10399*e^3 - 198849569/10399*e^2 + 179580862/10399*e + 34421776/10399, 452869/83192*e^11 - 97179/83192*e^10 - 16889481/83192*e^9 + 3289653/83192*e^8 + 209335597/83192*e^7 - 7172795/20798*e^6 - 1051062359/83192*e^5 - 22070953/41596*e^4 + 1062059471/41596*e^3 + 51446056/10399*e^2 - 132354132/10399*e + 13645784/10399, 1134157/124788*e^11 + 122753/124788*e^10 - 21149551/62394*e^9 - 1365401/31197*e^8 + 131035114/31197*e^7 + 99001357/124788*e^6 - 1311624937/62394*e^5 - 81424335/10399*e^4 + 1713337037/41596*e^3 + 1392788165/62394*e^2 - 172534977/10399*e - 47364208/10399, -13151/31197*e^11 + 43393/62394*e^10 + 489682/31197*e^9 - 807977/31197*e^8 - 6058616/31197*e^7 + 9833248/31197*e^6 + 61299425/62394*e^5 - 30015147/20798*e^4 - 46101109/20798*e^3 + 81714337/31197*e^2 + 19667361/10399*e - 15214308/10399, 224437/62394*e^11 + 885047/62394*e^10 - 4252600/31197*e^9 - 16560472/31197*e^8 + 54001877/31197*e^7 + 415311265/62394*e^6 - 273427972/31197*e^5 - 361092444/10399*e^4 + 259410341/20798*e^3 + 2237331752/31197*e^2 + 121512607/10399*e - 321211940/10399, -165146/31197*e^11 + 468794/31197*e^10 + 24249673/124788*e^9 - 69115811/124788*e^8 - 292728983/124788*e^7 + 831668863/124788*e^6 + 1434255103/124788*e^5 - 639299903/20798*e^4 - 1139302871/41596*e^3 + 3537672491/62394*e^2 + 301913277/10399*e - 303653619/10399, -245557/31197*e^11 - 2459/31197*e^10 + 9165290/31197*e^9 + 260540/31197*e^8 - 113735062/31197*e^7 - 9526438/31197*e^6 + 571099514/31197*e^5 + 49329529/10399*e^4 - 377775909/10399*e^3 - 469176658/31197*e^2 + 165888981/10399*e + 18797272/10399, 2294801/249576*e^11 - 537359/249576*e^10 - 85400821/249576*e^9 + 18069833/249576*e^8 + 1054429601/249576*e^7 - 39148927/62394*e^6 - 5258531659/249576*e^5 - 36674475/41596*e^4 + 1754255945/41596*e^3 + 274021774/31197*e^2 - 212495143/10399*e + 16628364/10399, 337679/41596*e^11 + 66453/41596*e^10 - 12558507/41596*e^9 - 2807081/41596*e^8 + 154800419/41596*e^7 + 11392033/10399*e^6 - 766666287/41596*e^5 - 96004267/10399*e^4 + 365706910/10399*e^3 + 260804318/10399*e^2 - 124275574/10399*e - 73512700/10399, 763597/124788*e^11 - 41389/124788*e^10 - 28349387/124788*e^9 + 739123/124788*e^8 + 348428479/124788*e^7 + 8264915/62394*e^6 - 1720335923/124788*e^5 - 37092092/10399*e^4 + 555830165/20798*e^3 + 383180098/31197*e^2 - 111809415/10399*e - 24316150/10399, 181735/31197*e^11 - 149273/62394*e^10 - 27009383/124788*e^9 + 10455565/124788*e^8 + 332561089/124788*e^7 - 107022353/124788*e^6 - 1652768963/124788*e^5 + 17302776/10399*e^4 + 1111959351/41596*e^3 + 82184435/62394*e^2 - 144882428/10399*e + 29438692/10399, 173421/41596*e^11 - 262349/20798*e^10 - 1586499/10399*e^9 + 9666435/20798*e^8 + 19041944/10399*e^7 - 232593873/41596*e^6 - 369979889/41596*e^5 + 1074511965/41596*e^4 + 221568287/10399*e^3 - 496127341/10399*e^2 - 242424354/10399*e + 252067426/10399, 103283/20798*e^11 + 33935/20798*e^10 - 3878577/20798*e^9 - 1303439/20798*e^8 + 48644901/20798*e^7 + 9035930/10399*e^6 - 248251031/20798*e^5 - 63328578/10399*e^4 + 247045548/10399*e^3 + 156704142/10399*e^2 - 100391444/10399*e - 33574818/10399, -1089203/124788*e^11 + 395671/62394*e^10 + 20169245/62394*e^9 - 7085666/31197*e^8 - 246971443/62394*e^7 + 314153521/124788*e^6 + 2437745713/124788*e^5 - 351985865/41596*e^4 - 832823513/20798*e^3 + 299607214/31197*e^2 + 245269255/10399*e - 97713720/10399, 1221899/124788*e^11 - 312887/124788*e^10 - 22695791/62394*e^9 + 2623562/31197*e^8 + 139667708/31197*e^7 - 91430677/124788*e^6 - 692855110/31197*e^5 - 16634895/20798*e^4 + 1837929581/41596*e^3 + 588119239/62394*e^2 - 219380711/10399*e + 14332783/10399, -258359/62394*e^11 + 467797/31197*e^10 + 18932465/124788*e^9 - 69180139/124788*e^8 - 227913415/124788*e^7 + 838625765/124788*e^6 + 1119086573/124788*e^5 - 329121937/10399*e^4 - 941513323/41596*e^3 + 3721484251/62394*e^2 + 285427408/10399*e - 311881592/10399, 27803/31197*e^11 - 2127287/124788*e^10 - 3673489/124788*e^9 + 78842867/124788*e^8 + 35924129/124788*e^7 - 965100367/124788*e^6 - 34149520/31197*e^5 + 1572870729/41596*e^4 + 75501440/10399*e^3 - 2301474886/31197*e^2 - 231793790/10399*e + 354319382/10399, 145190/31197*e^11 + 1720675/124788*e^10 - 11035883/62394*e^9 - 16054228/31197*e^8 + 140950981/62394*e^7 + 200743958/31197*e^6 - 1452557275/124788*e^5 - 1399868809/41596*e^4 + 791693757/41596*e^3 + 2169902006/31197*e^2 + 72548127/10399*e - 297082115/10399, 482041/124788*e^11 - 2487961/124788*e^10 - 17523707/124788*e^9 + 92135767/124788*e^8 + 208133863/124788*e^7 - 561207025/62394*e^6 - 1010976515/124788*e^5 + 447732950/10399*e^4 + 467043463/20798*e^3 - 2569978238/31197*e^2 - 343242921/10399*e + 417882764/10399, -59987/62394*e^11 - 564701/124788*e^10 + 4447643/124788*e^9 + 21317051/124788*e^8 - 54284995/124788*e^7 - 271056589/124788*e^6 + 63464300/31197*e^5 + 479815301/41596*e^4 - 40103305/20798*e^3 - 755984500/31197*e^2 - 58359944/10399*e + 115143232/10399, 10729/62394*e^11 + 75251/62394*e^10 - 342107/62394*e^9 - 2909777/62394*e^8 + 2925229/62394*e^7 + 19232258/31197*e^6 - 1666007/62394*e^5 - 35868844/10399*e^4 - 10909331/10399*e^3 + 236809115/31197*e^2 + 32443787/10399*e - 41061600/10399, -192503/62394*e^11 + 318655/31197*e^10 + 3518921/31197*e^9 - 11753662/31197*e^8 - 42173008/31197*e^7 + 283562569/62394*e^6 + 409563853/62394*e^5 - 439968079/20798*e^4 - 166753350/10399*e^3 + 1227926633/31197*e^2 + 191771812/10399*e - 205773642/10399]; 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;