/* 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![5, -1, -7, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [3, 3, -w^3 + 2*w^2 + 5*w - 3], [5, 5, w], [7, 7, -w^3 + 2*w^2 + 4*w - 3], [13, 13, -w^2 + w + 4], [13, 13, -w^3 + 2*w^2 + 5*w - 2], [16, 2, 2], [17, 17, -w + 2], [19, 19, -w^3 + 2*w^2 + 3*w - 2], [27, 3, w^3 - 3*w^2 - 4*w + 7], [31, 31, w^3 - 3*w^2 - 3*w + 7], [31, 31, -w^3 + w^2 + 6*w + 1], [41, 41, w^2 - w - 1], [43, 43, 2*w^3 - 5*w^2 - 6*w + 4], [47, 47, -w^3 + 2*w^2 + 5*w - 1], [53, 53, -w - 3], [53, 53, -w^3 + 3*w^2 + 3*w - 6], [59, 59, 2*w^2 - 3*w - 6], [59, 59, w^3 - w^2 - 7*w - 3], [79, 79, 2*w^3 - 4*w^2 - 8*w + 3], [79, 79, w^2 - 2*w - 1], [101, 101, 2*w^3 - 4*w^2 - 9*w + 4], [103, 103, -w^3 + 3*w^2 + 4*w - 2], [103, 103, w^2 - 3*w - 2], [107, 107, -w^3 + w^2 + 5*w - 1], [109, 109, -w^3 + 2*w^2 + 4*w - 6], [121, 11, -w^3 + 2*w^2 + 6*w - 3], [121, 11, w^2 - 3*w - 3], [125, 5, -w^3 + w^2 + 7*w + 1], [127, 127, 2*w^3 - 5*w^2 - 5*w + 7], [127, 127, 2*w^3 - 5*w^2 - 7*w + 6], [167, 167, -2*w^3 + 5*w^2 + 7*w - 11], [169, 13, -w^2 + w + 8], [181, 181, -2*w^3 + 5*w^2 + 8*w - 7], [193, 193, -w^3 + 3*w^2 + 3*w - 1], [197, 197, 2*w^3 - 4*w^2 - 7*w + 8], [197, 197, 3*w^3 - 7*w^2 - 10*w + 9], [199, 199, w^3 - 2*w^2 - 3*w - 3], [211, 211, -w^3 + w^2 + 7*w - 2], [211, 211, w^3 - w^2 - 6*w + 1], [227, 227, 2*w^3 - 3*w^2 - 9*w + 3], [229, 229, 3*w^3 - 6*w^2 - 13*w + 8], [239, 239, 2*w^3 - 4*w^2 - 9*w + 3], [239, 239, 2*w^3 - 4*w^2 - 6*w + 1], [241, 241, 3*w^3 - 7*w^2 - 9*w + 6], [241, 241, -2*w^3 + 4*w^2 + 6*w - 3], [251, 251, -4*w^3 + 10*w^2 + 15*w - 16], [251, 251, -w^3 + 3*w^2 - 3], [271, 271, -w^3 + 4*w^2 + 4*w - 11], [271, 271, -3*w^3 + 9*w^2 + 6*w - 13], [277, 277, -w^3 + 3*w^2 + 2*w - 9], [281, 281, -w^3 + 4*w^2 + w - 8], [293, 293, 3*w^3 - 7*w^2 - 11*w + 13], [293, 293, w^2 - 6], [293, 293, -4*w^3 + 11*w^2 + 9*w - 14], [293, 293, 3*w^3 - 5*w^2 - 15*w + 6], [311, 311, -2*w^3 + 4*w^2 + 7*w - 4], [313, 313, -w^3 + 4*w^2 + 3*w - 13], [313, 313, -w^3 + w^2 + 6*w - 2], [317, 317, w^3 - 4*w^2 - w + 9], [337, 337, 3*w^3 - 7*w^2 - 8*w + 7], [343, 7, -2*w^3 + 3*w^2 + 9*w + 1], [359, 359, -w^3 + 2*w^2 + 4*w - 7], [359, 359, 2*w^3 - 3*w^2 - 10*w + 4], [367, 367, 2*w^3 - 4*w^2 - 5*w + 2], [367, 367, 2*w^3 - 3*w^2 - 11*w - 2], [367, 367, 2*w - 7], [367, 367, w^3 - 7*w - 4], [373, 373, -w^3 + 4*w^2 + w - 14], [373, 373, -2*w^3 + 4*w^2 + 10*w - 11], [379, 379, w^3 - 2*w^2 - 2*w - 1], [383, 383, w^3 - 8*w - 4], [397, 397, 4*w^3 - 10*w^2 - 12*w + 7], [397, 397, -2*w^3 + 3*w^2 + 9*w - 2], [401, 401, -w^3 + 6*w + 8], [409, 409, 2*w^3 - 3*w^2 - 11*w + 4], [419, 419, 3*w^3 - 6*w^2 - 15*w + 7], [419, 419, -w^2 + 4*w + 8], [431, 431, 5*w^3 - 15*w^2 - 10*w + 18], [431, 431, 3*w^3 - 4*w^2 - 16*w - 2], [439, 439, w^3 - w^2 - 4*w - 4], [443, 443, -4*w^3 + 9*w^2 + 15*w - 16], [461, 461, 2*w^3 - 2*w^2 - 13*w - 1], [467, 467, 2*w^3 - 6*w^2 - 2*w + 7], [467, 467, 3*w^3 - 3*w^2 - 19*w - 6], [479, 479, w^2 - 8], [479, 479, -3*w^3 + 7*w^2 + 14*w - 11], [491, 491, 3*w^3 - 5*w^2 - 16*w + 2], [499, 499, -w^2 + w - 2], [509, 509, -w^3 + 5*w^2 - w - 11], [509, 509, w^3 - 5*w - 1], [521, 521, -w^3 + 4*w^2 + 3*w - 7], [521, 521, -w^3 + 2*w^2 + 7*w - 4], [541, 541, -2*w^3 + 4*w^2 + 11*w - 6], [557, 557, -w^3 + w^2 + 8*w + 3], [557, 557, w^3 - 2*w^2 - 2*w - 2], [563, 563, 2*w^3 - 2*w^2 - 10*w - 3], [563, 563, 3*w^3 - 5*w^2 - 15*w + 1], [569, 569, 2*w^2 - 3*w - 4], [569, 569, 3*w^3 - 8*w^2 - 9*w + 7], [571, 571, -w^3 + 4*w^2 - 11], [571, 571, 3*w^3 - 8*w^2 - 11*w + 11], [577, 577, 3*w^3 - 8*w^2 - 5*w + 11], [577, 577, -4*w^3 + 11*w^2 + 9*w - 9], [593, 593, 2*w^3 - 7*w^2 - 2*w + 9], [601, 601, -w^3 + 3*w^2 + 5*w - 9], [613, 613, 3*w^3 - 5*w^2 - 14*w + 8], [613, 613, -w^3 + 2*w^2 + 7*w - 3], [617, 617, -2*w^3 + 6*w^2 + 5*w - 4], [617, 617, -w^3 + 3*w^2 - w - 6], [641, 641, 4*w^3 - 9*w^2 - 17*w + 14], [641, 641, -5*w^3 + 12*w^2 + 18*w - 17], [643, 643, -3*w^3 + 8*w^2 + 10*w - 13], [647, 647, 3*w - 4], [647, 647, -w^3 + 4*w^2 + 2*w - 9], [653, 653, -w^3 + 2*w^2 + 5*w - 8], [661, 661, 2*w^3 - 7*w^2 - 5*w + 21], [661, 661, -w^3 + 2*w^2 + 3*w - 8], [673, 673, 2*w^3 - 7*w^2 - 5*w + 9], [673, 673, w^3 - 2*w^2 - 3*w - 4], [677, 677, -w^3 + 4*w^2 + 3*w - 8], [683, 683, -3*w^3 + 4*w^2 + 17*w - 1], [683, 683, -3*w^3 + 7*w^2 + 8*w - 2], [691, 691, w^2 - 4*w - 2], [701, 701, 3*w^3 - 6*w^2 - 11*w + 3], [709, 709, -w^3 + 4*w^2 + 3*w - 17], [709, 709, w^3 + w^2 - 10*w - 8], [709, 709, -3*w^3 + 10*w^2 + 2*w - 16], [709, 709, w^3 - w^2 - 8*w + 1], [727, 727, -w^3 + 5*w^2 - w - 13], [727, 727, 2*w^3 - 4*w^2 - 11*w + 2], [733, 733, -2*w^3 + 3*w^2 + 10*w - 6], [733, 733, 2*w^3 - 5*w^2 - 5*w + 9], [739, 739, -3*w^3 + 6*w^2 + 12*w - 8], [743, 743, 3*w^3 - 4*w^2 - 17*w - 4], [743, 743, 2*w^3 - 3*w^2 - 8*w + 1], [743, 743, -3*w^3 + 7*w^2 + 11*w - 7], [743, 743, -3*w^3 + 6*w^2 + 11*w - 9], [757, 757, 2*w^3 - 5*w^2 - 6*w + 11], [757, 757, -w^3 + w^2 + 8*w + 2], [761, 761, -5*w^3 + 14*w^2 + 13*w - 12], [769, 769, -3*w^2 + 4*w + 13], [773, 773, 3*w^3 - 4*w^2 - 18*w + 3], [797, 797, 4*w^3 - 7*w^2 - 21*w + 8], [797, 797, -3*w^3 + 7*w^2 + 11*w - 16], [809, 809, -2*w^2 + 5*w + 11], [827, 827, w - 6], [829, 829, -w^3 - w^2 + 11*w + 8], [841, 29, -3*w^3 + 6*w^2 + 14*w - 6], [841, 29, -2*w^3 + 5*w^2 + 8*w - 4], [853, 853, 3*w^3 - 6*w^2 - 9*w + 8], [857, 857, 2*w^2 - 3*w - 3], [859, 859, -w^3 + w^2 + 4*w + 7], [863, 863, 2*w^3 - 3*w^2 - 7*w - 2], [863, 863, -3*w^3 + 6*w^2 + 10*w - 11], [881, 881, -3*w^2 + 4*w + 12], [881, 881, w^2 - 2*w + 3], [883, 883, 4*w^3 - 13*w^2 - 6*w + 17], [883, 883, -2*w^3 + 4*w^2 + 12*w - 3], [887, 887, -3*w^3 + 5*w^2 + 16*w - 8], [887, 887, 3*w^3 - 5*w^2 - 14*w + 3], [911, 911, -w^3 + 10*w + 1], [919, 919, 5*w^3 - 13*w^2 - 14*w + 11], [929, 929, 2*w^3 - 3*w^2 - 12*w - 4], [937, 937, -3*w - 7], [941, 941, -w^3 + 3*w^2 + 3*w - 12], [947, 947, 2*w^3 - 6*w^2 - 9*w + 8], [947, 947, -4*w^3 + 7*w^2 + 19*w - 6], [953, 953, 3*w^2 - w - 9], [961, 31, 4*w^3 - 12*w^2 - 5*w + 17], [971, 971, 3*w^3 - 6*w^2 - 16*w + 12], [983, 983, w^3 + w^2 - 7*w - 12], [991, 991, -2*w^3 + 7*w^2 + 3*w - 12], [991, 991, -2*w^3 + 4*w^2 + 12*w - 9], [997, 997, 3*w^3 - 5*w^2 - 14*w + 9], [997, 997, -2*w^3 + 3*w^2 + 11*w - 7], [1013, 1013, -2*w^3 + 6*w^2 + 3*w - 11], [1019, 1019, -w^3 + 5*w^2 + 2*w - 8], [1021, 1021, -w^3 + 5*w^2 - w - 17], [1021, 1021, 3*w^3 - 6*w^2 - 8*w + 3], [1033, 1033, -2*w^3 + 5*w^2 + 6*w - 13], [1033, 1033, 3*w^3 - 6*w^2 - 11*w + 4], [1051, 1051, 3*w^3 - 7*w^2 - 10*w + 13], [1061, 1061, 2*w^2 - 5*w - 13], [1063, 1063, -w^3 + w^2 + 5*w + 8], [1069, 1069, -5*w^3 + 12*w^2 + 19*w - 18], [1069, 1069, w^3 - 5*w^2 - w + 9], [1097, 1097, -3*w^3 + 9*w^2 + 8*w - 12], [1097, 1097, -2*w^3 + 6*w^2 + 7*w - 12], [1103, 1103, -3*w^3 + 4*w^2 + 15*w - 3], [1103, 1103, -w^3 + 3*w^2 + 5*w - 11], [1109, 1109, 5*w^3 - 11*w^2 - 16*w + 6], [1129, 1129, -w^2 + 3*w - 4], [1129, 1129, 2*w^3 - 2*w^2 - 10*w - 9], [1151, 1151, 4*w^3 - 10*w^2 - 14*w + 13], [1153, 1153, -2*w^3 + 5*w^2 + 11*w - 12], [1153, 1153, -2*w^3 + 8*w^2 - 13], [1153, 1153, -w^3 + 3*w^2 + 5*w - 12], [1153, 1153, 2*w^3 - w^2 - 11*w - 4], [1163, 1163, -w^3 + w^2 + 9*w - 4], [1163, 1163, 2*w^3 - 4*w^2 - 10*w - 1], [1171, 1171, 3*w^3 - 4*w^2 - 18*w - 1], [1193, 1193, w^3 - 4*w^2 + 2*w + 6], [1193, 1193, w^3 - 2*w^2 - 5*w - 4], [1201, 1201, 2*w^3 - 4*w^2 - 9*w - 3], [1201, 1201, 4*w^3 - 10*w^2 - 13*w + 11], [1213, 1213, -4*w^3 + 7*w^2 + 19*w - 11], [1217, 1217, -2*w^3 + 8*w^2 + 2*w - 13], [1229, 1229, -4*w^3 + 13*w^2 + 6*w - 19], [1229, 1229, -4*w^3 + 8*w^2 + 16*w - 13], [1229, 1229, -3*w^3 + 9*w^2 + 6*w - 16], [1229, 1229, 2*w^3 - 3*w^2 - 6*w - 1], [1231, 1231, -3*w^3 + 6*w^2 + 16*w - 8], [1231, 1231, -3*w^2 + w + 12], [1237, 1237, -2*w^3 + 5*w^2 + 4*w - 9], [1237, 1237, -w^2 - 3], [1237, 1237, -w^3 + 6*w - 3], [1237, 1237, -4*w - 1], [1249, 1249, -2*w^3 + 4*w^2 + 5*w - 8], [1283, 1283, 3*w - 8], [1289, 1289, 2*w^3 - w^2 - 14*w - 6], [1289, 1289, 4*w^3 - 9*w^2 - 13*w + 8], [1291, 1291, w^3 - w^2 - 3*w - 4], [1297, 1297, 4*w^3 - 9*w^2 - 15*w + 9], [1303, 1303, -w^3 + 4*w^2 - 13], [1321, 1321, 3*w^3 - 6*w^2 - 13*w + 3], [1321, 1321, -3*w^3 + 6*w^2 + 11*w - 7], [1367, 1367, -2*w^3 + 6*w^2 + 4*w - 13], [1369, 37, 2*w^2 - w - 11], [1369, 37, w^3 - 2*w^2 - w - 2], [1373, 1373, -w^3 + 3*w^2 + 8*w - 6], [1381, 1381, -w^3 + 3*w^2 - 9], [1381, 1381, 3*w^3 - 8*w^2 - 8*w + 14], [1427, 1427, 3*w^3 - 7*w^2 - 9*w + 12], [1429, 1429, 4*w^3 - 9*w^2 - 11*w + 8], [1433, 1433, -w^3 + 8*w + 12], [1447, 1447, -4*w^3 + 10*w^2 + 15*w - 14], [1447, 1447, 6*w^3 - 14*w^2 - 21*w + 19], [1451, 1451, w^3 - w^2 - 9*w - 4], [1459, 1459, 3*w^3 - 7*w^2 - 13*w + 9], [1481, 1481, -3*w^2 + 3*w + 19], [1481, 1481, -w^3 + 5*w^2 - 3*w - 14], [1487, 1487, -2*w^3 + 6*w^2 + w - 6], [1489, 1489, -3*w^3 + 3*w^2 + 19*w + 3], [1499, 1499, 3*w^2 - 4*w - 7], [1511, 1511, 4*w^3 - 6*w^2 - 20*w + 3], [1523, 1523, 8*w^3 - 23*w^2 - 17*w + 27], [1531, 1531, -w^3 + 2*w^2 + 3*w - 9], [1531, 1531, 3*w^3 - 9*w^2 - 8*w + 19], [1549, 1549, -5*w^3 + 11*w^2 + 17*w - 18], [1553, 1553, 2*w^2 - 9], [1567, 1567, 2*w^3 - 7*w^2 - 4*w + 22], [1579, 1579, -2*w^3 + 4*w^2 + 8*w + 3], [1579, 1579, -3*w^3 + 5*w^2 + 13*w - 1], [1607, 1607, w^3 - w^2 - 6*w - 8], [1609, 1609, -4*w^3 + 7*w^2 + 19*w - 2], [1619, 1619, -5*w^3 + 11*w^2 + 13*w - 9], [1627, 1627, 4*w^3 - 9*w^2 - 16*w + 11], [1657, 1657, 2*w^3 - 8*w^2 - w + 12], [1657, 1657, -4*w^3 + 11*w^2 + 15*w - 17], [1667, 1667, -w^3 + 5*w^2 - 6], [1667, 1667, -3*w^3 + 6*w^2 + 10*w - 6], [1697, 1697, w^3 + w^2 - 9*w - 7], [1697, 1697, 3*w^3 - 6*w^2 - 13*w + 2], [1697, 1697, w^3 - 6*w + 1], [1697, 1697, -5*w^3 + 11*w^2 + 22*w - 17], [1709, 1709, w^3 - w^2 - 8*w - 9], [1709, 1709, -w^3 + 3*w^2 - 13], [1723, 1723, 2*w^3 - 3*w^2 - 7*w - 3], [1733, 1733, -w^3 + 4*w^2 + 3*w - 19], [1741, 1741, -w^3 + 5*w^2 - 14], [1747, 1747, -4*w^3 + 6*w^2 + 22*w + 1], [1747, 1747, 2*w^3 - 5*w^2 - 9*w + 2], [1753, 1753, -2*w^3 + 5*w^2 + 3*w - 1], [1759, 1759, -w^3 + 2*w^2 + 4*w - 9], [1783, 1783, -3*w^3 + 8*w^2 + 5*w - 12], [1783, 1783, -2*w^3 + 6*w^2 + 3*w - 12], [1783, 1783, 2*w^3 - 7*w^2 - 4*w + 17], [1783, 1783, 2*w^3 - 6*w^2 - w + 7], [1787, 1787, -5*w^3 + 8*w^2 + 25*w - 3], [1823, 1823, w^3 - 8*w - 1], [1823, 1823, -3*w^3 + 5*w^2 + 14*w + 6], [1831, 1831, -3*w^3 + 8*w^2 + 14*w - 18], [1847, 1847, w^3 - 3*w^2 - w + 14], [1847, 1847, -2*w^3 + 2*w^2 + 11*w + 11], [1861, 1861, 2*w^2 - w - 12], [1871, 1871, 4*w^3 - 8*w^2 - 19*w + 9], [1871, 1871, -w^3 + 5*w^2 - w - 7], [1873, 1873, -3*w^3 + 5*w^2 + 13*w - 4], [1877, 1877, -4*w^3 + 8*w^2 + 16*w - 7], [1877, 1877, 3*w^3 - 5*w^2 - 15*w - 2], [1879, 1879, -w^3 + 4*w^2 - w - 12], [1907, 1907, w^3 - w^2 - 10*w - 6], [1931, 1931, -w^3 + 5*w^2 - w - 19], [1931, 1931, -6*w^3 + 17*w^2 + 12*w - 22], [1951, 1951, 4*w^3 - 10*w^2 - 14*w + 21], [1951, 1951, -2*w^3 + 4*w^2 + 13*w - 13], [1993, 1993, 2*w^3 - 2*w^2 - 11*w + 1], [1993, 1993, -w^3 + 6*w + 14]]; primes := [ideal : I in primesArray]; heckePol := x^8 + 2*x^7 - 18*x^6 - 34*x^5 + 53*x^4 + 52*x^3 - 43*x^2 - 7*x + 2; K := NumberField(heckePol); heckeEigenvaluesArray := [1, e, -1, -1666/5283*e^7 - 3703/5283*e^6 + 29008/5283*e^5 + 6977/587*e^4 - 71540/5283*e^3 - 98834/5283*e^2 + 14042/1761*e + 15760/5283, 1484/5283*e^7 + 3920/5283*e^6 - 24596/5283*e^5 - 7448/587*e^4 + 43525/5283*e^3 + 118048/5283*e^2 - 7225/1761*e - 34460/5283, 147/587*e^7 + 344/587*e^6 - 2525/587*e^5 - 5765/587*e^4 + 5898/587*e^3 + 7961/587*e^2 - 5478/587*e - 113/587, -203/1761*e^7 - 503/1761*e^6 + 3431/1761*e^5 + 2691/587*e^4 - 7474/1761*e^3 - 6745/1761*e^2 + 4059/587*e - 5686/1761, -1610/5283*e^7 - 2957/5283*e^6 + 29276/5283*e^5 + 5677/587*e^4 - 89335/5283*e^3 - 83614/5283*e^2 + 18853/1761*e + 6884/5283, 238/5283*e^7 + 529/5283*e^6 - 4144/5283*e^5 - 829/587*e^4 + 10220/5283*e^3 - 9277/5283*e^2 - 5528/1761*e + 9824/5283, -899/1761*e^7 - 1976/1761*e^6 + 15446/1761*e^5 + 10911/587*e^4 - 36118/1761*e^3 - 39682/1761*e^2 + 9506/587*e - 1030/1761, -2852/5283*e^7 - 5540/5283*e^6 + 52766/5283*e^5 + 10526/587*e^4 - 175609/5283*e^3 - 154003/5283*e^2 + 56491/1761*e + 8270/5283, 2002/5283*e^7 + 2896/5283*e^6 - 37966/5283*e^5 - 5385/587*e^4 + 139109/5283*e^3 + 47513/5283*e^2 - 43289/1761*e + 15512/5283, 1769/5283*e^7 + 3377/5283*e^6 - 32666/5283*e^5 - 6475/587*e^4 + 108904/5283*e^3 + 101545/5283*e^2 - 39061/1761*e - 29444/5283, 2944/5283*e^7 + 8275/5283*e^6 - 46288/5283*e^5 - 15429/587*e^4 + 45620/5283*e^3 + 206177/5283*e^2 + 5878/1761*e - 22852/5283, -1196/5283*e^7 - 3857/5283*e^6 + 16163/5283*e^5 + 6800/587*e^4 + 25712/5283*e^3 - 44302/5283*e^2 - 27152/1761*e - 11188/5283, -1598/5283*e^7 - 5816/5283*e^6 + 22541/5283*e^5 + 10933/587*e^4 + 15908/5283*e^3 - 171673/5283*e^2 - 10682/1761*e + 47246/5283, 3874/5283*e^7 + 5947/5283*e^6 - 74290/5283*e^5 - 11358/587*e^4 + 280094/5283*e^3 + 151769/5283*e^2 - 82715/1761*e - 17050/5283, -7138/5283*e^7 - 15466/5283*e^6 + 125839/5283*e^5 + 29268/587*e^4 - 330443/5283*e^3 - 422276/5283*e^2 + 64943/1761*e + 58924/5283, 10630/5283*e^7 + 23494/5283*e^6 - 183844/5283*e^5 - 43582/587*e^4 + 436265/5283*e^3 + 525317/5283*e^2 - 85319/1761*e - 41842/5283, 7016/5283*e^7 + 17237/5283*e^6 - 118121/5283*e^5 - 32222/587*e^4 + 236947/5283*e^3 + 434401/5283*e^2 - 45550/1761*e - 66002/5283, -34/1761*e^7 - 1585/1761*e^6 - 2930/1761*e^5 + 8741/587*e^4 + 56653/1761*e^3 - 43706/1761*e^2 - 21684/587*e + 7150/1761, 1166/1761*e^7 + 1319/1761*e^6 - 23099/1761*e^5 - 7577/587*e^4 + 95959/1761*e^3 + 27595/1761*e^2 - 27857/587*e + 3616/1761, 3743/5283*e^7 + 11183/5283*e^6 - 60200/5283*e^5 - 21189/587*e^4 + 74647/5283*e^3 + 342202/5283*e^2 + 9458/1761*e - 83456/5283, -5183/5283*e^7 - 11498/5283*e^6 + 91799/5283*e^5 + 22081/587*e^4 - 251776/5283*e^3 - 356971/5283*e^2 + 69094/1761*e + 68678/5283, 1985/1761*e^7 + 4745/1761*e^6 - 34148/1761*e^5 - 26753/587*e^4 + 78505/1761*e^3 + 124276/1761*e^2 - 16563/587*e - 7328/1761, -6685/5283*e^7 - 13771/5283*e^6 + 118573/5283*e^5 + 25754/587*e^4 - 323732/5283*e^3 - 324440/5283*e^2 + 75716/1761*e + 5614/5283, 3857/1761*e^7 + 7796/1761*e^6 - 68711/1761*e^5 - 44085/587*e^4 + 191314/1761*e^3 + 196834/1761*e^2 - 42488/587*e - 15236/1761, -1427/587*e^7 - 2972/587*e^6 + 25330/587*e^5 + 50469/587*e^4 - 69426/587*e^3 - 76854/587*e^2 + 47655/587*e + 6348/587, 5380/5283*e^7 + 14311/5283*e^6 - 87460/5283*e^5 - 26780/587*e^4 + 130025/5283*e^3 + 376928/5283*e^2 - 7610/1761*e - 81412/5283, -1069/1761*e^7 - 2857/1761*e^6 + 16645/1761*e^5 + 15287/587*e^4 - 13481/1761*e^3 - 38087/1761*e^2 - 3820/587*e - 14588/1761, -2788/5283*e^7 - 8461/5283*e^6 + 43261/5283*e^5 + 15665/587*e^4 - 29909/5283*e^3 - 204533/5283*e^2 - 20023/1761*e + 19258/5283, 11050/5283*e^7 + 23806/5283*e^6 - 192400/5283*e^5 - 44527/587*e^4 + 479783/5283*e^3 + 565505/5283*e^2 - 106469/1761*e - 45016/5283, -2662/5283*e^7 - 4141/5283*e^6 + 54430/5283*e^5 + 8631/587*e^4 - 242966/5283*e^3 - 212552/5283*e^2 + 75770/1761*e + 67966/5283, -176/5283*e^7 - 3854/5283*e^6 - 6880/5283*e^5 + 6853/587*e^4 + 154040/5283*e^3 - 69721/5283*e^2 - 68705/1761*e - 14368/5283, 10348/5283*e^7 + 19360/5283*e^6 - 186703/5283*e^5 - 36197/587*e^4 + 559649/5283*e^3 + 426032/5283*e^2 - 156401/1761*e - 12994/5283, -252/587*e^7 - 422/587*e^6 + 5251/587*e^5 + 8038/587*e^4 - 24702/587*e^3 - 25052/587*e^2 + 25156/587*e + 11766/587, -998/1761*e^7 - 842/1761*e^6 + 20381/1761*e^5 + 5269/587*e^4 - 92992/1761*e^3 - 31243/1761*e^2 + 28789/587*e + 26108/1761, -823/587*e^7 - 1886/587*e^6 + 14468/587*e^5 + 32368/587*e^4 - 37585/587*e^3 - 56175/587*e^2 + 27938/587*e + 8056/587, 3448/5283*e^7 + 9706/5283*e^6 - 54442/5283*e^5 - 17737/587*e^4 + 54521/5283*e^3 + 205799/5283*e^2 + 5152/1761*e - 81604/5283, 1585/1761*e^7 + 4951/1761*e^6 - 24490/1761*e^5 - 28162/587*e^4 + 18443/1761*e^3 + 150404/1761*e^2 - 1787/587*e - 46066/1761, -613/587*e^7 - 1730/587*e^6 + 9603/587*e^5 + 28996/587*e^4 - 8782/587*e^3 - 43125/587*e^2 - 3200/587*e + 10578/587, 10736/5283*e^7 + 23774/5283*e^6 - 187865/5283*e^5 - 44701/587*e^4 + 472204/5283*e^3 + 618277/5283*e^2 - 91747/1761*e - 127322/5283, 8914/5283*e^7 + 14974/5283*e^6 - 166396/5283*e^5 - 27981/587*e^4 + 564575/5283*e^3 + 327611/5283*e^2 - 137522/1761*e + 29390/5283, -1166/1761*e^7 - 1319/1761*e^6 + 23099/1761*e^5 + 8164/587*e^4 - 95959/1761*e^3 - 55771/1761*e^2 + 21987/587*e + 31604/1761, 997/1761*e^7 + 640/1761*e^6 - 20260/1761*e^5 - 3648/587*e^4 + 91706/1761*e^3 + 2921/1761*e^2 - 25007/587*e + 4868/1761, -10274/5283*e^7 - 25544/5283*e^6 + 174227/5283*e^5 + 48064/587*e^4 - 369391/5283*e^3 - 693466/5283*e^2 + 80809/1761*e + 122774/5283, 329/5283*e^7 - 2221/5283*e^6 - 11633/5283*e^5 + 4396/587*e^4 + 111397/5283*e^3 - 108695/5283*e^2 - 45037/1761*e + 19174/5283, -2933/5283*e^7 - 770/5283*e^6 + 62567/5283*e^5 + 876/587*e^4 - 316756/5283*e^3 + 108887/5283*e^2 + 95161/1761*e - 103042/5283, -5248/5283*e^7 - 8779/5283*e^6 + 97903/5283*e^5 + 16504/587*e^4 - 340649/5283*e^3 - 193883/5283*e^2 + 121214/1761*e - 13472/5283, 11900/5283*e^7 + 26450/5283*e^6 - 201917/5283*e^5 - 49081/587*e^4 + 431755/5283*e^3 + 576901/5283*e^2 - 72124/1761*e - 5402/5283, -5059/5283*e^7 - 7582/5283*e^6 + 96166/5283*e^5 + 14171/587*e^4 - 361745/5283*e^3 - 145157/5283*e^2 + 135470/1761*e - 35504/5283, 10814/5283*e^7 + 23681/5283*e^6 - 186737/5283*e^5 - 43996/587*e^4 + 440437/5283*e^3 + 524005/5283*e^2 - 82090/1761*e - 18176/5283, 9247/5283*e^7 + 18844/5283*e^6 - 164425/5283*e^5 - 35334/587*e^4 + 453947/5283*e^3 + 460757/5283*e^2 - 107876/1761*e - 121126/5283, 274/587*e^7 + 170/587*e^6 - 5565/587*e^5 - 2320/587*e^4 + 25405/587*e^3 - 8717/587*e^2 - 32337/587*e + 8814/587, -4801/1761*e^7 - 10057/1761*e^6 + 84319/1761*e^5 + 56327/587*e^4 - 220145/1761*e^3 - 234281/1761*e^2 + 51954/587*e + 6370/1761, 12683/5283*e^7 + 26126/5283*e^6 - 222698/5283*e^5 - 48935/587*e^4 + 577564/5283*e^3 + 622540/5283*e^2 - 117214/1761*e - 84602/5283, -7160/5283*e^7 - 14627/5283*e^6 + 124979/5283*e^5 + 27263/587*e^4 - 311188/5283*e^3 - 333916/5283*e^2 + 53053/1761*e + 99392/5283, -3926/1761*e^7 - 7646/1761*e^6 + 70016/1761*e^5 + 42643/587*e^4 - 195520/1761*e^3 - 164644/1761*e^2 + 41644/587*e + 638/1761, -1931/1761*e^7 - 4403/1761*e^6 + 32897/1761*e^5 + 24334/587*e^4 - 72457/1761*e^3 - 93499/1761*e^2 + 19546/587*e + 7574/1761, 4123/5283*e^7 + 13981/5283*e^6 - 62155/5283*e^5 - 26153/587*e^4 + 19178/5283*e^3 + 394160/5283*e^2 + 12796/1761*e - 90856/5283, 560/587*e^7 + 1003/587*e^6 - 10821/587*e^5 - 17797/587*e^4 + 42175/587*e^3 + 37735/587*e^2 - 47619/587*e - 14798/587, 4832/5283*e^7 + 9275/5283*e^6 - 91592/5283*e^5 - 18503/587*e^4 + 333973/5283*e^3 + 374404/5283*e^2 - 102865/1761*e - 121346/5283, -7360/5283*e^7 - 12763/5283*e^6 + 136852/5283*e^5 + 23604/587*e^4 - 462728/5283*e^3 - 248651/5283*e^2 + 147317/1761*e - 48530/5283, -1120/1761*e^7 - 2593/1761*e^6 + 17533/1761*e^5 + 13430/587*e^4 - 15671/1761*e^3 - 10313/1761*e^2 - 8170/587*e - 33800/1761, -8330/5283*e^7 - 18515/5283*e^6 + 145040/5283*e^5 + 34885/587*e^4 - 362983/5283*e^3 - 473038/5283*e^2 + 93103/1761*e + 4838/5283, -1699/587*e^7 - 3912/587*e^6 + 29479/587*e^5 + 65956/587*e^4 - 71714/587*e^3 - 99543/587*e^2 + 50843/587*e + 10718/587, -358/1761*e^7 - 3637/1761*e^6 - 707/1761*e^5 + 20320/587*e^4 + 97849/1761*e^3 - 106859/1761*e^2 - 38408/587*e + 23284/1761, -1991/1761*e^7 - 2435/1761*e^6 + 38396/1761*e^5 + 13586/587*e^4 - 149617/1761*e^3 - 38863/1761*e^2 + 47473/587*e + 2996/1761, -949/5283*e^7 - 1510/5283*e^6 + 16213/5283*e^5 + 2282/587*e^4 - 37022/5283*e^3 + 37546/5283*e^2 + 9005/1761*e - 37130/5283, -2182/1761*e^7 - 4036/1761*e^6 + 38614/1761*e^5 + 22066/587*e^4 - 104678/1761*e^3 - 64988/1761*e^2 + 23758/587*e - 15158/1761, 1208/1761*e^7 + 4520/1761*e^6 - 17615/1761*e^5 - 26351/587*e^4 - 4997/1761*e^3 + 169324/1761*e^2 + 13466/587*e - 57632/1761, -2840/5283*e^7 - 3116/5283*e^6 + 56597/5283*e^5 + 5803/587*e^4 - 234139/5283*e^3 - 46591/5283*e^2 + 48088/1761*e - 88726/5283, 493/587*e^7 + 970/587*e^6 - 8584/587*e^5 - 16000/587*e^4 + 21170/587*e^3 + 17974/587*e^2 - 11208/587*e - 6820/587, -3611/5283*e^7 - 10934/5283*e^6 + 60077/5283*e^5 + 20892/587*e^4 - 105649/5283*e^3 - 354628/5283*e^2 + 21379/1761*e - 21994/5283, 218/5283*e^7 + 1772/5283*e^6 + 1798/5283*e^5 - 3132/587*e^4 - 84179/5283*e^3 + 33589/5283*e^2 + 63068/1761*e - 113798/5283, 6212/5283*e^7 + 13319/5283*e^6 - 105365/5283*e^5 - 24543/587*e^4 + 217339/5283*e^3 + 264187/5283*e^2 - 17893/1761*e - 54794/5283, 4367/1761*e^7 + 8678/1761*e^6 - 77591/1761*e^5 - 48995/587*e^4 + 216736/1761*e^3 + 213181/1761*e^2 - 57688/587*e - 27392/1761, 19504/5283*e^7 + 40954/5283*e^6 - 343639/5283*e^5 - 76169/587*e^4 + 901853/5283*e^3 + 928094/5283*e^2 - 193070/1761*e - 69508/5283, 658/5283*e^7 + 841/5283*e^6 - 12700/5283*e^5 - 1774/587*e^4 + 48455/5283*e^3 + 36194/5283*e^2 - 9068/1761*e - 25048/5283, -7634/5283*e^7 - 15281/5283*e^6 + 134786/5283*e^5 + 28623/587*e^4 - 360754/5283*e^3 - 345007/5283*e^2 + 79438/1761*e - 116044/5283, -8630/5283*e^7 - 15719/5283*e^6 + 160208/5283*e^5 + 30277/587*e^4 - 537463/5283*e^3 - 485140/5283*e^2 + 153493/1761*e + 94652/5283, 4106/5283*e^7 + 5264/5283*e^6 - 82991/5283*e^5 - 10119/587*e^4 + 377692/5283*e^3 + 131050/5283*e^2 - 178255/1761*e + 20140/5283, -7625/5283*e^7 - 13463/5283*e^6 + 138980/5283*e^5 + 24934/587*e^4 - 428425/5283*e^3 - 253882/5283*e^2 + 89425/1761*e - 109546/5283, -3715/5283*e^7 - 10810/5283*e^6 + 55051/5283*e^5 + 19952/587*e^4 - 1658/5283*e^3 - 234215/5283*e^2 - 43153/1761*e + 57886/5283, -11770/5283*e^7 - 21322/5283*e^6 + 216124/5283*e^5 + 40277/587*e^4 - 692498/5283*e^3 - 527984/5283*e^2 + 180965/1761*e + 11212/5283, 239/587*e^7 + 731/587*e^6 - 4265/587*e^5 - 13498/587*e^4 + 11506/587*e^3 + 39590/587*e^2 - 10320/587*e - 17630/587, 5933/1761*e^7 + 13313/1761*e^6 - 103304/1761*e^5 - 75121/587*e^4 + 256531/1761*e^3 + 341440/1761*e^2 - 59818/587*e - 9692/1761, -17098/5283*e^7 - 35695/5283*e^6 + 306097/5283*e^5 + 67527/587*e^4 - 877160/5283*e^3 - 957194/5283*e^2 + 240212/1761*e + 31552/5283, -11426/5283*e^7 - 25796/5283*e^6 + 197393/5283*e^5 + 48895/587*e^4 - 456151/5283*e^3 - 713734/5283*e^2 + 52783/1761*e + 62348/5283, 8042/5283*e^7 + 23735/5283*e^6 - 126041/5283*e^5 - 44803/587*e^4 + 114124/5283*e^3 + 689857/5283*e^2 + 32846/1761*e - 181076/5283, -9143/5283*e^7 - 24251/5283*e^6 + 148319/5283*e^5 + 44492/587*e^4 - 219826/5283*e^3 - 501925/5283*e^2 + 35050/1761*e - 53848/5283, -12206/5283*e^7 - 30149/5283*e^6 + 207245/5283*e^5 + 57107/587*e^4 - 429046/5283*e^3 - 859312/5283*e^2 + 46024/1761*e + 164846/5283, 841/587*e^7 + 1413/587*e^6 - 16059/587*e^5 - 24808/587*e^4 + 59559/587*e^3 + 45302/587*e^2 - 56653/587*e - 4452/587, 118/587*e^7 - 231/587*e^6 - 2538/587*e^5 + 4361/587*e^4 + 13803/587*e^3 - 19166/587*e^2 - 11034/587*e + 6538/587, -7763/5283*e^7 - 9641/5283*e^6 + 155678/5283*e^5 + 18494/587*e^4 - 669289/5283*e^3 - 247615/5283*e^2 + 209833/1761*e + 76100/5283, -16571/5283*e^7 - 34901/5283*e^6 + 291638/5283*e^5 + 65314/587*e^4 - 775285/5283*e^3 - 841510/5283*e^2 + 214135/1761*e + 66890/5283, -674/587*e^7 - 1725/587*e^6 + 11114/587*e^5 + 29204/587*e^4 - 19723/587*e^3 - 44400/587*e^2 + 17378/587*e - 592/587, 1274/1761*e^7 + 3764/1761*e^6 - 22079/1761*e^5 - 22394/587*e^4 + 51703/1761*e^3 + 159589/1761*e^2 - 11325/587*e - 66332/1761, -8695/5283*e^7 - 13000/5283*e^6 + 171595/5283*e^5 + 25287/587*e^4 - 700298/5283*e^3 - 401297/5283*e^2 + 207374/1761*e + 33634/5283, -6610/5283*e^7 - 14470/5283*e^6 + 120064/5283*e^5 + 28667/587*e^4 - 364640/5283*e^3 - 567074/5283*e^2 + 86153/1761*e + 175990/5283, -2855/1761*e^7 - 6146/1761*e^6 + 49607/1761*e^5 + 34680/587*e^4 - 119593/1761*e^3 - 152680/1761*e^2 + 14420/587*e - 940/1761, -809/1761*e^7 - 3167/1761*e^6 + 9839/1761*e^5 + 17054/587*e^4 + 37358/1761*e^3 - 60001/1761*e^2 - 35026/587*e + 7598/1761, 1688/587*e^7 + 3451/587*e^6 - 30496/587*e^5 - 58836/587*e^4 + 91614/587*e^3 + 94415/587*e^2 - 85114/587*e - 15138/587, -8626/5283*e^7 - 20194/5283*e^6 + 147397/5283*e^5 + 37899/587*e^4 - 336848/5283*e^3 - 507449/5283*e^2 + 104906/1761*e + 30622/5283, 3901/1761*e^7 + 9640/1761*e^6 - 66991/1761*e^5 - 54948/587*e^4 + 152804/1761*e^3 + 286025/1761*e^2 - 33970/587*e - 50386/1761, 1896/587*e^7 + 4377/587*e^6 - 32184/587*e^5 - 74201/587*e^4 + 67363/587*e^3 + 114804/587*e^2 - 16663/587*e - 22278/587, 8968/5283*e^7 + 20599/5283*e^6 - 151798/5283*e^5 - 37788/587*e^4 + 311756/5283*e^3 + 414740/5283*e^2 - 40619/1761*e + 36680/5283, 2791/5283*e^7 + 3784/5283*e^6 - 54190/5283*e^5 - 7894/587*e^4 + 213389/5283*e^3 + 189122/5283*e^2 - 63524/1761*e - 196714/5283, -21140/5283*e^7 - 38597/5283*e^6 + 384866/5283*e^5 + 72219/587*e^4 - 1183114/5283*e^3 - 869341/5283*e^2 + 282079/1761*e + 43532/5283, 8795/5283*e^7 + 22634/5283*e^6 - 148475/5283*e^5 - 43122/587*e^4 + 295315/5283*e^3 + 699418/5283*e^2 - 37903/1761*e - 197408/5283, -7028/5283*e^7 - 14378/5283*e^6 + 124856/5283*e^5 + 26966/587*e^4 - 347473/5283*e^3 - 335776/5283*e^2 + 99739/1761*e - 80020/5283, -5776/5283*e^7 - 9775/5283*e^6 + 108961/5283*e^5 + 18866/587*e^4 - 396263/5283*e^3 - 302669/5283*e^2 + 142268/1761*e + 165310/5283, -8780/5283*e^7 - 19604/5283*e^6 + 146660/5283*e^5 + 35017/587*e^4 - 276025/5283*e^3 - 258739/5283*e^2 + 32242/1761*e - 55912/5283, 4297/5283*e^7 + 1582/5283*e^6 - 88492/5283*e^5 - 2184/587*e^4 + 422564/5283*e^3 - 151000/5283*e^2 - 164519/1761*e + 129866/5283, -15080/5283*e^7 - 34850/5283*e^6 + 259151/5283*e^5 + 65628/587*e^4 - 601249/5283*e^3 - 924955/5283*e^2 + 146977/1761*e + 150188/5283, -12623/5283*e^7 - 29855/5283*e^6 + 215438/5283*e^5 + 55844/587*e^4 - 473989/5283*e^3 - 740572/5283*e^2 + 94570/1761*e + 1130/5283, -8171/5283*e^7 - 7529/5283*e^6 + 168065/5283*e^5 + 15303/587*e^4 - 776620/5283*e^3 - 243787/5283*e^2 + 234907/1761*e + 56240/5283, -9812/5283*e^7 - 11465/5283*e^6 + 192287/5283*e^5 + 21490/587*e^4 - 773746/5283*e^3 - 192808/5283*e^2 + 216034/1761*e - 19132/5283, 18397/5283*e^7 + 39226/5283*e^6 - 325918/5283*e^5 - 73825/587*e^4 + 872963/5283*e^3 + 1020056/5283*e^2 - 167639/1761*e - 160840/5283, -6661/5283*e^7 - 19489/5283*e^6 + 105103/5283*e^5 + 36853/587*e^4 - 107963/5283*e^3 - 585086/5283*e^2 + 6080/1761*e + 276526/5283, -11777/5283*e^7 - 22736/5283*e^6 + 208166/5283*e^5 + 42494/587*e^4 - 564142/5283*e^3 - 500830/5283*e^2 + 115867/1761*e - 64282/5283, 1270/5283*e^7 + 8239/5283*e^6 - 7507/5283*e^5 - 14891/587*e^4 - 194698/5283*e^3 + 178376/5283*e^2 + 127660/1761*e - 69220/5283, 15508/5283*e^7 + 31495/5283*e^6 - 277480/5283*e^5 - 59547/587*e^4 + 797696/5283*e^3 + 825431/5283*e^2 - 224798/1761*e - 70102/5283, 8914/5283*e^7 + 20257/5283*e^6 - 155830/5283*e^5 - 37960/587*e^4 + 395519/5283*e^3 + 517799/5283*e^2 - 98780/1761*e - 86836/5283, 1675/5283*e^7 + 238/5283*e^6 - 40663/5283*e^5 - 1274/587*e^4 + 268019/5283*e^3 + 73733/5283*e^2 - 125564/1761*e + 85832/5283, 5339/5283*e^7 + 11312/5283*e^6 - 94826/5283*e^5 - 20671/587*e^4 + 256921/5283*e^3 + 215974/5283*e^2 - 69151/1761*e - 72272/5283, -15265/5283*e^7 - 35239/5283*e^6 + 258643/5283*e^5 + 65604/587*e^4 - 548594/5283*e^3 - 816368/5283*e^2 + 115832/1761*e + 129322/5283, 2227/1761*e^7 + 6082/1761*e^6 - 35254/1761*e^5 - 33376/587*e^4 + 37517/1761*e^3 + 126149/1761*e^2 + 3871/587*e - 1660/1761, 26128/5283*e^7 + 52969/5283*e^6 - 463636/5283*e^5 - 98704/587*e^4 + 1273931/5283*e^3 + 1197842/5283*e^2 - 305756/1761*e - 31114/5283, 7787/5283*e^7 + 14489/5283*e^6 - 137450/5283*e^5 - 26179/587*e^4 + 372607/5283*e^3 + 203572/5283*e^2 - 112174/1761*e + 4624/5283, 1688/587*e^7 + 3451/587*e^6 - 30496/587*e^5 - 58836/587*e^4 + 90440/587*e^3 + 94415/587*e^2 - 67504/587*e - 22182/587, -1250/587*e^7 - 2438/587*e^6 + 23284/587*e^5 + 42042/587*e^4 - 78952/587*e^3 - 73318/587*e^2 + 76890/587*e + 12046/587, -9274/5283*e^7 - 24298/5283*e^6 + 151843/5283*e^5 + 45227/587*e^4 - 245651/5283*e^3 - 617906/5283*e^2 + 44456/1761*e + 207292/5283, -1948/5283*e^7 - 2554/5283*e^6 + 36715/5283*e^5 + 4383/587*e^4 - 138344/5283*e^3 + 13201/5283*e^2 + 71513/1761*e - 39920/5283, 10850/5283*e^7 + 30953/5283*e^6 - 175244/5283*e^5 - 58752/587*e^4 + 243715/5283*e^3 + 925486/5283*e^2 - 13966/1761*e - 129542/5283, 3674/1761*e^7 + 7811/1761*e^6 - 62417/1761*e^5 - 42703/587*e^4 + 133837/1761*e^3 + 126091/1761*e^2 - 21323/587*e + 21694/1761, 157/587*e^7 - 571/587*e^6 - 5496/587*e^5 + 8414/587*e^4 + 52217/587*e^3 - 4080/587*e^2 - 63173/587*e + 5346/587, -5230/1761*e^7 - 6904/1761*e^6 + 101008/1761*e^5 + 39118/587*e^4 - 391463/1761*e^3 - 141947/1761*e^2 + 113012/587*e + 10090/1761, 901/1761*e^7 + 619/1761*e^6 - 19210/1761*e^5 - 3587/587*e^4 + 91520/1761*e^3 + 10037/1761*e^2 - 10026/587*e + 16562/1761, 27454/5283*e^7 + 61954/5283*e^6 - 476158/5283*e^5 - 116069/587*e^4 + 1161815/5283*e^3 + 1544645/5283*e^2 - 285989/1761*e - 140908/5283, -4876/1761*e^7 - 11119/1761*e^6 + 84589/1761*e^5 + 62850/587*e^4 - 203891/1761*e^3 - 298061/1761*e^2 + 43278/587*e + 71968/1761, -3889/5283*e^7 - 8977/5283*e^6 + 70822/5283*e^5 + 18289/587*e^4 - 214856/5283*e^3 - 407543/5283*e^2 + 42590/1761*e + 90748/5283, -20909/5283*e^7 - 44765/5283*e^6 + 367481/5283*e^5 + 84173/587*e^4 - 965293/5283*e^3 - 1131463/5283*e^2 + 234346/1761*e + 104654/5283, -7835/1761*e^7 - 17141/1761*e^6 + 137975/1761*e^5 + 97645/587*e^4 - 362134/1761*e^3 - 478252/1761*e^2 + 80042/587*e + 48770/1761, 1309/5283*e^7 + 268/5283*e^6 - 28075/5283*e^5 - 744/587*e^4 + 151304/5283*e^3 + 4448/5283*e^2 - 77951/1761*e + 54032/5283, -14740/5283*e^7 - 24283/5283*e^6 + 279646/5283*e^5 + 46079/587*e^4 - 1009289/5283*e^3 - 634058/5283*e^2 + 283985/1761*e + 127996/5283, 9511/5283*e^7 + 24625/5283*e^6 - 154105/5283*e^5 - 45320/587*e^4 + 228170/5283*e^3 + 525716/5283*e^2 - 33875/1761*e - 4480/5283, -8563/5283*e^7 - 12751/5283*e^6 + 166189/5283*e^5 + 24403/587*e^4 - 652055/5283*e^3 - 345044/5283*e^2 + 204752/1761*e + 44410/5283, 3938/5283*e^7 + 13592/5283*e^6 - 57380/5283*e^5 - 25590/587*e^4 - 23261/5283*e^3 + 391804/5283*e^2 + 69701/1761*e - 37760/5283, 5398/5283*e^7 + 2098/5283*e^6 - 121336/5283*e^5 - 4808/587*e^4 + 681473/5283*e^3 + 99557/5283*e^2 - 218327/1761*e - 68416/5283, -3602/1761*e^7 - 9116/1761*e^6 + 60749/1761*e^5 + 52196/587*e^4 - 124012/1761*e^3 - 274069/1761*e^2 + 24322/587*e + 30290/1761, -19697/5283*e^7 - 42959/5283*e^6 + 342338/5283*e^5 + 80859/587*e^4 - 833071/5283*e^3 - 1097152/5283*e^2 + 151678/1761*e + 145004/5283, 6244/5283*e^7 + 14500/5283*e^6 - 107476/5283*e^5 - 27550/587*e^4 + 242642/5283*e^3 + 407978/5283*e^2 - 17408/1761*e - 49300/5283, -5636/5283*e^7 - 2627/5283*e^6 + 120197/5283*e^5 + 4463/587*e^4 - 607165/5283*e^3 + 62927/5283*e^2 + 199201/1761*e + 26894/5283, -15638/5283*e^7 - 26057/5283*e^6 + 294971/5283*e^5 + 48980/587*e^4 - 1044121/5283*e^3 - 610198/5283*e^2 + 286774/1761*e + 32594/5283, 5513/1761*e^7 + 11240/1761*e^6 - 98270/1761*e^5 - 63481/587*e^4 + 272887/1761*e^3 + 280120/1761*e^2 - 53343/587*e - 20606/1761, -899/1761*e^7 - 215/1761*e^6 + 20729/1761*e^5 + 2106/587*e^4 - 124168/1761*e^3 - 32638/1761*e^2 + 55292/587*e + 23624/1761, -373/5283*e^7 - 6667/5283*e^6 - 11219/5283*e^5 + 12726/587*e^4 + 281074/5283*e^3 - 227036/5283*e^2 - 163648/1761*e + 135724/5283, 770/587*e^7 + 2333/587*e^6 - 10990/587*e^5 - 38779/587*e^4 - 6506/587*e^3 + 53133/587*e^2 + 41578/587*e - 19320/587, 4210/1761*e^7 + 8662/1761*e^6 - 76204/1761*e^5 - 48669/587*e^4 + 233198/1761*e^3 + 209630/1761*e^2 - 84373/587*e - 3388/1761, -13265/5283*e^7 - 38030/5283*e^6 + 213875/5283*e^5 + 71670/587*e^4 - 295831/5283*e^3 - 1066756/5283*e^2 + 43126/1761*e + 224396/5283, 13493/5283*e^7 + 31256/5283*e^6 - 236180/5283*e^5 - 58682/587*e^4 + 599605/5283*e^3 + 820045/5283*e^2 - 165802/1761*e - 133742/5283, -1066/5283*e^7 + 1271/5283*e^6 + 19804/5283*e^5 - 3765/587*e^4 - 60692/5283*e^3 + 263482/5283*e^2 - 25732/1761*e - 227264/5283, 850/1761*e^7 + 883/1761*e^6 - 14800/1761*e^5 - 3096/587*e^4 + 34739/1761*e^3 - 73132/1761*e^2 + 1473/587*e + 78356/1761, 15130/5283*e^7 + 23818/5283*e^6 - 284572/5283*e^5 - 44902/587*e^4 + 1003661/5283*e^3 + 532508/5283*e^2 - 283247/1761*e + 5660/5283, 10589/5283*e^7 + 20495/5283*e^6 - 191210/5283*e^5 - 38647/587*e^4 + 573727/5283*e^3 + 517570/5283*e^2 - 175036/1761*e - 32702/5283, 6422/5283*e^7 + 18758/5283*e^6 - 104360/5283*e^5 - 35288/587*e^4 + 159853/5283*e^3 + 527299/5283*e^2 - 37273/1761*e - 19400/5283, -95/1761*e^7 + 1942/1761*e^6 + 7973/1761*e^5 - 10365/587*e^4 - 108082/1761*e^3 + 44243/1761*e^2 + 48767/587*e - 33370/1761, -12325/5283*e^7 - 27772/5283*e^6 + 214600/5283*e^5 + 52532/587*e^4 - 545099/5283*e^3 - 751655/5283*e^2 + 173819/1761*e + 170500/5283, 18022/5283*e^7 + 37438/5283*e^6 - 322807/5283*e^5 - 70780/587*e^4 + 919013/5283*e^3 + 1007570/5283*e^2 - 211019/1761*e - 199138/5283, -10705/1761*e^7 - 22795/1761*e^6 + 187636/1761*e^5 + 127877/587*e^4 - 483407/1761*e^3 - 538028/1761*e^2 + 111276/587*e + 29956/1761, 566/587*e^7 + 2215/587*e^6 - 7438/587*e^5 - 36996/587*e^4 - 17027/587*e^3 + 60330/587*e^2 + 55122/587*e - 23380/587, 11054/5283*e^7 + 24614/5283*e^6 - 194645/5283*e^5 - 46297/587*e^4 + 521908/5283*e^3 + 622441/5283*e^2 - 170905/1761*e + 38878/5283, -4375/5283*e^7 - 1489/5283*e^6 + 97930/5283*e^5 + 3827/587*e^4 - 544004/5283*e^3 - 98123/5283*e^2 + 172472/1761*e - 101654/5283, 22531/5283*e^7 + 44863/5283*e^6 - 398209/5283*e^5 - 82833/587*e^4 + 1080626/5283*e^3 + 878717/5283*e^2 - 280973/1761*e + 23918/5283, 2182/5283*e^7 + 7558/5283*e^6 - 33331/5283*e^5 - 14595/587*e^4 + 21911/5283*e^3 + 269264/5283*e^2 - 21410/1761*e - 203206/5283, -3214/1761*e^7 - 8224/1761*e^6 + 52543/1761*e^5 + 45468/587*e^4 - 84665/1761*e^3 - 183962/1761*e^2 + 14427/587*e + 49798/1761, -30409/5283*e^7 - 61885/5283*e^6 + 543148/5283*e^5 + 116701/587*e^4 - 1527995/5283*e^3 - 1590416/5283*e^2 + 334040/1761*e + 183994/5283, -109/587*e^7 - 299/587*e^6 + 2036/587*e^5 + 5876/587*e^4 - 6338/587*e^3 - 21197/587*e^2 - 4791/587*e + 7004/587, 5038/5283*e^7 + 3340/5283*e^6 - 109474/5283*e^5 - 6346/587*e^4 + 577757/5283*e^3 + 31148/5283*e^2 - 223343/1761*e + 9776/5283, -4619/1761*e^7 - 10274/1761*e^6 + 78146/1761*e^5 + 57153/587*e^4 - 162193/1761*e^3 - 225319/1761*e^2 + 21657/587*e + 21548/1761, -3868/5283*e^7 - 4735/5283*e^6 + 68281/5283*e^5 + 7529/587*e^4 - 193133/5283*e^3 + 123823/5283*e^2 + 45935/1761*e - 189938/5283, -8675/5283*e^7 - 14243/5283*e^6 + 160370/5283*e^5 + 26416/587*e^4 - 521371/5283*e^3 - 269824/5283*e^2 + 98275/1761*e + 19898/5283, -20183/5283*e^7 - 46037/5283*e^6 + 348314/5283*e^5 + 86942/587*e^4 - 802975/5283*e^3 - 1242070/5283*e^2 + 110743/1761*e + 153356/5283, -2263/5283*e^7 - 2788/5283*e^6 + 48415/5283*e^5 + 6706/587*e^4 - 237020/5283*e^3 - 265241/5283*e^2 + 49514/1761*e + 218686/5283, -20051/5283*e^7 - 45788/5283*e^6 + 342908/5283*e^5 + 85471/587*e^4 - 770581/5283*e^3 - 1096006/5283*e^2 + 171517/1761*e + 79604/5283, 142/5283*e^7 + 2269/5283*e^6 + 2189/5283*e^5 - 4722/587*e^4 - 65689/5283*e^3 + 129914/5283*e^2 + 1822/1761*e - 70054/5283, 43/5283*e^7 + 3403/5283*e^6 - 1681/5283*e^5 - 8168/587*e^4 + 13034/5283*e^3 + 374327/5283*e^2 - 21746/1761*e - 152098/5283, -3562/5283*e^7 - 11602/5283*e^6 + 52387/5283*e^5 + 21222/587*e^4 - 371/5283*e^3 - 227726/5283*e^2 + 15683/1761*e - 201458/5283, 937/587*e^7 + 2021/587*e^6 - 16522/587*e^5 - 33209/587*e^4 + 44483/587*e^3 + 34664/587*e^2 - 47592/587*e + 16726/587, -6709/5283*e^7 - 13336/5283*e^6 + 121477/5283*e^5 + 25221/587*e^4 - 365162/5283*e^3 - 364925/5283*e^2 + 104849/1761*e + 115078/5283, 31498/5283*e^7 + 70543/5283*e^6 - 537559/5283*e^5 - 131038/587*e^4 + 1179776/5283*e^3 + 1596203/5283*e^2 - 203345/1761*e - 200752/5283, -4243/1761*e^7 - 8284/1761*e^6 + 76675/1761*e^5 + 45810/587*e^4 - 231611/1761*e^3 - 168662/1761*e^2 + 71234/587*e + 14782/1761, 11725/5283*e^7 + 17515/5283*e^6 - 221245/5283*e^5 - 32985/587*e^4 + 798401/5283*e^3 + 368207/5283*e^2 - 237944/1761*e - 12004/5283, 18931/5283*e^7 + 36151/5283*e^6 - 342985/5283*e^5 - 68276/587*e^4 + 1036670/5283*e^3 + 928964/5283*e^2 - 250127/1761*e - 113404/5283, -1447/587*e^7 - 2903/587*e^6 + 25402/587*e^5 + 47939/587*e^4 - 66383/587*e^3 - 52772/587*e^2 + 52689/587*e - 19832/587, -7406/1761*e^7 - 16772/1761*e^6 + 126569/1761*e^5 + 94309/587*e^4 - 275344/1761*e^3 - 424423/1761*e^2 + 29550/587*e + 73226/1761, 2446/5283*e^7 + 8056/5283*e^6 - 28294/5283*e^5 - 13428/587*e^4 - 129904/5283*e^3 - 9172/5283*e^2 + 94855/1761*e - 12598/5283, -4702/5283*e^7 - 9430/5283*e^6 + 79384/5283*e^5 + 16743/587*e^4 - 166793/5283*e^3 - 103601/5283*e^2 + 25040/1761*e - 20768/5283, 11876/5283*e^7 + 21602/5283*e^6 - 214862/5283*e^5 - 40809/587*e^4 + 638626/5283*e^3 + 515284/5283*e^2 - 116953/1761*e + 72364/5283, -2269/1761*e^7 - 5761/1761*e^6 + 36814/1761*e^5 + 32192/587*e^4 - 49265/1761*e^3 - 141086/1761*e^2 - 19953/587*e - 488/1761, 5752/5283*e^7 + 20776/5283*e^6 - 90208/5283*e^5 - 41118/587*e^4 + 69551/5283*e^3 + 896144/5283*e^2 + 45355/1761*e - 288298/5283, -3649/5283*e^7 + 2522/5283*e^6 + 89329/5283*e^5 - 4557/587*e^4 - 582440/5283*e^3 + 118816/5283*e^2 + 195032/1761*e - 10688/5283, 1382/5283*e^7 + 4448/5283*e^6 - 22820/5283*e^5 - 8686/587*e^4 + 39145/5283*e^3 + 177118/5283*e^2 - 12403/1761*e - 13010/5283, 28480/5283*e^7 + 63169/5283*e^6 - 489361/5283*e^5 - 118084/587*e^4 + 1123520/5283*e^3 + 1504253/5283*e^2 - 207593/1761*e - 160888/5283, -11518/5283*e^7 - 28531/5283*e^6 + 196198/5283*e^5 + 53211/587*e^4 - 431822/5283*e^3 - 707795/5283*e^2 + 143621/1761*e - 18164/5283, 27785/5283*e^7 + 54854/5283*e^6 - 502121/5283*e^5 - 103753/587*e^4 + 1502953/5283*e^3 + 1438003/5283*e^2 - 396703/1761*e - 159032/5283, 36982/5283*e^7 + 74164/5283*e^6 - 656974/5283*e^5 - 139268/587*e^4 + 1802789/5283*e^3 + 1805171/5283*e^2 - 378875/1761*e - 161290/5283, -3907/5283*e^7 - 7330/5283*e^6 + 73000/5283*e^5 + 13927/587*e^4 - 232721/5283*e^3 - 204134/5283*e^2 + 17333/1761*e + 14356/5283, 5014/5283*e^7 + 14341/5283*e^6 - 80155/5283*e^5 - 26837/587*e^4 + 97838/5283*e^3 + 397454/5283*e^2 + 4783/1761*e - 166042/5283, -16564/5283*e^7 - 33487/5283*e^6 + 294313/5283*e^5 + 61923/587*e^4 - 813830/5283*e^3 - 683759/5283*e^2 + 214076/1761*e - 16106/5283, 30244/5283*e^7 + 76102/5283*e^6 - 507334/5283*e^5 - 142598/587*e^4 + 993542/5283*e^3 + 1967834/5283*e^2 - 199568/1761*e - 208030/5283, 2344/5283*e^7 - 1982/5283*e^6 - 52933/5283*e^5 + 5879/587*e^4 + 309488/5283*e^3 - 399157/5283*e^2 - 135731/1761*e + 251870/5283, 2958/587*e^7 + 7581/587*e^6 - 49743/587*e^5 - 128872/587*e^4 + 98844/587*e^3 + 211743/587*e^2 - 61965/587*e - 32702/587, 6502/5283*e^7 + 8503/5283*e^6 - 122845/5283*e^5 - 14336/587*e^4 + 442355/5283*e^3 - 35107/5283*e^2 - 135557/1761*e + 94712/5283, 27200/5283*e^7 + 63476/5283*e^6 - 468317/5283*e^5 - 118726/587*e^4 + 1083472/5283*e^3 + 1579762/5283*e^2 - 235798/1761*e - 179894/5283, 829/5283*e^7 + 14251/5283*e^6 + 14156/5283*e^5 - 26666/587*e^4 - 444844/5283*e^3 + 478517/5283*e^2 + 205339/1761*e - 176302/5283, -1747/1761*e^7 - 4216/1761*e^6 + 28243/1761*e^5 + 22505/587*e^4 - 38348/1761*e^3 - 50786/1761*e^2 - 2466/587*e - 28634/1761, 5345/5283*e^7 + 7241/5283*e^6 - 100835/5283*e^5 - 12760/587*e^4 + 343882/5283*e^3 + 16096/5283*e^2 - 40774/1761*e + 238474/5283, 15323/5283*e^7 + 41672/5283*e^6 - 246290/5283*e^5 - 78355/587*e^4 + 327334/5283*e^3 + 1134772/5283*e^2 - 9403/1761*e - 217760/5283, 20888/5283*e^7 + 51089/5283*e^6 - 349091/5283*e^5 - 95132/587*e^4 + 663571/5283*e^3 + 1207642/5283*e^2 - 123226/1761*e - 88118/5283, 299/1761*e^7 + 524/1761*e^6 - 4481/1761*e^5 - 3339/587*e^4 + 4138/1761*e^3 + 24283/1761*e^2 - 3778/587*e - 27140/1761, -1896/587*e^7 - 3790/587*e^6 + 33358/587*e^5 + 63635/587*e^4 - 87321/587*e^3 - 83106/587*e^2 + 55992/587*e - 8246/587, -3179/1761*e^7 - 6437/1761*e^6 + 57113/1761*e^5 + 36280/587*e^4 - 168208/1761*e^3 - 161242/1761*e^2 + 61092/587*e + 39848/1761, -2495/1761*e^7 - 5627/1761*e^6 + 41267/1761*e^5 + 31076/587*e^4 - 73990/1761*e^3 - 105403/1761*e^2 + 7696/587*e - 19258/1761, -18100/5283*e^7 - 47911/5283*e^6 + 295264/5283*e^5 + 89446/587*e^4 - 464606/5283*e^3 - 1182731/5283*e^2 + 85136/1761*e + 111124/5283, -22936/5283*e^7 - 57994/5283*e^6 + 378535/5283*e^5 + 108545/587*e^4 - 645233/5283*e^3 - 1471430/5283*e^2 + 53444/1761*e + 211972/5283, 2522/1761*e^7 + 4037/1761*e^6 - 48056/1761*e^5 - 22013/587*e^4 + 180913/1761*e^3 + 54754/1761*e^2 - 76938/587*e + 24664/1761, 6481/1761*e^7 + 14827/1761*e^6 - 109738/1761*e^5 - 82342/587*e^4 + 230444/1761*e^3 + 321071/1761*e^2 - 43221/587*e - 19066/1761, 5873/1761*e^7 + 17042/1761*e^6 - 92522/1761*e^5 - 94674/587*e^4 + 93082/1761*e^3 + 410164/1761*e^2 + 3329/587*e - 67100/1761, -1343/1761*e^7 - 5375/1761*e^6 + 16340/1761*e^5 + 28583/587*e^4 + 55034/1761*e^3 - 74569/1761*e^2 - 26500/587*e - 60970/1761, 8792/1761*e^7 + 18506/1761*e^6 - 155156/1761*e^5 - 104545/587*e^4 + 409444/1761*e^3 + 466528/1761*e^2 - 79387/587*e - 5864/1761, 17198/5283*e^7 + 34763/5283*e^6 - 309392/5283*e^5 - 64817/587*e^4 + 894817/5283*e^3 + 806260/5283*e^2 - 194011/1761*e + 68824/5283, -13816/5283*e^7 - 27823/5283*e^6 + 241804/5283*e^5 + 50457/587*e^4 - 618758/5283*e^3 - 425192/5283*e^2 + 151166/1761*e - 134684/5283, 70/5283*e^7 - 1709/5283*e^6 - 4948/5283*e^5 + 2484/587*e^4 + 42473/5283*e^3 + 50723/5283*e^2 + 76894/1761*e - 122038/5283, -14149/5283*e^7 - 26410/5283*e^6 + 255682/5283*e^5 + 50179/587*e^4 - 751148/5283*e^3 - 695696/5283*e^2 + 125042/1761*e + 174322/5283, -632/1761*e^7 + 889/1761*e^6 + 16598/1761*e^5 - 5126/587*e^4 - 117157/1761*e^3 + 41564/1761*e^2 + 39876/587*e + 8600/1761, -411/587*e^7 - 1429/587*e^6 + 5706/587*e^5 + 23438/587*e^4 + 5037/587*e^3 - 27134/587*e^2 - 1683/587*e - 12634/587, 6025/5283*e^7 + 7243/5283*e^6 - 123241/5283*e^5 - 14290/587*e^4 + 579119/5283*e^3 + 222797/5283*e^2 - 247511/1761*e + 14468/5283, 32998/5283*e^7 + 72412/5283*e^6 - 576418/5283*e^5 - 135587/587*e^4 + 1460480/5283*e^3 + 1788788/5283*e^2 - 357371/1761*e - 280012/5283, -8242/5283*e^7 - 16588/5283*e^6 + 143197/5283*e^5 + 30578/587*e^4 - 344909/5283*e^3 - 303461/5283*e^2 + 56135/1761*e - 241562/5283, 9022/5283*e^7 + 26224/5283*e^6 - 142483/5283*e^5 - 47595/587*e^4 + 148748/5283*e^3 + 512435/5283*e^2 - 15917/1761*e - 8860/5283, -10294/5283*e^7 - 24301/5283*e^6 + 169603/5283*e^5 + 45761/587*e^4 - 273602/5283*e^3 - 629468/5283*e^2 - 58393/1761*e + 73114/5283, 865/5283*e^7 - 4892/5283*e^6 - 21898/5283*e^5 + 10821/587*e^4 + 145601/5283*e^3 - 446035/5283*e^2 - 4775/1761*e + 325160/5283, -26470/5283*e^7 - 53374/5283*e^6 + 473320/5283*e^5 + 101528/587*e^4 - 1338650/5283*e^3 - 1459094/5283*e^2 + 292538/1761*e + 58906/5283, -3628/5283*e^7 - 9085/5283*e^6 + 60373/5283*e^5 + 16968/587*e^4 - 85247/5283*e^3 - 232079/5283*e^2 - 74578/1761*e - 16658/5283, 4454/5283*e^7 + 1598/5283*e^6 - 109250/5283*e^5 - 5619/587*e^4 + 714277/5283*e^3 + 345631/5283*e^2 - 266974/1761*e - 193508/5283, -9181/1761*e^7 - 19600/1761*e^6 + 159961/1761*e^5 + 109372/587*e^4 - 395486/1761*e^3 - 444077/1761*e^2 + 77215/587*e - 278/1761, -6958/5283*e^7 - 21370/5283*e^6 + 104059/5283*e^5 + 39429/587*e^4 - 3869/5283*e^3 - 517505/5283*e^2 - 120976/1761*e + 167752/5283, -21907/5283*e^7 - 50890/5283*e^6 + 375535/5283*e^5 + 94930/587*e^4 - 832877/5283*e^3 - 1252517/5283*e^2 + 95840/1761*e + 151894/5283, -8921/5283*e^7 - 21671/5283*e^6 + 153155/5283*e^5 + 41938/587*e^4 - 356974/5283*e^3 - 738946/5283*e^2 + 93556/1761*e + 212096/5283, 4767/587*e^7 + 10233/587*e^6 - 83140/587*e^5 - 172695/587*e^4 + 208706/587*e^3 + 250449/587*e^2 - 139321/587*e - 21526/587, -1672/5283*e^7 - 4915/5283*e^6 + 29734/5283*e^5 + 10219/587*e^4 - 79256/5283*e^3 - 295181/5283*e^2 + 5036/1761*e + 201616/5283, -18647/5283*e^7 - 47462/5283*e^6 + 315665/5283*e^5 + 88182/587*e^4 - 666163/5283*e^3 - 1144606/5283*e^2 + 206224/1761*e + 57824/5283, 9370/1761*e^7 + 19036/1761*e^6 - 165220/1761*e^5 - 105218/587*e^4 + 439547/1761*e^3 + 371294/1761*e^2 - 95831/587*e + 34598/1761, -11980/5283*e^7 - 16195/5283*e^6 + 236251/5283*e^5 + 31064/587*e^4 - 978407/5283*e^3 - 405437/5283*e^2 + 342986/1761*e + 49780/5283, -34318/5283*e^7 - 85468/5283*e^6 + 577648/5283*e^5 + 159689/587*e^4 - 1155743/5283*e^3 - 2155847/5283*e^2 + 244472/1761*e + 320176/5283, -19586/5283*e^7 - 41669/5283*e^6 + 339473/5283*e^5 + 78408/587*e^4 - 817117/5283*e^3 - 1070380/5283*e^2 + 119296/1761*e + 299108/5283, 2911/587*e^7 + 5131/587*e^6 - 54035/587*e^5 - 87564/587*e^4 + 180456/587*e^3 + 133854/587*e^2 - 142705/587*e - 22024/587, -1153/1761*e^7 - 3976/1761*e^6 + 16243/1761*e^5 + 22311/587*e^4 + 14092/1761*e^3 - 99659/1761*e^2 - 18374/587*e - 32972/1761, 1378/1761*e^7 + 7162/1761*e^6 - 15292/1761*e^5 - 40119/587*e^4 - 89269/1761*e^3 + 217037/1761*e^2 + 60838/587*e - 47596/1761, -8909/1761*e^7 - 21008/1761*e^6 + 149942/1761*e^5 + 117515/587*e^4 - 293995/1761*e^3 - 513547/1761*e^2 + 19409/587*e + 93968/1761, -9977/1761*e^7 - 21902/1761*e^6 + 171749/1761*e^5 + 123550/587*e^4 - 396001/1761*e^3 - 555010/1761*e^2 + 51723/587*e + 76580/1761, 20440/5283*e^7 + 50404/5283*e^6 - 351235/5283*e^5 - 96472/587*e^4 + 805931/5283*e^3 + 1566635/5283*e^2 - 174041/1761*e - 281260/5283, 25523/5283*e^7 + 52268/5283*e^6 - 450305/5283*e^5 - 97783/587*e^4 + 1214389/5283*e^3 + 1208128/5283*e^2 - 324556/1761*e - 69938/5283, -6766/5283*e^7 - 14284/5283*e^6 + 117808/5283*e^5 + 24909/587*e^4 - 306389/5283*e^3 - 87965/5283*e^2 + 144323/1761*e - 243056/5283, -17432/5283*e^7 - 50333/5283*e^6 + 284876/5283*e^5 + 96161/587*e^4 - 440272/5283*e^3 - 1617025/5283*e^2 + 57619/1761*e + 417320/5283, -18221/5283*e^7 - 40655/5283*e^6 + 316949/5283*e^5 + 76364/587*e^4 - 762853/5283*e^3 - 1045429/5283*e^2 + 107791/1761*e + 58982/5283, 10526/5283*e^7 + 18335/5283*e^6 - 188870/5283*e^5 - 33369/587*e^4 + 556105/5283*e^3 + 249505/5283*e^2 - 149851/1761*e + 112000/5283, 1726/1761*e^7 + 1735/1761*e^6 - 36268/1761*e^5 - 10770/587*e^4 + 180398/1761*e^3 + 65330/1761*e^2 - 72493/587*e + 9950/1761, -17242/5283*e^7 - 48934/5283*e^6 + 270691/5283*e^5 + 91331/587*e^4 - 259328/5283*e^3 - 1258217/5283*e^2 - 69265/1761*e + 297394/5283, -36577/5283*e^7 - 82165/5283*e^6 + 629101/5283*e^5 + 154059/587*e^4 - 1451015/5283*e^3 - 2031323/5283*e^2 + 278858/1761*e + 326908/5283, 4561/1761*e^7 + 12646/1761*e^6 - 72889/1761*e^5 - 70556/587*e^4 + 89366/1761*e^3 + 310184/1761*e^2 + 1641/587*e - 24682/1761, 38845/5283*e^7 + 80680/5283*e^6 - 686926/5283*e^5 - 151531/587*e^4 + 1847672/5283*e^3 + 1987358/5283*e^2 - 424766/1761*e - 168652/5283, -4769/5283*e^7 - 22964/5283*e^6 + 46988/5283*e^5 + 41988/587*e^4 + 375722/5283*e^3 - 513130/5283*e^2 - 181187/1761*e + 82304/5283, -4889/5283*e^7 - 15506/5283*e^6 + 77357/5283*e^5 + 29931/587*e^4 - 85012/5283*e^3 - 567631/5283*e^2 + 10264/1761*e + 122456/5283, -1344/587*e^7 - 2642/587*e^6 + 24092/587*e^5 + 44826/587*e^4 - 70696/587*e^3 - 64736/587*e^2 + 75074/587*e - 4166/587, -2228/1761*e^7 - 4523/1761*e^6 + 42419/1761*e^5 + 26192/587*e^4 - 160312/1761*e^3 - 149188/1761*e^2 + 77395/587*e + 22070/1761, 45218/5283*e^7 + 100106/5283*e^6 - 794162/5283*e^5 - 188910/587*e^4 + 2071303/5283*e^3 + 2673037/5283*e^2 - 512695/1761*e - 188210/5283, 32299/5283*e^7 + 68572/5283*e^6 - 571084/5283*e^5 - 128878/587*e^4 + 1544204/5283*e^3 + 1739564/5283*e^2 - 411605/1761*e - 235258/5283, 39281/5283*e^7 + 78941/5283*e^6 - 699179/5283*e^5 - 148990/587*e^4 + 1948747/5283*e^3 + 2017555/5283*e^2 - 430705/1761*e - 280022/5283, 1663/587*e^7 + 4271/587*e^6 - 27471/587*e^5 - 71097/587*e^4 + 48311/587*e^3 + 98983/587*e^2 - 33916/587*e + 3206/587, 3619/5283*e^7 + 17833/5283*e^6 - 43435/5283*e^5 - 34998/587*e^4 - 179911/5283*e^3 + 759065/5283*e^2 + 152641/1761*e - 317386/5283, 1555/587*e^7 + 3000/587*e^6 - 28491/587*e^5 - 51887/587*e^4 + 91980/587*e^3 + 90259/587*e^2 - 94078/587*e - 5504/587, -29012/5283*e^7 - 49124/5283*e^6 + 534362/5283*e^5 + 91105/587*e^4 - 1738993/5283*e^3 - 962053/5283*e^2 + 469183/1761*e + 23324/5283, -5423/1761*e^7 - 14192/1761*e^6 + 89141/1761*e^5 + 79016/587*e^4 - 148342/1761*e^3 - 332137/1761*e^2 + 24073/587*e + 39800/1761, -4934/1761*e^7 - 10508/1761*e^6 + 89846/1761*e^5 + 61774/587*e^4 - 278479/1761*e^3 - 391057/1761*e^2 + 80077/587*e + 107576/1761, 575/1761*e^7 + 3446/1761*e^6 - 4418/1761*e^5 - 19290/587*e^4 - 63566/1761*e^3 + 96277/1761*e^2 + 18969/587*e - 21578/1761, -4534/5283*e^7 - 17758/5283*e^6 + 69622/5283*e^5 + 34562/587*e^4 - 24707/5283*e^3 - 697184/5283*e^2 - 52099/1761*e + 68830/5283, -14047/5283*e^7 - 37504/5283*e^6 + 232774/5283*e^5 + 70788/587*e^4 - 392807/5283*e^3 - 1082312/5283*e^2 + 6950/1761*e + 311362/5283, -21925/5283*e^7 - 43960/5283*e^6 + 398845/5283*e^5 + 83524/587*e^4 - 1231118/5283*e^3 - 1234013/5283*e^2 + 341777/1761*e + 307954/5283, 12743/5283*e^7 + 22397/5283*e^6 - 229958/5283*e^5 - 42613/587*e^4 + 681139/5283*e^3 + 589036/5283*e^2 - 108160/1761*e - 115244/5283, 11813/5283*e^7 + 19442/5283*e^6 - 212522/5283*e^5 - 34357/587*e^4 + 621004/5283*e^3 + 104578/5283*e^2 - 105856/1761*e + 291028/5283, -927/587*e^7 - 2349/587*e^6 + 15312/587*e^5 + 38583/587*e^4 - 28688/587*e^3 - 46705/587*e^2 + 45075/587*e - 7158/587, 974/1761*e^7 - 2245/1761*e^6 - 28043/1761*e^5 + 12503/587*e^4 + 227662/1761*e^3 - 86726/1761*e^2 - 90054/587*e + 41092/1761, -10364/5283*e^7 - 12026/5283*e^6 + 216815/5283*e^5 + 24493/587*e^4 - 1045129/5283*e^3 - 495286/5283*e^2 + 352510/1761*e + 131756/5283, -3466/5283*e^7 - 18625/5283*e^6 + 40771/5283*e^5 + 35094/587*e^4 + 186481/5283*e^3 - 599369/5283*e^2 - 102610/1761*e + 68608/5283, 6469/5283*e^7 + 12403/5283*e^6 - 118852/5283*e^5 - 24681/587*e^4 + 373502/5283*e^3 + 493658/5283*e^2 - 70625/1761*e - 182698/5283]; 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;