/* 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![4, 6, -7, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [3, 3, -w + 1], [4, 2, w], [4, 2, -1/2*w^3 + 1/2*w^2 + 7/2*w - 3], [7, 7, -1/2*w^3 + 1/2*w^2 + 5/2*w - 2], [13, 13, 1/2*w^3 + 1/2*w^2 - 7/2*w - 1], [17, 17, 1/2*w^3 - 1/2*w^2 - 5/2*w], [27, 3, -w^3 + 7*w + 1], [31, 31, w + 3], [31, 31, -w^2 + 5], [37, 37, w^2 - 3], [41, 41, 1/2*w^3 + 1/2*w^2 - 3/2*w - 2], [47, 47, w^3 - 5*w - 3], [53, 53, 1/2*w^3 - 1/2*w^2 - 7/2*w], [61, 61, w^3 - w^2 - 5*w + 3], [83, 83, w^3 + w^2 - 6*w - 7], [83, 83, -w^3 + 5*w + 1], [83, 83, 2*w - 1], [83, 83, -3/2*w^3 - 1/2*w^2 + 19/2*w + 2], [89, 89, 1/2*w^3 - 1/2*w^2 - 7/2*w - 2], [89, 89, w^3 - 5*w + 5], [97, 97, -1/2*w^3 + 1/2*w^2 + 7/2*w - 6], [97, 97, -1/2*w^3 + 1/2*w^2 + 9/2*w - 1], [103, 103, 3/2*w^3 + 3/2*w^2 - 19/2*w - 9], [109, 109, 1/2*w^3 - 1/2*w^2 - 9/2*w + 4], [127, 127, 1/2*w^3 + 1/2*w^2 - 3/2*w - 3], [127, 127, 1/2*w^3 - 1/2*w^2 - 5/2*w + 6], [139, 139, 1/2*w^3 + 3/2*w^2 - 9/2*w - 3], [139, 139, 3/2*w^3 - 1/2*w^2 - 21/2*w + 1], [149, 149, -1/2*w^3 + 1/2*w^2 + 9/2*w - 2], [151, 151, -1/2*w^3 - 1/2*w^2 + 9/2*w - 3], [157, 157, 3/2*w^3 - 1/2*w^2 - 21/2*w + 4], [163, 163, 1/2*w^3 + 3/2*w^2 - 5/2*w - 3], [167, 167, -1/2*w^3 + 3/2*w^2 + 9/2*w - 9], [179, 179, w^3 - w^2 - 5*w + 1], [179, 179, -1/2*w^3 + 1/2*w^2 + 3/2*w - 4], [181, 181, 5/2*w^3 + 3/2*w^2 - 31/2*w - 10], [191, 191, -1/2*w^3 + 5/2*w^2 + 7/2*w - 14], [191, 191, 2*w^3 - 2*w^2 - 12*w + 11], [193, 193, w^2 + 1], [193, 193, 1/2*w^3 + 3/2*w^2 - 9/2*w - 6], [197, 197, 1/2*w^3 + 1/2*w^2 - 11/2*w + 1], [197, 197, -3/2*w^3 + 3/2*w^2 + 17/2*w - 8], [199, 199, 3/2*w^3 - 3/2*w^2 - 19/2*w + 7], [227, 227, 1/2*w^3 + 1/2*w^2 - 7/2*w - 6], [227, 227, -2*w^3 - w^2 + 14*w + 9], [229, 229, w^3 - w^2 - 4*w + 3], [229, 229, 3/2*w^3 - 1/2*w^2 - 17/2*w + 1], [233, 233, -w^3 - w^2 + 7*w + 9], [233, 233, 1/2*w^3 + 3/2*w^2 - 5/2*w - 9], [251, 251, -5/2*w^3 - 1/2*w^2 + 31/2*w + 2], [257, 257, -3/2*w^3 - 1/2*w^2 + 19/2*w + 1], [257, 257, 1/2*w^3 + 1/2*w^2 - 11/2*w - 1], [269, 269, 2*w^3 - 2*w^2 - 13*w + 15], [269, 269, 1/2*w^3 + 3/2*w^2 - 9/2*w - 4], [271, 271, 1/2*w^3 + 3/2*w^2 - 5/2*w - 6], [277, 277, -1/2*w^3 + 5/2*w^2 + 5/2*w - 16], [281, 281, -2*w^3 + 12*w + 1], [281, 281, -3/2*w^3 - 1/2*w^2 + 15/2*w - 3], [283, 283, 5/2*w^3 + 3/2*w^2 - 29/2*w - 8], [283, 283, 3/2*w^3 + 1/2*w^2 - 15/2*w], [293, 293, -w^3 - w^2 + 6*w + 1], [307, 307, -3/2*w^3 + 1/2*w^2 + 13/2*w + 4], [307, 307, -3/2*w^3 - 1/2*w^2 + 13/2*w - 2], [311, 311, 2*w^2 + w - 11], [311, 311, 1/2*w^3 + 3/2*w^2 - 5/2*w - 5], [313, 313, 3/2*w^3 - 1/2*w^2 - 17/2*w + 2], [317, 317, w^3 + 2*w^2 - 7*w - 3], [331, 331, 2*w^2 + 2*w - 9], [343, 7, -w^3 + 2*w^2 + 5*w - 11], [349, 349, 5/2*w^3 + 1/2*w^2 - 35/2*w - 6], [353, 353, 1/2*w^3 + 3/2*w^2 - 7/2*w - 4], [359, 359, w - 5], [361, 19, -5/2*w^3 + 1/2*w^2 + 33/2*w], [361, 19, w^3 - w^2 - 8*w + 3], [367, 367, -3/2*w^3 + 3/2*w^2 + 15/2*w - 8], [383, 383, -1/2*w^3 + 1/2*w^2 + 1/2*w - 3], [397, 397, -3/2*w^3 + 5/2*w^2 + 17/2*w - 16], [397, 397, 1/2*w^3 - 1/2*w^2 - 5/2*w - 3], [401, 401, -w^3 + 3*w - 3], [401, 401, 3/2*w^3 + 3/2*w^2 - 21/2*w - 4], [409, 409, 3/2*w^3 - 1/2*w^2 - 19/2*w - 3], [419, 419, -5/2*w^3 - 1/2*w^2 + 29/2*w + 1], [421, 421, -1/2*w^3 + 3/2*w^2 + 9/2*w - 11], [421, 421, -3*w + 1], [431, 431, 1/2*w^3 - 1/2*w^2 + 1/2*w + 2], [431, 431, w^3 - 7*w - 5], [433, 433, 1/2*w^3 + 1/2*w^2 - 3/2*w - 6], [433, 433, w^3 + w^2 - 6*w + 3], [467, 467, 1/2*w^3 + 3/2*w^2 - 11/2*w - 6], [487, 487, -2*w^3 + w^2 + 12*w - 9], [503, 503, 3/2*w^3 - 3/2*w^2 - 19/2*w + 6], [503, 503, w^2 + 2*w - 7], [523, 523, w^3 - w^2 - 6*w + 1], [523, 523, -w^3 + 3*w^2 + 7*w - 19], [541, 541, -3/2*w^3 + 3/2*w^2 + 15/2*w - 7], [541, 541, w^3 - w^2 - 8*w + 7], [547, 547, -1/2*w^3 + 3/2*w^2 + 3/2*w - 8], [557, 557, 2*w^2 - w - 9], [563, 563, -3*w^3 - w^2 + 19*w + 5], [563, 563, 7/2*w^3 + 5/2*w^2 - 45/2*w - 16], [563, 563, -w^3 + 3*w + 3], [563, 563, -w^2 + 2*w - 3], [569, 569, w^3 - w^2 - 6*w - 1], [571, 571, -5/2*w^3 + 3/2*w^2 + 31/2*w - 11], [577, 577, 2*w^2 - 2*w - 5], [587, 587, 3/2*w^3 + 1/2*w^2 - 23/2*w - 3], [587, 587, -2*w^3 + 14*w + 1], [599, 599, -3/2*w^3 - 1/2*w^2 + 13/2*w + 4], [607, 607, -3/2*w^3 - 3/2*w^2 + 21/2*w + 13], [613, 613, -1/2*w^3 + 3/2*w^2 + 11/2*w - 6], [613, 613, w^3 + w^2 - 8*w - 7], [617, 617, 2*w^2 - w - 5], [625, 5, -5], [653, 653, -1/2*w^3 + 3/2*w^2 + 9/2*w - 3], [653, 653, -2*w^3 - w^2 + 14*w + 3], [659, 659, -7/2*w^3 - 1/2*w^2 + 43/2*w + 6], [661, 661, 5/2*w^3 + 1/2*w^2 - 25/2*w - 5], [661, 661, w^3 + w^2 - 5*w - 7], [677, 677, -11/2*w^3 - 3/2*w^2 + 73/2*w + 13], [683, 683, -7/2*w^3 + 5/2*w^2 + 45/2*w - 16], [683, 683, -w^3 + 3*w^2 + 5*w - 11], [691, 691, 2*w^2 - 15], [691, 691, w^3 + w^2 - 4*w - 5], [701, 701, -7/2*w^3 - 1/2*w^2 + 47/2*w + 5], [701, 701, -w^3 + w^2 + 3*w - 5], [719, 719, 5/2*w^3 + 1/2*w^2 - 27/2*w - 5], [727, 727, -1/2*w^3 - 1/2*w^2 + 3/2*w - 4], [733, 733, 3/2*w^3 - 1/2*w^2 - 15/2*w + 1], [733, 733, -w^3 - 2*w^2 + 5*w + 5], [733, 733, 1/2*w^3 - 1/2*w^2 + 3/2*w + 2], [733, 733, 1/2*w^3 + 5/2*w^2 - 5/2*w - 13], [739, 739, 2*w^2 - 7], [743, 743, 3/2*w^3 - 1/2*w^2 - 9/2*w + 4], [743, 743, 2*w^3 - 12*w + 3], [751, 751, 1/2*w^3 + 1/2*w^2 - 11/2*w - 5], [751, 751, -1/2*w^3 + 1/2*w^2 + 11/2*w - 2], [761, 761, -3/2*w^3 + 3/2*w^2 + 23/2*w - 5], [769, 769, w^3 - 2*w^2 - 5*w + 13], [787, 787, -3/2*w^3 + 1/2*w^2 + 15/2*w - 3], [787, 787, 2*w^3 - 10*w - 3], [797, 797, 3/2*w^3 - 1/2*w^2 - 21/2*w + 7], [797, 797, -2*w^3 + 2*w^2 + 14*w - 13], [809, 809, -4*w^3 - 2*w^2 + 25*w + 15], [821, 821, 2*w^3 + 2*w^2 - 13*w - 11], [839, 839, -1/2*w^3 + 3/2*w^2 + 3/2*w - 9], [839, 839, -7/2*w^3 - 5/2*w^2 + 47/2*w + 18], [841, 29, 3/2*w^3 - 1/2*w^2 - 17/2*w + 10], [841, 29, 2*w^3 - 15*w + 5], [853, 853, 2*w^3 - 9*w - 3], [853, 853, -1/2*w^3 - 3/2*w^2 - 3/2*w + 7], [857, 857, 3/2*w^3 + 3/2*w^2 - 9/2*w - 4], [857, 857, w^3 - 3*w^2 - 5*w + 9], [857, 857, -w^3 + 3*w^2 + 6*w - 13], [857, 857, 1/2*w^3 + 5/2*w^2 - 7/2*w - 14], [859, 859, -5/2*w^3 - 1/2*w^2 + 35/2*w + 3], [863, 863, 2*w^3 - 2*w^2 - 13*w + 9], [881, 881, 2*w^2 + w - 13], [881, 881, 5/2*w^3 - 1/2*w^2 - 33/2*w - 1], [907, 907, -w^3 + 3*w^2 + 6*w - 15], [919, 919, 3/2*w^3 + 5/2*w^2 - 19/2*w - 4], [929, 929, 3/2*w^3 + 1/2*w^2 - 19/2*w + 1], [941, 941, 3/2*w^3 - 1/2*w^2 - 13/2*w], [947, 947, -1/2*w^3 + 5/2*w^2 + 13/2*w - 11], [947, 947, -7/2*w^3 - 1/2*w^2 + 43/2*w + 4], [947, 947, 1/2*w^3 + 1/2*w^2 - 13/2*w - 1], [947, 947, -4*w - 3], [953, 953, 3/2*w^3 - 7/2*w^2 - 21/2*w + 22], [953, 953, 1/2*w^3 + 5/2*w^2 - 3/2*w - 10], [961, 31, 3/2*w^3 + 3/2*w^2 - 17/2*w - 10], [967, 967, w^3 - 2*w^2 - 7*w + 7], [967, 967, 1/2*w^3 - 1/2*w^2 - 5/2*w - 4], [977, 977, -2*w^3 + 11*w + 1], [977, 977, 3/2*w^3 + 1/2*w^2 - 25/2*w + 4], [991, 991, -1/2*w^3 + 1/2*w^2 + 5/2*w - 8], [997, 997, 1/2*w^3 + 3/2*w^2 - 1/2*w - 7], [1013, 1013, 2*w^3 - w^2 - 14*w + 5], [1013, 1013, 3/2*w^3 + 3/2*w^2 - 23/2*w - 3], [1019, 1019, -1/2*w^3 + 3/2*w^2 + 3/2*w - 12], [1019, 1019, -3/2*w^3 + 7/2*w^2 + 17/2*w - 22], [1049, 1049, -5/2*w^3 - 5/2*w^2 + 33/2*w + 15], [1049, 1049, -3*w^3 - w^2 + 18*w + 3], [1051, 1051, 3*w^3 - 3*w^2 - 18*w + 17], [1061, 1061, 3/2*w^3 + 1/2*w^2 - 15/2*w - 7], [1061, 1061, -3*w - 5], [1087, 1087, w^2 - 2*w - 7], [1087, 1087, -w^3 - w^2 + 7*w - 1], [1091, 1091, 3/2*w^3 - 3/2*w^2 - 23/2*w + 3], [1093, 1093, 2*w^2 + w + 1], [1103, 1103, -2*w^3 + w^2 + 12*w - 1], [1103, 1103, 11/2*w^3 + 3/2*w^2 - 69/2*w - 11], [1103, 1103, -3/2*w^3 - 3/2*w^2 + 23/2*w + 9], [1103, 1103, 3/2*w^3 - 3/2*w^2 - 15/2*w + 1], [1109, 1109, -9/2*w^3 - 1/2*w^2 + 57/2*w + 3], [1151, 1151, 5/2*w^3 + 5/2*w^2 - 31/2*w - 14], [1151, 1151, -1/2*w^3 - 1/2*w^2 + 7/2*w - 5], [1153, 1153, -1/2*w^3 + 5/2*w^2 + 9/2*w - 15], [1163, 1163, -1/2*w^3 + 3/2*w^2 + 5/2*w - 13], [1163, 1163, -5/2*w^3 - 1/2*w^2 + 33/2*w + 1], [1181, 1181, -5/2*w^3 + 1/2*w^2 + 33/2*w - 5], [1181, 1181, -w^3 + w^2 + 4*w - 9], [1181, 1181, -5/2*w^3 + 1/2*w^2 + 35/2*w], [1181, 1181, -3/2*w^3 - 3/2*w^2 + 13/2*w + 6], [1187, 1187, 7/2*w^3 - 5/2*w^2 - 43/2*w + 15], [1193, 1193, -3/2*w^3 + 1/2*w^2 + 13/2*w - 2], [1201, 1201, -2*w^3 - 2*w^2 + 13*w + 5], [1201, 1201, 3/2*w^3 + 1/2*w^2 - 25/2*w + 2], [1213, 1213, 3*w^3 - w^2 - 18*w + 3], [1213, 1213, 3/2*w^3 + 5/2*w^2 - 21/2*w - 6], [1217, 1217, -1/2*w^3 - 1/2*w^2 + 11/2*w - 7], [1223, 1223, -1/2*w^3 - 1/2*w^2 - 5/2*w], [1237, 1237, -w^3 - 2*w^2 + 7*w + 9], [1259, 1259, -1/2*w^3 + 3/2*w^2 + 11/2*w - 12], [1279, 1279, 1/2*w^3 + 5/2*w^2 - 3/2*w - 13], [1279, 1279, 3/2*w^3 - 1/2*w^2 - 11/2*w + 1], [1297, 1297, -4*w^3 + 25*w - 1], [1301, 1301, 5/2*w^3 - 1/2*w^2 - 29/2*w + 4], [1303, 1303, -3/2*w^3 - 1/2*w^2 + 25/2*w + 4], [1303, 1303, w^3 + w^2 - 7*w + 3], [1319, 1319, 9/2*w^3 - 9/2*w^2 - 57/2*w + 29], [1321, 1321, 1/2*w^3 + 5/2*w^2 - 3/2*w - 8], [1321, 1321, w^2 - 2*w - 9], [1381, 1381, 1/2*w^3 + 1/2*w^2 - 1/2*w - 7], [1399, 1399, -1/2*w^3 + 1/2*w^2 + 1/2*w - 7], [1399, 1399, -w^2 - 3], [1409, 1409, -5/2*w^3 - 3/2*w^2 + 25/2*w], [1423, 1423, 5/2*w^3 - 3/2*w^2 - 31/2*w + 5], [1423, 1423, -w^3 + 9*w - 3], [1439, 1439, w^3 + 2*w^2 - 7*w - 7], [1439, 1439, -5/2*w^3 - 5/2*w^2 + 33/2*w + 7], [1447, 1447, 3/2*w^3 - 5/2*w^2 - 17/2*w + 9], [1451, 1451, 1/2*w^3 + 5/2*w^2 - 7/2*w - 5], [1459, 1459, -1/2*w^3 + 1/2*w^2 + 13/2*w], [1459, 1459, 1/2*w^3 + 3/2*w^2 - 17/2*w - 3], [1481, 1481, 3/2*w^3 - 3/2*w^2 - 21/2*w + 4], [1487, 1487, 7/2*w^3 - 1/2*w^2 - 43/2*w + 1], [1499, 1499, -3/2*w^3 - 5/2*w^2 + 11/2*w + 8], [1523, 1523, -5/2*w^3 + 1/2*w^2 + 29/2*w - 1], [1523, 1523, -3/2*w^3 + 1/2*w^2 + 11/2*w + 5], [1543, 1543, -2*w^3 + 10*w - 3], [1567, 1567, -1/2*w^3 - 5/2*w^2 + 9/2*w + 5], [1567, 1567, 2*w^3 - 15*w - 3], [1579, 1579, 1/2*w^3 + 3/2*w^2 - 3/2*w - 10], [1579, 1579, -3/2*w^3 + 3/2*w^2 + 13/2*w - 10], [1597, 1597, -1/2*w^3 - 3/2*w^2 + 11/2*w + 8], [1601, 1601, 2*w^3 - w^2 - 10*w + 1], [1601, 1601, 3/2*w^3 + 1/2*w^2 - 21/2*w + 2], [1613, 1613, -1/2*w^3 - 1/2*w^2 + 5/2*w - 5], [1619, 1619, 5/2*w^3 - 1/2*w^2 - 29/2*w + 3], [1619, 1619, 3*w^3 - 3*w^2 - 17*w + 19], [1621, 1621, w^3 + w^2 - w - 5], [1621, 1621, 3/2*w^3 + 5/2*w^2 - 23/2*w - 7], [1637, 1637, -7/2*w^3 + 1/2*w^2 + 45/2*w - 4], [1657, 1657, -7/2*w^3 - 5/2*w^2 + 45/2*w + 14], [1669, 1669, -w^3 - w^2 + 2*w + 5], [1693, 1693, 11/2*w^3 + 1/2*w^2 - 71/2*w - 4], [1699, 1699, 7/2*w^3 - 9/2*w^2 - 47/2*w + 27], [1699, 1699, -1/2*w^3 + 5/2*w^2 + 11/2*w - 14], [1733, 1733, w^3 - 9*w + 1], [1741, 1741, 5/2*w^3 - 1/2*w^2 - 31/2*w - 4], [1747, 1747, 7/2*w^3 - 5/2*w^2 - 45/2*w + 12], [1777, 1777, -3/2*w^3 - 1/2*w^2 + 23/2*w - 3], [1777, 1777, -1/2*w^3 - 1/2*w^2 - 3/2*w - 3], [1787, 1787, -2*w^3 - 2*w^2 + 15*w + 5], [1801, 1801, -1/2*w^3 - 5/2*w^2 + 11/2*w + 6], [1801, 1801, 1/2*w^3 - 1/2*w^2 - 9/2*w - 5], [1823, 1823, w^3 + 3*w^2 - 7*w - 17], [1823, 1823, 5/2*w^3 + 5/2*w^2 - 33/2*w - 9], [1847, 1847, -w^3 - 3*w^2 + 7*w + 5], [1861, 1861, -1/2*w^3 + 1/2*w^2 + 9/2*w - 10], [1861, 1861, -3/2*w^3 + 3/2*w^2 + 17/2*w - 2], [1871, 1871, -w^3 + w^2 + 10*w - 11], [1873, 1873, -5*w^3 - w^2 + 31*w + 7], [1879, 1879, -2*w^3 - w^2 + 8*w + 5], [1889, 1889, w^3 + w^2 - 7*w - 11], [1889, 1889, -3/2*w^3 - 1/2*w^2 + 9/2*w + 4], [1901, 1901, 4*w^3 - 4*w^2 - 26*w + 27], [1901, 1901, 3/2*w^3 + 3/2*w^2 - 21/2*w - 2], [1901, 1901, -1/2*w^3 + 1/2*w^2 + 13/2*w - 1], [1901, 1901, w^2 + 4*w - 3], [1907, 1907, 1/2*w^3 - 5/2*w^2 - 5/2*w + 19], [1913, 1913, -2*w^3 + 2*w^2 + 12*w - 7], [1931, 1931, -w^3 - 3*w^2 + 6*w + 5], [1973, 1973, 4*w^3 - 4*w^2 - 25*w + 21], [1973, 1973, 1/2*w^3 + 3/2*w^2 - 3/2*w - 12], [1979, 1979, -w^3 + 2*w^2 + 9*w - 9], [1979, 1979, -3/2*w^3 + 3/2*w^2 + 23/2*w - 8], [1987, 1987, 1/2*w^3 + 5/2*w^2 - 5/2*w - 7], [1993, 1993, -3*w^3 + 17*w - 3], [1993, 1993, -1/2*w^3 - 5/2*w^2 + 9/2*w + 11], [1999, 1999, -2*w^3 + 12*w - 5]]; primes := [ideal : I in primesArray]; heckePol := x^9 - 3*x^8 - 14*x^7 + 41*x^6 + 57*x^5 - 158*x^4 - 78*x^3 + 171*x^2 + 34*x - 19; K := NumberField(heckePol); heckeEigenvaluesArray := [1, e, -21/554*e^8 + 29/277*e^7 + 321/554*e^6 - 745/554*e^5 - 1625/554*e^4 + 2509/554*e^3 + 3317/554*e^2 - 1150/277*e - 644/277, 1, -147/1108*e^8 + 203/554*e^7 + 985/554*e^6 - 5215/1108*e^5 - 1805/277*e^4 + 8643/554*e^3 + 1996/277*e^2 - 10837/1108*e - 2091/1108, 20/277*e^8 - 108/277*e^7 - 187/277*e^6 + 1435/277*e^5 + 189/277*e^4 - 5054/277*e^3 + 376/277*e^2 + 4235/277*e + 488/277, -107/554*e^8 + 95/277*e^7 + 798/277*e^6 - 2345/554*e^5 - 3421/277*e^4 + 3866/277*e^3 + 4368/277*e^2 - 7353/554*e - 2223/554, -1/1108*e^8 - 25/554*e^7 + 67/554*e^6 + 967/1108*e^5 - 359/277*e^4 - 3073/554*e^3 + 854/277*e^2 + 12461/1108*e + 31/1108, -247/1108*e^8 + 98/277*e^7 + 934/277*e^6 - 4357/1108*e^5 - 4188/277*e^4 + 5489/554*e^3 + 5958/277*e^2 - 2373/1108*e - 3977/1108, 33/277*e^8 - 12/277*e^7 - 544/277*e^6 - 56/277*e^5 + 2791/277*e^4 + 1439/277*e^3 - 4975/277*e^2 - 2915/277*e + 2301/277, 115/1108*e^8 - 86/277*e^7 - 390/277*e^6 + 4581/1108*e^5 + 1397/277*e^4 - 8367/554*e^3 - 983/277*e^2 + 16249/1108*e + 1421/1108, -281/1108*e^8 + 227/277*e^7 + 965/277*e^6 - 12475/1108*e^5 - 3652/277*e^4 + 23441/554*e^3 + 3693/277*e^2 - 41843/1108*e - 4031/1108, 183/1108*e^8 - 67/277*e^7 - 729/277*e^6 + 3089/1108*e^5 + 3372/277*e^4 - 3829/554*e^3 - 3655/277*e^2 - 2315/1108*e - 5119/1108, 32/277*e^8 - 62/277*e^7 - 410/277*e^6 + 634/277*e^5 + 1078/277*e^4 - 829/277*e^3 + 1488/277*e^2 - 2365/277*e - 3208/277, 393/1108*e^8 - 212/277*e^7 - 1393/277*e^6 + 10539/1108*e^5 + 5634/277*e^4 - 17759/554*e^3 - 6823/277*e^2 + 33427/1108*e + 9423/1108, -45/554*e^8 - 17/277*e^7 + 522/277*e^6 + 303/554*e^5 - 3502/277*e^4 + 215/277*e^3 + 6779/277*e^2 - 5443/554*e - 4145/554, -9/277*e^8 + 104/277*e^7 - 179/277*e^6 - 1269/277*e^5 + 3142/277*e^4 + 3964/277*e^3 - 9421/277*e^2 - 3083/277*e + 3603/277, 125/1108*e^8 - 199/554*e^7 - 619/554*e^6 + 4329/1108*e^5 + 1/277*e^4 - 4229/554*e^3 + 4050/277*e^2 - 4209/1108*e - 12739/1108, -79/1108*e^8 + 241/554*e^7 + 307/554*e^6 - 6707/1108*e^5 + 447/277*e^4 + 13181/554*e^3 - 4000/277*e^2 - 27185/1108*e + 10205/1108, -33/554*e^8 + 6/277*e^7 + 272/277*e^6 - 221/554*e^5 - 1257/277*e^4 + 1081/277*e^3 + 1241/277*e^2 - 8165/554*e + 1577/554, -112/277*e^8 + 217/277*e^7 + 1712/277*e^6 - 2773/277*e^5 - 7928/277*e^4 + 9688/277*e^3 + 11689/277*e^2 - 8758/277*e - 1237/277, -73/554*e^8 + 114/277*e^7 + 459/277*e^6 - 3091/554*e^5 - 1446/277*e^4 + 5858/277*e^3 + 1419/277*e^2 - 11649/554*e - 3831/554, -119/1108*e^8 + 36/277*e^7 + 524/277*e^6 - 1821/1108*e^5 - 2833/277*e^4 + 3277/554*e^3 + 4122/277*e^2 - 8509/1108*e + 4243/1108, 49/277*e^8 - 43/277*e^7 - 749/277*e^6 + 538/277*e^5 + 3053/277*e^4 - 2438/277*e^3 - 1738/277*e^2 + 4351/277*e - 2073/277, -159/554*e^8 + 180/277*e^7 + 958/277*e^6 - 4137/554*e^5 - 1977/277*e^4 + 5561/277*e^3 - 4320/277*e^2 - 5345/554*e + 10469/554, -73/554*e^8 + 114/277*e^7 + 459/277*e^6 - 3091/554*e^5 - 1446/277*e^4 + 5858/277*e^3 + 1973/277*e^2 - 12757/554*e - 9371/554, 305/1108*e^8 - 204/277*e^7 - 938/277*e^6 + 9211/1108*e^5 + 2573/277*e^4 - 11183/554*e^3 + 464/277*e^2 + 2051/1108*e - 6685/1108, 61/554*e^8 - 137/277*e^7 - 209/277*e^6 + 3615/554*e^5 - 1076/277*e^4 - 6724/277*e^3 + 6335/277*e^2 + 14371/554*e - 3553/554, -31/554*e^8 + 56/277*e^7 + 138/277*e^6 - 1047/554*e^5 - 98/277*e^4 + 25/277*e^3 + 318/277*e^2 + 9017/554*e - 2917/554, -93/554*e^8 + 168/277*e^7 + 414/277*e^6 - 4249/554*e^5 + 537/277*e^4 + 7554/277*e^3 - 7079/277*e^2 - 16715/554*e + 7869/554, -32/277*e^8 + 62/277*e^7 + 410/277*e^6 - 634/277*e^5 - 1355/277*e^4 + 1106/277*e^3 + 1005/277*e^2 + 1534/277*e + 2654/277, 125/554*e^8 - 199/277*e^7 - 619/277*e^6 + 4883/554*e^5 + 2/277*e^4 - 7830/277*e^3 + 7269/277*e^2 + 13519/554*e - 6645/554, 157/554*e^8 - 230/277*e^7 - 1101/277*e^6 + 6071/554*e^5 + 4419/277*e^4 - 10599/277*e^3 - 5837/277*e^2 + 14755/554*e + 9537/554, 93/554*e^8 - 168/277*e^7 - 691/277*e^6 + 4803/554*e^5 + 3341/277*e^4 - 9493/277*e^3 - 6217/277*e^2 + 15607/554*e + 4873/554, -49/554*e^8 + 160/277*e^7 + 236/277*e^6 - 4139/554*e^5 - 557/277*e^4 + 6482/277*e^3 + 1146/277*e^2 - 4905/554*e - 697/554, 26/277*e^8 - 85/277*e^7 - 437/277*e^6 + 1173/277*e^5 + 2434/277*e^4 - 3634/277*e^3 - 5439/277*e^2 - 1004/277*e + 4180/277, -93/1108*e^8 + 84/277*e^7 + 207/277*e^6 - 3695/1108*e^5 - 147/277*e^4 + 3953/554*e^3 - 77/277*e^2 + 3229/1108*e + 4545/1108, 59/277*e^8 - 97/277*e^7 - 981/277*e^6 + 1394/277*e^5 + 5225/277*e^4 - 6073/277*e^3 - 10137/277*e^2 + 7992/277*e + 3434/277, 263/1108*e^8 - 73/554*e^7 - 2109/554*e^6 + 519/1108*e^5 + 5223/277*e^4 + 2129/554*e^3 - 9096/277*e^2 - 5319/1108*e + 11791/1108, 10/277*e^8 - 54/277*e^7 - 232/277*e^6 + 1133/277*e^5 + 1618/277*e^4 - 7513/277*e^3 - 3136/277*e^2 + 14444/277*e + 2460/277, -73/277*e^8 + 228/277*e^7 + 918/277*e^6 - 2814/277*e^5 - 2892/277*e^4 + 8392/277*e^3 + 899/277*e^2 - 3062/277*e + 4202/277, -269/1108*e^8 - 77/554*e^7 + 2511/554*e^6 + 3067/1108*e^5 - 6823/277*e^4 - 8933/554*e^3 + 10342/277*e^2 + 32441/1108*e - 7173/1108, 409/1108*e^8 - 289/277*e^7 - 1375/277*e^6 + 13903/1108*e^5 + 5284/277*e^4 - 19559/554*e^3 - 7191/277*e^2 + 15763/1108*e + 17791/1108, -545/1108*e^8 + 779/554*e^7 + 3829/554*e^6 - 20337/1108*e^5 - 8126/277*e^4 + 35413/554*e^3 + 12258/277*e^2 - 59519/1108*e - 7481/1108, -161/1108*e^8 + 407/554*e^7 + 815/554*e^6 - 11621/1108*e^5 - 460/277*e^4 + 23237/554*e^3 - 2114/277*e^2 - 45795/1108*e - 549/1108, 303/554*e^8 - 458/277*e^7 - 2019/277*e^6 + 11699/554*e^5 + 7311/277*e^4 - 19822/277*e^3 - 6459/277*e^2 + 35837/554*e - 1637/554, 337/554*e^8 - 439/277*e^7 - 2358/277*e^6 + 11507/554*e^5 + 9286/277*e^4 - 20046/277*e^3 - 11347/277*e^2 + 28771/554*e + 8389/554, -105/554*e^8 + 145/277*e^7 + 664/277*e^6 - 3725/554*e^5 - 2262/277*e^4 + 7242/277*e^3 + 2614/277*e^2 - 19533/554*e - 623/554, -93/554*e^8 + 168/277*e^7 + 691/277*e^6 - 4803/554*e^5 - 3618/277*e^4 + 9770/277*e^3 + 8710/277*e^2 - 20593/554*e - 5981/554, 141/554*e^8 - 76/277*e^7 - 1137/277*e^6 + 1599/554*e^5 + 5673/277*e^4 - 1874/277*e^3 - 10641/277*e^2 + 1949/554*e + 13357/554, 5/554*e^8 + 125/277*e^7 - 335/277*e^6 - 3173/554*e^5 + 3590/277*e^4 + 4562/277*e^3 - 9648/277*e^2 - 1365/554*e + 6493/554, -455/1108*e^8 + 268/277*e^7 + 1531/277*e^6 - 12633/1108*e^5 - 5732/277*e^4 + 16701/554*e^3 + 7141/277*e^2 - 4313/1108*e - 6393/1108, -111/554*e^8 - 5/277*e^7 + 1066/277*e^6 + 415/554*e^5 - 6293/277*e^4 - 1224/277*e^3 + 10923/277*e^2 + 3711/554*e - 1545/554, -99/1108*e^8 + 286/277*e^7 + 131/277*e^6 - 16729/1108*e^5 + 746/277*e^4 + 33159/554*e^3 - 3263/277*e^2 - 57181/1108*e + 11379/1108, -165/554*e^8 + 307/277*e^7 + 1083/277*e^6 - 8307/554*e^5 - 3792/277*e^4 + 14823/277*e^3 + 2327/277*e^2 - 18665/554*e + 6777/554, 309/554*e^8 - 308/277*e^7 - 2144/277*e^6 + 7005/554*e^5 + 8295/277*e^4 - 9140/277*e^3 - 10059/277*e^2 + 4283/554*e + 10919/554, 199/554*e^8 - 288/277*e^7 - 1422/277*e^6 + 7561/554*e^5 + 6321/277*e^4 - 13662/277*e^3 - 10816/277*e^2 + 23787/554*e + 4911/554, -109/1108*e^8 + 45/554*e^7 + 655/554*e^6 + 143/1108*e^5 - 905/277*e^4 - 3665/554*e^3 + 1676/277*e^2 + 8705/1108*e - 18781/1108, 315/1108*e^8 - 79/277*e^7 - 1273/277*e^6 + 2865/1108*e^5 + 6163/277*e^4 - 951/554*e^3 - 9184/277*e^2 - 18407/1108*e + 10733/1108, -147/554*e^8 + 203/277*e^7 + 1262/277*e^6 - 5769/554*e^5 - 7211/277*e^4 + 11413/277*e^3 + 15626/277*e^2 - 24687/554*e - 14279/554, -65/554*e^8 + 37/277*e^7 + 754/277*e^6 - 1409/554*e^5 - 5674/277*e^4 + 4127/277*e^3 + 14624/277*e^2 - 13279/554*e - 16267/554, 199/1108*e^8 + 133/277*e^7 - 988/277*e^6 - 9059/1108*e^5 + 5792/277*e^4 + 21517/554*e^3 - 10117/277*e^2 - 51003/1108*e + 11005/1108, 144/277*e^8 - 279/277*e^7 - 2122/277*e^6 + 3407/277*e^5 + 9006/277*e^4 - 10517/277*e^3 - 11032/277*e^2 + 7501/277*e + 2184/277, 135/1108*e^8 + 164/277*e^7 - 783/277*e^6 - 10327/1108*e^5 + 4976/277*e^4 + 23731/554*e^3 - 8368/277*e^2 - 70095/1108*e + 6341/1108, 41/554*e^8 - 83/277*e^7 - 531/277*e^6 + 3011/554*e^5 + 4231/277*e^4 - 7798/277*e^3 - 11027/277*e^2 + 22047/554*e + 15349/554, -165/554*e^8 + 30/277*e^7 + 1360/277*e^6 + 3/554*e^5 - 6562/277*e^4 - 2351/277*e^3 + 9529/277*e^2 + 11251/554*e - 4857/554, 55/277*e^8 - 297/277*e^7 - 445/277*e^6 + 4154/277*e^5 - 519/277*e^4 - 17084/277*e^3 + 4635/277*e^2 + 21549/277*e - 874/277, 17/277*e^8 + 19/277*e^7 - 339/277*e^6 - 373/277*e^5 + 2252/277*e^4 + 1438/277*e^3 - 5165/277*e^2 - 1040/277*e + 27/277, 117/1108*e^8 - 399/554*e^7 - 637/554*e^6 + 12065/1108*e^5 + 730/277*e^4 - 26597/554*e^3 - 1029/277*e^2 + 64455/1108*e + 17425/1108, 32/277*e^8 - 62/277*e^7 - 410/277*e^6 + 634/277*e^5 + 1078/277*e^4 - 829/277*e^3 + 1488/277*e^2 - 2365/277*e - 3208/277, 211/554*e^8 - 265/277*e^7 - 1672/277*e^6 + 7591/554*e^5 + 8289/277*e^4 - 15843/277*e^3 - 13861/277*e^2 + 36577/554*e + 1769/554, -95/1108*e^8 + 395/554*e^7 + 271/554*e^6 - 11179/1108*e^5 + 520/277*e^4 + 22737/554*e^3 - 1139/277*e^2 - 61597/1108*e - 2595/1108, 323/554*e^8 - 512/277*e^7 - 1974/277*e^6 + 12857/554*e^5 + 5605/277*e^4 - 20964/277*e^3 - 1285/277*e^2 + 34255/554*e - 595/554, 60/277*e^8 - 47/277*e^7 - 1115/277*e^6 + 704/277*e^5 + 6661/277*e^4 - 2974/277*e^3 - 14384/277*e^2 + 1625/277*e + 8112/277, 647/1108*e^8 - 445/554*e^7 - 5123/554*e^6 + 11451/1108*e^5 + 11781/277*e^4 - 20573/554*e^3 - 14881/277*e^2 + 40537/1108*e + 8751/1108, -217/1108*e^8 + 115/554*e^7 + 1797/554*e^6 - 2897/1108*e^5 - 4221/277*e^4 + 4607/554*e^3 + 3329/277*e^2 - 1699/1108*e + 26671/1108, -165/554*e^8 + 307/277*e^7 + 1083/277*e^6 - 8307/554*e^5 - 4346/277*e^4 + 15377/277*e^3 + 8421/277*e^2 - 28637/554*e - 14275/554, 221/277*e^8 - 584/277*e^7 - 3022/277*e^6 + 7616/277*e^5 + 11271/277*e^4 - 26457/277*e^3 - 12022/277*e^2 + 20551/277*e + 3952/277, 667/1108*e^8 - 1053/554*e^7 - 4247/554*e^6 + 27567/1108*e^5 + 6773/277*e^4 - 48307/554*e^3 - 3707/277*e^2 + 71641/1108*e + 1483/1108, 101/277*e^8 - 213/277*e^7 - 1346/277*e^6 + 2330/277*e^5 + 4874/277*e^4 - 5551/277*e^3 - 5968/277*e^2 + 958/277*e + 6841/277, -185/1108*e^8 + 42/277*e^7 + 796/277*e^6 - 3371/1108*e^5 - 3813/277*e^4 + 10425/554*e^3 + 3424/277*e^2 - 31487/1108*e + 11829/1108, 91/554*e^8 + 59/277*e^7 - 834/277*e^6 - 1573/554*e^5 + 4121/277*e^4 + 1535/277*e^3 - 4186/277*e^2 + 9505/554*e - 5037/554, 41/1108*e^8 + 97/277*e^7 - 404/277*e^6 - 4745/1108*e^5 + 3362/277*e^4 + 6883/554*e^3 - 7591/277*e^2 - 8977/1108*e + 21443/1108, 51/277*e^8 + 57/277*e^7 - 1017/277*e^6 - 1119/277*e^5 + 5925/277*e^4 + 7084/277*e^3 - 9955/277*e^2 - 14200/277*e + 2020/277, 148/277*e^8 - 356/277*e^7 - 2104/277*e^6 + 4802/277*e^5 + 8379/277*e^4 - 18896/277*e^3 - 9461/277*e^2 + 22198/277*e + 1506/277, 93/1108*e^8 - 445/554*e^7 + 417/554*e^6 + 12005/1108*e^5 - 5393/277*e^4 - 22789/554*e^3 + 18636/277*e^2 + 48847/1108*e - 36123/1108, 169/554*e^8 - 207/277*e^7 - 1074/277*e^6 + 4993/554*e^5 + 3063/277*e^4 - 7240/277*e^3 + 536/277*e^2 + 7601/554*e - 4131/554, 207/1108*e^8 - 365/554*e^7 - 1127/554*e^6 + 10351/1108*e^5 + 631/277*e^4 - 20379/554*e^3 + 3549/277*e^2 + 36561/1108*e + 231/1108, 49/554*e^8 + 117/277*e^7 - 513/277*e^6 - 3617/554*e^5 + 2496/277*e^4 + 7645/277*e^3 - 315/277*e^2 - 13931/554*e - 10937/554, -126/277*e^8 + 348/277*e^7 + 1372/277*e^6 - 4193/277*e^5 - 1717/277*e^4 + 13392/277*e^3 - 9460/277*e^2 - 12415/277*e + 4183/277, -51/277*e^8 + 220/277*e^7 + 740/277*e^6 - 3036/277*e^5 - 3432/277*e^4 + 11752/277*e^3 + 5246/277*e^2 - 13500/277*e - 635/277, 61/1108*e^8 - 207/277*e^7 + 34/277*e^6 + 12479/1108*e^5 - 2200/277*e^4 - 25837/554*e^3 + 6907/277*e^2 + 42071/1108*e + 9743/1108, -41/1108*e^8 - 97/277*e^7 + 404/277*e^6 + 5853/1108*e^5 - 3639/277*e^4 - 12423/554*e^3 + 9253/277*e^2 + 27813/1108*e - 15903/1108, -387/554*e^8 + 297/277*e^7 + 2938/277*e^6 - 6923/554*e^5 - 12777/277*e^4 + 9882/277*e^3 + 15586/277*e^2 - 13459/554*e - 1299/554, 77/1108*e^8 + 263/554*e^7 - 1281/554*e^6 - 6871/1108*e^5 + 5483/277*e^4 + 11143/554*e^3 - 14513/277*e^2 - 12157/1108*e + 10909/1108, -349/1108*e^8 + 208/277*e^7 + 1304/277*e^6 - 10983/1108*e^5 - 5904/277*e^4 + 19457/554*e^3 + 9966/277*e^2 - 26603/1108*e - 6355/1108, 459/554*e^8 - 436/277*e^7 - 3607/277*e^6 + 11535/554*e^5 + 17383/277*e^4 - 21306/277*e^3 - 27208/277*e^2 + 38677/554*e + 8485/554, 199/1108*e^8 - 144/277*e^7 - 711/277*e^6 + 8669/1108*e^5 + 3022/277*e^4 - 18371/554*e^3 - 5685/277*e^2 + 36529/1108*e + 16545/1108, -535/1108*e^8 + 1029/554*e^7 + 3159/554*e^6 - 27791/1108*e^5 - 3428/277*e^4 + 50631/554*e^3 - 5146/277*e^2 - 93273/1108*e + 14369/1108, -33/277*e^8 + 289/277*e^7 + 267/277*e^6 - 4099/277*e^5 - 298/277*e^4 + 16289/277*e^3 + 543/277*e^2 - 18691/277*e + 1577/277, -11/554*e^8 + 279/277*e^7 - 371/277*e^6 - 7645/554*e^5 + 5121/277*e^4 + 13564/277*e^3 - 16945/277*e^2 - 18049/554*e + 21393/554, -17/1108*e^8 + 129/554*e^7 - 523/554*e^6 - 2397/1108*e^5 + 3592/277*e^4 + 1497/554*e^3 - 10135/277*e^2 + 6857/1108*e + 6067/1108, -483/554*e^8 + 667/277*e^7 + 3553/277*e^6 - 18243/554*e^5 - 16056/277*e^4 + 34809/277*e^3 + 25542/277*e^2 - 65365/554*e - 8295/554, -263/1108*e^8 + 1181/554*e^7 + 447/554*e^6 - 32651/1108*e^5 + 3918/277*e^4 + 62135/554*e^3 - 13064/277*e^2 - 119885/1108*e + 5937/1108, 213/554*e^8 - 215/277*e^7 - 1529/277*e^6 + 5657/554*e^5 + 5847/277*e^4 - 10805/277*e^3 - 2596/277*e^2 + 22735/554*e - 11589/554, 597/554*e^8 - 587/277*e^7 - 4543/277*e^6 + 15481/554*e^5 + 20625/277*e^4 - 28798/277*e^3 - 29401/277*e^2 + 60281/554*e + 11409/554, -94/277*e^8 + 9/277*e^7 + 1516/277*e^6 + 319/277*e^5 - 7010/277*e^4 - 3226/277*e^3 + 9756/277*e^2 + 3502/277*e - 4288/277, -237/277*e^8 + 615/277*e^7 + 3504/277*e^6 - 8210/277*e^5 - 15134/277*e^4 + 30057/277*e^3 + 19034/277*e^2 - 29202/277*e - 963/277, 231/1108*e^8 - 319/554*e^7 - 1073/554*e^6 + 5979/1108*e^5 + 106/277*e^4 - 3689/554*e^3 + 3828/277*e^2 - 6555/1108*e + 595/1108, -20/277*e^8 - 169/277*e^7 + 741/277*e^6 + 2443/277*e^5 - 6006/277*e^4 - 10181/277*e^3 + 10981/277*e^2 + 11277/277*e + 5052/277, -120/277*e^8 + 94/277*e^7 + 1953/277*e^6 - 854/277*e^5 - 9444/277*e^4 + 2070/277*e^3 + 13533/277*e^2 - 4358/277*e - 1820/277, -5/277*e^8 + 304/277*e^7 - 438/277*e^6 - 4306/277*e^5 + 5562/277*e^4 + 16360/277*e^3 - 14498/277*e^2 - 14424/277*e + 1263/277, 103/554*e^8 + 82/277*e^7 - 1084/277*e^6 - 2651/554*e^5 + 7474/277*e^4 + 5448/277*e^3 - 18311/277*e^2 - 8729/554*e + 7887/554, 194/277*e^8 - 549/277*e^7 - 2728/277*e^6 + 7687/277*e^5 + 10725/277*e^4 - 30354/277*e^3 - 12031/277*e^2 + 30692/277*e + 2850/277, -731/1108*e^8 + 1115/554*e^7 + 4657/554*e^6 - 28835/1108*e^5 - 7035/277*e^4 + 49413/554*e^3 + 193/277*e^2 - 73005/1108*e + 28201/1108, 985/1108*e^8 - 859/554*e^7 - 7271/554*e^6 + 19221/1108*e^5 + 15675/277*e^4 - 24527/554*e^3 - 20716/277*e^2 + 8095/1108*e + 27081/1108, 283/1108*e^8 - 127/554*e^7 - 2341/554*e^6 + 2231/1108*e^5 + 6032/277*e^4 + 433/554*e^3 - 10110/277*e^2 - 32939/1108*e + 10063/1108, 28/277*e^8 - 262/277*e^7 + 126/277*e^6 + 3117/277*e^5 - 4112/277*e^4 - 8793/277*e^3 + 11274/277*e^2 + 3436/277*e + 240/277, 257/1108*e^8 - 250/277*e^7 - 992/277*e^6 + 13523/1108*e^5 + 5839/277*e^4 - 25173/554*e^3 - 15606/277*e^2 + 53935/1108*e + 25827/1108, 879/1108*e^8 - 739/554*e^7 - 6817/554*e^6 + 17571/1108*e^5 + 16678/277*e^4 - 27837/554*e^3 - 29635/277*e^2 + 51437/1108*e + 32583/1108, -131/277*e^8 + 98/277*e^7 + 2319/277*e^6 - 1297/277*e^5 - 12775/277*e^4 + 6484/277*e^3 + 23409/277*e^2 - 14097/277*e - 8958/277, 173/1108*e^8 - 107/554*e^7 - 1619/554*e^6 + 2233/1108*e^5 + 5045/277*e^4 + 343/554*e^3 - 11181/277*e^2 - 35041/1108*e + 20121/1108, -110/277*e^8 + 317/277*e^7 + 1444/277*e^6 - 4153/277*e^5 - 5333/277*e^4 + 15055/277*e^3 + 7350/277*e^2 - 14567/277*e - 4623/277, 87/277*e^8 - 82/277*e^7 - 1409/277*e^6 + 1187/277*e^5 + 6099/277*e^4 - 5725/277*e^3 - 3849/277*e^2 + 8658/277*e - 1312/277, -325/554*e^8 + 462/277*e^7 + 2108/277*e^6 - 12585/554*e^5 - 6764/277*e^4 + 24513/277*e^3 + 5255/277*e^2 - 54761/554*e - 13193/554, 6/277*e^8 - 254/277*e^7 + 27/277*e^6 + 3893/277*e^5 + 29/277*e^4 - 17416/277*e^3 - 3599/277*e^2 + 20245/277*e + 2861/277, -503/1108*e^8 + 721/554*e^7 + 2677/554*e^6 - 16631/1108*e^5 - 1635/277*e^4 + 22655/554*e^3 - 7267/277*e^2 - 26665/1108*e + 1189/1108, -59/1108*e^8 + 187/554*e^7 + 75/554*e^6 - 3887/1108*e^5 + 1256/277*e^4 + 2621/554*e^3 - 7230/277*e^2 + 3919/1108*e + 55013/1108, 609/1108*e^8 - 282/277*e^7 - 2258/277*e^6 + 11079/1108*e^5 + 10327/277*e^4 - 7157/554*e^3 - 17331/277*e^2 - 23325/1108*e + 33751/1108, -173/277*e^8 + 491/277*e^7 + 2130/277*e^6 - 6388/277*e^5 - 5776/277*e^4 + 23690/277*e^3 - 2089/277*e^2 - 27007/277*e + 3424/277, 1021/1108*e^8 - 672/277*e^7 - 3595/277*e^6 + 33715/1108*e^5 + 14749/277*e^4 - 52953/554*e^3 - 19882/277*e^2 + 52559/1108*e + 36491/1108, 381/1108*e^8 - 362/277*e^7 - 1545/277*e^6 + 22143/1108*e^5 + 7974/277*e^4 - 47433/554*e^3 - 14303/277*e^2 + 93211/1108*e + 16443/1108, 87/277*e^8 - 636/277*e^7 - 578/277*e^6 + 8666/277*e^5 - 1934/277*e^4 - 30932/277*e^3 + 11109/277*e^2 + 20846/277*e - 6852/277, 69/277*e^8 - 428/277*e^7 - 382/277*e^6 + 5574/277*e^5 - 3129/277*e^4 - 19680/277*e^3 + 15812/277*e^2 + 19666/277*e - 10726/277, -129/277*e^8 + 475/277*e^7 + 1774/277*e^6 - 6832/277*e^5 - 6856/277*e^4 + 27917/277*e^3 + 6882/277*e^2 - 29324/277*e - 3203/277, 173/554*e^8 - 384/277*e^7 - 1065/277*e^6 + 10543/554*e^5 + 3165/277*e^4 - 20155/277*e^3 + 75/277*e^2 + 42519/554*e - 7579/554, -106/277*e^8 + 517/277*e^7 + 908/277*e^6 - 6636/277*e^5 + 965/277*e^4 + 21357/277*e^3 - 13793/277*e^2 - 13166/277*e + 11596/277, 517/554*e^8 - 648/277*e^7 - 3615/277*e^6 + 17497/554*e^5 + 14153/277*e^4 - 33925/277*e^3 - 16026/277*e^2 + 72149/554*e + 10011/554, 49/277*e^8 - 597/277*e^7 + 359/277*e^6 + 8017/277*e^5 - 9412/277*e^4 - 28753/277*e^3 + 28455/277*e^2 + 27065/277*e - 9275/277, -12/277*e^8 - 46/277*e^7 + 223/277*e^6 + 247/277*e^5 - 335/277*e^4 + 2146/277*e^3 - 5267/277*e^2 - 7527/277*e + 4527/277, 1467/1108*e^8 - 1551/554*e^7 - 11311/554*e^6 + 41755/1108*e^5 + 26114/277*e^4 - 78475/554*e^3 - 37619/277*e^2 + 150185/1108*e + 35407/1108, 55/1108*e^8 + 272/277*e^7 - 873/277*e^6 - 13851/1108*e^5 + 8388/277*e^4 + 22205/554*e^3 - 20378/277*e^2 - 26095/1108*e + 42061/1108, 637/1108*e^8 - 486/277*e^7 - 1811/277*e^6 + 22783/1108*e^5 + 3759/277*e^4 - 30805/554*e^3 + 5293/277*e^2 + 23323/1108*e - 34705/1108, 109/554*e^8 - 322/277*e^7 - 101/277*e^6 + 7613/554*e^5 - 4561/277*e^4 - 11293/277*e^3 + 15207/277*e^2 + 12901/554*e - 4487/554, -159/554*e^8 + 180/277*e^7 + 1512/277*e^6 - 5245/554*e^5 - 9456/277*e^4 + 10270/277*e^3 + 18948/277*e^2 - 15871/554*e - 2273/554, -140/277*e^8 + 202/277*e^7 + 2694/277*e^6 - 3120/277*e^5 - 16281/277*e^4 + 13218/277*e^3 + 31162/277*e^2 - 12748/277*e - 7571/277, -48/277*e^8 + 370/277*e^7 + 338/277*e^6 - 4829/277*e^5 + 599/277*e^4 + 15509/277*e^3 - 3063/277*e^2 - 9056/277*e + 3150/277, 499/554*e^8 - 544/277*e^7 - 3517/277*e^6 + 12743/554*e^5 + 14248/277*e^4 - 17219/277*e^3 - 17968/277*e^2 + 11691/554*e + 5583/554, 245/277*e^8 - 1046/277*e^7 - 2914/277*e^6 + 14047/277*e^5 + 8340/277*e^4 - 50693/277*e^3 - 4258/277*e^2 + 43638/277*e + 1823/277, 467/554*e^8 - 513/277*e^7 - 3312/277*e^6 + 11555/554*e^5 + 13986/277*e^4 - 13619/277*e^3 - 21482/277*e^2 - 2287/554*e + 17101/554, 527/1108*e^8 - 476/277*e^7 - 1727/277*e^6 + 27217/1108*e^5 + 6096/277*e^4 - 54717/554*e^3 - 6858/277*e^2 + 115401/1108*e + 3053/1108, -14/277*e^8 + 131/277*e^7 - 63/277*e^6 - 1974/277*e^5 + 2887/277*e^4 + 9244/277*e^3 - 12839/277*e^2 - 11967/277*e + 6805/277, 265/554*e^8 - 577/277*e^7 - 1412/277*e^6 + 15205/554*e^5 + 2464/277*e^4 - 26073/277*e^3 + 3599/277*e^2 + 36239/554*e - 13755/554, -143/1108*e^8 + 290/277*e^7 + 497/277*e^6 - 17393/1108*e^5 - 2308/277*e^4 + 35339/554*e^3 + 3012/277*e^2 - 55141/1108*e + 27147/1108, -370/277*e^8 + 890/277*e^7 + 5260/277*e^6 - 11174/277*e^5 - 21640/277*e^4 + 36991/277*e^3 + 26284/277*e^2 - 30011/277*e - 1826/277, 385/1108*e^8 - 312/277*e^7 - 1125/277*e^6 + 16059/1108*e^5 + 2485/277*e^4 - 27939/554*e^3 + 2502/277*e^2 + 53339/1108*e + 5239/1108, -589/554*e^8 + 787/277*e^7 + 4007/277*e^6 - 20447/554*e^5 - 14604/277*e^4 + 36485/277*e^3 + 12413/277*e^2 - 70221/554*e - 3347/554, -54/277*e^8 + 70/277*e^7 + 865/277*e^6 - 966/277*e^5 - 3862/277*e^4 + 5225/277*e^3 + 4414/277*e^2 - 14897/277*e - 2481/277, -495/1108*e^8 + 322/277*e^7 + 1763/277*e^6 - 17165/1108*e^5 - 7073/277*e^4 + 30065/554*e^3 + 7230/277*e^2 - 41037/1108*e - 9585/1108, 1175/1108*e^8 - 1095/554*e^7 - 8921/554*e^6 + 27175/1108*e^5 + 19898/277*e^4 - 44517/554*e^3 - 26748/277*e^2 + 62593/1108*e + 20083/1108, -121/554*e^8 + 22/277*e^7 + 905/277*e^6 - 441/554*e^5 - 2670/277*e^4 - 376/277*e^3 - 4960/277*e^2 + 11981/554*e + 21479/554, 103/277*e^8 - 390/277*e^7 - 1060/277*e^6 + 4828/277*e^5 + 1375/277*e^4 - 15142/277*e^3 + 4374/277*e^2 + 13708/277*e + 962/277, -53/1108*e^8 + 307/277*e^7 - 25/277*e^6 - 19107/1108*e^5 + 917/277*e^4 + 43773/554*e^3 + 1496/277*e^2 - 120707/1108*e - 33259/1108, -1135/1108*e^8 + 1541/554*e^7 + 7903/554*e^6 - 38155/1108*e^5 - 16618/277*e^4 + 59407/554*e^3 + 26382/277*e^2 - 65757/1108*e - 44591/1108, -383/554*e^8 + 397/277*e^7 + 2947/277*e^6 - 10791/554*e^5 - 14060/277*e^4 + 22174/277*e^3 + 23989/277*e^2 - 56655/554*e - 17489/554, 251/277*e^8 - 469/277*e^7 - 3718/277*e^6 + 5475/277*e^5 + 16679/277*e^4 - 14925/277*e^3 - 27524/277*e^2 + 6267/277*e + 10224/277, 461/554*e^8 - 940/277*e^7 - 2356/277*e^6 + 25113/554*e^5 + 2476/277*e^4 - 46738/277*e^3 + 12588/277*e^2 + 92423/554*e - 3765/554, -232/277*e^8 + 588/277*e^7 + 3388/277*e^6 - 8059/277*e^5 - 14325/277*e^4 + 31425/277*e^3 + 16912/277*e^2 - 33060/277*e + 821/277, -843/1108*e^8 + 681/277*e^7 + 2618/277*e^6 - 35209/1108*e^5 - 7632/277*e^4 + 58689/554*e^3 + 553/277*e^2 - 75669/1108*e + 17823/1108, 263/554*e^8 - 350/277*e^7 - 2109/277*e^6 + 9383/554*e^5 + 11000/277*e^4 - 15599/277*e^3 - 21239/277*e^2 + 8531/554*e + 23425/554, -191/277*e^8 + 422/277*e^7 + 2603/277*e^6 - 4771/277*e^5 - 10295/277*e^4 + 11674/277*e^3 + 16741/277*e^2 - 1041/277*e - 12638/277, -261/1108*e^8 + 123/554*e^7 + 1975/554*e^6 - 2453/1108*e^5 - 4228/277*e^4 + 2909/554*e^3 + 5172/277*e^2 - 10739/1108*e + 20279/1108, -185/554*e^8 + 361/277*e^7 + 1038/277*e^6 - 10019/554*e^5 - 1532/277*e^4 + 19289/277*e^3 - 5617/277*e^2 - 34257/554*e - 2021/554, -1/4*e^8 + 1/2*e^7 + 9/2*e^6 - 29/4*e^5 - 26*e^4 + 59/2*e^3 + 48*e^2 - 155/4*e - 9/4, 54/277*e^8 - 70/277*e^7 - 588/277*e^6 - 142/277*e^5 + 1092/277*e^4 + 7517/277*e^3 + 2788/277*e^2 - 19451/277*e - 8322/277, -653/1108*e^8 + 286/277*e^7 + 2347/277*e^6 - 12851/1108*e^5 - 9503/277*e^4 + 14877/554*e^3 + 11141/277*e^2 + 10961/1108*e + 13041/1108, 155/554*e^8 - 280/277*e^7 - 1244/277*e^6 + 8005/554*e^5 + 6861/277*e^4 - 15360/277*e^3 - 15163/277*e^2 + 30259/554*e + 15693/554, -53/277*e^8 - 434/277*e^7 + 1562/277*e^6 + 6377/277*e^5 - 11290/277*e^4 - 25470/277*e^3 + 19280/277*e^2 + 24995/277*e + 6629/277, -67/554*e^8 + 264/277*e^7 + 334/277*e^6 - 8339/554*e^5 - 1016/277*e^4 + 20418/277*e^3 + 4190/277*e^2 - 62593/554*e - 11773/554, 1189/1108*e^8 - 788/277*e^7 - 4237/277*e^6 + 41891/1108*e^5 + 16891/277*e^4 - 74623/554*e^3 - 17929/277*e^2 + 134115/1108*e + 19095/1108, -341/554*e^8 + 339/277*e^7 + 2626/277*e^6 - 7639/554*e^5 - 12712/277*e^4 + 9693/277*e^3 + 21226/277*e^2 - 6073/554*e - 12143/554, -7/277*e^8 + 204/277*e^7 + 107/277*e^6 - 3480/277*e^5 - 1188/277*e^4 + 17364/277*e^3 + 5353/277*e^2 - 25512/277*e - 3661/277, 202/277*e^8 - 703/277*e^7 - 2415/277*e^6 + 8815/277*e^5 + 6978/277*e^4 - 28553/277*e^3 - 5842/277*e^2 + 23245/277*e + 9527/277, 17/1108*e^8 - 129/554*e^7 + 523/554*e^6 + 4613/1108*e^5 - 4423/277*e^4 - 14239/554*e^3 + 16783/277*e^2 + 58515/1108*e - 42631/1108, -279/1108*e^8 + 227/554*e^7 + 2073/554*e^6 - 7207/1108*e^5 - 4042/277*e^4 + 18507/554*e^3 + 2262/277*e^2 - 55685/1108*e + 3109/1108, -241/277*e^8 + 692/277*e^7 + 3209/277*e^6 - 8497/277*e^5 - 12291/277*e^4 + 25140/277*e^3 + 17463/277*e^2 - 10659/277*e - 6656/277, -207/554*e^8 + 88/277*e^7 + 1681/277*e^6 - 933/554*e^5 - 7633/277*e^4 - 3443/277*e^3 + 6475/277*e^2 + 28811/554*e + 6417/554, -230/277*e^8 + 411/277*e^7 + 3120/277*e^6 - 4453/277*e^5 - 10345/277*e^4 + 10200/277*e^3 + 662/277*e^2 + 1296/277*e + 12393/277, -661/1108*e^8 + 186/277*e^7 + 2338/277*e^6 - 6223/1108*e^5 - 8220/277*e^4 + 819/554*e^3 + 1630/277*e^2 + 19793/1108*e + 65365/1108, 38/277*e^8 - 39/277*e^7 - 660/277*e^6 + 926/277*e^5 + 3323/277*e^4 - 6057/277*e^3 - 6266/277*e^2 + 7354/277*e + 8517/277, 199/1108*e^8 - 565/554*e^7 - 591/554*e^6 + 14763/1108*e^5 - 3072/277*e^4 - 22803/554*e^3 + 20353/277*e^2 + 11045/1108*e - 78189/1108, 847/1108*e^8 - 631/277*e^7 - 2475/277*e^6 + 31341/1108*e^5 + 5744/277*e^4 - 51383/554*e^3 + 3787/277*e^2 + 86765/1108*e - 41215/1108, 323/554*e^8 - 789/277*e^7 - 1420/277*e^6 + 20613/554*e^5 - 1043/277*e^4 - 35922/277*e^3 + 17551/277*e^2 + 64725/554*e - 18323/554, -169/277*e^8 + 137/277*e^7 + 2979/277*e^6 - 1669/277*e^5 - 16098/277*e^4 + 4785/277*e^3 + 28013/277*e^2 + 1263/277*e - 8057/277, -1101/1108*e^8 + 1283/554*e^7 + 7287/554*e^6 - 30037/1108*e^5 - 12999/277*e^4 + 43117/554*e^3 + 13966/277*e^2 - 56203/1108*e - 41213/1108, -271/554*e^8 + 427/277*e^7 + 1814/277*e^6 - 11065/554*e^5 - 6495/277*e^4 + 17607/277*e^3 + 4987/277*e^2 - 15211/554*e + 5631/554, 675/1108*e^8 - 299/554*e^7 - 4783/554*e^6 + 3211/1108*e^5 + 8814/277*e^4 + 8409/554*e^3 - 4999/277*e^2 - 61287/1108*e - 22033/1108, -335/1108*e^8 + 489/554*e^7 + 2501/554*e^6 - 15103/1108*e^5 - 5033/277*e^4 + 35333/554*e^3 + 2442/277*e^2 - 89149/1108*e + 19249/1108, -1147/1108*e^8 + 1241/554*e^7 + 7599/554*e^6 - 29875/1108*e^5 - 12062/277*e^4 + 44691/554*e^3 + 3113/277*e^2 - 48077/1108*e + 16721/1108, 23/554*e^8 + 298/277*e^7 - 1264/277*e^6 - 7283/554*e^5 + 14575/277*e^4 + 11124/277*e^3 - 42885/277*e^2 - 17913/554*e + 39729/554, 941/1108*e^8 - 564/277*e^7 - 3131/277*e^6 + 29083/1108*e^5 + 10128/277*e^4 - 51709/554*e^3 - 1145/277*e^2 + 92127/1108*e - 9781/1108, -1139/1108*e^8 + 582/277*e^7 + 3947/277*e^6 - 27085/1108*e^5 - 15284/277*e^4 + 38251/554*e^3 + 17610/277*e^2 - 42505/1108*e - 19537/1108, 209/277*e^8 - 630/277*e^7 - 2799/277*e^6 + 7863/277*e^5 + 10936/277*e^4 - 23480/277*e^3 - 16735/277*e^2 + 8315/277*e + 12357/277, 315/1108*e^8 - 435/554*e^7 - 2823/554*e^6 + 13391/1108*e^5 + 7825/277*e^4 - 31421/554*e^3 - 10569/277*e^2 + 87961/1108*e - 20845/1108, -346/277*e^8 + 705/277*e^7 + 5091/277*e^6 - 8621/277*e^5 - 22078/277*e^4 + 27990/277*e^3 + 30447/277*e^2 - 25760/277*e - 7002/277, -303/1108*e^8 - 48/277*e^7 + 1425/277*e^6 + 5475/1108*e^5 - 9334/277*e^4 - 16465/554*e^3 + 23866/277*e^2 + 40615/1108*e - 43237/1108, 29/1108*e^8 + 171/554*e^7 - 835/554*e^6 - 3667/1108*e^5 + 4317/277*e^4 + 3801/554*e^3 - 12301/277*e^2 - 14565/1108*e + 17937/1108, 94/277*e^8 - 286/277*e^7 - 1239/277*e^6 + 3282/277*e^5 + 3963/277*e^4 - 7300/277*e^3 + 1601/277*e^2 - 5718/277*e - 9839/277, -421/1108*e^8 + 555/554*e^7 + 2169/554*e^6 - 13933/1108*e^5 - 451/277*e^4 + 26449/554*e^3 - 11923/277*e^2 - 68995/1108*e + 17483/1108, 417/1108*e^8 - 189/277*e^7 - 1366/277*e^6 + 7275/1108*e^5 + 4555/277*e^4 - 3839/554*e^3 - 2666/277*e^2 - 22985/1108*e + 12003/1108, e^5 + e^4 - 14*e^3 - 4*e^2 + 39*e - 25, 615/1108*e^8 - 484/277*e^7 - 1905/277*e^6 + 24113/1108*e^5 + 5279/277*e^4 - 37471/554*e^3 + 3029/277*e^2 + 37085/1108*e - 46211/1108, 36/277*e^8 - 139/277*e^7 - 669/277*e^6 + 2583/277*e^5 + 4052/277*e^4 - 14194/277*e^3 - 9129/277*e^2 + 18426/277*e + 9410/277, 3/277*e^8 - 127/277*e^7 - 125/277*e^6 + 2639/277*e^5 + 1815/277*e^4 - 16741/277*e^3 - 9417/277*e^2 + 31313/277*e + 6832/277, -341/1108*e^8 + 893/554*e^7 + 1795/554*e^6 - 24813/1108*e^5 - 816/277*e^4 + 43487/554*e^3 - 7946/277*e^2 - 42083/1108*e + 36055/1108, 473/1108*e^8 + 191/554*e^7 - 5099/554*e^6 - 6435/1108*e^5 + 16903/277*e^4 + 16453/554*e^3 - 36086/277*e^2 - 65973/1108*e + 67329/1108, 125/554*e^8 - 476/277*e^7 - 342/277*e^6 + 12085/554*e^5 - 1937/277*e^4 - 18633/277*e^3 + 5884/277*e^2 + 17397/554*e + 12745/554, 355/554*e^8 - 543/277*e^7 - 2456/277*e^6 + 14599/554*e^5 + 9745/277*e^4 - 27057/277*e^3 - 13006/277*e^2 + 46017/554*e + 18911/554, 269/554*e^8 - 477/277*e^7 - 1680/277*e^6 + 12999/554*e^5 + 5336/277*e^4 - 24861/277*e^3 - 5449/277*e^2 + 53429/554*e + 22685/554, -33/554*e^8 - 271/277*e^7 + 826/277*e^6 + 8089/554*e^5 - 7351/277*e^4 - 17201/277*e^3 + 13429/277*e^2 + 37263/554*e + 15981/554, 2235/1108*e^8 - 2849/554*e^7 - 15123/554*e^6 + 70267/1108*e^5 + 28427/277*e^4 - 108921/554*e^3 - 32569/277*e^2 + 135529/1108*e + 37083/1108, -82/277*e^8 + 609/277*e^7 + 739/277*e^6 - 8792/277*e^5 - 1135/277*e^4 + 37286/277*e^3 + 2281/277*e^2 - 47141/277*e - 2167/277, -109/277*e^8 + 367/277*e^7 + 1587/277*e^6 - 5674/277*e^5 - 6667/277*e^4 + 25079/277*e^3 + 9751/277*e^2 - 27028/277*e - 10194/277, 47/554*e^8 - 210/277*e^7 - 379/277*e^6 + 7181/554*e^5 + 1891/277*e^4 - 18722/277*e^3 - 2716/277*e^2 + 58635/554*e + 16825/554, 1899/1108*e^8 - 2385/554*e^7 - 13663/554*e^6 + 61671/1108*e^5 + 28575/277*e^4 - 104915/554*e^3 - 35367/277*e^2 + 162993/1108*e + 12043/1108, -325/277*e^8 + 924/277*e^7 + 4216/277*e^6 - 11754/277*e^5 - 14082/277*e^4 + 40162/277*e^3 + 11064/277*e^2 - 35648/277*e - 1005/277, -237/1108*e^8 - 54/277*e^7 + 1153/277*e^6 + 4809/1108*e^5 - 6969/277*e^4 - 14749/554*e^3 + 11822/277*e^2 + 54729/1108*e + 14549/1108, 57/554*e^8 + 40/277*e^7 - 772/277*e^6 + 281/554*e^5 + 5193/277*e^4 - 5997/277*e^3 - 8162/277*e^2 + 40393/554*e + 2665/554, -443/554*e^8 + 836/277*e^7 + 2535/277*e^6 - 21467/554*e^5 - 5341/277*e^4 + 35018/277*e^3 - 7322/277*e^2 - 48585/554*e + 15395/554, -417/554*e^8 + 655/277*e^7 + 2455/277*e^6 - 16693/554*e^5 - 5509/277*e^4 + 27384/277*e^3 - 6579/277*e^2 - 30753/554*e + 16251/554, 93/554*e^8 - 168/277*e^7 - 1245/277*e^6 + 5911/554*e^5 + 11097/277*e^4 - 14479/277*e^3 - 32809/277*e^2 + 31119/554*e + 23709/554, 337/554*e^8 - 716/277*e^7 - 2081/277*e^6 + 18709/554*e^5 + 7624/277*e^4 - 32511/277*e^3 - 13009/277*e^2 + 57025/554*e + 21131/554, 6/277*e^8 - 254/277*e^7 + 581/277*e^6 + 2785/277*e^5 - 7450/277*e^4 - 6613/277*e^3 + 23547/277*e^2 + 6118/277*e - 18468/277, 345/1108*e^8 - 258/277*e^7 - 616/277*e^6 + 10419/1108*e^5 - 3011/277*e^4 - 7373/554*e^3 + 19211/277*e^2 - 21057/1108*e - 68865/1108, 325/277*e^8 - 370/277*e^7 - 5324/277*e^6 + 3998/277*e^5 + 26824/277*e^4 - 9138/277*e^3 - 44858/277*e^2 - 1470/277*e + 18733/277, 213/554*e^8 + 62/277*e^7 - 1806/277*e^6 - 3207/554*e^5 + 8340/277*e^4 + 11355/277*e^3 - 9244/277*e^2 - 46515/554*e + 9463/554, 167/554*e^8 - 534/277*e^7 - 386/277*e^6 + 13575/554*e^5 - 4744/277*e^4 - 23358/277*e^3 + 23065/277*e^2 + 47481/554*e - 26229/554, -216/277*e^8 + 280/277*e^7 + 3737/277*e^6 - 3864/277*e^5 - 19326/277*e^4 + 14806/277*e^3 + 26797/277*e^2 - 12498/277*e + 8912/277, 87/277*e^8 - 82/277*e^7 - 1686/277*e^6 + 633/277*e^5 + 11362/277*e^4 + 1200/277*e^3 - 28225/277*e^2 - 3807/277*e + 6998/277, -371/554*e^8 + 420/277*e^7 + 2697/277*e^6 - 12423/554*e^5 - 10707/277*e^4 + 28303/277*e^3 + 11249/277*e^2 - 83199/554*e - 8443/554, -533/1108*e^8 + 124/277*e^7 + 2482/277*e^6 - 8119/1108*e^5 - 14344/277*e^4 + 22983/554*e^3 + 27771/277*e^2 - 79415/1108*e - 68239/1108, -36/277*e^8 - 138/277*e^7 + 946/277*e^6 + 1849/277*e^5 - 7099/277*e^4 - 4365/277*e^3 + 15500/277*e^2 - 7346/277*e - 6363/277, 309/277*e^8 - 893/277*e^7 - 4011/277*e^6 + 11437/277*e^5 + 13543/277*e^4 - 39609/277*e^3 - 10423/277*e^2 + 35861/277*e + 2886/277, -251/277*e^8 + 469/277*e^7 + 3718/277*e^6 - 6029/277*e^5 - 16402/277*e^4 + 22127/277*e^3 + 25308/277*e^2 - 23995/277*e - 9947/277, 142/277*e^8 - 379/277*e^7 - 2131/277*e^6 + 5341/277*e^5 + 8904/277*e^4 - 21701/277*e^3 - 9463/277*e^2 + 29099/277*e + 6678/277, -289/554*e^8 + 531/277*e^7 + 1635/277*e^6 - 14157/554*e^5 - 3076/277*e^4 + 25726/277*e^3 - 6096/277*e^2 - 41321/554*e - 1013/554, -123/554*e^8 - 582/277*e^7 + 1870/277*e^6 + 18113/554*e^5 - 14355/277*e^4 - 40039/277*e^3 + 29480/277*e^2 + 93965/554*e - 7267/554, 289/1108*e^8 + 23/554*e^7 - 3297/554*e^6 + 861/1108*e^5 + 11510/277*e^4 - 6059/554*e^3 - 25483/277*e^2 + 21931/1108*e - 3419/1108, -959/1108*e^8 + 2063/554*e^7 + 5529/554*e^6 - 56551/1108*e^5 - 6895/277*e^4 + 104979/554*e^3 + 1836/277*e^2 - 175853/1108*e - 34535/1108, 158/277*e^8 - 410/277*e^7 - 2059/277*e^6 + 5104/277*e^5 + 7227/277*e^4 - 16991/277*e^3 - 10381/277*e^2 + 18083/277*e + 8675/277, 1/2*e^8 - 10*e^6 - 1/2*e^5 + 62*e^4 - 117*e^2 + 25/2*e + 21/2, -109/277*e^8 + 367/277*e^7 + 1033/277*e^6 - 4289/277*e^5 - 296/277*e^4 + 10675/277*e^3 - 8531/277*e^2 + 3719/277*e + 6149/277, -677/554*e^8 + 803/277*e^7 + 5471/277*e^6 - 22883/554*e^5 - 27651/277*e^4 + 47493/277*e^3 + 45269/277*e^2 - 109353/554*e - 21117/554, -597/1108*e^8 + 432/277*e^7 + 1856/277*e^6 - 21575/1108*e^5 - 5742/277*e^4 + 38493/554*e^3 + 6252/277*e^2 - 105155/1108*e - 56283/1108, -160/277*e^8 + 587/277*e^7 + 2050/277*e^6 - 7879/277*e^5 - 7606/277*e^4 + 29075/277*e^3 + 11950/277*e^2 - 24739/277*e - 10552/277, -581/1108*e^8 + 355/277*e^7 + 2151/277*e^6 - 18211/1108*e^5 - 9139/277*e^4 + 32261/554*e^3 + 8100/277*e^2 - 69635/1108*e + 36293/1108, 1575/1108*e^8 - 672/277*e^7 - 5811/277*e^6 + 33161/1108*e^5 + 24167/277*e^4 - 55169/554*e^3 - 27084/277*e^2 + 106297/1108*e + 2697/1108, 393/277*e^8 - 848/277*e^7 - 5849/277*e^6 + 10816/277*e^5 + 25860/277*e^4 - 36626/277*e^3 - 36987/277*e^2 + 28164/277*e + 8315/277, 1115/1108*e^8 - 328/277*e^7 - 4528/277*e^6 + 17053/1108*e^5 + 21626/277*e^4 - 32227/554*e^3 - 27307/277*e^2 + 55705/1108*e - 17391/1108, -67/1108*e^8 + 409/277*e^7 - 387/277*e^6 - 22189/1108*e^5 + 6417/277*e^4 + 36761/554*e^3 - 21173/277*e^2 - 33785/1108*e + 80191/1108, 291/277*e^8 - 685/277*e^7 - 3815/277*e^6 + 8899/277*e^5 + 11794/277*e^4 - 32512/277*e^3 - 1842/277*e^2 + 36620/277*e - 5420/277, 925/1108*e^8 - 143/554*e^7 - 8237/554*e^6 + 3005/1108*e^5 + 21835/277*e^4 - 6143/554*e^3 - 34571/277*e^2 + 25583/1108*e + 48885/1108, -1461/1108*e^8 + 1701/554*e^7 + 10355/554*e^6 - 43125/1108*e^5 - 20359/277*e^4 + 70321/554*e^3 + 20584/277*e^2 - 83127/1108*e + 23131/1108, 393/554*e^8 - 701/277*e^7 - 1955/277*e^6 + 17741/554*e^5 + 1850/277*e^4 - 29670/277*e^3 + 9899/277*e^2 + 45061/554*e - 18277/554, -1363/1108*e^8 + 1381/554*e^7 + 10437/554*e^6 - 37063/1108*e^5 - 23680/277*e^4 + 69545/554*e^3 + 33842/277*e^2 - 126501/1108*e - 65223/1108, 161/277*e^8 + 17/277*e^7 - 3015/277*e^6 - 1121/277*e^5 + 18183/277*e^4 + 8649/277*e^3 - 36695/277*e^2 - 15145/277*e + 8582/277, 951/1108*e^8 - 439/277*e^7 - 3466/277*e^6 + 20521/1108*e^5 + 14272/277*e^4 - 28735/554*e^3 - 15779/277*e^2 + 35105/1108*e - 56627/1108, -39/1108*e^8 - 72/277*e^7 + 614/277*e^6 + 1703/1108*e^5 - 6245/277*e^4 + 2587/554*e^3 + 18348/277*e^2 - 12621/1108*e - 86877/1108, -455/554*e^8 + 259/277*e^7 + 3616/277*e^6 - 5985/554*e^5 - 17281/277*e^4 + 9222/277*e^3 + 26747/277*e^2 - 20933/554*e - 20797/554, -189/554*e^8 + 261/277*e^7 + 752/277*e^6 - 4489/554*e^5 + 2521/277*e^4 + 72/277*e^3 - 22330/277*e^2 + 26667/554*e + 31343/554, -517/1108*e^8 - 230/277*e^7 + 2777/277*e^6 + 15189/1108*e^5 - 18018/277*e^4 - 35879/554*e^3 + 37929/277*e^2 + 91281/1108*e - 72059/1108, 481/1108*e^8 - 1271/554*e^7 - 2311/554*e^6 + 35689/1108*e^5 + 662/277*e^4 - 70317/554*e^3 + 6942/277*e^2 + 158983/1108*e - 29315/1108, 859/1108*e^8 - 204/277*e^7 - 3708/277*e^6 + 8657/1108*e^5 + 20578/277*e^4 - 12291/554*e^3 - 40532/277*e^2 + 31413/1108*e + 73645/1108, 769/1108*e^8 - 1273/554*e^7 - 6649/554*e^6 + 37517/1108*e^5 + 19569/277*e^4 - 77787/554*e^3 - 42617/277*e^2 + 154595/1108*e + 60369/1108, 70/277*e^8 - 101/277*e^7 - 1624/277*e^6 + 1560/277*e^5 + 11880/277*e^4 - 6332/277*e^3 - 27769/277*e^2 + 6097/277*e + 7525/277, -151/277*e^8 + 483/277*e^7 + 2229/277*e^6 - 6610/277*e^5 - 10194/277*e^4 + 25665/277*e^3 + 17493/277*e^2 - 31074/277*e - 9723/277, -376/277*e^8 + 867/277*e^7 + 5233/277*e^6 - 10912/277*e^5 - 19176/277*e^4 + 34740/277*e^3 + 13540/277*e^2 - 19509/277*e + 3623/277, 85/1108*e^8 - 184/277*e^7 - 493/277*e^6 + 13647/1108*e^5 + 3923/277*e^4 - 32969/554*e^3 - 12758/277*e^2 + 47707/1108*e + 49995/1108, 477/1108*e^8 + 7/277*e^7 - 2268/277*e^6 - 885/1108*e^5 + 12799/277*e^4 + 1045/554*e^3 - 19281/277*e^2 + 19359/1108*e - 10909/1108, -342/277*e^8 + 628/277*e^7 + 5109/277*e^6 - 8057/277*e^5 - 21597/277*e^4 + 28752/277*e^3 + 23985/277*e^2 - 27683/277*e + 2569/277, 293/554*e^8 - 154/277*e^7 - 2180/277*e^6 + 3087/554*e^5 + 9272/277*e^4 - 3462/277*e^3 - 9323/277*e^2 - 767/554*e - 11299/554, 339/554*e^8 - 112/277*e^7 - 2492/277*e^6 + 1263/554*e^5 + 10168/277*e^4 + 1889/277*e^3 - 12824/277*e^2 - 10001/554*e + 16637/554, 310/277*e^8 - 843/277*e^7 - 4422/277*e^6 + 10747/277*e^5 + 18857/277*e^4 - 34848/277*e^3 - 27966/277*e^2 + 20630/277*e + 6733/277, -179/554*e^8 + 511/277*e^7 + 1190/277*e^6 - 15267/554*e^5 - 4426/277*e^4 + 29694/277*e^3 + 4079/277*e^2 - 38111/554*e + 11089/554, -37/554*e^8 - 94/277*e^7 + 540/277*e^6 + 1985/554*e^5 - 3575/277*e^4 - 408/277*e^3 + 4472/277*e^2 - 23693/554*e + 5579/554, 372/277*e^8 - 513/277*e^7 - 6082/277*e^6 + 5916/277*e^5 + 30883/277*e^4 - 16389/277*e^3 - 54168/277*e^2 + 5366/277*e + 24755/277, -102/277*e^8 + 163/277*e^7 + 1480/277*e^6 - 1640/277*e^5 - 5479/277*e^4 + 790/277*e^3 + 3844/277*e^2 + 17043/277*e - 439/277, 369/277*e^8 - 663/277*e^7 - 5680/277*e^6 + 8263/277*e^5 + 25744/277*e^4 - 28456/277*e^3 - 32840/277*e^2 + 27514/277*e - 3129/277, 543/1108*e^8 - 276/277*e^7 - 1709/277*e^6 + 11745/1108*e^5 + 5192/277*e^4 - 12751/554*e^3 - 2240/277*e^2 + 7989/1108*e - 35115/1108, -57/554*e^8 + 514/277*e^7 - 336/277*e^6 - 14131/554*e^5 + 5887/277*e^4 + 25664/277*e^3 - 12059/277*e^2 - 49257/554*e + 105/554]; 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;