/* 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![-57, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [3, 3, w], [3, 3, w + 2], [4, 2, 2], [5, 5, w + 1], [5, 5, w + 3], [11, 11, w + 1], [11, 11, w + 9], [17, 17, w + 2], [17, 17, w + 14], [19, 19, w], [19, 19, w + 18], [37, 37, -w - 4], [37, 37, w - 5], [43, 43, w + 16], [43, 43, w + 26], [49, 7, -7], [53, 53, -w - 10], [53, 53, w - 11], [61, 61, w + 15], [61, 61, w + 45], [71, 71, w + 33], [71, 71, w + 37], [83, 83, w + 17], [83, 83, w + 65], [97, 97, w + 30], [97, 97, w + 66], [103, 103, w + 34], [103, 103, w + 68], [149, 149, w + 61], [149, 149, w + 87], [151, 151, w + 28], [151, 151, w + 122], [167, 167, w + 39], [167, 167, w + 127], [169, 13, -13], [173, 173, 3*w - 20], [173, 173, -3*w - 17], [181, 181, w + 24], [181, 181, w + 156], [193, 193, 2*w - 7], [193, 193, -2*w - 5], [229, 229, 2*w - 1], [233, 233, w + 27], [233, 233, w + 205], [241, 241, -3*w - 26], [241, 241, 3*w - 29], [271, 271, w + 29], [271, 271, w + 241], [277, 277, w + 50], [277, 277, w + 226], [293, 293, w + 112], [293, 293, w + 180], [307, 307, w + 132], [307, 307, w + 174], [311, 311, w + 88], [311, 311, w + 222], [337, 337, w + 71], [337, 337, w + 265], [347, 347, 2*w - 25], [347, 347, -2*w - 23], [359, 359, 3*w - 14], [359, 359, -3*w - 11], [367, 367, w + 43], [367, 367, w + 323], [373, 373, w + 64], [373, 373, w + 308], [383, 383, -3*w - 10], [383, 383, 3*w - 13], [397, 397, w + 82], [397, 397, w + 314], [401, 401, w + 35], [401, 401, w + 365], [409, 409, w + 67], [409, 409, w + 341], [421, 421, w + 46], [421, 421, w + 374], [431, 431, w + 119], [431, 431, w + 311], [433, 433, w + 175], [433, 433, w + 257], [439, 439, 5*w - 34], [439, 439, -5*w - 29], [443, 443, -3*w - 7], [443, 443, 3*w - 10], [449, 449, -w - 22], [449, 449, w - 23], [457, 457, w + 208], [457, 457, w + 248], [461, 461, 5*w - 46], [461, 461, -5*w - 41], [463, 463, w + 186], [463, 463, w + 276], [467, 467, w + 94], [467, 467, w + 372], [491, 491, w + 145], [491, 491, w + 345], [503, 503, 3*w - 5], [503, 503, -3*w - 2], [509, 509, -3*w - 1], [509, 509, 3*w - 4], [529, 23, -23], [541, 541, 3*w - 34], [541, 541, -3*w - 31], [557, 557, w + 158], [557, 557, w + 398], [569, 569, w + 262], [569, 569, w + 306], [587, 587, w + 223], [587, 587, w + 363], [593, 593, -w - 25], [593, 593, w - 26], [607, 607, -3*w - 32], [607, 607, 3*w - 35], [617, 617, 6*w - 41], [617, 617, -6*w - 35], [619, 619, -5*w - 26], [619, 619, 5*w - 31], [631, 631, w + 144], [631, 631, w + 486], [641, 641, w + 44], [641, 641, w + 596], [643, 643, 7*w + 43], [643, 643, 7*w - 50], [661, 661, w + 77], [661, 661, w + 583], [673, 673, w + 58], [673, 673, w + 614], [683, 683, w + 101], [683, 683, w + 581], [691, 691, -4*w - 13], [691, 691, 4*w - 17], [701, 701, w + 196], [701, 701, w + 504], [733, 733, w + 47], [733, 733, w + 685], [743, 743, w + 136], [743, 743, w + 606], [751, 751, w + 318], [751, 751, w + 432], [757, 757, w + 353], [757, 757, w + 403], [769, 769, w + 209], [769, 769, w + 559], [787, 787, w + 84], [787, 787, w + 702], [821, 821, w + 354], [821, 821, w + 466], [841, 29, -29], [859, 859, w + 97], [859, 859, w + 761], [863, 863, w + 264], [863, 863, w + 598], [883, 883, w + 250], [883, 883, w + 632], [907, 907, -4*w - 1], [907, 907, 4*w - 5], [911, 911, w + 261], [911, 911, w + 649], [919, 919, w + 203], [919, 919, w + 715], [941, 941, w + 356], [941, 941, w + 584], [953, 953, w + 177], [953, 953, w + 775], [961, 31, -31], [967, 967, 3*w - 40], [967, 967, -3*w - 37], [971, 971, w + 54], [971, 971, w + 916], [977, 977, -7*w - 58], [977, 977, 7*w - 65], [991, 991, w + 459], [991, 991, w + 531], [997, 997, w + 385], [997, 997, w + 611]]; primes := [ideal : I in primesArray]; heckePol := x^12 + 2*x^11 - 22*x^10 - 52*x^9 + 150*x^8 + 439*x^7 - 270*x^6 - 1363*x^5 - 343*x^4 + 1278*x^3 + 720*x^2 - 135*x - 81; K := NumberField(heckePol); heckeEigenvaluesArray := [-120332/566811*e^11 - 35563/566811*e^10 + 388940/80973*e^9 + 1627772/566811*e^8 - 7053910/188937*e^7 - 17079890/566811*e^6 + 7143865/62979*e^5 + 57323240/566811*e^4 - 65096494/566811*e^3 - 5820838/62979*e^2 + 1354495/62979*e + 203243/20993, e, -95302/566811*e^11 - 66884/566811*e^10 + 313561/80973*e^9 + 2082484/566811*e^8 - 5732845/188937*e^7 - 19186990/566811*e^6 + 17263868/188937*e^5 + 61337623/566811*e^4 - 49248446/566811*e^3 - 18683264/188937*e^2 + 626693/62979*e + 204053/20993, 14825/80973*e^11 + 1339/80973*e^10 - 335864/80973*e^9 - 128222/80973*e^8 + 291938/8997*e^7 + 1523660/80973*e^6 - 2710709/26991*e^5 - 5277788/80973*e^4 + 8617261/80973*e^3 + 1582082/26991*e^2 - 60479/2999*e - 15197/2999, -1, -17056/188937*e^11 + 16745/188937*e^10 + 17776/8997*e^9 - 75974/62979*e^8 - 2923204/188937*e^7 + 915638/188937*e^6 + 9616009/188937*e^5 - 1264826/188937*e^4 - 1351092/20993*e^3 + 748943/188937*e^2 + 1262273/62979*e + 9130/20993, -100852/188937*e^11 - 44339/188937*e^10 + 326677/26991*e^9 + 1668802/188937*e^8 - 5903150/62979*e^7 - 16492990/188937*e^6 + 5876736/20993*e^5 + 54045757/188937*e^4 - 50182571/188937*e^3 - 5473079/20993*e^2 + 668496/20993*e + 564149/20993, 34598/566811*e^11 - 29450/566811*e^10 - 108440/80973*e^9 + 379297/566811*e^8 + 217514/20993*e^7 - 1222924/566811*e^6 - 6242165/188937*e^5 + 94195/566811*e^4 + 22817902/566811*e^3 + 883748/188937*e^2 - 912293/62979*e - 72922/20993, -138217/566811*e^11 - 39791/566811*e^10 + 444694/80973*e^9 + 1850197/566811*e^8 - 7999792/188937*e^7 - 19491229/566811*e^6 + 23888357/188937*e^5 + 65632156/566811*e^4 - 69212837/566811*e^3 - 20329196/188937*e^2 + 1263068/62979*e + 301775/20993, -3091/20993*e^11 + 1186/62979*e^10 + 29300/8997*e^9 + 50765/62979*e^8 - 1576993/62979*e^7 - 281180/20993*e^6 + 4821913/62979*e^5 + 1128292/20993*e^4 - 5052109/62979*e^3 - 3624799/62979*e^2 + 336253/20993*e + 121454/20993, 599626/566811*e^11 + 251099/566811*e^10 - 1931791/80973*e^9 - 9828382/566811*e^8 + 3852304/20993*e^7 + 98861713/566811*e^6 - 102259894/188937*e^5 - 329307061/566811*e^4 + 279722054/566811*e^3 + 102697921/188937*e^2 - 2185651/62979*e - 1159726/20993, -159673/188937*e^11 - 70421/188937*e^10 + 517012/26991*e^9 + 2677012/188937*e^8 - 3118421/20993*e^7 - 26627086/188937*e^6 + 28048336/62979*e^5 + 88259713/188937*e^4 - 80296487/188937*e^3 - 27744922/62979*e^2 + 976538/20993*e + 1146276/20993, -76322/566811*e^11 - 3274/566811*e^10 + 247049/80973*e^9 + 599714/566811*e^8 - 1516085/62979*e^7 - 7370105/566811*e^6 + 14443763/188937*e^5 + 24715412/566811*e^4 - 49801441/566811*e^3 - 5914457/188937*e^2 + 1617848/62979*e - 44892/20993, -316210/566811*e^11 - 150971/566811*e^10 + 1029868/80973*e^9 + 5439256/566811*e^8 - 6242351/62979*e^7 - 52807033/566811*e^6 + 56372815/188937*e^5 + 170653300/566811*e^4 - 161631683/566811*e^3 - 50516029/188937*e^2 + 657596/20993*e + 582184/20993, -184237/566811*e^11 - 75830/566811*e^10 + 590557/80973*e^9 + 2987500/566811*e^8 - 10520600/188937*e^7 - 29798122/566811*e^6 + 10176098/62979*e^5 + 96805279/566811*e^4 - 78803615/566811*e^3 - 3107712/20993*e^2 + 214624/62979*e + 195933/20993, -276901/566811*e^11 - 97373/566811*e^10 + 880723/80973*e^9 + 4279897/566811*e^8 - 5200483/62979*e^7 - 44604310/566811*e^6 + 45281533/188937*e^5 + 151529338/566811*e^4 - 121191575/566811*e^3 - 48750337/188937*e^2 + 1060117/62979*e + 627975/20993, -15241/62979*e^11 - 9635/62979*e^10 + 50368/8997*e^9 + 307138/62979*e^8 - 929960/20993*e^7 - 2852194/62979*e^6 + 2875225/20993*e^5 + 9112357/62979*e^4 - 9093197/62979*e^3 - 2763914/20993*e^2 + 766961/20993*e + 271372/20993, -265061/566811*e^11 - 103483/566811*e^10 + 859340/80973*e^9 + 4087577/566811*e^8 - 15546029/188937*e^7 - 41219555/566811*e^6 + 46508338/188937*e^5 + 137220677/566811*e^4 - 132151456/566811*e^3 - 43219516/188937*e^2 + 1484566/62979*e + 685441/20993, 401309/566811*e^11 + 170620/566811*e^10 - 1283465/80973*e^9 - 6799412/566811*e^8 + 22843942/188937*e^7 + 68868281/566811*e^6 - 22143964/62979*e^5 - 231520190/566811*e^4 + 174904831/566811*e^3 + 8247234/20993*e^2 - 832082/62979*e - 1020216/20993, -104336/566811*e^11 + 75119/566811*e^10 + 320966/80973*e^9 - 723979/566811*e^8 - 5669102/188937*e^7 + 156526/566811*e^6 + 17384071/188937*e^5 + 8481299/566811*e^4 - 56858638/566811*e^3 - 2885893/188937*e^2 + 1255822/62979*e - 28043/20993, 43130/188937*e^11 + 22814/188937*e^10 - 46031/8997*e^9 - 284966/62979*e^8 + 7363898/188937*e^7 + 8666297/188937*e^6 - 21297608/188937*e^5 - 30247745/188937*e^4 + 2042459/20993*e^3 + 32047679/188937*e^2 - 301891/62979*e - 559487/20993, 608626/566811*e^11 + 270710/566811*e^10 - 1963273/80973*e^9 - 10362658/566811*e^8 + 11773792/62979*e^7 + 103607998/566811*e^6 - 104745031/188937*e^5 - 345792325/566811*e^4 + 291536471/566811*e^3 + 109797637/188937*e^2 - 2774293/62979*e - 1507677/20993, 368029/566811*e^11 + 10772/566811*e^10 - 1174729/80973*e^9 - 2859673/566811*e^8 + 7010474/62979*e^7 + 36441934/566811*e^6 - 62720461/188937*e^5 - 128977573/566811*e^4 + 180330446/566811*e^3 + 37994101/188937*e^2 - 2199313/62979*e - 165000/20993, -58258/566811*e^11 - 127490/566811*e^10 + 190243/80973*e^9 + 3278224/566811*e^8 - 3279016/188937*e^7 - 27685753/566811*e^6 + 8052029/188937*e^5 + 86772298/566811*e^4 - 5675504/566811*e^3 - 26786219/188937*e^2 - 1722598/62979*e + 195464/20993, -171397/566811*e^11 - 100754/566811*e^10 + 559678/80973*e^9 + 3449578/566811*e^8 - 3398984/62979*e^7 - 33569440/566811*e^6 + 30716227/188937*e^5 + 113854855/566811*e^4 - 87485105/566811*e^3 - 39129901/188937*e^2 + 958540/62979*e + 706907/20993, -268103/566811*e^11 - 132658/566811*e^10 + 860732/80973*e^9 + 4817843/566811*e^8 - 5099687/62979*e^7 - 46774472/566811*e^6 + 43837403/188937*e^5 + 150626780/566811*e^4 - 105878659/566811*e^3 - 44215712/188937*e^2 - 1330480/62979*e + 501463/20993, 90086/62979*e^11 + 85606/188937*e^10 - 868840/26991*e^9 - 3834403/188937*e^8 + 46872590/188937*e^7 + 4442257/20993*e^6 - 139753448/188937*e^5 - 44686855/62979*e^4 + 132821060/188937*e^3 + 123269906/188937*e^2 - 4877095/62979*e - 1312886/20993, -57083/62979*e^11 - 71965/188937*e^10 + 554050/26991*e^9 + 2796391/188937*e^8 - 30027215/188937*e^7 - 3129123/20993*e^6 + 89881520/188937*e^5 + 31499368/62979*e^4 - 86242601/188937*e^3 - 90088469/188937*e^2 + 3663292/62979*e + 1040162/20993, -962201/566811*e^11 - 480112/566811*e^10 + 3120155/80973*e^9 + 17179910/566811*e^8 - 18771005/62979*e^7 - 167348624/566811*e^6 + 167103086/188937*e^5 + 548815094/566811*e^4 - 462688591/566811*e^3 - 170059679/188937*e^2 + 4354982/62979*e + 2063633/20993, 77005/188937*e^11 + 6946/20993*e^10 - 252839/26991*e^9 - 1847693/188937*e^8 + 13682051/188937*e^7 + 16572232/188937*e^6 - 39521102/188937*e^5 - 51800950/188937*e^4 + 32182135/188937*e^3 + 45656999/188937*e^2 + 257207/62979*e - 540875/20993, 699404/566811*e^11 + 184396/566811*e^10 - 2234162/80973*e^9 - 9127388/566811*e^8 + 13269784/62979*e^7 + 97166159/566811*e^6 - 116601494/188937*e^5 - 325080839/566811*e^4 + 315752734/566811*e^3 + 96710786/188937*e^2 - 2332217/62979*e - 917925/20993, 402014/566811*e^11 + 190735/566811*e^10 - 1295198/80973*e^9 - 7044056/566811*e^8 + 2575135/20993*e^7 + 69292031/566811*e^6 - 67598432/188937*e^5 - 227400380/566811*e^4 + 175286470/566811*e^3 + 69471281/188937*e^2 + 371521/62979*e - 742059/20993, -339802/566811*e^11 - 1349/566811*e^10 + 1096846/80973*e^9 + 2489686/566811*e^8 - 20112664/188937*e^7 - 33159568/566811*e^6 + 63248435/188937*e^5 + 122433256/566811*e^4 - 209263940/566811*e^3 - 39479261/188937*e^2 + 5302907/62979*e + 353324/20993, 821579/566811*e^11 + 313636/566811*e^10 - 2643986/80973*e^9 - 12771488/566811*e^8 + 15815063/62979*e^7 + 129501305/566811*e^6 - 140151950/188937*e^5 - 428817728/566811*e^4 + 387224416/566811*e^3 + 129713663/188937*e^2 - 4034579/62979*e - 1190319/20993, 658139/566811*e^11 + 237127/566811*e^10 - 2134892/80973*e^9 - 9810308/566811*e^8 + 12938768/62979*e^7 + 100329956/566811*e^6 - 117850490/188937*e^5 - 336240659/566811*e^4 + 351892684/566811*e^3 + 105557204/188937*e^2 - 6109424/62979*e - 1318899/20993, -84847/80973*e^11 - 36770/80973*e^10 + 1905547/80973*e^9 + 1438981/80973*e^8 - 540073/2999*e^7 - 14491891/80973*e^6 + 14206579/26991*e^5 + 48516091/80973*e^4 - 37891997/80973*e^3 - 15379852/26991*e^2 + 177439/8997*e + 186486/2999, 827287/566811*e^11 + 277286/566811*e^10 - 2680699/80973*e^9 - 11762923/566811*e^8 + 48632621/188937*e^7 + 120798670/566811*e^6 - 49035206/62979*e^5 - 401335003/566811*e^4 + 436345913/566811*e^3 + 13456312/20993*e^2 - 7376431/62979*e - 1205835/20993, -964318/566811*e^11 - 334604/566811*e^10 + 3116362/80973*e^9 + 14053432/566811*e^8 - 56307073/188937*e^7 - 143563474/566811*e^6 + 168576692/188937*e^5 + 474573139/566811*e^4 - 479642141/566811*e^3 - 141850577/188937*e^2 + 5161259/62979*e + 1495118/20993, -25172/80973*e^11 - 9229/80973*e^10 + 555158/80973*e^9 + 386504/80973*e^8 - 1372277/26991*e^7 - 3911294/80973*e^6 + 3750907/26991*e^5 + 12736715/80973*e^4 - 8201803/80973*e^3 - 3808852/26991*e^2 - 65255/8997*e + 66340/2999, 1112074/566811*e^11 + 495590/566811*e^10 - 3601687/80973*e^9 - 18548797/566811*e^8 + 65008787/188937*e^7 + 183013465/566811*e^6 - 64429301/62979*e^5 - 599424355/566811*e^4 + 538429520/566811*e^3 + 20215990/20993*e^2 - 5288155/62979*e - 2212863/20993, -565162/188937*e^11 - 217820/188937*e^10 + 1820017/26991*e^9 + 8829424/188937*e^8 - 10894910/20993*e^7 - 89619547/188937*e^6 + 96645319/62979*e^5 + 298508878/188937*e^4 - 266033696/188937*e^3 - 92505667/62979*e^2 + 2077533/20993*e + 3437334/20993, 585131/188937*e^11 + 208703/188937*e^10 - 630518/8997*e^9 - 2900150/62979*e^8 + 102573164/188937*e^7 + 89191208/188937*e^6 - 307819163/188937*e^5 - 298718414/188937*e^4 + 32971717/20993*e^3 + 279101111/188937*e^2 - 12530101/62979*e - 3494684/20993, 28421/62979*e^11 + 6025/62979*e^10 - 92393/8997*e^9 - 320372/62979*e^8 + 1688251/20993*e^7 + 3486071/62979*e^6 - 5195230/20993*e^5 - 11821097/62979*e^4 + 16310137/62979*e^3 + 3527226/20993*e^2 - 1345291/20993*e - 338413/20993, -54641/188937*e^11 - 28310/188937*e^10 + 61930/8997*e^9 + 313816/62979*e^8 - 10810127/188937*e^7 - 8956268/188937*e^6 + 36620156/188937*e^5 + 29474654/188937*e^4 - 15146272/62979*e^3 - 29579072/188937*e^2 + 4064071/62979*e + 637955/20993, 376685/566811*e^11 + 42901/566811*e^10 - 1210070/80973*e^9 - 3585809/566811*e^8 + 21741445/188937*e^7 + 42369671/566811*e^6 - 21515141/62979*e^5 - 148703171/566811*e^4 + 176622499/566811*e^3 + 15036862/62979*e^2 - 476603/62979*e - 155385/20993, 70097/26991*e^11 + 8291/8997*e^10 - 1575868/26991*e^9 - 1049200/26991*e^8 + 12084757/26991*e^7 + 10759658/26991*e^6 - 35477704/26991*e^5 - 35857787/26991*e^4 + 31806803/26991*e^3 + 32933383/26991*e^2 - 539693/8997*e - 389935/2999, -256553/188937*e^11 - 79150/188937*e^10 + 817631/26991*e^9 + 3678740/188937*e^8 - 14527052/62979*e^7 - 38746802/188937*e^6 + 42276151/62979*e^5 + 130868825/188937*e^4 - 111301510/188937*e^3 - 40696945/62979*e^2 + 166645/20993*e + 1276357/20993, 52163/188937*e^11 - 26759/188937*e^10 - 158996/26991*e^9 + 189304/188937*e^8 + 2706832/62979*e^7 + 591401/188937*e^6 - 2510882/20993*e^5 - 3073937/188937*e^4 + 18413398/188937*e^3 - 414821/20993*e^2 + 191213/20993*e + 493749/20993, -2413112/566811*e^11 - 951751/566811*e^10 + 7810604/80973*e^9 + 37695482/566811*e^8 - 141199558/188937*e^7 - 379944098/566811*e^6 + 46974492/20993*e^5 + 1261168778/566811*e^4 - 1208938207/566811*e^3 - 129435476/62979*e^2 + 14785451/62979*e + 4174413/20993, 73945/62979*e^11 + 17639/62979*e^10 - 236497/8997*e^9 - 928765/62979*e^8 + 4231702/20993*e^7 + 10052431/62979*e^6 - 12553939/20993*e^5 - 33879787/62979*e^4 + 35690384/62979*e^3 + 9944730/20993*e^2 - 1449089/20993*e - 503733/20993, -264515/566811*e^11 - 124084/566811*e^10 + 860705/80973*e^9 + 4403816/566811*e^8 - 15551062/188937*e^7 - 42286292/566811*e^6 + 5109196/20993*e^5 + 133002596/566811*e^4 - 123276541/566811*e^3 - 11744669/62979*e^2 + 135449/62979*e + 211401/20993, 19687/20993*e^11 + 32483/62979*e^10 - 192734/8997*e^9 - 1116506/62979*e^8 + 10525951/62979*e^7 + 3579768/20993*e^6 - 31731982/62979*e^5 - 11745163/20993*e^4 + 30579277/62979*e^3 + 33433243/62979*e^2 - 1149238/20993*e - 1542705/20993, 1720738/566811*e^11 + 633833/566811*e^10 - 5552869/80973*e^9 - 26037166/566811*e^8 + 33369475/62979*e^7 + 264754411/566811*e^6 - 298711606/188937*e^5 - 878319958/566811*e^4 + 847680266/566811*e^3 + 268324078/188937*e^2 - 3238505/20993*e - 2958643/20993, -599204/566811*e^11 - 230572/566811*e^10 + 1926848/80973*e^9 + 9489611/566811*e^8 - 34580888/188937*e^7 - 97415483/566811*e^6 + 102310375/188937*e^5 + 330595262/566811*e^4 - 282428344/566811*e^3 - 106102393/188937*e^2 + 1891831/62979*e + 1283257/20993, -318233/566811*e^11 - 107746/566811*e^10 + 1032308/80973*e^9 + 4513814/566811*e^8 - 6261524/62979*e^7 - 46032692/566811*e^6 + 57320006/188937*e^5 + 152508131/566811*e^4 - 175582732/566811*e^3 - 47278655/188937*e^2 + 3342611/62979*e + 739327/20993, 311498/188937*e^11 + 118367/188937*e^10 - 111740/2999*e^9 - 533572/20993*e^8 + 54422786/188937*e^7 + 48667001/188937*e^6 - 162606449/188937*e^5 - 161372909/188937*e^4 + 51578816/62979*e^3 + 148400339/188937*e^2 - 5883403/62979*e - 1598792/20993, -1231721/566811*e^11 - 404857/566811*e^10 + 3948854/80973*e^9 + 17855645/566811*e^8 - 23541613/62979*e^7 - 185465792/566811*e^6 + 208008911/188937*e^5 + 620945123/566811*e^4 - 572608600/566811*e^3 - 189361406/188937*e^2 + 1839206/20993*e + 1764020/20993, -69437/566811*e^11 - 106987/566811*e^10 + 232772/80973*e^9 + 2751719/566811*e^8 - 4180672/188937*e^7 - 22977707/566811*e^6 + 1239409/20993*e^5 + 70689770/566811*e^4 - 12806719/566811*e^3 - 7754786/62979*e^2 - 3022456/62979*e + 620070/20993, 46405/20993*e^11 + 58886/62979*e^10 - 451196/8997*e^9 - 2243147/62979*e^8 + 24453463/62979*e^7 + 7425532/20993*e^6 - 72840403/62979*e^5 - 24368710/20993*e^4 + 68005486/62979*e^3 + 66338998/62979*e^2 - 2217331/20993*e - 2202811/20993, 1687451/566811*e^11 + 596170/566811*e^10 - 5427656/80973*e^9 - 25280306/566811*e^8 + 97533493/188937*e^7 + 259754561/566811*e^6 - 32219807/20993*e^5 - 867384353/566811*e^4 + 821991091/566811*e^3 + 89294537/62979*e^2 - 10548968/62979*e - 3397839/20993, -347860/566811*e^11 + 9937/566811*e^10 + 1103692/80973*e^9 + 2317594/566811*e^8 - 6557195/62979*e^7 - 31663501/566811*e^6 + 58443787/188937*e^5 + 114470743/566811*e^4 - 166112759/566811*e^3 - 36138283/188937*e^2 + 1063939/62979*e + 533286/20993, 567919/188937*e^11 + 285316/188937*e^10 - 612872/8997*e^9 - 3420104/62979*e^8 + 99384364/188937*e^7 + 100155379/188937*e^6 - 294027904/188937*e^5 - 329142949/188937*e^4 + 89527142/62979*e^3 + 307229920/188937*e^2 - 5990816/62979*e - 3475102/20993, 1312265/566811*e^11 + 281590/566811*e^10 - 4242329/80973*e^9 - 15211583/566811*e^8 + 8562572/20993*e^7 + 165615341/566811*e^6 - 234952838/188937*e^5 - 560693402/566811*e^4 + 713118775/566811*e^3 + 169431131/188937*e^2 - 13042235/62979*e - 1883396/20993, 2212949/566811*e^11 + 802969/566811*e^10 - 7145900/80973*e^9 - 33150563/566811*e^8 + 14326770/20993*e^7 + 337326665/566811*e^6 - 385217468/188937*e^5 - 1117307384/566811*e^4 + 1095288259/566811*e^3 + 339487769/188937*e^2 - 13113167/62979*e - 4049657/20993, 46625/20993*e^11 + 39751/62979*e^10 - 452545/8997*e^9 - 1827199/62979*e^8 + 24625994/62979*e^7 + 6363845/20993*e^6 - 74647133/62979*e^5 - 21101267/20993*e^4 + 74391776/62979*e^3 + 56173406/62979*e^2 - 3844053/20993*e - 1747667/20993, -397813/188937*e^11 - 139658/188937*e^10 + 1271212/26991*e^9 + 6029431/188937*e^8 - 7542904/20993*e^7 - 62223094/188937*e^6 + 66007390/62979*e^5 + 207778714/188937*e^4 - 176221673/188937*e^3 - 63330262/62979*e^2 + 1096119/20993*e + 2154640/20993, -1978618/566811*e^11 - 762458/566811*e^10 + 6401671/80973*e^9 + 30256612/566811*e^8 - 12845653/20993*e^7 - 303524317/566811*e^6 + 345380767/188937*e^5 + 993579235/566811*e^4 - 982379978/566811*e^3 - 293653354/188937*e^2 + 12032242/62979*e + 2713965/20993, 2503003/566811*e^11 + 999140/566811*e^10 - 8100205/80973*e^9 - 39427945/566811*e^8 + 48792866/62979*e^7 + 396925255/566811*e^6 - 437665699/188937*e^5 - 1317171400/566811*e^4 + 1244152745/566811*e^3 + 406337887/188937*e^2 - 4838822/20993*e - 4579513/20993, -85820/80973*e^11 - 39391/80973*e^10 + 1941002/80973*e^9 + 1464269/80973*e^8 - 4992218/26991*e^7 - 14390657/80973*e^6 + 14819902/26991*e^5 + 46850105/80973*e^4 - 41633692/80973*e^3 - 13943701/26991*e^2 + 426238/8997*e + 122245/2999, -260398/566811*e^11 - 181262/566811*e^10 + 854503/80973*e^9 + 5690140/566811*e^8 - 15629345/188937*e^7 - 52231975/566811*e^6 + 15816247/62979*e^5 + 164345242/566811*e^4 - 141946811/566811*e^3 - 15893708/62979*e^2 + 2382301/62979*e + 91464/20993, -36031/20993*e^11 - 5183/20993*e^10 + 115354/2999*e^9 + 367387/20993*e^8 - 6198782/20993*e^7 - 4202368/20993*e^6 + 18429378/20993*e^5 + 14446756/20993*e^4 - 17566585/20993*e^3 - 13215178/20993*e^2 + 2168415/20993*e + 1720364/20993, 46009/566811*e^11 + 66098/566811*e^10 - 162385/80973*e^9 - 1712446/566811*e^8 + 3176114/188937*e^7 + 14916508/566811*e^6 - 1159496/20993*e^5 - 49672831/566811*e^4 + 34462511/566811*e^3 + 6113224/62979*e^2 - 374008/62979*e - 467721/20993, -2006950/566811*e^11 - 702518/566811*e^10 + 6465796/80973*e^9 + 29613832/566811*e^8 - 12921523/20993*e^7 - 303891022/566811*e^6 + 345782281/188937*e^5 + 1013571700/566811*e^4 - 976670216/566811*e^3 - 310763911/188937*e^2 + 3965666/20993*e + 3577636/20993, 250786/566811*e^11 - 15268/566811*e^10 - 788563/80973*e^9 - 1743355/566811*e^8 + 13940233/188937*e^7 + 25763938/566811*e^6 - 40885970/188937*e^5 - 102167986/566811*e^4 + 112158671/566811*e^3 + 38348147/188937*e^2 - 1232837/62979*e - 779495/20993, -416813/566811*e^11 - 97087/566811*e^10 + 1361666/80973*e^9 + 4869110/566811*e^8 - 2788991/20993*e^7 - 52089749/566811*e^6 + 78524366/188937*e^5 + 175382345/566811*e^4 - 251504434/566811*e^3 - 54435515/188937*e^2 + 1658976/20993*e + 1051577/20993, 37739/26991*e^11 + 3700/8997*e^10 - 855562/26991*e^9 - 494908/26991*e^8 + 6644308/26991*e^7 + 5095370/26991*e^6 - 20001193/26991*e^5 - 16551938/26991*e^4 + 19349264/26991*e^3 + 13958311/26991*e^2 - 864539/8997*e - 120316/2999, 724880/566811*e^11 + 96568/566811*e^10 - 2323421/80973*e^9 - 7212680/566811*e^8 + 13934642/62979*e^7 + 82445918/566811*e^6 - 125775779/188937*e^5 - 277955288/566811*e^4 + 372423829/566811*e^3 + 78718688/188937*e^2 - 6017657/62979*e - 815113/20993, -115156/566811*e^11 - 106745/566811*e^10 + 398881/80973*e^9 + 2639872/566811*e^8 - 7674508/188937*e^7 - 20242564/566811*e^6 + 24861041/188937*e^5 + 49670284/566811*e^4 - 84106823/566811*e^3 - 6758924/188937*e^2 + 2240888/62979*e + 17669/20993, 128386/188937*e^11 + 58109/188937*e^10 - 419788/26991*e^9 - 2185831/188937*e^8 + 7736647/62979*e^7 + 21863239/188937*e^6 - 24205799/62979*e^5 - 74122789/188937*e^4 + 78561626/188937*e^3 + 25012460/62979*e^2 - 1842833/20993*e - 1380270/20993, -1098625/566811*e^11 - 318221/566811*e^10 + 3531844/80973*e^9 + 15097987/566811*e^8 - 63685511/188937*e^7 - 160731343/566811*e^6 + 63946118/62979*e^5 + 549470806/566811*e^4 - 569571161/566811*e^3 - 19432617/20993*e^2 + 9724669/62979*e + 2080446/20993, 437818/566811*e^11 + 226514/566811*e^10 - 1382629/80973*e^9 - 8493718/566811*e^8 + 24038701/188937*e^7 + 84411442/566811*e^6 - 66305303/188937*e^5 - 281614966/566811*e^4 + 145684145/566811*e^3 + 89969000/188937*e^2 + 2256307/62979*e - 1387733/20993, 483269/566811*e^11 + 225772/566811*e^10 - 1591394/80973*e^9 - 7989431/566811*e^8 + 29331716/188937*e^7 + 77288921/566811*e^6 - 90323626/188937*e^5 - 250017365/566811*e^4 + 272158675/566811*e^3 + 74110570/188937*e^2 - 4022812/62979*e - 478447/20993, 850435/566811*e^11 + 293213/566811*e^10 - 2739790/80973*e^9 - 12395944/566811*e^8 + 5471629/20993*e^7 + 126684283/566811*e^6 - 145836037/188937*e^5 - 418609504/566811*e^4 + 403857131/566811*e^3 + 127085029/188937*e^2 - 3936742/62979*e - 1659828/20993, 714874/566811*e^11 + 524393/566811*e^10 - 2345437/80973*e^9 - 16079977/566811*e^8 + 42570782/188937*e^7 + 146799316/566811*e^6 - 41915891/62979*e^5 - 465250246/566811*e^4 + 333766499/566811*e^3 + 15616078/20993*e^2 - 390592/62979*e - 1445361/20993, -868120/566811*e^11 - 351587/566811*e^10 + 2817037/80973*e^9 + 13479805/566811*e^8 - 5659870/20993*e^7 - 133587616/566811*e^6 + 151670629/188937*e^5 + 433908028/566811*e^4 - 419219294/566811*e^3 - 127504303/188937*e^2 + 2380918/62979*e + 1341031/20993, 425482/188937*e^11 + 145220/188937*e^10 - 1377481/26991*e^9 - 6135034/188937*e^8 + 24950609/62979*e^7 + 62926942/188937*e^6 - 25024535/20993*e^5 - 209194210/188937*e^4 + 216942653/188937*e^3 + 21090707/20993*e^2 - 2785007/20993*e - 1762212/20993, 111632/26991*e^11 + 33700/26991*e^10 - 2523947/26991*e^9 - 1519769/26991*e^8 + 2173642/2999*e^7 + 15879185/26991*e^6 - 19631795/8997*e^5 - 53214941/26991*e^4 + 57394351/26991*e^3 + 16241174/8997*e^2 - 861649/2999*e - 545656/2999, 111614/62979*e^11 + 23998/62979*e^10 - 356753/8997*e^9 - 1355099/62979*e^8 + 6380831/20993*e^7 + 14959286/62979*e^6 - 18867256/20993*e^5 - 51533936/62979*e^4 + 52086982/62979*e^3 + 16186692/20993*e^2 - 1025378/20993*e - 1798295/20993, 2080220/566811*e^11 + 761197/566811*e^10 - 6717476/80973*e^9 - 31214189/566811*e^8 + 13465597/20993*e^7 + 316681325/566811*e^6 - 362005724/188937*e^5 - 1045975772/566811*e^4 + 1030193452/566811*e^3 + 316080428/188937*e^2 - 12172484/62979*e - 3541557/20993, -148985/62979*e^11 - 137029/188937*e^10 + 1421266/26991*e^9 + 6435598/188937*e^8 - 75442967/188937*e^7 - 7583554/20993*e^6 + 217610867/188937*e^5 + 77578036/62979*e^4 - 186740756/188937*e^3 - 221288882/188937*e^2 + 1457695/62979*e + 2760050/20993, -304684/566811*e^11 - 146387/566811*e^10 + 959716/80973*e^9 + 5650336/566811*e^8 - 5514790/62979*e^7 - 56604361/566811*e^6 + 43892929/188937*e^5 + 189370603/566811*e^4 - 71022407/566811*e^3 - 60291496/188937*e^2 - 1839128/20993*e + 660658/20993, -545473/566811*e^11 - 230906/566811*e^10 + 1747780/80973*e^9 + 9217699/566811*e^8 - 31200047/188937*e^7 - 93671989/566811*e^6 + 30445498/62979*e^5 + 317408656/566811*e^4 - 245294216/566811*e^3 - 34893836/62979*e^2 + 1526089/62979*e + 1545777/20993, -707551/566811*e^11 - 365033/566811*e^10 + 2287270/80973*e^9 + 12878461/566811*e^8 - 4548945/20993*e^7 - 124484890/566811*e^6 + 118563904/188937*e^5 + 403352479/566811*e^4 - 294495494/566811*e^3 - 120093037/188937*e^2 - 2281757/62979*e + 1218835/20993, -650617/566811*e^11 - 249413/566811*e^10 + 2096716/80973*e^9 + 9822595/566811*e^8 - 37485416/188937*e^7 - 97942000/566811*e^6 + 36340627/62979*e^5 + 316991530/566811*e^4 - 280727336/566811*e^3 - 30304913/62979*e^2 - 227309/62979*e + 598092/20993, -279338/188937*e^11 - 16381/188937*e^10 + 891125/26991*e^9 + 2382452/188937*e^8 - 15960127/62979*e^7 - 29351528/188937*e^6 + 15882837/20993*e^5 + 103022300/188937*e^4 - 136778269/188937*e^3 - 10310443/20993*e^2 + 1513928/20993*e + 682659/20993, 1341220/566811*e^11 + 557447/566811*e^10 - 4351381/80973*e^9 - 21562783/566811*e^8 + 26336950/62979*e^7 + 215402410/566811*e^6 - 238974346/188937*e^5 - 711037753/566811*e^4 + 705423365/566811*e^3 + 218067154/188937*e^2 - 11037697/62979*e - 2334123/20993, -2128964/566811*e^11 - 933916/566811*e^10 + 6919508/80973*e^9 + 35171921/566811*e^8 - 41895545/62979*e^7 - 349211609/566811*e^6 + 378989027/188937*e^5 + 1156354400/566811*e^4 - 1100593612/566811*e^3 - 360461081/188937*e^2 + 15135860/62979*e + 4462229/20993, 687319/188937*e^11 + 96458/62979*e^10 - 2217890/26991*e^9 - 11172233/188937*e^8 + 119527754/188937*e^7 + 111605938/188937*e^6 - 352898507/188937*e^5 - 368445472/188937*e^4 + 324166687/188937*e^3 + 338289881/188937*e^2 - 10017037/62979*e - 3770471/20993, -374164/80973*e^11 - 159590/80973*e^10 + 8444131/80973*e^9 + 6160312/80973*e^8 - 7217894/8997*e^7 - 61579840/80973*e^6 + 63850849/26991*e^5 + 203952655/80973*e^4 - 175006166/80973*e^3 - 63232159/26991*e^2 + 1525819/8997*e + 757863/2999, -269573/80973*e^11 - 115258/80973*e^10 + 6116360/80973*e^9 + 4386521/80973*e^8 - 5266267/8997*e^7 - 43607663/80973*e^6 + 47202452/26991*e^5 + 143701940/80973*e^4 - 133911973/80973*e^3 - 44134586/26991*e^2 + 545096/2999*e + 588275/2999, 401365/566811*e^11 + 389741/566811*e^10 - 1316314/80973*e^9 - 11062468/566811*e^8 + 23694988/188937*e^7 + 96396964/566811*e^6 - 68106026/188937*e^5 - 293333116/566811*e^4 + 162838175/566811*e^3 + 83566214/188937*e^2 + 1825384/62979*e - 1056455/20993, -897704/566811*e^11 - 345682/566811*e^10 + 2908022/80973*e^9 + 13732259/566811*e^8 - 17530546/62979*e^7 - 138732149/566811*e^6 + 157768577/188937*e^5 + 462450866/566811*e^4 - 458664568/566811*e^3 - 145732610/188937*e^2 + 7622723/62979*e + 2218668/20993, 2198425/566811*e^11 + 963869/566811*e^10 - 7134226/80973*e^9 - 36313810/566811*e^8 + 43084789/62979*e^7 + 360208252/566811*e^6 - 388021141/188937*e^5 - 1189566754/566811*e^4 + 1118386520/566811*e^3 + 369539836/188937*e^2 - 15176089/62979*e - 4872905/20993, -1697758/566811*e^11 - 771437/566811*e^10 + 5493358/80973*e^9 + 28809442/566811*e^8 - 11007613/20993*e^7 - 284584810/566811*e^6 + 294465103/188937*e^5 + 936522901/566811*e^4 - 823878779/566811*e^3 - 286758385/188937*e^2 + 2966189/20993*e + 2865283/20993, -2686010/566811*e^11 - 960817/566811*e^10 + 8657849/80973*e^9 + 40180988/566811*e^8 - 17312801/20993*e^7 - 411781634/566811*e^6 + 463597607/188937*e^5 + 1374850748/566811*e^4 - 1309111831/566811*e^3 - 422245139/188937*e^2 + 15494141/62979*e + 4496060/20993, -1673564/566811*e^11 - 848497/566811*e^10 + 5439881/80973*e^9 + 30016460/566811*e^8 - 10936929/20993*e^7 - 290995919/566811*e^6 + 293220164/188937*e^5 + 949886543/566811*e^4 - 819744823/566811*e^3 - 290818085/188937*e^2 + 8199356/62979*e + 3171668/20993, -117808/80973*e^11 - 15680/80973*e^10 + 2619799/80973*e^9 + 1247806/80973*e^8 - 2225129/8997*e^7 - 14521450/80973*e^6 + 19835356/26991*e^5 + 50535649/80973*e^4 - 57135920/80973*e^3 - 15492703/26991*e^2 + 293127/2999*e + 103888/2999, 1966184/566811*e^11 + 565363/566811*e^10 - 6363779/80973*e^9 - 25853774/566811*e^8 + 38466944/62979*e^7 + 271321382/566811*e^6 - 349319468/188937*e^5 - 912272252/566811*e^4 + 1036086028/566811*e^3 + 281994071/188937*e^2 - 16129487/62979*e - 3576892/20993, -742549/566811*e^11 - 227291/566811*e^10 + 2379715/80973*e^9 + 10587355/566811*e^8 - 14199386/62979*e^7 - 112766482/566811*e^6 + 125796826/188937*e^5 + 389468005/566811*e^4 - 348101990/566811*e^3 - 127446076/188937*e^2 + 1058597/20993*e + 1853506/20993, 21316/62979*e^11 + 18149/62979*e^10 - 66670/8997*e^9 - 560710/62979*e^8 + 1117226/20993*e^7 + 5103379/62979*e^6 - 2766713/20993*e^5 - 15906955/62979*e^4 + 3588848/62979*e^3 + 4510138/20993*e^2 + 892938/20993*e - 169888/20993, -914252/566811*e^11 - 636931/566811*e^10 + 2974616/80973*e^9 + 20309165/566811*e^8 - 53650234/188937*e^7 - 189127151/566811*e^6 + 52647691/62979*e^5 + 610056884/566811*e^4 - 426404515/566811*e^3 - 21143508/20993*e^2 + 3155162/62979*e + 2693205/20993, 1306783/566811*e^11 + 547718/566811*e^10 - 4235041/80973*e^9 - 21035755/566811*e^8 + 76597699/188937*e^7 + 210063751/566811*e^6 - 229352798/188937*e^5 - 695703262/566811*e^4 + 658809194/566811*e^3 + 214764353/188937*e^2 - 9491603/62979*e - 2320778/20993, -1179232/566811*e^11 - 417848/566811*e^10 + 3784675/80973*e^9 + 17816674/566811*e^8 - 67727615/188937*e^7 - 183871777/566811*e^6 + 66370373/62979*e^5 + 617754205/566811*e^4 - 537043520/566811*e^3 - 21314304/20993*e^2 + 2949658/62979*e + 2201229/20993, 1859971/566811*e^11 + 645440/566811*e^10 - 6010018/80973*e^9 - 27461311/566811*e^8 + 36250519/62979*e^7 + 283524382/566811*e^6 - 327604996/188937*e^5 - 954681568/566811*e^4 + 957469958/566811*e^3 + 298640842/188937*e^2 - 14149423/62979*e - 3486041/20993, 391495/80973*e^11 + 180107/80973*e^10 - 8865097/80973*e^9 - 6656779/80973*e^8 + 22779920/26991*e^7 + 65524780/80973*e^6 - 7461482/2999*e^5 - 215029798/80973*e^4 + 181904090/80973*e^3 + 21949288/8997*e^2 - 1154683/8997*e - 782043/2999, 347078/566811*e^11 - 71555/566811*e^10 - 1090652/80973*e^9 - 1312547/566811*e^8 + 19538917/188937*e^7 + 26664341/566811*e^6 - 20146247/62979*e^5 - 107897255/566811*e^4 + 203672653/566811*e^3 + 12088948/62979*e^2 - 7018442/62979*e - 648777/20993, -28930/566811*e^11 - 172412/566811*e^10 + 119611/80973*e^9 + 3845251/566811*e^8 - 2526701/188937*e^7 - 29329327/566811*e^6 + 2700589/62979*e^5 + 86223724/566811*e^4 - 18807449/566811*e^3 - 8790473/62979*e^2 - 830915/62979*e + 170262/20993, 17116/20993*e^11 + 22793/62979*e^10 - 162533/8997*e^9 - 929945/62979*e^8 + 8560933/62979*e^7 + 3182348/20993*e^6 - 24178402/62979*e^5 - 10888340/20993*e^4 + 18905731/62979*e^3 + 32277664/62979*e^2 + 536849/20993*e - 1251972/20993, 95090/62979*e^11 + 58781/188937*e^10 - 927278/26991*e^9 - 3206186/188937*e^8 + 50927806/188937*e^7 + 11678515/62979*e^6 - 157549930/188937*e^5 - 13186260/20993*e^4 + 164441203/188937*e^3 + 106682854/188937*e^2 - 8583110/62979*e - 954145/20993, 373922/80973*e^11 + 164107/80973*e^10 - 8469359/80973*e^9 - 6253646/80973*e^8 + 7286051/8997*e^7 + 62341931/80973*e^6 - 65347787/26991*e^5 - 207106889/80973*e^4 + 186502912/80973*e^3 + 65223104/26991*e^2 - 2367917/8997*e - 852425/2999, -3046067/566811*e^11 - 1137193/566811*e^10 + 9813521/80973*e^9 + 46817570/566811*e^8 - 176511868/188937*e^7 - 477953759/566811*e^6 + 174816430/62979*e^5 + 1599497735/566811*e^4 - 1471227805/566811*e^3 - 55479040/20993*e^2 + 14910794/62979*e + 5798580/20993, -443854/566811*e^11 - 124037/566811*e^10 + 1430518/80973*e^9 + 5679409/566811*e^8 - 8564779/62979*e^7 - 58645690/566811*e^6 + 75768046/188937*e^5 + 188399020/566811*e^4 - 204589685/566811*e^3 - 49964062/188937*e^2 + 977233/62979*e + 199978/20993, 387430/188937*e^11 + 103367/188937*e^10 - 1238689/26991*e^9 - 5099923/188937*e^8 + 7381987/20993*e^7 + 54108958/188937*e^6 - 65495428/62979*e^5 - 180043417/188937*e^4 + 183998399/188937*e^3 + 52663306/62979*e^2 - 2379406/20993*e - 1312028/20993, -309769/566811*e^11 - 215093/566811*e^10 + 1014481/80973*e^9 + 6590809/566811*e^8 - 6111769/62979*e^7 - 59696950/566811*e^6 + 53566489/188937*e^5 + 185897521/566811*e^4 - 138504092/566811*e^3 - 53139178/188937*e^2 + 394755/20993*e + 270391/20993, 98134/62979*e^11 + 95558/188937*e^10 - 949433/26991*e^9 - 4207289/188937*e^8 + 51394339/188937*e^7 + 4844859/20993*e^6 - 153442663/188937*e^5 - 48393248/62979*e^4 + 142495561/188937*e^3 + 129744418/188937*e^2 - 2092442/62979*e - 810241/20993, -933565/566811*e^11 - 403187/566811*e^10 + 3008806/80973*e^9 + 15625402/566811*e^8 - 6016686/20993*e^7 - 156193264/566811*e^6 + 161041273/188937*e^5 + 517590601/566811*e^4 - 456168977/566811*e^3 - 160819717/188937*e^2 + 6380650/62979*e + 1585042/20993, -2769490/566811*e^11 - 881567/566811*e^10 + 8922991/80973*e^9 + 39068878/566811*e^8 - 17864557/20993*e^7 - 406695040/566811*e^6 + 480291673/188937*e^5 + 1365431098/566811*e^4 - 1369895105/566811*e^3 - 421152832/188937*e^2 + 17000161/62979*e + 5030890/20993, 356377/80973*e^11 + 154202/80973*e^10 - 8031145/80973*e^9 - 5948719/80973*e^8 + 6854725/8997*e^7 + 59468410/80973*e^6 - 60477604/26991*e^5 - 197296378/80973*e^4 + 164105396/80973*e^3 + 61489492/26991*e^2 - 402922/2999*e - 777481/2999, 431147/566811*e^11 + 157669/566811*e^10 - 1397807/80973*e^9 - 6378542/566811*e^8 + 8471111/62979*e^7 + 63913307/566811*e^6 - 77512604/188937*e^5 - 206347697/566811*e^4 + 239656513/566811*e^3 + 58863338/188937*e^2 - 5481059/62979*e - 427018/20993, 368999/188937*e^11 + 119740/188937*e^10 - 1184300/26991*e^9 - 5193737/188937*e^8 + 21142133/62979*e^7 + 53520104/188937*e^6 - 61883302/62979*e^5 - 176963270/188937*e^4 + 167606275/188937*e^3 + 52706482/62979*e^2 - 1520583/20993*e - 1798577/20993, 1702229/566811*e^11 + 617161/566811*e^10 - 5489678/80973*e^9 - 25600349/566811*e^8 + 32943136/62979*e^7 + 262482560/566811*e^6 - 294550556/188937*e^5 - 882545591/566811*e^4 + 842148253/566811*e^3 + 279564353/188937*e^2 - 11546000/62979*e - 4000790/20993, 1429133/566811*e^11 + 645325/566811*e^10 - 4651925/80973*e^9 - 23705672/566811*e^8 + 84463115/188937*e^7 + 233319869/566811*e^6 - 254067529/188937*e^5 - 768951371/566811*e^4 + 734831485/566811*e^3 + 239559163/188937*e^2 - 10200196/62979*e - 3086917/20993, -198787/62979*e^11 - 72896/62979*e^10 + 644152/8997*e^9 + 2982136/62979*e^8 - 11677433/20993*e^7 - 30401890/62979*e^6 + 35185169/20993*e^5 + 101716105/62979*e^4 - 102132629/62979*e^3 - 31797433/20993*e^2 + 4088689/20993*e + 3449360/20993, -103430/566811*e^11 - 93328/566811*e^10 + 395207/80973*e^9 + 2137913/566811*e^8 - 2842783/62979*e^7 - 17006729/566811*e^6 + 32910266/188937*e^5 + 51760070/566811*e^4 - 152366143/566811*e^3 - 16438199/188937*e^2 + 8065391/62979*e - 90263/20993, 3775589/566811*e^11 + 1081684/566811*e^10 - 12164324/80973*e^9 - 50388188/566811*e^8 + 73101374/62979*e^7 + 531152264/566811*e^6 - 656597468/188937*e^5 - 1788085886/566811*e^4 + 1887378937/566811*e^3 + 549271958/188937*e^2 - 23131814/62979*e - 6115565/20993, -1011562/566811*e^11 - 283628/566811*e^10 + 3268162/80973*e^9 + 13072735/566811*e^8 - 19678816/62979*e^7 - 137231905/566811*e^6 + 177409885/188937*e^5 + 458639425/566811*e^4 - 519575234/566811*e^3 - 137981638/188937*e^2 + 8341423/62979*e + 1080724/20993, 1599400/566811*e^11 + 730811/566811*e^10 - 5226424/80973*e^9 - 26316466/566811*e^8 + 95395703/188937*e^7 + 255369679/566811*e^6 - 32192190/20993*e^5 - 823559035/566811*e^4 + 860726852/566811*e^3 + 80998300/62979*e^2 - 14092006/62979*e - 2285082/20993, 373514/566811*e^11 + 160123/566811*e^10 - 1186508/80973*e^9 - 6422825/566811*e^8 + 6940651/62979*e^7 + 66070691/566811*e^6 - 58962587/188937*e^5 - 229233026/566811*e^4 + 148612069/566811*e^3 + 80766584/188937*e^2 - 955382/62979*e - 1743013/20993, -3163597/566811*e^11 - 1317926/566811*e^10 + 10209466/80973*e^9 + 51455161/566811*e^8 - 20414370/20993*e^7 - 516850015/566811*e^6 + 544960270/188937*e^5 + 1720200142/566811*e^4 - 1514022809/566811*e^3 - 538107901/188937*e^2 + 13200358/62979*e + 6422084/20993, 2293796/566811*e^11 + 950983/566811*e^10 - 7416125/80973*e^9 - 37027196/566811*e^8 + 44628763/62979*e^7 + 370456178/566811*e^6 - 399961994/188937*e^5 - 1221943535/566811*e^4 + 1142222638/566811*e^3 + 372497261/188937*e^2 - 5344995/20993*e - 4091828/20993, 492175/188937*e^11 + 32771/188937*e^10 - 1584124/26991*e^9 - 4174927/188937*e^8 + 28765244/62979*e^7 + 51056017/188937*e^6 - 29431226/20993*e^5 - 179007295/188937*e^4 + 273350132/188937*e^3 + 17773880/20993*e^2 - 5028049/20993*e - 1381260/20993, -3151/20993*e^11 + 12130/62979*e^10 + 28850/8997*e^9 - 182908/62979*e^8 - 1578244/62979*e^7 + 344259/20993*e^6 + 5400538/62979*e^5 - 1140733/20993*e^4 - 7967524/62979*e^3 + 6481826/62979*e^2 + 1491758/20993*e - 808044/20993, 863215/188937*e^11 + 334916/188937*e^10 - 2797810/26991*e^9 - 13376302/188937*e^8 + 50701792/62979*e^7 + 135672358/188937*e^6 - 152728430/62979*e^5 - 454632013/188937*e^4 + 446224490/188937*e^3 + 143337728/62979*e^2 - 6798858/20993*e - 5478863/20993, 385793/188937*e^11 + 219691/188937*e^10 - 1259276/26991*e^9 - 7393343/188937*e^8 + 7622259/20993*e^7 + 70476401/188937*e^6 - 68363879/62979*e^5 - 230066195/188937*e^4 + 191382766/188937*e^3 + 72945389/62979*e^2 - 1443297/20993*e - 3301649/20993, -277615/80973*e^11 - 104345/80973*e^10 + 6269527/80973*e^9 + 4246996/80973*e^8 - 5373077/8997*e^7 - 43180279/80973*e^6 + 47872495/26991*e^5 + 143881987/80973*e^4 - 134038127/80973*e^3 - 44491597/26991*e^2 + 1487485/8997*e + 565947/2999, 1317497/566811*e^11 + 114634/566811*e^10 - 4220252/80973*e^9 - 11912723/566811*e^8 + 76013023/188937*e^7 + 142936037/566811*e^6 - 76591889/62979*e^5 - 499981691/566811*e^4 + 693503968/566811*e^3 + 51500497/62979*e^2 - 13382081/62979*e - 2189181/20993, -924568/566811*e^11 - 169265/566811*e^10 + 2972818/80973*e^9 + 10245196/566811*e^8 - 5941711/20993*e^7 - 114996001/566811*e^6 + 159358834/188937*e^5 + 398929168/566811*e^4 - 447001034/566811*e^3 - 127098961/188937*e^2 + 3537598/62979*e + 1971913/20993, -321991/566811*e^11 - 189956/566811*e^10 + 1064899/80973*e^9 + 5921245/566811*e^8 - 6505379/62979*e^7 - 53825602/566811*e^6 + 59052739/188937*e^5 + 162944164/566811*e^4 - 173880482/566811*e^3 - 39917200/188937*e^2 + 923962/20993*e - 401336/20993, 133982/566811*e^11 + 150328/566811*e^10 - 471776/80973*e^9 - 3798437/566811*e^8 + 3121091/62979*e^7 + 30277172/566811*e^6 - 32345687/188937*e^5 - 81532355/566811*e^4 + 126876751/566811*e^3 + 16365173/188937*e^2 - 4495619/62979*e + 289641/20993, -490205/566811*e^11 - 5596/566811*e^10 + 1601045/80973*e^9 + 3125051/566811*e^8 - 9874964/62979*e^7 - 39811361/566811*e^6 + 93928019/188937*e^5 + 134795033/566811*e^4 - 314529664/566811*e^3 - 34055657/188937*e^2 + 8356469/62979*e + 276470/20993, 796465/566811*e^11 + 362660/566811*e^10 - 2595808/80973*e^9 - 13507390/566811*e^8 + 47282743/188937*e^7 + 134998981/566811*e^6 - 143150795/188937*e^5 - 458387284/566811*e^4 + 419832230/566811*e^3 + 153303620/188937*e^2 - 6495242/62979*e - 2133938/20993, -273365/566811*e^11 - 26857/566811*e^10 + 892562/80973*e^9 + 2687135/566811*e^8 - 5599885/62979*e^7 - 32169152/566811*e^6 + 55714202/188937*e^5 + 113352863/566811*e^4 - 205937512/566811*e^3 - 34977008/188937*e^2 + 6380291/62979*e + 409051/20993, -1201157/566811*e^11 - 638290/566811*e^10 + 3863318/80973*e^9 + 22731125/566811*e^8 - 7653199/20993*e^7 - 220885643/566811*e^6 + 199316714/188937*e^5 + 724218431/566811*e^4 - 511559422/566811*e^3 - 226704671/188937*e^2 + 869777/62979*e + 3201717/20993, 672802/566811*e^11 + 97166/566811*e^10 - 2171710/80973*e^9 - 6891022/566811*e^8 + 4394099/20993*e^7 + 79539205/566811*e^6 - 122281480/188937*e^5 - 279317098/566811*e^4 + 393284768/566811*e^3 + 89761579/188937*e^2 - 9658471/62979*e - 1303487/20993, -1621555/566811*e^11 - 643367/566811*e^10 + 5211523/80973*e^9 + 26121439/566811*e^8 - 31159645/62979*e^7 - 265924552/566811*e^6 + 276572461/188937*e^5 + 892246528/566811*e^4 - 773186441/566811*e^3 - 281831572/188937*e^2 + 10497898/62979*e + 3955485/20993, -2222119/566811*e^11 - 644300/566811*e^10 + 7146967/80973*e^9 + 30080776/566811*e^8 - 42860267/62979*e^7 - 317415004/566811*e^6 + 383666338/188937*e^5 + 1069545523/566811*e^4 - 1097165855/566811*e^3 - 327746158/188937*e^2 + 15079852/62979*e + 3659652/20993, -3914285/566811*e^11 - 1478623/566811*e^10 + 12591326/80973*e^9 + 60704075/566811*e^8 - 75323173/62979*e^7 - 619047881/566811*e^6 + 668962517/188937*e^5 + 2070821477/566811*e^4 - 1868637682/566811*e^3 - 648473831/188937*e^2 + 21510689/62979*e + 8310410/20993, -272176/188937*e^11 - 216709/188937*e^10 + 99004/2999*e^9 + 727317/20993*e^8 - 48403714/188937*e^7 - 59297905/188937*e^6 + 142661605/188937*e^5 + 187362940/188937*e^4 - 42302419/62979*e^3 - 170524036/188937*e^2 + 1383080/62979*e + 2176147/20993, -3698575/566811*e^11 - 1389194/566811*e^10 + 11957992/80973*e^9 + 56255560/566811*e^8 - 215851498/188937*e^7 - 570967627/566811*e^6 + 644801411/188937*e^5 + 1899851113/566811*e^4 - 1835501300/566811*e^3 - 586821113/188937*e^2 + 21282680/62979*e + 6718811/20993, -3598244/566811*e^11 - 1409746/566811*e^10 + 11586527/80973*e^9 + 57054806/566811*e^8 - 208255070/188937*e^7 - 579995471/566811*e^6 + 617984635/188937*e^5 + 1943665205/566811*e^4 - 1732462924/566811*e^3 - 614189419/188937*e^2 + 19400170/62979*e + 8095879/20993, -373258/188937*e^11 - 205078/188937*e^10 + 404713/8997*e^9 + 2378611/62979*e^8 - 66104266/188937*e^7 - 68981350/188937*e^6 + 197911543/188937*e^5 + 227815900/188937*e^4 - 20499928/20993*e^3 - 220075822/188937*e^2 + 4136123/62979*e + 3217552/20993, -1167884/566811*e^11 - 545194/566811*e^10 + 3744068/80973*e^9 + 20709806/566811*e^8 - 22231687/62979*e^7 - 205999805/566811*e^6 + 193573547/188937*e^5 + 681029465/566811*e^4 - 505400065/566811*e^3 - 207963362/188937*e^2 + 3001709/62979*e + 2164718/20993, 1342643/566811*e^11 + 298786/566811*e^10 - 4337327/80973*e^9 - 15664169/566811*e^8 + 8726906/20993*e^7 + 169768502/566811*e^6 - 237711143/188937*e^5 - 575370587/566811*e^4 + 705877624/566811*e^3 + 175431245/188937*e^2 - 9861713/62979*e - 1722118/20993, 465805/188937*e^11 + 145564/188937*e^10 - 500033/8997*e^9 - 2155724/62979*e^8 + 80895700/188937*e^7 + 67376173/188937*e^6 - 240015997/188937*e^5 - 226237057/188937*e^4 + 74078987/62979*e^3 + 210027994/188937*e^2 - 4856129/62979*e - 2364553/20993, -81196/62979*e^11 - 30227/62979*e^10 + 258856/8997*e^9 + 1276333/62979*e^8 - 4593835/20993*e^7 - 13077466/62979*e^6 + 13362658/20993*e^5 + 43519717/62979*e^4 - 36448676/62979*e^3 - 13270105/20993*e^2 + 1845321/20993*e + 1184443/20993, -216355/80973*e^11 - 68207/80973*e^10 + 4840411/80973*e^9 + 3058621/80973*e^8 - 1363061/2999*e^7 - 31978162/80973*e^6 + 35376982/26991*e^5 + 107451142/80973*e^4 - 90288962/80973*e^3 - 32921221/26991*e^2 + 132271/8997*e + 427397/2999, -62278/62979*e^11 - 17006/20993*e^10 + 204185/8997*e^9 + 1523372/62979*e^8 - 11082581/62979*e^7 - 13702030/62979*e^6 + 32355287/62979*e^5 + 42903559/62979*e^4 - 27100006/62979*e^3 - 37849943/62979*e^2 - 473476/20993*e + 1076693/20993, 544142/566811*e^11 + 278242/566811*e^10 - 1749608/80973*e^9 - 10225871/566811*e^8 + 3480830/20993*e^7 + 101439797/566811*e^6 - 92297078/188937*e^5 - 341153810/566811*e^4 + 254832223/566811*e^3 + 110765828/188937*e^2 - 2423873/62979*e - 1670000/20993, 3723452/566811*e^11 + 1455346/566811*e^10 - 12011261/80973*e^9 - 58584758/566811*e^8 + 24024464/20993*e^7 + 594793631/566811*e^6 - 642753962/188937*e^5 - 1990029515/566811*e^4 + 1807887661/566811*e^3 + 624073283/188937*e^2 - 6957703/20993*e - 7722248/20993, 1561033/566811*e^11 + 708110/566811*e^10 - 5047933/80973*e^9 - 26241349/566811*e^8 + 10086631/20993*e^7 + 258132733/566811*e^6 - 267790261/188937*e^5 - 844942495/566811*e^4 + 731282348/566811*e^3 + 256645243/188937*e^2 - 6082921/62979*e - 2645813/20993, 1056185/188937*e^11 + 274448/188937*e^10 - 1128676/8997*e^9 - 4578571/62979*e^8 + 182196431/188937*e^7 + 147381161/188937*e^6 - 541373039/188937*e^5 - 499920509/188937*e^4 + 169908280/62979*e^3 + 462130670/188937*e^2 - 17028478/62979*e - 5014319/20993, 232438/566811*e^11 + 369734/566811*e^10 - 807442/80973*e^9 - 9154294/566811*e^8 + 1696741/20993*e^7 + 76067785/566811*e^6 - 46676092/188937*e^5 - 242681344/566811*e^4 + 129245912/566811*e^3 + 88147705/188937*e^2 - 103076/20993*e - 1860226/20993, 974363/566811*e^11 + 143728/566811*e^10 - 3170723/80973*e^9 - 9639554/566811*e^8 + 58249454/188937*e^7 + 109431278/566811*e^6 - 181622011/188937*e^5 - 375637610/566811*e^4 + 581988868/566811*e^3 + 112013980/188937*e^2 - 13264396/62979*e - 928720/20993, -1077385/566811*e^11 - 413012/566811*e^10 + 3521965/80973*e^9 + 16094263/566811*e^8 - 64476025/188937*e^7 - 161017480/566811*e^6 + 197146745/188937*e^5 + 528688420/566811*e^4 - 591775076/566811*e^3 - 158501822/188937*e^2 + 9780632/62979*e + 2067932/20993, 162458/566811*e^11 - 56921/566811*e^10 - 499553/80973*e^9 + 142444/566811*e^8 + 8467763/188937*e^7 + 4291310/566811*e^6 - 22866847/188937*e^5 - 12694964/566811*e^4 + 49498996/566811*e^3 - 6209036/188937*e^2 + 1006598/62979*e + 808292/20993]; 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;