/* 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![-28, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, -w + 6], [2, 2, w + 5], [7, 7, 6*w - 35], [7, 7, -6*w - 29], [9, 3, 3], [11, 11, 4*w + 19], [11, 11, 4*w - 23], [13, 13, -2*w + 11], [13, 13, 2*w + 9], [25, 5, -5], [31, 31, 2*w - 13], [31, 31, -2*w - 11], [41, 41, -8*w - 39], [41, 41, 8*w - 47], [53, 53, -26*w - 125], [53, 53, 26*w - 151], [61, 61, -14*w + 81], [61, 61, -14*w - 67], [83, 83, 2*w - 15], [83, 83, -2*w - 13], [97, 97, 2*w - 5], [97, 97, -2*w - 3], [109, 109, 2*w - 3], [109, 109, -2*w - 1], [113, 113, 2*w - 1], [127, 127, 8*w - 45], [127, 127, 8*w + 37], [131, 131, -50*w + 291], [131, 131, 50*w + 241], [139, 139, 6*w - 37], [139, 139, -6*w - 31], [149, 149, 20*w + 97], [149, 149, 20*w - 117], [157, 157, -12*w - 59], [157, 157, 12*w - 71], [163, 163, 4*w - 19], [163, 163, 4*w + 15], [173, 173, 4*w + 23], [173, 173, 4*w - 27], [211, 211, 2*w - 19], [211, 211, -2*w - 17], [227, 227, -4*w - 13], [227, 227, 4*w - 17], [233, 233, 6*w + 25], [233, 233, -6*w + 31], [239, 239, -14*w - 69], [239, 239, 14*w - 83], [241, 241, 46*w + 221], [241, 241, -46*w + 267], [251, 251, 22*w - 129], [251, 251, 22*w + 107], [257, 257, -34*w + 197], [257, 257, -34*w - 163], [277, 277, 4*w - 29], [277, 277, -4*w - 25], [283, 283, 4*w - 15], [283, 283, -4*w - 11], [289, 17, -17], [307, 307, 68*w - 395], [307, 307, 68*w + 327], [311, 311, 10*w - 61], [311, 311, -10*w - 51], [313, 313, -32*w - 155], [313, 313, 32*w - 187], [317, 317, -18*w - 85], [317, 317, 18*w - 103], [331, 331, -4*w - 9], [331, 331, 4*w - 13], [337, 337, -16*w - 79], [337, 337, 16*w - 95], [347, 347, -12*w + 67], [347, 347, 12*w + 55], [353, 353, 14*w - 79], [353, 353, 14*w + 65], [361, 19, -19], [367, 367, -32*w - 153], [367, 367, -32*w + 185], [383, 383, 56*w + 269], [383, 383, 56*w - 325], [389, 389, -4*w - 27], [389, 389, 4*w - 31], [401, 401, 8*w - 51], [401, 401, -8*w - 43], [421, 421, 12*w - 73], [421, 421, -12*w - 61], [439, 439, -8*w - 33], [439, 439, 8*w - 41], [443, 443, -4*w - 1], [443, 443, 4*w - 5], [461, 461, -30*w + 173], [461, 461, 30*w + 143], [463, 463, 2*w - 25], [463, 463, -2*w - 23], [467, 467, 34*w + 165], [467, 467, 34*w - 199], [503, 503, -26*w - 127], [503, 503, 26*w - 153], [509, 509, 4*w - 33], [509, 509, -4*w - 29], [521, 521, -10*w + 53], [521, 521, 10*w + 43], [529, 23, -23], [547, 547, 14*w - 85], [547, 547, -14*w - 71], [557, 557, 66*w + 317], [557, 557, 66*w - 383], [563, 563, 2*w - 27], [563, 563, -2*w - 25], [569, 569, -64*w + 373], [569, 569, 64*w + 309], [587, 587, 12*w + 53], [587, 587, -12*w + 65], [593, 593, 8*w + 45], [593, 593, 8*w - 53], [601, 601, -26*w - 123], [601, 601, 26*w - 149], [617, 617, 6*w - 23], [617, 617, -6*w - 17], [647, 647, 24*w - 137], [647, 647, -24*w - 113], [653, 653, 28*w - 165], [653, 653, -28*w - 137], [677, 677, -22*w - 103], [677, 677, 22*w - 125], [691, 691, 20*w - 113], [691, 691, 20*w + 93], [709, 709, -10*w - 41], [709, 709, 10*w - 51], [719, 719, -8*w + 37], [719, 719, -8*w - 29], [727, 727, -22*w - 109], [727, 727, 22*w - 131], [739, 739, 46*w - 269], [739, 739, -46*w - 223], [761, 761, -6*w - 13], [761, 761, 6*w - 19], [769, 769, 110*w - 639], [769, 769, 110*w + 529], [773, 773, 4*w - 37], [773, 773, -4*w - 33], [787, 787, 2*w - 31], [787, 787, -2*w - 29], [809, 809, 56*w + 271], [809, 809, -56*w + 327], [821, 821, 6*w - 17], [821, 821, -6*w - 11], [823, 823, 38*w - 223], [823, 823, -38*w - 185], [827, 827, 132*w - 767], [827, 827, 132*w + 635], [841, 29, -29], [853, 853, -76*w + 443], [853, 853, 76*w + 367], [863, 863, 14*w - 87], [863, 863, -14*w - 73], [911, 911, 2*w - 33], [911, 911, -2*w - 31], [919, 919, -6*w - 41], [919, 919, 6*w - 47], [929, 929, 50*w + 239], [929, 929, 50*w - 289], [953, 953, 6*w - 11], [953, 953, -6*w - 5], [967, 967, -8*w - 25], [967, 967, 8*w - 33], [991, 991, 16*w + 71], [991, 991, -16*w + 87]]; primes := [ideal : I in primesArray]; heckePol := x^16 - 2*x^15 - 21*x^14 + 38*x^13 + 178*x^12 - 280*x^11 - 781*x^10 + 1012*x^9 + 1884*x^8 - 1880*x^7 - 2438*x^6 + 1731*x^5 + 1543*x^4 - 679*x^3 - 368*x^2 + 65*x + 11; K := NumberField(heckePol); heckeEigenvaluesArray := [-25/6212*e^15 - 45/12424*e^14 + 3249/12424*e^13 - 2883/12424*e^12 - 22685/6212*e^11 + 50151/12424*e^10 + 260119/12424*e^9 - 277285/12424*e^8 - 86181/1553*e^7 + 628165/12424*e^6 + 816877/12424*e^5 - 144597/3106*e^4 - 47237/1553*e^3 + 211201/12424*e^2 + 14703/6212*e - 21713/12424, e, -187/3106*e^15 - 13/3106*e^14 + 5287/3106*e^13 - 1247/3106*e^12 - 55383/3106*e^11 + 20493/3106*e^10 + 275517/3106*e^9 - 109439/3106*e^8 - 679465/3106*e^7 + 234617/3106*e^6 + 392581/1553*e^5 - 187693/3106*e^4 - 368659/3106*e^3 + 37339/3106*e^2 + 21227/1553*e + 1941/3106, -1715/6212*e^15 + 5445/6212*e^14 + 29287/6212*e^13 - 49987/3106*e^12 - 183339/6212*e^11 + 705915/6212*e^10 + 498765/6212*e^9 - 602834/1553*e^8 - 477617/6212*e^7 + 4108199/6212*e^6 - 98555/3106*e^5 - 1597759/3106*e^4 + 441489/6212*e^3 + 440699/3106*e^2 - 90277/6212*e - 18061/3106, -515/1553*e^15 + 5911/6212*e^14 + 36641/6212*e^13 - 109151/6212*e^12 - 60425/1553*e^11 + 771951/6212*e^10 + 702227/6212*e^9 - 2613973/6212*e^8 - 361361/3106*e^7 + 4310781/6212*e^6 - 355057/6212*e^5 - 1539821/3106*e^4 + 415493/3106*e^3 + 688933/6212*e^2 - 96503/3106*e - 24585/6212, -1, 1815/6212*e^15 - 12263/12424*e^14 - 63805/12424*e^13 + 228563/12424*e^12 + 211959/6212*e^11 - 1638835/12424*e^10 - 1325179/12424*e^9 + 5672461/12424*e^8 + 491087/3106*e^7 - 9721161/12424*e^6 - 1178965/12424*e^5 + 1868653/3106*e^4 + 50771/3106*e^3 - 1888561/12424*e^2 - 15125/6212*e + 36409/12424, -1875/6212*e^15 + 12155/12424*e^14 + 66633/12424*e^13 - 231755/12424*e^12 - 216707/6212*e^11 + 1702047/12424*e^10 + 1186631/12424*e^9 - 6021133/12424*e^8 - 209633/3106*e^7 + 10446045/12424*e^6 - 1646255/12424*e^5 - 998667/1553*e^4 + 541233/3106*e^3 + 2058753/12424*e^2 - 186265/6212*e - 97217/12424, 773/6212*e^15 - 2255/6212*e^14 - 14231/6212*e^13 + 10343/1553*e^12 + 101341/6212*e^11 - 289525/6212*e^10 - 352353/6212*e^9 + 483489/3106*e^8 + 619715/6212*e^7 - 1585669/6212*e^6 - 129990/1553*e^5 + 299593/1553*e^4 + 227059/6212*e^3 - 175233/3106*e^2 - 63385/6212*e + 6791/1553, 2085/6212*e^15 - 1278/1553*e^14 - 19521/3106*e^13 + 89627/6212*e^12 + 289233/6212*e^11 - 295627/3106*e^10 - 546207/3106*e^9 + 1826251/6212*e^8 + 2246173/6212*e^7 - 673427/1553*e^6 - 2406953/6212*e^5 + 432217/1553*e^4 + 1145465/6212*e^3 - 312327/6212*e^2 - 157145/6212*e - 15031/6212, 693/6212*e^15 - 970/1553*e^14 - 4361/3106*e^13 + 71857/6212*e^12 + 22537/6212*e^11 - 256991/3106*e^10 + 55369/3106*e^9 + 1789017/6212*e^8 - 645535/6212*e^7 - 781493/1553*e^6 + 1024031/6212*e^5 + 1251219/3106*e^4 - 450255/6212*e^3 - 724129/6212*e^2 - 80319/6212*e + 55475/6212, 501/3106*e^15 - 784/1553*e^14 - 8235/3106*e^13 + 14273/1553*e^12 + 46479/3106*e^11 - 99575/1553*e^10 - 85159/3106*e^9 + 334012/1553*e^8 - 110235/3106*e^7 - 551966/1553*e^6 + 280834/1553*e^5 + 805783/3106*e^4 - 289203/1553*e^3 - 182221/3106*e^2 + 160443/3106*e + 1299/1553, -2039/6212*e^15 + 1366/1553*e^14 + 19859/3106*e^13 - 108903/6212*e^12 - 292219/6212*e^11 + 419813/3106*e^10 + 489573/3106*e^9 - 3126323/6212*e^8 - 1327247/6212*e^7 + 1425263/1553*e^6 + 68695/6212*e^5 - 2271205/3106*e^4 + 867885/6212*e^3 + 1173503/6212*e^2 - 258407/6212*e - 32269/6212, 3005/6212*e^15 - 19439/12424*e^14 - 96081/12424*e^13 + 341567/12424*e^12 + 266785/6212*e^11 - 2266163/12424*e^10 - 1079711/12424*e^9 + 7065321/12424*e^8 - 23470/1553*e^7 - 10453369/12424*e^6 + 3030955/12424*e^5 + 1572883/3106*e^4 - 649847/3106*e^3 - 770689/12424*e^2 + 154071/6212*e - 66227/12424, 2993/3106*e^15 - 9575/3106*e^14 - 26286/1553*e^13 + 89037/1553*e^12 + 342243/3106*e^11 - 1269481/3106*e^10 - 491868/1553*e^9 + 2168129/1553*e^8 + 1024735/3106*e^7 - 7224811/3106*e^6 + 381135/3106*e^5 + 2630209/1553*e^4 - 468705/1553*e^3 - 1236297/3106*e^2 + 70097/1553*e + 23188/1553, -631/3106*e^15 + 7357/12424*e^14 + 41571/12424*e^13 - 126463/12424*e^12 - 61943/3106*e^11 + 815309/12424*e^10 + 625989/12424*e^9 - 2451413/12424*e^8 - 242819/6212*e^7 + 3480267/12424*e^6 - 566647/12424*e^5 - 502521/3106*e^4 + 594733/6212*e^3 + 211041/12424*e^2 - 71656/1553*e + 33083/12424, 3063/6212*e^15 - 11065/6212*e^14 - 49045/6212*e^13 + 103945/3106*e^12 + 259779/6212*e^11 - 1507727/6212*e^10 - 358331/6212*e^9 + 1322049/1553*e^8 - 1104235/6212*e^7 - 9112139/6212*e^6 + 918840/1553*e^5 + 3374877/3106*e^4 - 3001555/6212*e^3 - 370260/1553*e^2 + 508707/6212*e + 23323/3106, -4535/6212*e^15 + 6889/3106*e^14 + 39331/3106*e^13 - 247977/6212*e^12 - 505887/6212*e^11 + 423221/1553*e^10 + 720323/3106*e^9 - 5456933/6212*e^8 - 1487299/6212*e^7 + 4204963/3106*e^6 - 663377/6212*e^5 - 2742945/3106*e^4 + 1669639/6212*e^3 + 999963/6212*e^2 - 402225/6212*e + 11793/6212, 4993/6212*e^15 - 26421/12424*e^14 - 183363/12424*e^13 + 476525/12424*e^12 + 650633/6212*e^11 - 3269553/12424*e^10 - 4509053/12424*e^9 + 10664763/12424*e^8 + 1979049/3106*e^7 - 16915459/12424*e^6 - 6544515/12424*e^5 + 1488772/1553*e^4 + 291849/1553*e^3 - 2846307/12424*e^2 - 223827/6212*e + 163423/12424, 5731/6212*e^15 - 15497/6212*e^14 - 103017/6212*e^13 + 138187/3106*e^12 + 707791/6212*e^11 - 1868075/6212*e^10 - 2324783/6212*e^9 + 1492149/1553*e^8 + 3683965/6212*e^7 - 9175055/6212*e^6 - 582556/1553*e^5 + 3035119/3106*e^4 + 211173/6212*e^3 - 290125/1553*e^2 + 43351/6212*e - 6585/3106, 190/1553*e^15 - 3975/6212*e^14 - 11181/6212*e^13 + 74571/6212*e^12 + 12447/1553*e^11 - 533383/6212*e^10 - 11363/6212*e^9 + 1806029/6212*e^8 - 227687/3106*e^7 - 2909033/6212*e^6 + 1109789/6212*e^5 + 975111/3106*e^4 - 408237/3106*e^3 - 387833/6212*e^2 + 84319/3106*e + 53293/6212, 1189/1553*e^15 - 10939/6212*e^14 - 94793/6212*e^13 + 206955/6212*e^12 + 185613/1553*e^11 - 1505895/6212*e^10 - 2887523/6212*e^9 + 5280329/6212*e^8 + 2891853/3106*e^7 - 9156489/6212*e^6 - 5628039/6212*e^5 + 3624919/3106*e^4 + 1245495/3106*e^3 - 2080789/6212*e^2 - 230507/3106*e + 70481/6212, -673/1553*e^15 + 7827/6212*e^14 + 44909/6212*e^13 - 128447/6212*e^12 - 72721/1553*e^11 + 773975/6212*e^10 + 985511/6212*e^9 - 2123297/6212*e^8 - 1033217/3106*e^7 + 2809789/6212*e^6 + 2724343/6212*e^5 - 1016545/3106*e^4 - 860489/3106*e^3 + 825757/6212*e^2 + 110091/3106*e - 60745/6212, -1053/3106*e^15 + 21989/12424*e^14 + 54847/12424*e^13 - 404935/12424*e^12 - 38601/3106*e^11 + 2859509/12424*e^10 - 700063/12424*e^9 - 9689293/12424*e^8 + 2329373/6212*e^7 + 16013923/12424*e^6 - 8713843/12424*e^5 - 2818187/3106*e^4 + 2785551/6212*e^3 + 1995885/12424*e^2 - 143419/3106*e + 115315/12424, -5891/6212*e^15 + 5003/1553*e^14 + 50029/3106*e^13 - 369151/6212*e^12 - 623131/6212*e^11 + 1306709/3106*e^10 + 846653/3106*e^9 - 8898103/6212*e^8 - 1676599/6212*e^7 + 3722272/1553*e^6 - 394673/6212*e^5 - 5483101/3106*e^4 + 984225/6212*e^3 + 2539231/6212*e^2 - 27523/6212*e - 18729/6212, -3241/3106*e^15 + 9973/3106*e^14 + 55207/3106*e^13 - 89540/1553*e^12 - 343025/3106*e^11 + 1219557/3106*e^10 + 902503/3106*e^9 - 1960336/1553*e^8 - 659177/3106*e^7 + 6015715/3106*e^6 - 540523/1553*e^5 - 1930665/1553*e^4 + 1625061/3106*e^3 + 324024/1553*e^2 - 415079/3106*e + 6950/1553, -259/1553*e^15 + 5279/12424*e^14 + 37545/12424*e^13 - 96425/12424*e^12 - 31263/1553*e^11 + 659623/12424*e^10 + 712599/12424*e^9 - 2039443/12424*e^8 - 313767/6212*e^7 + 2565017/12424*e^6 - 522657/12424*e^5 - 88277/3106*e^4 + 270505/6212*e^3 - 866305/12424*e^2 + 44177/3106*e + 148861/12424, 675/6212*e^15 + 7427/12424*e^14 - 50451/12424*e^13 - 133367/12424*e^12 + 301895/6212*e^11 + 938151/12424*e^10 - 3221469/12424*e^9 - 3334609/12424*e^8 + 1019261/1553*e^7 + 6390453/12424*e^6 - 9097447/12424*e^5 - 768020/1553*e^4 + 868899/3106*e^3 + 2304841/12424*e^2 - 18049/6212*e - 47373/12424, 3359/6212*e^15 - 8935/6212*e^14 - 66167/6212*e^13 + 44157/1553*e^12 + 496067/6212*e^11 - 1340833/6212*e^10 - 1720945/6212*e^9 + 2424041/3106*e^8 + 2544445/6212*e^7 - 8340221/6212*e^6 - 323037/3106*e^5 + 2909351/3106*e^4 - 1089671/6212*e^3 - 462885/3106*e^2 + 408919/6212*e - 20777/1553, 1037/1553*e^15 - 10865/6212*e^14 - 72803/6212*e^13 + 190161/6212*e^12 + 118505/1553*e^11 - 1245049/6212*e^10 - 1360841/6212*e^9 + 3755371/6212*e^8 + 680519/3106*e^7 - 5156371/6212*e^6 + 889455/6212*e^5 + 1325375/3106*e^4 - 1001547/3106*e^3 - 209447/6212*e^2 + 289693/3106*e + 7347/6212, 5145/6212*e^15 - 13229/6212*e^14 - 97179/6212*e^13 + 125113/3106*e^12 + 692893/6212*e^11 - 1810251/6212*e^10 - 2251053/6212*e^9 + 1553810/1553*e^8 + 2961003/6212*e^7 - 10103807/6212*e^6 - 34645/1553*e^5 + 1631786/1553*e^4 - 1796579/6212*e^3 - 412039/3106*e^2 + 497569/6212*e - 29679/3106, -7795/6212*e^15 + 21715/6212*e^14 + 140477/6212*e^13 - 196077/3106*e^12 - 966787/6212*e^11 + 2696281/6212*e^10 + 3170755/6212*e^9 - 2206863/1553*e^8 - 4978557/6212*e^7 + 14108525/6212*e^6 + 777354/1553*e^5 - 2532112/1553*e^4 - 487331/6212*e^3 + 1280757/3106*e^2 + 166421/6212*e - 44873/3106, -537/3106*e^15 + 4003/6212*e^14 + 14129/6212*e^13 - 63045/6212*e^12 - 25101/3106*e^11 + 350191/6212*e^10 - 39225/6212*e^9 - 788319/6212*e^8 + 130344/1553*e^7 + 524813/6212*e^6 - 984375/6212*e^5 + 133733/3106*e^4 + 206770/1553*e^3 - 274845/6212*e^2 - 80848/1553*e + 43113/6212, 2236/1553*e^15 - 54407/12424*e^14 - 303429/12424*e^13 + 978061/12424*e^12 + 233989/1553*e^11 - 6693767/12424*e^10 - 4872323/12424*e^9 + 21805863/12424*e^8 + 1785895/6212*e^7 - 34490121/12424*e^6 + 5161101/12424*e^5 + 2950810/1553*e^4 - 3683359/6212*e^3 - 4713087/12424*e^2 + 376349/3106*e - 1/12424, 853/3106*e^15 - 2813/6212*e^14 - 34821/6212*e^13 + 48175/6212*e^12 + 142873/3106*e^11 - 305625/6212*e^10 - 1206919/6212*e^9 + 878465/6212*e^8 + 691673/1553*e^7 - 1114159/6212*e^6 - 3287729/6212*e^5 + 243731/3106*e^4 + 895055/3106*e^3 + 19993/6212*e^2 - 183115/3106*e - 22483/6212, 1667/3106*e^15 - 14809/12424*e^14 - 132191/12424*e^13 + 285147/12424*e^12 + 252221/3106*e^11 - 2119025/12424*e^10 - 3663201/12424*e^9 + 7608081/12424*e^8 + 3103567/6212*e^7 - 13483615/12424*e^6 - 3789373/12424*e^5 + 2685551/3106*e^4 + 10371/6212*e^3 - 2997661/12424*e^2 + 8843/1553*e + 175473/12424, -2207/6212*e^15 - 1831/6212*e^14 + 60139/6212*e^13 + 6056/1553*e^12 - 614871/6212*e^11 - 91577/6212*e^10 + 3017461/6212*e^9 + 2479/3106*e^8 - 7458333/6212*e^7 + 516003/6212*e^6 + 4460489/3106*e^5 - 184706/1553*e^4 - 4601903/6212*e^3 + 63852/1553*e^2 + 705853/6212*e - 9394/1553, -565/6212*e^15 - 1285/6212*e^14 + 15127/6212*e^13 + 9055/1553*e^12 - 171021/6212*e^11 - 374567/6212*e^10 + 1009121/6212*e^9 + 901445/3106*e^8 - 3160027/6212*e^7 - 4101195/6212*e^6 + 1211376/1553*e^5 + 963757/1553*e^4 - 2998939/6212*e^3 - 557023/3106*e^2 + 370181/6212*e + 16039/1553, -1385/6212*e^15 + 659/1553*e^14 + 6154/1553*e^13 - 39947/6212*e^12 - 175861/6212*e^11 + 107635/3106*e^10 + 171800/1553*e^9 - 512923/6212*e^8 - 1706905/6212*e^7 + 160631/1553*e^6 + 2674083/6212*e^5 - 158090/1553*e^4 - 2125935/6212*e^3 + 380757/6212*e^2 + 655519/6212*e - 38177/6212, -1723/6212*e^15 + 6059/6212*e^14 + 27819/6212*e^13 - 55063/3106*e^12 - 162023/6212*e^11 + 774941/6212*e^10 + 410429/6212*e^9 - 671697/1553*e^8 - 447289/6212*e^7 + 4850405/6212*e^6 + 136507/3106*e^5 - 1093262/1553*e^4 - 303661/6212*e^3 + 413325/1553*e^2 + 205895/6212*e - 38931/3106, 1265/3106*e^15 - 4297/3106*e^14 - 10894/1553*e^13 + 80239/3106*e^12 + 138411/3106*e^11 - 576027/3106*e^10 - 195454/1553*e^9 + 1990579/3106*e^8 + 450419/3106*e^7 - 3376171/3106*e^6 - 119711/3106*e^5 + 2510809/3106*e^4 + 26962/1553*e^3 - 289313/1553*e^2 - 110969/3106*e - 28843/3106, -7449/6212*e^15 + 19231/6212*e^14 + 134083/6212*e^13 - 167559/3106*e^12 - 933609/6212*e^11 + 2199589/6212*e^10 + 3198861/6212*e^9 - 1698973/1553*e^8 - 5662831/6212*e^7 + 10225349/6212*e^6 + 1203794/1553*e^5 - 3586611/3106*e^4 - 1595515/6212*e^3 + 484516/1553*e^2 + 155255/6212*e - 29785/3106, 4509/6212*e^15 - 6347/6212*e^14 - 95857/6212*e^13 + 57019/3106*e^12 + 812773/6212*e^11 - 772029/6212*e^10 - 3487287/6212*e^9 + 610079/1553*e^8 + 7900363/6212*e^7 - 3650397/6212*e^6 - 4478077/3106*e^5 + 1221203/3106*e^4 + 4440029/6212*e^3 - 364189/3106*e^2 - 630821/6212*e + 61387/3106, -573/6212*e^15 + 6423/12424*e^14 + 13341/12424*e^13 - 107823/12424*e^12 - 19253/6212*e^11 + 676355/12424*e^10 - 8053/12424*e^9 - 1997033/12424*e^8 - 10972/1553*e^7 + 2989825/12424*e^6 + 892393/12424*e^5 - 599395/3106*e^4 - 129627/1553*e^3 + 839205/12424*e^2 + 35835/6212*e - 49901/12424, 5209/3106*e^15 - 15035/3106*e^14 - 94753/3106*e^13 + 137767/1553*e^12 + 659029/3106*e^11 - 1927619/3106*e^10 - 2177989/3106*e^9 + 3218614/1553*e^8 + 3361321/3106*e^7 - 10500351/3106*e^6 - 851815/1553*e^5 + 3827182/1553*e^4 - 454001/3106*e^3 - 958939/1553*e^2 + 296181/3106*e + 45654/1553, -2083/1553*e^15 + 27599/6212*e^14 + 140553/6212*e^13 - 498997/6212*e^12 - 216912/1553*e^11 + 3434339/6212*e^10 + 2313299/6212*e^9 - 11233523/6212*e^8 - 1014813/3106*e^7 + 17771225/6212*e^6 - 1634109/6212*e^5 - 3030193/1553*e^4 + 1523093/3106*e^3 + 2435739/6212*e^2 - 201097/1553*e - 45671/6212, -7285/6212*e^15 + 23727/6212*e^14 + 123799/6212*e^13 - 107071/1553*e^12 - 777341/6212*e^11 + 2947885/6212*e^10 + 2170865/6212*e^9 - 4848419/3106*e^8 - 2346147/6212*e^7 + 15694533/6212*e^6 - 72678/1553*e^5 - 2894111/1553*e^4 + 1518517/6212*e^3 + 1540299/3106*e^2 - 313047/6212*e - 37031/1553, -1347/3106*e^15 + 15961/12424*e^14 + 93743/12424*e^13 - 294583/12424*e^12 - 151319/3106*e^11 + 2094953/12424*e^10 + 1770001/12424*e^9 - 7212333/12424*e^8 - 1137923/6212*e^7 + 12286543/12424*e^6 + 1075997/12424*e^5 - 1137648/1553*e^4 - 145387/6212*e^3 + 1851105/12424*e^2 + 36073/3106*e + 61083/12424, 593/6212*e^15 - 2417/6212*e^14 - 16201/6212*e^13 + 29163/3106*e^12 + 167853/6212*e^11 - 530155/6212*e^10 - 845927/6212*e^9 + 568351/1553*e^8 + 2190411/6212*e^7 - 4685231/6212*e^6 - 1416035/3106*e^5 + 1051572/1553*e^4 + 1635943/6212*e^3 - 305664/1553*e^2 - 229609/6212*e - 14941/3106, -7733/6212*e^15 + 5598/1553*e^14 + 34081/1553*e^13 - 405103/6212*e^12 - 894377/6212*e^11 + 1391653/3106*e^10 + 653628/1553*e^9 - 9040835/6212*e^8 - 2862357/6212*e^7 + 3509908/1553*e^6 - 757677/6212*e^5 - 2293425/1553*e^4 + 2317469/6212*e^3 + 1678549/6212*e^2 - 291713/6212*e - 20953/6212, -6377/3106*e^15 + 81715/12424*e^14 + 448841/12424*e^13 - 1516201/12424*e^12 - 736755/3106*e^11 + 10785379/12424*e^10 + 8725263/12424*e^9 - 36796523/12424*e^8 - 5176837/6212*e^7 + 61421461/12424*e^6 + 129507/12424*e^5 - 11273581/3106*e^4 + 2631097/6212*e^3 + 10569315/12424*e^2 - 172561/3106*e - 96835/12424, 5973/6212*e^15 - 22423/6212*e^14 - 91223/6212*e^13 + 197003/3106*e^12 + 477633/6212*e^11 - 2629073/6212*e^10 - 916761/6212*e^9 + 2094081/1553*e^8 + 101595/6212*e^7 - 13243149/6212*e^6 + 298664/1553*e^5 + 4862949/3106*e^4 - 557793/6212*e^3 - 645738/1553*e^2 - 174015/6212*e + 50899/3106, 975/3106*e^15 - 726/1553*e^14 - 19095/3106*e^13 + 12191/1553*e^12 + 148593/3106*e^11 - 77039/1553*e^10 - 594245/3106*e^9 + 231541/1553*e^8 + 1329283/3106*e^7 - 350943/1553*e^6 - 835116/1553*e^5 + 530253/3106*e^4 + 507048/1553*e^3 - 213401/3106*e^2 - 182061/3106*e + 17965/1553, 2097/1553*e^15 - 22579/6212*e^14 - 148913/6212*e^13 + 393019/6212*e^12 + 255706/1553*e^11 - 2578835/6212*e^10 - 3490215/6212*e^9 + 7977773/6212*e^8 + 3185363/3106*e^7 - 12024229/6212*e^6 - 6061067/6212*e^5 + 4162313/3106*e^4 + 1244891/3106*e^3 - 2111589/6212*e^2 - 98623/3106*e + 86265/6212, 4067/6212*e^15 - 2618/1553*e^14 - 17840/1553*e^13 + 175893/6212*e^12 + 488731/6212*e^11 - 550485/3106*e^10 - 427535/1553*e^9 + 3217493/6212*e^8 + 3404363/6212*e^7 - 1164012/1553*e^6 - 3844805/6212*e^5 + 864647/1553*e^4 + 1986005/6212*e^3 - 1177319/6212*e^2 - 236817/6212*e + 77807/6212, 873/6212*e^15 - 15201/12424*e^14 + 473/12424*e^13 + 251129/12424*e^12 - 155791/6212*e^11 - 1535965/12424*e^10 + 2499167/12424*e^9 + 4333639/12424*e^8 - 1921111/3106*e^7 - 5896759/12424*e^6 + 10211569/12424*e^5 + 484736/1553*e^4 - 681040/1553*e^3 - 1233583/12424*e^2 + 433777/6212*e + 214171/12424, 6975/6212*e^15 - 8897/3106*e^14 - 32747/1553*e^13 + 328411/6212*e^12 + 955735/6212*e^11 - 582519/1553*e^10 - 857639/1553*e^9 + 7983883/6212*e^8 + 6326075/6212*e^7 - 6791377/3106*e^6 - 5684617/6212*e^5 + 2609181/1553*e^4 + 2248651/6212*e^3 - 2694255/6212*e^2 - 365619/6212*e + 37109/6212, -329/6212*e^15 + 7003/6212*e^14 - 9899/6212*e^13 - 30996/1553*e^12 + 228243/6212*e^11 + 836489/6212*e^10 - 1556457/6212*e^9 - 1342371/3106*e^8 + 4592401/6212*e^7 + 4096209/6212*e^6 - 2967895/3106*e^5 - 573417/1553*e^4 + 2870611/6212*e^3 - 17475/1553*e^2 - 291293/6212*e + 21813/1553, -3579/6212*e^15 + 15921/12424*e^14 + 140115/12424*e^13 - 298181/12424*e^12 - 534183/6212*e^11 + 2149885/12424*e^10 + 3980085/12424*e^9 - 7481931/12424*e^8 - 921072/1553*e^7 + 12879423/12424*e^6 + 5927223/12424*e^5 - 1245915/1553*e^4 - 148781/1553*e^3 + 2525791/12424*e^2 - 116157/6212*e + 77329/12424, -1413/6212*e^15 + 1679/6212*e^14 + 27243/6212*e^13 - 12115/3106*e^12 - 197541/6212*e^11 + 102777/6212*e^10 + 634269/6212*e^9 - 2355/1553*e^8 - 665851/6212*e^7 - 803767/6212*e^6 - 190863/1553*e^5 + 717495/3106*e^4 + 1684589/6212*e^3 - 158867/1553*e^2 - 559729/6212*e + 1823/3106, 4301/6212*e^15 - 6839/3106*e^14 - 19141/1553*e^13 + 258525/6212*e^12 + 509733/6212*e^11 - 472307/1553*e^10 - 384142/1553*e^9 + 6710197/6212*e^8 + 1883645/6212*e^7 - 5955513/3106*e^6 - 95175/6212*e^5 + 2418309/1553*e^4 - 1112171/6212*e^3 - 2908757/6212*e^2 + 385539/6212*e + 219367/6212, 1173/1553*e^15 - 5343/3106*e^14 - 44727/3106*e^13 + 96259/3106*e^12 + 166125/1553*e^11 - 659321/3106*e^10 - 1212401/3106*e^9 + 2147909/3106*e^8 + 1116003/1553*e^7 - 3427207/3106*e^6 - 1852123/3106*e^5 + 1265868/1553*e^4 + 243619/1553*e^3 - 761387/3106*e^2 + 1096/1553*e + 70947/3106, 4499/3106*e^15 - 26689/6212*e^14 - 156559/6212*e^13 + 480683/6212*e^12 + 511735/3106*e^11 - 3303425/6212*e^10 - 3112577/6212*e^9 + 10855925/6212*e^8 + 1096863/1553*e^7 - 17502771/6212*e^6 - 2357771/6212*e^5 + 6290295/3106*e^4 + 65020/1553*e^3 - 3061629/6212*e^2 - 12275/1553*e + 195553/6212, 437/1553*e^15 - 2868/1553*e^14 - 4449/1553*e^13 + 107421/3106*e^12 - 8178/1553*e^11 - 386170/1553*e^10 + 254875/1553*e^9 + 2664045/3106*e^8 - 1145730/1553*e^7 - 2240199/1553*e^6 + 2073916/1553*e^5 + 3272239/3106*e^4 - 1439554/1553*e^3 - 747057/3106*e^2 + 486053/3106*e + 3593/3106, 1349/3106*e^15 - 7511/6212*e^14 - 57785/6212*e^13 + 164015/6212*e^12 + 237617/3106*e^11 - 1388707/6212*e^10 - 1863483/6212*e^9 + 5701449/6212*e^8 + 878983/1553*e^7 - 11581037/6212*e^6 - 2966673/6212*e^5 + 2652644/1553*e^4 + 347687/1553*e^3 - 3444549/6212*e^2 - 316665/3106*e + 146405/6212, 13225/6212*e^15 - 8866/1553*e^14 - 123351/3106*e^13 + 653067/6212*e^12 + 1775413/6212*e^11 - 2295329/3106*e^10 - 3087987/3106*e^9 + 15366063/6212*e^8 + 10542841/6212*e^7 - 6218114/1553*e^6 - 7729793/6212*e^5 + 4354011/1553*e^4 + 1929685/6212*e^3 - 3859683/6212*e^2 - 363865/6212*e + 196549/6212, 2649/3106*e^15 - 3234/1553*e^14 - 26788/1553*e^13 + 60235/1553*e^12 + 432635/3106*e^11 - 426471/1553*e^10 - 886235/1553*e^9 + 1425166/1553*e^8 + 3829037/3106*e^7 - 2274142/1553*e^6 - 4058961/3106*e^5 + 3165643/3106*e^4 + 1816105/3106*e^3 - 386993/1553*e^2 - 101888/1553*e + 24965/1553, 12185/6212*e^15 - 34847/6212*e^14 - 221675/6212*e^13 + 324349/3106*e^12 + 1521249/6212*e^11 - 4629337/6212*e^10 - 4793049/6212*e^9 + 3956128/1553*e^8 + 6350867/6212*e^7 - 26350469/6212*e^6 - 255757/1553*e^5 + 9559221/3106*e^4 - 3055017/6212*e^3 - 1130274/1553*e^2 + 913085/6212*e + 119231/3106, 5399/6212*e^15 - 2163/1553*e^14 - 53239/3106*e^13 + 136159/6212*e^12 + 843859/6212*e^11 - 372981/3106*e^10 - 1727339/3106*e^9 + 1583299/6212*e^8 + 7716235/6212*e^7 - 177188/1553*e^6 - 8880971/6212*e^5 - 517767/3106*e^4 + 4520359/6212*e^3 + 770081/6212*e^2 - 769725/6212*e - 72799/6212, -7985/3106*e^15 + 100153/12424*e^14 + 545135/12424*e^13 - 1804699/12424*e^12 - 856547/3106*e^11 + 12383865/12424*e^10 + 9454825/12424*e^9 - 40488953/12424*e^8 - 4728767/6212*e^7 + 64601591/12424*e^6 - 3403883/12424*e^5 - 11447635/3106*e^4 + 4195073/6212*e^3 + 10913429/12424*e^2 - 178196/1553*e - 480609/12424, 579/6212*e^15 + 987/6212*e^14 - 14111/6212*e^13 - 6943/1553*e^12 + 147695/6212*e^11 + 280949/6212*e^10 - 835897/6212*e^9 - 651883/3106*e^8 + 2622417/6212*e^7 + 2843489/6212*e^6 - 2114295/3106*e^5 - 666590/1553*e^4 + 2966595/6212*e^3 + 247716/1553*e^2 - 737841/6212*e - 30779/1553, -4345/3106*e^15 + 23239/6212*e^14 + 157169/6212*e^13 - 428385/6212*e^12 - 532265/3106*e^11 + 3023567/6212*e^10 + 3255319/6212*e^9 - 10208859/6212*e^8 - 988096/1553*e^7 + 16734305/6212*e^6 - 143671/6212*e^5 - 5853261/3106*e^4 + 662487/1553*e^3 + 2292875/6212*e^2 - 195951/1553*e + 19949/6212, -201/1553*e^15 + 285/1553*e^14 + 2718/1553*e^13 + 799/3106*e^12 - 14974/1553*e^11 - 52060/1553*e^10 + 66574/1553*e^9 + 750525/3106*e^8 - 280072/1553*e^7 - 981606/1553*e^6 + 641913/1553*e^5 + 1901619/3106*e^4 - 564606/1553*e^3 - 540873/3106*e^2 + 315503/3106*e + 48811/3106, -1309/3106*e^15 + 6121/3106*e^14 + 21479/3106*e^13 - 61049/1553*e^12 - 120565/3106*e^11 + 951011/3106*e^10 + 223425/3106*e^9 - 1817232/1553*e^8 + 197815/3106*e^7 + 6981533/3106*e^6 - 475961/1553*e^5 - 3055534/1553*e^4 + 540917/3106*e^3 + 949894/1553*e^2 + 109265/3106*e - 37467/1553, 707/6212*e^15 - 3697/12424*e^14 - 20071/12424*e^13 + 59665/12424*e^12 + 36483/6212*e^11 - 340861/12424*e^10 + 150167/12424*e^9 + 757455/12424*e^8 - 182029/1553*e^7 - 124911/12424*e^6 + 2926253/12424*e^5 - 443569/3106*e^4 - 498321/3106*e^3 + 1621033/12424*e^2 + 160797/6212*e - 86173/12424, -1728/1553*e^15 + 22665/6212*e^14 + 121583/6212*e^13 - 423953/6212*e^12 - 196067/1553*e^11 + 3030061/6212*e^10 + 2143021/6212*e^9 - 10294327/6212*e^8 - 780571/3106*e^7 + 16741011/6212*e^6 - 2914995/6212*e^5 - 5677813/3106*e^4 + 2027705/3106*e^3 + 2119747/6212*e^2 - 438653/3106*e - 44631/6212, -2217/3106*e^15 + 16509/6212*e^14 + 71571/6212*e^13 - 310827/6212*e^12 - 195317/3106*e^11 + 2266109/6212*e^10 + 644145/6212*e^9 - 8050805/6212*e^8 + 286434/1553*e^7 + 14326919/6212*e^6 - 4661325/6212*e^5 - 5780307/3106*e^4 + 999743/1553*e^3 + 3182905/6212*e^2 - 162369/1553*e - 115829/6212, 1849/1553*e^15 - 24093/6212*e^14 - 129055/6212*e^13 + 441797/6212*e^12 + 211440/1553*e^11 - 3098449/6212*e^10 - 2557217/6212*e^9 + 10407299/6212*e^8 + 1698795/3106*e^7 - 17161895/6212*e^6 - 1073969/6212*e^5 + 6354819/3106*e^4 - 370885/3106*e^3 - 3262563/6212*e^2 + 112577/3106*e + 175175/6212, 875/6212*e^15 + 3117/6212*e^14 - 21915/6212*e^13 - 18641/1553*e^12 + 228683/6212*e^11 + 677687/6212*e^10 - 1263605/6212*e^9 - 1460527/3106*e^8 + 3854629/6212*e^7 + 6038087/6212*e^6 - 3055907/3106*e^5 - 2657515/3106*e^4 + 4223113/6212*e^3 + 748219/3106*e^2 - 868689/6212*e - 14298/1553, 12241/6212*e^15 - 73631/12424*e^14 - 439881/12424*e^13 + 1382063/12424*e^12 + 1471429/6212*e^11 - 9959475/12424*e^10 - 8742303/12424*e^9 + 34438441/12424*e^8 + 1191818/1553*e^7 - 58139305/12424*e^6 + 3192091/12424*e^5 + 10728323/3106*e^4 - 2211067/3106*e^3 - 10240409/12424*e^2 + 818403/6212*e + 441637/12424, 207/6212*e^15 - 2710/1553*e^14 + 4643/1553*e^13 + 197457/6212*e^12 - 367521/6212*e^11 - 683563/3106*e^10 + 637426/1553*e^9 + 4469361/6212*e^8 - 8251561/6212*e^7 - 1729214/1553*e^6 + 12797687/6212*e^5 + 1070961/1553*e^4 - 8212391/6212*e^3 - 483979/6212*e^2 + 1302795/6212*e - 37361/6212, -1448/1553*e^15 + 14355/6212*e^14 + 106577/6212*e^13 - 257497/6212*e^12 - 187369/1553*e^11 + 1749515/6212*e^10 + 2492947/6212*e^9 - 5598871/6212*e^8 - 1903399/3106*e^7 + 8512501/6212*e^6 + 1721043/6212*e^5 - 1333237/1553*e^4 + 426451/3106*e^3 + 769415/6212*e^2 - 104926/1553*e + 34233/6212, -2975/6212*e^15 + 7417/6212*e^14 + 52769/6212*e^13 - 29490/1553*e^12 - 382439/6212*e^11 + 677003/6212*e^10 + 1547447/6212*e^9 - 860443/3106*e^8 - 3950493/6212*e^7 + 2075351/6212*e^6 + 1492224/1553*e^5 - 390481/1553*e^4 - 4086421/6212*e^3 + 399301/3106*e^2 + 653239/6212*e - 23446/1553, -1193/1553*e^15 + 3430/1553*e^14 + 21023/1553*e^13 - 63415/1553*e^12 - 136130/1553*e^11 + 448647/1553*e^10 + 378372/1553*e^9 - 1511775/1553*e^8 - 322697/1553*e^7 + 2429993/1553*e^6 - 350039/1553*e^5 - 1549404/1553*e^4 + 556901/1553*e^3 + 154108/1553*e^2 - 113263/1553*e + 27124/1553, 2399/3106*e^15 - 6693/3106*e^14 - 43543/3106*e^13 + 60016/1553*e^12 + 305177/3106*e^11 - 816501/3106*e^10 - 1040273/3106*e^9 + 1315105/1553*e^8 + 1751543/3106*e^7 - 4112785/3106*e^6 - 594511/1553*e^5 + 1446807/1553*e^4 + 47759/3106*e^3 - 345856/1553*e^2 + 112531/3106*e + 2519/1553, -4693/3106*e^15 + 55475/12424*e^14 + 330681/12424*e^13 - 1012757/12424*e^12 - 539925/3106*e^11 + 7039123/12424*e^10 + 6199615/12424*e^9 - 23174255/12424*e^8 - 3036125/6212*e^7 + 36358213/12424*e^6 - 4657077/12424*e^5 - 2914961/1553*e^4 + 5183273/6212*e^3 + 3420743/12424*e^2 - 424345/1553*e + 93321/12424, -8005/3106*e^15 + 23079/3106*e^14 + 143873/3106*e^13 - 214400/1553*e^12 - 967875/3106*e^11 + 3056935/3106*e^10 + 2942273/3106*e^9 - 5231304/1553*e^8 - 3589201/3106*e^7 + 17524871/3106*e^6 + 44724/1553*e^5 - 6437866/1553*e^4 + 1901807/3106*e^3 + 1530620/1553*e^2 - 344319/3106*e - 63914/1553, -513/6212*e^15 + 8701/6212*e^14 - 6391/6212*e^13 - 39674/1553*e^12 + 196703/6212*e^11 + 1119567/6212*e^10 - 1382925/6212*e^9 - 1935195/3106*e^8 + 4047545/6212*e^7 + 6829651/6212*e^6 - 2596295/3106*e^5 - 2842145/3106*e^4 + 2771677/6212*e^3 + 927835/3106*e^2 - 610713/6212*e - 47362/1553, -1573/3106*e^15 + 4641/3106*e^14 + 28943/3106*e^13 - 43750/1553*e^12 - 202955/3106*e^11 + 635359/3106*e^10 + 669029/3106*e^9 - 1111497/1553*e^8 - 1003515/3106*e^7 + 3818507/3106*e^6 + 232018/1553*e^5 - 1452500/1553*e^4 + 112541/3106*e^3 + 394150/1553*e^2 - 18987/3106*e - 39751/1553, -7557/3106*e^15 + 22861/3106*e^14 + 136007/3106*e^13 - 212790/1553*e^12 - 925383/3106*e^11 + 3042919/3106*e^10 + 2922595/3106*e^9 - 5235505/1553*e^8 - 4073123/3106*e^7 + 17761883/3106*e^6 + 690528/1553*e^5 - 6766452/1553*e^4 + 1009675/3106*e^3 + 1792922/1553*e^2 - 300427/3106*e - 92557/1553, 2123/3106*e^15 - 8805/3106*e^14 - 16811/1553*e^13 + 82125/1553*e^12 + 180217/3106*e^11 - 1179255/3106*e^10 - 148496/1553*e^9 + 2048754/1553*e^8 - 485183/3106*e^7 - 7123809/3106*e^6 + 2070471/3106*e^5 + 2886509/1553*e^4 - 946402/1553*e^3 - 1726235/3106*e^2 + 213492/1553*e + 45027/1553, 1813/3106*e^15 - 4542/1553*e^14 - 28387/3106*e^13 + 87320/1553*e^12 + 150509/3106*e^11 - 650337/1553*e^10 - 252163/3106*e^9 + 2359356/1553*e^8 - 325635/3106*e^7 - 4298177/1553*e^6 + 712519/1553*e^5 + 7278057/3106*e^4 - 573887/1553*e^3 - 2310517/3106*e^2 + 107061/3106*e + 72605/1553, 747/3106*e^15 - 5697/12424*e^14 - 55819/12424*e^13 + 112715/12424*e^12 + 97627/3106*e^11 - 905257/12424*e^10 - 1254813/12424*e^9 + 3810793/12424*e^8 + 916307/6212*e^7 - 8871071/12424*e^6 - 1082257/12424*e^5 + 2657035/3106*e^4 + 67753/6212*e^3 - 5268041/12424*e^2 + 46577/3106*e + 431057/12424, 2845/3106*e^15 - 7303/6212*e^14 - 123741/6212*e^13 + 143589/6212*e^12 + 525381/3106*e^11 - 1076759/6212*e^10 - 4377095/6212*e^9 + 3796711/6212*e^8 + 2309406/1553*e^7 - 6197057/6212*e^6 - 9404233/6212*e^5 + 1916435/3106*e^4 + 1120367/1553*e^3 - 454543/6212*e^2 - 248169/1553*e - 5785/6212, -2467/3106*e^15 + 16059/6212*e^14 + 91637/6212*e^13 - 317915/6212*e^12 - 319669/3106*e^11 + 2444595/6212*e^10 + 2027783/6212*e^9 - 9143309/6212*e^8 - 670004/1553*e^7 + 16943489/6212*e^6 + 687197/6212*e^5 - 3487409/1553*e^4 + 79851/1553*e^3 + 3813353/6212*e^2 + 168611/3106*e - 81373/6212, -2536/1553*e^15 + 5172/1553*e^14 + 50240/1553*e^13 - 191755/3106*e^12 - 386628/1553*e^11 + 676580/1553*e^10 + 1443921/1553*e^9 - 4510077/3106*e^8 - 2642300/1553*e^7 + 3551513/1553*e^6 + 2061153/1553*e^5 - 4485583/3106*e^4 - 487339/1553*e^3 + 530975/3106*e^2 + 29325/3106*e + 82269/3106, 1437/6212*e^15 + 569/3106*e^14 - 19961/3106*e^13 - 21411/6212*e^12 + 425557/6212*e^11 + 41729/1553*e^10 - 1110995/3106*e^9 - 697035/6212*e^8 + 5945141/6212*e^7 + 792655/3106*e^6 - 7711517/6212*e^5 - 412059/1553*e^4 + 4101019/6212*e^3 + 591801/6212*e^2 - 490299/6212*e - 63233/6212, 7421/3106*e^15 - 10094/1553*e^14 - 136115/3106*e^13 + 187065/1553*e^12 + 949201/3106*e^11 - 1329977/1553*e^10 - 3107363/3106*e^9 + 4541896/1553*e^8 + 4666349/3106*e^7 - 7610899/1553*e^6 - 1198174/1553*e^5 + 11285873/3106*e^4 - 12401/1553*e^3 - 2746187/3106*e^2 - 97043/3106*e + 59238/1553, -4585/3106*e^15 + 29019/6212*e^14 + 149845/6212*e^13 - 512591/6212*e^12 - 436335/3106*e^11 + 3431715/6212*e^10 + 2042655/6212*e^9 - 10886061/6212*e^8 - 233447/1553*e^7 + 16751473/6212*e^6 - 2977595/6212*e^5 - 2838014/1553*e^4 + 831455/1553*e^3 + 2641301/6212*e^2 - 313805/3106*e - 201541/6212, -141/1553*e^15 + 339/1553*e^14 + 4410/1553*e^13 - 8099/1553*e^12 - 52157/1553*e^11 + 73187/1553*e^10 + 300466/1553*e^9 - 320858/1553*e^8 - 884911/1553*e^7 + 738525/1553*e^6 + 1267152/1553*e^5 - 917109/1553*e^4 - 781095/1553*e^3 + 519583/1553*e^2 + 151816/1553*e - 50018/1553, 5013/6212*e^15 - 17075/6212*e^14 - 87235/6212*e^13 + 159387/3106*e^12 + 556965/6212*e^11 - 2278677/6212*e^10 - 1509549/6212*e^9 + 1946499/1553*e^8 + 1082219/6212*e^7 - 12935485/6212*e^6 + 543412/1553*e^5 + 4701819/3106*e^4 - 3163093/6212*e^3 - 549175/1553*e^2 + 753361/6212*e - 5973/3106, -4733/3106*e^15 + 26889/6212*e^14 + 160755/6212*e^13 - 475117/6212*e^12 - 495465/3106*e^11 + 3165429/6212*e^10 + 2560437/6212*e^9 - 9849595/6212*e^8 - 443661/1553*e^7 + 14246407/6212*e^6 - 2985925/6212*e^5 - 1946779/1553*e^4 + 1041463/1553*e^3 + 421215/6212*e^2 - 428529/3106*e + 21393/6212, -177/3106*e^15 - 1557/3106*e^14 + 5569/3106*e^13 + 17369/1553*e^12 - 64945/3106*e^11 - 304175/3106*e^10 + 367301/3106*e^9 + 657882/1553*e^8 - 1077671/3106*e^7 - 2902283/3106*e^6 + 799933/1553*e^5 + 1516837/1553*e^4 - 1054671/3106*e^3 - 610916/1553*e^2 + 218895/3106*e + 37929/1553, -783/1553*e^15 + 6045/3106*e^14 + 13949/1553*e^13 - 61827/1553*e^12 - 85567/1553*e^11 + 978353/3106*e^10 + 167389/1553*e^9 - 1864161/1553*e^8 + 263027/1553*e^7 + 6896665/3106*e^6 - 1318171/1553*e^5 - 5433749/3106*e^4 + 2534579/3106*e^3 + 1298213/3106*e^2 - 259038/1553*e - 9454/1553, -8705/3106*e^15 + 43345/6212*e^14 + 324363/6212*e^13 - 793895/6212*e^12 - 1152685/3106*e^11 + 5541129/6212*e^10 + 7699765/6212*e^9 - 18366405/6212*e^8 - 2906737/1553*e^7 + 29289007/6212*e^6 + 5103431/6212*e^5 - 9973265/3106*e^4 + 486820/1553*e^3 + 4036605/6212*e^2 - 161219/1553*e - 38977/6212, -6791/6212*e^15 + 20755/6212*e^14 + 116609/6212*e^13 - 92449/1553*e^12 - 756471/6212*e^11 + 2517557/6212*e^10 + 2336095/6212*e^9 - 4140675/3106*e^8 - 3603913/6212*e^7 + 13876109/6212*e^6 + 666568/1553*e^5 - 5768689/3106*e^4 - 866939/6212*e^3 + 1016426/1553*e^2 + 175655/6212*e - 67060/1553, 2011/6212*e^15 - 881/3106*e^14 - 12767/1553*e^13 + 42311/6212*e^12 + 500383/6212*e^11 - 93989/1553*e^10 - 594632/1553*e^9 + 1550359/6212*e^8 + 5607859/6212*e^7 - 1535359/3106*e^6 - 5890085/6212*e^5 + 728405/1553*e^4 + 1936295/6212*e^3 - 1312283/6212*e^2 + 164425/6212*e + 255793/6212, -13627/6212*e^15 + 8232/1553*e^14 + 65364/1553*e^13 - 616549/6212*e^12 - 1938919/6212*e^11 + 2215315/3106*e^10 + 1736463/1553*e^9 - 15266245/6212*e^8 - 12162131/6212*e^7 + 6405972/1553*e^6 + 9128541/6212*e^5 - 4668695/1553*e^4 - 2276185/6212*e^3 + 4314283/6212*e^2 + 351685/6212*e - 136867/6212, 4373/3106*e^15 - 4943/1553*e^14 - 86647/3106*e^13 + 93414/1553*e^12 + 668867/3106*e^11 - 677515/1553*e^10 - 2519729/3106*e^9 + 2355983/1553*e^8 + 4710481/3106*e^7 - 4004369/1553*e^6 - 1952714/1553*e^5 + 6075033/3106*e^4 + 583288/1553*e^3 - 1702625/3106*e^2 - 96491/3106*e + 60681/1553, 2155/3106*e^15 - 3301/1553*e^14 - 20087/1553*e^13 + 125655/3106*e^12 + 287525/3106*e^11 - 461340/1553*e^10 - 490526/1553*e^9 + 3278255/3106*e^8 + 1573917/3106*e^7 - 2888423/1553*e^6 - 890913/3106*e^5 + 2304846/1553*e^4 - 128203/3106*e^3 - 1304063/3106*e^2 + 216027/3106*e + 78419/3106, 18583/6212*e^15 - 95139/12424*e^14 - 681029/12424*e^13 + 1712003/12424*e^12 + 2390739/6212*e^11 - 11698095/12424*e^10 - 16052851/12424*e^9 + 37846421/12424*e^8 + 6466985/3106*e^7 - 58924069/12424*e^6 - 16426021/12424*e^5 + 4931156/1553*e^4 + 172378/1553*e^3 - 7840677/12424*e^2 + 271699/6212*e - 80943/12424, 8065/3106*e^15 - 26131/3106*e^14 - 135969/3106*e^13 + 472327/3106*e^12 + 839065/3106*e^11 - 3259371/3106*e^10 - 2251799/3106*e^9 + 10765843/3106*e^8 + 2150401/3106*e^7 - 17499063/3106*e^6 + 400677/1553*e^5 + 12833365/3106*e^4 - 1744023/3106*e^3 - 3303189/3106*e^2 + 84165/1553*e + 175315/3106, -17019/6212*e^15 + 12749/1553*e^14 + 150301/3106*e^13 - 948423/6212*e^12 - 1964243/6212*e^11 + 3390529/3106*e^10 + 2817955/3106*e^9 - 23369635/6212*e^8 - 5738691/6212*e^7 + 9939456/1553*e^6 - 2482873/6212*e^5 - 15144985/3106*e^4 + 5633517/6212*e^3 + 7955531/6212*e^2 - 976335/6212*e - 338529/6212, -2991/3106*e^15 + 9525/6212*e^14 + 126067/6212*e^13 - 175583/6212*e^12 - 532379/3106*e^11 + 1243413/6212*e^10 + 4597385/6212*e^9 - 4259381/6212*e^8 - 2672499/1553*e^7 + 7350923/6212*e^6 + 12878723/6212*e^5 - 3058175/3106*e^4 - 1771922/1553*e^3 + 1996569/6212*e^2 + 283461/1553*e + 10427/6212, -2330/1553*e^15 + 30437/6212*e^14 + 164251/6212*e^13 - 572489/6212*e^12 - 266172/1553*e^11 + 4124165/6212*e^10 + 2967441/6212*e^9 - 14157679/6212*e^8 - 1285199/3106*e^7 + 23262355/6212*e^6 - 2494615/6212*e^5 - 7834153/3106*e^4 + 1780939/3106*e^3 + 2465791/6212*e^2 - 137691/3106*e + 132441/6212, 1957/3106*e^15 - 5409/1553*e^14 - 12629/1553*e^13 + 102591/1553*e^12 + 61891/3106*e^11 - 752869/1553*e^10 + 219349/1553*e^9 + 2685966/1553*e^8 - 2704079/3106*e^7 - 4775349/1553*e^6 + 5198893/3106*e^5 + 7610595/3106*e^4 - 3648665/3106*e^3 - 968671/1553*e^2 + 308399/1553*e - 17635/1553, 7943/6212*e^15 - 4386/1553*e^14 - 77625/3106*e^13 + 339251/6212*e^12 + 1147051/6212*e^11 - 1256721/3106*e^10 - 1938455/3106*e^9 + 8831027/6212*e^8 + 5451787/6212*e^7 - 3637967/1553*e^6 - 1086351/6212*e^5 + 4542603/3106*e^4 - 2181429/6212*e^3 - 643911/6212*e^2 + 476323/6212*e - 136643/6212, 7461/3106*e^15 - 41857/6212*e^14 - 265315/6212*e^13 + 745729/6212*e^12 + 898529/3106*e^11 - 5036437/6212*e^10 - 5789501/6212*e^9 + 16100039/6212*e^8 + 2220859/1553*e^7 - 24899659/6212*e^6 - 5007319/6212*e^5 + 4232926/1553*e^4 - 134260/1553*e^3 - 3702375/6212*e^2 + 332287/3106*e + 87507/6212, 831/1553*e^15 - 4095/3106*e^14 - 27365/3106*e^13 + 35771/1553*e^12 + 75699/1553*e^11 - 471085/3106*e^10 - 239159/3106*e^9 + 727685/1553*e^8 - 278824/1553*e^7 - 2139843/3106*e^6 + 2084035/3106*e^5 + 1338101/3106*e^4 - 842731/1553*e^3 - 159501/1553*e^2 + 208229/3106*e + 37815/1553, -1862/1553*e^15 + 7021/1553*e^14 + 63639/3106*e^13 - 263987/3106*e^12 - 199320/1553*e^11 + 954335/1553*e^10 + 1069943/3106*e^9 - 6652513/3106*e^8 - 425065/1553*e^7 + 5733391/1553*e^6 - 1147493/3106*e^5 - 8963463/3106*e^4 + 1753221/3106*e^3 + 1236797/1553*e^2 - 196209/1553*e - 81143/3106, 2084/1553*e^15 - 23247/6212*e^14 - 155349/6212*e^13 + 438847/6212*e^12 + 274038/1553*e^11 - 3181547/6212*e^10 - 3548803/6212*e^9 + 11079285/6212*e^8 + 2355235/3106*e^7 - 18957653/6212*e^6 - 219179/6212*e^5 + 7333935/3106*e^4 - 1528601/3106*e^3 - 4174353/6212*e^2 + 430649/3106*e + 252901/6212, 4023/6212*e^15 - 2162/1553*e^14 - 39717/3106*e^13 + 163541/6212*e^12 + 621499/6212*e^11 - 605261/3106*e^10 - 1236211/3106*e^9 + 4463741/6212*e^8 + 5354011/6212*e^7 - 2150343/1553*e^6 - 6247359/6212*e^5 + 2028131/1553*e^4 + 3570107/6212*e^3 - 2924885/6212*e^2 - 763435/6212*e + 19067/6212, -1937/1553*e^15 + 29367/6212*e^14 + 117265/6212*e^13 - 525083/6212*e^12 - 141582/1553*e^11 + 3560719/6212*e^10 + 524715/6212*e^9 - 11404601/6212*e^8 + 1633369/3106*e^7 + 17438909/6212*e^6 - 9204289/6212*e^5 - 5533349/3106*e^4 + 3737957/3106*e^3 + 1789897/6212*e^2 - 675367/3106*e - 33213/6212, -1079/6212*e^15 + 1611/3106*e^14 + 8547/3106*e^13 - 64731/6212*e^12 - 67163/6212*e^11 + 123084/1553*e^10 - 105455/3106*e^9 - 1716011/6212*e^8 + 2096437/6212*e^7 + 1244639/3106*e^6 - 4836281/6212*e^5 - 130226/1553*e^4 + 3631591/6212*e^3 - 905519/6212*e^2 - 421707/6212*e + 100111/6212, -813/6212*e^15 + 333/3106*e^14 + 558/1553*e^13 + 36767/6212*e^12 + 73571/6212*e^11 - 171737/1553*e^10 - 112794/1553*e^9 + 4068099/6212*e^8 + 485467/6212*e^7 - 5014929/3106*e^6 + 1005427/6212*e^5 + 2489150/1553*e^4 - 1107713/6212*e^3 - 3398171/6212*e^2 - 46027/6212*e + 318557/6212, -4697/6212*e^15 + 16117/6212*e^14 + 76889/6212*e^13 - 145245/3106*e^12 - 451617/6212*e^11 + 2001231/6212*e^10 + 1100791/6212*e^9 - 1657632/1553*e^8 - 770659/6212*e^7 + 10974443/6212*e^6 - 395301/3106*e^5 - 2140845/1553*e^4 + 932401/6212*e^3 + 670289/1553*e^2 - 46791/6212*e - 96803/3106, 763/6212*e^15 + 12555/12424*e^14 - 67851/12424*e^13 - 220623/12424*e^12 + 427715/6212*e^11 + 1500599/12424*e^10 - 4620133/12424*e^9 - 5076937/12424*e^8 + 1440584/1553*e^7 + 9114125/12424*e^6 - 12395767/12424*e^5 - 1006203/1553*e^4 + 1250895/3106*e^3 + 2710385/12424*e^2 - 455693/6212*e - 123013/12424, 20917/6212*e^15 - 128831/12424*e^14 - 740721/12424*e^13 + 2349283/12424*e^12 + 2497165/6212*e^11 - 16375347/12424*e^10 - 16087031/12424*e^9 + 54674789/12424*e^8 + 3175455/1553*e^7 - 89791353/12424*e^6 - 17809837/12424*e^5 + 8299566/1553*e^4 + 1288219/3106*e^3 - 16657709/12424*e^2 - 499403/6212*e + 541401/12424, -5971/6212*e^15 + 4985/1553*e^14 + 23674/1553*e^13 - 340219/6212*e^12 - 546635/6212*e^11 + 1086547/3106*e^10 + 358563/1553*e^9 - 6471815/6212*e^8 - 1888915/6212*e^7 + 2294745/1553*e^6 + 1464577/6212*e^5 - 2748495/3106*e^4 - 419893/6212*e^3 + 626545/6212*e^2 - 224605/6212*e + 166435/6212, -1123/1553*e^15 + 17073/12424*e^14 + 169999/12424*e^13 - 279663/12424*e^12 - 156474/1553*e^11 + 1622641/12424*e^10 + 4503353/12424*e^9 - 3741021/12424*e^8 - 3993789/6212*e^7 + 1730727/12424*e^6 + 5825993/12424*e^5 + 1095863/3106*e^4 - 495637/6212*e^3 - 4388607/12424*e^2 + 11987/3106*e + 472291/12424, 1754/1553*e^15 - 8335/3106*e^14 - 33778/1553*e^13 + 76474/1553*e^12 + 254136/1553*e^11 - 1068395/3106*e^10 - 942466/1553*e^9 + 1763995/1553*e^8 + 1775611/1553*e^7 - 5520695/3106*e^6 - 1555077/1553*e^5 + 3505927/3106*e^4 + 1050009/3106*e^3 - 536909/3106*e^2 - 32735/1553*e + 5878/1553, 4889/1553*e^15 - 121031/12424*e^14 - 701317/12424*e^13 + 2286817/12424*e^12 + 589187/1553*e^11 - 16675775/12424*e^10 - 14424883/12424*e^9 + 58861131/12424*e^8 + 9245327/6212*e^7 - 102867681/12424*e^6 - 3746731/12424*e^5 + 20077465/3106*e^4 - 2830303/6212*e^3 - 21229563/12424*e^2 + 87122/1553*e + 858363/12424, 7229/3106*e^15 - 43517/6212*e^14 - 257279/6212*e^13 + 799855/6212*e^12 + 864433/3106*e^11 - 5623597/6212*e^10 - 5421581/6212*e^9 + 18912017/6212*e^8 + 1955553/1553*e^7 - 31001055/6212*e^6 - 4178399/6212*e^5 + 11059909/3106*e^4 + 216264/1553*e^3 - 4785937/6212*e^2 - 175844/1553*e + 61313/6212, 2135/1553*e^15 - 38983/12424*e^14 - 333669/12424*e^13 + 716785/12424*e^12 + 315967/1553*e^11 - 4980599/12424*e^10 - 9247075/12424*e^9 + 16124779/12424*e^8 + 8144183/6212*e^7 - 24029617/12424*e^6 - 11346187/12424*e^5 + 3426467/3106*e^4 + 702981/6212*e^3 - 1670811/12424*e^2 + 44846/1553*e + 306595/12424, 22221/6212*e^15 - 61223/6212*e^14 - 408287/6212*e^13 + 282803/1553*e^12 + 2861673/6212*e^11 - 7992525/6212*e^10 - 9475253/6212*e^9 + 13481119/3106*e^8 + 14527883/6212*e^7 - 44136361/6212*e^6 - 1870920/1553*e^5 + 7824878/1553*e^4 - 1168525/6212*e^3 - 3452301/3106*e^2 + 762155/6212*e + 39897/1553, 2067/6212*e^15 + 1629/3106*e^14 - 28161/3106*e^13 - 60561/6212*e^12 + 587227/6212*e^11 + 107463/1553*e^10 - 1502841/3106*e^9 - 1447593/6212*e^8 + 7985967/6212*e^7 + 1164203/3106*e^6 - 10643879/6212*e^5 - 398450/1553*e^4 + 6177061/6212*e^3 + 465475/6212*e^2 - 1023569/6212*e - 104287/6212, 6669/3106*e^15 - 41419/6212*e^14 - 232955/6212*e^13 + 766957/6212*e^12 + 747645/3106*e^11 - 5436363/6212*e^10 - 4140857/6212*e^9 + 18406555/6212*e^8 + 922036/1553*e^7 - 30121341/6212*e^6 + 3128133/6212*e^5 + 10413789/3106*e^4 - 2660937/3106*e^3 - 4044381/6212*e^2 + 562519/3106*e + 10403/6212, -4533/3106*e^15 + 6424/1553*e^14 + 41844/1553*e^13 - 236121/3106*e^12 - 599737/3106*e^11 + 828884/1553*e^10 + 1059048/1553*e^9 - 5551135/3106*e^8 - 3870971/3106*e^7 + 4501602/1553*e^6 + 3510031/3106*e^5 - 3124162/1553*e^4 - 1494671/3106*e^3 + 1150977/3106*e^2 + 267619/3106*e + 36205/3106, -3649/1553*e^15 + 39355/6212*e^14 + 270781/6212*e^13 - 742027/6212*e^12 - 478120/1553*e^11 + 5403395/6212*e^10 + 6354631/6212*e^9 - 19086873/6212*e^8 - 4882609/3106*e^7 + 33573721/6212*e^6 + 5419119/6212*e^5 - 13404127/3106*e^4 - 135345/3106*e^3 + 7631697/6212*e^2 + 85147/3106*e - 310769/6212, -14433/6212*e^15 + 17499/3106*e^14 + 69155/1553*e^13 - 667185/6212*e^12 - 2010569/6212*e^11 + 1218900/1553*e^10 + 1685700/1553*e^9 - 16969565/6212*e^8 - 9647029/6212*e^7 + 14068085/3106*e^6 + 2537655/6212*e^5 - 4693580/1553*e^4 + 3416047/6212*e^3 + 2656001/6212*e^2 - 882963/6212*e + 119597/6212, 10947/3106*e^15 - 66021/6212*e^14 - 396077/6212*e^13 + 1231845/6212*e^12 + 1358263/3106*e^11 - 8832673/6212*e^10 - 8700315/6212*e^9 + 30490027/6212*e^8 + 3135878/1553*e^7 - 51822731/6212*e^6 - 5293677/6212*e^5 + 9815098/1553*e^4 - 844481/3106*e^3 - 10005585/6212*e^2 + 116676/1553*e + 331819/6212, 15757/6212*e^15 - 12800/1553*e^14 - 137967/3106*e^13 + 958959/6212*e^12 + 1778237/6212*e^11 - 3446441/3106*e^10 - 2480145/3106*e^9 + 23750507/6212*e^8 + 4534565/6212*e^7 - 9950716/1553*e^6 + 3407007/6212*e^5 + 7172144/1553*e^4 - 5670855/6212*e^3 - 6297787/6212*e^2 + 758043/6212*e + 228501/6212, 579/1553*e^15 - 711/6212*e^14 - 57997/6212*e^13 + 11599/6212*e^12 + 147695/1553*e^11 - 79779/6212*e^10 - 3099767/6212*e^9 + 352441/6212*e^8 + 4361177/3106*e^7 - 1169625/6212*e^6 - 12409107/6212*e^5 + 1154161/3106*e^4 + 3754331/3106*e^3 - 1647533/6212*e^2 - 592025/3106*e + 167561/6212, 183/3106*e^15 + 2193/6212*e^14 - 13595/6212*e^13 - 46483/6212*e^12 + 84677/3106*e^11 + 396101/6212*e^10 - 954629/6212*e^9 - 1713625/6212*e^8 + 630737/1553*e^7 + 3855743/6212*e^6 - 2626799/6212*e^5 - 2036381/3106*e^4 + 75287/3106*e^3 + 1615047/6212*e^2 + 346347/3106*e - 37857/6212, 3547/3106*e^15 - 12493/3106*e^14 - 56517/3106*e^13 + 112867/1553*e^12 + 311953/3106*e^11 - 1563691/3106*e^10 - 620333/3106*e^9 + 2613616/1553*e^8 - 156103/3106*e^7 - 8700615/3106*e^6 + 927192/1553*e^5 + 3250535/1553*e^4 - 1579469/3106*e^3 - 693834/1553*e^2 + 164049/3106*e - 54281/1553, -3057/1553*e^15 + 34653/6212*e^14 + 214561/6212*e^13 - 616297/6212*e^12 - 350310/1553*e^11 + 4126401/6212*e^10 + 4075975/6212*e^9 - 12864263/6212*e^8 - 2183869/3106*e^7 + 18631371/6212*e^6 - 1707737/6212*e^5 - 5303793/3106*e^4 + 1154044/1553*e^3 + 1022709/6212*e^2 - 244747/1553*e + 225941/6212, 10557/6212*e^15 - 69829/12424*e^14 - 352847/12424*e^13 + 1260793/12424*e^12 + 1072709/6212*e^11 - 8692017/12424*e^10 - 5569289/12424*e^9 + 28701983/12424*e^8 + 1141843/3106*e^7 - 46741371/12424*e^6 + 4097609/12424*e^5 + 8626917/3106*e^4 - 1659513/3106*e^3 - 8716083/12424*e^2 + 669889/6212*e - 57221/12424, 3761/3106*e^15 - 6399/3106*e^14 - 80921/3106*e^13 + 63843/1553*e^12 + 681315/3106*e^11 - 978915/3106*e^10 - 2813847/3106*e^9 + 1790204/1553*e^8 + 5822339/3106*e^7 - 6262087/3106*e^6 - 2730711/1553*e^5 + 2266812/1553*e^4 + 1778901/3106*e^3 - 449470/1553*e^2 - 38589/3106*e - 1510/1553, 24041/6212*e^15 - 72009/6212*e^14 - 422189/6212*e^13 + 650379/3106*e^12 + 2792417/6212*e^11 - 8947099/6212*e^10 - 8564575/6212*e^9 + 7327262/1553*e^8 + 11672275/6212*e^7 - 46843627/6212*e^6 - 1984447/3106*e^5 + 8352180/1553*e^4 - 2863597/6212*e^3 - 2006248/1553*e^2 + 935419/6212*e + 112811/3106, -12795/3106*e^15 + 73255/6212*e^14 + 457089/6212*e^13 - 1331401/6212*e^12 - 1543637/3106*e^11 + 9224739/6212*e^10 + 9714479/6212*e^9 - 30433911/6212*e^8 - 3431632/1553*e^7 + 48697973/6212*e^6 + 5518229/6212*e^5 - 16949645/3106*e^4 + 527950/1553*e^3 + 7437151/6212*e^2 - 138483/1553*e - 240471/6212, -23203/6212*e^15 + 73695/6212*e^14 + 400473/6212*e^13 - 673089/3106*e^12 - 2557551/6212*e^11 + 9400093/6212*e^10 + 7251159/6212*e^9 - 7852850/1553*e^8 - 7854421/6212*e^7 + 51382477/6212*e^6 - 273048/1553*e^5 - 9294458/1553*e^4 + 4817177/6212*e^3 + 4338343/3106*e^2 - 574859/6212*e - 73701/3106, 18993/6212*e^15 - 51083/6212*e^14 - 345259/6212*e^13 + 454031/3106*e^12 + 2433537/6212*e^11 - 6117565/6212*e^10 - 8455605/6212*e^9 + 4883227/1553*e^8 + 15198487/6212*e^7 - 30416005/6212*e^6 - 3325507/1553*e^5 + 10763633/3106*e^4 + 5050227/6212*e^3 - 1357954/1553*e^2 - 779475/6212*e + 113281/3106, -9681/6212*e^15 + 65815/12424*e^14 + 310937/12424*e^13 - 1146479/12424*e^12 - 900269/6212*e^11 + 7539899/12424*e^10 + 4461863/12424*e^9 - 23500177/12424*e^8 - 488763/1553*e^7 + 36330137/12424*e^6 - 1472507/12424*e^5 - 6844771/3106*e^4 + 835299/3106*e^3 + 9058361/12424*e^2 - 226819/6212*e - 775085/12424, 3391/3106*e^15 - 21229/6212*e^14 - 122143/6212*e^13 + 408071/6212*e^12 + 401485/3106*e^11 - 3021113/6212*e^10 - 2180781/6212*e^9 + 10752113/6212*e^8 + 302285/1553*e^7 - 18650175/6212*e^6 + 4285049/6212*e^5 + 7020595/3106*e^4 - 1335116/1553*e^3 - 3356885/6212*e^2 + 238751/1553*e + 100925/6212, -4981/6212*e^15 + 14619/6212*e^14 + 80683/6212*e^13 - 117341/3106*e^12 - 486929/6212*e^11 + 1344101/6212*e^10 + 1390781/6212*e^9 - 802920/1553*e^8 - 2029727/6212*e^7 + 2605441/6212*e^6 + 354657/1553*e^5 + 234327/3106*e^4 - 260879/6212*e^3 - 219621/1553*e^2 + 80851/6212*e - 62741/3106, 485/3106*e^15 - 1893/3106*e^14 - 8065/3106*e^13 + 16545/1553*e^12 + 51839/3106*e^11 - 214845/3106*e^10 - 174863/3106*e^9 + 314805/1553*e^8 + 388367/3106*e^7 - 767187/3106*e^6 - 325271/1553*e^5 + 47675/1553*e^4 + 681657/3106*e^3 + 220327/1553*e^2 - 275299/3106*e - 54418/1553, 5555/6212*e^15 - 1662/1553*e^14 - 59115/3106*e^13 + 126021/6212*e^12 + 971747/6212*e^11 - 450409/3106*e^10 - 1912785/3106*e^9 + 2972721/6212*e^8 + 7168323/6212*e^7 - 1092834/1553*e^6 - 5223715/6212*e^5 + 528670/1553*e^4 + 338687/6212*e^3 + 177975/6212*e^2 + 598721/6212*e - 54005/6212, 6115/3106*e^15 - 57325/6212*e^14 - 159839/6212*e^13 + 1019509/6212*e^12 + 240597/3106*e^11 - 6888585/6212*e^10 + 1633195/6212*e^9 + 22128439/6212*e^8 - 2922913/1553*e^7 - 34602391/6212*e^6 + 22137949/6212*e^5 + 5929137/1553*e^4 - 3776885/1553*e^3 - 5120703/6212*e^2 + 1204901/3106*e + 227099/6212, 3361/6212*e^15 - 6759/6212*e^14 - 70459/6212*e^13 + 36250/1553*e^12 + 569941/6212*e^11 - 1220649/6212*e^10 - 2233093/6212*e^9 + 2527581/3106*e^8 + 4419099/6212*e^7 - 10501965/6212*e^6 - 1111442/1553*e^5 + 2467642/1553*e^4 + 2504675/6212*e^3 - 1677921/3106*e^2 - 722717/6212*e + 62976/1553, 1003/3106*e^15 - 5649/6212*e^14 - 41891/6212*e^13 + 127593/6212*e^12 + 160955/3106*e^11 - 1112809/6212*e^10 - 1071757/6212*e^9 + 4679103/6212*e^8 + 309509/1553*e^7 - 9632223/6212*e^6 + 489173/6212*e^5 + 2186034/1553*e^4 - 278501/1553*e^3 - 2766047/6212*e^2 + 104493/3106*e + 250671/6212, -2972/1553*e^15 + 25641/6212*e^14 + 239679/6212*e^13 - 486119/6212*e^12 - 473518/1553*e^11 + 3530061/6212*e^10 + 7379885/6212*e^9 - 12221125/6212*e^8 - 7282343/3106*e^7 + 20351323/6212*e^6 + 13447065/6212*e^5 - 3584573/1553*e^4 - 2640497/3106*e^3 + 2828585/6212*e^2 + 219927/1553*e + 36899/6212, -23587/6212*e^15 + 127131/12424*e^14 + 875885/12424*e^13 - 2323603/12424*e^12 - 3149503/6212*e^11 + 16215839/12424*e^10 + 22106483/12424*e^9 - 54076765/12424*e^8 - 9713397/3106*e^7 + 88382757/12424*e^6 + 30543709/12424*e^5 - 8146404/1553*e^4 - 1049123/1553*e^3 + 16950789/12424*e^2 + 291809/6212*e - 793617/12424, -3226/1553*e^15 + 7657/1553*e^14 + 64948/1553*e^13 - 296795/3106*e^12 - 508009/1553*e^11 + 1103722/1553*e^10 + 1922283/1553*e^9 - 7839591/3106*e^8 - 3517654/1553*e^7 + 6702381/1553*e^6 + 2597856/1553*e^5 - 9740225/3106*e^4 - 376135/1553*e^3 + 2165159/3106*e^2 - 173489/3106*e - 107639/3106, 5071/3106*e^15 - 30629/6212*e^14 - 182691/6212*e^13 + 565779/6212*e^12 + 624503/3106*e^11 - 3995913/6212*e^10 - 4004053/6212*e^9 + 13470521/6212*e^8 + 1463139/1553*e^7 - 22019227/6212*e^6 - 2651203/6212*e^5 + 7775569/3106*e^4 - 166650/1553*e^3 - 3376293/6212*e^2 + 29861/1553*e + 151157/6212, -6425/6212*e^15 + 8971/6212*e^14 + 138733/6212*e^13 - 39232/1553*e^12 - 1214529/6212*e^11 + 1036081/6212*e^10 + 5501575/6212*e^9 - 1639125/3106*e^8 - 13514283/6212*e^7 + 5477129/6212*e^6 + 8502999/3106*e^5 - 1352509/1553*e^4 - 9251653/6212*e^3 + 690666/1553*e^2 + 1331143/6212*e - 65265/1553, 14279/6212*e^15 - 11036/1553*e^14 - 65737/1553*e^13 + 850691/6212*e^12 + 1819891/6212*e^11 - 3162195/3106*e^10 - 1430603/1553*e^9 + 22663907/6212*e^8 + 7348475/6212*e^7 - 9927121/1553*e^6 - 844329/6212*e^5 + 15045195/3106*e^4 - 2985719/6212*e^3 - 6857633/6212*e^2 + 308601/6212*e - 2163/6212, 3727/1553*e^15 - 112625/12424*e^14 - 478307/12424*e^13 + 2097315/12424*e^12 + 324644/1553*e^11 - 15008985/12424*e^10 - 4339045/12424*e^9 + 51656393/12424*e^8 - 3420711/6212*e^7 - 87011199/12424*e^6 + 28553371/12424*e^5 + 7953370/1553*e^4 - 12091629/6212*e^3 - 14499417/12424*e^2 + 1006865/3106*e + 608193/12424]; 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;