/* 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![3, 6, -8, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [3, 3, w], [7, 7, 1/3*w^3 - 2/3*w^2 - 2*w + 2], [9, 3, w + 1], [13, 13, 2/3*w^3 - 1/3*w^2 - 5*w], [16, 2, 2], [17, 17, 1/3*w^3 - 2/3*w^2 - 3*w + 5], [19, 19, -1/3*w^3 + 2/3*w^2 + 2*w - 5], [23, 23, -1/3*w^3 + 2/3*w^2 + 3*w - 2], [25, 5, 1/3*w^3 + 1/3*w^2 - 3*w], [25, 5, -2/3*w^3 + 1/3*w^2 + 5*w - 3], [29, 29, -2/3*w^3 + 1/3*w^2 + 4*w - 3], [29, 29, -1/3*w^3 + 2/3*w^2 + 2*w], [37, 37, 1/3*w^3 + 1/3*w^2 - 2*w - 3], [41, 41, -2/3*w^3 + 1/3*w^2 + 5*w - 4], [43, 43, 2/3*w^3 - 1/3*w^2 - 6*w], [47, 47, 2/3*w^3 - 1/3*w^2 - 4*w], [59, 59, 1/3*w^3 + 1/3*w^2 - 2*w - 4], [59, 59, 4/3*w^3 - 5/3*w^2 - 10*w + 9], [67, 67, -1/3*w^3 + 2/3*w^2 + 3*w], [71, 71, 2/3*w^3 - 1/3*w^2 - 4*w + 1], [73, 73, -1/3*w^3 + 2/3*w^2 + w - 3], [83, 83, -w^3 + w^2 + 8*w - 4], [83, 83, -2/3*w^3 + 1/3*w^2 + 6*w - 1], [97, 97, 5/3*w^3 - 4/3*w^2 - 13*w + 6], [101, 101, -1/3*w^3 + 2/3*w^2 + 4*w - 2], [127, 127, w^2 - w - 4], [131, 131, 7/3*w^3 - 8/3*w^2 - 18*w + 15], [131, 131, 4/3*w^3 - 8/3*w^2 - 10*w + 17], [137, 137, 1/3*w^3 + 1/3*w^2 - 4*w - 3], [139, 139, w^2 - 5], [151, 151, 1/3*w^3 - 2/3*w^2 - 4*w + 6], [163, 163, -2/3*w^3 + 4/3*w^2 + 6*w - 9], [163, 163, -2/3*w^3 + 1/3*w^2 + 3*w - 4], [179, 179, w^2 - 2*w - 4], [179, 179, w^2 - w - 7], [191, 191, 1/3*w^3 + 1/3*w^2 - w - 3], [191, 191, -2/3*w^3 + 1/3*w^2 + 4*w - 6], [193, 193, -w^3 + 9*w + 1], [193, 193, 4/3*w^3 - 2/3*w^2 - 9*w], [197, 197, 2/3*w^3 - 1/3*w^2 - 5*w - 3], [197, 197, w^3 - 8*w + 1], [197, 197, w^3 - 7*w + 2], [197, 197, -4/3*w^3 + 2/3*w^2 + 11*w - 3], [223, 223, 4/3*w^3 - 5/3*w^2 - 10*w + 8], [233, 233, -4/3*w^3 + 2/3*w^2 + 9*w - 5], [241, 241, 1/3*w^3 + 1/3*w^2 - 4*w - 4], [257, 257, -w^3 - w^2 + 6*w + 5], [269, 269, -1/3*w^3 - 1/3*w^2 + 5*w], [269, 269, -2/3*w^3 + 4/3*w^2 + 4*w - 3], [271, 271, -2/3*w^3 + 4/3*w^2 + 3*w - 6], [271, 271, w^3 - 8*w - 5], [277, 277, 2*w^3 - 2*w^2 - 16*w + 13], [281, 281, 2/3*w^3 + 2/3*w^2 - 5*w], [281, 281, -w^3 + w^2 + 7*w - 2], [331, 331, 2/3*w^3 - 4/3*w^2 - 5*w + 4], [331, 331, 8/3*w^3 - 7/3*w^2 - 20*w + 15], [343, 7, -4/3*w^3 + 2/3*w^2 + 11*w - 6], [347, 347, 2/3*w^3 + 2/3*w^2 - 4*w - 5], [349, 349, -1/3*w^3 + 2/3*w^2 + 3*w - 8], [349, 349, -1/3*w^3 + 2/3*w^2 - 3], [353, 353, -5/3*w^3 + 1/3*w^2 + 12*w], [353, 353, 1/3*w^3 - 5/3*w^2 - 2*w + 14], [367, 367, -1/3*w^3 + 5/3*w^2 + 4*w - 9], [367, 367, 1/3*w^3 + 1/3*w^2 + w - 3], [379, 379, 4/3*w^3 + 1/3*w^2 - 12*w], [379, 379, -5/3*w^3 + 7/3*w^2 + 13*w - 12], [383, 383, -5/3*w^3 + 10/3*w^2 + 12*w - 21], [397, 397, 1/3*w^3 + 4/3*w^2 - 5*w - 6], [397, 397, 4/3*w^3 + 1/3*w^2 - 8*w], [397, 397, -1/3*w^3 + 2/3*w^2 + w - 6], [397, 397, w^3 + w^2 - 8*w - 7], [401, 401, 5/3*w^3 - 1/3*w^2 - 14*w + 1], [419, 419, 1/3*w^3 + 4/3*w^2 - 4*w - 3], [419, 419, 1/3*w^3 - 5/3*w^2 - 3*w + 12], [433, 433, -w^3 + w^2 + 9*w - 4], [433, 433, 1/3*w^3 + 4/3*w^2 - 4*w - 9], [443, 443, 4/3*w^3 - 2/3*w^2 - 8*w - 1], [443, 443, -4/3*w^3 + 8/3*w^2 + 9*w - 17], [449, 449, -w^3 + w^2 + 8*w - 2], [449, 449, 5/3*w^3 - 7/3*w^2 - 13*w + 18], [457, 457, -w^3 + 3*w^2 + 7*w - 20], [457, 457, 2/3*w^3 + 2/3*w^2 - 5*w - 9], [461, 461, 4/3*w^3 - 2/3*w^2 - 9*w + 2], [461, 461, -2/3*w^3 + 7/3*w^2 + 4*w - 16], [463, 463, 4/3*w^3 + 1/3*w^2 - 11*w - 1], [467, 467, w^3 - 2*w^2 - 9*w + 8], [479, 479, 4/3*w^3 - 8/3*w^2 - 10*w + 15], [479, 479, 5/3*w^3 - 1/3*w^2 - 14*w], [491, 491, -1/3*w^3 + 2/3*w^2 + 2*w - 8], [509, 509, -11/3*w^3 + 13/3*w^2 + 27*w - 27], [523, 523, -w - 5], [523, 523, 4/3*w^3 - 2/3*w^2 - 10*w + 9], [541, 541, 8/3*w^3 - 7/3*w^2 - 21*w + 13], [547, 547, -2/3*w^3 + 1/3*w^2 + 5*w - 7], [557, 557, -2/3*w^3 + 1/3*w^2 + 7*w - 3], [563, 563, w^2 + w - 8], [563, 563, 1/3*w^3 + 1/3*w^2 - w - 6], [569, 569, 1/3*w^3 + 4/3*w^2 - 4*w - 6], [569, 569, -1/3*w^3 + 5/3*w^2 + 2*w - 6], [571, 571, 5/3*w^3 - 4/3*w^2 - 11*w + 1], [593, 593, -2/3*w^3 + 1/3*w^2 + 4*w - 7], [593, 593, -2*w^3 + w^2 + 15*w - 1], [599, 599, -1/3*w^3 + 2/3*w^2 + 5*w - 2], [601, 601, w^3 - 10*w - 2], [607, 607, 1/3*w^3 + 4/3*w^2 - 4*w - 4], [607, 607, 7/3*w^3 - 8/3*w^2 - 18*w + 14], [617, 617, -5/3*w^3 + 10/3*w^2 + 13*w - 24], [617, 617, 1/3*w^3 + 4/3*w^2 - 2*w - 6], [617, 617, w^2 + w - 10], [617, 617, 1/3*w^3 + 1/3*w^2 - 6*w - 1], [631, 631, 7/3*w^3 - 2/3*w^2 - 18*w + 3], [631, 631, -1/3*w^3 + 2/3*w^2 + 5*w - 3], [641, 641, 5/3*w^3 - 1/3*w^2 - 11*w - 2], [643, 643, -5/3*w^3 + 7/3*w^2 + 14*w - 13], [643, 643, -2/3*w^3 + 4/3*w^2 + 6*w - 3], [653, 653, w^3 - w^2 - 8*w + 1], [653, 653, 1/3*w^3 + 4/3*w^2 - 3*w - 13], [659, 659, -1/3*w^3 + 5/3*w^2 + 2*w - 8], [661, 661, 5/3*w^3 - 4/3*w^2 - 11*w + 9], [683, 683, 4/3*w^3 - 2/3*w^2 - 7*w + 8], [709, 709, -2*w^3 + 17*w + 2], [709, 709, 1/3*w^3 + 1/3*w^2 - 4], [733, 733, 1/3*w^3 - 2/3*w^2 - 2*w - 3], [733, 733, 5/3*w^3 - 4/3*w^2 - 14*w + 9], [733, 733, 2/3*w^3 - 7/3*w^2 - 2*w + 10], [733, 733, 4/3*w^3 - 8/3*w^2 - 9*w + 18], [743, 743, w^3 - w^2 - 8*w - 1], [751, 751, -4/3*w^3 - 1/3*w^2 + 10*w], [757, 757, 5/3*w^3 - 7/3*w^2 - 11*w + 15], [757, 757, 2/3*w^3 + 5/3*w^2 - 3*w - 5], [761, 761, 7/3*w^3 - 5/3*w^2 - 18*w + 11], [761, 761, 1/3*w^3 + 4/3*w^2 - 4*w - 13], [773, 773, 1/3*w^3 + 4/3*w^2 - 3*w - 7], [773, 773, 1/3*w^3 + 1/3*w^2 - 3*w - 7], [809, 809, w^3 - 8*w + 4], [811, 811, -2/3*w^3 + 4/3*w^2 + 5*w], [823, 823, 7/3*w^3 - 5/3*w^2 - 17*w + 9], [827, 827, -5/3*w^3 + 1/3*w^2 + 12*w - 4], [827, 827, 1/3*w^3 + 4/3*w^2 - 4*w - 10], [829, 829, -1/3*w^3 - 1/3*w^2 - w - 3], [841, 29, -1/3*w^3 - 4/3*w^2 + 2*w + 12], [857, 857, 4*w^3 - 4*w^2 - 31*w + 26], [859, 859, 11/3*w^3 - 10/3*w^2 - 27*w + 21], [863, 863, 7/3*w^3 - 5/3*w^2 - 17*w + 8], [877, 877, 1/3*w^3 + 4/3*w^2 - 3*w - 6], [877, 877, -4/3*w^3 + 5/3*w^2 + 11*w - 6], [881, 881, 5/3*w^3 - 4/3*w^2 - 11*w + 4], [881, 881, 4/3*w^3 - 11/3*w^2 - 10*w + 24], [883, 883, 10/3*w^3 - 17/3*w^2 - 25*w + 36], [883, 883, -4/3*w^3 + 2/3*w^2 + 11*w - 8], [887, 887, -1/3*w^3 + 2/3*w^2 + 3*w - 9], [887, 887, 3*w^3 - 2*w^2 - 23*w + 8], [911, 911, 4/3*w^3 + 1/3*w^2 - 7*w], [919, 919, -4/3*w^3 + 5/3*w^2 + 7*w - 6], [929, 929, 2*w^3 + w^2 - 14*w - 8], [937, 937, -7/3*w^3 + 5/3*w^2 + 15*w - 14], [941, 941, -1/3*w^3 - 1/3*w^2 + 6*w], [941, 941, -7/3*w^3 - 1/3*w^2 + 18*w + 3], [971, 971, -4/3*w^3 + 5/3*w^2 + 10*w - 6], [977, 977, -7/3*w^3 + 11/3*w^2 + 18*w - 27], [977, 977, 7/3*w^3 - 2/3*w^2 - 17*w], [997, 997, 7/3*w^3 - 2/3*w^2 - 17*w + 2], [1009, 1009, 4/3*w^3 + 1/3*w^2 - 13*w + 3], [1009, 1009, 2/3*w^3 - 7/3*w^2 - 6*w + 15], [1013, 1013, 4/3*w^3 + 4/3*w^2 - 12*w - 7], [1013, 1013, 4/3*w^3 + 1/3*w^2 - 9*w + 2], [1019, 1019, -1/3*w^3 + 2/3*w^2 + 6*w], [1021, 1021, w^2 - 11], [1021, 1021, 10/3*w^3 - 8/3*w^2 - 25*w + 17], [1021, 1021, -7/3*w^3 + 2/3*w^2 + 19*w + 4], [1021, 1021, -5/3*w^3 + 7/3*w^2 + 10*w - 13], [1031, 1031, -w^3 + 2*w^2 + 9*w - 14], [1031, 1031, -2/3*w^3 + 4/3*w^2 + 4*w - 13], [1031, 1031, -w^3 + 9*w - 5], [1031, 1031, w^2 + 2*w - 7], [1033, 1033, 4/3*w^3 - 11/3*w^2 - 9*w + 26], [1033, 1033, -4/3*w^3 + 2/3*w^2 + 7*w - 9], [1061, 1061, -1/3*w^3 + 2/3*w^2 - 5], [1061, 1061, -5/3*w^3 + 4/3*w^2 + 14*w - 7], [1069, 1069, 4/3*w^3 + 4/3*w^2 - 11*w - 3], [1069, 1069, -7/3*w^3 + 14/3*w^2 + 17*w - 30], [1087, 1087, 2*w^3 - w^2 - 14*w + 2], [1091, 1091, -w^3 + 10*w - 7], [1091, 1091, -4/3*w^3 + 5/3*w^2 + 8*w - 2], [1093, 1093, 2/3*w^3 + 2/3*w^2 - 7*w + 3], [1103, 1103, 1/3*w^3 - 2/3*w^2 - w - 4], [1109, 1109, -1/3*w^3 + 2/3*w^2 + 5*w - 9], [1109, 1109, w^3 + w^2 - 7*w - 11], [1117, 1117, -w^3 + 10*w - 1], [1129, 1129, -4/3*w^3 + 8/3*w^2 + 10*w - 11], [1163, 1163, -4/3*w^3 + 2/3*w^2 + 12*w - 5], [1163, 1163, -1/3*w^3 + 5/3*w^2 + 2*w - 15], [1181, 1181, -5/3*w^3 + 4/3*w^2 + 11*w - 7], [1187, 1187, 10/3*w^3 - 8/3*w^2 - 26*w + 17], [1193, 1193, -2/3*w^3 + 7/3*w^2 + 5*w - 13], [1193, 1193, 5/3*w^3 - 1/3*w^2 - 11*w], [1193, 1193, 2/3*w^3 - 1/3*w^2 - 6*w - 5], [1193, 1193, 4/3*w^3 + 1/3*w^2 - 10*w - 9], [1201, 1201, 2/3*w^3 + 5/3*w^2 - 6*w - 11], [1229, 1229, -2/3*w^3 + 7/3*w^2 + 7*w - 13], [1231, 1231, 5/3*w^3 - 4/3*w^2 - 11*w - 2], [1249, 1249, -1/3*w^3 - 1/3*w^2 + 4*w - 6], [1249, 1249, -5/3*w^3 + 4/3*w^2 + 11*w - 6], [1259, 1259, 5/3*w^3 - 7/3*w^2 - 13*w + 19], [1277, 1277, 4/3*w^3 + 1/3*w^2 - 13*w], [1291, 1291, 5/3*w^3 - 1/3*w^2 - 9*w - 2], [1297, 1297, -1/3*w^3 + 5/3*w^2 + w - 12], [1327, 1327, w^3 + 2*w^2 - 7*w - 13], [1327, 1327, 2/3*w^3 - 1/3*w^2 - 5*w - 5], [1361, 1361, -1/3*w^3 + 5/3*w^2 + 4*w - 11], [1367, 1367, 2/3*w^3 - 1/3*w^2 - 8*w], [1367, 1367, -3*w - 5], [1399, 1399, -2/3*w^3 + 4/3*w^2 + 3*w - 9], [1399, 1399, -5/3*w^3 + 4/3*w^2 + 13*w - 3], [1433, 1433, -5/3*w^3 + 4/3*w^2 + 13*w - 15], [1433, 1433, -7/3*w^3 + 8/3*w^2 + 19*w - 15], [1439, 1439, -w^3 + 2*w^2 + 6*w - 14], [1439, 1439, -1/3*w^3 + 2/3*w^2 - w + 7], [1447, 1447, 1/3*w^3 + 1/3*w^2 - 5*w - 6], [1447, 1447, -4/3*w^3 + 2/3*w^2 + 12*w - 3], [1451, 1451, 4/3*w^3 - 8/3*w^2 - 10*w + 21], [1451, 1451, w^2 - 3*w - 5], [1451, 1451, -2/3*w^3 + 4/3*w^2 + 5*w - 13], [1451, 1451, 10/3*w^3 - 14/3*w^2 - 25*w + 33], [1453, 1453, 2/3*w^3 - 7/3*w^2 - 5*w + 12], [1453, 1453, 5/3*w^3 - 1/3*w^2 - 15*w - 2], [1453, 1453, -4/3*w^3 - 1/3*w^2 + 9*w - 3], [1453, 1453, 4/3*w^3 + 1/3*w^2 - 7*w - 4], [1471, 1471, -1/3*w^3 + 2/3*w^2 - 6], [1489, 1489, -5/3*w^3 + 1/3*w^2 + 13*w - 4], [1489, 1489, -2/3*w^3 + 1/3*w^2 + 2*w - 6], [1493, 1493, 7/3*w^3 - 11/3*w^2 - 17*w + 27], [1493, 1493, -2*w^3 + 2*w^2 + 15*w - 8], [1511, 1511, 17/3*w^3 - 19/3*w^2 - 43*w + 37], [1523, 1523, -w^3 + 3*w^2 + 9*w - 11], [1523, 1523, 1/3*w^3 + 1/3*w^2 - 5*w - 7], [1523, 1523, -w^3 + 3*w^2 + 8*w - 22], [1523, 1523, 2/3*w^3 + 5/3*w^2 - 4*w - 5], [1543, 1543, 1/3*w^3 + 1/3*w^2 - 6*w - 4], [1543, 1543, -4/3*w^3 + 5/3*w^2 + 10*w - 5], [1553, 1553, -4/3*w^3 + 5/3*w^2 + 11*w - 5], [1559, 1559, 2*w^3 - 15*w + 1], [1559, 1559, -4/3*w^3 + 2/3*w^2 + 5*w - 3], [1567, 1567, 1/3*w^3 + 1/3*w^2 - 6], [1571, 1571, 1/3*w^3 + 1/3*w^2 + 3*w - 1], [1571, 1571, -4/3*w^3 + 5/3*w^2 + 8*w - 14], [1579, 1579, -10/3*w^3 + 11/3*w^2 + 24*w - 20], [1583, 1583, 1/3*w^3 - 2/3*w^2 - 2*w - 4], [1597, 1597, 11/3*w^3 - 19/3*w^2 - 28*w + 42], [1601, 1601, 10/3*w^3 - 14/3*w^2 - 25*w + 26], [1613, 1613, 8/3*w^3 - 16/3*w^2 - 19*w + 36], [1627, 1627, -2/3*w^3 + 1/3*w^2 + 3*w - 9], [1627, 1627, -2/3*w^3 + 1/3*w^2 + 6*w - 9], [1637, 1637, 2*w^3 + w^2 - 16*w - 4], [1657, 1657, -2/3*w^3 + 7/3*w^2 + 6*w - 16], [1657, 1657, 2/3*w^3 + 2/3*w^2 - 3*w - 6], [1663, 1663, -3*w + 10], [1663, 1663, 1/3*w^3 + 4/3*w^2 - w - 9], [1667, 1667, -2/3*w^3 + 1/3*w^2 + 2*w - 7], [1667, 1667, 8/3*w^3 - 4/3*w^2 - 22*w + 3], [1669, 1669, 3*w^3 - 2*w^2 - 22*w + 11], [1693, 1693, 1/3*w^3 - 2/3*w^2 - 3*w - 4], [1697, 1697, -4/3*w^3 + 2/3*w^2 + 7*w - 3], [1709, 1709, 3*w^3 - 3*w^2 - 23*w + 23], [1741, 1741, -3*w^3 + 2*w^2 + 24*w - 10], [1747, 1747, -2/3*w^3 + 7/3*w^2 + 4*w - 10], [1747, 1747, 1/3*w^3 - 8/3*w^2 - 4*w + 9], [1753, 1753, 4/3*w^3 - 2/3*w^2 - 7*w + 2], [1753, 1753, 8/3*w^3 - 16/3*w^2 - 19*w + 37], [1759, 1759, 2*w^2 - w - 5], [1759, 1759, -5/3*w^3 + 10/3*w^2 + 14*w - 21], [1777, 1777, -1/3*w^3 + 2/3*w^2 + 6*w - 2], [1783, 1783, 7/3*w^3 - 8/3*w^2 - 17*w + 12], [1783, 1783, -5/3*w^3 - 2/3*w^2 + 10*w - 3], [1787, 1787, -1/3*w^3 - 1/3*w^2 - 2*w - 3], [1787, 1787, 4/3*w^3 + 1/3*w^2 - 12*w + 2], [1811, 1811, 5/3*w^3 - 1/3*w^2 - 10*w - 6], [1811, 1811, -w^3 + w^2 + 5*w - 10], [1847, 1847, w^2 - 2*w - 10], [1861, 1861, 2*w^2 - w - 11], [1867, 1867, w^3 + 2*w^2 - 7*w - 4], [1871, 1871, -1/3*w^3 + 5/3*w^2 - 9], [1873, 1873, 2/3*w^3 + 5/3*w^2 - 7*w - 6], [1877, 1877, -2/3*w^3 + 1/3*w^2 + 8*w - 3], [1877, 1877, -1/3*w^3 + 2/3*w^2 + 6*w - 3], [1879, 1879, w^3 + 2*w^2 - 11*w - 8], [1879, 1879, 8/3*w^3 - 7/3*w^2 - 20*w + 18], [1901, 1901, -2/3*w^3 + 1/3*w^2 + 2*w + 9], [1901, 1901, 10/3*w^3 - 11/3*w^2 - 24*w + 21], [1907, 1907, w^3 + w^2 - 10*w - 8], [1907, 1907, 5*w^3 - 6*w^2 - 38*w + 35], [1933, 1933, 1/3*w^3 + 1/3*w^2 - 7], [1933, 1933, 3*w^3 - w^2 - 22*w + 4], [1949, 1949, 5/3*w^3 + 2/3*w^2 - 15*w - 9], [1951, 1951, w^3 + w^2 - 12*w - 1], [1979, 1979, -7/3*w^3 + 5/3*w^2 + 17*w - 15], [1993, 1993, -5/3*w^3 + 1/3*w^2 + 12*w - 6], [1999, 1999, -4/3*w^3 - 1/3*w^2 + 13*w + 7], [1999, 1999, 2/3*w^3 + 5/3*w^2 - 6*w - 5]]; primes := [ideal : I in primesArray]; heckePol := x^9 + x^8 - 42*x^7 - 31*x^6 + 539*x^5 + 196*x^4 - 2176*x^3 - 92*x^2 + 376*x - 56; K := NumberField(heckePol); heckeEigenvaluesArray := [1, 1, e, -749849/1554452*e^8 - 917617/1554452*e^7 + 15654677/777226*e^6 + 30365471/1554452*e^5 - 397989303/1554452*e^4 - 59848882/388613*e^3 + 395344644/388613*e^2 + 110673737/388613*e - 44701380/388613, 470185/1554452*e^8 + 585853/1554452*e^7 - 9805199/777226*e^6 - 19331117/1554452*e^5 + 248898863/1554452*e^4 + 37857019/388613*e^3 - 494165597/777226*e^2 - 68882781/388613*e + 29505633/388613, -110952/388613*e^8 - 139270/388613*e^7 + 9260029/777226*e^6 + 9239783/777226*e^5 - 58821481/388613*e^4 - 73415997/777226*e^3 + 467757443/777226*e^2 + 69279518/388613*e - 26670730/388613, -319358/388613*e^8 - 391270/388613*e^7 + 13322658/388613*e^6 + 12916627/388613*e^5 - 169147391/388613*e^4 - 101260463/388613*e^3 + 671405224/388613*e^2 + 185046398/388613*e - 76587710/388613, -194293/1554452*e^8 - 244001/1554452*e^7 + 2022005/388613*e^6 + 7972569/1554452*e^5 - 102414923/1554452*e^4 - 30288693/777226*e^3 + 203332461/777226*e^2 + 24222600/388613*e - 12697098/388613, 1300909/1554452*e^8 + 1618093/1554452*e^7 - 13554504/388613*e^6 - 53433265/1554452*e^5 + 687465023/1554452*e^4 + 209438021/777226*e^3 - 1362976747/777226*e^2 - 190065044/388613*e + 78581854/388613, -42323/388613*e^8 - 93823/777226*e^7 + 3570197/777226*e^6 + 1548140/388613*e^5 - 45991147/777226*e^4 - 24259011/777226*e^3 + 92310839/388613*e^2 + 22494190/388613*e - 9045968/388613, -131453/1554452*e^8 - 179637/1554452*e^7 + 2726041/777226*e^6 + 6004287/1554452*e^5 - 68557415/1554452*e^4 - 12175894/388613*e^3 + 67037564/388613*e^2 + 23893651/388613*e - 5831580/388613, -441413/777226*e^8 - 275149/388613*e^7 + 18390839/777226*e^6 + 18191505/777226*e^5 - 116525972/388613*e^4 - 143162139/777226*e^3 + 461654450/388613*e^2 + 131665765/388613*e - 52967172/388613, 441413/777226*e^8 + 275149/388613*e^7 - 18390839/777226*e^6 - 18191505/777226*e^5 + 116525972/388613*e^4 + 143162139/777226*e^3 - 461654450/388613*e^2 - 131665765/388613*e + 53744398/388613, 2353027/1554452*e^8 + 2906335/1554452*e^7 - 24535022/388613*e^6 - 96008835/1554452*e^5 + 1245551205/1554452*e^4 + 376859171/777226*e^3 - 2470907325/777226*e^2 - 344224999/388613*e + 142926672/388613, 832247/777226*e^8 + 512435/388613*e^7 - 34723215/777226*e^6 - 33799197/777226*e^5 + 220465560/388613*e^4 + 263985725/777226*e^3 - 875465443/388613*e^2 - 236781834/388613*e + 101102146/388613, -628015/1554452*e^8 - 794263/1554452*e^7 + 6538205/388613*e^6 + 26186955/1554452*e^5 - 331069217/1554452*e^4 - 102363867/777226*e^3 + 654648879/777226*e^2 + 92379695/388613*e - 36617664/388613, 2415867/1554452*e^8 + 2970699/1554452*e^7 - 50388013/777226*e^6 - 97977117/1554452*e^5 + 1279408713/1554452*e^4 + 191398038/388613*e^3 - 1269693716/388613*e^2 - 344942561/388613*e + 145128834/388613, 500389/388613*e^8 + 1221557/777226*e^7 - 41758133/777226*e^6 - 20150667/388613*e^5 + 530327039/777226*e^4 + 315078575/777226*e^3 - 1052705070/388613*e^2 - 284062670/388613*e + 120233042/388613, -26377/777226*e^8 - 28773/777226*e^7 + 545170/388613*e^6 + 851551/777226*e^5 - 13612939/777226*e^4 - 2298041/388613*e^3 + 26408154/388613*e^2 - 793474/388613*e - 3338128/388613, -275493/388613*e^8 - 342507/388613*e^7 + 11484949/388613*e^6 + 22596939/777226*e^5 - 145643645/388613*e^4 - 88318143/388613*e^3 + 1153727805/777226*e^2 + 158393251/388613*e - 63344670/388613, 153438/388613*e^8 + 183479/388613*e^7 - 6416768/388613*e^6 - 12047183/777226*e^5 + 81739092/388613*e^4 + 46416467/388613*e^3 - 650697679/777226*e^2 - 80108119/388613*e + 37106940/388613, -79351/777226*e^8 - 111281/777226*e^7 + 1639011/388613*e^6 + 3723425/777226*e^5 - 41019687/777226*e^4 - 15302245/388613*e^3 + 79965991/388613*e^2 + 32649493/388613*e - 6212936/388613, 2578341/1554452*e^8 + 3183173/1554452*e^7 - 26877162/388613*e^6 - 105099773/1554452*e^5 + 1364054587/1554452*e^4 + 411958947/777226*e^3 - 2705787195/777226*e^2 - 374722829/388613*e + 155946790/388613, -254957/1554452*e^8 - 315833/1554452*e^7 + 2674274/388613*e^6 + 10505359/1554452*e^5 - 137027111/1554452*e^4 - 41955085/777226*e^3 + 137863376/388613*e^2 + 39895987/388613*e - 18069840/388613, -1439869/777226*e^8 - 1769823/777226*e^7 + 30026936/388613*e^6 + 29179715/388613*e^5 - 762141223/777226*e^4 - 227863836/388613*e^3 + 3022802559/777226*e^2 + 408667855/388613*e - 170660128/388613, -127681/1554452*e^8 - 189725/1554452*e^7 + 1318876/388613*e^6 + 6328481/1554452*e^5 - 65950915/1554452*e^4 - 25793407/777226*e^3 + 129161799/777226*e^2 + 27151489/388613*e - 9776046/388613, 1131433/777226*e^8 + 701252/388613*e^7 - 47135357/777226*e^6 - 23092732/388613*e^5 + 298601932/388613*e^4 + 359494283/777226*e^3 - 2364732883/777226*e^2 - 319763372/388613*e + 131115636/388613, -2575221/1554452*e^8 - 3182451/1554452*e^7 + 53669345/777226*e^6 + 104846207/1554452*e^5 - 1361136237/1554452*e^4 - 204279246/388613*e^3 + 1349207599/388613*e^2 + 365926465/388613*e - 155063690/388613, -31167/1554452*e^8 - 42337/1554452*e^7 + 674389/777226*e^6 + 1427673/1554452*e^5 - 18080899/1554452*e^4 - 2983948/388613*e^3 + 19307070/388613*e^2 + 5330695/388613*e - 3597804/388613, 29552/388613*e^8 + 71471/777226*e^7 - 2524097/777226*e^6 - 2406007/777226*e^5 + 33153013/777226*e^4 + 19932329/777226*e^3 - 137416585/777226*e^2 - 20995958/388613*e + 10639610/388613, 142553/388613*e^8 + 167259/388613*e^7 - 5982007/388613*e^6 - 5516358/388613*e^5 + 76623275/388613*e^4 + 43200120/388613*e^3 - 307436848/388613*e^2 - 79089245/388613*e + 38583910/388613, 53300/388613*e^8 + 77103/388613*e^7 - 2190992/388613*e^6 - 2582994/388613*e^5 + 27250823/388613*e^4 + 21166334/388613*e^3 - 106211458/388613*e^2 - 42777530/388613*e + 11639004/388613, -424103/777226*e^8 - 493979/777226*e^7 + 8884626/388613*e^6 + 16388615/777226*e^5 - 227016965/777226*e^4 - 65057283/388613*e^3 + 453281699/388613*e^2 + 124337746/388613*e - 52345404/388613, 2071693/1554452*e^8 + 2561729/1554452*e^7 - 21588163/388613*e^6 - 84651925/1554452*e^5 + 1094911155/1554452*e^4 + 332606045/777226*e^3 - 2170326871/777226*e^2 - 305114362/388613*e + 130182802/388613, -4030653/1554452*e^8 - 4948153/1554452*e^7 + 84136485/777226*e^6 + 163266507/1554452*e^5 - 2138774995/1554452*e^4 - 319361739/388613*e^3 + 2125405298/388613*e^2 + 576157951/388613*e - 245065330/388613, -611341/388613*e^8 - 1500097/777226*e^7 + 25509081/388613*e^6 + 49541117/777226*e^5 - 647970001/777226*e^4 - 194247286/388613*e^3 + 2573167583/777226*e^2 + 354508027/388613*e - 144572094/388613, 663679/777226*e^8 + 410226/388613*e^7 - 27718915/777226*e^6 - 27255939/777226*e^5 + 176220493/388613*e^4 + 217688569/777226*e^3 - 700222578/388613*e^2 - 210874338/388613*e + 79374498/388613, -96692/388613*e^8 - 111059/388613*e^7 + 4052508/388613*e^6 + 3670218/388613*e^5 - 51725844/388613*e^4 - 28731879/388613*e^3 + 205103297/388613*e^2 + 51513382/388613*e - 16823374/388613, 1628105/777226*e^8 + 2029611/777226*e^7 - 33919798/388613*e^6 - 33476259/388613*e^5 + 859806101/777226*e^4 + 261768975/388613*e^3 - 3407010527/777226*e^2 - 470947207/388613*e + 193895984/388613, 10345/1554452*e^8 + 60935/1554452*e^7 - 60233/388613*e^6 - 2107479/1554452*e^5 - 486091/1554452*e^4 + 9038513/777226*e^3 + 4403043/388613*e^2 - 8701689/388613*e - 3705724/388613, -251003/777226*e^8 - 159701/388613*e^7 + 10387543/777226*e^6 + 5203359/388613*e^5 - 65263083/388613*e^4 - 78527275/777226*e^3 + 514878677/777226*e^2 + 61938720/388613*e - 32914882/388613, 495653/777226*e^8 + 592743/777226*e^7 - 10358867/388613*e^6 - 19550535/777226*e^5 + 263548567/777226*e^4 + 76455265/388613*e^3 - 521955974/388613*e^2 - 139263044/388613*e + 51446894/388613, -1696387/777226*e^8 - 2096729/777226*e^7 + 35370296/388613*e^6 + 69307775/777226*e^5 - 897819719/777226*e^4 - 272362856/388613*e^3 + 1782315608/388613*e^2 + 497424252/388613*e - 205715498/388613, -3517987/1554452*e^8 - 4371651/1554452*e^7 + 73296675/777226*e^6 + 144112705/1554452*e^5 - 1858360153/1554452*e^4 - 281138295/388613*e^3 + 1841981175/388613*e^2 + 502170723/388613*e - 209780878/388613, -242625/1554452*e^8 - 343869/1554452*e^7 + 2473698/388613*e^6 + 11210031/1554452*e^5 - 121730571/1554452*e^4 - 42078657/777226*e^3 + 117182793/388613*e^2 + 30359739/388613*e - 11958684/388613, -511311/388613*e^8 - 1269459/777226*e^7 + 42566419/777226*e^6 + 20893328/388613*e^5 - 538747103/777226*e^4 - 324355497/777226*e^3 + 1066040618/388613*e^2 + 284693681/388613*e - 123172350/388613, -156485/388613*e^8 - 179451/388613*e^7 + 6552607/388613*e^6 + 5928199/388613*e^5 - 83661222/388613*e^4 - 46231369/388613*e^3 + 333997635/388613*e^2 + 81430249/388613*e - 40307580/388613, -2817365/1554452*e^8 - 3425817/1554452*e^7 + 29407879/388613*e^6 + 113189987/1554452*e^5 - 1495419239/1554452*e^4 - 444113699/777226*e^3 + 1486364379/388613*e^2 + 404250333/388613*e - 172683040/388613, -497434/388613*e^8 - 628778/388613*e^7 + 20714360/388613*e^6 + 20773680/388613*e^5 - 262380822/388613*e^4 - 163156254/388613*e^3 + 1040044902/388613*e^2 + 296564424/388613*e - 119547956/388613, -2278357/777226*e^8 - 2806849/777226*e^7 + 47510824/388613*e^6 + 92593349/777226*e^5 - 1206101253/777226*e^4 - 362060734/388613*e^3 + 2393695214/388613*e^2 + 654377520/388613*e - 271772812/388613, -1173927/1554452*e^8 - 1532409/1554452*e^7 + 24371095/777226*e^6 + 50507401/1554452*e^5 - 614758127/1554452*e^4 - 98638692/388613*e^3 + 606774206/388613*e^2 + 175599535/388613*e - 71761314/388613, 1001686/388613*e^8 + 1232728/388613*e^7 - 41836492/388613*e^6 - 81623141/777226*e^5 + 532098064/388613*e^4 + 322333983/388613*e^3 - 4232678655/777226*e^2 - 598571093/388613*e + 243666350/388613, -27139/777226*e^8 - 15222/388613*e^7 + 1100461/777226*e^6 + 858177/777226*e^5 - 6695762/388613*e^4 - 2931443/777226*e^3 + 25291783/388613*e^2 - 9912905/388613*e + 445468/388613, 1112673/777226*e^8 + 1358305/777226*e^7 - 23216146/388613*e^6 - 44840177/777226*e^5 + 589800145/777226*e^4 + 175532882/388613*e^3 - 1170872763/388613*e^2 - 317850736/388613*e + 133150626/388613, -195743/777226*e^8 - 231881/777226*e^7 + 4084749/388613*e^6 + 3757483/388613*e^5 - 103783663/777226*e^4 - 27979166/388613*e^3 + 411352325/777226*e^2 + 45361495/388613*e - 19628534/388613, -87803/777226*e^8 - 51138/388613*e^7 + 3709537/777226*e^6 + 3390967/777226*e^5 - 24001856/388613*e^4 - 26264227/777226*e^3 + 97686074/388613*e^2 + 20656643/388613*e - 14963372/388613, -198065/388613*e^8 - 233913/388613*e^7 + 8264598/388613*e^6 + 7648375/388613*e^5 - 105021423/388613*e^4 - 58471374/388613*e^3 + 418046032/388613*e^2 + 100958020/388613*e - 53663952/388613, -190989/777226*e^8 - 107668/388613*e^7 + 7975797/777226*e^6 + 7052375/777226*e^5 - 50608854/388613*e^4 - 53793903/777226*e^3 + 199388917/388613*e^2 + 44620111/388613*e - 18780764/388613, -680296/388613*e^8 - 837002/388613*e^7 + 28357307/388613*e^6 + 27553430/388613*e^5 - 359654983/388613*e^4 - 214372318/388613*e^3 + 1426470232/388613*e^2 + 383791372/388613*e - 165754566/388613, -367357/777226*e^8 - 421559/777226*e^7 + 7702496/388613*e^6 + 13840935/777226*e^5 - 197003717/777226*e^4 - 53494698/388613*e^3 + 394033307/388613*e^2 + 97021842/388613*e - 50364494/388613, 3690177/1554452*e^8 + 4513633/1554452*e^7 - 77043705/777226*e^6 - 149534879/1554452*e^5 + 1958695507/1554452*e^4 + 295943761/388613*e^3 - 1945328444/388613*e^2 - 556388319/388613*e + 225132532/388613, 144239/388613*e^8 + 314373/777226*e^7 - 6099259/388613*e^6 - 10526547/777226*e^5 + 157820545/777226*e^4 + 42757424/388613*e^3 - 637866361/777226*e^2 - 88513151/388613*e + 38878526/388613, 753767/1554452*e^8 + 917029/1554452*e^7 - 15777085/777226*e^6 - 30350581/1554452*e^5 + 402588243/1554452*e^4 + 59706479/388613*e^3 - 401723287/388613*e^2 - 106859977/388613*e + 45586150/388613, -536617/777226*e^8 - 327517/388613*e^7 + 11243921/388613*e^6 + 10981001/388613*e^5 - 143755618/388613*e^4 - 89616369/388613*e^3 + 1151321583/777226*e^2 + 180545603/388613*e - 67681018/388613, -564669/1554452*e^8 - 750209/1554452*e^7 + 5894625/388613*e^6 + 25105737/1554452*e^5 - 299515999/1554452*e^4 - 102425849/777226*e^3 + 593362493/777226*e^2 + 101605961/388613*e - 30859462/388613, 192989/1554452*e^8 + 265621/1554452*e^7 - 2018695/388613*e^6 - 9128089/1554452*e^5 + 103038623/1554452*e^4 + 39972841/777226*e^3 - 205140893/777226*e^2 - 48331004/388613*e + 9139388/388613, 5355545/1554452*e^8 + 6598949/1554452*e^7 - 55839188/388613*e^6 - 217579465/1554452*e^5 + 2834811187/1554452*e^4 + 849079707/777226*e^3 - 5624428243/777226*e^2 - 759743361/388613*e + 317538978/388613, 6844725/1554452*e^8 + 8463137/1554452*e^7 - 71380146/388613*e^6 - 279791759/1554452*e^5 + 3624650883/1554452*e^4 + 1100773221/777226*e^3 - 3596865915/388613*e^2 - 1012452169/388613*e + 416445128/388613, -503891/777226*e^8 - 311524/388613*e^7 + 10479365/388613*e^6 + 10167568/388613*e^5 - 132581686/388613*e^4 - 76962758/388613*e^3 + 1051667527/777226*e^2 + 123560447/388613*e - 62298256/388613, 3486853/1554452*e^8 + 4294197/1554452*e^7 - 72797687/777226*e^6 - 142238567/1554452*e^5 + 1851381855/1554452*e^4 + 281291510/388613*e^3 - 1841392859/388613*e^2 - 525455766/388613*e + 213747948/388613, 350778/388613*e^8 + 423452/388613*e^7 - 14640627/388613*e^6 - 13900768/388613*e^5 + 186076145/388613*e^4 + 107197368/388613*e^3 - 740273944/388613*e^2 - 186481522/388613*e + 88764294/388613, -5695149/1554452*e^8 - 7019317/1554452*e^7 + 118764345/777226*e^6 + 231497307/1554452*e^5 - 3015021655/1554452*e^4 - 452198309/388613*e^3 + 2992760932/388613*e^2 + 812719231/388613*e - 346531744/388613, -763799/388613*e^8 - 1856637/777226*e^7 + 63824645/777226*e^6 + 30639771/388613*e^5 - 811956505/777226*e^4 - 479924897/777226*e^3 + 1614441023/388613*e^2 + 436318782/388613*e - 188202256/388613, 929320/388613*e^8 + 2273529/777226*e^7 - 77561567/777226*e^6 - 37472728/388613*e^5 + 985092513/777226*e^4 + 584547795/777226*e^3 - 1955306425/388613*e^2 - 522564040/388613*e + 219130200/388613, -656874/388613*e^8 - 1580459/777226*e^7 + 54863347/777226*e^6 + 26078866/388613*e^5 - 697649483/777226*e^4 - 407541313/777226*e^3 + 1387091318/388613*e^2 + 365881532/388613*e - 162872300/388613, -1074871/1554452*e^8 - 1358027/1554452*e^7 + 22356681/777226*e^6 + 44693025/1554452*e^5 - 565469481/1554452*e^4 - 87002519/388613*e^3 + 558970419/388613*e^2 + 155078741/388613*e - 59607332/388613, -1761327/1554452*e^8 - 2116739/1554452*e^7 + 36827669/777226*e^6 + 69996901/1554452*e^5 - 938349697/1554452*e^4 - 137644970/388613*e^3 + 934518869/388613*e^2 + 254513305/388613*e - 107866410/388613, 1202693/388613*e^8 + 1503692/388613*e^7 - 50145266/388613*e^6 - 49749795/388613*e^5 + 636182009/388613*e^4 + 392307602/388613*e^3 - 2524149842/388613*e^2 - 724628029/388613*e + 290098872/388613, -3141735/1554452*e^8 - 3877037/1554452*e^7 + 32757226/388613*e^6 + 128095301/1554452*e^5 - 1663211267/1554452*e^4 - 502485821/777226*e^3 + 1650442262/388613*e^2 + 454880344/388613*e - 184644298/388613, 223735/388613*e^8 + 534511/777226*e^7 - 18693135/777226*e^6 - 8785493/388613*e^5 + 237801989/777226*e^4 + 135929247/777226*e^3 - 472882927/388613*e^2 - 121717743/388613*e + 55125512/388613, 7367331/1554452*e^8 + 9036957/1554452*e^7 - 76896806/388613*e^6 - 298901437/1554452*e^5 + 3909704915/1554452*e^4 + 1177404119/777226*e^3 - 3884977185/388613*e^2 - 1088117742/388613*e + 448873282/388613, -2095921/1554452*e^8 - 2498581/1554452*e^7 + 21890459/388613*e^6 + 82169849/1554452*e^5 - 1113911335/1554452*e^4 - 317363035/777226*e^3 + 2214463553/777226*e^2 + 273559928/388613*e - 131390578/388613, -2792561/1554452*e^8 - 3536661/1554452*e^7 + 58081883/777226*e^6 + 116964471/1554452*e^5 - 1469303759/1554452*e^4 - 230156639/388613*e^3 + 1454641575/388613*e^2 + 420047267/388613*e - 175377720/388613, 358181/777226*e^8 + 223668/388613*e^7 - 14837383/777226*e^6 - 14524091/777226*e^5 + 93263766/388613*e^4 + 108331567/777226*e^3 - 367323024/388613*e^2 - 83327387/388613*e + 47581448/388613, -636739/388613*e^8 - 1568649/777226*e^7 + 52981079/777226*e^6 + 51567867/777226*e^5 - 670088619/777226*e^4 - 398881731/777226*e^3 + 2649823295/777226*e^2 + 349130638/388613*e - 151505074/388613, 183426/388613*e^8 + 452581/777226*e^7 - 15371255/777226*e^6 - 7522101/388613*e^5 + 196500217/777226*e^4 + 119897359/777226*e^3 - 394283058/388613*e^2 - 113580040/388613*e + 54497846/388613, -1476405/777226*e^8 - 905082/388613*e^7 + 61633589/777226*e^6 + 30009713/388613*e^5 - 391691006/388613*e^4 - 475820603/777226*e^3 + 3114401809/777226*e^2 + 447258766/388613*e - 185105046/388613, 1359031/777226*e^8 + 1662931/777226*e^7 - 28362495/388613*e^6 - 55052487/777226*e^5 + 720658581/777226*e^4 + 217657578/388613*e^3 - 1431088349/388613*e^2 - 409413506/388613*e + 169947780/388613, 2593465/777226*e^8 + 1569920/388613*e^7 - 108279697/777226*e^6 - 103527915/777226*e^5 + 688191296/388613*e^4 + 808233511/777226*e^3 - 2735051075/388613*e^2 - 729044465/388613*e + 311327698/388613, 5143793/1554452*e^8 + 6256993/1554452*e^7 - 53716243/388613*e^6 - 206546093/1554452*e^5 + 2732792215/1554452*e^4 + 809745131/777226*e^3 - 5431540179/777226*e^2 - 741487297/388613*e + 313145426/388613, 703/1697*e^8 + 947/1697*e^7 - 29178/1697*e^6 - 31225/1697*e^5 + 367611/1697*e^4 + 244900/1697*e^3 - 1445152/1697*e^2 - 438500/1697*e + 148756/1697, -415835/1554452*e^8 - 530927/1554452*e^7 + 8640001/777226*e^6 + 17387701/1554452*e^5 - 218311805/1554452*e^4 - 33415044/388613*e^3 + 215483662/388613*e^2 + 57589655/388613*e - 18780518/388613, -1965203/777226*e^8 - 1210002/388613*e^7 + 81974169/777226*e^6 + 80070323/777226*e^5 - 520249972/388613*e^4 - 631676157/777226*e^3 + 2063903258/388613*e^2 + 587492136/388613*e - 235167486/388613, 2922733/1554452*e^8 + 3595681/1554452*e^7 - 61064867/777226*e^6 - 118961331/1554452*e^5 + 1554348595/1554452*e^4 + 234240536/388613*e^3 - 1546875984/388613*e^2 - 428983329/388613*e + 181063446/388613, -574278/388613*e^8 - 699372/388613*e^7 + 24050372/388613*e^6 + 46373117/777226*e^5 - 307080287/388613*e^4 - 183748519/388613*e^3 + 2455647569/777226*e^2 + 343463757/388613*e - 152223052/388613, 2422759/1554452*e^8 + 2961333/1554452*e^7 - 50561281/777226*e^6 - 97906489/1554452*e^5 + 1284933563/1554452*e^4 + 192766069/388613*e^3 - 1276224992/388613*e^2 - 357476121/388613*e + 141290242/388613, 658311/777226*e^8 + 416580/388613*e^7 - 27392621/777226*e^6 - 27339819/777226*e^5 + 173236653/388613*e^4 + 210441619/777226*e^3 - 685704510/388613*e^2 - 177672294/388613*e + 81038942/388613, 348643/1554452*e^8 + 481499/1554452*e^7 - 3647585/388613*e^6 - 16548435/1554452*e^5 + 185963657/1554452*e^4 + 72352157/777226*e^3 - 370315585/777226*e^2 - 84452065/388613*e + 15924482/388613, 9614449/1554452*e^8 + 11807431/1554452*e^7 - 100282655/388613*e^6 - 389840051/1554452*e^5 + 5093144033/1554452*e^4 + 1527933063/777226*e^3 - 5053684384/388613*e^2 - 1391101454/388613*e + 579706626/388613, 1532389/777226*e^8 + 1880913/777226*e^7 - 31993864/388613*e^6 - 62171867/777226*e^5 + 813616675/777226*e^4 + 244476011/388613*e^3 - 1617759974/388613*e^2 - 449107544/388613*e + 186983422/388613, 975813/1554452*e^8 + 1162221/1554452*e^7 - 10218811/388613*e^6 - 39023469/1554452*e^5 + 521796415/1554452*e^4 + 160703667/777226*e^3 - 1039718721/777226*e^2 - 170919510/388613*e + 64188054/388613, -3501401/777226*e^8 - 2149280/388613*e^7 + 146107857/777226*e^6 + 141959117/777226*e^5 - 927908667/388613*e^4 - 1113726473/777226*e^3 + 3685357025/388613*e^2 + 1017260150/388613*e - 423853762/388613, -7140055/1554452*e^8 - 8728277/1554452*e^7 + 74498427/388613*e^6 + 288092109/1554452*e^5 - 3785667043/1554452*e^4 - 1128062927/777226*e^3 + 3758247831/388613*e^2 + 1023716614/388613*e - 425149052/388613, -830871/777226*e^8 - 526226/388613*e^7 + 34580501/777226*e^6 + 34727655/777226*e^5 - 218875405/388613*e^4 - 271449007/777226*e^3 + 867768072/388613*e^2 + 243363806/388613*e - 105843504/388613, 869071/777226*e^8 + 1041363/777226*e^7 - 36432215/777226*e^6 - 17212188/388613*e^5 + 465729559/777226*e^4 + 270686471/777226*e^3 - 1863004901/777226*e^2 - 247994202/388613*e + 111644608/388613, -88637/1554452*e^8 - 97985/1554452*e^7 + 962283/388613*e^6 + 3624655/1554452*e^5 - 51586307/1554452*e^4 - 18252301/777226*e^3 + 53426366/388613*e^2 + 29306315/388613*e + 727114/388613, -1062407/388613*e^8 - 2664449/777226*e^7 + 88513217/777226*e^6 + 44074653/388613*e^5 - 1121502553/777226*e^4 - 695221539/777226*e^3 + 2221287178/388613*e^2 + 643505132/388613*e - 253055276/388613, -309565/777226*e^8 - 207082/388613*e^7 + 12908521/777226*e^6 + 13974871/777226*e^5 - 82040732/388613*e^4 - 116163261/777226*e^3 + 328005531/388613*e^2 + 122420668/388613*e - 38096058/388613, -4515093/1554452*e^8 - 5508657/1554452*e^7 + 94177365/777226*e^6 + 181383363/1554452*e^5 - 2390932247/1554452*e^4 - 352585893/388613*e^3 + 2371344843/388613*e^2 + 626328258/388613*e - 273013228/388613, 103878/388613*e^8 + 142117/388613*e^7 - 4344810/388613*e^6 - 4850604/388613*e^5 + 55231381/388613*e^4 + 41428859/388613*e^3 - 217729377/388613*e^2 - 91654674/388613*e + 15134282/388613, 2537567/1554452*e^8 + 3213097/1554452*e^7 - 26374322/388613*e^6 - 105640765/1554452*e^5 + 1332405207/1554452*e^4 + 409486263/777226*e^3 - 1313890450/388613*e^2 - 360137523/388613*e + 145905566/388613, -1244889/1554452*e^8 - 1550325/1554452*e^7 + 12949785/388613*e^6 + 51167293/1554452*e^5 - 655328355/1554452*e^4 - 201061897/777226*e^3 + 1296498937/777226*e^2 + 186892819/388613*e - 72640294/388613, 1431809/777226*e^8 + 1703189/777226*e^7 - 29969329/388613*e^6 - 56344239/777226*e^5 + 764770859/777226*e^4 + 222091078/388613*e^3 - 1525162368/388613*e^2 - 411537524/388613*e + 171797102/388613, -3807075/1554452*e^8 - 4613923/1554452*e^7 + 39729317/388613*e^6 + 152050743/1554452*e^5 - 2019155193/1554452*e^4 - 591959135/777226*e^3 + 4008590419/777226*e^2 + 526374808/388613*e - 224126594/388613, 913920/388613*e^8 + 1138183/388613*e^7 - 38096337/388613*e^6 - 37656031/388613*e^5 + 483188567/388613*e^4 + 296714644/388613*e^3 - 1917167962/388613*e^2 - 547154619/388613*e + 229037048/388613, 843093/777226*e^8 + 1011935/777226*e^7 - 17689652/388613*e^6 - 33438597/777226*e^5 + 452956915/777226*e^4 + 131202564/388613*e^3 - 907786941/388613*e^2 - 236177552/388613*e + 112194280/388613, 298571/777226*e^8 + 396175/777226*e^7 - 6187452/388613*e^6 - 13393761/777226*e^5 + 155678809/777226*e^4 + 55639088/388613*e^3 - 306002759/388613*e^2 - 116028416/388613*e + 28275306/388613, -2092718/388613*e^8 - 5160591/777226*e^7 + 174679553/777226*e^6 + 85206022/388613*e^5 - 2219023219/777226*e^4 - 1335983681/777226*e^3 + 4406872327/388613*e^2 + 1210695668/388613*e - 503531628/388613, -194293/1554452*e^8 - 244001/1554452*e^7 + 2022005/388613*e^6 + 7972569/1554452*e^5 - 102414923/1554452*e^4 - 29511467/777226*e^3 + 204886913/777226*e^2 + 16061727/388613*e - 21246584/388613, -877783/388613*e^8 - 1097187/388613*e^7 + 36554049/388613*e^6 + 36250420/388613*e^5 - 462788073/388613*e^4 - 284983455/388613*e^3 + 1830176775/388613*e^2 + 525195440/388613*e - 204813908/388613, -1657637/1554452*e^8 - 2045413/1554452*e^7 + 34629993/777226*e^6 + 67854963/1554452*e^5 - 881824411/1554452*e^4 - 134605702/388613*e^3 + 879154499/388613*e^2 + 252643458/388613*e - 97325360/388613, -3757883/1554452*e^8 - 4628447/1554452*e^7 + 39182460/388613*e^6 + 152793931/1554452*e^5 - 1989593825/1554452*e^4 - 598386003/777226*e^3 + 3951129839/777226*e^2 + 544348323/388613*e - 229892776/388613, -2164067/777226*e^8 - 2663319/777226*e^7 + 45109135/388613*e^6 + 87766445/777226*e^5 - 1144394167/777226*e^4 - 341843599/388613*e^3 + 2270201754/388613*e^2 + 605535310/388613*e - 265475974/388613, 577253/777226*e^8 + 350653/388613*e^7 - 24056737/777226*e^6 - 23252717/777226*e^5 + 152404897/388613*e^4 + 183316797/777226*e^3 - 602124066/388613*e^2 - 165927584/388613*e + 61588488/388613, 304665/388613*e^8 + 388119/388613*e^7 - 12646582/388613*e^6 - 12814363/388613*e^5 + 159523069/388613*e^4 + 100415429/388613*e^3 - 630857561/388613*e^2 - 181849724/388613*e + 82382542/388613, -2084045/388613*e^8 - 5107253/777226*e^7 + 173993229/777226*e^6 + 168495623/777226*e^5 - 2211086235/777226*e^4 - 1318538053/777226*e^3 + 8785161671/777226*e^2 + 1194597234/388613*e - 503009054/388613, 7389179/1554452*e^8 + 9127707/1554452*e^7 - 154007045/777226*e^6 - 300874345/1554452*e^5 + 3906116593/1554452*e^4 + 586490897/388613*e^3 - 3871150598/388613*e^2 - 1043884564/388613*e + 436304178/388613, -9599/6788*e^8 - 11743/6788*e^7 + 200217/3394*e^6 + 385677/6788*e^5 - 5084309/6788*e^4 - 742396/1697*e^3 + 5049503/1697*e^2 + 1251335/1697*e - 597906/1697, -2859893/1554452*e^8 - 3531317/1554452*e^7 + 29873449/388613*e^6 + 116993049/1554452*e^5 - 1520491087/1554452*e^4 - 462544167/777226*e^3 + 3026049087/777226*e^2 + 427877154/388613*e - 174975154/388613, 2644153/777226*e^8 + 3217335/777226*e^7 - 55218508/388613*e^6 - 106379911/777226*e^5 + 1404453585/777226*e^4 + 418840692/388613*e^3 - 2792346638/388613*e^2 - 776632883/388613*e + 330993876/388613, 1871625/1554452*e^8 + 2245395/1554452*e^7 - 19568784/388613*e^6 - 73979227/1554452*e^5 + 997269413/1554452*e^4 + 288929185/777226*e^3 - 992660944/388613*e^2 - 263705758/388613*e + 108699146/388613, 1820911/777226*e^8 + 2278001/777226*e^7 - 37938378/388613*e^6 - 75341569/777226*e^5 + 961758069/777226*e^4 + 296765042/388613*e^3 - 1905324946/388613*e^2 - 545403904/388613*e + 212355152/388613, 248717/388613*e^8 + 314389/388613*e^7 - 10357180/388613*e^6 - 10386840/388613*e^5 + 131190411/388613*e^4 + 81578127/388613*e^3 - 519633838/388613*e^2 - 148282212/388613*e + 53556170/388613, 497753/777226*e^8 + 548389/777226*e^7 - 10498271/388613*e^6 - 18271379/777226*e^5 + 270998263/777226*e^4 + 73056831/388613*e^3 - 548747483/388613*e^2 - 139326340/388613*e + 76490542/388613, -379169/388613*e^8 - 916343/777226*e^7 + 31710251/777226*e^6 + 15037067/388613*e^5 - 404067543/777226*e^4 - 231036797/777226*e^3 + 806023996/388613*e^2 + 195753544/388613*e - 94532140/388613, -3158705/1554452*e^8 - 3788793/1554452*e^7 + 32954078/388613*e^6 + 124205777/1554452*e^5 - 1674513287/1554452*e^4 - 476884879/777226*e^3 + 3326093459/777226*e^2 + 412681045/388613*e - 194534414/388613, -190048/388613*e^8 - 239282/388613*e^7 + 7935249/388613*e^6 + 7960136/388613*e^5 - 100779698/388613*e^4 - 63524431/388613*e^3 + 398274184/388613*e^2 + 119595980/388613*e - 32081902/388613, 668141/1554452*e^8 + 817997/1554452*e^7 - 6944035/388613*e^6 - 26711309/1554452*e^5 + 350244835/1554452*e^4 + 101395065/777226*e^3 - 685964247/777226*e^2 - 84380151/388613*e + 30452662/388613, -1517953/1554452*e^8 - 1910455/1554452*e^7 + 15822009/388613*e^6 + 62890883/1554452*e^5 - 802878825/1554452*e^4 - 245400413/777226*e^3 + 797823995/388613*e^2 + 224753696/388613*e - 105607848/388613, -1857951/777226*e^8 - 1138304/388613*e^7 + 77585565/777226*e^6 + 75482095/777226*e^5 - 493155074/388613*e^4 - 599027637/777226*e^3 + 1959373242/388613*e^2 + 566491332/388613*e - 223079676/388613, -139034/388613*e^8 - 167192/388613*e^7 + 5774620/388613*e^6 + 5397020/388613*e^5 - 72864630/388613*e^4 - 39307245/388613*e^3 + 287307565/388613*e^2 + 54745356/388613*e - 28830362/388613, 419679/777226*e^8 + 514877/777226*e^7 - 8793027/388613*e^6 - 17290569/777226*e^5 + 224722315/777226*e^4 + 70563750/388613*e^3 - 449272586/388613*e^2 - 139805919/388613*e + 49681592/388613, 9019493/1554452*e^8 + 11114733/1554452*e^7 - 188115675/777226*e^6 - 367204503/1554452*e^5 + 4776270615/1554452*e^4 + 720756708/388613*e^3 - 4740539271/388613*e^2 - 1317306393/388613*e + 550859306/388613, 1810679/1554452*e^8 + 2261683/1554452*e^7 - 18838315/388613*e^6 - 74767085/1554452*e^5 + 953911225/1554452*e^4 + 294656019/777226*e^3 - 945960564/388613*e^2 - 274467129/388613*e + 124246634/388613, -7706863/1554452*e^8 - 9463287/1554452*e^7 + 80407422/388613*e^6 + 312592217/1554452*e^5 - 4086111373/1554452*e^4 - 1226768523/777226*e^3 + 4059216642/388613*e^2 + 1122219259/388613*e - 467861304/388613, 1624333/777226*e^8 + 2039699/777226*e^7 - 33831509/388613*e^6 - 67665325/777226*e^5 + 857199601/777226*e^4 + 269039789/388613*e^3 - 1696843176/388613*e^2 - 512826666/388613*e + 191680978/388613, -260910/388613*e^8 - 351837/388613*e^7 + 10812374/388613*e^6 + 11586285/388613*e^5 - 136109758/388613*e^4 - 90440649/388613*e^3 + 538029301/388613*e^2 + 160691904/388613*e - 73110314/388613, -609472/388613*e^8 - 742890/388613*e^7 + 25354209/388613*e^6 + 24284605/388613*e^5 - 320611348/388613*e^4 - 184736434/388613*e^3 + 1266890586/388613*e^2 + 304948242/388613*e - 145415488/388613, -2664148/388613*e^8 - 3278012/388613*e^7 + 111126395/388613*e^6 + 216525515/777226*e^5 - 1410664614/388613*e^4 - 849044813/388613*e^3 + 11199085843/777226*e^2 + 1543556629/388613*e - 646750860/388613, -582987/777226*e^8 - 361530/388613*e^7 + 24458271/777226*e^6 + 12129150/388613*e^5 - 156475392/388613*e^4 - 198812453/777226*e^3 + 1250843853/777226*e^2 + 204678950/388613*e - 64226616/388613, -2771001/777226*e^8 - 3422063/777226*e^7 + 57738785/388613*e^6 + 112790907/777226*e^5 - 1464014115/777226*e^4 - 439580393/388613*e^3 + 2901511679/388613*e^2 + 782655382/388613*e - 324580406/388613, 811417/777226*e^8 + 478886/388613*e^7 - 16994798/388613*e^6 - 15780383/388613*e^5 + 216972643/388613*e^4 + 123067544/388613*e^3 - 1730275719/777226*e^2 - 222360087/388613*e + 96793788/388613, 722967/777226*e^8 + 459933/388613*e^7 - 30185277/777226*e^6 - 30717187/777226*e^5 + 191936432/388613*e^4 + 248484635/777226*e^3 - 764142272/388613*e^2 - 248025858/388613*e + 84757402/388613, -345919/388613*e^8 - 447986/388613*e^7 + 14355263/388613*e^6 + 14823419/388613*e^5 - 181039195/388613*e^4 - 116720282/388613*e^3 + 715421561/388613*e^2 + 209552766/388613*e - 84408944/388613, 2258613/1554452*e^8 + 2714593/1554452*e^7 - 47246085/777226*e^6 - 89828871/1554452*e^5 + 1204353659/1554452*e^4 + 177206226/388613*e^3 - 1199106538/388613*e^2 - 332539791/388613*e + 132948508/388613, -648119/1554452*e^8 - 856709/1554452*e^7 + 13276221/777226*e^6 + 27755065/1554452*e^5 - 327742855/1554452*e^4 - 51233918/388613*e^3 + 313077620/388613*e^2 + 75697693/388613*e - 21960620/388613, 8235797/1554452*e^8 + 10203981/1554452*e^7 - 85854316/388613*e^6 - 337495337/1554452*e^5 + 4357643803/1554452*e^4 + 1329263545/777226*e^3 - 8646663401/777226*e^2 - 1225203834/388613*e + 497875574/388613, 281669/1554452*e^8 + 435609/1554452*e^7 - 2830291/388613*e^6 - 13913857/1554452*e^5 + 136095179/1554452*e^4 + 49619763/777226*e^3 - 255120201/777226*e^2 - 31313817/388613*e + 15466810/388613, -364058/388613*e^8 - 446454/388613*e^7 + 15204607/388613*e^6 + 14890369/388613*e^5 - 193425942/388613*e^4 - 119912765/388613*e^3 + 770197615/388613*e^2 + 234707656/388613*e - 92699256/388613, -2005731/777226*e^8 - 2475219/777226*e^7 + 41868733/388613*e^6 + 81797671/777226*e^5 - 1064528103/777226*e^4 - 321581270/388613*e^3 + 2116912193/388613*e^2 + 589310302/388613*e - 242585380/388613, -4547313/777226*e^8 - 5560953/777226*e^7 + 94972730/388613*e^6 + 183897293/777226*e^5 - 2416361627/777226*e^4 - 723824284/388613*e^3 + 4807094082/388613*e^2 + 1332638232/388613*e - 555955528/388613, -1498574/388613*e^8 - 1841949/388613*e^7 + 62540540/388613*e^6 + 60899665/388613*e^5 - 794453941/388613*e^4 - 479345262/388613*e^3 + 3154445242/388613*e^2 + 882993422/388613*e - 353269424/388613, -5652909/1554452*e^8 - 6889969/1554452*e^7 + 118092153/777226*e^6 + 227825267/1554452*e^5 - 3005165847/1554452*e^4 - 448281668/388613*e^3 + 2988415584/388613*e^2 + 825339909/388613*e - 343065628/388613, -1283311/388613*e^8 - 1585622/388613*e^7 + 53467146/388613*e^6 + 52276579/388613*e^5 - 677483781/388613*e^4 - 408339490/388613*e^3 + 2682904032/388613*e^2 + 738183144/388613*e - 304567046/388613, 2111569/777226*e^8 + 1313877/388613*e^7 - 88109329/777226*e^6 - 86957033/777226*e^5 + 559625582/388613*e^4 + 686382621/777226*e^3 - 2224628635/388613*e^2 - 638486972/388613*e + 259562432/388613, -574931/777226*e^8 - 349637/388613*e^7 + 23961637/777226*e^6 + 22730695/777226*e^5 - 151786017/388613*e^4 - 170699817/777226*e^3 + 599748745/388613*e^2 + 135938837/388613*e - 65266210/388613, 1030385/777226*e^8 + 1263533/777226*e^7 - 21510966/388613*e^6 - 41990837/777226*e^5 + 546948763/777226*e^4 + 167247538/388613*e^3 - 1087050292/388613*e^2 - 318182575/388613*e + 120327742/388613, -1938973/1554452*e^8 - 2411443/1554452*e^7 + 20214178/388613*e^6 + 79844279/1554452*e^5 - 1026848881/1554452*e^4 - 315929171/777226*e^3 + 1023277982/388613*e^2 + 296974123/388613*e - 134527504/388613, -554831/388613*e^8 - 679676/388613*e^7 + 23180595/388613*e^6 + 22427397/388613*e^5 - 294890010/388613*e^4 - 175298474/388613*e^3 + 1172564259/388613*e^2 + 313524470/388613*e - 140777824/388613, 2274511/388613*e^8 + 2801475/388613*e^7 - 94906306/388613*e^6 - 92446688/388613*e^5 + 1205306323/388613*e^4 + 723383252/388613*e^3 - 4785550818/388613*e^2 - 1304685920/388613*e + 541941446/388613, 2051646/388613*e^8 + 5053895/777226*e^7 - 85569764/388613*e^6 - 166850989/777226*e^5 + 2172121467/777226*e^4 + 653541006/388613*e^3 - 8620001779/777226*e^2 - 1181599409/388613*e + 494975324/388613, -4879523/777226*e^8 - 6053845/777226*e^7 + 101725530/388613*e^6 + 200037639/777226*e^5 - 2581343149/777226*e^4 - 785778850/388613*e^3 + 5122107376/388613*e^2 + 1437968874/388613*e - 596532586/388613, -265153/777226*e^8 - 167566/388613*e^7 + 11155855/777226*e^6 + 11354925/777226*e^5 - 71485975/388613*e^4 - 96165777/777226*e^3 + 283406136/388613*e^2 + 108295570/388613*e - 22640312/388613, 7714477/1554452*e^8 + 9415725/1554452*e^7 - 80575757/388613*e^6 - 311538485/1554452*e^5 + 4100743963/1554452*e^4 + 1228150377/777226*e^3 - 8157094267/777226*e^2 - 1138296007/388613*e + 468835622/388613, -1438855/388613*e^8 - 1789019/388613*e^7 + 59979205/388613*e^6 + 59112539/388613*e^5 - 760706993/388613*e^4 - 464301387/388613*e^3 + 3017563856/388613*e^2 + 848026086/388613*e - 347167260/388613, 4723587/1554452*e^8 + 5926087/1554452*e^7 - 49155675/388613*e^6 - 195160715/1554452*e^5 + 2488894889/1554452*e^4 + 758745757/777226*e^3 - 4929708407/777226*e^2 - 667716543/388613*e + 290250488/388613, -5641879/1554452*e^8 - 6874961/1554452*e^7 + 58896488/388613*e^6 + 226742013/1554452*e^5 - 2994861187/1554452*e^4 - 886092571/777226*e^3 + 2974551981/388613*e^2 + 799299458/388613*e - 340147914/388613, -481143/1554452*e^8 - 606823/1554452*e^7 + 10039639/777226*e^6 + 20187309/1554452*e^5 - 255399513/1554452*e^4 - 40116148/388613*e^3 + 255027661/388613*e^2 + 72162749/388613*e - 38351736/388613, 2027281/777226*e^8 + 2482697/777226*e^7 - 42299993/388613*e^6 - 82031979/777226*e^5 + 1074578867/777226*e^4 + 322218690/388613*e^3 - 2133499736/388613*e^2 - 589497205/388613*e + 251904892/388613, -3472489/1554452*e^8 - 4317777/1554452*e^7 + 36256289/388613*e^6 + 143184645/1554452*e^5 - 1844448015/1554452*e^4 - 568682703/777226*e^3 + 3670179537/777226*e^2 + 537146396/388613*e - 210608984/388613, 1954431/1554452*e^8 + 2448401/1554452*e^7 - 20314211/388613*e^6 - 80513165/1554452*e^5 + 1026662579/1554452*e^4 + 311832683/777226*e^3 - 1014182731/388613*e^2 - 273063482/388613*e + 116966106/388613, 2385535/388613*e^8 + 2934783/388613*e^7 - 99471488/388613*e^6 - 96710722/388613*e^5 + 1262102619/388613*e^4 + 753925760/388613*e^3 - 5007157799/388613*e^2 - 1349977922/388613*e + 575987660/388613, -1945282/388613*e^8 - 2374789/388613*e^7 + 81223554/388613*e^6 + 78464025/388613*e^5 - 1032477345/388613*e^4 - 616161922/388613*e^3 + 4102832451/388613*e^2 + 1126014346/388613*e - 471087640/388613, -2642621/1554452*e^8 - 3128297/1554452*e^7 + 27600597/388613*e^6 + 103059809/1554452*e^5 - 1404041955/1554452*e^4 - 400542829/777226*e^3 + 2786787221/777226*e^2 + 356930804/388613*e - 155387846/388613, 565939/777226*e^8 + 376497/388613*e^7 - 23336293/777226*e^6 - 24857705/777226*e^5 + 145687357/388613*e^4 + 195341341/777226*e^3 - 568444170/388613*e^2 - 180758761/388613*e + 64221492/388613, 454239/388613*e^8 + 1135429/777226*e^7 - 37831279/777226*e^6 - 18634528/388613*e^5 + 479032457/777226*e^4 + 287012079/777226*e^3 - 948448050/388613*e^2 - 246009404/388613*e + 112543916/388613, 138997/1554452*e^8 + 159461/1554452*e^7 - 2902619/777226*e^6 - 5355899/1554452*e^5 + 73770415/1554452*e^4 + 11122888/388613*e^3 - 73116732/388613*e^2 - 24373009/388613*e + 8823812/388613, -6567603/1554452*e^8 - 8158367/1554452*e^7 + 136961865/777226*e^6 + 269670973/1554452*e^5 - 3476979073/1554452*e^4 - 530118165/388613*e^3 + 3451522640/388613*e^2 + 967029535/388613*e - 406836508/388613, -43759/777226*e^8 - 39565/388613*e^7 + 1841401/777226*e^6 + 2881503/777226*e^5 - 11725964/388613*e^4 - 29548669/777226*e^3 + 45452547/388613*e^2 + 50112446/388613*e - 652604/388613, -1245011/388613*e^8 - 2994087/777226*e^7 + 104037053/777226*e^6 + 49328307/388613*e^5 - 1323893511/777226*e^4 - 767906059/777226*e^3 + 2633437626/388613*e^2 + 680543258/388613*e - 305606098/388613, 3798375/777226*e^8 + 4686643/777226*e^7 - 79214200/388613*e^6 - 77203874/388613*e^5 + 2010942753/777226*e^4 + 601152941/388613*e^3 - 7982449999/777226*e^2 - 1064645425/388613*e + 460307606/388613, 5477157/1554452*e^8 + 6675917/1554452*e^7 - 114348497/777226*e^6 - 219956803/1554452*e^5 + 2907165983/1554452*e^4 + 428741953/388613*e^3 - 2887779064/388613*e^2 - 770652631/388613*e + 328713602/388613, -1477782/388613*e^8 - 1793294/388613*e^7 + 61680948/388613*e^6 + 59018558/388613*e^5 - 783754532/388613*e^4 - 458386346/388613*e^3 + 3113965546/388613*e^2 + 814071044/388613*e - 360678686/388613, 3325941/777226*e^8 + 2051754/388613*e^7 - 138757021/777226*e^6 - 135486487/777226*e^5 + 880901175/388613*e^4 + 1061179967/777226*e^3 - 3497440221/388613*e^2 - 956181596/388613*e + 403585490/388613, -2379963/388613*e^8 - 5799229/777226*e^7 + 198722541/777226*e^6 + 95633109/388613*e^5 - 2525818529/777226*e^4 - 1494680375/777226*e^3 + 5017911179/388613*e^2 + 1350631699/388613*e - 574482014/388613, 808082/388613*e^8 + 985648/388613*e^7 - 33724474/388613*e^6 - 32496669/388613*e^5 + 428465506/388613*e^4 + 253494563/388613*e^3 - 1703289530/388613*e^2 - 450355731/388613*e + 204409656/388613, -5196451/777226*e^8 - 3226013/388613*e^7 + 216484407/777226*e^6 + 212868877/777226*e^5 - 1371579076/388613*e^4 - 1665271829/777226*e^3 + 5433986622/388613*e^2 + 1505669734/388613*e - 630640872/388613, 1510445/777226*e^8 + 963825/388613*e^7 - 62999617/777226*e^6 - 64041415/777226*e^5 + 399783915/388613*e^4 + 511846521/777226*e^3 - 1586882410/388613*e^2 - 493071487/388613*e + 176374676/388613, 4596821/1554452*e^8 + 5822517/1554452*e^7 - 47883824/388613*e^6 - 192916037/1554452*e^5 + 2427600023/1554452*e^4 + 762888189/777226*e^3 - 4811129159/777226*e^2 - 704433511/388613*e + 277691784/388613, -1326735/1554452*e^8 - 1573749/1554452*e^7 + 27693103/777226*e^6 + 51823909/1554452*e^5 - 704210803/1554452*e^4 - 100862373/388613*e^3 + 700637888/388613*e^2 + 185532563/388613*e - 88706724/388613, 810659/1554452*e^8 + 998949/1554452*e^7 - 8496667/388613*e^6 - 33207565/1554452*e^5 + 434593931/1554452*e^4 + 133298195/777226*e^3 - 433909316/388613*e^2 - 130454558/388613*e + 37027160/388613, 1194635/388613*e^8 + 1458482/388613*e^7 - 49839342/388613*e^6 - 47978397/388613*e^5 + 632807452/388613*e^4 + 371701300/388613*e^3 - 2511849136/388613*e^2 - 648653647/388613*e + 286057632/388613, 4399989/1554452*e^8 + 5195045/1554452*e^7 - 46056237/388613*e^6 - 170988441/1554452*e^5 + 2350706883/1554452*e^4 + 663870815/777226*e^3 - 4687607609/777226*e^2 - 589467412/388613*e + 269669286/388613, 5735999/1554452*e^8 + 7026279/1554452*e^7 - 59822026/388613*e^6 - 231670963/1554452*e^5 + 3037689433/1554452*e^4 + 904538249/777226*e^3 - 6026993271/777226*e^2 - 814260129/388613*e + 356425084/388613, -94259/388613*e^8 - 85834/388613*e^7 + 4049262/388613*e^6 + 3024833/388613*e^5 - 53594052/388613*e^4 - 27393077/388613*e^3 + 222437165/388613*e^2 + 68867625/388613*e - 31137860/388613, 91575/777226*e^8 + 46094/388613*e^7 - 3886115/777226*e^6 - 3066773/777226*e^5 + 25305106/388613*e^4 + 24935441/777226*e^3 - 103376629/388613*e^2 - 27353809/388613*e + 20287282/388613, -592712/388613*e^8 - 748976/388613*e^7 + 24750127/388613*e^6 + 25015032/388613*e^5 - 314639931/388613*e^4 - 202459694/388613*e^3 + 1249577986/388613*e^2 + 400543408/388613*e - 136823102/388613, -2203145/777226*e^8 - 1365327/388613*e^7 + 91900089/777226*e^6 + 90340009/777226*e^5 - 583138180/388613*e^4 - 712228251/777226*e^3 + 2311734582/388613*e^2 + 659013806/388613*e - 260783332/388613, -1674911/1554452*e^8 - 2104713/1554452*e^7 + 17454209/388613*e^6 + 69155709/1554452*e^5 - 885180159/1554452*e^4 - 267318355/777226*e^3 + 877952673/388613*e^2 + 229382706/388613*e - 112841748/388613, 1987354/388613*e^8 + 4906559/777226*e^7 - 165697503/777226*e^6 - 161787593/777226*e^5 + 2101241741/777226*e^4 + 1262894673/777226*e^3 - 8323862417/777226*e^2 - 1131761580/388613*e + 463597436/388613, 1923729/777226*e^8 + 2335175/777226*e^7 - 40129243/388613*e^6 - 76892495/777226*e^5 + 1019191561/777226*e^4 + 299277530/388613*e^3 - 2022822794/388613*e^2 - 537056248/388613*e + 223577052/388613, -305843/388613*e^8 - 753865/777226*e^7 + 25643711/777226*e^6 + 12621630/388613*e^5 - 327801483/777226*e^4 - 205144351/777226*e^3 + 655954160/388613*e^2 + 203562409/388613*e - 83317672/388613, -5949569/1554452*e^8 - 7412001/1554452*e^7 + 61936473/388613*e^6 + 244745827/1554452*e^5 - 3137634875/1554452*e^4 - 959422069/777226*e^3 + 3107586912/388613*e^2 + 872195441/388613*e - 367835006/388613, 6371399/1554452*e^8 + 8040223/1554452*e^7 - 66255598/388613*e^6 - 265225203/1554452*e^5 + 3351354369/1554452*e^4 + 1036778669/777226*e^3 - 6628555199/777226*e^2 - 928539355/388613*e + 381065742/388613, 2279886/388613*e^8 + 2863751/388613*e^7 - 94953728/388613*e^6 - 94576229/388613*e^5 + 1202889250/388613*e^4 + 741664881/388613*e^3 - 4766725225/388613*e^2 - 1343131020/388613*e + 548375666/388613, 4055975/1554452*e^8 + 4945543/1554452*e^7 - 42328017/388613*e^6 - 162399395/1554452*e^5 + 2150655033/1554452*e^4 + 627038115/777226*e^3 - 4264150595/777226*e^2 - 542876057/388613*e + 237231134/388613, -2430239/1554452*e^8 - 3032815/1554452*e^7 + 50680315/777226*e^6 + 100337889/1554452*e^5 - 1287197013/1554452*e^4 - 197746528/388613*e^3 + 1279504273/388613*e^2 + 365401820/388613*e - 148170418/388613, 1026443/388613*e^8 + 2402679/777226*e^7 - 85856529/777226*e^6 - 39468824/388613*e^5 + 1093951567/777226*e^4 + 609729945/777226*e^3 - 2178778432/388613*e^2 - 535518944/388613*e + 256938388/388613, 518878/388613*e^8 + 666623/388613*e^7 - 21580572/388613*e^6 - 22077027/388613*e^5 + 272768381/388613*e^4 + 174431022/388613*e^3 - 1077550327/388613*e^2 - 319601672/388613*e + 115367984/388613, -5622659/1554452*e^8 - 6955211/1554452*e^7 + 117416459/777226*e^6 + 230336577/1554452*e^5 - 2986125417/1554452*e^4 - 455668765/388613*e^3 + 2968038739/388613*e^2 + 853345303/388613*e - 343267242/388613, 752354/388613*e^8 + 936880/388613*e^7 - 31442074/388613*e^6 - 31237918/388613*e^5 + 400313718/388613*e^4 + 251473505/388613*e^3 - 1595103317/388613*e^2 - 491511405/388613*e + 181970456/388613, 5248305/1554452*e^8 + 6584097/1554452*e^7 - 109300557/777226*e^6 - 217562899/1554452*e^5 + 2768690239/1554452*e^4 + 427852083/388613*e^3 - 2739853315/388613*e^2 - 787169548/388613*e + 309405938/388613, -5998169/1554452*e^8 - 7273781/1554452*e^7 + 62605802/388613*e^6 + 239458573/1554452*e^5 - 3183243255/1554452*e^4 - 929959899/777226*e^3 + 6326733537/777226*e^2 + 816912078/388613*e - 363834362/388613, -8734021/1554452*e^8 - 10745753/1554452*e^7 + 91048024/388613*e^6 + 354693711/1554452*e^5 - 4620850755/1554452*e^4 - 1389525587/777226*e^3 + 4583305330/388613*e^2 + 1269352221/388613*e - 529804678/388613, 10130165/1554452*e^8 + 12412041/1554452*e^7 - 211330007/777226*e^6 - 409652763/1554452*e^5 + 5367057635/1554452*e^4 + 802146270/388613*e^3 - 5327543182/388613*e^2 - 1461007947/388613*e + 622555448/388613, -1728009/1554452*e^8 - 1961057/1554452*e^7 + 36308057/777226*e^6 + 64603195/1554452*e^5 - 931271619/1554452*e^4 - 125435402/388613*e^3 + 932185872/388613*e^2 + 221354371/388613*e - 98002468/388613, 2566211/1554452*e^8 + 3043355/1554452*e^7 - 53826255/777226*e^6 - 100504337/1554452*e^5 + 1377716809/1554452*e^4 + 197211371/388613*e^3 - 1378757763/388613*e^2 - 361564051/388613*e + 159423792/388613, 1277909/1554452*e^8 + 1622735/1554452*e^7 - 26637009/777226*e^6 - 53267947/1554452*e^5 + 676822745/1554452*e^4 + 102834773/388613*e^3 - 676200341/388613*e^2 - 178300603/388613*e + 91960836/388613, -1388239/388613*e^8 - 1705562/388613*e^7 + 57951360/388613*e^6 + 112586597/777226*e^5 - 736440010/388613*e^4 - 440540720/388613*e^3 + 5849797867/777226*e^2 + 792982879/388613*e - 328423230/388613, 2613231/1554452*e^8 + 3079147/1554452*e^7 - 27357914/388613*e^6 - 101590469/1554452*e^5 + 1396801697/1554452*e^4 + 397100191/777226*e^3 - 1393225527/388613*e^2 - 360436931/388613*e + 155225048/388613, -3186503/777226*e^8 - 3883411/777226*e^7 + 66516567/388613*e^6 + 128254067/777226*e^5 - 1690477985/777226*e^4 - 503119872/388613*e^3 + 3355113217/388613*e^2 + 919593645/388613*e - 376077522/388613, -4623731/1554452*e^8 - 5731591/1554452*e^7 + 48177431/388613*e^6 + 189759615/1554452*e^5 - 2443541233/1554452*e^4 - 750684099/777226*e^3 + 4843769323/777226*e^2 + 708214439/388613*e - 281616698/388613, -81329/388613*e^8 - 240417/777226*e^7 + 6674887/777226*e^6 + 3894642/388613*e^5 - 82924739/777226*e^4 - 57531089/777226*e^3 + 161416858/388613*e^2 + 39186476/388613*e - 4720816/388613, -856733/777226*e^8 - 1005127/777226*e^7 + 17906714/388613*e^6 + 32843217/777226*e^5 - 455621369/777226*e^4 - 125158287/388613*e^3 + 904019275/388613*e^2 + 214700510/388613*e - 99568366/388613, 289063/777226*e^8 + 363085/777226*e^7 - 5993751/388613*e^6 - 11691353/777226*e^5 + 150546899/777226*e^4 + 42982108/388613*e^3 - 292651042/388613*e^2 - 63248732/388613*e + 15698602/388613, 1469587/388613*e^8 + 1834992/388613*e^7 - 61225817/388613*e^6 - 60560909/388613*e^5 + 776045592/388613*e^4 + 473969933/388613*e^3 - 3079901044/388613*e^2 - 852157052/388613*e + 369525784/388613, -242009/777226*e^8 - 175849/388613*e^7 + 9952909/777226*e^6 + 5950661/388613*e^5 - 61972213/388613*e^4 - 99016743/777226*e^3 + 483931537/777226*e^2 + 102536396/388613*e - 24146594/388613, 6892049/1554452*e^8 + 8646473/1554452*e^7 - 71767293/388613*e^6 - 286068161/1554452*e^5 + 3637343951/1554452*e^4 + 1127935789/777226*e^3 - 7209044839/777226*e^2 - 1040756147/388613*e + 420204334/388613, -2746977/777226*e^8 - 3338781/777226*e^7 + 114635229/777226*e^6 + 55108334/388613*e^5 - 1455921501/777226*e^4 - 863323401/777226*e^3 + 5777942923/777226*e^2 + 786003940/388613*e - 330411316/388613, 2068277/777226*e^8 + 2499159/777226*e^7 - 43213819/388613*e^6 - 82514939/777226*e^5 + 1100016311/777226*e^4 + 323517134/388613*e^3 - 2189810134/388613*e^2 - 589912705/388613*e + 268137202/388613, 7437797/1554452*e^8 + 9182303/1554452*e^7 - 77632367/388613*e^6 - 303610423/1554452*e^5 + 3947818313/1554452*e^4 + 1195235981/777226*e^3 - 3925252659/388613*e^2 - 1100868437/388613*e + 450349240/388613, 810551/777226*e^8 + 503946/388613*e^7 - 33792457/777226*e^6 - 33255585/777226*e^5 + 214443958/388613*e^4 + 260397259/777226*e^3 - 852588395/388613*e^2 - 235375097/388613*e + 98445908/388613, -871830/388613*e^8 - 1061183/388613*e^7 + 36438771/388613*e^6 + 35169494/388613*e^5 - 464094039/388613*e^4 - 278064363/388613*e^3 + 1852150464/388613*e^2 + 515537998/388613*e - 228076960/388613, 559129/388613*e^8 + 1338423/777226*e^7 - 23331520/388613*e^6 - 43810621/777226*e^5 + 592713675/777226*e^4 + 167351465/388613*e^3 - 2354470751/777226*e^2 - 287259429/388613*e + 139804772/388613, 2779917/1554452*e^8 + 3331457/1554452*e^7 - 29088715/388613*e^6 - 110726475/1554452*e^5 + 1484415811/1554452*e^4 + 440860461/777226*e^3 - 1480789441/388613*e^2 - 417714533/388613*e + 173841610/388613, -1806765/1554452*e^8 - 2305119/1554452*e^7 + 37752125/777226*e^6 + 77601239/1554452*e^5 - 961397905/1554452*e^4 - 160233298/388613*e^3 + 957560247/388613*e^2 + 330691149/388613*e - 104659750/388613, 506241/1554452*e^8 + 536403/1554452*e^7 - 10746397/777226*e^6 - 17663839/1554452*e^5 + 279884293/1554452*e^4 + 34405492/388613*e^3 - 286873226/388613*e^2 - 61251225/388613*e + 54229282/388613, 1944921/777226*e^8 + 2393887/777226*e^7 - 40530076/388613*e^6 - 78955577/777226*e^5 + 1027923475/777226*e^4 + 308758065/388613*e^3 - 2038228397/388613*e^2 - 559463985/388613*e + 232285362/388613, -291366/388613*e^8 - 711791/777226*e^7 + 24291177/777226*e^6 + 23680813/777226*e^5 - 308060119/777226*e^4 - 189389507/777226*e^3 + 1222469535/777226*e^2 + 183974846/388613*e - 70823204/388613, -9167311/1554452*e^8 - 11331787/1554452*e^7 + 191128639/777226*e^6 + 374654629/1554452*e^5 - 4849997769/1554452*e^4 - 737231172/388613*e^3 + 4809203492/388613*e^2 + 1361443587/388613*e - 555874860/388613, 2879085/777226*e^8 + 1769872/388613*e^7 - 120196479/777226*e^6 - 116980417/777226*e^5 + 763701043/388613*e^4 + 920229303/777226*e^3 - 3032982423/388613*e^2 - 850214154/388613*e + 340507182/388613, -9256283/1554452*e^8 - 11520775/1554452*e^7 + 192820069/777226*e^6 + 380059005/1554452*e^5 - 4887039205/1554452*e^4 - 742822833/388613*e^3 + 4839705425/388613*e^2 + 1333987844/388613*e - 543880618/388613, -464091/388613*e^8 - 593909/388613*e^7 + 19338720/388613*e^6 + 39432417/777226*e^5 - 245054603/388613*e^4 - 156461628/388613*e^3 + 1937792463/777226*e^2 + 289597223/388613*e - 90636150/388613, 4564095/1554452*e^8 + 5790531/1554452*e^7 - 47501546/388613*e^6 - 191289171/1554452*e^5 + 2406029385/1554452*e^4 + 751400417/777226*e^3 - 4770628843/777226*e^2 - 683324580/388613*e + 285492954/388613, -9067529/1554452*e^8 - 11152753/1554452*e^7 + 189141533/777226*e^6 + 367781319/1554452*e^5 - 4802832543/1554452*e^4 - 718366880/388613*e^3 + 4766568866/388613*e^2 + 1294296057/388613*e - 552169500/388613, 1059909/1554452*e^8 + 1193639/1554452*e^7 - 11106984/388613*e^6 - 39197819/1554452*e^5 + 568112613/1554452*e^4 + 150841335/777226*e^3 - 568682539/388613*e^2 - 130121185/388613*e + 68799492/388613, -2626035/388613*e^8 - 6499025/777226*e^7 + 109528282/388613*e^6 + 214636671/777226*e^5 - 2780070105/777226*e^4 - 842333093/388613*e^3 + 11028760037/777226*e^2 + 1540998549/388613*e - 633244300/388613, -1039745/777226*e^8 - 1265699/777226*e^7 + 21765903/388613*e^6 + 41974309/777226*e^5 - 555703813/777226*e^4 - 166179126/388613*e^3 + 1110720735/388613*e^2 + 307616840/388613*e - 133398602/388613, -1552292/388613*e^8 - 3855237/777226*e^7 + 129411949/777226*e^6 + 63527093/388613*e^5 - 1641376543/777226*e^4 - 991321617/777226*e^3 + 3256712644/388613*e^2 + 886340457/388613*e - 383417308/388613, -4080003/777226*e^8 - 5071673/777226*e^7 + 85080801/388613*e^6 + 167404285/777226*e^5 - 2159952103/777226*e^4 - 655624916/388613*e^3 + 4288359152/388613*e^2 + 1187224076/388613*e - 486410176/388613, -2861861/777226*e^8 - 3627431/777226*e^7 + 59573311/388613*e^6 + 119831431/777226*e^5 - 1508401611/777226*e^4 - 470578051/388613*e^3 + 2985476520/388613*e^2 + 856950596/388613*e - 333905614/388613, 433465/1554452*e^8 + 517569/1554452*e^7 - 4522104/388613*e^6 - 17004493/1554452*e^5 + 228601983/1554452*e^4 + 65287673/777226*e^3 - 443244939/777226*e^2 - 55693919/388613*e + 17527880/388613, -584568/388613*e^8 - 1508133/777226*e^7 + 48579107/777226*e^6 + 50003689/777226*e^5 - 613097957/777226*e^4 - 397186033/777226*e^3 + 2419293083/777226*e^2 + 373385478/388613*e - 150182044/388613, 1966161/1554452*e^8 + 2189549/1554452*e^7 - 20681340/388613*e^6 - 72102397/1554452*e^5 + 1062767251/1554452*e^4 + 280625347/777226*e^3 - 2129532929/777226*e^2 - 256885203/388613*e + 117580878/388613, -1617539/777226*e^8 - 966501/388613*e^7 + 67687017/777226*e^6 + 63748677/777226*e^5 - 431459556/388613*e^4 - 497838429/777226*e^3 + 1717542258/388613*e^2 + 448269056/388613*e - 181427832/388613, 2057185/1554452*e^8 + 2597233/1554452*e^7 - 42761743/777226*e^6 - 85143879/1554452*e^5 + 1080369295/1554452*e^4 + 163011744/388613*e^3 - 1067800090/388613*e^2 - 265843444/388613*e + 125687774/388613, 4132081/1554452*e^8 + 4882941/1554452*e^7 - 86534865/777226*e^6 - 160541823/1554452*e^5 + 2209797683/1554452*e^4 + 310360043/388613*e^3 - 2205402240/388613*e^2 - 540677978/388613*e + 257880730/388613, 3749759/1554452*e^8 + 4653471/1554452*e^7 - 78249769/777226*e^6 - 154247141/1554452*e^5 + 1988496685/1554452*e^4 + 305254685/388613*e^3 - 1976633826/388613*e^2 - 564304969/388613*e + 242510080/388613, 2435100/388613*e^8 + 3029705/388613*e^7 - 101455284/388613*e^6 - 100047644/388613*e^5 + 1285841157/388613*e^4 + 784060802/388613*e^3 - 5096440171/388613*e^2 - 1418223170/388613*e + 578286218/388613, 351299/388613*e^8 + 739031/777226*e^7 - 29794885/777226*e^6 - 24243721/777226*e^5 + 387069681/777226*e^4 + 186227205/777226*e^3 - 1571809357/777226*e^2 - 158743014/388613*e + 87490810/388613, -1215427/388613*e^8 - 1507137/388613*e^7 + 50698934/388613*e^6 + 49859504/388613*e^5 - 643506861/388613*e^4 - 393437442/388613*e^3 + 2551940219/388613*e^2 + 731954706/388613*e - 288752308/388613, -893766/388613*e^8 - 2246113/777226*e^7 + 74436379/777226*e^6 + 36988130/388613*e^5 - 942529845/777226*e^4 - 576996821/777226*e^3 + 1865289169/388613*e^2 + 517022449/388613*e - 212377124/388613, 3335137/388613*e^8 + 8195329/777226*e^7 - 278332577/777226*e^6 - 135298196/388613*e^5 + 3535227915/777226*e^4 + 2121496595/777226*e^3 - 7020420367/388613*e^2 - 1932484394/388613*e + 806322690/388613, -1997743/1554452*e^8 - 2402623/1554452*e^7 + 41875863/777226*e^6 + 79620929/1554452*e^5 - 1070961749/1554452*e^4 - 157188686/388613*e^3 + 1072324067/388613*e^2 + 289898800/388613*e - 143135698/388613, 5426433/777226*e^8 + 6601403/777226*e^7 - 113237469/388613*e^6 - 108884251/388613*e^5 + 2877192985/777226*e^4 + 851442106/388613*e^3 - 11427019327/777226*e^2 - 1547124509/388613*e + 654181966/388613, -2455474/388613*e^8 - 6139587/777226*e^7 + 204680867/777226*e^6 + 101495704/388613*e^5 - 2595114117/777226*e^4 - 1597978683/777226*e^3 + 5143195601/388613*e^2 + 1468284093/388613*e - 587343246/388613, 6630947/777226*e^8 + 8180997/777226*e^7 - 138344380/388613*e^6 - 270119785/777226*e^5 + 3514147871/777226*e^4 + 1058875546/388613*e^3 - 6978608219/388613*e^2 - 1924208519/388613*e + 809693590/388613, 714111/388613*e^8 + 875966/388613*e^7 - 29804495/388613*e^6 - 28825632/388613*e^5 + 378817717/388613*e^4 + 223201852/388613*e^3 - 1507544938/388613*e^2 - 386577422/388613*e + 180234178/388613, 6485467/1554452*e^8 + 8137367/1554452*e^7 - 135004739/777226*e^6 - 268250929/1554452*e^5 + 3418496165/1554452*e^4 + 523255827/388613*e^3 - 3382597535/388613*e^2 - 935083137/388613*e + 372149162/388613, 1585981/777226*e^8 + 988508/388613*e^7 - 65926583/777226*e^6 - 64596243/777226*e^5 + 416208381/388613*e^4 + 491040215/777226*e^3 - 1641085896/388613*e^2 - 403374250/388613*e + 185694184/388613, 4362939/1554452*e^8 + 5477931/1554452*e^7 - 45381656/388613*e^6 - 180898727/1554452*e^5 + 2295552141/1554452*e^4 + 710005381/777226*e^3 - 4537449875/777226*e^2 - 651142647/388613*e + 270257944/388613, 4920619/777226*e^8 + 2987834/388613*e^7 - 205458537/777226*e^6 - 197165729/777226*e^5 + 1305816074/388613*e^4 + 1541983167/777226*e^3 - 5187021691/388613*e^2 - 1392623581/388613*e + 588568068/388613, -2925379/777226*e^8 - 1785442/388613*e^7 + 122030241/777226*e^6 + 117784841/777226*e^5 - 774693810/388613*e^4 - 919988505/777226*e^3 + 3076531016/388613*e^2 + 823879556/388613*e - 363774232/388613, -843825/388613*e^8 - 1080859/388613*e^7 + 35141171/388613*e^6 + 71623659/777226*e^5 - 445256532/388613*e^4 - 283565896/388613*e^3 + 3533893901/777226*e^2 + 525252819/388613*e - 213618712/388613, -10972283/1554452*e^8 - 13472327/1554452*e^7 + 114532984/388613*e^6 + 445683835/1554452*e^5 - 5823717345/1554452*e^4 - 1755976195/777226*e^3 + 11574486759/777226*e^2 + 1619386749/388613*e - 669729980/388613, 5700949/777226*e^8 + 6970837/777226*e^7 - 118927301/388613*e^6 - 115027754/388613*e^5 + 3020496615/777226*e^4 + 900599092/388613*e^3 - 11993290857/777226*e^2 - 1636809035/388613*e + 680104778/388613, 3144942/388613*e^8 + 7676341/777226*e^7 - 262516313/777226*e^6 - 126712553/388613*e^5 + 3335299219/777226*e^4 + 1985668425/777226*e^3 - 6625398178/388613*e^2 - 1808946789/388613*e + 761967568/388613, -1272057/388613*e^8 - 1502804/388613*e^7 + 53243210/388613*e^6 + 49536967/388613*e^5 - 679006637/388613*e^4 - 386371610/388613*e^3 + 2704057876/388613*e^2 + 698631588/388613*e - 301471072/388613, -1334645/777226*e^8 - 1588035/777226*e^7 + 27907301/388613*e^6 + 52653597/777226*e^5 - 710819887/777226*e^4 - 209183669/388613*e^3 + 1413081499/388613*e^2 + 404776074/388613*e - 155834218/388613, -1621939/777226*e^8 - 2043629/777226*e^7 + 33719222/388613*e^6 + 33652427/388613*e^5 - 852157831/777226*e^4 - 261830761/388613*e^3 + 3364094909/777226*e^2 + 459856507/388613*e - 176903664/388613, 3776743/1554452*e^8 + 4578007/1554452*e^7 - 78806365/777226*e^6 - 151172961/1554452*e^5 + 2002626325/1554452*e^4 + 295977567/388613*e^3 - 1990568533/388613*e^2 - 534665554/388613*e + 242813938/388613, 105475/388613*e^8 + 150209/388613*e^7 - 4399171/388613*e^6 - 5018508/388613*e^5 + 55784771/388613*e^4 + 41588072/388613*e^3 - 221496463/388613*e^2 - 94869471/388613*e + 30643472/388613, -10748/1697*e^8 - 13187/1697*e^7 + 448466/1697*e^6 + 434619/1697*e^5 - 5695946/1697*e^4 - 3387411/1697*e^3 + 22623941/1697*e^2 + 6023256/1697*e - 2590362/1697, 1050159/388613*e^8 + 1288536/388613*e^7 - 43799664/388613*e^6 - 42583015/388613*e^5 + 555786712/388613*e^4 + 333961267/388613*e^3 - 2202715257/388613*e^2 - 602505012/388613*e + 245505794/388613, 11315025/1554452*e^8 + 14086233/1554452*e^7 - 117883667/388613*e^6 - 465546897/1554452*e^5 + 5978068271/1554452*e^4 + 1830268909/777226*e^3 - 11852936087/777226*e^2 - 1680728449/388613*e + 692780320/388613, 9470413/1554452*e^8 + 11687409/1554452*e^7 - 197552473/777226*e^6 - 386004987/1554452*e^5 + 5017262259/1554452*e^4 + 757013297/388613*e^3 - 4981708646/388613*e^2 - 1377967435/388613*e + 569459042/388613, -1026319/388613*e^8 - 1233197/388613*e^7 + 42899588/388613*e^6 + 40675404/388613*e^5 - 546361576/388613*e^4 - 317329229/388613*e^3 + 2178161563/388613*e^2 + 566899556/388613*e - 265307626/388613, -10388281/1554452*e^8 - 12757751/1554452*e^7 + 108326435/388613*e^6 + 421085215/1554452*e^5 - 5499704505/1554452*e^4 - 1649326261/777226*e^3 + 5454349478/388613*e^2 + 1500347526/388613*e - 616745348/388613, 3970933/777226*e^8 + 4884511/777226*e^7 - 82903495/388613*e^6 - 161551791/777226*e^5 + 2107835837/777226*e^4 + 636187028/388613*e^3 - 4189702486/388613*e^2 - 1168473506/388613*e + 481274728/388613]; 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;