/* 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, 1, -7, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, w], [2, 2, -1/2*w^3 + w^2 + 3/2*w], [11, 11, 1/2*w^3 - w^2 - 5/2*w + 4], [11, 11, -w^3 + w^2 + 6*w + 1], [13, 13, -w^3 + w^2 + 6*w - 3], [19, 19, -1/2*w^3 + w^2 + 5/2*w], [23, 23, -1/2*w^3 + 2*w^2 - 1/2*w - 2], [31, 31, -w^3 + w^2 + 6*w - 1], [31, 31, 1/2*w^3 - 7/2*w], [43, 43, 1/2*w^3 - w^2 - 9/2*w + 2], [67, 67, w^2 - w - 5], [67, 67, -1/2*w^3 + 11/2*w + 2], [73, 73, w^2 + w + 1], [79, 79, 1/2*w^3 + w^2 - 5/2*w - 2], [81, 3, -3], [83, 83, 2*w^3 - 2*w^2 - 12*w + 5], [83, 83, -1/2*w^3 - w^2 + 1/2*w + 2], [89, 89, -3/2*w^3 + 2*w^2 + 17/2*w - 2], [89, 89, 3/2*w^3 - 2*w^2 - 21/2*w + 2], [97, 97, 1/2*w^3 - w^2 - 1/2*w - 2], [97, 97, -w^3 + w^2 + 8*w + 1], [103, 103, 2*w^3 - 2*w^2 - 14*w + 1], [103, 103, w^2 - w - 3], [107, 107, -3/2*w^3 + 2*w^2 + 21/2*w - 4], [109, 109, 5/2*w^3 - 3*w^2 - 33/2*w + 4], [109, 109, -1/2*w^3 + w^2 + 9/2*w - 4], [113, 113, -w^3 + w^2 + 8*w - 3], [113, 113, 1/2*w^3 - w^2 - 1/2*w + 2], [121, 11, 5/2*w^3 - 2*w^2 - 31/2*w + 2], [127, 127, -3/2*w^3 + w^2 + 23/2*w], [127, 127, -1/2*w^3 + 11/2*w], [131, 131, w^2 - 3*w - 3], [137, 137, 1/2*w^3 - w^2 - 5/2*w + 6], [139, 139, -3/2*w^3 + 2*w^2 + 13/2*w + 2], [151, 151, -1/2*w^3 + 2*w^2 + 3/2*w - 10], [157, 157, 7/2*w^3 - 5*w^2 - 47/2*w + 10], [157, 157, 7/2*w^3 - 4*w^2 - 45/2*w + 4], [167, 167, 1/2*w^3 + w^2 - 5/2*w - 4], [167, 167, 2*w + 5], [173, 173, -w^3 + w^2 + 4*w - 7], [181, 181, w^3 - 2*w^2 - 9*w + 1], [193, 193, -1/2*w^3 + 2*w^2 + 3/2*w - 8], [197, 197, -1/2*w^3 - w^2 + 13/2*w + 2], [197, 197, -w^3 + w^2 + 4*w - 1], [197, 197, w^3 - 2*w^2 - 7*w + 7], [197, 197, -2*w^3 + 3*w^2 + 13*w - 11], [199, 199, -2*w^3 + 3*w^2 + 11*w - 5], [239, 239, -w^3 + 2*w^2 + 5*w - 1], [239, 239, 7/2*w^3 - 4*w^2 - 45/2*w + 6], [241, 241, 1/2*w^3 - 2*w^2 - 7/2*w + 8], [257, 257, 3/2*w^3 - 2*w^2 - 17/2*w - 4], [257, 257, 1/2*w^3 - 7/2*w - 6], [257, 257, 7/2*w^3 - 5*w^2 - 43/2*w + 10], [257, 257, 3*w^3 - 4*w^2 - 19*w + 7], [269, 269, 1/2*w^3 + w^2 + 3/2*w + 2], [269, 269, -2*w^3 + 3*w^2 + 11*w - 11], [277, 277, 5/2*w^3 - 4*w^2 - 35/2*w + 8], [281, 281, -3/2*w^3 + w^2 + 23/2*w - 2], [283, 283, -w^3 - w^2 + 8*w + 11], [283, 283, -3*w^2 + 3*w + 19], [311, 311, 3/2*w^3 - 2*w^2 - 17/2*w - 2], [331, 331, -4*w^3 + 7*w^2 + 25*w - 21], [337, 337, -5/2*w^3 + 2*w^2 + 35/2*w + 4], [337, 337, -2*w^3 + 3*w^2 + 11*w - 9], [347, 347, 2*w^3 - 4*w^2 - 12*w + 13], [347, 347, 5/2*w^3 - 5*w^2 - 29/2*w + 20], [347, 347, -1/2*w^3 - 1/2*w - 6], [347, 347, -1/2*w^3 + 3*w^2 + 1/2*w - 16], [349, 349, 1/2*w^3 + w^2 - 9/2*w - 4], [353, 353, -1/2*w^3 + 2*w^2 + 7/2*w], [359, 359, 3/2*w^3 - w^2 - 19/2*w + 2], [373, 373, -2*w^3 + 2*w^2 + 12*w + 1], [373, 373, -1/2*w^3 + w^2 + 9/2*w - 6], [379, 379, w^2 - w - 9], [379, 379, -2*w^3 + 3*w^2 + 13*w - 5], [383, 383, w^2 + w - 5], [389, 389, 9/2*w^3 - 6*w^2 - 59/2*w + 14], [397, 397, 2*w^2 - 2*w - 15], [401, 401, -1/2*w^3 + 2*w^2 + 3/2*w - 4], [419, 419, -3/2*w^3 + w^2 + 15/2*w - 2], [419, 419, w^3 + w^2 - 8*w - 15], [431, 431, -5/2*w^3 + 4*w^2 + 27/2*w - 16], [431, 431, 2*w^3 - 4*w^2 - 10*w + 11], [443, 443, 1/2*w^3 - 3*w^2 - 5/2*w + 14], [449, 449, 1/2*w^3 + w^2 - 9/2*w - 6], [457, 457, -w^3 + 2*w^2 + 7*w - 9], [461, 461, 4*w^3 - 5*w^2 - 27*w + 7], [487, 487, 2*w^2 - 9], [499, 499, 3/2*w^3 - w^2 - 15/2*w - 2], [499, 499, 3/2*w^3 - 4*w^2 - 17/2*w + 16], [503, 503, -5/2*w^3 + 3*w^2 + 37/2*w], [509, 509, -3*w^3 + 3*w^2 + 18*w + 7], [521, 521, -1/2*w^3 - 2*w^2 + 11/2*w + 18], [521, 521, -5/2*w^3 + 4*w^2 + 31/2*w - 8], [523, 523, -1/2*w^3 + 2*w^2 + 11/2*w], [523, 523, -1/2*w^3 - w^2 + 9/2*w], [547, 547, -7/2*w^3 + 6*w^2 + 45/2*w - 18], [547, 547, -w^3 - w^2 + 12*w + 5], [547, 547, 3/2*w^3 - w^2 - 19/2*w + 4], [547, 547, w^3 - w^2 - 6*w - 5], [557, 557, 1/2*w^3 + w^2 - 9/2*w - 12], [557, 557, 3/2*w^3 - 2*w^2 - 21/2*w], [557, 557, 2*w^3 - 2*w^2 - 12*w + 1], [557, 557, w^3 - 3*w^2 - 6*w + 11], [569, 569, w^3 - 2*w^2 - 7*w + 1], [577, 577, w^3 + w^2 - 6*w - 5], [599, 599, -3/2*w^3 + 3*w^2 + 15/2*w - 10], [607, 607, -5/2*w^3 + 3*w^2 + 25/2*w + 4], [613, 613, w^3 - 9*w + 1], [619, 619, 3*w^2 - w - 17], [619, 619, w^3 - 3*w^2 - 6*w + 13], [625, 5, -5], [631, 631, 11/2*w^3 - 7*w^2 - 71/2*w + 16], [631, 631, -3/2*w^3 + 2*w^2 + 13/2*w], [643, 643, w^2 - 3*w - 5], [653, 653, 2*w^2 - 2*w - 11], [659, 659, 5*w^3 - 3*w^2 - 36*w - 9], [659, 659, -w^3 + 7*w - 1], [673, 673, 5/2*w^3 - 2*w^2 - 31/2*w - 4], [677, 677, 13/2*w^3 - 6*w^2 - 87/2*w + 2], [691, 691, -3/2*w^3 + 2*w^2 + 13/2*w - 2], [701, 701, -w^3 + 3*w^2 + 4*w - 13], [701, 701, w^3 - 2*w^2 - 9*w + 3], [709, 709, -w^2 - 5*w - 1], [739, 739, 3/2*w^3 - w^2 - 15/2*w], [743, 743, -2*w^3 + w^2 + 15*w + 1], [751, 751, -2*w^3 + 4*w^2 + 12*w - 11], [757, 757, -6*w^3 + 9*w^2 + 39*w - 23], [757, 757, -w^3 - w^2 + 8*w + 3], [757, 757, 13/2*w^3 - 8*w^2 - 83/2*w + 16], [757, 757, 3*w^3 - 4*w^2 - 17*w + 3], [761, 761, 7/2*w^3 - 5*w^2 - 47/2*w + 12], [769, 769, -3*w^2 + 7*w + 3], [773, 773, -3/2*w^3 - w^2 + 19/2*w + 4], [787, 787, -4*w^3 + 5*w^2 + 23*w - 17], [787, 787, 1/2*w^3 - w^2 - 9/2*w - 4], [809, 809, -2*w^3 + 2*w^2 + 16*w + 3], [809, 809, -4*w^3 + 5*w^2 + 25*w - 9], [811, 811, 3*w^3 - 3*w^2 - 20*w + 5], [811, 811, w^3 - 3*w^2 - 6*w + 17], [823, 823, 5/2*w^3 - w^2 - 33/2*w - 10], [829, 829, 5/2*w^3 - 3*w^2 - 33/2*w + 2], [829, 829, -3*w^3 + 2*w^2 + 23*w - 1], [839, 839, -11/2*w^3 + 7*w^2 + 67/2*w - 18], [853, 853, -w^3 + 2*w^2 + 3*w - 5], [853, 853, -5*w^3 + 7*w^2 + 32*w - 15], [857, 857, 3/2*w^3 - 5*w^2 - 15/2*w + 26], [859, 859, -w^3 + 3*w^2 + 4*w - 17], [863, 863, 4*w^3 - 4*w^2 - 26*w + 3], [877, 877, w^3 - 5*w - 5], [887, 887, 3/2*w^3 - w^2 - 11/2*w + 8], [907, 907, -9/2*w^3 + 7*w^2 + 53/2*w - 24], [919, 919, 7/2*w^3 - 6*w^2 - 41/2*w + 22], [929, 929, -2*w^3 + 3*w^2 + 11*w - 1], [937, 937, 2*w^3 - 4*w^2 - 12*w + 7], [947, 947, 9/2*w^3 - 5*w^2 - 61/2*w + 10], [953, 953, -1/2*w^3 + 2*w^2 + 3/2*w + 2], [961, 31, -1/2*w^3 + 2*w^2 - 1/2*w - 6], [977, 977, 5/2*w^3 - 2*w^2 - 31/2*w], [983, 983, -5/2*w^3 + 6*w^2 + 27/2*w - 24], [983, 983, -3/2*w^3 + 2*w^2 + 21/2*w - 10], [983, 983, -w^3 + 4*w^2 + 7*w - 15], [983, 983, -1/2*w^3 + 3*w^2 - 3/2*w - 4], [997, 997, 1/2*w^3 - w^2 - 5/2*w - 4], [997, 997, 1/2*w^3 + w^2 - 17/2*w - 2]]; primes := [ideal : I in primesArray]; heckePol := x^18 - 4*x^17 - 19*x^16 + 90*x^15 + 124*x^14 - 814*x^13 - 222*x^12 + 3802*x^11 - 1023*x^10 - 9774*x^9 + 5785*x^8 + 13540*x^7 - 11139*x^6 - 8912*x^5 + 9483*x^4 + 1598*x^3 - 2988*x^2 + 436*x + 40; K := NumberField(heckePol); heckeEigenvaluesArray := [-17892337/19430084*e^17 + 49752117/19430084*e^16 + 100283421/4857521*e^15 - 560781335/9715042*e^14 - 899579169/4857521*e^13 + 5090393611/9715042*e^12 + 4126726013/4857521*e^11 - 23950068733/9715042*e^10 - 40771065907/19430084*e^9 + 125059468565/19430084*e^8 + 12790775120/4857521*e^7 - 2362512209/255659*e^6 - 23737116371/19430084*e^5 + 130467874855/19430084*e^4 - 1644009338/4857521*e^3 - 18657141899/9715042*e^2 + 1617822337/4857521*e + 150118723/4857521, e, -9041561/9715042*e^17 + 24394923/9715042*e^16 + 101429639/4857521*e^15 - 273823492/4857521*e^14 - 910155190/4857521*e^13 + 2473967285/4857521*e^12 + 4173813415/4857521*e^11 - 11581612074/4857521*e^10 - 20601373283/9715042*e^9 + 60166868135/9715042*e^8 + 12941673877/4857521*e^7 - 2261783112/255659*e^6 - 12294724513/9715042*e^5 + 62113632311/9715042*e^4 - 1396029250/4857521*e^3 - 8800353852/4857521*e^2 + 1508705483/4857521*e + 117212480/4857521, 19791728/4857521*e^17 - 53120522/4857521*e^16 - 445985714/4857521*e^15 + 1194768496/4857521*e^14 + 4026273003/4857521*e^13 - 10819937141/4857521*e^12 - 18621738169/4857521*e^11 + 50799358593/4857521*e^10 + 46515077964/4857521*e^9 - 132432128813/4857521*e^8 - 59469809434/4857521*e^7 + 10004516786/255659*e^6 + 29138356766/4857521*e^5 - 138358767373/4857521*e^4 + 6114970300/4857521*e^3 + 39734529269/4857521*e^2 - 7071866945/4857521*e - 605089910/4857521, -1, -18899797/4857521*e^17 + 53723936/4857521*e^16 + 422993153/4857521*e^15 - 1213756943/4857521*e^14 - 3787801760/4857521*e^13 + 11046476590/4857521*e^12 + 17344305869/4857521*e^11 - 52133850000/4857521*e^10 - 42724887602/4857521*e^9 + 136618570450/4857521*e^8 + 53220580585/4857521*e^7 - 10371934163/255659*e^6 - 23662097739/4857521*e^5 + 144087574192/4857521*e^4 - 8378261980/4857521*e^3 - 41519335691/4857521*e^2 + 7397362898/4857521*e + 648867954/4857521, -50717567/9715042*e^17 + 136530567/9715042*e^16 + 570927638/4857521*e^15 - 1536017185/4857521*e^14 - 5147637353/4857521*e^13 + 13919576082/4857521*e^12 + 23762350328/4857521*e^11 - 65420120412/4857521*e^10 - 118347187809/9715042*e^9 + 341616538775/9715042*e^8 + 75236831548/4857521*e^7 - 12930100655/255659*e^6 - 72619738611/9715042*e^5 + 358507641269/9715042*e^4 - 8191525246/4857521*e^3 - 51618860860/4857521*e^2 + 9012068158/4857521*e + 809699324/4857521, -12983168/4857521*e^17 + 35213504/4857521*e^16 + 292842727/4857521*e^15 - 793168005/4857521*e^14 - 2649113389/4857521*e^13 + 7194494000/4857521*e^12 + 12299080998/4857521*e^11 - 33832584848/4857521*e^10 - 30929927620/4857521*e^9 + 88327485974/4857521*e^8 + 40034754341/4857521*e^7 - 6679320639/255659*e^6 - 20259898376/4857521*e^5 + 92382009564/4857521*e^4 - 3559251140/4857521*e^3 - 26456668523/4857521*e^2 + 4625656656/4857521*e + 381107924/4857521, -11783539/4857521*e^17 + 30460793/4857521*e^16 + 266994464/4857521*e^15 - 683745399/4857521*e^14 - 2425989843/4857521*e^13 + 6178166158/4857521*e^12 + 11306526328/4857521*e^11 - 28938122802/4857521*e^10 - 28515340405/4857521*e^9 + 75271985655/4857521*e^8 + 36987148408/4857521*e^7 - 5675794711/255659*e^6 - 18834504313/4857521*e^5 + 78386808089/4857521*e^4 - 3040158512/4857521*e^3 - 22472015903/4857521*e^2 + 4098695180/4857521*e + 332966518/4857521, -27238387/9715042*e^17 + 70249387/9715042*e^16 + 307825204/4857521*e^15 - 786799165/4857521*e^14 - 2788118166/4857521*e^13 + 7093260210/4857521*e^12 + 12942332118/4857521*e^11 - 33144053076/4857521*e^10 - 64977700215/9715042*e^9 + 171962856001/9715042*e^8 + 41985760714/4857521*e^7 - 6461290837/255659*e^6 - 43139144233/9715042*e^5 + 177526007327/9715042*e^4 - 2898445399/4857521*e^3 - 25205636384/4857521*e^2 + 4368161548/4857521*e + 348260252/4857521, -11662167/9715042*e^17 + 33832343/9715042*e^16 + 130194272/4857521*e^15 - 382714748/4857521*e^14 - 1163147006/4857521*e^13 + 3489530803/4857521*e^12 + 5314906737/4857521*e^11 - 16505296588/4857521*e^10 - 26141071905/9715042*e^9 + 86695544819/9715042*e^8 + 16267902747/4857521*e^7 - 3294467854/255659*e^6 - 14510215273/9715042*e^5 + 91304343029/9715042*e^4 - 2524738418/4857521*e^3 - 13033569974/4857521*e^2 + 2250878899/4857521*e + 219292600/4857521, -2873343/255659*e^17 + 7662380/255659*e^16 + 64730712/255659*e^15 - 172255614/255659*e^14 - 583966624/255659*e^13 + 1559521018/255659*e^12 + 2696983254/255659*e^11 - 7322753354/255659*e^10 - 6718949180/255659*e^9 + 19104112153/255659*e^8 + 8549913891/255659*e^7 - 27461726382/255659*e^6 - 4144689776/255659*e^5 + 20031204843/255659*e^4 - 904841356/255659*e^3 - 5767972549/255659*e^2 + 1013667361/255659*e + 90613786/255659, 30976413/9715042*e^17 - 88165477/9715042*e^16 - 346232444/4857521*e^15 + 994246401/4857521*e^14 + 3097041115/4857521*e^13 - 9029007630/4857521*e^12 - 14169363393/4857521*e^11 + 42492908052/4857521*e^10 + 69784631583/9715042*e^9 - 221910517443/9715042*e^8 - 43501960254/4857521*e^7 + 8387641954/255659*e^6 + 38982709077/9715042*e^5 - 232144898027/9715042*e^4 + 6572327349/4857521*e^3 + 33475070449/4857521*e^2 - 5861395993/4857521*e - 584213322/4857521, -14894510/4857521*e^17 + 37752616/4857521*e^16 + 338114049/4857521*e^15 - 848330538/4857521*e^14 - 3077132530/4857521*e^13 + 7683985517/4857521*e^12 + 14359060025/4857521*e^11 - 36159328831/4857521*e^10 - 36263587006/4857521*e^9 + 94806116175/4857521*e^8 + 47242010435/4857521*e^7 - 7236204882/255659*e^6 - 24643069770/4857521*e^5 + 101600718868/4857521*e^4 - 3128261126/4857521*e^3 - 29768700008/4857521*e^2 + 5045381670/4857521*e + 504686160/4857521, 8118361/4857521*e^17 - 22702427/4857521*e^16 - 181857085/4857521*e^15 + 512747839/4857521*e^14 + 1628731896/4857521*e^13 - 4666906839/4857521*e^12 - 7447902884/4857521*e^11 + 22040136479/4857521*e^10 + 18268912829/4857521*e^9 - 57832595586/4857521*e^8 - 22511802579/4857521*e^7 + 4396818764/255659*e^6 + 9586568203/4857521*e^5 - 61056336969/4857521*e^4 + 4018303005/4857521*e^3 + 17471363745/4857521*e^2 - 3291906168/4857521*e - 226943542/4857521, 5404095/9715042*e^17 - 18014803/9715042*e^16 - 58214089/4857521*e^15 + 204450657/4857521*e^14 + 494052666/4857521*e^13 - 1870093122/4857521*e^12 - 2084774869/4857521*e^11 + 8870036089/4857521*e^10 + 8881264353/9715042*e^9 - 46696796833/9715042*e^8 - 3806341762/4857521*e^7 + 1779249138/255659*e^6 - 2391235695/9715042*e^5 - 49622441293/9715042*e^4 + 3816371435/4857521*e^3 + 7200962840/4857521*e^2 - 1587481386/4857521*e - 121776152/4857521, -6631332/4857521*e^17 + 18820312/4857521*e^16 + 148945552/4857521*e^15 - 424128376/4857521*e^14 - 1342285212/4857521*e^13 + 3843211476/4857521*e^12 + 6214994314/4857521*e^11 - 18009334591/4857521*e^10 - 15610795476/4857521*e^9 + 46682806579/4857521*e^8 + 20176306588/4857521*e^7 - 3490496531/255659*e^6 - 10005108856/4857521*e^5 + 47608261587/4857521*e^4 - 2232124342/4857521*e^3 - 13488221406/4857521*e^2 + 2573432392/4857521*e + 207219868/4857521, 49917367/4857521*e^17 - 138978206/4857521*e^16 - 1118643249/4857521*e^15 + 3131578549/4857521*e^14 + 10031131560/4857521*e^13 - 28415303572/4857521*e^12 - 45997003278/4857521*e^11 + 133660185474/4857521*e^10 + 113470011077/4857521*e^9 - 348976377624/4857521*e^8 - 141676105837/4857521*e^7 + 26384396507/255659*e^6 + 63778654430/4857521*e^5 - 364768529456/4857521*e^4 + 20931345709/4857521*e^3 + 104513867107/4857521*e^2 - 18937211130/4857521*e - 1551889810/4857521, 42491978/4857521*e^17 - 112832468/4857521*e^16 - 958531823/4857521*e^15 + 2535331850/4857521*e^14 + 8665287847/4857521*e^13 - 22939113380/4857521*e^12 - 40149949191/4857521*e^11 + 107619920066/4857521*e^10 + 100551049103/4857521*e^9 - 280452888266/4857521*e^8 - 129148253580/4857521*e^7 + 21188067198/255659*e^6 + 64205061659/4857521*e^5 - 293149276226/4857521*e^4 + 12215900453/4857521*e^3 + 84191876052/4857521*e^2 - 14934935074/4857521*e - 1250541380/4857521, -35002899/9715042*e^17 + 97462769/9715042*e^16 + 392056502/4857521*e^15 - 1098465417/4857521*e^14 - 3513361199/4857521*e^13 + 9973697505/4857521*e^12 + 16093717871/4857521*e^11 - 46965559943/4857521*e^10 - 79291682059/9715042*e^9 + 245681494747/9715042*e^8 + 49442067105/4857521*e^7 - 9312674348/255659*e^6 - 44753484655/9715042*e^5 + 258462447159/9715042*e^4 - 6927183772/4857521*e^3 - 37175628881/4857521*e^2 + 6357780633/4857521*e + 572087654/4857521, -33196137/9715042*e^17 + 85873465/9715042*e^16 + 375497548/4857521*e^15 - 963600025/4857521*e^14 - 3404745599/4857521*e^13 + 8709453236/4857521*e^12 + 15820403869/4857521*e^11 - 40838075873/4857521*e^10 - 79415189635/9715042*e^9 + 212891700597/9715042*e^8 + 51024711373/4857521*e^7 - 8051284265/255659*e^6 - 50376439535/9715042*e^5 + 223214155321/9715042*e^4 - 5146165218/4857521*e^3 - 32126168780/4857521*e^2 + 6024279209/4857521*e + 485087600/4857521, -56966649/9715042*e^17 + 152347621/9715042*e^16 + 641439306/4857521*e^15 - 1711453056/4857521*e^14 - 5787280863/4857521*e^13 + 15484238219/4857521*e^12 + 26754387338/4857521*e^11 - 72648042019/4857521*e^10 - 133668204071/9715042*e^9 + 378682069035/9715042*e^8 + 85607371286/4857521*e^7 - 14306425869/255659*e^6 - 84823649031/9715042*e^5 + 395786514879/9715042*e^4 - 8215432005/4857521*e^3 - 56740622065/4857521*e^2 + 10007049459/4857521*e + 847055474/4857521, -21012207/4857521*e^17 + 57242180/4857521*e^16 + 472442735/4857521*e^15 - 1286813826/4857521*e^14 - 4256277238/4857521*e^13 + 11642838144/4857521*e^12 + 19654090609/4857521*e^11 - 54575586860/4857521*e^10 - 49066291113/4857521*e^9 + 141898152509/4857521*e^8 + 62852160108/4857521*e^7 - 10675510153/255659*e^6 - 31241509465/4857521*e^5 + 146806098681/4857521*e^4 - 5683492712/4857521*e^3 - 41911382390/4857521*e^2 + 7069389574/4857521*e + 677769440/4857521, -24464529/4857521*e^17 + 64603247/4857521*e^16 + 551712018/4857521*e^15 - 1450725275/4857521*e^14 - 4984177011/4857521*e^13 + 13118728974/4857521*e^12 + 23060844942/4857521*e^11 - 61523774306/4857521*e^10 - 57588273482/4857521*e^9 + 160298159001/4857521*e^8 + 73525954262/4857521*e^7 - 12108850723/255659*e^6 - 35895917942/4857521*e^5 + 167460140991/4857521*e^4 - 7603983430/4857521*e^3 - 48069533537/4857521*e^2 + 8719047272/4857521*e + 742534074/4857521, 29410971/9715042*e^17 - 88087333/9715042*e^16 - 326899099/4857521*e^15 + 998982063/4857521*e^14 + 2903360689/4857521*e^13 - 9133093254/4857521*e^12 - 13154821944/4857521*e^11 + 43318610491/4857521*e^10 + 63777912753/9715042*e^9 - 228204890731/9715042*e^8 - 38371369025/4857521*e^7 + 8704668971/255659*e^6 + 28864197297/9715042*e^5 - 242792684129/9715042*e^4 + 9450092331/4857521*e^3 + 35041275832/4857521*e^2 - 6720304984/4857521*e - 506854422/4857521, -30367266/4857521*e^17 + 77591888/4857521*e^16 + 686947119/4857521*e^15 - 1737434221/4857521*e^14 - 6226946786/4857521*e^13 + 15662023755/4857521*e^12 + 28920193258/4857521*e^11 - 73214669352/4857521*e^10 - 72574457526/4857521*e^9 + 190193177813/4857521*e^8 + 93514452618/4857521*e^7 - 14334034778/255659*e^6 - 47288006288/4857521*e^5 + 197968134470/4857521*e^4 - 7483326184/4857521*e^3 - 56790064901/4857521*e^2 + 10099928883/4857521*e + 854846802/4857521, -2838328/255659*e^17 + 7711107/255659*e^16 + 63776186/255659*e^15 - 173468650/255659*e^14 - 573746853/255659*e^13 + 1571688204/255659*e^12 + 2641925908/255659*e^11 - 7385612798/255659*e^10 - 6559642752/255659*e^9 + 19282236805/255659*e^8 + 8303403062/255659*e^7 - 27736197676/255659*e^6 - 3948564835/255659*e^5 + 20243167293/255659*e^4 - 984761171/255659*e^3 - 5828432578/255659*e^2 + 1032877740/255659*e + 90124588/255659, 42346975/9715042*e^17 - 117540585/9715042*e^16 - 474323567/4857521*e^15 + 1324694054/4857521*e^14 + 4248910505/4857521*e^13 - 12026779930/4857521*e^12 - 19439192359/4857521*e^11 + 56624591997/4857521*e^10 + 95481383541/9715042*e^9 - 296112853481/9715042*e^8 - 59035588234/4857521*e^7 + 11215971059/255659*e^6 + 51237511151/9715042*e^5 - 310768505307/9715042*e^4 + 9827932617/4857521*e^3 + 44561542339/4857521*e^2 - 8298066625/4857521*e - 682866526/4857521, 59198757/9715042*e^17 - 160936261/9715042*e^16 - 665173592/4857521*e^15 + 1809793261/4857521*e^14 + 5984728469/4857521*e^13 - 16387931581/4857521*e^12 - 27557619439/4857521*e^11 + 76921509779/4857521*e^10 + 136786954637/9715042*e^9 - 400844810797/9715042*e^8 - 86413912406/4857521*e^7 + 15124136310/255659*e^6 + 81513434359/9715042*e^5 - 417379585713/9715042*e^4 + 10492615242/4857521*e^3 + 59615434402/4857521*e^2 - 10687475431/4857521*e - 852635852/4857521, -8867693/4857521*e^17 + 21369430/4857521*e^16 + 202212629/4857521*e^15 - 475689667/4857521*e^14 - 1852956556/4857521*e^13 + 4258242162/4857521*e^12 + 8741739730/4857521*e^11 - 19746754412/4857521*e^10 - 22506929281/4857521*e^9 + 50841927126/4857521*e^8 + 30543718615/4857521*e^7 - 3795537397/255659*e^6 - 18193243557/4857521*e^5 + 51910968050/4857521*e^4 + 747532004/4857521*e^3 - 14698694015/4857521*e^2 + 2254355800/4857521*e + 178158100/4857521, -30427465/4857521*e^17 + 86092292/4857521*e^16 + 680456983/4857521*e^15 - 1943427671/4857521*e^14 - 6084455080/4857521*e^13 + 17671048416/4857521*e^12 + 27788444834/4857521*e^11 - 83317168920/4857521*e^10 - 68138993817/4857521*e^9 + 218113088770/4857521*e^8 + 84137245918/4857521*e^7 - 16540589739/255659*e^6 - 36388787524/4857521*e^5 + 229465608182/4857521*e^4 - 14181052676/4857521*e^3 - 65952565107/4857521*e^2 + 11953553180/4857521*e + 963096988/4857521, 86885191/9715042*e^17 - 231538387/9715042*e^16 - 980237841/4857521*e^15 + 2602800090/4857521*e^14 + 8866052392/4857521*e^13 - 23563211548/4857521*e^12 - 41120172924/4857521*e^11 + 110607862669/4857521*e^10 + 206358887999/9715042*e^9 - 576743894629/9715042*e^8 - 133109549710/4857521*e^7 + 21794601047/255659*e^6 + 134509072645/9715042*e^5 - 603361975115/9715042*e^4 + 11335713787/4857521*e^3 + 86787407304/4857521*e^2 - 15011308899/4857521*e - 1384675148/4857521, -11735281/4857521*e^17 + 27344832/4857521*e^16 + 269064717/4857521*e^15 - 609156236/4857521*e^14 - 2478855150/4857521*e^13 + 5458289715/4857521*e^12 + 11749942560/4857521*e^11 - 25344948570/4857521*e^10 - 30344143413/4857521*e^9 + 65367758740/4857521*e^8 + 41132065341/4857521*e^7 - 4889130906/255659*e^6 - 24120838697/4857521*e^5 + 66964829458/4857521*e^4 + 477965907/4857521*e^3 - 19013539817/4857521*e^2 + 3182174996/4857521*e + 244709478/4857521, 80935501/9715042*e^17 - 230319807/9715042*e^16 - 905172059/4857521*e^15 + 2601898125/4857521*e^14 + 8098780886/4857521*e^13 - 23684367429/4857521*e^12 - 37036834395/4857521*e^11 + 111819734681/4857521*e^10 + 182077955183/9715042*e^9 - 586411343811/9715042*e^8 - 112904203876/4857521*e^7 + 22278312307/255659*e^6 + 98679018601/9715042*e^5 - 619511964851/9715042*e^4 + 18775823995/4857521*e^3 + 89299480575/4857521*e^2 - 16039924613/4857521*e - 1369119910/4857521, 70371391/4857521*e^17 - 186085054/4857521*e^16 - 1586305568/4857521*e^15 + 4177122361/4857521*e^14 + 14323538404/4857521*e^13 - 37749500744/4857521*e^12 - 66241767308/4857521*e^11 + 176871267139/4857521*e^10 + 165414446967/4857521*e^9 - 460273526585/4857521*e^8 - 211554736982/4857521*e^7 + 34725142866/255659*e^6 + 104494507915/4857521*e^5 - 479887185050/4857521*e^4 + 20017587590/4857521*e^3 + 137810726458/4857521*e^2 - 24173838326/4857521*e - 2112018616/4857521, 36949771/9715042*e^17 - 95173297/9715042*e^16 - 416103141/4857521*e^15 + 1064369577/4857521*e^14 + 3748141427/4857521*e^13 - 9581841585/4857521*e^12 - 17243753156/4857521*e^11 + 44718367040/4857521*e^10 + 85238628727/9715042*e^9 - 231840907847/9715042*e^8 - 53390222361/4857521*e^7 + 8710021016/255659*e^6 + 49684574743/9715042*e^5 - 239429394731/9715042*e^4 + 6324997497/4857521*e^3 + 34024783504/4857521*e^2 - 6301302622/4857521*e - 427363682/4857521, -22387283/4857521*e^17 + 57318678/4857521*e^16 + 507698864/4857521*e^15 - 1283672087/4857521*e^14 - 4620478117/4857521*e^13 + 11564840059/4857521*e^12 + 21598999174/4857521*e^11 - 53962547736/4857521*e^10 - 54810913631/4857521*e^9 + 139667461914/4857521*e^8 + 72197509212/4857521*e^7 - 10464847455/255659*e^6 - 39078868730/4857521*e^5 + 143481151668/4857521*e^4 - 2879066864/4857521*e^3 - 40920990696/4857521*e^2 + 6823323430/4857521*e + 667298018/4857521, -66216009/9715042*e^17 + 175638547/9715042*e^16 + 745098506/4857521*e^15 - 1972983024/4857521*e^14 - 6709918453/4857521*e^13 + 17855099056/4857521*e^12 + 30894870413/4857521*e^11 - 83843601534/4857521*e^10 - 153132148571/9715042*e^9 + 437833709421/9715042*e^8 + 96460090376/4857521*e^7 - 16592191767/255659*e^6 - 90567238449/9715042*e^5 + 461030092033/9715042*e^4 - 11868057589/4857521*e^3 - 66469398190/4857521*e^2 + 12064541317/4857521*e + 967804032/4857521, 5610978/4857521*e^17 - 19702075/4857521*e^16 - 119653281/4857521*e^15 + 448366189/4857521*e^14 + 1000919686/4857521*e^13 - 4112444967/4857521*e^12 - 4129591490/4857521*e^11 + 19557348497/4857521*e^10 + 8416305177/4857521*e^9 - 51587341337/4857521*e^8 - 6149280626/4857521*e^7 + 3932817357/255659*e^6 - 4505835259/4857521*e^5 - 54620749371/4857521*e^4 + 9011440467/4857521*e^3 + 15619930306/4857521*e^2 - 3510423365/4857521*e - 254929076/4857521, 199945255/9715042*e^17 - 534319059/9715042*e^16 - 2251956490/4857521*e^15 + 6004575378/4857521*e^14 + 20318997652/4857521*e^13 - 54344846446/4857521*e^12 - 93895934376/4857521*e^11 + 255052405032/4857521*e^10 + 468458157795/9715042*e^9 - 1329808296307/9715042*e^8 - 298853981338/4857521*e^7 + 50247782939/255659*e^6 + 291894806481/9715042*e^5 - 1390366346627/9715042*e^4 + 30708307039/4857521*e^3 + 199572548971/4857521*e^2 - 35264475381/4857521*e - 3052097726/4857521, -23225079/4857521*e^17 + 71014738/4857521*e^16 + 513426992/4857521*e^15 - 1609346848/4857521*e^14 - 4527166151/4857521*e^13 + 14692994222/4857521*e^12 + 20315474373/4857521*e^11 - 69541227724/4857521*e^10 - 48576951776/4857521*e^9 + 182605900590/4857521*e^8 + 57098014252/4857521*e^7 - 13872724742/255659*e^6 - 19702647590/4857521*e^5 + 192518192098/4857521*e^4 - 15547000219/4857521*e^3 - 55327009884/4857521*e^2 + 10325851106/4857521*e + 876477552/4857521, 11353185/4857521*e^17 - 27743468/4857521*e^16 - 257945460/4857521*e^15 + 619449681/4857521*e^14 + 2348558076/4857521*e^13 - 5567712416/4857521*e^12 - 10953309016/4857521*e^11 + 25960513511/4857521*e^10 + 27591825991/4857521*e^9 - 67327656456/4857521*e^8 - 35710934566/4857521*e^7 + 5073215191/255659*e^6 + 18355897259/4857521*e^5 - 70170724921/4857521*e^4 + 2296913856/4857521*e^3 + 20198716525/4857521*e^2 - 3492953384/4857521*e - 330639374/4857521, 51098983/4857521*e^17 - 136061652/4857521*e^16 - 1149364540/4857521*e^15 + 3057384912/4857521*e^14 + 10340316294/4857521*e^13 - 27665243868/4857521*e^12 - 47524754048/4857521*e^11 + 129819153382/4857521*e^10 + 117374181250/4857521*e^9 - 338405287178/4857521*e^8 - 146781052254/4857521*e^7 + 25571286998/255659*e^6 + 67258976949/4857521*e^5 - 353577636024/4857521*e^4 + 19412509814/4857521*e^3 + 101275773174/4857521*e^2 - 18481697924/4857521*e - 1477737710/4857521, 53218329/4857521*e^17 - 141268246/4857521*e^16 - 1198718891/4857521*e^15 + 3171958615/4857521*e^14 + 10812787487/4857521*e^13 - 28676482441/4857521*e^12 - 49933088638/4857521*e^11 + 134428952243/4857521*e^10 + 124392584020/4857521*e^9 - 350050352162/4857521*e^8 - 158277761949/4857521*e^7 + 26428822983/255659*e^6 + 76607292337/4857521*e^5 - 365481483472/4857521*e^4 + 17081261902/4857521*e^3 + 104953903074/4857521*e^2 - 18983445609/4857521*e - 1548540548/4857521, 10328254/4857521*e^17 - 30030909/4857521*e^16 - 231221128/4857521*e^15 + 681094306/4857521*e^14 + 2070983256/4857521*e^13 - 6223500549/4857521*e^12 - 9479998230/4857521*e^11 + 29485348117/4857521*e^10 + 23291631264/4857521*e^9 - 77535808297/4857521*e^8 - 28665483452/4857521*e^7 + 5904489187/255659*e^6 + 11810032738/4857521*e^5 - 82297262679/4857521*e^4 + 5751503332/4857521*e^3 + 23850919517/4857521*e^2 - 4392487825/4857521*e - 382930482/4857521, -18892785/4857521*e^17 + 52627778/4857521*e^16 + 425170822/4857521*e^15 - 1185954380/4857521*e^14 - 3839539714/4857521*e^13 + 10753688137/4857521*e^12 + 17819292337/4857521*e^11 - 50481051393/4857521*e^10 - 44926899424/4857521*e^9 + 131270434697/4857521*e^8 + 58719594046/4857521*e^7 - 9859701129/255659*e^6 - 30964250381/4857521*e^5 + 135156391395/4857521*e^4 - 3612353376/4857521*e^3 - 38483663066/4857521*e^2 + 6210795004/4857521*e + 647541482/4857521, -39492738/4857521*e^17 + 110309109/4857521*e^16 + 884503419/4857521*e^15 - 2486844951/4857521*e^14 - 7925215996/4857521*e^13 + 22581169908/4857521*e^12 + 36304112281/4857521*e^11 - 106327288484/4857521*e^10 - 89460606256/4857521*e^9 + 278044330457/4857521*e^8 + 111603622543/4857521*e^7 - 21071681499/255659*e^6 - 50225242223/4857521*e^5 + 292378316197/4857521*e^4 - 16645838038/4857521*e^3 - 84291884055/4857521*e^2 + 15147681702/4857521*e + 1371729870/4857521, 58576215/4857521*e^17 - 162443613/4857521*e^16 - 1315401235/4857521*e^15 + 3661714680/4857521*e^14 + 11832245578/4857521*e^13 - 33242672014/4857521*e^12 - 54519520545/4857521*e^11 + 156475811908/4857521*e^10 + 135582028262/4857521*e^9 - 408936622154/4857521*e^8 - 171939842175/4857521*e^7 + 30959197298/255659*e^6 + 81457294695/4857521*e^5 - 428828090560/4857521*e^4 + 21328019922/4857521*e^3 + 123181319526/4857521*e^2 - 21794379386/4857521*e - 1849350524/4857521, -23745691/4857521*e^17 + 59187073/4857521*e^16 + 540502963/4857521*e^15 - 1324939980/4857521*e^14 - 4939132862/4857521*e^13 + 11934772733/4857521*e^12 + 23196786896/4857521*e^11 - 55712594247/4857521*e^10 - 59240477431/4857521*e^9 + 144398151992/4857521*e^8 + 78998703530/4857521*e^7 - 10847434949/255659*e^6 - 44591802999/4857521*e^5 + 149233342149/4857521*e^4 - 855220073/4857521*e^3 - 42669845929/4857521*e^2 + 6643394083/4857521*e + 691840906/4857521, 31168593/9715042*e^17 - 89883293/9715042*e^16 - 349674007/4857521*e^15 + 1015386058/4857521*e^14 + 3147888222/4857521*e^13 - 9231054695/4857521*e^12 - 14563292587/4857521*e^11 + 43440928453/4857521*e^10 + 73181090683/9715042*e^9 - 226485317863/9715042*e^8 - 47528910034/4857521*e^7 + 8533137212/255659*e^6 + 48870163847/9715042*e^5 - 235333064105/9715042*e^4 + 3752845028/4857521*e^3 + 33884272042/4857521*e^2 - 5303440882/4857521*e - 601603874/4857521, 21124731/4857521*e^17 - 58899496/4857521*e^16 - 471965095/4857521*e^15 + 1326349876/4857521*e^14 + 4212495362/4857521*e^13 - 12029029037/4857521*e^12 - 19176721276/4857521*e^11 + 56570350485/4857521*e^10 + 46764415685/4857521*e^9 - 147738939728/4857521*e^8 - 57210487341/4857521*e^7 + 11178570965/255659*e^6 + 24224297043/4857521*e^5 - 154690618700/4857521*e^4 + 9846327099/4857521*e^3 + 44314796881/4857521*e^2 - 8024485084/4857521*e - 602021758/4857521, 34847315/4857521*e^17 - 96927001/4857521*e^16 - 781010663/4857521*e^15 + 2183437310/4857521*e^14 + 7002812428/4857521*e^13 - 19799656521/4857521*e^12 - 32094706498/4857521*e^11 + 93026609868/4857521*e^10 + 79067205127/4857521*e^9 - 242428218982/4857521*e^8 - 98355539281/4857521*e^7 + 18277037968/255659*e^6 + 43532970049/4857521*e^5 - 251682367123/4857521*e^4 + 15429318159/4857521*e^3 + 71717148681/4857521*e^2 - 13452524536/4857521*e - 1039954574/4857521, -40622610/4857521*e^17 + 110731127/4857521*e^16 + 911060824/4857521*e^15 - 2489158965/4857521*e^14 - 8171917054/4857521*e^13 + 22524571728/4857521*e^12 + 37448116641/4857521*e^11 - 105633198090/4857521*e^10 - 92201112221/4857521*e^9 + 274926163391/4857521*e^8 + 114728903589/4857521*e^7 - 20719630831/255659*e^6 - 51484450736/4857521*e^5 + 285606567285/4857521*e^4 - 16600794967/4857521*e^3 - 81644898439/4857521*e^2 + 15012196050/4857521*e + 1251156966/4857521, 89452647/4857521*e^17 - 245554889/4857521*e^16 - 2008648476/4857521*e^15 + 5527729371/4857521*e^14 + 18057873900/4857521*e^13 - 50103493954/4857521*e^12 - 83091157565/4857521*e^11 + 235411760338/4857521*e^10 + 206121693457/4857521*e^9 - 613982920091/4857521*e^8 - 260433843560/4857521*e^7 + 46379968253/255659*e^6 + 122944313056/4857521*e^5 - 640930222637/4857521*e^4 + 31670082017/4857521*e^3 + 183767535705/4857521*e^2 - 32368309442/4857521*e - 2832516358/4857521, 39778550/4857521*e^17 - 101359489/4857521*e^16 - 900309059/4857521*e^15 + 2270169066/4857521*e^14 + 8164957446/4857521*e^13 - 20469092613/4857521*e^12 - 37939727812/4857521*e^11 + 95706128146/4857521*e^10 + 95286578180/4857521*e^9 - 248655199208/4857521*e^8 - 123096823823/4857521*e^7 + 18739139466/255659*e^6 + 63111544950/4857521*e^5 - 258698449398/4857521*e^4 + 8561836983/4857521*e^3 + 74205339195/4857521*e^2 - 12769382714/4857521*e - 1178703938/4857521, -15622169/4857521*e^17 + 39372944/4857521*e^16 + 355484694/4857521*e^15 - 882375035/4857521*e^14 - 3252282750/4857521*e^13 + 7966210230/4857521*e^12 + 15334884794/4857521*e^11 - 37333050105/4857521*e^10 - 39521689453/4857521*e^9 + 97354306280/4857521*e^8 + 53774720458/4857521*e^7 - 7376441799/255659*e^6 - 32055478643/4857521*e^5 + 102548099292/4857521*e^4 + 1006296514/4857521*e^3 - 29619801240/4857521*e^2 + 4243463692/4857521*e + 473963066/4857521, -34678594/4857521*e^17 + 97769432/4857521*e^16 + 776750353/4857521*e^15 - 2206806022/4857521*e^14 - 6964125905/4857521*e^13 + 20066492491/4857521*e^12 + 31951831396/4857521*e^11 - 94630260933/4857521*e^10 - 78993205999/4857521*e^9 + 247813709111/4857521*e^8 + 99251379479/4857521*e^7 - 18798676740/255659*e^6 - 45897985497/4857521*e^5 + 260753362846/4857521*e^4 - 13321355237/4857521*e^3 - 74917872656/4857521*e^2 + 12923513069/4857521*e + 1189691440/4857521, 18750990/4857521*e^17 - 54581492/4857521*e^16 - 418144274/4857521*e^15 + 1232953950/4857521*e^14 + 3729622768/4857521*e^13 - 11214566048/4857521*e^12 - 17001626091/4857521*e^11 + 52851824762/4857521*e^10 + 41617566480/4857521*e^9 - 138111214043/4857521*e^8 - 51100455399/4857521*e^7 + 10435335846/255659*e^6 + 21077422816/4857521*e^5 - 143990216244/4857521*e^4 + 10305854216/4857521*e^3 + 41196777696/4857521*e^2 - 8026444743/4857521*e - 629507416/4857521, 14596526/4857521*e^17 - 41072473/4857521*e^16 - 324237572/4857521*e^15 + 922428761/4857521*e^14 + 2872525130/4857521*e^13 - 8343033120/4857521*e^12 - 12943958370/4857521*e^11 + 39137406490/4857521*e^10 + 31069356088/4857521*e^9 - 102009258126/4857521*e^8 - 36842218956/4857521*e^7 + 7710620182/255659*e^6 + 13780913768/4857521*e^5 - 106754516666/4857521*e^4 + 8164320706/4857521*e^3 + 30702656010/4857521*e^2 - 5689246630/4857521*e - 495788380/4857521, 29268737/4857521*e^17 - 84002352/4857521*e^16 - 655349073/4857521*e^15 + 1902333478/4857521*e^14 + 5872311012/4857521*e^13 - 17363366073/4857521*e^12 - 26913922738/4857521*e^11 + 82231822386/4857521*e^10 + 66374337157/4857521*e^9 - 216383270813/4857521*e^8 - 82747272197/4857521*e^7 + 16506421509/255659*e^6 + 36606821101/4857521*e^5 - 230516873030/4857521*e^4 + 13568563559/4857521*e^3 + 66793491893/4857521*e^2 - 11915106542/4857521*e - 1055688660/4857521, 52883989/9715042*e^17 - 140002021/9715042*e^16 - 597596944/4857521*e^15 + 1573687166/4857521*e^14 + 5416110727/4857521*e^13 - 14243657375/4857521*e^12 - 25186233041/4857521*e^11 + 66833771251/4857521*e^10 + 126870790155/9715042*e^9 - 348257277651/9715042*e^8 - 82355320301/4857521*e^7 + 13147856609/255659*e^6 + 84707902973/9715042*e^5 - 363631118035/9715042*e^4 + 6246062386/4857521*e^3 + 52299156902/4857521*e^2 - 9088478702/4857521*e - 811804460/4857521, -56010961/4857521*e^17 + 150954870/4857521*e^16 + 1259302635/4857521*e^15 - 3394365879/4857521*e^14 - 11332433031/4857521*e^13 + 30738512673/4857521*e^12 + 52164019134/4857521*e^11 - 144365571472/4857521*e^10 - 129302952026/4857521*e^9 + 376701263351/4857521*e^8 + 162940703716/4857521*e^7 - 28506231393/255659*e^6 - 76352453561/4857521*e^5 + 395285052053/4857521*e^4 - 20171694920/4857521*e^3 - 113993879426/4857521*e^2 + 20290252679/4857521*e + 1815757228/4857521, 146112891/9715042*e^17 - 399344823/9715042*e^16 - 1642663872/4857521*e^15 + 4498370815/4857521*e^14 + 14788659437/4857521*e^13 - 40813443342/4857521*e^12 - 68142745231/4857521*e^11 + 191999641283/4857521*e^10 + 338432951929/9715042*e^9 - 1003053475483/9715042*e^8 - 213706392755/4857521*e^7 + 37952408923/255659*e^6 + 199638429197/9715042*e^5 - 1050670539767/9715042*e^4 + 27999682584/4857521*e^3 + 150641296028/4857521*e^2 - 27614359777/4857521*e - 2229100472/4857521, -92880954/4857521*e^17 + 252898448/4857521*e^16 + 2088257989/4857521*e^15 - 5692065105/4857521*e^14 - 18801468638/4857521*e^13 + 51587642347/4857521*e^12 + 86670521544/4857521*e^11 - 242394096833/4857521*e^10 - 215540895554/4857521*e^9 + 632362866537/4857521*e^8 + 273519909955/4857521*e^7 - 47794563369/255659*e^6 - 130756117816/4857521*e^5 + 660944632711/4857521*e^4 - 32040165001/4857521*e^3 - 189501535211/4857521*e^2 + 34009970758/4857521*e + 2821435278/4857521, -128745492/4857521*e^17 + 353399036/4857521*e^16 + 2891675501/4857521*e^15 - 7962525090/4857521*e^14 - 25996157008/4857521*e^13 + 72258580473/4857521*e^12 + 119550403578/4857521*e^11 - 340051205125/4857521*e^10 - 296017914683/4857521*e^9 + 888790800972/4857521*e^8 + 371973431322/4857521*e^7 - 67322980980/255659*e^6 - 171225762092/4857521*e^5 + 933272500334/4857521*e^4 - 50923200312/4857521*e^3 - 268260947336/4857521*e^2 + 48484306550/4857521*e + 4026979988/4857521, -3177947/4857521*e^17 + 2612988/4857521*e^16 + 77455474/4857521*e^15 - 48670087/4857521*e^14 - 760975698/4857521*e^13 + 338114368/4857521*e^12 + 3866434231/4857521*e^11 - 1075370618/4857521*e^10 - 10867452679/4857521*e^9 + 1477726553/4857521*e^8 + 16865493569/4857521*e^7 - 20895226/255659*e^6 - 13713613568/4857521*e^5 - 626721549/4857521*e^4 + 5117054756/4857521*e^3 + 168738982/4857521*e^2 - 605827397/4857521*e + 53948680/4857521, -91565279/4857521*e^17 + 248110286/4857521*e^16 + 2058662281/4857521*e^15 - 5581306737/4857521*e^14 - 18532666826/4857521*e^13 + 50560538531/4857521*e^12 + 85404525187/4857521*e^11 - 237501407795/4857521*e^10 - 212281611159/4857521*e^9 + 619607441723/4857521*e^8 + 269281541881/4857521*e^7 - 46848648277/255659*e^6 - 129132405694/4857521*e^5 + 648369056190/4857521*e^4 - 30524563445/4857521*e^3 - 186210201170/4857521*e^2 + 32996675397/4857521*e + 2870725984/4857521, 70077248/4857521*e^17 - 185808716/4857521*e^16 - 1578011947/4857521*e^15 + 4172010427/4857521*e^14 + 14224426991/4857521*e^13 - 37718179314/4857521*e^12 - 65593652934/4857521*e^11 + 176827101269/4857521*e^10 + 162922097499/4857521*e^9 - 460536451503/4857521*e^8 - 205906424039/4857521*e^7 + 34783091456/255659*e^6 + 97266318080/4857521*e^5 - 481347036258/4857521*e^4 + 24783091214/4857521*e^3 + 138449665076/4857521*e^2 - 25420639869/4857521*e - 2096737120/4857521, 7836162/4857521*e^17 - 24974907/4857521*e^16 - 173024094/4857521*e^15 + 569918313/4857521*e^14 + 1525676852/4857521*e^13 - 5250215591/4857521*e^12 - 6862057372/4857521*e^11 + 25137229825/4857521*e^10 + 16505289140/4857521*e^9 - 66968563069/4857521*e^8 - 19607946816/4857521*e^7 + 5175630828/255659*e^6 + 6820358448/4857521*e^5 - 73083791730/4857521*e^4 + 5726282062/4857521*e^3 + 21233023633/4857521*e^2 - 3900785456/4857521*e - 341009558/4857521, -8994344/4857521*e^17 + 18536329/4857521*e^16 + 205934225/4857521*e^15 - 406199212/4857521*e^14 - 1886782705/4857521*e^13 + 3579041206/4857521*e^12 + 8837907990/4857521*e^11 - 16374410058/4857521*e^10 - 22368896013/4857521*e^9 + 41828932555/4857521*e^8 + 29527084329/4857521*e^7 - 3124605526/255659*e^6 - 17159128406/4857521*e^5 + 43157256635/4857521*e^4 + 1206850465/4857521*e^3 - 12554033138/4857521*e^2 + 1639536864/4857521*e + 271474416/4857521, 90370407/4857521*e^17 - 246685153/4857521*e^16 - 2029915851/4857521*e^15 + 5552068017/4857521*e^14 + 18252318957/4857521*e^13 - 50320386378/4857521*e^12 - 83976735284/4857521*e^11 + 236462629212/4857521*e^10 + 208195004785/4857521*e^9 - 616958905145/4857521*e^8 - 262675043616/4857521*e^7 + 46626796747/255659*e^6 + 123441029794/4857521*e^5 - 644282749275/4857521*e^4 + 32577958672/4857521*e^3 + 184274360957/4857521*e^2 - 32974981444/4857521*e - 2705030784/4857521, 90900483/4857521*e^17 - 238578677/4857521*e^16 - 2051287218/4857521*e^15 + 5354345772/4857521*e^14 + 18543425368/4857521*e^13 - 48376217574/4857521*e^12 - 85860999977/4857521*e^11 + 226597898280/4857521*e^10 + 214694885904/4857521*e^9 - 589497224697/4857521*e^8 - 275106617865/4857521*e^7 + 44458465450/255659*e^6 + 136584540062/4857521*e^5 - 614100545641/4857521*e^4 + 25357448888/4857521*e^3 + 176294755832/4857521*e^2 - 31215050224/4857521*e - 2781370474/4857521, 101910073/4857521*e^17 - 274278766/4857521*e^16 - 2293541772/4857521*e^15 + 6168481951/4857521*e^14 + 20668922338/4857521*e^13 - 55861933888/4857521*e^12 - 95349834920/4857521*e^11 + 262297790081/4857521*e^10 + 237250346459/4857521*e^9 - 683952482351/4857521*e^8 - 301347109608/4857521*e^7 + 51680187927/255659*e^6 + 145144065455/4857521*e^5 - 714520518054/4857521*e^4 + 33150658746/4857521*e^3 + 204703065401/4857521*e^2 - 36293792320/4857521*e - 2999106762/4857521, -26729163/9715042*e^17 + 58023483/9715042*e^16 + 307642859/4857521*e^15 - 641009686/4857521*e^14 - 2847817810/4857521*e^13 + 5699585093/4857521*e^12 + 13576162570/4857521*e^11 - 26309589763/4857521*e^10 - 70638894221/9715042*e^9 + 135350302871/9715042*e^8 + 48466744281/4857521*e^7 - 5068355065/255659*e^6 - 58892595201/9715042*e^5 + 139372494901/9715042*e^4 + 1929704135/4857521*e^3 - 19793462728/4857521*e^2 + 3099102652/4857521*e + 195274384/4857521, -175623825/9715042*e^17 + 480354981/9715042*e^16 + 1974531579/4857521*e^15 - 5408929777/4857521*e^14 - 17783512851/4857521*e^13 + 49051842160/4857521*e^12 + 82033264815/4857521*e^11 - 230615424380/4857521*e^10 - 408504761681/9715042*e^9 + 1203860718577/9715042*e^8 + 259751141600/4857521*e^7 - 45509480527/255659*e^6 - 249909697657/9715042*e^5 + 1258942078997/9715042*e^4 - 29541841248/4857521*e^3 - 180571337188/4857521*e^2 + 31988436776/4857521*e + 2787115940/4857521, 76821018/4857521*e^17 - 213092272/4857521*e^16 - 1723723122/4857521*e^15 + 4803694211/4857521*e^14 + 15484117262/4857521*e^13 - 43615342331/4857521*e^12 - 71188759274/4857521*e^11 + 205341479307/4857521*e^10 + 176418253456/4857521*e^9 - 536771115421/4857521*e^8 - 222487129462/4857521*e^7 + 40639791843/255659*e^6 + 104181555566/4857521*e^5 - 562515870175/4857521*e^4 + 28273630590/4857521*e^3 + 161186659862/4857521*e^2 - 28243306240/4857521*e - 2451550332/4857521, -35502611/9715042*e^17 + 97904753/9715042*e^16 + 398049692/4857521*e^15 - 1105408563/4857521*e^14 - 3566972753/4857521*e^13 + 10063572112/4857521*e^12 + 16302382849/4857521*e^11 - 47574887363/4857521*e^10 - 79735683015/9715042*e^9 + 250236053817/9715042*e^8 + 48649421730/4857521*e^7 - 9551762779/255659*e^6 - 39481726393/9715042*e^5 + 267166176875/9715042*e^4 - 9730102925/4857521*e^3 - 38826870498/4857521*e^2 + 7279854504/4857521*e + 710684710/4857521, 83518969/9715042*e^17 - 219789133/9715042*e^16 - 941772766/4857521*e^15 + 2466949903/4857521*e^14 + 8506821504/4857521*e^13 - 22301200394/4857521*e^12 - 39341273430/4857521*e^11 + 104566365817/4857521*e^10 + 196277107193/9715042*e^9 - 544938994327/9715042*e^8 - 124996280111/4857521*e^7 + 20595271548/255659*e^6 + 121193246023/9715042*e^5 - 570371273545/9715042*e^4 + 13125624040/4857521*e^3 + 81894873535/4857521*e^2 - 14627599855/4857521*e - 1175842562/4857521, 109834053/9715042*e^17 - 304743799/9715042*e^16 - 1232390826/4857521*e^15 + 3435195815/4857521*e^14 + 11072177054/4857521*e^13 - 31191803425/4857521*e^12 - 50914118878/4857521*e^11 + 146852788360/4857521*e^10 + 252398198839/9715042*e^9 - 767737495481/9715042*e^8 - 159150865239/4857521*e^7 + 29064050060/255659*e^6 + 148653424319/9715042*e^5 - 804807266509/9715042*e^4 + 20729230065/4857521*e^3 + 115306207298/4857521*e^2 - 20565349290/4857521*e - 1650887502/4857521, 82651395/4857521*e^17 - 227460233/4857521*e^16 - 1855699291/4857521*e^15 + 5126339580/4857521*e^14 + 16676259764/4857521*e^13 - 46539746434/4857521*e^12 - 76662605177/4857521*e^11 + 219155533952/4857521*e^10 + 189774871652/4857521*e^9 - 573362818224/4857521*e^8 - 238442624811/4857521*e^7 + 43495181274/255659*e^6 + 109609071061/4857521*e^5 - 604308888502/4857521*e^4 + 33282398374/4857521*e^3 + 174310020844/4857521*e^2 - 31614678594/4857521*e - 2706468728/4857521, 14315144/4857521*e^17 - 41836410/4857521*e^16 - 319734738/4857521*e^15 + 947537096/4857521*e^14 + 2858886746/4857521*e^13 - 8650970521/4857521*e^12 - 13082990978/4857521*e^11 + 40991895675/4857521*e^10 + 32231500352/4857521*e^9 - 107961347026/4857521*e^8 - 40060958476/4857521*e^7 + 8248015120/255659*e^6 + 17223494658/4857521*e^5 - 115450060842/4857521*e^4 + 7452090118/4857521*e^3 + 33482249598/4857521*e^2 - 6132847008/4857521*e - 445695612/4857521, -73712736/4857521*e^17 + 193284508/4857521*e^16 + 1664185869/4857521*e^15 - 4342617262/4857521*e^14 - 15048000366/4857521*e^13 + 39298608324/4857521*e^12 + 69656047454/4857521*e^11 - 184506770194/4857521*e^10 - 173877380412/4857521*e^9 + 481570413092/4857521*e^8 + 221515150159/4857521*e^7 - 36476794281/255659*e^6 - 107200006430/4857521*e^5 + 506420151765/4857521*e^4 - 23788547149/4857521*e^3 - 146040929879/4857521*e^2 + 26301617526/4857521*e + 2260066912/4857521, 18302431/4857521*e^17 - 55661667/4857521*e^16 - 403633995/4857521*e^15 + 1260519311/4857521*e^14 + 3544395406/4857521*e^13 - 11504868966/4857521*e^12 - 15791911586/4857521*e^11 + 54476353783/4857521*e^10 + 37276564439/4857521*e^9 - 143274657791/4857521*e^8 - 42636799507/4857521*e^7 + 10919132072/255659*e^6 + 12861851503/4857521*e^5 - 152336975765/4857521*e^4 + 13571896425/4857521*e^3 + 44183653925/4857521*e^2 - 8442796198/4857521*e - 743913632/4857521, -14566538/4857521*e^17 + 37487417/4857521*e^16 + 326792330/4857521*e^15 - 838651306/4857521*e^14 - 2923969174/4857521*e^13 + 7556378524/4857521*e^12 + 13299936076/4857521*e^11 - 35336303327/4857521*e^10 - 32230219538/4857521*e^9 + 91941692774/4857521*e^8 + 38856772666/4857521*e^7 - 6948910566/255659*e^6 - 15903767382/4857521*e^5 + 96250205074/4857521*e^4 - 6791498056/4857521*e^3 - 27611901186/4857521*e^2 + 5329460412/4857521*e + 390061096/4857521, 18538677/4857521*e^17 - 46118252/4857521*e^16 - 424881049/4857521*e^15 + 1038338517/4857521*e^14 + 3916229662/4857521*e^13 - 9417085734/4857521*e^12 - 18593559246/4857521*e^11 + 44312846537/4857521*e^10 + 48124289805/4857521*e^9 - 115933887197/4857521*e^8 - 65125951413/4857521*e^7 + 8805295353/255659*e^6 + 36961427411/4857521*e^5 - 122646326629/4857521*e^4 + 1669838259/4857521*e^3 + 35417720711/4857521*e^2 - 6327249786/4857521*e - 416978010/4857521, 19564928/4857521*e^17 - 49396229/4857521*e^16 - 444326188/4857521*e^15 + 1107159180/4857521*e^14 + 4049276291/4857521*e^13 - 9991990153/4857521*e^12 - 18956108693/4857521*e^11 + 46770464246/4857521*e^10 + 48214247942/4857521*e^9 - 121657028027/4857521*e^8 - 63895047520/4857521*e^7 + 9175788140/255659*e^6 + 35425077435/4857521*e^5 - 126593009496/4857521*e^4 + 1570283480/4857521*e^3 + 36212740612/4857521*e^2 - 5764088402/4857521*e - 682601302/4857521, -50414768/4857521*e^17 + 139531372/4857521*e^16 + 1131954877/4857521*e^15 - 3145826269/4857521*e^14 - 10178537075/4857521*e^13 + 28571947571/4857521*e^12 + 46871321338/4857521*e^11 - 134605681904/4857521*e^10 - 116474366678/4857521*e^9 + 352288058035/4857521*e^8 + 147702835613/4857521*e^7 - 26727669664/255659*e^6 - 70472456194/4857521*e^5 + 371240546633/4857521*e^4 - 17387474639/4857521*e^3 - 107019883336/4857521*e^2 + 18342791836/4857521*e + 1686412546/4857521, -15503137/4857521*e^17 + 36271528/4857521*e^16 + 354300852/4857521*e^15 - 807178419/4857521*e^14 - 3247664940/4857521*e^13 + 7221302951/4857521*e^12 + 15271750618/4857521*e^11 - 33455267432/4857521*e^10 - 38925915817/4857521*e^9 + 86023459826/4857521*e^8 + 51528672426/4857521*e^7 - 6411568191/255659*e^6 - 28502348383/4857521*e^5 + 87589968350/4857521*e^4 - 948674530/4857521*e^3 - 24929938354/4857521*e^2 + 4194703448/4857521*e + 364187544/4857521, 79610612/4857521*e^17 - 207335165/4857521*e^16 - 1795709406/4857521*e^15 + 4646140854/4857521*e^14 + 16222546639/4857521*e^13 - 41913360238/4857521*e^12 - 75044797208/4857521*e^11 + 196049282690/4857521*e^10 + 187415515363/4857521*e^9 - 509453638779/4857521*e^8 - 239891008974/4857521*e^7 + 38393509196/255659*e^6 + 119526085855/4857521*e^5 - 530050162637/4857521*e^4 + 20790174486/4857521*e^3 + 151928882386/4857521*e^2 - 26444504820/4857521*e - 2212588936/4857521, -7990741/4857521*e^17 + 23370934/4857521*e^16 + 177970208/4857521*e^15 - 530005964/4857521*e^14 - 1582953778/4857521*e^13 + 4850434389/4857521*e^12 + 7171596536/4857521*e^11 - 23075824353/4857521*e^10 - 17299750775/4857521*e^9 + 61159028439/4857521*e^8 + 20320637776/4857521*e^7 - 4714614015/255659*e^6 - 6164729463/4857521*e^5 + 66723414347/4857521*e^4 - 7366064204/4857521*e^3 - 19515360228/4857521*e^2 + 4679555956/4857521*e + 233210140/4857521, 43061504/4857521*e^17 - 117161001/4857521*e^16 - 965818472/4857521*e^15 + 2635111619/4857521*e^14 + 8667058643/4857521*e^13 - 23879204986/4857521*e^12 - 39769517534/4857521*e^11 + 112299258522/4857521*e^10 + 98246352484/4857521*e^9 - 293651577589/4857521*e^8 - 123384219265/4857521*e^7 + 22284714851/255659*e^6 + 57488886668/4857521*e^5 - 309894518267/4857521*e^4 + 15926644988/4857521*e^3 + 89474127791/4857521*e^2 - 15981102012/4857521*e - 1413427550/4857521, -49280838/4857521*e^17 + 130846486/4857521*e^16 + 1108956262/4857521*e^15 - 2939174652/4857521*e^14 - 9983876453/4857521*e^13 + 26586946648/4857521*e^12 + 45938965743/4857521*e^11 - 124728394008/4857521*e^10 - 113671724967/4857521*e^9 + 325108938148/4857521*e^8 + 142649659321/4857521*e^7 - 24573110862/255659*e^6 - 66064473192/4857521*e^5 + 340140383908/4857521*e^4 - 18229487484/4857521*e^3 - 97728257396/4857521*e^2 + 17807564536/4857521*e + 1464944382/4857521, -44761029/4857521*e^17 + 121688945/4857521*e^16 + 1005258557/4857521*e^15 - 2738511847/4857521*e^14 - 9034018340/4857521*e^13 + 24822138592/4857521*e^12 + 41513470890/4857521*e^11 - 116690648167/4857521*e^10 - 102666555449/4857521*e^9 + 304731818217/4857521*e^8 + 128883813737/4857521*e^7 - 23064609278/255659*e^6 - 59681814049/4857521*e^5 + 319390280567/4857521*e^4 - 16692695145/4857521*e^3 - 91670236283/4857521*e^2 + 16290906042/4857521*e + 1389472010/4857521, -105543618/4857521*e^17 + 285389759/4857521*e^16 + 2374536784/4857521*e^15 - 6421070899/4857521*e^14 - 21392173282/4857521*e^13 + 58175926243/4857521*e^12 + 98657494377/4857521*e^11 - 273284821480/4857521*e^10 - 245388551855/4857521*e^9 + 712853653603/4857521*e^8 + 311376187894/4857521*e^7 - 53871182938/255659*e^6 - 149189852589/4857521*e^5 + 744632776333/4857521*e^4 - 35342438417/4857521*e^3 - 213221592446/4857521*e^2 + 37958164317/4857521*e + 3166391716/4857521, 172110559/9715042*e^17 - 446522263/9715042*e^16 - 1948540436/4857521*e^15 + 5012878453/4857521*e^14 + 17694661583/4857521*e^13 - 45322746967/4857521*e^12 - 82446126028/4857521*e^11 + 212520513936/4857521*e^10 + 416154660407/9715042*e^9 - 1107506222799/9715042*e^8 - 270964938042/4857521*e^7 + 41859786249/255659*e^6 + 281887842097/9715042*e^5 - 1160238100235/9715042*e^4 + 18099209036/4857521*e^3 + 167260486574/4857521*e^2 - 28490876372/4857521*e - 2589108804/4857521, -2373841/255659*e^17 + 6351053/255659*e^16 + 53637361/255659*e^15 - 143100486/255659*e^14 - 485980860/255659*e^13 + 1298847796/255659*e^12 + 2259003655/255659*e^11 - 6115358366/255659*e^10 - 5685705305/255659*e^9 + 15999275107/255659*e^8 + 7369477260/255659*e^7 - 23064333776/255659*e^6 - 3764642045/255659*e^5 + 16870228125/255659*e^4 - 591891528/255659*e^3 - 4869851504/255659*e^2 + 822430408/255659*e + 79168876/255659, 71876762/4857521*e^17 - 204020931/4857521*e^16 - 1605968456/4857521*e^15 + 4603784609/4857521*e^14 + 14347912740/4857521*e^13 - 41845219510/4857521*e^12 - 65485826548/4857521*e^11 + 197224704140/4857521*e^10 + 160552849592/4857521*e^9 - 516124584275/4857521*e^8 - 198505861538/4857521*e^7 + 39125646789/255659*e^6 + 86620726412/4857521*e^5 - 542626488934/4857521*e^4 + 32477202674/4857521*e^3 + 156186807620/4857521*e^2 - 27888117200/4857521*e - 2514032212/4857521, 251172203/9715042*e^17 - 703071883/9715042*e^16 - 2813693167/4857521*e^15 + 7926757150/4857521*e^14 + 25226683985/4857521*e^13 - 71983954562/4857521*e^12 - 115679071938/4857521*e^11 + 338904069761/4857521*e^10 + 571034144889/9715042*e^9 - 1771467811967/9715042*e^8 - 357063781065/4857521*e^7 + 67038168404/255659*e^6 + 323092052983/9715042*e^5 - 1855451048131/9715042*e^4 + 52539320898/4857521*e^3 + 265853660908/4857521*e^2 - 48129440982/4857521*e - 3979520472/4857521, -41077407/4857521*e^17 + 99137647/4857521*e^16 + 937442969/4857521*e^15 - 2214002661/4857521*e^14 - 8587566607/4857521*e^13 + 19899244344/4857521*e^12 + 40402449550/4857521*e^11 - 92739589086/4857521*e^10 - 103151208928/4857521*e^9 + 240228015603/4857521*e^8 + 136710523042/4857521*e^7 - 18061727771/255659*e^6 - 74764642763/4857521*e^5 + 249018864135/4857521*e^4 - 4867320482/4857521*e^3 - 71328036179/4857521*e^2 + 12829923410/4857521*e + 962262006/4857521, -64778208/4857521*e^17 + 179330126/4857521*e^16 + 1458293185/4857521*e^15 - 4046943656/4857521*e^14 - 13163136322/4857521*e^13 + 36783950506/4857521*e^12 + 60958262922/4857521*e^11 - 173351828485/4857521*e^10 - 152789416515/4857521*e^9 + 453551991317/4857521*e^8 + 196527668315/4857521*e^7 - 34372047675/255659*e^6 - 97061296266/4857521*e^5 + 476529845768/4857521*e^4 - 20722402775/4857521*e^3 - 136928008870/4857521*e^2 + 24193475267/4857521*e + 1996061876/4857521, 60000878/4857521*e^17 - 162694615/4857521*e^16 - 1352949457/4857521*e^15 + 3665976797/4857521*e^14 + 12231813658/4857521*e^13 - 33276274614/4857521*e^12 - 56720020290/4857521*e^11 + 156679734288/4857521*e^10 + 142262677518/4857521*e^9 - 409883612336/4857521*e^8 - 182909104945/4857521*e^7 + 31093165549/255659*e^6 + 90116021638/4857521*e^5 - 432100976189/4857521*e^4 + 19280925223/4857521*e^3 + 124820338929/4857521*e^2 - 22180732624/4857521*e - 1980496078/4857521, -80730570/4857521*e^17 + 216490459/4857521*e^16 + 1819081943/4857521*e^15 - 4870126104/4857521*e^14 - 16420680128/4857521*e^13 + 44122778178/4857521*e^12 + 75934930139/4857521*e^11 - 207317689984/4857521*e^10 - 189648849099/4857521*e^9 + 541164128331/4857521*e^8 + 242510302627/4857521*e^7 - 40955685594/255659*e^6 - 119108155817/4857521*e^5 + 567408070869/4857521*e^4 - 24568333736/4857521*e^3 - 162803040196/4857521*e^2 + 28795828756/4857521*e + 2302912750/4857521, -83490621/4857521*e^17 + 226945825/4857521*e^16 + 1878234025/4857521*e^15 - 5109218810/4857521*e^14 - 16924676287/4857521*e^13 + 46326596486/4857521*e^12 + 78113181156/4857521*e^11 - 217847694384/4857521*e^10 - 194610513149/4857521*e^9 + 569072113291/4857521*e^8 + 247699267860/4857521*e^7 - 43099696700/255659*e^6 - 119320849280/4857521*e^5 + 597850027953/4857521*e^4 - 28290794967/4857521*e^3 - 172176559376/4857521*e^2 + 30651210574/4857521*e + 2622101104/4857521, 66845837/4857521*e^17 - 172069709/4857521*e^16 - 1514120662/4857521*e^15 + 3858804149/4857521*e^14 + 13756508710/4857521*e^13 - 34841891258/4857521*e^12 - 64147253917/4857521*e^11 + 163148649867/4857521*e^10 + 162140568737/4857521*e^9 - 424538866623/4857521*e^8 - 211914017671/4857521*e^7 + 32053389442/255659*e^6 + 111614082890/4857521*e^5 - 443650073711/4857521*e^4 + 12830630195/4857521*e^3 + 127529980286/4857521*e^2 - 22080316788/4857521*e - 1887403374/4857521, 1856351/255659*e^17 - 5101090/255659*e^16 - 41746675/255659*e^15 + 114813762/255659*e^14 + 376276806/255659*e^13 - 1040030252/255659*e^12 - 1739200239/255659*e^11 + 4879583012/255659*e^10 + 4350112189/255659*e^9 - 12691840150/255659*e^8 - 5595470213/255659*e^7 + 18133999542/255659*e^6 + 2824794266/255659*e^5 - 13107199866/255659*e^4 + 446940153/255659*e^3 + 3736094674/255659*e^2 - 601020996/255659*e - 61958232/255659, -2314554/4857521*e^17 + 14009314/4857521*e^16 + 44853283/4857521*e^15 - 326804664/4857521*e^14 - 328840134/4857521*e^13 + 3067303797/4857521*e^12 + 1097906631/4857521*e^11 - 14853345331/4857521*e^10 - 1257306159/4857521*e^9 + 39556110645/4857521*e^8 - 2170971355/4857521*e^7 - 3010322755/255659*e^6 + 8230123223/4857521*e^5 + 41262698329/4857521*e^4 - 8789152228/4857521*e^3 - 11532988031/4857521*e^2 + 3104220465/4857521*e + 143620350/4857521, -8717943/4857521*e^17 + 26251275/4857521*e^16 + 195207761/4857521*e^15 - 598132988/4857521*e^14 - 1749825398/4857521*e^13 + 5494173934/4857521*e^12 + 8014275324/4857521*e^11 - 26184018175/4857521*e^10 - 19605458558/4857521*e^9 + 69327430968/4857521*e^8 + 23379219404/4857521*e^7 - 5325524195/255659*e^6 - 7164522840/4857521*e^5 + 75158007494/4857521*e^4 - 8446144706/4857521*e^3 - 22143867658/4857521*e^2 + 5197127315/4857521*e + 266997588/4857521, -81799685/9715042*e^17 + 220941097/9715042*e^16 + 919776066/4857521*e^15 - 2485640949/4857521*e^14 - 8281335437/4857521*e^13 + 22532131572/4857521*e^12 + 38152374854/4857521*e^11 - 105981773397/4857521*e^10 - 189335788147/9715042*e^9 + 554189271299/9715042*e^8 + 119263894338/4857521*e^7 - 21012661005/255659*e^6 - 110160601127/9715042*e^5 + 583037770041/9715042*e^4 - 16513996038/4857521*e^3 - 83480161420/4857521*e^2 + 15828597612/4857521*e + 1126173144/4857521, -64766775/9715042*e^17 + 173055255/9715042*e^16 + 727976033/4857521*e^15 - 1938523730/4857521*e^14 - 6554904463/4857521*e^13 + 17472822303/4857521*e^12 + 30233860338/4857521*e^11 - 81569184472/4857521*e^10 - 150635754711/9715042*e^9 + 422339556419/9715042*e^8 + 96123608593/4857521*e^7 - 15814082279/255659*e^6 - 94816762325/9715042*e^5 + 432636007661/9715042*e^4 - 8903130878/4857521*e^3 - 61260549598/4857521*e^2 + 10761600014/4857521*e + 821494106/4857521, -24854150/4857521*e^17 + 71018515/4857521*e^16 + 558740952/4857521*e^15 - 1607609786/4857521*e^14 - 5039918518/4857521*e^13 + 14661452595/4857521*e^12 + 23350992222/4857521*e^11 - 69334778133/4857521*e^10 - 58644163610/4857521*e^9 + 181995834970/4857521*e^8 + 75660929642/4857521*e^7 - 13829717191/255659*e^6 - 37403794558/4857521*e^5 + 192087730116/4857521*e^4 - 8082123686/4857521*e^3 - 55185728138/4857521*e^2 + 9226265620/4857521*e + 801797016/4857521, -129593425/9715042*e^17 + 354834591/9715042*e^16 + 1456890220/4857521*e^15 - 3996622086/4857521*e^14 - 13118631450/4857521*e^13 + 36256033485/4857521*e^12 + 60488304813/4857521*e^11 - 170536070569/4857521*e^10 - 300938095915/9715042*e^9 + 890958008937/9715042*e^8 + 190887212779/4857521*e^7 - 33735241898/255659*e^6 - 181594728075/9715042*e^5 + 936248052951/9715042*e^4 - 23029033091/4857521*e^3 - 135091902628/4857521*e^2 + 23901070878/4857521*e + 2140757488/4857521, -80482705/4857521*e^17 + 230412039/4857521*e^16 + 1797778014/4857521*e^15 - 5205369896/4857521*e^14 - 16055605086/4857521*e^13 + 47371065910/4857521*e^12 + 73228286106/4857521*e^11 - 223540562210/4857521*e^10 - 179193225185/4857521*e^9 + 585673589187/4857521*e^8 + 220044938057/4857521*e^7 - 44447264880/255659*e^6 - 92100167024/4857521*e^5 + 616993803930/4857521*e^4 - 41437469857/4857521*e^3 - 177422816140/4857521*e^2 + 33031505788/4857521*e + 2676220054/4857521, -112797054/4857521*e^17 + 298957163/4857521*e^16 + 2540203344/4857521*e^15 - 6713501435/4857521*e^14 - 22899247427/4857521*e^13 + 60710230236/4857521*e^12 + 105592422446/4857521*e^11 - 284732716880/4857521*e^10 - 262175182750/4857521*e^9 + 742029088053/4857521*e^8 + 330861960845/4857521*e^7 - 56087785081/255659*e^6 - 155219369134/4857521*e^5 + 776614021847/4857521*e^4 - 40889944288/4857521*e^3 - 223147414125/4857521*e^2 + 40941609864/4857521*e + 3342189838/4857521, -48374717/9715042*e^17 + 151770753/9715042*e^16 + 534139493/4857521*e^15 - 1727475982/4857521*e^14 - 4704146607/4857521*e^13 + 15858333528/4857521*e^12 + 21079796762/4857521*e^11 - 75563133144/4857521*e^10 - 100598903399/9715042*e^9 + 400168047239/9715042*e^8 + 58802964516/4857521*e^7 - 15362869753/255659*e^6 - 38941642685/9715042*e^5 + 432302462793/9715042*e^4 - 17279708016/4857521*e^3 - 63289016016/4857521*e^2 + 11226512530/4857521*e + 1158592948/4857521, 43768721/4857521*e^17 - 107796499/4857521*e^16 - 995432901/4857521*e^15 + 2408382286/4857521*e^14 + 9082725314/4857521*e^13 - 21653906051/4857521*e^12 - 42542627000/4857521*e^11 + 100934244982/4857521*e^10 + 108098173319/4857521*e^9 - 261414667999/4857521*e^8 - 142617475731/4857521*e^7 + 19642592107/255659*e^6 + 77874358921/4857521*e^5 - 270499610363/4857521*e^4 + 4616264037/4857521*e^3 + 77416101809/4857521*e^2 - 13103509114/4857521*e - 1113754756/4857521, 319112319/9715042*e^17 - 852504941/9715042*e^16 - 3595308567/4857521*e^15 + 9588262250/4857521*e^14 + 32442080301/4857521*e^13 - 86868131692/4857521*e^12 - 149844085398/4857521*e^11 + 408208661975/4857521*e^10 + 746291981551/9715042*e^9 - 2131729624863/9715042*e^8 - 473630882967/4857521*e^7 + 80709643615/255659*e^6 + 452056466133/9715042*e^5 - 2238670936943/9715042*e^4 + 55414090442/4857521*e^3 + 322193168702/4857521*e^2 - 58302317828/4857521*e - 4892732154/4857521, 104970590/4857521*e^17 - 284828182/4857521*e^16 - 2358130837/4857521*e^15 + 6405480249/4857521*e^14 + 21203442073/4857521*e^13 - 58007605470/4857521*e^12 - 97533340482/4857521*e^11 + 272385656140/4857521*e^10 + 241667582989/4857521*e^9 - 710372842114/4857521*e^8 - 304569228072/4857521*e^7 + 53698551297/255659*e^6 + 142807240194/4857521*e^5 - 743137132978/4857521*e^4 + 37820552070/4857521*e^3 + 213419389477/4857521*e^2 - 38098218380/4857521*e - 3203700036/4857521, 22913139/4857521*e^17 - 67777538/4857521*e^16 - 507667117/4857521*e^15 + 1534525391/4857521*e^14 + 4480220905/4857521*e^13 - 14002996400/4857521*e^12 - 20065042753/4857521*e^11 + 66305259420/4857521*e^10 + 47624463838/4857521*e^9 - 174452762486/4857521*e^8 - 54888220027/4857521*e^7 + 13304446471/255659*e^6 + 17154505178/4857521*e^5 - 185547782842/4857521*e^4 + 16705436886/4857521*e^3 + 53449945579/4857521*e^2 - 10324801082/4857521*e - 801523134/4857521, -133832821/9715042*e^17 + 366920663/9715042*e^16 + 1501712775/4857521*e^15 - 4125908779/4857521*e^14 - 13490709358/4857521*e^13 + 37353228358/4857521*e^12 + 62017857694/4857521*e^11 - 175256407795/4857521*e^10 - 307285780073/9715042*e^9 + 912680692487/9715042*e^8 + 193718982220/4857521*e^7 - 34411935814/255659*e^6 - 182080562359/9715042*e^5 + 949884577815/9715042*e^4 - 23689938666/4857521*e^3 - 136347792034/4857521*e^2 + 24038177914/4857521*e + 2263954026/4857521, 197128652/4857521*e^17 - 523505102/4857521*e^16 - 4445531752/4857521*e^15 + 11765933676/4857521*e^14 + 40163391683/4857521*e^13 - 106488795328/4857521*e^12 - 185874469710/4857521*e^11 + 499800231944/4857521*e^10 + 464505445832/4857521*e^9 - 1303132259760/4857521*e^8 - 594183517919/4857521*e^7 + 98510228796/255659*e^6 + 292010913055/4857521*e^5 - 1363693219230/4857521*e^4 + 59467437219/4857521*e^3 + 391791163444/4857521*e^2 - 69708359250/4857521*e - 5910979140/4857521, 107616732/4857521*e^17 - 299304972/4857521*e^16 - 2410586438/4857521*e^15 + 6746497863/4857521*e^14 + 21596933393/4857521*e^13 - 61257976946/4857521*e^12 - 98867680795/4857521*e^11 + 288502490356/4857521*e^10 + 243159405426/4857521*e^9 - 754830589308/4857521*e^8 - 301706733591/4857521*e^7 + 57253982097/255659*e^6 + 132641830836/4857521*e^5 - 795084596808/4857521*e^4 + 48422726934/4857521*e^3 + 229010972733/4857521*e^2 - 41901965246/4857521*e - 3443764690/4857521, 103397325/4857521*e^17 - 279491173/4857521*e^16 - 2329930206/4857521*e^15 + 6290682433/4857521*e^14 + 21042060950/4857521*e^13 - 57014479258/4857521*e^12 - 97416190896/4857521*e^11 + 267905956221/4857521*e^10 + 243774335354/4857521*e^9 - 698976747206/4857521*e^8 - 312494180034/4857521*e^7 + 52836815202/255659*e^6 + 153470354836/4857521*e^5 - 730845708557/4857521*e^4 + 32700436847/4857521*e^3 + 209617324436/4857521*e^2 - 37645993294/4857521*e - 3148787062/4857521, 65746645/4857521*e^17 - 183390610/4857521*e^16 - 1474995418/4857521*e^15 + 4139315624/4857521*e^14 + 13245157394/4857521*e^13 - 37641914830/4857521*e^12 - 60845534506/4857521*e^11 + 177567748338/4857521*e^10 + 150469564350/4857521*e^9 - 465339429090/4857521*e^8 - 188528298599/4857521*e^7 + 35346428634/255659*e^6 + 85351682966/4857521*e^5 - 491278438568/4857521*e^4 + 28014830236/4857521*e^3 + 141526953150/4857521*e^2 - 25562211660/4857521*e - 2247395514/4857521, -1075676/4857521*e^17 + 1135559/4857521*e^16 + 25920454/4857521*e^15 - 19939605/4857521*e^14 - 253339728/4857521*e^13 + 115599112/4857521*e^12 + 1287176833/4857521*e^11 - 161177450/4857521*e^10 - 3601622244/4857521*e^9 - 762009781/4857521*e^8 + 5348878251/4857521*e^7 + 150327183/255659*e^6 - 3573879905/4857521*e^5 - 2876069639/4857521*e^4 + 557698897/4857521*e^3 + 506372207/4857521*e^2 + 152924538/4857521*e + 68823570/4857521, 110138187/4857521*e^17 - 307702850/4857521*e^16 - 2467375339/4857521*e^15 + 6936054657/4857521*e^14 + 22117515540/4857521*e^13 - 62962611246/4857521*e^12 - 101388427356/4857521*e^11 + 296302169300/4857521*e^10 + 250134709002/4857521*e^9 - 774057131216/4857521*e^8 - 312760830111/4857521*e^7 + 58567450177/255659*e^6 + 142015981224/4857521*e^5 - 810553155052/4857521*e^4 + 44857946836/4857521*e^3 + 232438342439/4857521*e^2 - 41594217750/4857521*e - 3429109438/4857521, -52347082/4857521*e^17 + 139466171/4857521*e^16 + 1178582640/4857521*e^15 - 3133346215/4857521*e^14 - 10621503608/4857521*e^13 + 28340182590/4857521*e^12 + 48964402339/4857521*e^11 - 132868412632/4857521*e^10 - 121576352532/4857521*e^9 + 345805815067/4857521*e^8 + 153634596274/4857521*e^7 - 26064056993/255659*e^6 - 72781098605/4857521*e^5 + 359075425917/4857521*e^4 - 17976853618/4857521*e^3 - 102364444111/4857521*e^2 + 18740078968/4857521*e + 1485614056/4857521, -122462114/4857521*e^17 + 345066870/4857521*e^16 + 2742651800/4857521*e^15 - 7785758636/4857521*e^14 - 24584280316/4857521*e^13 + 70755571752/4857521*e^12 + 112748153454/4857521*e^11 - 333410172978/4857521*e^10 - 278518516084/4857521*e^9 + 872321500420/4857521*e^8 + 349175392544/4857521*e^7 - 66126530040/255659*e^6 - 159531179566/4857521*e^5 + 917662327442/4857521*e^4 - 49748344510/4857521*e^3 - 264608614560/4857521*e^2 + 46618676342/4857521*e + 4236211396/4857521, -30524870/4857521*e^17 + 76193402/4857521*e^16 + 696058610/4857521*e^15 - 1708291911/4857521*e^14 - 6380677519/4857521*e^13 + 15427134838/4857521*e^12 + 30125993712/4857521*e^11 - 72298869972/4857521*e^10 - 77610136815/4857521*e^9 + 188450889572/4857521*e^8 + 105035683640/4857521*e^7 - 14261251719/255659*e^6 - 61135099456/4857521*e^5 + 197742890696/4857521*e^4 + 158627297/4857521*e^3 - 56782115103/4857521*e^2 + 8754674186/4857521*e + 811740014/4857521, 86848892/4857521*e^17 - 226508161/4857521*e^16 - 1961979046/4857521*e^15 + 5080845038/4857521*e^14 + 17762548368/4857521*e^13 - 45878188794/4857521*e^12 - 82418718572/4857521*e^11 + 214746036510/4857521*e^10 + 206746167706/4857521*e^9 - 558139122047/4857521*e^8 - 266481444693/4857521*e^7 + 42031862936/255659*e^6 + 134884201109/4857521*e^5 - 579119736809/4857521*e^4 + 21414415703/4857521*e^3 + 165500947886/4857521*e^2 - 29059702622/4857521*e - 2492573860/4857521, 65834332/4857521*e^17 - 179930787/4857521*e^16 - 1480252066/4857521*e^15 + 4052900880/4857521*e^14 + 13328114027/4857521*e^13 - 36762675640/4857521*e^12 - 61447024069/4857521*e^11 + 172892129248/4857521*e^10 + 152881025576/4857521*e^9 - 451508521043/4857521*e^8 - 194385657773/4857521*e^7 + 34173815897/255659*e^6 + 94094025998/4857521*e^5 - 473818878102/4857521*e^4 + 20877873382/4857521*e^3 + 136747039984/4857521*e^2 - 23298976036/4857521*e - 2229905950/4857521, 293384285/9715042*e^17 - 809435579/9715042*e^16 - 3295659331/4857521*e^15 + 9122308437/4857521*e^14 + 29651963363/4857521*e^13 - 82809408050/4857521*e^12 - 136612823197/4857521*e^11 + 389765866887/4857521*e^10 + 679168375807/9715042*e^9 - 2037327510287/9715042*e^8 - 430573525706/4857521*e^7 + 77141960537/255659*e^6 + 410028809411/9715042*e^5 - 2138754590243/9715042*e^4 + 51365694959/4857521*e^3 + 307806562080/4857521*e^2 - 53815865139/4857521*e - 4746033056/4857521, -40960497/4857521*e^17 + 104556189/4857521*e^16 + 923622568/4857521*e^15 - 2335085018/4857521*e^14 - 8332584434/4857521*e^13 + 20975767610/4857521*e^12 + 38420313982/4857521*e^11 - 97593842122/4857521*e^10 - 95319440623/4857521*e^9 + 251922174927/4857521*e^8 + 120435446637/4857521*e^7 - 18825483336/255659*e^6 - 58057095359/4857521*e^5 + 257074599761/4857521*e^4 - 11638624237/4857521*e^3 - 72517598776/4857521*e^2 + 13167078536/4857521*e + 896647160/4857521, -766607/9715042*e^17 - 440527/9715042*e^16 + 6475217/4857521*e^15 + 10398215/4857521*e^14 - 27204153/4857521*e^13 - 135513585/4857521*e^12 - 113174764/4857521*e^11 + 736940544/4857521*e^10 + 2640329181/9715042*e^9 - 3484639587/9715042*e^8 - 4287631499/4857521*e^7 + 67024811/255659*e^6 + 12079423635/9715042*e^5 + 1906576577/9715042*e^4 - 3521567989/4857521*e^3 - 1375506424/4857521*e^2 + 599673108/4857521*e + 245516066/4857521, -51652399/4857521*e^17 + 129653058/4857521*e^16 + 1171634032/4857521*e^15 - 2901596604/4857521*e^14 - 10655465957/4857521*e^13 + 26143308846/4857521*e^12 + 49698926568/4857521*e^11 - 122172046456/4857521*e^10 - 125527790061/4857521*e^9 + 317372931094/4857521*e^8 + 163856843322/4857521*e^7 - 23927973284/255659*e^6 - 86532920093/4857521*e^5 + 330645208502/4857521*e^4 - 9065719578/4857521*e^3 - 94923770262/4857521*e^2 + 16521377928/4857521*e + 1555671814/4857521, -96547357/4857521*e^17 + 252389909/4857521*e^16 + 2185720546/4857521*e^15 - 5669429924/4857521*e^14 - 19852962528/4857521*e^13 + 51278669826/4857521*e^12 + 92590780912/4857521*e^11 - 240498414299/4857521*e^10 - 234199910029/4857521*e^9 + 626561513396/4857521*e^8 + 306400226496/4857521*e^7 - 47329159963/255659*e^6 - 161340352971/4857521*e^5 + 654899903992/4857521*e^4 - 18931865490/4857521*e^3 - 188352431316/4857521*e^2 + 32138659992/4857521*e + 3014355036/4857521, -57324394/4857521*e^17 + 158640133/4857521*e^16 + 1287182491/4857521*e^15 - 3576954640/4857521*e^14 - 11571962094/4857521*e^13 + 32486719233/4857521*e^12 + 53241147910/4857521*e^11 - 153014211157/4857521*e^10 - 131959404782/4857521*e^9 + 400256934184/4857521*e^8 + 166024736043/4857521*e^7 - 30337313037/255659*e^6 - 76344225226/4857521*e^5 + 420589313470/4857521*e^4 - 23227388273/4857521*e^3 - 120611437903/4857521*e^2 + 21995009682/4857521*e + 1729615148/4857521, 66852831/9715042*e^17 - 190179617/9715042*e^16 - 746758718/4857521*e^15 + 2140953951/4857521*e^14 + 6677914931/4857521*e^13 - 19399021884/4857521*e^12 - 30567978565/4857521*e^11 + 91023378692/4857521*e^10 + 150884805411/9715042*e^9 - 473351964493/9715042*e^8 - 94719320523/4857521*e^7 + 17780885247/255659*e^6 + 87769875807/9715042*e^5 - 487483167437/9715042*e^4 + 12478050585/4857521*e^3 + 69182007134/4857521*e^2 - 12176195864/4857521*e - 1068051278/4857521, 39663767/4857521*e^17 - 112191121/4857521*e^16 - 888415489/4857521*e^15 + 2532236690/4857521*e^14 + 7969190411/4857521*e^13 - 23026529752/4857521*e^12 - 36609219147/4857521*e^11 + 108602880478/4857521*e^10 + 90721129877/4857521*e^9 - 284462756596/4857521*e^8 - 114422803326/4857521*e^7 + 21585433406/255659*e^6 + 53279368502/4857521*e^5 - 299622709323/4857521*e^4 + 15162302429/4857521*e^3 + 86319645436/4857521*e^2 - 14779332842/4857521*e - 1430180770/4857521, -45275934/4857521*e^17 + 123651144/4857521*e^16 + 1017545481/4857521*e^15 - 2780939074/4857521*e^14 - 9157941982/4857521*e^13 + 25169746174/4857521*e^12 + 42201602764/4857521*e^11 - 117998957916/4857521*e^10 - 104908865809/4857521*e^9 + 306771184538/4857521*e^8 + 132984219212/4857521*e^7 - 23073526144/255659*e^6 - 63188331512/4857521*e^5 + 317224727454/4857521*e^4 - 16047021294/4857521*e^3 - 90455484414/4857521*e^2 + 16631438044/4857521*e + 1314677932/4857521, -74916363/9715042*e^17 + 204722335/9715042*e^16 + 843292709/4857521*e^15 - 2302923178/4857521*e^14 - 7612495275/4857521*e^13 + 20853326179/4857521*e^12 + 35258625013/4857521*e^11 - 97823319006/4857521*e^10 - 176816174161/9715042*e^9 + 509001413063/9715042*e^8 + 113894116354/4857521*e^7 - 19155846568/255659*e^6 - 113734152867/9715042*e^5 + 527058718341/9715042*e^4 - 10830674011/4857521*e^3 - 75184807620/4857521*e^2 + 13329222248/4857521*e + 1042787040/4857521, -116764134/4857521*e^17 + 311215466/4857521*e^16 + 2631057733/4857521*e^15 - 6998840381/4857521*e^14 - 23739798312/4857521*e^13 + 63394320745/4857521*e^12 + 109635573288/4857521*e^11 - 297857414022/4857521*e^10 - 272975692172/4857521*e^9 + 777720777433/4857521*e^8 + 346534628721/4857521*e^7 - 58902094945/255659*e^6 - 165791126180/4857521*e^5 + 817293512734/4857521*e^4 - 39914285535/4857521*e^3 - 235526528385/4857521*e^2 + 42397470638/4857521*e + 3666811072/4857521, -243629474/4857521*e^17 + 662941596/4857521*e^16 + 5478530990/4857521*e^15 - 14926346162/4857521*e^14 - 49328244741/4857521*e^13 + 135345496132/4857521*e^12 + 227338713067/4857521*e^11 - 636385209814/4857521*e^10 - 564864370644/4857521*e^9 + 1661815634132/4857521*e^8 + 714975360436/4857521*e^7 - 125766451248/255659*e^6 - 338499127669/4857521*e^5 + 1742152212054/4857521*e^4 - 86800548197/4857521*e^3 - 500524085236/4857521*e^2 + 89302471908/4857521*e + 7494402548/4857521, -138878851/4857521*e^17 + 378324145/4857521*e^16 + 3125851963/4857521*e^15 - 8518907282/4857521*e^14 - 28191452220/4857521*e^13 + 77246366832/4857521*e^12 + 130303345178/4857521*e^11 - 363147859094/4857521*e^10 - 325435760780/4857521*e^9 + 947876867561/4857521*e^8 + 416115118843/4857521*e^7 - 71675351602/255659*e^6 - 203346714615/4857521*e^5 + 991601110411/4857521*e^4 - 44214454047/4857521*e^3 - 284361861130/4857521*e^2 + 50245741664/4857521*e + 4211405276/4857521, 85187003/9715042*e^17 - 227841535/9715042*e^16 - 962205881/4857521*e^15 + 2562164992/4857521*e^14 + 8720304050/4857521*e^13 - 23193303460/4857521*e^12 - 40584898642/4857521*e^11 + 108769554033/4857521*e^10 + 204959587215/9715042*e^9 - 565800305663/9715042*e^8 - 133875765870/4857521*e^7 + 21278880968/255659*e^6 + 140252870145/9715042*e^5 - 583987269677/9715042*e^4 + 9077541617/4857521*e^3 + 82596523814/4857521*e^2 - 14555710552/4857521*e - 982997840/4857521, 50306743/4857521*e^17 - 142189334/4857521*e^16 - 1121264139/4857521*e^15 + 3204780079/4857521*e^14 + 9975792618/4857521*e^13 - 29093120748/4857521*e^12 - 45208371492/4857521*e^11 + 136947205411/4857521*e^10 + 109461577705/4857521*e^9 - 357883701845/4857521*e^8 - 132000539929/4857521*e^7 + 27075523254/255659*e^6 + 52635189991/4857521*e^5 - 373966850634/4857521*e^4 + 26557671737/4857521*e^3 + 106586038795/4857521*e^2 - 20069427820/4857521*e - 1527711110/4857521, 4032103/255659*e^17 - 11036930/255659*e^16 - 90495760/255659*e^15 + 248736482/255659*e^14 + 812271029/255659*e^13 - 2258343378/255659*e^12 - 3724498211/255659*e^11 + 10637292192/255659*e^10 + 9175538880/255659*e^9 - 27843716352/255659*e^8 - 11428530265/255659*e^7 + 40159183752/255659*e^6 + 5143235053/255659*e^5 - 29379240216/255659*e^4 + 1658563227/255659*e^3 + 8471141956/255659*e^2 - 1519126820/255659*e - 125640948/255659, -101156026/4857521*e^17 + 286018166/4857521*e^16 + 2262406283/4857521*e^15 - 6454608038/4857521*e^14 - 20239366932/4857521*e^13 + 58675867451/4857521*e^12 + 92549821740/4857521*e^11 - 276613755501/4857521*e^10 - 227597287374/4857521*e^9 + 724155423322/4857521*e^8 + 283122493421/4857521*e^7 - 54928421058/255659*e^6 - 126333082042/4857521*e^5 + 762380944194/4857521*e^4 - 43489093153/4857521*e^3 - 219481447317/4857521*e^2 + 39048738450/4857521*e + 3394591494/4857521, -119429982/4857521*e^17 + 329629048/4857521*e^16 + 2679420345/4857521*e^15 - 7422817892/4857521*e^14 - 24062059874/4857521*e^13 + 67313424842/4857521*e^12 + 110551708223/4857521*e^11 - 316490861415/4857521*e^10 - 273503975890/4857521*e^9 + 826230473582/4857521*e^8 + 343214680886/4857521*e^7 - 62492927083/255659*e^6 - 156918478232/4857521*e^5 + 865031789532/4857521*e^4 - 48471991787/4857521*e^3 - 248451199750/4857521*e^2 + 45247806935/4857521*e + 3833997140/4857521, 100235593/4857521*e^17 - 275803815/4857521*e^16 - 2247014298/4857521*e^15 + 6205908856/4857521*e^14 + 20154098606/4857521*e^13 - 56228157239/4857521*e^12 - 92429684505/4857521*e^11 + 264108436355/4857521*e^10 + 228129601422/4857521*e^9 - 688684316659/4857521*e^8 - 285675987965/4857521*e^7 + 52008443171/255659*e^6 + 131295650569/4857521*e^5 - 717987377512/4857521*e^4 + 38286101477/4857521*e^3 + 205025618023/4857521*e^2 - 36708893397/4857521*e - 2965735786/4857521, 11481165/9715042*e^17 - 36541473/9715042*e^16 - 123299659/4857521*e^15 + 408971434/4857521*e^14 + 1043436287/4857521*e^13 - 3675094487/4857521*e^12 - 4407271002/4857521*e^11 + 17044105324/4857521*e^10 + 19162904673/9715042*e^9 - 87222889803/9715042*e^8 - 9421152454/4857521*e^7 + 3208311068/255659*e^6 + 2410990803/9715042*e^5 - 85757423601/9715042*e^4 + 3752300530/4857521*e^3 + 11840318034/4857521*e^2 - 1641900814/4857521*e - 262945418/4857521, 2131751/255659*e^17 - 5441595/255659*e^16 - 48327153/255659*e^15 + 121854720/255659*e^14 + 439614505/255659*e^13 - 1098396993/255659*e^12 - 2053297246/255659*e^11 + 5133189750/255659*e^10 + 5200141709/255659*e^9 - 13325480418/255659*e^8 - 6810920139/255659*e^7 + 19056437865/255659*e^6 + 3601388075/255659*e^5 - 13822953570/255659*e^4 + 386936009/255659*e^3 + 3946350718/255659*e^2 - 692756978/255659*e - 49648136/255659, -165148354/4857521*e^17 + 444416846/4857521*e^16 + 3714933658/4857521*e^15 - 9986776532/4857521*e^14 - 33461054270/4857521*e^13 + 90347697315/4857521*e^12 + 154280015552/4857521*e^11 - 423672138522/4857521*e^10 - 383640421838/4857521*e^9 + 1102928276925/4857521*e^8 + 486764435974/4857521*e^7 - 83170683905/255659*e^6 - 233571610936/4857521*e^5 + 1147280954863/4857521*e^4 - 54377634466/4857521*e^3 - 327993632080/4857521*e^2 + 58689214788/4857521*e + 4897793092/4857521, 262954227/9715042*e^17 - 717982043/9715042*e^16 - 2955866390/4857521*e^15 + 8084245546/4857521*e^14 + 26612620516/4857521*e^13 - 73320875348/4857521*e^12 - 122681856662/4857521*e^11 + 344844672990/4857521*e^10 + 610206408323/9715042*e^9 - 1801602808043/9715042*e^8 - 387090299727/4857521*e^7 + 68198887585/255659*e^6 + 369405356861/9715042*e^5 - 1890125608637/9715042*e^4 + 45911500543/4857521*e^3 + 271507607836/4857521*e^2 - 48380704410/4857521*e - 4047025260/4857521, 106186500/4857521*e^17 - 284413025/4857521*e^16 - 2391027137/4857521*e^15 + 6400801764/4857521*e^14 + 21552472813/4857521*e^13 - 58032013172/4857521*e^12 - 99390200869/4857521*e^11 + 272983302828/4857521*e^10 + 246936844776/4857521*e^9 - 713770546859/4857521*e^8 - 312446343575/4857521*e^7 + 54139312906/255659*e^6 + 148535443636/4857521*e^5 - 752090609043/4857521*e^4 + 36324528469/4857521*e^3 + 216768247342/4857521*e^2 - 38163596942/4857521*e - 3303790280/4857521, -107873142/4857521*e^17 + 285016433/4857521*e^16 + 2430786273/4857521*e^15 - 6397951488/4857521*e^14 - 21932758240/4857521*e^13 + 57822841810/4857521*e^12 + 101291204592/4857521*e^11 - 270950949596/4857521*e^10 - 252272609140/4857521*e^9 + 705168344041/4857521*e^8 + 320894777379/4857521*e^7 - 53195529278/255659*e^6 - 155852331796/4857521*e^5 + 734566436735/4857521*e^4 - 32951635575/4857521*e^3 - 210533545752/4857521*e^2 + 37448355460/4857521*e + 3265244140/4857521, -7299433/4857521*e^17 + 24586035/4857521*e^16 + 164829825/4857521*e^15 - 562502301/4857521*e^14 - 1515375462/4857521*e^13 + 5174039122/4857521*e^12 + 7342240960/4857521*e^11 - 24572704290/4857521*e^10 - 20130213999/4857521*e^9 + 64376495749/4857521*e^8 + 30647480009/4857521*e^7 - 4854581497/255659*e^6 - 22567512382/4857521*e^5 + 66986426983/4857521*e^4 + 4295091886/4857521*e^3 - 19464191479/4857521*e^2 + 1618062558/4857521*e + 383073138/4857521, 152332788/4857521*e^17 - 411966979/4857521*e^16 - 3431318671/4857521*e^15 + 9275844676/4857521*e^14 + 30970023624/4857521*e^13 - 84120104912/4857521*e^12 - 143254356784/4857521*e^11 + 395641343706/4857521*e^10 + 358127172884/4857521*e^9 - 1033684717054/4857521*e^8 - 458956157345/4857521*e^7 + 78290256247/255659*e^6 + 226674877760/4857521*e^5 - 1085559074326/4857521*e^4 + 45709771585/4857521*e^3 + 312192042551/4857521*e^2 - 54448516930/4857521*e - 4682112486/4857521, 145852295/9715042*e^17 - 379012357/9715042*e^16 - 1649519079/4857521*e^15 + 4254269211/4857521*e^14 + 14955367834/4857521*e^13 - 38455761962/4857521*e^12 - 69510090982/4857521*e^11 + 180264259125/4857521*e^10 + 349448058509/9715042*e^9 - 938886457607/9715042*e^8 - 225889410696/4857521*e^7 + 35446650143/255659*e^6 + 230590385427/9715042*e^5 - 980236000535/9715042*e^4 + 16995757245/4857521*e^3 + 140821811136/4857521*e^2 - 24136098902/4857521*e - 2377598986/4857521, -92473313/9715042*e^17 + 237334505/9715042*e^16 + 1045000471/4857521*e^15 - 2657654774/4857521*e^14 - 9462466147/4857521*e^13 + 23962794967/4857521*e^12 + 43895233796/4857521*e^11 - 112055598333/4857521*e^10 - 220081612165/9715042*e^9 + 582524560675/9715042*e^8 + 141802909960/4857521*e^7 - 21977075470/255659*e^6 - 144234655951/9715042*e^5 + 608542671811/9715042*e^4 - 10884208468/4857521*e^3 - 87654826402/4857521*e^2 + 15370981172/4857521*e + 1305701478/4857521, 8268489/4857521*e^17 - 19988386/4857521*e^16 - 187196970/4857521*e^15 + 443915648/4857521*e^14 + 1695619992/4857521*e^13 - 3963217257/4857521*e^12 - 7844854796/4857521*e^11 + 18324075521/4857521*e^10 + 19490233409/4857521*e^9 - 47029684056/4857521*e^8 - 24508344658/4857521*e^7 + 3500716103/255659*e^6 + 11407815571/4857521*e^5 - 47865865134/4857521*e^4 + 2748178912/4857521*e^3 + 13772213290/4857521*e^2 - 2496857022/4857521*e - 305980328/4857521, -65175495/9715042*e^17 + 175865427/9715042*e^16 + 731943815/4857521*e^15 - 1974677516/4857521*e^14 - 6579550006/4857521*e^13 + 17848589401/4857521*e^12 + 30255847483/4857521*e^11 - 83597007989/4857521*e^10 - 149954526705/9715042*e^9 + 434512958357/9715042*e^8 + 94768263133/4857521*e^7 - 16345921864/255659*e^6 - 90992188715/9715042*e^5 + 449892647617/9715042*e^4 - 9990684479/4857521*e^3 - 64325398944/4857521*e^2 + 10965681538/4857521*e + 1061597652/4857521, 79896871/4857521*e^17 - 208196789/4857521*e^16 - 1801951442/4857521*e^15 + 4666268047/4857521*e^14 + 16274012014/4857521*e^13 - 42107527544/4857521*e^12 - 75218292460/4857521*e^11 + 197050527777/4857521*e^10 + 187373213929/4857521*e^9 - 512410064078/4857521*e^8 - 237872501176/4857521*e^7 + 38652423110/255659*e^6 + 113935465961/4857521*e^5 - 534220831364/4857521*e^4 + 26738884918/4857521*e^3 + 153271615048/4857521*e^2 - 28649331376/4857521*e - 2215538944/4857521, 152878993/4857521*e^17 - 429022145/4857521*e^16 - 3425042783/4857521*e^15 + 9676360315/4857521*e^14 + 30706728644/4857521*e^13 - 87888696030/4857521*e^12 - 140796362362/4857521*e^11 + 413812189528/4857521*e^10 + 347388023975/4857521*e^9 - 1081401238342/4857521*e^8 - 433767648739/4857521*e^7 + 81830584989/255659*e^6 + 194481461981/4857521*e^5 - 1132556643868/4857521*e^4 + 65970924161/4857521*e^3 + 325217395215/4857521*e^2 - 58955031198/4857521*e - 5095566656/4857521, 12779025/4857521*e^17 - 45667481/4857521*e^16 - 279733299/4857521*e^15 + 1045419500/4857521*e^14 + 2452358860/4857521*e^13 - 9633272895/4857521*e^12 - 11041009194/4857521*e^11 + 45903565334/4857521*e^10 + 26940378611/4857521*e^9 - 120814107266/4857521*e^8 - 33398114167/4857521*e^7 + 9143931367/255659*e^6 + 14089830659/4857521*e^5 - 125674146846/4857521*e^4 + 7006820603/4857521*e^3 + 35635163159/4857521*e^2 - 5494858348/4857521*e - 625439750/4857521, 96810096/4857521*e^17 - 261392958/4857521*e^16 - 2176822122/4857521*e^15 + 5879773994/4857521*e^14 + 19592082050/4857521*e^13 - 53263850114/4857521*e^12 - 90203919981/4857521*e^11 + 250222551230/4857521*e^10 + 223660154041/4857521*e^9 - 652965868092/4857521*e^8 - 281829691741/4857521*e^7 + 49394957026/255659*e^6 + 131386499612/4857521*e^5 - 684046958840/4857521*e^4 + 36497126121/4857521*e^3 + 196564337430/4857521*e^2 - 35926779834/4857521*e - 3050962188/4857521]; 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;