/*
  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<x> := PolynomialRing(Rationals());
g := P![-1, 1, 9, 2, -6, -1, 1];
F<w> := NumberField(g);
ZF := Integers(F);

NN := ideal<ZF | {37, 37, -w^2 + 2*w + 2}>;

primesArray := [
[5, 5, w^5 - 2*w^4 - 4*w^3 + 5*w^2 + 5*w],
[11, 11, w^5 - 2*w^4 - 3*w^3 + 4*w^2 + w + 1],
[11, 11, w^2 - w - 2],
[17, 17, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 3*w - 3],
[27, 3, w^5 - w^4 - 5*w^3 + w^2 + 6*w + 1],
[27, 3, w^4 - 2*w^3 - 3*w^2 + 5*w],
[37, 37, -w^2 + 2*w + 2],
[47, 47, -w^5 + 2*w^4 + 3*w^3 - 3*w^2 - 2*w - 1],
[53, 53, -w^5 + 3*w^4 + 2*w^3 - 8*w^2 + 3],
[59, 59, w^4 - 2*w^3 - 2*w^2 + 3*w - 2],
[64, 2, -2],
[67, 67, w^5 - 2*w^4 - 3*w^3 + 4*w^2 + w - 2],
[67, 67, -w^5 + 3*w^4 + w^3 - 7*w^2 + 3*w + 2],
[71, 71, w^4 - w^3 - 4*w^2 + 2*w + 1],
[71, 71, w^4 - w^3 - 5*w^2 + 2*w + 4],
[73, 73, 2*w^5 - 4*w^4 - 7*w^3 + 10*w^2 + 5*w - 3],
[83, 83, w^4 - 2*w^3 - 4*w^2 + 5*w + 2],
[83, 83, w^5 - 3*w^4 - 2*w^3 + 9*w^2 - 3],
[89, 89, -w^5 + w^4 + 6*w^3 - 2*w^2 - 8*w + 1],
[97, 97, 2*w^5 - 4*w^4 - 7*w^3 + 8*w^2 + 7*w],
[103, 103, -w^5 + w^4 + 6*w^3 - 2*w^2 - 9*w + 1],
[107, 107, w^5 - 2*w^4 - 3*w^3 + 3*w^2 + 2*w + 2],
[113, 113, w^5 - w^4 - 5*w^3 + w^2 + 4*w + 2],
[127, 127, 2*w^5 - 3*w^4 - 10*w^3 + 8*w^2 + 12*w],
[127, 127, -2*w^5 + 3*w^4 + 9*w^3 - 6*w^2 - 9*w - 1],
[131, 131, w^4 - 3*w^3 - 2*w^2 + 7*w + 1],
[137, 137, -w^5 + 2*w^4 + 3*w^3 - 4*w^2 - 2*w - 2],
[137, 137, w^2 - 2*w - 3],
[149, 149, -w^4 + 3*w^3 + w^2 - 7*w + 1],
[151, 151, -w^5 + w^4 + 6*w^3 - 3*w^2 - 8*w + 4],
[163, 163, -w^5 + w^4 + 7*w^3 - 5*w^2 - 11*w + 5],
[173, 173, -2*w^5 + 3*w^4 + 9*w^3 - 7*w^2 - 10*w + 1],
[179, 179, w^5 - 2*w^4 - 3*w^3 + 5*w^2 + w - 3],
[191, 191, -w^5 + w^4 + 6*w^3 - 2*w^2 - 7*w - 1],
[193, 193, 2*w^5 - 4*w^4 - 8*w^3 + 10*w^2 + 9*w],
[193, 193, -w^5 + 2*w^4 + 5*w^3 - 6*w^2 - 7*w],
[211, 211, -w^5 + w^4 + 6*w^3 - 2*w^2 - 8*w - 4],
[211, 211, -3*w^5 + 5*w^4 + 13*w^3 - 13*w^2 - 12*w + 3],
[223, 223, 3*w^5 - 4*w^4 - 15*w^3 + 9*w^2 + 17*w - 1],
[227, 227, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 5*w - 3],
[229, 229, 2*w^5 - 4*w^4 - 9*w^3 + 12*w^2 + 11*w - 5],
[229, 229, -w^5 + w^4 + 6*w^3 - 2*w^2 - 10*w],
[233, 233, -w^5 + w^4 + 7*w^3 - 3*w^2 - 12*w + 1],
[239, 239, 2*w^5 - 4*w^4 - 8*w^3 + 11*w^2 + 9*w - 2],
[239, 239, w^5 - 2*w^4 - 4*w^3 + 7*w^2 + 2*w - 6],
[241, 241, -2*w^5 + 3*w^4 + 10*w^3 - 6*w^2 - 14*w - 3],
[251, 251, -2*w^5 + 3*w^4 + 11*w^3 - 8*w^2 - 17*w],
[251, 251, -2*w^5 + 5*w^4 + 5*w^3 - 12*w^2 - 2*w],
[251, 251, -3*w^5 + 6*w^4 + 11*w^3 - 15*w^2 - 10*w + 2],
[257, 257, 2*w^5 - 3*w^4 - 9*w^3 + 8*w^2 + 9*w - 1],
[257, 257, -w^5 + 9*w^3 - 16*w - 3],
[263, 263, -2*w^5 + 3*w^4 + 9*w^3 - 8*w^2 - 11*w + 2],
[269, 269, 2*w^5 - 4*w^4 - 8*w^3 + 10*w^2 + 9*w - 1],
[271, 271, 2*w^5 - 3*w^4 - 10*w^3 + 8*w^2 + 11*w - 2],
[271, 271, 3*w^5 - 6*w^4 - 11*w^3 + 14*w^2 + 11*w],
[277, 277, -w^5 + 3*w^4 + w^3 - 7*w^2 + 4*w + 3],
[293, 293, w^5 - w^4 - 7*w^3 + 3*w^2 + 12*w - 2],
[293, 293, -w^5 + w^4 + 6*w^3 - 2*w^2 - 10*w - 1],
[307, 307, w^5 - 7*w^3 - 2*w^2 + 9*w + 5],
[313, 313, -3*w^5 + 4*w^4 + 15*w^3 - 9*w^2 - 17*w - 1],
[313, 313, -w^3 + 6*w + 1],
[317, 317, w^5 - 2*w^4 - 5*w^3 + 7*w^2 + 8*w - 1],
[317, 317, -3*w^5 + 4*w^4 + 15*w^3 - 9*w^2 - 19*w],
[317, 317, 2*w^4 - 3*w^3 - 8*w^2 + 5*w + 5],
[337, 337, w^5 - 2*w^4 - 5*w^3 + 6*w^2 + 5*w - 3],
[337, 337, 3*w^5 - 5*w^4 - 14*w^3 + 14*w^2 + 17*w - 4],
[347, 347, 2*w^5 - 5*w^4 - 5*w^3 + 13*w^2 + 2*w - 3],
[347, 347, w^5 - 7*w^3 - w^2 + 9*w],
[353, 353, 3*w^5 - 5*w^4 - 13*w^3 + 12*w^2 + 14*w - 2],
[361, 19, -w^5 + w^4 + 7*w^3 - 3*w^2 - 10*w - 1],
[367, 367, 2*w^5 - 4*w^4 - 7*w^3 + 11*w^2 + 3*w - 3],
[389, 389, -2*w^5 + 3*w^4 + 9*w^3 - 5*w^2 - 10*w - 2],
[389, 389, 2*w^5 - 4*w^4 - 9*w^3 + 13*w^2 + 10*w - 6],
[397, 397, 2*w^5 - 4*w^4 - 8*w^3 + 9*w^2 + 9*w + 1],
[401, 401, -3*w^5 + 4*w^4 + 15*w^3 - 9*w^2 - 18*w],
[401, 401, -2*w^4 + 4*w^3 + 6*w^2 - 8*w - 1],
[401, 401, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 6*w - 3],
[401, 401, -2*w^3 + 3*w^2 + 6*w - 4],
[419, 419, w^5 - 2*w^4 - 3*w^3 + 6*w^2 - 3],
[433, 433, w^5 - 3*w^4 - 2*w^3 + 8*w^2 + w + 1],
[443, 443, 2*w^5 - 3*w^4 - 11*w^3 + 8*w^2 + 16*w + 1],
[443, 443, w^3 - w^2 - 4*w + 3],
[461, 461, -w^5 + 3*w^4 - 6*w^2 + 6*w + 2],
[479, 479, 3*w^5 - 5*w^4 - 13*w^3 + 12*w^2 + 12*w],
[479, 479, 2*w^5 - 4*w^4 - 9*w^3 + 11*w^2 + 12*w],
[487, 487, 2*w^5 - 2*w^4 - 12*w^3 + 6*w^2 + 15*w - 2],
[491, 491, -2*w^4 + 4*w^3 + 7*w^2 - 8*w - 4],
[491, 491, -2*w^5 + 4*w^4 + 8*w^3 - 10*w^2 - 10*w - 1],
[499, 499, w^4 - w^3 - 4*w^2 + 2*w - 1],
[499, 499, w^5 - 8*w^3 + 10*w],
[499, 499, -2*w^5 + 3*w^4 + 8*w^3 - 4*w^2 - 8*w - 4],
[503, 503, -2*w^4 + 4*w^3 + 5*w^2 - 7*w - 2],
[509, 509, 2*w^5 - 4*w^4 - 9*w^3 + 11*w^2 + 13*w - 2],
[509, 509, w^5 - 9*w^3 + 15*w + 2],
[509, 509, -w^5 + 9*w^3 - 16*w - 1],
[521, 521, w^5 - w^4 - 5*w^3 + 5*w + 6],
[523, 523, -2*w^4 + 5*w^3 + 4*w^2 - 10*w + 1],
[523, 523, -w^5 + 7*w^3 + 2*w^2 - 11*w - 3],
[563, 563, -w^5 + w^4 + 5*w^3 - w^2 - 7*w],
[571, 571, -3*w^5 + 4*w^4 + 15*w^3 - 8*w^2 - 18*w - 2],
[577, 577, w^5 - 3*w^4 - w^3 + 7*w^2 - 4*w - 2],
[587, 587, w^5 - w^4 - 5*w^3 - w^2 + 7*w + 5],
[593, 593, -w^5 + 2*w^4 + 3*w^3 - 3*w^2 - w - 2],
[593, 593, -w^5 + 9*w^3 - w^2 - 16*w + 1],
[607, 607, w^5 - 2*w^4 - 3*w^3 + 5*w^2 + 2*w - 4],
[607, 607, -2*w^5 + 3*w^4 + 9*w^3 - 5*w^2 - 11*w - 1],
[613, 613, w^5 - 2*w^4 - 6*w^3 + 8*w^2 + 9*w - 4],
[619, 619, -w^5 + 4*w^4 - 11*w^2 + 4*w + 3],
[619, 619, w^2 - 5],
[631, 631, -w^3 + 2*w^2 + w - 5],
[631, 631, -2*w^3 + 3*w^2 + 6*w - 5],
[641, 641, w^5 - 8*w^3 + 13*w + 2],
[643, 643, -w^5 + w^4 + 4*w^3 - 2*w - 4],
[647, 647, -w^5 + w^4 + 6*w^3 - 3*w^2 - 10*w + 1],
[647, 647, -w^4 + 6*w^2 + w - 5],
[653, 653, 2*w^4 - 3*w^3 - 8*w^2 + 6*w + 7],
[659, 659, w^5 - 7*w^3 + 7*w - 4],
[659, 659, -2*w^5 + 4*w^4 + 8*w^3 - 11*w^2 - 8*w + 6],
[673, 673, w^5 - 3*w^4 - 2*w^3 + 10*w^2 - 5],
[673, 673, w^5 - 2*w^4 - 2*w^3 + 3*w^2 - 2*w + 3],
[677, 677, -3*w^5 + 5*w^4 + 13*w^3 - 12*w^2 - 13*w + 3],
[691, 691, -2*w^5 + 3*w^4 + 10*w^3 - 9*w^2 - 12*w + 2],
[691, 691, -w^5 + 2*w^4 + 5*w^3 - 5*w^2 - 11*w - 3],
[709, 709, w^4 - 3*w^3 - 2*w^2 + 9*w + 2],
[719, 719, -2*w^5 + 3*w^4 + 9*w^3 - 7*w^2 - 7*w + 1],
[719, 719, -2*w^5 + 3*w^4 + 11*w^3 - 9*w^2 - 14*w + 2],
[719, 719, 2*w^5 - 2*w^4 - 12*w^3 + 5*w^2 + 15*w - 1],
[727, 727, w^5 - 2*w^4 - 4*w^3 + 6*w^2 + 2*w - 4],
[727, 727, 2*w^5 - 5*w^4 - 6*w^3 + 14*w^2 + 5*w - 4],
[733, 733, w^5 - w^4 - 5*w^3 + 2*w^2 + 5*w - 4],
[733, 733, 2*w^5 - 4*w^4 - 6*w^3 + 8*w^2 + 3*w + 1],
[739, 739, w^5 - 3*w^4 - 3*w^3 + 10*w^2 + w - 5],
[739, 739, -2*w^5 + 4*w^4 + 6*w^3 - 7*w^2 - 4*w - 3],
[751, 751, -2*w^5 + 5*w^4 + 5*w^3 - 11*w^2 - 3*w - 1],
[751, 751, w^5 - 3*w^4 - 3*w^3 + 11*w^2 + 3*w - 7],
[757, 757, -w^5 + 2*w^4 + 4*w^3 - 5*w^2 - 7*w],
[761, 761, 3*w^5 - 4*w^4 - 15*w^3 + 10*w^2 + 17*w - 2],
[769, 769, -w^5 + 2*w^4 + 4*w^3 - 3*w^2 - 6*w - 4],
[773, 773, 2*w^4 - 4*w^3 - 5*w^2 + 9*w],
[787, 787, -2*w^5 + 2*w^4 + 11*w^3 - 5*w^2 - 12*w + 2],
[787, 787, 2*w^5 - 4*w^4 - 7*w^3 + 10*w^2 + 7*w - 1],
[787, 787, 3*w^5 - 5*w^4 - 12*w^3 + 11*w^2 + 10*w - 1],
[797, 797, -w^4 + 2*w^3 + 4*w^2 - 6*w],
[809, 809, -3*w^5 + 5*w^4 + 13*w^3 - 13*w^2 - 12*w + 2],
[809, 809, 3*w^5 - 4*w^4 - 14*w^3 + 8*w^2 + 14*w],
[809, 809, -3*w^5 + 6*w^4 + 11*w^3 - 14*w^2 - 10*w + 2],
[821, 821, -w^5 + 3*w^4 + 2*w^3 - 10*w^2 + w + 4],
[823, 823, -w^4 + 2*w^3 + 4*w^2 - 3*w - 5],
[823, 823, -2*w^5 + 4*w^4 + 7*w^3 - 9*w^2 - 6*w - 3],
[827, 827, -w^3 + 3*w^2 + 3*w - 4],
[839, 839, -w^5 + 2*w^4 + 5*w^3 - 7*w^2 - 7*w],
[839, 839, -2*w^5 + 4*w^4 + 9*w^3 - 11*w^2 - 13*w + 1],
[839, 839, -2*w^5 + 3*w^4 + 10*w^3 - 7*w^2 - 11*w - 1],
[841, 29, -w^3 + 3*w^2 + w - 2],
[857, 857, -2*w^5 + 4*w^4 + 8*w^3 - 9*w^2 - 10*w - 3],
[859, 859, 3*w^5 - 4*w^4 - 15*w^3 + 9*w^2 + 17*w + 2],
[859, 859, -2*w^5 + 2*w^4 + 11*w^3 - 3*w^2 - 15*w],
[863, 863, 2*w^5 - 4*w^4 - 7*w^3 + 8*w^2 + 6*w + 4],
[863, 863, 3*w^5 - 5*w^4 - 14*w^3 + 12*w^2 + 18*w - 1],
[881, 881, w^5 - 3*w^4 - w^3 + 6*w^2 - 3*w - 1],
[887, 887, 2*w^5 - 5*w^4 - 5*w^3 + 11*w^2 + 2*w + 1],
[907, 907, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 8*w - 2],
[919, 919, w^5 - w^4 - 7*w^3 + 3*w^2 + 10*w + 2],
[929, 929, 2*w^5 - 4*w^4 - 7*w^3 + 10*w^2 + 4*w - 4],
[937, 937, 3*w^5 - 5*w^4 - 12*w^3 + 10*w^2 + 11*w],
[953, 953, -3*w^5 + 5*w^4 + 14*w^3 - 12*w^2 - 17*w - 1],
[953, 953, -2*w^5 + 2*w^4 + 11*w^3 - 4*w^2 - 13*w - 2],
[967, 967, -w^5 + 3*w^4 - 6*w^2 + 6*w],
[967, 967, 3*w^5 - 6*w^4 - 11*w^3 + 14*w^2 + 9*w - 1],
[977, 977, -w^5 + 3*w^4 - 6*w^2 + 5*w + 2],
[991, 991, -w^3 + 3*w^2 + 2*w - 3],
[997, 997, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 10*w - 1],
[1009, 1009, w^5 - 2*w^4 - 2*w^3 + 3*w^2 - w + 2],
[1013, 1013, 3*w^5 - 5*w^4 - 14*w^3 + 14*w^2 + 14*w - 4],
[1019, 1019, -3*w^5 + 5*w^4 + 14*w^3 - 13*w^2 - 18*w + 2],
[1031, 1031, -2*w^5 + 2*w^4 + 11*w^3 - 3*w^2 - 15*w - 1],
[1039, 1039, -2*w^4 + 4*w^3 + 7*w^2 - 8*w - 3],
[1049, 1049, w^5 - 2*w^4 - 4*w^3 + 5*w^2 + 5*w - 4],
[1063, 1063, -w^4 + 2*w^3 + 3*w^2 - 2*w - 4],
[1069, 1069, 2*w^5 - 3*w^4 - 8*w^3 + 4*w^2 + 7*w + 4],
[1069, 1069, w^5 - w^4 - 5*w^3 + 2*w^2 + 3*w + 2],
[1091, 1091, -2*w^5 + 2*w^4 + 11*w^3 - 4*w^2 - 15*w],
[1117, 1117, -w^4 + w^3 + 6*w^2 - 3*w - 5],
[1117, 1117, -3*w^5 + 4*w^4 + 16*w^3 - 11*w^2 - 20*w + 1],
[1123, 1123, 2*w^5 - 2*w^4 - 14*w^3 + 7*w^2 + 21*w - 3],
[1129, 1129, w^5 - w^4 - 5*w^3 + 3*w^2 + 3*w - 3],
[1129, 1129, w^4 - 3*w^3 - w^2 + 6*w - 4],
[1151, 1151, 2*w^5 - 3*w^4 - 8*w^3 + 5*w^2 + 7*w + 4],
[1151, 1151, -2*w^5 + 3*w^4 + 10*w^3 - 9*w^2 - 10*w + 5],
[1151, 1151, -2*w^5 + 4*w^4 + 8*w^3 - 11*w^2 - 10*w + 2],
[1153, 1153, -w^3 + 2*w^2 - 3],
[1171, 1171, 2*w^5 - 3*w^4 - 10*w^3 + 8*w^2 + 13*w + 1],
[1187, 1187, -w^5 + 3*w^4 + 4*w^3 - 10*w^2 - 4*w + 5],
[1193, 1193, -2*w^5 + 5*w^4 + 5*w^3 - 12*w^2 - 3*w],
[1193, 1193, -w^3 + 3*w^2 - 6],
[1201, 1201, -w^4 + 3*w^3 + w^2 - 5*w + 3],
[1201, 1201, 2*w^4 - 5*w^3 - 4*w^2 + 9*w],
[1213, 1213, -2*w^5 + 3*w^4 + 11*w^3 - 8*w^2 - 16*w - 2],
[1213, 1213, 2*w^5 - w^4 - 13*w^3 + w^2 + 17*w - 2],
[1213, 1213, 3*w^5 - 5*w^4 - 12*w^3 + 13*w^2 + 10*w - 2],
[1213, 1213, -2*w^5 + 4*w^4 + 7*w^3 - 11*w^2 - 5*w + 5],
[1217, 1217, -w^5 + 4*w^4 + w^3 - 13*w^2 + 3*w + 9],
[1229, 1229, -w^5 + 2*w^4 + 3*w^3 - 6*w^2 + w + 4],
[1229, 1229, -w^5 + w^4 + 4*w^3 + w^2 - 3*w - 6],
[1231, 1231, 2*w^5 - 4*w^4 - 9*w^3 + 13*w^2 + 9*w - 5],
[1277, 1277, -w^5 + 2*w^4 + 5*w^3 - 5*w^2 - 9*w],
[1277, 1277, w^5 - 9*w^3 + 15*w],
[1301, 1301, 2*w^4 - 4*w^3 - 5*w^2 + 8*w + 1],
[1301, 1301, 2*w^5 - 4*w^4 - 8*w^3 + 9*w^2 + 9*w + 3],
[1307, 1307, 2*w^5 - 4*w^4 - 9*w^3 + 13*w^2 + 9*w - 8],
[1307, 1307, 3*w^5 - 6*w^4 - 12*w^3 + 14*w^2 + 13*w - 1],
[1319, 1319, w^3 - 2*w - 3],
[1319, 1319, w^5 - 2*w^4 - 6*w^3 + 9*w^2 + 7*w - 8],
[1321, 1321, 3*w^5 - 5*w^4 - 14*w^3 + 12*w^2 + 18*w],
[1327, 1327, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 4*w - 5],
[1327, 1327, -w^5 + 7*w^3 + 3*w^2 - 10*w - 3],
[1327, 1327, -w^4 + 4*w^3 + w^2 - 10*w - 2],
[1361, 1361, -2*w^5 + 3*w^4 + 11*w^3 - 9*w^2 - 16*w],
[1361, 1361, 2*w^5 - 5*w^4 - 6*w^3 + 14*w^2 + 3*w - 6],
[1367, 1367, w^5 - 2*w^4 - 2*w^3 + 2*w^2 + 4],
[1367, 1367, -w^5 + 3*w^4 + 2*w^3 - 7*w^2 - w - 3],
[1369, 37, -w^5 + 7*w^3 + w^2 - 10*w + 1],
[1399, 1399, -w^4 + w^3 + 4*w^2 - 4*w - 4],
[1427, 1427, -w^5 + 3*w^4 + 2*w^3 - 7*w^2 + w + 3],
[1429, 1429, -3*w^5 + 6*w^4 + 12*w^3 - 15*w^2 - 14*w],
[1429, 1429, -2*w^5 + 5*w^4 + 7*w^3 - 15*w^2 - 7*w + 5],
[1433, 1433, -w^5 + 4*w^4 - w^3 - 8*w^2 + 4*w - 2],
[1439, 1439, -w^5 + w^4 + 8*w^3 - 6*w^2 - 12*w + 2],
[1439, 1439, -w^4 - w^3 + 5*w^2 + 7*w - 1],
[1447, 1447, 2*w^5 - 2*w^4 - 11*w^3 + 6*w^2 + 11*w - 3],
[1471, 1471, -w^5 + 2*w^4 + 2*w^3 - 4*w^2 + 3],
[1483, 1483, 2*w^5 - 4*w^4 - 9*w^3 + 12*w^2 + 10*w - 2],
[1483, 1483, -w^4 + 2*w^3 + 2*w^2 - w - 4],
[1487, 1487, -3*w^5 + 4*w^4 + 14*w^3 - 7*w^2 - 16*w - 3],
[1489, 1489, -2*w^3 + 3*w^2 + 5*w - 5],
[1493, 1493, -3*w^5 + 3*w^4 + 18*w^3 - 6*w^2 - 25*w - 1],
[1499, 1499, 3*w^5 - 5*w^4 - 16*w^3 + 15*w^2 + 23*w - 3],
[1511, 1511, 2*w^5 - 4*w^4 - 8*w^3 + 10*w^2 + 11*w],
[1511, 1511, -2*w^5 + 2*w^4 + 11*w^3 - 2*w^2 - 15*w - 3],
[1511, 1511, -2*w^5 + 2*w^4 + 11*w^3 - 3*w^2 - 14*w],
[1571, 1571, -2*w^5 + 4*w^4 + 6*w^3 - 9*w^2 - 2*w + 4],
[1571, 1571, 2*w^5 - w^4 - 12*w^3 + w^2 + 14*w - 1],
[1571, 1571, -3*w^5 + 5*w^4 + 13*w^3 - 13*w^2 - 13*w],
[1579, 1579, -2*w^5 + 3*w^4 + 10*w^3 - 9*w^2 - 10*w - 1],
[1583, 1583, -2*w^5 + 4*w^4 + 6*w^3 - 6*w^2 - 6*w - 5],
[1607, 1607, -w^4 + 4*w^3 + w^2 - 11*w],
[1607, 1607, 2*w^5 - 3*w^4 - 10*w^3 + 8*w^2 + 10*w],
[1613, 1613, 2*w^5 - 5*w^4 - 5*w^3 + 10*w^2 + 2*w + 2],
[1619, 1619, -w^5 + w^4 + 8*w^3 - 4*w^2 - 17*w],
[1637, 1637, 2*w^4 - 5*w^3 - 5*w^2 + 11*w],
[1663, 1663, w^5 - 4*w^4 + 2*w^3 + 9*w^2 - 8*w - 2],
[1669, 1669, -w^5 + 2*w^4 + 7*w^3 - 10*w^2 - 13*w + 7],
[1697, 1697, -2*w^5 + 5*w^4 + 3*w^3 - 9*w^2 + 4*w - 2],
[1709, 1709, 2*w^4 - 4*w^3 - 4*w^2 + 10*w - 1],
[1733, 1733, 2*w^5 - 2*w^4 - 14*w^3 + 8*w^2 + 23*w - 4],
[1753, 1753, -w^5 + w^4 + 5*w^3 - 4*w - 4],
[1777, 1777, -4*w^5 + 9*w^4 + 12*w^3 - 22*w^2 - 7*w + 6],
[1783, 1783, w^5 - 2*w^4 - 6*w^3 + 6*w^2 + 11*w - 1],
[1801, 1801, -2*w^5 + 4*w^4 + 7*w^3 - 11*w^2 - 5*w + 8],
[1811, 1811, 2*w^5 - 15*w^3 - 3*w^2 + 22*w + 5],
[1811, 1811, w^2 + w - 5],
[1811, 1811, w^2 - 3*w - 4],
[1823, 1823, -4*w^5 + 7*w^4 + 18*w^3 - 20*w^2 - 20*w + 5],
[1831, 1831, 3*w^5 - 5*w^4 - 14*w^3 + 11*w^2 + 19*w + 4],
[1831, 1831, -w^5 + 2*w^4 + 3*w^3 - 4*w^2 + w - 2],
[1847, 1847, w^5 - 2*w^4 - w^3 + 3*w^2 - 7*w - 2],
[1849, 43, w^3 - 3*w - 4],
[1861, 1861, -w^5 + 3*w^4 + 4*w^3 - 12*w^2 - 6*w + 10],
[1861, 1861, w^4 - 4*w^3 - 3*w^2 + 10*w + 3],
[1861, 1861, -w^5 + 4*w^4 - 2*w^3 - 10*w^2 + 9*w + 3],
[1861, 1861, w^5 - 2*w^4 - 2*w^3 + 5*w^2 - 4*w - 2],
[1867, 1867, -w^5 + 7*w^3 - w^2 - 7*w + 3],
[1873, 1873, -3*w^5 + 5*w^4 + 12*w^3 - 11*w^2 - 11*w],
[1877, 1877, 4*w^5 - 8*w^4 - 13*w^3 + 17*w^2 + 8*w + 1],
[1889, 1889, -w^4 + 5*w^2 + 3*w - 4],
[1901, 1901, -2*w^5 + 3*w^4 + 10*w^3 - 6*w^2 - 15*w - 1],
[1949, 1949, -w^5 + 2*w^4 + 2*w^3 - 2*w^2 + w - 5],
[1951, 1951, -2*w^5 + 4*w^4 + 6*w^3 - 7*w^2 - 3*w - 2],
[1973, 1973, w^5 - 9*w^3 + w^2 + 16*w],
[1987, 1987, -3*w^5 + 6*w^4 + 12*w^3 - 16*w^2 - 14*w + 3],
[1999, 1999, -2*w^5 + 5*w^4 + 6*w^3 - 15*w^2 - 4*w + 6]];
primes := [ideal<ZF | {F!x : x in I}> : I in primesArray];

heckePol := x^14 + 6*x^13 - 28*x^12 - 223*x^11 + 156*x^10 + 2994*x^9 + 1728*x^8 - 17607*x^7 - 20847*x^6 + 43541*x^5 + 67219*x^4 - 38667*x^3 - 76576*x^2 + 2274*x + 19820;
K<e> := NumberField(heckePol);

heckeEigenvaluesArray := [e, -7629712370361/10743641442099071*e^13 - 104235495449421/21487282884198142*e^12 + 157771177204832/10743641442099071*e^11 + 1839156409222849/10743641442099071*e^10 + 673335678250497/10743641442099071*e^9 - 45070602853978015/21487282884198142*e^8 - 67139817125954951/21487282884198142*e^7 + 20064219069051799/1953389353108922*e^6 + 462057419205606053/21487282884198142*e^5 - 171925628147298948/10743641442099071*e^4 - 84564841987745839/1953389353108922*e^3 + 38516431069125369/10743641442099071*e^2 + 19687785977654626/976694676554461*e - 10684950218412436/10743641442099071, 502802318308391/64461848652594426*e^13 + 1097197024923514/32230924326297213*e^12 - 5319964712680131/21487282884198142*e^11 - 78148733348272181/64461848652594426*e^10 + 77351010875200343/32230924326297213*e^9 + 487992837100647041/32230924326297213*e^8 - 295372104431529179/64461848652594426*e^7 - 227788329262724762/2930084029663383*e^6 - 1077916833114975592/32230924326297213*e^5 + 4613058689056001797/32230924326297213*e^4 + 545672482106124401/5860168059326766*e^3 - 2530623533389038100/32230924326297213*e^2 - 110026047950322628/2930084029663383*e + 491603708862929209/32230924326297213, -18184373419717/2930084029663383*e^13 - 184698289701143/5860168059326766*e^12 + 171458115272678/976694676554461*e^11 + 3215747644208365/2930084029663383*e^10 - 3408187395062849/2930084029663383*e^9 - 77031985742589379/5860168059326766*e^8 - 31165194317028697/5860168059326766*e^7 + 359702755510675103/5860168059326766*e^6 + 404534835865263101/5860168059326766*e^5 - 238039828331046655/2930084029663383*e^4 - 788454622105878673/5860168059326766*e^3 - 16887676532930300/2930084029663383*e^2 + 107387474202253541/2930084029663383*e + 9834076406744888/2930084029663383, -45297482925731/32230924326297213*e^13 - 1441412019971197/64461848652594426*e^12 - 615891926211219/21487282884198142*e^11 + 45413039483284531/64461848652594426*e^10 + 137471747074321789/64461848652594426*e^9 - 216264451878524395/32230924326297213*e^8 - 1947327614988768653/64461848652594426*e^7 + 33299942735852536/2930084029663383*e^6 + 9965455749928779079/64461848652594426*e^5 + 6560855512649973113/64461848652594426*e^4 - 688335775671452414/2930084029663383*e^3 - 8515817051636089684/32230924326297213*e^2 + 115451305447844165/2930084029663383*e + 2690135404062543193/32230924326297213, 237926366276293/32230924326297213*e^13 + 2623380152393399/64461848652594426*e^12 - 4419777373586591/21487282884198142*e^11 - 92217454470435659/64461848652594426*e^10 + 81705657552782353/64461848652594426*e^9 + 562643800045579325/32230924326297213*e^8 + 507723999383539567/64461848652594426*e^7 - 249855373547731973/2930084029663383*e^6 - 5879763436951081631/64461848652594426*e^5 + 8714151633351554345/64461848652594426*e^4 + 535128482566950043/2930084029663383*e^3 - 1452723360985593382/32230924326297213*e^2 - 183330726087249385/2930084029663383*e + 569781292215202435/32230924326297213, 1, 93805342579907/64461848652594426*e^13 + 551150675484418/32230924326297213*e^12 + 223517003717751/10743641442099071*e^11 - 16150496322048292/32230924326297213*e^10 - 122050349740438745/64461848652594426*e^9 + 246514511455340179/64461848652594426*e^8 + 1763938886356898065/64461848652594426*e^7 + 40691583655520477/5860168059326766*e^6 - 4508687561717127703/32230924326297213*e^5 - 9793554613917587035/64461848652594426*e^4 + 599819938632749824/2930084029663383*e^3 + 10036229073383289269/32230924326297213*e^2 - 54485877290213668/2930084029663383*e - 2838864560752579901/32230924326297213, 16762402510121/64461848652594426*e^13 + 998778890964869/64461848652594426*e^12 + 963919844477981/21487282884198142*e^11 - 33037393586804741/64461848652594426*e^10 - 57413717903931982/32230924326297213*e^9 + 354577878304540201/64461848652594426*e^8 + 724605243739533608/32230924326297213*e^7 - 107023158434462263/5860168059326766*e^6 - 7173875794167032453/64461848652594426*e^5 - 608649495088985147/32230924326297213*e^4 + 515615756998458229/2930084029663383*e^3 + 3054402285256649939/32230924326297213*e^2 - 135919408893127375/2930084029663383*e - 918047055686961404/32230924326297213, -249135934165915/64461848652594426*e^13 - 389271102997855/64461848652594426*e^12 + 1774620328451673/10743641442099071*e^11 + 7994345663712863/32230924326297213*e^10 - 173387197388812943/64461848652594426*e^9 - 123978158523696241/32230924326297213*e^8 + 668160128176430303/32230924326297213*e^7 + 82030168578089878/2930084029663383*e^6 - 4852122865204223687/64461848652594426*e^5 - 6102552598592509165/64461848652594426*e^4 + 632077949100613241/5860168059326766*e^3 + 3877294954515189344/32230924326297213*e^2 - 118858600126015819/2930084029663383*e - 953569788135289169/32230924326297213, -190048549281197/64461848652594426*e^13 + 337660493453615/32230924326297213*e^12 + 4354429194266995/21487282884198142*e^11 - 15481421189594491/64461848652594426*e^10 - 152184816117121574/32230924326297213*e^9 - 262335696240308/32230924326297213*e^8 + 3085424544824765879/64461848652594426*e^7 + 96834476905141676/2930084029663383*e^6 - 6716799674180395259/32230924326297213*e^5 - 7555397546385644260/32230924326297213*e^4 + 1707695497668439825/5860168059326766*e^3 + 13367383794285451405/32230924326297213*e^2 - 107988792784801070/2930084029663383*e - 3754632138375263263/32230924326297213, -262728237273592/32230924326297213*e^13 - 1172980978021823/64461848652594426*e^12 + 7394741111234779/21487282884198142*e^11 + 48140889853341617/64461848652594426*e^10 - 354944159808508723/64461848652594426*e^9 - 373526237470838822/32230924326297213*e^8 + 2655200340076870727/64461848652594426*e^7 + 247867166630431760/2930084029663383*e^6 - 9018331562904506263/64461848652594426*e^5 - 18599947644685574573/64461848652594426*e^4 + 467481994106641343/2930084029663383*e^3 + 12131710208335280776/32230924326297213*e^2 + 13012171780614019/2930084029663383*e - 3141776108206789432/32230924326297213, 343254719781719/64461848652594426*e^13 + 501512648493298/32230924326297213*e^12 - 4439798532432453/21487282884198142*e^11 - 39462588137220401/64461848652594426*e^10 + 95122810617361631/32230924326297213*e^9 + 289244992726187918/32230924326297213*e^8 - 1219481238317383427/64461848652594426*e^7 - 178214089822872077/2930084029663383*e^6 + 1658776938705192671/32230924326297213*e^5 + 6126783970903967836/32230924326297213*e^4 - 219025173161516431/5860168059326766*e^3 - 7516002734979940540/32230924326297213*e^2 - 79093265726316451/2930084029663383*e + 1909335098033616454/32230924326297213, 360805709536445/32230924326297213*e^13 + 2982575358090901/64461848652594426*e^12 - 3966487292456017/10743641442099071*e^11 - 53405075960428163/32230924326297213*e^10 + 127325336665442161/32230924326297213*e^9 + 1346605101837377669/64461848652594426*e^8 - 845456268888273925/64461848652594426*e^7 - 640017868609480223/5860168059326766*e^6 - 818920846081142353/64461848652594426*e^5 + 6753675554024763626/32230924326297213*e^4 + 370331151682497541/5860168059326766*e^3 - 3886766978789167478/32230924326297213*e^2 - 49954265465488220/2930084029663383*e + 502254005647624514/32230924326297213, -414103853296907/32230924326297213*e^13 - 4010451791691307/64461848652594426*e^12 + 4068704043467453/10743641442099071*e^11 + 70263864720428348/32230924326297213*e^10 - 94642890171988897/32230924326297213*e^9 - 1704765667306833599/64461848652594426*e^8 - 305098504951980293/64461848652594426*e^7 + 747800822979950957/5860168059326766*e^6 + 7341246543934355695/64461848652594426*e^5 - 6284782879798905008/32230924326297213*e^4 - 1406863858498781329/5860168059326766*e^3 + 1802525934086831192/32230924326297213*e^2 + 220644768345667052/2930084029663383*e - 791399652200635829/32230924326297213, -199837359405754/32230924326297213*e^13 - 1566347384603785/32230924326297213*e^12 + 1882635436599543/21487282884198142*e^11 + 101576380975042769/64461848652594426*e^10 + 122370854631378041/64461848652594426*e^9 - 1041981062596851493/64461848652594426*e^8 - 1352577211869677972/32230924326297213*e^7 + 259622414738657389/5860168059326766*e^6 + 7716442639394328166/32230924326297213*e^5 + 7914146629221043213/64461848652594426*e^4 - 2086158063533546213/5860168059326766*e^3 - 13137828280688889077/32230924326297213*e^2 + 68129697285062209/2930084029663383*e + 4028874653147576816/32230924326297213, -918537056052067/64461848652594426*e^13 - 3255289401165217/64461848652594426*e^12 + 11361841550744997/21487282884198142*e^11 + 123799082796367435/64461848652594426*e^10 - 227150125378160185/32230924326297213*e^9 - 1726289580762473087/64461848652594426*e^8 + 1299299199577646825/32230924326297213*e^7 + 987662784809324609/5860168059326766*e^6 - 5712539607691707437/64461848652594426*e^5 - 15345196291490357021/32230924326297213*e^4 + 93909381445174798/2930084029663383*e^3 + 17616444899726444432/32230924326297213*e^2 + 197894713964038910/2930084029663383*e - 5313584259889067936/32230924326297213, -798859803352555/64461848652594426*e^13 - 2233980027433463/32230924326297213*e^12 + 6980967710847093/21487282884198142*e^11 + 153856334071805425/64461848652594426*e^10 - 45614266792477765/32230924326297213*e^9 - 900469107725702131/32230924326297213*e^8 - 1399414810375764011/64461848652594426*e^7 + 359769943827857785/2930084029663383*e^6 + 6162996204229318376/32230924326297213*e^5 - 3809907111060974810/32230924326297213*e^4 - 2017523881545093367/5860168059326766*e^3 - 3310481249061387622/32230924326297213*e^2 + 212532260184727238/2930084029663383*e + 774104198848154266/32230924326297213, 534815406315577/64461848652594426*e^13 + 1048960681762904/32230924326297213*e^12 - 3099219964403919/10743641442099071*e^11 - 38895664413235163/32230924326297213*e^10 + 220410641516719721/64461848652594426*e^9 + 1041408652982097275/64461848652594426*e^8 - 975786958077870223/64461848652594426*e^7 - 556428605961019511/5860168059326766*e^6 + 376652076498843154/32230924326297213*e^5 + 15450313069616325037/64461848652594426*e^4 + 112485263253449768/2930084029663383*e^3 - 8040972728489024117/32230924326297213*e^2 - 140916160817447396/2930084029663383*e + 2421519469332986459/32230924326297213, 224696119441142/32230924326297213*e^13 + 992510060348978/32230924326297213*e^12 - 4709095262435881/21487282884198142*e^11 - 70400335454976073/64461848652594426*e^10 + 132933337401399191/64461848652594426*e^9 + 872695866846675257/64461848652594426*e^8 - 95853613682183705/32230924326297213*e^7 - 401597283234107093/5860168059326766*e^6 - 1157159735351023112/32230924326297213*e^5 + 7940178089668071529/64461848652594426*e^4 + 546827940162435577/5860168059326766*e^3 - 2464287098236785068/32230924326297213*e^2 - 115443663463850126/2930084029663383*e + 1078771515733162997/32230924326297213, 583176344154443/64461848652594426*e^13 + 1353553333687648/32230924326297213*e^12 - 5743434448232197/21487282884198142*e^11 - 93330414182849429/64461848652594426*e^10 + 67413427730019521/32230924326297213*e^9 + 548279526986821250/32230924326297213*e^8 + 188815890953514091/64461848652594426*e^7 - 221763717982171181/2930084029663383*e^6 - 2459948394675354160/32230924326297213*e^5 + 2530100045424980668/32230924326297213*e^4 + 882387399144970109/5860168059326766*e^3 + 1814719488223972742/32230924326297213*e^2 - 77812792746893797/2930084029663383*e - 994846380615099065/32230924326297213, -139742504170099/32230924326297213*e^13 - 1500260400880217/64461848652594426*e^12 + 1506444256764724/10743641442099071*e^11 + 27983333438927056/32230924326297213*e^10 - 45671607709280270/32230924326297213*e^9 - 759447568755666151/64461848652594426*e^8 + 217472935871083007/64461848652594426*e^7 + 417961780983831055/5860168059326766*e^6 + 1088267333636849885/64461848652594426*e^5 - 6186253281838759870/32230924326297213*e^4 - 370233075886761731/5860168059326766*e^3 + 7077300229558928920/32230924326297213*e^2 + 150024644362910122/2930084029663383*e - 2446434602172452269/32230924326297213, 76428879439329/10743641442099071*e^13 + 1070317479617335/21487282884198142*e^12 - 3349284735703575/21487282884198142*e^11 - 36959697840004565/21487282884198142*e^10 - 5736396944333287/21487282884198142*e^9 + 217607792563988884/10743641442099071*e^8 + 552677732773640957/21487282884198142*e^7 - 88318196562347143/976694676554461*e^6 - 3778839761471430289/21487282884198142*e^5 + 2048541673432205023/21487282884198142*e^4 + 303259346906858257/976694676554461*e^3 + 627957238357386049/10743641442099071*e^2 - 86633873600056643/976694676554461*e - 124466246533545265/10743641442099071, 26659942038415/21487282884198142*e^13 + 94343458415583/21487282884198142*e^12 - 1301072199469915/21487282884198142*e^11 - 4430423100725173/21487282884198142*e^10 + 12013369104989748/10743641442099071*e^9 + 79930125978089753/21487282884198142*e^8 - 102399845838659379/10743641442099071*e^7 - 62112675176060391/1953389353108922*e^6 + 761098011985680185/21487282884198142*e^5 + 1352009442024892755/10743641442099071*e^4 - 35847550641734416/976694676554461*e^3 - 1942540018556656809/10743641442099071*e^2 - 12963666868243821/976694676554461*e + 479800228502720702/10743641442099071, -496204367671037/21487282884198142*e^13 - 1003241611209813/10743641442099071*e^12 + 8290707396049327/10743641442099071*e^11 + 36308489017551441/10743641442099071*e^10 - 181833626597762883/21487282884198142*e^9 - 933643899296155503/21487282884198142*e^8 + 647412333225779763/21487282884198142*e^7 + 462971945659613253/1953389353108922*e^6 + 190093634940866583/10743641442099071*e^5 - 10992159574207294529/21487282884198142*e^4 - 141620631812999651/976694676554461*e^3 + 4472653283450309752/10743641442099071*e^2 + 74083437836507910/976694676554461*e - 1213662686190912123/10743641442099071, 129926412820528/10743641442099071*e^13 + 550143634456197/10743641442099071*e^12 - 4346410593910060/10743641442099071*e^11 - 20037469272051866/10743641442099071*e^10 + 47745935309036709/10743641442099071*e^9 + 260326137792170022/10743641442099071*e^8 - 170116127904649138/10743641442099071*e^7 - 131416090017293298/976694676554461*e^6 - 111398243751195268/10743641442099071*e^5 + 3211280351951760029/10743641442099071*e^4 + 83382739235774627/976694676554461*e^3 - 2539981028022930414/10743641442099071*e^2 - 49504655955108752/976694676554461*e + 420085589594394401/10743641442099071, -4539821982781/5860168059326766*e^13 - 40995288567307/5860168059326766*e^12 - 998743256137/976694676554461*e^11 + 637721455826321/2930084029663383*e^10 + 3851468955546355/5860168059326766*e^9 - 5925042437480545/2930084029663383*e^8 - 30480783106776865/2930084029663383*e^7 + 8993377453644983/2930084029663383*e^6 + 325710594619850665/5860168059326766*e^5 + 177156690035842361/5860168059326766*e^4 - 502000678730588093/5860168059326766*e^3 - 193691555833862203/2930084029663383*e^2 + 18548360593350250/2930084029663383*e + 36161457607096816/2930084029663383, 294034550628143/21487282884198142*e^13 + 921440945671999/10743641442099071*e^12 - 6550286273965737/21487282884198142*e^11 - 61682867621061481/21487282884198142*e^10 - 3194305302954286/10743641442099071*e^9 + 340380837927242238/10743641442099071*e^8 + 988033563443779405/21487282884198142*e^7 - 114113071498028835/976694676554461*e^6 - 3352360156646892001/10743641442099071*e^5 - 283713143518785352/10743641442099071*e^4 + 992087442002996541/1953389353108922*e^3 + 4459396276897068380/10743641442099071*e^2 - 65624219709226383/976694676554461*e - 1430167246237376436/10743641442099071, -149044773183400/10743641442099071*e^13 - 857157948354850/10743641442099071*e^12 + 3630737926918735/10743641442099071*e^11 + 28959477772029907/10743641442099071*e^10 - 7297492263211505/10743641442099071*e^9 - 326373510775950516/10743641442099071*e^8 - 380483926924017348/10743641442099071*e^7 + 117256307747903936/976694676554461*e^6 + 2897816244552152276/10743641442099071*e^5 - 349520717636012443/10743641442099071*e^4 - 471727865668052305/976694676554461*e^3 - 3127113985339328830/10743641442099071*e^2 + 124775072866878054/976694676554461*e + 963599433770519421/10743641442099071, 249247338204687/21487282884198142*e^13 + 806200487750981/21487282884198142*e^12 - 4517163575339205/10743641442099071*e^11 - 15077330768274923/10743641442099071*e^10 + 115808620741581437/21487282884198142*e^9 + 205124289411760556/10743641442099071*e^8 - 307194913743763854/10743641442099071*e^7 - 113094094455815027/976694676554461*e^6 + 1102286540175898367/21487282884198142*e^5 + 6650277055983437751/21487282884198142*e^4 + 17131745594222785/1953389353108922*e^3 - 3600985020701762120/10743641442099071*e^2 - 64749364462023076/976694676554461*e + 959934940315362894/10743641442099071, -331190128826489/32230924326297213*e^13 - 1323505766342911/64461848652594426*e^12 + 4950547665796054/10743641442099071*e^11 + 29668505434964681/32230924326297213*e^10 - 253447708067260948/32230924326297213*e^9 - 1018692010360671875/64461848652594426*e^8 + 4041606630048573841/64461848652594426*e^7 + 754135277637589091/5860168059326766*e^6 - 14462322252463235477/64461848652594426*e^5 - 15757782689829315713/32230924326297213*e^4 + 1485891117867973691/5860168059326766*e^3 + 22216907624998090616/32230924326297213*e^2 + 90541126523878388/2930084029663383*e - 6108271406833668056/32230924326297213, -8451488707579/1953389353108922*e^13 - 48274489659851/1953389353108922*e^12 + 121044420354433/976694676554461*e^11 + 864965615508000/976694676554461*e^10 - 1617483397644543/1953389353108922*e^9 - 10945121886226618/976694676554461*e^8 - 4096017636487119/976694676554461*e^7 + 57996840950045204/976694676554461*e^6 + 110887952096649881/1953389353108922*e^5 - 236891128205183851/1953389353108922*e^4 - 261938394085986203/1953389353108922*e^3 + 97166408339530430/976694676554461*e^2 + 66263801507331364/976694676554461*e - 48508317877980032/976694676554461, -268779250407329/64461848652594426*e^13 - 1209909855900568/32230924326297213*e^12 + 320830779177264/10743641442099071*e^11 + 38637044718859252/32230924326297213*e^10 + 148509363454959671/64461848652594426*e^9 - 765138466688339377/64461848652594426*e^8 - 2644525155469121695/64461848652594426*e^7 + 158962984638142435/5860168059326766*e^6 + 7336807952347743817/32230924326297213*e^5 + 8200922241488417887/64461848652594426*e^4 - 1078701339178494772/2930084029663383*e^3 - 11649675730999396781/32230924326297213*e^2 + 230168243629739926/2930084029663383*e + 3499303373205664841/32230924326297213, -89771897298769/5860168059326766*e^13 - 198963219950027/2930084029663383*e^12 + 962344001386891/1953389353108922*e^11 + 14259880640602219/5860168059326766*e^10 - 14430729284623198/2930084029663383*e^9 - 90135856605258196/2930084029663383*e^8 + 66569744306522989/5860168059326766*e^7 + 475781172782540279/2930084029663383*e^6 + 164656725824116967/2930084029663383*e^5 - 952591593035872652/2930084029663383*e^4 - 1047574857486321437/5860168059326766*e^3 + 690260674033045250/2930084029663383*e^2 + 275385946725858253/2930084029663383*e - 204164125129627046/2930084029663383, -490942644942637/64461848652594426*e^13 - 387978773379101/32230924326297213*e^12 + 7568322735503089/21487282884198142*e^11 + 37129681352627131/64461848652594426*e^10 - 200027756381242693/32230924326297213*e^9 - 341238042990185113/32230924326297213*e^8 + 3300194400590486923/64461848652594426*e^7 + 270603740107490890/2930084029663383*e^6 - 6165387335071655980/32230924326297213*e^5 - 12086843511665789525/32230924326297213*e^4 + 1404627776640134279/5860168059326766*e^3 + 18127196796568789553/32230924326297213*e^2 - 46781544466304455/2930084029663383*e - 5416144007409721409/32230924326297213, -56599553711015/64461848652594426*e^13 - 1522380299848823/64461848652594426*e^12 - 876936575970727/10743641442099071*e^11 + 21767661893068618/32230924326297213*e^10 + 229930642712255399/64461848652594426*e^9 - 150018710215153091/32230924326297213*e^8 - 1482893129807259653/32230924326297213*e^7 - 52583039931905083/2930084029663383*e^6 + 14650238355386579531/64461848652594426*e^5 + 16452220633686952927/64461848652594426*e^4 - 1993424364234982847/5860168059326766*e^3 - 16512480264676779860/32230924326297213*e^2 + 145976024056924426/2930084029663383*e + 4924404316694767382/32230924326297213, -100956601356635/5860168059326766*e^13 - 360550380423622/2930084029663383*e^12 + 337895242082866/976694676554461*e^11 + 12211013029206211/2930084029663383*e^10 + 10074746072158691/5860168059326766*e^9 - 276835106101962805/5860168059326766*e^8 - 437476177439364259/5860168059326766*e^7 + 1114589971779778775/5860168059326766*e^6 + 1404265669982145094/2930084029663383*e^5 - 446391293331304289/5860168059326766*e^4 - 2355772072153260164/2930084029663383*e^3 - 1192828282481967767/2930084029663383*e^2 + 535644358735830974/2930084029663383*e + 386183537965188965/2930084029663383, -585182120501027/64461848652594426*e^13 - 2045963722332976/32230924326297213*e^12 + 1675847865223927/10743641442099071*e^11 + 66158522854704526/32230924326297213*e^10 + 117139695260267573/64461848652594426*e^9 - 1345650708592826263/64461848652594426*e^8 - 3221780693473843861/64461848652594426*e^7 + 318626633499498433/5860168059326766*e^6 + 9586203781965862672/32230924326297213*e^5 + 11673562886232768349/64461848652594426*e^4 - 1320016533521674159/2930084029663383*e^3 - 18579387861322651160/32230924326297213*e^2 + 91600636219831843/2930084029663383*e + 6256397224032711956/32230924326297213, 151290601775435/64461848652594426*e^13 - 993351020673541/64461848652594426*e^12 - 1991635347004888/10743641442099071*e^11 + 13733766538562408/32230924326297213*e^10 + 296433910931765305/64461848652594426*e^9 - 81569463331578619/32230924326297213*e^8 - 1554835659304361101/32230924326297213*e^7 - 52152725895991382/2930084029663383*e^6 + 13822325305995136753/64461848652594426*e^5 + 12583842807925010861/64461848652594426*e^4 - 1780075719212021383/5860168059326766*e^3 - 12016326548739602431/32230924326297213*e^2 + 124482916703103395/2930084029663383*e + 3131880363826551055/32230924326297213, 80260015975811/64461848652594426*e^13 - 1830442318063735/64461848652594426*e^12 - 2161912834286779/10743641442099071*e^11 + 26962001412811451/32230924326297213*e^10 + 390287530850838649/64461848652594426*e^9 - 207827347096142038/32230924326297213*e^8 - 2243890088274924163/32230924326297213*e^7 - 32800918135587839/2930084029663383*e^6 + 21087848823187826623/64461848652594426*e^5 + 16424558827350365051/64461848652594426*e^4 - 2845442892859856509/5860168059326766*e^3 - 16887836980893823627/32230924326297213*e^2 + 249335353946644481/2930084029663383*e + 4791224935954864774/32230924326297213, -4303814650043/5860168059326766*e^13 - 29055283619629/2930084029663383*e^12 - 94491951051879/1953389353108922*e^11 + 1007630355824303/5860168059326766*e^10 + 6561894784483930/2930084029663383*e^9 + 5750475647214886/2930084029663383*e^8 - 166889843888665237/5860168059326766*e^7 - 161955123941886389/2930084029663383*e^6 + 386404387911589705/2930084029663383*e^5 + 1000850995382114333/2930084029663383*e^4 - 862745929791648163/5860168059326766*e^3 - 1763496869395997786/2930084029663383*e^2 - 179798542822407247/2930084029663383*e + 597928000288774244/2930084029663383, 2075314850156959/64461848652594426*e^13 + 9823491112232383/64461848652594426*e^12 - 20427884429909379/21487282884198142*e^11 - 342003901378437421/64461848652594426*e^10 + 239344726130812600/32230924326297213*e^9 + 4095163383839433953/64461848652594426*e^8 + 349134072912198388/32230924326297213*e^7 - 1737233383312647461/5860168059326766*e^6 - 17921132110944188497/64461848652594426*e^5 + 12590250554869983935/32230924326297213*e^4 + 1697079028973034071/2930084029663383*e^3 + 1150564089535777297/32230924326297213*e^2 - 506503649205401927/2930084029663383*e - 1025322367649822710/32230924326297213, 327057515384152/32230924326297213*e^13 + 413970289449238/32230924326297213*e^12 - 9668187796254099/21487282884198142*e^11 - 35129621527090115/64461848652594426*e^10 + 491827781323701661/64461848652594426*e^9 + 568842230578011037/64461848652594426*e^8 - 1974237898218457579/32230924326297213*e^7 - 397855003759235563/5860168059326766*e^6 + 7395570300225669281/32230924326297213*e^5 + 15800279837309725949/64461848652594426*e^4 - 1892202644143202617/5860168059326766*e^3 - 10621051073039483665/32230924326297213*e^2 + 265761504441182249/2930084029663383*e + 2602094587281871123/32230924326297213, -1454777616636359/64461848652594426*e^13 - 4432221337485131/64461848652594426*e^12 + 18346597788001213/21487282884198142*e^11 + 166881334061425601/64461848652594426*e^10 - 379933370152258286/32230924326297213*e^9 - 2292140951886000427/64461848652594426*e^8 + 2335869723746234719/32230924326297213*e^7 + 1280507142981282409/5860168059326766*e^6 - 12378024742965942877/64461848652594426*e^5 - 19115047797482513926/32230924326297213*e^4 + 516950896749261473/2930084029663383*e^3 + 20638685216596553605/32230924326297213*e^2 + 43113416324643082/2930084029663383*e - 5411687094623412751/32230924326297213, -80652034461906/10743641442099071*e^13 - 815001986746935/21487282884198142*e^12 + 2484967591605483/10743641442099071*e^11 + 14766095541082790/10743641442099071*e^10 - 22158113959712525/10743641442099071*e^9 - 381800757010880711/21487282884198142*e^8 + 24955544208137779/21487282884198142*e^7 + 192763561889137667/1953389353108922*e^6 + 1124293243967493283/21487282884198142*e^5 - 2426431621747941394/10743641442099071*e^4 - 290048077414500103/1953389353108922*e^3 + 2294362349109300207/10743641442099071*e^2 + 92459678588200984/976694676554461*e - 811341265903414470/10743641442099071, 63623403772337/21487282884198142*e^13 + 939485570162795/21487282884198142*e^12 + 748680992448025/10743641442099071*e^11 - 14019774089525738/10743641442099071*e^10 - 103397130315674755/21487282884198142*e^9 + 113642368912858135/10743641442099071*e^8 + 723168165216698405/10743641442099071*e^7 + 8422781496796657/976694676554461*e^6 - 7312800763920774401/21487282884198142*e^5 - 7490016695824268601/21487282884198142*e^4 + 969790493572032509/1953389353108922*e^3 + 8072680935329650946/10743641442099071*e^2 - 43193014370829990/976694676554461*e - 2597060130084253760/10743641442099071, 294786594266/32230924326297213*e^13 - 3059642180836985/64461848652594426*e^12 - 4567657548642521/21487282884198142*e^11 + 92414396914427831/64461848652594426*e^10 + 478791919995059417/64461848652594426*e^9 - 388170038208252287/32230924326297213*e^8 - 5778629807096041897/64461848652594426*e^7 - 8872169513016265/2930084029663383*e^6 + 27481407364511979641/64461848652594426*e^5 + 22455408181650336019/64461848652594426*e^4 - 1783118776381006192/2930084029663383*e^3 - 24300344963750754347/32230924326297213*e^2 + 173687205679009918/2930084029663383*e + 6629639556641775776/32230924326297213, 7234828475487/10743641442099071*e^13 - 231078371166015/21487282884198142*e^12 - 1116968980005411/21487282884198142*e^11 + 8782513293133165/21487282884198142*e^10 + 28060000351286021/21487282884198142*e^9 - 61503804962808488/10743641442099071*e^8 - 308955463524036519/21487282884198142*e^7 + 35713819219619038/976694676554461*e^6 + 1556793712196760775/21487282884198142*e^5 - 2316992793207637681/21487282884198142*e^4 - 146503876253263318/976694676554461*e^3 + 1497301728511620499/10743641442099071*e^2 + 99622415757957758/976694676554461*e - 531002153616883819/10743641442099071, -474436615950982/32230924326297213*e^13 - 1789943154089194/32230924326297213*e^12 + 11827473500923863/21487282884198142*e^11 + 139897688428033781/64461848652594426*e^10 - 477413780068452175/64461848652594426*e^9 - 2028352451220544261/64461848652594426*e^8 + 1375578570565254928/32230924326297213*e^7 + 1227664937497935559/5860168059326766*e^6 - 2936829430821730031/32230924326297213*e^5 - 41221361082496789979/64461848652594426*e^4 + 17456406413798425/5860168059326766*e^3 + 25302229977378379009/32230924326297213*e^2 + 378067677221366224/2930084029663383*e - 7714712952484388875/32230924326297213, 290520876265489/21487282884198142*e^13 + 640415845865839/10743641442099071*e^12 - 9365960451495825/21487282884198142*e^11 - 46232281888748951/21487282884198142*e^10 + 47136983227299408/10743641442099071*e^9 + 296182286248951189/10743641442099071*e^8 - 228039320234803863/21487282884198142*e^7 - 146117263594684081/976694676554461*e^6 - 487079592588998267/10743641442099071*e^5 + 3434894545034039520/10743641442099071*e^4 + 274166481919857241/1953389353108922*e^3 - 2748913380686956517/10743641442099071*e^2 - 48152451609361514/976694676554461*e + 735963337759198234/10743641442099071, -409965627607603/21487282884198142*e^13 - 576076635836272/10743641442099071*e^12 + 15626740125011863/21487282884198142*e^11 + 43126540932703751/21487282884198142*e^10 - 109181889267932957/10743641442099071*e^9 - 293123159198758470/10743641442099071*e^8 + 1371248191075059973/21487282884198142*e^7 + 160649358916230880/976694676554461*e^6 - 1896273373318404266/10743641442099071*e^5 - 4612045480414218708/10743641442099071*e^4 + 355183239479831035/1953389353108922*e^3 + 4589200364185372057/10743641442099071*e^2 - 16011353773982729/976694676554461*e - 989800131085489024/10743641442099071, 745373243576773/32230924326297213*e^13 + 4355712036360898/32230924326297213*e^12 - 6394572870991198/10743641442099071*e^11 - 150900877362387976/32230924326297213*e^10 + 72864006010355141/32230924326297213*e^9 + 1790049411803277893/32230924326297213*e^8 + 1455843925360536986/32230924326297213*e^7 - 742530614250642899/2930084029663383*e^6 - 12308597281543991116/32230924326297213*e^5 + 9804222294503950099/32230924326297213*e^4 + 2055602375765104402/2930084029663383*e^3 + 2416785564763352963/32230924326297213*e^2 - 551074663265375686/2930084029663383*e - 277664283088309298/32230924326297213, 333868116102913/32230924326297213*e^13 + 1098769922630311/32230924326297213*e^12 - 8173601862153751/21487282884198142*e^11 - 82613184747299213/64461848652594426*e^10 + 323170743944740237/64461848652594426*e^9 + 1132136165331678457/64461848652594426*e^8 - 918980265584264446/32230924326297213*e^7 - 630998243655022285/5860168059326766*e^6 + 2098676110315723694/32230924326297213*e^5 + 18876745201127684939/64461848652594426*e^4 - 239483711675896111/5860168059326766*e^3 - 10559181647951653357/32230924326297213*e^2 - 102162461266915333/2930084029663383*e + 3432001496156096062/32230924326297213, 1284669536013403/64461848652594426*e^13 + 2422316885427845/32230924326297213*e^12 - 7267692869364061/10743641442099071*e^11 - 87512154150524018/32230924326297213*e^10 + 494509734119317175/64461848652594426*e^9 + 2245171713421948331/64461848652594426*e^8 - 1956325598262045037/64461848652594426*e^7 - 1111118737479909191/5860168059326766*e^6 + 105102093566617597/32230924326297213*e^5 + 26467069092467219521/64461848652594426*e^4 + 330308947312926515/2930084029663383*e^3 - 11189624168683875047/32230924326297213*e^2 - 248655816983221424/2930084029663383*e + 3597173011903112294/32230924326297213, -70780890243441/10743641442099071*e^13 - 460456898080383/21487282884198142*e^12 + 4859540942946907/21487282884198142*e^11 + 16221305449416379/21487282884198142*e^10 - 56485282829625137/21487282884198142*e^9 - 99465361315185858/10743641442099071*e^8 + 239420472818040301/21487282884198142*e^7 + 44853339243040218/976694676554461*e^6 - 112247285490223175/21487282884198142*e^5 - 1663754256398363171/21487282884198142*e^4 - 41602189557755538/976694676554461*e^3 + 371158971212018569/10743641442099071*e^2 + 57326639194948478/976694676554461*e - 85783980543306363/10743641442099071, 249844407296153/21487282884198142*e^13 + 1407184312160783/21487282884198142*e^12 - 5748956020456043/21487282884198142*e^11 - 45900589554438987/21487282884198142*e^10 + 459299282047460/10743641442099071*e^9 + 478204808762738895/21487282884198142*e^8 + 380783238522967035/10743641442099071*e^7 - 128741595076902249/1953389353108922*e^6 - 5291591473347621825/21487282884198142*e^5 - 1424702995428094133/10743641442099071*e^4 + 384768941493773781/976694676554461*e^3 + 5307133558829704603/10743641442099071*e^2 - 33225075020033218/976694676554461*e - 1709507133578729214/10743641442099071, -800718984471680/32230924326297213*e^13 - 3476510907087704/32230924326297213*e^12 + 16329043718576889/21487282884198142*e^11 + 239792199644162461/64461848652594426*e^10 - 430439064826439789/64461848652594426*e^9 - 2817037316366263841/64461848652594426*e^8 + 121112842912691603/32230924326297213*e^7 + 1136820779291599841/5860168059326766*e^6 + 4788521790443126063/32230924326297213*e^5 - 12626333362467905845/64461848652594426*e^4 - 1788208247214172117/5860168059326766*e^3 - 5298564073999754263/32230924326297213*e^2 + 95730714477366653/2930084029663383*e + 2029199473844065729/32230924326297213, 88977465785801/32230924326297213*e^13 - 2309758554171977/64461848652594426*e^12 - 6339323824896923/21487282884198142*e^11 + 69389518136882087/64461848652594426*e^10 + 524654777079436937/64461848652594426*e^9 - 286786985732774954/32230924326297213*e^8 - 5832801208018511167/64461848652594426*e^7 - 12673941329913202/2930084029663383*e^6 + 27111321389140835213/64461848652594426*e^5 + 17371126356297229027/64461848652594426*e^4 - 1867573387187321107/2930084029663383*e^3 - 18326143256693800559/32230924326297213*e^2 + 424267247359066324/2930084029663383*e + 5178807446421934097/32230924326297213, -18214533320853/1953389353108922*e^13 - 54855074549151/1953389353108922*e^12 + 355957699848210/976694676554461*e^11 + 1082464079286916/976694676554461*e^10 - 10310447492296235/1953389353108922*e^9 - 15919839942350826/976694676554461*e^8 + 34003544220292650/976694676554461*e^7 + 108360613202100206/976694676554461*e^6 - 198676949828224261/1953389353108922*e^5 - 685604036898300973/1953389353108922*e^4 + 194146463319773699/1953389353108922*e^3 + 443741375604877889/976694676554461*e^2 + 23568334609901735/976694676554461*e - 146381683090533390/976694676554461, -47550377914543/64461848652594426*e^13 - 3188407523833459/64461848652594426*e^12 - 4252732518607053/21487282884198142*e^11 + 96035952651121867/64461848652594426*e^10 + 241054582493499209/32230924326297213*e^9 - 802522095313121297/64461848652594426*e^8 - 2967404585896748398/32230924326297213*e^7 - 21689313450404563/5860168059326766*e^6 + 28337815891669174645/64461848652594426*e^5 + 11700987425278849882/32230924326297213*e^4 - 1818646933900841420/2930084029663383*e^3 - 25401119603404305565/32230924326297213*e^2 + 134773571952183782/2930084029663383*e + 6933594265461927478/32230924326297213, 349110184461625/21487282884198142*e^13 + 1434971258007961/21487282884198142*e^12 - 6134483970071833/10743641442099071*e^11 - 26964158643608715/10743641442099071*e^10 + 148350755913140981/21487282884198142*e^9 + 368975875573144880/10743641442099071*e^8 - 344078528704290984/10743641442099071*e^7 - 204623073497315641/976694676554461*e^6 + 696090206088712977/21487282884198142*e^5 + 12091101081711756191/21487282884198142*e^4 + 138908969813604821/1953389353108922*e^3 - 6621088505405478229/10743641442099071*e^2 - 99618202178349766/976694676554461*e + 1928340684964487733/10743641442099071, 474926538423364/32230924326297213*e^13 + 2971655318858986/32230924326297213*e^12 - 3308930075747866/10743641442099071*e^11 - 97449142859874484/32230924326297213*e^10 - 34206002584976995/32230924326297213*e^9 + 1027789861352138864/32230924326297213*e^8 + 1903079480474966582/32230924326297213*e^7 - 291013743205632308/2930084029663383*e^6 - 12450644206120548559/32230924326297213*e^5 - 5074266183349197377/32230924326297213*e^4 + 1873380266762880286/2930084029663383*e^3 + 21271787808792979877/32230924326297213*e^2 - 325077100114031848/2930084029663383*e - 7169566728181312217/32230924326297213, -209127541808197/64461848652594426*e^13 - 1424012439494467/64461848652594426*e^12 + 733825151407735/10743641442099071*e^11 + 23711136147202958/32230924326297213*e^10 + 11427399228600217/64461848652594426*e^9 - 259517584635904660/32230924326297213*e^8 - 373126443766775482/32230924326297213*e^7 + 85471011847539427/2930084029663383*e^6 + 4618533530362560217/64461848652594426*e^5 + 533336083900128017/64461848652594426*e^4 - 537872935100517055/5860168059326766*e^3 - 3202081258517205910/32230924326297213*e^2 - 91343613332921782/2930084029663383*e + 803092843166907058/32230924326297213, 117298037442073/21487282884198142*e^13 + 894618198413529/10743641442099071*e^12 + 2123154104377577/21487282884198142*e^11 - 57508940136702639/21487282884198142*e^10 - 84562496427664056/10743641442099071*e^9 + 288800640055019935/10743641442099071*e^8 + 2426444944865694139/21487282884198142*e^7 - 64649309004216348/976694676554461*e^6 - 6289917730651902692/10743641442099071*e^5 - 2737460339382751725/10743641442099071*e^4 + 1800993021024333813/1953389353108922*e^3 + 8079407899882910763/10743641442099071*e^2 - 202242747450293133/976694676554461*e - 2399545955111087602/10743641442099071, -209927425409887/21487282884198142*e^13 - 725522934531179/21487282884198142*e^12 + 3857967774610410/10743641442099071*e^11 + 13497811120492539/10743641442099071*e^10 - 101459287495126505/21487282884198142*e^9 - 182046664342207029/10743641442099071*e^8 + 286240874950858009/10743641442099071*e^7 + 98844247541486803/976694676554461*e^6 - 1298520986155936327/21487282884198142*e^5 - 5671743159172748235/21487282884198142*e^4 + 89764339430343457/1953389353108922*e^3 + 3031440044681536398/10743641442099071*e^2 + 10611442006409753/976694676554461*e - 831692188345023525/10743641442099071, 174685832375261/5860168059326766*e^13 + 726789276453119/5860168059326766*e^12 - 1900207400887857/1953389353108922*e^11 - 26072674673651909/5860168059326766*e^10 + 29669861309627999/2930084029663383*e^9 + 330183547554725125/5860168059326766*e^8 - 86477527588042186/2930084029663383*e^7 - 1749440061818619251/5860168059326766*e^6 - 388578101315986025/5860168059326766*e^5 + 1767874035752705635/2930084029663383*e^4 + 731282218552975361/2930084029663383*e^3 - 1298137834525656523/2930084029663383*e^2 - 330656589942141029/2930084029663383*e + 391411062381150436/2930084029663383, -2437500264728917/64461848652594426*e^13 - 11234153124107941/64461848652594426*e^12 + 12369917449470675/10743641442099071*e^11 + 197299780189834661/32230924326297213*e^10 - 641832129564979877/64461848652594426*e^9 - 2401780458475651096/32230924326297213*e^8 + 85396287187201718/32230924326297213*e^7 + 1059052131992456020/2930084029663383*e^6 + 15973970982340158805/64461848652594426*e^5 - 35778415284303837631/64461848652594426*e^4 - 3132794395925208631/5860168059326766*e^3 + 4118617852349634065/32230924326297213*e^2 + 356843756616286295/2930084029663383*e - 195557061617634608/32230924326297213, -228009282526999/32230924326297213*e^13 - 2969746052373065/64461848652594426*e^12 + 1620576662257038/10743641442099071*e^11 + 50437635879459766/32230924326297213*e^10 + 12544989763272271/32230924326297213*e^9 - 1147381789900244743/64461848652594426*e^8 - 1716245436622791619/64461848652594426*e^7 + 422436015775448263/5860168059326766*e^6 + 11286863535380605361/64461848652594426*e^5 - 1018392424503648847/32230924326297213*e^4 - 1667258144537242493/5860168059326766*e^3 - 4597000095444731402/32230924326297213*e^2 + 135028823855770831/2930084029663383*e + 1003702901026599506/32230924326297213, 101675354124100/32230924326297213*e^13 - 795234105005699/32230924326297213*e^12 - 6194020247686761/21487282884198142*e^11 + 42540878807628643/64461848652594426*e^10 + 489054278692002571/64461848652594426*e^9 - 213619440256772003/64461848652594426*e^8 - 2661424780647860140/32230924326297213*e^7 - 215353621209470593/5860168059326766*e^6 + 12244148129331936140/32230924326297213*e^5 + 22430276223523998479/64461848652594426*e^4 - 3365920792151678521/5860168059326766*e^3 - 20801049287923222732/32230924326297213*e^2 + 359291639480307368/2930084029663383*e + 5945530897335619321/32230924326297213, -464639464175901/21487282884198142*e^13 - 1250655524738911/21487282884198142*e^12 + 18346705646545279/21487282884198142*e^11 + 47840198344788439/21487282884198142*e^10 - 134861065530521449/10743641442099071*e^9 - 672297070831641403/21487282884198142*e^8 + 913458701762465080/10743641442099071*e^7 + 388109918080012167/1953389353108922*e^6 - 5677295848953877791/21487282884198142*e^5 - 6040541428665894613/10743641442099071*e^4 + 314159063384232998/976694676554461*e^3 + 6564166128336794497/10743641442099071*e^2 - 66829581796552019/976694676554461*e - 1511345105048842020/10743641442099071, -1126379692801117/64461848652594426*e^13 - 7172312174877979/64461848652594426*e^12 + 9869683389613581/21487282884198142*e^11 + 255301155761309029/64461848652594426*e^10 - 64459527892462570/32230924326297213*e^9 - 3185130264030786761/64461848652594426*e^8 - 1015672584219435493/32230924326297213*e^7 + 1482864164173164587/5860168059326766*e^6 + 18403315485817267525/64461848652594426*e^5 - 14956446000483587969/32230924326297213*e^4 - 1683690041188582028/2930084029663383*e^3 + 8689530226077322640/32230924326297213*e^2 + 690652852501152494/2930084029663383*e - 2772366195318718169/32230924326297213, 54520882497181/21487282884198142*e^13 + 434100253207773/21487282884198142*e^12 - 723361767444927/10743641442099071*e^11 - 8094597246480055/10743641442099071*e^10 + 5900939685854923/21487282884198142*e^9 + 109502332069886040/10743641442099071*e^8 + 59083857693328999/10743641442099071*e^7 - 59738559215240442/976694676554461*e^6 - 1135767680271215829/21487282884198142*e^5 + 3493019149708711191/21487282884198142*e^4 + 258219823283382941/1953389353108922*e^3 - 2059017390794931183/10743641442099071*e^2 - 81863921452516470/976694676554461*e + 728347408222232660/10743641442099071, -414085952831739/10743641442099071*e^13 - 1134485266867962/10743641442099071*e^12 + 16526823915754351/10743641442099071*e^11 + 44847972787251002/10743641442099071*e^10 - 246090230483324816/10743641442099071*e^9 - 660823883510500125/10743641442099071*e^8 + 1685299710096587909/10743641442099071*e^7 + 409009098489418163/976694676554461*e^6 - 5191257361927786257/10743641442099071*e^5 - 14097714050075562838/10743641442099071*e^4 + 509617551571865679/976694676554461*e^3 + 17316587657276514202/10743641442099071*e^2 - 14098585451196146/976694676554461*e - 4660592717585570631/10743641442099071, -491315984630807/21487282884198142*e^13 - 2890155955769213/21487282884198142*e^12 + 12608101297744035/21487282884198142*e^11 + 100607050022458477/21487282884198142*e^10 - 23151620325985422/10743641442099071*e^9 - 1203682817749543251/21487282884198142*e^8 - 492894234646756664/10743641442099071*e^7 + 509166006808919233/1953389353108922*e^6 + 8259579568852597833/21487282884198142*e^5 - 3663473069121380033/10743641442099071*e^4 - 689509932278302490/976694676554461*e^3 - 158843311306002515/10743641442099071*e^2 + 203145973146624383/976694676554461*e - 151783087488780915/10743641442099071, 502407390413653/21487282884198142*e^13 + 721879863886029/21487282884198142*e^12 - 11988993791183293/10743641442099071*e^11 - 18790765885783086/10743641442099071*e^10 + 434609000393504117/21487282884198142*e^9 + 369466490930988540/10743641442099071*e^8 - 1830449939725998330/10743641442099071*e^7 - 307269417340380180/976694676554461*e^6 + 13712922382172543521/21487282884198142*e^5 + 28095541694165546967/21487282884198142*e^4 - 1446983401144412959/1953389353108922*e^3 - 20749594341724063331/10743641442099071*e^2 - 77947547727646146/976694676554461*e + 5867369629692070617/10743641442099071, -62999067493169/10743641442099071*e^13 - 863749625908247/10743641442099071*e^12 - 1356329065997747/10743641442099071*e^11 + 25684879882444571/10743641442099071*e^10 + 97919114027847511/10743641442099071*e^9 - 205607539843898215/10743641442099071*e^8 - 1377422951204728216/10743641442099071*e^7 - 19252608351849150/976694676554461*e^6 + 6975333827161377710/10743641442099071*e^5 + 7093440710744693529/10743641442099071*e^4 - 928001424062419626/976694676554461*e^3 - 15166705866136673443/10743641442099071*e^2 + 96696771413621593/976694676554461*e + 4684570001077227276/10743641442099071, -198013059127667/21487282884198142*e^13 + 178147686386948/10743641442099071*e^12 + 6005772586945303/10743641442099071*e^11 - 3037119137040243/10743641442099071*e^10 - 262079342494151387/21487282884198142*e^9 - 74147992446776143/21487282884198142*e^8 + 2563981836056852853/21487282884198142*e^7 + 184614618414935253/1953389353108922*e^6 - 5501435120923388314/10743641442099071*e^5 - 12422437915469316253/21487282884198142*e^4 + 714226618197320669/976694676554461*e^3 + 10524400922127095985/10743641442099071*e^2 - 130666412716996124/976694676554461*e - 2886866470602285997/10743641442099071, 149901534138553/10743641442099071*e^13 + 1464015388965969/21487282884198142*e^12 - 9827230559263005/21487282884198142*e^11 - 54782312809398217/21487282884198142*e^10 + 102383394109977133/21487282884198142*e^9 + 372697744563658296/10743641442099071*e^8 - 282868340864522975/21487282884198142*e^7 - 205303476798238596/976694676554461*e^6 - 951365662224940717/21487282884198142*e^5 + 12105276882063267381/21487282884198142*e^4 + 185737869874556945/976694676554461*e^3 - 6900084685516508649/10743641442099071*e^2 - 156096003361929131/976694676554461*e + 2350140722738258211/10743641442099071, -577543091083333/32230924326297213*e^13 - 7959933784176161/64461848652594426*e^12 + 8355989633856455/21487282884198142*e^11 + 273151195842932243/64461848652594426*e^10 + 49900619588089973/64461848652594426*e^9 - 1590020278606543298/32230924326297213*e^8 - 4222192918827389815/64461848652594426*e^7 + 627715301768844335/2930084029663383*e^6 + 28487456118691888355/64461848652594426*e^5 - 12328331341320288827/64461848652594426*e^4 - 2230162812946471894/2930084029663383*e^3 - 6943120806949889219/32230924326297213*e^2 + 554130347585783473/2930084029663383*e + 1508927061972445085/32230924326297213, 967344838503473/32230924326297213*e^13 + 10831953820975723/64461848652594426*e^12 - 8700914479871431/10743641442099071*e^11 - 188325869809375799/32230924326297213*e^10 + 137959313011258690/32230924326297213*e^9 + 4501924460832167585/64461848652594426*e^8 + 2674137165833484077/64461848652594426*e^7 - 1903765225151455661/5860168059326766*e^6 - 26083993612576460191/64461848652594426*e^5 + 13700503622411274677/32230924326297213*e^4 + 4302746179966270003/5860168059326766*e^3 + 1101836030698930756/32230924326297213*e^2 - 462512486890239617/2930084029663383*e - 407021276696861632/32230924326297213, 95885009940682/10743641442099071*e^13 + 1944050626214035/21487282884198142*e^12 - 671775941051513/21487282884198142*e^11 - 61664423857869751/21487282884198142*e^10 - 130299146248429581/21487282884198142*e^9 + 299072144133609505/10743641442099071*e^8 + 2171828683146241015/21487282884198142*e^7 - 53457802944101539/976694676554461*e^6 - 11685001093382279621/21487282884198142*e^5 - 7837505331815132581/21487282884198142*e^4 + 808050369441404199/976694676554461*e^3 + 10437989379050423651/10743641442099071*e^2 - 108276382993085979/976694676554461*e - 3087810804894461180/10743641442099071, -116791303496756/10743641442099071*e^13 - 474223703176429/21487282884198142*e^12 + 4768594690449390/10743641442099071*e^11 + 9197226703578341/10743641442099071*e^10 - 73620074737656622/10743641442099071*e^9 - 264192857664878997/21487282884198142*e^8 + 1072337958646378019/21487282884198142*e^7 + 158232154430809853/1953389353108922*e^6 - 3714874611763531169/21487282884198142*e^5 - 2626662337328278937/10743641442099071*e^4 + 483953945625077485/1953389353108922*e^3 + 3172282182976129527/10743641442099071*e^2 - 92096078022778723/976694676554461*e - 916283690881433254/10743641442099071, 111474777559127/21487282884198142*e^13 - 262276140475782/10743641442099071*e^12 - 8534473646957361/21487282884198142*e^11 + 11537383318890515/21487282884198142*e^10 + 104463288981109994/10743641442099071*e^9 + 9133987489444946/10743641442099071*e^8 - 2171720497360128295/21487282884198142*e^7 - 85483758143901449/976694676554461*e^6 + 4760494412502439684/10743641442099071*e^5 + 6425223428411657347/10743641442099071*e^4 - 1167923919202270367/1953389353108922*e^3 - 11186688182317990038/10743641442099071*e^2 + 29805317992747157/976694676554461*e + 3084766248965308011/10743641442099071, -2040211111698839/64461848652594426*e^13 - 11271674076345107/64461848652594426*e^12 + 8737176969074789/10743641442099071*e^11 + 192539483493532753/32230924326297213*e^10 - 195623368957992361/64461848652594426*e^9 - 2220131010649313507/32230924326297213*e^8 - 2018356887289685762/32230924326297213*e^7 + 853295422178241185/2930084029663383*e^6 + 33893020015855004327/64461848652594426*e^5 - 13626049974038551703/64461848652594426*e^4 - 5609462511734419019/5860168059326766*e^3 - 12914062184333244383/32230924326297213*e^2 + 710070150870253414/2930084029663383*e + 4125511830634264634/32230924326297213, -1545855956892707/64461848652594426*e^13 - 5958921444717707/64461848652594426*e^12 + 17912363675149837/21487282884198142*e^11 + 221658077718970463/64461848652594426*e^10 - 318206769522830930/32230924326297213*e^9 - 2985449867729688121/64461848652594426*e^8 + 1394881417109939710/32230924326297213*e^7 + 1614468398813978425/5860168059326766*e^6 - 1655291167625595163/64461848652594426*e^5 - 22900447772221309711/32230924326297213*e^4 - 458187296284800115/2930084029663383*e^3 + 24037763901620920405/32230924326297213*e^2 + 529460251756898755/2930084029663383*e - 7206165235603878052/32230924326297213, 1499191268539441/64461848652594426*e^13 + 4803752398193393/32230924326297213*e^12 - 5009018105170439/10743641442099071*e^11 - 157081184108612534/32230924326297213*e^10 - 148605766691106811/64461848652594426*e^9 + 3291670736370211517/64461848652594426*e^8 + 6413920624569478847/64461848652594426*e^7 - 907508174220546437/5860168059326766*e^6 - 20215879650516774635/32230924326297213*e^5 - 18014783477098813967/64461848652594426*e^4 + 2862938258215579220/2930084029663383*e^3 + 35126523145862383165/32230924326297213*e^2 - 259441472218460552/2930084029663383*e - 10592532895907641498/32230924326297213, -446088358068227/64461848652594426*e^13 - 1653966781002293/64461848652594426*e^12 + 5430033438886377/21487282884198142*e^11 + 63031137630433415/64461848652594426*e^10 - 105310065532163609/32230924326297213*e^9 - 884609531584358425/64461848652594426*e^8 + 560503587068474713/32230924326297213*e^7 + 514711639240708213/5860168059326766*e^6 - 1860683348649747907/64461848652594426*e^5 - 8359295267528910124/32230924326297213*e^4 - 74395508547739210/2930084029663383*e^3 + 10737987621764114212/32230924326297213*e^2 + 211482179503083157/2930084029663383*e - 4053924637705292011/32230924326297213, 355036897300616/32230924326297213*e^13 + 507648080185064/32230924326297213*e^12 - 11236121038320741/21487282884198142*e^11 - 50738845675146643/64461848652594426*e^10 + 610302991770167831/64461848652594426*e^9 + 964843205120597153/64461848652594426*e^8 - 2587928898003443075/32230924326297213*e^7 - 782011083435326033/5860168059326766*e^6 + 9944573728930462099/32230924326297213*e^5 + 35121054177537307093/64461848652594426*e^4 - 2337292108859426999/5860168059326766*e^3 - 25722937648258094888/32230924326297213*e^2 + 76800145669163368/2930084029663383*e + 7283932465985364884/32230924326297213, -495061148850817/32230924326297213*e^13 - 1318771027470131/64461848652594426*e^12 + 7839533561104725/10743641442099071*e^11 + 33412713656495530/32230924326297213*e^10 - 425998308326508395/32230924326297213*e^9 - 1289637540665892961/64461848652594426*e^8 + 7222705014808677395/64461848652594426*e^7 + 1060643046891352579/5860168059326766*e^6 - 27689782536595007569/64461848652594426*e^5 - 24115219506318056284/32230924326297213*e^4 + 3235237117429752541/5860168059326766*e^3 + 35561722601820119824/32230924326297213*e^2 - 128552652182022896/2930084029663383*e - 10348289265456090589/32230924326297213, 159753277587381/21487282884198142*e^13 - 106312008842858/10743641442099071*e^12 - 9491669815186443/21487282884198142*e^11 + 950915242704221/21487282884198142*e^10 + 101527037785930376/10743641442099071*e^9 + 69423411521280284/10743641442099071*e^8 - 1936264268042921457/21487282884198142*e^7 - 108203988500054173/976694676554461*e^6 + 3957116169388800600/10743641442099071*e^5 + 6636414773497347155/10743641442099071*e^4 - 868236119766576571/1953389353108922*e^3 - 11297363443363606801/10743641442099071*e^2 - 36991166123282457/976694676554461*e + 3576526153478333922/10743641442099071, -108082420633687/5860168059326766*e^13 - 393263297116925/2930084029663383*e^12 + 689285370183685/1953389353108922*e^11 + 26452669229053231/5860168059326766*e^10 + 7204222613807678/2930084029663383*e^9 - 147388721441761558/2930084029663383*e^8 - 512202161737790495/5860168059326766*e^7 + 559440987907509755/2930084029663383*e^6 + 1604691708597775667/2930084029663383*e^5 + 17398819519478839/2930084029663383*e^4 - 5283670769927263031/5860168059326766*e^3 - 1751512061941917385/2930084029663383*e^2 + 561774005645071411/2930084029663383*e + 572608947068071810/2930084029663383, -495239054419343/64461848652594426*e^13 - 909103592648927/64461848652594426*e^12 + 6549307027085901/21487282884198142*e^11 + 32684962521787847/64461848652594426*e^10 - 145602190374172178/32230924326297213*e^9 - 415523135937886003/64461848652594426*e^8 + 1000502656587398791/32230924326297213*e^7 + 201029423465886025/5860168059326766*e^6 - 6415048512606872407/64461848652594426*e^5 - 2154313695852717103/32230924326297213*e^4 + 395981804490758402/2930084029663383*e^3 + 755753896123858459/32230924326297213*e^2 - 190757543375068520/2930084029663383*e + 612526219465258988/32230924326297213, 1816604116259159/64461848652594426*e^13 + 8352726084779513/64461848652594426*e^12 - 9590274504744783/10743641442099071*e^11 - 151125546070423165/32230924326297213*e^10 + 553003367344956295/64461848652594426*e^9 + 1941025179010040171/32230924326297213*e^8 - 478935181297660066/32230924326297213*e^7 - 959444611396133309/2930084029663383*e^6 - 8736288043528494287/64461848652594426*e^5 + 45207485397119489225/64461848652594426*e^4 + 2315303639057045903/5860168059326766*e^3 - 18336811841041512430/32230924326297213*e^2 - 612175306883134825/2930084029663383*e + 4949735436161396920/32230924326297213, -217251067735969/32230924326297213*e^13 - 327947817139288/32230924326297213*e^12 + 6926740751984715/21487282884198142*e^11 + 34537614660655637/64461848652594426*e^10 - 378478831943981893/64461848652594426*e^9 - 684764179379485501/64461848652594426*e^8 + 1608144586240551682/32230924326297213*e^7 + 571204698903786937/5860168059326766*e^6 - 6125461932600279923/32230924326297213*e^5 - 25864595297761601363/64461848652594426*e^4 + 1361960349886518877/5860168059326766*e^3 + 18108326758623026371/32230924326297213*e^2 + 15943827634260739/2930084029663383*e - 3832048571839188868/32230924326297213, -14269723334789/2930084029663383*e^13 + 24082264944829/2930084029663383*e^12 + 267771997771159/976694676554461*e^11 - 680666442590974/2930084029663383*e^10 - 16858401351780337/2930084029663383*e^9 + 4517986761307241/2930084029663383*e^8 + 163789812453813116/2930084029663383*e^7 + 19973439025126799/2930084029663383*e^6 - 731511008804194138/2930084029663383*e^5 - 255664704043851341/2930084029663383*e^4 + 1240391810028564155/2930084029663383*e^3 + 445542507150917051/2930084029663383*e^2 - 498644773231447121/2930084029663383*e - 45959164252845182/2930084029663383, -18395217137724/10743641442099071*e^13 + 23148032072663/21487282884198142*e^12 + 904081631786925/10743641442099071*e^11 - 343588305833873/10743641442099071*e^10 - 16779190270459352/10743641442099071*e^9 + 4514701984546053/21487282884198142*e^8 + 284637808962137963/21487282884198142*e^7 + 2954029592592635/1953389353108922*e^6 - 1020856064179230023/21487282884198142*e^5 - 197895616273024786/10743641442099071*e^4 + 79372134561874545/1953389353108922*e^3 + 403872605598860889/10743641442099071*e^2 + 19247550860591044/976694676554461*e - 270879884540053113/10743641442099071, 377401869740440/32230924326297213*e^13 + 2437490284680835/32230924326297213*e^12 - 2973543587380324/10743641442099071*e^11 - 82812533114326348/32230924326297213*e^10 + 9483608924148230/32230924326297213*e^9 + 944107824908623913/32230924326297213*e^8 + 1058744711144848643/32230924326297213*e^7 - 350485678287457094/2930084029663383*e^6 - 7646655949364705692/32230924326297213*e^5 + 1828745872252916203/32230924326297213*e^4 + 1167575337144477712/2930084029663383*e^3 + 7964365173227014826/32230924326297213*e^2 - 223456996393033006/2930084029663383*e - 2925245011238510957/32230924326297213, 311659152116155/21487282884198142*e^13 + 921564700521325/10743641442099071*e^12 - 3595427155353037/10743641442099071*e^11 - 30198051793572786/10743641442099071*e^10 + 2821787294034405/21487282884198142*e^9 + 636247935958378387/21487282884198142*e^8 + 911148832700194785/21487282884198142*e^7 - 179588845755108463/1953389353108922*e^6 - 3125066949530958429/10743641442099071*e^5 - 3179272863553013603/21487282884198142*e^4 + 423053437644337763/976694676554461*e^3 + 6654836551928922305/10743641442099071*e^2 + 17975813343285660/976694676554461*e - 2250964851319922288/10743641442099071, -525402696604017/21487282884198142*e^13 - 1057497616656535/10743641442099071*e^12 + 9095974585843811/10743641442099071*e^11 + 39173184106292195/10743641442099071*e^10 - 213978887386574305/21487282884198142*e^9 - 1046534566858391785/21487282884198142*e^8 + 927910768530376515/21487282884198142*e^7 + 555972109297168839/1953389353108922*e^6 - 287498226619144485/10743641442099071*e^5 - 15157559982727114323/21487282884198142*e^4 - 128305804708601453/976694676554461*e^3 + 7465136508738213834/10743641442099071*e^2 + 149955833029624766/976694676554461*e - 2230680828021320624/10743641442099071, -1511229703776065/64461848652594426*e^13 - 5354190717306994/32230924326297213*e^12 + 4729723383990986/10743641442099071*e^11 + 178332248829756103/32230924326297213*e^10 + 222036759275510411/64461848652594426*e^9 - 3896551059244103473/64461848652594426*e^8 - 7454565842732575951/64461848652594426*e^7 + 1263091620093148489/5860168059326766*e^6 + 23378456441090056381/32230924326297213*e^5 + 6516314213089854211/64461848652594426*e^4 - 3591938675109285265/2930084029663383*e^3 - 28141476645174394328/32230924326297213*e^2 + 899363237970426538/2930084029663383*e + 8671361373223546841/32230924326297213, -115889739468114/10743641442099071*e^13 - 37670169931465/21487282884198142*e^12 + 11613748050919083/21487282884198142*e^11 + 6031609903181881/21487282884198142*e^10 - 220293347617318961/21487282884198142*e^9 - 92052842290295345/10743641442099071*e^8 + 1936648016318081961/21487282884198142*e^7 + 98407194588914144/976694676554461*e^6 - 7580722689962895071/21487282884198142*e^5 - 10473801285319285465/21487282884198142*e^4 + 429724760052669621/976694676554461*e^3 + 8157958574458955067/10743641442099071*e^2 + 6185957461971743/976694676554461*e - 2032300224855474146/10743641442099071, 532125902647433/10743641442099071*e^13 + 3380069264704383/21487282884198142*e^12 - 19948208277970198/10743641442099071*e^11 - 64046121378571214/10743641442099071*e^10 + 271013387525434205/10743641442099071*e^9 + 1775414223567538013/21487282884198142*e^8 - 3229451247895215887/21487282884198142*e^7 - 1004805933757761885/1953389353108922*e^6 + 7947441310216026771/21487282884198142*e^5 + 15272276691463249572/10743641442099071*e^4 - 517844209667548415/1953389353108922*e^3 - 16745709223535877212/10743641442099071*e^2 - 118706729762029488/976694676554461*e + 4455293954997044647/10743641442099071, 26675165001916/2930084029663383*e^13 + 376738921127555/5860168059326766*e^12 - 173836863766508/976694676554461*e^11 - 6321252444803236/2930084029663383*e^10 - 3083976613799740/2930084029663383*e^9 + 140481019386167335/5860168059326766*e^8 + 238032307699268245/5860168059326766*e^7 - 531534606052083203/5860168059326766*e^6 - 1480904430416869319/5860168059326766*e^5 - 4227575413749314/2930084029663383*e^4 + 2311384172371874695/5860168059326766*e^3 + 777647619954827861/2930084029663383*e^2 - 155645068124399885/2930084029663383*e - 200273919867094793/2930084029663383, 2995600937127787/64461848652594426*e^13 + 11810177239636855/64461848652594426*e^12 - 16564919988224716/10743641442099071*e^11 - 210672346428034928/32230924326297213*e^10 + 1075650390087348575/64461848652594426*e^9 + 2640967570306081501/32230924326297213*e^8 - 1848035128832683442/32230924326297213*e^7 - 1243540298414583919/2930084029663383*e^6 - 2801217937292863141/64461848652594426*e^5 + 51559511057064186553/64461848652594426*e^4 + 1568563091731520509/5860168059326766*e^3 - 14730352207405586762/32230924326297213*e^2 - 301717166765193080/2930084029663383*e + 2528713893367468319/32230924326297213, 211395263275991/32230924326297213*e^13 + 1345450173712303/64461848652594426*e^12 - 5530298532223995/21487282884198142*e^11 - 51612989555901007/64461848652594426*e^10 + 241915589839288973/64461848652594426*e^9 + 365813834194363318/32230924326297213*e^8 - 1616079374966781337/64461848652594426*e^7 - 216394429202760913/2930084029663383*e^6 + 4823663618172650855/64461848652594426*e^5 + 14412544410521530453/64461848652594426*e^4 - 214840317262655722/2930084029663383*e^3 - 9270137503446568469/32230924326297213*e^2 - 77903846288073272/2930084029663383*e + 3148709526667329275/32230924326297213, 1030130174060173/21487282884198142*e^13 + 2879783402830280/10743641442099071*e^12 - 27246052370717267/21487282884198142*e^11 - 199972256053302265/21487282884198142*e^10 + 62829900013362413/10743641442099071*e^9 + 1191725114292098332/10743641442099071*e^8 + 1722388951640423819/21487282884198142*e^7 - 500958809807189383/976694676554461*e^6 - 7863060332382601609/10743641442099071*e^5 + 7086447128993860250/10743641442099071*e^4 + 2710819551968922033/1953389353108922*e^3 + 485860983276826015/10743641442099071*e^2 - 404034843446719712/976694676554461*e + 256714307997688933/10743641442099071, -217523365264347/10743641442099071*e^13 - 1132779156217601/10743641442099071*e^12 + 11269835695627045/21487282884198142*e^11 + 75850473098396567/21487282884198142*e^10 - 45481501112445111/21487282884198142*e^9 - 838276218990281361/21487282884198142*e^8 - 400003656668585392/10743641442099071*e^7 + 282426947496684511/1953389353108922*e^6 + 3375789889039960060/10743641442099071*e^5 + 641529484366237527/21487282884198142*e^4 - 1041769561315747377/1953389353108922*e^3 - 5613345023376738496/10743641442099071*e^2 + 77565237036410773/976694676554461*e + 2003948474268616488/10743641442099071, -1638941030202386/32230924326297213*e^13 - 6834582745947488/32230924326297213*e^12 + 36828765203940705/21487282884198142*e^11 + 500315457841941289/64461848652594426*e^10 - 1232993414837899229/64461848652594426*e^9 - 6563367430867646231/64461848652594426*e^8 + 2304175566533351996/32230924326297213*e^7 + 3387215948885569127/5860168059326766*e^6 + 860840446197021275/32230924326297213*e^5 - 88002338310677234995/64461848652594426*e^4 - 2216454784764251839/5860168059326766*e^3 + 41497631375623334864/32230924326297213*e^2 + 908134455095251742/2930084029663383*e - 11753846770104267164/32230924326297213, -715653616781173/21487282884198142*e^13 - 4748780325315975/21487282884198142*e^12 + 15922427382856581/21487282884198142*e^11 + 161809937797434511/21487282884198142*e^10 + 8665276966225351/10743641442099071*e^9 - 1855617002501937359/21487282884198142*e^8 - 1224691854077563235/10743641442099071*e^7 + 701134606605260769/1953389353108922*e^6 + 16790299657467644481/21487282884198142*e^5 - 2314125900690382454/10743641442099071*e^4 - 1304368294081602184/976694676554461*e^3 - 6671078049584750402/10743641442099071*e^2 + 300562676693893871/976694676554461*e + 2274815879225216586/10743641442099071, -443772073834053/21487282884198142*e^13 - 1258877464230433/10743641442099071*e^12 + 6062058990016979/10743641442099071*e^11 + 44308707804417971/10743641442099071*e^10 - 67147558015773019/21487282884198142*e^9 - 1083910537609466485/21487282884198142*e^8 - 595390953188119323/21487282884198142*e^7 + 484193414853815153/1953389353108922*e^6 + 3093808545604973545/10743641442099071*e^5 - 8655126177397580747/21487282884198142*e^4 - 571080885327631942/976694676554461*e^3 + 1724123039115909308/10743641442099071*e^2 + 208941588949815526/976694676554461*e - 833826430602159191/10743641442099071, 198917877662946/10743641442099071*e^13 + 1486469803730101/21487282884198142*e^12 - 11864841049510871/21487282884198142*e^11 - 48562754679464203/21487282884198142*e^10 + 96676900284367801/21487282884198142*e^9 + 252762714376710050/10743641442099071*e^8 + 53823271363197129/21487282884198142*e^7 - 66720862680091245/976694676554461*e^6 - 2791594786039069975/21487282884198142*e^5 - 3383361854244418465/21487282884198142*e^4 + 211471429236609118/976694676554461*e^3 + 6289736640052265572/10743641442099071*e^2 + 58301970041503388/976694676554461*e - 2302916189500958334/10743641442099071, 51271050690789/21487282884198142*e^13 + 37788235874460/10743641442099071*e^12 - 1043392254690855/10743641442099071*e^11 - 1595090643875230/10743641442099071*e^10 + 31760209692312907/21487282884198142*e^9 + 51318523475962137/21487282884198142*e^8 - 223255672748593427/21487282884198142*e^7 - 35726590666774077/1953389353108922*e^6 + 356879632888841947/10743641442099071*e^5 + 1444457534875270887/21487282884198142*e^4 - 36746087650443204/976694676554461*e^3 - 1136238932439319264/10743641442099071*e^2 - 4554479634236250/976694676554461*e + 579264457279724878/10743641442099071, -276950191209083/64461848652594426*e^13 - 456431064785128/32230924326297213*e^12 + 1559064187212766/10743641442099071*e^11 + 15477343898359111/32230924326297213*e^10 - 104069025621871825/64461848652594426*e^9 - 353313210907805431/64461848652594426*e^8 + 370556448311947757/64461848652594426*e^7 + 133365178635961843/5860168059326766*e^6 + 204795782700898396/32230924326297213*e^5 - 931122561599411633/64461848652594426*e^4 - 145167166952228890/2930084029663383*e^3 - 1188678056393662751/32230924326297213*e^2 + 129102557230297573/2930084029663383*e + 573661292148004208/32230924326297213, -184863725995436/10743641442099071*e^13 - 110131838443831/21487282884198142*e^12 + 19272156768801483/21487282884198142*e^11 + 14176909699642133/21487282884198142*e^10 - 376816590380309215/21487282884198142*e^9 - 205461256163460256/10743641442099071*e^8 + 3382561398524590971/21487282884198142*e^7 + 213466686708307849/976694676554461*e^6 - 13361386576042185467/21487282884198142*e^5 - 22356457607391964967/21487282884198142*e^4 + 743383313221661590/976694676554461*e^3 + 17627473631070855571/10743641442099071*e^2 + 32531210643004486/976694676554461*e - 5247772240728446835/10743641442099071, 317852352754184/10743641442099071*e^13 + 1450100116784714/10743641442099071*e^12 - 20195049127467523/21487282884198142*e^11 - 104673710145128449/21487282884198142*e^10 + 195076606834080131/21487282884198142*e^9 + 1338026660569514485/21487282884198142*e^8 - 171493560467450097/10743641442099071*e^7 - 654894957497644121/1953389353108922*e^6 - 1564789641334067842/10743641442099071*e^5 + 15060889009382295329/21487282884198142*e^4 + 861085226962647805/1953389353108922*e^3 - 5853845398601762706/10743641442099071*e^2 - 236529849978203994/976694676554461*e + 1754991201695558567/10743641442099071, 594966163120699/64461848652594426*e^13 + 279855844642393/64461848652594426*e^12 - 4783858203998690/10743641442099071*e^11 - 9889899912668654/32230924326297213*e^10 + 526042921868636423/64461848652594426*e^9 + 234590499270214894/32230924326297213*e^8 - 2244764156723241044/32230924326297213*e^7 - 219982254753516394/2930084029663383*e^6 + 17196510969900515459/64461848652594426*e^5 + 21558065487252959281/64461848652594426*e^4 - 1952441075970017663/5860168059326766*e^3 - 16014822948687152432/32230924326297213*e^2 + 7989272749752676/2930084029663383*e + 4268754928488221573/32230924326297213, -512089892887130/32230924326297213*e^13 - 4164800900975633/32230924326297213*e^12 + 2549106184970344/10743641442099071*e^11 + 139136073325748558/32230924326297213*e^10 + 146053474397639420/32230924326297213*e^9 - 1529402335685098507/32230924326297213*e^8 - 3418833896854913530/32230924326297213*e^7 + 506179568692514113/2930084029663383*e^6 + 20438588784531618167/32230924326297213*e^5 + 1675262625049026631/32230924326297213*e^4 - 3174319107419507465/2930084029663383*e^3 - 19974964660531202779/32230924326297213*e^2 + 911330153473065659/2930084029663383*e + 5881281771433666237/32230924326297213, 1290441561855059/64461848652594426*e^13 + 1142400894655099/32230924326297213*e^12 - 18977569068656135/21487282884198142*e^11 - 99157841798592257/64461848652594426*e^10 + 478179430609707689/32230924326297213*e^9 + 820592686376978792/32230924326297213*e^8 - 7529691858754815179/64461848652594426*e^7 - 583837828377805199/2930084029663383*e^6 + 13451286486167356433/32230924326297213*e^5 + 23378693328313601347/32230924326297213*e^4 - 2923238798517886141/5860168059326766*e^3 - 31287905092749564169/32230924326297213*e^2 + 30504947932546691/2930084029663383*e + 7419042895238002702/32230924326297213, 127513360390001/21487282884198142*e^13 + 979175676450405/21487282884198142*e^12 - 1945711366074677/21487282884198142*e^11 - 32142144555469769/21487282884198142*e^10 - 17028929529797264/10743641442099071*e^9 + 340820196595133227/21487282884198142*e^8 + 403524718632169429/10743641442099071*e^7 - 99382990993740811/1953389353108922*e^6 - 4730023190456044333/21487282884198142*e^5 - 725402277288282472/10743641442099071*e^4 + 341590629074620780/976694676554461*e^3 + 3397435548844527319/10743641442099071*e^2 - 62639416721533596/976694676554461*e - 1376235886239674888/10743641442099071, -957259073039210/32230924326297213*e^13 - 4473495204269825/32230924326297213*e^12 + 19059132838772709/21487282884198142*e^11 + 314066424068524189/64461848652594426*e^10 - 463653130848840005/64461848652594426*e^9 - 3818136662065843793/64461848652594426*e^8 - 193818582482072491/32230924326297213*e^7 + 1678377975304451147/5860168059326766*e^6 + 7714445553903252827/32230924326297213*e^5 - 28033730628667835029/64461848652594426*e^4 - 3050716585860542995/5860168059326766*e^3 + 2873063304899268473/32230924326297213*e^2 + 509538718427417972/2930084029663383*e - 37181158586971037/32230924326297213, 907991610696769/64461848652594426*e^13 + 1318029024778208/32230924326297213*e^12 - 12313134293029623/21487282884198142*e^11 - 106931250050703559/64461848652594426*e^10 + 279873236807782369/32230924326297213*e^9 + 815968645507264981/32230924326297213*e^8 - 3848538149000786959/64461848652594426*e^7 - 528927774211545085/2930084029663383*e^6 + 5606929763640461779/32230924326297213*e^5 + 19267465912405063010/32230924326297213*e^4 - 704442667889754077/5860168059326766*e^3 - 24530203583760788765/32230924326297213*e^2 - 295478398171921928/2930084029663383*e + 6471383093654595356/32230924326297213, 466089247321325/64461848652594426*e^13 - 1047177298960508/32230924326297213*e^12 - 5540521644860908/10743641442099071*e^11 + 26549858318196320/32230924326297213*e^10 + 792653116189694623/64461848652594426*e^9 - 169715485204116887/64461848652594426*e^8 - 8191776969601166573/64461848652594426*e^7 - 420359714838358021/5860168059326766*e^6 + 18213726579613084013/32230924326297213*e^5 + 37716174130523566169/64461848652594426*e^4 - 2406161616394270967/2930084029663383*e^3 - 34563699065866456498/32230924326297213*e^2 + 430868018671848626/2930084029663383*e + 9936766082279665996/32230924326297213, 906398879662249/21487282884198142*e^13 + 4077963723660727/21487282884198142*e^12 - 14411214852230551/10743641442099071*e^11 - 73050976530355050/10743641442099071*e^10 + 280110672669900273/21487282884198142*e^9 + 922971159427098248/10743641442099071*e^8 - 267224930986660068/10743641442099071*e^7 - 442198400279416482/976694676554461*e^6 - 4024240434271995411/21487282884198142*e^5 + 19342197361869308865/21487282884198142*e^4 + 1075050104411739609/1953389353108922*e^3 - 6716679630500440255/10743641442099071*e^2 - 267530118384733597/976694676554461*e + 1546278612734893446/10743641442099071, -1591199297690107/64461848652594426*e^13 - 5869322124040429/64461848652594426*e^12 + 8992169544579959/10743641442099071*e^11 + 103549097582750354/32230924326297213*e^10 - 610704646631179565/64461848652594426*e^9 - 1271112680363319271/32230924326297213*e^8 + 1208927176055771726/32230924326297213*e^7 + 570763326858246835/2930084029663383*e^6 - 512846203773171179/64461848652594426*e^5 - 20290742839397438203/64461848652594426*e^4 - 621880115277903001/5860168059326766*e^3 + 2367120783934097978/32230924326297213*e^2 + 153901687386097376/2930084029663383*e + 1122348703676146054/32230924326297213, -529122510278741/21487282884198142*e^13 - 359511427447585/10743641442099071*e^12 + 12078559172790679/10743641442099071*e^11 + 17064407529852357/10743641442099071*e^10 - 421343262837662943/21487282884198142*e^9 - 620918392276860085/21487282884198142*e^8 + 3453172980438181685/21487282884198142*e^7 + 485973469625304285/1953389353108922*e^6 - 6435561706275582381/10743641442099071*e^5 - 21284376766273092919/21487282884198142*e^4 + 733519633420209008/976694676554461*e^3 + 15406819747689823348/10743641442099071*e^2 - 33840185555601088/976694676554461*e - 4523309904734582454/10743641442099071, 212979235691115/21487282884198142*e^13 + 2673056334836893/21487282884198142*e^12 + 3334293557658709/21487282884198142*e^11 - 79612344165519931/21487282884198142*e^10 - 143438738730538495/10743641442099071*e^9 + 638020029863359511/21487282884198142*e^8 + 2056598660097939659/10743641442099071*e^7 + 61219581154873523/1953389353108922*e^6 - 20866538216882174031/21487282884198142*e^5 - 11131503318706627779/10743641442099071*e^4 + 1356012443910259165/976694676554461*e^3 + 23912713056398467386/10743641442099071*e^2 - 70477936131800366/976694676554461*e - 7543400735958660110/10743641442099071, 26339481190631/2930084029663383*e^13 + 376737656601025/5860168059326766*e^12 - 405699989100513/1953389353108922*e^11 - 13340155887534049/5860168059326766*e^10 - 118230452078839/5860168059326766*e^9 + 82318001757443638/2930084029663383*e^8 + 174297454478951585/5860168059326766*e^7 - 410450691149464304/2930084029663383*e^6 - 1281305572646447323/5860168059326766*e^5 + 1379029605504831781/5860168059326766*e^4 + 1265146565033452141/2930084029663383*e^3 - 295827917508381104/2930084029663383*e^2 - 582936153393107098/2930084029663383*e + 65800135603741115/2930084029663383, -295221276974105/64461848652594426*e^13 - 662038989847501/32230924326297213*e^12 + 2165857990747883/21487282884198142*e^11 + 38581506737492333/64461848652594426*e^10 + 3537070274238859/32230924326297213*e^9 - 143644582656749165/32230924326297213*e^8 - 961300781304313537/64461848652594426*e^7 - 29110312886247751/2930084029663383*e^6 + 3122219136732296731/32230924326297213*e^5 + 6027776950512734249/32230924326297213*e^4 - 808844924002767335/5860168059326766*e^3 - 11634969878201117351/32230924326297213*e^2 + 5584390643820286/2930084029663383*e + 2606803804827032687/32230924326297213, 151055441727065/10743641442099071*e^13 + 431559492129851/10743641442099071*e^12 - 12117580937242861/21487282884198142*e^11 - 33996317490357559/21487282884198142*e^10 + 181599507702326325/21487282884198142*e^9 + 500692975205160281/21487282884198142*e^8 - 626133994235138413/10743641442099071*e^7 - 311547291581252205/1953389353108922*e^6 + 1924808010275677348/10743641442099071*e^5 + 10880805733110237883/21487282884198142*e^4 - 348284691476014699/1953389353108922*e^3 - 6772610373474118781/10743641442099071*e^2 - 30128709676844278/976694676554461*e + 1829256989258552954/10743641442099071, -30156239159279/32230924326297213*e^13 - 1684703413831639/64461848652594426*e^12 - 1710687465832461/21487282884198142*e^11 + 49852041242792659/64461848652594426*e^10 + 225485045969539189/64461848652594426*e^9 - 198045066038707246/32230924326297213*e^8 - 2862500633871330509/64461848652594426*e^7 - 19256999147322728/2930084029663383*e^6 + 13604035371566085817/64461848652594426*e^5 + 13626884471586272855/64461848652594426*e^4 - 819536601035553551/2930084029663383*e^3 - 14390691023941393960/32230924326297213*e^2 + 15266746982307680/2930084029663383*e + 4367716130877501034/32230924326297213, 2144523381052135/64461848652594426*e^13 + 4708828047461015/32230924326297213*e^12 - 11086515741159255/10743641442099071*e^11 - 166463114913789536/32230924326297213*e^10 + 604111490247215921/64461848652594426*e^9 + 4107895807902035621/64461848652594426*e^8 - 556035089571376225/64461848652594426*e^7 - 1874271154545919529/5860168059326766*e^6 - 6432987172693971038/32230924326297213*e^5 + 35863127689982104483/64461848652594426*e^4 + 1473496537797739274/2930084029663383*e^3 - 8596096681281836612/32230924326297213*e^2 - 579854847667017416/2930084029663383*e + 1376447169697541834/32230924326297213, 271643604009589/21487282884198142*e^13 + 281530145681875/10743641442099071*e^12 - 4836705210641413/10743641442099071*e^11 - 8965064382641603/10743641442099071*e^10 + 120922871546243029/21487282884198142*e^9 + 174631692525284581/21487282884198142*e^8 - 626571824367688057/21487282884198142*e^7 - 31198290163413649/1953389353108922*e^6 + 636211847323701475/10743641442099071*e^5 - 2379087004365109219/21487282884198142*e^4 - 69601015102887695/976694676554461*e^3 + 3368359684979865050/10743641442099071*e^2 + 69628525916308255/976694676554461*e - 1300874299856647139/10743641442099071, -27000018282227/1953389353108922*e^13 - 6818641494210/976694676554461*e^12 + 1258563720424269/1953389353108922*e^11 + 786108542572245/1953389353108922*e^10 - 11162911073398037/976694676554461*e^9 - 8381635379372692/976694676554461*e^8 + 184943857688494247/1953389353108922*e^7 + 81818685830022583/976694676554461*e^6 - 345261280470913292/976694676554461*e^5 - 355433781360267503/976694676554461*e^4 + 856281239121301845/1953389353108922*e^3 + 524650322612645396/976694676554461*e^2 - 29845939533462804/976694676554461*e - 142228958317448920/976694676554461, 416359728015387/10743641442099071*e^13 + 2112148642919069/10743641442099071*e^12 - 11762402537576132/10743641442099071*e^11 - 73325878794858218/10743641442099071*e^10 + 77133699994199190/10743641442099071*e^9 + 874250568931547155/10743641442099071*e^8 + 374135978215549045/10743641442099071*e^7 - 368126147939858226/976694676554461*e^6 - 4770782394316863060/10743641442099071*e^5 + 5247681144847718571/10743641442099071*e^4 + 862136665236893870/976694676554461*e^3 + 323104143792134173/10743641442099071*e^2 - 258823003566872732/976694676554461*e + 223470285589886054/10743641442099071, -1744718072224340/32230924326297213*e^13 - 18595867497555013/64461848652594426*e^12 + 16571821635353132/10743641442099071*e^11 + 328759394542444109/32230924326297213*e^10 - 336090023635362724/32230924326297213*e^9 - 8102139648336541517/64461848652594426*e^8 - 2905093906194071123/64461848652594426*e^7 + 3670139908308398279/5860168059326766*e^6 + 39659283976438478665/64461848652594426*e^5 - 33950317047718559564/32230924326297213*e^4 - 7527627246669036391/5860168059326766*e^3 + 13958041238417156438/32230924326297213*e^2 + 1420228015773774092/2930084029663383*e - 3067580634382023242/32230924326297213, 1638520372173169/64461848652594426*e^13 + 3852591834725071/64461848652594426*e^12 - 23579836008254079/21487282884198142*e^11 - 167576893263538039/64461848652594426*e^10 + 579866342539674325/32230924326297213*e^9 + 2786821538704627433/64461848652594426*e^8 - 4436357199628530899/32230924326297213*e^7 - 1999626295336626839/5860168059326766*e^6 + 30367844767388409983/64461848652594426*e^5 + 40638006641771892071/32230924326297213*e^4 - 1447450359292202488/2930084029663383*e^3 - 56326762183608469037/32230924326297213*e^2 - 337471126813394420/2930084029663383*e + 15141815937558048677/32230924326297213, -1024355726341540/32230924326297213*e^13 - 3540218800388404/32230924326297213*e^12 + 12369755300420679/10743641442099071*e^11 + 132240379946346820/32230924326297213*e^10 - 476272948469507777/32230924326297213*e^9 - 1792995803358619466/32230924326297213*e^8 + 2552409336182931253/32230924326297213*e^7 + 980531625750553997/2930084029663383*e^6 - 4910678150073523841/32230924326297213*e^5 - 28337960328998669473/32230924326297213*e^4 + 93790172449322381/2930084029663383*e^3 + 30094567143063203581/32230924326297213*e^2 + 340736595060847798/2930084029663383*e - 8354622813657235756/32230924326297213, 2066685425049197/64461848652594426*e^13 + 15161568000872807/64461848652594426*e^12 - 12796747966195287/21487282884198142*e^11 - 509717155617459293/64461848652594426*e^10 - 157313749180170034/32230924326297213*e^9 + 5678505202787439349/64461848652594426*e^8 + 5131373184839964380/32230924326297213*e^7 - 1962837818013604153/5860168059326766*e^6 - 63728765019190317533/64461848652594426*e^5 + 3218031070444372/32230924326297213*e^4 + 4793038362209319856/2930084029663383*e^3 + 32313453511039757192/32230924326297213*e^2 - 1033503757838501326/2930084029663383*e - 9786651218313101852/32230924326297213, -345332631812429/64461848652594426*e^13 + 1609068741089089/64461848652594426*e^12 + 4041426782166548/10743641442099071*e^11 - 21741255628910684/32230924326297213*e^10 - 573035880947735011/64461848652594426*e^9 + 113713782695872939/32230924326297213*e^8 + 2943070996223522932/32230924326297213*e^7 + 105312267526449458/2930084029663383*e^6 - 26078185480914841555/64461848652594426*e^5 - 22501584384898097609/64461848652594426*e^4 + 3451561310917767379/5860168059326766*e^3 + 20550112896593351629/32230924326297213*e^2 - 309508887980666243/2930084029663383*e - 4550202227566682983/32230924326297213, -584979208755730/32230924326297213*e^13 - 3289268796017221/32230924326297213*e^12 + 5104015292516073/10743641442099071*e^11 + 113399387142835435/32230924326297213*e^10 - 67519039509617612/32230924326297213*e^9 - 1333185631948589150/32230924326297213*e^8 - 987490396899566201/32230924326297213*e^7 + 540877302053957789/2930084029663383*e^6 + 8599836958404812521/32230924326297213*e^5 - 6302868398695787059/32230924326297213*e^4 - 1324868644731686074/2930084029663383*e^3 - 4179874071638400284/32230924326297213*e^2 + 157477470917208403/2930084029663383*e + 2017765057179655016/32230924326297213, -572679367733672/32230924326297213*e^13 - 3933585432295451/32230924326297213*e^12 + 7421273264353649/21487282884198142*e^11 + 263050030856244919/64461848652594426*e^10 + 141074288826954955/64461848652594426*e^9 - 2903738764992950045/64461848652594426*e^8 - 2649716099439537673/32230924326297213*e^7 + 981369608794768751/5860168059326766*e^6 + 16743015367977443096/32230924326297213*e^5 + 1313874219729730247/64461848652594426*e^4 - 5033865752258329675/5860168059326766*e^3 - 16927020569440125604/32230924326297213*e^2 + 481466192284937327/2930084029663383*e + 4356298970295459322/32230924326297213, 242667467055749/32230924326297213*e^13 + 4013618626169893/64461848652594426*e^12 - 1819899055198220/10743641442099071*e^11 - 73358236363932932/32230924326297213*e^10 - 4806988052193179/32230924326297213*e^9 + 1921775832124219229/64461848652594426*e^8 + 1697191418970939605/64461848652594426*e^7 - 988510822865637455/5860168059326766*e^6 - 12390456173793278995/64461848652594426*e^5 + 12691161150629016014/32230924326297213*e^4 + 2344828791841937143/5860168059326766*e^3 - 11502226027415137199/32230924326297213*e^2 - 596701021803484433/2930084029663383*e + 3059263488849218852/32230924326297213, -292682160449509/10743641442099071*e^13 - 2281589142602097/21487282884198142*e^12 + 10174407754563586/10743641442099071*e^11 + 42576227489152745/10743641442099071*e^10 - 121008925401449286/10743641442099071*e^9 - 1151461234609840053/21487282884198142*e^8 + 1092366096450379085/21487282884198142*e^7 + 624859076678572559/1953389353108922*e^6 - 1055804201755427947/21487282884198142*e^5 - 8833842251463158648/10743641442099071*e^4 - 171791843859178901/1953389353108922*e^3 + 8914746905818379935/10743641442099071*e^2 + 99073914381228467/976694676554461*e - 2289822493796123070/10743641442099071, 80413682304139/10743641442099071*e^13 + 1893287756390757/21487282884198142*e^12 + 921233189806199/21487282884198142*e^11 - 59919420540193167/21487282884198142*e^10 - 162201953059010131/21487282884198142*e^9 + 288935137188678338/10743641442099071*e^8 + 2482480933710698379/21487282884198142*e^7 - 49570869500261765/976694676554461*e^6 - 13184750264212896621/21487282884198142*e^5 - 7892175179720900127/21487282884198142*e^4 + 959222470736916626/976694676554461*e^3 + 10361152837823139787/10743641442099071*e^2 - 240178090336258593/976694676554461*e - 2964618543657707015/10743641442099071, -796776413470634/32230924326297213*e^13 - 5746336692861709/64461848652594426*e^12 + 9923924827727208/10743641442099071*e^11 + 111573150735495830/32230924326297213*e^10 - 400482392277001327/32230924326297213*e^9 - 3210578608862693111/64461848652594426*e^8 + 4616252872086598465/64461848652594426*e^7 + 1927505753188117439/5860168059326766*e^6 - 9817030266218471405/64461848652594426*e^5 - 32220504410533567559/32230924326297213*e^4 - 7598408558813095/5860168059326766*e^3 + 40110716893870826429/32230924326297213*e^2 + 658112106889606880/2930084029663383*e - 12331715730510261197/32230924326297213, 220348502697304/10743641442099071*e^13 + 807387372293287/10743641442099071*e^12 - 16403795057739271/21487282884198142*e^11 - 61501724520658293/21487282884198142*e^10 + 220281729438278643/21487282884198142*e^9 + 860084088348797289/21487282884198142*e^8 - 642430171400237191/10743641442099071*e^7 - 494451044290776261/1953389353108922*e^6 + 1499194920352390948/10743641442099071*e^5 + 15447414705107463203/21487282884198142*e^4 - 143768242808102895/1953389353108922*e^3 - 8776823201571648823/10743641442099071*e^2 - 94184456463759858/976694676554461*e + 2378962646626991350/10743641442099071, 138346714963310/32230924326297213*e^13 + 2997492700541303/32230924326297213*e^12 + 2822142747962862/10743641442099071*e^11 - 89953694309637959/32230924326297213*e^10 - 406987983442526774/32230924326297213*e^9 + 741552643861824352/32230924326297213*e^8 + 5349739748826542881/32230924326297213*e^7 + 35894751891586037/2930084029663383*e^6 - 26521286685554113709/32230924326297213*e^5 - 22854256240578104506/32230924326297213*e^4 + 3587692429382382383/2930084029663383*e^3 + 48939516421239487216/32230924326297213*e^2 - 562036670341558124/2930084029663383*e - 13896882585148604260/32230924326297213, -227978992885469/64461848652594426*e^13 + 647597132352842/32230924326297213*e^12 + 5935037198578085/21487282884198142*e^11 - 33964939652282413/64461848652594426*e^10 - 221254630099737809/32230924326297213*e^9 + 75194893165993492/32230924326297213*e^8 + 4687368572594495705/64461848652594426*e^7 + 101588039765190605/2930084029663383*e^6 - 10639697063533088693/32230924326297213*e^5 - 10039381885307362801/32230924326297213*e^4 + 2916063471118934725/5860168059326766*e^3 + 19134744382635363142/32230924326297213*e^2 - 337826995352490791/2930084029663383*e - 5959320762249946678/32230924326297213, -27051941199631/1953389353108922*e^13 - 82346067254125/1953389353108922*e^12 + 996855444482983/1953389353108922*e^11 + 3044352541720629/1953389353108922*e^10 - 6594953348215161/976694676554461*e^9 - 40658499296059875/1953389353108922*e^8 + 37743340314097926/976694676554461*e^7 + 238832761133859605/1953389353108922*e^6 - 177430483490166309/1953389353108922*e^5 - 301744304122334281/976694676554461*e^4 + 76500884794834242/976694676554461*e^3 + 312479531476854396/976694676554461*e^2 - 16220080506318773/976694676554461*e - 111613051431257761/976694676554461, 32111220525661/5860168059326766*e^13 + 384449367072925/5860168059326766*e^12 - 11450287144313/976694676554461*e^11 - 6476056301107220/2930084029663383*e^10 - 23559527982981367/5860168059326766*e^9 + 72725435466773674/2930084029663383*e^8 + 194924743842777796/2930084029663383*e^7 - 286406423129246456/2930084029663383*e^6 - 2142291600511876789/5860168059326766*e^5 + 177657080281243897/5860168059326766*e^4 + 3574643854086167279/5860168059326766*e^3 + 579785336286403792/2930084029663383*e^2 - 490580471941708387/2930084029663383*e - 72661484327827246/2930084029663383, -1552012856473589/64461848652594426*e^13 - 2008285240769353/32230924326297213*e^12 + 20606623387551283/21487282884198142*e^11 + 155573476591432847/64461848652594426*e^10 - 460811159879963630/32230924326297213*e^9 - 1112948635923108596/32230924326297213*e^8 + 6380546783469573977/64461848652594426*e^7 + 659887042496298677/2930084029663383*e^6 - 10259016420520151885/32230924326297213*e^5 - 21381612171613062748/32230924326297213*e^4 + 2414083589896238353/5860168059326766*e^3 + 24446099008761886240/32230924326297213*e^2 - 364527094885785764/2930084029663383*e - 6123687460482492928/32230924326297213, -45192678372098/976694676554461*e^13 - 220598682870923/976694676554461*e^12 + 2731294572200903/1953389353108922*e^11 + 15653145132200985/1953389353108922*e^10 - 22989244914271935/1953389353108922*e^9 - 194140689733543141/1953389353108922*e^8 - 2725225555755170/976694676554461*e^7 + 982341300635200173/1953389353108922*e^6 + 336202046707559223/976694676554461*e^5 - 1741531116004996923/1953389353108922*e^4 - 1529670669895499895/1953389353108922*e^3 + 453542622201314769/976694676554461*e^2 + 283278342131891162/976694676554461*e - 135762064826003847/976694676554461, 164024892942206/32230924326297213*e^13 - 3860320686050231/64461848652594426*e^12 - 6153793279504042/10743641442099071*e^11 + 52825717904742514/32230924326297213*e^10 + 514696752869292196/32230924326297213*e^9 - 600859176875845741/64461848652594426*e^8 - 11448448847857599403/64461848652594426*e^7 - 433826243252066015/5860168059326766*e^6 + 52759993834289495285/64461848652594426*e^5 + 24924445746957545858/32230924326297213*e^4 - 6996552315442405667/5860168059326766*e^3 - 46801024862197800401/32230924326297213*e^2 + 519036486014600470/2930084029663383*e + 12011306304258019124/32230924326297213, -246567083689046/10743641442099071*e^13 - 2361679929761343/21487282884198142*e^12 + 15064513360050229/21487282884198142*e^11 + 84266247784229653/21487282884198142*e^10 - 130887488509074241/21487282884198142*e^9 - 528581285195405257/10743641442099071*e^8 + 34430263598812621/21487282884198142*e^7 + 249584994754915041/976694676554461*e^6 + 3351386029122443495/21487282884198142*e^5 - 10499875809830926459/21487282884198142*e^4 - 350841805101425555/976694676554461*e^3 + 3331292111759502548/10743641442099071*e^2 + 113924826464732206/976694676554461*e - 774693868509323546/10743641442099071, -492079283861216/32230924326297213*e^13 - 3974450965568407/64461848652594426*e^12 + 5422779825308126/10743641442099071*e^11 + 69591874727141633/32230924326297213*e^10 - 175504740358190593/32230924326297213*e^9 - 1687754769598855787/64461848652594426*e^8 + 1211515541566085551/64461848652594426*e^7 + 738867428338166861/5860168059326766*e^6 + 783478556315545723/64461848652594426*e^5 - 6021020181410289023/32230924326297213*e^4 - 470599661416951483/5860168059326766*e^3 + 299889518610253520/32230924326297213*e^2 + 96357009176569535/2930084029663383*e + 1080015996131856244/32230924326297213, 83916895575943/21487282884198142*e^13 + 340389614910585/21487282884198142*e^12 - 952553826547054/10743641442099071*e^11 - 4825391545954444/10743641442099071*e^10 - 674654707120267/21487282884198142*e^9 + 31418675164494067/10743641442099071*e^8 + 135133856165152276/10743641442099071*e^7 + 14762148330484873/976694676554461*e^6 - 1873614897855325319/21487282884198142*e^5 - 4061974627501098267/21487282884198142*e^4 + 285790011409994717/1953389353108922*e^3 + 4062212792479726092/10743641442099071*e^2 - 35151809257347487/976694676554461*e - 1391198571098328010/10743641442099071, -407821415519347/32230924326297213*e^13 - 826726119296915/64461848652594426*e^12 + 13628047977342355/21487282884198142*e^11 + 52723955507949335/64461848652594426*e^10 - 771735823546709851/64461848652594426*e^9 - 593021232018296819/32230924326297213*e^8 + 6698262768701806913/64461848652594426*e^7 + 540119714805403436/2930084029663383*e^6 - 25463280684678468337/64461848652594426*e^5 - 52387151960334653465/64461848652594426*e^4 + 1303072971654228551/2930084029663383*e^3 + 39780881771111199718/32230924326297213*e^2 + 265433362977642610/2930084029663383*e - 11699008478311639987/32230924326297213, 682975202670745/64461848652594426*e^13 + 3210047544400531/64461848652594426*e^12 - 7328825521984947/21487282884198142*e^11 - 115051192162074787/64461848652594426*e^10 + 110968885722887914/32230924326297213*e^9 + 1457617504058145737/64461848652594426*e^8 - 279372700693870766/32230924326297213*e^7 - 705661741034064407/5860168059326766*e^6 - 2100492478293854239/64461848652594426*e^5 + 8045623125274678715/32230924326297213*e^4 + 309077173040527589/2930084029663383*e^3 - 6400577491156383860/32230924326297213*e^2 - 131637900931218212/2930084029663383*e + 1144389585300510188/32230924326297213, 424612563387293/32230924326297213*e^13 - 396239849483479/32230924326297213*e^12 - 15848445905469335/21487282884198142*e^11 + 3910535036690441/64461848652594426*e^10 + 982649374695545519/64461848652594426*e^9 + 504894656610579365/64461848652594426*e^8 - 4620504845256641756/32230924326297213*e^7 - 791486634391790813/5860168059326766*e^6 + 19177363641179092711/32230924326297213*e^5 + 48295388147704064287/64461848652594426*e^4 - 4747686066153893417/5860168059326766*e^3 - 39769631992051335485/32230924326297213*e^2 + 301950551643776995/2930084029663383*e + 10284172440083347568/32230924326297213, -624285671375957/32230924326297213*e^13 - 2442468304694287/64461848652594426*e^12 + 17641931366969215/21487282884198142*e^11 + 101909110494659113/64461848652594426*e^10 - 849399194387429111/64461848652594426*e^9 - 807139891985638228/32230924326297213*e^8 + 6358270112399551393/64461848652594426*e^7 + 548213447922836653/2930084029663383*e^6 - 21489585873183786293/64461848652594426*e^5 - 41904068152149898471/64461848652594426*e^4 + 1085084482562633227/2930084029663383*e^3 + 26968081131183545963/32230924326297213*e^2 + 56302286780486606/2930084029663383*e - 6572417141785271093/32230924326297213, 7385253646259/21487282884198142*e^13 - 788490031712503/21487282884198142*e^12 - 2006665291447407/10743641442099071*e^11 + 12479327342561394/10743641442099071*e^10 + 135835281694466417/21487282884198142*e^9 - 120248266016043093/10743641442099071*e^8 - 823658903852946806/10743641442099071*e^7 + 20445652477001992/976694676554461*e^6 + 8105022286938015517/21487282884198142*e^5 + 3265414294720422929/21487282884198142*e^4 - 1200178266526482499/1953389353108922*e^3 - 4041819232882007175/10743641442099071*e^2 + 182374267584425144/976694676554461*e + 816754170561869560/10743641442099071, -1293421976024509/64461848652594426*e^13 - 2520619792464608/32230924326297213*e^12 + 14868382221876935/21487282884198142*e^11 + 185433016908447193/64461848652594426*e^10 - 259129096231773760/32230924326297213*e^9 - 1225948023913882708/32230924326297213*e^8 + 2134971531063699949/64461848652594426*e^7 + 641043065646587776/2930084029663383*e^6 - 124197989778410668/32230924326297213*e^5 - 17002554113639875862/32230924326297213*e^4 - 967221205945274905/5860168059326766*e^3 + 16134936529532040551/32230924326297213*e^2 + 481951888717771703/2930084029663383*e - 4719024411854072357/32230924326297213, -280230282803593/64461848652594426*e^13 + 228953364092806/32230924326297213*e^12 + 5438737693783123/21487282884198142*e^11 - 6949044776624549/64461848652594426*e^10 - 173721679335740704/32230924326297213*e^9 - 61784290599673234/32230924326297213*e^8 + 3348601442698199869/64461848652594426*e^7 + 133450951523840188/2930084029663383*e^6 - 7124241811577620531/32230924326297213*e^5 - 8748490379515765454/32230924326297213*e^4 + 1857622318158671039/5860168059326766*e^3 + 14736000426951334070/32230924326297213*e^2 - 210672772009110043/2930084029663383*e - 3740208571695308222/32230924326297213, 159623801876410/10743641442099071*e^13 + 1544905270013352/10743641442099071*e^12 - 1380000687573962/10743641442099071*e^11 - 50669057305399628/10743641442099071*e^10 - 79762821294155014/10743641442099071*e^9 + 533629358004511257/10743641442099071*e^8 + 1460102701411505059/10743641442099071*e^7 - 149430223282875947/976694676554461*e^6 - 8046188705078169300/10743641442099071*e^5 - 2757592456897363842/10743641442099071*e^4 + 1109611343373194763/976694676554461*e^3 + 10996126137558345580/10743641442099071*e^2 - 112237849457679324/976694676554461*e - 3170648115091057082/10743641442099071, -1513069576912495/64461848652594426*e^13 - 4710573063139477/64461848652594426*e^12 + 10279344520566236/10743641442099071*e^11 + 96477180593722304/32230924326297213*e^10 - 942328311430727951/64461848652594426*e^9 - 1491020625350614801/32230924326297213*e^8 + 3310083951482347796/32230924326297213*e^7 + 982710046465498432/2930084029663383*e^6 - 20344665269738763311/64461848652594426*e^5 - 73276293843900120829/64461848652594426*e^4 + 1569268549366553663/5860168059326766*e^3 + 48485462141012394275/32230924326297213*e^2 + 464081561316763589/2930084029663383*e - 14450726569176197816/32230924326297213, -459802423157093/64461848652594426*e^13 - 1988316069968047/32230924326297213*e^12 + 1105241253385565/10743641442099071*e^11 + 66863239397201548/32230924326297213*e^10 + 137719614154373111/64461848652594426*e^9 - 1491443682921675847/64461848652594426*e^8 - 3125565007800471343/64461848652594426*e^7 + 518634081754082713/5860168059326766*e^6 + 9258341694339794974/32230924326297213*e^5 - 331166124582051161/64461848652594426*e^4 - 1446448348856904811/2930084029663383*e^3 - 8231101099935204596/32230924326297213*e^2 + 483187677689119171/2930084029663383*e + 3158538073533097928/32230924326297213, 506903813350855/32230924326297213*e^13 + 2159016604063930/32230924326297213*e^12 - 5070713756570593/10743641442099071*e^11 - 72209076943080070/32230924326297213*e^10 + 125838504468227291/32230924326297213*e^9 + 795767375142812474/32230924326297213*e^8 + 48735808508818127/32230924326297213*e^7 - 265754867658909308/2930084029663383*e^6 - 3594581762086457653/32230924326297213*e^5 - 722163942348778877/32230924326297213*e^4 + 612478539825521173/2930084029663383*e^3 + 10518607393404915173/32230924326297213*e^2 - 9149865338146810/2930084029663383*e - 3789814831159028366/32230924326297213, 1397645070790033/64461848652594426*e^13 + 12106300408299121/64461848652594426*e^12 - 1838882494643368/10743641442099071*e^11 - 189765191880095972/32230924326297213*e^10 - 733074657347100217/64461848652594426*e^9 + 1787822583701661805/32230924326297213*e^8 + 6586418306203170190/32230924326297213*e^7 - 255688896367352725/2930084029663383*e^6 - 72088413277227614287/64461848652594426*e^5 - 56449386005490341531/64461848652594426*e^4 + 9874243293418043443/5860168059326766*e^3 + 70476610588045497331/32230924326297213*e^2 - 500895793046299853/2930084029663383*e - 20471102275889936719/32230924326297213, -461530746581030/32230924326297213*e^13 - 909074001143497/64461848652594426*e^12 + 6980073396066461/10743641442099071*e^11 + 21534119464587947/32230924326297213*e^10 - 362596894565063089/32230924326297213*e^9 - 776472738198600929/64461848652594426*e^8 + 5899373323697903935/64461848652594426*e^7 + 596681517083112947/5860168059326766*e^6 - 21901220327000267387/64461848652594426*e^5 - 12630286978785911618/32230924326297213*e^4 + 2542501296548925545/5860168059326766*e^3 + 16825373053917000242/32230924326297213*e^2 - 96684560465588182/2930084029663383*e - 3415607149145630402/32230924326297213, -14398280842987/976694676554461*e^13 - 55699635652598/976694676554461*e^12 + 938344214337349/1953389353108922*e^11 + 4017037692455595/1953389353108922*e^10 - 9657919689895023/1953389353108922*e^9 - 51389759686121421/1953389353108922*e^8 + 12865998161118141/976694676554461*e^7 + 279009697646184623/1953389353108922*e^6 + 43666253077629978/976694676554461*e^5 - 610288001691693223/1953389353108922*e^4 - 315319219423806843/1953389353108922*e^3 + 290717905803616036/976694676554461*e^2 + 86270124550616706/976694676554461*e - 117295671236233710/976694676554461, -179648938040147/10743641442099071*e^13 - 1474512735229177/21487282884198142*e^12 + 6299331745084448/10743641442099071*e^11 + 27692343783059353/10743641442099071*e^10 - 76043174291380287/10743641442099071*e^9 - 757203656739448199/21487282884198142*e^8 + 711364845768335051/21487282884198142*e^7 + 419156131861959875/1953389353108922*e^6 - 859300013521239417/21487282884198142*e^5 - 6165462149263735647/10743641442099071*e^4 - 57908115537847569/1953389353108922*e^3 + 6729090885620253884/10743641442099071*e^2 + 40805047729036399/976694676554461*e - 2183371851613970841/10743641442099071, -1207153683685211/64461848652594426*e^13 + 470466333935189/32230924326297213*e^12 + 23486565629323679/21487282884198142*e^11 + 10689346289689913/64461848652594426*e^10 - 747885850050805790/32230924326297213*e^9 - 570011682453304379/32230924326297213*e^8 + 14292727161793209449/64461848652594426*e^7 + 770904561827306852/2930084029663383*e^6 - 29778301669141184480/32230924326297213*e^5 - 44970079370085719182/32230924326297213*e^4 + 7156317465234054043/5860168059326766*e^3 + 73551381071897846071/32230924326297213*e^2 - 211772265863511491/2930084029663383*e - 21337831312337312578/32230924326297213, -1376241529539836/32230924326297213*e^13 - 7312771725743918/32230924326297213*e^12 + 12481803093976085/10743641442099071*e^11 + 253762988599349522/32230924326297213*e^10 - 204857440476588709/32230924326297213*e^9 - 3021531733507457131/32230924326297213*e^8 - 1845550789186627453/32230924326297213*e^7 + 1266851064893997136/2930084029663383*e^6 + 18744320444200825535/32230924326297213*e^5 - 17622535434825600611/32230924326297213*e^4 - 3280919526950700491/2930084029663383*e^3 - 2620604626919337877/32230924326297213*e^2 + 964529173138388615/2930084029663383*e + 774604135755071620/32230924326297213, -1948513348163/21487282884198142*e^13 + 413370877076440/10743641442099071*e^12 + 2938260905043028/10743641442099071*e^11 - 9584593302219362/10743641442099071*e^10 - 202492974330246945/21487282884198142*e^9 + 6849760616141503/21487282884198142*e^8 + 2406136924211965127/21487282884198142*e^7 + 228576205439620781/1953389353108922*e^6 - 5538140216854290356/10743641442099071*e^5 - 18038693760068230599/21487282884198142*e^4 + 633408362866961211/976694676554461*e^3 + 16077176673230865222/10743641442099071*e^2 + 87110327030541874/976694676554461*e - 4745885176844989924/10743641442099071, -1816091241122497/64461848652594426*e^13 - 3502918824049790/32230924326297213*e^12 + 20291610412202077/21487282884198142*e^11 + 250379007168813247/64461848652594426*e^10 - 334760288903771494/32230924326297213*e^9 - 1575016463372338714/32230924326297213*e^8 + 2365591140564197173/64461848652594426*e^7 + 748690717634085082/2930084029663383*e^6 + 971183285673415538/32230924326297213*e^5 - 16094484940713850388/32230924326297213*e^4 - 1352111186181567721/5860168059326766*e^3 + 10810888605279093461/32230924326297213*e^2 + 490707609384351440/2930084029663383*e - 2070687301952319284/32230924326297213, 2307241379270783/64461848652594426*e^13 + 16364577112218227/64461848652594426*e^12 - 15221309622496105/21487282884198142*e^11 - 551709407331033143/64461848652594426*e^10 - 127879797316435882/32230924326297213*e^9 + 6183271107514933885/64461848652594426*e^8 + 5168899935493161095/32230924326297213*e^7 - 2177786301595697017/5860168059326766*e^6 - 65965307468944823003/64461848652594426*e^5 + 1574577289325778646/32230924326297213*e^4 + 5017903642878888343/2930084029663383*e^3 + 32226883066713048770/32230924326297213*e^2 - 1135463939248794379/2930084029663383*e - 8956596837529978520/32230924326297213, 31059211242355/32230924326297213*e^13 - 6734177113408477/64461848652594426*e^12 - 12252368340505329/21487282884198142*e^11 + 194908495364576533/64461848652594426*e^10 + 1236908951076502285/64461848652594426*e^9 - 710575177884628021/32230924326297213*e^8 - 14777604615040082927/64461848652594426*e^7 - 172113436471408829/2930084029663383*e^6 + 70367694829693530955/64461848652594426*e^5 + 65146330832850022817/64461848652594426*e^4 - 4680322451521786457/2930084029663383*e^3 - 65908301575823676088/32230924326297213*e^2 + 611989008065195732/2930084029663383*e + 19598099215744882396/32230924326297213, 953778575728103/21487282884198142*e^13 + 2336901506943413/21487282884198142*e^12 - 40145884194521021/21487282884198142*e^11 - 97375193885504427/21487282884198142*e^10 + 318938832125892958/10743641442099071*e^9 + 1538423384510986713/21487282884198142*e^8 - 2350302551330497257/10743641442099071*e^7 - 1041368057268304453/1953389353108922*e^6 + 15405403579564076455/21487282884198142*e^5 + 19939177256435983573/10743641442099071*e^4 - 699536239838244226/976694676554461*e^3 - 26579433365239598056/10743641442099071*e^2 - 173823793572822533/976694676554461*e + 7430312887730867964/10743641442099071, 414921043422208/32230924326297213*e^13 + 467749484827301/64461848652594426*e^12 - 12737017221260353/21487282884198142*e^11 - 26053420454339513/64461848652594426*e^10 + 672563692573387399/64461848652594426*e^9 + 270245745555517097/32230924326297213*e^8 - 5559587868364825379/64461848652594426*e^7 - 236154359713486313/2930084029663383*e^6 + 20856731120431655389/64461848652594426*e^5 + 22767715491356400101/64461848652594426*e^4 - 1186242036822796511/2930084029663383*e^3 - 18011824296466897399/32230924326297213*e^2 + 27541834004939951/2930084029663383*e + 5405343993455302192/32230924326297213, -2305026689146037/64461848652594426*e^13 - 6759483290864701/32230924326297213*e^12 + 19847358997875361/21487282884198142*e^11 + 468807679966881293/64461848652594426*e^10 - 115418927291651684/32230924326297213*e^9 - 2785704440240555912/32230924326297213*e^8 - 4482753394652778085/64461848652594426*e^7 + 1160041432879175072/2930084029663383*e^6 + 19250500547707937056/32230924326297213*e^5 - 15475568413607979805/32230924326297213*e^4 - 6675937140517069073/5860168059326766*e^3 - 4352401757782518716/32230924326297213*e^2 + 1101795157187095798/2930084029663383*e + 2026967320177756598/32230924326297213, -70876162848551/5860168059326766*e^13 - 589893038561243/5860168059326766*e^12 + 115786953123342/976694676554461*e^11 + 9170538883440220/2930084029663383*e^10 + 32542774525831247/5860168059326766*e^9 - 84621366752009087/2930084029663383*e^8 - 306946302336956741/2930084029663383*e^7 + 108541526171893504/2930084029663383*e^6 + 3416799633052033247/5860168059326766*e^5 + 3022136662802460421/5860168059326766*e^4 - 5258366366259602845/5860168059326766*e^3 - 3687113560480578377/2930084029663383*e^2 + 355892301832237412/2930084029663383*e + 1130676837446615174/2930084029663383, 746037127203961/10743641442099071*e^13 + 3964380702180736/10743641442099071*e^12 - 41366222404830123/21487282884198142*e^11 - 275091309189637159/21487282884198142*e^10 + 249445013135972235/21487282884198142*e^9 + 3272594279770515913/21487282884198142*e^8 + 828411728981745331/10743641442099071*e^7 - 1366876081498370171/1953389353108922*e^6 - 9255902611823579182/10743641442099071*e^5 + 18544453684037088825/21487282884198142*e^4 + 3235312895198262497/1953389353108922*e^3 + 2148313478833063335/10743641442099071*e^2 - 441991927454537438/976694676554461*e - 1038935242958269214/10743641442099071, 489795516574522/10743641442099071*e^13 + 5191228093842313/21487282884198142*e^12 - 26929674592393625/21487282884198142*e^11 - 179347464676623731/21487282884198142*e^10 + 156518223645608059/21487282884198142*e^9 + 1057967877394497512/10743641442099071*e^8 + 1160663723971132055/21487282884198142*e^7 - 432586791505695379/976694676554461*e^6 - 12359416008539382425/21487282884198142*e^5 + 10491680369970671947/21487282884198142*e^4 + 1045833133189304944/976694676554461*e^3 + 2858375733834261842/10743641442099071*e^2 - 255168134165514243/976694676554461*e - 1084941742255062099/10743641442099071, -2126915759506859/64461848652594426*e^13 - 4253162499632075/64461848652594426*e^12 + 30417352754447953/21487282884198142*e^11 + 180777510365978549/64461848652594426*e^10 - 743163622230304919/32230924326297213*e^9 - 2926053591643671661/64461848652594426*e^8 + 5666162543188449934/32230924326297213*e^7 + 2038576337880811477/5860168059326766*e^6 - 39270797111671871995/64461848652594426*e^5 - 40326635532677432584/32230924326297213*e^4 + 2085239935810881299/2930084029663383*e^3 + 55343290172572123735/32230924326297213*e^2 - 12611728532703770/2930084029663383*e - 15076970693068652134/32230924326297213, -957223775406441/21487282884198142*e^13 - 4252163826129695/21487282884198142*e^12 + 29948615741764955/21487282884198142*e^11 + 151430652173654229/21487282884198142*e^10 - 139637242463960858/10743641442099071*e^9 - 1895284961775147913/21487282884198142*e^8 + 186524371168806065/10743641442099071*e^7 + 892715839022442777/1953389353108922*e^6 + 5119206657115212131/21487282884198142*e^5 - 9373331691925987010/10743641442099071*e^4 - 624724211090107287/976694676554461*e^3 + 5930653406076131143/10743641442099071*e^2 + 303082629599320374/976694676554461*e - 1371404951853285651/10743641442099071, 1505120782693537/64461848652594426*e^13 + 6201959558476477/64461848652594426*e^12 - 18728396608273773/21487282884198142*e^11 - 240991245210359929/64461848652594426*e^10 + 378527882721985804/32230924326297213*e^9 + 3472460975714711501/64461848652594426*e^8 - 2206177024824230453/32230924326297213*e^7 - 2087889951327987407/5860168059326766*e^6 + 9900154950208098767/64461848652594426*e^5 + 34777838708529724580/32230924326297213*e^4 - 108554663125649431/2930084029663383*e^3 - 41836071247225989512/32230924326297213*e^2 - 493781909589073898/2930084029663383*e + 11400585850500311237/32230924326297213, 641254554878354/32230924326297213*e^13 + 4698513231276319/64461848652594426*e^12 - 7242202015960886/10743641442099071*e^11 - 82127685415894475/32230924326297213*e^10 + 247090782545744032/32230924326297213*e^9 + 1985461973657431823/64461848652594426*e^8 - 2038587390285706723/64461848652594426*e^7 - 862536741825248735/5860168059326766*e^6 + 1522025016752627369/64461848652594426*e^5 + 6777150262988771207/32230924326297213*e^4 + 49940195755476481/5860168059326766*e^3 + 472153158073253956/32230924326297213*e^2 + 123328237697101663/2930084029663383*e - 2037436005484400188/32230924326297213, 115249511403889/21487282884198142*e^13 + 685648939355381/21487282884198142*e^12 - 1925762015296050/10743641442099071*e^11 - 13859767266363022/10743641442099071*e^10 + 41154489402075013/21487282884198142*e^9 + 210593217755349622/10743641442099071*e^8 - 55940423301181547/10743641442099071*e^7 - 136287215268369629/976694676554461*e^6 - 562683515606784087/21487282884198142*e^5 + 10091661532527696689/21487282884198142*e^4 + 274633893902457909/1953389353108922*e^3 - 7012783679189877528/10743641442099071*e^2 - 161795041076705722/976694676554461*e + 2421145038966384036/10743641442099071, 1447645498307104/32230924326297213*e^13 + 6371289999973300/32230924326297213*e^12 - 15403595399521053/10743641442099071*e^11 - 229227905685227464/32230924326297213*e^10 + 453716175295376525/32230924326297213*e^9 + 2917134653076464684/32230924326297213*e^8 - 929640238788293677/32230924326297213*e^7 - 1418358393558378164/2930084029663383*e^6 - 6091302307590195250/32230924326297213*e^5 + 32261958248803198342/32230924326297213*e^4 + 1696114205829020830/2930084029663383*e^3 - 24929179035413614846/32230924326297213*e^2 - 911123086814881165/2930084029663383*e + 7703367915173946343/32230924326297213, 637650007936345/64461848652594426*e^13 + 5253899974441795/64461848652594426*e^12 - 2201996823578441/21487282884198142*e^11 - 164529774332086057/64461848652594426*e^10 - 139621171981545065/32230924326297213*e^9 + 1542186397844000717/64461848652594426*e^8 + 2663097414263798206/32230924326297213*e^7 - 207694061314346825/5860168059326766*e^6 - 29365082788040836369/64461848652594426*e^5 - 12716140851182213809/32230924326297213*e^4 + 1956887376492668870/2930084029663383*e^3 + 31497193949322235555/32230924326297213*e^2 - 143490125868285647/2930084029663383*e - 9677512865356568068/32230924326297213, 360488355606622/32230924326297213*e^13 + 9707440894781219/64461848652594426*e^12 + 3638691245586917/21487282884198142*e^11 - 300431428449635495/64461848652594426*e^10 - 961847969489868647/64461848652594426*e^9 + 1363452374099020511/32230924326297213*e^8 + 13915094549542322797/64461848652594426*e^7 - 125387220410451476/2930084029663383*e^6 - 71936343827680725287/64461848652594426*e^5 - 53951095963490830627/64461848652594426*e^4 + 5030615493456805963/2930084029663383*e^3 + 63324735588581892896/32230924326297213*e^2 - 913050400577823445/2930084029663383*e - 18988191913192031621/32230924326297213, -186317791462608/10743641442099071*e^13 - 1264699177795223/10743641442099071*e^12 + 7880192034380749/21487282884198142*e^11 + 85340016093787755/21487282884198142*e^10 + 23623110453085393/21487282884198142*e^9 - 958968535648029829/21487282884198142*e^8 - 726367148062176683/10743641442099071*e^7 + 341553926618270243/1953389353108922*e^6 + 4780292061639730510/10743641442099071*e^5 - 854126552621318981/21487282884198142*e^4 - 1439089982703253953/1953389353108922*e^3 - 4563531632912769819/10743641442099071*e^2 + 120021727152707222/976694676554461*e + 1244271628924189204/10743641442099071, 122094859020869/5860168059326766*e^13 - 190252821372091/5860168059326766*e^12 - 2517687238727105/1953389353108922*e^11 + 2100469194840739/5860168059326766*e^10 + 83221238210717264/2930084029663383*e^9 + 80782839201797071/5860168059326766*e^8 - 817069885134341407/2930084029663383*e^7 - 1600010927663333009/5860168059326766*e^6 + 6981993811382272999/5860168059326766*e^5 + 4609581044924397277/2930084029663383*e^4 - 4828528509663317692/2930084029663383*e^3 - 7735905414874251763/2930084029663383*e^2 + 584323162292476105/2930084029663383*e + 2247967032462827761/2930084029663383, 3930121349297515/64461848652594426*e^13 + 11768037002718319/64461848652594426*e^12 - 25784838030151691/10743641442099071*e^11 - 231139164109589972/32230924326297213*e^10 + 2259524912938156181/64461848652594426*e^9 + 3379011745961425411/32230924326297213*e^8 - 7529130778043870177/32230924326297213*e^7 - 2071963207312115872/2930084029663383*e^6 + 44612616871481531063/64461848652594426*e^5 + 141706858939950960475/64461848652594426*e^4 - 4106511501360826205/5860168059326766*e^3 - 87838733656332303071/32230924326297213*e^2 - 133425895907256041/2930084029663383*e + 25294968078155969504/32230924326297213, -171770718025771/21487282884198142*e^13 - 2239150233800345/21487282884198142*e^12 - 2003343640198443/21487282884198142*e^11 + 70311100736107977/21487282884198142*e^10 + 104204231229584971/10743641442099071*e^9 - 664353348478602945/21487282884198142*e^8 - 1534544893544268528/10743641442099071*e^7 + 96422347793897679/1953389353108922*e^6 + 16027993267138910357/21487282884198142*e^5 + 5227624044456796889/10743641442099071*e^4 - 1141791927459229161/976694676554461*e^3 - 13211488186999420839/10743641442099071*e^2 + 227302353095461607/976694676554461*e + 4008832589262155671/10743641442099071, -667504876265619/21487282884198142*e^13 - 693445770040885/10743641442099071*e^12 + 14768204858875356/10743641442099071*e^11 + 30899272418110480/10743641442099071*e^10 - 497978650222381117/21487282884198142*e^9 - 1054174097013895063/21487282884198142*e^8 + 3937936730833667861/21487282884198142*e^7 + 775410583128080547/1953389353108922*e^6 - 7066191537161484127/10743641442099071*e^5 - 32200317742553118379/21487282884198142*e^4 + 767598070504639548/976694676554461*e^3 + 22648064116067582331/10743641442099071*e^2 - 11074988059583521/976694676554461*e - 6577432793400126598/10743641442099071, 108429789380933/64461848652594426*e^13 + 2089773569595967/32230924326297213*e^12 + 3019341269266055/21487282884198142*e^11 - 142840829480488655/64461848652594426*e^10 - 203023969685179957/32230924326297213*e^9 + 821359828979789750/32230924326297213*e^8 + 5303515730120485327/64461848652594426*e^7 - 310409483262623936/2930084029663383*e^6 - 13400672968609254172/32230924326297213*e^5 + 1992408625360805941/32230924326297213*e^4 + 3960686740756921811/5860168059326766*e^3 + 5783237728838467460/32230924326297213*e^2 - 570601760649379597/2930084029663383*e - 1002705761927618834/32230924326297213, -1499068056937315/64461848652594426*e^13 - 5308012108604719/64461848652594426*e^12 + 9562851126064173/10743641442099071*e^11 + 104489085846466166/32230924326297213*e^10 - 799500382458897095/64461848652594426*e^9 - 1531586735467349290/32230924326297213*e^8 + 2440297824526224059/32230924326297213*e^7 + 941536701028987765/2930084029663383*e^6 - 11768433994965647117/64461848652594426*e^5 - 64466770486153766479/64461848652594426*e^4 + 370032992471467007/5860168059326766*e^3 + 39727016596843197596/32230924326297213*e^2 + 497335208094980399/2930084029663383*e - 10807073156399543282/32230924326297213, 26853100811609/21487282884198142*e^13 + 1055517297904805/21487282884198142*e^12 + 2064850933314977/21487282884198142*e^11 - 37530190995452037/21487282884198142*e^10 - 48144372024613418/10743641442099071*e^9 + 468624318753179137/21487282884198142*e^8 + 649420397905106813/10743641442099071*e^7 - 220076668135436091/1953389353108922*e^6 - 6903014730764054299/21487282884198142*e^5 + 2355240919822924509/10743641442099071*e^4 + 575905446192073350/976694676554461*e^3 - 2051411602850624086/10743641442099071*e^2 - 252656256792789062/976694676554461*e + 1245843459267596543/10743641442099071, -1531645195999481/64461848652594426*e^13 - 6311964883823278/32230924326297213*e^12 + 5871530397974051/21487282884198142*e^11 + 407258146045145231/64461848652594426*e^10 + 306578811669447025/32230924326297213*e^9 - 2061516759313754807/32230924326297213*e^8 - 12193883983199463469/64461848652594426*e^7 + 478479745569815306/2930084029663383*e^6 + 34412146737772260052/32230924326297213*e^5 + 18574135766133577160/32230924326297213*e^4 - 9713275840554618089/5860168059326766*e^3 - 57896121174643770434/32230924326297213*e^2 + 706403903853174115/2930084029663383*e + 18554397634036934123/32230924326297213, -74834362431226/32230924326297213*e^13 + 3632865550859582/32230924326297213*e^12 + 7870609883912014/10743641442099071*e^11 - 98796809260592057/32230924326297213*e^10 - 766805320606776518/32230924326297213*e^9 + 537623603295533110/32230924326297213*e^8 + 9043411421816786134/32230924326297213*e^7 + 447309181396657760/2930084029663383*e^6 - 42640717076630752988/32230924326297213*e^5 - 49650818168678125558/32230924326297213*e^4 + 5546422125729503030/2930084029663383*e^3 + 94731700542354994078/32230924326297213*e^2 - 602303959477817693/2930084029663383*e - 27650008152981312928/32230924326297213, 525589659221459/21487282884198142*e^13 + 2145506469818817/21487282884198142*e^12 - 9145060133935939/10743641442099071*e^11 - 40127873751535528/10743641442099071*e^10 + 217097722518285943/21487282884198142*e^9 + 544773216892377861/10743641442099071*e^8 - 481271382690939630/10743641442099071*e^7 - 297551906730353772/976694676554461*e^6 + 721290918815329011/21487282884198142*e^5 + 16983338387332408089/21487282884198142*e^4 + 240056254296772673/1953389353108922*e^3 - 8533779272176701353/10743641442099071*e^2 - 141522984135986197/976694676554461*e + 1971385705183645893/10743641442099071, -2714939747164745/32230924326297213*e^13 - 13812987978937739/32230924326297213*e^12 + 25641862004511570/10743641442099071*e^11 + 480547315736941547/32230924326297213*e^10 - 512033746007006218/32230924326297213*e^9 - 5744432444242036576/32230924326297213*e^8 - 2306173196805268687/32230924326297213*e^7 + 2424864501863649154/2930084029663383*e^6 + 30219437557132037282/32230924326297213*e^5 - 34252238044154310485/32230924326297213*e^4 - 5392387570620577355/2930084029663383*e^3 - 5680533844826127439/32230924326297213*e^2 + 1547174496245956895/2930084029663383*e + 3771103637522583673/32230924326297213, 1267027034759534/32230924326297213*e^13 + 6558601357999034/32230924326297213*e^12 - 12248463813810823/10743641442099071*e^11 - 231515641635446357/32230924326297213*e^10 + 269799509388006556/32230924326297213*e^9 + 2846462006685822649/32230924326297213*e^8 + 673867972383090289/32230924326297213*e^7 - 1285685247419438455/2930084029663383*e^6 - 11849960381513936063/32230924326297213*e^5 + 23714143753807683956/32230924326297213*e^4 + 2055084287201908571/2930084029663383*e^3 - 9984183003607306040/32230924326297213*e^2 - 382776090823207184/2930084029663383*e + 2512806033319306328/32230924326297213, 348500116336373/64461848652594426*e^13 + 132159404763055/32230924326297213*e^12 - 4148741563520019/21487282884198142*e^11 - 920121479248373/64461848652594426*e^10 + 80138078694776303/32230924326297213*e^9 - 90264837295354162/32230924326297213*e^8 - 948790381551475127/64461848652594426*e^7 + 137659807347137128/2930084029663383*e^6 + 1577008138479239993/32230924326297213*e^5 - 8354647236224441390/32230924326297213*e^4 - 732771554257530199/5860168059326766*e^3 + 14267104787452883189/32230924326297213*e^2 + 385972760659472867/2930084029663383*e - 4942022983117953806/32230924326297213, -364100073087017/10743641442099071*e^13 - 2492575025801123/21487282884198142*e^12 + 27806802236883379/21487282884198142*e^11 + 97648731891794867/21487282884198142*e^10 - 386050445964942729/21487282884198142*e^9 - 711355212253367621/10743641442099071*e^8 + 2345576573678713075/21487282884198142*e^7 + 434453548703550266/976694676554461*e^6 - 5654929386369921129/21487282884198142*e^5 - 29622269456071486319/21487282884198142*e^4 + 98968703549154968/976694676554461*e^3 + 18447275284120462632/10743641442099071*e^2 + 246967428327522960/976694676554461*e - 5242170097084312361/10743641442099071, -3771055608864997/64461848652594426*e^13 - 21892183192104925/64461848652594426*e^12 + 15615626779398111/10743641442099071*e^11 + 374343147373368410/32230924326297213*e^10 - 249532815326857283/64461848652594426*e^9 - 4324757271917360221/32230924326297213*e^8 - 4406714002444460713/32230924326297213*e^7 + 1670262204612571720/2930084029663383*e^6 + 69033842267406380005/64461848652594426*e^5 - 27822635119758330043/64461848652594426*e^4 - 11158488304521077581/5860168059326766*e^3 - 23453684354440392292/32230924326297213*e^2 + 1356880040309047490/2930084029663383*e + 5986236939699934690/32230924326297213, -270202137535853/64461848652594426*e^13 - 2547308783865004/32230924326297213*e^12 - 3134517076553773/21487282884198142*e^11 + 159612465429991907/64461848652594426*e^10 + 272152484371905460/32230924326297213*e^9 - 750411585794211599/32230924326297213*e^8 - 7401256669514234893/64461848652594426*e^7 + 105075791756351720/2930084029663383*e^6 + 18552354787067502781/32230924326297213*e^5 + 12045648553355993354/32230924326297213*e^4 - 4999621933204032845/5860168059326766*e^3 - 30088011705182262221/32230924326297213*e^2 + 358123382269374895/2930084029663383*e + 9267629156569579508/32230924326297213, 994386178973411/21487282884198142*e^13 + 3186514038212365/21487282884198142*e^12 - 18547697494801598/10743641442099071*e^11 - 60379110972384788/10743641442099071*e^10 + 500325816680109235/21487282884198142*e^9 + 836890821685470955/10743641442099071*e^8 - 1473685312167006432/10743641442099071*e^7 - 473672318224319607/976694676554461*e^6 + 7131388370627272029/21487282884198142*e^5 + 28784782548255258139/21487282884198142*e^4 - 470633210637613851/1953389353108922*e^3 - 15674301491939302238/10743641442099071*e^2 - 72901885560076893/976694676554461*e + 3865018879867784556/10743641442099071, -40925965198565/32230924326297213*e^13 + 1116251350143815/64461848652594426*e^12 + 1447293196774948/10743641442099071*e^11 - 14894142929085268/32230924326297213*e^10 - 116577799548155185/32230924326297213*e^9 + 151817296212310933/64461848652594426*e^8 + 2455340602248634951/64461848652594426*e^7 + 143295192305804297/5860168059326766*e^6 - 10067277868338032963/64461848652594426*e^5 - 7455176202464901956/32230924326297213*e^4 + 803410471763553143/5860168059326766*e^3 + 13402359239931374870/32230924326297213*e^2 + 357671995277553005/2930084029663383*e - 3521380007972800832/32230924326297213, 598243889084530/32230924326297213*e^13 + 1609512347099929/32230924326297213*e^12 - 7634748242196279/10743641442099071*e^11 - 61012259327410840/32230924326297213*e^10 + 321559304783471621/32230924326297213*e^9 + 845893083651394127/32230924326297213*e^8 - 2024573048577139381/32230924326297213*e^7 - 480133479884576093/2930084029663383*e^6 + 5542838946384688022/32230924326297213*e^5 + 14861039403629696278/32230924326297213*e^4 - 474878736312075368/2930084029663383*e^3 - 17747339701852416340/32230924326297213*e^2 - 53874188904906763/2930084029663383*e + 5638246033299886744/32230924326297213, 587773657607749/21487282884198142*e^13 + 688447285318161/21487282884198142*e^12 - 27367526970457165/21487282884198142*e^11 - 34530346246039549/21487282884198142*e^10 + 242529417203632583/10743641442099071*e^9 + 662485979160357413/21487282884198142*e^8 - 2005334426072037487/10743641442099071*e^7 - 543697398522460835/1953389353108922*e^6 + 14843286325067207189/21487282884198142*e^5 + 12346082547252516556/10743641442099071*e^4 - 791525861020876570/976694676554461*e^3 - 18028055294860024455/10743641442099071*e^2 - 45526544296022822/976694676554461*e + 4871730492556656442/10743641442099071, 141802383170548/32230924326297213*e^13 + 2920606933961308/32230924326297213*e^12 + 4042155603809293/21487282884198142*e^11 - 186259329732747371/64461848652594426*e^10 - 653178892280793977/64461848652594426*e^9 + 1833871062867867151/64461848652594426*e^8 + 4413806103587214395/32230924326297213*e^7 - 367065911414355247/5860168059326766*e^6 - 22385159572136307817/32230924326297213*e^5 - 20469345458808726211/64461848652594426*e^4 + 6370815456112138847/5860168059326766*e^3 + 27368160417070193444/32230924326297213*e^2 - 680634424206518197/2930084029663383*e - 6425680349694180710/32230924326297213, -665222751471506/32230924326297213*e^13 + 1608405300952823/64461848652594426*e^12 + 12687226243353903/10743641442099071*e^11 - 9181892576555629/32230924326297213*e^10 - 797959223484141415/32230924326297213*e^9 - 661587683246885429/64461848652594426*e^8 + 15143708671885210783/64461848652594426*e^7 + 1206664323747243497/5860168059326766*e^6 - 63100541823500355527/64461848652594426*e^5 - 38343543949009026671/32230924326297213*e^4 + 7757754596237951321/5860168059326766*e^3 + 64139031409230386801/32230924326297213*e^2 - 431967456029756026/2930084029663383*e - 18063437606304656564/32230924326297213, 743697698189287/32230924326297213*e^13 + 7449294743447159/64461848652594426*e^12 - 13296378556186939/21487282884198142*e^11 - 250395461401743059/64461848652594426*e^10 + 201298356597464209/64461848652594426*e^9 + 1395242657340556562/32230924326297213*e^8 + 2212440429452167657/64461848652594426*e^7 - 483136105405677464/2930084029663383*e^6 - 20846430419005149587/64461848652594426*e^5 - 36645009960588241/64461848652594426*e^4 + 1680243563504441083/2930084029663383*e^3 + 16672583449414357904/32230924326297213*e^2 - 307158431114338210/2930084029663383*e - 6071828777075535272/32230924326297213, 1992454066771915/64461848652594426*e^13 + 9093493707279511/64461848652594426*e^12 - 10295513286055116/10743641442099071*e^11 - 160165204338462188/32230924326297213*e^10 + 561674242729445477/64461848652594426*e^9 + 1961818025362749544/32230924326297213*e^8 - 279455827536906023/32230924326297213*e^7 - 878163593156225980/2930084029663383*e^6 - 11303241136380019231/64461848652594426*e^5 + 31201105977326601913/64461848652594426*e^4 + 2442870266803643773/5860168059326766*e^3 - 4533803792888702969/32230924326297213*e^2 - 433452139575744746/2930084029663383*e - 824265729037330144/32230924326297213, 277670862848662/32230924326297213*e^13 + 5685603656662337/64461848652594426*e^12 - 180437379077195/21487282884198142*e^11 - 179161873848386195/64461848652594426*e^10 - 424387193881491635/64461848652594426*e^9 + 851996820537279764/32230924326297213*e^8 + 6817002705125118481/64461848652594426*e^7 - 127699540631728823/2930084029663383*e^6 - 35989625831739433589/64461848652594426*e^5 - 26753216334718120141/64461848652594426*e^4 + 2419556270066978638/2930084029663383*e^3 + 35069662127659280798/32230924326297213*e^2 - 257758227578229190/2930084029663383*e - 11556277826980017683/32230924326297213, 287884748653923/21487282884198142*e^13 + 409332175605130/10743641442099071*e^12 - 6300274892140841/10743641442099071*e^11 - 18131493371099139/10743641442099071*e^10 + 208511813229358525/21487282884198142*e^9 + 615335290334989625/21487282884198142*e^8 - 1585764894519155739/21487282884198142*e^7 - 451322146797356235/1953389353108922*e^6 + 2551848287819916709/10743641442099071*e^5 + 18838998790371694673/21487282884198142*e^4 - 149124079546289987/976694676554461*e^3 - 13634614161210094176/10743641442099071*e^2 - 224089372611580885/976694676554461*e + 4041456112375812252/10743641442099071, -430192081059701/64461848652594426*e^13 - 322130848010051/64461848652594426*e^12 + 6402164205166229/21487282884198142*e^11 + 13470554511996749/64461848652594426*e^10 - 163490456676074540/32230924326297213*e^9 - 210595459560532027/64461848652594426*e^8 + 1311321600716454865/32230924326297213*e^7 + 136382451472319527/5860168059326766*e^6 - 9768893441607427735/64461848652594426*e^5 - 2263809407995756351/32230924326297213*e^4 + 627552809677126277/2930084029663383*e^3 + 1827956617381828663/32230924326297213*e^2 - 202557032881204370/2930084029663383*e - 927906449475708598/32230924326297213, 858608772680165/64461848652594426*e^13 + 2821579210759241/64461848652594426*e^12 - 5562659192610181/10743641442099071*e^11 - 54659503811295496/32230924326297213*e^10 + 478865207981559295/64461848652594426*e^9 + 780112049938634027/32230924326297213*e^8 - 1558311377702639887/32230924326297213*e^7 - 458528918709329258/2930084029663383*e^6 + 9046423427848314319/64461848652594426*e^5 + 29155006220737760591/64461848652594426*e^4 - 915826434947836543/5860168059326766*e^3 - 16474979835182826574/32230924326297213*e^2 + 151201827420578855/2930084029663383*e + 4810083868765001479/32230924326297213, 273376182821647/10743641442099071*e^13 + 1339882390925796/10743641442099071*e^12 - 16431208753546705/21487282884198142*e^11 - 95751591972889329/21487282884198142*e^10 + 135949281997002137/21487282884198142*e^9 + 1201921651894636261/21487282884198142*e^8 + 33764662207152362/10743641442099071*e^7 - 566093033419546229/1953389353108922*e^6 - 2088589938656995133/10743641442099071*e^5 + 11729999005807646177/21487282884198142*e^4 + 824925646375463471/1953389353108922*e^3 - 3487446195216655295/10743641442099071*e^2 - 146514715316116849/976694676554461*e + 621126716800960259/10743641442099071, -2189327912624/976694676554461*e^13 + 275081366167593/1953389353108922*e^12 + 776838551693091/976694676554461*e^11 - 3989331669176532/976694676554461*e^10 - 25430732288166023/976694676554461*e^9 + 58438925008426041/1953389353108922*e^8 + 601572001156818559/1953389353108922*e^7 + 153003763066719763/1953389353108922*e^6 - 2846756237513023087/1953389353108922*e^5 - 1334653317561499024/976694676554461*e^4 + 4127829887781015449/1953389353108922*e^3 + 2710673909020168120/976694676554461*e^2 - 255365195148598703/976694676554461*e - 804932954685185264/976694676554461, -53262433229236/976694676554461*e^13 - 207715047716441/1953389353108922*e^12 + 2310262279081487/976694676554461*e^11 + 4438218539921946/976694676554461*e^10 - 38094996375188321/976694676554461*e^9 - 144433371312548861/1953389353108922*e^8 + 588679721617034521/1953389353108922*e^7 + 1111148336750672715/1953389353108922*e^6 - 2068837211229820275/1953389353108922*e^5 - 1996797297131925184/976694676554461*e^4 + 2455724785075301011/1953389353108922*e^3 + 2708522354897940328/976694676554461*e^2 - 4612488755479017/976694676554461*e - 755201271839608414/976694676554461, 255860973306042/10743641442099071*e^13 + 2206457916039125/10743641442099071*e^12 - 3186446892606884/10743641442099071*e^11 - 73329576888386475/10743641442099071*e^10 - 93990416038039579/10743641442099071*e^9 + 797170350607549304/10743641442099071*e^8 + 1940763478783148742/10743641442099071*e^7 - 253939979524292916/976694676554461*e^6 - 11145690968229561501/10743641442099071*e^5 - 1662115747090889721/10743641442099071*e^4 + 1646610463521698299/976694676554461*e^3 + 11923230801085378787/10743641442099071*e^2 - 370079665132198380/976694676554461*e - 3266997226119148988/10743641442099071, -158274225414819/21487282884198142*e^13 + 344729884336161/21487282884198142*e^12 + 4468184913865853/10743641442099071*e^11 - 4450075477766928/10743641442099071*e^10 - 185494159336404505/21487282884198142*e^9 + 17925901080230745/10743641442099071*e^8 + 872433557127283798/10743641442099071*e^7 + 28897902438795102/976694676554461*e^6 - 7200043693399456785/21487282884198142*e^5 - 5484661022521313367/21487282884198142*e^4 + 865668073877282829/1953389353108922*e^3 + 5187357087268962152/10743641442099071*e^2 - 20477190195968714/976694676554461*e - 1643552391760043060/10743641442099071, 128784153557043/10743641442099071*e^13 + 839801687931612/10743641442099071*e^12 - 6509686039426593/21487282884198142*e^11 - 59215694999120787/21487282884198142*e^10 + 21524195437587739/21487282884198142*e^9 + 727631854814139141/21487282884198142*e^8 + 268590528020202930/10743641442099071*e^7 - 329057335457986953/1953389353108922*e^6 - 2160717209690426179/10743641442099071*e^5 + 6120972022813137223/21487282884198142*e^4 + 673346682115077295/1953389353108922*e^3 - 1364051962932518839/10743641442099071*e^2 - 42755386052563676/976694676554461*e + 490385457873647879/10743641442099071, 33513371956408/2930084029663383*e^13 + 33364110875767/2930084029663383*e^12 - 1044428337551595/1953389353108922*e^11 - 3403762818836957/5860168059326766*e^10 + 56197403146328809/5860168059326766*e^9 + 66356436311154049/5860168059326766*e^8 - 238523172152226979/2930084029663383*e^7 - 609663755505880403/5860168059326766*e^6 + 937883251583295965/2930084029663383*e^5 + 2573287034252736221/5860168059326766*e^4 - 2694681138762065141/5860168059326766*e^3 - 1937222044525391656/2930084029663383*e^2 + 359019127049289616/2930084029663383*e + 556080565157093485/2930084029663383, 148905828951965/64461848652594426*e^13 + 2824903564682315/64461848652594426*e^12 + 1911827111884295/21487282884198142*e^11 - 85024359674683829/64461848652594426*e^10 - 158767980388478536/32230924326297213*e^9 + 705957282162793249/64461848652594426*e^8 + 2119584447845717492/32230924326297213*e^7 + 28153889028119321/5860168059326766*e^6 - 20550583874921998727/64461848652594426*e^5 - 10668209770421343185/32230924326297213*e^4 + 1214868578720519344/2930084029663383*e^3 + 22966048249524413300/32230924326297213*e^2 + 103404530711723789/2930084029663383*e - 6521537373082154798/32230924326297213, -986787833227453/32230924326297213*e^13 - 2854107278534375/64461848652594426*e^12 + 28666982256552001/21487282884198142*e^11 + 120685493395745117/64461848652594426*e^10 - 1430905053099513325/64461848652594426*e^9 - 972137303452607801/32230924326297213*e^8 + 11258957730623924537/64461848652594426*e^7 + 673958793771629039/2930084029663383*e^6 - 41266727564488539493/64461848652594426*e^5 - 52630433848939550261/64461848652594426*e^4 + 2547969114984634223/2930084029663383*e^3 + 34129483033263075796/32230924326297213*e^2 - 525347629369708526/2930084029663383*e - 7608347303096939827/32230924326297213, 986114573349409/32230924326297213*e^13 + 3929101821379618/32230924326297213*e^12 - 10959047126497022/10743641442099071*e^11 - 140318912028333004/32230924326297213*e^10 + 360289225656379205/32230924326297213*e^9 + 1759163155301681738/32230924326297213*e^8 - 1306080677551032241/32230924326297213*e^7 - 825758600813870435/2930084029663383*e^6 - 337026815711487073/32230924326297213*e^5 + 16827176030209430089/32230924326297213*e^4 + 364217170815535561/2930084029663383*e^3 - 8423869167581606746/32230924326297213*e^2 - 64696537728556306/2930084029663383*e - 705026771424400628/32230924326297213, 587920976333800/10743641442099071*e^13 + 3144701995474767/10743641442099071*e^12 - 32347013609392799/21487282884198142*e^11 - 218600801552324597/21487282884198142*e^10 + 188111111739155945/21487282884198142*e^9 + 2607869370334210327/21487282884198142*e^8 + 701491141111205131/10743641442099071*e^7 - 1094781497696590697/1953389353108922*e^6 - 7505441842463308489/10743641442099071*e^5 + 15032762060132509369/21487282884198142*e^4 + 2581158944078034993/1953389353108922*e^3 + 1877748379307966915/10743641442099071*e^2 - 323314342978948467/976694676554461*e - 1274893294419162008/10743641442099071, 93898825445747/10743641442099071*e^13 + 3503881940322323/21487282884198142*e^12 + 5406395264385329/21487282884198142*e^11 - 113801200930345833/21487282884198142*e^10 - 340944480090469219/21487282884198142*e^9 + 587308147275871972/10743641442099071*e^8 + 4739919226814715375/21487282884198142*e^7 - 152383385342347322/976694676554461*e^6 - 24370739949944439679/21487282884198142*e^5 - 7639135024299420627/21487282884198142*e^4 + 1763043853392760994/976694676554461*e^3 + 12768014297108882113/10743641442099071*e^2 - 425682484754800401/976694676554461*e - 3059223167461758966/10743641442099071, 905431852623279/21487282884198142*e^13 + 3951267216074997/21487282884198142*e^12 - 15589563601396528/10743641442099071*e^11 - 74667262100665100/10743641442099071*e^10 + 362144868953343703/21487282884198142*e^9 + 1030076469965396840/10743641442099071*e^8 - 749602278121416436/10743641442099071*e^7 - 578407056361006277/976694676554461*e^6 + 239405823057734635/21487282884198142*e^5 + 34854689019944180565/21487282884198142*e^4 + 689054911036468173/1953389353108922*e^3 - 19462927030593811636/10743641442099071*e^2 - 405804220520963899/976694676554461*e + 5673721813067801219/10743641442099071, 93049842570872/2930084029663383*e^13 + 251776489219301/2930084029663383*e^12 - 1247931995084572/976694676554461*e^11 - 10152854333972366/2930084029663383*e^10 + 56101349410338223/2930084029663383*e^9 + 154102096975696318/2930084029663383*e^8 - 382355626566123056/2930084029663383*e^7 - 1096858980783068252/2930084029663383*e^6 + 1113964806821078308/2930084029663383*e^5 + 3666450906702284240/2930084029663383*e^4 - 803517289527387899/2930084029663383*e^3 - 4869519635666351969/2930084029663383*e^2 - 629804052484096537/2930084029663383*e + 1449552528885628895/2930084029663383, 821687196104102/32230924326297213*e^13 + 6869664786826927/64461848652594426*e^12 - 17749384074492065/21487282884198142*e^11 - 243870854312298211/64461848652594426*e^10 + 545671365369799865/64461848652594426*e^9 + 1511877045251712880/32230924326297213*e^8 - 1504106158140284107/64461848652594426*e^7 - 692956708323368599/2930084029663383*e^6 - 3804142508704720537/64461848652594426*e^5 + 26418162497355113233/64461848652594426*e^4 + 508545252400915178/2930084029663383*e^3 - 5612452337202578336/32230924326297213*e^2 - 44155678473125831/2930084029663383*e - 221772371332170730/32230924326297213, 895674567836371/64461848652594426*e^13 + 4926767481623617/64461848652594426*e^12 - 3643612176577898/10743641442099071*e^11 - 82892282449997780/32230924326297213*e^10 + 45838706541593759/64461848652594426*e^9 + 930363127195770781/32230924326297213*e^8 + 1129729437476450416/32230924326297213*e^7 - 334008039095980906/2930084029663383*e^6 - 17319087491737916035/64461848652594426*e^5 + 2308344721901813143/64461848652594426*e^4 + 2868706983733674169/5860168059326766*e^3 + 8382534769970186668/32230924326297213*e^2 - 443292594092403533/2930084029663383*e - 2958194643517945024/32230924326297213, 1028573569856827/21487282884198142*e^13 + 2458534270659110/10743641442099071*e^12 - 31751554105969329/21487282884198142*e^11 - 176049039224165137/21487282884198142*e^10 + 142314087001417775/10743641442099071*e^9 + 1111016897081333919/10743641442099071*e^8 - 205196660480538785/21487282884198142*e^7 - 531270070475895154/976694676554461*e^6 - 3259022372842449438/10743641442099071*e^5 + 11556870676694343218/10743641442099071*e^4 + 1513928251760999793/1953389353108922*e^3 - 7869838596860058450/10743641442099071*e^2 - 381695218151313486/976694676554461*e + 1925391344329362248/10743641442099071, -174206108590291/10743641442099071*e^13 - 2785136244643127/21487282884198142*e^12 + 4596491639638673/21487282884198142*e^11 + 89996291945296195/21487282884198142*e^10 + 118498394540349079/21487282884198142*e^9 - 459250010087259496/10743641442099071*e^8 - 2518390963805366757/21487282884198142*e^7 + 112931534052403682/976694676554461*e^6 + 14486821737384009727/21487282884198142*e^5 + 7077057443733979607/21487282884198142*e^4 - 1051248981592821877/976694676554461*e^3 - 11465511186993776160/10743641442099071*e^2 + 192371153354739794/976694676554461*e + 3228999713098000580/10743641442099071, 723065312930083/21487282884198142*e^13 + 4317333892010685/21487282884198142*e^12 - 8925947396338787/10743641442099071*e^11 - 73079391359912724/10743641442099071*e^10 + 45151629102538355/21487282884198142*e^9 + 826879563390857700/10743641442099071*e^8 + 844907400486001221/10743641442099071*e^7 - 300255844422234011/976694676554461*e^6 - 12867457189050165167/21487282884198142*e^5 + 2217392472109565041/21487282884198142*e^4 + 1918224473095125941/1953389353108922*e^3 + 7630887903815925714/10743641442099071*e^2 - 111220109469909305/976694676554461*e - 2343030726192977802/10743641442099071, -1146720342339043/64461848652594426*e^13 - 3600472754461915/64461848652594426*e^12 + 14593087323303529/21487282884198142*e^11 + 135188560990593511/64461848652594426*e^10 - 305351099531245336/32230924326297213*e^9 - 1850112524413558187/64461848652594426*e^8 + 1894888097696462861/32230924326297213*e^7 + 1026928269265969469/5860168059326766*e^6 - 10004325995549745389/64461848652594426*e^5 - 15052778750250137684/32230924326297213*e^4 + 385266381345268360/2930084029663383*e^3 + 15085558650667379324/32230924326297213*e^2 + 70085690000806622/2930084029663383*e - 2783912833555462154/32230924326297213, 1739739517249671/21487282884198142*e^13 + 4885355776449068/10743641442099071*e^12 - 45748178780684185/21487282884198142*e^11 - 336990551197223007/21487282884198142*e^10 + 102830229179109441/10743641442099071*e^9 + 1981409766878363808/10743641442099071*e^8 + 2928200954022721527/21487282884198142*e^7 - 803359908982477589/976694676554461*e^6 - 13019736386493169446/10743641442099071*e^5 + 9315092629081844045/10743641442099071*e^4 + 4238360648004238951/1953389353108922*e^3 + 6019017628761015194/10743641442099071*e^2 - 448263646808662643/976694676554461*e - 2059970671415720546/10743641442099071, 2303913959765993/64461848652594426*e^13 + 6990339145742771/64461848652594426*e^12 - 13815032344835530/10743641442099071*e^11 - 123634913534185579/32230924326297213*e^10 + 1055378648799924181/64461848652594426*e^9 + 1524599543378758778/32230924326297213*e^8 - 2830002233306637556/32230924326297213*e^7 - 692468151384953636/2930084029663383*e^6 + 12031161381135203917/64461848652594426*e^5 + 25824992756265991169/64461848652594426*e^4 - 1051775999481167245/5860168059326766*e^3 - 4967764987484494594/32230924326297213*e^2 + 256132061846839718/2930084029663383*e + 104202054159184411/32230924326297213, -733097702376745/64461848652594426*e^13 - 11279980338417061/64461848652594426*e^12 - 2474751594442805/10743641442099071*e^11 + 175062171564926795/32230924326297213*e^10 + 1107265038569794873/64461848652594426*e^9 - 1597629284673819868/32230924326297213*e^8 - 7823990358124305250/32230924326297213*e^7 + 152644794007685713/2930084029663383*e^6 + 79447074443440002325/64461848652594426*e^5 + 63274423723394318573/64461848652594426*e^4 - 10607691665559842653/5860168059326766*e^3 - 76362989158293827614/32230924326297213*e^2 + 579625746128735450/2930084029663383*e + 24140585679595178302/32230924326297213, 124739049480846/10743641442099071*e^13 - 670560672629019/10743641442099071*e^12 - 9566087398125476/10743641442099071*e^11 + 17593176968761329/10743641442099071*e^10 + 234910289708718205/10743641442099071*e^9 - 77439959370453082/10743641442099071*e^8 - 2456074706138598073/10743641442099071*e^7 - 105586666765710409/976694676554461*e^6 + 10907903514956432373/10743641442099071*e^5 + 10274323225155067744/10743641442099071*e^4 - 1400304720399452307/976694676554461*e^3 - 18591415345482803479/10743641442099071*e^2 + 171983372536734383/976694676554461*e + 4748245179870716134/10743641442099071, 366233825412811/21487282884198142*e^13 + 896951562792886/10743641442099071*e^12 - 9317608873690341/21487282884198142*e^11 - 58566442777738623/21487282884198142*e^10 + 16736650262198351/10743641442099071*e^9 + 305254265325825636/10743641442099071*e^8 + 710469336621037457/21487282884198142*e^7 - 82321337697814334/976694676554461*e^6 - 2828470294774218318/10743641442099071*e^5 - 1796734334933743475/10743641442099071*e^4 + 786082630051031847/1953389353108922*e^3 + 6677700684397365014/10743641442099071*e^2 + 1851135239994819/976694676554461*e - 2057654232865632880/10743641442099071, 2998655517213661/64461848652594426*e^13 + 9460257573938240/32230924326297213*e^12 - 23041756736331849/21487282884198142*e^11 - 642693046717134835/64461848652594426*e^10 + 6031920568231681/32230924326297213*e^9 + 3659407680702562231/32230924326297213*e^8 + 9233386498829170715/64461848652594426*e^7 - 1353098904564564184/2930084029663383*e^6 - 32690369052786166862/32230924326297213*e^5 + 6734210855976749969/32230924326297213*e^4 + 10266860590413633877/5860168059326766*e^3 + 30905677368982855618/32230924326297213*e^2 - 1236841687239069422/2930084029663383*e - 11433660626663221222/32230924326297213, 2522530639252087/64461848652594426*e^13 + 5985947801526284/32230924326297213*e^12 - 26909228722922433/21487282884198142*e^11 - 440416579733943583/64461848652594426*e^10 + 397970842199110978/32230924326297213*e^9 + 2912759058572681173/32230924326297213*e^8 - 1618312621981774531/64461848652594426*e^7 - 1526115473394658345/2930084029663383*e^6 - 5809483312852878056/32230924326297213*e^5 + 40927466614513242695/32230924326297213*e^4 + 3666038810981930209/5860168059326766*e^3 - 40781967175416596483/32230924326297213*e^2 - 1372539615302811212/2930084029663383*e + 11962146951548717129/32230924326297213, 2114386897742239/64461848652594426*e^13 + 4498958151581731/64461848652594426*e^12 - 15248471803291428/10743641442099071*e^11 - 98391209773879250/32230924326297213*e^10 + 1497399124070045531/64461848652594426*e^9 + 1644225121648724473/32230924326297213*e^8 - 5681066056003035998/32230924326297213*e^7 - 1185104121688270210/2930084029663383*e^6 + 38152547492874778361/64461848652594426*e^5 + 97140297761338407799/64461848652594426*e^4 - 3452206997953042031/5860168059326766*e^3 - 69463802180536370969/32230924326297213*e^2 - 508996141811512547/2930084029663383*e + 20960233935597900896/32230924326297213, -382168733734676/32230924326297213*e^13 - 7473775839874825/64461848652594426*e^12 + 1239699426865169/21487282884198142*e^11 + 238010082878267269/64461848652594426*e^10 + 481223594210985595/64461848652594426*e^9 - 1167027157465104247/32230924326297213*e^8 - 8169244241873281367/64461848652594426*e^7 + 225628365054846487/2930084029663383*e^6 + 44080464326606050819/64461848652594426*e^5 + 27894619019713092635/64461848652594426*e^4 - 3040165163783785556/2930084029663383*e^3 - 38542632058691867869/32230924326297213*e^2 + 410805942331949549/2930084029663383*e + 12452314108506356056/32230924326297213, 3727749879425083/64461848652594426*e^13 + 19206543773119537/64461848652594426*e^12 - 17945051916741643/10743641442099071*e^11 - 339249279756356801/32230924326297213*e^10 + 774685593112860773/64461848652594426*e^9 + 4177055375603825335/32230924326297213*e^8 + 1157830087792419961/32230924326297213*e^7 - 1893951540748120741/2930084029663383*e^6 - 37737960908643623365/64461848652594426*e^5 + 71121233846656358149/64461848652594426*e^4 + 7105214729195048107/5860168059326766*e^3 - 17176676665683371315/32230924326297213*e^2 - 1221878281000661579/2930084029663383*e + 6406822452001441769/32230924326297213, -485207596035101/32230924326297213*e^13 + 2122878166920245/64461848652594426*e^12 + 9744162729241015/10743641442099071*e^11 - 23638103940177103/32230924326297213*e^10 - 632357034741999223/32230924326297213*e^9 - 51922769549313005/64461848652594426*e^8 + 12237875121075489463/64461848652594426*e^7 + 664120213699000697/5860168059326766*e^6 - 51672858423906986345/64461848652594426*e^5 - 25053960998447182787/32230924326297213*e^4 + 6439979373726401693/5860168059326766*e^3 + 42879610283683846331/32230924326297213*e^2 - 374476619938569061/2930084029663383*e - 11240490297284255498/32230924326297213, -2835193956334129/32230924326297213*e^13 - 25972638620071409/64461848652594426*e^12 + 57718660017349327/21487282884198142*e^11 + 913411111014468137/64461848652594426*e^10 - 1509504434954166073/64461848652594426*e^9 - 5576924020826083421/32230924326297213*e^8 + 560591341161585047/64461848652594426*e^7 + 2480594217985371092/2930084029663383*e^6 + 36902785159740129947/64461848652594426*e^5 - 86735103502084624205/64461848652594426*e^4 - 3776431629487192675/2930084029663383*e^3 + 13209781332274061710/32230924326297213*e^2 + 1088564085785465779/2930084029663383*e - 2809844804014382119/32230924326297213, 2367261637096871/64461848652594426*e^13 + 5087398789346821/32230924326297213*e^12 - 12895232619360439/10743641442099071*e^11 - 185251646550485047/32230924326297213*e^10 + 802200387538299991/64461848652594426*e^9 + 4809026624095756825/64461848652594426*e^8 - 2200875957019473647/64461848652594426*e^7 - 2425739166211488883/5860168059326766*e^6 - 3540718741863099718/32230924326297213*e^5 + 59947193467576911293/64461848652594426*e^4 + 1263390132468834478/2930084029663383*e^3 - 26882200972384614217/32230924326297213*e^2 - 821450822718072316/2930084029663383*e + 8084096371166126578/32230924326297213, 368315010144940/10743641442099071*e^13 + 1153054635809910/10743641442099071*e^12 - 25039568879410703/21487282884198142*e^11 - 78955806013395455/21487282884198142*e^10 + 289007817586031259/21487282884198142*e^9 + 914600252295060723/21487282884198142*e^8 - 639331814750301403/10743641442099071*e^7 - 356217255791231443/1953389353108922*e^6 + 915519581466080050/10743641442099071*e^5 + 3073086481088002747/21487282884198142*e^4 - 288219304255923425/1953389353108922*e^3 + 2883222421987192789/10743641442099071*e^2 + 237185370859456323/976694676554461*e - 1457074107470712448/10743641442099071, 451661399718547/32230924326297213*e^13 + 1135291097094929/64461848652594426*e^12 - 6550444473560334/10743641442099071*e^11 - 23574722371151026/32230924326297213*e^10 + 327773012349358343/32230924326297213*e^9 + 731083760987678785/64461848652594426*e^8 - 5229520087887118907/64461848652594426*e^7 - 472802859261649477/5860168059326766*e^6 + 20077883816075958163/64461848652594426*e^5 + 8238256813779233638/32230924326297213*e^4 - 2889181122677906101/5860168059326766*e^3 - 9051142837396444579/32230924326297213*e^2 + 549377303423507504/2930084029663383*e + 1494067128688581679/32230924326297213, 1212173221186085/64461848652594426*e^13 + 7611090329474261/64461848652594426*e^12 - 8349930814432553/21487282884198142*e^11 - 249648163555561025/64461848652594426*e^10 - 46064093572683097/32230924326297213*e^9 + 2640475175401718647/64461848652594426*e^8 + 2412325703716317632/32230924326297213*e^7 - 763018249559690791/5860168059326766*e^6 - 30880281055658407535/64461848652594426*e^5 - 5744632445127729599/32230924326297213*e^4 + 2196697883784054922/2930084029663383*e^3 + 25517518590038124602/32230924326297213*e^2 - 188274950760471115/2930084029663383*e - 8620145620389080432/32230924326297213, -275782361355762/10743641442099071*e^13 - 2254795419099207/10743641442099071*e^12 + 7928509454386251/21487282884198142*e^11 + 148814871202797995/21487282884198142*e^10 + 164186554411898329/21487282884198142*e^9 - 1592407564708557631/21487282884198142*e^8 - 1845268934574648565/10743641442099071*e^7 + 478950522431760519/1953389353108922*e^6 + 10681316456173373829/10743641442099071*e^5 + 5445811884284976791/21487282884198142*e^4 - 3041149624859976009/1953389353108922*e^3 - 13575794542490029009/10743641442099071*e^2 + 223645793373150768/976694676554461*e + 3646996729082334608/10743641442099071, -835233032660407/32230924326297213*e^13 - 5081171022018583/32230924326297213*e^12 + 7265336508997474/10743641442099071*e^11 + 177762905663163115/32230924326297213*e^10 - 91832701358758490/32230924326297213*e^9 - 2149010310557882978/32230924326297213*e^8 - 1511170541709144809/32230924326297213*e^7 + 932527257604070123/2930084029663383*e^6 + 13249047991734100450/32230924326297213*e^5 - 14787875260981873381/32230924326297213*e^4 - 2250908456830212490/2930084029663383*e^3 + 1169244051959210593/32230924326297213*e^2 + 611623013708947963/2930084029663383*e + 1032730028109222002/32230924326297213, -1609982297640589/32230924326297213*e^13 - 8781739982296141/32230924326297213*e^12 + 29614051858796415/21487282884198142*e^11 + 615811449733942763/64461848652594426*e^10 - 521870719382210323/64461848652594426*e^9 - 7478470021588004335/64461848652594426*e^8 - 1908763612370081381/32230924326297213*e^7 + 3287253410293022725/5860168059326766*e^6 + 20838762662468315320/32230924326297213*e^5 - 55513872963142217897/64461848652594426*e^4 - 7526409384668679287/5860168059326766*e^3 + 7643564674275040651/32230924326297213*e^2 + 1291236729275012617/2930084029663383*e - 2930589580419749500/32230924326297213, 205100438213087/10743641442099071*e^13 - 375798619505987/21487282884198142*e^12 - 22824220135952959/21487282884198142*e^11 + 2732364081430633/21487282884198142*e^10 + 470098069922586819/21487282884198142*e^9 + 103890850456270594/10743641442099071*e^8 - 4417728245176300253/21487282884198142*e^7 - 169377700270415715/976694676554461*e^6 + 18397601694358732773/21487282884198142*e^5 + 20792926841781784663/21487282884198142*e^4 - 1154169603648963188/976694676554461*e^3 - 16902785234325700829/10743641442099071*e^2 + 133745808825639222/976694676554461*e + 4380234999804613480/10743641442099071, -142934704010537/10743641442099071*e^13 - 1047278176404011/10743641442099071*e^12 + 2840992438184592/10743641442099071*e^11 + 36060320796192676/10743641442099071*e^10 + 15592312945714808/10743641442099071*e^9 - 422782833364141131/10743641442099071*e^8 - 640949228827780262/10743641442099071*e^7 + 170601724558519624/976694676554461*e^6 + 4119490636475403385/10743641442099071*e^5 - 2008441498528120923/10743641442099071*e^4 - 635717825453040274/976694676554461*e^3 - 725623762222918308/10743641442099071*e^2 + 153196271282430617/976694676554461*e - 336102593617312635/10743641442099071, 409415876582035/32230924326297213*e^13 + 184449533461372/32230924326297213*e^12 - 14364405572482261/21487282884198142*e^11 - 37716028092595901/64461848652594426*e^10 + 849582970271423293/64461848652594426*e^9 + 1042303533066595993/64461848652594426*e^8 - 3841646573998677904/32230924326297213*e^7 - 1070899718204379223/5860168059326766*e^6 + 15274118994366088640/32230924326297213*e^5 + 56314664470212620459/64461848652594426*e^4 - 3422502240923992423/5860168059326766*e^3 - 45125293884416118337/32230924326297213*e^2 - 22053235038160906/2930084029663383*e + 13629408692922928828/32230924326297213, -1228792823985613/64461848652594426*e^13 - 4674487307197283/32230924326297213*e^12 + 7352761288232531/21487282884198142*e^11 + 317906455631067763/64461848652594426*e^10 + 109094452842175703/32230924326297213*e^9 - 1819930438311394897/32230924326297213*e^8 - 6559564535782052045/64461848652594426*e^7 + 691076381538608536/2930084029663383*e^6 + 20426906965733951426/32230924326297213*e^5 - 5441269380978089621/32230924326297213*e^4 - 6432297028203654349/5860168059326766*e^3 - 8148090488039901667/32230924326297213*e^2 + 923297705329675775/2930084029663383*e + 32960558244121942/32230924326297213, 228863619036431/64461848652594426*e^13 + 6066103832735189/64461848652594426*e^12 + 2393614861585190/10743641442099071*e^11 - 98208181645681771/32230924326297213*e^10 - 689041593364680647/64461848652594426*e^9 + 1007288029059156587/32230924326297213*e^8 + 4561241900556917789/32230924326297213*e^7 - 255801036894024695/2930084029663383*e^6 - 46144161173779808633/64461848652594426*e^5 - 13492113344570752357/64461848652594426*e^4 + 6695112664030952795/5860168059326766*e^3 + 20926325277216041414/32230924326297213*e^2 - 847597080905209903/2930084029663383*e - 2871972994076502362/32230924326297213, 315942025878843/10743641442099071*e^13 + 2088119080784548/10743641442099071*e^12 - 6896882327460852/10743641442099071*e^11 - 70513976182086597/10743641442099071*e^10 - 12333858912729601/10743641442099071*e^9 + 794336422867758142/10743641442099071*e^8 + 1139891886897754568/10743641442099071*e^7 - 285302420179377558/976694676554461*e^6 - 7724340720503902882/10743641442099071*e^5 + 857976193164749898/10743641442099071*e^4 + 1213289602011876875/976694676554461*e^3 + 7574328627129209383/10743641442099071*e^2 - 309699996726226662/976694676554461*e - 2195147525450548122/10743641442099071, -1117844004245119/21487282884198142*e^13 - 3204784259434511/21487282884198142*e^12 + 43796154295780961/21487282884198142*e^11 + 124034170858155265/21487282884198142*e^10 - 318121470658973852/10743641442099071*e^9 - 1774359437698808901/21487282884198142*e^8 + 2111387532797619129/10743641442099071*e^7 + 1053932189136637359/1953389353108922*e^6 - 12596797868019857223/21487282884198142*e^5 - 17221754744828543920/10743641442099071*e^4 + 627950437423632675/976694676554461*e^3 + 20381387188605329488/10743641442099071*e^2 - 46898682130401580/976694676554461*e - 5700986166625972177/10743641442099071, 263792260093385/21487282884198142*e^13 + 1525828108301529/10743641442099071*e^12 + 137235787523004/10743641442099071*e^11 - 49482177098037412/10743641442099071*e^10 - 221498959062893583/21487282884198142*e^9 + 1015343126100323799/21487282884198142*e^8 + 3512348933360466821/21487282884198142*e^7 - 252769701732480287/1953389353108922*e^6 - 9401396854821137101/10743641442099071*e^5 - 7764553026162826281/21487282884198142*e^4 + 1362561931512364836/976694676554461*e^3 + 12922515994692641952/10743641442099071*e^2 - 338899174541085827/976694676554461*e - 4051379421025946918/10743641442099071, -668597483209527/21487282884198142*e^13 - 4653083934600029/21487282884198142*e^12 + 12467701650103417/21487282884198142*e^11 + 153474762861309193/21487282884198142*e^10 + 49217011400826799/10743641442099071*e^9 - 1639885787962149227/21487282884198142*e^8 - 1620906851504018582/10743641442099071*e^7 + 488779264486769953/1953389353108922*e^6 + 19822020321072305947/21487282884198142*e^5 + 3118748388294443233/10743641442099071*e^4 - 1393846271054592644/976694676554461*e^3 - 15451020955321343609/10743641442099071*e^2 + 126750079979483628/976694676554461*e + 5194752999746205125/10743641442099071, 4189410211690931/32230924326297213*e^13 + 20889553832974934/32230924326297213*e^12 - 40639906881385147/10743641442099071*e^11 - 731402888425118006/32230924326297213*e^10 + 902811280894815004/32230924326297213*e^9 + 8854424371433142928/32230924326297213*e^8 + 2194688289809660764/32230924326297213*e^7 - 3857140243405191889/2930084029663383*e^6 - 40136195724306717335/32230924326297213*e^5 + 62372065993530078149/32230924326297213*e^4 + 7479640064548728503/2930084029663383*e^3 - 9120490597296121343/32230924326297213*e^2 - 2271722176249883936/2930084029663383*e - 352759044478942870/32230924326297213, -32232547817711/21487282884198142*e^13 + 22226505487779/10743641442099071*e^12 + 2923668364632663/21487282884198142*e^11 + 2182872545454001/21487282884198142*e^10 - 38053975210371700/10743641442099071*e^9 - 58386912433985939/10743641442099071*e^8 + 808854538517580341/21487282884198142*e^7 + 74238773575083344/976694676554461*e^6 - 1735986807148486960/10743641442099071*e^5 - 4394192583114049041/10743641442099071*e^4 + 344185819137610873/1953389353108922*e^3 + 7819279491103145438/10743641442099071*e^2 + 74665863886537013/976694676554461*e - 2829523573891573984/10743641442099071, 36932164782409/5860168059326766*e^13 - 78561235651189/2930084029663383*e^12 - 953818114505775/1953389353108922*e^11 + 3216717679274999/5860168059326766*e^10 + 35343520714670311/2930084029663383*e^9 + 7222982064850813/2930084029663383*e^8 - 742758230606807599/5860168059326766*e^7 - 341005490524856663/2930084029663383*e^6 + 1658022912154087633/2930084029663383*e^5 + 2242931651575316624/2930084029663383*e^4 - 4725364620966875845/5860168059326766*e^3 - 3910359724219235186/2930084029663383*e^2 + 329966606779981337/2930084029663383*e + 1194547086077174552/2930084029663383, -92139807154545/10743641442099071*e^13 - 567650261252412/10743641442099071*e^12 + 3281870454489465/21487282884198142*e^11 + 35224642689816015/21487282884198142*e^10 + 32134044944641919/21487282884198142*e^9 - 322181596358949783/21487282884198142*e^8 - 471444109009304550/10743641442099071*e^7 + 33295513343236933/1953389353108922*e^6 + 2782788950900011727/10743641442099071*e^5 + 6088119001998977645/21487282884198142*e^4 - 714339441391343059/1953389353108922*e^3 - 7335851283283878858/10743641442099071*e^2 - 36948543980008030/976694676554461*e + 2593808088791547627/10743641442099071, 888229718420512/32230924326297213*e^13 + 1812318288542771/64461848652594426*e^12 - 14090979311480766/10743641442099071*e^11 - 48725940875532649/32230924326297213*e^10 + 763996642040581073/32230924326297213*e^9 + 1965406029026589829/64461848652594426*e^8 - 12845585610429400493/64461848652594426*e^7 - 1666443640724921269/5860168059326766*e^6 + 48255228939658258747/64461848652594426*e^5 + 38557451910961628341/32230924326297213*e^4 - 5261096749477263415/5860168059326766*e^3 - 56699910546679922116/32230924326297213*e^2 - 98615740113951607/2930084029663383*e + 15029719133504534056/32230924326297213, -470625199227378/10743641442099071*e^13 - 1605391799234108/10743641442099071*e^12 + 16700288063491238/10743641442099071*e^11 + 58513863596815741/10743641442099071*e^10 - 206771699027322147/10743641442099071*e^9 - 761201189315352429/10743641442099071*e^8 + 1032965986369460238/10743641442099071*e^7 + 385645554700001696/976694676554461*e^6 - 1678212230024151256/10743641442099071*e^5 - 9535772445765843011/10743641442099071*e^4 + 22297138856712747/976694676554461*e^3 + 7851626409387589680/10743641442099071*e^2 + 38839660628022214/976694676554461*e - 1373005983393867238/10743641442099071, -4299834201555031/64461848652594426*e^13 - 12207815669957384/32230924326297213*e^12 + 36176364954838741/21487282884198142*e^11 + 829085406217047241/64461848652594426*e^10 - 173743367866492786/32230924326297213*e^9 - 4723955871495394252/32230924326297213*e^8 - 9202638476567059577/64461848652594426*e^7 + 1757757279082631548/2930084029663383*e^6 + 36859409757996736610/32230924326297213*e^5 - 10115565933877472723/32230924326297213*e^4 - 11594522109821937571/5860168059326766*e^3 - 34722241287893195227/32230924326297213*e^2 + 1027540867486621151/2930084029663383*e + 9741870780735692560/32230924326297213, 12950315326787/64461848652594426*e^13 + 4001035412223946/32230924326297213*e^12 + 5308520346354527/10743641442099071*e^11 - 127421903175694081/32230924326297213*e^10 - 1134283782834284339/64461848652594426*e^9 + 2496114801380473201/64461848652594426*e^8 + 13938153381319916965/64461848652594426*e^7 - 475260757947944887/5860168059326766*e^6 - 34226946449455632271/32230924326297213*e^5 - 30311911801068022849/64461848652594426*e^4 + 4916821691664025648/2930084029663383*e^3 + 40780383424436475773/32230924326297213*e^2 - 1268353962737212411/2930084029663383*e - 12267961111452189989/32230924326297213, 356029992534826/32230924326297213*e^13 + 3914597817591089/64461848652594426*e^12 - 3728160093429264/10743641442099071*e^11 - 73760615283957082/32230924326297213*e^10 + 106118747734351547/32230924326297213*e^9 + 2037444686685340957/64461848652594426*e^8 - 344795405139649019/64461848652594426*e^7 - 1158283770293782183/5860168059326766*e^6 - 3547143967133672387/64461848652594426*e^5 + 18236141424319568812/32230924326297213*e^4 + 1007478368078648951/5860168059326766*e^3 - 23157225045072250945/32230924326297213*e^2 - 373498296930047098/2930084029663383*e + 9327100304391897199/32230924326297213, 442899908697599/21487282884198142*e^13 + 2269961972898652/10743641442099071*e^12 - 2632660089088987/21487282884198142*e^11 - 150891162421037979/21487282884198142*e^10 - 132191225749470159/10743641442099071*e^9 + 819805547665176566/10743641442099071*e^8 + 4611607703491766951/21487282884198142*e^7 - 260497467822436506/976694676554461*e^6 - 12775075746209066929/10743641442099071*e^5 - 1759001140852792602/10743641442099071*e^4 + 3809717125078379843/1953389353108922*e^3 + 12345061905832482320/10743641442099071*e^2 - 478484535269931219/976694676554461*e - 3725272796758574794/10743641442099071, 922847515672496/32230924326297213*e^13 + 15355253435003113/64461848652594426*e^12 - 7302232406309171/21487282884198142*e^11 - 494489066120506387/64461848652594426*e^10 - 712639320343097503/64461848652594426*e^9 + 2498687465502791758/32230924326297213*e^8 + 14348280680518657715/64461848652594426*e^7 - 582378201845984788/2930084029663383*e^6 - 81262959504253413937/64461848652594426*e^5 - 43423792910373167411/64461848652594426*e^4 + 5783275672007179403/2930084029663383*e^3 + 66056717280724742965/32230924326297213*e^2 - 910046423635225565/2930084029663383*e - 18261734906597192482/32230924326297213, -106461344149615/10743641442099071*e^13 - 3682499051944851/21487282884198142*e^12 - 2919028851986947/10743641442099071*e^11 + 58242273950567236/10743641442099071*e^10 + 188177764991180127/10743641442099071*e^9 - 1121557916250229387/21487282884198142*e^8 - 5241781597483138767/21487282884198142*e^7 + 189639687335944775/1953389353108922*e^6 + 26817722617568641511/21487282884198142*e^5 + 7762469761420501601/10743641442099071*e^4 - 3786666635180105999/1953389353108922*e^3 - 20201994721542341557/10743641442099071*e^2 + 408041059598494068/976694676554461*e + 5726000773401375919/10743641442099071, 384693604426157/10743641442099071*e^13 + 2986853816869071/21487282884198142*e^12 - 13565652511853149/10743641442099071*e^11 - 55377510726883963/10743641442099071*e^10 + 166167140364287064/10743641442099071*e^9 + 1483340369453460689/21487282884198142*e^8 - 1625947063956829467/21487282884198142*e^7 - 793722717587673263/1953389353108922*e^6 + 2489037328726628345/21487282884198142*e^5 + 11060657349644674309/10743641442099071*e^4 - 6701642353747119/1953389353108922*e^3 - 11574156824524717178/10743641442099071*e^2 - 52457908890307037/976694676554461*e + 3645501391111952822/10743641442099071];
heckeEigenvalues := AssociativeArray();
for i := 1 to #heckeEigenvaluesArray do
  heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i];
end for;

ALEigenvalues := AssociativeArray();
ALEigenvalues[ideal<ZF | {37, 37, -w^2 + 2*w + 2}>] := -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;