/* 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, -11, 10, 10, -6, -2, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [7, 7, w^4 - 2*w^3 - 3*w^2 + 6*w - 1], [7, 7, -w^4 + w^3 + 4*w^2 - w - 1], [13, 13, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 3*w - 3], [29, 29, -w^4 + w^3 + 4*w^2 - 3*w - 2], [29, 29, w^4 - 5*w^2 - 2*w + 4], [29, 29, -w^4 + w^3 + 3*w^2 - w + 2], [29, 29, -w^2 + w + 1], [41, 41, -w^5 + w^4 + 4*w^3 - w^2 - 3*w - 1], [43, 43, 2*w^3 - 2*w^2 - 7*w + 3], [43, 43, w^3 - w^2 - 2*w + 1], [64, 2, -2], [71, 71, w^5 - w^4 - 6*w^3 + 4*w^2 + 8*w - 3], [71, 71, w^5 - 2*w^4 - 2*w^3 + 5*w^2 - 3*w - 1], [83, 83, -2*w^4 + 3*w^3 + 6*w^2 - 7*w + 2], [83, 83, w^4 - w^3 - 5*w^2 + 2*w + 3], [83, 83, -w^5 + 3*w^4 + w^3 - 9*w^2 + 5*w + 3], [83, 83, w^5 - 7*w^3 + 10*w - 1], [97, 97, w^5 - 2*w^4 - 3*w^3 + 5*w^2 - w - 1], [97, 97, w^5 - 5*w^3 - w^2 + 3*w - 3], [113, 113, w^4 - w^3 - 4*w^2 + w + 4], [113, 113, w^4 - 2*w^3 - 3*w^2 + 6*w + 2], [127, 127, -w^4 + 2*w^3 + 4*w^2 - 5*w - 3], [127, 127, w^5 - 9*w^3 + w^2 + 18*w - 1], [127, 127, 2*w^4 - 4*w^3 - 5*w^2 + 10*w - 2], [127, 127, w^5 - w^4 - 6*w^3 + 3*w^2 + 9*w - 2], [127, 127, -3*w^4 + 5*w^3 + 9*w^2 - 11*w], [127, 127, -w^5 + 3*w^4 + w^3 - 8*w^2 + 4*w - 1], [139, 139, w^4 - 3*w^3 - 2*w^2 + 10*w - 3], [139, 139, -w^5 + 2*w^4 + 4*w^3 - 5*w^2 - 4*w - 3], [167, 167, -w^4 + w^3 + 5*w^2 - 4*w - 3], [167, 167, -w^5 + w^4 + 6*w^3 - 3*w^2 - 8*w + 3], [169, 13, w^4 - 3*w^3 - 2*w^2 + 8*w - 2], [169, 13, 2*w^4 - 3*w^3 - 7*w^2 + 7*w + 3], [181, 181, -w^5 + 4*w^3 + 3*w^2 - 2], [181, 181, w^5 - 3*w^4 - 3*w^3 + 11*w^2 - 4], [181, 181, w^5 - 3*w^4 - 3*w^3 + 10*w^2 + 2*w - 4], [181, 181, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 3*w - 2], [197, 197, -3*w^4 + 5*w^3 + 10*w^2 - 11*w - 3], [197, 197, -3*w^4 + 6*w^3 + 9*w^2 - 16*w - 1], [197, 197, 2*w^3 - 3*w^2 - 5*w + 4], [197, 197, -w^5 + 6*w^3 - 6*w + 1], [223, 223, 2*w^4 - 2*w^3 - 9*w^2 + 3*w + 6], [223, 223, -3*w^4 + 5*w^3 + 9*w^2 - 13*w + 1], [223, 223, w^5 - w^4 - 6*w^3 + 4*w^2 + 10*w - 4], [223, 223, w^4 - 4*w^3 - 2*w^2 + 12*w], [239, 239, 2*w^4 - w^3 - 8*w^2 + 3], [239, 239, -w^5 + 3*w^4 - 8*w^2 + 9*w + 3], [239, 239, -w^5 + 2*w^4 + 2*w^3 - 6*w^2 + 3*w + 4], [239, 239, w^4 - 6*w^2 + 6], [239, 239, 3*w^4 - 4*w^3 - 11*w^2 + 10*w + 3], [239, 239, -w^5 + 7*w^3 - 9*w - 1], [251, 251, w^5 - 2*w^4 - 2*w^3 + 5*w^2 - 3*w - 2], [251, 251, -w^5 + w^4 + 6*w^3 - 4*w^2 - 8*w + 2], [281, 281, -3*w^4 + 4*w^3 + 11*w^2 - 10*w - 4], [281, 281, 3*w^4 - 3*w^3 - 12*w^2 + 5*w + 6], [293, 293, -w^5 + 8*w^3 - 15*w + 1], [293, 293, w^5 - 4*w^4 + w^3 + 11*w^2 - 9*w + 1], [293, 293, -2*w^4 + 5*w^3 + 5*w^2 - 14*w + 3], [293, 293, -w^5 + 8*w^3 - 14*w + 2], [293, 293, -2*w^4 + 4*w^3 + 6*w^2 - 9*w + 1], [293, 293, w^5 - 4*w^4 + 12*w^2 - 5*w - 2], [307, 307, 2*w^4 - 3*w^3 - 7*w^2 + 9*w + 2], [307, 307, -w^5 + 2*w^4 + 5*w^3 - 8*w^2 - 8*w + 6], [307, 307, -w^3 + 6*w], [307, 307, w^5 - w^4 - 7*w^3 + 5*w^2 + 12*w - 3], [337, 337, -2*w^4 + 2*w^3 + 9*w^2 - 4*w - 8], [337, 337, 3*w^4 - 4*w^3 - 10*w^2 + 9*w + 3], [349, 349, 2*w^5 - 4*w^4 - 7*w^3 + 13*w^2 + 3*w - 6], [349, 349, 2*w^5 - 2*w^4 - 9*w^3 + 5*w^2 + 7*w - 2], [349, 349, w^5 - 3*w^4 + 8*w^2 - 7*w - 2], [349, 349, w^5 - 9*w^3 + 2*w^2 + 17*w - 4], [379, 379, w^5 - 3*w^4 + 6*w^2 - 8*w + 5], [379, 379, w^5 - 2*w^4 - 4*w^3 + 5*w^2 + 3*w + 1], [379, 379, w^5 - 4*w^4 + 12*w^2 - 8*w - 2], [379, 379, -w^5 + w^4 + 7*w^3 - 5*w^2 - 11*w + 5], [419, 419, w^5 - 4*w^4 + w^3 + 10*w^2 - 10*w + 3], [419, 419, 3*w^4 - 3*w^3 - 11*w^2 + 5*w + 4], [421, 421, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 8*w - 4], [421, 421, -w^5 + w^4 + 5*w^3 - 3*w^2 - 7*w + 4], [433, 433, -2*w^2 + w + 5], [433, 433, -2*w^4 + 3*w^3 + 5*w^2 - 6*w + 3], [461, 461, 2*w^3 - 2*w^2 - 5*w + 3], [461, 461, -w^5 + 5*w^3 + 2*w^2 - 4*w + 1], [461, 461, -w^5 + 3*w^4 + 2*w^3 - 10*w^2 + 3*w + 5], [461, 461, -w^5 + 3*w^4 + 3*w^3 - 11*w^2 - w + 3], [463, 463, -2*w^4 + 3*w^3 + 7*w^2 - 8*w - 4], [463, 463, -w^5 + 4*w^4 + w^3 - 12*w^2 + 3*w - 1], [491, 491, w^5 - 7*w^3 - w^2 + 10*w + 3], [491, 491, -w^5 + 4*w^4 - w^3 - 11*w^2 + 10*w + 2], [503, 503, -2*w^5 + 5*w^4 + 5*w^3 - 15*w^2 + w + 3], [503, 503, 2*w^4 - w^3 - 8*w^2 + w + 1], [503, 503, -2*w^5 + 3*w^4 + 7*w^3 - 7*w^2 - 3*w + 1], [503, 503, -2*w^5 + 2*w^4 + 10*w^3 - 5*w^2 - 11*w + 2], [547, 547, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 10*w - 5], [547, 547, -w^4 + 2*w^3 + 2*w^2 - 4*w + 5], [547, 547, -2*w^5 + 4*w^4 + 7*w^3 - 12*w^2 - 3*w + 4], [547, 547, -w^5 + w^4 + 3*w^3 - 2*w^2 + 3*w + 2], [587, 587, -w^5 - w^4 + 8*w^3 + 4*w^2 - 13*w + 1], [587, 587, w^5 - w^4 - 5*w^3 + 2*w^2 + 7*w - 2], [617, 617, w^5 - w^4 - 4*w^3 + 3*w^2 - 1], [617, 617, w^4 - 2*w^3 - 5*w^2 + 5*w + 6], [617, 617, -w^5 + w^4 + 4*w^3 - 3*w^2 + 4], [617, 617, -w^5 + 3*w^4 + 6*w^3 - 13*w^2 - 11*w + 8], [631, 631, -2*w^5 + 2*w^4 + 10*w^3 - 5*w^2 - 11*w + 1], [631, 631, -w^5 + w^4 + 4*w^3 - 2*w - 4], [631, 631, -2*w^4 + 5*w^3 + 4*w^2 - 12*w + 4], [631, 631, -2*w^5 + 5*w^4 + 5*w^3 - 15*w^2 + w + 4], [643, 643, w^5 - 2*w^4 - 5*w^3 + 7*w^2 + 6*w - 2], [643, 643, -w^5 + 2*w^4 + w^3 - 3*w^2 + 6*w - 3], [659, 659, -2*w^4 + 4*w^3 + 7*w^2 - 10*w - 2], [659, 659, w^4 - 3*w^3 - 3*w^2 + 10*w - 1], [659, 659, w^5 - 4*w^4 + 13*w^2 - 6*w - 6], [659, 659, w^5 - 2*w^4 - 5*w^3 + 7*w^2 + 7*w - 5], [673, 673, 2*w^5 - 3*w^4 - 7*w^3 + 8*w^2 + 2*w - 3], [673, 673, w^5 - 4*w^4 - w^3 + 12*w^2 - 3*w - 2], [673, 673, -2*w^5 + 3*w^4 + 9*w^3 - 10*w^2 - 8*w + 5], [673, 673, w^5 - w^4 - 4*w^3 + 3*w + 6], [701, 701, -2*w^4 + 4*w^3 + 6*w^2 - 11*w - 3], [701, 701, 2*w^4 - 3*w^3 - 7*w^2 + 6*w + 5], [727, 727, -w^5 + 2*w^4 + w^3 - 3*w^2 + 7*w - 2], [727, 727, 2*w^5 - 3*w^4 - 7*w^3 + 8*w^2 + 3*w - 4], [727, 727, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 2*w + 1], [727, 727, w^5 + 2*w^4 - 9*w^3 - 8*w^2 + 16*w + 2], [729, 3, -3], [743, 743, w^5 - 4*w^4 + 13*w^2 - 8*w - 5], [743, 743, -w^3 + w^2 + w - 2], [743, 743, w^4 - 4*w^3 - w^2 + 10*w - 2], [743, 743, 3*w^3 - 3*w^2 - 11*w + 6], [757, 757, -w^5 + 4*w^4 - 11*w^2 + 5*w - 2], [757, 757, -3*w^4 + 3*w^3 + 11*w^2 - 5*w - 2], [757, 757, w^5 - 3*w^4 - 2*w^3 + 10*w^2 - 4], [757, 757, w^5 - 8*w^3 + w^2 + 15*w - 4], [769, 769, w^5 - 5*w^3 - 3*w^2 + 4*w + 6], [769, 769, -2*w^5 + 3*w^4 + 8*w^3 - 9*w^2 - 4*w + 3], [769, 769, w^4 - 3*w^3 - w^2 + 9*w - 3], [769, 769, w^5 - 4*w^4 - w^3 + 13*w^2 - 4*w - 5], [797, 797, w^5 + w^4 - 8*w^3 - 4*w^2 + 11*w + 2], [797, 797, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 9*w - 6], [811, 811, w^5 - 3*w^4 - 4*w^3 + 11*w^2 + 4*w - 4], [811, 811, 2*w^4 - 2*w^3 - 6*w^2 + 3*w - 4], [811, 811, -2*w^5 + 3*w^4 + 9*w^3 - 8*w^2 - 9*w + 1], [811, 811, -w^5 + w^4 + 2*w^3 + w^2 + 4*w - 5], [827, 827, w^5 + w^4 - 9*w^3 - 2*w^2 + 14*w - 3], [827, 827, w^5 - 3*w^4 + w^3 + 6*w^2 - 11*w + 4], [827, 827, w^5 - 3*w^4 + 9*w^2 - 9*w - 4], [827, 827, w^5 - w^4 - 4*w^3 + 4*w + 5], [827, 827, -w^5 + 4*w^4 + 2*w^3 - 13*w^2 - w + 3], [827, 827, -w^5 + w^4 + 7*w^3 - 4*w^2 - 11*w + 3], [839, 839, -w^5 + w^4 + 7*w^3 - 4*w^2 - 13*w + 4], [839, 839, -w^5 + 3*w^4 + w^3 - 8*w^2 + 3*w - 1], [841, 29, -2*w^4 + 5*w^3 + 5*w^2 - 13*w + 1], [853, 853, -2*w^4 + 10*w^2 + 3*w - 6], [853, 853, 2*w^5 - 4*w^4 - 8*w^3 + 13*w^2 + 8*w - 6], [853, 853, -2*w^4 + w^3 + 9*w^2 - 2*w - 4], [853, 853, -2*w^5 + 3*w^4 + 8*w^3 - 8*w^2 - 7*w + 1], [881, 881, w^5 - 5*w^3 - 2*w^2 + 5*w - 1], [881, 881, -w^5 + 3*w^4 + 4*w^3 - 12*w^2 - 5*w + 5], [883, 883, 3*w^4 - 4*w^3 - 11*w^2 + 10*w + 5], [883, 883, -3*w^4 + 3*w^3 + 12*w^2 - 5*w - 7], [883, 883, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 5*w - 2], [883, 883, w^5 - w^4 - 6*w^3 + 4*w^2 + 10*w - 6], [911, 911, -w^5 + w^4 + 6*w^3 - 5*w^2 - 7*w + 4], [911, 911, 2*w^5 - 4*w^4 - 6*w^3 + 10*w^2 + 2*w + 1], [911, 911, w^5 - w^4 - 3*w^3 + 2*w^2 - 2*w - 3], [911, 911, -w^5 + 3*w^4 + 4*w^3 - 10*w^2 - 5*w + 2], [911, 911, w^5 - 2*w^4 - w^3 + 2*w^2 - 5*w + 6], [911, 911, -2*w^5 + 4*w^4 + 8*w^3 - 12*w^2 - 8*w + 3], [937, 937, w^4 - 2*w^3 - 5*w^2 + 7*w + 5], [937, 937, w^5 + w^4 - 7*w^3 - 5*w^2 + 9*w + 4], [937, 937, 3*w^4 - 4*w^3 - 9*w^2 + 7*w - 1], [937, 937, -w^5 + 4*w^4 + w^3 - 14*w^2 + 4*w + 8], [953, 953, w^5 - 3*w^4 - w^3 + 7*w^2 - 5*w + 4], [953, 953, w^5 - 2*w^4 - 3*w^3 + 4*w^2 + 2], [967, 967, w^5 - 6*w^4 + 2*w^3 + 20*w^2 - 12*w - 6], [967, 967, w^5 - 4*w^4 - 2*w^3 + 14*w^2 + w - 5], [967, 967, -w^5 + 8*w^3 - 2*w^2 - 14*w + 10], [967, 967, w^5 - 3*w^4 + 7*w^2 - 9*w], [967, 967, -w^5 + 6*w^3 + 2*w^2 - 9*w - 2], [967, 967, -w^5 + w^4 + 5*w^3 - 2*w^2 - 4*w - 3], [1009, 1009, w^5 - 3*w^4 - 2*w^3 + 9*w^2 - 2*w - 4], [1009, 1009, -2*w^5 + 4*w^4 + 6*w^3 - 11*w^2 - w + 2], [1009, 1009, 2*w^5 - 3*w^4 - 9*w^3 + 9*w^2 + 9*w - 3], [1009, 1009, -w^5 + w^4 + 4*w^3 - w^2 - 2*w - 5], [1021, 1021, w^5 - w^4 - 5*w^3 + 5*w^2 + 6*w - 10], [1021, 1021, w^5 - 8*w^3 + 3*w^2 + 14*w - 6], [1021, 1021, 2*w^5 - 4*w^4 - 7*w^3 + 12*w^2 + 4*w - 4], [1021, 1021, -2*w^5 + 3*w^4 + 8*w^3 - 8*w^2 - 6*w + 1], [1051, 1051, w^5 - w^4 - 3*w^3 + w^2 - w - 2], [1051, 1051, 3*w^4 - 6*w^3 - 8*w^2 + 16*w - 3], [1091, 1091, -w^5 + 4*w^4 - 13*w^2 + 6*w + 5], [1091, 1091, -w^5 - w^4 + 9*w^3 + 3*w^2 - 16*w + 1], [1093, 1093, w^2 + w - 5], [1093, 1093, w^4 - 3*w^3 - w^2 + 9*w - 2], [1093, 1093, 2*w^5 - 5*w^4 - 5*w^3 + 14*w^2 - w - 2], [1093, 1093, 2*w^5 - 3*w^4 - 8*w^3 + 7*w^2 + 6*w + 2], [1163, 1163, -w^3 + 3*w^2 + 2*w - 5], [1163, 1163, 2*w^4 - 2*w^3 - 6*w^2 + 3*w - 3], [1217, 1217, w^5 + w^4 - 6*w^3 - 6*w^2 + 3*w + 5], [1217, 1217, w^5 - w^4 - 5*w^3 + w^2 + 9*w], [1231, 1231, -w^5 + 4*w^4 - w^3 - 10*w^2 + 10*w - 1], [1231, 1231, -w^5 + w^4 + 5*w^3 - w^2 - 5*w - 5], [1259, 1259, w^5 - w^4 - 5*w^3 + 4*w^2 + 6*w - 7], [1259, 1259, w^5 - w^4 - 6*w^3 + 5*w^2 + 9*w - 4], [1289, 1289, w^5 + w^4 - 11*w^3 + 23*w - 7], [1289, 1289, -w^5 + w^4 + 5*w^3 - 2*w^2 - 8*w - 2], [1289, 1289, 2*w^5 - 13*w^3 - w^2 + 19*w - 1], [1289, 1289, -2*w^5 + 4*w^4 + 10*w^3 - 15*w^2 - 14*w + 9], [1301, 1301, -2*w^5 + 3*w^4 + 8*w^3 - 9*w^2 - 6*w + 4], [1301, 1301, -w^5 - w^4 + 11*w^3 + 2*w^2 - 23*w + 3], [1301, 1301, -2*w^5 + w^4 + 11*w^3 - 2*w^2 - 12*w + 1], [1301, 1301, -2*w^5 + 3*w^4 + 9*w^3 - 10*w^2 - 9*w + 6], [1303, 1303, w^5 - 4*w^4 - w^3 + 13*w^2 - 2*w - 2], [1303, 1303, w^5 - 4*w^4 - w^3 + 14*w^2 - 3*w - 4], [1331, 11, -w^4 + 4*w^3 - 2*w^2 - 10*w + 8], [1331, 11, w^5 - 5*w^4 + w^3 + 16*w^2 - 10*w - 4], [1399, 1399, -w^5 + 6*w^4 - w^3 - 21*w^2 + 8*w + 8], [1399, 1399, 2*w^4 - 4*w^3 - 6*w^2 + 13*w - 4], [1399, 1399, 2*w^5 - 4*w^4 - 9*w^3 + 15*w^2 + 9*w - 7], [1399, 1399, w^5 - 7*w^3 + w^2 + 10*w], [1427, 1427, 2*w^5 - 5*w^4 - 7*w^3 + 17*w^2 + 6*w - 6], [1427, 1427, -w^5 + 3*w^4 + 2*w^3 - 12*w^2 + 3*w + 9], [1471, 1471, w^5 - 5*w^3 - w^2 + 4*w - 3], [1471, 1471, w^5 - w^4 - 6*w^3 + 3*w^2 + 7*w - 1], [1471, 1471, -w^5 + 3*w^4 - w^3 - 6*w^2 + 12*w - 4], [1471, 1471, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 6*w - 6], [1483, 1483, -2*w^4 + 2*w^3 + 9*w^2 - 6*w - 6], [1483, 1483, -w^5 + 4*w^4 - 2*w^3 - 8*w^2 + 12*w - 7], [1483, 1483, -w^5 + 5*w^4 + w^3 - 18*w^2 + w + 3], [1483, 1483, w^5 - 4*w^4 - 4*w^3 + 17*w^2 + 7*w - 8], [1499, 1499, -2*w^5 + 6*w^4 + 6*w^3 - 21*w^2 - 2*w + 8], [1499, 1499, 2*w^5 - 5*w^4 - 7*w^3 + 17*w^2 + 5*w - 7], [1567, 1567, 2*w^5 - 7*w^4 - w^3 + 19*w^2 - 11*w], [1567, 1567, -w^5 + w^4 + 4*w^3 - 2*w^2 - w - 3], [1567, 1567, w^5 - 2*w^4 - 3*w^3 + 6*w^2 - w - 5], [1567, 1567, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 5*w - 2], [1583, 1583, 2*w^4 - 6*w^3 - 4*w^2 + 17*w - 3], [1583, 1583, -2*w^4 + 5*w^3 + 5*w^2 - 12*w + 1], [1609, 1609, -4*w^4 + 5*w^3 + 13*w^2 - 11*w + 2], [1609, 1609, 2*w^5 - 2*w^4 - 10*w^3 + 3*w^2 + 12*w + 5], [1637, 1637, -w^5 - 2*w^4 + 10*w^3 + 6*w^2 - 18*w], [1637, 1637, -w^4 + 6*w^2 - 10], [1637, 1637, -2*w^4 + w^3 + 8*w^2 - 7], [1637, 1637, -w^5 + 4*w^4 - 3*w^3 - 11*w^2 + 17*w + 2], [1667, 1667, 2*w^4 - w^3 - 10*w^2 + 2*w + 7], [1667, 1667, 3*w^4 - 2*w^3 - 12*w^2 + 2*w + 4], [1667, 1667, w^5 - 7*w^3 + w^2 + 9*w - 2], [1667, 1667, w^5 - 2*w^4 - 2*w^3 + 6*w^2 - 4*w - 5], [1681, 41, -w^4 + 4*w^3 + w^2 - 11*w + 4], [1681, 41, -3*w^4 + 6*w^3 + 9*w^2 - 15*w + 1], [1693, 1693, w^5 - 3*w^4 - 2*w^3 + 11*w^2 - w - 7], [1693, 1693, -w^4 - 3*w^3 + 7*w^2 + 12*w - 7], [1693, 1693, -w^4 + 5*w^2 - w + 1], [1693, 1693, -w^5 - w^4 + 9*w^3 + 2*w^2 - 16*w + 4], [1709, 1709, -w^5 + 7*w^3 - 12*w + 3], [1709, 1709, -w^5 + 3*w^4 + 3*w^3 - 11*w^2 - 3*w + 5], [1723, 1723, 2*w^5 - w^4 - 10*w^3 + 11*w + 2], [1723, 1723, 2*w^5 - 6*w^4 - 6*w^3 + 21*w^2 + 4*w - 9], [1723, 1723, -w^5 + 2*w^4 + 6*w^3 - 11*w^2 - 8*w + 10], [1723, 1723, -w^5 - w^4 + 5*w^3 + 5*w^2 - 2*w + 2], [1777, 1777, w^5 - 2*w^4 - 5*w^3 + 6*w^2 + 8*w - 2], [1777, 1777, w^5 - 5*w^4 + 17*w^2 - 5*w - 4], [1777, 1777, -2*w^5 + 6*w^4 + 5*w^3 - 20*w^2 + 9], [1777, 1777, -w^5 + 6*w^4 - 3*w^3 - 17*w^2 + 11*w], [1847, 1847, 3*w^5 - 4*w^4 - 14*w^3 + 11*w^2 + 14*w - 3], [1847, 1847, 2*w^3 - 3*w^2 - 8*w + 3], [1849, 43, 2*w^4 - 5*w^3 - 5*w^2 + 13*w - 2], [1849, 43, -w^4 - w^3 + 6*w^2 + 4*w - 3], [1861, 1861, 3*w^4 - 5*w^3 - 8*w^2 + 13*w - 6], [1861, 1861, 3*w^4 - w^3 - 12*w^2 - w + 2], [1861, 1861, -w^5 + w^4 + 6*w^3 - 4*w^2 - 11*w + 6], [1861, 1861, -w^5 + 4*w^4 + 3*w^3 - 13*w^2 - 4*w + 2], [1933, 1933, -2*w^5 + 4*w^4 + 7*w^3 - 11*w^2 - 4*w + 2], [1933, 1933, -2*w^5 + 4*w^4 + 6*w^3 - 10*w^2 - w - 2], [1933, 1933, 2*w^4 - 3*w^3 - 7*w^2 + 8*w + 6], [1933, 1933, -2*w^4 + 2*w^3 + 8*w^2 - 3*w - 8], [1973, 1973, w^4 - 4*w^3 + 12*w - 4], [1973, 1973, w^3 - 2*w - 3], [1987, 1987, -3*w^5 + 6*w^4 + 10*w^3 - 19*w^2 - 3*w + 9], [1987, 1987, -w^4 + 4*w^3 + w^2 - 14*w + 1]]; primes := [ideal : I in primesArray]; heckePol := x^9 - 10*x^8 + 15*x^7 + 115*x^6 - 281*x^5 - 515*x^4 + 1326*x^3 + 1268*x^2 - 2069*x - 1697; K := NumberField(heckePol); heckeEigenvaluesArray := [e, 2089/29705*e^8 - 17168/29705*e^7 + 682/2285*e^6 + 184023/29705*e^5 - 36182/5941*e^4 - 143937/5941*e^3 + 393164/29705*e^2 + 1055944/29705*e + 313211/29705, 5223/29705*e^8 - 45441/29705*e^7 + 2974/2285*e^6 + 472686/29705*e^5 - 124682/5941*e^4 - 371102/5941*e^3 + 1421583/29705*e^2 + 3062083/29705*e + 924802/29705, -2064/5941*e^8 + 15879/5941*e^7 + 159/457*e^6 - 200167/5941*e^5 + 78203/5941*e^4 + 952543/5941*e^3 - 13462/5941*e^2 - 1730441/5941*e - 965609/5941, -1, 4388/29705*e^8 - 53481/29705*e^7 + 13364/2285*e^6 + 206296/29705*e^5 - 355652/5941*e^4 + 175570/5941*e^3 + 5135508/29705*e^2 - 3299612/29705*e - 4644598/29705, 4772/29705*e^8 - 29079/29705*e^7 - 6019/2285*e^6 + 577614/29705*e^5 + 92512/5941*e^4 - 724662/5941*e^3 - 2096053/29705*e^2 + 7609607/29705*e + 5825553/29705, 12084/29705*e^8 - 91688/29705*e^7 - 2363/2285*e^6 + 1234323/29705*e^5 - 68352/5941*e^4 - 1239701/5941*e^3 - 281306/29705*e^2 + 11757339/29705*e + 6974451/29705, 10887/29705*e^8 - 86529/29705*e^7 + 986/2285*e^6 + 1033449/29705*e^5 - 126596/5941*e^4 - 941725/5941*e^3 + 795482/29705*e^2 + 8400552/29705*e + 4361588/29705, -589/5941*e^8 + 5179/5941*e^7 - 492/457*e^6 - 41696/5941*e^5 + 72369/5941*e^4 + 117892/5941*e^3 - 151198/5941*e^2 - 146699/5941*e + 14913/5941, -7187/29705*e^8 + 56164/29705*e^7 + 549/2285*e^6 - 737429/29705*e^5 + 58157/5941*e^4 + 753838/5941*e^3 - 64762/29705*e^2 - 7460807/29705*e - 4292068/29705, 24/5941*e^8 - 2188/5941*e^7 + 1502/457*e^6 - 29519/5941*e^5 - 170366/5941*e^4 + 375158/5941*e^3 + 547972/5941*e^2 - 918902/5941*e - 864655/5941, -277/5941*e^8 + 499/5941*e^7 + 1211/457*e^6 - 51160/5941*e^5 - 116508/5941*e^4 + 414435/5941*e^3 + 366046/5941*e^2 - 923345/5941*e - 650622/5941, 4152/29705*e^8 - 51769/29705*e^7 + 13066/2285*e^6 + 216349/29705*e^5 - 354087/5941*e^4 + 143154/5941*e^3 + 5125702/29705*e^2 - 2822743/29705*e - 4280337/29705, 11003/29705*e^8 - 107006/29705*e^7 + 14339/2285*e^6 + 844236/29705*e^5 - 439016/5941*e^4 - 428963/5941*e^3 + 5759023/29705*e^2 + 2388788/29705*e - 2076148/29705, -4902/29705*e^8 + 60734/29705*e^7 - 15446/2285*e^6 - 237014/29705*e^5 + 417816/5941*e^4 - 209518/5941*e^3 - 6090307/29705*e^2 + 3897928/29705*e + 5494587/29705, 928/5941*e^8 - 9350/5941*e^7 + 1257/457*e^6 + 84425/5941*e^5 - 216753/5941*e^4 - 259256/5941*e^3 + 604666/5941*e^2 + 378507/5941*e - 141943/5941, 14043/29705*e^8 - 77201/29705*e^7 - 23146/2285*e^6 + 1758946/29705*e^5 + 405794/5941*e^4 - 2317818/5941*e^3 - 8015092/29705*e^2 + 24261408/29705*e + 18221637/29705, 718/2285*e^8 - 7571/2285*e^7 + 17092/2285*e^6 + 51036/2285*e^5 - 38010/457*e^4 - 14606/457*e^3 + 510613/2285*e^2 - 1097/2285*e - 256668/2285, 1578/29705*e^8 + 4664/29705*e^7 - 12066/2285*e^6 + 347896/29705*e^5 + 289959/5941*e^4 - 708840/5941*e^3 - 5207322/29705*e^2 + 8643348/29705*e + 8489537/29705, -380/5941*e^8 + 2958/5941*e^7 - 170/457*e^6 - 20768/5941*e^5 + 20051/5941*e^4 + 34664/5941*e^3 - 18206/5941*e^2 + 25517/5941*e + 56766/5941, -11744/29705*e^8 + 100298/29705*e^7 - 5302/2285*e^6 - 1083163/29705*e^5 + 237178/5941*e^4 + 908494/5941*e^3 - 2213884/29705*e^2 - 8090809/29705*e - 3603851/29705, -8939/29705*e^8 + 67363/29705*e^7 + 2868/2285*e^6 - 994588/29705*e^5 + 46716/5941*e^4 + 1055936/5941*e^3 + 118206/29705*e^2 - 10383764/29705*e - 5679631/29705, -6232/29705*e^8 + 53264/29705*e^7 - 2331/2285*e^6 - 618634/29705*e^5 + 118761/5941*e^4 + 588265/5941*e^3 - 1157647/29705*e^2 - 5901557/29705*e - 2392433/29705, -9013/29705*e^8 + 113716/29705*e^7 - 29564/2285*e^6 - 427796/29705*e^5 + 787264/5941*e^4 - 378860/5941*e^3 - 11603743/29705*e^2 + 6885157/29705*e + 10884863/29705, -13794/29705*e^8 + 128763/29705*e^7 - 14397/2285*e^6 - 1113903/29705*e^5 + 485039/5941*e^4 + 613824/5941*e^3 - 6205019/29705*e^2 - 3215204/29705*e + 1497399/29705, -3709/29705*e^8 + 16333/29705*e^7 + 9898/2285*e^6 - 582743/29705*e^5 - 200684/5941*e^4 + 919307/5941*e^3 + 3819561/29705*e^2 - 10767634/29705*e - 8295116/29705, 8002/29705*e^8 - 66104/29705*e^7 + 2281/2285*e^6 + 736319/29705*e^5 - 115646/5941*e^4 - 660018/5941*e^3 + 696502/29705*e^2 + 6201542/29705*e + 3121108/29705, -3893/5941*e^8 + 35088/5941*e^7 - 3293/457*e^6 - 316824/5941*e^5 + 562143/5941*e^4 + 997502/5941*e^3 - 1292511/5941*e^2 - 1312653/5941*e - 149159/5941, 9273/29705*e^8 - 87911/29705*e^7 + 10799/2285*e^6 + 697156/29705*e^5 - 316729/5941*e^4 - 378702/5941*e^3 + 3648068/29705*e^2 + 2359403/29705*e - 522888/29705, 696/29705*e^8 + 25663/29705*e^7 - 22707/2285*e^6 + 498497/29705*e^5 + 531585/5941*e^4 - 1195007/5941*e^3 - 9013484/29705*e^2 + 15170541/29705*e + 14694059/29705, -23371/29705*e^8 + 175077/29705*e^7 + 5287/2285*e^6 - 2330282/29705*e^5 + 93482/5941*e^4 + 2307231/5941*e^3 + 1442824/29705*e^2 - 21408346/29705*e - 13718349/29705, -489/2285*e^8 + 23/2285*e^7 + 34594/2285*e^6 - 91648/2285*e^5 - 56998/457*e^4 + 158955/457*e^3 + 955396/2285*e^2 - 1780334/2285*e - 1557746/2285, 1591/5941*e^8 - 1472/5941*e^7 - 7863/457*e^6 + 296013/5941*e^5 + 838171/5941*e^4 - 2548361/5941*e^3 - 2903436/5941*e^2 + 5838026/5941*e + 5105884/5941, -14882/29705*e^8 + 148739/29705*e^7 - 22316/2285*e^6 - 1086689/29705*e^5 + 664845/5941*e^4 + 423700/5941*e^3 - 8920152/29705*e^2 - 1206567/29705*e + 4839177/29705, -1358/5941*e^8 + 8945/5941*e^7 + 1461/457*e^6 - 173902/5941*e^5 - 98413/5941*e^4 + 1129283/5941*e^3 + 483198/5941*e^2 - 2485422/5941*e - 1615520/5941, -30898/29705*e^8 + 282041/29705*e^7 - 27629/2285*e^6 - 2565361/29705*e^5 + 939314/5941*e^4 + 1705032/5941*e^3 - 11276298/29705*e^2 - 12722448/29705*e - 1033092/29705, 933/29705*e^8 - 10796/29705*e^7 + 2979/2285*e^6 - 20989/29705*e^5 - 31537/5941*e^4 + 74382/5941*e^3 - 224802/29705*e^2 - 502582/29705*e + 711407/29705, -16569/29705*e^8 + 129258/29705*e^7 + 1018/2285*e^6 - 1662673/29705*e^5 + 130895/5941*e^4 + 1656286/5941*e^3 + 79091/29705*e^2 - 16047079/29705*e - 9456476/29705, -4294/29705*e^8 + 84518/29705*e^7 - 35282/2285*e^6 + 147922/29705*e^5 + 866005/5941*e^4 - 1098215/5941*e^3 - 12997889/29705*e^2 + 14266921/29705*e + 14633699/29705, -8587/29705*e^8 + 104584/29705*e^7 - 26896/2285*e^6 - 332409/29705*e^5 + 701114/5941*e^4 - 484177/5941*e^3 - 10265932/29705*e^2 + 8406558/29705*e + 11074437/29705, 19423/29705*e^8 - 141906/29705*e^7 - 7871/2285*e^6 + 2097691/29705*e^5 - 57534/5941*e^4 - 2184523/5941*e^3 - 710682/29705*e^2 + 20674178/29705*e + 11798702/29705, 12874/29705*e^8 - 124103/29705*e^7 + 16992/2285*e^6 + 898838/29705*e^5 - 481959/5941*e^4 - 369030/5941*e^3 + 5685974/29705*e^2 + 1358039/29705*e - 1671399/29705, -1804/29705*e^8 + 35743/29705*e^7 - 15407/2285*e^6 + 92957/29705*e^5 + 381614/5941*e^4 - 529031/5941*e^3 - 6139309/29705*e^2 + 7110131/29705*e + 8136874/29705, 4566/29705*e^8 - 59807/29705*e^7 + 17268/2285*e^6 + 127472/29705*e^5 - 438647/5941*e^4 + 367475/5941*e^3 + 6391521/29705*e^2 - 5553104/29705*e - 6810136/29705, 12637/29705*e^8 - 117349/29705*e^7 + 11871/2285*e^6 + 1091569/29705*e^5 - 400058/5941*e^4 - 782915/5941*e^3 + 4739412/29705*e^2 + 6634412/29705*e + 1231288/29705, -3808/29705*e^8 + 40211/29705*e^7 - 6009/2285*e^6 - 350326/29705*e^5 + 183746/5941*e^4 + 249480/5941*e^3 - 2240093/29705*e^2 - 2401108/29705*e - 809582/29705, -26107/29705*e^8 + 216574/29705*e^7 - 8276/2285*e^6 - 2399014/29705*e^5 + 426297/5941*e^4 + 2079346/5941*e^3 - 3267582/29705*e^2 - 18773367/29705*e - 10019508/29705, -1198/5941*e^8 + 10201/5941*e^7 - 560/457*e^6 - 107311/5941*e^5 + 116401/5941*e^4 + 455862/5941*e^3 - 222369/5941*e^2 - 826745/5941*e - 359605/5941, -10012/29705*e^8 + 71119/29705*e^7 + 5599/2285*e^6 - 1123209/29705*e^5 + 7688/5941*e^4 + 1199360/5941*e^3 + 493268/29705*e^2 - 11303562/29705*e - 6104968/29705, 11722/29705*e^8 - 108194/29705*e^7 + 11161/2285*e^6 + 973084/29705*e^5 - 376847/5941*e^4 - 626952/5941*e^3 + 4686037/29705*e^2 + 4454612/29705*e - 346942/29705, 200/5941*e^8 - 4371/5941*e^7 + 2158/457*e^6 - 28155/5941*e^5 - 263202/5941*e^4 + 514257/5941*e^3 + 875092/5941*e^2 - 1451152/5941*e - 1428826/5941, -4081/5941*e^8 + 32424/5941*e^7 - 130/457*e^6 - 407396/5941*e^5 + 223295/5941*e^4 + 1971903/5941*e^3 - 253901/5941*e^2 - 3754850/5941*e - 1936019/5941, 1947/29705*e^8 - 14124/29705*e^7 - 969/2285*e^6 + 191834/29705*e^5 + 42043/5941*e^4 - 279140/5941*e^3 - 1597433/29705*e^2 + 3766852/29705*e + 4161178/29705, 14392/29705*e^8 - 143674/29705*e^7 + 21736/2285*e^6 + 1038334/29705*e^5 - 653389/5941*e^4 - 362417/5941*e^3 + 8673732/29705*e^2 + 535462/29705*e - 3867637/29705, 696/29705*e^8 - 4042/29705*e^7 - 2142/2285*e^6 + 201447/29705*e^5 + 2836/5941*e^4 - 291975/5941*e^3 + 165361/29705*e^2 + 3377656/29705*e + 1683269/29705, -23783/29705*e^8 + 202736/29705*e^7 - 12119/2285*e^6 - 2072071/29705*e^5 + 516414/5941*e^4 + 1550710/5941*e^3 - 5613373/29705*e^2 - 11879833/29705*e - 3492252/29705, 12266/29705*e^8 - 147887/29705*e^7 + 36828/2285*e^6 + 543607/29705*e^5 - 971735/5941*e^4 + 531549/5941*e^3 + 14049101/29705*e^2 - 9694169/29705*e - 13573076/29705, -17502/29705*e^8 + 169759/29705*e^7 - 22526/2285*e^6 - 1344634/29705*e^5 + 691181/5941*e^4 + 678872/5941*e^3 - 8934362/29705*e^2 - 3484267/29705*e + 3021137/29705, 384/2285*e^8 - 733/2285*e^7 - 21194/2285*e^6 + 67413/2285*e^5 + 33208/457*e^4 - 110079/457*e^3 - 557076/2285*e^2 + 1209394/2285*e + 980546/2285, -6713/29705*e^8 + 42656/29705*e^7 + 6221/2285*e^6 - 707021/29705*e^5 - 81881/5941*e^4 + 755809/5941*e^3 + 2155117/29705*e^2 - 6666243/29705*e - 5463462/29705, 3612/29705*e^8 - 61949/29705*e^7 + 22686/2285*e^6 + 33934/29705*e^5 - 579587/5941*e^4 + 563998/5941*e^3 + 8866737/29705*e^2 - 7931388/29705*e - 9673832/29705, -1589/29705*e^8 - 8612/29705*e^7 + 13853/2285*e^6 - 298968/29705*e^5 - 356823/5941*e^4 + 671381/5941*e^3 + 6309726/29705*e^2 - 8248424/29705*e - 8727191/29705, -7708/29705*e^8 + 9596/29705*e^7 + 35541/2285*e^6 - 1331111/29705*e^5 - 760990/5941*e^4 + 2226130/5941*e^3 + 13038417/29705*e^2 - 24536793/29705*e - 21556737/29705, -19348/29705*e^8 + 120216/29705*e^7 + 22276/2285*e^6 - 2282766/29705*e^5 - 311834/5941*e^4 + 2753178/5941*e^3 + 7101632/29705*e^2 - 27682168/29705*e - 20148412/29705, 6273/29705*e^8 + 7359/29705*e^7 - 39851/2285*e^6 + 1268006/29705*e^5 + 900629/5941*e^4 - 2361107/5941*e^3 - 15538132/29705*e^2 + 27453643/29705*e + 24979087/29705, -21621/29705*e^8 + 114552/29705*e^7 + 39022/2285*e^6 - 2806852/29705*e^5 - 679024/5941*e^4 + 3767120/5941*e^3 + 12991234/29705*e^2 - 39838991/29705*e - 29681209/29705, 762/5941*e^8 - 4118/5941*e^7 - 1439/457*e^6 + 109873/5941*e^5 + 107098/5941*e^4 - 740093/5941*e^3 - 401125/5941*e^2 + 1590330/5941*e + 1166486/5941, 2250/5941*e^8 - 3131/5941*e^7 - 10226/457*e^6 + 394691/5941*e^5 + 1069946/5941*e^4 - 3270178/5941*e^3 - 3635344/5941*e^2 + 7236546/5941*e + 6153959/5941, 15368/29705*e^8 - 44521/29705*e^7 - 53521/2285*e^6 + 2400446/29705*e^5 + 1118411/5941*e^4 - 3828805/5941*e^3 - 19859407/29705*e^2 + 42968273/29705*e + 36424387/29705, 44702/29705*e^8 - 342404/29705*e^7 - 5714/2285*e^6 + 4436819/29705*e^5 - 267183/5941*e^4 - 4421402/5941*e^3 - 1430283/29705*e^2 + 42264522/29705*e + 25778723/29705, -30896/29705*e^8 + 242252/29705*e^7 + 297/2285*e^6 - 3049537/29705*e^5 + 315244/5941*e^4 + 2877899/5941*e^3 - 1560666/29705*e^2 - 26242516/29705*e - 14457049/29705, 5474/29705*e^8 - 63373/29705*e^7 + 13922/2285*e^6 + 336503/29705*e^5 - 398550/5941*e^4 + 83977/5941*e^3 + 5888014/29705*e^2 - 2986966/29705*e - 5107694/29705, -1128/29705*e^8 + 73131/29705*e^7 - 45459/2285*e^6 + 680414/29705*e^5 + 1058433/5941*e^4 - 1909345/5941*e^3 - 16629308/29705*e^2 + 23333572/29705*e + 22714788/29705, -7948/29705*e^8 + 31476/29705*e^7 + 22806/2285*e^6 - 1214151/29705*e^5 - 473727/5941*e^4 + 1897625/5941*e^3 + 8925127/29705*e^2 - 21585823/29705*e - 18019447/29705, 26263/29705*e^8 - 230796/29705*e^7 + 18039/2285*e^6 + 2239816/29705*e^5 - 702430/5941*e^4 - 1534607/5941*e^3 + 8718638/29705*e^2 + 10596393/29705*e + 457397/29705, -74/29705*e^8 - 42762/29705*e^7 + 31548/2285*e^6 - 621408/29705*e^5 - 709056/5941*e^4 + 1505999/5941*e^3 + 11447951/29705*e^2 - 18495899/29705*e - 17893306/29705, 5751/5941*e^8 - 40108/5941*e^7 - 3741/457*e^6 + 643126/5941*e^5 + 119934/5941*e^4 - 3612619/5941*e^3 - 941840/5941*e^2 + 7127106/5941*e + 4448487/5941, -12152/29705*e^8 + 107789/29705*e^7 - 7986/2285*e^6 - 1110089/29705*e^5 + 326884/5941*e^4 + 840168/5941*e^3 - 3948692/29705*e^2 - 6710052/29705*e - 947123/29705, 6231/29705*e^8 - 48222/29705*e^7 - 207/2285*e^6 + 593377/29705*e^5 - 50307/5941*e^4 - 553864/5941*e^3 - 46454/29705*e^2 + 5027406/29705*e + 3386199/29705, -4793/5941*e^8 + 33964/5941*e^7 + 2534/457*e^6 - 513911/5941*e^5 - 29807/5941*e^4 + 2732137/5941*e^3 + 550168/5941*e^2 - 5155455/5941*e - 3242865/5941, 2854/5941*e^8 - 24530/5941*e^7 + 1373/457*e^6 + 262729/5941*e^5 - 292646/5941*e^4 - 1114348/5941*e^3 + 550668/5941*e^2 + 2001177/5941*e + 963914/5941, 5846/5941*e^8 - 49759/5941*e^7 + 2928/457*e^6 + 505734/5941*e^5 - 599484/5941*e^4 - 1928100/5941*e^3 + 1198501/5941*e^2 + 3052627/5941*e + 1074660/5941, -17624/29705*e^8 + 161078/29705*e^7 - 16832/2285*e^6 - 1366373/29705*e^5 + 529116/5941*e^4 + 812150/5941*e^3 - 6002664/29705*e^2 - 5272039/29705*e - 500411/29705, -17096/29705*e^8 + 112942/29705*e^7 + 13927/2285*e^6 - 1813797/29705*e^5 - 206236/5941*e^4 + 2099256/5941*e^3 + 5452679/29705*e^2 - 20871726/29705*e - 14342269/29705, -7725/5941*e^8 + 65605/5941*e^7 - 3035/457*e^6 - 738628/5941*e^5 + 771971/5941*e^4 + 3230233/5941*e^3 - 1621002/5941*e^2 - 5842592/5941*e - 2316020/5941, -18942/29705*e^8 + 182219/29705*e^7 - 23531/2285*e^6 - 1474614/29705*e^5 + 763161/5941*e^4 + 680254/5941*e^3 - 10176857/29705*e^2 - 2591477/29705*e + 4015772/29705, 2086/29705*e^8 - 31747/29705*e^7 + 11348/2285*e^6 - 10568/29705*e^5 - 300159/5941*e^4 + 392959/5941*e^3 + 4860621/29705*e^2 - 5814324/29705*e - 6686371/29705, -5069/5941*e^8 + 41303/5941*e^7 - 1486/457*e^6 - 438817/5941*e^5 + 372860/5941*e^4 + 1756662/5941*e^3 - 517489/5941*e^2 - 2798544/5941*e - 1441473/5941, 3097/29705*e^8 + 9756/29705*e^7 - 23064/2285*e^6 + 631469/29705*e^5 + 531296/5941*e^4 - 1265377/5941*e^3 - 8530828/29705*e^2 + 15051792/29705*e + 12250503/29705, 2779/29705*e^8 - 50368/29705*e^7 + 19872/2285*e^6 - 63122/29705*e^5 - 466244/5941*e^4 + 536883/5941*e^3 + 6760579/29705*e^2 - 6277026/29705*e - 7398409/29705, -58788/29705*e^8 + 517591/29705*e^7 - 39144/2285*e^6 - 5113351/29705*e^5 + 1480068/5941*e^4 + 3828064/5941*e^3 - 16665848/29705*e^2 - 31010418/29705*e - 8546147/29705, 18998/29705*e^8 - 108111/29705*e^7 - 28566/2285*e^6 + 2324611/29705*e^5 + 482970/5941*e^4 - 2975052/5941*e^3 - 10231172/29705*e^2 + 31047483/29705*e + 24695532/29705, 24974/29705*e^8 - 207348/29705*e^7 + 7252/2285*e^6 + 2388748/29705*e^5 - 445493/5941*e^4 - 2099737/5941*e^3 + 4767934/29705*e^2 + 18576459/29705*e + 6958451/29705, -23433/29705*e^8 + 131221/29705*e^7 + 37586/2285*e^6 - 2945656/29705*e^5 - 676574/5941*e^4 + 3964813/5941*e^3 + 13645982/29705*e^2 - 42722273/29705*e - 31506322/29705, -5232/29705*e^8 + 61114/29705*e^7 - 14391/2285*e^6 - 224719/29705*e^5 + 342721/5941*e^4 - 139147/5941*e^3 - 4178732/29705*e^2 + 2408103/29705*e + 2850422/29705, -17468/29705*e^8 + 117151/29705*e^7 + 15781/2285*e^6 - 2119671/29705*e^5 - 145064/5941*e^4 + 2533207/5941*e^3 + 3963552/29705*e^2 - 26222163/29705*e - 16567917/29705, -30306/29705*e^8 + 267677/29705*e^7 - 19523/2285*e^6 - 2703357/29705*e^5 + 724231/5941*e^4 + 2156904/5941*e^3 - 7120691/29705*e^2 - 18983616/29705*e - 8580109/29705, -227/2285*e^8 - 251/2285*e^7 + 18872/2285*e^6 - 48259/2285*e^5 - 31389/457*e^4 + 88012/457*e^3 + 521753/2285*e^2 - 1010562/2285*e - 842623/2285, 2888/5941*e^8 - 17728/5941*e^7 - 3278/457*e^6 + 325373/5941*e^5 + 249224/5941*e^4 - 1936432/5941*e^3 - 1136573/5941*e^2 + 3900608/5941*e + 2857516/5941, -5335/5941*e^8 + 51691/5941*e^7 - 6632/457*e^6 - 426026/5941*e^5 + 1030306/5941*e^4 + 1205838/5941*e^3 - 2572749/5941*e^2 - 1639416/5941*e + 409080/5941, 29528/29705*e^8 - 206651/29705*e^7 - 17361/2285*e^6 + 3133991/29705*e^5 + 169007/5941*e^4 - 3541384/5941*e^3 - 6468192/29705*e^2 + 35981373/29705*e + 23747572/29705, 5003/29705*e^8 - 124401/29705*e^7 + 59279/2285*e^6 - 479579/29705*e^5 - 1426316/5941*e^4 + 2058153/5941*e^3 + 21835888/29705*e^2 - 25814227/29705*e - 26819948/29705, -24033/29705*e^8 + 215626/29705*e^7 - 18244/2285*e^6 - 2088861/29705*e^5 + 662418/5941*e^4 + 1518687/5941*e^3 - 7360748/29705*e^2 - 12531408/29705*e - 3889537/29705, -40189/29705*e^8 + 312183/29705*e^7 + 2718/2285*e^6 - 3984488/29705*e^5 + 290045/5941*e^4 + 3974326/5941*e^3 + 711296/29705*e^2 - 38480459/29705*e - 23645021/29705, -1992/2285*e^8 + 14799/2285*e^7 + 6262/2285*e^6 - 195039/2285*e^5 + 6192/457*e^4 + 191582/457*e^3 + 136978/2285*e^2 - 1729152/2285*e - 1072123/2285, -3444/5941*e^8 + 28810/5941*e^7 - 747/457*e^6 - 359387/5941*e^5 + 291415/5941*e^4 + 1748823/5941*e^3 - 575183/5941*e^2 - 3366605/5941*e - 1458308/5941, 34198/29705*e^8 - 285841/29705*e^7 + 12509/2285*e^6 + 3125626/29705*e^5 - 633939/5941*e^4 - 2592913/5941*e^3 + 6537768/29705*e^2 + 21649993/29705*e + 7988262/29705, -32879/29705*e^8 + 289363/29705*e^7 - 21552/2285*e^6 - 2843603/29705*e^5 + 765133/5941*e^4 + 2227010/5941*e^3 - 7516344/29705*e^2 - 19594754/29705*e - 7824556/29705, 4521/29705*e^8 + 18558/29705*e^7 - 37532/2285*e^6 + 1040552/29705*e^5 + 847601/5941*e^4 - 2047127/5941*e^3 - 13929324/29705*e^2 + 23906881/29705*e + 21363649/29705, -5399/29705*e^8 + 41683/29705*e^7 + 483/2285*e^6 - 521578/29705*e^5 + 29182/5941*e^4 + 484678/5941*e^3 + 413821/29705*e^2 - 4021024/29705*e - 2499391/29705, 33921/29705*e^8 - 285342/29705*e^7 + 13263/2285*e^6 + 3080407/29705*e^5 - 600207/5941*e^4 - 2622905/5941*e^3 + 4776936/29705*e^2 + 23477331/29705*e + 12233024/29705, -19761/29705*e^8 + 123212/29705*e^7 + 22897/2285*e^6 - 2376567/29705*e^5 - 295728/5941*e^4 + 2862798/5941*e^3 + 6326994/29705*e^2 - 28889866/29705*e - 19087659/29705, 4818/29705*e^8 - 82781/29705*e^7 + 33039/2285*e^6 - 191389/29705*e^5 - 780969/5941*e^4 + 1138672/5941*e^3 + 11616478/29705*e^2 - 14797587/29705*e - 14549318/29705, -54772/29705*e^8 + 468319/29705*e^7 - 26211/2285*e^6 - 4945584/29705*e^5 + 1114296/5941*e^4 + 4075184/5941*e^3 - 10672772/29705*e^2 - 35501767/29705*e - 15891673/29705, 31491/29705*e^8 - 331152/29705*e^7 + 58838/2285*e^6 + 2096162/29705*e^5 - 1674367/5941*e^4 - 378588/5941*e^3 + 23171106/29705*e^2 - 4011879/29705*e - 16122141/29705, -8663/29705*e^8 + 101611/29705*e^7 - 23274/2285*e^6 - 499346/29705*e^5 + 663656/5941*e^4 - 204514/5941*e^3 - 10078273/29705*e^2 + 5747717/29705*e + 10050868/29705, 4327/29705*e^8 - 161789/29705*e^7 + 89331/2285*e^6 - 1037331/29705*e^5 - 2138781/5941*e^4 + 3414703/5941*e^3 + 33722022/29705*e^2 - 42156488/29705*e - 43477212/29705, 6242/5941*e^8 - 38333/5941*e^7 - 7478/457*e^6 + 734561/5941*e^5 + 581829/5941*e^4 - 4548496/5941*e^3 - 2657872/5941*e^2 + 9474397/5941*e + 7105279/5941, -8709/29705*e^8 + 36493/29705*e^7 + 22213/2285*e^6 - 1245298/29705*e^5 - 387747/5941*e^4 + 1716569/5941*e^3 + 6567706/29705*e^2 - 17531379/29705*e - 13181201/29705, 24611/29705*e^8 - 159402/29705*e^7 - 25177/2285*e^6 + 2904287/29705*e^5 + 371964/5941*e^4 - 3609170/5941*e^3 - 9529464/29705*e^2 + 38351986/29705*e + 28345589/29705, 25267/29705*e^8 - 139994/29705*e^7 - 39724/2285*e^6 + 3075719/29705*e^5 + 665268/5941*e^4 - 3903417/5941*e^3 - 13178578/29705*e^2 + 39676742/29705*e + 30063913/29705, -8407/5941*e^8 + 76292/5941*e^7 - 7405/457*e^6 - 681533/5941*e^5 + 1217855/5941*e^4 + 2234510/5941*e^3 - 2722244/5941*e^2 - 3356827/5941*e - 742523/5941, 8794/5941*e^8 - 72957/5941*e^7 + 2491/457*e^6 + 831572/5941*e^5 - 687060/5941*e^4 - 3770259/5941*e^3 + 1004106/5941*e^2 + 7032380/5941*e + 3716216/5941, -39792/29705*e^8 + 300744/29705*e^7 + 7189/2285*e^6 - 3938339/29705*e^5 + 192885/5941*e^4 + 3892314/5941*e^3 + 1974143/29705*e^2 - 36406677/29705*e - 23331263/29705, 9264/29705*e^8 + 16877/29705*e^7 - 62313/2285*e^6 + 1895683/29705*e^5 + 1392501/5941*e^4 - 3508932/5941*e^3 - 23556296/29705*e^2 + 40029809/29705*e + 36700166/29705, 7666/29705*e^8 - 35472/29705*e^7 - 16462/2285*e^6 + 953532/29705*e^5 + 344744/5941*e^4 - 1357565/5941*e^3 - 6784994/29705*e^2 + 14794591/29705*e + 13004344/29705, -46058/29705*e^8 + 376911/29705*e^7 - 12884/2285*e^6 - 4168101/29705*e^5 + 755785/5941*e^4 + 3404515/5941*e^3 - 6853338/29705*e^2 - 27442163/29705*e - 12788562/29705, 16496/29705*e^8 - 117652/29705*e^7 - 10347/2285*e^6 + 1927967/29705*e^5 + 59978/5941*e^4 - 2252156/5941*e^3 - 3408329/29705*e^2 + 24001336/29705*e + 17155379/29705, -42102/29705*e^8 + 392519/29705*e^7 - 42551/2285*e^6 - 3495814/29705*e^5 + 1449520/5941*e^4 + 2139213/5941*e^3 - 18449122/29705*e^2 - 14249067/29705*e + 2004162/29705, -1898/2285*e^8 + 16131/2285*e^7 - 9042/2285*e^6 - 185856/2285*e^5 + 37609/457*e^4 + 163743/457*e^3 - 369988/2285*e^2 - 1471638/2285*e - 677737/2285, -1623/5941*e^8 + 2409/5941*e^7 + 7536/457*e^6 - 302202/5941*e^5 - 805089/5941*e^4 + 2604624/5941*e^3 + 2852061/5941*e^2 - 6066388/5941*e - 5267952/5941, -55709/29705*e^8 + 410168/29705*e^7 + 17783/2285*e^6 - 5679133/29705*e^5 + 136393/5941*e^4 + 5760299/5941*e^3 + 4162696/29705*e^2 - 53912684/29705*e - 33896796/29705, 52601/29705*e^8 - 453577/29705*e^7 + 29918/2285*e^6 + 4561902/29705*e^5 - 1203892/5941*e^4 - 3427355/5941*e^3 + 13580001/29705*e^2 + 26660896/29705*e + 6853189/29705, 12/5941*e^8 - 1094/5941*e^7 + 751/457*e^6 - 11789/5941*e^5 - 103006/5941*e^4 + 187579/5941*e^3 + 345278/5941*e^2 - 435687/5941*e - 429357/5941, 13187/29705*e^8 - 216999/29705*e^7 + 80186/2285*e^6 - 77516/29705*e^5 - 2011652/5941*e^4 + 2361409/5941*e^3 + 30387107/29705*e^2 - 32182398/29705*e - 34384307/29705, 2167/29705*e^8 - 83689/29705*e^7 + 47836/2285*e^6 - 667906/29705*e^5 - 1115897/5941*e^4 + 2002818/5941*e^3 + 17852372/29705*e^2 - 25311293/29705*e - 26107937/29705, 32914/29705*e^8 - 347013/29705*e^7 + 60112/2285*e^6 + 2361168/29705*e^5 - 1741124/5941*e^4 - 757595/5941*e^3 + 23668004/29705*e^2 + 1592659/29705*e - 12134459/29705, -6939/5941*e^8 + 65240/5941*e^7 - 7542/457*e^6 - 551336/5941*e^5 + 1207747/5941*e^4 + 1552337/5941*e^3 - 2899995/5941*e^2 - 1968965/5941*e + 160217/5941, -20399/29705*e^8 + 191278/29705*e^7 - 19697/2285*e^6 - 1826028/29705*e^5 + 703721/5941*e^4 + 1272394/5941*e^3 - 8570644/29705*e^2 - 10202384/29705*e - 2186326/29705, -16151/29705*e^8 + 71347/29705*e^7 + 40507/2285*e^6 - 2363442/29705*e^5 - 791876/5941*e^4 + 3555008/5941*e^3 + 14627239/29705*e^2 - 40114216/29705*e - 30516789/29705, -752/5941*e^8 + 7167/5941*e^7 - 601/457*e^6 - 83061/5941*e^5 + 117976/5941*e^4 + 434001/5941*e^3 - 277546/5941*e^2 - 1041459/5941*e - 445992/5941, -15289/29705*e^8 + 121483/29705*e^7 + 388/2285*e^6 - 1563638/29705*e^5 + 97938/5941*e^4 + 1693344/5941*e^3 + 767661/29705*e^2 - 18022269/29705*e - 10102956/29705, -22683/29705*e^8 + 92551/29705*e^7 + 60531/2285*e^6 - 3281451/29705*e^5 - 1173996/5941*e^4 + 4833212/5941*e^3 + 21234802/29705*e^2 - 52916893/29705*e - 42315287/29705, 198/5941*e^8 - 18051/5941*e^7 + 11249/457*e^6 - 149961/5941*e^5 - 1313434/5941*e^4 + 2111818/5941*e^3 + 4069253/5941*e^2 - 4892639/5941*e - 5091185/5941, 4261/29705*e^8 - 66657/29705*e^7 + 24648/2285*e^6 - 60548/29705*e^5 - 644786/5941*e^4 + 896723/5941*e^3 + 10601741/29705*e^2 - 13498019/29705*e - 15465481/29705, 38411/29705*e^8 - 318417/29705*e^7 + 9018/2285*e^6 + 3813272/29705*e^5 - 636678/5941*e^4 - 3520427/5941*e^3 + 6038921/29705*e^2 + 32405171/29705*e + 14439609/29705, -18014/29705*e^8 + 77813/29705*e^7 + 44448/2285*e^6 - 2513038/29705*e^5 - 845049/5941*e^4 + 3611973/5941*e^3 + 15065136/29705*e^2 - 38655064/29705*e - 29752231/29705, 10871/29705*e^8 - 65267/29705*e^7 - 16772/2285*e^6 + 1550192/29705*e^5 + 226043/5941*e^4 - 2084494/5941*e^3 - 4449374/29705*e^2 + 22901231/29705*e + 14469369/29705, -24701/29705*e^8 + 256722/29705*e^7 - 43293/2285*e^6 - 1731637/29705*e^5 + 1238090/5941*e^4 + 526620/5941*e^3 - 16437956/29705*e^2 - 671091/29705*e + 8604616/29705, 4713/5941*e^8 - 34592/5941*e^7 - 1295/457*e^6 + 453881/5941*e^5 - 41954/5941*e^4 - 2214226/5941*e^3 - 432054/5941*e^2 + 3936981/5941*e + 2534704/5941, 3856/5941*e^8 - 44587/5941*e^7 + 9927/457*e^6 + 214055/5941*e^5 - 1312931/5941*e^4 + 257423/5941*e^3 + 3639028/5941*e^2 - 1504164/5941*e - 2904022/5941, -46427/29705*e^8 + 306584/29705*e^7 + 39999/2285*e^6 - 5200239/29705*e^5 - 451844/5941*e^4 + 5975020/5941*e^3 + 11964048/29705*e^2 - 59132522/29705*e - 40244553/29705, 51149/29705*e^8 - 380613/29705*e^7 - 15253/2285*e^6 + 5287333/29705*e^5 - 120352/5941*e^4 - 5538086/5941*e^3 - 4725746/29705*e^2 + 54373354/29705*e + 35338436/29705, -16101/5941*e^8 + 140061/5941*e^7 - 9909/457*e^6 - 1385760/5941*e^5 + 1895026/5941*e^4 + 5164615/5941*e^3 - 4076073/5941*e^2 - 8193610/5941*e - 2698803/5941, -416/457*e^8 + 3955/457*e^7 - 5907/457*e^6 - 35214/457*e^5 + 75434/457*e^4 + 114469/457*e^3 - 193052/457*e^2 - 178721/457*e + 10854/457, -32377/29705*e^8 + 223794/29705*e^7 + 20909/2285*e^6 - 3502134/29705*e^5 - 168768/5941*e^4 + 3897616/5941*e^3 + 6169318/29705*e^2 - 38614117/29705*e - 24523528/29705, -33324/29705*e^8 + 275473/29705*e^7 - 10747/2285*e^6 - 2973298/29705*e^5 + 494370/5941*e^4 + 2587899/5941*e^3 - 2829109/29705*e^2 - 23971609/29705*e - 13965956/29705, 41178/29705*e^8 - 308281/29705*e^7 - 8421/2285*e^6 + 4041166/29705*e^5 - 192359/5941*e^4 - 3937162/5941*e^3 - 1501187/29705*e^2 + 35778323/29705*e + 21223972/29705, -1337/2285*e^8 + 14114/2285*e^7 - 33043/2285*e^6 - 89994/2285*e^5 + 75013/457*e^4 + 10797/457*e^3 - 1060237/2285*e^2 + 275253/2285*e + 741962/2285, 55662/29705*e^8 - 381129/29705*e^7 - 41099/2285*e^6 + 6274354/29705*e^5 + 389672/5941*e^4 - 7220890/5941*e^3 - 12811573/29705*e^2 + 73069327/29705*e + 50007648/29705, 37879/29705*e^8 - 220408/29705*e^7 - 54743/2285*e^6 + 4694358/29705*e^5 + 877475/5941*e^4 - 6000713/5941*e^3 - 18342291/29705*e^2 + 62509484/29705*e + 47168441/29705, -8236/29705*e^8 + 57732/29705*e^7 + 4782/2285*e^6 - 853982/29705*e^5 - 67225/5941*e^4 + 956847/5941*e^3 + 2741569/29705*e^2 - 9620321/29705*e - 7863404/29705, -3987/29705*e^8 + 81284/29705*e^7 - 35301/2285*e^6 + 208226/29705*e^5 + 869885/5941*e^4 - 1179398/5941*e^3 - 13819642/29705*e^2 + 15197163/29705*e + 17321042/29705, -38849/29705*e^8 + 358348/29705*e^7 - 37572/2285*e^6 - 3172068/29705*e^5 + 1265049/5941*e^4 + 1959206/5941*e^3 - 16003764/29705*e^2 - 13374659/29705*e + 2286449/29705, -26856/29705*e^8 + 250202/29705*e^7 - 28683/2285*e^6 - 2067667/29705*e^5 + 902793/5941*e^4 + 1140900/5941*e^3 - 11256371/29705*e^2 - 6516396/29705*e + 3271176/29705, -87/5941*e^8 - 980/5941*e^7 + 1753/457*e^6 - 82363/5941*e^5 - 123563/5941*e^4 + 729799/5941*e^3 + 286034/5941*e^2 - 1675758/5941*e - 886940/5941, 37707/29705*e^8 - 274039/29705*e^7 - 15999/2285*e^6 + 4003869/29705*e^5 - 2767/5941*e^4 - 4313733/5941*e^3 - 3967183/29705*e^2 + 42263412/29705*e + 25399858/29705, 13089/29705*e^8 - 49638/29705*e^7 - 38293/2285*e^6 + 1992163/29705*e^5 + 752016/5941*e^4 - 2994622/5941*e^3 - 13797866/29705*e^2 + 32992794/29705*e + 27952861/29705, -44842/29705*e^8 + 365069/29705*e^7 - 11426/2285*e^6 - 4022034/29705*e^5 + 642193/5941*e^4 + 3421303/5941*e^3 - 4598097/29705*e^2 - 29428502/29705*e - 14769148/29705, -61453/29705*e^8 + 498156/29705*e^7 - 11894/2285*e^6 - 5765236/29705*e^5 + 873709/5941*e^4 + 5090650/5941*e^3 - 6909738/29705*e^2 - 44672508/29705*e - 21965397/29705, 7635/5941*e^8 - 63341/5941*e^7 + 2658/457*e^6 + 687432/5941*e^5 - 682641/5941*e^4 - 2804277/5941*e^3 + 1306820/5941*e^2 + 4687170/5941*e + 2010214/5941, 7041/2285*e^8 - 58087/2285*e^7 + 24509/2285*e^6 + 664777/2285*e^5 - 115131/457*e^4 - 582804/457*e^3 + 1029046/2285*e^2 + 5167011/2285*e + 2396994/2285, 25531/29705*e^8 - 193767/29705*e^7 - 4922/2285*e^6 + 2614367/29705*e^5 - 159865/5941*e^4 - 2588531/5941*e^3 - 574199/29705*e^2 + 24138746/29705*e + 15894964/29705, -11151/29705*e^8 + 80892/29705*e^7 + 7627/2285*e^6 - 1463247/29705*e^5 + 24933/5941*e^4 + 1706189/5941*e^3 + 353554/29705*e^2 - 17636526/29705*e - 10362334/29705, 20389/29705*e^8 - 200268/29705*e^7 + 26307/2285*e^6 + 1692278/29705*e^5 - 844980/5941*e^4 - 981853/5941*e^3 + 11144494/29705*e^2 + 6659249/29705*e - 2579989/29705, -7413/29705*e^8 + 37161/29705*e^7 + 14206/2285*e^6 - 920381/29705*e^5 - 274299/5941*e^4 + 1232916/5941*e^3 + 5550162/29705*e^2 - 12589943/29705*e - 11845527/29705, -2903/2285*e^8 + 26636/2285*e^7 - 35512/2285*e^6 - 237631/2285*e^5 + 93310/457*e^4 + 146875/457*e^3 - 1162098/2285*e^2 - 974458/2285*e + 65063/2285, -8971/5941*e^8 + 86123/5941*e^7 - 10712/457*e^6 - 721550/5941*e^5 + 1716266/5941*e^4 + 2020865/5941*e^3 - 4365155/5941*e^2 - 2627422/5941*e + 818162/5941, -6693/5941*e^8 + 42813/5941*e^7 + 6711/457*e^6 - 766276/5941*e^5 - 410773/5941*e^4 + 4444176/5941*e^3 + 1932506/5941*e^2 - 8663762/5941*e - 5923594/5941, 23436/29705*e^8 - 205757/29705*e^7 + 15728/2285*e^6 + 1981752/29705*e^5 - 562522/5941*e^4 - 1459917/5941*e^3 + 5947611/29705*e^2 + 11748371/29705*e + 3127249/29705, -2787/2285*e^8 + 17584/2285*e^7 + 37537/2285*e^6 - 312594/2285*e^5 - 42251/457*e^4 + 372184/457*e^3 + 995463/2285*e^2 - 3764372/2285*e - 2725813/2285, -13111/29705*e^8 + 71447/29705*e^7 + 23587/2285*e^6 - 1775487/29705*e^5 - 416405/5941*e^4 + 2468188/5941*e^3 + 8130849/29705*e^2 - 26856046/29705*e - 19516669/29705, -31108/29705*e^8 + 241776/29705*e^7 + 1501/2285*e^6 - 3057121/29705*e^5 + 260160/5941*e^4 + 2958537/5941*e^3 - 297698/29705*e^2 - 28342088/29705*e - 16228817/29705, -7992/29705*e^8 + 104799/29705*e^7 - 31741/2285*e^6 - 97584/29705*e^5 + 791595/5941*e^4 - 943484/5941*e^3 - 11439227/29705*e^2 + 14511083/29705*e + 13735142/29705, 13701/5941*e^8 - 99491/5941*e^7 - 5933/457*e^6 + 1456275/5941*e^5 + 33611/5941*e^4 - 7866155/5941*e^3 - 1808874/5941*e^2 + 15596849/5941*e + 10202472/5941, -16656/29705*e^8 + 152042/29705*e^7 - 11853/2285*e^6 - 1691567/29705*e^5 + 543440/5941*e^4 + 1387564/5941*e^3 - 7304706/29705*e^2 - 12399701/29705*e - 2905284/29705, 9970/5941*e^8 - 91054/5941*e^7 + 9367/457*e^6 + 787217/5941*e^5 - 1519629/5941*e^4 - 2360954/5941*e^3 + 3573867/5941*e^2 + 3052551/5941*e - 35379/5941, 218/5941*e^8 + 11811/5941*e^7 - 9283/457*e^6 + 165067/5941*e^5 + 1055657/5941*e^4 - 1916441/5941*e^3 - 3318204/5941*e^2 + 4296745/5941*e + 4251333/5941, -2348/2285*e^8 + 18311/2285*e^7 + 728/2285*e^6 - 229331/2285*e^5 + 21372/457*e^4 + 219072/457*e^3 - 58058/2285*e^2 - 2029808/2285*e - 1237927/2285, -7370/5941*e^8 + 75818/5941*e^7 - 12389/457*e^6 - 535368/5941*e^5 + 1864597/5941*e^4 + 841774/5941*e^3 - 5202520/5941*e^2 - 54647/5941*e + 3133409/5941, 59762/29705*e^8 - 438059/29705*e^7 - 22909/2285*e^6 + 6306129/29705*e^5 - 46640/5941*e^4 - 6762252/5941*e^3 - 5987798/29705*e^2 + 66555962/29705*e + 40874528/29705, 34317/29705*e^8 - 232329/29705*e^7 - 25934/2285*e^6 + 3754809/29705*e^5 + 327588/5941*e^4 - 4363701/5941*e^3 - 10313868/29705*e^2 + 44965477/29705*e + 33353783/29705, -13639/29705*e^8 + 89878/29705*e^7 + 15678/2285*e^6 - 1833048/29705*e^5 - 215743/5941*e^4 + 2464338/5941*e^3 + 5557301/29705*e^2 - 27950569/29705*e - 20081736/29705, -10030/5941*e^8 + 84642/5941*e^7 - 3982/457*e^6 - 936207/5941*e^5 + 1036571/5941*e^4 + 3852928/5941*e^3 - 2353521/5941*e^2 - 6482420/5941*e - 2107238/5941, 23992/29705*e^8 - 305954/29705*e^7 + 85561/2285*e^6 + 696864/29705*e^5 - 2174911/5941*e^4 + 1870107/5941*e^3 + 31423367/29705*e^2 - 29576538/29705*e - 33311977/29705, 12806/29705*e^8 - 137707/29705*e^7 + 27208/2285*e^6 + 696317/29705*e^5 - 716530/5941*e^4 + 152292/5941*e^3 + 9595146/29705*e^2 - 5951954/29705*e - 8120171/29705, 19571/29705*e^8 - 175202/29705*e^7 + 13578/2285*e^6 + 1825552/29705*e^5 - 576188/5941*e^4 - 1376458/5941*e^3 + 7732191/29705*e^2 + 10613256/29705*e + 473184/29705, 32189/29705*e^8 - 315573/29705*e^7 + 45777/2285*e^6 + 2259008/29705*e^5 - 1350982/5941*e^4 - 757188/5941*e^3 + 17308449/29705*e^2 + 193224/29705*e - 8198119/29705, 57696/29705*e^8 - 299217/29705*e^7 - 109172/2285*e^6 + 7564462/29705*e^5 + 1973759/5941*e^4 - 10320628/5941*e^3 - 37680769/29705*e^2 + 109844771/29705*e + 82699239/29705, -5673/5941*e^8 + 21115/5941*e^7 + 16620/457*e^6 - 841545/5941*e^5 - 1692505/5941*e^4 + 6427041/5941*e^3 + 6162588/5941*e^2 - 14293031/5941*e - 11775261/5941, -15059/29705*e^8 + 60908/29705*e^7 + 42583/2285*e^6 - 2378743/29705*e^5 - 770218/5941*e^4 + 3494649/5941*e^3 + 13544326/29705*e^2 - 37675689/29705*e - 29308296/29705, 9033/29705*e^8 + 23084/29705*e^7 - 65916/2285*e^6 + 2002316/29705*e^5 + 1432020/5941*e^4 - 3731176/5941*e^3 - 23248957/29705*e^2 + 42738673/29705*e + 36462232/29705, 7129/5941*e^8 - 54837/5941*e^7 - 1513/457*e^6 + 775596/5941*e^5 - 228596/5941*e^4 - 4130240/5941*e^3 - 31697/5941*e^2 + 8268519/5941*e + 4653315/5941, 48203/29705*e^8 - 409086/29705*e^7 + 23164/2285*e^6 + 4221856/29705*e^5 - 1001381/5941*e^4 - 3235151/5941*e^3 + 10810408/29705*e^2 + 25288583/29705*e + 6375012/29705, -19776/29705*e^8 + 80022/29705*e^7 + 51092/2285*e^6 - 2636602/29705*e^5 - 1074982/5941*e^4 + 3871916/5941*e^3 + 20168649/29705*e^2 - 41764491/29705*e - 36024929/29705, 28376/29705*e^8 - 161037/29705*e^7 - 43757/2285*e^6 + 3564697/29705*e^5 + 695930/5941*e^4 - 4530049/5941*e^3 - 13973524/29705*e^2 + 46088326/29705*e + 34637039/29705, 6272/5941*e^8 - 29186/5941*e^7 - 14512/457*e^6 + 880348/5941*e^5 + 1423399/5941*e^4 - 6441096/5941*e^3 - 5466215/5941*e^2 + 14311327/5941*e + 11512459/5941, -16759/5941*e^8 + 148560/5941*e^7 - 11863/457*e^6 - 1441358/5941*e^5 + 2170544/5941*e^4 + 5233206/5941*e^3 - 4742222/5941*e^2 - 8302109/5941*e - 2578120/5941, -1549/5941*e^8 + 15466/5941*e^7 - 2533/457*e^6 - 90723/5941*e^5 + 334086/5941*e^4 + 17541/5941*e^3 - 759711/5941*e^2 + 375222/5941*e + 416599/5941, 6784/29705*e^8 - 162998/29705*e^7 + 80292/2285*e^6 - 886102/29705*e^5 - 1938555/5941*e^4 + 3348702/5941*e^3 + 30787909/29705*e^2 - 44296561/29705*e - 44092489/29705, 34664/29705*e^8 - 110488/29705*e^7 - 114088/2285*e^6 + 5330378/29705*e^5 + 2352049/5941*e^4 - 8339908/5941*e^3 - 41897766/29705*e^2 + 92714054/29705*e + 77771301/29705, -24679/29705*e^8 + 264618/29705*e^7 - 51437/2285*e^6 - 1473033/29705*e^5 + 1472815/5941*e^4 - 212379/5941*e^3 - 21137984/29705*e^2 + 10361651/29705*e + 18110244/29705, 9233/29705*e^8 - 64461/29705*e^7 - 6176/2285*e^6 + 1023601/29705*e^5 + 68795/5941*e^4 - 1159245/5941*e^3 - 2721037/29705*e^2 + 11416173/29705*e + 8809832/29705, 143/2285*e^8 + 1054/2285*e^7 - 18663/2285*e^6 + 31156/2285*e^5 + 33379/457*e^4 - 62347/457*e^3 - 520712/2285*e^2 + 651608/2285*e + 582857/2285, -31524/29705*e^8 + 259898/29705*e^7 - 12347/2285*e^6 - 2602888/29705*e^5 + 511333/5941*e^4 + 1953455/5941*e^3 - 4031129/29705*e^2 - 14616584/29705*e - 7047801/29705, -91373/29705*e^8 + 691036/29705*e^7 + 18256/2285*e^6 - 9264666/29705*e^5 + 489297/5941*e^4 + 9296548/5941*e^3 + 2593222/29705*e^2 - 88397198/29705*e - 52005527/29705, -26418/29705*e^8 + 239976/29705*e^7 - 22979/2285*e^6 - 2174181/29705*e^5 + 767525/5941*e^4 + 1442629/5941*e^3 - 8747483/29705*e^2 - 10902343/29705*e - 1335242/29705, 1497/29705*e^8 - 62214/29705*e^7 + 33706/2285*e^6 - 301786/29705*e^5 - 825128/5941*e^4 + 1121140/5941*e^3 + 13109997/29705*e^2 - 13209043/29705*e - 15755247/29705, 26833/29705*e^8 - 104531/29705*e^7 - 75391/2285*e^6 + 3952271/29705*e^5 + 1491507/5941*e^4 - 5922335/5941*e^3 - 26834702/29705*e^2 + 64921238/29705*e + 52320352/29705, 10597/29705*e^8 - 139304/29705*e^7 + 41866/2285*e^6 + 125199/29705*e^5 - 997144/5941*e^4 + 1162740/5941*e^3 + 13502207/29705*e^2 - 16879723/29705*e - 15338597/29705, 30683/29705*e^8 - 89161/29705*e^7 - 109026/2285*e^6 + 5006931/29705*e^5 + 2217110/5941*e^4 - 7961235/5941*e^3 - 38808972/29705*e^2 + 89095073/29705*e + 72851407/29705, 21233/29705*e^8 - 297016/29705*e^7 + 89029/2285*e^6 + 730436/29705*e^5 - 2275712/5941*e^4 + 1560118/5941*e^3 + 33030863/29705*e^2 - 23075097/29705*e - 30906683/29705, -5921/5941*e^8 + 41744/5941*e^7 + 3689/457*e^6 - 671178/5941*e^5 - 78601/5941*e^4 + 3748510/5941*e^3 + 769536/5941*e^2 - 7362242/5941*e - 4464366/5941, 66434/29705*e^8 - 571043/29705*e^7 + 35902/2285*e^6 + 5829088/29705*e^5 - 1477252/5941*e^4 - 4456022/5941*e^3 + 15503834/29705*e^2 + 35629419/29705*e + 13413996/29705, 43076/29705*e^8 - 402102/29705*e^7 + 42193/2285*e^6 + 3678622/29705*e^5 - 1412227/5941*e^4 - 2542535/5941*e^3 + 17183076/29705*e^2 + 20594596/29705*e + 1688599/29705, -3234/5941*e^8 + 45311/5941*e^7 - 13882/457*e^6 - 93385/5941*e^5 + 1797947/5941*e^4 - 1441264/5941*e^3 - 5446435/5941*e^2 + 4303977/5941*e + 5675480/5941, -26989/29705*e^8 + 148458/29705*e^7 + 42778/2285*e^6 - 3228678/29705*e^5 - 775740/5941*e^4 + 4195337/5941*e^3 + 15145596/29705*e^2 - 43228489/29705*e - 31856506/29705, 16139/5941*e^8 - 141545/5941*e^7 + 10383/457*e^6 + 1406848/5941*e^5 - 1991493/5941*e^4 - 5254820/5941*e^3 + 4448612/5941*e^2 + 8391270/5941*e + 2274880/5941, -1134/29705*e^8 - 15437/29705*e^7 + 19288/2285*e^6 - 540508/29705*e^5 - 491373/5941*e^4 + 1344794/5941*e^3 + 8880996/29705*e^2 - 18715829/29705*e - 15969231/29705, 6739/29705*e^8 - 114338/29705*e^7 + 41487/2285*e^6 + 56683/29705*e^5 - 1020649/5941*e^4 + 940041/5941*e^3 + 14803994/29705*e^2 - 11806666/29705*e - 13453189/29705, -14608/5941*e^8 + 127720/5941*e^7 - 9205/457*e^6 - 1271707/5941*e^5 + 1776270/5941*e^4 + 4774710/5941*e^3 - 4022647/5941*e^2 - 7557478/5941*e - 1854361/5941, -1379/29705*e^8 - 57462/29705*e^7 + 46418/2285*e^6 - 787473/29705*e^5 - 1115391/5941*e^4 + 1966565/5941*e^3 + 18085156/29705*e^2 - 23284344/29705*e - 23147351/29705, -7119/29705*e^8 + 40063/29705*e^7 + 10898/2285*e^6 - 891368/29705*e^5 - 152847/5941*e^4 + 1129607/5941*e^3 + 1967066/29705*e^2 - 10963434/29705*e - 4972496/29705, -47114/29705*e^8 + 384068/29705*e^7 - 10422/2285*e^6 - 4372338/29705*e^5 + 646183/5941*e^4 + 3907741/5941*e^3 - 4158314/29705*e^2 - 35512799/29705*e - 18166511/29705, 1678/29705*e^8 - 53961/29705*e^7 + 24659/2285*e^6 + 51621/29705*e^5 - 685733/5941*e^4 + 485040/5941*e^3 + 10581768/29705*e^2 - 5918817/29705*e - 7445718/29705, 15377/29705*e^8 + 28921/29705*e^7 - 103799/2285*e^6 + 3162449/29705*e^5 + 2296507/5941*e^4 - 5867245/5941*e^3 - 37925463/29705*e^2 + 66608987/29705*e + 57839003/29705, -11867/29705*e^8 + 126364/29705*e^7 - 22711/2285*e^6 - 833109/29705*e^5 + 690139/5941*e^4 + 66203/5941*e^3 - 9843362/29705*e^2 + 4040358/29705*e + 6938567/29705, 46744/29705*e^8 - 211713/29705*e^7 - 108323/2285*e^6 + 6344853/29705*e^5 + 2082233/5941*e^4 - 8966725/5941*e^3 - 39034536/29705*e^2 + 95865529/29705*e + 78829051/29705, -8518/5941*e^8 + 83441/5941*e^7 - 11267/457*e^6 - 674967/5941*e^5 + 1799348/5941*e^4 + 1656414/5941*e^3 - 4849656/5941*e^2 - 1636286/5941*e + 2074990/5941, 21774/29705*e^8 - 291878/29705*e^7 + 84232/2285*e^6 + 759878/29705*e^5 - 2166194/5941*e^4 + 1502920/5941*e^3 + 31652424/29705*e^2 - 23003596/29705*e - 30784474/29705, 3118/5941*e^8 - 36716/5941*e^7 + 8755/457*e^6 + 145955/5941*e^5 - 1156702/5941*e^4 + 576580/5941*e^3 + 3239518/5941*e^2 - 2189509/5941*e - 2933046/5941, 4936/5941*e^8 - 24227/5941*e^7 - 10684/457*e^6 + 697705/5941*e^5 + 959892/5941*e^4 - 4913459/5941*e^3 - 3623225/5941*e^2 + 10691479/5941*e + 8209723/5941, -40229/29705*e^8 + 276223/29705*e^7 + 26873/2285*e^6 - 4341258/29705*e^5 - 215581/5941*e^4 + 4732502/5941*e^3 + 7798556/29705*e^2 - 45375274/29705*e - 29640081/29705, -43022/29705*e^8 + 308064/29705*e^7 + 24024/2285*e^6 - 4869374/29705*e^5 - 56414/5941*e^4 + 5455504/5941*e^3 + 5241408/29705*e^2 - 54722732/29705*e - 33697018/29705, -62657/29705*e^8 + 508904/29705*e^7 - 10316/2285*e^6 - 6083499/29705*e^5 + 884714/5941*e^4 + 5593787/5941*e^3 - 7310687/29705*e^2 - 51148147/29705*e - 24038178/29705, -44678/29705*e^8 + 399626/29705*e^7 - 33914/2285*e^6 - 3830651/29705*e^5 + 1220504/5941*e^4 + 2758097/5941*e^3 - 13961448/29705*e^2 - 22027523/29705*e - 4804262/29705, 4345/5941*e^8 - 8964/5941*e^7 - 17623/457*e^6 + 712433/5941*e^5 + 1889090/5941*e^4 - 5871456/5941*e^3 - 6545026/5941*e^2 + 13062116/5941*e + 11085495/5941, -20141/29705*e^8 + 197462/29705*e^7 - 25258/2285*e^6 - 1666592/29705*e^5 + 740828/5941*e^4 + 1171793/5941*e^3 - 8567476/29705*e^2 - 11112641/29705*e - 2104984/29705, 109/29705*e^8 - 74298/29705*e^7 + 50427/2285*e^6 - 722472/29705*e^5 - 1235318/5941*e^4 + 2042766/5941*e^3 + 20239424/29705*e^2 - 24636626/29705*e - 25651479/29705, -12245/5941*e^8 + 101415/5941*e^7 - 3638/457*e^6 - 1136059/5941*e^5 + 974201/5941*e^4 + 4970522/5941*e^3 - 1458897/5941*e^2 - 8895739/5941*e - 4818613/5941, 9563/5941*e^8 - 58900/5941*e^7 - 11344/457*e^6 + 1130126/5941*e^5 + 832329/5941*e^4 - 6920410/5941*e^3 - 3693934/5941*e^2 + 14112021/5941*e + 10313325/5941, -27704/29705*e^8 + 278003/29705*e^7 - 42147/2285*e^6 - 2038593/29705*e^5 + 1252793/5941*e^4 + 887175/5941*e^3 - 17195349/29705*e^2 - 4399114/29705*e + 8779024/29705, -12042/5941*e^8 + 99741/5941*e^7 - 3920/457*e^6 - 1088443/5941*e^5 + 961504/5941*e^4 + 4701419/5941*e^3 - 1451016/5941*e^2 - 8568060/5941*e - 4458114/5941, -131/2285*e^8 + 4707/2285*e^7 - 30984/2285*e^6 + 13723/2285*e^5 + 60087/457*e^4 - 72609/457*e^3 - 910826/2285*e^2 + 917564/2285*e + 914041/2285, 67196/29705*e^8 - 432577/29705*e^7 - 68362/2285*e^6 + 7875727/29705*e^5 + 881357/5941*e^4 - 9466155/5941*e^3 - 21541379/29705*e^2 + 97057501/29705*e + 68180184/29705, -12122/5941*e^8 + 87231/5941*e^7 + 6002/457*e^6 - 1314821/5941*e^5 - 120227/5941*e^4 + 7334326/5941*e^3 + 1893061/5941*e^2 - 14961145/5941*e - 9627966/5941, 8510/5941*e^8 - 78751/5941*e^7 + 8329/457*e^6 + 692728/5941*e^5 - 1360355/5941*e^4 - 2181494/5941*e^3 + 3278785/5941*e^2 + 3079298/5941*e - 125272/5941, 14384/29705*e^8 - 14223/29705*e^7 - 69403/2285*e^6 + 2588873/29705*e^5 + 1486431/5941*e^4 - 4489490/5941*e^3 - 25049831/29705*e^2 + 51407594/29705*e + 43174271/29705, -1016/2285*e^8 - 2583/2285*e^7 + 97301/2285*e^6 - 229062/2285*e^5 - 165629/457*e^4 + 433749/457*e^3 + 2766669/2285*e^2 - 5012336/2285*e - 4407604/2285, -508/2285*e^8 + 6706/2285*e^7 - 21042/2285*e^6 - 41411/2285*e^5 + 44917/457*e^4 + 15109/457*e^3 - 651458/2285*e^2 - 166328/2285*e + 295988/2285, 40762/29705*e^8 - 468389/29705*e^7 + 103406/2285*e^6 + 2326934/29705*e^5 - 2840394/5941*e^4 + 612591/5941*e^3 + 40837837/29705*e^2 - 18164163/29705*e - 33906337/29705, -55709/29705*e^8 + 439873/29705*e^7 - 497/2285*e^6 - 5560313/29705*e^5 + 617614/5941*e^4 + 5255314/5941*e^3 - 3798244/29705*e^2 - 48239029/29705*e - 25609101/29705, -12384/29705*e^8 + 178448/29705*e^7 - 59827/2285*e^6 + 40667/29705*e^5 + 1397299/5941*e^4 - 1741898/5941*e^3 - 19935594/29705*e^2 + 23760281/29705*e + 24463859/29705, 49037/29705*e^8 - 425709/29705*e^7 + 28516/2285*e^6 + 4314464/29705*e^5 - 1117827/5941*e^4 - 3373139/5941*e^3 + 11625447/29705*e^2 + 28875007/29705*e + 11334108/29705, 59672/29705*e^8 - 400149/29705*e^7 - 47964/2285*e^6 + 6706449/29705*e^5 + 452447/5941*e^4 - 7599104/5941*e^3 - 12973723/29705*e^2 + 74977432/29705*e + 49278228/29705, 21277/29705*e^8 - 73289/29705*e^7 - 62074/2285*e^6 + 2851714/29705*e^5 + 1324645/5941*e^4 - 4314220/5941*e^3 - 23392208/29705*e^2 + 46429272/29705*e + 38424843/29705, 5895/5941*e^8 - 47295/5941*e^7 + 244/457*e^6 + 602655/5941*e^5 - 325985/5941*e^4 - 3001387/5941*e^3 + 314170/5941*e^2 + 5861509/5941*e + 3264791/5941, -24491/29705*e^8 + 356397/29705*e^7 - 113553/2285*e^6 - 616072/29705*e^5 + 2921273/5941*e^4 - 2455716/5941*e^3 - 44081061/29705*e^2 + 35623229/29705*e + 45811746/29705, 40244/29705*e^8 - 322148/29705*e^7 + 8912/2285*e^6 + 3442798/29705*e^5 - 490415/5941*e^4 - 2812707/5941*e^3 + 2539659/29705*e^2 + 22425669/29705*e + 12624536/29705, 123408/29705*e^8 - 1061881/29705*e^7 + 63964/2285*e^6 + 11139286/29705*e^5 - 2758552/5941*e^4 - 8867154/5941*e^3 + 30475638/29705*e^2 + 74009073/29705*e + 24201912/29705, 1572/29705*e^8 - 54199/29705*e^7 + 29831/2285*e^6 - 368041/29705*e^5 - 731098/5941*e^4 + 1279866/5941*e^3 + 11569712/29705*e^2 - 16385088/29705*e - 15460802/29705, 7463/5941*e^8 - 81326/5941*e^7 + 15810/457*e^6 + 478164/5941*e^5 - 2238112/5941*e^4 - 78678/5941*e^3 + 6217915/5941*e^2 - 1716372/5941*e - 4258300/5941, 1949/29705*e^8 - 113323/29705*e^7 + 70372/2285*e^6 - 1124082/29705*e^5 - 1603879/5941*e^4 + 3085956/5941*e^3 + 24515359/29705*e^2 - 37616506/29705*e - 34185274/29705, 27098/29705*e^8 - 252461/29705*e^7 + 28214/2285*e^6 + 2149746/29705*e^5 - 911094/5941*e^4 - 1255480/5941*e^3 + 11747748/29705*e^2 + 7482193/29705*e - 3270868/29705, -7121/29705*e^8 + 20442/29705*e^7 + 28672/2285*e^6 - 1446867/29705*e^5 - 526865/5941*e^4 + 2315317/5941*e^3 + 9212989/29705*e^2 - 25989871/29705*e - 21075309/29705, -1991/2285*e^8 + 12042/2285*e^7 + 34686/2285*e^6 - 249757/2285*e^5 - 42154/457*e^4 + 325814/457*e^3 + 900074/2285*e^2 - 3494176/2285*e - 2456624/2285, 2461/29705*e^8 - 80787/29705*e^7 + 44528/2285*e^6 - 579483/29705*e^5 - 1089501/5941*e^4 + 1988624/5941*e^3 + 17328891/29705*e^2 - 26625579/29705*e - 24136231/29705, -17041/29705*e^8 + 162387/29705*e^7 - 20143/2285*e^6 - 1286107/29705*e^5 + 567718/5941*e^4 + 789419/5941*e^3 - 6119161/29705*e^2 - 7191811/29705*e - 1420524/29705]; 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;