/* 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![14, -4, -10, 0, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, -w - 2], [7, 7, -2/3*w^3 + 2/3*w^2 + 5*w - 7/3], [7, 7, -1/3*w^3 + 1/3*w^2 + w - 5/3], [9, 3, -1/3*w^3 + 1/3*w^2 + 3*w - 5/3], [9, 3, w + 1], [17, 17, w + 3], [17, 17, -1/3*w^3 + 1/3*w^2 + 3*w - 11/3], [31, 31, 1/3*w^3 - 1/3*w^2 - w - 1/3], [31, 31, -2/3*w^3 + 2/3*w^2 + 5*w - 1/3], [41, 41, -2/3*w^3 + 5/3*w^2 + 4*w - 19/3], [41, 41, w^2 - 5], [41, 41, 2*w + 3], [41, 41, 2/3*w^3 + 4/3*w^2 - 5*w - 29/3], [47, 47, -2/3*w^3 + 5/3*w^2 + 3*w - 19/3], [47, 47, 1/3*w^3 + 2/3*w^2 - 3*w - 13/3], [49, 7, -1/3*w^3 + 1/3*w^2 + 2*w - 11/3], [73, 73, -1/3*w^3 + 1/3*w^2 + 5*w + 19/3], [73, 73, -2/3*w^3 - 1/3*w^2 + 4*w + 11/3], [73, 73, -1/3*w^3 + 4/3*w^2 + 2*w - 17/3], [103, 103, -1/3*w^3 + 4/3*w^2 + w - 23/3], [103, 103, w^2 - w - 3], [113, 113, -2/3*w^3 + 2/3*w^2 + 5*w + 11/3], [113, 113, 1/3*w^3 - 1/3*w^2 - w - 13/3], [127, 127, 2/3*w^3 + 1/3*w^2 - 9*w - 41/3], [127, 127, -2/3*w^3 + 5/3*w^2 + 5*w - 31/3], [127, 127, -1/3*w^3 + 1/3*w^2 - 11/3], [127, 127, 4/3*w^3 + 5/3*w^2 - 10*w - 43/3], [151, 151, -1/3*w^3 + 4/3*w^2 + w - 29/3], [151, 151, 2/3*w^3 - 2/3*w^2 - 6*w - 5/3], [167, 167, -2/3*w^3 + 5/3*w^2 + 2*w - 19/3], [167, 167, 2/3*w^3 + 1/3*w^2 - 6*w - 11/3], [191, 191, -w^3 + 2*w^2 + 6*w - 5], [191, 191, 1/3*w^3 + 2/3*w^2 - 2*w - 19/3], [193, 193, -1/3*w^3 + 1/3*w^2 + 5*w + 13/3], [193, 193, 2/3*w^3 + 7/3*w^2 - 2*w - 23/3], [199, 199, 1/3*w^3 + 2/3*w^2 + 2*w + 11/3], [199, 199, 1/3*w^3 + 2/3*w^2 - 5*w - 31/3], [223, 223, -2/3*w^3 + 5/3*w^2 + 5*w - 13/3], [223, 223, 4/3*w^3 - 7/3*w^2 - 8*w + 17/3], [223, 223, 2/3*w^3 + 1/3*w^2 - 4*w - 17/3], [223, 223, w^3 - w^2 - 7*w - 1], [233, 233, -1/3*w^3 + 1/3*w^2 + w - 17/3], [233, 233, -2/3*w^3 + 2/3*w^2 + 5*w - 19/3], [239, 239, 5/3*w^3 + 7/3*w^2 - 10*w - 41/3], [239, 239, -5/3*w^3 - 7/3*w^2 + 12*w + 59/3], [241, 241, -1/3*w^3 + 7/3*w^2 + w - 23/3], [241, 241, 5/3*w^3 + 10/3*w^2 - 10*w - 59/3], [257, 257, -1/3*w^3 + 1/3*w^2 + 4*w - 5/3], [257, 257, 1/3*w^3 - 1/3*w^2 - 4*w - 1/3], [257, 257, 2/3*w^3 + 1/3*w^2 - 7*w - 23/3], [257, 257, -4/3*w^3 + 1/3*w^2 + 10*w + 13/3], [263, 263, -4/3*w^3 + 7/3*w^2 + 9*w - 23/3], [263, 263, 1/3*w^3 + 2/3*w^2 - w - 13/3], [271, 271, 5/3*w^3 - 5/3*w^2 - 12*w + 19/3], [271, 271, w^3 - w^2 - 4*w + 5], [281, 281, w^2 + 5*w + 5], [281, 281, -1/3*w^3 - 5/3*w^2 + 2*w + 25/3], [289, 17, w^3 - w^2 - 6*w + 3], [311, 311, 1/3*w^3 - 7/3*w^2 + 41/3], [311, 311, -2*w + 5], [311, 311, -w^3 - 2*w^2 + 7*w + 15], [311, 311, 2/3*w^3 - 2/3*w^2 - 6*w - 11/3], [313, 313, w^3 - w^2 - 5*w + 1], [313, 313, -4/3*w^3 + 4/3*w^2 + 9*w - 5/3], [337, 337, 4/3*w^3 - 4/3*w^2 - 11*w + 5/3], [337, 337, 2/3*w^3 + 1/3*w^2 - 6*w - 29/3], [359, 359, -w^3 - w^2 + 12*w + 19], [359, 359, -1/3*w^3 + 4/3*w^2 + 5*w + 1/3], [359, 359, -1/3*w^3 - 8/3*w^2 - 4*w + 1/3], [359, 359, w^2 - 3*w - 9], [361, 19, 2*w^2 - w - 13], [361, 19, -w^3 + 3*w^2 + 5*w - 9], [409, 409, -w - 5], [409, 409, -1/3*w^3 + 1/3*w^2 + 3*w - 17/3], [431, 431, -w^3 - 3*w^2 + 2*w + 9], [431, 431, 2/3*w^3 + 7/3*w^2 - w - 23/3], [433, 433, -1/3*w^3 + 1/3*w^2 + 6*w + 19/3], [433, 433, 2/3*w^3 + 7/3*w^2 - 3*w - 29/3], [439, 439, 2/3*w^3 + 4/3*w^2 - 8*w - 47/3], [439, 439, 4/3*w^3 - 10/3*w^2 - 8*w + 29/3], [439, 439, 2*w^2 - 13], [439, 439, 5*w + 9], [449, 449, w^2 - 11], [449, 449, 2/3*w^3 - 5/3*w^2 - 4*w + 1/3], [457, 457, -w^3 - w^2 + 10*w + 17], [457, 457, -4/3*w^3 + 4/3*w^2 + 7*w + 1/3], [457, 457, 4/3*w^3 + 5/3*w^2 - 5*w - 19/3], [457, 457, -w^3 + 2*w^2 + 7*w - 13], [463, 463, w^3 - 2*w^2 - 5*w + 9], [463, 463, 2/3*w^3 + 1/3*w^2 - 5*w - 5/3], [463, 463, 5/3*w^3 - 11/3*w^2 - 9*w + 43/3], [463, 463, 2/3*w^3 + 4/3*w^2 - 5*w - 23/3], [487, 487, -4/3*w^3 - 8/3*w^2 + 7*w + 37/3], [487, 487, w^3 + w^2 - 8*w - 9], [487, 487, -2/3*w^3 - 4/3*w^2 + 4*w + 17/3], [487, 487, 5/3*w^3 - 11/3*w^2 - 8*w + 37/3], [503, 503, 2/3*w^3 + 4/3*w^2 - 4*w - 29/3], [503, 503, 2/3*w^3 + 1/3*w^2 - 10*w - 47/3], [503, 503, 1/3*w^3 - 1/3*w^2 + w + 17/3], [503, 503, -4/3*w^3 - 8/3*w^2 + 5*w + 31/3], [521, 521, -1/3*w^3 + 4/3*w^2 + 9*w + 31/3], [521, 521, w^3 - 6*w - 3], [529, 23, -1/3*w^3 + 1/3*w^2 + 2*w - 17/3], [529, 23, 1/3*w^3 - 1/3*w^2 - 2*w - 13/3], [569, 569, -4/3*w^3 - 5/3*w^2 + 7*w + 25/3], [569, 569, -1/3*w^3 - 5/3*w^2 - 2*w - 5/3], [577, 577, -1/3*w^3 + 7/3*w^2 + 3*w - 23/3], [577, 577, -4/3*w^3 + 10/3*w^2 + 9*w - 47/3], [599, 599, -4/3*w^3 - 8/3*w^2 + 6*w + 37/3], [599, 599, 2/3*w^3 + 4/3*w^2 - 3*w - 23/3], [601, 601, -2/3*w^3 + 8/3*w^2 + 4*w - 43/3], [601, 601, -2/3*w^3 + 8/3*w^2 + 4*w - 25/3], [617, 617, -1/3*w^3 + 7/3*w^2 + 2*w - 23/3], [617, 617, w^3 - 3*w^2 - 6*w + 15], [625, 5, -5], [631, 631, -2*w^3 + 2*w^2 + 14*w - 1], [631, 631, -w^3 + 10*w - 1], [641, 641, -w^2 - 1], [641, 641, -2/3*w^3 + 5/3*w^2 + 4*w - 37/3], [641, 641, 2/3*w^3 - 8/3*w^2 - 5*w + 37/3], [641, 641, w^3 - 3*w^2 - 7*w + 11], [647, 647, -1/3*w^3 - 2/3*w^2 - 3*w - 17/3], [647, 647, 1/3*w^3 + 2/3*w^2 - 6*w - 37/3], [673, 673, 2/3*w^3 - 2/3*w^2 - 7*w - 5/3], [673, 673, 2/3*w^3 - 5/3*w^2 - 3*w + 1/3], [673, 673, -1/3*w^3 + 1/3*w^2 + 5*w - 11/3], [673, 673, 1/3*w^3 + 2/3*w^2 - 3*w - 31/3], [719, 719, -w^3 - 2*w^2 + 4*w + 9], [719, 719, -w^3 - 2*w^2 + 5*w + 11], [727, 727, -w^3 + 3*w^2 + 4*w - 13], [727, 727, -1/3*w^3 + 4/3*w^2 + 4*w - 23/3], [727, 727, 1/3*w^3 + 5/3*w^2 - 4*w - 25/3], [727, 727, -2/3*w^3 - 1/3*w^2 + 4*w + 23/3], [743, 743, 1/3*w^3 + 2/3*w^2 + 3*w + 23/3], [743, 743, -1/3*w^3 + 7/3*w^2 + 2*w - 53/3], [751, 751, -2/3*w^3 + 5/3*w^2 + 2*w - 25/3], [751, 751, -2/3*w^3 - 1/3*w^2 + 6*w + 5/3], [761, 761, -1/3*w^3 + 7/3*w^2 + w - 29/3], [761, 761, -2/3*w^3 + 8/3*w^2 + 3*w - 37/3], [769, 769, -4/3*w^3 + 13/3*w^2 + 6*w - 59/3], [769, 769, -7/3*w^3 + 7/3*w^2 + 16*w - 5/3], [823, 823, -4/3*w^3 + 1/3*w^2 + 11*w + 25/3], [823, 823, w^3 - 2*w^2 - 3*w + 1], [857, 857, w^2 - 3*w - 5], [857, 857, -2/3*w^3 - 1/3*w^2 + 8*w - 1/3], [857, 857, 1/3*w^3 + 2/3*w^2 - 5*w - 13/3], [857, 857, w^2 - 4*w - 9], [863, 863, -4/3*w^3 + 7/3*w^2 + 8*w - 5/3], [863, 863, 2/3*w^3 + 1/3*w^2 - 4*w - 29/3], [881, 881, -5/3*w^3 - 4/3*w^2 + 11*w + 41/3], [881, 881, -4/3*w^3 - 5/3*w^2 + 6*w + 19/3], [887, 887, -4/3*w^3 + 4/3*w^2 + 10*w + 1/3], [887, 887, 2/3*w^3 - 2/3*w^2 - 2*w - 5/3], [911, 911, w^3 - 9*w - 1], [911, 911, 5/3*w^3 + 10/3*w^2 - 12*w - 65/3], [911, 911, 1/3*w^3 - 1/3*w^2 + w + 23/3], [911, 911, -2/3*w^3 + 5/3*w^2 + w - 25/3], [919, 919, -2/3*w^3 + 8/3*w^2 - 37/3], [919, 919, 2/3*w^3 + 4/3*w^2 - 8*w - 23/3], [929, 929, -2*w^3 - 3*w^2 + 11*w + 17], [929, 929, 1/3*w^3 - 1/3*w^2 - 4*w - 19/3], [937, 937, 4/3*w^3 - 1/3*w^2 - 9*w - 13/3], [937, 937, 3*w - 1], [937, 937, -w^3 + w^2 + 7*w - 9], [937, 937, w^3 - w^2 - 9*w + 1], [961, 31, 4/3*w^3 - 4/3*w^2 - 8*w + 11/3], [967, 967, w^2 - 3*w - 11], [967, 967, 1/3*w^3 + 2/3*w^2 - w - 19/3], [967, 967, 1/3*w^3 + 5/3*w^2 + 6*w + 23/3], [967, 967, 4/3*w^3 - 7/3*w^2 - 9*w + 17/3], [977, 977, w^3 - 4*w^2 - 5*w + 23], [977, 977, 2/3*w^3 - 11/3*w^2 - 3*w + 31/3], [983, 983, 4/3*w^3 - 4/3*w^2 - 6*w + 23/3], [983, 983, -2*w^3 + 2*w^2 + 14*w - 9], [991, 991, 2/3*w^3 + 1/3*w^2 - 5*w + 1/3], [991, 991, -w^3 + 2*w^2 + 5*w - 11], [1009, 1009, -1/3*w^3 + 1/3*w^2 + 9*w + 37/3], [1009, 1009, 2/3*w^3 + 7/3*w^2 - 6*w - 47/3], [1031, 1031, -4/3*w^3 + 10/3*w^2 + 7*w - 47/3], [1031, 1031, w^3 - w^2 - 9*w - 3], [1031, 1031, 1/3*w^3 - 7/3*w^2 + 53/3], [1031, 1031, 1/3*w^3 + 5/3*w^2 - 3*w - 19/3], [1033, 1033, -4/3*w^3 - 5/3*w^2 + 5*w + 13/3], [1033, 1033, 2*w^3 + 2*w^2 - 14*w - 19], [1039, 1039, -4/3*w^3 + 10/3*w^2 + 10*w - 53/3], [1039, 1039, -2/3*w^3 + 8/3*w^2 + 6*w - 19/3], [1063, 1063, -1/3*w^3 - 8/3*w^2 + 4*w + 37/3], [1063, 1063, -2/3*w^3 + 5/3*w^2 + 2*w - 43/3], [1063, 1063, -5/3*w^3 + 14/3*w^2 + 8*w - 61/3], [1063, 1063, 2/3*w^3 + 4/3*w^2 - 5*w - 41/3], [1097, 1097, -4/3*w^3 + 7/3*w^2 + 8*w - 47/3], [1097, 1097, 5/3*w^3 - 8/3*w^2 - 8*w + 19/3], [1097, 1097, -2/3*w^3 + 8/3*w^2 + 4*w - 31/3], [1097, 1097, -2/3*w^3 + 8/3*w^2 + 4*w - 37/3], [1129, 1129, 2/3*w^3 + 10/3*w^2 - w - 29/3], [1129, 1129, -2/3*w^3 + 2/3*w^2 + 10*w + 29/3], [1151, 1151, -w^3 + w^2 + 15*w + 17], [1151, 1151, -2/3*w^3 + 5/3*w^2 + 6*w - 1/3], [1153, 1153, w^3 - w^2 - 9*w + 3], [1153, 1153, -3*w - 1], [1201, 1201, 1/3*w^3 + 8/3*w^2 - 4*w - 43/3], [1201, 1201, -5/3*w^3 - 13/3*w^2 + 7*w + 53/3], [1231, 1231, 2/3*w^3 + 1/3*w^2 - 3*w - 17/3], [1231, 1231, -5/3*w^3 + 8/3*w^2 + 11*w - 19/3], [1279, 1279, 4/3*w^3 - 1/3*w^2 - 10*w - 1/3], [1279, 1279, -4/3*w^3 + 7/3*w^2 + 6*w - 29/3], [1279, 1279, 2/3*w^3 + 1/3*w^2 - 7*w + 1/3], [1279, 1279, -1/3*w^3 + 4/3*w^2 - w - 29/3], [1297, 1297, -2*w^3 - 3*w^2 + 9*w + 11], [1297, 1297, w^3 + 3*w^2 - 1], [1303, 1303, 8/3*w^3 - 11/3*w^2 - 17*w + 19/3], [1303, 1303, 4/3*w^3 + 2/3*w^2 - 13*w - 19/3], [1319, 1319, 5/3*w^3 - 8/3*w^2 - 9*w + 37/3], [1319, 1319, 4/3*w^3 - 1/3*w^2 - 9*w + 5/3], [1321, 1321, -1/3*w^3 + 1/3*w^2 + 5*w - 5/3], [1321, 1321, 2/3*w^3 - 2/3*w^2 - 7*w + 1/3], [1327, 1327, 2/3*w^3 + 1/3*w^2 - 11*w - 53/3], [1327, 1327, -1/3*w^3 + 1/3*w^2 - 2*w - 23/3], [1361, 1361, 2/3*w^3 + 1/3*w^2 - 8*w - 41/3], [1361, 1361, -5/3*w^3 - 7/3*w^2 + 7*w + 29/3], [1367, 1367, -1/3*w^3 + 7/3*w^2 + 3*w - 41/3], [1367, 1367, 4/3*w^3 - 10/3*w^2 - 9*w + 29/3], [1369, 37, -4/3*w^3 + 10/3*w^2 + 9*w - 65/3], [1369, 37, 1/3*w^3 - 7/3*w^2 - 3*w + 5/3], [1409, 1409, -2/3*w^3 - 13/3*w^2 - w + 29/3], [1409, 1409, -4/3*w^3 - 2/3*w^2 + 5*w + 1/3], [1423, 1423, 2/3*w^3 + 1/3*w^2 + 19/3], [1423, 1423, 7/3*w^3 - 16/3*w^2 - 12*w + 59/3], [1423, 1423, -4/3*w^3 - 2/3*w^2 + 9*w + 37/3], [1423, 1423, 7/3*w^3 - 13/3*w^2 - 13*w + 29/3], [1433, 1433, 1/3*w^3 - 1/3*w^2 - w - 19/3], [1433, 1433, -2*w^3 - 2*w^2 + 13*w + 15], [1433, 1433, 2/3*w^3 - 2/3*w^2 - 5*w - 17/3], [1433, 1433, -2/3*w^3 + 11/3*w^2 + 2*w - 61/3], [1439, 1439, 2/3*w^3 + 4/3*w^2 - 6*w - 23/3], [1439, 1439, -4/3*w^3 + 10/3*w^2 + 6*w - 41/3], [1447, 1447, -5/3*w^3 + 11/3*w^2 + 7*w - 37/3], [1447, 1447, 2/3*w^3 - 5/3*w^2 - 8*w + 31/3], [1471, 1471, 5/3*w^3 - 2/3*w^2 - 14*w + 1/3], [1471, 1471, -w^3 + 2*w^2 + 2*w - 9], [1481, 1481, -1/3*w^3 - 5/3*w^2 + 7*w + 43/3], [1481, 1481, -8/3*w^3 + 17/3*w^2 + 17*w - 73/3], [1489, 1489, 4*w + 5], [1489, 1489, 4/3*w^3 - 4/3*w^2 - 12*w + 23/3], [1511, 1511, w^3 - 4*w^2 - 3*w + 9], [1511, 1511, 3*w^2 - 3*w - 23], [1543, 1543, 2/3*w^3 + 1/3*w^2 - 6*w + 1/3], [1543, 1543, -2/3*w^3 + 5/3*w^2 + 2*w - 31/3], [1553, 1553, -7/3*w^3 + 10/3*w^2 + 13*w - 41/3], [1553, 1553, 2*w^3 - w^2 - 13*w + 3], [1559, 1559, 2*w^2 - 15], [1559, 1559, -4/3*w^3 + 10/3*w^2 + 8*w - 23/3], [1567, 1567, -1/3*w^3 - 2/3*w^2 - 4*w - 23/3], [1567, 1567, -1/3*w^3 - 2/3*w^2 + 7*w + 43/3], [1601, 1601, -2/3*w^3 + 2/3*w^2 + 5*w - 25/3], [1601, 1601, -1/3*w^3 + 1/3*w^2 + w - 23/3], [1607, 1607, -7/3*w^3 + 10/3*w^2 + 18*w - 29/3], [1607, 1607, -2*w^3 + 4*w^2 + 12*w - 19], [1607, 1607, -2/3*w^3 - 4/3*w^2 + 4*w + 11/3], [1607, 1607, -4/3*w^3 - 5/3*w^2 + 11*w + 43/3], [1657, 1657, -4/3*w^3 + 1/3*w^2 + 6*w - 5/3], [1657, 1657, 8/3*w^3 - 11/3*w^2 - 18*w + 43/3], [1697, 1697, 2/3*w^3 - 2/3*w^2 - 8*w - 11/3], [1697, 1697, -2/3*w^3 - 1/3*w^2 + 10*w + 41/3], [1697, 1697, -w^3 - 3*w^2 + 7*w + 17], [1697, 1697, -2/3*w^3 - 1/3*w^2 + 13*w + 59/3], [1721, 1721, -2/3*w^3 - 7/3*w^2 - 4*w - 19/3], [1721, 1721, -5/3*w^3 - 7/3*w^2 + 5*w + 11/3], [1753, 1753, -7/3*w^3 - 14/3*w^2 + 15*w + 85/3], [1753, 1753, -5/3*w^3 - 13/3*w^2 + 11*w + 71/3], [1753, 1753, 1/3*w^3 + 2/3*w^2 - 6*w - 25/3], [1753, 1753, 1/3*w^3 + 8/3*w^2 - 2*w - 43/3], [1759, 1759, -1/3*w^3 + 4/3*w^2 + 4*w - 29/3], [1759, 1759, -w^3 + 2*w^2 + 8*w - 3], [1777, 1777, -2/3*w^3 + 11/3*w^2 + 4*w - 31/3], [1777, 1777, -5/3*w^3 + 14/3*w^2 + 12*w - 67/3], [1777, 1777, -4/3*w^3 + 13/3*w^2 + 8*w - 71/3], [1777, 1777, w^3 - 4*w^2 - 8*w + 13], [1783, 1783, -5/3*w^3 + 2/3*w^2 + 13*w + 29/3], [1783, 1783, 4/3*w^3 - 7/3*w^2 - 5*w - 1/3], [1831, 1831, -1/3*w^3 - 5/3*w^2 + 25/3], [1831, 1831, 4/3*w^3 + 2/3*w^2 - 7*w - 25/3], [1831, 1831, -7/3*w^3 + 13/3*w^2 + 16*w - 47/3], [1831, 1831, 3*w^3 - 5*w^2 - 19*w + 15], [1847, 1847, -4/3*w^3 - 2/3*w^2 + 8*w + 31/3], [1847, 1847, -8/3*w^3 - 10/3*w^2 + 19*w + 89/3], [1889, 1889, -2/3*w^3 - 1/3*w^2 + 10*w + 53/3], [1889, 1889, 2/3*w^3 + 7/3*w^2 + 3*w + 13/3], [1889, 1889, 3*w^3 - 2*w^2 - 24*w + 1], [1889, 1889, -5/3*w^3 - 7/3*w^2 + 5*w + 17/3], [1913, 1913, 5/3*w^3 - 5/3*w^2 - 9*w + 1/3], [1913, 1913, -4/3*w^3 + 7/3*w^2 + 9*w - 47/3], [1951, 1951, -7/3*w^3 - 8/3*w^2 + 17*w + 67/3], [1951, 1951, 4/3*w^3 - 10/3*w^2 - 10*w + 59/3], [1993, 1993, -8/3*w^3 + 8/3*w^2 + 19*w - 19/3], [1993, 1993, 5/3*w^3 - 5/3*w^2 - 7*w + 13/3], [1999, 1999, 2/3*w^3 + 1/3*w^2 - 3*w - 41/3], [1999, 1999, -5/3*w^3 + 8/3*w^2 + 11*w + 5/3]]; primes := [ideal : I in primesArray]; heckePol := x^8 + 4*x^7 - 27*x^6 - 117*x^5 + 133*x^4 + 843*x^3 + 673*x^2 + 6*x - 76; K := NumberField(heckePol); heckeEigenvaluesArray := [-1, e, -4052/86739*e^7 - 27575/173478*e^6 + 231031/173478*e^5 + 13981/2991*e^4 - 491295/57826*e^3 - 996537/28913*e^2 - 2279659/173478*e + 539263/86739, 5042/86739*e^7 + 30245/173478*e^6 - 294199/173478*e^5 - 15178/2991*e^4 + 690377/57826*e^3 + 1065552/28913*e^2 + 755797/173478*e - 661813/86739, 1, 683/173478*e^7 + 3308/86739*e^6 - 21965/173478*e^5 - 6835/5982*e^4 + 51121/57826*e^3 + 508031/57826*e^2 + 267875/173478*e - 484292/86739, 430/28913*e^7 + 1456/28913*e^6 - 11966/28913*e^5 - 1245/997*e^4 + 78012/28913*e^3 + 213466/28913*e^2 + 60700/28913*e - 60238/28913, -9151/173478*e^7 - 17779/86739*e^6 + 268639/173478*e^5 + 34367/5982*e^4 - 623465/57826*e^3 - 2288167/57826*e^2 - 1305901/173478*e + 326764/86739, 2363/86739*e^7 + 6253/86739*e^6 - 80819/86739*e^5 - 6691/2991*e^4 + 242819/28913*e^3 + 501610/28913*e^2 - 725455/86739*e - 635086/86739, 2365/57826*e^7 + 4004/28913*e^6 - 65813/57826*e^5 - 8343/1994*e^4 + 342327/57826*e^3 + 1810149/57826*e^2 + 1519283/57826*e - 35546/28913, -6859/86739*e^7 - 19325/86739*e^6 + 204454/86739*e^5 + 19523/2991*e^4 - 495347/28913*e^3 - 1395048/28913*e^2 - 387286/86739*e + 1132058/86739, 7823/86739*e^7 + 26758/86739*e^6 - 228725/86739*e^5 - 27160/2991*e^4 + 504425/28913*e^3 + 1904707/28913*e^2 + 2161322/86739*e - 375238/86739, 18271/173478*e^7 + 29185/86739*e^6 - 538567/173478*e^5 - 60077/5982*e^4 + 1218025/57826*e^3 + 4343307/57826*e^2 + 4190917/173478*e - 1366987/86739, -35093/173478*e^7 - 51479/86739*e^6 + 1019867/173478*e^5 + 104725/5982*e^4 - 2297455/57826*e^3 - 7451423/57826*e^2 - 6170189/173478*e + 1599479/86739, 2098/86739*e^7 + 10039/173478*e^6 - 119321/173478*e^5 - 5147/2991*e^4 + 274057/57826*e^3 + 388950/28913*e^2 - 91507/173478*e - 739838/86739, 7445/173478*e^7 + 42019/173478*e^6 - 101236/86739*e^5 - 40951/5982*e^4 + 170652/28913*e^3 + 2764145/57826*e^2 + 2504338/86739*e - 747740/86739, -1257/28913*e^7 - 8647/57826*e^6 + 75473/57826*e^5 + 4393/997*e^4 - 517555/57826*e^3 - 965996/28913*e^2 - 680995/57826*e + 436846/28913, -6734/86739*e^7 - 50579/173478*e^6 + 405313/173478*e^5 + 24946/2991*e^4 - 974903/57826*e^3 - 1698682/28913*e^2 - 1939507/173478*e + 587389/86739, 3475/173478*e^7 - 1009/173478*e^6 - 46670/86739*e^5 + 13/5982*e^4 + 90954/28913*e^3 + 99875/57826*e^2 + 469178/86739*e + 487154/86739, 9173/57826*e^7 + 12975/28913*e^6 - 277051/57826*e^5 - 26617/1994*e^4 + 2017741/57826*e^3 + 5741495/57826*e^2 + 785883/57826*e - 694357/28913, 5465/173478*e^7 + 39349/173478*e^6 - 69652/86739*e^5 - 38557/5982*e^4 + 71111/28913*e^3 + 2626115/57826*e^2 + 3353008/86739*e - 451712/86739, 4845/28913*e^7 + 15733/28913*e^6 - 136171/28913*e^5 - 15964/997*e^4 + 831928/28913*e^3 + 3380189/28913*e^2 + 1539893/28913*e - 413132/28913, -8522/86739*e^7 - 65915/173478*e^6 + 463675/173478*e^5 + 33253/2991*e^4 - 815425/57826*e^3 - 2301706/28913*e^2 - 9230119/173478*e + 156865/86739, 2727/57826*e^7 + 3810/28913*e^6 - 67549/57826*e^5 - 8255/1994*e^4 + 248779/57826*e^3 + 1877971/57826*e^2 + 2051819/57826*e - 25534/28913, -6685/173478*e^7 - 20059/86739*e^6 + 208891/173478*e^5 + 37313/5982*e^4 - 474873/57826*e^3 - 2313391/57826*e^2 - 3814129/173478*e - 401498/86739, 5798/86739*e^7 + 27970/86739*e^6 - 156236/86739*e^5 - 26479/2991*e^4 + 281105/28913*e^3 + 1688629/28913*e^2 + 2966765/86739*e + 451064/86739, 14447/173478*e^7 + 27805/173478*e^6 - 201889/86739*e^5 - 28045/5982*e^4 + 443023/28913*e^3 + 1966955/57826*e^2 + 646510/86739*e - 132368/86739, -37781/173478*e^7 - 119725/173478*e^6 + 530995/86739*e^5 + 123637/5982*e^4 - 1091021/28913*e^3 - 8979321/57826*e^2 - 5890099/86739*e + 1905158/86739, 9835/173478*e^7 + 28595/173478*e^6 - 127094/86739*e^5 - 31061/5982*e^4 + 175007/28913*e^3 + 2341107/57826*e^2 + 3675569/86739*e + 9398/86739, -50669/173478*e^7 - 152875/173478*e^6 + 755503/86739*e^5 + 157057/5982*e^4 - 1809385/28913*e^3 - 11312907/57826*e^2 - 2321599/86739*e + 3806798/86739, 19235/173478*e^7 + 65803/173478*e^6 - 281419/86739*e^5 - 64723/5982*e^4 + 656921/28913*e^3 + 4419271/57826*e^2 + 857371/86739*e - 1595750/86739, 19091/86739*e^7 + 139103/173478*e^6 - 1118065/173478*e^5 - 68410/2991*e^4 + 2570865/57826*e^3 + 4666821/28913*e^2 + 6239113/173478*e - 2944999/86739, -16023/57826*e^7 - 25917/28913*e^6 + 462293/57826*e^5 + 51667/1994*e^4 - 3043979/57826*e^3 - 10735635/57826*e^2 - 3880307/57826*e + 635571/28913, -8915/57826*e^7 - 30859/57826*e^6 + 137827/28913*e^5 + 30855/1994*e^4 - 1034619/28913*e^3 - 6399849/57826*e^2 - 360275/28913*e + 525938/28913, 6124/86739*e^7 + 24905/86739*e^6 - 167863/86739*e^5 - 25568/2991*e^4 + 292213/28913*e^3 + 1797218/28913*e^2 + 3716782/86739*e + 33964/86739, 159/997*e^7 + 441/997*e^6 - 4420/997*e^5 - 13107/997*e^4 + 27214/997*e^3 + 98103/997*e^2 + 40530/997*e - 18504/997, -18616/86739*e^7 - 57521/86739*e^6 + 552202/86739*e^5 + 57911/2991*e^4 - 1307473/28913*e^3 - 4074285/28913*e^2 - 2123590/86739*e + 1985516/86739, 7391/86739*e^7 + 76007/173478*e^6 - 434617/173478*e^5 - 38221/2991*e^4 + 954045/57826*e^3 + 2676270/28913*e^2 + 4771543/173478*e - 2498122/86739, -2647/86739*e^7 - 19405/173478*e^6 + 207971/173478*e^5 + 9971/2991*e^4 - 738247/57826*e^3 - 699267/28913*e^2 + 4108051/173478*e - 28051/86739, 20506/86739*e^7 + 67955/86739*e^6 - 596728/86739*e^5 - 69713/2991*e^4 + 1284601/28913*e^3 + 4981435/28913*e^2 + 6448966/86739*e - 1241690/86739, 12415/173478*e^7 + 37331/173478*e^6 - 162992/86739*e^5 - 38531/5982*e^4 + 281932/28913*e^3 + 2768039/57826*e^2 + 2383106/86739*e - 691750/86739, -19495/173478*e^7 - 45781/86739*e^6 + 549229/173478*e^5 + 90053/5982*e^4 - 1033039/57826*e^3 - 6142387/57826*e^2 - 11484367/173478*e + 1135216/86739, -19804/86739*e^7 - 59123/86739*e^6 + 572755/86739*e^5 + 58151/2991*e^4 - 1299705/28913*e^3 - 4012538/28913*e^2 - 2666488/86739*e + 2653010/86739, -4415/28913*e^7 - 14277/28913*e^6 + 124205/28913*e^5 + 14719/997*e^4 - 753916/28913*e^3 - 3166723/28913*e^2 - 1479193/28913*e + 410720/28913, 25040/86739*e^7 + 85459/86739*e^6 - 724379/86739*e^5 - 86017/2991*e^4 + 1578157/28913*e^3 + 5987041/28913*e^2 + 6784403/86739*e - 2183194/86739, -53683/173478*e^7 - 166577/173478*e^6 + 782378/86739*e^5 + 172067/5982*e^4 - 1771689/28913*e^3 - 12515699/57826*e^2 - 4894439/86739*e + 4234288/86739, -3685/28913*e^7 - 9788/28913*e^6 + 107925/28913*e^5 + 9939/997*e^4 - 711578/28913*e^3 - 2086209/28913*e^2 - 965983/28913*e - 112464/28913, -6181/86739*e^7 - 31553/86739*e^6 + 173887/86739*e^5 + 30776/2991*e^4 - 324842/28913*e^3 - 2081122/28913*e^2 - 3765172/86739*e + 979790/86739, -8369/86739*e^7 - 57617/173478*e^6 + 504379/173478*e^5 + 29506/2991*e^4 - 1194171/57826*e^3 - 2134647/28913*e^2 - 2679481/173478*e + 2101381/86739, -914/86739*e^7 + 7529/86739*e^6 + 23552/86739*e^5 - 5747/2991*e^4 - 46398/28913*e^3 + 213147/28913*e^2 + 161452/86739*e + 274354/86739, 2707/57826*e^7 + 18983/57826*e^6 - 36522/28913*e^5 - 19651/1994*e^4 + 103412/28913*e^3 + 4202599/57826*e^2 + 2075788/28913*e + 103622/28913, -12649/28913*e^7 - 40275/28913*e^6 + 362888/28913*e^5 + 40391/997*e^4 - 2370400/28913*e^3 - 8463450/28913*e^2 - 2962260/28913*e + 797408/28913, 27514/86739*e^7 + 204751/173478*e^6 - 1592771/173478*e^5 - 103637/2991*e^4 + 3377947/57826*e^3 + 7294125/28913*e^2 + 19368743/173478*e - 2742653/86739, 9056/86739*e^7 + 24478/86739*e^6 - 258599/86739*e^5 - 25687/2991*e^4 + 549808/28913*e^3 + 1892095/28913*e^2 + 2381771/86739*e - 1970890/86739, 269/86739*e^7 - 9713/86739*e^6 - 5603/86739*e^5 + 9110/2991*e^4 + 7392/28913*e^3 - 580097/28913*e^2 + 94454/86739*e + 1117088/86739, -6647/28913*e^7 - 42459/57826*e^6 + 380837/57826*e^5 + 21877/997*e^4 - 2458505/57826*e^3 - 4695411/28913*e^2 - 3313527/57826*e + 429426/28913, 2310/28913*e^7 + 3115/28913*e^6 - 73696/28913*e^5 - 3790/997*e^4 + 638961/28913*e^3 + 974626/28913*e^2 - 939362/28913*e - 228124/28913, -13385/173478*e^7 - 50029/173478*e^6 + 195988/86739*e^5 + 48133/5982*e^4 - 440362/28913*e^3 - 3178235/57826*e^2 - 1779847/86739*e - 272434/86739, 6589/173478*e^7 + 42617/173478*e^6 - 74264/86739*e^5 - 41765/5982*e^4 - 12975/28913*e^3 + 2748279/57826*e^2 + 6018374/86739*e + 743882/86739, -9931/173478*e^7 - 13048/86739*e^6 + 314551/173478*e^5 + 26609/5982*e^4 - 850837/57826*e^3 - 1906219/57826*e^2 + 1218437/173478*e - 360926/86739, -81115/173478*e^7 - 298193/173478*e^6 + 1177379/86739*e^5 + 296705/5982*e^4 - 2573050/28913*e^3 - 20436689/57826*e^2 - 11201870/86739*e + 3708490/86739, 1498/28913*e^7 - 2093/57826*e^6 - 102065/57826*e^5 + 926/997*e^4 + 1080519/57826*e^3 - 104638/28913*e^2 - 3405023/57826*e - 507858/28913, 26107/173478*e^7 + 82079/173478*e^6 - 407159/86739*e^5 - 84017/5982*e^4 + 1064547/28913*e^3 + 5998779/57826*e^2 - 428683/86739*e - 1644340/86739, 1175/28913*e^7 + 4651/28913*e^6 - 31353/28913*e^5 - 4457/997*e^4 + 173501/28913*e^3 + 909420/28913*e^2 + 292949/28913*e - 488026/28913, 202/997*e^7 + 786/997*e^6 - 5816/997*e^5 - 22201/997*e^4 + 37408/997*e^3 + 155541/997*e^2 + 59561/997*e - 39084/997, -2744/28913*e^7 - 8081/28913*e^6 + 84563/28913*e^5 + 8339/997*e^4 - 667538/28913*e^3 - 1827643/28913*e^2 + 234615/28913*e + 548198/28913, 51058/86739*e^7 + 161723/86739*e^6 - 1483639/86739*e^5 - 163319/2991*e^4 + 3305290/28913*e^3 + 11519198/28913*e^2 + 11221690/86739*e - 4923776/86739, -14793/57826*e^7 - 21145/28913*e^6 + 438823/57826*e^5 + 42657/1994*e^4 - 3080373/57826*e^3 - 8961779/57826*e^2 - 2227407/57826*e + 267683/28913, -14029/173478*e^7 - 32896/86739*e^6 + 446341/173478*e^5 + 67619/5982*e^4 - 1041911/57826*e^3 - 4723101/57826*e^2 - 6460543/173478*e - 577778/86739, -11246/28913*e^7 - 37945/28913*e^6 + 336352/28913*e^5 + 38033/997*e^4 - 2383611/28913*e^3 - 7963698/28913*e^2 - 1695100/28913*e + 1458706/28913, -32378/86739*e^7 - 105868/86739*e^6 + 920108/86739*e^5 + 108376/2991*e^4 - 1924152/28913*e^3 - 7715563/28913*e^2 - 9809201/86739*e + 1614358/86739, 7672/28913*e^7 + 24364/28913*e^6 - 234071/28913*e^5 - 25065/997*e^4 + 1753090/28913*e^3 + 5431524/28913*e^2 + 292264/28913*e - 1408804/28913, -16067/86739*e^7 - 61531/86739*e^6 + 479117/86739*e^5 + 62089/2991*e^4 - 1122528/28913*e^3 - 4400814/28913*e^2 - 3042662/86739*e + 3666730/86739, -16393/86739*e^7 - 58466/86739*e^6 + 490744/86739*e^5 + 58187/2991*e^4 - 1162549/28913*e^3 - 3988969/28913*e^2 - 2318116/86739*e + 1481660/86739, 12677/173478*e^7 + 17966/86739*e^6 - 413021/173478*e^5 - 37597/5982*e^4 + 1079567/57826*e^3 + 2771409/57826*e^2 + 1283207/173478*e - 1452695/86739, 1496/86739*e^7 + 52223/173478*e^6 - 74251/173478*e^5 - 23344/2991*e^4 + 39333/57826*e^3 + 1357186/28913*e^2 + 5289829/173478*e - 262288/86739, 10001/173478*e^7 + 29695/173478*e^6 - 140431/86739*e^5 - 28597/5982*e^4 + 298099/28913*e^3 + 1969801/57826*e^2 + 1187992/86739*e - 495902/86739, -2771/173478*e^7 - 17317/173478*e^6 + 27730/86739*e^5 + 14689/5982*e^4 - 18296/28913*e^3 - 879637/57826*e^2 - 693826/86739*e + 645068/86739, 1253/5982*e^7 + 4303/5982*e^6 - 18670/2991*e^5 - 123305/5982*e^4 + 43642/997*e^3 + 288275/1994*e^2 + 102211/2991*e - 55604/2991, 4189/57826*e^7 + 18353/57826*e^6 - 57008/28913*e^5 - 19467/1994*e^4 + 248336/28913*e^3 + 4257579/57826*e^2 + 2010946/28913*e - 411286/28913, -631/28913*e^7 - 8711/57826*e^6 + 43591/57826*e^5 + 3763/997*e^4 - 348777/57826*e^3 - 640571/28913*e^2 - 531155/57826*e + 19408/28913, 21742/86739*e^7 + 136615/173478*e^6 - 1294925/173478*e^5 - 67727/2991*e^4 + 3170141/57826*e^3 + 4731157/28913*e^2 + 383291/173478*e - 4073087/86739, -36967/86739*e^7 - 227617/173478*e^6 + 2166491/173478*e^5 + 114278/2991*e^4 - 5018311/57826*e^3 - 8006997/28913*e^2 - 8986373/173478*e + 4682957/86739, -35540/86739*e^7 - 104875/86739*e^6 + 1048847/86739*e^5 + 106054/2991*e^4 - 2472683/28913*e^3 - 7486527/28913*e^2 - 3655325/86739*e + 3525022/86739, -50482/86739*e^7 - 176717/86739*e^6 + 1468417/86739*e^5 + 178067/2991*e^4 - 3249478/28913*e^3 - 12480485/28913*e^2 - 12157042/86739*e + 5499074/86739, 44203/86739*e^7 + 262903/173478*e^6 - 2527259/173478*e^5 - 133142/2991*e^4 + 5480915/57826*e^3 + 9460306/28913*e^2 + 20094515/173478*e - 4427423/86739, 3157/57826*e^7 + 4538/28913*e^6 - 79515/57826*e^5 - 10497/1994*e^4 + 326791/57826*e^3 + 2611871/57826*e^2 + 1939041/57826*e - 605000/28913, 49454/86739*e^7 + 170950/86739*e^6 - 1432817/86739*e^5 - 170407/2991*e^4 + 3137822/28913*e^3 + 11778868/28913*e^2 + 12915626/86739*e - 3717646/86739, -4133/173478*e^7 + 937/86739*e^6 + 158315/173478*e^5 - 2861/5982*e^4 - 598645/57826*e^3 + 331757/57826*e^2 + 5659765/173478*e - 482350/86739, 61651/173478*e^7 + 219377/173478*e^6 - 902120/86739*e^5 - 221291/5982*e^4 + 1955331/28913*e^3 + 15452545/57826*e^2 + 10221425/86739*e - 2466988/86739, 59473/173478*e^7 + 108220/86739*e^6 - 1752103/173478*e^5 - 216863/5982*e^4 + 4050193/57826*e^3 + 15156147/57826*e^2 + 9906247/173478*e - 4413919/86739, 46633/173478*e^7 + 138671/173478*e^6 - 688319/86739*e^5 - 145325/5982*e^4 + 1569275/28913*e^3 + 10754685/57826*e^2 + 4449287/86739*e - 3290644/86739, 37912/86739*e^7 + 238051/173478*e^6 - 2211017/173478*e^5 - 120179/2991*e^4 + 4995439/57826*e^3 + 8489485/28913*e^2 + 14179139/173478*e - 3964088/86739, -3218/86739*e^7 - 19234/86739*e^6 + 84440/86739*e^5 + 19009/2991*e^4 - 96168/28913*e^3 - 1319523/28913*e^2 - 3903650/86739*e + 401854/86739, 869/57826*e^7 - 3647/57826*e^6 - 21572/28913*e^5 + 3037/1994*e^4 + 322370/28913*e^3 - 353151/57826*e^2 - 1581999/28913*e - 771792/28913, 51725/86739*e^7 + 337511/173478*e^6 - 3048913/173478*e^5 - 170896/2991*e^4 + 6950663/57826*e^3 + 12080435/28913*e^2 + 20689141/173478*e - 5951710/86739, 42893/86739*e^7 + 276893/173478*e^6 - 2524279/173478*e^5 - 140803/2991*e^4 + 5701703/57826*e^3 + 10021716/28913*e^2 + 18494185/173478*e - 4537744/86739, -66389/173478*e^7 - 242413/173478*e^6 + 937921/86739*e^5 + 238603/5982*e^4 - 1956585/28913*e^3 - 16314665/57826*e^2 - 9984976/86739*e + 3318350/86739, -25378/86739*e^7 - 92924/86739*e^6 + 732709/86739*e^5 + 95018/2991*e^4 - 1568743/28913*e^3 - 6793007/28913*e^2 - 8165476/86739*e + 2512412/86739, -12085/86739*e^7 - 102685/173478*e^6 + 659825/173478*e^5 + 50096/2991*e^4 - 1244483/57826*e^3 - 3352207/28913*e^2 - 9606683/173478*e - 970390/86739, 16079/173478*e^7 + 72061/173478*e^6 - 237910/86739*e^5 - 72001/5982*e^4 + 493177/28913*e^3 + 4924713/57826*e^2 + 3831856/86739*e - 575078/86739, 5677/173478*e^7 + 11494/86739*e^6 - 138883/173478*e^5 - 24239/5982*e^4 + 59159/57826*e^3 + 1791027/57826*e^2 + 8226643/173478*e - 513898/86739, 70525/173478*e^7 + 99901/86739*e^6 - 2098387/173478*e^5 - 205319/5982*e^4 + 4983749/57826*e^3 + 14906765/57826*e^2 + 7702309/173478*e - 5058544/86739, -20560/86739*e^7 - 143941/173478*e^6 + 1163783/173478*e^5 + 72443/2991*e^4 - 2297765/57826*e^3 - 5098223/28913*e^2 - 18490697/173478*e + 2060567/86739, 3063/57826*e^7 + 6665/28913*e^6 - 90885/57826*e^5 - 14607/1994*e^4 + 491015/57826*e^3 + 3267725/57826*e^2 + 2778369/57826*e + 366337/28913, 56887/173478*e^7 + 202439/173478*e^6 - 819293/86739*e^5 - 204437/5982*e^4 + 1807650/28913*e^3 + 14394983/57826*e^2 + 6478148/86739*e - 3344416/86739, 57901/86739*e^7 + 362929/173478*e^6 - 3413891/173478*e^5 - 183584/2991*e^4 + 7896941/57826*e^3 + 12967452/28913*e^2 + 19887095/173478*e - 5941706/86739, -62702/86739*e^7 - 432827/173478*e^6 + 3652585/173478*e^5 + 217042/2991*e^4 - 8120171/57826*e^3 - 15170533/28913*e^2 - 29210425/173478*e + 6619246/86739, 24025/86739*e^7 + 76643/86739*e^6 - 735805/86739*e^5 - 75137/2991*e^4 + 1902058/28913*e^3 + 5122928/28913*e^2 - 1748354/86739*e - 4397750/86739, 7267/57826*e^7 + 30389/57826*e^6 - 104004/28913*e^5 - 29515/1994*e^4 + 722810/28913*e^3 + 5897485/57826*e^2 + 281611/28913*e - 488772/28913, 16019/173478*e^7 + 53075/86739*e^6 - 492305/173478*e^5 - 106189/5982*e^4 + 1002225/57826*e^3 + 7307167/57826*e^2 + 11881247/173478*e - 2529563/86739, 19915/57826*e^7 + 27665/28913*e^6 - 578399/57826*e^5 - 56119/1994*e^4 + 3951259/57826*e^3 + 11765127/57826*e^2 + 2692243/57826*e - 204454/28913, -20985/57826*e^7 - 69039/57826*e^6 + 308458/28913*e^5 + 68561/1994*e^4 - 2151025/28913*e^3 - 14267773/57826*e^2 - 1362809/28913*e + 1447352/28913, -11025/57826*e^7 - 15976/28913*e^6 + 317561/57826*e^5 + 32953/1994*e^4 - 2172997/57826*e^3 - 7085573/57826*e^2 - 857701/57826*e + 591699/28913, -19010/28913*e^7 - 141513/57826*e^6 + 1119205/57826*e^5 + 71294/997*e^4 - 7589607/57826*e^3 - 15007306/28913*e^2 - 8648971/57826*e + 2656356/28913, -2899/173478*e^7 - 13985/173478*e^6 + 39059/86739*e^5 + 8753/5982*e^4 - 91961/28913*e^3 - 107033/57826*e^2 + 364231/86739*e - 459722/86739, -22045/57826*e^7 - 73973/57826*e^6 + 321862/28913*e^5 + 74737/1994*e^4 - 2178595/28913*e^3 - 15735345/57826*e^2 - 2200794/28913*e + 1295674/28913, -24683/173478*e^7 - 37889/86739*e^6 + 714041/173478*e^5 + 78271/5982*e^4 - 1624883/57826*e^3 - 5703251/57826*e^2 - 3103073/173478*e + 642377/86739, -685/28913*e^7 - 8371/28913*e^6 + 6959/28913*e^5 + 8487/997*e^4 + 232767/28913*e^3 - 1742673/28913*e^2 - 2628265/28913*e - 289322/28913, -16705/86739*e^7 - 72029/86739*e^6 + 491761/86739*e^5 + 73628/2991*e^4 - 1091585/28913*e^3 - 5293405/28913*e^2 - 5281027/86739*e + 3707156/86739, -10775/173478*e^7 - 7484/86739*e^6 + 285053/173478*e^5 + 15883/5982*e^4 - 486875/57826*e^3 - 1137969/57826*e^2 - 5521109/173478*e - 2208184/86739, -5489/57826*e^7 - 15748/28913*e^6 + 161623/57826*e^5 + 32459/1994*e^4 - 1026359/57826*e^3 - 7147397/57826*e^2 - 2619223/57826*e + 1404698/28913, 14706/28913*e^7 + 105373/57826*e^6 - 882083/57826*e^5 - 52549/997*e^4 + 6359541/57826*e^3 + 10989836/28913*e^2 + 3371229/57826*e - 2661530/28913, 21371/86739*e^7 + 150509/173478*e^6 - 1253029/173478*e^5 - 76333/2991*e^4 + 2868145/57826*e^3 + 5411910/28913*e^2 + 8895967/173478*e - 2814568/86739, 28328/86739*e^7 + 108292/86739*e^6 - 861869/86739*e^5 - 107014/2991*e^4 + 2084685/28913*e^3 + 7312320/28913*e^2 + 4394228/86739*e - 3084358/86739, -85469/173478*e^7 - 122243/86739*e^6 + 2445125/173478*e^5 + 254059/5982*e^4 - 5198139/57826*e^3 - 18527933/57826*e^2 - 23855495/173478*e + 3710750/86739, -1085/173478*e^7 - 12415/173478*e^6 + 20812/86739*e^5 + 15859/5982*e^4 - 86599/28913*e^3 - 1563781/57826*e^2 + 528575/86739*e + 3219110/86739, -60521/173478*e^7 - 105422/86739*e^6 + 1753295/173478*e^5 + 213127/5982*e^4 - 3742139/57826*e^3 - 14880497/57826*e^2 - 19567235/173478*e + 518579/86739, 43474/86739*e^7 + 284593/173478*e^6 - 2537519/173478*e^5 - 144143/2991*e^4 + 5805863/57826*e^3 + 10254534/28913*e^2 + 13506323/173478*e - 7033976/86739, -87427/173478*e^7 - 285677/173478*e^6 + 1264397/86739*e^5 + 288131/5982*e^4 - 2784886/28913*e^3 - 20235369/57826*e^2 - 9763328/86739*e + 5229400/86739, 6427/86739*e^7 + 61141/173478*e^6 - 386075/173478*e^5 - 30584/2991*e^4 + 820237/57826*e^3 + 2166611/28913*e^2 + 7295201/173478*e - 2907986/86739, 21161/173478*e^7 + 10544/86739*e^6 - 597473/173478*e^5 - 22513/5982*e^4 + 1373969/57826*e^3 + 1838343/57826*e^2 + 386993/173478*e - 1699187/86739, 8659/173478*e^7 + 37523/173478*e^6 - 115169/86739*e^5 - 40733/5982*e^4 + 197543/28913*e^3 + 3100231/57826*e^2 + 2678780/86739*e + 40130/86739, 28315/86739*e^7 + 111341/86739*e^6 - 814843/86739*e^5 - 113225/2991*e^4 + 1678041/28913*e^3 + 8081989/28913*e^2 + 11603833/86739*e - 4292714/86739, 56891/173478*e^7 + 148123/173478*e^6 - 833200/86739*e^5 - 151909/5982*e^4 + 1996983/28913*e^3 + 11128969/57826*e^2 + 511594/86739*e - 5440418/86739, 32051/173478*e^7 + 61256/86739*e^6 - 944897/173478*e^5 - 122419/5982*e^4 + 2093051/57826*e^3 + 8351195/57826*e^2 + 8746379/173478*e - 117998/86739, 14539/28913*e^7 + 50709/28913*e^6 - 436327/28913*e^5 - 51196/997*e^4 + 3140261/28913*e^3 + 10837944/28913*e^2 + 1620688/28913*e - 2250970/28913, -18015/28913*e^7 - 65034/28913*e^6 + 522164/28913*e^5 + 64970/997*e^4 - 3492920/28913*e^3 - 13617725/28913*e^2 - 3768152/28913*e + 2642706/28913, 126181/173478*e^7 + 232051/86739*e^6 - 3634267/173478*e^5 - 462731/5982*e^4 + 7817783/57826*e^3 + 32018303/57826*e^2 + 36243091/173478*e - 6397921/86739, 3884/86739*e^7 + 79691/173478*e^6 - 149869/173478*e^5 - 39718/2991*e^4 - 264087/57826*e^3 + 2711720/28913*e^2 + 19826125/173478*e - 988960/86739, -18793/57826*e^7 - 53817/57826*e^6 + 262628/28913*e^5 + 54563/1994*e^4 - 1615584/28913*e^3 - 11559389/57826*e^2 - 2651055/28913*e + 800008/28913, 11953/57826*e^7 + 65621/57826*e^6 - 161405/28913*e^5 - 63695/1994*e^4 + 802139/28913*e^3 + 12631185/57826*e^2 + 4084605/28913*e - 55982/28913, -4936/28913*e^7 - 23303/28913*e^6 + 147310/28913*e^5 + 23334/997*e^4 - 957769/28913*e^3 - 4825157/28913*e^2 - 1959538/28913*e + 397236/28913, 6963/28913*e^7 + 23846/28913*e^6 - 204793/28913*e^5 - 24670/997*e^4 + 1357251/28913*e^3 + 5402841/28913*e^2 + 2155574/28913*e - 1411282/28913, 93985/173478*e^7 + 157774/86739*e^6 - 2678611/173478*e^5 - 315257/5982*e^4 + 5746221/57826*e^3 + 21883231/57826*e^2 + 23774707/173478*e - 1816156/86739, 51530/86739*e^7 + 171121/86739*e^6 - 1469609/86739*e^5 - 171340/2991*e^4 + 3172728/28913*e^3 + 11973531/28913*e^2 + 12363479/86739*e - 6208816/86739, -47354/86739*e^7 - 149719/86739*e^6 + 1402619/86739*e^5 + 149650/2991*e^4 - 3346351/28913*e^3 - 10478581/28913*e^2 - 4138934/86739*e + 6780058/86739, -1275/57826*e^7 - 2831/28913*e^6 + 32791/57826*e^5 + 7297/1994*e^4 - 65233/57826*e^3 - 2036913/57826*e^2 - 2429145/57826*e + 860880/28913, -21301/173478*e^7 - 14143/86739*e^6 + 703573/173478*e^5 + 32471/5982*e^4 - 2079037/57826*e^3 - 2601593/57826*e^2 + 8037185/173478*e + 376978/86739, -16745/86739*e^7 - 185345/173478*e^6 + 932629/173478*e^5 + 92710/2991*e^4 - 1574111/57826*e^3 - 6403649/28913*e^2 - 25437991/173478*e + 2170957/86739, 19999/173478*e^7 + 100127/173478*e^6 - 248747/86739*e^5 - 99581/5982*e^4 + 244579/28913*e^3 + 6924003/57826*e^2 + 10797524/86739*e + 536828/86739, 49867/57826*e^7 + 171945/57826*e^6 - 728341/28913*e^5 - 172565/1994*e^4 + 4926685/28913*e^3 + 36323223/57826*e^2 + 5029210/28913*e - 3288418/28913, 50075/86739*e^7 + 152074/86739*e^6 - 1457360/86739*e^5 - 153946/2991*e^4 + 3362437/28913*e^3 + 10924542/28913*e^2 + 5759573/86739*e - 7713544/86739, 13763/173478*e^7 + 17384/86739*e^6 - 418229/173478*e^5 - 37333/5982*e^4 + 1043845/57826*e^3 + 2954883/57826*e^2 + 972557/173478*e - 2637005/86739, -12349/57826*e^7 - 18621/28913*e^6 + 387487/57826*e^5 + 37853/1994*e^4 - 3186725/57826*e^3 - 8145749/57826*e^2 + 2434373/57826*e + 1294838/28913, -48979/86739*e^7 - 317839/173478*e^6 + 2851973/173478*e^5 + 162899/2991*e^4 - 6377551/57826*e^3 - 11677853/28913*e^2 - 21237149/173478*e + 6401201/86739, -48949/173478*e^7 - 87982/86739*e^6 + 1434229/173478*e^5 + 174011/5982*e^4 - 3312363/57826*e^3 - 12088429/57826*e^2 - 6915829/173478*e + 5565667/86739, 3443/57826*e^7 + 28737/57826*e^6 - 51066/28913*e^5 - 25399/1994*e^4 + 297124/28913*e^3 + 4204073/57826*e^2 + 1420376/28913*e + 1006064/28913, -39603/57826*e^7 - 128315/57826*e^6 + 577056/28913*e^5 + 129121/1994*e^4 - 3875800/28913*e^3 - 27258555/57826*e^2 - 4240885/28913*e + 2418330/28913, -6385/173478*e^7 - 37085/173478*e^6 + 145658/86739*e^5 + 40757/5982*e^4 - 566244/28913*e^3 - 3180895/57826*e^2 + 2988640/86739*e + 2692024/86739, 7715/86739*e^7 + 18727/86739*e^6 - 258398/86739*e^5 - 18709/2991*e^4 + 804775/28913*e^3 + 1266349/28913*e^2 - 4385572/86739*e - 298786/86739, -26475/28913*e^7 - 86956/28913*e^6 + 771036/28913*e^5 + 86891/997*e^4 - 5250996/28913*e^3 - 18199465/28913*e^2 - 4587865/28913*e + 3253628/28913, -691/173478*e^7 + 15277/173478*e^6 - 4573/86739*e^5 - 14473/5982*e^4 + 130664/28913*e^3 + 1166613/57826*e^2 - 3510263/86739*e - 3650648/86739, -19406/86739*e^7 - 85747/86739*e^6 + 580910/86739*e^5 + 86329/2991*e^4 - 1267164/28913*e^3 - 5935982/28913*e^2 - 7931642/86739*e - 12446/86739, -32071/173478*e^7 - 111149/173478*e^6 + 498614/86739*e^5 + 111023/5982*e^4 - 1255909/28913*e^3 - 7749797/57826*e^2 - 1993313/86739*e + 2097586/86739, 29407/57826*e^7 + 86529/57826*e^6 - 430886/28913*e^5 - 88007/1994*e^4 + 2997434/28913*e^3 + 18859965/57826*e^2 + 1944470/28913*e - 2137720/28913, 28955/173478*e^7 + 94681/173478*e^6 - 420697/86739*e^5 - 89527/5982*e^4 + 961585/28913*e^3 + 5780271/57826*e^2 + 2203042/86739*e - 1566530/86739, 28651/86739*e^7 + 205189/173478*e^6 - 1705271/173478*e^5 - 103625/2991*e^4 + 4028369/57826*e^3 + 7311619/28913*e^2 + 8845355/173478*e - 3306581/86739, 20760/28913*e^7 + 147985/57826*e^6 - 1227361/57826*e^5 - 74135/997*e^4 + 8426307/57826*e^3 + 15525745/28913*e^2 + 8820291/57826*e - 2879994/28913, -2222/28913*e^7 - 12634/28913*e^6 + 68961/28913*e^5 + 13853/997*e^4 - 454359/28913*e^3 - 3211436/28913*e^2 - 1227449/28913*e + 1046070/28913, 6597/28913*e^7 + 20724/28913*e^6 - 204156/28913*e^5 - 20457/997*e^4 + 1558060/28913*e^3 + 4146121/28913*e^2 + 342905/28913*e - 304080/28913, -5617/28913*e^7 - 27415/57826*e^6 + 339649/57826*e^5 + 13562/997*e^4 - 2676481/57826*e^3 - 2834588/28913*e^2 + 2550081/57826*e + 715468/28913, -64237/173478*e^7 - 116689/86739*e^6 + 1917757/173478*e^5 + 233717/5982*e^4 - 4634685/57826*e^3 - 16387187/57826*e^2 - 5249341/173478*e + 5011054/86739, -52304/86739*e^7 - 156394/86739*e^6 + 1473800/86739*e^5 + 158626/2991*e^4 - 3092318/28913*e^3 - 11199525/28913*e^2 - 13426868/86739*e + 1841512/86739, 1861/28913*e^7 - 557/28913*e^6 - 59722/28913*e^5 + 188/997*e^4 + 499407/28913*e^3 - 14265/28913*e^2 - 495758/28913*e + 921770/28913, -335/57826*e^7 - 19289/57826*e^6 + 963/28913*e^5 + 16493/1994*e^4 + 143762/28913*e^3 - 2465897/57826*e^2 - 1956109/28913*e - 872502/28913, -39963/57826*e^7 - 63086/28913*e^6 + 1141941/57826*e^5 + 129375/1994*e^4 - 7263531/57826*e^3 - 27917361/57826*e^2 - 11598039/57826*e + 1533795/28913, -39449/173478*e^7 - 54416/86739*e^6 + 1124141/173478*e^5 + 107599/5982*e^4 - 2423175/57826*e^3 - 7465959/57826*e^2 - 8160815/173478*e + 2736479/86739, 11495/57826*e^7 + 39595/57826*e^6 - 173725/28913*e^5 - 40319/1994*e^4 + 1268655/28913*e^3 + 8490209/57826*e^2 + 715853/28913*e - 128392/28913, -6111/28913*e^7 - 26995/57826*e^6 + 328413/57826*e^5 + 14830/997*e^4 - 1771019/57826*e^3 - 3421537/28913*e^2 - 4938669/57826*e + 17872/28913, -127633/173478*e^7 - 437147/173478*e^6 + 1877882/86739*e^5 + 441755/5982*e^4 - 4271982/28913*e^3 - 31194309/57826*e^2 - 12974303/86739*e + 7846702/86739, 991/86739*e^7 - 12244/86739*e^6 + 4832/86739*e^5 + 14926/2991*e^4 - 80466/28913*e^3 - 1311292/28913*e^2 - 1143038/86739*e + 4640962/86739, 14945/173478*e^7 + 31105/173478*e^6 - 241900/86739*e^5 - 32617/5982*e^4 + 638821/28913*e^3 + 2183035/57826*e^2 + 209638/86739*e + 2688682/86739, -477/28913*e^7 + 671/28913*e^6 + 6281/28913*e^5 - 810/997*e^4 + 61926/28913*e^3 + 230113/28913*e^2 - 566252/28913*e - 1310378/28913, 16171/86739*e^7 + 37139/86739*e^6 - 508369/86739*e^5 - 36329/2991*e^4 + 1397641/28913*e^3 + 2522586/28913*e^2 - 3718385/86739*e - 3367694/86739, -46628/86739*e^7 - 326393/173478*e^6 + 2683741/173478*e^5 + 166120/2991*e^4 - 5735217/57826*e^3 - 11815794/28913*e^2 - 26552341/173478*e + 6285406/86739, 58451/173478*e^7 + 107969/86739*e^6 - 1671485/173478*e^5 - 220141/5982*e^4 + 3494581/57826*e^3 + 15685065/57826*e^2 + 19654259/173478*e - 4151777/86739, 52366/86739*e^7 + 181886/86739*e^6 - 1557961/86739*e^5 - 181922/2991*e^4 + 3699475/28913*e^3 + 12735360/28913*e^2 + 6799078/86739*e - 8355488/86739, 3701/57826*e^7 - 5085/57826*e^6 - 66221/28913*e^5 + 6755/1994*e^4 + 777353/28913*e^3 - 1774273/57826*e^2 - 3129668/28913*e - 521266/28913, -5261/28913*e^7 - 38721/57826*e^6 + 303967/57826*e^5 + 19603/997*e^4 - 2050273/57826*e^3 - 4232070/28913*e^2 - 1757635/57826*e + 2195027/28913, 21160/28913*e^7 + 63580/28913*e^6 - 633889/28913*e^5 - 64558/997*e^4 + 4604102/28913*e^3 + 13790509/28913*e^2 + 1693316/28913*e - 3246676/28913, -15451/173478*e^7 - 99251/173478*e^6 + 222986/86739*e^5 + 99629/5982*e^4 - 345895/28913*e^3 - 6796201/57826*e^2 - 8743757/86739*e - 2011640/86739, 54298/86739*e^7 + 371611/173478*e^6 - 3181895/173478*e^5 - 186542/2991*e^4 + 7180639/57826*e^3 + 13033008/28913*e^2 + 23630435/173478*e - 5829512/86739, -11525/28913*e^7 - 37007/28913*e^6 + 324751/28913*e^5 + 37183/997*e^4 - 2065352/28913*e^3 - 7865654/28913*e^2 - 2604564/28913*e + 1916424/28913, 3181/86739*e^7 + 1223/86739*e^6 - 130747/86739*e^5 + 586/2991*e^4 + 511219/28913*e^3 - 288604/28913*e^2 - 3766880/86739*e + 2377498/86739, 15141/57826*e^7 + 29265/28913*e^6 - 429949/57826*e^5 - 58921/1994*e^4 + 2624957/57826*e^3 + 12472577/57826*e^2 + 5898053/57826*e - 786000/28913, 24279/57826*e^7 + 97137/57826*e^6 - 354694/28913*e^5 - 95511/1994*e^4 + 2331622/28913*e^3 + 19448697/57826*e^2 + 3491459/28913*e - 1659116/28913, -4515/28913*e^7 - 15288/28913*e^6 + 125643/28913*e^5 + 16562/997*e^4 - 616735/28913*e^3 - 3802695/28913*e^2 - 3528650/28913*e + 430108/28913, -2917/86739*e^7 + 27179/173478*e^6 + 146345/173478*e^5 - 9280/2991*e^4 - 161713/57826*e^3 + 307008/28913*e^2 - 4859933/173478*e - 1311484/86739, -5335/28913*e^7 - 52939/57826*e^6 + 292217/57826*e^5 + 25892/997*e^4 - 1464437/57826*e^3 - 5149106/28913*e^2 - 7574575/57826*e - 341909/28913, 22589/28913*e^7 + 148537/57826*e^6 - 1306563/57826*e^5 - 74434/997*e^4 + 8712605/57826*e^3 + 15628325/28913*e^2 + 9494005/57826*e - 2279315/28913, 52375/86739*e^7 + 379567/173478*e^6 - 3067607/173478*e^5 - 189356/2991*e^4 + 6847733/57826*e^3 + 13121056/28913*e^2 + 26081027/173478*e - 6684905/86739, -126037/173478*e^7 - 424481/173478*e^6 + 1793546/86739*e^5 + 427535/5982*e^4 - 3757350/28913*e^3 - 29837161/57826*e^2 - 19235963/86739*e + 4756738/86739, -124639/173478*e^7 - 206041/86739*e^6 + 3580867/173478*e^5 + 415349/5982*e^4 - 7765951/57826*e^3 - 29100989/57826*e^2 - 30615325/173478*e + 4107721/86739, 18033/57826*e^7 + 80829/57826*e^6 - 251381/28913*e^5 - 80835/1994*e^4 + 1425612/28913*e^3 + 16799291/57826*e^2 + 4554756/28913*e - 1269898/28913, 700/997*e^7 + 2092/997*e^6 - 20036/997*e^5 - 61071/997*e^4 + 132445/997*e^3 + 445858/997*e^2 + 127982/997*e - 59944/997, 33145/86739*e^7 + 99455/86739*e^6 - 918994/86739*e^5 - 100847/2991*e^4 + 1860532/28913*e^3 + 7149155/28913*e^2 + 9810562/86739*e - 1273856/86739, -56629/57826*e^7 - 178435/57826*e^6 + 833051/28913*e^5 + 180759/1994*e^4 - 5752285/28913*e^3 - 38465485/57826*e^2 - 4522767/28913*e + 3667518/28913, 4568/28913*e^7 + 18426/28913*e^6 - 132766/28913*e^5 - 18466/997*e^4 + 792970/28913*e^3 + 3812465/28913*e^2 + 2239081/28913*e - 432288/28913, -1211/173478*e^7 - 36241/173478*e^6 - 18182/86739*e^5 + 36187/5982*e^4 + 324728/28913*e^3 - 2337445/57826*e^2 - 8942938/86739*e - 1796068/86739, -29411/173478*e^7 - 30563/86739*e^6 + 802847/173478*e^5 + 71371/5982*e^4 - 1519203/57826*e^3 - 5911941/57826*e^2 - 11298629/173478*e + 1631552/86739, -11116/28913*e^7 - 39522/28913*e^6 + 328700/28913*e^5 + 41320/997*e^4 - 2269925/28913*e^3 - 9137714/28913*e^2 - 2231475/28913*e + 2497500/28913, 4219/86739*e^7 + 2617/173478*e^6 - 211547/173478*e^5 - 1376/2991*e^4 + 450171/57826*e^3 + 83401/28913*e^2 - 1493743/173478*e + 3560605/86739, -23339/86739*e^7 - 134789/173478*e^6 + 1385959/173478*e^5 + 65824/2991*e^4 - 3307353/57826*e^3 - 4389955/28913*e^2 - 4759609/173478*e - 668966/86739, 117731/173478*e^7 + 182108/86739*e^6 - 3426017/173478*e^5 - 366319/5982*e^4 + 7879655/57826*e^3 + 25805219/57826*e^2 + 14987333/173478*e - 8788121/86739, 38150/86739*e^7 + 193133/173478*e^6 - 2224801/173478*e^5 - 102412/2991*e^4 + 5068065/57826*e^3 + 7647448/28913*e^2 + 11281069/173478*e - 3753484/86739, -226/28913*e^7 + 4076/28913*e^6 + 10189/28913*e^5 - 3751/997*e^4 - 141592/28913*e^3 + 657161/28913*e^2 + 403137/28913*e - 122722/28913, 1991/1994*e^7 + 6839/1994*e^6 - 28702/997*e^5 - 200319/1994*e^4 + 186408/997*e^3 + 1459751/1994*e^2 + 275053/997*e - 92490/997, 39253/57826*e^7 + 139233/57826*e^6 - 560083/28913*e^5 - 137127/1994*e^4 + 3602661/28913*e^3 + 28039605/57826*e^2 + 5388839/28913*e - 1835054/28913, -559/997*e^7 - 3985/1994*e^6 + 31311/1994*e^5 + 58402/997*e^4 - 184287/1994*e^3 - 423666/997*e^2 - 449941/1994*e + 33245/997, -101633/173478*e^7 - 188339/86739*e^6 + 2948189/173478*e^5 + 379321/5982*e^4 - 6352353/57826*e^3 - 26635935/57826*e^2 - 31478759/173478*e + 7321259/86739, -41107/173478*e^7 - 73495/86739*e^6 + 1290235/173478*e^5 + 151097/5982*e^4 - 3336771/57826*e^3 - 10908289/57826*e^2 + 61181/173478*e + 4052569/86739, -1565/57826*e^7 - 28833/57826*e^6 + 12698/28913*e^5 + 27497/1994*e^4 + 190872/28913*e^3 - 5222795/57826*e^2 - 3274080/28913*e - 504614/28913, 1878/28913*e^7 - 96/28913*e^6 - 47823/28913*e^5 + 104/997*e^4 + 253167/28913*e^3 - 6767/28913*e^2 + 600629/28913*e + 655944/28913, 23707/57826*e^7 + 43364/28913*e^6 - 693067/57826*e^5 - 89635/1994*e^4 + 4619851/57826*e^3 + 19444723/57826*e^2 + 6364929/57826*e - 2018857/28913, -2384/2991*e^7 - 8230/2991*e^6 + 69815/2991*e^5 + 239450/2991*e^4 - 157554/997*e^3 - 574722/997*e^2 - 489560/2991*e + 237526/2991, -96589/173478*e^7 - 172672/86739*e^6 + 2743813/173478*e^5 + 342551/5982*e^4 - 5629897/57826*e^3 - 23704917/57826*e^2 - 36156655/173478*e + 5291809/86739, -3001/173478*e^7 - 16751/173478*e^6 + 3362/86739*e^5 + 21221/5982*e^4 + 298844/28913*e^3 - 1741157/57826*e^2 - 8562965/86739*e - 1050068/86739, -110989/173478*e^7 - 404189/173478*e^6 + 1605551/86739*e^5 + 410537/5982*e^4 - 3411403/28913*e^3 - 29019437/57826*e^2 - 19006952/86739*e + 6254050/86739, -12626/86739*e^7 - 34549/86739*e^6 + 361979/86739*e^5 + 37345/2991*e^4 - 776460/28913*e^3 - 2879563/28913*e^2 - 3198386/86739*e - 320780/86739, 135347/173478*e^7 + 191357/86739*e^6 - 3963839/173478*e^5 - 392839/5982*e^4 + 9095051/57826*e^3 + 28174017/57826*e^2 + 20382839/173478*e - 5346989/86739, 12605/28913*e^7 + 30578/28913*e^6 - 374977/28913*e^5 - 31963/997*e^4 + 2682881/28913*e^3 + 7066424/28913*e^2 + 1053170/28913*e - 1119642/28913, -6541/86739*e^7 - 497/86739*e^6 + 161716/86739*e^5 + 5108/2991*e^4 - 229616/28913*e^3 - 826161/28913*e^2 - 3007099/86739*e + 772022/86739, -30163/86739*e^7 - 256579/173478*e^6 + 1741817/173478*e^5 + 126227/2991*e^4 - 3714209/57826*e^3 - 8615599/28913*e^2 - 20415167/173478*e + 4897343/86739, 5180/28913*e^7 + 41131/57826*e^6 - 305107/57826*e^5 - 20493/997*e^4 + 2100763/57826*e^3 + 4111306/28913*e^2 + 1796627/57826*e + 1874/28913, -3800/86739*e^7 - 9505/86739*e^6 + 141383/86739*e^5 + 9217/2991*e^4 - 488675/28913*e^3 - 576816/28913*e^2 + 1920514/86739*e + 389788/86739, 41780/86739*e^7 + 115918/86739*e^6 - 1242665/86739*e^5 - 118765/2991*e^4 + 2874922/28913*e^3 + 8478763/28913*e^2 + 7747541/86739*e - 675448/86739, -50701/86739*e^7 - 390823/173478*e^6 + 3033341/173478*e^5 + 194456/2991*e^4 - 7137727/57826*e^3 - 13519535/28913*e^2 - 18983975/173478*e + 8102069/86739, 7566/28913*e^7 + 18088/28913*e^6 - 219825/28913*e^5 - 18266/997*e^4 + 1487359/28913*e^3 + 3821769/28913*e^2 + 992057/28913*e + 41206/28913, 86831/173478*e^7 + 156017/86739*e^6 - 2634719/173478*e^5 - 320257/5982*e^4 + 6425191/57826*e^3 + 23156965/57826*e^2 + 9261785/173478*e - 10823537/86739, 2599/57826*e^7 + 5476/28913*e^6 - 102717/57826*e^5 - 12197/1994*e^4 + 1194613/57826*e^3 + 3039263/57826*e^2 - 2713361/57826*e - 1766410/28913, 22267/57826*e^7 + 66387/57826*e^6 - 327506/28913*e^5 - 68679/1994*e^4 + 2230739/28913*e^3 + 14959067/57826*e^2 + 2313288/28913*e - 612874/28913, -17675/86739*e^7 - 82715/173478*e^6 + 1028767/173478*e^5 + 44347/2991*e^4 - 2325369/57826*e^3 - 3361648/28913*e^2 - 6674455/173478*e + 651181/86739, 25459/173478*e^7 + 60316/86739*e^6 - 732139/173478*e^5 - 111077/5982*e^4 + 1531415/57826*e^3 + 6794711/57826*e^2 + 9909673/173478*e + 233057/86739, -2512/28913*e^7 - 6892/28913*e^6 + 61566/28913*e^5 + 8131/997*e^4 - 209773/28913*e^3 - 1973629/28913*e^2 - 2050382/28913*e - 759702/28913, -49235/173478*e^7 - 195625/173478*e^6 + 757336/86739*e^5 + 198883/5982*e^4 - 1777859/28913*e^3 - 13891335/57826*e^2 - 6944635/86739*e - 179956/86739, -62363/173478*e^7 - 265897/173478*e^6 + 862135/86739*e^5 + 263047/5982*e^4 - 1568178/28913*e^3 - 17913349/57826*e^2 - 17753422/86739*e + 1189820/86739, 38506/86739*e^7 + 239653/173478*e^6 - 2318309/173478*e^5 - 120299/2991*e^4 + 5681583/57826*e^3 + 8559807/28913*e^2 + 3792923/173478*e - 8981741/86739, 751/28913*e^7 - 11993/57826*e^6 - 35477/57826*e^5 + 4793/997*e^4 + 216151/57826*e^3 - 643303/28913*e^2 - 1246399/57826*e - 268195/28913, -72173/173478*e^7 - 287011/173478*e^6 + 1097473/86739*e^5 + 284425/5982*e^4 - 2706644/28913*e^3 - 19661749/57826*e^2 - 3076885/86739*e + 7466576/86739, 24271/57826*e^7 + 90117/57826*e^6 - 355793/28913*e^5 - 88903/1994*e^4 + 2467796/28913*e^3 + 18343073/57826*e^2 + 1719805/28913*e - 1804062/28913, -30356/86739*e^7 - 219425/173478*e^6 + 1736959/173478*e^5 + 110173/2991*e^4 - 3854011/57826*e^3 - 7868992/28913*e^2 - 11396353/173478*e + 8529226/86739, -33607/173478*e^7 - 71165/173478*e^6 + 461084/86739*e^5 + 69701/5982*e^4 - 896630/28913*e^3 - 4608105/57826*e^2 - 5083127/86739*e - 3700340/86739, -2246/86739*e^7 + 19351/173478*e^6 + 95821/173478*e^5 - 9194/2991*e^4 - 76253/57826*e^3 + 551357/28913*e^2 - 2116735/173478*e - 1500560/86739, -78359/173478*e^7 - 250669/173478*e^6 + 1136746/86739*e^5 + 255523/5982*e^4 - 2520243/28913*e^3 - 18224157/57826*e^2 - 8820718/86739*e + 3593984/86739, 17981/86739*e^7 + 99311/173478*e^6 - 1120837/173478*e^5 - 48850/2991*e^4 + 2840049/57826*e^3 + 3233158/28913*e^2 + 2427931/173478*e + 1936766/86739, -23833/173478*e^7 - 81641/173478*e^6 + 350909/86739*e^5 + 78059/5982*e^4 - 797162/28913*e^3 - 5096401/57826*e^2 - 2404319/86739*e + 559978/86739, -51947/86739*e^7 - 380165/173478*e^6 + 3013663/173478*e^5 + 192754/2991*e^4 - 6364827/57826*e^3 - 13517905/28913*e^2 - 39527785/173478*e + 2764591/86739, -6569/28913*e^7 - 25067/28913*e^6 + 182936/28913*e^5 + 24248/997*e^4 - 1094541/28913*e^3 - 4873604/28913*e^2 - 2311088/28913*e + 1376528/28913, -44456/86739*e^7 - 331049/173478*e^6 + 2489431/173478*e^5 + 169639/2991*e^4 - 4779411/57826*e^3 - 12171671/28913*e^2 - 40805791/173478*e + 4670770/86739, 65479/57826*e^7 + 97813/28913*e^6 - 1909017/57826*e^5 - 200795/1994*e^4 + 12765227/57826*e^3 + 43168215/57826*e^2 + 14588069/57826*e - 2993048/28913, -62683/173478*e^7 - 85414/86739*e^6 + 1780915/173478*e^5 + 176423/5982*e^4 - 3735985/57826*e^3 - 12743583/57826*e^2 - 16858753/173478*e + 1376971/86739, 53253/57826*e^7 + 165121/57826*e^6 - 776395/28913*e^5 - 167831/1994*e^4 + 5160409/28913*e^3 + 35483199/57826*e^2 + 6512130/28913*e - 1226130/28913, 39943/173478*e^7 + 79709/173478*e^6 - 544805/86739*e^5 - 86933/5982*e^4 + 1145770/28913*e^3 + 6900233/57826*e^2 + 2280644/86739*e - 2416594/86739, 104959/173478*e^7 + 158602/86739*e^6 - 3089695/173478*e^5 - 317051/5982*e^4 + 7535995/57826*e^3 + 22319695/57826*e^2 - 1440197/173478*e - 9208453/86739, 49310/86739*e^7 + 349397/173478*e^6 - 2858023/173478*e^5 - 177085/2991*e^4 + 6103173/57826*e^3 + 12575765/28913*e^2 + 32110441/173478*e - 5813098/86739, -13621/86739*e^7 - 54728/86739*e^6 + 384961/86739*e^5 + 53639/2991*e^4 - 785530/28913*e^3 - 3593336/28913*e^2 - 5648521/86739*e - 1637128/86739, 67777/57826*e^7 + 108562/28913*e^6 - 2014923/57826*e^5 - 220595/1994*e^4 + 14130753/57826*e^3 + 47110485/57826*e^2 + 10993741/57826*e - 4828005/28913, -3044/2991*e^7 - 10117/2991*e^6 + 88877/2991*e^5 + 292502/2991*e^4 - 201316/997*e^3 - 701489/997*e^2 - 588779/2991*e + 387022/2991, 151369/173478*e^7 + 267433/86739*e^6 - 4433635/173478*e^5 - 534407/5982*e^4 + 10135515/57826*e^3 + 37122863/57826*e^2 + 26436859/173478*e - 10359313/86739, -62371/57826*e^7 - 215091/57826*e^6 + 918862/28913*e^5 + 215817/1994*e^4 - 6332053/28913*e^3 - 45304381/57826*e^2 - 6051618/28913*e + 3878348/28913, -77713/173478*e^7 - 131032/86739*e^6 + 2291959/173478*e^5 + 268283/5982*e^4 - 5239313/57826*e^3 - 19497731/57826*e^2 - 14288455/173478*e + 8576101/86739, 11812/86739*e^7 + 72002/86739*e^6 - 339865/86739*e^5 - 69860/2991*e^4 + 655422/28913*e^3 + 4625061/28913*e^2 + 7577770/86739*e - 1852946/86739, -28550/86739*e^7 - 172499/173478*e^6 + 1775227/173478*e^5 + 86998/2991*e^4 - 4653315/57826*e^3 - 6147620/28913*e^2 + 4553069/173478*e + 6055708/86739, 6070/86739*e^7 + 41779/173478*e^6 - 365399/173478*e^5 - 22838/2991*e^4 + 855863/57826*e^3 + 1969560/28913*e^2 + 2187755/173478*e - 5739323/86739, -17669/57826*e^7 - 50549/57826*e^6 + 258016/28913*e^5 + 53349/1994*e^4 - 1694364/28913*e^3 - 11771157/57826*e^2 - 2501120/28913*e + 1070386/28913, -119/997*e^7 + 525/1994*e^6 + 7889/1994*e^5 - 6876/997*e^4 - 85011/1994*e^3 + 37244/997*e^2 + 318437/1994*e + 32284/997, 23/173478*e^7 + 34639/173478*e^6 - 14911/86739*e^5 - 29965/5982*e^4 - 31714/28913*e^3 + 1502889/57826*e^2 + 5288668/86739*e + 2563510/86739, -107519/173478*e^7 - 337303/173478*e^6 + 1554580/86739*e^5 + 341899/5982*e^4 - 3347496/28913*e^3 - 24099763/57826*e^2 - 15112945/86739*e + 2812412/86739, 29309/86739*e^7 + 203459/173478*e^6 - 1835221/173478*e^5 - 100777/2991*e^4 + 4804017/57826*e^3 + 6966726/28913*e^2 + 333019/173478*e - 6785749/86739, 7600/86739*e^7 + 19010/86739*e^6 - 282766/86739*e^5 - 18434/2991*e^4 + 1064089/28913*e^3 + 1240371/28913*e^2 - 10346453/86739*e - 3034790/86739, -3594/28913*e^7 - 2218/28913*e^6 + 96786/28913*e^5 + 1572/997*e^4 - 672476/28913*e^3 - 323198/28913*e^2 + 812573/28913*e + 828648/28913, 12043/57826*e^7 + 14472/28913*e^6 - 370365/57826*e^5 - 28365/1994*e^4 + 2935139/57826*e^3 + 6102527/57826*e^2 - 2161543/57826*e - 2227399/28913, -29693/173478*e^7 - 135103/173478*e^6 + 427738/86739*e^5 + 130825/5982*e^4 - 894337/28913*e^3 - 8667821/57826*e^2 - 6428689/86739*e + 815786/86739, 31675/86739*e^7 + 110615/86739*e^6 - 932551/86739*e^5 - 109946/2991*e^4 + 2177089/28913*e^3 + 7635452/28913*e^2 + 3198487/86739*e - 5360498/86739, -26086/86739*e^7 - 107021/86739*e^6 + 711664/86739*e^5 + 108545/2991*e^4 - 1196422/28913*e^3 - 7720267/28913*e^2 - 17467822/86739*e + 1317368/86739, 16489/86739*e^7 + 198673/173478*e^6 - 841997/173478*e^5 - 98600/2991*e^4 + 984791/57826*e^3 + 6705598/28913*e^2 + 33902447/173478*e - 1125560/86739, 25023/57826*e^7 + 42499/28913*e^6 - 765191/57826*e^5 - 85933/1994*e^4 + 5790275/57826*e^3 + 18127103/57826*e^2 + 686067/57826*e - 1710422/28913, -37725/57826*e^7 - 128411/57826*e^6 + 538688/28913*e^5 + 129225/1994*e^4 - 3445630/28913*e^3 - 27352061/57826*e^2 - 5169373/28913*e + 2688476/28913, -15927/57826*e^7 - 54333/57826*e^6 + 200965/28913*e^5 + 54125/1994*e^4 - 944233/28913*e^3 - 11346387/57826*e^2 - 3651684/28913*e + 379926/28913, -34893/57826*e^7 - 50468/28913*e^6 + 1016991/57826*e^5 + 99045/1994*e^4 - 7108901/57826*e^3 - 20157109/57826*e^2 - 3169969/57826*e + 972918/28913, -29228/86739*e^7 - 117391/86739*e^6 + 874811/86739*e^5 + 117619/2991*e^4 - 1962272/28913*e^3 - 8150455/28913*e^2 - 9221318/86739*e + 1871026/86739, 91519/86739*e^7 + 320108/86739*e^6 - 2705602/86739*e^5 - 321194/2991*e^4 + 6233715/28913*e^3 + 22428889/28913*e^2 + 16394689/86739*e - 12410990/86739, 154847/173478*e^7 + 246560/86739*e^6 - 4591205/173478*e^5 - 497989/5982*e^4 + 10673705/57826*e^3 + 35105727/57826*e^2 + 26492111/173478*e - 9058838/86739, 225697/173478*e^7 + 351718/86739*e^6 - 6564157/173478*e^5 - 709547/5982*e^4 + 14865527/57826*e^3 + 49968999/57826*e^2 + 38708365/173478*e - 14452474/86739, 6521/86739*e^7 + 110459/173478*e^6 - 305509/173478*e^5 - 58378/2991*e^4 + 55393/57826*e^3 + 4318859/28913*e^2 + 22559563/173478*e - 4272400/86739, 4895/57826*e^7 + 891/28913*e^6 - 165803/57826*e^5 - 2429/1994*e^4 + 1616271/57826*e^3 + 575571/57826*e^2 - 3463739/57826*e + 1031846/28913, 9487/86739*e^7 + 70181/86739*e^6 - 263062/86739*e^5 - 69632/2991*e^4 + 337979/28913*e^3 + 4669314/28913*e^2 + 11689393/86739*e + 1633690/86739]; heckeEigenvalues := AssociativeArray(); for i := 1 to #heckeEigenvaluesArray do heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i]; end for; ALEigenvalues := AssociativeArray(); ALEigenvalues[ideal] := 1; 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;