/* This code can be loaded, or copied and pasted, into Magma. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. At the *bottom* of the file, there is code to recreate the Hilbert modular form in Magma, by creating the HMF space and cutting out the corresponding Hecke irreducible subspace. From there, you can ask for more eigenvalues or modify as desired. It is commented out, as this computation may be lengthy. */ P := PolynomialRing(Rationals()); g := P![3, 2, -5, -2, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [3, 3, w], [4, 2, -w^3 + 3*w^2 + w - 2], [11, 11, -w^3 + 3*w^2 + 2*w - 5], [13, 13, w^3 - 2*w^2 - 4*w + 2], [13, 13, -w + 2], [17, 17, w^3 - 3*w^2 - 2*w + 2], [19, 19, -w^2 + w + 4], [19, 19, w^3 - 2*w^2 - 3*w + 2], [23, 23, w^2 - 2*w - 1], [27, 3, w^3 - 2*w^2 - 5*w - 1], [29, 29, -w^3 + 2*w^2 + 5*w - 1], [37, 37, -w^3 + 2*w^2 + 5*w - 4], [41, 41, 2*w^3 - 5*w^2 - 6*w + 4], [53, 53, w^3 - 2*w^2 - 3*w - 2], [59, 59, w - 4], [67, 67, 2*w^2 - 3*w - 8], [73, 73, 2*w^3 - 5*w^2 - 6*w + 5], [89, 89, -2*w^3 + 6*w^2 + 5*w - 7], [97, 97, -2*w^3 + 6*w^2 + 3*w - 7], [97, 97, -w^3 + 3*w^2 + 3*w - 1], [103, 103, w^2 - 4*w - 4], [113, 113, 2*w^3 - 5*w^2 - 4*w + 1], [113, 113, -w^3 + 3*w^2 + w - 5], [139, 139, 2*w^2 - 3*w - 4], [139, 139, w^3 - w^2 - 6*w - 1], [149, 149, 2*w^3 - 5*w^2 - 5*w + 2], [149, 149, w^3 - 4*w^2 + 10], [151, 151, -3*w - 1], [157, 157, w^2 - w - 8], [157, 157, w^3 - 7*w - 8], [163, 163, -3*w^3 + 8*w^2 + 8*w - 10], [163, 163, w^3 - 3*w^2 - 4*w + 7], [163, 163, -w^3 + 4*w^2 + w - 8], [163, 163, -2*w^3 + 5*w^2 + 7*w - 4], [167, 167, -2*w^3 + 5*w^2 + 8*w - 4], [169, 13, -2*w^3 + 4*w^2 + 7*w - 5], [173, 173, 2*w^3 - 4*w^2 - 9*w + 4], [173, 173, -w^3 + 5*w^2 - 2*w - 5], [181, 181, 3*w^3 - 7*w^2 - 12*w + 7], [191, 191, w^3 - 3*w^2 - 3*w - 1], [199, 199, 2*w^3 - 3*w^2 - 10*w - 1], [199, 199, 2*w^3 - 6*w^2 - 6*w + 13], [223, 223, -2*w^3 + 6*w^2 + 4*w - 11], [223, 223, 3*w^3 - 7*w^2 - 12*w + 8], [223, 223, -2*w^3 + 5*w^2 + 6*w - 1], [229, 229, -w^3 + 3*w^2 + 2*w + 1], [229, 229, 3*w^3 - 4*w^2 - 15*w - 5], [233, 233, -3*w^3 + 7*w^2 + 11*w - 5], [233, 233, 2*w^3 - 5*w^2 - 4*w + 5], [241, 241, w^3 - 3*w^2 - 5*w + 7], [257, 257, w^3 - 3*w^2 - 4*w + 8], [263, 263, w^2 - 4*w - 5], [271, 271, -2*w^3 + 6*w^2 + 5*w - 13], [277, 277, -2*w^3 + 6*w^2 + 3*w - 8], [277, 277, w^3 - 2*w^2 - 2*w - 2], [281, 281, 2*w^3 - 5*w^2 - 4*w + 2], [283, 283, -3*w^2 + 7*w + 10], [283, 283, -w^3 + 4*w^2 - w - 7], [293, 293, 2*w^3 - 5*w^2 - 3*w + 4], [293, 293, w^3 - 8*w - 4], [307, 307, -w^3 + 2*w^2 + 6*w - 2], [311, 311, w^2 - 5], [317, 317, -w^3 + 5*w^2 - 2*w - 11], [331, 331, -w^3 + 3*w^2 - 5], [349, 349, -2*w^2 + 5*w + 2], [353, 353, -2*w^3 + 5*w^2 + 4*w - 4], [353, 353, 3*w^3 - 7*w^2 - 10*w + 2], [353, 353, -2*w^3 + 7*w^2 + 2*w - 10], [353, 353, w^3 + w^2 - 9*w - 13], [361, 19, -w^3 + w^2 + 5*w - 1], [373, 373, -w^3 + 3*w^2 + 4*w - 11], [373, 373, 2*w^3 - 5*w^2 - 5*w - 2], [383, 383, w^3 - 5*w^2 + w + 13], [389, 389, 3*w^3 - 10*w^2 - 4*w + 16], [397, 397, -w^3 + 2*w^2 + 3*w + 5], [397, 397, -3*w^3 + 7*w^2 + 10*w - 7], [419, 419, -w^3 + 2*w^2 + 4*w + 4], [419, 419, 3*w^3 - 7*w^2 - 12*w + 5], [421, 421, -w^2 + 5*w - 2], [421, 421, 3*w^3 - 7*w^2 - 10*w + 5], [431, 431, w^2 - 10], [439, 439, w^3 - w^2 - 7*w - 7], [461, 461, -2*w^3 + 7*w^2 + 5*w - 10], [467, 467, -3*w^3 + 6*w^2 + 14*w - 4], [479, 479, 3*w^2 - 6*w - 5], [479, 479, -4*w^3 + 11*w^2 + 10*w - 10], [491, 491, -w^3 + w^2 + 6*w - 1], [499, 499, -4*w^3 + 9*w^2 + 15*w - 10], [499, 499, 2*w^3 - 5*w^2 - 7*w + 2], [503, 503, -2*w^3 + 7*w^2 - 8], [521, 521, 2*w^2 - w - 7], [521, 521, -3*w^3 + 7*w^2 + 11*w - 11], [569, 569, 2*w^2 - 5*w - 1], [569, 569, -4*w - 1], [571, 571, -w^3 + 3*w^2 - 7], [577, 577, -w^3 + w^2 + 8*w - 4], [587, 587, -3*w^3 + 8*w^2 + 7*w - 8], [593, 593, 3*w^2 - 4*w - 11], [593, 593, -3*w^3 + 9*w^2 + 6*w - 14], [601, 601, -3*w^3 + 9*w^2 + 4*w - 10], [601, 601, 5*w^3 - 9*w^2 - 24*w - 2], [607, 607, 2*w^2 - 7*w - 5], [613, 613, w^3 - 6*w - 2], [613, 613, -w^2 + 3*w + 8], [617, 617, -w^2 + 4*w - 5], [619, 619, 3*w^3 - 6*w^2 - 13*w + 5], [625, 5, -5], [631, 631, -2*w^3 + 4*w^2 + 8*w - 7], [647, 647, -2*w^3 + 4*w^2 + 5*w - 1], [647, 647, w^3 - 3*w^2 - 2*w - 2], [653, 653, w^3 - 4*w^2 - w + 13], [653, 653, w^3 - 2*w^2 - 7*w + 5], [659, 659, -4*w^3 + 10*w^2 + 15*w - 14], [659, 659, 5*w^3 - 12*w^2 - 17*w + 14], [661, 661, w^2 - 5*w - 2], [661, 661, -w^3 + 5*w^2 - 2*w - 7], [673, 673, -w^3 + w^2 + 6*w - 2], [683, 683, 2*w^3 - 8*w^2 + w + 8], [683, 683, 5*w^3 - 12*w^2 - 19*w + 14], [701, 701, -2*w^3 + 6*w^2 + 5*w - 4], [709, 709, -w^2 + 3*w - 4], [709, 709, -2*w^3 + 5*w^2 + 9*w - 8], [719, 719, w^2 - 7], [719, 719, -2*w^3 + 3*w^2 + 8*w + 5], [733, 733, -2*w^3 + 7*w^2 + 3*w - 10], [739, 739, 4*w^3 - 11*w^2 - 13*w + 14], [739, 739, -5*w^3 + 10*w^2 + 21*w - 4], [739, 739, 3*w^3 - 8*w^2 - 6*w + 8], [739, 739, -w^3 + w^2 + 8*w - 5], [743, 743, -w - 5], [743, 743, w^3 - w^2 - 8*w - 8], [751, 751, -2*w^3 + 5*w^2 + 8*w - 2], [751, 751, -2*w^3 + 6*w^2 - 1], [757, 757, -2*w^3 + 6*w^2 + 3*w - 10], [757, 757, 5*w^2 - 9*w - 22], [761, 761, -2*w^3 + 4*w^2 + 9*w - 7], [761, 761, 2*w^3 - 3*w^2 - 12*w - 1], [769, 769, 5*w^3 - 13*w^2 - 14*w + 10], [773, 773, -3*w^3 + 5*w^2 + 16*w + 1], [773, 773, w^3 - 11*w + 2], [787, 787, -w^3 + 4*w^2 - w - 11], [797, 797, -5*w^3 + 12*w^2 + 17*w - 11], [809, 809, -2*w^3 + 7*w^2 + 4*w - 11], [809, 809, 4*w^3 - 9*w^2 - 14*w + 4], [821, 821, -w^3 + 5*w^2 - 2*w - 17], [827, 827, -3*w^3 + 8*w^2 + 9*w - 7], [829, 829, 2*w^3 - 6*w^2 - 5*w + 2], [829, 829, -w^3 + 4*w^2 - w - 10], [839, 839, w^2 - 8], [853, 853, -5*w^3 + 12*w^2 + 18*w - 16], [853, 853, w^3 - 6*w - 8], [863, 863, 5*w^3 - 11*w^2 - 19*w + 7], [881, 881, -3*w^3 + 9*w^2 + 9*w - 11], [907, 907, -w^3 + 2*w^2 + 7*w - 4], [907, 907, -2*w^3 + 3*w^2 + 7*w + 4], [929, 929, -w^3 + 5*w^2 - 3*w - 11], [937, 937, 2*w^3 - 5*w^2 - 6*w + 11], [937, 937, -2*w^3 + 6*w^2 + 3*w - 11], [941, 941, -3*w^3 + 8*w^2 + 11*w - 8], [953, 953, -4*w^3 + 10*w^2 + 10*w - 13], [953, 953, w^3 - 5*w^2 - w + 13], [967, 967, 3*w^3 - 7*w^2 - 9*w + 7], [967, 967, -2*w^3 + 5*w^2 + 8*w + 1], [967, 967, 4*w^3 - 13*w^2 - 6*w + 20], [967, 967, -2*w^2 + 3*w + 13], [971, 971, -6*w^3 + 13*w^2 + 25*w - 8], [977, 977, w^3 - w^2 - 4*w - 10], [977, 977, 2*w^3 - 6*w^2 - 7*w + 13], [983, 983, -4*w^3 + 10*w^2 + 11*w - 13], [983, 983, -w^3 + 5*w^2 - w - 7], [983, 983, 3*w^3 - 9*w^2 - 7*w + 19], [983, 983, -2*w^3 + 3*w^2 + 10*w - 1], [997, 997, 5*w^3 - 12*w^2 - 17*w + 13], [997, 997, -2*w^3 + 3*w^2 + 13*w - 4], [997, 997, w^3 - 7*w - 2], [997, 997, w^3 - 9*w - 2]]; primes := [ideal : I in primesArray]; heckePol := x^15 + 9*x^14 + 11*x^13 - 119*x^12 - 357*x^11 + 364*x^10 + 2321*x^9 + 560*x^8 - 6394*x^7 - 4638*x^6 + 8032*x^5 + 7969*x^4 - 3706*x^3 - 4532*x^2 - 122*x + 121; K := NumberField(heckePol); heckeEigenvaluesArray := [e, -1149312/38730541*e^14 - 7184077/38730541*e^13 + 14436223/38730541*e^12 + 165423074/38730541*e^11 + 69266219/38730541*e^10 - 1338913939/38730541*e^9 - 1645455201/38730541*e^8 + 4610167070/38730541*e^7 + 7655474852/38730541*e^6 - 6888753029/38730541*e^5 - 14012738698/38730541*e^4 + 3343795565/38730541*e^3 + 9183536556/38730541*e^2 + 609599068/38730541*e - 336254426/38730541, 6478798/38730541*e^14 + 47609852/38730541*e^13 - 4213167/38730541*e^12 - 736514880/38730541*e^11 - 1057543996/38730541*e^10 + 3820615808/38730541*e^9 + 7812559839/38730541*e^8 - 8972256441/38730541*e^7 - 22729602193/38730541*e^6 + 9828866711/38730541*e^5 + 30196561786/38730541*e^4 - 3828563311/38730541*e^3 - 15632457265/38730541*e^2 - 527508772/38730541*e + 578461068/38730541, -4209305/38730541*e^14 - 31351880/38730541*e^13 - 2365132/38730541*e^12 + 464903034/38730541*e^11 + 737556412/38730541*e^10 - 2210350397/38730541*e^9 - 5028290935/38730541*e^8 + 4431276384/38730541*e^7 + 13305414971/38730541*e^6 - 3757335805/38730541*e^5 - 15465636833/38730541*e^4 + 1347881528/38730541*e^3 + 6636828440/38730541*e^2 - 630409979/38730541*e - 250540177/38730541, 4021775/38730541*e^14 + 31226025/38730541*e^13 + 8127810/38730541*e^12 - 466161468/38730541*e^11 - 827781584/38730541*e^10 + 2228079589/38730541*e^9 + 5752887182/38730541*e^8 - 4368368014/38730541*e^7 - 16067144819/38730541*e^6 + 3117216021/38730541*e^5 + 20317813783/38730541*e^4 + 92512539/38730541*e^3 - 9817435739/38730541*e^2 - 532448099/38730541*e + 300617288/38730541, -2813770/38730541*e^14 - 20434755/38730541*e^13 + 2760889/38730541*e^12 + 311854874/38730541*e^11 + 428702275/38730541*e^10 - 1565637859/38730541*e^9 - 3031404482/38730541*e^8 + 3427006833/38730541*e^7 + 7985337449/38730541*e^6 - 3313988033/38730541*e^5 - 8915746809/38730541*e^4 + 1010872182/38730541*e^3 + 3568654330/38730541*e^2 + 234629224/38730541*e - 224188721/38730541, -3881433/38730541*e^14 - 28122699/38730541*e^13 + 1032750/38730541*e^12 + 413579383/38730541*e^11 + 613201479/38730541*e^10 - 1927406960/38730541*e^9 - 4097200599/38730541*e^8 + 3690728832/38730541*e^7 + 10108392637/38730541*e^6 - 2850206563/38730541*e^5 - 9992166316/38730541*e^4 + 1028753663/38730541*e^3 + 2742856697/38730541*e^2 - 692518215/38730541*e + 59268219/38730541, 1, 4157170/38730541*e^14 + 30599200/38730541*e^13 - 3552544/38730541*e^12 - 484931053/38730541*e^11 - 705232774/38730541*e^10 + 2581099380/38730541*e^9 + 5489815036/38730541*e^8 - 5999252862/38730541*e^7 - 16647353138/38730541*e^6 + 5981267252/38730541*e^5 + 22676585465/38730541*e^4 - 1800385783/38730541*e^3 - 11559720313/38730541*e^2 - 197547048/38730541*e + 152397933/38730541, -11093623/38730541*e^14 - 85184009/38730541*e^13 - 23012600/38730541*e^12 + 1237953834/38730541*e^11 + 2214196187/38730541*e^10 - 5594979691/38730541*e^9 - 14753667597/38730541*e^8 + 9783760495/38730541*e^7 + 38944055503/38730541*e^6 - 4901990310/38730541*e^5 - 45712255198/38730541*e^4 - 1676551142/38730541*e^3 + 20144907143/38730541*e^2 + 357017736/38730541*e - 732134231/38730541, 422489/38730541*e^14 + 6976140/38730541*e^13 + 27381786/38730541*e^12 - 46324328/38730541*e^11 - 454382987/38730541*e^10 - 394577216/38730541*e^9 + 2012584340/38730541*e^8 + 3477315889/38730541*e^7 - 2656352415/38730541*e^6 - 8124636232/38730541*e^5 - 1335538241/38730541*e^4 + 5515895686/38730541*e^3 + 3340334873/38730541*e^2 + 856361955/38730541*e + 89879071/38730541, 299665/38730541*e^14 - 431903/38730541*e^13 - 17178502/38730541*e^12 - 27716981/38730541*e^11 + 170512690/38730541*e^10 + 396197785/38730541*e^9 - 485502803/38730541*e^8 - 1344340550/38730541*e^7 + 674995080/38730541*e^6 + 1384580022/38730541*e^5 - 1254161855/38730541*e^4 - 246620783/38730541*e^3 + 1377661938/38730541*e^2 + 221228000/38730541*e - 117674591/38730541, 1772671/38730541*e^14 + 12781161/38730541*e^13 - 3126020/38730541*e^12 - 206434076/38730541*e^11 - 281505568/38730541*e^10 + 1133084400/38730541*e^9 + 2296335203/38730541*e^8 - 2732396831/38730541*e^7 - 7164666175/38730541*e^6 + 2741844951/38730541*e^5 + 9783473640/38730541*e^4 - 380598901/38730541*e^3 - 4690413853/38730541*e^2 - 789499607/38730541*e + 47281923/38730541, -87270/38730541*e^14 - 10913777/38730541*e^13 - 81297412/38730541*e^12 - 42321182/38730541*e^11 + 1057071187/38730541*e^10 + 2190289953/38730541*e^9 - 3580976680/38730541*e^8 - 11956634342/38730541*e^7 + 2361119996/38730541*e^6 + 23966710602/38730541*e^5 + 5801369294/38730541*e^4 - 17073482565/38730541*e^3 - 6950141563/38730541*e^2 + 1021834840/38730541*e + 239596668/38730541, 5364734/38730541*e^14 + 42279285/38730541*e^13 + 18114455/38730541*e^12 - 597586842/38730541*e^11 - 1144156922/38730541*e^10 + 2566418544/38730541*e^9 + 7201119706/38730541*e^8 - 4205213812/38730541*e^7 - 17975601276/38730541*e^6 + 2227344096/38730541*e^5 + 19732829207/38730541*e^4 - 520332576/38730541*e^3 - 7889126799/38730541*e^2 + 1017412964/38730541*e + 72976851/38730541, -7371788/38730541*e^14 - 58329117/38730541*e^13 - 25060976/38730541*e^12 + 841466104/38730541*e^11 + 1655558377/38730541*e^10 - 3670513475/38730541*e^9 - 11002165406/38730541*e^8 + 5373361548/38730541*e^7 + 29101710115/38730541*e^6 + 735845112/38730541*e^5 - 33894774368/38730541*e^4 - 6016576003/38730541*e^3 + 14331680040/38730541*e^2 + 1908576769/38730541*e + 16062336/38730541, -1354107/38730541*e^14 - 10980195/38730541*e^13 - 18385243/38730541*e^12 + 75881193/38730541*e^11 + 352494526/38730541*e^10 + 424021977/38730541*e^9 - 861078914/38730541*e^8 - 3500606779/38730541*e^7 - 1370483192/38730541*e^6 + 7908345180/38730541*e^5 + 5791117687/38730541*e^4 - 7686174524/38730541*e^3 - 4168626447/38730541*e^2 + 2936690528/38730541*e + 93008991/38730541, 5464577/38730541*e^14 + 35756957/38730541*e^13 - 42682052/38730541*e^12 - 674882266/38730541*e^11 - 462944184/38730541*e^10 + 4549245893/38730541*e^9 + 5909829667/38730541*e^8 - 13658772511/38730541*e^7 - 22266949255/38730541*e^6 + 18122633460/38730541*e^5 + 35290098557/38730541*e^4 - 7102819373/38730541*e^3 - 20808649996/38730541*e^2 - 2436952695/38730541*e + 434457731/38730541, -9000396/38730541*e^14 - 72169129/38730541*e^13 - 37410441/38730541*e^12 + 1025041230/38730541*e^11 + 2109003672/38730541*e^10 - 4284338465/38730541*e^9 - 13630551781/38730541*e^8 + 5371362068/38730541*e^7 + 34511618026/38730541*e^6 + 2848771571/38730541*e^5 - 37108640678/38730541*e^4 - 6666342392/38730541*e^3 + 13924305891/38730541*e^2 - 182624699/38730541*e - 726534299/38730541, 2087045/38730541*e^14 + 24332697/38730541*e^13 + 92606057/38730541*e^12 - 42786305/38730541*e^11 - 1334282028/38730541*e^10 - 2935082370/38730541*e^9 + 3248622398/38730541*e^8 + 18034334709/38730541*e^7 + 6942807036/38730541*e^6 - 37516804863/38730541*e^5 - 31384459145/38730541*e^4 + 26705760020/38730541*e^3 + 27011287897/38730541*e^2 - 1041368337/38730541*e - 387768969/38730541, -10446257/38730541*e^14 - 85904051/38730541*e^13 - 67373750/38730541*e^12 + 1131064364/38730541*e^11 + 2672117624/38730541*e^10 - 3869795573/38730541*e^9 - 15750410301/38730541*e^8 + 1129902209/38730541*e^7 + 36467652702/38730541*e^6 + 13579712569/38730541*e^5 - 34818875812/38730541*e^4 - 18093413461/38730541*e^3 + 10070136942/38730541*e^2 + 4458108584/38730541*e - 174576675/38730541, -7784658/38730541*e^14 - 62647991/38730541*e^13 - 38115622/38730541*e^12 + 862122189/38730541*e^11 + 1875339998/38730541*e^10 - 3288046171/38730541*e^9 - 11664120082/38730541*e^8 + 2416165508/38730541*e^7 + 27978230397/38730541*e^6 + 7726519385/38730541*e^5 - 27270781808/38730541*e^4 - 11693791923/38730541*e^3 + 7993728724/38730541*e^2 + 2755200381/38730541*e - 199462881/38730541, 10934670/38730541*e^14 + 92364738/38730541*e^13 + 84747768/38730541*e^12 - 1208007566/38730541*e^11 - 3031679456/38730541*e^10 + 4098891139/38730541*e^9 + 17983213025/38730541*e^8 - 1433023672/38730541*e^7 - 43640572829/38730541*e^6 - 12619315035/38730541*e^5 + 47335004037/38730541*e^4 + 15781978029/38730541*e^3 - 18884092075/38730541*e^2 - 3085874093/38730541*e + 66560254/38730541, 9827266/38730541*e^14 + 75192089/38730541*e^13 + 8325019/38730541*e^12 - 1166929980/38730541*e^11 - 1915835402/38730541*e^10 + 6024039300/38730541*e^9 + 14227354081/38730541*e^8 - 13662812263/38730541*e^7 - 42514590818/38730541*e^6 + 13915187497/38730541*e^5 + 58152193521/38730541*e^4 - 5396577632/38730541*e^3 - 30539415860/38730541*e^2 + 236138191/38730541*e + 828687811/38730541, -3049110/38730541*e^14 - 37319548/38730541*e^13 - 116448961/38730541*e^12 + 264475550/38730541*e^11 + 1998048395/38730541*e^10 + 1560201321/38730541*e^9 - 8414234186/38730541*e^8 - 13835801714/38730541*e^7 + 11748378443/38730541*e^6 + 31107740211/38730541*e^5 - 792646273/38730541*e^4 - 22684307478/38730541*e^3 - 6342926818/38730541*e^2 + 905904286/38730541*e + 454455042/38730541, -12533716/38730541*e^14 - 100707739/38730541*e^13 - 49478164/38730541*e^12 + 1461933474/38730541*e^11 + 2973856515/38730541*e^10 - 6456750805/38730541*e^9 - 20042213399/38730541*e^8 + 9779184164/38730541*e^7 + 54510910704/38730541*e^6 - 97989240/38730541*e^5 - 66454094514/38730541*e^4 - 7351618834/38730541*e^3 + 30899108983/38730541*e^2 + 670582465/38730541*e - 1607223414/38730541, -255735/38730541*e^14 + 13505810/38730541*e^13 + 117451569/38730541*e^12 + 90484988/38730541*e^11 - 1435807921/38730541*e^10 - 3185302587/38730541*e^9 + 4333913531/38730541*e^8 + 16223585960/38730541*e^7 - 455461336/38730541*e^6 - 29805154697/38730541*e^5 - 12859037690/38730541*e^4 + 17693833649/38730541*e^3 + 12434978269/38730541*e^2 + 853222489/38730541*e - 368696949/38730541, -9922678/38730541*e^14 - 79444547/38730541*e^13 - 46603207/38730541*e^12 + 1083937589/38730541*e^11 + 2276788821/38730541*e^10 - 4246510993/38730541*e^9 - 13730324326/38730541*e^8 + 5248351535/38730541*e^7 + 32577637523/38730541*e^6 + 369823628/38730541*e^5 - 33008149565/38730541*e^4 - 799195483/38730541*e^3 + 11624770423/38730541*e^2 - 3062508193/38730541*e - 448658019/38730541, 8306714/38730541*e^14 + 43634115/38730541*e^13 - 154014583/38730541*e^12 - 1116441246/38730541*e^11 + 387175712/38730541*e^10 + 9883489267/38730541*e^9 + 6151493220/38730541*e^8 - 37079979742/38730541*e^7 - 37711285681/38730541*e^6 + 61720910886/38730541*e^5 + 74642464253/38730541*e^4 - 38008700837/38730541*e^3 - 50023749204/38730541*e^2 + 1058527473/38730541*e + 1412469951/38730541, 6763237/38730541*e^14 + 44755462/38730541*e^13 - 37003784/38730541*e^12 - 751230957/38730541*e^11 - 638932771/38730541*e^10 + 4356297200/38730541*e^9 + 5858484462/38730541*e^8 - 11275184398/38730541*e^7 - 17034325401/38730541*e^6 + 13542092574/38730541*e^5 + 19201754391/38730541*e^4 - 6763482861/38730541*e^3 - 6238747844/38730541*e^2 + 830551941/38730541*e - 377024408/38730541, 10358383/38730541*e^14 + 86834355/38730541*e^13 + 80495145/38730541*e^12 - 1117569540/38730541*e^11 - 2855774259/38730541*e^10 + 3502580761/38730541*e^9 + 16556993213/38730541*e^8 + 846830005/38730541*e^7 - 37484145878/38730541*e^6 - 16468857120/38730541*e^5 + 34452421291/38730541*e^4 + 16347488250/38730541*e^3 - 9788387340/38730541*e^2 - 46721013/38730541*e + 762443983/38730541, -1311594/38730541*e^14 - 18148196/38730541*e^13 - 72302226/38730541*e^12 + 68375761/38730541*e^11 + 1121231770/38730541*e^10 + 1795746783/38730541*e^9 - 3805661585/38730541*e^8 - 12511196418/38730541*e^7 - 1189022184/38730541*e^6 + 26411591611/38730541*e^5 + 20840880076/38730541*e^4 - 14733735446/38730541*e^3 - 21750437169/38730541*e^2 - 5022849775/38730541*e + 527569526/38730541, 3309860/38730541*e^14 + 17746159/38730541*e^13 - 33113078/38730541*e^12 - 267323122/38730541*e^11 + 100594899/38730541*e^10 + 1469019302/38730541*e^9 - 749994897/38730541*e^8 - 4754790871/38730541*e^7 + 3755574241/38730541*e^6 + 9162784513/38730541*e^5 - 6817802690/38730541*e^4 - 7923290526/38730541*e^3 + 3550703704/38730541*e^2 + 1760150373/38730541*e + 344150457/38730541, 11152667/38730541*e^14 + 84922101/38730541*e^13 - 10827954/38730541*e^12 - 1431508962/38730541*e^11 - 2048319965/38730541*e^10 + 8473681452/38730541*e^9 + 17337187436/38730541*e^8 - 23145667575/38730541*e^7 - 57930652602/38730541*e^6 + 29746159779/38730541*e^5 + 87777366110/38730541*e^4 - 14401003119/38730541*e^3 - 50393046286/38730541*e^2 - 416974623/38730541*e + 986819057/38730541, -1964674/38730541*e^14 + 1641042/38730541*e^13 + 129277324/38730541*e^12 + 317789479/38730541*e^11 - 1286249393/38730541*e^10 - 4895935252/38730541*e^9 + 2423942816/38730541*e^8 + 22915695330/38730541*e^7 + 8145858271/38730541*e^6 - 42880994101/38730541*e^5 - 29937153409/38730541*e^4 + 27675648013/38730541*e^3 + 24499072246/38730541*e^2 + 452121728/38730541*e - 653965488/38730541, 14079048/38730541*e^14 + 113676070/38730541*e^13 + 69102137/38730541*e^12 - 1580609036/38730541*e^11 - 3414206693/38730541*e^10 + 6357545607/38730541*e^9 + 21699880563/38730541*e^8 - 7446552918/38730541*e^7 - 55612862594/38730541*e^6 - 4893127110/38730541*e^5 + 63052791246/38730541*e^4 + 9804558789/38730541*e^3 - 26192739779/38730541*e^2 + 265206996/38730541*e + 789688819/38730541, 2921758/38730541*e^14 + 12514523/38730541*e^13 - 61069101/38730541*e^12 - 295277395/38730541*e^11 + 420899256/38730541*e^10 + 2501976764/38730541*e^9 - 1128002004/38730541*e^8 - 9462736158/38730541*e^7 + 1694343579/38730541*e^6 + 17198791319/38730541*e^5 - 2743709015/38730541*e^4 - 14101779003/38730541*e^3 + 2194333000/38730541*e^2 + 3835434114/38730541*e + 118272709/38730541, -3247665/38730541*e^14 - 15225028/38730541*e^13 + 81310135/38730541*e^12 + 491145880/38730541*e^11 - 327675064/38730541*e^10 - 4815426485/38730541*e^9 - 2772997250/38730541*e^8 + 18282864973/38730541*e^7 + 19262794541/38730541*e^6 - 29142138636/38730541*e^5 - 38661027186/38730541*e^4 + 15474069933/38730541*e^3 + 25442863458/38730541*e^2 + 1930420663/38730541*e - 409457415/38730541, 2418162/38730541*e^14 + 14522729/38730541*e^13 - 22738910/38730541*e^12 - 256117036/38730541*e^11 - 54645158/38730541*e^10 + 1662148529/38730541*e^9 + 1099779778/38730541*e^8 - 5170523642/38730541*e^7 - 4440083605/38730541*e^6 + 6714552032/38730541*e^5 + 7648769085/38730541*e^4 - 174965553/38730541*e^3 - 5174948742/38730541*e^2 - 3959233058/38730541*e + 382476917/38730541, -7719219/38730541*e^14 - 49100120/38730541*e^13 + 69822118/38730541*e^12 + 944934510/38730541*e^11 + 465382703/38730541*e^10 - 6662156640/38730541*e^9 - 7141550810/38730541*e^8 + 21911977369/38730541*e^7 + 28749030338/38730541*e^6 - 34165227585/38730541*e^5 - 47797027357/38730541*e^4 + 20538316088/38730541*e^3 + 28415912186/38730541*e^2 - 553093875/38730541*e - 379583984/38730541, -21359751/38730541*e^14 - 142345234/38730541*e^13 + 149023204/38730541*e^12 + 2650614770/38730541*e^11 + 2051994018/38730541*e^10 - 17804654150/38730541*e^9 - 24402826619/38730541*e^8 + 54777096880/38730541*e^7 + 92370974729/38730541*e^6 - 77735790231/38730541*e^5 - 149386387138/38730541*e^4 + 39152945435/38730541*e^3 + 89108477865/38730541*e^2 + 3668833736/38730541*e - 2372449244/38730541, 18212744/38730541*e^14 + 143282630/38730541*e^13 + 72976545/38730541*e^12 - 1959015450/38730541*e^11 - 3982377203/38730541*e^10 + 7681102838/38730541*e^9 + 24218092397/38730541*e^8 - 9023054372/38730541*e^7 - 57921751652/38730541*e^6 - 4691752550/38730541*e^5 + 59210786501/38730541*e^4 + 11415193673/38730541*e^3 - 20350471009/38730541*e^2 - 1446994553/38730541*e - 118667654/38730541, -10089283/38730541*e^14 - 83803645/38730541*e^13 - 61409540/38730541*e^12 + 1164642566/38730541*e^11 + 2653615615/38730541*e^10 - 4770403948/38730541*e^9 - 17126077615/38730541*e^8 + 6472011805/38730541*e^7 + 47179725040/38730541*e^6 + 1441988714/38730541*e^5 - 61897504845/38730541*e^4 - 7947840215/38730541*e^3 + 32253552205/38730541*e^2 + 3126056971/38730541*e - 826452956/38730541, 4520900/38730541*e^14 + 34364640/38730541*e^13 + 4332968/38730541*e^12 - 512162358/38730541*e^11 - 800196980/38730541*e^10 + 2587764077/38730541*e^9 + 5487140824/38730541*e^8 - 6596285435/38730541*e^7 - 16177246967/38730541*e^6 + 9375997164/38730541*e^5 + 23861659237/38730541*e^4 - 6071649651/38730541*e^3 - 14562830105/38730541*e^2 + 455664535/38730541*e + 452694592/38730541, -6194688/38730541*e^14 - 33817125/38730541*e^13 + 93196045/38730541*e^12 + 735658052/38730541*e^11 - 204229065/38730541*e^10 - 5896293052/38730541*e^9 - 2698535125/38730541*e^8 + 21717952736/38730541*e^7 + 15746177760/38730541*e^6 - 37806228408/38730541*e^5 - 29819859447/38730541*e^4 + 26709940448/38730541*e^3 + 19091348536/38730541*e^2 - 3498113263/38730541*e - 392394903/38730541, 5942008/38730541*e^14 + 36598858/38730541*e^13 - 71839620/38730541*e^12 - 807063697/38730541*e^11 - 306885525/38730541*e^10 + 6310409369/38730541*e^9 + 7291806778/38730541*e^8 - 21266196101/38730541*e^7 - 32959879162/38730541*e^6 + 31704788848/38730541*e^5 + 58223376973/38730541*e^4 - 17030633750/38730541*e^3 - 36439157526/38730541*e^2 - 433375288/38730541*e + 1026139070/38730541, 11269075/38730541*e^14 + 80407001/38730541*e^13 - 39293183/38730541*e^12 - 1401745878/38730541*e^11 - 1702369351/38730541*e^10 + 8464600206/38730541*e^9 + 16011187200/38730541*e^8 - 21975902501/38730541*e^7 - 54735426428/38730541*e^6 + 22804019279/38730541*e^5 + 82281309930/38730541*e^4 - 2171062540/38730541*e^3 - 46744174321/38730541*e^2 - 7394544640/38730541*e + 1284248236/38730541, 12670223/38730541*e^14 + 101616177/38730541*e^13 + 58132851/38730541*e^12 - 1396992770/38730541*e^11 - 2886525902/38730541*e^10 + 5676133459/38730541*e^9 + 17641005964/38730541*e^8 - 8428045813/38730541*e^7 - 43929586255/38730541*e^6 + 3083593733/38730541*e^5 + 49649300631/38730541*e^4 + 753059652/38730541*e^3 - 21177423763/38730541*e^2 + 732993004/38730541*e + 187099170/38730541, -10959424/38730541*e^14 - 79799553/38730541*e^13 + 26330408/38730541*e^12 + 1349970332/38730541*e^11 + 1733619176/38730541*e^10 - 8021825639/38730541*e^9 - 15267594285/38730541*e^8 + 21836983726/38730541*e^7 + 51778671972/38730541*e^6 - 26916375573/38730541*e^5 - 79129380666/38730541*e^4 + 9937719294/38730541*e^3 + 45756706210/38730541*e^2 + 3275416861/38730541*e - 1685320083/38730541, 7187380/38730541*e^14 + 61747344/38730541*e^13 + 60260658/38730541*e^12 - 823438071/38730541*e^11 - 2175611617/38730541*e^10 + 2725744398/38730541*e^9 + 13535210376/38730541*e^8 + 1124723189/38730541*e^7 - 33503243086/38730541*e^6 - 17452685339/38730541*e^5 + 34832557100/38730541*e^4 + 22170014727/38730541*e^3 - 11940724582/38730541*e^2 - 5293427459/38730541*e - 4297466/38730541, 21267250/38730541*e^14 + 145838566/38730541*e^13 - 105194447/38730541*e^12 - 2544388531/38730541*e^11 - 2469274086/38730541*e^10 + 15803254222/38730541*e^9 + 24250773588/38730541*e^8 - 45490696267/38730541*e^7 - 84222144065/38730541*e^6 + 61869701512/38730541*e^5 + 129406954837/38730541*e^4 - 31790347097/38730541*e^3 - 75753418857/38730541*e^2 - 708891729/38730541*e + 2640126222/38730541, 846885/38730541*e^14 + 15993042/38730541*e^13 + 89392897/38730541*e^12 + 30324160/38730541*e^11 - 1207292782/38730541*e^10 - 2829146518/38730541*e^9 + 3484413994/38730541*e^8 + 16418354183/38730541*e^7 + 2270380079/38730541*e^6 - 34588079334/38730541*e^5 - 19216454564/38730541*e^4 + 26478186527/38730541*e^3 + 18322007684/38730541*e^2 - 2785696274/38730541*e - 1097325050/38730541, -14993264/38730541*e^14 - 118940670/38730541*e^13 - 73524504/38730541*e^12 + 1571777668/38730541*e^11 + 3420224916/38730541*e^10 - 5488008066/38730541*e^9 - 19902024300/38730541*e^8 + 2639530018/38730541*e^7 + 44019315864/38730541*e^6 + 14875334088/38730541*e^5 - 38233935247/38730541*e^4 - 18930248137/38730541*e^3 + 9048669091/38730541*e^2 + 2836323105/38730541*e - 683319675/38730541, -17700429/38730541*e^14 - 133705889/38730541*e^13 + 106759/38730541*e^12 + 2123044786/38730541*e^11 + 3282028159/38730541*e^10 - 11419866276/38730541*e^9 - 25428185532/38730541*e^8 + 27522322231/38730541*e^7 + 78850641861/38730541*e^6 - 30164027109/38730541*e^5 - 111797726079/38730541*e^4 + 12229821381/38730541*e^3 + 60876897178/38730541*e^2 - 457223287/38730541*e - 1951925916/38730541, 12020032/38730541*e^14 + 77642648/38730541*e^13 - 108094083/38730541*e^12 - 1542158883/38730541*e^11 - 937030396/38730541*e^10 + 10993301567/38730541*e^9 + 13871324328/38730541*e^8 - 34962184435/38730541*e^7 - 55449696327/38730541*e^6 + 51506390011/38730541*e^5 + 91353203519/38730541*e^4 - 31028069365/38730541*e^3 - 55248026560/38730541*e^2 + 3574318338/38730541*e + 1807352854/38730541, 29980762/38730541*e^14 + 230268911/38730541*e^13 + 57697986/38730541*e^12 - 3380966210/38730541*e^11 - 6007426229/38730541*e^10 + 15514035894/38730541*e^9 + 40745436829/38730541*e^8 - 27262194270/38730541*e^7 - 109080687823/38730541*e^6 + 12030801089/38730541*e^5 + 128991402945/38730541*e^4 + 8594213372/38730541*e^3 - 56345410635/38730541*e^2 - 2703164751/38730541*e + 1271782098/38730541, 780540/38730541*e^14 + 846022/38730541*e^13 - 51204067/38730541*e^12 - 201147398/38730541*e^11 + 355560912/38730541*e^10 + 2731305929/38730541*e^9 + 1282824600/38730541*e^8 - 11651349545/38730541*e^7 - 13559319198/38730541*e^6 + 18976905658/38730541*e^5 + 31388919648/38730541*e^4 - 7859976021/38730541*e^3 - 23379322790/38730541*e^2 - 4056342901/38730541*e + 1231884735/38730541, -14215059/38730541*e^14 - 122258824/38730541*e^13 - 145033052/38730541*e^12 + 1442387851/38730541*e^11 + 4200576502/38730541*e^10 - 3198686557/38730541*e^9 - 22043730941/38730541*e^8 - 7772728746/38730541*e^7 + 43954724581/38730541*e^6 + 32554131180/38730541*e^5 - 32065962708/38730541*e^4 - 26870315611/38730541*e^3 + 3221188035/38730541*e^2 - 1070900456/38730541*e - 108529441/38730541, 18864586/38730541*e^14 + 133277945/38730541*e^13 - 84996253/38730541*e^12 - 2396430850/38730541*e^11 - 2574654952/38730541*e^10 + 15368287764/38730541*e^9 + 25896564190/38730541*e^8 - 44896486182/38730541*e^7 - 93181439694/38730541*e^6 + 60342375984/38730541*e^5 + 147035927398/38730541*e^4 - 29159441594/38730541*e^3 - 86240382610/38730541*e^2 - 1931423621/38730541*e + 1736950335/38730541, -4365734/38730541*e^14 - 36986699/38730541*e^13 - 35603443/38730541*e^12 + 482702458/38730541*e^11 + 1260766108/38730541*e^10 - 1546762061/38730541*e^9 - 7513257386/38730541*e^8 - 490542242/38730541*e^7 + 17472099934/38730541*e^6 + 8456153824/38730541*e^5 - 16047577041/38730541*e^4 - 9634172831/38730541*e^3 + 3966019297/38730541*e^2 + 1248957452/38730541*e - 253089225/38730541, -16613479/38730541*e^14 - 138015744/38730541*e^13 - 117023788/38730541*e^12 + 1793220186/38730541*e^11 + 4362717592/38730541*e^10 - 5843009025/38730541*e^9 - 25086277495/38730541*e^8 + 108917051/38730541*e^7 + 55077007259/38730541*e^6 + 23387677182/38730541*e^5 - 46139388815/38730541*e^4 - 25178244563/38730541*e^3 + 8576212874/38730541*e^2 + 1810012234/38730541*e - 403729667/38730541, -10250241/38730541*e^14 - 82769557/38730541*e^13 - 49122093/38730541*e^12 + 1154029441/38730541*e^11 + 2461469434/38730541*e^10 - 4673906243/38730541*e^9 - 15529698738/38730541*e^8 + 5773240236/38730541*e^7 + 38797903894/38730541*e^6 + 1275359502/38730541*e^5 - 41628468099/38730541*e^4 - 530873701/38730541*e^3 + 15745965165/38730541*e^2 - 6387368416/38730541*e - 662702767/38730541, -20179940/38730541*e^14 - 138227277/38730541*e^13 + 104151522/38730541*e^12 + 2440611192/38730541*e^11 + 2346274283/38730541*e^10 - 15386793863/38730541*e^9 - 23845404118/38730541*e^8 + 44583953567/38730541*e^7 + 85715114112/38730541*e^6 - 58096430740/38730541*e^5 - 136461626234/38730541*e^4 + 20893368800/38730541*e^3 + 81920438908/38730541*e^2 + 10340966650/38730541*e - 2023077084/38730541, 3794546/38730541*e^14 + 17842193/38730541*e^13 - 82118053/38730541*e^12 - 480392847/38730541*e^11 + 409971185/38730541*e^10 + 4398028267/38730541*e^9 + 1050765606/38730541*e^8 - 16882430640/38730541*e^7 - 10734867990/38730541*e^6 + 28687407959/38730541*e^5 + 22607520449/38730541*e^4 - 17712475761/38730541*e^3 - 14866474625/38730541*e^2 - 240496225/38730541*e - 107456882/38730541, 16827865/38730541*e^14 + 121164282/38730541*e^13 + 10549337/38730541*e^12 - 1644937577/38730541*e^11 - 2562933259/38730541*e^10 + 6507414535/38730541*e^9 + 14386044678/38730541*e^8 - 9225521762/38730541*e^7 - 27321372173/38730541*e^6 + 3230527851/38730541*e^5 + 15066617036/38730541*e^4 - 214577108/38730541*e^3 + 3137253072/38730541*e^2 + 2165739951/38730541*e - 68859538/38730541, 425824/38730541*e^14 - 3082723/38730541*e^13 - 42973887/38730541*e^12 - 45310605/38730541*e^11 + 493764343/38730541*e^10 + 1002928301/38730541*e^9 - 1719585090/38730541*e^8 - 4304376762/38730541*e^7 + 2901011677/38730541*e^6 + 6362281563/38730541*e^5 - 4380087574/38730541*e^4 - 2130665978/38730541*e^3 + 3966248330/38730541*e^2 - 1281370369/38730541*e + 230386066/38730541, 11865268/38730541*e^14 + 88412579/38730541*e^13 - 20780458/38730541*e^12 - 1510091531/38730541*e^11 - 2127194587/38730541*e^10 + 8801372770/38730541*e^9 + 18607792526/38730541*e^8 - 21514574922/38730541*e^7 - 60768830922/38730541*e^6 + 20132260376/38730541*e^5 + 86263619048/38730541*e^4 - 1693901664/38730541*e^3 - 44691019254/38730541*e^2 - 4094521172/38730541*e + 553119839/38730541, 15922700/38730541*e^14 + 116100927/38730541*e^13 + 2543948/38730541*e^12 - 1682350592/38730541*e^11 - 2541422642/38730541*e^10 + 7823523049/38730541*e^9 + 16688194143/38730541*e^8 - 16254931968/38730541*e^7 - 43541830689/38730541*e^6 + 15718376867/38730541*e^5 + 52382054080/38730541*e^4 - 4369841021/38730541*e^3 - 24588516082/38730541*e^2 - 2188283273/38730541*e + 713120017/38730541, 9829867/38730541*e^14 + 68369056/38730541*e^13 - 41807828/38730541*e^12 - 1169135613/38730541*e^11 - 1197095615/38730541*e^10 + 7149249265/38730541*e^9 + 11241749576/38730541*e^8 - 20607467929/38730541*e^7 - 39461032757/38730541*e^6 + 27058113346/38730541*e^5 + 63107987689/38730541*e^4 - 8748956485/38730541*e^3 - 38963313932/38730541*e^2 - 6469044071/38730541*e + 1245966485/38730541, -14665187/38730541*e^14 - 91709486/38730541*e^13 + 134763268/38730541*e^12 + 1747615499/38730541*e^11 + 826679252/38730541*e^10 - 12096290849/38730541*e^9 - 12968679117/38730541*e^8 + 38449773870/38730541*e^7 + 51794940555/38730541*e^6 - 56172564484/38730541*e^5 - 85526904320/38730541*e^4 + 28473930898/38730541*e^3 + 51738223653/38730541*e^2 + 2828217256/38730541*e - 1194764810/38730541, -21689386/38730541*e^14 - 166085044/38730541*e^13 - 28475551/38730541*e^12 + 2498970129/38730541*e^11 + 4216533118/38730541*e^10 - 12116276511/38730541*e^9 - 29616841429/38730541*e^8 + 24161663120/38730541*e^7 + 82653560371/38730541*e^6 - 16674160446/38730541*e^5 - 103285145466/38730541*e^4 - 3550454114/38730541*e^3 + 48511447880/38730541*e^2 + 5288255684/38730541*e - 1568488371/38730541, -23842487/38730541*e^14 - 189109302/38730541*e^13 - 99416544/38730541*e^12 + 2632794314/38730541*e^11 + 5476474832/38730541*e^10 - 10587710761/38730541*e^9 - 34809222153/38730541*e^8 + 12078932274/38730541*e^7 + 88261249971/38730541*e^6 + 10245507869/38730541*e^5 - 98945933985/38730541*e^4 - 21760793039/38730541*e^3 + 41787059779/38730541*e^2 + 4404328405/38730541*e - 2127365059/38730541, 1731514/38730541*e^14 - 2280800/38730541*e^13 - 139380425/38730541*e^12 - 397081622/38730541*e^11 + 1320225508/38730541*e^10 + 6113240868/38730541*e^9 - 1232046817/38730541*e^8 - 28391214077/38730541*e^7 - 15207525858/38730541*e^6 + 52899757385/38730541*e^5 + 42599432616/38730541*e^4 - 35036026215/38730541*e^3 - 30964443869/38730541*e^2 + 1124993837/38730541*e + 46878659/38730541, 29027643/38730541*e^14 + 188185944/38730541*e^13 - 245652711/38730541*e^12 - 3655618426/38730541*e^11 - 2349869743/38730541*e^10 + 25573369033/38730541*e^9 + 32894545614/38730541*e^8 - 80307149032/38730541*e^7 - 131028689328/38730541*e^6 + 113474048214/38730541*e^5 + 217547978831/38730541*e^4 - 53811249756/38730541*e^3 - 131889092617/38730541*e^2 - 8130260054/38730541*e + 3620253048/38730541, -2712124/38730541*e^14 - 818489/38730541*e^13 + 141874060/38730541*e^12 + 333542301/38730541*e^11 - 1447014419/38730541*e^10 - 4690175608/38730541*e^9 + 4214730553/38730541*e^8 + 21148194622/38730541*e^7 - 1881667478/38730541*e^6 - 40213699354/38730541*e^5 - 7004833518/38730541*e^4 + 30963550774/38730541*e^3 + 7476207294/38730541*e^2 - 5787676872/38730541*e - 585047654/38730541, 8334351/38730541*e^14 + 54240415/38730541*e^13 - 65495084/38730541*e^12 - 1023506952/38730541*e^11 - 687168130/38730541*e^10 + 7005940589/38730541*e^9 + 9065240573/38730541*e^8 - 21937209685/38730541*e^7 - 36277255031/38730541*e^6 + 30577756406/38730541*e^5 + 61913624575/38730541*e^4 - 12068859513/38730541*e^3 - 39162302162/38730541*e^2 - 5398977838/38730541*e + 1606897848/38730541, -13053493/38730541*e^14 - 85408838/38730541*e^13 + 88093654/38730541*e^12 + 1503468564/38730541*e^11 + 1009993502/38730541*e^10 - 9667833855/38730541*e^9 - 11135583363/38730541*e^8 + 30250085661/38730541*e^7 + 40267391170/38730541*e^6 - 46744328865/38730541*e^5 - 64630751842/38730541*e^4 + 28391139237/38730541*e^3 + 40046694395/38730541*e^2 + 97870277/38730541*e - 2269609054/38730541, -9759712/38730541*e^14 - 69068579/38730541*e^13 + 36064586/38730541*e^12 + 1188311801/38730541*e^11 + 1354599480/38730541*e^10 - 7162461799/38730541*e^9 - 12522377205/38730541*e^8 + 19400418778/38730541*e^7 + 42328472482/38730541*e^6 - 23552899600/38730541*e^5 - 63027200477/38730541*e^4 + 9813085182/38730541*e^3 + 35190022774/38730541*e^2 + 722344241/38730541*e - 1768696142/38730541, -31621304/38730541*e^14 - 228751112/38730541*e^13 + 82512765/38730541*e^12 + 3861722956/38730541*e^11 + 4867268070/38730541*e^10 - 22748679914/38730541*e^9 - 42768368365/38730541*e^8 + 60436190882/38730541*e^7 + 142737451364/38730541*e^6 - 70523720405/38730541*e^5 - 213659119123/38730541*e^4 + 20069126636/38730541*e^3 + 121196744601/38730541*e^2 + 13599598872/38730541*e - 3124723180/38730541, -40684/169129*e^14 - 285890/169129*e^13 + 122831/169129*e^12 + 4708319/169129*e^11 + 5715291/169129*e^10 - 26467929/169129*e^9 - 49041235/169129*e^8 + 64454514/169129*e^7 + 155885145/169129*e^6 - 61607195/169129*e^5 - 219272225/169129*e^4 - 1159279/169129*e^3 + 117709951/169129*e^2 + 26352546/169129*e - 4666818/169129, 764579/38730541*e^14 - 13005287/38730541*e^13 - 177954152/38730541*e^12 - 402752453/38730541*e^11 + 1737898153/38730541*e^10 + 7629294158/38730541*e^9 - 358886925/38730541*e^8 - 36130578792/38730541*e^7 - 29364903561/38730541*e^6 + 65029519821/38730541*e^5 + 79602022215/38730541*e^4 - 37817062323/38730541*e^3 - 61471178746/38730541*e^2 - 3341733159/38730541*e + 1644815534/38730541, -15711265/38730541*e^14 - 107595603/38730541*e^13 + 92910179/38730541*e^12 + 1977783258/38730541*e^11 + 1840592709/38730541*e^10 - 12842325384/38730541*e^9 - 20071832212/38730541*e^8 + 36570870709/38730541*e^7 + 72553847358/38730541*e^6 - 44344535020/38730541*e^5 - 111853072911/38730541*e^4 + 13231497169/38730541*e^3 + 63416516229/38730541*e^2 + 7507775652/38730541*e - 1232402618/38730541, -18722718/38730541*e^14 - 138168365/38730541*e^13 + 3990211/38730541*e^12 + 2100745708/38730541*e^11 + 3125016541/38730541*e^10 - 10563023047/38730541*e^9 - 22431041621/38730541*e^8 + 23731888438/38730541*e^7 + 63909172697/38730541*e^6 - 24716289484/38730541*e^5 - 83868682137/38730541*e^4 + 10242631200/38730541*e^3 + 43060627211/38730541*e^2 - 1297004183/38730541*e - 1215859419/38730541, 6990619/38730541*e^14 + 55459672/38730541*e^13 + 11562547/38730541*e^12 - 889773218/38730541*e^11 - 1602023483/38730541*e^10 + 4567256735/38730541*e^9 + 12387579040/38730541*e^8 - 8177899112/38730541*e^7 - 36505890002/38730541*e^6 + 359619687/38730541*e^5 + 45476859959/38730541*e^4 + 9857817021/38730541*e^3 - 19462550693/38730541*e^2 - 4464756798/38730541*e - 28700317/38730541, -27807504/38730541*e^14 - 203343201/38730541*e^13 + 39372514/38730541*e^12 + 3265161122/38730541*e^11 + 4485146794/38730541*e^10 - 17804651942/38730541*e^9 - 35532938305/38730541*e^8 + 43138397040/38730541*e^7 + 108177587763/38730541*e^6 - 46507681856/38730541*e^5 - 147177454396/38730541*e^4 + 15977006604/38730541*e^3 + 75667300864/38730541*e^2 + 2805133741/38730541*e - 2374129263/38730541, 7989300/38730541*e^14 + 69123731/38730541*e^13 + 73886079/38730541*e^12 - 890920455/38730541*e^11 - 2394499821/38730541*e^10 + 3017256142/38730541*e^9 + 14358854910/38730541*e^8 - 1930052359/38730541*e^7 - 38005058218/38730541*e^6 - 5514856026/38730541*e^5 + 50011386465/38730541*e^4 + 7059665095/38730541*e^3 - 27299385401/38730541*e^2 - 1085929042/38730541*e + 875674150/38730541, -15814154/38730541*e^14 - 113289494/38730541*e^13 + 37749518/38730541*e^12 + 1873077364/38730541*e^11 + 2485823274/38730541*e^10 - 10369818246/38730541*e^9 - 21103619858/38730541*e^8 + 23341078885/38730541*e^7 + 65352767832/38730541*e^6 - 17623539848/38730541*e^5 - 86444480460/38730541*e^4 - 4145970529/38730541*e^3 + 40717081575/38730541*e^2 + 6364529709/38730541*e - 362581015/38730541, -3331/38730541*e^14 - 8743611/38730541*e^13 - 62620340/38730541*e^12 - 7539213/38730541*e^11 + 839878841/38730541*e^10 + 1330312977/38730541*e^9 - 3356105464/38730541*e^8 - 7377274736/38730541*e^7 + 5916932648/38730541*e^6 + 15044581730/38730541*e^5 - 6602112781/38730541*e^4 - 12309349227/38730541*e^3 + 5232985467/38730541*e^2 + 2714454119/38730541*e - 705560489/38730541, 23487212/38730541*e^14 + 198514781/38730541*e^13 + 187528578/38730541*e^12 - 2552649089/38730541*e^11 - 6516442402/38730541*e^10 + 7999976487/38730541*e^9 + 37378744917/38730541*e^8 + 1786380018/38730541*e^7 - 83082617460/38730541*e^6 - 37139454969/38730541*e^5 + 73293322538/38730541*e^4 + 37518842337/38730541*e^3 - 17983455779/38730541*e^2 - 727485825/38730541*e + 675117856/38730541, -19671154/38730541*e^14 - 136204668/38730541*e^13 + 93369889/38730541*e^12 + 2377885496/38730541*e^11 + 2342237907/38730541*e^10 - 14825342194/38730541*e^9 - 22708576856/38730541*e^8 + 43180000999/38730541*e^7 + 78406294942/38730541*e^6 - 60268284768/38730541*e^5 - 119505500333/38730541*e^4 + 32437193502/38730541*e^3 + 68498378166/38730541*e^2 + 1097307404/38730541*e - 1926473758/38730541, -33951990/38730541*e^14 - 232423950/38730541*e^13 + 174224904/38730541*e^12 + 4056481685/38730541*e^11 + 3750136997/38730541*e^10 - 25393491391/38730541*e^9 - 37044614135/38730541*e^8 + 74798809691/38730541*e^7 + 129454808269/38730541*e^6 - 104941138696/38730541*e^5 - 200546555840/38730541*e^4 + 54208950449/38730541*e^3 + 117348501669/38730541*e^2 + 3382825916/38730541*e - 3024535136/38730541, -8302399/38730541*e^14 - 90095270/38730541*e^13 - 232923622/38730541*e^12 + 719356690/38730541*e^11 + 4225635657/38730541*e^10 + 2533535969/38730541*e^9 - 17269817112/38730541*e^8 - 27285005553/38730541*e^7 + 19899246906/38730541*e^6 + 62570840600/38730541*e^5 + 11840852178/38730541*e^4 - 46101543380/38730541*e^3 - 25456924566/38730541*e^2 + 3163375134/38730541*e + 1540214041/38730541, 28851657/38730541*e^14 + 224338607/38730541*e^13 + 82111546/38730541*e^12 - 3201631582/38730541*e^11 - 6023405316/38730541*e^10 + 13931423785/38730541*e^9 + 39132141061/38730541*e^8 - 22342224461/38730541*e^7 - 101862269457/38730541*e^6 + 6011686067/38730541*e^5 + 119397537337/38730541*e^4 + 12213358224/38730541*e^3 - 54126511637/38730541*e^2 - 4748813399/38730541*e + 2435997968/38730541, 8354784/38730541*e^14 + 77609555/38730541*e^13 + 158080448/38730541*e^12 - 642405304/38730541*e^11 - 3178844515/38730541*e^10 - 2132859739/38730541*e^9 + 12220836256/38730541*e^8 + 25338900325/38730541*e^7 - 5510255460/38730541*e^6 - 60655180473/38730541*e^5 - 37175744376/38730541*e^4 + 43431420220/38730541*e^3 + 43532117974/38730541*e^2 + 2086207354/38730541*e - 1590583944/38730541, 11051005/38730541*e^14 + 63054649/38730541*e^13 - 160264647/38730541*e^12 - 1427094429/38730541*e^11 - 4635706/38730541*e^10 + 11608957787/38730541*e^9 + 9318785145/38730541*e^8 - 41773815465/38730541*e^7 - 47794029763/38730541*e^6 + 69320430379/38730541*e^5 + 90099111408/38730541*e^4 - 46290210198/38730541*e^3 - 59726493381/38730541*e^2 + 5351162966/38730541*e + 1710095457/38730541, -16566472/38730541*e^14 - 122887898/38730541*e^13 - 11507305/38730541*e^12 + 1774398988/38730541*e^11 + 2759959636/38730541*e^10 - 8271778017/38730541*e^9 - 17980114118/38730541*e^8 + 17606508985/38730541*e^7 + 48198786427/38730541*e^6 - 16722173126/38730541*e^5 - 61976734111/38730541*e^4 + 3249562/38730541*e^3 + 32227543235/38730541*e^2 + 8185123124/38730541*e - 671621848/38730541, -10183163/38730541*e^14 - 85523019/38730541*e^13 - 60108751/38730541*e^12 + 1216064293/38730541*e^11 + 2646591696/38730541*e^10 - 5473490538/38730541*e^9 - 17473132769/38730541*e^8 + 10778407909/38730541*e^7 + 51667888770/38730541*e^6 - 7736739244/38730541*e^5 - 75765477184/38730541*e^4 - 5032115967/38730541*e^3 + 44427734625/38730541*e^2 + 8049967331/38730541*e - 784223127/38730541, 15193331/38730541*e^14 + 115930522/38730541*e^13 + 37996876/38730541*e^12 - 1592675889/38730541*e^11 - 2850154155/38730541*e^10 + 6511018903/38730541*e^9 + 16789188977/38730541*e^8 - 10109165047/38730541*e^7 - 37933508777/38730541*e^6 + 4504117434/38730541*e^5 + 36290745529/38730541*e^4 + 2364283130/38730541*e^3 - 12664627709/38730541*e^2 - 2363725162/38730541*e + 1013717441/38730541, -23359009/38730541*e^14 - 165325106/38730541*e^13 + 79146636/38730541*e^12 + 2802470388/38730541*e^11 + 3265664933/38730541*e^10 - 16569304344/38730541*e^9 - 29190851714/38730541*e^8 + 44162313919/38730541*e^7 + 95831103900/38730541*e^6 - 53338059610/38730541*e^5 - 138596501041/38730541*e^4 + 22033616706/38730541*e^3 + 75441019091/38730541*e^2 + 2095098266/38730541*e - 2773233561/38730541, 17955791/38730541*e^14 + 150021705/38730541*e^13 + 150112916/38730541*e^12 - 1818045807/38730541*e^11 - 4797885430/38730541*e^10 + 4645173278/38730541*e^9 + 25070373613/38730541*e^8 + 5941481967/38730541*e^7 - 47418993064/38730541*e^6 - 31651000089/38730541*e^5 + 27574359617/38730541*e^4 + 25008321902/38730541*e^3 + 4178623777/38730541*e^2 + 2477792262/38730541*e - 43602851/38730541, 21721183/38730541*e^14 + 181041589/38730541*e^13 + 167433982/38730541*e^12 - 2298509137/38730541*e^11 - 5894082268/38730541*e^10 + 6795270342/38730541*e^9 + 33431753241/38730541*e^8 + 4593619480/38730541*e^7 - 72038769414/38730541*e^6 - 41830035406/38730541*e^5 + 57827357477/38730541*e^4 + 44479388425/38730541*e^3 - 7700043969/38730541*e^2 - 6546359627/38730541*e - 596781900/38730541, 10710130/38730541*e^14 + 84539396/38730541*e^13 + 39878970/38730541*e^12 - 1174352653/38730541*e^11 - 2250757024/38730541*e^10 + 5166077263/38730541*e^9 + 14039459819/38730541*e^8 - 10965317431/38730541*e^7 - 39022738374/38730541*e^6 + 12797391464/38730541*e^5 + 56030333060/38730541*e^4 - 5317285409/38730541*e^3 - 34564133990/38730541*e^2 - 2620806141/38730541*e + 2052349142/38730541, 17895739/38730541*e^14 + 163381059/38730541*e^13 + 230721322/38730541*e^12 - 1955324790/38730541*e^11 - 6272081144/38730541*e^10 + 4340798944/38730541*e^9 + 34834618721/38730541*e^8 + 12979372476/38730541*e^7 - 77172195586/38730541*e^6 - 56863093741/38730541*e^5 + 70171927653/38730541*e^4 + 58437068000/38730541*e^3 - 19055689588/38730541*e^2 - 11577070283/38730541*e + 263951669/38730541, 5592255/38730541*e^14 + 38651450/38730541*e^13 - 32445004/38730541*e^12 - 711141364/38730541*e^11 - 635048033/38730541*e^10 + 4751329239/38730541*e^9 + 6864231450/38730541*e^8 - 14925077585/38730541*e^7 - 25129961719/38730541*e^6 + 23075163000/38730541*e^5 + 39202048723/38730541*e^4 - 16149457569/38730541*e^3 - 21316298781/38730541*e^2 + 2933694895/38730541*e - 565552483/38730541, -23061893/38730541*e^14 - 170982892/38730541*e^13 + 10095534/38730541*e^12 + 2692127670/38730541*e^11 + 4117752935/38730541*e^10 - 13866833509/38730541*e^9 - 31617145302/38730541*e^8 + 28416517521/38730541*e^7 + 92576282705/38730541*e^6 - 16438474508/38730541*e^5 - 117924577334/38730541*e^4 - 12903694451/38730541*e^3 + 55092930068/38730541*e^2 + 11793765861/38730541*e - 1126169162/38730541, -3367108/38730541*e^14 - 16537139/38730541*e^13 + 83218017/38730541*e^12 + 513184897/38730541*e^11 - 443026895/38730541*e^10 - 5301378825/38730541*e^9 - 1631823509/38730541*e^8 + 23241856317/38730541*e^7 + 17345144512/38730541*e^6 - 46119421186/38730541*e^5 - 42062580971/38730541*e^4 + 36268904952/38730541*e^3 + 32574288745/38730541*e^2 - 4880409019/38730541*e - 1165038113/38730541, -15925075/38730541*e^14 - 125893068/38730541*e^13 - 48657234/38730541*e^12 + 1858093614/38730541*e^11 + 3637880745/38730541*e^10 - 8238661004/38730541*e^9 - 24986914640/38730541*e^8 + 10791975552/38730541*e^7 + 65805286453/38730541*e^6 + 7660249059/38730541*e^5 - 71998229235/38730541*e^4 - 19897476879/38730541*e^3 + 26193694217/38730541*e^2 + 5129634224/38730541*e - 754649908/38730541, -7008443/38730541*e^14 - 45795711/38730541*e^13 + 29735163/38730541*e^12 + 687067662/38730541*e^11 + 603653256/38730541*e^10 - 3332831788/38730541*e^9 - 3967267594/38730541*e^8 + 6871131271/38730541*e^7 + 6411268158/38730541*e^6 - 6134491538/38730541*e^5 + 2480964982/38730541*e^4 + 2224510953/38730541*e^3 - 8697463924/38730541*e^2 - 748597784/38730541*e - 197784075/38730541, 26843760/38730541*e^14 + 201029718/38730541*e^13 - 8830366/38730541*e^12 - 3189822754/38730541*e^11 - 4783523096/38730541*e^10 + 17212917710/38730541*e^9 + 37110302517/38730541*e^8 - 42034549075/38730541*e^7 - 115435495314/38730541*e^6 + 46187273101/38730541*e^5 + 165548892137/38730541*e^4 - 13158772287/38730541*e^3 - 91753884666/38730541*e^2 - 8366283098/38730541*e + 2687934875/38730541, 839698/38730541*e^14 + 6941179/38730541*e^13 + 17558379/38730541*e^12 - 38451417/38730541*e^11 - 399376662/38730541*e^10 - 692439201/38730541*e^9 + 1893754225/38730541*e^8 + 6386461181/38730541*e^7 - 1274870283/38730541*e^6 - 17475656014/38730541*e^5 - 7242176574/38730541*e^4 + 15872634787/38730541*e^3 + 10250457259/38730541*e^2 - 2145585694/38730541*e - 170963225/38730541, -18708075/38730541*e^14 - 125788433/38730541*e^13 + 122729438/38730541*e^12 + 2322319963/38730541*e^11 + 1931333082/38730541*e^10 - 15302617898/38730541*e^9 - 22009943758/38730541*e^8 + 45166304168/38730541*e^7 + 80971309880/38730541*e^6 - 58478660068/38730541*e^5 - 126699842271/38730541*e^4 + 20616469336/38730541*e^3 + 72532193211/38730541*e^2 + 9299272011/38730541*e - 1427721827/38730541, -2765543/38730541*e^14 - 46671952/38730541*e^13 - 208374494/38730541*e^12 + 161825194/38730541*e^11 + 3146999245/38730541*e^10 + 4695123782/38730541*e^9 - 11712345883/38730541*e^8 - 32240424645/38730541*e^7 + 7350285199/38730541*e^6 + 73049099693/38730541*e^5 + 28086429196/38730541*e^4 - 59334241285/38730541*e^3 - 35470290026/38730541*e^2 + 7873878220/38730541*e + 1531499010/38730541, 29228116/38730541*e^14 + 213251735/38730541*e^13 - 48268874/38730541*e^12 - 3448051439/38730541*e^11 - 4594421974/38730541*e^10 + 19226516612/38730541*e^9 + 37022949333/38730541*e^8 - 49207517969/38730541*e^7 - 116756986850/38730541*e^6 + 57632596559/38730541*e^5 + 168673975871/38730541*e^4 - 19383579755/38730541*e^3 - 94905929995/38730541*e^2 - 8707337247/38730541*e + 3299233197/38730541, 15046360/38730541*e^14 + 114506998/38730541*e^13 + 16872935/38730541*e^12 - 1705833875/38730541*e^11 - 2771589370/38730541*e^10 + 8272707097/38730541*e^9 + 18786560218/38730541*e^8 - 17805782761/38730541*e^7 - 50151554673/38730541*e^6 + 18534296264/38730541*e^5 + 58837150334/38730541*e^4 - 9783679330/38730541*e^3 - 24714010102/38730541*e^2 + 2434864323/38730541*e + 448696592/38730541, -27423836/38730541*e^14 - 192600194/38730541*e^13 + 82165172/38730541*e^12 + 3129087729/38730541*e^11 + 3611674714/38730541*e^10 - 17691696821/38730541*e^9 - 29838440834/38730541*e^8 + 47135196466/38730541*e^7 + 93165300118/38730541*e^6 - 62458365903/38730541*e^5 - 131676388892/38730541*e^4 + 36219124553/38730541*e^3 + 71736358864/38730541*e^2 - 4450477235/38730541*e - 2717720583/38730541, 8529847/38730541*e^14 + 61672446/38730541*e^13 - 34183023/38730541*e^12 - 1120491700/38730541*e^11 - 1306547419/38730541*e^10 + 7131792079/38730541*e^9 + 12925327738/38730541*e^8 - 19755522593/38730541*e^7 - 45130650314/38730541*e^6 + 23998000700/38730541*e^5 + 68127381845/38730541*e^4 - 10521445159/38730541*e^3 - 39006982116/38730541*e^2 + 805477228/38730541*e + 1839769978/38730541, 10196237/38730541*e^14 + 95005317/38730541*e^13 + 158967715/38730541*e^12 - 1010447562/38730541*e^11 - 3715664773/38730541*e^10 + 930035057/38730541*e^9 + 18249920635/38730541*e^8 + 12910712360/38730541*e^7 - 34212633914/38730541*e^6 - 38687669308/38730541*e^5 + 23045483423/38730541*e^4 + 33108091083/38730541*e^3 - 1283279274/38730541*e^2 - 3305719571/38730541*e - 466651739/38730541, -24180287/38730541*e^14 - 194899920/38730541*e^13 - 118020562/38730541*e^12 + 2691018007/38730541*e^11 + 5775105451/38730541*e^10 - 10714092473/38730541*e^9 - 36222658077/38730541*e^8 + 12437557746/38730541*e^7 + 91943746614/38730541*e^6 + 9318094667/38730541*e^5 - 103811142393/38730541*e^4 - 21229538857/38730541*e^3 + 43532646259/38730541*e^2 + 3749125991/38730541*e - 1632680137/38730541, 7037011/38730541*e^14 + 76042591/38730541*e^13 + 160828557/38730541*e^12 - 854198583/38730541*e^11 - 3543317446/38730541*e^10 + 1277985607/38730541*e^9 + 19303026736/38730541*e^8 + 8771252607/38730541*e^7 - 44116972338/38730541*e^6 - 29195745020/38730541*e^5 + 44287256864/38730541*e^4 + 25257373650/38730541*e^3 - 15497122147/38730541*e^2 - 2976779071/38730541*e + 153179963/38730541, 59671025/38730541*e^14 + 443462146/38730541*e^13 + 14380379/38730541*e^12 - 6698656407/38730541*e^11 - 10503817617/38730541*e^10 + 32719929146/38730541*e^9 + 74572477568/38730541*e^8 - 66532682972/38730541*e^7 - 205745411697/38730541*e^6 + 52322147612/38730541*e^5 + 251349787277/38730541*e^4 - 6649684436/38730541*e^3 - 114808403004/38730541*e^2 - 2786389498/38730541*e + 2603142916/38730541, -25681093/38730541*e^14 - 169033477/38730541*e^13 + 211622833/38730541*e^12 + 3294463042/38730541*e^11 + 2150069386/38730541*e^10 - 23428543844/38730541*e^9 - 29703930598/38730541*e^8 + 76729724061/38730541*e^7 + 120713128714/38730541*e^6 - 117195397585/38730541*e^5 - 207035118513/38730541*e^4 + 66917096896/38730541*e^3 + 130786694536/38730541*e^2 + 1358778830/38730541*e - 4547656998/38730541, 20071244/38730541*e^14 + 182089422/38730541*e^13 + 252586391/38730541*e^12 - 2154248843/38730541*e^11 - 6772467342/38730541*e^10 + 4758870376/38730541*e^9 + 36396849085/38730541*e^8 + 12461436897/38730541*e^7 - 77189854892/38730541*e^6 - 53158555185/38730541*e^5 + 64951174183/38730541*e^4 + 48753746929/38730541*e^3 - 12948356381/38730541*e^2 - 4365871508/38730541*e - 879777526/38730541, 9929875/38730541*e^14 + 118951307/38730541*e^13 + 386321078/38730541*e^12 - 682900868/38730541*e^11 - 6302651902/38730541*e^10 - 7414938391/38730541*e^9 + 22891340133/38730541*e^8 + 56063193652/38730541*e^7 - 12391843562/38730541*e^6 - 122569232285/38730541*e^5 - 54633133781/38730541*e^4 + 88725431910/38730541*e^3 + 63225335498/38730541*e^2 - 3785079747/38730541*e - 1154457262/38730541, 13533140/38730541*e^14 + 126926213/38730541*e^13 + 228101427/38730541*e^12 - 1261525732/38730541*e^11 - 5042651153/38730541*e^10 - 205698572/38730541*e^9 + 22766414553/38730541*e^8 + 24722509260/38730541*e^7 - 31174853914/38730541*e^6 - 64219136350/38730541*e^5 - 7187984299/38730541*e^4 + 44119201929/38730541*e^3 + 28888584469/38730541*e^2 + 5523289164/38730541*e - 992436480/38730541, 13480393/38730541*e^14 + 98161480/38730541*e^13 + 1596469/38730541*e^12 - 1406339470/38730541*e^11 - 2080999479/38730541*e^10 + 6366017205/38730541*e^9 + 13092717153/38730541*e^8 - 12340349807/38730541*e^7 - 31485248655/38730541*e^6 + 8828440321/38730541*e^5 + 32629926869/38730541*e^4 + 4403556770/38730541*e^3 - 11814491215/38730541*e^2 - 7669972679/38730541*e - 580464621/38730541, -13675566/38730541*e^14 - 94036917/38730541*e^13 + 64147265/38730541*e^12 + 1615444827/38730541*e^11 + 1524436363/38730541*e^10 - 10141148096/38730541*e^9 - 14666599921/38730541*e^8 + 31578466328/38730541*e^7 + 53195912962/38730541*e^6 - 49228701480/38730541*e^5 - 89270808364/38730541*e^4 + 29596432547/38730541*e^3 + 58187080708/38730541*e^2 + 697398822/38730541*e - 2618786238/38730541, -2957181/38730541*e^14 - 24466427/38730541*e^13 - 6481326/38730541*e^12 + 394244643/38730541*e^11 + 645012806/38730541*e^10 - 2270746132/38730541*e^9 - 4847572216/38730541*e^8 + 6568079191/38730541*e^7 + 15717142757/38730541*e^6 - 9399002365/38730541*e^5 - 23913302600/38730541*e^4 + 4103697338/38730541*e^3 + 13142029722/38730541*e^2 + 1727660401/38730541*e - 422169476/38730541, -39201767/38730541*e^14 - 294561378/38730541*e^13 - 69138/38730541*e^12 + 4591563755/38730541*e^11 + 6967947569/38730541*e^10 - 24143599582/38730541*e^9 - 51953076722/38730541*e^8 + 57924714403/38730541*e^7 + 155149746769/38730541*e^6 - 66397935837/38730541*e^5 - 212913964382/38730541*e^4 + 30966317403/38730541*e^3 + 112487603743/38730541*e^2 - 1332557640/38730541*e - 2575932856/38730541, 1594627/38730541*e^14 + 1440906/38730541*e^13 - 102739702/38730541*e^12 - 384328350/38730541*e^11 + 777794984/38730541*e^10 + 5425390557/38730541*e^9 + 1921970001/38730541*e^8 - 24684455795/38730541*e^7 - 26666766605/38730541*e^6 + 44291237448/38730541*e^5 + 67257366010/38730541*e^4 - 24806512943/38730541*e^3 - 52807581491/38730541*e^2 - 4175221283/38730541*e + 1815129876/38730541, -4754512/38730541*e^14 - 40504591/38730541*e^13 - 54327049/38730541*e^12 + 395639765/38730541*e^11 + 1193023038/38730541*e^10 - 273117316/38730541*e^9 - 3803003191/38730541*e^8 - 2802070570/38730541*e^7 + 691682/38730541*e^6 + 2659451028/38730541*e^5 + 12350531335/38730541*e^4 + 5227644377/38730541*e^3 - 11805750150/38730541*e^2 - 4712922993/38730541*e + 628745096/38730541, -23172046/38730541*e^14 - 191721161/38730541*e^13 - 123009736/38730541*e^12 + 2741088234/38730541*e^11 + 5921739011/38730541*e^10 - 11902553526/38730541*e^9 - 38982488223/38730541*e^8 + 18540778281/38730541*e^7 + 106501370512/38730541*e^6 - 3303177452/38730541*e^5 - 133985186603/38730541*e^4 - 11652424326/38730541*e^3 + 65104735767/38730541*e^2 + 3780993622/38730541*e - 1834107890/38730541, -1425900/38730541*e^14 - 18045228/38730541*e^13 - 72201135/38730541*e^12 + 56485831/38730541*e^11 + 1148049496/38730541*e^10 + 1972315839/38730541*e^9 - 4162481275/38730541*e^8 - 13601285210/38730541*e^7 + 900497044/38730541*e^6 + 30330833904/38730541*e^5 + 16154182933/38730541*e^4 - 22020501944/38730541*e^3 - 18422053446/38730541*e^2 + 154570033/38730541*e - 184448854/38730541, -21893069/38730541*e^14 - 168345899/38730541*e^13 - 40961976/38730541*e^12 + 2493138537/38730541*e^11 + 4464543228/38730541*e^10 - 11448247191/38730541*e^9 - 30738217185/38730541*e^8 + 18916720847/38730541*e^7 + 82039266684/38730541*e^6 - 4427916304/38730541*e^5 - 94705093741/38730541*e^4 - 9177413862/38730541*e^3 + 40000332160/38730541*e^2 - 69080704/38730541*e - 1055560908/38730541, -11292975/38730541*e^14 - 92924292/38730541*e^13 - 63538839/38730541*e^12 + 1273702218/38730541*e^11 + 2762882214/38730541*e^10 - 5146820087/38730541*e^9 - 16732117444/38730541*e^8 + 7813515171/38730541*e^7 + 41317519433/38730541*e^6 - 5472261772/38730541*e^5 - 46518005637/38730541*e^4 + 7813892372/38730541*e^3 + 20628045965/38730541*e^2 - 8425277902/38730541*e - 882305687/38730541, 3390897/38730541*e^14 + 27960780/38730541*e^13 + 1249065/38730541*e^12 - 494537947/38730541*e^11 - 727898180/38730541*e^10 + 3263585735/38730541*e^9 + 6309844775/38730541*e^8 - 10978008943/38730541*e^7 - 22796967958/38730541*e^6 + 19754170191/38730541*e^5 + 37950868217/38730541*e^4 - 17746307828/38730541*e^3 - 23841807321/38730541*e^2 + 6177644943/38730541*e + 350790237/38730541, 6627150/38730541*e^14 + 6114304/38730541*e^13 - 336258863/38730541*e^12 - 959120537/38730541*e^11 + 3123875903/38730541*e^10 + 13085266626/38730541*e^9 - 5047671680/38730541*e^8 - 58620737615/38730541*e^7 - 23345071527/38730541*e^6 + 105292998491/38730541*e^5 + 78398076931/38730541*e^4 - 61058979045/38730541*e^3 - 62642261193/38730541*e^2 - 7834412344/38730541*e + 815288532/38730541, -36770590/38730541*e^14 - 244968376/38730541*e^13 + 226794316/38730541*e^12 + 4346835370/38730541*e^11 + 3493461367/38730541*e^10 - 27851903853/38730541*e^9 - 37451393455/38730541*e^8 + 84183092360/38730541*e^7 + 135366737048/38730541*e^6 - 121209609349/38730541*e^5 - 214595359320/38730541*e^4 + 64122571949/38730541*e^3 + 127285324676/38730541*e^2 + 4356260407/38730541*e - 3378762272/38730541, 24263580/38730541*e^14 + 212687439/38730541*e^13 + 252430372/38730541*e^12 - 2609363469/38730541*e^11 - 7436006005/38730541*e^10 + 7160194721/38730541*e^9 + 41209180880/38730541*e^8 + 5345287461/38730541*e^7 - 93652746362/38730541*e^6 - 41246423629/38730541*e^5 + 94157448415/38730541*e^4 + 40996857496/38730541*e^3 - 33039992088/38730541*e^2 - 4974281345/38730541*e - 312486401/38730541, -30815525/38730541*e^14 - 254533599/38730541*e^13 - 197714986/38730541*e^12 + 3405181597/38730541*e^11 + 7986937171/38730541*e^10 - 12329039480/38730541*e^9 - 48348591229/38730541*e^8 + 8009422645/38730541*e^7 + 118115228371/38730541*e^6 + 29321751888/38730541*e^5 - 126284043114/38730541*e^4 - 42919087062/38730541*e^3 + 48050969458/38730541*e^2 + 9885784010/38730541*e - 1027733284/38730541, -4583577/38730541*e^14 - 17559032/38730541*e^13 + 72192461/38730541*e^12 + 222589243/38730541*e^11 - 695385952/38730541*e^10 - 709144512/38730541*e^9 + 5910655200/38730541*e^8 + 530905426/38730541*e^7 - 27379482556/38730541*e^6 - 1909558737/38730541*e^5 + 56322793079/38730541*e^4 + 9215297588/38730541*e^3 - 40590871226/38730541*e^2 - 9367879079/38730541*e + 775183545/38730541, -16080443/38730541*e^14 - 103279056/38730541*e^13 + 94344657/38730541*e^12 + 1674863185/38730541*e^11 + 1168258191/38730541*e^10 - 9579806958/38730541*e^9 - 10324419487/38730541*e^8 + 26786172567/38730541*e^7 + 29726046199/38730541*e^6 - 38679459642/38730541*e^5 - 36856449403/38730541*e^4 + 24415673307/38730541*e^3 + 17335980480/38730541*e^2 - 3138898278/38730541*e - 614887676/38730541, 6296295/38730541*e^14 + 62470078/38730541*e^13 + 112738576/38730541*e^12 - 669712368/38730541*e^11 - 2440927531/38730541*e^10 + 904975415/38730541*e^9 + 11451191061/38730541*e^8 + 5370530907/38730541*e^7 - 20482611541/38730541*e^6 - 15146888097/38730541*e^5 + 12634452818/38730541*e^4 + 10153715551/38730541*e^3 - 153062198/38730541*e^2 + 925398895/38730541*e + 1261082756/38730541, -20664527/38730541*e^14 - 158283321/38730541*e^13 - 10508639/38730541*e^12 + 2511540310/38730541*e^11 + 4064573404/38730541*e^10 - 13294023005/38730541*e^9 - 31228180692/38730541*e^8 + 29840588356/38730541*e^7 + 94761067765/38730541*e^6 - 25536950414/38730541*e^5 - 128512444635/38730541*e^4 - 502784555/38730541*e^3 + 65674385907/38730541*e^2 + 7589099408/38730541*e - 2407525052/38730541, 10768680/38730541*e^14 + 43820026/38730541*e^13 - 283652420/38730541*e^12 - 1414081668/38730541*e^11 + 1672929068/38730541*e^10 + 14118135570/38730541*e^9 + 3004090953/38730541*e^8 - 55820207637/38730541*e^7 - 40350822059/38730541*e^6 + 94787137188/38730541*e^5 + 90825432183/38730541*e^4 - 58193739305/38730541*e^3 - 62653412989/38730541*e^2 + 631021444/38730541*e + 400909086/38730541, 4781125/38730541*e^14 + 61957151/38730541*e^13 + 179290878/38730541*e^12 - 607437622/38730541*e^11 - 3523910430/38730541*e^10 - 716515087/38730541*e^9 + 18602092563/38730541*e^8 + 19040930270/38730541*e^7 - 37857704524/38730541*e^6 - 55663827996/38730541*e^5 + 25317808770/38730541*e^4 + 52509879140/38730541*e^3 + 1559858569/38730541*e^2 - 8832228549/38730541*e - 284271206/38730541, -9072736/38730541*e^14 - 83576819/38730541*e^13 - 139158731/38730541*e^12 + 871647289/38730541*e^11 + 3217412054/38730541*e^10 - 679299343/38730541*e^9 - 15467216707/38730541*e^8 - 11115494034/38730541*e^7 + 28784435154/38730541*e^6 + 31730528033/38730541*e^5 - 20897811382/38730541*e^4 - 26648115949/38730541*e^3 + 3945512212/38730541*e^2 + 3579074880/38730541*e - 206380044/38730541, -27873169/38730541*e^14 - 200275898/38730541*e^13 + 66411448/38730541*e^12 + 3279925199/38730541*e^11 + 4118636740/38730541*e^10 - 18510170550/38730541*e^9 - 34077266692/38730541*e^8 + 47282054151/38730541*e^7 + 106490014827/38730541*e^6 - 55583978454/38730541*e^5 - 148010230990/38730541*e^4 + 23913290630/38730541*e^3 + 77362401034/38730541*e^2 + 543198927/38730541*e - 1795146123/38730541, -6178566/38730541*e^14 - 21519845/38730541*e^13 + 222158900/38730541*e^12 + 1003821733/38730541*e^11 - 1608906007/38730541*e^10 - 11865760510/38730541*e^9 - 1709777004/38730541*e^8 + 53132771774/38730541*e^7 + 39973762421/38730541*e^6 - 99396919556/38730541*e^5 - 104199919023/38730541*e^4 + 62861507111/38730541*e^3 + 81070365831/38730541*e^2 + 4602250627/38730541*e - 2653601966/38730541, -8256924/38730541*e^14 - 77500508/38730541*e^13 - 128255575/38730541*e^12 + 837235161/38730541*e^11 + 3029585580/38730541*e^10 - 784175193/38730541*e^9 - 14703114025/38730541*e^8 - 11508796807/38730541*e^7 + 24003143945/38730541*e^6 + 34344297616/38730541*e^5 - 4722011889/38730541*e^4 - 26274684141/38730541*e^3 - 12212313168/38730541*e^2 - 1232776536/38730541*e + 486936134/38730541, 45981647/38730541*e^14 + 361981235/38730541*e^13 + 132867519/38730541*e^12 - 5324252718/38730541*e^11 - 10121394596/38730541*e^10 + 24393236272/38730541*e^9 + 69365223142/38730541*e^8 - 41679069016/38730541*e^7 - 191535311857/38730541*e^6 + 12716590440/38730541*e^5 + 237984445652/38730541*e^4 + 24349489732/38730541*e^3 - 111576044820/38730541*e^2 - 10815493939/38730541*e + 2696745373/38730541, 659023/38730541*e^14 - 11479652/38730541*e^13 - 138422777/38730541*e^12 - 203929424/38730541*e^11 + 1655264081/38730541*e^10 + 4828306935/38730541*e^9 - 4650385236/38730541*e^8 - 25818550024/38730541*e^7 - 3727341443/38730541*e^6 + 54303368825/38730541*e^5 + 28778026429/38730541*e^4 - 43626441086/38730541*e^3 - 27721246398/38730541*e^2 + 7751108721/38730541*e + 808572880/38730541, -19181178/38730541*e^14 - 98642636/38730541*e^13 + 388184001/38730541*e^12 + 2675262922/38730541*e^11 - 1230644244/38730541*e^10 - 24577503266/38730541*e^9 - 14033375353/38730541*e^8 + 94364424148/38730541*e^7 + 92165700327/38730541*e^6 - 160251401673/38730541*e^5 - 186234742485/38730541*e^4 + 101053622312/38730541*e^3 + 125451357694/38730541*e^2 - 2206782343/38730541*e - 3246340760/38730541, -14576144/38730541*e^14 - 107291265/38730541*e^13 - 374291/38730541*e^12 + 1628016379/38730541*e^11 + 2567429465/38730541*e^10 - 7977349362/38730541*e^9 - 18836219475/38730541*e^8 + 15727233020/38730541*e^7 + 54704751643/38730541*e^6 - 8305042562/38730541*e^5 - 71974893474/38730541*e^4 - 9365072461/38730541*e^3 + 35950250580/38730541*e^2 + 8681735842/38730541*e - 668668497/38730541, -16454996/38730541*e^14 - 143546615/38730541*e^13 - 143120181/38730541*e^12 + 1910330337/38730541*e^11 + 4871101095/38730541*e^10 - 6887851908/38730541*e^9 - 29273340067/38730541*e^8 + 4945747362/38730541*e^7 + 72728521080/38730541*e^6 + 13541290395/38730541*e^5 - 80959425802/38730541*e^4 - 19787727586/38730541*e^3 + 32582453243/38730541*e^2 + 4649330781/38730541*e + 368794/38730541, -29339533/38730541*e^14 - 256911534/38730541*e^13 - 319436519/38730541*e^12 + 3041581678/38730541*e^11 + 8978216369/38730541*e^10 - 7041097413/38730541*e^9 - 47262863437/38730541*e^8 - 13417565242/38730541*e^7 + 96713407698/38730541*e^6 + 58695943607/38730541*e^5 - 77935215525/38730541*e^4 - 44819877933/38730541*e^3 + 16558632571/38730541*e^2 - 5209369039/38730541*e - 1248193420/38730541, -31320676/38730541*e^14 - 205040063/38730541*e^13 + 265486610/38730541*e^12 + 4025233873/38730541*e^11 + 2604142036/38730541*e^10 - 28561484725/38730541*e^9 - 36607397116/38730541*e^8 + 91421553630/38730541*e^7 + 146995490087/38730541*e^6 - 132936828960/38730541*e^5 - 246338858421/38730541*e^4 + 66291979566/38730541*e^3 + 151237350153/38730541*e^2 + 9237723060/38730541*e - 4593570124/38730541, 14798755/38730541*e^14 + 100297829/38730541*e^13 - 129455337/38730541*e^12 - 2097328782/38730541*e^11 - 1516555246/38730541*e^10 + 15829909272/38730541*e^9 + 22258859890/38730541*e^8 - 53104263687/38730541*e^7 - 94459666439/38730541*e^6 + 79998339623/38730541*e^5 + 165957466174/38730541*e^4 - 41552857680/38730541*e^3 - 104415253325/38730541*e^2 - 4663814391/38730541*e + 1479804837/38730541, -16699288/38730541*e^14 - 103131581/38730541*e^13 + 158545970/38730541*e^12 + 1981775299/38730541*e^11 + 900174733/38730541*e^10 - 13865678917/38730541*e^9 - 15025399820/38730541*e^8 + 44755762651/38730541*e^7 + 62157026473/38730541*e^6 - 67721738074/38730541*e^5 - 107332320926/38730541*e^4 + 38683131484/38730541*e^3 + 69040193310/38730541*e^2 + 354998210/38730541*e - 2769180211/38730541, -3773769/38730541*e^14 - 23533636/38730541*e^13 + 62882816/38730541*e^12 + 648877224/38730541*e^11 + 206798646/38730541*e^10 - 5944138912/38730541*e^9 - 7550730717/38730541*e^8 + 22134718443/38730541*e^7 + 39307022766/38730541*e^6 - 34604499399/38730541*e^5 - 77548826244/38730541*e^4 + 16491909095/38730541*e^3 + 52420783550/38730541*e^2 + 4185453535/38730541*e - 792694520/38730541, -4231936/38730541*e^14 - 25085463/38730541*e^13 + 50326670/38730541*e^12 + 493653779/38730541*e^11 - 47514794/38730541*e^10 - 3864235679/38730541*e^9 - 1645687683/38730541*e^8 + 15655313759/38730541*e^7 + 10591690549/38730541*e^6 - 30676451808/38730541*e^5 - 25223750414/38730541*e^4 + 21889980323/38730541*e^3 + 21554633511/38730541*e^2 + 525340852/38730541*e - 2132611500/38730541, -390440/38730541*e^14 - 14659227/38730541*e^13 - 55037482/38730541*e^12 + 222984860/38730541*e^11 + 1117901842/38730541*e^10 - 970759066/38730541*e^9 - 7646105124/38730541*e^8 + 764268855/38730541*e^7 + 23006386559/38730541*e^6 + 1853412247/38730541*e^5 - 30507893667/38730541*e^4 + 875101321/38730541*e^3 + 13466710100/38730541*e^2 - 4666455977/38730541*e + 760829913/38730541, -1005049/38730541*e^14 - 18833644/38730541*e^13 - 65647942/38730541*e^12 + 242325575/38730541*e^11 + 1453072639/38730541*e^10 - 218006575/38730541*e^9 - 9636717500/38730541*e^8 - 6830282946/38730541*e^7 + 24568170517/38730541*e^6 + 24508270132/38730541*e^5 - 22143685034/38730541*e^4 - 22919499224/38730541*e^3 + 1439205842/38730541*e^2 + 1583788798/38730541*e + 1738919503/38730541, 36201528/38730541*e^14 + 263519058/38730541*e^13 - 47550339/38730541*e^12 - 4133422299/38730541*e^11 - 5555595911/38730541*e^10 + 21985256101/38730541*e^9 + 41928722769/38730541*e^8 - 53465012174/38730541*e^7 - 122858384127/38730541*e^6 + 60437219550/38730541*e^5 + 162581559266/38730541*e^4 - 22136519892/38730541*e^3 - 81802291684/38730541*e^2 - 5057175686/38730541*e + 1227294132/38730541, 12709699/38730541*e^14 + 98022202/38730541*e^13 + 24781257/38730541*e^12 - 1426894438/38730541*e^11 - 2413262821/38730541*e^10 + 6815598154/38730541*e^9 + 15770632326/38730541*e^8 - 15756228321/38730541*e^7 - 43017804978/38730541*e^6 + 20876962802/38730541*e^5 + 56093310815/38730541*e^4 - 16449437749/38730541*e^3 - 29436626137/38730541*e^2 + 6873160682/38730541*e + 910801425/38730541, 45865850/38730541*e^14 + 302382654/38730541*e^13 - 330398881/38730541*e^12 - 5595538850/38730541*e^11 - 4054535551/38730541*e^10 + 37484989986/38730541*e^9 + 49038499826/38730541*e^8 - 115989287542/38730541*e^7 - 186765121964/38730541*e^6 + 165324420450/38730541*e^5 + 304863569019/38730541*e^4 - 79059351462/38730541*e^3 - 183777774601/38730541*e^2 - 14322579216/38730541*e + 4180010490/38730541, 9794594/38730541*e^14 + 48474115/38730541*e^13 - 196545306/38730541*e^12 - 1276143699/38730541*e^11 + 709938020/38730541*e^10 + 11453021446/38730541*e^9 + 5767066747/38730541*e^8 - 42628773635/38730541*e^7 - 40534197238/38730541*e^6 + 66800106729/38730541*e^5 + 82727396234/38730541*e^4 - 30070866603/38730541*e^3 - 55705488601/38730541*e^2 - 11057291134/38730541*e + 1286744489/38730541, 17506699/38730541*e^14 + 113317361/38730541*e^13 - 160385297/38730541*e^12 - 2273387085/38730541*e^11 - 1280046830/38730541*e^10 + 16876905396/38730541*e^9 + 20437990318/38730541*e^8 - 58469322035/38730541*e^7 - 90306071611/38730541*e^6 + 94573024928/38730541*e^5 + 167051955110/38730541*e^4 - 56898693212/38730541*e^3 - 112265489788/38730541*e^2 - 607339138/38730541*e + 3880261062/38730541, 6430159/38730541*e^14 + 73974821/38730541*e^13 + 192840041/38730541*e^12 - 688970550/38730541*e^11 - 3778814124/38730541*e^10 - 1137267907/38730541*e^9 + 18180530735/38730541*e^8 + 21612085153/38730541*e^7 - 29365997256/38730541*e^6 - 55072663978/38730541*e^5 + 3238494828/38730541*e^4 + 36792985149/38730541*e^3 + 18520409074/38730541*e^2 + 7297033100/38730541*e - 142995297/38730541, 23220920/38730541*e^14 + 164531263/38730541*e^13 - 72497589/38730541*e^12 - 2726603880/38730541*e^11 - 3084649541/38730541*e^10 + 16136280097/38730541*e^9 + 26691982357/38730541*e^8 - 46501034684/38730541*e^7 - 90637239321/38730541*e^6 + 65505535364/38730541*e^5 + 142955524522/38730541*e^4 - 32404017883/38730541*e^3 - 86387068576/38730541*e^2 - 5425149488/38730541*e + 1601846865/38730541, 35828993/38730541*e^14 + 265116452/38730541*e^13 + 362334/38730541*e^12 - 3975429949/38730541*e^11 - 5952652244/38730541*e^10 + 19459435527/38730541*e^9 + 41139322966/38730541*e^8 - 41711844484/38730541*e^7 - 110646833494/38730541*e^6 + 39137419227/38730541*e^5 + 131669520731/38730541*e^4 - 10456410198/38730541*e^3 - 57825637535/38730541*e^2 - 2582074429/38730541*e + 1752383557/38730541, 1502917/38730541*e^14 + 24242211/38730541*e^13 + 127089893/38730541*e^12 + 77530234/38730541*e^11 - 1497167161/38730541*e^10 - 4315620160/38730541*e^9 + 1818661824/38730541*e^8 + 21502444565/38730541*e^7 + 14919956792/38730541*e^6 - 37421490329/38730541*e^5 - 43093150344/38730541*e^4 + 20650064169/38730541*e^3 + 32714334147/38730541*e^2 + 1587659298/38730541*e - 1695138547/38730541, -5016594/38730541*e^14 - 34055002/38730541*e^13 + 29777874/38730541*e^12 + 634948457/38730541*e^11 + 674223775/38730541*e^10 - 3938207024/38730541*e^9 - 7263481476/38730541*e^8 + 9117947599/38730541*e^7 + 23828946048/38730541*e^6 - 6466856329/38730541*e^5 - 30090195793/38730541*e^4 - 58406121/38730541*e^3 + 12016087369/38730541*e^2 - 1785384664/38730541*e + 653326282/38730541, -42882205/38730541*e^14 - 311317060/38730541*e^13 + 99433768/38730541*e^12 + 5213205582/38730541*e^11 + 6774897895/38730541*e^10 - 30202306990/38730541*e^9 - 58485697995/38730541*e^8 + 77779049396/38730541*e^7 + 191725510727/38730541*e^6 - 86322751436/38730541*e^5 - 280989903629/38730541*e^4 + 22400686785/38730541*e^3 + 156054646322/38730541*e^2 + 15668050118/38730541*e - 4189784326/38730541, 22155776/38730541*e^14 + 186896134/38730541*e^13 + 180990879/38730541*e^12 - 2377120836/38730541*e^11 - 6128005181/38730541*e^10 + 7456091034/38730541*e^9 + 34910808727/38730541*e^8 - 504096871/38730541*e^7 - 80128319091/38730541*e^6 - 24238859867/38730541*e^5 + 80642835605/38730541*e^4 + 20541794771/38730541*e^3 - 30031248128/38730541*e^2 + 3528575837/38730541*e + 988908953/38730541, 27968935/38730541*e^14 + 205922670/38730541*e^13 - 41791217/38730541*e^12 - 3387133263/38730541*e^11 - 4744013068/38730541*e^10 + 18983488287/38730541*e^9 + 39357332004/38730541*e^8 - 46149704452/38730541*e^7 - 125098263238/38730541*e^6 + 46199182048/38730541*e^5 + 177483968018/38730541*e^4 - 8620649904/38730541*e^3 - 96067039042/38730541*e^2 - 7619456331/38730541*e + 4003956790/38730541, -43864154/38730541*e^14 - 314001090/38730541*e^13 + 85208240/38730541*e^12 + 4990876308/38730541*e^11 + 6464158786/38730541*e^10 - 26965547283/38730541*e^9 - 50707635503/38730541*e^8 + 65944994446/38730541*e^7 + 151982059784/38730541*e^6 - 74662090178/38730541*e^5 - 205073620375/38730541*e^4 + 29354191976/38730541*e^3 + 105774326265/38730541*e^2 + 4290061593/38730541*e - 1424797193/38730541]; 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;