/* 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, -7, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, -w], [4, 2, w^2 - w - 7], [5, 5, w - 1], [7, 7, w + 1], [11, 11, -w^2 + 5], [13, 13, w + 3], [13, 13, -2*w + 1], [19, 19, 2*w^2 - w - 15], [25, 5, w^2 - 7], [27, 3, 3], [31, 31, w^2 - 2*w - 1], [37, 37, -3*w^2 + 2*w + 23], [41, 41, -2*w - 1], [47, 47, w^2 - 3], [49, 7, w^2 - 2*w - 5], [59, 59, 2*w - 3], [67, 67, w - 5], [71, 71, w^2 - 2*w - 11], [73, 73, w^2 + 1], [83, 83, -4*w^2 + 3*w + 27], [89, 89, w^2 - 2*w - 7], [97, 97, w^2 - 6*w + 1], [109, 109, -w^2 + 4*w + 1], [113, 113, -w - 5], [113, 113, -3*w - 1], [113, 113, 2*w^2 - 3*w - 11], [137, 137, -2*w^2 + 3*w + 17], [149, 149, 2*w^2 - 13], [151, 151, -2*w^2 + 1], [163, 163, 2*w^2 + w - 7], [167, 167, 2*w^2 - 5*w - 5], [191, 191, -6*w^2 + 4*w + 41], [191, 191, 4*w^2 - 12*w + 1], [191, 191, 3*w - 7], [193, 193, w^2 + 2*w - 5], [197, 197, -4*w^2 + 4*w + 27], [211, 211, -10*w^2 + 8*w + 69], [211, 211, 3*w - 5], [211, 211, 2*w^2 - 4*w - 1], [223, 223, 2*w^2 - 3*w - 7], [227, 227, 2*w^2 - 15], [229, 229, -2*w - 7], [233, 233, 2*w^2 - 3*w - 13], [233, 233, -w^2 - 4*w + 3], [233, 233, 2*w^2 - 2*w - 9], [239, 239, -5*w^2 + 4*w + 33], [241, 241, -2*w^2 + 2*w + 1], [257, 257, 2*w^2 - 6*w - 3], [257, 257, 2*w^2 - 3*w - 15], [257, 257, -w^2 - 2*w - 3], [269, 269, 2*w^2 - w - 9], [269, 269, 2*w^2 + w - 11], [269, 269, -2*w^2 + 7*w + 1], [271, 271, -7*w^2 + 6*w + 49], [277, 277, -3*w^2 + 2*w + 25], [277, 277, 3*w^2 - 8*w - 1], [277, 277, 2*w^2 - 4*w - 9], [281, 281, w^2 - 4*w - 3], [283, 283, 4*w^2 - 2*w - 25], [283, 283, -3*w^2 + 10*w - 5], [283, 283, 2*w^2 + w - 5], [293, 293, -5*w + 3], [307, 307, -4*w^2 + 2*w + 33], [317, 317, 2*w^2 + w + 1], [331, 331, 2*w - 9], [337, 337, -10*w^2 + 6*w + 75], [337, 337, w^2 + 2*w - 7], [337, 337, -8*w^2 + 6*w + 55], [347, 347, w^2 - 13], [347, 347, 2*w^2 - 4*w - 19], [347, 347, -5*w^2 + 4*w + 39], [349, 349, 2*w^2 - w - 19], [353, 353, -8*w^2 + 7*w + 55], [359, 359, -4*w^2 + 3*w + 25], [361, 19, -w^2 - 6*w + 3], [367, 367, 2*w^2 - 3*w - 3], [367, 367, 2*w^2 - 2*w - 7], [367, 367, w^2 - 2*w - 13], [373, 373, -4*w - 7], [373, 373, 3*w^2 - 2*w - 17], [373, 373, -11*w^2 + 8*w + 77], [379, 379, -7*w + 3], [383, 383, w^2 + 2*w - 17], [397, 397, 2*w^2 - w - 7], [401, 401, -4*w - 3], [409, 409, 12*w^2 - 7*w - 91], [419, 419, 5*w + 1], [419, 419, 2*w^2 - 2*w - 3], [419, 419, -7*w^2 + 4*w + 51], [421, 421, w^2 - 4*w - 13], [431, 431, 3*w^2 - 19], [449, 449, w^2 + 2*w - 9], [457, 457, -8*w^2 + 7*w + 59], [461, 461, 2*w^2 - w - 5], [463, 463, -4*w - 5], [479, 479, -4*w^2 + 4*w + 23], [487, 487, -3*w^2 + 4*w + 23], [499, 499, 2*w^2 - 4*w - 11], [509, 509, 4*w - 7], [541, 541, -w^2 + 4*w - 7], [557, 557, -2*w^2 - w + 19], [569, 569, 8*w - 1], [569, 569, -w^2 + 2*w - 5], [569, 569, 2*w^2 - 6*w + 5], [577, 577, -w^2 + 6*w - 11], [587, 587, w - 9], [593, 593, 2*w^2 - 8*w - 1], [599, 599, 4*w^2 - 10*w - 5], [599, 599, 2*w^2 - 6*w - 5], [599, 599, -4*w^2 + 3*w + 33], [613, 613, -3*w^2 - 2*w + 3], [617, 617, 2*w^2 - 3*w + 3], [619, 619, -10*w^2 + 7*w + 75], [631, 631, 3*w^2 + 1], [643, 643, -10*w^2 + 7*w + 69], [661, 661, 2*w^2 - 7*w - 3], [673, 673, 5*w - 13], [673, 673, -w^2 - 2*w - 5], [673, 673, 2*w^2 + 2*w - 11], [677, 677, 6*w + 1], [677, 677, 2*w^2 + w - 17], [677, 677, 3*w^2 - 2*w - 15], [683, 683, 3*w^2 - 25], [691, 691, -5*w - 9], [701, 701, -5*w^2 + 2*w + 37], [701, 701, -3*w^2 + 4*w + 1], [701, 701, w^2 - 4*w - 9], [709, 709, -6*w^2 + 4*w + 39], [727, 727, 2*w^2 - 3*w - 21], [727, 727, -8*w^2 + 6*w + 61], [727, 727, 2*w^2 - 4*w - 15], [733, 733, 2*w^2 + 2*w - 23], [739, 739, -4*w^2 + w + 31], [743, 743, 2*w^2 + 4*w - 7], [751, 751, 4*w^2 + 2*w - 19], [751, 751, -4*w^2 + w + 29], [751, 751, -6*w^2 + 6*w + 41], [761, 761, -10*w^2 + 6*w + 77], [769, 769, -w^2 - 5], [773, 773, -3*w^2 + 2*w + 27], [787, 787, -10*w^2 + 6*w + 73], [797, 797, -5*w^2 + 6*w + 31], [797, 797, 3*w^2 - 6*w - 5], [797, 797, 2*w - 11], [811, 811, 4*w^2 - 16*w + 9], [821, 821, 4*w^2 - 8*w - 15], [827, 827, -2*w^2 + 9*w - 11], [839, 839, -3*w^2 + 8*w + 7], [853, 853, -6*w + 5], [863, 863, -w^2 + 8*w - 13], [877, 877, 5*w - 7], [881, 881, -7*w^2 + 6*w + 45], [881, 881, -2*w^2 + 10*w - 7], [881, 881, 3*w^2 - 4*w - 11], [883, 883, 9*w - 1], [883, 883, 2*w^2 - w + 3], [883, 883, -2*w^2 + 8*w - 9], [887, 887, 4*w^2 - 5*w - 27], [887, 887, -2*w^2 + 5*w - 5], [887, 887, -5*w - 7], [929, 929, w^2 + 4*w - 7], [941, 941, -2*w^2 + 2*w + 21], [947, 947, -3*w - 11], [961, 31, -4*w^2 + w + 21], [967, 967, -2*w^2 + 11*w - 13], [977, 977, 5*w^2 - 16*w - 1], [983, 983, 2*w^2 + 2*w - 13], [997, 997, 3*w^2 - 2*w - 13], [997, 997, -2*w^2 - w - 3], [997, 997, -4*w^2 + 4*w + 21]]; primes := [ideal : I in primesArray]; heckePol := x^17 - 4*x^16 - 22*x^15 + 103*x^14 + 160*x^13 - 1019*x^12 - 309*x^11 + 4873*x^10 - 1166*x^9 - 11821*x^8 + 5385*x^7 + 14542*x^6 - 7055*x^5 - 8208*x^4 + 3394*x^3 + 1198*x^2 - 660*x + 72; K := NumberField(heckePol); heckeEigenvaluesArray := [e, -255787/3801738*e^16 + 851443/3801738*e^15 + 12329099/7603476*e^14 - 11061875/1900869*e^13 - 109337693/7603476*e^12 + 443098219/7603476*e^11 + 142161577/2534492*e^10 - 1076437291/3801738*e^9 - 326206267/3801738*e^8 + 5314232687/7603476*e^7 + 7715311/633623*e^6 - 1644347474/1900869*e^5 + 572846233/7603476*e^4 + 306183885/633623*e^3 - 233685283/3801738*e^2 - 335675329/3801738*e + 11170155/633623, 115045/2534492*e^16 - 673225/2534492*e^15 - 2320211/2534492*e^14 + 8898959/1267246*e^13 + 6480339/1267246*e^12 - 183327895/2534492*e^11 + 8884801/1267246*e^10 + 934648765/2534492*e^9 - 377128665/2534492*e^8 - 1253925607/1267246*e^7 + 1121614119/2534492*e^6 + 3543066637/2534492*e^5 - 580716073/1267246*e^4 - 1162659353/1267246*e^3 + 159036545/1267246*e^2 + 92293610/633623*e - 18727053/633623, 759487/3801738*e^16 - 3125875/3801738*e^15 - 16692673/3801738*e^14 + 80699161/3801738*e^13 + 121910911/3801738*e^12 - 802070303/3801738*e^11 - 83664279/1267246*e^10 + 3869966761/3801738*e^9 - 708890021/3801738*e^8 - 4780012904/1900869*e^7 + 541493353/633623*e^6 + 6090560366/1900869*e^5 - 3518924783/3801738*e^4 - 1210891782/633623*e^3 + 470670923/1900869*e^2 + 558178952/1900869*e - 35477972/633623, 1, -565739/1900869*e^16 + 6534767/7603476*e^15 + 14013917/1900869*e^14 - 170271683/7603476*e^13 - 522032027/7603476*e^12 + 1711757515/7603476*e^11 + 187911959/633623*e^10 - 4182604681/3801738*e^9 - 4557840155/7603476*e^8 + 10417857019/3801738*e^7 + 685254917/1267246*e^6 - 26108131343/7603476*e^5 - 725960161/3801738*e^4 + 1219984928/633623*e^3 - 39507469/3801738*e^2 - 589124459/1900869*e + 31331160/633623, 164093/1900869*e^16 - 1270445/7603476*e^15 - 8462497/3801738*e^14 + 33016253/7603476*e^13 + 168207197/7603476*e^12 - 329714845/7603476*e^11 - 135447473/1267246*e^10 + 396893870/1900869*e^9 + 2009900621/7603476*e^8 - 957898568/1900869*e^7 - 423379749/1267246*e^6 + 4511340587/7603476*e^5 + 726487993/3801738*e^4 - 377229553/1267246*e^3 - 73461233/3801738*e^2 + 82526648/1900869*e - 4679246/633623, 1263305/3801738*e^16 - 4982309/3801738*e^15 - 28739705/3801738*e^14 + 64781134/1900869*e^13 + 226633739/3801738*e^12 - 650538260/1900869*e^11 - 105919951/633623*e^10 + 3185526067/1900869*e^9 - 271806175/3801738*e^8 - 8024839255/1900869*e^7 + 1244924349/1267246*e^6 + 10410084445/1900869*e^5 - 4747457857/3801738*e^4 - 4172863605/1267246*e^3 + 778201408/1900869*e^2 + 1008030067/1900869*e - 64824966/633623, 2627987/7603476*e^16 - 2416097/1900869*e^15 - 61245899/7603476*e^14 + 253295417/7603476*e^13 + 507099281/7603476*e^12 - 1286224073/3801738*e^11 - 274216291/1267246*e^10 + 12809904155/7603476*e^9 + 380934631/3801738*e^8 - 16540895893/3801738*e^7 + 1782770407/2534492*e^6 + 11077474097/1900869*e^5 - 4040229275/3801738*e^4 - 2299438215/633623*e^3 + 702585170/1900869*e^2 + 1157264915/1900869*e - 73341305/633623, -153154/633623*e^16 + 2524909/2534492*e^15 + 3397583/633623*e^14 - 65690745/2534492*e^13 - 100973557/2534492*e^12 + 660425325/2534492*e^11 + 55087297/633623*e^10 - 1621493309/1267246*e^9 + 541081755/2534492*e^8 + 4113327181/1267246*e^7 - 1358713879/1267246*e^6 - 10841585137/2534492*e^5 + 1561625923/1267246*e^4 + 1671344225/633623*e^3 - 445601491/1267246*e^2 - 262759003/633623*e + 50355965/633623, 80273/3801738*e^16 + 1575533/7603476*e^15 - 4098923/3801738*e^14 - 39887069/7603476*e^13 + 143060761/7603476*e^12 + 388229323/7603476*e^11 - 193944771/1267246*e^10 - 923304439/3801738*e^9 + 4732505731/7603476*e^8 + 2329995985/3801738*e^7 - 1537227699/1267246*e^6 - 6703724561/7603476*e^5 + 3676368281/3801738*e^4 + 831223685/1267246*e^3 - 574044679/3801738*e^2 - 166589141/1900869*e + 10359285/633623, 2971831/7603476*e^16 - 9330349/7603476*e^15 - 72296839/7603476*e^14 + 121563329/3801738*e^13 + 162958285/1900869*e^12 - 2445826541/7603476*e^11 - 438645589/1267246*e^10 + 11979392575/7603476*e^9 + 4450823515/7603476*e^8 - 7506515662/1900869*e^7 - 625775055/2534492*e^6 + 38238749491/7603476*e^5 - 981506779/3801738*e^4 - 3712284801/1267246*e^3 + 940741751/3801738*e^2 + 982605781/1900869*e - 62389380/633623, -325233/2534492*e^16 + 246170/633623*e^15 + 7649671/2534492*e^14 - 24719413/2534492*e^13 - 64957451/2534492*e^12 + 58639054/633623*e^11 + 115046855/1267246*e^10 - 1040979741/2534492*e^9 - 121886455/1267246*e^8 + 545879267/633623*e^7 - 286456353/2534492*e^6 - 1006892167/1267246*e^5 + 374417087/1267246*e^4 + 163213507/633623*e^3 - 133007176/633623*e^2 - 24990350/633623*e + 14734428/633623, -182411/633623*e^16 + 2187691/2534492*e^15 + 8919421/1267246*e^14 - 56898873/2534492*e^13 - 162374679/2534492*e^12 + 570497921/2534492*e^11 + 167480252/633623*e^10 - 1388781717/1267246*e^9 - 1208648379/2534492*e^8 + 1721579085/633623*e^7 + 184513192/633623*e^6 - 8605365649/2534492*e^5 + 91491815/1267246*e^4 + 1214161193/633623*e^3 - 171261021/1267246*e^2 - 206096760/633623*e + 38435925/633623, -659671/1900869*e^16 + 11528965/7603476*e^15 + 29455409/3801738*e^14 - 300989929/7603476*e^13 - 445284475/7603476*e^12 + 3041559839/7603476*e^11 + 177258769/1267246*e^10 - 7523786081/3801738*e^9 + 1697451743/7603476*e^8 + 9636579019/1900869*e^7 - 1654509131/1267246*e^6 - 51197874193/7603476*e^5 + 2820207929/1900869*e^4 + 2630015667/633623*e^3 - 1604456597/3801738*e^2 - 1272490294/1900869*e + 80498533/633623, 34177/1267246*e^16 - 117059/633623*e^15 - 195798/633623*e^14 + 5573179/1267246*e^13 - 3496015/1267246*e^12 - 24254939/633623*e^11 + 73432975/1267246*e^10 + 91952381/633623*e^9 - 203395223/633623*e^8 - 273280073/1267246*e^7 + 946943633/1267246*e^6 + 86369425/1267246*e^5 - 492091799/633623*e^4 + 41668927/1267246*e^3 + 210029898/633623*e^2 + 10787330/633623*e - 18738699/633623, -631243/1900869*e^16 + 7615813/7603476*e^15 + 15651085/1900869*e^14 - 200667991/7603476*e^13 - 582742567/7603476*e^12 + 2050987433/7603476*e^11 + 416993911/1267246*e^10 - 5140451591/3801738*e^9 - 4912912225/7603476*e^8 + 13316011073/3801738*e^7 + 324580105/633623*e^6 - 35271207559/7603476*e^5 - 178368658/1900869*e^4 + 1769738040/633623*e^3 - 156434177/3801738*e^2 - 901844935/1900869*e + 48434146/633623, -635089/1267246*e^16 + 4981855/2534492*e^15 + 14354601/1267246*e^14 - 130095149/2534492*e^13 - 222395679/2534492*e^12 + 1314719829/2534492*e^11 + 143757630/633623*e^10 - 3251679885/1267246*e^9 + 648328121/2534492*e^8 + 8330390087/1267246*e^7 - 1220591136/633623*e^6 - 22195347593/2534492*e^5 + 1584346591/633623*e^4 + 6945009841/1267246*e^3 - 1174949437/1267246*e^2 - 600135577/633623*e + 128760294/633623, 1171775/1900869*e^16 - 4036676/1900869*e^15 - 54645265/3801738*e^14 + 208818241/3801738*e^13 + 454909825/3801738*e^12 - 1039699429/1900869*e^11 - 253376622/633623*e^10 + 10045772089/3801738*e^9 + 550158887/1900869*e^8 - 24777132325/3801738*e^7 + 1096999607/1267246*e^6 + 15631692071/1900869*e^5 - 5178030743/3801738*e^4 - 6097925305/1267246*e^3 + 853590641/1900869*e^2 + 1461359189/1900869*e - 86024126/633623, 6813/633623*e^16 - 115433/633623*e^15 + 72552/633623*e^14 + 5605213/1267246*e^13 - 8843255/1267246*e^12 - 25365018/633623*e^11 + 98194599/1267246*e^10 + 105140054/633623*e^9 - 227018798/633623*e^8 - 201946284/633623*e^7 + 932192347/1267246*e^6 + 369161603/1267246*e^5 - 791247201/1267246*e^4 - 84132756/633623*e^3 + 97542832/633623*e^2 - 3082417/633623*e - 7619640/633623, 527903/1267246*e^16 - 2067157/1267246*e^15 - 6041195/633623*e^14 + 26842955/633623*e^13 + 48323057/633623*e^12 - 538021877/1267246*e^11 - 285724969/1267246*e^10 + 1312702316/633623*e^9 - 11185327/1267246*e^8 - 6571972235/1267246*e^7 + 1299588641/1267246*e^6 + 4214414184/633623*e^5 - 840826869/633623*e^4 - 4970760841/1267246*e^3 + 266129849/633623*e^2 + 389501222/633623*e - 69644265/633623, 1417475/1900869*e^16 - 11294191/3801738*e^15 - 64473631/3801738*e^14 + 146951726/1900869*e^13 + 507964603/3801738*e^12 - 1477244932/1900869*e^11 - 236402583/633623*e^10 + 7245040667/1900869*e^9 - 663010511/3801738*e^8 - 36582958723/3801738*e^7 + 2868339067/1267246*e^6 + 23786797307/1900869*e^5 - 5614471252/1900869*e^4 - 4787630629/633623*e^3 + 2092245986/1900869*e^2 + 2419050092/1900869*e - 165256418/633623, -441297/2534492*e^16 + 1064603/1267246*e^15 + 8392411/2534492*e^14 - 54569903/2534492*e^13 - 37342131/2534492*e^12 + 134319975/633623*e^11 - 91296345/1267246*e^10 - 2564741883/2534492*e^9 + 487880886/633623*e^8 + 1575901593/633623*e^7 - 5434991081/2534492*e^6 - 4120619169/1267246*e^5 + 1458179411/633623*e^4 + 2688755553/1267246*e^3 - 505001090/633623*e^2 - 244649991/633623*e + 69967810/633623, 3115521/2534492*e^16 - 11544853/2534492*e^15 - 72145525/2534492*e^14 + 74793929/633623*e^13 + 296049491/1267246*e^12 - 2988173765/2534492*e^11 - 950216683/1267246*e^10 + 14503689473/2534492*e^9 + 929881823/2534492*e^8 - 9000451904/633623*e^7 + 5480009997/2534492*e^6 + 45664441671/2534492*e^5 - 3975755229/1267246*e^4 - 13347240235/1267246*e^3 + 1407569747/1267246*e^2 + 1076483129/633623*e - 203684040/633623, -1679/633623*e^16 - 45709/2534492*e^15 + 152314/633623*e^14 + 334171/2534492*e^13 - 12415827/2534492*e^12 + 9349685/2534492*e^11 + 53178199/1267246*e^10 - 35100221/633623*e^9 - 434220867/2534492*e^8 + 353700389/1267246*e^7 + 210378358/633623*e^6 - 1476774595/2534492*e^5 - 392566973/1267246*e^4 + 580749267/1267246*e^3 + 193948445/1267246*e^2 - 40778061/633623*e - 6217575/633623, -232895/2534492*e^16 + 839311/2534492*e^15 + 5180561/2534492*e^14 - 10324339/1267246*e^13 - 9833628/633623*e^12 + 189493755/2534492*e^11 + 50220785/1267246*e^10 - 789591093/2534492*e^9 + 86829167/2534492*e^8 + 716383627/1267246*e^7 - 691956213/2534492*e^6 - 830925681/2534492*e^5 + 247134479/633623*e^4 - 53486826/633623*e^3 - 316283571/1267246*e^2 + 13965253/633623*e + 11172552/633623, 116398/633623*e^16 - 2884759/2534492*e^15 - 2222938/633623*e^14 + 76635181/2534492*e^13 + 38937031/2534492*e^12 - 794738197/2534492*e^11 + 107646373/1267246*e^10 + 1022827982/633623*e^9 - 2275491029/2534492*e^8 - 5566859447/1267246*e^7 + 1633107835/633623*e^6 + 16046895711/2534492*e^5 - 3606046485/1267246*e^4 - 5447371595/1267246*e^3 + 1247807215/1267246*e^2 + 482390677/633623*e - 113742384/633623, 505490/633623*e^16 - 7307383/2534492*e^15 - 23353963/1267246*e^14 + 189862353/2534492*e^13 + 381270861/2534492*e^12 - 1903931363/2534492*e^11 - 300626403/633623*e^10 + 2325800201/633623*e^9 + 450638507/2534492*e^8 - 5843952777/633623*e^7 + 972658818/633623*e^6 + 30291509671/2534492*e^5 - 1317108773/633623*e^4 - 9122100471/1267246*e^3 + 730036471/1267246*e^2 + 730300674/633623*e - 126896028/633623, -1960957/3801738*e^16 + 3179498/1900869*e^15 + 46714999/3801738*e^14 - 166056187/3801738*e^13 - 202274372/1900869*e^12 + 1676629973/3801738*e^11 + 247331005/633623*e^10 - 4134894023/1900869*e^9 - 874944959/1900869*e^8 + 10516838936/1900869*e^7 - 471387713/1267246*e^6 - 27588490633/3801738*e^5 + 3663986975/3801738*e^4 + 5599130977/1267246*e^3 - 761561669/1900869*e^2 - 1381248335/1900869*e + 95609040/633623, 1597730/1900869*e^16 - 21410411/7603476*e^15 - 75397873/3801738*e^14 + 554186021/7603476*e^13 + 1284557531/7603476*e^12 - 5522154529/7603476*e^11 - 379404070/633623*e^10 + 13336812169/3801738*e^9 + 4718502443/7603476*e^8 - 16388900720/1900869*e^7 + 479816528/633623*e^6 + 81595391297/7603476*e^5 - 6002041997/3801738*e^4 - 3860857078/633623*e^3 + 2441446771/3801738*e^2 + 1843295075/1900869*e - 113303777/633623, -799470/633623*e^16 + 2854223/633623*e^15 + 37068471/1267246*e^14 - 147687701/1267246*e^13 - 304776599/1267246*e^12 + 735576552/633623*e^11 + 490433630/633623*e^10 - 7108464141/1267246*e^9 - 237232652/633623*e^8 + 17514687833/1267246*e^7 - 2939388577/1267246*e^6 - 10993241255/633623*e^5 + 4433672479/1267246*e^4 + 12719488931/1267246*e^3 - 860743613/633623*e^2 - 1032763075/633623*e + 212935908/633623, -592535/1267246*e^16 + 648532/633623*e^15 + 15178281/1267246*e^14 - 33739547/1267246*e^13 - 74642679/633623*e^12 + 337757769/1267246*e^11 + 354700905/633623*e^10 - 817793030/633623*e^9 - 855246929/633623*e^8 + 1999590999/633623*e^7 + 2094957823/1267246*e^6 - 4847391555/1267246*e^5 - 1158350525/1267246*e^4 + 2598528871/1267246*e^3 + 45293454/633623*e^2 - 219823880/633623*e + 32135457/633623, 487876/633623*e^16 - 3453615/1267246*e^15 - 22785509/1267246*e^14 + 89900039/1267246*e^13 + 190150327/1267246*e^12 - 903877955/1267246*e^11 - 638731831/1267246*e^10 + 4433170823/1267246*e^9 + 476419237/1267246*e^8 - 11195685685/1267246*e^7 + 670280825/633623*e^6 + 7292627168/633623*e^5 - 1039123407/633623*e^4 - 8825727085/1267246*e^3 + 300267091/633623*e^2 + 720188067/633623*e - 121406085/633623, -843403/1267246*e^16 + 6380885/2534492*e^15 + 9618341/633623*e^14 - 164719453/2534492*e^13 - 306157257/2534492*e^12 + 1635693273/2534492*e^11 + 224315588/633623*e^10 - 3933818979/1267246*e^9 + 40449747/2534492*e^8 + 4814615785/633623*e^7 - 1967887359/1267246*e^6 - 23974938269/2534492*e^5 + 1208010588/633623*e^4 + 6843063183/1267246*e^3 - 668691729/1267246*e^2 - 511778446/633623*e + 92941119/633623, 6304625/3801738*e^16 - 44468137/7603476*e^15 - 146552813/3801738*e^14 + 1147512271/7603476*e^13 + 2427117961/7603476*e^12 - 11386030283/7603476*e^11 - 667975446/633623*e^10 + 27337832783/3801738*e^9 + 5376921217/7603476*e^8 - 66693087785/3801738*e^7 + 1537344895/633623*e^6 + 165132623635/7603476*e^5 - 7263304814/1900869*e^4 - 15689663989/1267246*e^3 + 5758679081/3801738*e^2 + 3860209201/1900869*e - 259558656/633623, 35183/633623*e^16 - 1147967/2534492*e^15 - 757023/1267246*e^14 + 29151407/2534492*e^13 - 17302167/2534492*e^12 - 283274857/2534492*e^11 + 167645405/1267246*e^10 + 663496691/1267246*e^9 - 1844046049/2534492*e^8 - 795532283/633623*e^7 + 2108255517/1267246*e^6 + 4080398279/2534492*e^5 - 957981159/633623*e^4 - 658183082/633623*e^3 + 407553225/1267246*e^2 + 88657606/633623*e - 7665186/633623, -1341692/1900869*e^16 + 4415693/1900869*e^15 + 62357911/3801738*e^14 - 227367139/3801738*e^13 - 515828659/3801738*e^12 + 1124091412/1900869*e^11 + 282352555/633623*e^10 - 10742766601/3801738*e^9 - 523854821/1900869*e^8 + 26065783597/3801738*e^7 - 1424988007/1267246*e^6 - 16134938063/1900869*e^5 + 6547012163/3801738*e^4 + 6212372463/1267246*e^3 - 1128133697/1900869*e^2 - 1483956587/1900869*e + 93882510/633623, -1905253/1900869*e^16 + 16140167/3801738*e^15 + 84671771/3801738*e^14 - 209939404/1900869*e^13 - 632357711/3801738*e^12 + 2110494614/1900869*e^11 + 237088393/633623*e^10 - 10360738129/1900869*e^9 + 3063555043/3801738*e^8 + 52496760347/3801738*e^7 - 5366137489/1267246*e^6 - 34443580981/1900869*e^5 + 9408592898/1900869*e^4 + 7036374721/633623*e^3 - 3011516566/1900869*e^2 - 3461782840/1900869*e + 232676752/633623, 2716760/1900869*e^16 - 19134235/3801738*e^15 - 126340537/3801738*e^14 + 496733707/3801738*e^13 + 1044316927/3801738*e^12 - 4974089333/3801738*e^11 - 1134563857/1267246*e^10 + 24240831361/3801738*e^9 + 1850614273/3801738*e^8 - 60602062075/3801738*e^7 + 1611680537/633623*e^6 + 38927611538/1900869*e^5 - 7328590738/1900869*e^4 - 15491583743/1267246*e^3 + 2596139087/1900869*e^2 + 3794969114/1900869*e - 246487058/633623, -1622675/1900869*e^16 + 24479837/7603476*e^15 + 74561917/3801738*e^14 - 634278035/7603476*e^13 - 1202369819/7603476*e^12 + 6333401497/7603476*e^11 + 303553019/633623*e^10 - 7680894257/1900869*e^9 - 393183953/7603476*e^8 + 19045165253/1900869*e^7 - 1258838951/633623*e^6 - 96453051317/7603476*e^5 + 5122248757/1900869*e^4 + 9387963349/1267246*e^3 - 3589961281/3801738*e^2 - 2271432437/1900869*e + 144754386/633623, -569636/633623*e^16 + 4434411/1267246*e^15 + 13038305/633623*e^14 - 57562665/633623*e^13 - 104334133/633623*e^12 + 1153120739/1267246*e^11 + 618027641/1267246*e^10 - 2811119189/633623*e^9 + 17940635/1267246*e^8 + 7028870265/633623*e^7 - 2814151835/1267246*e^6 - 9008873475/633623*e^5 + 3754886861/1267246*e^4 + 5335318397/633623*e^3 - 690004251/633623*e^2 - 880875260/633623*e + 171950910/633623, 132815/7603476*e^16 + 191717/3801738*e^15 - 7275851/7603476*e^14 - 4691533/7603476*e^13 + 129158297/7603476*e^12 - 14329607/3801738*e^11 - 175031497/1267246*e^10 + 679263629/7603476*e^9 + 1066393928/1900869*e^8 - 1789286227/3801738*e^7 - 2870075773/2534492*e^6 + 1774301156/1900869*e^5 + 2143844414/1900869*e^4 - 794438919/1267246*e^3 - 999025783/1900869*e^2 + 53814833/1900869*e + 27033433/633623, 431211/633623*e^16 - 7489817/2534492*e^15 - 18868697/1267246*e^14 + 193080485/2534492*e^13 + 273050707/2534492*e^12 - 1915226623/2534492*e^11 - 271243579/1267246*e^10 + 4606552543/1267246*e^9 - 1664279367/2534492*e^8 - 5660602676/633623*e^7 + 3624422457/1267246*e^6 + 28594268857/2534492*e^5 - 1893357467/633623*e^4 - 4213806269/633623*e^3 + 982789069/1267246*e^2 + 667443720/633623*e - 117335148/633623, -171777/2534492*e^16 - 169747/633623*e^15 + 5793465/2534492*e^14 + 19584735/2534492*e^13 - 79553185/2534492*e^12 - 113511955/1267246*e^11 + 141510782/633623*e^10 + 1355838539/2534492*e^9 - 1093647865/1267246*e^8 - 2219956875/1267246*e^7 + 4342780739/2534492*e^6 + 3876274845/1267246*e^5 - 894178547/633623*e^4 - 1523564458/633623*e^3 + 98085371/633623*e^2 + 236934105/633623*e - 39690810/633623, 1456365/2534492*e^16 - 2967071/1267246*e^15 - 32034579/2534492*e^14 + 151763291/2534492*e^13 + 235521247/2534492*e^12 - 371699004/633623*e^11 - 256988995/1267246*e^10 + 7007747523/2534492*e^9 - 275110391/633623*e^8 - 4161590368/633623*e^7 + 5301877289/2534492*e^6 + 9993955335/1267246*e^5 - 1357008400/633623*e^4 - 5529112903/1267246*e^3 + 322504496/633623*e^2 + 398032438/633623*e - 68032038/633623, 939671/633623*e^16 - 3348689/633623*e^15 - 21608698/633623*e^14 + 86189629/633623*e^13 + 350086139/1267246*e^12 - 1703999663/1267246*e^11 - 542564539/633623*e^10 + 8137134841/1267246*e^9 + 161346258/633623*e^8 - 9846429800/633623*e^7 + 1857651185/633623*e^6 + 24156996683/1267246*e^5 - 5094042181/1267246*e^4 - 13643880967/1267246*e^3 + 885795228/633623*e^2 + 1067553683/633623*e - 208284930/633623, 2052263/1900869*e^16 - 7357100/1900869*e^15 - 95781211/3801738*e^14 + 191298032/1900869*e^13 + 797636197/3801738*e^12 - 3840148703/3801738*e^11 - 886152681/1267246*e^10 + 9389444843/1900869*e^9 + 915344585/1900869*e^8 - 47158685917/3801738*e^7 + 1029379909/633623*e^6 + 30396116663/1900869*e^5 - 9570764135/3801738*e^4 - 6034036736/633623*e^3 + 1551474047/1900869*e^2 + 2927046248/1900869*e - 179498930/633623, 700699/633623*e^16 - 2493093/633623*e^15 - 16298384/633623*e^14 + 64528814/633623*e^13 + 134989678/633623*e^12 - 643291084/633623*e^11 - 444812462/633623*e^10 + 3112619387/633623*e^9 + 288244084/633623*e^8 - 7686698881/633623*e^7 + 1047090811/633623*e^6 + 9673451994/633623*e^5 - 1533164934/633623*e^4 - 5575607059/633623*e^3 + 426550318/633623*e^2 + 840025072/633623*e - 138589443/633623, -1525725/2534492*e^16 + 1257400/633623*e^15 + 36289613/2534492*e^14 - 130883897/2534492*e^13 - 313397201/2534492*e^12 + 657408217/1267246*e^11 + 285682911/633623*e^10 - 6434519505/2534492*e^9 - 656248983/1267246*e^8 + 8081398739/1267246*e^7 - 1229989037/2534492*e^6 - 10410564873/1267246*e^5 + 792794684/633623*e^4 + 3109563919/633623*e^3 - 387934712/633623*e^2 - 531088734/633623*e + 105929850/633623, -1821753/2534492*e^16 + 8089105/2534492*e^15 + 40104537/2534492*e^14 - 104962233/1267246*e^13 - 146521259/1267246*e^12 + 2102767487/2534492*e^11 + 148705747/633623*e^10 - 10264915975/2534492*e^9 + 1825685713/2534492*e^8 + 6443302034/633623*e^7 - 8443715619/2534492*e^6 - 33393634631/2534492*e^5 + 4961341247/1267246*e^4 + 5059313758/633623*e^3 - 1821981585/1267246*e^2 - 866100504/633623*e + 191132283/633623, -556515/1267246*e^16 + 2436609/1267246*e^15 + 12534085/1267246*e^14 - 31647117/633623*e^13 - 48318879/633623*e^12 + 634420139/1267246*e^11 + 124972240/633623*e^10 - 3094248373/1267246*e^9 + 247319941/1267246*e^8 + 3859402823/633623*e^7 - 1895381097/1267246*e^6 - 9776523059/1267246*e^5 + 1177767460/633623*e^4 + 2806007406/633623*e^3 - 450997128/633623*e^2 - 443021012/633623*e + 102023949/633623, -55545/1267246*e^16 + 137557/633623*e^15 + 1384699/1267246*e^14 - 7736571/1267246*e^13 - 6439156/633623*e^12 + 86386525/1267246*e^11 + 27118127/633623*e^10 - 244415721/633623*e^9 - 49605720/633623*e^8 + 743339277/633623*e^7 + 72477451/1267246*e^6 - 2369440503/1267246*e^5 - 87216563/1267246*e^4 + 1702741503/1267246*e^3 + 62539782/633623*e^2 - 144627054/633623*e + 25098603/633623, -578843/1267246*e^16 + 3147695/2534492*e^15 + 7099986/633623*e^14 - 80460841/2534492*e^13 - 260411365/2534492*e^12 + 785114591/2534492*e^11 + 546370667/1267246*e^10 - 1826538701/1267246*e^9 - 2056187071/2534492*e^8 + 2092180116/633623*e^7 + 343323668/633623*e^6 - 9174571677/2534492*e^5 + 307164163/1267246*e^4 + 2156469819/1267246*e^3 - 679330017/1267246*e^2 - 201955309/633623*e + 65805024/633623, 1724545/1900869*e^16 - 13156613/3801738*e^15 - 39185830/1900869*e^14 + 341164433/3801738*e^13 + 617085701/3801738*e^12 - 3412353955/3801738*e^11 - 288021206/633623*e^10 + 8308776217/1900869*e^9 - 714759181/3801738*e^8 - 20793751168/1900869*e^7 + 1657254284/633623*e^6 + 53745830105/3801738*e^5 - 6218792804/1900869*e^4 - 5405305330/633623*e^3 + 1951057873/1900869*e^2 + 2598760144/1900869*e - 165157200/633623, -4059929/3801738*e^16 + 36896809/7603476*e^15 + 44465968/1900869*e^14 - 963688087/7603476*e^13 - 1280831959/7603476*e^12 + 9748891133/7603476*e^11 + 395462553/1267246*e^10 - 24175578551/3801738*e^9 + 9579522719/7603476*e^8 + 31134647086/1900869*e^7 - 3406689283/633623*e^6 - 167263780567/7603476*e^5 + 22767848059/3801738*e^4 + 17518637545/1267246*e^3 - 6617186255/3801738*e^2 - 4314441148/1900869*e + 278714302/633623, 5185865/7603476*e^16 - 3780494/1900869*e^15 - 127923743/7603476*e^14 + 393844649/7603476*e^13 + 1183493729/7603476*e^12 - 1978186229/3801738*e^11 - 842940273/1267246*e^10 + 19310744195/7603476*e^9 + 5035828255/3801738*e^8 - 12000119879/1900869*e^7 - 3083971609/2534492*e^6 + 14973436241/1900869*e^5 + 1208935817/1900869*e^4 - 5496676509/1267246*e^3 - 540330187/1900869*e^2 + 1129016261/1900869*e - 34620152/633623, 7147987/7603476*e^16 - 5876947/1900869*e^15 - 170650219/7603476*e^14 + 611216995/7603476*e^13 + 1485131677/7603476*e^12 - 1532660060/1900869*e^11 - 460812742/633623*e^10 + 29912488825/7603476*e^9 + 3532884389/3801738*e^8 - 37335573629/3801738*e^7 + 1085018593/2534492*e^6 + 23747983309/1900869*e^5 - 5712337729/3801738*e^4 - 9247661765/1267246*e^3 + 1353152680/1900869*e^2 + 2292914437/1900869*e - 144278616/633623, 226491/633623*e^16 - 789306/633623*e^15 - 5043409/633623*e^14 + 20078592/633623*e^13 + 38011204/633623*e^12 - 194972494/633623*e^11 - 90465171/633623*e^10 + 905274123/633623*e^9 - 145145819/633623*e^8 - 2097695836/633623*e^7 + 851360091/633623*e^6 + 2438226431/633623*e^5 - 999250873/633623*e^4 - 1314376753/633623*e^3 + 314056760/633623*e^2 + 178469649/633623*e - 43119834/633623, 2347735/1267246*e^16 - 3717652/633623*e^15 - 56152531/1267246*e^14 + 96337024/633623*e^13 + 245618456/633623*e^12 - 961418425/633623*e^11 - 1860256833/1267246*e^10 + 9308957803/1267246*e^9 + 1295144104/633623*e^8 - 11481955567/633623*e^7 + 129229850/633623*e^6 + 28766977917/1267246*e^5 - 2676442543/1267246*e^4 - 8265008585/633623*e^3 + 659349716/633623*e^2 + 1359927987/633623*e - 247463948/633623, -2353298/1900869*e^16 + 9014615/1900869*e^15 + 53408693/1900869*e^14 - 233522267/1900869*e^13 - 839362927/3801738*e^12 + 4664024813/3801738*e^11 + 389726728/633623*e^10 - 22652201029/3801738*e^9 + 517000084/1900869*e^8 + 28212302000/1900869*e^7 - 2277044289/633623*e^6 - 72398616055/3801738*e^5 + 17296992635/3801738*e^4 + 14486860903/1267246*e^3 - 3003848654/1900869*e^2 - 3651046247/1900869*e + 252565980/633623, 532181/3801738*e^16 + 1316689/3801738*e^15 - 9472792/1900869*e^14 - 16356350/1900869*e^13 + 267981821/3801738*e^12 + 155552710/1900869*e^11 - 637675685/1267246*e^10 - 1445053159/3801738*e^9 + 7220726147/3801738*e^8 + 3634918621/3801738*e^7 - 4602395439/1267246*e^6 - 5594938771/3801738*e^5 + 11797425767/3801738*e^4 + 797301530/633623*e^3 - 1533592862/1900869*e^2 - 445751042/1900869*e + 52891134/633623, 302007/1267246*e^16 + 59535/2534492*e^15 - 8670411/1267246*e^14 - 2776893/2534492*e^13 + 199743837/2534492*e^12 + 50006477/2534492*e^11 - 295188350/633623*e^10 - 222541133/1267246*e^9 + 3790018697/2534492*e^8 + 1029425945/1267246*e^7 - 1579510874/633623*e^6 - 4704063493/2534492*e^5 + 1078153216/633623*e^4 + 2172810857/1267246*e^3 - 388159/1267246*e^2 - 125077967/633623*e - 2834160/633623, 477151/1267246*e^16 - 3274513/1267246*e^15 - 8153451/1267246*e^14 + 84825373/1267246*e^13 + 17196037/1267246*e^12 - 849243227/1267246*e^11 + 416197389/1267246*e^10 + 4160422165/1267246*e^9 - 3056309113/1267246*e^8 - 5302229600/633623*e^7 + 3852134073/633623*e^6 + 7158771822/633623*e^5 - 7592925291/1267246*e^4 - 4662024084/633623*e^3 + 1128972142/633623*e^2 + 799432413/633623*e - 184321718/633623, 753177/1267246*e^16 - 6548975/2534492*e^15 - 16600277/1267246*e^14 + 169388213/2534492*e^13 + 243756857/2534492*e^12 - 1688029083/2534492*e^11 - 128042932/633623*e^10 + 2043168343/633623*e^9 - 1373584421/2534492*e^8 - 10124836783/1267246*e^7 + 1636590330/633623*e^6 + 25756064107/2534492*e^5 - 3823659461/1267246*e^4 - 3830993545/633623*e^3 + 1438503735/1267246*e^2 + 668366232/633623*e - 152197113/633623, 797198/1900869*e^16 - 1666595/1900869*e^15 - 41402953/3801738*e^14 + 43605452/1900869*e^13 + 207637868/1900869*e^12 - 440042800/1900869*e^11 - 677012827/1267246*e^10 + 4308957823/3801738*e^9 + 2551072697/1900869*e^8 - 10681273399/3801738*e^7 - 1092551237/633623*e^6 + 13079121583/3801738*e^5 + 1924598117/1900869*e^4 - 2317626889/1267246*e^3 - 291555391/1900869*e^2 + 557996021/1900869*e - 13715009/633623, -3123011/7603476*e^16 + 6934651/3801738*e^15 + 67784693/7603476*e^14 - 357413915/7603476*e^13 - 483167939/7603476*e^12 + 885935560/1900869*e^11 + 75939093/633623*e^10 - 17033170805/7603476*e^9 + 762325969/1900869*e^8 + 10440435752/1900869*e^7 - 3995876203/2534492*e^6 - 13063331633/1900869*e^5 + 4999980149/3801738*e^4 + 4926410361/1267246*e^3 + 36762148/1900869*e^2 - 878253830/1900869*e + 17982516/633623, 3351455/7603476*e^16 - 3505730/1900869*e^15 - 75685811/7603476*e^14 + 363918011/7603476*e^13 + 587427653/7603476*e^12 - 910520422/1900869*e^11 - 129986295/633623*e^10 + 17720435789/7603476*e^9 - 619342523/3801738*e^8 - 22023438517/3801738*e^7 + 3623817829/2534492*e^6 + 13887800021/1900869*e^5 - 6787095995/3801738*e^4 - 5283988325/1267246*e^3 + 1253220380/1900869*e^2 + 1202825543/1900869*e - 97243112/633623, 2683699/3801738*e^16 - 21198131/7603476*e^15 - 62103451/3801738*e^14 + 555884297/7603476*e^13 + 1016952173/7603476*e^12 - 5653522975/7603476*e^11 - 269731358/633623*e^10 + 7059862505/1900869*e^9 + 1447557695/7603476*e^8 - 36682220737/3801738*e^7 + 775965070/633623*e^6 + 99144810167/7603476*e^5 - 5733286985/3801738*e^4 - 5165659399/633623*e^3 + 683582515/3801738*e^2 + 2452128653/1900869*e - 115491104/633623, -1251211/633623*e^16 + 4833852/633623*e^15 + 56410873/1267246*e^14 - 250536537/1267246*e^13 - 218092883/633623*e^12 + 2503750521/1267246*e^11 + 570263055/633623*e^10 - 6089583509/633623*e^9 + 526823544/633623*e^8 + 30445112121/1267246*e^7 - 8470904991/1267246*e^6 - 39359798257/1267246*e^5 + 5215367353/633623*e^4 + 11947277617/633623*e^3 - 1732837865/633623*e^2 - 1975608916/633623*e + 404186646/633623, 602299/1267246*e^16 - 2460873/1267246*e^15 - 6617408/633623*e^14 + 31854943/633623*e^13 + 48129450/633623*e^12 - 635802171/1267246*e^11 - 190415721/1267246*e^10 + 1543454239/633623*e^9 - 631469003/1267246*e^8 - 7698908617/1267246*e^7 + 2820316109/1267246*e^6 + 4966459620/633623*e^5 - 1558197556/633623*e^4 - 5991580915/1267246*e^3 + 424051970/633623*e^2 + 452482684/633623*e - 99643374/633623, 471806/633623*e^16 - 2801741/1267246*e^15 - 23282897/1267246*e^14 + 73213993/1267246*e^13 + 107423901/633623*e^12 - 369641624/633623*e^11 - 905634681/1267246*e^10 + 1819340673/633623*e^9 + 1688993219/1267246*e^8 - 9172880631/1267246*e^7 - 522270620/633623*e^6 + 11731005393/1267246*e^5 - 424346511/1267246*e^4 - 3422166448/633623*e^3 + 330000356/633623*e^2 + 614627900/633623*e - 124465764/633623, 2069759/3801738*e^16 - 12898969/7603476*e^15 - 25228831/1900869*e^14 + 335135599/7603476*e^13 + 912296239/7603476*e^12 - 3355231517/7603476*e^11 - 615766795/1267246*e^10 + 8147802479/3801738*e^9 + 6234586369/7603476*e^8 - 10055486311/1900869*e^7 - 190094280/633623*e^6 + 49903339879/7603476*e^5 - 2028132307/3801738*e^4 - 4693517083/1267246*e^3 + 2074738067/3801738*e^2 + 1312758904/1900869*e - 96080058/633623, 2443195/2534492*e^16 - 10611495/2534492*e^15 - 53987583/2534492*e^14 + 68811514/633623*e^13 + 99591708/633623*e^12 - 2754970589/2534492*e^11 - 426070161/1267246*e^10 + 13432972681/2534492*e^9 - 2182762611/2534492*e^8 - 8418271976/633623*e^7 + 10674485359/2534492*e^6 + 43576289351/2534492*e^5 - 3135894162/633623*e^4 - 6616934242/633623*e^3 + 2280317891/1267246*e^2 + 1156600107/633623*e - 245613288/633623, -1091805/1267246*e^16 + 1470143/633623*e^15 + 13412970/633623*e^14 - 37888037/633623*e^13 - 246746811/1267246*e^12 + 749236659/1267246*e^11 + 521906336/633623*e^10 - 3568410361/1267246*e^9 - 1013020038/633623*e^8 + 8547381005/1267246*e^7 + 830500909/633623*e^6 - 10193674199/1267246*e^5 - 174065702/633623*e^4 + 2734678114/633623*e^3 - 144087407/633623*e^2 - 461353502/633623*e + 87635298/633623, 1543697/3801738*e^16 - 2203249/1900869*e^15 - 18655255/1900869*e^14 + 55957681/1900869*e^13 + 166502251/1900869*e^12 - 540837305/1900869*e^11 - 219897657/633623*e^10 + 2477767573/1900869*e^9 + 1055981881/1900869*e^8 - 11041959347/3801738*e^7 - 71419280/633623*e^6 + 5752260172/1900869*e^5 - 2322148759/3801738*e^4 - 1651563323/1267246*e^3 + 1273592899/1900869*e^2 + 469251178/1900869*e - 65263950/633623, -160466/1900869*e^16 + 3820277/7603476*e^15 + 5089555/3801738*e^14 - 100725935/7603476*e^13 - 1214525/7603476*e^12 + 1035430975/7603476*e^11 - 66635280/633623*e^10 - 2647656157/3801738*e^9 + 5403593587/7603476*e^8 + 3631185089/1900869*e^7 - 1150457347/633623*e^6 - 22007546591/7603476*e^5 + 6985119149/3801738*e^4 + 1383901173/633623*e^3 - 1896299965/3801738*e^2 - 817238459/1900869*e + 51853251/633623, -3998791/3801738*e^16 + 30135731/7603476*e^15 + 46560677/1900869*e^14 - 788634923/7603476*e^13 - 1543419143/7603476*e^12 + 7991399635/7603476*e^11 + 422172926/633623*e^10 - 19825800571/3801738*e^9 - 3017407583/7603476*e^8 + 25440806801/1900869*e^7 - 2184698863/1267246*e^6 - 134792919983/7603476*e^5 + 4689129427/1900869*e^4 + 13703522191/1267246*e^3 - 2431265299/3801738*e^2 - 3302396741/1900869*e + 185421714/633623, -4204961/3801738*e^16 + 33987487/7603476*e^15 + 93881909/3801738*e^14 - 881892703/7603476*e^13 - 1421862787/7603476*e^12 + 8833442015/7603476*e^11 + 574111059/1267246*e^10 - 10788687610/1900869*e^9 + 4986239309/7603476*e^8 + 54379703249/3801738*e^7 - 5018766787/1267246*e^6 - 142484791177/7603476*e^5 + 8292600146/1900869*e^4 + 7294329932/633623*e^3 - 3800323049/3801738*e^2 - 3420598942/1900869*e + 193204087/633623, 1200022/1900869*e^16 - 8638157/3801738*e^15 - 27782539/1900869*e^14 + 112169173/1900869*e^13 + 454824587/3801738*e^12 - 1124452943/1900869*e^11 - 478568579/1267246*e^10 + 10987262393/3801738*e^9 + 467776469/3801738*e^8 - 13806327196/1900869*e^7 + 1729941315/1267246*e^6 + 35825338493/3801738*e^5 - 3797836850/1900869*e^4 - 7243077015/1267246*e^3 + 1343761393/1900869*e^2 + 1805875576/1900869*e - 103295184/633623, -3611039/3801738*e^16 + 11057255/3801738*e^15 + 84500801/3801738*e^14 - 280682075/3801738*e^13 - 355937287/1900869*e^12 + 1357533287/1900869*e^11 + 829998169/1267246*e^10 - 6254316541/1900869*e^9 - 2631913679/3801738*e^8 + 14244208690/1900869*e^7 - 370427025/633623*e^6 - 31862509319/3801738*e^5 + 2157993053/1900869*e^4 + 5313353573/1267246*e^3 - 551131708/1900869*e^2 - 1029352036/1900869*e + 53524468/633623, 707395/1900869*e^16 - 3753259/1900869*e^15 - 14781547/1900869*e^14 + 97371595/1900869*e^13 + 94648003/1900869*e^12 - 976105205/1900869*e^11 - 20563550/633623*e^10 + 4780711393/1900869*e^9 - 1352449793/1900869*e^8 - 12109086334/1900869*e^7 + 1377094339/633623*e^6 + 15957834340/1900869*e^5 - 3516460295/1900869*e^4 - 3255088395/633623*e^3 + 230774014/1900869*e^2 + 1384649257/1900869*e - 56635212/633623, -4686307/3801738*e^16 + 27182951/7603476*e^15 + 114426829/3801738*e^14 - 708551237/7603476*e^13 - 2074625231/7603476*e^12 + 7127674753/7603476*e^11 + 703767439/633623*e^10 - 17446599847/3801738*e^9 - 14441029667/7603476*e^8 + 43698411709/3801738*e^7 + 506850314/633623*e^6 - 111343711385/7603476*e^5 + 1542669865/1900869*e^4 + 10798809147/1267246*e^3 - 2304864133/3801738*e^2 - 2618955194/1900869*e + 171394785/633623, -1471977/1267246*e^16 + 2400139/633623*e^15 + 17812851/633623*e^14 - 124915099/1267246*e^13 - 318451587/1267246*e^12 + 627137683/633623*e^11 + 1265437757/1267246*e^10 - 3063088840/633623*e^9 - 1033548945/633623*e^8 + 15285599061/1267246*e^7 + 779588885/1267246*e^6 - 19306784901/1267246*e^5 + 420722077/633623*e^4 + 11019742077/1267246*e^3 - 338897607/633623*e^2 - 890366985/633623*e + 169306371/633623, 10624333/7603476*e^16 - 31162351/7603476*e^15 - 257900887/7603476*e^14 + 201665272/1900869*e^13 + 579719503/1900869*e^12 - 8033974709/7603476*e^11 - 1555874661/1267246*e^10 + 38743024093/7603476*e^9 + 15827595085/7603476*e^8 - 47425927397/3801738*e^7 - 2508972175/2534492*e^6 + 117225881083/7603476*e^5 - 1990691941/3801738*e^4 - 11015559019/1267246*e^3 + 1579075835/3801738*e^2 + 2721937066/1900869*e - 143460129/633623, -2746423/1267246*e^16 + 9268905/1267246*e^15 + 32374628/633623*e^14 - 119845846/633623*e^13 - 275738073/633623*e^12 + 2385330401/1267246*e^11 + 1962755111/1267246*e^10 - 5751294170/633623*e^9 - 2136186659/1267246*e^8 + 28220845559/1267246*e^7 - 1965518653/1267246*e^6 - 17558739634/633623*e^5 + 2147946826/633623*e^4 + 19981218955/1267246*e^3 - 821888947/633623*e^2 - 1575224808/633623*e + 278611113/633623, -862970/1900869*e^16 + 18222647/7603476*e^15 + 33985645/3801738*e^14 - 468953867/7603476*e^13 - 352371671/7603476*e^12 + 4643656567/7603476*e^11 - 136323713/1267246*e^10 - 5579843528/1900869*e^9 + 12209732473/7603476*e^8 + 13759019465/1900869*e^7 - 5772422301/1267246*e^6 - 70664032217/7603476*e^5 + 17926652525/3801738*e^4 + 7230448701/1267246*e^3 - 5695534945/3801738*e^2 - 1779015509/1900869*e + 152928882/633623, -389767/633623*e^16 + 5543939/2534492*e^15 + 9135066/633623*e^14 - 143833543/2534492*e^13 - 306557569/2534492*e^12 + 1438374557/2534492*e^11 + 259476871/633623*e^10 - 1747054142/633623*e^9 - 769035443/2534492*e^8 + 8670198919/1267246*e^7 - 1231145183/1267246*e^6 - 21918384481/2534492*e^5 + 1127006563/633623*e^4 + 6424957429/1267246*e^3 - 1155849985/1267246*e^2 - 593217912/633623*e + 129404559/633623, 1714933/1267246*e^16 - 12522877/2534492*e^15 - 39799607/1267246*e^14 + 324891255/2534492*e^13 + 656482239/2534492*e^12 - 3250171785/2534492*e^11 - 535036854/633623*e^10 + 3953204319/633623*e^9 + 1268404425/2534492*e^8 - 19698557229/1267246*e^7 + 1341956702/633623*e^6 + 50229439705/2534492*e^5 - 3876873371/1267246*e^4 - 7369817527/633623*e^3 + 1196628981/1267246*e^2 + 1162128940/633623*e - 203567487/633623, -1645505/633623*e^16 + 25514263/2534492*e^15 + 74246433/1267246*e^14 - 660246963/2534492*e^13 - 1151641971/2534492*e^12 + 6584164295/2534492*e^11 + 1531439851/1267246*e^10 - 7980303642/633623*e^9 + 2324692705/2534492*e^8 + 19842813108/633623*e^7 - 10343876385/1267246*e^6 - 101814594625/2534492*e^5 + 12414710239/1267246*e^4 + 30577852685/1267246*e^3 - 3762590943/1267246*e^2 - 2472784841/633623*e + 483074487/633623, -3195007/7603476*e^16 + 16997629/7603476*e^15 + 63453421/7603476*e^14 - 218025053/3801738*e^13 - 171505409/3801738*e^12 + 4297309679/7603476*e^11 - 45677494/633623*e^10 - 20498641459/7603476*e^9 + 10011528113/7603476*e^8 + 24964248905/3801738*e^7 - 9338568017/2534492*e^6 - 62972652559/7603476*e^5 + 6849343934/1900869*e^4 + 6296233633/1267246*e^3 - 3747104309/3801738*e^2 - 1489101964/1900869*e + 88403677/633623, -85106/633623*e^16 + 1234891/1267246*e^15 + 1371508/633623*e^14 - 15624084/633623*e^13 - 1173652/633623*e^12 + 301805431/1267246*e^11 - 179207537/1267246*e^10 - 697508170/633623*e^9 + 1191802435/1267246*e^8 + 1616407196/633623*e^7 - 2859628257/1267246*e^6 - 1912121535/633623*e^5 + 2762117701/1267246*e^4 + 1106918100/633623*e^3 - 466171977/633623*e^2 - 211871948/633623*e + 65738790/633623, 1291211/1267246*e^16 - 4244235/1267246*e^15 - 15182582/633623*e^14 + 110108311/1267246*e^13 + 256410565/1267246*e^12 - 1100967175/1267246*e^11 - 440693113/633623*e^10 + 2674982277/633623*e^9 + 713731649/1267246*e^8 - 13305094453/1267246*e^7 + 968244047/633623*e^6 + 16971060909/1267246*e^5 - 3596039641/1267246*e^4 - 10117626667/1267246*e^3 + 814388865/633623*e^2 + 877624832/633623*e - 188180142/633623, -8498807/7603476*e^16 + 6089909/1900869*e^15 + 205966307/7603476*e^14 - 624579431/7603476*e^13 - 1849013975/7603476*e^12 + 3064289141/3801738*e^11 + 620171460/633623*e^10 - 28829105483/7603476*e^9 - 6351899137/3801738*e^8 + 33786178309/3801738*e^7 + 2080525099/2534492*e^6 - 38829981397/3801738*e^5 + 1080106027/1900869*e^4 + 3290216388/633623*e^3 - 1342599854/1900869*e^2 - 1671956351/1900869*e + 109833414/633623, 1257299/633623*e^16 - 17794869/2534492*e^15 - 29156048/633623*e^14 + 458617769/2534492*e^13 + 961026375/2534492*e^12 - 4542170043/2534492*e^11 - 782611811/633623*e^10 + 5437380239/633623*e^9 + 1846991121/2534492*e^8 - 26411930467/1267246*e^7 + 4003707255/1267246*e^6 + 65004949107/2534492*e^5 - 3075207260/633623*e^4 - 18440755509/1267246*e^3 + 2502940249/1267246*e^2 + 1526966576/633623*e - 319118160/633623, -2787328/1900869*e^16 + 21782939/3801738*e^15 + 63477475/1900869*e^14 - 566508965/3801738*e^13 - 501822544/1900869*e^12 + 2844843647/1900869*e^11 + 473556109/633623*e^10 - 27866462567/3801738*e^9 + 1011026863/3801738*e^8 + 35110788217/1900869*e^7 - 2663885216/633623*e^6 - 45561297226/1900869*e^5 + 20309404999/3801738*e^4 + 18243544791/1267246*e^3 - 3306426538/1900869*e^2 - 4378671064/1900869*e + 282113083/633623, 557613/1267246*e^16 - 2026659/1267246*e^15 - 6683472/633623*e^14 + 53154277/1267246*e^13 + 58631635/633623*e^12 - 270118936/633623*e^11 - 223068143/633623*e^10 + 2690276493/1267246*e^9 + 633999433/1267246*e^8 - 6922995621/1267246*e^7 - 9309610/633623*e^6 + 4566107272/633623*e^5 - 192071781/633623*e^4 - 2725530261/633623*e^3 + 13034416/633623*e^2 + 395612494/633623*e - 60725922/633623, 1068919/1900869*e^16 - 5072783/3801738*e^15 - 52579385/3801738*e^14 + 129582905/3801738*e^13 + 482820791/3801738*e^12 - 1262587477/3801738*e^11 - 671259709/1267246*e^10 + 5861565299/3801738*e^9 + 3609357575/3801738*e^8 - 13413760805/3801738*e^7 - 255394039/633623*e^6 + 7439276353/1900869*e^5 - 1438390034/1900869*e^4 - 2487528529/1267246*e^3 + 1651834570/1900869*e^2 + 819764671/1900869*e - 94847265/633623, 218517/1267246*e^16 - 2474371/2534492*e^15 - 3700371/1267246*e^14 + 62861467/2534492*e^13 + 14240895/2534492*e^12 - 610931927/2534492*e^11 + 196911621/1267246*e^10 + 714736362/633623*e^9 - 2849097917/2534492*e^8 - 3410704927/1267246*e^7 + 3576581045/1267246*e^6 + 8607979609/2534492*e^5 - 1752635603/633623*e^4 - 1341775553/633623*e^3 + 956090201/1267246*e^2 + 179877720/633623*e - 45956243/633623, -2234455/1267246*e^16 + 7630025/1267246*e^15 + 26082578/633623*e^14 - 98579402/633623*e^13 - 435494429/1267246*e^12 + 980128339/633623*e^11 + 1467593173/1267246*e^10 - 9445207405/1267246*e^9 - 1132960053/1267246*e^8 + 23186237555/1267246*e^7 - 2976908437/1267246*e^6 - 29029018083/1267246*e^5 + 4892750259/1267246*e^4 + 8417993200/633623*e^3 - 892288662/633623*e^2 - 1379486449/633623*e + 256639725/633623, 171126/633623*e^16 - 800154/633623*e^15 - 6936091/1267246*e^14 + 20422985/633623*e^13 + 39961975/1267246*e^12 - 399657261/1267246*e^11 + 32643619/1267246*e^10 + 943382396/633623*e^9 - 496443573/633623*e^8 - 4532991517/1267246*e^7 + 1489130619/633623*e^6 + 2827958135/633623*e^5 - 3158405569/1267246*e^4 - 1701280052/633623*e^3 + 519044715/633623*e^2 + 255445203/633623*e - 80948942/633623, -574622/633623*e^16 + 2344790/633623*e^15 + 25715127/1267246*e^14 - 121682403/1267246*e^13 - 195774009/1267246*e^12 + 609186574/633623*e^11 + 242798892/633623*e^10 - 5944300217/1267246*e^9 + 304440711/633623*e^8 + 14923839721/1267246*e^7 - 3947742899/1267246*e^6 - 9685589380/633623*e^5 + 4402051701/1267246*e^4 + 11701393057/1267246*e^3 - 542017123/633623*e^2 - 897099967/633623*e + 155244132/633623, -518567/1267246*e^16 + 1368952/633623*e^15 + 4924101/633623*e^14 - 35327417/633623*e^13 - 21685857/633623*e^12 + 351610754/633623*e^11 - 110356349/633623*e^10 - 1707704618/633623*e^9 + 1160949976/633623*e^8 + 8615367453/1267246*e^7 - 3208079771/633623*e^6 - 5792901725/633623*e^5 + 6742452887/1267246*e^4 + 7655710597/1267246*e^3 - 1089411536/633623*e^2 - 668368037/633623*e + 168701862/633623, -836229/633623*e^16 + 6087193/1267246*e^15 + 19299128/633623*e^14 - 158367665/1267246*e^13 - 314111631/1267246*e^12 + 1591200615/1267246*e^11 + 489015175/633623*e^10 - 3899386580/633623*e^9 - 267048521/1267246*e^8 + 9845139077/633623*e^7 - 1774035230/633623*e^6 - 25691451173/1267246*e^5 + 2401341399/633623*e^4 + 7804341439/633623*e^3 - 686362819/633623*e^2 - 1257765707/633623*e + 217568130/633623, 472417/1267246*e^16 - 791522/633623*e^15 - 10348305/1267246*e^14 + 39825941/1267246*e^13 + 75103989/1267246*e^12 - 190152777/633623*e^11 - 75001031/633623*e^10 + 1720744555/1267246*e^9 - 237138114/633623*e^8 - 1920949833/633623*e^7 + 2173305039/1267246*e^6 + 2168618169/633623*e^5 - 1317007290/633623*e^4 - 1224815789/633623*e^3 + 537268345/633623*e^2 + 231384312/633623*e - 79667028/633623, 5253179/7603476*e^16 - 4399730/1900869*e^15 - 127133255/7603476*e^14 + 466298513/7603476*e^13 + 1127276591/7603476*e^12 - 1201532713/1900869*e^11 - 717044433/1267246*e^10 + 24415607609/7603476*e^9 + 2773935787/3801738*e^8 - 32320695361/3801738*e^7 + 1350697399/2534492*e^6 + 44266139557/3801738*e^5 - 3293784163/1900869*e^4 - 9304819563/1267246*e^3 + 1688881964/1900869*e^2 + 2449156721/1900869*e - 151913981/633623, 312985/633623*e^16 - 2380347/2534492*e^15 - 16591687/1267246*e^14 + 61748839/2534492*e^13 + 343325293/2534492*e^12 - 613931629/2534492*e^11 - 881174525/1267246*e^10 + 1460370031/1267246*e^9 + 4764949471/2534492*e^8 - 1701572593/633623*e^7 - 3348603407/1267246*e^6 + 7228677447/2534492*e^5 + 1001199842/633623*e^4 - 697051569/633623*e^3 + 21453999/1267246*e^2 + 130071415/633623*e - 35585133/633623, -1679349/2534492*e^16 + 2930943/1267246*e^15 + 38010107/2534492*e^14 - 149697399/2534492*e^13 - 297414587/2534492*e^12 + 365625153/633623*e^11 + 410062813/1267246*e^10 - 6858777131/2534492*e^9 + 102291885/633623*e^8 + 4039644099/633623*e^7 - 4963884709/2534492*e^6 - 9611365857/1267246*e^5 + 1630279849/633623*e^4 + 5328084823/1267246*e^3 - 653534246/633623*e^2 - 427580650/633623*e + 114026214/633623, 1009/1267246*e^16 + 286015/2534492*e^15 - 844409/1267246*e^14 - 6713827/2534492*e^13 + 41604073/2534492*e^12 + 58060903/2534492*e^11 - 196726457/1267246*e^10 - 57889588/633623*e^9 + 1753462241/2534492*e^8 + 249318771/1267246*e^7 - 1852578443/1267246*e^6 - 890476833/2534492*e^5 + 833652786/633623*e^4 + 264139531/633623*e^3 - 404267369/1267246*e^2 - 47646791/633623*e + 28101699/633623, 1121074/633623*e^16 - 16526925/2534492*e^15 - 51230869/1267246*e^14 + 425430749/2534492*e^13 + 818530071/2534492*e^12 - 4207594055/2534492*e^11 - 1213714303/1267246*e^10 + 10059900561/1267246*e^9 + 43531033/2534492*e^8 - 12213402642/633623*e^7 + 5201275959/1267246*e^6 + 60379351621/2534492*e^5 - 3399606015/633623*e^4 - 8664331003/633623*e^3 + 2368601279/1267246*e^2 + 1421689595/633623*e - 278920239/633623, -318643/633623*e^16 + 4795525/2534492*e^15 + 14510885/1267246*e^14 - 123221209/2534492*e^13 - 230717153/2534492*e^12 + 1215612689/2534492*e^11 + 340356369/1267246*e^10 - 1447801532/633623*e^9 - 41276305/2534492*e^8 + 3495506301/633623*e^7 - 1311476307/1267246*e^6 - 17137448483/2534492*e^5 + 1547498617/1267246*e^4 + 4846577011/1267246*e^3 - 427986345/1267246*e^2 - 373919199/633623*e + 75981351/633623, 6022531/3801738*e^16 - 44210765/7603476*e^15 - 138964657/3801738*e^14 + 1144150859/7603476*e^13 + 2264684243/7603476*e^12 - 11405801257/7603476*e^11 - 593562569/633623*e^10 + 13802359394/1900869*e^9 + 2655019805/7603476*e^8 - 68293303081/3801738*e^7 + 1908302576/633623*e^6 + 172971599969/7603476*e^5 - 15838336643/3801738*e^4 - 8476675722/633623*e^3 + 5269052767/3801738*e^2 + 4202571833/1900869*e - 260612798/633623, 30473/1267246*e^16 - 19091/633623*e^15 - 879403/1267246*e^14 + 760199/1267246*e^13 + 10727879/1267246*e^12 - 2131727/633623*e^11 - 37006028/633623*e^10 - 4268825/1267246*e^9 + 160376388/633623*e^8 + 55131222/633623*e^7 - 863333227/1267246*e^6 - 169198209/633623*e^5 + 628115610/633623*e^4 + 203000464/633623*e^3 - 377332055/633623*e^2 - 88462834/633623*e + 47981091/633623, -4080215/1900869*e^16 + 31907563/3801738*e^15 + 185007673/3801738*e^14 - 827749201/3801738*e^13 - 724815362/1900869*e^12 + 4142052706/1900869*e^11 + 1330924617/1267246*e^10 - 20182593422/1900869*e^9 + 2087550293/3801738*e^8 + 100980503833/3801738*e^7 - 4033490435/633623*e^6 - 129936636223/3801738*e^5 + 29701108127/3801738*e^4 + 12902271621/633623*e^3 - 4550996981/1900869*e^2 - 6077289887/1900869*e + 393381489/633623, -1770857/1267246*e^16 + 11418979/2534492*e^15 + 42537635/1267246*e^14 - 296726135/2534492*e^13 - 750085111/2534492*e^12 + 2973615083/2534492*e^11 + 1445878617/1267246*e^10 - 3622312642/633623*e^9 - 4301214527/2534492*e^8 + 18047062205/1267246*e^7 + 280955785/1267246*e^6 - 45765868201/2534492*e^5 + 686224048/633623*e^4 + 6631269361/633623*e^3 - 545057995/1267246*e^2 - 1050021369/633623*e + 180529606/633623, 6204901/1900869*e^16 - 44956091/3801738*e^15 - 143532919/1900869*e^14 + 581794747/1900869*e^13 + 2350636889/3801738*e^12 - 5800331732/1900869*e^11 - 2496616495/1267246*e^10 + 56152065497/3801738*e^9 + 3287285441/3801738*e^8 - 69437701054/1900869*e^7 + 7655630757/1267246*e^6 + 175669636505/3801738*e^5 - 16557574349/1900869*e^4 - 34327307641/1267246*e^3 + 5908456924/1900869*e^2 + 8421140455/1900869*e - 550349913/633623, -2823575/7603476*e^16 + 9028355/7603476*e^15 + 69438311/7603476*e^14 - 117854323/3801738*e^13 - 319414639/3801738*e^12 + 2377120105/7603476*e^11 + 224921217/633623*e^10 - 11675622977/7603476*e^9 - 5228286041/7603476*e^8 + 7325006915/1900869*e^7 + 1472441573/2534492*e^6 - 37033152941/7603476*e^5 - 840225007/3801738*e^4 + 1746876623/633623*e^3 + 131780681/3801738*e^2 - 890319476/1900869*e + 32024565/633623, 11536229/3801738*e^16 - 39209687/3801738*e^15 - 272136041/3801738*e^14 + 508818235/1900869*e^13 + 1158627049/1900869*e^12 - 10183091917/3801738*e^11 - 1367760157/633623*e^10 + 49537744877/3801738*e^9 + 8482647623/3801738*e^8 - 61638721993/1900869*e^7 + 3470885341/1267246*e^6 + 156649365533/3801738*e^5 - 10811079932/1900869*e^4 - 15268150987/633623*e^3 + 4394845039/1900869*e^2 + 7453876888/1900869*e - 470018160/633623, 10639825/3801738*e^16 - 17347811/1900869*e^15 - 254438059/3801738*e^14 + 902206225/3801738*e^13 + 2221492285/3801738*e^12 - 4524845368/1900869*e^11 - 1389013310/633623*e^10 + 44145249955/3801738*e^9 + 5475613397/1900869*e^8 - 55040786774/1900869*e^7 + 1371750761/1267246*e^6 + 69779267864/1900869*e^5 - 8435449648/1900869*e^4 - 13485524627/633623*e^3 + 4336930106/1900869*e^2 + 6677643080/1900869*e - 435291260/633623, 7214843/3801738*e^16 - 14480146/1900869*e^15 - 161660711/3801738*e^14 + 374296039/1900869*e^13 + 1233677471/3801738*e^12 - 7452223585/3801738*e^11 - 1024913613/1267246*e^10 + 18010265446/1900869*e^9 - 1937374211/1900869*e^8 - 44525705587/1900869*e^7 + 4297220143/633623*e^6 + 56526447658/1900869*e^5 - 15470747876/1900869*e^4 - 22325758793/1267246*e^3 + 5183929180/1900869*e^2 + 5470360180/1900869*e - 372211302/633623, 3245371/2534492*e^16 - 5988795/1267246*e^15 - 77079445/2534492*e^14 + 313794281/2534492*e^13 + 663423415/2534492*e^12 - 1591928101/1267246*e^11 - 1199474673/1267246*e^10 + 15811728515/2534492*e^9 + 667962846/633623*e^8 - 10128169205/633623*e^7 + 2679755995/2534492*e^6 + 13289897196/633623*e^5 - 3165235651/1267246*e^4 - 7967032368/633623*e^3 + 733655990/633623*e^2 + 1346100046/633623*e - 255535674/633623, 4111949/2534492*e^16 - 7617753/1267246*e^15 - 93707269/2534492*e^14 + 392050607/2534492*e^13 + 744443801/2534492*e^12 - 1937431439/1267246*e^11 - 542400868/633623*e^10 + 18505912139/2534492*e^9 - 48028878/633623*e^8 - 22416666315/1267246*e^7 + 9942416505/2534492*e^6 + 27588180097/1267246*e^5 - 6323060071/1267246*e^4 - 15657484019/1267246*e^3 + 1037273047/633623*e^2 + 1206465862/633623*e - 237399222/633623, -1117666/633623*e^16 + 17004633/2534492*e^15 + 25698181/633623*e^14 - 442324357/2534492*e^13 - 828780621/2534492*e^12 + 4442976453/2534492*e^11 + 623524782/633623*e^10 - 10878301621/1267246*e^9 - 48960357/2534492*e^8 + 27383921445/1267246*e^7 - 5733736263/1267246*e^6 - 70878184729/2534492*e^5 + 8054512719/1267246*e^4 + 10635052933/633623*e^3 - 3137969677/1267246*e^2 - 1773392031/633623*e + 375745986/633623, -88303/1267246*e^16 + 987399/2534492*e^15 + 2017401/1267246*e^14 - 26229925/2534492*e^13 - 31783439/2534492*e^12 + 271140125/2534492*e^11 + 21489576/633623*e^10 - 689887795/1267246*e^9 + 76185517/2534492*e^8 + 1816516793/1267246*e^7 - 178267854/633623*e^6 - 4825089613/2534492*e^5 + 287100941/633623*e^4 + 1389044869/1267246*e^3 - 394346383/1267246*e^2 - 111754108/633623*e + 54304209/633623, -5102945/3801738*e^16 + 36912235/7603476*e^15 + 117967373/3801738*e^14 - 954985729/7603476*e^13 - 1928671795/7603476*e^12 + 9514302677/7603476*e^11 + 508802488/633623*e^10 - 23000063465/3801738*e^9 - 2377748623/7603476*e^8 + 56780626943/3801738*e^7 - 1658370776/633623*e^6 - 143345919157/7603476*e^5 + 7181954078/1900869*e^4 + 14005079015/1267246*e^3 - 5295195611/3801738*e^2 - 3463781890/1900869*e + 238034983/633623, 1013110/633623*e^16 - 13999387/2534492*e^15 - 47158913/1267246*e^14 + 362829971/2534492*e^13 + 781004831/2534492*e^12 - 3624156999/2534492*e^11 - 1277902567/1267246*e^10 + 4398226157/633623*e^9 + 1427275703/2534492*e^8 - 10929301161/633623*e^7 + 3630714227/1267246*e^6 + 55745020021/2534492*e^5 - 5662014927/1267246*e^4 - 16579480321/1267246*e^3 + 2151578649/1267246*e^2 + 1402044379/633623*e - 277627026/633623, -437617/2534492*e^16 + 816733/1267246*e^15 + 8770313/2534492*e^14 - 38330891/2534492*e^13 - 51005829/2534492*e^12 + 161547957/1267246*e^11 - 2449352/633623*e^10 - 1117274663/2534492*e^9 + 226472206/633623*e^8 + 517825783/1267246*e^7 - 2327321281/2534492*e^6 + 831133011/1267246*e^5 + 924207913/1267246*e^4 - 1441877337/1267246*e^3 - 102423837/633623*e^2 + 174081757/633623*e - 45954738/633623, -3920807/2534492*e^16 + 7412213/1267246*e^15 + 89707847/2534492*e^14 - 384554473/2534492*e^13 - 716765839/2534492*e^12 + 1923732103/1267246*e^11 + 526281914/633623*e^10 - 18731422041/2534492*e^9 + 57578332/633623*e^8 + 23384136221/1267246*e^7 - 10298149759/2534492*e^6 - 29986938817/1267246*e^5 + 6893687853/1267246*e^4 + 17851686361/1267246*e^3 - 1254671197/633623*e^2 - 1464639936/633623*e + 298756488/633623, -9283309/3801738*e^16 + 69541415/7603476*e^15 + 213524941/3801738*e^14 - 1806366671/7603476*e^13 - 3449516645/7603476*e^12 + 18106359961/7603476*e^11 + 1747112539/1267246*e^10 - 44195395333/3801738*e^9 - 1138595867/7603476*e^8 + 110790994135/3801738*e^7 - 7363253981/1267246*e^6 - 285711337103/7603476*e^5 + 30486020453/3801738*e^4 + 28582937153/1267246*e^3 - 11036081119/3801738*e^2 - 7202889119/1900869*e + 474594435/633623, -3636881/3801738*e^16 + 23415679/7603476*e^15 + 87340991/3801738*e^14 - 609041545/7603476*e^13 - 1538471017/7603476*e^12 + 6113007839/7603476*e^11 + 491911334/633623*e^10 - 7465531081/1900869*e^9 - 8529735943/7603476*e^8 + 37344559457/3801738*e^7 - 10599539/633623*e^6 - 95251866511/7603476*e^5 + 4111353913/3801738*e^4 + 4646041516/633623*e^3 - 2212406537/3801738*e^2 - 2319386011/1900869*e + 161048875/633623, 7128683/3801738*e^16 - 50492497/7603476*e^15 - 164640647/3801738*e^14 + 1305134599/7603476*e^13 + 2689725091/7603476*e^12 - 12985561361/7603476*e^11 - 711076017/633623*e^10 + 15667521394/1900869*e^9 + 3690248773/7603476*e^8 - 77200837211/3801738*e^7 + 2128901773/633623*e^6 + 194616664633/7603476*e^5 - 17385591049/3801738*e^4 - 9436763028/633623*e^3 + 4783119305/3801738*e^2 + 4277252758/1900869*e - 242711397/633623, -2012485/1900869*e^16 + 20060497/7603476*e^15 + 102417785/3801738*e^14 - 524090767/7603476*e^13 - 1990901491/7603476*e^12 + 5281575209/7603476*e^11 + 770935119/633623*e^10 - 6458386480/1900869*e^9 - 21332009329/7603476*e^8 + 16009716946/1900869*e^7 + 1991801798/633623*e^6 - 78601956265/7603476*e^5 - 2684475760/1900869*e^4 + 7023286759/1267246*e^3 - 543495953/3801738*e^2 - 1745361301/1900869*e + 114388726/633623, 7060821/2534492*e^16 - 5687645/633623*e^15 - 167623821/2534492*e^14 + 587453029/2534492*e^13 + 1447136033/2534492*e^12 - 2916363061/1267246*e^11 - 1331699723/633623*e^10 + 28024553653/2534492*e^9 + 3374976797/1267246*e^8 - 34187699639/1267246*e^7 + 2367202145/2534492*e^6 + 42260226297/1267246*e^5 - 2104862806/633623*e^4 - 11964963823/633623*e^3 + 789840582/633623*e^2 + 1871260947/633623*e - 325558730/633623, 836029/1900869*e^16 - 5592527/3801738*e^15 - 38529137/3801738*e^14 + 145197341/3801738*e^13 + 156338320/1900869*e^12 - 727484780/1900869*e^11 - 321545139/1267246*e^10 + 3555589981/1900869*e^9 + 192490889/3801738*e^8 - 17953350785/3801738*e^7 + 633056251/633623*e^6 + 23716946675/3801738*e^5 - 5189900359/3801738*e^4 - 2502852875/633623*e^3 + 745350682/1900869*e^2 + 1363022452/1900869*e - 60853398/633623, 657685/1267246*e^16 - 3138131/1267246*e^15 - 7238202/633623*e^14 + 41573998/633623*e^13 + 104928223/1267246*e^12 - 429232162/633623*e^11 - 195906889/1267246*e^10 + 4385178783/1267246*e^9 - 807334427/1267246*e^8 - 11769368961/1267246*e^7 + 3515605155/1267246*e^6 + 16571325111/1267246*e^5 - 3978749019/1267246*e^4 - 5431597130/633623*e^3 + 560348294/633623*e^2 + 932974127/633623*e - 162605994/633623, -4041701/3801738*e^16 + 33556033/7603476*e^15 + 91617851/3801738*e^14 - 876189505/7603476*e^13 - 1428448153/7603476*e^12 + 8852629181/7603476*e^11 + 631404735/1267246*e^10 - 10935956917/1900869*e^9 + 3490767287/7603476*e^8 + 55798323677/3801738*e^7 - 4922858809/1267246*e^6 - 146782518139/7603476*e^5 + 9788649959/1900869*e^4 + 7466756911/633623*e^3 - 7844161253/3801738*e^2 - 3847769887/1900869*e + 291276601/633623, -585203/1267246*e^16 + 2657325/2534492*e^15 + 14221805/1267246*e^14 - 64358317/2534492*e^13 - 258775803/2534492*e^12 + 573551607/2534492*e^11 + 545882513/1267246*e^10 - 1122530705/1267246*e^9 - 2211213413/2534492*e^8 + 1711572839/1267246*e^7 + 1110761439/1267246*e^6 - 502038629/2534492*e^5 - 288095899/1267246*e^4 - 1054591321/1267246*e^3 - 600344077/1267246*e^2 + 25382439/633623*e + 27585934/633623, 8564401/3801738*e^16 - 50813003/7603476*e^15 - 103358057/1900869*e^14 + 1306019999/7603476*e^13 + 3684263501/7603476*e^12 - 12864922777/7603476*e^11 - 1217135934/633623*e^10 + 15230394338/1900869*e^9 + 24003705215/7603476*e^8 - 36132034271/1900869*e^7 - 1701929365/1267246*e^6 + 169568393849/7603476*e^5 - 3992164445/3801738*e^4 - 7371497215/633623*e^3 + 3807774271/3801738*e^2 + 3461620829/1900869*e - 210314531/633623, -1382869/1267246*e^16 + 10772357/2534492*e^15 + 15756444/633623*e^14 - 280016411/2534492*e^13 - 498867129/2534492*e^12 + 2810989335/2534492*e^11 + 708015527/1267246*e^10 - 3441079004/633623*e^9 + 503784439/2534492*e^8 + 8678495056/633623*e^7 - 2027690881/633623*e^6 - 45244631757/2534492*e^5 + 2676123634/633623*e^4 + 6889681955/633623*e^3 - 1950312627/1267246*e^2 - 1153798006/633623*e + 236156286/633623, 408100/1900869*e^16 + 3159047/7603476*e^15 - 14601430/1900869*e^14 - 81349721/7603476*e^13 + 834102373/7603476*e^12 + 820801597/7603476*e^11 - 1009177647/1267246*e^10 - 1052142428/1900869*e^9 + 23503107793/7603476*e^8 + 6130353673/3801738*e^7 - 3911068512/633623*e^6 - 21588814859/7603476*e^5 + 21072407111/3801738*e^4 + 3204710075/1267246*e^3 - 5425964377/3801738*e^2 - 793980785/1900869*e + 87761178/633623, 765694/633623*e^16 - 13465155/2534492*e^15 - 33404649/1267246*e^14 + 348148525/2534492*e^13 + 479015205/2534492*e^12 - 3468894595/2534492*e^11 - 224412952/633623*e^10 + 4201529856/633623*e^9 - 3305822489/2534492*e^8 - 10444403931/633623*e^7 + 3431105388/633623*e^6 + 53603093119/2534492*e^5 - 3511397332/633623*e^4 - 16029067877/1267246*e^3 + 1539381591/1267246*e^2 + 1210150244/633623*e - 192957333/633623, -1151432/1900869*e^16 + 8150437/3801738*e^15 + 54201337/3801738*e^14 - 106689620/1900869*e^13 - 459850201/3801738*e^12 + 1082219107/1900869*e^11 + 269849445/633623*e^10 - 5384620376/1900869*e^9 - 1680008173/3801738*e^8 + 27846443707/3801738*e^7 - 558999047/1267246*e^6 - 18780304673/1900869*e^5 + 1321682056/1900869*e^4 + 3942706557/633623*e^3 + 147939166/1900869*e^2 - 1909366883/1900869*e + 71890884/633623, 706945/1267246*e^16 - 9244823/2534492*e^15 - 12248499/1267246*e^14 + 238610229/2534492*e^13 + 60134705/2534492*e^12 - 2375149015/2534492*e^11 + 284194487/633623*e^10 + 2882182015/633623*e^9 - 8568291405/2534492*e^8 - 14483876177/1267246*e^7 + 5404232800/633623*e^6 + 38399545383/2534492*e^5 - 10566549751/1267246*e^4 - 6126172545/633623*e^3 + 3028990261/1267246*e^2 + 1007557611/633623*e - 226151445/633623, -1271910/633623*e^16 + 20612765/2534492*e^15 + 28698012/633623*e^14 - 533591031/2534492*e^13 - 891981161/2534492*e^12 + 5322658335/2534492*e^11 + 1205322059/1267246*e^10 - 6449652007/633623*e^9 + 1388070991/2534492*e^8 + 31989912093/1267246*e^7 - 3563418670/633623*e^6 - 81232086917/2534492*e^5 + 8059050857/1267246*e^4 + 23731456847/1267246*e^3 - 2006579797/1267246*e^2 - 1789926459/633623*e + 302998368/633623, -630251/633623*e^16 + 6915983/2534492*e^15 + 30883305/1267246*e^14 - 178342565/2534492*e^13 - 565111237/2534492*e^12 + 1764822355/2534492*e^11 + 590738065/633623*e^10 - 2103714957/633623*e^9 - 4449103935/2534492*e^8 + 5046453509/633623*e^7 + 830170815/633623*e^6 - 24120128871/2534492*e^5 - 106003034/633623*e^4 + 6504177905/1267246*e^3 - 257809945/1267246*e^2 - 549898824/633623*e + 88072293/633623, -4845365/3801738*e^16 + 8490448/1900869*e^15 + 114231833/3801738*e^14 - 221677150/1900869*e^13 - 968942993/3801738*e^12 + 4476364861/3801738*e^11 + 1123040243/1267246*e^10 - 11040616288/1900869*e^9 - 1480718191/1900869*e^8 + 28074597076/1900869*e^7 - 1088963586/633623*e^6 - 36756679693/1900869*e^5 + 6208364642/1900869*e^4 + 14900396159/1267246*e^3 - 2799551347/1900869*e^2 - 3915558070/1900869*e + 271171972/633623, 847579/1267246*e^16 - 3932067/1267246*e^15 - 9560951/633623*e^14 + 51565940/633623*e^13 + 147796671/1267246*e^12 - 524792298/633623*e^11 - 384295601/1267246*e^10 + 5249099553/1267246*e^9 - 370617225/1267246*e^8 - 13656835317/1267246*e^7 + 2876066375/1267246*e^6 + 18475342949/1267246*e^5 - 3470383941/1267246*e^4 - 5828726946/633623*e^3 + 584130300/633623*e^2 + 1035986705/633623*e - 184014522/633623, 42950/633623*e^16 - 365647/633623*e^15 - 2329251/1267246*e^14 + 10371783/633623*e^13 + 24459619/1267246*e^12 - 234576821/1267246*e^11 - 125846013/1267246*e^10 + 674267330/633623*e^9 + 170877341/633623*e^8 - 4161640573/1267246*e^7 - 280058783/633623*e^6 + 3328527017/633623*e^5 + 753408915/1267246*e^4 - 2360483289/633623*e^3 - 322291453/633623*e^2 + 396787317/633623*e - 28530396/633623, 202113/633623*e^16 - 4071093/2534492*e^15 - 4369736/633623*e^14 + 105970963/2534492*e^13 + 122367067/2534492*e^12 - 1066786993/2534492*e^11 - 99451451/1267246*e^10 + 2625322683/1267246*e^9 - 1015736567/2534492*e^8 - 6676093473/1267246*e^7 + 935020288/633623*e^6 + 17540621319/2534492*e^5 - 826834982/633623*e^4 - 2636942128/633623*e^3 + 79269207/1267246*e^2 + 364045564/633623*e - 32352345/633623, -2522209/1267246*e^16 + 18364705/2534492*e^15 + 58228535/1267246*e^14 - 476778291/2534492*e^13 - 948512105/2534492*e^12 + 4775201835/2534492*e^11 + 740489548/633623*e^10 - 11640806327/1267246*e^9 - 864092705/2534492*e^8 + 29121968815/1267246*e^7 - 2655471896/633623*e^6 - 74851812851/2534492*e^5 + 3690667636/633623*e^4 + 22271348895/1267246*e^3 - 2427970573/1267246*e^2 - 1766847027/633623*e + 334576876/633623, -667513/1267246*e^16 + 2024009/1267246*e^15 + 7703987/633623*e^14 - 51812597/1267246*e^13 - 125175423/1267246*e^12 + 507552387/1267246*e^11 + 191395519/633623*e^10 - 1193677171/633623*e^9 - 15261187/1267246*e^8 + 5644848331/1267246*e^7 - 948518496/633623*e^6 - 6771422743/1267246*e^5 + 3035191907/1267246*e^4 + 3908308211/1267246*e^3 - 754742278/633623*e^2 - 377926110/633623*e + 110181792/633623, -15039/1267246*e^16 - 624547/2534492*e^15 + 433295/1267246*e^14 + 16902625/2534492*e^13 - 8859369/2534492*e^12 - 180518937/2534492*e^11 + 7016463/633623*e^10 + 485410533/1267246*e^9 + 124049239/2534492*e^8 - 1396126137/1267246*e^7 - 278957448/633623*e^6 + 4193254681/2534492*e^5 + 663474404/633623*e^4 - 1370261921/1267246*e^3 - 1041314961/1267246*e^2 + 72037995/633623*e + 49522462/633623, -4867709/2534492*e^16 + 8962369/1267246*e^15 + 112656335/2534492*e^14 - 462623745/2534492*e^13 - 925152259/2534492*e^12 + 2296154505/1267246*e^11 + 748794334/633623*e^10 - 22071497153/2534492*e^9 - 440138518/633623*e^8 + 13478661416/633623*e^7 - 7183408359/2534492*e^6 - 33374818891/1267246*e^5 + 2484189232/633623*e^4 + 9414185648/633623*e^3 - 696868837/633623*e^2 - 1397180831/633623*e + 238457673/633623, -8614739/2534492*e^16 + 31588445/2534492*e^15 + 199393237/2534492*e^14 - 410276823/1267246*e^13 - 408122991/633623*e^12 + 8225151345/2534492*e^11 + 1294077834/633623*e^10 - 40148977985/2534492*e^9 - 1988103203/2534492*e^8 + 50288827035/1267246*e^7 - 17091738475/2534492*e^6 - 129317064113/2534492*e^5 + 12128645735/1267246*e^4 + 19207457676/633623*e^3 - 3978533437/1267246*e^2 - 3052371899/633623*e + 574924236/633623, -935073/1267246*e^16 + 3548861/1267246*e^15 + 21913511/1267246*e^14 - 46620261/633623*e^13 - 91919455/633623*e^12 + 950598997/1267246*e^11 + 312036302/633623*e^10 - 4762548537/1267246*e^9 - 498736323/1267246*e^8 + 6205720223/633623*e^7 - 1167179725/1267246*e^6 - 16795185861/1267246*e^5 + 814077103/633623*e^4 + 5237487490/633623*e^3 - 40575690/633623*e^2 - 804087738/633623*e + 109044450/633623, -930294/633623*e^16 + 14113459/2534492*e^15 + 42767861/1267246*e^14 - 365465951/2534492*e^13 - 690493929/2534492*e^12 + 3645980357/2534492*e^11 + 1049757413/1267246*e^10 - 8829988645/1267246*e^9 - 259432895/2534492*e^8 + 10916629531/633623*e^7 - 4374755761/1267246*e^6 - 55011823955/2534492*e^5 + 3112215604/633623*e^4 + 7981438775/633623*e^3 - 2570751365/1267246*e^2 - 1320501579/633623*e + 283625317/633623, -3657595/3801738*e^16 + 8196469/3801738*e^15 + 94021903/3801738*e^14 - 106420814/1900869*e^13 - 929817457/3801738*e^12 + 1062292717/1900869*e^11 + 743302481/633623*e^10 - 5116211741/1900869*e^9 - 10935990967/3801738*e^8 + 12367241801/1900869*e^7 + 4586582909/1267246*e^6 - 14633575859/1900869*e^5 - 7715333677/3801738*e^4 + 5030853857/1267246*e^3 + 96349330/1900869*e^2 - 1360909976/1900869*e + 88609488/633623, -2072282/1900869*e^16 + 32157563/7603476*e^15 + 93489967/3801738*e^14 - 838931669/7603476*e^13 - 1442663147/7603476*e^12 + 8465588617/7603476*e^11 + 306824781/633623*e^10 - 20895403597/3801738*e^9 + 4453970737/7603476*e^8 + 26709740954/1900869*e^7 - 2663903662/633623*e^6 - 142338043661/7603476*e^5 + 20384139131/3801738*e^4 + 7453740078/633623*e^3 - 7265516251/3801738*e^2 - 3843110126/1900869*e + 266147013/633623, -669861/633623*e^16 + 3318296/633623*e^15 + 28319893/1267246*e^14 - 173263281/1267246*e^13 - 92546386/633623*e^12 + 1752159819/1267246*e^11 + 68085145/633623*e^10 - 4345483751/633623*e^9 + 1378940296/633623*e^8 + 22422585301/1267246*e^7 - 9373403369/1267246*e^6 - 30292102773/1267246*e^5 + 5096896793/633623*e^4 + 9647698782/633623*e^3 - 1601354301/633623*e^2 - 1628898740/633623*e + 352765392/633623, -1076817/633623*e^16 + 5149968/633623*e^15 + 45189935/1267246*e^14 - 266894673/1267246*e^13 - 290265651/1267246*e^12 + 1334561887/633623*e^11 + 82128675/633623*e^10 - 13017009927/1267246*e^9 + 2293728063/633623*e^8 + 32760178867/1267246*e^7 - 15143519115/1267246*e^6 - 21490350495/633623*e^5 + 16283250335/1267246*e^4 + 26749544451/1267246*e^3 - 2611978053/633623*e^2 - 2268426637/633623*e + 493104528/633623, -385733/633623*e^16 + 1985833/633623*e^15 + 7807546/633623*e^14 - 51232372/633623*e^13 - 90366487/1267246*e^12 + 1018468225/1267246*e^11 - 29242429/633623*e^10 - 4924446937/1267246*e^9 + 1035258618/633623*e^8 + 6127375819/633623*e^7 - 2966745767/633623*e^6 - 15903286137/1267246*e^5 + 5546338953/1267246*e^4 + 9766003539/1267246*e^3 - 593435692/633623*e^2 - 733291599/633623*e + 152239734/633623, -1120951/2534492*e^16 + 5509821/2534492*e^15 + 23406597/2534492*e^14 - 35407614/633623*e^13 - 37342153/633623*e^12 + 1398188675/2534492*e^11 + 43352275/1267246*e^10 - 6669324987/2534492*e^9 + 2255493661/2534492*e^8 + 8066888233/1267246*e^7 - 7168958865/2534492*e^6 - 19799336213/2534492*e^5 + 3640357675/1267246*e^4 + 5561704795/1267246*e^3 - 1086040165/1267246*e^2 - 415923592/633623*e + 81246315/633623, 829573/1267246*e^16 - 9748575/2534492*e^15 - 16197429/1267246*e^14 + 251440875/2534492*e^13 + 164823381/2534492*e^12 - 2498225081/2534492*e^11 + 199310621/1267246*e^10 + 6032346813/1267246*e^9 - 5591744201/2534492*e^8 - 14946628885/1267246*e^7 + 7415910297/1267246*e^6 + 38244598231/2534492*e^5 - 6639329435/1267246*e^4 - 11324457427/1267246*e^3 + 1303866407/1267246*e^2 + 772790177/633623*e - 132933360/633623, -2671671/1267246*e^16 + 5288291/633623*e^15 + 60474915/1267246*e^14 - 275174957/1267246*e^13 - 235732857/633623*e^12 + 2766123681/1267246*e^11 + 633770295/633623*e^10 - 6787576725/633623*e^9 + 463695867/633623*e^8 + 17186784745/633623*e^7 - 8671593989/1267246*e^6 - 45088117209/1267246*e^5 + 10762851695/1267246*e^4 + 27634136777/1267246*e^3 - 1744779127/633623*e^2 - 2278607707/633623*e + 447764229/633623, -300512/1900869*e^16 - 937541/3801738*e^15 + 8942738/1900869*e^14 + 13767355/1900869*e^13 - 215676967/3801738*e^12 - 163536953/1900869*e^11 + 449808331/1267246*e^10 + 2012253179/3801738*e^9 - 4631993431/3801738*e^8 - 3393478714/1900869*e^7 + 2779448163/1267246*e^6 + 12059061281/3801738*e^5 - 3186966503/1900869*e^4 - 3126530413/1267246*e^3 + 271947106/1900869*e^2 + 630574534/1900869*e - 9684081/633623, 5575939/3801738*e^16 - 15788281/3801738*e^15 - 138741853/3801738*e^14 + 205211222/1900869*e^13 + 652066169/1900869*e^12 - 4110848111/3801738*e^11 - 959737653/633623*e^10 + 19966331053/3801738*e^9 + 12372195013/3801738*e^8 - 24601431281/1900869*e^7 - 4487889691/1267246*e^6 + 60555423103/3801738*e^5 + 4135144880/1900869*e^4 - 5500630565/633623*e^3 - 1172526715/1900869*e^2 + 2581897568/1900869*e - 95315894/633623, 10578167/2534492*e^16 - 18377399/1267246*e^15 - 247702669/2534492*e^14 + 953682929/2534492*e^13 + 2077258615/2534492*e^12 - 4770417585/1267246*e^11 - 3526806647/1267246*e^10 + 46407372151/2534492*e^9 + 1390031835/633623*e^8 - 28881404445/633623*e^7 + 14536177087/2534492*e^6 + 36762869341/633623*e^5 - 12257007379/1267246*e^4 - 21576914113/633623*e^3 + 2254181991/633623*e^2 + 3464982285/633623*e - 654858105/633623, 964336/633623*e^16 - 11657553/2534492*e^15 - 23106568/633623*e^14 + 298886229/2534492*e^13 + 814571633/2534492*e^12 - 2934886565/2534492*e^11 - 793334556/633623*e^10 + 6923126719/1267246*e^9 + 5098740529/2534492*e^8 - 16377617757/1267246*e^7 - 1237090261/1267246*e^6 + 38589870457/2534492*e^5 - 60740623/1267246*e^4 - 5115111403/633623*e^3 + 21196879/1267246*e^2 + 776254224/633623*e - 116002731/633623, 1374617/2534492*e^16 - 1379675/1267246*e^15 - 37303929/2534492*e^14 + 71659387/2534492*e^13 + 401178939/2534492*e^12 - 178478749/633623*e^11 - 550304005/633623*e^10 + 3408747925/2534492*e^9 + 1672348235/633623*e^8 - 3994953939/1267246*e^7 - 11461961295/2534492*e^6 + 2132381177/633623*e^5 + 2473667411/633623*e^4 - 801368556/633623*e^3 - 670987682/633623*e^2 + 133864275/633623*e + 19309108/633623, 1875761/1900869*e^16 - 29364131/7603476*e^15 - 84224605/3801738*e^14 + 768683531/7603476*e^13 + 1280380511/7603476*e^12 - 7795947787/7603476*e^11 - 502335493/1267246*e^10 + 9695351048/1900869*e^9 - 5994423325/7603476*e^8 - 25076405306/1900869*e^7 + 5834704395/1267246*e^6 + 135808354697/7603476*e^5 - 22719061733/3801738*e^4 - 14568953911/1267246*e^3 + 8782079281/3801738*e^2 + 3998455493/1900869*e - 298888934/633623, 8585213/7603476*e^16 - 18361357/3801738*e^15 - 185227241/7603476*e^14 + 951029597/7603476*e^13 + 1286333111/7603476*e^12 - 4750730405/3801738*e^11 - 315996873/1267246*e^10 + 46265872451/7603476*e^9 - 3180167173/1900869*e^8 - 58118381929/3801738*e^7 + 16201165129/2534492*e^6 + 38140602125/1900869*e^5 - 13495432825/1900869*e^4 - 15923652131/1267246*e^3 + 4303219088/1900869*e^2 + 4094314343/1900869*e - 301867562/633623]; 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;