/* This code can be loaded, or copied and pasted, into Magma. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. At the *bottom* of the file, there is code to recreate the Hilbert modular form in Magma, by creating the HMF space and cutting out the corresponding Hecke irreducible subspace. From there, you can ask for more eigenvalues or modify as desired. It is commented out, as this computation may be lengthy. */ P := PolynomialRing(Rationals()); g := P![2, 0, -6, -2, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, w], [5, 5, -w^3 + 3*w^2 + 2*w - 1], [5, 5, w - 1], [11, 11, w^3 - 2*w^2 - 5*w - 1], [13, 13, -w^3 + 3*w^2 + 3*w - 1], [17, 17, 2*w^3 - 5*w^2 - 9*w + 5], [23, 23, -w^3 + 3*w^2 + 4*w - 5], [25, 5, -w^2 + 3*w + 1], [29, 29, -2*w^3 + 6*w^2 + 5*w - 1], [31, 31, -w^2 + 2*w + 1], [43, 43, -w^3 + 3*w^2 + 2*w - 3], [43, 43, -w^3 + 2*w^2 + 6*w - 3], [59, 59, 2*w^3 - 6*w^2 - 7*w + 7], [73, 73, 3*w^3 - 6*w^2 - 16*w - 5], [79, 79, -5*w^3 + 14*w^2 + 20*w - 17], [81, 3, -3], [83, 83, -w - 3], [83, 83, w^2 - 3*w - 7], [89, 89, w^2 - 2*w - 7], [101, 101, -2*w^3 + 5*w^2 + 8*w - 3], [101, 101, 5*w^3 - 14*w^2 - 19*w + 17], [103, 103, -w^3 + w^2 + 8*w + 3], [103, 103, 2*w^3 - 5*w^2 - 7*w - 1], [109, 109, 3*w^3 - 7*w^2 - 14*w + 1], [109, 109, -w^2 + 4*w + 1], [127, 127, -3*w^3 + 8*w^2 + 11*w - 7], [127, 127, -w^3 + 2*w^2 + 7*w + 1], [137, 137, -2*w^3 + 5*w^2 + 9*w - 1], [139, 139, -w^3 + 3*w^2 + 2*w - 5], [149, 149, w^3 - 3*w^2 - w - 1], [149, 149, -2*w^3 + 4*w^2 + 10*w + 1], [163, 163, w^3 - 4*w^2 - w + 11], [163, 163, 2*w^3 - 4*w^2 - 10*w + 1], [173, 173, -4*w^3 + 11*w^2 + 15*w - 13], [179, 179, 2*w^2 - 6*w - 3], [179, 179, -w^3 + 2*w^2 + 7*w - 1], [181, 181, w^3 - 10*w - 9], [181, 181, -3*w^3 + 8*w^2 + 14*w - 7], [199, 199, w^3 - 8*w - 9], [211, 211, 2*w - 3], [223, 223, -w^3 + 4*w^2 + w - 5], [227, 227, w^3 - 2*w^2 - 5*w - 5], [227, 227, -3*w^3 + 7*w^2 + 14*w - 5], [227, 227, -4*w^3 + 10*w^2 + 19*w - 7], [227, 227, w^2 - 4*w - 5], [239, 239, -2*w^3 + 5*w^2 + 7*w - 3], [251, 251, -w^3 + 4*w^2 + 2*w - 11], [251, 251, 2*w^3 - 6*w^2 - 6*w + 1], [257, 257, -3*w^3 + 6*w^2 + 16*w + 3], [263, 263, -w^3 + 3*w^2 + 3*w - 7], [263, 263, w^3 - 4*w^2 + 7], [269, 269, -2*w^3 + 6*w^2 + 6*w - 11], [269, 269, -w^3 + 4*w^2 - w - 5], [271, 271, -3*w^3 + 9*w^2 + 11*w - 11], [271, 271, w^2 - 5*w - 3], [277, 277, w^3 - 4*w^2 - 2*w + 7], [277, 277, -2*w^3 + 7*w^2 + 8*w - 9], [281, 281, 2*w^2 - 4*w - 5], [281, 281, 2*w^3 - 4*w^2 - 11*w + 1], [283, 283, -3*w^3 + 8*w^2 + 14*w - 11], [293, 293, w^3 - 2*w^2 - 6*w + 5], [307, 307, -2*w^3 + 5*w^2 + 7*w - 1], [313, 313, 2*w^3 - 4*w^2 - 9*w + 3], [313, 313, -2*w^3 + 5*w^2 + 6*w - 3], [317, 317, -2*w^3 + 5*w^2 + 9*w + 1], [347, 347, 4*w^3 - 9*w^2 - 21*w + 3], [347, 347, 4*w^3 - 10*w^2 - 18*w + 5], [349, 349, -2*w^3 + 6*w^2 + 7*w - 3], [353, 353, -w^3 + 12*w + 5], [353, 353, w^2 - w - 7], [359, 359, -2*w^3 + 5*w^2 + 6*w - 7], [359, 359, -w^3 + 4*w^2 - 11], [373, 373, -w^3 + 2*w^2 + 6*w + 5], [379, 379, -3*w^3 + 8*w^2 + 14*w - 5], [397, 397, 6*w^3 - 14*w^2 - 30*w + 7], [401, 401, 3*w^3 - 5*w^2 - 20*w - 7], [409, 409, 3*w^3 - 7*w^2 - 12*w - 3], [409, 409, 2*w^2 - 4*w - 7], [421, 421, w^3 - 11*w - 11], [421, 421, -w^3 + 3*w^2 + w - 7], [431, 431, 2*w^3 - 3*w^2 - 14*w - 3], [431, 431, -4*w^3 + 11*w^2 + 15*w - 15], [433, 433, 2*w^3 - 5*w^2 - 6*w + 1], [439, 439, -4*w^3 + 11*w^2 + 13*w - 9], [439, 439, -2*w^3 + 6*w^2 + 8*w - 11], [443, 443, 2*w - 5], [443, 443, -6*w^3 + 17*w^2 + 24*w - 21], [449, 449, w^3 - 2*w^2 - 8*w + 3], [449, 449, 4*w^3 - 12*w^2 - 15*w + 17], [457, 457, -2*w^3 + 4*w^2 + 9*w + 5], [461, 461, -3*w^3 + 6*w^2 + 15*w - 1], [461, 461, -3*w^3 + 7*w^2 + 17*w + 1], [463, 463, -4*w^3 + 10*w^2 + 17*w - 7], [463, 463, -3*w^3 + 10*w^2 + 9*w - 17], [467, 467, 4*w^3 - 8*w^2 - 21*w - 7], [467, 467, w^3 - 6*w^2 + 3*w + 19], [479, 479, -w^3 + w^2 + 8*w + 1], [487, 487, -4*w^3 + 11*w^2 + 14*w - 15], [487, 487, 3*w^3 - 6*w^2 - 15*w - 5], [491, 491, w^2 - 5], [503, 503, 2*w^3 - 5*w^2 - 11*w + 3], [523, 523, -3*w^3 + 7*w^2 + 13*w + 1], [547, 547, 2*w^3 - 3*w^2 - 12*w - 3], [547, 547, 2*w^3 - 3*w^2 - 12*w - 9], [557, 557, -3*w^3 + 9*w^2 + 9*w - 11], [557, 557, -6*w^3 + 15*w^2 + 27*w - 13], [563, 563, -3*w^3 + 7*w^2 + 14*w - 7], [571, 571, -5*w^3 + 11*w^2 + 26*w - 3], [593, 593, -6*w^3 + 15*w^2 + 26*w - 7], [599, 599, 7*w^3 - 18*w^2 - 29*w + 17], [599, 599, -2*w^3 + 6*w^2 + 8*w - 3], [601, 601, -7*w^3 + 20*w^2 + 28*w - 23], [601, 601, 3*w^3 - 7*w^2 - 12*w + 5], [607, 607, 5*w^3 - 12*w^2 - 24*w + 9], [607, 607, w^3 - 5*w^2 + 15], [613, 613, -w^3 + 5*w^2 - 2*w - 9], [617, 617, w^3 + w^2 - 13*w - 15], [617, 617, 2*w^3 - 4*w^2 - 8*w - 1], [619, 619, 5*w^3 - 10*w^2 - 27*w - 7], [619, 619, 2*w^3 - 4*w^2 - 10*w + 3], [643, 643, w^3 - 5*w^2 + 5*w + 5], [643, 643, 4*w^3 - 9*w^2 - 20*w - 1], [643, 643, 3*w^3 - 7*w^2 - 14*w - 3], [643, 643, -3*w^3 + 7*w^2 + 13*w - 3], [647, 647, -3*w^3 + 8*w^2 + 12*w - 3], [653, 653, -w^3 + 9*w + 13], [653, 653, -w^3 + 4*w^2 + 3*w - 9], [653, 653, -2*w^3 + 7*w^2 + 4*w - 7], [653, 653, w^2 - 4*w - 9], [673, 673, -w^3 + 5*w^2 + w - 13], [683, 683, w^3 - 3*w^2 - 3*w - 3], [701, 701, 5*w^3 - 13*w^2 - 23*w + 9], [709, 709, 2*w^3 - w^2 - 19*w - 15], [719, 719, -5*w^3 + 15*w^2 + 20*w - 19], [727, 727, -w - 5], [751, 751, -4*w^3 + 10*w^2 + 15*w - 9], [751, 751, 6*w^3 - 17*w^2 - 22*w + 21], [757, 757, 3*w^3 - 6*w^2 - 18*w - 1], [757, 757, -w^3 + 4*w^2 + 2*w + 1], [769, 769, w^2 - 2*w + 3], [773, 773, 5*w^3 - 12*w^2 - 23*w + 9], [787, 787, 2*w^3 - 4*w^2 - 5*w + 1], [797, 797, -3*w^3 + 8*w^2 + 10*w - 3], [809, 809, 2*w^2 - 5*w - 1], [809, 809, 4*w^3 - 6*w^2 - 28*w - 11], [827, 827, 4*w^3 - 8*w^2 - 22*w - 1], [827, 827, 2*w^2 - 6*w - 9], [829, 829, -w^3 + w^2 + 10*w + 1], [839, 839, -2*w^3 + 2*w^2 + 16*w + 7], [877, 877, 6*w^3 - 16*w^2 - 25*w + 13], [877, 877, w^3 - w^2 - 7*w + 1], [881, 881, 2*w^3 - 2*w^2 - 15*w - 7], [881, 881, -4*w^3 + 7*w^2 + 26*w + 9], [887, 887, 2*w^3 - 4*w^2 - 13*w - 1], [907, 907, 5*w^3 - 11*w^2 - 26*w - 1], [907, 907, 5*w^3 - 13*w^2 - 22*w + 9], [907, 907, w^3 - 5*w^2 + 2*w + 13], [907, 907, -2*w^3 + 7*w^2 + 5*w - 7], [911, 911, -3*w^3 + 8*w^2 + 9*w - 5], [919, 919, -2*w^3 + 7*w^2 + 6*w - 3], [919, 919, -3*w^3 + 8*w^2 + 15*w - 7], [947, 947, -2*w^3 + 5*w^2 + 12*w - 9], [947, 947, -w^2 + w - 3], [947, 947, 3*w^3 - 6*w^2 - 14*w - 7], [947, 947, -w^3 + 5*w^2 - w - 17], [953, 953, 3*w^3 - 9*w^2 - 9*w + 13], [953, 953, -4*w^3 + 13*w^2 + 11*w - 23], [967, 967, 8*w^3 - 20*w^2 - 33*w + 19]]; primes := [ideal : I in primesArray]; heckePol := x^21 + 5*x^20 - 20*x^19 - 130*x^18 + 123*x^17 + 1393*x^16 + 69*x^15 - 7969*x^14 - 4213*x^13 + 26351*x^12 + 21056*x^11 - 50898*x^10 - 48975*x^9 + 55157*x^8 + 58609*x^7 - 29907*x^6 - 34084*x^5 + 5364*x^4 + 7624*x^3 + 672*x^2 - 284*x - 36; K := NumberField(heckePol); heckeEigenvaluesArray := [e, 92492532937/229977372446*e^20 + 139421830464/114988686223*e^19 - 1220700692449/114988686223*e^18 - 7303028027379/229977372446*e^17 + 26832430909803/229977372446*e^16 + 39412822253665/114988686223*e^15 - 159974199602809/229977372446*e^14 - 453952342204483/229977372446*e^13 + 565305119033975/229977372446*e^12 + 1508174477297997/229977372446*e^11 - 607360153947389/114988686223*e^10 - 2912183675228485/229977372446*e^9 + 82224939834391/12104072234*e^8 + 82029614145280/6052036117*e^7 - 1116938532525561/229977372446*e^6 - 1632278797659973/229977372446*e^5 + 170835698565718/114988686223*e^4 + 7333086177315/5609204206*e^3 + 2860082298953/114988686223*e^2 - 4919995267220/114988686223*e - 749676590631/114988686223, -46460427571/229977372446*e^20 - 182916510463/229977372446*e^19 + 551078057899/114988686223*e^18 + 4812152593217/229977372446*e^17 - 10238248877961/229977372446*e^16 - 52366743711045/229977372446*e^15 + 45588498579399/229977372446*e^14 + 152954279384270/114988686223*e^13 - 85494827054477/229977372446*e^12 - 520849746769554/114988686223*e^11 - 20075408470890/114988686223*e^10 + 2100921729614285/229977372446*e^9 + 23330489854177/12104072234*e^8 - 128255614331399/12104072234*e^7 - 704401572309639/229977372446*e^6 + 747541043822792/114988686223*e^5 + 222489799238517/114988686223*e^4 - 9522058623789/5609204206*e^3 - 48137794488366/114988686223*e^2 + 8530988579646/114988686223*e + 1381192052613/114988686223, -81555196785/114988686223*e^20 - 282835630391/114988686223*e^19 + 2036910657819/114988686223*e^18 + 7396783492886/114988686223*e^17 - 20648858899936/114988686223*e^16 - 79773048987984/114988686223*e^15 + 108872404288940/114988686223*e^14 + 459673207527269/114988686223*e^13 - 315488685952653/114988686223*e^12 - 1532618687350430/114988686223*e^11 + 473984518173688/114988686223*e^10 + 2989901483346272/114988686223*e^9 - 13363463596362/6052036117*e^8 - 172945206804706/6052036117*e^7 - 171434983745936/114988686223*e^6 + 1842381310092562/114988686223*e^5 + 264497410043018/114988686223*e^4 - 9987423074534/2804602103*e^3 - 92555757133083/114988686223*e^2 + 13596953819284/114988686223*e + 3093110474694/114988686223, -3836873766/114988686223*e^20 + 35557999752/114988686223*e^19 + 235260142284/114988686223*e^18 - 958929286821/114988686223*e^17 - 4611972475832/114988686223*e^16 + 10845536916590/114988686223*e^15 + 44213551226034/114988686223*e^14 - 67161583334416/114988686223*e^13 - 238094007666206/114988686223*e^12 + 249481322012333/114988686223*e^11 + 754260028862166/114988686223*e^10 - 572325412159574/114988686223*e^9 - 73488159429644/6052036117*e^8 + 42181546704982/6052036117*e^7 + 1426115637718866/114988686223*e^6 - 640476858034271/114988686223*e^5 - 700129497472718/114988686223*e^4 + 5731809065599/2804602103*e^3 + 113884044219590/114988686223*e^2 - 12525824290838/114988686223*e - 3730324193156/114988686223, 1, 128175945879/229977372446*e^20 + 489827169895/229977372446*e^19 - 1529621268208/114988686223*e^18 - 6398213533007/114988686223*e^17 + 28762468795563/229977372446*e^16 + 137899664849427/229977372446*e^15 - 131712194438227/229977372446*e^14 - 794513978581157/229977372446*e^13 + 272288729936961/229977372446*e^12 + 2652547210722637/229977372446*e^11 - 8521031153704/114988686223*e^10 - 2599336237713463/114988686223*e^9 - 50986997900847/12104072234*e^8 + 304443215019725/12104072234*e^7 + 1682605905555163/229977372446*e^6 - 3344685141746813/229977372446*e^5 - 562969021065345/114988686223*e^4 + 9758849449083/2804602103*e^3 + 134911675453501/114988686223*e^2 - 14342684290804/114988686223*e - 4236171731712/114988686223, -84659611142/114988686223*e^20 - 589678687321/229977372446*e^19 + 2110677306590/114988686223*e^18 + 7709102103682/114988686223*e^17 - 21341001327385/114988686223*e^16 - 166222000534275/229977372446*e^15 + 112114366153773/114988686223*e^14 + 957313538476265/229977372446*e^13 - 323475488993856/114988686223*e^12 - 3190166980381957/229977372446*e^11 + 485275333221113/114988686223*e^10 + 3112335904813894/114988686223*e^9 - 14254598715558/6052036117*e^8 - 361233298370861/12104072234*e^7 - 137871260677141/114988686223*e^6 + 3902724629839587/229977372446*e^5 + 230695171408359/114988686223*e^4 - 11153454789630/2804602103*e^3 - 82139947651601/114988686223*e^2 + 21814846752484/114988686223*e + 3024937653658/114988686223, 200503761073/114988686223*e^20 + 672608164548/114988686223*e^19 - 5070427124229/114988686223*e^18 - 35128827264117/229977372446*e^17 + 52422851581807/114988686223*e^16 + 189020111731206/114988686223*e^15 - 285779340981983/114988686223*e^14 - 2171388535431849/229977372446*e^13 + 881675788489693/114988686223*e^12 + 7204816837803983/229977372446*e^11 - 1525237964083569/114988686223*e^10 - 13950990383592371/229977372446*e^9 + 70464108684996/6052036117*e^8 + 398738477961943/6052036117*e^7 - 369670883537245/114988686223*e^6 - 8336010898787739/229977372446*e^5 - 221888847193563/114988686223*e^4 + 43920947131927/5609204206*e^3 + 147313607524271/114988686223*e^2 - 33941658627338/114988686223*e - 5935119255441/114988686223, 7626045641/229977372446*e^20 - 31518048058/114988686223*e^19 - 231799210344/114988686223*e^18 + 821920224421/114988686223*e^17 + 9041694778293/229977372446*e^16 - 8905573813435/114988686223*e^15 - 86304710765557/229977372446*e^14 + 52253582309482/114988686223*e^13 + 462910053497593/229977372446*e^12 - 181832835651823/114988686223*e^11 - 730593615269479/114988686223*e^10 + 387729250141345/114988686223*e^9 + 141963855482807/12104072234*e^8 - 26681070051349/6052036117*e^7 - 2752719028850915/229977372446*e^6 + 387861140354208/114988686223*e^5 + 679065828266814/114988686223*e^4 - 3380327695568/2804602103*e^3 - 112954959290862/114988686223*e^2 + 3617310811420/114988686223*e + 3268638030022/114988686223, 41528542387/229977372446*e^20 + 79830846887/114988686223*e^19 - 492850182665/114988686223*e^18 - 2073895075903/114988686223*e^17 + 9215641178897/229977372446*e^16 + 22184531982599/114988686223*e^15 - 42045456292051/229977372446*e^14 - 126519952202662/114988686223*e^13 + 87638248372363/229977372446*e^12 + 416176679911508/114988686223*e^11 - 7043015225851/114988686223*e^10 - 797190492399254/114988686223*e^9 - 14616733280621/12104072234*e^8 + 44980162208661/6052036117*e^7 + 490033158874199/229977372446*e^6 - 464709770892197/114988686223*e^5 - 168281088437760/114988686223*e^4 + 2457898288822/2804602103*e^3 + 44810146003213/114988686223*e^2 - 3614336797948/114988686223*e - 1882118354260/114988686223, 186253012871/229977372446*e^20 + 290845460042/114988686223*e^19 - 4853882952051/229977372446*e^18 - 15270330628341/229977372446*e^17 + 52291253369627/229977372446*e^16 + 82666197850926/114988686223*e^15 - 150994607413795/114988686223*e^14 - 956279796554901/229977372446*e^13 + 506657939887339/114988686223*e^12 + 3198177477880539/229977372446*e^11 - 1997114183735057/229977372446*e^10 - 6246304706601197/229977372446*e^9 + 116284849149317/12104072234*e^8 + 179986301324660/6052036117*e^7 - 588189537557075/114988686223*e^6 - 3777221951790565/229977372446*e^5 + 109919577178469/229977372446*e^4 + 19806127140403/5609204206*e^3 + 52218456001547/114988686223*e^2 - 17330323476309/114988686223*e - 3115859163911/114988686223, 22433861200/114988686223*e^20 + 96083270559/114988686223*e^19 - 513146794081/114988686223*e^18 - 2529045206941/114988686223*e^17 + 4462912442373/114988686223*e^16 + 27522852074611/114988686223*e^15 - 17078758914790/114988686223*e^14 - 160632838419532/114988686223*e^13 + 14739124595049/114988686223*e^12 + 545616782035028/114988686223*e^11 + 100003846786094/114988686223*e^10 - 1095265817162531/114988686223*e^9 - 18601831678338/6052036117*e^8 + 66449255073575/6052036117*e^7 + 473973067538785/114988686223*e^6 - 772951666115906/114988686223*e^5 - 284949899075967/114988686223*e^4 + 5064111103781/2804602103*e^3 + 66327292066339/114988686223*e^2 - 13469639737306/114988686223*e - 2889199758120/114988686223, 215257421481/229977372446*e^20 + 413528011153/114988686223*e^19 - 2581430888367/114988686223*e^18 - 10877163427456/114988686223*e^17 + 48867091438371/229977372446*e^16 + 118312782452064/114988686223*e^15 - 226059922223701/229977372446*e^14 - 690567441226799/114988686223*e^13 + 477199283724693/229977372446*e^12 + 2348740055805975/114988686223*e^11 - 32712567086765/114988686223*e^10 - 4731141592338398/114988686223*e^9 - 84700003319551/12104072234*e^8 + 288848190438637/6052036117*e^7 + 2831708802780023/229977372446*e^6 - 3386015503345199/114988686223*e^5 - 920364849365942/114988686223*e^4 + 22055553763981/2804602103*e^3 + 195198275854887/114988686223*e^2 - 43472908891308/114988686223*e - 5652735330698/114988686223, 5229880521/6052036117*e^20 + 18757371657/6052036117*e^19 - 129002996280/6052036117*e^18 - 491162862497/6052036117*e^17 + 1282872231520/6052036117*e^16 + 5308265852265/6052036117*e^15 - 6552251648742/6052036117*e^14 - 30695513037446/6052036117*e^13 + 17886169281864/6052036117*e^12 + 102957237229986/6052036117*e^11 - 23194732365710/6052036117*e^10 - 202971024377127/6052036117*e^9 + 3993041643651/6052036117*e^8 + 227413627540941/6052036117*e^7 + 21635834174806/6052036117*e^6 - 132398164126302/6052036117*e^5 - 20502128149287/6052036117*e^4 + 778372250163/147610637*e^3 + 5838183876291/6052036117*e^2 - 1273541936150/6052036117*e - 176677301224/6052036117, -152401746745/114988686223*e^20 - 1096966239041/229977372446*e^19 + 3751872278642/114988686223*e^18 + 14354991204221/114988686223*e^17 - 37181713349314/114988686223*e^16 - 310013537539683/229977372446*e^15 + 188612785129447/114988686223*e^14 + 1789950146399555/229977372446*e^13 - 506604745727611/114988686223*e^12 - 5987975160010527/229977372446*e^11 + 621078884113905/114988686223*e^10 + 5875747675000100/114988686223*e^9 + 487691629667/6052036117*e^8 - 687610221982727/12104072234*e^7 - 802006440191462/114988686223*e^6 + 7504074359313291/229977372446*e^5 + 726311609000505/114988686223*e^4 - 21522822729477/2804602103*e^3 - 214069605280755/114988686223*e^2 + 35163909953160/114988686223*e + 8213406742384/114988686223, 51063251439/229977372446*e^20 + 147270899463/114988686223*e^19 - 917632971071/229977372446*e^18 - 7705995678039/229977372446*e^17 + 3647283707989/229977372446*e^16 + 41742256965160/114988686223*e^15 + 15398908172435/114988686223*e^14 - 486838786918911/229977372446*e^13 - 181597855837228/114988686223*e^12 + 1664993984308681/229977372446*e^11 + 1524838616808819/229977372446*e^10 - 3416257007110149/229977372446*e^9 - 170908392720289/12104072234*e^8 + 108933699719950/6052036117*e^7 + 1790726864803344/114988686223*e^6 - 2789262808249871/229977372446*e^5 - 1847136415259837/229977372446*e^4 + 21056893041955/5609204206*e^3 + 158604347451651/114988686223*e^2 - 22389869490113/114988686223*e - 4428323803455/114988686223, 186685526047/229977372446*e^20 + 293242591753/114988686223*e^19 - 4856986915229/229977372446*e^18 - 15352631368485/229977372446*e^17 + 52341246651045/229977372446*e^16 + 82824134610140/114988686223*e^15 - 151863185539114/114988686223*e^14 - 953824354274377/229977372446*e^13 + 516855673738618/114988686223*e^12 + 3169788685868781/229977372446*e^11 - 2107415050415875/229977372446*e^10 - 6127492847369075/229977372446*e^9 + 132440889134331/12104072234*e^8 + 173113182157896/6052036117*e^7 - 804914485005425/114988686223*e^6 - 3469222361710825/229977372446*e^5 + 378573970261299/229977372446*e^4 + 15712716366467/5609204206*e^3 + 28711738536433/114988686223*e^2 - 6364923309845/114988686223*e - 903212328291/114988686223, -237062229441/114988686223*e^20 - 837211701771/114988686223*e^19 + 5885517464936/114988686223*e^18 + 21910005638621/114988686223*e^17 - 59144864414429/114988686223*e^16 - 236547509860151/114988686223*e^15 + 307714234359941/114988686223*e^14 + 1365348876859892/114988686223*e^13 - 872229492370302/114988686223*e^12 - 4564948483181000/114988686223*e^11 + 1254322121357345/114988686223*e^10 + 8949121810963671/114988686223*e^9 - 29875223890337/6052036117*e^8 - 522503666261483/6052036117*e^7 - 579960465505104/114988686223*e^6 + 5677531556054500/114988686223*e^5 + 738368028699844/114988686223*e^4 - 32354929886081/2804602103*e^3 - 241781330688499/114988686223*e^2 + 55288943974698/114988686223*e + 8366576423076/114988686223, 99919317909/229977372446*e^20 + 227909770849/114988686223*e^19 - 1076594865054/114988686223*e^18 - 11905427472101/229977372446*e^17 + 16370264536301/229977372446*e^16 + 64233190673643/114988686223*e^15 - 37441330972029/229977372446*e^14 - 743152352816787/229977372446*e^13 - 163790518700011/229977372446*e^12 + 2503135448067609/229977372446*e^11 + 620964744443470/114988686223*e^10 - 4992708409887157/229977372446*e^9 - 168639271255947/12104072234*e^8 + 151168624172309/6052036117*e^7 + 3982755686542833/229977372446*e^6 - 3532344779671587/229977372446*e^5 - 1160216356023510/114988686223*e^4 + 22803116988727/5609204206*e^3 + 244700840479779/114988686223*e^2 - 13569024943644/114988686223*e - 7452251149143/114988686223, 101989717783/229977372446*e^20 + 206674139777/114988686223*e^19 - 1184968737953/114988686223*e^18 - 5401640068859/114988686223*e^17 + 21236832149741/229977372446*e^16 + 58237917933937/114988686223*e^15 - 87543309260717/229977372446*e^14 - 335708202826432/114988686223*e^13 + 121808809006721/229977372446*e^12 + 1121609931097876/114988686223*e^11 + 139735388564699/114988686223*e^10 - 2202496935669708/114988686223*e^9 - 67005520240301/12104072234*e^8 + 129830242823149/6052036117*e^7 + 1770945051069221/229977372446*e^6 - 1456706373139869/114988686223*e^5 - 514364555335446/114988686223*e^4 + 9013407181352/2804602103*e^3 + 100980229799852/114988686223*e^2 - 15936265602560/114988686223*e - 3142306555560/114988686223, -38309851673/12104072234*e^20 - 61084013271/6052036117*e^19 + 494388137623/6052036117*e^18 + 1596883846465/6052036117*e^17 - 10528556295379/12104072234*e^16 - 17199062783252/6052036117*e^15 + 59988843013621/12104072234*e^14 + 98808045272863/6052036117*e^13 - 198476581685813/12104072234*e^12 - 327479066338481/6052036117*e^11 + 193530607971441/6052036117*e^10 + 631526797270097/6052036117*e^9 - 430415508851955/12104072234*e^8 - 678408655492884/6052036117*e^7 + 243067980000461/12104072234*e^6 + 362808618019580/6052036117*e^5 - 18395737464656/6052036117*e^4 - 1772940403565/147610637*e^3 - 8761245915317/6052036117*e^2 + 2653036470404/6052036117*e + 409633468522/6052036117, -18714220383/114988686223*e^20 - 104630081578/114988686223*e^19 + 351001668509/114988686223*e^18 + 2750978881947/114988686223*e^17 - 1702737720912/114988686223*e^16 - 29956190752353/114988686223*e^15 - 7581508799071/114988686223*e^14 + 175481545403175/114988686223*e^13 + 113538616564999/114988686223*e^12 - 601472190828504/114988686223*e^11 - 501711915995992/114988686223*e^10 + 1229260992663818/114988686223*e^9 + 58016824813576/6052036117*e^8 - 76969039040954/6052036117*e^7 - 1259193577353611/114988686223*e^6 + 938037428702076/114988686223*e^5 + 691236076615735/114988686223*e^4 - 6322565091301/2804602103*e^3 - 139794974560704/114988686223*e^2 + 6922713608958/114988686223*e + 4605023708542/114988686223, -2482511800/114988686223*e^20 - 4580292295/229977372446*e^19 + 77186349164/114988686223*e^18 + 100368191927/229977372446*e^17 - 1015279465655/114988686223*e^16 - 750357326277/229977372446*e^15 + 7342867059057/114988686223*e^14 + 647029229138/114988686223*e^13 - 31770516982780/114988686223*e^12 + 5878226022286/114988686223*e^11 + 83745403695353/114988686223*e^10 - 73269093304699/229977372446*e^9 - 6858623597658/6052036117*e^8 + 8919670339747/12104072234*e^7 + 106878600546925/114988686223*e^6 - 85680780128026/114988686223*e^5 - 29309395869535/114988686223*e^4 + 1372233811951/5609204206*e^3 - 8986757227036/114988686223*e^2 + 3268659416220/114988686223*e + 1894977054055/114988686223, 172625045407/114988686223*e^20 + 603737842750/114988686223*e^19 - 4304185758943/114988686223*e^18 - 15808375839488/114988686223*e^17 + 43520903630799/114988686223*e^16 + 170753624985306/114988686223*e^15 - 228564562872650/114988686223*e^14 - 985874728287845/114988686223*e^13 + 658333814517886/114988686223*e^12 + 3295676736266756/114988686223*e^11 - 979981658838895/114988686223*e^10 - 6453164674418704/114988686223*e^9 + 27296141837695/6052036117*e^8 + 375430332333787/6052036117*e^7 + 337261438663370/114988686223*e^6 - 4041167517966542/114988686223*e^5 - 506325241727329/114988686223*e^4 + 22431390982646/2804602103*e^3 + 169893236627672/114988686223*e^2 - 33914685624242/114988686223*e - 5549520021074/114988686223, 212712912495/229977372446*e^20 + 345582612748/114988686223*e^19 - 2726410609989/114988686223*e^18 - 9011442048485/114988686223*e^17 + 57617040794669/229977372446*e^16 + 96725073890612/114988686223*e^15 - 325861178531803/229977372446*e^14 - 553033320926641/114988686223*e^13 + 1074303149350247/229977372446*e^12 + 1820275730510861/114988686223*e^11 - 1058378880152999/114988686223*e^10 - 3473883663054274/114988686223*e^9 + 130380411397103/12104072234*e^8 + 193190216498744/6052036117*e^7 - 1649278089955115/229977372446*e^6 - 1907428190648518/114988686223*e^5 + 246124896872530/114988686223*e^4 + 8692160379301/2804602103*e^3 + 7983845561527/114988686223*e^2 - 9790067040760/114988686223*e - 517105205270/114988686223, -5879763375/229977372446*e^20 - 88881787759/229977372446*e^19 - 31091515432/114988686223*e^18 + 1163212657137/114988686223*e^17 + 3966194207689/229977372446*e^16 - 25275334566501/229977372446*e^15 - 50826237102345/229977372446*e^14 + 148401828302583/229977372446*e^13 + 314270337033607/229977372446*e^12 - 514486800166451/229977372446*e^11 - 542272263072067/114988686223*e^10 + 541293297968700/114988686223*e^9 + 112990633217845/12104072234*e^8 - 72141893826653/12104072234*e^7 - 2344868400418075/229977372446*e^6 + 987207797174415/229977372446*e^5 + 624519417241135/114988686223*e^4 - 3956284401854/2804602103*e^3 - 113201785341273/114988686223*e^2 + 3387603016352/114988686223*e + 2208811485466/114988686223, -111588004559/114988686223*e^20 - 231487303279/114988686223*e^19 + 3251172690181/114988686223*e^18 + 6008049116538/114988686223*e^17 - 40360761196507/114988686223*e^16 - 63733190723924/114988686223*e^15 + 279001128612497/114988686223*e^14 + 355569128725410/114988686223*e^13 - 1175777560453949/114988686223*e^12 - 1114060964603605/114988686223*e^11 + 3099726745371006/114988686223*e^10 + 1916565928024069/114988686223*e^9 - 264362241363863/6052036117*e^8 - 82621888547567/6052036117*e^7 + 4672685453912735/114988686223*e^6 + 280893466877949/114988686223*e^5 - 2114682883488843/114988686223*e^4 + 5403892757877/2804602103*e^3 + 288543971304518/114988686223*e^2 - 15588005600374/114988686223*e - 8908989223452/114988686223, 16143626789/114988686223*e^20 + 29995951755/229977372446*e^19 - 1064981222691/229977372446*e^18 - 795842104719/229977372446*e^17 + 7470789109085/114988686223*e^16 + 8588172549911/229977372446*e^15 - 116057996390817/229977372446*e^14 - 24118825763519/114988686223*e^13 + 544387680419655/229977372446*e^12 + 74196145179698/114988686223*e^11 - 1578443336319005/229977372446*e^10 - 232087027965617/229977372446*e^9 + 73177228972547/6052036117*e^8 + 5877142221487/12104072234*e^7 - 2803934583578817/229977372446*e^6 + 61598986292009/114988686223*e^5 + 1423539654712303/229977372446*e^4 - 3071069716697/5609204206*e^3 - 134726592837110/114988686223*e^2 + 4106881278985/114988686223*e + 5513180754827/114988686223, -582229870995/229977372446*e^20 - 1048483493908/114988686223*e^19 + 7172871329138/114988686223*e^18 + 54960412260019/229977372446*e^17 - 142281805536649/229977372446*e^16 - 297281692824413/114988686223*e^15 + 722071264198943/229977372446*e^14 + 3441233420678889/229977372446*e^13 - 1937862894146795/229977372446*e^12 - 11549958235920551/229977372446*e^11 + 1180687685406010/114988686223*e^10 + 22771323696978425/229977372446*e^9 + 4407149354427/12104072234*e^8 - 670670478187892/6052036117*e^7 - 3106393234015317/229977372446*e^6 + 14789145162201589/229977372446*e^5 + 1365387830060437/114988686223*e^4 - 86423659704379/5609204206*e^3 - 376130025478907/114988686223*e^2 + 74639421905332/114988686223*e + 12252998723739/114988686223, 129590246230/114988686223*e^20 + 288482278949/114988686223*e^19 - 3712158923529/114988686223*e^18 - 7500329800615/114988686223*e^17 + 45179530318942/114988686223*e^16 + 79885801446969/114988686223*e^15 - 305254069928441/114988686223*e^14 - 449376601741354/114988686223*e^13 + 1253130833493897/114988686223*e^12 + 1431337353549455/114988686223*e^11 - 3205178230014595/114988686223*e^10 - 2549857877944877/114988686223*e^9 + 263732071637864/6052036117*e^8 + 120385397002671/6052036117*e^7 - 4455849916285487/114988686223*e^6 - 692339724344672/114988686223*e^5 + 1885838260341971/114988686223*e^4 - 3323502475882/2804602103*e^3 - 214455969775800/114988686223*e^2 + 17524703114558/114988686223*e + 5273928287526/114988686223, 205256304517/114988686223*e^20 + 695052590723/114988686223*e^19 - 10394432670811/229977372446*e^18 - 36515908422969/229977372446*e^17 + 53724545787973/114988686223*e^16 + 197979070587611/114988686223*e^15 - 583501515569861/229977372446*e^14 - 2296906661994333/229977372446*e^13 + 1776552655717177/229977372446*e^12 + 7722065171144913/229977372446*e^11 - 2953655661255485/229977372446*e^10 - 15221790152514709/229977372446*e^9 + 59328619876603/6052036117*e^8 + 445933415506276/6052036117*e^7 - 64178000930437/229977372446*e^6 - 9645582536084907/229977372446*e^5 - 868208487002391/229977372446*e^4 + 53268322178885/5609204206*e^3 + 177333484922761/114988686223*e^2 - 38586970350659/114988686223*e - 4875121299871/114988686223, -101113620837/229977372446*e^20 - 212113344157/114988686223*e^19 + 1174287981306/114988686223*e^18 + 5633928116024/114988686223*e^17 - 20846853370479/229977372446*e^16 - 62028121707980/114988686223*e^15 + 82149160680955/229977372446*e^14 + 367467542065388/114988686223*e^13 - 76827598786651/229977372446*e^12 - 1272265042756461/114988686223*e^11 - 247726087223596/114988686223*e^10 + 2615315402588209/114988686223*e^9 + 98253374649787/12104072234*e^8 - 162972285925622/6052036117*e^7 - 2673339520197877/229977372446*e^6 + 1936332391630912/114988686223*e^5 + 859307397232285/114988686223*e^4 - 12529532697015/2804602103*e^3 - 208198038066529/114988686223*e^2 + 24146684699986/114988686223*e + 8667106822750/114988686223, 328790779499/229977372446*e^20 + 484704081943/114988686223*e^19 - 4360184973626/114988686223*e^18 - 25300962046663/229977372446*e^17 + 96497073231027/229977372446*e^16 + 135876902603011/114988686223*e^15 - 580764781050763/229977372446*e^14 - 1553986123916967/229977372446*e^13 + 2077818865898543/229977372446*e^12 + 5108529001930185/229977372446*e^11 - 2264825169667238/114988686223*e^10 - 9701885313949245/229977372446*e^9 + 310297714201547/12104072234*e^8 + 265738170474710/6052036117*e^7 - 4195836041166211/229977372446*e^6 - 5010074569300195/229977372446*e^5 + 596622810567499/114988686223*e^4 + 19285144419239/5609204206*e^3 + 37871712689137/114988686223*e^2 - 5807096610704/114988686223*e - 3228880389687/114988686223, 73553564424/114988686223*e^20 + 350983439703/114988686223*e^19 - 3086999896963/229977372446*e^18 - 18365061844843/229977372446*e^17 + 10989152769734/114988686223*e^16 + 99333775610584/114988686223*e^15 - 33201472101343/229977372446*e^14 - 1153767791327875/229977372446*e^13 - 357611753460899/229977372446*e^12 + 3911175952981645/229977372446*e^11 + 2160650897935955/229977372446*e^10 - 7887281996366299/229977372446*e^9 - 136344298115780/6052036117*e^8 + 243512890691886/6052036117*e^7 + 6035181790542785/229977372446*e^6 - 5891385132356003/229977372446*e^5 - 3200044102640341/229977372446*e^4 + 40491146307769/5609204206*e^3 + 277735912113417/114988686223*e^2 - 32446514015423/114988686223*e - 6526658567487/114988686223, 117280586629/229977372446*e^20 + 312083828883/229977372446*e^19 - 3161756881513/229977372446*e^18 - 8014930844641/229977372446*e^17 + 35741601517127/229977372446*e^16 + 84138835836309/229977372446*e^15 - 110613584259734/114988686223*e^14 - 232683492092414/114988686223*e^13 + 410774493550678/114988686223*e^12 + 727249935917892/114988686223*e^11 - 1883906390580203/229977372446*e^10 - 2544345189375473/229977372446*e^9 + 138519865061231/12104072234*e^8 + 119562015080499/12104072234*e^7 - 1041265764773691/114988686223*e^6 - 379288256495153/114988686223*e^5 + 737350436817207/229977372446*e^4 - 1631181976371/5609204206*e^3 - 13299642856522/114988686223*e^2 + 11589065598151/114988686223*e - 393378807153/114988686223, -10857463857/2804602103*e^20 - 75895326969/5609204206*e^19 + 270578396365/2804602103*e^18 + 1986693902313/5609204206*e^17 - 2733208887974/2804602103*e^16 - 21454079814457/5609204206*e^15 + 14323125272396/2804602103*e^14 + 61927575737313/2804602103*e^13 - 41023098006725/2804602103*e^12 - 207055873310394/2804602103*e^11 + 59949265915736/2804602103*e^10 + 811523037529565/5609204206*e^9 - 1482029032094/147610637*e^8 - 47317129103383/295221274*e^7 - 27881616777420/2804602103*e^6 + 256088879067871/2804602103*e^5 + 36808542439908/2804602103*e^4 - 118419366712107/5609204206*e^3 - 12123261190708/2804602103*e^2 + 2368262053244/2804602103*e + 409645841641/2804602103, 1765973711/229977372446*e^20 - 3146545452/114988686223*e^19 - 32772182069/114988686223*e^18 + 107816777692/114988686223*e^17 + 1045027626195/229977372446*e^16 - 1530283715013/114988686223*e^15 - 9363004852003/229977372446*e^14 + 11693287834821/114988686223*e^13 + 51731658041185/229977372446*e^12 - 52377614100005/114988686223*e^11 - 90561741698734/114988686223*e^10 + 140447109930253/114988686223*e^9 + 20687116415225/12104072234*e^8 - 11594397226702/6052036117*e^7 - 484469534833643/229977372446*e^6 + 185783578610272/114988686223*e^5 + 136019800090683/114988686223*e^4 - 1573095779656/2804602103*e^3 - 17515302098386/114988686223*e^2 - 2050785977338/114988686223*e + 292654025104/114988686223, -119857962126/114988686223*e^20 - 676929771181/229977372446*e^19 + 3221828781362/114988686223*e^18 + 8790642200201/114988686223*e^17 - 36386025478932/114988686223*e^16 - 187454024188561/229977372446*e^15 + 225987613871611/114988686223*e^14 + 1059779989251401/229977372446*e^13 - 849111273731330/114988686223*e^12 - 3420335347166367/229977372446*e^11 + 1997777534712479/114988686223*e^10 + 3146578180967252/114988686223*e^9 - 153981354415763/6052036117*e^8 - 324480889338237/12104072234*e^7 + 2506047663188138/114988686223*e^6 + 2654680911396737/229977372446*e^5 - 1029324642583057/114988686223*e^4 - 2771459650671/2804602103*e^3 + 91852975343095/114988686223*e^2 + 4482187177084/114988686223*e - 1109414936038/114988686223, -266502254595/229977372446*e^20 - 654053511395/229977372446*e^19 + 7428248342065/229977372446*e^18 + 16961722674139/229977372446*e^17 - 87580820665143/229977372446*e^16 - 180279058528643/229977372446*e^15 + 285575079567515/114988686223*e^14 + 506621048883907/114988686223*e^13 - 1129543452605127/114988686223*e^12 - 1617479864969278/114988686223*e^11 + 5574791612184383/229977372446*e^10 + 5827001864407455/229977372446*e^9 - 444996277672481/12104072234*e^8 - 286157693473423/12104072234*e^7 + 3676583513188318/114988686223*e^6 + 1001554614179520/114988686223*e^5 - 3040119211855597/229977372446*e^4 + 770101445369/5609204206*e^3 + 152669161745724/114988686223*e^2 - 2545645986599/114988686223*e - 2044184228449/114988686223, 270253171642/114988686223*e^20 + 1732334326271/229977372446*e^19 - 6966103740574/114988686223*e^18 - 22645118534432/114988686223*e^17 + 74057898615116/114988686223*e^16 + 487874701031109/229977372446*e^15 - 421116661482151/114988686223*e^14 - 2803637655080319/229977372446*e^13 + 1389338521110807/114988686223*e^12 + 9295653539911507/229977372446*e^11 - 2695825403979092/114988686223*e^10 - 8965501237520442/114988686223*e^9 + 155905863092872/6052036117*e^8 + 1013103362688527/12104072234*e^7 - 1608637892021679/114988686223*e^6 - 10243835940617731/229977372446*e^5 + 170052095806751/114988686223*e^4 + 24405513173296/2804602103*e^3 + 156660335819003/114988686223*e^2 - 30538565069748/114988686223*e - 6913927489372/114988686223, -148308324791/229977372446*e^20 - 159746618319/114988686223*e^19 + 4275410063713/229977372446*e^18 + 8292344335623/229977372446*e^17 - 52376982616329/229977372446*e^16 - 44003981967488/114988686223*e^15 + 178063765832252/114988686223*e^14 + 491716997500559/229977372446*e^13 - 735025320024400/114988686223*e^12 - 1546309557081221/229977372446*e^11 + 3775232834162161/229977372446*e^10 + 2685645263086845/229977372446*e^9 - 311241231286829/12104072234*e^8 - 59660811656782/6052036117*e^7 + 2627831015861338/114988686223*e^6 + 509351455712105/229977372446*e^5 - 2218338551767177/229977372446*e^4 + 6350279884111/5609204206*e^3 + 125199919608391/114988686223*e^2 - 18239340774453/114988686223*e - 3199276745163/114988686223, -124417196073/114988686223*e^20 - 1111201781789/229977372446*e^19 + 5482667775123/229977372446*e^18 + 29136770751947/229977372446*e^17 - 21974244609370/114988686223*e^16 - 315852315546843/229977372446*e^15 + 128515772963757/229977372446*e^14 + 918569798019307/114988686223*e^13 + 193049952421207/229977372446*e^12 - 3114526853688287/114988686223*e^11 - 2306693801892225/229977372446*e^10 + 12529778301249093/229977372446*e^9 + 163659300433569/6052036117*e^8 - 767722437879031/12104072234*e^7 - 7596383775720017/229977372446*e^6 + 4569537004007589/114988686223*e^5 + 4168803465928055/229977372446*e^4 - 61562221642229/5609204206*e^3 - 386058639194692/114988686223*e^2 + 58572787382375/114988686223*e + 10993829127267/114988686223, 466784020123/229977372446*e^20 + 611817137745/114988686223*e^19 - 12809872640785/229977372446*e^18 - 31804666465587/229977372446*e^17 + 148263098173085/229977372446*e^16 + 169625290736246/114988686223*e^15 - 473346605970433/114988686223*e^14 - 1917811074475003/229977372446*e^13 + 1830450201637592/114988686223*e^12 + 6184342013273925/229977372446*e^11 - 8839563417527521/229977372446*e^10 - 11355729208773553/229977372446*e^9 + 693581903829239/12104072234*e^8 + 291555814544281/6052036117*e^7 - 5689645478075823/114988686223*e^6 - 4728196000878553/229977372446*e^5 + 4763323474328397/229977372446*e^4 + 9374867604081/5609204206*e^3 - 267606102671973/114988686223*e^2 - 2420651136145/114988686223*e + 6191967141423/114988686223, -330731941335/229977372446*e^20 - 480287588767/114988686223*e^19 + 4406468135276/114988686223*e^18 + 12529242824341/114988686223*e^17 - 98166975163541/229977372446*e^16 - 134448862074415/114988686223*e^15 + 596763143546033/229977372446*e^14 + 767614187975532/114988686223*e^13 - 2170712006025145/229977372446*e^12 - 2517422569194204/114988686223*e^11 + 2437361829646728/114988686223*e^10 + 4766129684041364/114988686223*e^9 - 353332533124623/12104072234*e^8 - 260416517763817/6052036117*e^7 + 5355261359180305/229977372446*e^6 + 2467480490757027/114988686223*e^5 - 1021992888316084/114988686223*e^4 - 10168850308984/2804602103*e^3 + 83354518169791/114988686223*e^2 + 18280654325468/114988686223*e - 1758810923136/114988686223, -16679601543/6052036117*e^20 - 50687281911/6052036117*e^19 + 438234886029/6052036117*e^18 + 1324971634887/6052036117*e^17 - 4786478551921/6052036117*e^16 - 14263482267369/6052036117*e^15 + 28301647515408/6052036117*e^14 + 81844034577803/6052036117*e^13 - 98964404089878/6052036117*e^12 - 270557441540426/6052036117*e^11 + 210094998084257/6052036117*e^10 + 518969923295337/6052036117*e^9 - 267334087378617/6052036117*e^8 - 551080361692511/6052036117*e^7 + 190913751041126/6052036117*e^6 + 286794954292594/6052036117*e^5 - 60246235109673/6052036117*e^4 - 1299545077704/147610637*e^3 + 412096287920/6052036117*e^2 + 1802902249992/6052036117*e + 71905382304/6052036117, -94182861375/229977372446*e^20 - 245273034925/229977372446*e^19 + 2628433983973/229977372446*e^18 + 6472909438005/229977372446*e^17 - 31047489274517/229977372446*e^16 - 70380286176203/229977372446*e^15 + 101534847951140/114988686223*e^14 + 203830625497508/114988686223*e^13 - 403411820998700/114988686223*e^12 - 678101897569281/114988686223*e^11 + 2003035276497651/229977372446*e^10 + 2593032079599245/229977372446*e^9 - 160827525997459/12104072234*e^8 - 140367145305347/12104072234*e^7 + 1327888539628171/114988686223*e^6 + 608671703109355/114988686223*e^5 - 1062825326261287/229977372446*e^4 - 2608916103751/5609204206*e^3 + 36309405807492/114988686223*e^2 - 2446289668521/114988686223*e + 1620560509683/114988686223, -92551768806/114988686223*e^20 - 446436593945/114988686223*e^19 + 3882225918801/229977372446*e^18 + 23467221214387/229977372446*e^17 - 13753259786564/114988686223*e^16 - 127714421962778/114988686223*e^15 + 38959072751261/229977372446*e^14 + 1495961672688369/229977372446*e^13 + 474710113027449/229977372446*e^12 - 5131444345732275/229977372446*e^11 - 2835211792190121/229977372446*e^10 + 10525292617039817/229977372446*e^9 + 179555794402080/6052036117*e^8 - 333108041570049/6052036117*e^7 - 8010293969386361/229977372446*e^6 + 8353527074301879/229977372446*e^5 + 4275693581751293/229977372446*e^4 - 60677798344629/5609204206*e^3 - 367303039846173/114988686223*e^2 + 60180938705599/114988686223*e + 9275719172787/114988686223, -495682521375/229977372446*e^20 - 644185721697/114988686223*e^19 + 6827058208780/114988686223*e^18 + 16773505875910/114988686223*e^17 - 158721594047013/229977372446*e^16 - 179330419692943/114988686223*e^15 + 1018177249859345/229977372446*e^14 + 1016806997741219/114988686223*e^13 - 3953861118351033/229977372446*e^12 - 3291485921714693/114988686223*e^11 + 4784354782589448/114988686223*e^10 + 6071840264826139/114988686223*e^9 - 749135110933215/12104072234*e^8 - 313084817852397/6052036117*e^7 + 12156870689527969/229977372446*e^6 + 2527437685485699/114988686223*e^5 - 2470802196715271/114988686223*e^4 - 4399448929151/2804602103*e^3 + 243596648120291/114988686223*e^2 - 806941582916/114988686223*e - 4328149790658/114988686223, 684822308415/229977372446*e^20 + 2121188891503/229977372446*e^19 - 8925915439697/114988686223*e^18 - 27698178837813/114988686223*e^17 + 192856843255183/229977372446*e^16 + 595758534714675/229977372446*e^15 - 1122605065029509/229977372446*e^14 - 3414943622544957/229977372446*e^13 + 3835630998926499/229977372446*e^12 + 11276780594509055/229977372446*e^11 - 3928823081909694/114988686223*e^10 - 10801676401267409/114988686223*e^9 + 496745113828255/12104072234*e^8 + 1205003503126833/12104072234*e^7 - 6080737120022133/229977372446*e^6 - 11857086559818015/229977372446*e^5 + 723288859745449/114988686223*e^4 + 26326084953617/2804602103*e^3 + 108948368458267/114988686223*e^2 - 32225558397280/114988686223*e - 6116933317032/114988686223, -57193849658/114988686223*e^20 - 277265260769/114988686223*e^19 + 1177502798374/114988686223*e^18 + 7229306447099/114988686223*e^17 - 7948535476351/114988686223*e^16 - 77883419661185/114988686223*e^15 + 6302032970420/114988686223*e^14 + 449995055490302/114988686223*e^13 + 179527195316295/114988686223*e^12 - 1515091508279218/114988686223*e^11 - 991066204896341/114988686223*e^10 + 3024828218893359/114988686223*e^9 + 124504785147336/6052036117*e^8 - 183683031492597/6052036117*e^7 - 2839133247406383/114988686223*e^6 + 2156069332167190/114988686223*e^5 + 1617997447053917/114988686223*e^4 - 14030092593659/2804602103*e^3 - 334229680456047/114988686223*e^2 + 17993696813214/114988686223*e + 9860654841780/114988686223, -186030302694/114988686223*e^20 - 451833060580/114988686223*e^19 + 5201004398196/114988686223*e^18 + 11691073199189/114988686223*e^17 - 61608888069319/114988686223*e^16 - 123816392841440/114988686223*e^15 + 404646928516814/114988686223*e^14 + 691806963192561/114988686223*e^13 - 1617578033010469/114988686223*e^12 - 2186072030426545/114988686223*e^11 + 4053796863913220/114988686223*e^10 + 3860617331506511/114988686223*e^9 - 330774034003404/6052036117*e^8 - 181146871547148/6052036117*e^7 + 5640550389816257/114988686223*e^6 + 1066957519020927/114988686223*e^5 - 2456286958229941/114988686223*e^4 + 4127378438643/2804602103*e^3 + 296277491866544/114988686223*e^2 - 22148280596048/114988686223*e - 7849482884808/114988686223, -374687271087/229977372446*e^20 - 573808752153/114988686223*e^19 + 4913804430748/114988686223*e^18 + 30016226024549/229977372446*e^17 - 107128647409773/229977372446*e^16 - 161763103946858/114988686223*e^15 + 631834386906637/229977372446*e^14 + 1860577712202797/229977372446*e^13 - 2200410184258389/229977372446*e^12 - 6174045999087893/229977372446*e^11 + 2316726117623054/114988686223*e^10 + 11915157604304307/229977372446*e^9 - 304838008777525/12104072234*e^8 - 336119107148558/6052036117*e^7 + 3983941407866081/229977372446*e^6 + 6744168491459261/229977372446*e^5 - 580973206272884/114988686223*e^4 - 31434680363209/5609204206*e^3 - 9117515211023/114988686223*e^2 + 24277653608382/114988686223*e + 516503926125/114988686223, -836638106745/229977372446*e^20 - 3008812077065/229977372446*e^19 + 10293338742994/114988686223*e^18 + 39356331853577/114988686223*e^17 - 203881218632039/229977372446*e^16 - 849576324874871/229977372446*e^15 + 1033132103060615/229977372446*e^14 + 4903208302994843/229977372446*e^13 - 2769086500819055/229977372446*e^12 - 16395744010443083/229977372446*e^11 + 1686781761191522/114988686223*e^10 + 16077709133497369/114988686223*e^9 + 5687329112003/12104072234*e^8 - 1878310584071075/12104072234*e^7 - 4432647500423559/229977372446*e^6 + 20395707852629295/229977372446*e^5 + 1979069578830899/114988686223*e^4 - 57692020720474/2804602103*e^3 - 570806424191035/114988686223*e^2 + 90518463370956/114988686223*e + 19226947384730/114988686223, -534869836070/114988686223*e^20 - 3548724499479/229977372446*e^19 + 13628858809952/114988686223*e^18 + 46473115513314/114988686223*e^17 - 142442563394153/114988686223*e^16 - 1004032225437875/229977372446*e^15 + 789164685208450/114988686223*e^14 + 5795180909485623/229977372446*e^13 - 2497855028813479/114988686223*e^12 - 19352056457009565/229977372446*e^11 + 4518725818965473/114988686223*e^10 + 18895416645237607/114988686223*e^9 - 229344463782478/6052036117*e^8 - 2184589476986763/12104072234*e^7 + 1719531109228601/114988686223*e^6 + 23166977248599603/229977372446*e^5 + 270653985940813/114988686223*e^4 - 62296367263284/2804602103*e^3 - 343695761673835/114988686223*e^2 + 103274913087156/114988686223*e + 11957833828504/114988686223, 126136561687/114988686223*e^20 + 705550629465/229977372446*e^19 - 3396474369354/114988686223*e^18 - 18300588451481/229977372446*e^17 + 38440077150235/114988686223*e^16 + 194728972025849/229977372446*e^15 - 239400342264073/114988686223*e^14 - 548796221871707/114988686223*e^13 + 903008070980039/114988686223*e^12 + 1763665053650825/114988686223*e^11 - 2138018504650501/114988686223*e^10 - 6456323192608239/229977372446*e^9 + 166735696062493/6052036117*e^8 + 331910541819331/12104072234*e^7 - 2782397821521001/114988686223*e^6 - 1384383297723856/114988686223*e^5 + 1222961787763058/114988686223*e^4 + 7566654835329/5609204206*e^3 - 159687532983942/114988686223*e^2 - 9744718495612/114988686223*e + 4917987598205/114988686223, 8439776709/2804602103*e^20 + 27001392633/2804602103*e^19 - 217699387191/2804602103*e^18 - 705922355637/2804602103*e^17 + 2317052885303/2804602103*e^16 + 7604936894343/2804602103*e^15 - 13200870348692/2804602103*e^14 - 43714771690192/2804602103*e^13 + 43701167266018/2804602103*e^12 + 145042826675182/2804602103*e^11 - 85362082578134/2804602103*e^10 - 280276513724311/2804602103*e^9 + 5011685244033/147610637*e^8 + 15907253072345/147610637*e^7 - 54146879691806/2804602103*e^6 - 162912703300942/2804602103*e^5 + 8691402721508/2804602103*e^4 + 33306746836577/2804602103*e^3 + 3472581562280/2804602103*e^2 - 1254663720528/2804602103*e - 131605017032/2804602103, -308939366945/229977372446*e^20 - 525352670451/114988686223*e^19 + 3882048113796/114988686223*e^18 + 13705205995677/114988686223*e^17 - 79488429170911/229977372446*e^16 - 147251324938749/114988686223*e^15 + 426095279327709/229977372446*e^14 + 843531310080644/114988686223*e^13 - 1272325227363531/229977372446*e^12 - 2786317645346544/114988686223*e^11 + 1018634050648436/114988686223*e^10 + 5353479251369474/114988686223*e^9 - 71719055564103/12104072234*e^8 - 301810720117603/6052036117*e^7 - 374412075510845/229977372446*e^6 + 3071608640448947/114988686223*e^5 + 519420024652281/114988686223*e^4 - 15061027082520/2804602103*e^3 - 222310156705974/114988686223*e^2 + 13220146780076/114988686223*e + 8186875037412/114988686223, 130511349089/229977372446*e^20 + 179676197690/114988686223*e^19 - 1779871530365/114988686223*e^18 - 4741180467320/114988686223*e^17 + 40696131504135/229977372446*e^16 + 51589860223442/114988686223*e^15 - 253985459410685/229977372446*e^14 - 299605476600494/114988686223*e^13 + 943281925354709/229977372446*e^12 + 1003412954525330/114988686223*e^11 - 1062343210611309/114988686223*e^10 - 1949806569012623/114988686223*e^9 + 148105667015545/12104072234*e^8 + 109990525258702/6052036117*e^7 - 1975740094536589/229977372446*e^6 - 1079109355678172/114988686223*e^5 + 265800963659118/114988686223*e^4 + 4416157530687/2804602103*e^3 + 15906501267619/114988686223*e^2 + 737168564808/114988686223*e - 1576974260382/114988686223, 147176827963/114988686223*e^20 + 373963185994/114988686223*e^19 - 4058666418204/114988686223*e^18 - 9653237126317/114988686223*e^17 + 47330492773571/114988686223*e^16 + 101986182614720/114988686223*e^15 - 305705877990625/114988686223*e^14 - 568579899919947/114988686223*e^13 + 1202737010050117/114988686223*e^12 + 1794463656393793/114988686223*e^11 - 2978808931264522/114988686223*e^10 - 3175059772888263/114988686223*e^9 + 242423166556914/6052036117*e^8 + 150951103646436/6052036117*e^7 - 4188517077485158/114988686223*e^6 - 962264415477393/114988686223*e^5 + 1896706917317303/114988686223*e^4 - 2016359745563/2804602103*e^3 - 261618269465297/114988686223*e^2 + 14801010952866/114988686223*e + 8928952922696/114988686223, 1063398844941/229977372446*e^20 + 1704669784533/114988686223*e^19 - 13718846832808/114988686223*e^18 - 44646262953512/114988686223*e^17 + 291917112212741/229977372446*e^16 + 482045295183899/114988686223*e^15 - 1660178081052857/229977372446*e^14 - 2778695931280013/114988686223*e^13 + 5471008482075017/229977372446*e^12 + 9253167768880103/114988686223*e^11 - 5289636153525897/114988686223*e^10 - 17967820812131705/114988686223*e^9 + 607792919568509/12104072234*e^8 + 1026652131352973/6052036117*e^7 - 6238954163668191/229977372446*e^6 - 10614925634224162/114988686223*e^5 + 373646835260735/114988686223*e^4 + 53749718894917/2804602103*e^3 + 258000502834088/114988686223*e^2 - 85553677844944/114988686223*e - 12095772952722/114988686223, -816117528949/229977372446*e^20 - 2891676182505/229977372446*e^19 + 20221975865585/229977372446*e^18 + 75646758555017/229977372446*e^17 - 202578295938751/229977372446*e^16 - 816350332132045/229977372446*e^15 + 524033974833642/114988686223*e^14 + 2354817958145327/114988686223*e^13 - 1467960076598977/114988686223*e^12 - 7868844128269112/114988686223*e^11 + 4083377343066705/229977372446*e^10 + 30834407854919273/229977372446*e^9 - 76874324128501/12104072234*e^8 - 1799509335411243/12104072234*e^7 - 1290123915269094/114988686223*e^6 + 9780315210188746/114988686223*e^5 + 2861931543064765/229977372446*e^4 - 111864920084083/5609204206*e^3 - 436551503904236/114988686223*e^2 + 96993201366265/114988686223*e + 14240889752311/114988686223, -390572068723/114988686223*e^20 - 2648392169933/229977372446*e^19 + 9881890039990/114988686223*e^18 + 34755450228273/114988686223*e^17 - 102083292308331/114988686223*e^16 - 752943666045523/229977372446*e^15 + 554184600227864/114988686223*e^14 + 4361722558910489/229977372446*e^13 - 1688012772033746/114988686223*e^12 - 14635994631877851/229977372446*e^11 + 2811183664488831/114988686223*e^10 + 14384919859366866/114988686223*e^9 - 113064820752996/6052036117*e^8 - 1678293830396611/12104072234*e^7 + 22703507657023/114988686223*e^6 + 18026142225691409/229977372446*e^5 + 934773222222193/114988686223*e^4 - 49416185419428/2804602103*e^3 - 420269662401231/114988686223*e^2 + 81767430960584/114988686223*e + 17359522451926/114988686223, 347166403667/114988686223*e^20 + 1155946833915/114988686223*e^19 - 8801476926589/114988686223*e^18 - 30154721430348/114988686223*e^17 + 91385681042040/114988686223*e^16 + 324022707687374/114988686223*e^15 - 501896965917270/114988686223*e^14 - 1856945932463865/114988686223*e^13 + 1569733727739259/114988686223*e^12 + 6140018958110602/114988686223*e^11 - 2790522730380788/114988686223*e^10 - 11821877625795321/114988686223*e^9 + 137359774309292/6052036117*e^8 + 669252524847368/6052036117*e^7 - 928559708921756/114988686223*e^6 - 6877734507141924/114988686223*e^5 - 284817887554906/114988686223*e^4 + 35279547911001/2804602103*e^3 + 270581263588787/114988686223*e^2 - 63376654937176/114988686223*e - 12503186984252/114988686223, -245819819135/114988686223*e^20 - 990318601867/114988686223*e^19 + 5715238832579/114988686223*e^18 + 25853767860041/114988686223*e^17 - 51307629740457/114988686223*e^16 - 278535086997850/114988686223*e^15 + 212605026441452/114988686223*e^14 + 1605632124862225/114988686223*e^13 - 302925802677548/114988686223*e^12 - 5371415701844198/114988686223*e^11 - 651620202775931/114988686223*e^10 + 10578958726868908/114988686223*e^9 + 161871334407311/6052036117*e^8 - 626058720429839/6052036117*e^7 - 4394055129129876/114988686223*e^6 + 7027056126146529/114988686223*e^5 + 2683602847253653/114988686223*e^4 - 42743631949463/2804602103*e^3 - 594296886010926/114988686223*e^2 + 64923006182210/114988686223*e + 18158030802360/114988686223, -552013746329/229977372446*e^20 - 899666858798/114988686223*e^19 + 14144384272793/229977372446*e^18 + 47086938999717/229977372446*e^17 - 149085172822839/229977372446*e^16 - 254100712879027/114988686223*e^15 + 418418709767676/114988686223*e^14 + 2930901194800675/229977372446*e^13 - 1352315016982185/114988686223*e^12 - 9780957750227865/229977372446*e^11 + 5068260712460681/229977372446*e^10 + 19092775280640155/229977372446*e^9 - 275035518158541/12104072234*e^8 - 551730674526028/6052036117*e^7 + 1238683918148660/114988686223*e^6 + 11699334195163133/229977372446*e^5 - 52441660712281/229977372446*e^4 - 63227924495471/5609204206*e^3 - 145857700259889/114988686223*e^2 + 60534886742333/114988686223*e + 6025418934315/114988686223, -34108295258/114988686223*e^20 - 26369319142/114988686223*e^19 + 1131363514545/114988686223*e^18 + 696390507842/114988686223*e^17 - 15872610223733/114988686223*e^16 - 7385949262100/114988686223*e^15 + 122496515791837/114988686223*e^14 + 39775736439725/114988686223*e^13 - 566558360821764/114988686223*e^12 - 110536443504592/114988686223*e^11 + 1604047535438504/114988686223*e^10 + 123831972724598/114988686223*e^9 - 143171835971909/6052036117*e^8 + 4020336002207/6052036117*e^7 + 2575926721118891/114988686223*e^6 - 300149251543591/114988686223*e^5 - 1162809864893398/114988686223*e^4 + 4757564705839/2804602103*e^3 + 160658804573989/114988686223*e^2 - 8732105255138/114988686223*e - 5150253367620/114988686223, -220955371226/114988686223*e^20 - 741274226940/114988686223*e^19 + 5589105783221/114988686223*e^18 + 19372419949691/114988686223*e^17 - 57783314047296/114988686223*e^16 - 208687145094135/114988686223*e^15 + 314752761829119/114988686223*e^14 + 1200282581511970/114988686223*e^13 - 968506331089141/114988686223*e^12 - 3990039611882310/114988686223*e^11 + 1662777233903377/114988686223*e^10 + 7745946957615743/114988686223*e^9 - 74936300363058/6052036117*e^8 - 444243700450947/6052036117*e^7 + 330589452966471/114988686223*e^6 + 4655438524964297/114988686223*e^5 + 301190063938959/114988686223*e^4 - 24266164436637/2804602103*e^3 - 178331266429588/114988686223*e^2 + 29133023921118/114988686223*e + 5503899823000/114988686223, -94062765732/114988686223*e^20 - 706431639047/229977372446*e^19 + 2281975868918/114988686223*e^18 + 9309498501853/114988686223*e^17 - 21972535062641/114988686223*e^16 - 202941245832603/229977372446*e^15 + 104667484222304/114988686223*e^14 + 1186821408321105/229977372446*e^13 - 236810666465869/114988686223*e^12 - 4042486452864695/229977372446*e^11 + 99780764715381/114988686223*e^10 + 4073095490460632/114988686223*e^9 + 32575664722702/6052036117*e^8 - 496591395071763/12104072234*e^7 - 1211902519171951/114988686223*e^6 + 5798698317086241/229977372446*e^5 + 820265935471501/114988686223*e^4 - 18859562472371/2804602103*e^3 - 171747381219317/114988686223*e^2 + 39322825485192/114988686223*e + 3392658308232/114988686223, -319381987938/114988686223*e^20 - 2179123545873/229977372446*e^19 + 8048788453704/114988686223*e^18 + 28554639113708/114988686223*e^17 - 82689015243451/114988686223*e^16 - 617489414260367/229977372446*e^15 + 445312027684216/114988686223*e^14 + 3569110138937609/229977372446*e^13 - 1339621201132283/114988686223*e^12 - 11943299156804013/229977372446*e^11 + 2182598515474466/114988686223*e^10 + 11696904817714851/114988686223*e^9 - 83149609144591/6052036117*e^8 - 1358053459454215/12104072234*e^7 - 103868232151036/114988686223*e^6 + 14469721751085843/229977372446*e^5 + 782043575159477/114988686223*e^4 - 38767610077879/2804602103*e^3 - 333597928590359/114988686223*e^2 + 51399590331560/114988686223*e + 12499234320492/114988686223, 279586673221/229977372446*e^20 + 434827646043/114988686223*e^19 - 3659352512159/114988686223*e^18 - 11439490771572/114988686223*e^17 + 79411305091663/229977372446*e^16 + 124299709986823/114988686223*e^15 - 463841137330289/229977372446*e^14 - 723159572533633/114988686223*e^13 + 1584256275573711/229977372446*e^12 + 2441455295412245/114988686223*e^11 - 1605080117757464/114988686223*e^10 - 4841508248843043/114988686223*e^9 + 195660844515357/12104072234*e^8 + 286059377449227/6052036117*e^7 - 2185540738611681/229977372446*e^6 - 3132219987536848/114988686223*e^5 + 211207970274745/114988686223*e^4 + 17836857573477/2804602103*e^3 + 30418735394035/114988686223*e^2 - 33128325507754/114988686223*e - 394145401830/114988686223, 213924285035/114988686223*e^20 + 783133924307/114988686223*e^19 - 5218688606303/114988686223*e^18 - 20479008716574/114988686223*e^17 + 50956007346282/114988686223*e^16 + 220951354181521/114988686223*e^15 - 251647043920973/114988686223*e^14 - 1274921868626085/114988686223*e^13 + 637543972798170/114988686223*e^12 + 4265093529902015/114988686223*e^11 - 637042013556708/114988686223*e^10 - 8384821569263598/114988686223*e^9 - 22970850474160/6052036117*e^8 + 493643050386803/6052036117*e^7 + 1524997698378298/114988686223*e^6 - 5482131411838501/114988686223*e^5 - 1174609448901283/114988686223*e^4 + 32945187779660/2804602103*e^3 + 300070544333704/114988686223*e^2 - 59457435362428/114988686223*e - 8998282417776/114988686223, 682798750395/229977372446*e^20 + 1171371812708/114988686223*e^19 - 8562825282410/114988686223*e^18 - 61265249623495/229977372446*e^17 + 174747838601969/229977372446*e^16 + 330305639071979/114988686223*e^15 - 931731537119779/229977372446*e^14 - 3805223966085251/229977372446*e^13 + 2760546371157641/229977372446*e^12 + 12680682278223013/229977372446*e^11 - 2193712970091070/114988686223*e^10 - 24728818610344113/229977372446*e^9 + 159055687566505/12104072234*e^8 + 715890182939225/6052036117*e^7 + 316427664714289/229977372446*e^6 - 15361344211885799/229977372446*e^5 - 748803228681028/114988686223*e^4 + 86369705430495/5609204206*e^3 + 300005484350153/114988686223*e^2 - 84714517521154/114988686223*e - 11242778274991/114988686223, 1309783212701/229977372446*e^20 + 4517800727877/229977372446*e^19 - 32849305229931/229977372446*e^18 - 118387052262289/229977372446*e^17 + 334948359140785/229977372446*e^16 + 1279913604212027/229977372446*e^15 - 890793453308535/114988686223*e^14 - 3698810624277697/114988686223*e^13 + 2620426574649703/114988686223*e^12 + 12379829691972935/114988686223*e^11 - 8138530483053235/229977372446*e^10 - 48545002342252525/229977372446*e^9 + 263536342321893/12104072234*e^8 + 2827239417271093/12104072234*e^7 + 913730148908081/114988686223*e^6 - 15210847463644746/114988686223*e^5 - 3785021848528291/229977372446*e^4 + 168269486288769/5609204206*e^3 + 701023467368938/114988686223*e^2 - 131454618210015/114988686223*e - 23609268243845/114988686223, -46794950876/114988686223*e^20 - 141669009289/114988686223*e^19 + 1246676118185/114988686223*e^18 + 3780701760350/114988686223*e^17 - 13802108527282/114988686223*e^16 - 41884380325108/114988686223*e^15 + 82349136773277/114988686223*e^14 + 250257977137896/114988686223*e^13 - 286486698771339/114988686223*e^12 - 876715042767929/114988686223*e^11 + 584010044371897/114988686223*e^10 + 1830256474929856/114988686223*e^9 - 34563368381156/6052036117*e^8 - 116055680556721/6052036117*e^7 + 339931072229551/114988686223*e^6 + 1396278715455115/114988686223*e^5 - 38368053456209/114988686223*e^4 - 9032500063374/2804602103*e^3 - 8275862376812/114988686223*e^2 + 18117307245410/114988686223*e + 882450132634/114988686223, 274021063685/229977372446*e^20 + 517541153601/114988686223*e^19 - 3300917617775/114988686223*e^18 - 13549549119783/114988686223*e^17 + 63122644764387/229977372446*e^16 + 146426469590424/114988686223*e^15 - 299514861551665/229977372446*e^14 - 846818858780582/114988686223*e^13 + 688064891575773/229977372446*e^12 + 2841898857268983/114988686223*e^11 - 200786036268965/114988686223*e^10 - 5611845788328992/114988686223*e^9 - 69894640049831/12104072234*e^8 + 332478548702908/6052036117*e^7 + 2738907669806003/229977372446*e^6 - 3725717448426354/114988686223*e^5 - 953051011626280/114988686223*e^4 + 22731759289417/2804602103*e^3 + 236444417994509/114988686223*e^2 - 44518485508556/114988686223*e - 9770511384414/114988686223, -615802153665/229977372446*e^20 - 1145420190824/114988686223*e^19 + 7464719085391/114988686223*e^18 + 30014107896892/114988686223*e^17 - 144042655252101/229977372446*e^16 - 324723710866618/114988686223*e^15 + 693109120382005/229977372446*e^14 + 1880725549242997/114988686223*e^13 - 1634339050142171/229977372446*e^12 - 6323337079829541/114988686223*e^11 + 538928495994636/114988686223*e^10 + 12512342850485745/114988686223*e^9 + 154283410202233/12104072234*e^8 - 742370301223815/6052036117*e^7 - 6456027793167491/229977372446*e^6 + 8300876114030474/114988686223*e^5 + 2302127346338849/114988686223*e^4 - 49813507091936/2804602103*e^3 - 554963570691964/114988686223*e^2 + 82372698478840/114988686223*e + 17167938081784/114988686223, -439800480171/229977372446*e^20 - 1631166280601/229977372446*e^19 + 5327769697610/114988686223*e^18 + 21323101323603/114988686223*e^17 - 102825744034159/229977372446*e^16 - 460135683109257/229977372446*e^15 + 496065941450739/229977372446*e^14 + 2656155768456463/229977372446*e^13 - 1182870553470255/229977372446*e^12 - 8893513252516385/229977372446*e^11 + 426702201104206/114988686223*e^10 + 8751480641726635/114988686223*e^9 + 98842603701755/12104072234*e^8 - 1030577182652515/12104072234*e^7 - 4345759452397275/229977372446*e^6 + 11389617548456467/229977372446*e^5 + 1583285012536216/114988686223*e^4 - 33535720972114/2804602103*e^3 - 397373138279237/114988686223*e^2 + 54771746344306/114988686223*e + 13092771722384/114988686223, -78328570599/114988686223*e^20 - 436226819911/114988686223*e^19 + 1463855579300/114988686223*e^18 + 22953043304263/229977372446*e^17 - 6912888234190/114988686223*e^16 - 125099173541989/114988686223*e^15 - 34974204262624/114988686223*e^14 + 1468523738463857/229977372446*e^13 + 499642844971283/114988686223*e^12 - 5054039357492625/229977372446*e^11 - 2199155622806744/114988686223*e^10 + 10420795043817609/229977372446*e^9 + 254082050434249/6052036117*e^8 - 332550102709277/6052036117*e^7 - 5479975681712245/114988686223*e^6 + 8439462054018637/229977372446*e^5 + 2925955829866891/114988686223*e^4 - 61897147716529/5609204206*e^3 - 533883804227967/114988686223*e^2 + 56089928205704/114988686223*e + 15992355100163/114988686223, 13799209087/229977372446*e^20 - 120624045465/229977372446*e^19 - 417195943334/114988686223*e^18 + 3186438133985/229977372446*e^17 + 16195088805117/229977372446*e^16 - 35024541081245/229977372446*e^15 - 153639571637529/229977372446*e^14 + 104238713464543/114988686223*e^13 + 817155936355623/229977372446*e^12 - 366713367148993/114988686223*e^11 - 1274638609573665/114988686223*e^10 + 1564914871393259/229977372446*e^9 + 243710852234999/12104072234*e^8 - 105441953610567/12104072234*e^7 - 4628083162937163/229977372446*e^6 + 725550822292198/114988686223*e^5 + 1119995271596540/114988686223*e^4 - 11590671678133/5609204206*e^3 - 191780843303110/114988686223*e^2 + 5684752890164/114988686223*e + 6956204022977/114988686223, -4110227215/229977372446*e^20 + 147588010883/114988686223*e^19 + 531549170287/114988686223*e^18 - 3813094557822/114988686223*e^17 - 25882416646445/229977372446*e^16 + 40827082034611/114988686223*e^15 + 269445376250967/229977372446*e^14 - 235972499160425/114988686223*e^13 - 1506009555243863/229977372446*e^12 + 805377832856015/114988686223*e^11 + 2424129905640361/114988686223*e^10 - 1672807002242985/114988686223*e^9 - 474377909426491/12104072234*e^8 + 110849517401675/6052036117*e^7 + 9177897245942311/229977372446*e^6 - 1528384382214049/114988686223*e^5 - 2238206093941596/114988686223*e^4 + 12526802040449/2804602103*e^3 + 363127305843243/114988686223*e^2 - 12354711927312/114988686223*e - 11317971494334/114988686223, -4599210388/2804602103*e^20 - 12068802702/2804602103*e^19 + 126779620646/2804602103*e^18 + 315761699479/2804602103*e^17 - 1474159155396/2804602103*e^16 - 3398623529124/2804602103*e^15 + 9449181201004/2804602103*e^14 + 19456362417421/2804602103*e^13 - 36584401141068/2804602103*e^12 - 63885296110813/2804602103*e^11 + 87920556582651/2804602103*e^10 + 120514742009107/2804602103*e^9 - 6792941001831/147610637*e^8 - 6462976014744/147610637*e^7 + 107987946547478/2804602103*e^6 + 57077194943857/2804602103*e^5 - 42882500305903/2804602103*e^4 - 6990134482497/2804602103*e^3 + 4265091752467/2804602103*e^2 + 325842160742/2804602103*e - 116796520944/2804602103, 306509673639/114988686223*e^20 + 875526938998/114988686223*e^19 - 8193862877345/114988686223*e^18 - 22772920241742/114988686223*e^17 + 91708854321456/114988686223*e^16 + 243417586943998/114988686223*e^15 - 561307858967822/114988686223*e^14 - 1382209663932961/114988686223*e^13 + 2060175942544683/114988686223*e^12 + 4496448779549778/114988686223*e^11 - 4674588158601772/114988686223*e^10 - 8399755722121818/114988686223*e^9 + 341718462743842/6052036117*e^8 + 447255369734554/6052036117*e^7 - 5176175948747213/114988686223*e^6 - 3978310994336721/114988686223*e^5 + 1927917454141528/114988686223*e^4 + 12680211653886/2804602103*e^3 - 127320852630444/114988686223*e^2 - 6976596687592/114988686223*e + 431598003898/114988686223, 6088171101/12104072234*e^20 + 12241187671/6052036117*e^19 - 70024754799/6052036117*e^18 - 316699557640/6052036117*e^17 + 1233704918685/12104072234*e^16 + 3368041926534/6052036117*e^15 - 4899410221937/12104072234*e^14 - 19050349054366/6052036117*e^13 + 5666945238187/12104072234*e^12 + 61943905410024/6052036117*e^11 + 10472793312200/6052036117*e^10 - 116787896542604/6052036117*e^9 - 81978229468731/12104072234*e^8 + 122625364846638/6052036117*e^7 + 110253222089863/12104072234*e^6 - 64940815567393/6052036117*e^5 - 32375802407639/6052036117*e^4 + 322836629860/147610637*e^3 + 7166865105168/6052036117*e^2 - 71488553904/6052036117*e - 214585062302/6052036117, 36310293372/114988686223*e^20 - 42829784026/114988686223*e^19 - 1388454112433/114988686223*e^18 + 1243809218902/114988686223*e^17 + 21809630569351/114988686223*e^16 - 15545838316271/114988686223*e^15 - 184537452933299/114988686223*e^14 + 109237879079896/114988686223*e^13 + 921942182583110/114988686223*e^12 - 471117719006269/114988686223*e^11 - 2792138446966553/114988686223*e^10 + 1272163373272466/114988686223*e^9 + 265351171786627/6052036117*e^8 - 110062170535951/6052036117*e^7 - 5094404952678635/114988686223*e^6 + 1911835443308980/114988686223*e^5 + 2494349051327748/114988686223*e^4 - 18739710755929/2804602103*e^3 - 403260343610892/114988686223*e^2 + 41543864041612/114988686223*e + 11358731348774/114988686223, -102666124559/229977372446*e^20 - 132941541734/114988686223*e^19 + 2787380034145/229977372446*e^18 + 6701305936655/229977372446*e^17 - 32123726174965/229977372446*e^16 - 34253864778576/114988686223*e^15 + 103499224848960/114988686223*e^14 + 364165191380763/229977372446*e^13 - 413482197807707/114988686223*e^12 - 1067003047692849/229977372446*e^11 + 2136099562061597/229977372446*e^10 + 1655215728137383/229977372446*e^9 - 187231130373697/12104072234*e^8 - 28996481418701/6052036117*e^7 + 1791802161733400/114988686223*e^6 - 13172640180221/229977372446*e^5 - 1825727983831731/229977372446*e^4 + 5694385520831/5609204206*e^3 + 146133942327083/114988686223*e^2 + 86787277533/114988686223*e - 3730771164627/114988686223, -51337239549/114988686223*e^20 - 139447975364/114988686223*e^19 + 2717884794447/229977372446*e^18 + 7035510320677/229977372446*e^17 - 15046700311582/114988686223*e^16 - 36009881651265/114988686223*e^15 + 182209600476693/229977372446*e^14 + 383623583287063/229977372446*e^13 - 662941439946879/229977372446*e^12 - 1127568733651061/229977372446*e^11 + 1499706124447917/229977372446*e^10 + 1756033131009997/229977372446*e^9 - 55205145602708/6052036117*e^8 - 30599137581572/6052036117*e^7 + 1697519845323229/229977372446*e^6 - 69453841061935/229977372446*e^5 - 621148881957043/229977372446*e^4 + 8187880448509/5609204206*e^3 + 8819312214719/114988686223*e^2 - 23187563744847/114988686223*e + 382239015201/114988686223, 869098086397/229977372446*e^20 + 2885865523693/229977372446*e^19 - 11022659540108/114988686223*e^18 - 37625477031921/114988686223*e^17 + 229101269126425/229977372446*e^16 + 808146750535609/229977372446*e^15 - 1260443855247937/229977372446*e^14 - 4628059336013811/229977372446*e^13 + 3957983355795311/229977372446*e^12 + 15288852990616715/229977372446*e^11 - 3556164881933078/114988686223*e^10 - 14702790960866782/114988686223*e^9 + 362617205478927/12104072234*e^8 + 1662782142007565/12104072234*e^7 - 2917505596129297/229977372446*e^6 - 17058984970890511/229977372446*e^5 - 101089605897622/114988686223*e^4 + 43242672962475/2804602103*e^3 + 251178396928413/114988686223*e^2 - 64283964095946/114988686223*e - 9659466722154/114988686223, -565771324931/114988686223*e^20 - 2072724114614/114988686223*e^19 + 13826935154133/114988686223*e^18 + 54305531932332/114988686223*e^17 - 135309246058435/114988686223*e^16 - 587302931260444/114988686223*e^15 + 669898613833552/114988686223*e^14 + 3398596561689812/114988686223*e^13 - 1699672786214434/114988686223*e^12 - 11407106049476200/114988686223*e^11 + 1677865160631537/114988686223*e^10 + 22497053619573480/114988686223*e^9 + 68684401054985/6052036117*e^8 - 1326124557946854/6052036117*e^7 - 4395937358986998/114988686223*e^6 + 14633617737816156/114988686223*e^5 + 3440406565782753/114988686223*e^4 - 85339106223136/2804602103*e^3 - 901709312166844/114988686223*e^2 + 135298220610328/114988686223*e + 28943655152958/114988686223, 428909773040/114988686223*e^20 + 1407792842768/114988686223*e^19 - 10979544754176/114988686223*e^18 - 36848192905249/114988686223*e^17 + 115642671192881/114988686223*e^16 + 397689034760325/114988686223*e^15 - 649326358089164/114988686223*e^14 - 2292484988075865/114988686223*e^13 + 2106025249127030/114988686223*e^12 + 7640609780079892/114988686223*e^11 - 3996293218531353/114988686223*e^10 - 14874484608960659/114988686223*e^9 + 225308003905868/6052036117*e^8 + 855303112225627/6052036117*e^7 - 2300503478134457/114988686223*e^6 - 8984719581761314/114988686223*e^5 + 309009215886419/114988686223*e^4 + 47615637660623/2804602103*e^3 + 175555336064378/114988686223*e^2 - 86964102518430/114988686223*e - 9329253926284/114988686223, 124571158234/114988686223*e^20 + 827587754581/229977372446*e^19 - 3147745611231/114988686223*e^18 - 21538145685035/229977372446*e^17 + 32479753103636/114988686223*e^16 + 230569099063263/229977372446*e^15 - 176335751405995/114988686223*e^14 - 656827454046598/114988686223*e^13 + 539785005745454/114988686223*e^12 + 2152344346598087/114988686223*e^11 - 919919998406654/114988686223*e^10 - 8176785982513667/229977372446*e^9 + 41029595870766/6052036117*e^8 + 454039834888141/12104072234*e^7 - 169076322598904/114988686223*e^6 - 2279768532928103/114988686223*e^5 - 197329781851431/114988686223*e^4 + 23261645777063/5609204206*e^3 + 128501171945374/114988686223*e^2 - 27980381071372/114988686223*e - 7701831058425/114988686223, -759176186267/229977372446*e^20 - 1221879154013/114988686223*e^19 + 9775189911224/114988686223*e^18 + 31946846653395/114988686223*e^17 - 207742357190499/229977372446*e^16 - 344324400973043/114988686223*e^15 + 1182146196299729/229977372446*e^14 + 1981639996017897/114988686223*e^13 - 3914685346285731/229977372446*e^12 - 6592241481617615/114988686223*e^11 + 3841224867681853/114988686223*e^10 + 12808376942379821/114988686223*e^9 - 458996657290493/12104072234*e^8 - 735429555010188/6052036117*e^7 + 5269382972786277/229977372446*e^6 + 7734030422984010/114988686223*e^5 - 599286836858534/114988686223*e^4 - 41364134750094/2804602103*e^3 - 76825936850744/114988686223*e^2 + 75322981808762/114988686223*e + 4998327038160/114988686223, 250173581978/114988686223*e^20 + 778351565121/114988686223*e^19 - 6506375636689/114988686223*e^18 - 20338898987455/114988686223*e^17 + 69988486914198/114988686223*e^16 + 218875889829775/114988686223*e^15 - 404234658046853/114988686223*e^14 - 1255581038596865/114988686223*e^13 + 1361896396628001/114988686223*e^12 + 4150420563787627/114988686223*e^11 - 2720134993393350/114988686223*e^10 - 7964467223622093/114988686223*e^9 + 164178488318114/6052036117*e^8 + 445782344855021/6052036117*e^7 - 1837019778304196/114988686223*e^6 - 4425452551477853/114988686223*e^5 + 327021689600277/114988686223*e^4 + 20252322533414/2804602103*e^3 + 104860058228916/114988686223*e^2 - 25590554662462/114988686223*e - 2733034982780/114988686223, -190738282195/229977372446*e^20 - 714501439579/229977372446*e^19 + 2324074090287/114988686223*e^18 + 9415414369829/114988686223*e^17 - 45225362468025/229977372446*e^16 - 205247632965011/229977372446*e^15 + 221254120362769/229977372446*e^14 + 1200465585881957/229977372446*e^13 - 545695325933849/229977372446*e^12 - 4091486211764607/229977372446*e^11 + 239973917313537/114988686223*e^10 + 4131143526623724/114988686223*e^9 + 29749204741417/12104072234*e^8 - 506838182800533/12104072234*e^7 - 1503653428967481/229977372446*e^6 + 6019610347616923/229977372446*e^5 + 511842174712395/114988686223*e^4 - 20394312358890/2804602103*e^3 - 100530102915147/114988686223*e^2 + 47935208200340/114988686223*e + 4500410393738/114988686223, -67540897605/114988686223*e^20 - 61318982514/114988686223*e^19 + 2187703604206/114988686223*e^18 + 1544417193650/114988686223*e^17 - 30105405903852/114988686223*e^16 - 15453236740768/114988686223*e^15 + 228970424382205/114988686223*e^14 + 76849432058618/114988686223*e^13 - 1048888975657094/114988686223*e^12 - 186011229658453/114988686223*e^11 + 2957378273206149/114988686223*e^10 + 122834060350436/114988686223*e^9 - 264567585802906/6052036117*e^8 + 18190035979766/6052036117*e^7 + 4808969754364913/114988686223*e^6 - 709731230644915/114988686223*e^5 - 2214752953378659/114988686223*e^4 + 9520499178426/2804602103*e^3 + 317046800365931/114988686223*e^2 - 14689405369940/114988686223*e - 7296505094910/114988686223, 375464395485/114988686223*e^20 + 2854524219547/229977372446*e^19 - 18035280254121/229977372446*e^18 - 74822310533323/229977372446*e^17 + 85643905979264/114988686223*e^16 + 809999037366661/229977372446*e^15 - 799546781573477/229977372446*e^14 - 2348374821129535/114988686223*e^13 + 1741711311316537/229977372446*e^12 + 7913213849269556/114988686223*e^11 - 534044460463875/229977372446*e^10 - 31455555705860485/229977372446*e^9 - 129880354902276/6052036117*e^8 + 1883476763122419/12104072234*e^7 + 9117612353261235/229977372446*e^6 - 10736855166745719/114988686223*e^5 - 6121252591137615/229977372446*e^4 + 134384647227141/5609204206*e^3 + 701682739717394/114988686223*e^2 - 124667890614965/114988686223*e - 23176843792779/114988686223, -53948536220/114988686223*e^20 - 183416308386/114988686223*e^19 + 1337923461923/114988686223*e^18 + 4761895867328/114988686223*e^17 - 13340130377433/114988686223*e^16 - 50769330598906/114988686223*e^15 + 67766811180961/114988686223*e^14 + 287364596564222/114988686223*e^13 - 179622095627140/114988686223*e^12 - 932183429601126/114988686223*e^11 + 203938286087264/114988686223*e^10 + 1744719826380064/114988686223*e^9 + 3077577210275/6052036117*e^8 - 95000752356827/6052036117*e^7 - 349911882502489/114988686223*e^6 + 932947263931170/114988686223*e^5 + 273498730181404/114988686223*e^4 - 4434438872497/2804602103*e^3 - 63459476796911/114988686223*e^2 - 3831262025528/114988686223*e + 2846401119708/114988686223, 384769872431/229977372446*e^20 + 729747023192/114988686223*e^19 - 4607721106160/114988686223*e^18 - 19058271004580/114988686223*e^17 + 87256451282051/229977372446*e^16 + 205364065036350/114988686223*e^15 - 406379794549805/229977372446*e^14 - 1183826701855402/114988686223*e^13 + 889630093974377/229977372446*e^12 + 3960001001567434/114988686223*e^11 - 167132497047281/114988686223*e^10 - 7802889785765597/114988686223*e^9 - 117578938944553/12104072234*e^8 + 463299217900594/6052036117*e^7 + 4107366033807681/229977372446*e^6 - 5271354102643339/114988686223*e^5 - 1339701832061389/114988686223*e^4 + 33683343677591/2804602103*e^3 + 298693586705239/114988686223*e^2 - 71300769963634/114988686223*e - 11228734491094/114988686223, -222172722994/114988686223*e^20 - 477850311101/114988686223*e^19 + 6406858410851/114988686223*e^18 + 12384371959555/114988686223*e^17 - 78635678826593/114988686223*e^16 - 131344819110976/114988686223*e^15 + 536893320150033/114988686223*e^14 + 734427581641707/114988686223*e^13 - 2232598920458406/114988686223*e^12 - 2317717886283491/114988686223*e^11 + 5801123431223982/114988686223*e^10 + 4059601894082656/114988686223*e^9 - 486757348309981/6052036117*e^8 - 183769385066272/6052036117*e^7 + 8433754876263813/114988686223*e^6 + 844189591588471/114988686223*e^5 - 3702193637069794/114988686223*e^4 + 8972341718187/2804602103*e^3 + 461963059561075/114988686223*e^2 - 37975796142152/114988686223*e - 13750969460192/114988686223, 431444207377/114988686223*e^20 + 1459752753934/114988686223*e^19 - 21823863928431/229977372446*e^18 - 76537232767809/229977372446*e^17 + 112673454780019/114988686223*e^16 + 413841600894424/114988686223*e^15 - 1222756740740241/229977372446*e^14 - 4783198305109269/229977372446*e^13 + 3723031718741005/229977372446*e^12 + 15992819684431663/229977372446*e^11 - 6201194881721025/229977372446*e^10 - 31261006050258881/229977372446*e^9 + 124907220171475/6052036117*e^8 + 903298028208588/6052036117*e^7 - 43297647946857/229977372446*e^6 - 19072432024816167/229977372446*e^5 - 2129502597749215/229977372446*e^4 + 100669577669723/5609204206*e^3 + 495097104824893/114988686223*e^2 - 76377648308159/114988686223*e - 20121406977981/114988686223, 116100995241/229977372446*e^20 + 197454172555/114988686223*e^19 - 1495926182362/114988686223*e^18 - 5256058733753/114988686223*e^17 + 31788273211843/229977372446*e^16 + 58032879179619/114988686223*e^15 - 180346889108625/229977372446*e^14 - 345075270758949/114988686223*e^13 + 589918431017931/229977372446*e^12 + 1200276870141391/114988686223*e^11 - 555838364584401/114988686223*e^10 - 2479906828267683/114988686223*e^9 + 58409056520387/12104072234*e^8 + 155107849185545/6052036117*e^7 - 418902175538071/229977372446*e^6 - 1838874279404125/114988686223*e^5 - 42471308282026/114988686223*e^4 + 11762042662461/2804602103*e^3 + 27993456049100/114988686223*e^2 - 23348655311160/114988686223*e + 748152567960/114988686223, -682750479875/114988686223*e^20 - 2248945807288/114988686223*e^19 + 17417798955349/114988686223*e^18 + 58822033093648/114988686223*e^17 - 182362456824612/114988686223*e^16 - 634152165445290/114988686223*e^15 + 1013039273284614/114988686223*e^14 + 3649609879224867/114988686223*e^13 - 3220389951041601/114988686223*e^12 - 12133978730269716/114988686223*e^11 + 5870645412634940/114988686223*e^10 + 23534940578873973/114988686223*e^9 - 302661133086356/6052036117*e^8 - 1345714159974591/6052036117*e^7 + 2376231285678512/114988686223*e^6 + 14012444825295607/114988686223*e^5 + 280887783267542/114988686223*e^4 - 72932626847882/2804602103*e^3 - 453062841429177/114988686223*e^2 + 121251587356672/114988686223*e + 20750233647970/114988686223, -90368531395/114988686223*e^20 - 527584971089/229977372446*e^19 + 4855611722061/229977372446*e^18 + 13915928300269/229977372446*e^17 - 27300432080368/114988686223*e^16 - 151559644814533/229977372446*e^15 + 335326993350831/229977372446*e^14 + 441657713802938/114988686223*e^13 - 1231226218827329/229977372446*e^12 - 1492627127049243/114988686223*e^11 + 2779471590180071/229977372446*e^10 + 5924353420388635/229977372446*e^9 - 100375761494110/6052036117*e^8 - 351155948651077/12104072234*e^7 + 3009590941307959/229977372446*e^6 + 1953241979887672/114988686223*e^5 - 1181187716884179/229977372446*e^4 - 23742128946601/5609204206*e^3 + 75821633376070/114988686223*e^2 + 31907810615077/114988686223*e - 1241266766573/114988686223, 639329552987/229977372446*e^20 + 2177468892299/229977372446*e^19 - 16150177973183/229977372446*e^18 - 57228162570589/229977372446*e^17 + 166242429619717/229977372446*e^16 + 620914509995169/229977372446*e^15 - 447817299085318/114988686223*e^14 - 1802175595568750/114988686223*e^13 + 1341537725738009/114988686223*e^12 + 6064265684954014/114988686223*e^11 - 4290128823441509/229977372446*e^10 - 23940873586519233/229977372446*e^9 + 149267842975423/12104072234*e^8 + 1406315908183153/12104072234*e^7 + 372222073770129/114988686223*e^6 - 7646137663421453/114988686223*e^5 - 1917345327055343/229977372446*e^4 + 85526541045507/5609204206*e^3 + 358465964867424/114988686223*e^2 - 62589674473957/114988686223*e - 13346857317667/114988686223, -36717342259/5609204206*e^20 - 57346040492/2804602103*e^19 + 477786229305/2804602103*e^18 + 1499440180252/2804602103*e^17 - 10298160428171/5609204206*e^16 - 16149751070632/2804602103*e^15 + 59734502213087/5609204206*e^14 + 92746915331994/2804602103*e^13 - 203106887813137/5609204206*e^12 - 307042193186546/2804602103*e^11 + 206764970202299/2804602103*e^10 + 590424526034595/2804602103*e^9 - 25979443559907/295221274*e^8 - 33150169270606/147610637*e^7 + 317422968378633/5609204206*e^6 + 330872730266139/2804602103*e^5 - 38596030974639/2804602103*e^4 - 62807318142507/2804602103*e^3 - 4996547945176/2804602103*e^2 + 2023466455316/2804602103*e + 272370485454/2804602103, -64926547149/114988686223*e^20 - 102743769042/114988686223*e^19 + 1959184835547/114988686223*e^18 + 2542702982430/114988686223*e^17 - 25361367815993/114988686223*e^16 - 25127829969272/114988686223*e^15 + 183932804270678/114988686223*e^14 + 124906797070802/114988686223*e^13 - 816989068204470/114988686223*e^12 - 313486200973932/114988686223*e^11 + 2275441438538639/114988686223*e^10 + 283980972812820/114988686223*e^9 - 204939658759101/6052036117*e^8 + 16515515882288/6052036117*e^7 + 3812980080110564/114988686223*e^6 - 831791605433041/114988686223*e^5 - 1804549166811635/114988686223*e^4 + 11777772579035/2804602103*e^3 + 252159886629194/114988686223*e^2 - 22424679586042/114988686223*e - 6772657678524/114988686223, -154110628991/114988686223*e^20 - 343338269423/114988686223*e^19 + 8882381293531/229977372446*e^18 + 17943794418975/229977372446*e^17 - 54505141682667/114988686223*e^16 - 96250127125966/114988686223*e^15 + 744825031592593/229977372446*e^14 + 1094136470341977/229977372446*e^13 - 3102385546907073/229977372446*e^12 - 3538394125312937/229977372446*e^11 + 8080664164413885/229977372446*e^10 + 6452100978306411/229977372446*e^9 - 339964741959843/6052036117*e^8 - 158540929994824/6052036117*e^7 + 11818149977346401/229977372446*e^6 + 2033622126280077/229977372446*e^5 - 5219497901604169/229977372446*e^4 + 6350507983203/5609204206*e^3 + 332149685860951/114988686223*e^2 - 20303195273755/114988686223*e - 8983611094377/114988686223, -575208375516/114988686223*e^20 - 1743142564406/114988686223*e^19 + 15156099717271/114988686223*e^18 + 45659086948779/114988686223*e^17 - 166137649988387/114988686223*e^16 - 492855485152785/114988686223*e^15 + 986688740276007/114988686223*e^14 + 2838274689135821/114988686223*e^13 - 3467229823706702/114988686223*e^12 - 9428914700062941/114988686223*e^11 + 7392200020282082/114988686223*e^10 + 18208294051670529/114988686223*e^9 - 495327176675303/6052036117*e^8 - 1027052404314767/6052036117*e^7 + 6656066754350411/114988686223*e^6 + 10280816152839027/114988686223*e^5 - 2029991873207986/114988686223*e^4 - 47341350142483/2804602103*e^3 - 13157671786701/114988686223*e^2 + 62159862214374/114988686223*e + 2981838043216/114988686223, 117238344398/114988686223*e^20 + 303207045563/114988686223*e^19 - 3273184142538/114988686223*e^18 - 7978921373545/114988686223*e^17 + 38747782302965/114988686223*e^16 + 86558008156440/114988686223*e^15 - 254645140989143/114988686223*e^14 - 500960606085309/114988686223*e^13 + 1020236779068363/114988686223*e^12 + 1670599682076116/114988686223*e^11 - 2567639111766456/114988686223*e^10 - 3224821745103148/114988686223*e^9 + 211040908102443/6052036117*e^8 + 179508181595773/6052036117*e^7 - 3658517711927370/114988686223*e^6 - 1706223726656168/114988686223*e^5 + 1682827902258974/114988686223*e^4 + 6646997512154/2804602103*e^3 - 262593007805580/114988686223*e^2 - 19352934347328/114988686223*e + 7688000465850/114988686223, 450473593429/229977372446*e^20 + 860188796568/114988686223*e^19 - 5402901945110/114988686223*e^18 - 22571981629312/114988686223*e^17 + 102395887510209/229977372446*e^16 + 244742275380027/114988686223*e^15 - 475874721146639/229977372446*e^14 - 1422434536333578/114988686223*e^13 + 1025574515802865/229977372446*e^12 + 4809957390677447/114988686223*e^11 - 137217763828259/114988686223*e^10 - 9611370666355833/114988686223*e^9 - 157197035819161/12104072234*e^8 + 580197133369516/6052036117*e^7 + 5396449886910729/229977372446*e^6 - 6691854164607275/114988686223*e^5 - 1788180663997960/114988686223*e^4 + 42536192736592/2804602103*e^3 + 411839208951132/114988686223*e^2 - 84186677367220/114988686223*e - 14486760177186/114988686223, -97648811642/114988686223*e^20 - 423998696790/114988686223*e^19 + 2214615602377/114988686223*e^18 + 11210435163887/114988686223*e^17 - 18823837324839/114988686223*e^16 - 122855806652407/114988686223*e^15 + 66338476969911/114988686223*e^14 + 724891145671556/114988686223*e^13 - 6754092589660/114988686223*e^12 - 2504219584438805/114988686223*e^11 - 673816537155594/114988686223*e^10 + 5158266169400848/114988686223*e^9 + 111002768642117/6052036117*e^8 - 324943042052051/6052036117*e^7 - 2791124438202471/114988686223*e^6 + 3967637527399237/114988686223*e^5 + 1640468715608646/114988686223*e^4 - 26983010025645/2804602103*e^3 - 329838627354483/114988686223*e^2 + 47698429828112/114988686223*e + 11985882181116/114988686223, 386090287662/114988686223*e^20 + 1403744667104/114988686223*e^19 - 9503780349646/114988686223*e^18 - 36912807429924/114988686223*e^17 + 93978371572946/114988686223*e^16 + 400971539084514/114988686223*e^15 - 473229637212798/114988686223*e^14 - 2332838371283166/114988686223*e^13 + 1242832756843058/114988686223*e^12 + 7881833580262852/114988686223*e^11 - 1389715117977593/114988686223*e^10 - 15673168490882532/114988686223*e^9 - 24733203143566/6052036117*e^8 + 933583930260262/6052036117*e^7 + 2589056451005332/114988686223*e^6 - 10441387848388162/114988686223*e^5 - 2140100923999579/114988686223*e^4 + 62221411757076/2804602103*e^3 + 576696186432336/114988686223*e^2 - 113417826171504/114988686223*e - 19354244301394/114988686223, -676223125407/229977372446*e^20 - 1274496487335/114988686223*e^19 + 8129997285172/114988686223*e^18 + 33329889643948/114988686223*e^17 - 154824190555147/229977372446*e^16 - 359686274720374/114988686223*e^15 + 727232321479473/229977372446*e^14 + 2076419669732033/114988686223*e^13 - 1616711009017343/229977372446*e^12 - 6951079962697722/114988686223*e^11 + 333274327666947/114988686223*e^10 + 13672196275904811/114988686223*e^9 + 212248620785763/12104072234*e^8 - 803991173105241/6052036117*e^7 - 7720630308804959/229977372446*e^6 + 8856055682633740/114988686223*e^5 + 2632828502504046/114988686223*e^4 - 51409334360506/2804602103*e^3 - 627434126373764/114988686223*e^2 + 72731246425728/114988686223*e + 19744753639900/114988686223, 22461114666/114988686223*e^20 + 86069197464/114988686223*e^19 - 530069159574/114988686223*e^18 - 2235467512988/114988686223*e^17 + 4885782789823/114988686223*e^16 + 23923266209740/114988686223*e^15 - 21410660000732/114988686223*e^14 - 136612148415588/114988686223*e^13 + 37732513651658/114988686223*e^12 + 450076228956570/114988686223*e^11 + 33085862468199/114988686223*e^10 - 860318942835484/114988686223*e^9 - 13137709485279/6052036117*e^8 + 47471988848494/6052036117*e^7 + 397924783169961/114988686223*e^6 - 439482958840554/114988686223*e^5 - 264573119524170/114988686223*e^4 + 1278437050574/2804602103*e^3 + 61369790537038/114988686223*e^2 + 7530731795060/114988686223*e + 889068275680/114988686223, -20197917447/114988686223*e^20 - 255322737407/114988686223*e^19 - 60910776906/114988686223*e^18 + 6671925882184/114988686223*e^17 + 9547240620191/114988686223*e^16 - 72402716175757/114988686223*e^15 - 129376153909340/114988686223*e^14 + 424997779520281/114988686223*e^13 + 808804018256849/114988686223*e^12 - 1474711993460785/114988686223*e^11 - 2773916971794316/114988686223*e^10 + 3107054486854644/114988686223*e^9 + 283339978525302/6052036117*e^8 - 206757711535591/6052036117*e^7 - 5679736169069056/114988686223*e^6 + 2805739388979609/114988686223*e^5 + 2881742993601323/114988686223*e^4 - 22571432364318/2804602103*e^3 - 504379845612454/114988686223*e^2 + 47396121015936/114988686223*e + 18463257651536/114988686223, -622796538521/229977372446*e^20 - 2452646840411/229977372446*e^19 + 7355678229564/114988686223*e^18 + 64260275437223/229977372446*e^17 - 135789587159373/229977372446*e^16 - 695443907325563/229977372446*e^15 + 597714994408129/229977372446*e^14 + 2016038347053217/114988686223*e^13 - 1082436454734229/229977372446*e^12 - 6794585586754410/114988686223*e^11 - 354162259418386/114988686223*e^10 + 27024038792862767/229977372446*e^9 + 327021846878747/12104072234*e^8 - 1619769055725167/12104072234*e^7 - 9719148343987955/229977372446*e^6 + 9246087126029202/114988686223*e^5 + 3070332865902523/114988686223*e^4 - 115681729717205/5609204206*e^3 - 669950834235030/114988686223*e^2 + 100870822290898/114988686223*e + 20002314113957/114988686223, -484418902531/229977372446*e^20 - 759603889530/114988686223*e^19 + 6295390141016/114988686223*e^18 + 19828054988504/114988686223*e^17 - 135620868756037/229977372446*e^16 - 213073232941464/114988686223*e^15 + 787867344813175/229977372446*e^14 + 1219796234570182/114988686223*e^13 - 2695651295218807/229977372446*e^12 - 4019868636737769/114988686223*e^11 + 2790409423102413/114988686223*e^10 + 7678283689396718/114988686223*e^9 - 364689697838813/12104072234*e^8 - 426746666145189/6052036117*e^7 + 4873560084305263/229977372446*e^6 + 4190143276691247/114988686223*e^5 - 767442934007641/114988686223*e^4 - 18628116753185/2804602103*e^3 + 235950940618/114988686223*e^2 + 17519133551926/114988686223*e + 1427699529726/114988686223, 13217749956/114988686223*e^20 - 137787735271/114988686223*e^19 - 880436671391/114988686223*e^18 + 3632987651584/114988686223*e^17 + 17655303392652/114988686223*e^16 - 40030715017920/114988686223*e^15 - 170559689662781/114988686223*e^14 + 240853812809197/114988686223*e^13 + 919502519176729/114988686223*e^12 - 868732619407184/114988686223*e^11 - 2903387408122613/114988686223*e^10 + 1941168178177463/114988686223*e^9 + 280574965315288/6052036117*e^8 - 140580674981653/6052036117*e^7 - 5352256547224445/114988686223*e^6 + 2127501709789522/114988686223*e^5 + 2522136669531345/114988686223*e^4 - 19147492882544/2804602103*e^3 - 353129757527076/114988686223*e^2 + 34212031025060/114988686223*e + 7215070758834/114988686223, -281511107979/114988686223*e^20 - 945497436165/114988686223*e^19 + 7103769051307/114988686223*e^18 + 24644434972557/114988686223*e^17 - 73254298321822/114988686223*e^16 - 264554455424020/114988686223*e^15 + 398188876715108/114988686223*e^14 + 1514457566856921/114988686223*e^13 - 1225774978258377/114988686223*e^12 - 5001755971042758/114988686223*e^11 + 2125541712303472/114988686223*e^10 + 9620602242621502/114988686223*e^9 - 100604191730230/6052036117*e^8 - 544430050543214/6052036117*e^7 + 637831104830296/114988686223*e^6 + 5601821203535399/114988686223*e^5 + 201919189493040/114988686223*e^4 - 28885852202808/2804602103*e^3 - 180938210840195/114988686223*e^2 + 53914991414280/114988686223*e + 6180163526674/114988686223, 323524469959/229977372446*e^20 + 1204306027643/229977372446*e^19 - 7836991296747/229977372446*e^18 - 31577037188993/229977372446*e^17 + 75409614036767/229977372446*e^16 + 341860988047223/229977372446*e^15 - 180018302807240/114988686223*e^14 - 990665775212211/114988686223*e^13 + 413228007681417/114988686223*e^12 + 3332973205850820/114988686223*e^11 - 423619966966747/229977372446*e^10 - 13196892582291645/229977372446*e^9 - 100515589481487/12104072234*e^8 + 782908641239945/12104072234*e^7 + 1971707323350624/114988686223*e^6 - 4367540618127044/114988686223*e^5 - 2856045456504235/229977372446*e^4 + 52023885599717/5609204206*e^3 + 365580752644570/114988686223*e^2 - 43964317841363/114988686223*e - 14076454611641/114988686223, 372156405555/114988686223*e^20 + 1150324636814/114988686223*e^19 - 9701449332400/114988686223*e^18 - 30001921428363/114988686223*e^17 + 104888104087548/114988686223*e^16 + 322123332669250/114988686223*e^15 - 612153403574313/114988686223*e^14 - 1842850303255217/114988686223*e^13 + 2106221020617738/114988686223*e^12 + 6073530634460558/114988686223*e^11 - 4389206627649289/114988686223*e^10 - 11625056946364957/114988686223*e^9 + 288948538566704/6052036117*e^8 + 650971288508400/6052036117*e^7 - 3897769359237981/114988686223*e^6 - 6546794876153730/114988686223*e^5 + 1263273563468573/114988686223*e^4 + 32002273752427/2804602103*e^3 - 31436306777687/114988686223*e^2 - 58529063536922/114988686223*e - 2128657196504/114988686223, -2987845341/5609204206*e^20 + 524946722/2804602103*e^19 + 54562553255/2804602103*e^18 - 13248643318/2804602103*e^17 - 1647653798531/5609204206*e^16 + 151327006584/2804602103*e^15 + 13441654568741/5609204206*e^14 - 1064373953657/2804602103*e^13 - 64806565395337/5609204206*e^12 + 5085676698788/2804602103*e^11 + 94633088915501/2804602103*e^10 - 16338228688581/2804602103*e^9 - 17299304267409/295221274*e^8 + 1728293808367/147610637*e^7 + 317462240651325/5609204206*e^6 - 36419447055571/2804602103*e^5 - 73035079412518/2804602103*e^4 + 17017953916958/2804602103*e^3 + 10207004066765/2804602103*e^2 - 701592728632/2804602103*e - 218316526588/2804602103, 444181816487/114988686223*e^20 + 1565600215830/114988686223*e^19 - 22086516152189/229977372446*e^18 - 82054907594341/229977372446*e^17 + 111112821519539/114988686223*e^16 + 443696743898122/114988686223*e^15 - 1156451966964011/229977372446*e^14 - 5133107717430899/229977372446*e^13 + 3266845751409713/229977372446*e^12 + 17210712977792585/229977372446*e^11 - 4611372998106289/229977372446*e^10 - 33868866039009615/229977372446*e^9 + 46431014973356/6052036117*e^8 + 994081836984181/6052036117*e^7 + 2795637859636185/229977372446*e^6 - 21778339828819969/229977372446*e^5 - 3219586766058631/229977372446*e^4 + 125769445524109/5609204206*e^3 + 506760225503883/114988686223*e^2 - 106506123921665/114988686223*e - 20106637921871/114988686223, -109713942326/114988686223*e^20 - 409544366408/114988686223*e^19 + 2665383328344/114988686223*e^18 + 10760151805758/114988686223*e^17 - 25804148250695/114988686223*e^16 - 116823019845214/114988686223*e^15 + 124992080685622/114988686223*e^14 + 679697966439789/114988686223*e^13 - 299918284707319/114988686223*e^12 - 2298306595584731/114988686223*e^11 + 222234257545881/114988686223*e^10 + 4577102236199970/114988686223*e^9 + 24141202619697/6052036117*e^8 - 272949350824812/6052036117*e^7 - 1071107990804592/114988686223*e^6 + 3043123949592319/114988686223*e^5 + 768305604118845/114988686223*e^4 - 17830332777505/2804602103*e^3 - 184473049939095/114988686223*e^2 + 31213541413230/114988686223*e + 4426072316788/114988686223, 120439672980/114988686223*e^20 + 375524919511/114988686223*e^19 - 3126053018394/114988686223*e^18 - 9797031332638/114988686223*e^17 + 33537840931052/114988686223*e^16 + 105174060391407/114988686223*e^15 - 193083810600479/114988686223*e^14 - 601117448780783/114988686223*e^13 + 648511122460046/114988686223*e^12 + 1976254402612851/114988686223*e^11 - 1294920352934117/114988686223*e^10 - 3763415879252725/114988686223*e^9 + 79038763315813/6052036117*e^8 + 208669541888688/6052036117*e^7 - 931433642779991/114988686223*e^6 - 2055760642756684/114988686223*e^5 + 220678881923232/114988686223*e^4 + 9312788404715/2804602103*e^3 + 23296197245988/114988686223*e^2 - 4554048171048/114988686223*e + 766886891730/114988686223, -162934892411/114988686223*e^20 - 533096505233/114988686223*e^19 + 4190008526304/114988686223*e^18 + 14052537926261/114988686223*e^17 - 44211115501259/114988686223*e^16 - 152934906356417/114988686223*e^15 + 246812086533758/114988686223*e^14 + 890232453474590/114988686223*e^13 - 780495894531567/114988686223*e^12 - 3000292955908402/114988686223*e^11 + 1369136025787590/114988686223*e^10 + 5911857216591983/114988686223*e^9 - 59592340243016/6052036117*e^8 - 343676267743183/6052036117*e^7 + 52915761318130/114988686223*e^6 + 3616848173978606/114988686223*e^5 + 530869557884433/114988686223*e^4 - 18411080036027/2804602103*e^3 - 259134870845868/114988686223*e^2 + 19499064313564/114988686223*e + 11583483075336/114988686223, 61873473733/114988686223*e^20 + 296646389489/114988686223*e^19 - 1328376151164/114988686223*e^18 - 15771152205647/229977372446*e^17 + 9889979392911/114988686223*e^16 + 86973099027457/114988686223*e^15 - 19084802084752/114988686223*e^14 - 1033991465697361/229977372446*e^13 - 134257428148050/114988686223*e^12 + 3601937605531781/229977372446*e^11 + 911464072080173/114988686223*e^10 - 7485927195924059/229977372446*e^9 - 122389656959381/6052036117*e^8 + 237860145614709/6052036117*e^7 + 2893150401399584/114988686223*e^6 - 5845612039004005/229977372446*e^5 - 1670071939490753/114988686223*e^4 + 39449299502427/5609204206*e^3 + 336619258712091/114988686223*e^2 - 24202171312620/114988686223*e - 11575854889797/114988686223, 666467380288/114988686223*e^20 + 2369768304308/114988686223*e^19 - 16486463943499/114988686223*e^18 - 62033450232667/114988686223*e^17 + 164595934320270/114988686223*e^16 + 669924791856526/114988686223*e^15 - 845612988130841/114988686223*e^14 - 3868015498037259/114988686223*e^13 + 2332167206544428/114988686223*e^12 + 12937048396680959/114988686223*e^11 - 3104247224528509/114988686223*e^10 - 25372606851746575/114988686223*e^9 + 39366313997236/6052036117*e^8 + 1482172714654538/6052036117*e^7 + 2548209455299706/114988686223*e^6 - 16110899716827635/114988686223*e^5 - 2540646714638753/114988686223*e^4 + 91546652766841/2804602103*e^3 + 751205284932608/114988686223*e^2 - 145593827984772/114988686223*e - 22601320525020/114988686223, -46845863493/229977372446*e^20 + 5836806847/114988686223*e^19 + 834684171318/114988686223*e^18 - 228447650354/114988686223*e^17 - 25069532949481/229977372446*e^16 + 3663697494985/114988686223*e^15 + 206558650007105/229977372446*e^14 - 31499748789345/114988686223*e^13 - 1018734550486439/229977372446*e^12 + 159204833330735/114988686223*e^11 + 1539094762357388/114988686223*e^10 - 486334308486363/114988686223*e^9 - 294539174106201/12104072234*e^8 + 46395129201371/6052036117*e^7 + 5749810180329823/229977372446*e^6 - 873421557377534/114988686223*e^5 - 1454180714826395/114988686223*e^4 + 9084224245369/2804602103*e^3 + 257582625145014/114988686223*e^2 - 17071081102964/114988686223*e - 10816029040470/114988686223, 288070880759/229977372446*e^20 + 498021343629/114988686223*e^19 - 3659203780399/114988686223*e^18 - 13209124175026/114988686223*e^17 + 75940839311381/229977372446*e^16 + 145016415289977/114988686223*e^15 - 414064710933411/229977372446*e^14 - 854695620921060/114988686223*e^13 + 1264425563652475/229977372446*e^12 + 2932307876946141/114988686223*e^11 - 1046935344621312/114988686223*e^10 - 5928882949859530/114988686223*e^9 + 80066965454785/12104072234*e^8 + 357925833084176/6052036117*e^7 + 187053496511805/229977372446*e^6 - 3983531278504833/114988686223*e^5 - 445502977421275/114988686223*e^4 + 22223455830938/2804602103*e^3 + 190804531877876/114988686223*e^2 - 28526108678198/114988686223*e - 6658849181548/114988686223, -7849581104/114988686223*e^20 - 31495630146/114988686223*e^19 + 190274279428/114988686223*e^18 + 884867386228/114988686223*e^17 - 1722332578359/114988686223*e^16 - 10382442542986/114988686223*e^15 + 6225508577146/114988686223*e^14 + 66147938799874/114988686223*e^13 + 3071568912076/114988686223*e^12 - 249096484513556/114988686223*e^11 - 98225650407721/114988686223*e^10 + 564752577931672/114988686223*e^9 + 17054817168254/6052036117*e^8 - 39406294168998/6052036117*e^7 - 480896989218296/114988686223*e^6 + 532226008226606/114988686223*e^5 + 340353735889933/114988686223*e^4 - 4156234063466/2804602103*e^3 - 99367888212931/114988686223*e^2 + 18021461664644/114988686223*e + 6516951349662/114988686223, 11875813374/6052036117*e^20 + 30295342924/6052036117*e^19 - 329473197245/6052036117*e^18 - 790117824601/6052036117*e^17 + 3867353796336/6052036117*e^16 + 8474069968543/6052036117*e^15 - 25126217148455/6052036117*e^14 - 48323814556272/6052036117*e^13 + 99120261681135/6052036117*e^12 + 157998526086473/6052036117*e^11 - 244265938111649/6052036117*e^10 - 296524292989678/6052036117*e^9 + 370447090398544/6052036117*e^8 + 299512961948607/6052036117*e^7 - 323066664064957/6052036117*e^6 - 135563515945359/6052036117*e^5 + 135684227169303/6052036117*e^4 + 334356424401/147610637*e^3 - 15166936020532/6052036117*e^2 - 356967141938/6052036117*e + 224505787584/6052036117, -277807850211/229977372446*e^20 - 473101889498/114988686223*e^19 + 3520821609095/114988686223*e^18 + 24907357914763/229977372446*e^17 - 72892959090397/229977372446*e^16 - 135398790523083/114988686223*e^15 + 396335356475859/229977372446*e^14 + 1575902767059573/229977372446*e^13 - 1204707314574743/229977372446*e^12 - 5316580717728841/229977372446*e^11 + 983864546522793/114988686223*e^10 + 10508508234615857/229977372446*e^9 - 69611544120721/12104072234*e^8 - 307414490944585/6052036117*e^7 - 460281532310761/229977372446*e^6 + 6545420002184357/229977372446*e^5 + 574555114374483/114988686223*e^4 - 34054177008111/5609204206*e^3 - 243716814271747/114988686223*e^2 + 22400707082184/114988686223*e + 8681969918723/114988686223, -1659433109525/229977372446*e^20 - 2709441989002/114988686223*e^19 + 21209031622173/114988686223*e^18 + 70744600490443/114988686223*e^17 - 445732655317249/229977372446*e^16 - 761052249563968/114988686223*e^15 + 2492937266013681/229977372446*e^14 + 4368196221773069/114988686223*e^13 - 8029415669116259/229977372446*e^12 - 14474376148150659/114988686223*e^11 + 7519865827406261/114988686223*e^10 + 27956451719072946/114988686223*e^9 - 826495844596363/12104072234*e^8 - 1590260393169278/6052036117*e^7 + 7972336065798761/229977372446*e^6 + 16459297290373170/114988686223*e^5 - 387054471825747/114988686223*e^4 - 84996758924456/2804602103*e^3 - 343149215251880/114988686223*e^2 + 134338339684484/114988686223*e + 14886326359458/114988686223, 932711751531/229977372446*e^20 + 1397872175696/114988686223*e^19 - 12355059002389/114988686223*e^18 - 36663603109275/114988686223*e^17 + 272862254936739/229977372446*e^16 + 396299549323082/114988686223*e^15 - 1636980458573905/229977372446*e^14 - 2285239267057815/114988686223*e^13 + 5834757998958875/229977372446*e^12 + 7599866630642239/114988686223*e^11 - 6348461354240505/114988686223*e^10 - 14683362383224032/114988686223*e^9 + 876583291520501/12104072234*e^8 + 827562075775602/6052036117*e^7 - 12322034779299747/229977372446*e^6 - 8251629950310306/114988686223*e^5 + 2050458508110305/114988686223*e^4 + 37515538135830/2804602103*e^3 - 56408643882070/114988686223*e^2 - 54443291086436/114988686223*e - 3356611647634/114988686223, -611212165444/114988686223*e^20 - 1861216123005/114988686223*e^19 + 16057945627926/114988686223*e^18 + 48687009865862/114988686223*e^17 - 175331263190318/114988686223*e^16 - 524547452980845/114988686223*e^15 + 1035845502664538/114988686223*e^14 + 3012590051783586/114988686223*e^13 - 3615687348351850/114988686223*e^12 - 9968696130387225/114988686223*e^11 + 7648748187771196/114988686223*e^10 + 19140850006352145/114988686223*e^9 - 508780813783770/6052036117*e^8 - 1070733280756602/6052036117*e^7 + 6816892200265524/114988686223*e^6 + 10589415372286254/114988686223*e^5 - 2095959759335590/114988686223*e^4 - 47684845565014/2804602103*e^3 - 2072596808608/114988686223*e^2 + 58801176676500/114988686223*e + 453490821388/114988686223, 516731689741/229977372446*e^20 + 792736263814/114988686223*e^19 - 6737689982601/114988686223*e^18 - 20622148459622/114988686223*e^17 + 145898518060357/229977372446*e^16 + 220748205415876/114988686223*e^15 - 854181111250037/229977372446*e^14 - 1258336552872524/114988686223*e^13 + 2955737667901209/229977372446*e^12 + 4127721456910930/114988686223*e^11 - 3107094230281542/114988686223*e^10 - 7843326516170387/114988686223*e^9 + 413478332061939/12104072234*e^8 + 432808521039476/6052036117*e^7 - 5597335283697471/229977372446*e^6 - 4187173191757095/114988686223*e^5 + 863626312127363/114988686223*e^4 + 17791324322269/2804602103*e^3 + 22306389607145/114988686223*e^2 - 18459304383574/114988686223*e - 5041642478746/114988686223, 533007169504/114988686223*e^20 + 1647353271638/114988686223*e^19 - 13887917607941/114988686223*e^18 - 85892570316547/229977372446*e^17 + 149998386439215/114988686223*e^16 + 460710791741416/114988686223*e^15 - 873535600179026/114988686223*e^14 - 5262514478782479/229977372446*e^13 + 2991411639797779/114988686223*e^12 + 17284029468287847/229977372446*e^11 - 6168361619732924/114988686223*e^10 - 32836430044352543/229977372446*e^9 + 396288648210694/6052036117*e^8 + 903339903318698/6052036117*e^7 - 5037778274475630/114988686223*e^6 - 17328802601885211/229977372446*e^5 + 1348140383425037/114988686223*e^4 + 71579942341081/5609204206*e^3 + 113362342075087/114988686223*e^2 - 28921395340298/114988686223*e - 5604271844975/114988686223, -594212073268/114988686223*e^20 - 2037670925190/114988686223*e^19 + 14908687093412/114988686223*e^18 + 53321641682564/114988686223*e^17 - 152120859364095/114988686223*e^16 - 575520079481594/114988686223*e^15 + 809925422169974/114988686223*e^14 + 3319923093224464/114988686223*e^13 - 2384643774619177/114988686223*e^12 - 11086616628358148/114988686223*e^11 + 3696602766888741/114988686223*e^10 + 21679966129887388/114988686223*e^9 - 116552449878035/6052036117*e^8 - 1258776223651872/6052036117*e^7 - 1002879911151251/114988686223*e^6 + 13495110582010004/114988686223*e^5 + 1893640310303803/114988686223*e^4 - 74114359047228/2804602103*e^3 - 690289969650890/114988686223*e^2 + 106044210061616/114988686223*e + 22948293601190/114988686223, -682835711097/229977372446*e^20 - 1967767033561/229977372446*e^19 + 9136562252809/114988686223*e^18 + 25728646015897/114988686223*e^17 - 204582372302385/229977372446*e^16 - 553968644248399/229977372446*e^15 + 1250622502522847/229977372446*e^14 + 3176626346932035/229977372446*e^13 - 4571494776129685/229977372446*e^12 - 10479003582684017/229977372446*e^11 + 5140121470691158/114988686223*e^10 + 9995422518726554/114988686223*e^9 - 739055533775909/12104072234*e^8 - 1101935270622369/12104072234*e^7 + 10880646868589611/229977372446*e^6 + 10496983568380275/229977372446*e^5 - 1919499653624659/114988686223*e^4 - 21071595377557/2804602103*e^3 + 84159833064305/114988686223*e^2 + 27681404648596/114988686223*e + 1089349536398/114988686223, 6442078689/114988686223*e^20 + 153528463595/114988686223*e^19 + 181103642195/114988686223*e^18 - 8416793171109/229977372446*e^17 - 7395891143165/114988686223*e^16 + 48345261821768/114988686223*e^15 + 89592173268491/114988686223*e^14 - 606475443568017/229977372446*e^13 - 544653095423603/114988686223*e^12 + 2267405978309079/229977372446*e^11 + 1865415950631671/114988686223*e^10 - 5172543540263457/229977372446*e^9 - 192586600125133/6052036117*e^8 + 185801823906438/6052036117*e^7 + 3911059100990768/114988686223*e^6 - 5354170826075421/229977372446*e^5 - 1966474697227699/114988686223*e^4 + 44569875609855/5609204206*e^3 + 297947986115193/114988686223*e^2 - 48281448763958/114988686223*e - 7138644844557/114988686223, 312956392591/229977372446*e^20 + 614181675038/114988686223*e^19 - 3686134774525/114988686223*e^18 - 16057103365138/114988686223*e^17 + 67685978150285/229977372446*e^16 + 173273390049483/114988686223*e^15 - 294341093237339/229977372446*e^14 - 1000700944145878/114988686223*e^13 + 510161703195471/229977372446*e^12 + 3354599724691760/114988686223*e^11 + 228582503322027/114988686223*e^10 - 6620251838099656/114988686223*e^9 - 172256299702217/12104072234*e^8 + 392179200998111/6052036117*e^7 + 4966332982110997/229977372446*e^6 - 4388726348536658/114988686223*e^5 - 1539398802607854/114988686223*e^4 + 26387959798516/2804602103*e^3 + 331600750035267/114988686223*e^2 - 42660445963664/114988686223*e - 7065147796016/114988686223, 57529804376/114988686223*e^20 - 32646528917/114988686223*e^19 - 2131137155973/114988686223*e^18 + 907629497534/114988686223*e^17 + 32693791661764/114988686223*e^16 - 11001999521398/114988686223*e^15 - 271565657934541/114988686223*e^14 + 76577424365321/114988686223*e^13 + 1336524160341585/114988686223*e^12 - 336186664853250/114988686223*e^11 - 3998030555590339/114988686223*e^10 + 951900493834876/114988686223*e^9 + 376312928389728/6052036117*e^8 - 88761899767323/6052036117*e^7 - 7186638254547525/114988686223*e^6 + 1696193546848501/114988686223*e^5 + 3536267316697945/114988686223*e^4 - 18385230090014/2804602103*e^3 - 597560601129426/114988686223*e^2 + 41543839084058/114988686223*e + 19890159344310/114988686223, 125990526795/114988686223*e^20 + 330943817962/114988686223*e^19 - 3485106944338/114988686223*e^18 - 8690674337190/114988686223*e^17 + 40709982344266/114988686223*e^16 + 93922755405054/114988686223*e^15 - 262788975016437/114988686223*e^14 - 540129169754036/114988686223*e^13 + 1030106351660444/114988686223*e^12 + 1782835276053407/114988686223*e^11 - 2533558614065494/114988686223*e^10 - 3386390817276110/114988686223*e^9 + 204350670843952/6052036117*e^8 + 183735738716986/6052036117*e^7 - 3508169616236885/114988686223*e^6 - 1671362686864048/114988686223*e^5 + 1600219116000353/114988686223*e^4 + 5843558835979/2804602103*e^3 - 230830250456284/114988686223*e^2 - 18459245991594/114988686223*e + 4537979400840/114988686223, -397976907535/229977372446*e^20 - 829689681013/229977372446*e^19 + 5780897869312/114988686223*e^18 + 10765735745888/114988686223*e^17 - 143058142570631/229977372446*e^16 - 228763360456515/229977372446*e^15 + 985148529544669/229977372446*e^14 + 1282768906824887/229977372446*e^13 - 4133100292214417/229977372446*e^12 - 4070283029128667/229977372446*e^11 + 5419680020880900/114988686223*e^10 + 3611146991041652/114988686223*e^9 - 919151637909809/12104072234*e^8 - 340419072740021/12104072234*e^7 + 16165179986522975/229977372446*e^6 + 2001769469720945/229977372446*e^5 - 3659327387856545/114988686223*e^4 + 3892419802450/2804602103*e^3 + 513961528562851/114988686223*e^2 - 11557621370596/114988686223*e - 13390608403500/114988686223, -12967803765/229977372446*e^20 - 238881760621/229977372446*e^19 - 246546508723/229977372446*e^18 + 6310910020975/229977372446*e^17 + 11617716582249/229977372446*e^16 - 69238926690507/229977372446*e^15 - 71350286901652/114988686223*e^14 + 205201525798402/114988686223*e^13 + 431406061531926/114988686223*e^12 - 717035790293378/114988686223*e^11 - 2909042230818063/229977372446*e^10 + 3032282340487369/229977372446*e^9 + 292732835831909/12104072234*e^8 - 202437811818259/12104072234*e^7 - 2862544578928467/114988686223*e^6 + 1393016459792364/114988686223*e^5 + 2732037205886883/229977372446*e^4 - 23302648294285/5609204206*e^3 - 190085313792564/114988686223*e^2 + 26039358816239/114988686223*e + 3028830662253/114988686223, -160481992150/114988686223*e^20 - 401065754521/114988686223*e^19 + 8922212280217/229977372446*e^18 + 20720894222575/229977372446*e^17 - 52569190263662/114988686223*e^16 - 109423844622679/114988686223*e^15 + 688213398529991/229977372446*e^14 + 1216810710566727/229977372446*e^13 - 2752447300415215/229977372446*e^12 - 3809352019652709/229977372446*e^11 + 6946068880504319/229977372446*e^10 + 6597654073775015/229977372446*e^9 - 288013227449058/6052036117*e^8 - 147376550664269/6052036117*e^7 + 10097457034468219/229977372446*e^6 + 1378174109367513/229977372446*e^5 - 4584869697159693/229977372446*e^4 + 12514893930677/5609204206*e^3 + 302886943729875/114988686223*e^2 - 25385442375441/114988686223*e - 8686526026947/114988686223, 678106304031/229977372446*e^20 + 1217146541093/114988686223*e^19 - 8364981701841/114988686223*e^18 - 63810579584175/229977372446*e^17 + 166187729658421/229977372446*e^16 + 345134440469178/114988686223*e^15 - 844862308344877/229977372446*e^14 - 3993445154293535/229977372446*e^13 + 2270623832529985/229977372446*e^12 + 13388069886821349/229977372446*e^11 - 1379756540241850/114988686223*e^10 - 26329762457107937/229977372446*e^9 - 9031029679713/12104072234*e^8 + 771540564271867/6052036117*e^7 + 3842916870864997/229977372446*e^6 - 16835631082602221/229977372446*e^5 - 1716919958476541/114988686223*e^4 + 95858221527885/5609204206*e^3 + 490898809740709/114988686223*e^2 - 68010137850298/114988686223*e - 16653986730197/114988686223, 142190541387/114988686223*e^20 + 481735659933/114988686223*e^19 - 3601373029753/114988686223*e^18 - 12647618592763/114988686223*e^17 + 37284482523617/114988686223*e^16 + 137033914631860/114988686223*e^15 - 203522400085950/114988686223*e^14 - 794087797469298/114988686223*e^13 + 629722440961330/114988686223*e^12 + 2667001139843812/114988686223*e^11 - 1102884750858567/114988686223*e^10 - 5258052744393974/114988686223*e^9 + 54163315372349/6052036117*e^8 + 309604687173265/6052036117*e^7 - 435708434389960/114988686223*e^6 - 3419493356542537/114988686223*e^5 + 21377040335277/114988686223*e^4 + 20364009976916/2804602103*e^3 + 37466628997528/114988686223*e^2 - 44208570304844/114988686223*e - 1672872342552/114988686223, 135847839058/114988686223*e^20 + 447106345798/114988686223*e^19 - 3475833354140/114988686223*e^18 - 11763188821981/114988686223*e^17 + 36454121489712/114988686223*e^16 + 127824018365376/114988686223*e^15 - 202256495467812/114988686223*e^14 - 743866003893655/114988686223*e^13 + 638153265898010/114988686223*e^12 + 2514356425431184/114988686223*e^11 - 1140213735338076/114988686223*e^10 - 5006285092336492/114988686223*e^9 + 56275835324276/6052036117*e^8 + 299289116503397/6052036117*e^7 - 412479496594900/114988686223*e^6 - 3377771398930265/114988686223*e^5 - 17505919254702/114988686223*e^4 + 20480949695912/2804602103*e^3 + 29318942104388/114988686223*e^2 - 32066462165478/114988686223*e + 1803917556034/114988686223, -9149475431/12104072234*e^20 - 12141885199/6052036117*e^19 + 124043277644/6052036117*e^18 + 313342930184/6052036117*e^17 - 2826335730567/12104072234*e^16 - 3311936898863/6052036117*e^15 + 17676825814709/12104072234*e^14 + 18502605337358/6052036117*e^13 - 66544203726531/12104072234*e^12 - 58741947886419/6052036117*e^11 + 77607384734895/6052036117*e^10 + 105596212723076/6052036117*e^9 - 221166666795519/12104072234*e^8 - 99964777179925/6052036117*e^7 + 178728607935237/12104072234*e^6 + 40872938316254/6052036117*e^5 - 32415848332264/6052036117*e^4 - 82063887344/147610637*e^3 + 1150677358234/6052036117*e^2 + 321556772446/6052036117*e + 140648257780/6052036117, 900876345133/114988686223*e^20 + 3107146781031/114988686223*e^19 - 22593584818929/114988686223*e^18 - 81415160352460/114988686223*e^17 + 230396669616810/114988686223*e^16 + 880210362110001/114988686223*e^15 - 1225745979135979/114988686223*e^14 - 5088310626848926/114988686223*e^13 + 3606528696342231/114988686223*e^12 + 17038338835365153/114988686223*e^11 - 5596222378742054/114988686223*e^10 - 33438694226193152/114988686223*e^9 + 179326481458653/6052036117*e^8 + 1951205231991427/6052036117*e^7 + 1355966911207482/114988686223*e^6 - 21076984706696402/114988686223*e^5 - 2689866910406997/114988686223*e^4 + 117535515842872/2804602103*e^3 + 980551074276668/114988686223*e^2 - 180948997836126/114988686223*e - 34555356384978/114988686223, -99412821097/114988686223*e^20 - 67237458501/114988686223*e^19 + 3299979373640/114988686223*e^18 + 1648318077751/114988686223*e^17 - 46491403906032/114988686223*e^16 - 15532165842425/114988686223*e^15 + 361742156582078/114988686223*e^14 + 66494703163226/114988686223*e^13 - 1695003916587895/114988686223*e^12 - 87417574847390/114988686223*e^11 + 4891598183760886/114988686223*e^10 - 294904776137720/114988686223*e^9 - 448640120351259/6052036117*e^8 + 66700421876966/6052036117*e^7 + 8383008919705405/114988686223*e^6 - 1733093818165859/114988686223*e^5 - 3982382565624900/114988686223*e^4 + 20727468683854/2804602103*e^3 + 594212221991182/114988686223*e^2 - 32271299020428/114988686223*e - 16428211316250/114988686223, -23000370011/229977372446*e^20 - 81283029547/229977372446*e^19 + 277839682131/114988686223*e^18 + 1027132588798/114988686223*e^17 - 5449227760153/229977372446*e^16 - 21118234402511/229977372446*e^15 + 28456699055823/229977372446*e^14 + 113543149547951/229977372446*e^13 - 90773827947839/229977372446*e^12 - 341168864521495/229977372446*e^11 + 104882899987413/114988686223*e^10 + 282449155765666/114988686223*e^9 - 21545630657865/12104072234*e^8 - 24780881763193/12104072234*e^7 + 586658881895413/229977372446*e^6 + 153147201670217/229977372446*e^5 - 212904861299055/114988686223*e^4 + 130603419141/2804602103*e^3 + 51281816057827/114988686223*e^2 - 5256992197228/114988686223*e - 4614126232812/114988686223, -122722262297/114988686223*e^20 - 339411138563/114988686223*e^19 + 3340355511723/114988686223*e^18 + 8912437640627/114988686223*e^17 - 38219002505842/114988686223*e^16 - 96416392573379/114988686223*e^15 + 240172577374742/114988686223*e^14 + 556106962650897/114988686223*e^13 - 908838672522241/114988686223*e^12 - 1847607419932981/114988686223*e^11 + 2132647749577054/114988686223*e^10 + 3557159417805561/114988686223*e^9 - 161434033403934/6052036117*e^8 - 198565008988961/6052036117*e^7 + 2540578628334878/114988686223*e^6 + 1928024432786284/114988686223*e^5 - 1018260961400718/114988686223*e^4 - 8095098169691/2804602103*e^3 + 107256554743545/114988686223*e^2 + 14754138735602/114988686223*e - 3649968140756/114988686223, -232976583/5609204206*e^20 - 8710015501/5609204206*e^19 - 18505626315/5609204206*e^18 + 229933482879/5609204206*e^17 + 579875263595/5609204206*e^16 - 2531492379709/5609204206*e^15 - 3303256870645/2804602103*e^14 + 7585516043317/2804602103*e^13 + 19533442996380/2804602103*e^12 - 27121852567370/2804602103*e^11 - 131799720928879/5609204206*e^10 + 119290828011161/5609204206*e^9 + 13508036180105/295221274*e^8 - 8417275665573/295221274*e^7 - 137569866563290/2804602103*e^6 + 61411547393049/2804602103*e^5 + 142860734731903/5609204206*e^4 - 43892449588677/5609204206*e^3 - 12815081305482/2804602103*e^2 + 1207008006727/2804602103*e + 478159118297/2804602103, 807101150711/114988686223*e^20 + 2501128106316/114988686223*e^19 - 21051799460239/114988686223*e^18 - 65336218755477/114988686223*e^17 + 227654866989282/114988686223*e^16 + 702801692589594/114988686223*e^15 - 1327655734101551/114988686223*e^14 - 4028932170914815/114988686223*e^13 + 4553543631578254/114988686223*e^12 + 13304178155195291/114988686223*e^11 - 9404748120991973/114988686223*e^10 - 25489818751297651/114988686223*e^9 + 605486519207431/6052036117*e^8 + 1423601307150114/6052036117*e^7 - 7743191148762140/114988686223*e^6 - 14106279267920453/114988686223*e^5 + 2145438085721240/114988686223*e^4 + 64902866774509/2804602103*e^3 + 126687426661873/114988686223*e^2 - 98560730125782/114988686223*e - 10600288104784/114988686223, 643713192092/114988686223*e^20 + 1871530875602/114988686223*e^19 - 17166262625259/114988686223*e^18 - 48921429986326/114988686223*e^17 + 191279302628219/114988686223*e^16 + 526458981910692/114988686223*e^15 - 1161659206750096/114988686223*e^14 - 3017850007950304/114988686223*e^13 + 4207740695172257/114988686223*e^12 + 9954046086801866/114988686223*e^11 - 9343122746497255/114988686223*e^10 - 18999828378992646/114988686223*e^9 + 660274999291491/6052036117*e^8 + 1050001805730852/6052036117*e^7 - 9512641979893947/114988686223*e^6 - 10095871349839822/114988686223*e^5 + 3273124357322173/114988686223*e^4 + 42209653659088/2804602103*e^3 - 134675734927981/114988686223*e^2 - 66860202456680/114988686223*e - 3502559380018/114988686223, -71079667445/114988686223*e^20 - 161483222162/114988686223*e^19 + 1992959537627/114988686223*e^18 + 4120092734459/114988686223*e^17 - 23608723269588/114988686223*e^16 - 42680737841356/114988686223*e^15 + 154325618498451/114988686223*e^14 + 230103819323864/114988686223*e^13 - 609563158594541/114988686223*e^12 - 684255474509245/114988686223*e^11 + 1494473788487019/114988686223*e^10 + 1077247378934968/114988686223*e^9 - 117737782351697/6052036117*e^8 - 38068624208749/6052036117*e^7 + 1901513346554846/114988686223*e^6 - 24019601489871/114988686223*e^5 - 750945355416690/114988686223*e^4 + 4131699627550/2804602103*e^3 + 62753687068128/114988686223*e^2 - 25920444988/114988686223*e + 269364496524/114988686223, 12256834290/2804602103*e^20 + 41369639408/2804602103*e^19 - 309965131061/2804602103*e^18 - 1083523449738/2804602103*e^17 + 3200805154183/2804602103*e^16 + 11704631920747/2804602103*e^15 - 17372940641719/2804602103*e^14 - 67557867994478/2804602103*e^13 + 52924534921426/2804602103*e^12 + 225578244118454/2804602103*e^11 - 88192328716038/2804602103*e^10 - 440341998790394/2804602103*e^9 + 3548280426731/147610637*e^8 + 25422336515420/147610637*e^7 - 422853594659/2804602103*e^6 - 268445937071128/2804602103*e^5 - 29879387877540/2804602103*e^4 + 58190657825159/2804602103*e^3 + 13295006424791/2804602103*e^2 - 2071888814408/2804602103*e - 414282561496/2804602103, -124255813779/229977372446*e^20 - 328971045835/114988686223*e^19 + 1212356802624/114988686223*e^18 + 8651095103197/114988686223*e^17 - 13751892295029/229977372446*e^16 - 94339070594900/114988686223*e^15 - 24053331099555/229977372446*e^14 + 554853814559420/114988686223*e^13 + 601389494655011/229977372446*e^12 - 1919227133003924/114988686223*e^11 - 1403336699945267/114988686223*e^10 + 3997453072376236/114988686223*e^9 + 326772656101775/12104072234*e^8 - 259798958177499/6052036117*e^7 - 6913005385343387/229977372446*e^6 + 3396276517805405/114988686223*e^5 + 1745662528398813/114988686223*e^4 - 26237219272035/2804602103*e^3 - 269773926486838/114988686223*e^2 + 61554986262422/114988686223*e + 6318542141164/114988686223, 1374032325995/229977372446*e^20 + 2357676201194/114988686223*e^19 - 17271343828192/114988686223*e^18 - 61817256091316/114988686223*e^17 + 353437031513417/229977372446*e^16 + 668893700257050/114988686223*e^15 - 1889751548137145/229977372446*e^14 - 3871024726756476/114988686223*e^13 + 5605291938463119/229977372446*e^12 + 12981092691343960/114988686223*e^11 - 4417777211056373/114988686223*e^10 - 25522583663010723/114988686223*e^9 + 298375762733365/12104072234*e^8 + 1492115317229558/6052036117*e^7 + 1693239761457657/229977372446*e^6 - 16128102795590745/114988686223*e^5 - 1991716800561112/114988686223*e^4 + 89704590733583/2804602103*e^3 + 749322993001785/114988686223*e^2 - 148434942961766/114988686223*e - 26625878226102/114988686223, 134067722668/114988686223*e^20 + 102611374419/114988686223*e^19 - 4414577192377/114988686223*e^18 - 2553848265724/114988686223*e^17 + 61733115467821/114988686223*e^16 + 24875946217549/114988686223*e^15 - 476897515347293/114988686223*e^14 - 115767960729401/114988686223*e^13 + 2217875125703814/114988686223*e^12 + 223048343527983/114988686223*e^11 - 6345508791599911/114988686223*e^10 + 139818767363520/114988686223*e^9 + 575740535202820/6052036117*e^8 - 70934674905147/6052036117*e^7 - 10605545961459621/114988686223*e^6 + 2093043876797851/114988686223*e^5 + 4936784810672578/114988686223*e^4 - 26883208709122/2804602103*e^3 - 703036781740543/114988686223*e^2 + 55499180533508/114988686223*e + 16699419385146/114988686223, 458515428389/114988686223*e^20 + 1254762216558/114988686223*e^19 - 12419086450701/114988686223*e^18 - 32603389792059/114988686223*e^17 + 141411125502574/114988686223*e^16 + 347804378963400/114988686223*e^15 - 885118994145854/114988686223*e^14 - 1967736140067573/114988686223*e^13 + 3343194061189595/114988686223*e^12 + 6357833109912577/114988686223*e^11 - 7861911855801324/114988686223*e^10 - 11720908803024087/114988686223*e^9 + 599991935982832/6052036117*e^8 + 606594889301452/6052036117*e^7 - 9572164954206261/114988686223*e^6 - 5002722407697429/114988686223*e^5 + 3864696682552611/114988686223*e^4 + 10557557223631/2804602103*e^3 - 382585932543985/114988686223*e^2 + 9680849425986/114988686223*e + 9418415290248/114988686223, 1633618923437/229977372446*e^20 + 2807236746847/114988686223*e^19 - 40917536487861/229977372446*e^18 - 146782342306479/229977372446*e^17 + 416529837818449/229977372446*e^16 + 791099472550885/114988686223*e^15 - 1105388080399606/114988686223*e^14 - 9109915678950139/229977372446*e^13 + 3242101789767658/114988686223*e^12 + 30339595801266753/229977372446*e^11 - 10022984623160759/229977372446*e^10 - 59098089979584369/229977372446*e^9 + 320957565830591/12104072234*e^8 + 1706354621835604/6052036117*e^7 + 1162401562117843/114988686223*e^6 - 36352857728258675/229977372446*e^5 - 4705770142401067/229977372446*e^4 + 199546819890089/5609204206*e^3 + 879812797371569/114988686223*e^2 - 166334239114427/114988686223*e - 32480299009725/114988686223, -110421066841/114988686223*e^20 - 1062560246961/229977372446*e^19 + 2271607516438/114988686223*e^18 + 13752489802460/114988686223*e^17 - 15461046038223/114988686223*e^16 - 293250888325697/229977372446*e^15 + 15876491728388/114988686223*e^14 + 1669144360011379/229977372446*e^13 + 304870537815859/114988686223*e^12 - 5501431683247991/229977372446*e^11 - 1677087716876168/114988686223*e^10 + 5334807554391813/114988686223*e^9 + 201973575884965/6052036117*e^8 - 625775286609501/12104072234*e^7 - 4274822003749180/114988686223*e^6 + 7149401400251833/229977372446*e^5 + 2163553545930632/114988686223*e^4 - 23555118024276/2804602103*e^3 - 360925292977831/114988686223*e^2 + 42202470423462/114988686223*e + 7726038416178/114988686223, -278166314265/229977372446*e^20 - 630685964941/114988686223*e^19 + 3070396634873/114988686223*e^18 + 16661003799168/114988686223*e^17 - 49282224599387/229977372446*e^16 - 182468813100347/114988686223*e^15 + 142789955124945/229977372446*e^14 + 1076302987029449/114988686223*e^13 + 242533593429081/229977372446*e^12 - 3719253089771445/114988686223*e^11 - 1386554977616403/114988686223*e^10 + 7670120246592041/114988686223*e^9 + 400886290941697/12104072234*e^8 - 484466401101349/6052036117*e^7 - 9610082200131605/229977372446*e^6 + 5948234487562268/114988686223*e^5 + 2740957829781406/114988686223*e^4 - 41012528794455/2804602103*e^3 - 529084152558605/114988686223*e^2 + 78337682958582/114988686223*e + 15914727651330/114988686223, 1039769359117/229977372446*e^20 + 1919200467209/114988686223*e^19 - 12711744036947/114988686223*e^18 - 50487519667900/114988686223*e^17 + 248598506346933/229977372446*e^16 + 548850740629082/114988686223*e^15 - 1225584923343225/229977372446*e^14 - 3197485127482363/114988686223*e^13 + 3061940594170735/229977372446*e^12 + 10827251391707168/114988686223*e^11 - 1387936222520268/114988686223*e^10 - 21606893871947878/114988686223*e^9 - 167722071021765/12104072234*e^8 + 1294091703556953/6052036117*e^7 + 9104534622635975/229977372446*e^6 - 14587830484438779/114988686223*e^5 - 3460817082013393/114988686223*e^4 + 87736099010200/2804602103*e^3 + 886566703741224/114988686223*e^2 - 150389820723076/114988686223*e - 29088151208270/114988686223]; heckeEigenvalues := AssociativeArray(); for i := 1 to #heckeEigenvaluesArray do heckeEigenvalues[primes[i]] := heckeEigenvaluesArray[i]; end for; ALEigenvalues := AssociativeArray(); ALEigenvalues[ideal] := -1; // EXAMPLE: // pp := Factorization(2*ZF)[1][1]; // heckeEigenvalues[pp]; print "To reconstruct the Hilbert newform f, type f, iso := Explode(make_newform());"; function make_newform(); M := HilbertCuspForms(F, NN); S := NewSubspace(M); // SetVerbose("ModFrmHil", 1); NFD := NewformDecomposition(S); newforms := [* Eigenform(U) : U in NFD *]; if #newforms eq 0 then; print "No Hilbert newforms at this level"; return 0; end if; print "Testing ", #newforms, " possible newforms"; newforms := [* f: f in newforms | IsIsomorphic(BaseField(f), K) *]; print #newforms, " newforms have the correct Hecke field"; if #newforms eq 0 then; print "No Hilbert newform found with the correct Hecke field"; return 0; end if; autos := Automorphisms(K); xnewforms := [* *]; for f in newforms do; if K eq RationalField() then; Append(~xnewforms, [* f, autos[1] *]); else; flag, iso := IsIsomorphic(K,BaseField(f)); for a in autos do; Append(~xnewforms, [* f, a*iso *]); end for; end if; end for; newforms := xnewforms; for P in primes do; xnewforms := [* *]; for f_iso in newforms do; f, iso := Explode(f_iso); if HeckeEigenvalue(f,P) eq iso(heckeEigenvalues[P]) then; Append(~xnewforms, f_iso); end if; end for; newforms := xnewforms; if #newforms eq 0 then; print "No Hilbert newform found which matches the Hecke eigenvalues"; return 0; else if #newforms eq 1 then; print "success: unique match"; return newforms[1]; end if; end if; end for; print #newforms, "Hilbert newforms found which match the Hecke eigenvalues"; return newforms[1]; end function;