/* 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![1, -7, -1, 1]; F := NumberField(g); ZF := Integers(F); NN := ideal; primesArray := [ [2, 2, -w^2 + 3*w], [3, 3, -w^2 - w + 3], [3, 3, w + 2], [7, 7, 2*w^2 - 6*w - 1], [11, 11, -w^2 + 2*w + 4], [17, 17, -w^2 + 4*w - 2], [19, 19, w^2 - 6], [19, 19, -w^2 - 3*w - 1], [19, 19, 3*w^2 - 9*w - 1], [41, 41, w^2 - 8], [43, 43, -2*w^2 - 3*w + 4], [47, 47, -2*w - 3], [49, 7, -9*w^2 + 29*w - 3], [67, 67, 2*w - 3], [71, 71, 4*w^2 - 14*w + 5], [79, 79, w^2 - 3*w - 3], [79, 79, -w^2 + 5*w - 5], [79, 79, 6*w^2 - 3*w - 38], [97, 97, 3*w^2 - 10*w], [103, 103, 3*w^2 - 4*w - 24], [103, 103, 2*w^2 - 2*w - 11], [103, 103, 2*w^2 - 5*w - 2], [107, 107, 3*w^2 - 16], [109, 109, 2*w^2 - 3*w - 16], [113, 113, 2*w^2 - 3*w - 12], [121, 11, 2*w^2 - 3*w - 18], [125, 5, -5], [127, 127, 4*w^2 - 21], [127, 127, 2*w^2 - 9], [131, 131, -7*w^2 + 24*w - 6], [139, 139, w - 6], [149, 149, -w^2 + 10*w + 28], [151, 151, w^2 + 2*w - 4], [157, 157, -2*w^2 + 7*w - 4], [157, 157, -10*w^2 + 33*w - 6], [157, 157, 3*w - 8], [167, 167, 2*w^2 - 4*w - 5], [167, 167, -3*w - 4], [167, 167, w^2 + w - 7], [173, 173, 2*w^2 - 6*w - 3], [173, 173, w^2 - 3*w - 5], [173, 173, -3*w - 8], [179, 179, w^2 - 5*w - 1], [181, 181, 4*w^2 - 11*w - 4], [191, 191, 5*w^2 - 15*w - 1], [193, 193, w^2 + 3*w - 3], [197, 197, 7*w^2 + 13*w - 7], [223, 223, -5*w - 12], [227, 227, 3*w^2 - 5*w - 15], [229, 229, -2*w^2 + 13], [241, 241, w^2 - 3*w - 9], [251, 251, 9*w^2 - 28*w], [263, 263, -5*w^2 + 15*w + 3], [269, 269, 5*w^2 - 17*w + 1], [277, 277, 4*w^2 - 12*w - 3], [281, 281, -6*w^2 + 21*w - 4], [281, 281, -6*w - 13], [281, 281, 3*w^2 - 3*w - 17], [283, 283, -5*w^2 + 18*w - 8], [289, 17, 3*w^2 + 2*w - 12], [293, 293, -7*w^2 + 23*w - 5], [293, 293, 2*w^2 - 7], [293, 293, 4*w^2 - w - 22], [307, 307, -2*w^2 + 21], [313, 313, w^2 - 4*w - 4], [317, 317, 2*w^2 + 3*w - 6], [317, 317, 3*w^2 - 8*w - 6], [317, 317, 2*w^2 - w - 8], [331, 331, 3*w^2 - 7*w - 9], [337, 337, -4*w - 3], [349, 349, 7*w^2 - 4*w - 46], [353, 353, 11*w^2 - 35*w + 1], [359, 359, 2*w^2 - 3*w - 4], [359, 359, -w^2 + 7*w - 11], [359, 359, -2*w^2 - 8*w - 7], [373, 373, 5*w^2 + w - 23], [379, 379, 2*w^2 - 4*w - 11], [383, 383, -w^2 + 6*w - 6], [389, 389, 15*w^2 - 48*w + 4], [409, 409, w^2 - 6*w - 18], [419, 419, -4*w^2 + 15*w - 6], [421, 421, 2*w^2 - 4*w - 17], [431, 431, w^2 + 3*w - 5], [433, 433, 5*w^2 - 7*w - 41], [433, 433, 2*w^2 - 2*w - 5], [433, 433, -4*w^2 + 15*w - 4], [439, 439, 5*w^2 - w - 29], [443, 443, -9*w^2 + 3*w + 53], [449, 449, 5*w^2 - 3*w - 31], [461, 461, w^2 - w - 13], [461, 461, 4*w^2 - 7*w - 16], [461, 461, -3*w^2 - w + 15], [479, 479, 2*w^2 - 5*w - 8], [487, 487, -11*w^2 + 34*w + 2], [491, 491, 3*w^2 - 6*w - 8], [491, 491, -6*w^2 + 21*w - 8], [491, 491, -8*w^2 + 26*w - 1], [499, 499, 2*w^2 - 8*w - 29], [503, 503, 3*w^2 - 7*w - 3], [509, 509, -w^2 - 4], [521, 521, 2*w^2 - w - 20], [541, 541, 8*w^2 - w - 44], [547, 547, 12*w^2 - 38*w + 3], [557, 557, -17*w^2 + 57*w - 11], [563, 563, 5*w^2 - 2*w - 32], [563, 563, 6*w^2 - 22*w + 9], [563, 563, -2*w^2 + 5*w + 20], [569, 569, 3*w^2 - 6*w - 28], [571, 571, w^2 - 4*w - 10], [587, 587, 6*w^2 - 7*w - 48], [601, 601, 7*w^2 - 21*w + 1], [613, 613, -6*w^2 + 9*w + 52], [619, 619, 4*w^2 - 10*w - 43], [631, 631, -2*w - 9], [641, 641, 2*w^2 - 6*w - 25], [641, 641, 11*w^2 - 6*w - 70], [641, 641, -w^2 - 6*w - 10], [643, 643, -4*w^2 + 11*w + 46], [643, 643, 7*w^2 - 2*w - 40], [643, 643, -3*w - 10], [653, 653, -2*w^2 - w + 20], [677, 677, w^2 - 3*w - 15], [683, 683, w^2 + 3*w - 17], [683, 683, 4*w^2 - 6*w - 23], [683, 683, 4*w^2 + 4*w - 13], [691, 691, 5*w^2 - 14*w - 2], [709, 709, -w^2 + w - 5], [709, 709, 2*w^2 - 6*w + 5], [709, 709, 4*w^2 - 5*w - 34], [719, 719, 2*w^2 + w - 14], [727, 727, -w^2 - 8*w - 14], [751, 751, 3*w^2 - 6*w - 14], [769, 769, -8*w^2 + 12*w + 69], [773, 773, 3*w^2 - 4*w - 12], [797, 797, 8*w^2 - 28*w + 7], [809, 809, 10*w^2 - 31*w + 2], [823, 823, -13*w^2 + 44*w - 8], [823, 823, 9*w^2 - 26*w - 6], [823, 823, 3*w^2 - 5*w - 9], [829, 829, 2*w^2 + 2*w - 11], [853, 853, -12*w^2 + 40*w - 9], [859, 859, 4*w - 15], [877, 877, -w^2 + 4*w - 8], [877, 877, 3*w^2 + w - 9], [877, 877, 3*w^2 - 3*w - 13], [911, 911, w^2 - 5*w - 13], [929, 929, 8*w^2 - 24*w - 1], [929, 929, -16*w^2 + 50*w + 1], [929, 929, -w^2 + 3*w - 7], [937, 937, -3*w^2 + 26], [941, 941, w^2 - 5*w - 7], [947, 947, 4*w^2 - 12*w - 5], [947, 947, 10*w^2 - 30*w - 3], [947, 947, -5*w^2 + 17*w - 7], [953, 953, 2*w^2 - 9*w - 30], [967, 967, 5*w - 12], [971, 971, 5*w^2 - 8*w - 26], [977, 977, 15*w^2 - 48*w + 2], [983, 983, -18*w^2 + 59*w - 6], [991, 991, 6*w^2 - 23*w + 12], [997, 997, 4*w^2 + w - 16]]; primes := [ideal : I in primesArray]; heckePol := x^24 + x^23 - 41*x^22 - 37*x^21 + 732*x^20 + 591*x^19 - 7471*x^18 - 5345*x^17 + 48105*x^16 + 30136*x^15 - 203446*x^14 - 109742*x^13 + 570608*x^12 + 258072*x^11 - 1047721*x^10 - 379546*x^9 + 1215918*x^8 + 324663*x^7 - 836387*x^6 - 140861*x^5 + 302718*x^4 + 23865*x^3 - 43734*x^2 - 1413*x + 1134; K := NumberField(heckePol); heckeEigenvaluesArray := [e, -144799654660595/13325453609131611*e^23 - 4173975421236455/213207257746105776*e^22 + 83664456042103603/213207257746105776*e^21 + 17872311209672521/26650907218263222*e^20 - 107421773868478963/17767271478842148*e^19 - 43199536579137535/4441817869710537*e^18 + 11079078685960618991/213207257746105776*e^17 + 16596996009057110179/213207257746105776*e^16 - 9721445588031489695/35534542957684296*e^15 - 40012262356698814027/106603628873052888*e^14 + 97387951563650370919/106603628873052888*e^13 + 59442977407422815695/53301814436526444*e^12 - 103624496869388000065/53301814436526444*e^11 - 11865294062622506105/5922423826280716*e^10 + 138415245671891422397/53301814436526444*e^9 + 437264517689201351195/213207257746105776*e^8 - 9324571047059581448/4441817869710537*e^7 - 76884683179509728491/71069085915368592*e^6 + 199230197610363133525/213207257746105776*e^5 + 3625960631448543763/13325453609131611*e^4 - 2054572446605615735/11844847652561432*e^3 - 1592281430538075437/35534542957684296*e^2 + 508655259240494477/71069085915368592*e + 32895713216638319/11844847652561432, 38320650410683/35534542957684296*e^23 - 52415545609202/4441817869710537*e^22 - 299962056841439/4441817869710537*e^21 + 4727468242027177/11844847652561432*e^20 + 55424025763944161/35534542957684296*e^19 - 33141334321390065/5922423826280716*e^18 - 665734352365856491/35534542957684296*e^17 + 493725809670597561/11844847652561432*e^16 + 1177270678725810559/8883635739421074*e^15 - 3080371508792627779/17767271478842148*e^14 - 857247149438993860/1480605956570179*e^13 + 544531624588783077/1480605956570179*e^12 + 9292566770361990983/5922423826280716*e^11 - 775119445233137249/4441817869710537*e^10 - 90666241720300918657/35534542957684296*e^9 - 28390140838613086643/35534542957684296*e^8 + 20460472407941232341/8883635739421074*e^7 + 9100865534566268857/5922423826280716*e^6 - 35703247664316829781/35534542957684296*e^5 - 34526412371559125953/35534542957684296*e^4 + 2936963250498563087/17767271478842148*e^3 + 1173760179979739099/5922423826280716*e^2 + 773434024868655/11844847652561432*e - 38103274421047161/5922423826280716, 879661885911979/106603628873052888*e^23 + 366073537919339/13325453609131611*e^22 - 14895040252098649/53301814436526444*e^21 - 102690365437465453/106603628873052888*e^20 + 46987754806775943/11844847652561432*e^19 + 63737214626080828/4441817869710537*e^18 - 3257066337719072539/106603628873052888*e^17 - 12633693998804192411/106603628873052888*e^16 + 2442107725626602549/17767271478842148*e^15 + 31651902802308902345/53301814436526444*e^14 - 19086688429710974123/53301814436526444*e^13 - 49475377063076402249/26650907218263222*e^12 + 12862663034607201179/26650907218263222*e^11 + 31902842440141634497/8883635739421074*e^10 - 19299433418488916755/106603628873052888*e^9 - 441231307368838313359/106603628873052888*e^8 - 1090393204574438564/4441817869710537*e^7 + 23621763264479367413/8883635739421074*e^6 + 23292439286152333783/106603628873052888*e^5 - 91711104870960148991/106603628873052888*e^4 - 83369935676156135/4441817869710537*e^3 + 2095888781958103963/17767271478842148*e^2 - 439022367036442783/35534542957684296*e - 26510307388365269/5922423826280716, 1, -276714314680007/17767271478842148*e^23 - 1139211999762229/35534542957684296*e^22 + 19721199453161213/35534542957684296*e^21 + 4894409812709813/4441817869710537*e^20 - 24895745918777681/2961211913140358*e^19 - 94963984294950731/5922423826280716*e^18 + 2510157398290941313/35534542957684296*e^17 + 4575292713672211421/35534542957684296*e^16 - 2133032675294056927/5922423826280716*e^15 - 11060955343234059881/17767271478842148*e^14 + 20359339101951685673/17767271478842148*e^13 + 16460630326296113267/8883635739421074*e^12 - 20045389313566122815/8883635739421074*e^11 - 9842010700984300819/2961211913140358*e^10 + 46933373154084704585/17767271478842148*e^9 + 119204164683425451847/35534542957684296*e^8 - 2486547009152324319/1480605956570179*e^7 - 19431466424427764915/11844847652561432*e^6 + 15208020355304500277/35534542957684296*e^5 + 4566264653273054599/17767271478842148*e^4 + 71746478191622346/1480605956570179*e^3 + 65915193458660549/5922423826280716*e^2 - 231919037895574869/11844847652561432*e - 6090238916658837/5922423826280716, 5640102336148139/213207257746105776*e^23 + 12748698232730441/213207257746105776*e^22 - 103810519906349465/106603628873052888*e^21 - 228919731883723069/106603628873052888*e^20 + 182326637565299817/11844847652561432*e^19 + 2348182141565414989/71069085915368592*e^18 - 29174316474587617901/213207257746105776*e^17 - 30400271617649187053/106603628873052888*e^16 + 26740472895851368051/35534542957684296*e^15 + 161756838623701410763/106603628873052888*e^14 - 141473190717199206143/53301814436526444*e^13 - 274462519642418157961/53301814436526444*e^12 + 321271844422519755595/53301814436526444*e^11 + 197905585055578194299/17767271478842148*e^10 - 1839977760761253223991/213207257746105776*e^9 - 397296861278591594437/26650907218263222*e^8 + 527881878501523333765/71069085915368592*e^7 + 820931034976041312853/71069085915368592*e^6 - 93899240268192256979/26650907218263222*e^5 - 60564418705689231043/13325453609131611*e^4 + 28047609677114723849/35534542957684296*e^3 + 48371799772344127045/71069085915368592*e^2 - 1804390789935916369/35534542957684296*e - 50384342100712981/2961211913140358, -523099788483035/26650907218263222*e^23 - 6482860333599515/106603628873052888*e^22 + 75011927428117087/106603628873052888*e^21 + 29230184922342739/13325453609131611*e^20 - 31944682128817655/2961211913140358*e^19 - 300683553496730305/8883635739421074*e^18 + 9860437501851507947/106603628873052888*e^17 + 31159843171199572327/106603628873052888*e^16 - 8646865512880976587/17767271478842148*e^15 - 82708516405604449987/53301814436526444*e^14 + 86422027644264882799/53301814436526444*e^13 + 139572916002228199381/26650907218263222*e^12 - 90701617586902830247/26650907218263222*e^11 - 99844017617523996443/8883635739421074*e^10 + 57666690701130821683/13325453609131611*e^9 + 1591387865826974533043/106603628873052888*e^8 - 13476290523125140148/4441817869710537*e^7 - 411253869854037854323/35534542957684296*e^6 + 95824829362782066877/106603628873052888*e^5 + 124636437468445609663/26650907218263222*e^4 + 432956046586915009/17767271478842148*e^3 - 13683822919382917109/17767271478842148*e^2 - 1496867249092684543/35534542957684296*e + 127537822618186531/5922423826280716, -375626210230945/53301814436526444*e^23 - 1591158837078689/106603628873052888*e^22 + 28967035399298179/106603628873052888*e^21 + 57204116462102201/106603628873052888*e^20 - 161403984094580407/35534542957684296*e^19 - 292421967676351525/35534542957684296*e^18 + 2298722728944178513/53301814436526444*e^17 + 937113503677063577/13325453609131611*e^16 - 2271043858097209051/8883635739421074*e^15 - 9778040307556376663/26650907218263222*e^14 + 52106339637260583061/53301814436526444*e^13 + 16031060068777460411/13325453609131611*e^12 - 127939010029166342093/53301814436526444*e^11 - 7281204264058046303/2961211913140358*e^10 + 48373105507058158138/13325453609131611*e^9 + 320139177536633079563/106603628873052888*e^8 - 13585371940950228439/4441817869710537*e^7 - 17976993526358302477/8883635739421074*e^6 + 118028497859056617163/106603628873052888*e^5 + 18245922313073706835/26650907218263222*e^4 - 164962727499370699/11844847652561432*e^3 - 525655985045500454/4441817869710537*e^2 - 490540176402086255/17767271478842148*e + 9891746096078353/2961211913140358, -49155915044654/4441817869710537*e^23 - 1547057895378145/35534542957684296*e^22 + 13650504428803073/35534542957684296*e^21 + 27397758347185127/17767271478842148*e^20 - 33755057900142077/5922423826280716*e^19 - 137321315988528443/5922423826280716*e^18 + 1685700856726093855/35534542957684296*e^17 + 6857640759475264175/35534542957684296*e^16 - 1449946625851634573/5922423826280716*e^15 - 17260517440502224835/17767271478842148*e^14 + 14580752728394916023/17767271478842148*e^13 + 26954431245511541243/8883635739421074*e^12 - 16275632523991962131/8883635739421074*e^11 - 17189888943505992315/2961211913140358*e^10 + 24577590902363809975/8883635739421074*e^9 + 230798485961949642901/35534542957684296*e^8 - 8305847477164684949/2961211913140358*e^7 - 46499665147068799331/11844847652561432*e^6 + 62193031814397508319/35534542957684296*e^5 + 10418306453075730413/8883635739421074*e^4 - 1606747548545287597/2961211913140358*e^3 - 1003233192184935599/5922423826280716*e^2 + 688985689234791773/11844847652561432*e + 35265953330088333/5922423826280716, 122845115255327/53301814436526444*e^23 + 282893628220100/13325453609131611*e^22 - 2099159801051525/26650907218263222*e^21 - 91433395325103943/106603628873052888*e^20 + 13371099558712001/11844847652561432*e^19 + 534083842616200769/35534542957684296*e^18 - 932684498580223339/106603628873052888*e^17 - 15947187728814368159/106603628873052888*e^16 + 346006765809916813/8883635739421074*e^15 + 49536983581214566181/53301814436526444*e^14 - 4982343821690397113/53301814436526444*e^13 - 99313805891373692117/26650907218263222*e^12 + 1921710357833148935/26650907218263222*e^11 + 42745049619572928692/4441817869710537*e^10 + 9253374921874997239/53301814436526444*e^9 - 824632915979072576537/53301814436526444*e^8 - 3702563678890008121/8883635739421074*e^7 + 510256055188769646599/35534542957684296*e^6 + 5346653200926990637/26650907218263222*e^5 - 353918093281290117091/53301814436526444*e^4 + 2692162426939316939/35534542957684296*e^3 + 19896089325874964851/17767271478842148*e^2 - 135423667837544119/35534542957684296*e - 201569353459335929/5922423826280716, -279480447921821/71069085915368592*e^23 - 5736001479517007/71069085915368592*e^22 + 414910691416609/17767271478842148*e^21 + 12892850417324753/4441817869710537*e^20 + 10830236483106067/5922423826280716*e^19 - 1053643472527460293/23689695305122864*e^18 - 2749209369751971355/71069085915368592*e^17 + 13477055614086761873/35534542957684296*e^16 + 4199254406245610045/11844847652561432*e^15 - 70090974278350613803/35534542957684296*e^14 - 32373576594527898721/17767271478842148*e^13 + 114657111044163764143/17767271478842148*e^12 + 99226060192633553483/17767271478842148*e^11 - 78442743235720072641/5922423826280716*e^10 - 720738285218466940591/71069085915368592*e^9 + 147207919877379351883/8883635739421074*e^8 + 243755408465767569979/23689695305122864*e^7 - 283032819208112682275/23689695305122864*e^6 - 22914681949587425642/4441817869710537*e^5 + 158014301613116322773/35534542957684296*e^4 + 12031418873907180725/11844847652561432*e^3 - 15191045596141864013/23689695305122864*e^2 - 768152274794813633/11844847652561432*e + 32839286058197475/1480605956570179, -2151839339958515/106603628873052888*e^23 - 4275633383822963/106603628873052888*e^22 + 40735571126889479/53301814436526444*e^21 + 75868935155713651/53301814436526444*e^20 - 74005076130736845/5922423826280716*e^19 - 763930860025386025/35534542957684296*e^18 + 12328367328868436519/106603628873052888*e^17 + 9615537103751800223/53301814436526444*e^16 - 11847315967677601993/17767271478842148*e^15 - 49062233657780956279/53301814436526444*e^14 + 33082524227401936120/13325453609131611*e^13 + 39124600118793910661/13325453609131611*e^12 - 79667332697448140444/13325453609131611*e^11 - 25749645742235281471/4441817869710537*e^10 + 964862893327569426083/106603628873052888*e^9 + 361399701158698561351/53301814436526444*e^8 - 285793552876449479647/35534542957684296*e^7 - 153690950613480772597/35534542957684296*e^6 + 193644687089017613369/53301814436526444*e^5 + 71963506284888671039/53301814436526444*e^4 - 2729828431716082043/4441817869710537*e^3 - 7639625418679692871/35534542957684296*e^2 + 482577101723469493/17767271478842148*e + 19906650254803504/1480605956570179, -1634009342861263/53301814436526444*e^23 - 4948253298006985/53301814436526444*e^22 + 27481069669032601/26650907218263222*e^21 + 86072433738373007/26650907218263222*e^20 - 128536559281183105/8883635739421074*e^19 - 847432552682868623/17767271478842148*e^18 + 5823710305982823019/53301814436526444*e^17 + 10398824924838791509/26650907218263222*e^16 - 4216198786232037691/8883635739421074*e^15 - 25769961981805291213/13325453609131611*e^14 + 15356188341060727693/13325453609131611*e^13 + 159002392768581820891/26650907218263222*e^12 - 16962997956512571356/13325453609131611*e^11 - 33592890949953390103/2961211913140358*e^10 - 11166508639473378617/53301814436526444*e^9 + 340579284410279138471/26650907218263222*e^8 + 31318027821269801111/17767271478842148*e^7 - 142115237154281829575/17767271478842148*e^6 - 17920122523665937471/13325453609131611*e^5 + 34145649523501180799/13325453609131611*e^4 + 1115088998047817487/2961211913140358*e^3 - 6488915214854771405/17767271478842148*e^2 - 243307343448752714/4441817869710537*e + 19085836179713651/1480605956570179, -670002508339463/17767271478842148*e^23 - 254509372490029/8883635739421074*e^22 + 25344653571227569/17767271478842148*e^21 + 7849320564564331/8883635739421074*e^20 - 68694419216173539/2961211913140358*e^19 - 65439483298474251/5922423826280716*e^18 + 943611805747146074/4441817869710537*e^17 + 1248890124699418789/17767271478842148*e^16 - 1785003212740761482/1480605956570179*e^15 - 1957682737803368083/8883635739421074*e^14 + 39069218193440313445/8883635739421074*e^13 + 1222365569522868617/8883635739421074*e^12 - 45982868951626112803/4441817869710537*e^11 + 3787902350519560645/2961211913140358*e^10 + 272723853872906459075/17767271478842148*e^9 - 75960930352663060237/17767271478842148*e^8 - 79832919505105716671/5922423826280716*e^7 + 16942164180706314773/2961211913140358*e^6 + 108787460728332654379/17767271478842148*e^5 - 29850217292982230995/8883635739421074*e^4 - 3077583024852461405/2961211913140358*e^3 + 4020513122300921467/5922423826280716*e^2 + 163431654611516949/5922423826280716*e - 86402068507425921/2961211913140358, 625545027079193/53301814436526444*e^23 + 9802170544381927/106603628873052888*e^22 - 36565812351983591/106603628873052888*e^21 - 90849443046498025/26650907218263222*e^20 + 5595570844984784/1480605956570179*e^19 + 964671594370803865/17767271478842148*e^18 - 1750192286151043435/106603628873052888*e^17 - 51862861532221360019/106603628873052888*e^16 - 386311893869555503/17767271478842148*e^15 + 143735166328139590481/53301814436526444*e^14 + 29151014592850077361/53301814436526444*e^13 - 127600109243472943192/13325453609131611*e^12 - 66547478089827991267/26650907218263222*e^11 + 96886734177988223696/4441817869710537*e^10 + 297218792336943798505/53301814436526444*e^9 - 3306005135452469693497/106603628873052888*e^8 - 28468100121764480606/4441817869710537*e^7 + 916772190073229305289/35534542957684296*e^6 + 355740072307650131089/106603628873052888*e^5 - 584118716939187289441/53301814436526444*e^4 - 4391894425145659081/8883635739421074*e^3 + 30506155283368157317/17767271478842148*e^2 + 167645587814598191/35534542957684296*e - 225543610552870259/5922423826280716, -250198586596987/11844847652561432*e^23 - 153848394928429/5922423826280716*e^22 + 10125055867897265/11844847652561432*e^21 + 11534657568987021/11844847652561432*e^20 - 177515204865290141/11844847652561432*e^19 - 93433827063062571/5922423826280716*e^18 + 1764983638543044821/11844847652561432*e^17 + 214376329612527189/1480605956570179*e^16 - 5466095302920986981/5922423826280716*e^15 - 4903506781604734247/5922423826280716*e^14 + 21793116618418163593/5922423826280716*e^13 + 9031526561337487443/2961211913140358*e^12 - 55747633486517874531/5922423826280716*e^11 - 10673295142921078339/1480605956570179*e^10 + 176523586592042106413/11844847652561432*e^9 + 124541774884599968953/11844847652561432*e^8 - 159802615570984123343/11844847652561432*e^7 - 103045123246335381475/11844847652561432*e^6 + 70739550731963380237/11844847652561432*e^5 + 20783450141205827201/5922423826280716*e^4 - 10625915135582247249/11844847652561432*e^3 - 6203300117269703795/11844847652561432*e^2 - 55464131047777685/5922423826280716*e + 8205864920440202/1480605956570179, 24405640006633/106603628873052888*e^23 - 1224995398960367/26650907218263222*e^22 - 3447680766071407/53301814436526444*e^21 + 186163510090275239/106603628873052888*e^20 + 24474849375964595/11844847652561432*e^19 - 253554945897989119/8883635739421074*e^18 - 3130884226106890873/106603628873052888*e^17 + 28014596626355144401/106603628873052888*e^16 + 4159252570101228269/17767271478842148*e^15 - 39956552497339217705/26650907218263222*e^14 - 60540862545218188541/53301814436526444*e^13 + 292746269961530922077/53301814436526444*e^12 + 91477913897075630345/26650907218263222*e^11 - 230093723576253802549/17767271478842148*e^10 - 677712929048106190993/106603628873052888*e^9 + 2042179476599490205421/106603628873052888*e^8 + 60609052688385448931/8883635739421074*e^7 - 148447387234468085899/8883635739421074*e^6 - 404618970774635656715/106603628873052888*e^5 + 804596221287787865263/106603628873052888*e^4 + 16128884351590312243/17767271478842148*e^3 - 23186736975098215511/17767271478842148*e^2 - 3275671226009687701/35534542957684296*e + 185070104626590433/5922423826280716, -4224452065816817/106603628873052888*e^23 - 5929890562967803/53301814436526444*e^22 + 148223518063836361/106603628873052888*e^21 + 211951770798726373/53301814436526444*e^20 - 366753668961169151/17767271478842148*e^19 - 2160933086162168935/35534542957684296*e^18 + 8991071907569559343/53301814436526444*e^17 + 55524550205622386845/106603628873052888*e^16 - 7331423791069994167/8883635739421074*e^15 - 36588712567644725986/13325453609131611*e^14 + 130869370304932010719/53301814436526444*e^13 + 122886186767759117192/13325453609131611*e^12 - 114008031480068174941/26650907218263222*e^11 - 29258903742472755208/1480605956570179*e^10 + 410707669148182762685/106603628873052888*e^9 + 2809507392916153611335/106603628873052888*e^8 - 38177901369873362327/35534542957684296*e^7 - 367407328034763412895/17767271478842148*e^6 - 59421865565098387487/106603628873052888*e^5 + 226311478664050604473/26650907218263222*e^4 + 450941383837164542/1480605956570179*e^3 - 49542751433845998457/35534542957684296*e^2 - 1544210001554513833/35534542957684296*e + 309619658987405111/5922423826280716, 511353489002737/17767271478842148*e^23 + 1564529072340203/8883635739421074*e^22 - 8092892338115185/8883635739421074*e^21 - 228671507063898365/35534542957684296*e^20 + 138531034424261233/11844847652561432*e^19 + 1192127678019225595/11844847652561432*e^18 - 2701478918750903909/35534542957684296*e^17 - 31318259864641126909/35534542957684296*e^16 + 703637818598878033/2961211913140358*e^15 + 84325734278004047491/17767271478842148*e^14 - 1510752621540665239/17767271478842148*e^13 - 144412176063028592479/8883635739421074*e^12 - 16151776058212034771/8883635739421074*e^11 + 52449446977806529110/1480605956570179*e^10 + 104096072293574155793/17767271478842148*e^9 - 849268217337240798181/17767271478842148*e^8 - 11625716202464520119/1480605956570179*e^7 + 445144495366456031077/11844847652561432*e^6 + 20617304738579901769/4441817869710537*e^5 - 269865467154037331543/17767271478842148*e^4 - 11212453160025715763/11844847652561432*e^3 + 13893498021082794491/5922423826280716*e^2 + 598988864265851155/11844847652561432*e - 343969634923002505/5922423826280716, 588637213547281/106603628873052888*e^23 + 1319044621036663/106603628873052888*e^22 - 10238809726393981/53301814436526444*e^21 - 11290389937478821/26650907218263222*e^20 + 4197794610659359/1480605956570179*e^19 + 219567353638378157/35534542957684296*e^18 - 2472763969247295841/106603628873052888*e^17 - 670444742873096302/13325453609131611*e^16 + 2051664333040702625/17767271478842148*e^15 + 13430230630325837879/53301814436526444*e^14 - 4831040959384456112/13325453609131611*e^13 - 21508821458503655477/26650907218263222*e^12 + 19313254667815335485/26650907218263222*e^11 + 14846574388277571223/8883635739421074*e^10 - 98053040436527076085/106603628873052888*e^9 - 59305762369275600433/26650907218263222*e^8 + 25950040879118135399/35534542957684296*e^7 + 66692360162725870517/35534542957684296*e^6 - 4493712813674179516/13325453609131611*e^5 - 12808227250451797216/13325453609131611*e^4 + 321019659020509096/4441817869710537*e^3 + 8811814909169525291/35534542957684296*e^2 - 2691660558367613/4441817869710537*e - 33375579646969681/2961211913140358, -3673222294364539/53301814436526444*e^23 - 1922176415771332/13325453609131611*e^22 + 66758387709549877/26650907218263222*e^21 + 134320590378693803/26650907218263222*e^20 - 115345218395491811/2961211913140358*e^19 - 1330598158522041083/17767271478842148*e^18 + 9031543148199473513/26650907218263222*e^17 + 8236151561861121959/13325453609131611*e^16 - 16084994001444387221/8883635739421074*e^15 - 82691756596798892375/26650907218263222*e^14 + 81798312481160823811/13325453609131611*e^13 + 259872668336246419909/26650907218263222*e^12 - 175672386671234989427/13325453609131611*e^11 - 169088999684876587319/8883635739421074*e^10 + 926520224406959005291/53301814436526444*e^9 + 1182188676756612458617/53301814436526444*e^8 - 58158791549834005313/4441817869710537*e^7 - 253845359132964541505/17767271478842148*e^6 + 253733859715290998843/53301814436526444*e^5 + 236282870015325417179/53301814436526444*e^4 - 8462318282834701607/17767271478842148*e^3 - 2185953753958073996/4441817869710537*e^2 - 179271398780144395/8883635739421074*e - 2368282907133131/1480605956570179, 478050470683759/17767271478842148*e^23 + 7753876676084995/71069085915368592*e^22 - 60888017007253007/71069085915368592*e^21 - 137078921754950135/35534542957684296*e^20 + 130321861698380393/11844847652561432*e^19 + 688408720527507553/11844847652561432*e^18 - 5010778304641938169/71069085915368592*e^17 - 34657019971452109637/71069085915368592*e^16 + 2432151887692736167/11844847652561432*e^15 + 88825987949516673821/35534542957684296*e^14 + 2041965399749685451/35534542957684296*e^13 - 143652287139988003229/17767271478842148*e^12 - 40188479994074442385/17767271478842148*e^11 + 97705859301064033065/5922423826280716*e^10 + 60161844741601925509/8883635739421074*e^9 - 1474307666032016524171/71069085915368592*e^8 - 13438439259932193070/1480605956570179*e^7 + 363956022298182308621/23689695305122864*e^6 + 407777363193410098039/71069085915368592*e^5 - 108415671131548834109/17767271478842148*e^4 - 2287953220518824130/1480605956570179*e^3 + 11775361642180067191/11844847652561432*e^2 + 3720602347813254857/23689695305122864*e - 289175244940771311/11844847652561432, 10004517200349343/106603628873052888*e^23 + 51834803855262371/213207257746105776*e^22 - 730976807723001781/213207257746105776*e^21 - 928516461526115305/106603628873052888*e^20 + 637088843145357989/11844847652561432*e^19 + 1184743617559650209/8883635739421074*e^18 - 101187221879678123873/213207257746105776*e^17 - 243381598920507235315/213207257746105776*e^16 + 92061917425556639551/35534542957684296*e^15 + 639288104705840483005/106603628873052888*e^14 - 966526576773833635135/106603628873052888*e^13 - 1064980863554088200071/53301814436526444*e^12 + 1087175394384869985661/53301814436526444*e^11 + 749081989961020626227/17767271478842148*e^10 - 3070749502513930759249/106603628873052888*e^9 - 11661193309137450445685/213207257746105776*e^8 + 858465844306742587055/35534542957684296*e^7 + 2910564252321314683237/71069085915368592*e^6 - 2289409691077744218439/213207257746105776*e^5 - 836652681953723380927/53301814436526444*e^4 + 17453242966894081259/8883635739421074*e^3 + 21108867780961091753/8883635739421074*e^2 - 3331121267161373753/71069085915368592*e - 652184917414971679/11844847652561432, -1304853327892985/35534542957684296*e^23 - 4517003888175845/35534542957684296*e^22 + 22876272392945933/17767271478842148*e^21 + 81524959807949977/17767271478842148*e^20 - 113585307661663155/5922423826280716*e^19 - 839549169584911019/11844847652561432*e^18 + 5622924298906519325/35534542957684296*e^17 + 10892705588314421261/17767271478842148*e^16 - 4675059704360587117/5922423826280716*e^15 - 57954315080672784115/17767271478842148*e^14 + 21621362851861881329/8883635739421074*e^13 + 98082240019188528823/8883635739421074*e^12 - 40237904475101812729/8883635739421074*e^11 - 70391561836956775103/2961211913140358*e^10 + 166357753105495001573/35534542957684296*e^9 + 562219888252690918717/17767271478842148*e^8 - 24855272861717107741/11844847652561432*e^7 - 289640454840604353219/11844847652561432*e^6 - 2012005653751281415/17767271478842148*e^5 + 171936962771220334007/17767271478842148*e^4 + 984670455240113075/2961211913140358*e^3 - 17740373609144910853/11844847652561432*e^2 - 466054989188238115/5922423826280716*e + 72249043190927409/1480605956570179, 2990166166367281/106603628873052888*e^23 + 28825912920739325/213207257746105776*e^22 - 189041643376547695/213207257746105776*e^21 - 514313286294170551/106603628873052888*e^20 + 402791745515409017/35534542957684296*e^19 + 652297361968044563/8883635739421074*e^18 - 15563937423628318511/213207257746105776*e^17 - 132817039334747966665/213207257746105776*e^16 + 7936511913554866853/35534542957684296*e^15 + 344480770112987322859/106603628873052888*e^14 - 6378081467208744757/106603628873052888*e^13 - 564012765423483600853/53301814436526444*e^12 - 92207913569559383285/53301814436526444*e^11 + 129335234760624373007/5922423826280716*e^10 + 562838699397519767129/106603628873052888*e^9 - 5890884865323229794491/213207257746105776*e^8 - 235618050897591452345/35534542957684296*e^7 + 1439479591226511242935/71069085915368592*e^6 + 764008932669170808719/213207257746105776*e^5 - 102151498433387078533/13325453609131611*e^4 - 4115120194190864657/5922423826280716*e^3 + 19439170275012778375/17767271478842148*e^2 + 5062014799587202453/71069085915368592*e - 233218817849309957/11844847652561432, 583576922951741/11844847652561432*e^23 + 571712705479057/2961211913140358*e^22 - 2525070445614932/1480605956570179*e^21 - 82455576722561477/11844847652561432*e^20 + 296537222289094615/11844847652561432*e^19 + 158767589916843913/1480605956570179*e^18 - 2407040496874987233/11844847652561432*e^17 - 10929434699312333057/11844847652561432*e^16 + 5899096008851030313/5922423826280716*e^15 + 7207336563154922219/1480605956570179*e^14 - 17879116028941420475/5922423826280716*e^13 - 96335635669057408765/5922423826280716*e^12 + 16467013757358549797/2961211913140358*e^11 + 203647428521685616027/5922423826280716*e^10 - 69563025426753707901/11844847652561432*e^9 - 529140470010054165843/11844847652561432*e^8 + 18642284425793312727/5922423826280716*e^7 + 198595850812029193645/5922423826280716*e^6 - 7057328712255376435/11844847652561432*e^5 - 152427699655750175979/11844847652561432*e^4 - 263506954894081237/2961211913140358*e^3 + 5613585627660457643/2961211913140358*e^2 + 796954877164416739/11844847652561432*e - 275731560766254633/5922423826280716, 1037002877816273/13325453609131611*e^23 + 12270961842312071/53301814436526444*e^22 - 144280169113192651/53301814436526444*e^21 - 219199616891428585/26650907218263222*e^20 + 117711774101740251/2961211913140358*e^19 + 1116526053624182921/8883635739421074*e^18 - 17076085271777819093/53301814436526444*e^17 - 57301318969853574385/53301814436526444*e^16 + 13673803389157462411/8883635739421074*e^15 + 150706149009452398657/26650907218263222*e^14 - 119088280783735100653/26650907218263222*e^13 - 252156160079646117202/13325453609131611*e^12 + 100249918124030644021/13325453609131611*e^11 + 179005278091724845892/4441817869710537*e^10 - 86014195203630688934/13325453609131611*e^9 - 2834441084786768107547/53301814436526444*e^8 + 7691840429170386391/4441817869710537*e^7 + 727585162097988495409/17767271478842148*e^6 + 33238798056765992003/53301814436526444*e^5 - 216362547300921307003/13325453609131611*e^4 - 1126942736003251946/4441817869710537*e^3 + 21722874237167969495/8883635739421074*e^2 + 967858298148261241/17767271478842148*e - 192140802333891853/2961211913140358, 1525827336712711/26650907218263222*e^23 + 18667464521207425/106603628873052888*e^22 - 215233194700722167/106603628873052888*e^21 - 335748731331245015/53301814436526444*e^20 + 537369724527394729/17767271478842148*e^19 + 1722169566885851983/17767271478842148*e^18 - 26761598983415613619/106603628873052888*e^17 - 88988040215816998433/106603628873052888*e^16 + 22423946431521402895/17767271478842148*e^15 + 235494232548693431285/53301814436526444*e^14 - 210286123290729036065/53301814436526444*e^13 - 197957109064094068624/13325453609131611*e^12 + 201968553870116037341/26650907218263222*e^11 + 46945055617061303823/1480605956570179*e^10 - 113942201557876874303/13325453609131611*e^9 - 4448849198325838606165/106603628873052888*e^8 + 92729671113961143131/17767271478842148*e^7 + 1130609003135317453973/35534542957684296*e^6 - 159601386373365988583/106603628873052888*e^5 - 660963442758350773813/53301814436526444*e^4 + 779607379569350567/5922423826280716*e^3 + 16572576797797153943/8883635739421074*e^2 + 1508364994767321929/35534542957684296*e - 306067179923909017/5922423826280716, -393514072755077/17767271478842148*e^23 + 766494686016707/35534542957684296*e^22 + 31818867858900893/35534542957684296*e^21 - 3744029878367989/4441817869710537*e^20 - 46125600999563057/2961211913140358*e^19 + 82252282718069075/5922423826280716*e^18 + 5429354615340103873/35534542957684296*e^17 - 4473035674101009187/35534542957684296*e^16 - 5511803689290431827/5922423826280716*e^15 + 12215144702342384743/17767271478842148*e^14 + 64909113412532471033/17767271478842148*e^13 - 20752648732905631513/8883635739421074*e^12 - 82424911963682288381/8883635739421074*e^11 + 14646199135636601801/2961211913140358*e^10 + 264454829311581465059/17767271478842148*e^9 - 228273048522810876989/35534542957684296*e^8 - 21108121487219995656/1480605956570179*e^7 + 59237069917772542385/11844847652561432*e^6 + 261783249375236733713/35534542957684296*e^5 - 39551949964788693887/17767271478842148*e^4 - 5086347183415173781/2961211913140358*e^3 + 2730995349470133225/5922423826280716*e^2 + 1454773632067570459/11844847652561432*e - 124393830090469389/5922423826280716, 442415568629845/26650907218263222*e^23 + 13871961456856655/213207257746105776*e^22 - 94233890362941943/213207257746105776*e^21 - 228229396295010319/106603628873052888*e^20 + 44506149670402699/11844847652561432*e^19 + 1040864961924889175/35534542957684296*e^18 + 255801043538653699/213207257746105776*e^17 - 45728780402971516885/213207257746105776*e^16 - 8325749169323641853/35534542957684296*e^15 + 95128721271758483233/106603628873052888*e^14 + 188632957664496220307/106603628873052888*e^13 - 106599683843168839981/53301814436526444*e^12 - 342481659556097234201/53301814436526444*e^11 + 29413766088121885721/17767271478842148*e^10 + 676645968186743024575/53301814436526444*e^9 + 407248890852467481661/213207257746105776*e^8 - 235290798684639298289/17767271478842148*e^7 - 345976301621151074999/71069085915368592*e^6 + 1369500787756049808383/213207257746105776*e^5 + 169783718372983552205/53301814436526444*e^4 - 9758008103298611521/8883635739421074*e^3 - 24767122513655292475/35534542957684296*e^2 + 2215328724731529001/71069085915368592*e + 302066696245131251/11844847652561432, 218643541185227/5922423826280716*e^23 + 361609909872343/5922423826280716*e^22 - 7971458979428401/5922423826280716*e^21 - 3052753696434492/1480605956570179*e^20 + 62155196763397589/2961211913140358*e^19 + 173453587858940435/5922423826280716*e^18 - 1085118992754290969/5922423826280716*e^17 - 1346039267792006525/5922423826280716*e^16 + 2915681914674871651/2961211913140358*e^15 + 3093118150592026023/2961211913140358*e^14 - 5007403014286835866/1480605956570179*e^13 - 4244861374806474411/1480605956570179*e^12 + 22198397331017577645/2961211913140358*e^11 + 6585843828045714108/1480605956570179*e^10 - 63109178783234861725/5922423826280716*e^9 - 9631357532370737015/2961211913140358*e^8 + 28186177012720669871/2961211913140358*e^7 + 500965642057309075/1480605956570179*e^6 - 7426105525870964380/1480605956570179*e^5 + 3385796259192241957/5922423826280716*e^4 + 7609864046068019801/5922423826280716*e^3 - 166691600498940814/1480605956570179*e^2 - 594927814870737709/5922423826280716*e + 2675155969956327/2961211913140358, -634941038536861/17767271478842148*e^23 - 1471060628715617/35534542957684296*e^22 + 44226435535930525/35534542957684296*e^21 + 11086997331496505/8883635739421074*e^20 - 26946556532685809/1480605956570179*e^19 - 88749079277384593/5922423826280716*e^18 + 5144882917847956181/35534542957684296*e^17 + 3107228745368232793/35534542957684296*e^16 - 4009838472451658779/5922423826280716*e^15 - 3679425191483575891/17767271478842148*e^14 + 33153569724974148997/17767271478842148*e^13 - 1427196294751760554/4441817869710537*e^12 - 25107936924287966809/8883635739421074*e^11 + 4889308976609940684/1480605956570179*e^10 + 32334298137021041539/17767271478842148*e^9 - 302277080103510701581/35534542957684296*e^8 + 737159264510675139/2961211913140358*e^7 + 120878988768101309425/11844847652561432*e^6 - 25341219625616968811/35534542957684296*e^5 - 99901240130800240969/17767271478842148*e^4 + 571338851727623681/2961211913140358*e^3 + 6964393039155708439/5922423826280716*e^2 + 77150081557243787/11844847652561432*e - 302838501963575845/5922423826280716, -4134190875845003/106603628873052888*e^23 - 3872085870415417/53301814436526444*e^22 + 145438979530315453/106603628873052888*e^21 + 266328928445824775/106603628873052888*e^20 - 240206607838434797/11844847652561432*e^19 - 650430325769487125/17767271478842148*e^18 + 17667280266484132403/106603628873052888*e^17 + 15949747074853553129/53301814436526444*e^16 - 3603683462883054322/4441817869710537*e^15 - 79958210249265218179/53301814436526444*e^14 + 64810581186238707407/26650907218263222*e^13 + 127361028662969654527/26650907218263222*e^12 - 58574958729186188090/13325453609131611*e^11 - 43171487529630562813/4441817869710537*e^10 + 493688222396571906779/106603628873052888*e^9 + 1324933602804826612793/106603628873052888*e^8 - 103376867989305811903/35534542957684296*e^7 - 343676012348910352723/35534542957684296*e^6 + 152527021252229768617/106603628873052888*e^5 + 224479310248667491601/53301814436526444*e^4 - 20928376623925713757/35534542957684296*e^3 - 27608293238267155375/35534542957684296*e^2 + 746914361855277467/8883635739421074*e + 76384269944167361/2961211913140358, -83779946740743/1480605956570179*e^23 - 137171319570867/1480605956570179*e^22 + 12752508847953191/5922423826280716*e^21 + 39192775439791125/11844847652561432*e^20 - 418505723692785747/11844847652561432*e^19 - 599057732916573157/11844847652561432*e^18 + 3879611704113787731/11844847652561432*e^17 + 5128075274475640323/11844847652561432*e^16 - 5589174974001305617/2961211913140358*e^15 - 3374426532224681104/1480605956570179*e^14 + 41498590384568121449/5922423826280716*e^13 + 45129894624909018645/5922423826280716*e^12 - 24858985258201241603/1480605956570179*e^11 - 95507091065212405915/5922423826280716*e^10 + 37416771556724634624/1480605956570179*e^9 + 123538788276897571989/5922423826280716*e^8 - 132796381445187311407/5922423826280716*e^7 - 181510207221731628497/11844847652561432*e^6 + 61340218936395814613/5922423826280716*e^5 + 33204216046871543969/5922423826280716*e^4 - 23255094830969445863/11844847652561432*e^3 - 1201649107677509752/1480605956570179*e^2 + 1074530747998423239/11844847652561432*e + 105801974292442655/5922423826280716, 962160557351431/26650907218263222*e^23 + 5007607105754993/53301814436526444*e^22 - 128544972430358543/106603628873052888*e^21 - 344485263699764725/106603628873052888*e^20 + 197210114975219245/11844847652561432*e^19 + 1673940158836594439/35534542957684296*e^18 - 12952432409976944215/106603628873052888*e^17 - 20234464330553355985/53301814436526444*e^16 + 4344207879186821629/8883635739421074*e^15 + 98519900986976393453/53301814436526444*e^14 - 51152815503567353855/53301814436526444*e^13 - 148702925166519596315/26650907218263222*e^12 + 7844084991361860163/53301814436526444*e^11 + 91739055019389760939/8883635739421074*e^10 + 156704014066947314593/53301814436526444*e^9 - 600750361942987383305/53301814436526444*e^8 - 176686167137291595391/35534542957684296*e^7 + 30583794982109388517/4441817869710537*e^6 + 155617070795879935103/53301814436526444*e^5 - 238990524369843804347/106603628873052888*e^4 - 8315751561493701431/17767271478842148*e^3 + 11229942595794815405/35534542957684296*e^2 - 115800349950301190/4441817869710537*e - 12182380108791259/2961211913140358, 340968261296491/4441817869710537*e^23 + 5087975921904821/35534542957684296*e^22 - 102704834963859967/35534542957684296*e^21 - 183060079870347941/35534542957684296*e^20 + 554748895031938741/11844847652561432*e^19 + 941071151012164339/11844847652561432*e^18 - 3799150046636277743/8883635739421074*e^17 - 6109061943799629781/8883635739421074*e^16 + 14326419974036795391/5922423826280716*e^15 + 65225457046575510871/17767271478842148*e^14 - 77921090880048093617/8883635739421074*e^13 - 222089520821726628185/17767271478842148*e^12 + 181035785808868481665/8883635739421074*e^11 + 160534875871608729585/5922423826280716*e^10 - 261211082880002371121/8883635739421074*e^9 - 1288161238100032289183/35534542957684296*e^8 + 145178543996749337061/5922423826280716*e^7 + 41247969001443390498/1480605956570179*e^6 - 361280627843799322561/35534542957684296*e^5 - 191094276463286735201/17767271478842148*e^4 + 17319564003001303419/11844847652561432*e^3 + 9480445761522787971/5922423826280716*e^2 + 13600806606616849/1480605956570179*e - 48670690950050874/1480605956570179, -1705300971326111/35534542957684296*e^23 - 1820055501316723/17767271478842148*e^22 + 64391059895917717/35534542957684296*e^21 + 33108702932663327/8883635739421074*e^20 - 87388174628253015/2961211913140358*e^19 - 689523315405814231/11844847652561432*e^18 + 1206307540425977617/4441817869710537*e^17 + 18168392569606656475/35534542957684296*e^16 - 4600526368167143527/2961211913140358*e^15 - 12333824447263636288/4441817869710537*e^14 + 101675726408672562991/17767271478842148*e^13 + 85748359802727295765/8883635739421074*e^12 - 60362969478402239447/4441817869710537*e^11 - 63595200312350016565/2961211913140358*e^10 + 719388873787484244575/35534542957684296*e^9 + 1054688127830706055385/35534542957684296*e^8 - 210861264441313108755/11844847652561432*e^7 - 141086314359523156701/5922423826280716*e^6 + 293953679032095585499/35534542957684296*e^5 + 173722415586949963121/17767271478842148*e^4 - 2479387315241431963/1480605956570179*e^3 - 18933687575276674969/11844847652561432*e^2 + 1136873748873149577/11844847652561432*e + 243058783341554103/5922423826280716, -312668960651037/11844847652561432*e^23 - 1274116113108375/23689695305122864*e^22 + 23913401671473333/23689695305122864*e^21 + 11851069367011311/5922423826280716*e^20 - 24643668805190105/1480605956570179*e^19 - 380191679903041109/11844847652561432*e^18 + 3670925897116727551/23689695305122864*e^17 + 6890148526692474293/23689695305122864*e^16 - 10607094358725693277/11844847652561432*e^15 - 19394893880009036263/11844847652561432*e^14 + 39373005952611222545/11844847652561432*e^13 + 35097527270473417039/5922423826280716*e^12 - 46911458480093387965/5922423826280716*e^11 - 81546653688486610749/5922423826280716*e^10 + 139166663812897598815/11844847652561432*e^9 + 470489989817572328421/23689695305122864*e^8 - 120045282028225053375/11844847652561432*e^7 - 390632064776728498533/23689695305122864*e^6 + 106350368328760747011/23689695305122864*e^5 + 40236620194758594149/5922423826280716*e^4 - 9681996833200529005/11844847652561432*e^3 - 3053638310595060525/2961211913140358*e^2 + 609944197813377257/23689695305122864*e + 440449422832985877/11844847652561432, -395018368620191/17767271478842148*e^23 + 273355437045403/17767271478842148*e^22 + 34403523919720067/35534542957684296*e^21 - 17438881785109061/35534542957684296*e^20 - 214177349166002675/11844847652561432*e^19 + 73083384028132635/11844847652561432*e^18 + 6743862301541401321/35534542957684296*e^17 - 324023740769617279/8883635739421074*e^16 - 7292628901843647479/5922423826280716*e^15 + 1290695814462737677/17767271478842148*e^14 + 22706520193381235843/4441817869710537*e^13 + 1292729691276194818/4441817869710537*e^12 - 120507277698931676333/8883635739421074*e^11 - 3049457466487419186/1480605956570179*e^10 + 395641253608351095563/17767271478842148*e^9 + 21702695961288576203/4441817869710537*e^8 - 249126460445393125683/11844847652561432*e^7 - 15656146996380539963/2961211913140358*e^6 + 44338210332399237889/4441817869710537*e^5 + 86001094509153794309/35534542957684296*e^4 - 10778747926917541765/5922423826280716*e^3 - 4478464011752455131/11844847652561432*e^2 + 294542767446748319/5922423826280716*e + 21307472282483877/1480605956570179, -1061212368441817/17767271478842148*e^23 - 758453613363161/8883635739421074*e^22 + 41610144477763511/17767271478842148*e^21 + 27317322659598239/8883635739421074*e^20 - 117653595303360131/2961211913140358*e^19 - 280708934127489835/5922423826280716*e^18 + 3394104173730071297/8883635739421074*e^17 + 7266972402650953859/17767271478842148*e^16 - 3391169509717583759/1480605956570179*e^15 - 9633026466171280423/4441817869710537*e^14 + 78731157383079253919/8883635739421074*e^13 + 32390025500998989314/4441817869710537*e^12 - 98330108401620998603/4441817869710537*e^11 - 22904978348724768360/1480605956570179*e^10 + 615375821227540222549/17767271478842148*e^9 + 354028880224930824523/17767271478842148*e^8 - 187692421421626375089/5922423826280716*e^7 - 21291971153696145849/1480605956570179*e^6 + 263656421737212167009/17767271478842148*e^5 + 45244191298554691369/8883635739421074*e^4 - 8064351847559911853/2961211913140358*e^3 - 4522059088787140911/5922423826280716*e^2 + 676825948326535421/5922423826280716*e + 78694982929059627/2961211913140358, 891650511981069/11844847652561432*e^23 + 308408376405477/2961211913140358*e^22 - 33285762736639971/11844847652561432*e^21 - 21770927037130597/5922423826280716*e^20 + 266301977237875343/5922423826280716*e^19 + 660586576268195705/11844847652561432*e^18 - 597264006083368353/1480605956570179*e^17 - 5652694588399073911/11844847652561432*e^16 + 6597128647934212859/2961211913140358*e^15 + 3757048038534713066/1480605956570179*e^14 - 46351305348592983671/5922423826280716*e^13 - 25737151067006707753/2961211913140358*e^12 + 25820251092167813508/1480605956570179*e^11 + 56834772306673271309/2961211913140358*e^10 - 281579746091940400413/11844847652561432*e^9 - 314244857735301053573/11844847652561432*e^8 + 215609337882566283389/11844847652561432*e^7 + 31823409071142720410/1480605956570179*e^6 - 75958546072639733967/11844847652561432*e^5 - 26743577169715829029/2961211913140358*e^4 + 1366863706928174469/2961211913140358*e^3 + 18458396917526743175/11844847652561432*e^2 + 1164488475778226957/11844847652561432*e - 294148758716294517/5922423826280716, -254475020615839/4441817869710537*e^23 - 6087866279668913/35534542957684296*e^22 + 71058788678268763/35534542957684296*e^21 + 218326365628859087/35534542957684296*e^20 - 349505680835824415/11844847652561432*e^19 - 1117354980955717089/11844847652561432*e^18 + 4252580607822547375/17767271478842148*e^17 + 14421275021578489745/17767271478842148*e^16 - 6869177140307835915/5922423826280716*e^15 - 76427145586165610779/17767271478842148*e^14 + 15112746137224588309/4441817869710537*e^13 + 258181761917732669663/17767271478842148*e^12 - 51295623570761600275/8883635739421074*e^11 - 185492497866404004843/5922423826280716*e^10 + 42844437088001385797/8883635739421074*e^9 + 1491095635371396151223/35534542957684296*e^8 - 3720257500789516177/5922423826280716*e^7 - 195260520885925584711/5922423826280716*e^6 - 55856083650795150047/35534542957684296*e^5 + 239933941091006490857/17767271478842148*e^4 + 9292685356850573119/11844847652561432*e^3 - 13048400318835295505/5922423826280716*e^2 - 640228026735247427/5922423826280716*e + 205048648256959905/2961211913140358, 2366321936555749/106603628873052888*e^23 + 4188844441862449/106603628873052888*e^22 - 9454843153333864/13325453609131611*e^21 - 15460341421509917/13325453609131611*e^20 + 13469957239464099/1480605956570179*e^19 + 470010282746033933/35534542957684296*e^18 - 6124428135512072275/106603628873052888*e^17 - 3532649590072315453/53301814436526444*e^16 + 2782320828552889073/17767271478842148*e^15 + 2492856253647927287/53301814436526444*e^14 + 1771457972443300567/13325453609131611*e^13 + 14442839929383458090/13325453609131611*e^12 - 28512439905333616190/13325453609131611*e^11 - 24517634269697126368/4441817869710537*e^10 + 636511002070281380003/106603628873052888*e^9 + 651607381467387152701/53301814436526444*e^8 - 268682052077750131369/35534542957684296*e^7 - 475831751332308579145/35534542957684296*e^6 + 238690527340988440379/53301814436526444*e^5 + 88527735656179054583/13325453609131611*e^4 - 4910890200345138851/4441817869710537*e^3 - 39998258666068290313/35534542957684296*e^2 + 600163628126219107/17767271478842148*e + 40863650562290692/1480605956570179, 381069396197357/4441817869710537*e^23 + 5147154239940911/17767271478842148*e^22 - 52580099874858457/17767271478842148*e^21 - 45714584836796798/4441817869710537*e^20 + 63919231273529467/1480605956570179*e^19 + 230743243044709420/1480605956570179*e^18 - 6163074734604587939/17767271478842148*e^17 - 23352285661515890929/17767271478842148*e^16 + 4958072336818481513/2961211913140358*e^15 + 60128904198433327573/8883635739421074*e^14 - 44120132354968360171/8883635739421074*e^13 - 97510005625803250123/4441817869710537*e^12 + 39570808423175194945/4441817869710537*e^11 + 66162459009613587218/1480605956570179*e^10 - 41029403234672626310/4441817869710537*e^9 - 983231813175928597055/17767271478842148*e^8 + 15619440281160721217/2961211913140358*e^7 + 232380823091657678465/5922423826280716*e^6 - 30179489274111289465/17767271478842148*e^5 - 126529247232283393643/8883635739421074*e^4 + 456439104751630076/1480605956570179*e^3 + 3015619731636632904/1480605956570179*e^2 + 42157389036690849/5922423826280716*e - 145230208651138539/2961211913140358, 10482928126694629/106603628873052888*e^23 + 17331718463309129/53301814436526444*e^22 - 359661457599928547/106603628873052888*e^21 - 153153675070556369/13325453609131611*e^20 + 72239117242968889/1480605956570179*e^19 + 6144193156904274257/35534542957684296*e^18 - 10298877560155903153/26650907218263222*e^17 - 154135783570439327225/106603628873052888*e^16 + 16165849496435272549/8883635739421074*e^15 + 98092671325359162389/13325453609131611*e^14 - 274907318022735042305/53301814436526444*e^13 - 626404602530038659935/26650907218263222*e^12 + 112290459692245823677/13325453609131611*e^11 + 415823845609935194953/8883635739421074*e^10 - 740271107926560341989/106603628873052888*e^9 - 5994482911853215252219/106603628873052888*e^8 + 60115386843868365413/35534542957684296*e^7 + 681267167169057811519/17767271478842148*e^6 + 91416597916868960911/106603628873052888*e^5 - 715221424925673329809/53301814436526444*e^4 - 2067426195884029685/4441817869710537*e^3 + 69105052917629119703/35534542957684296*e^2 + 1945832279600506301/35534542957684296*e - 344107610706153239/5922423826280716, 1013706971092733/11844847652561432*e^23 + 363622061263920/1480605956570179*e^22 - 35405842355497111/11844847652561432*e^21 - 103433847377760935/11844847652561432*e^20 + 523226329051765995/11844847652561432*e^19 + 785666672199798301/5922423826280716*e^18 - 4258456822537484217/11844847652561432*e^17 - 1668062282689067479/1480605956570179*e^16 + 10396225989513346197/5922423826280716*e^15 + 34794765074338458407/5922423826280716*e^14 - 31058292608137999477/5922423826280716*e^13 - 57628415054839689177/2961211913140358*e^12 + 55421873119812315163/5922423826280716*e^11 + 60676676054227954901/1480605956570179*e^10 - 110348141688496484151/11844847652561432*e^9 - 633627785806729383505/11844847652561432*e^8 + 55040686027762696083/11844847652561432*e^7 + 485073337925719841205/11844847652561432*e^6 - 14644764766877181541/11844847652561432*e^5 - 24278719840602993238/1480605956570179*e^4 + 4460766942210864157/11844847652561432*e^3 + 30966903696825919959/11844847652561432*e^2 - 85675940715736953/5922423826280716*e - 116612471545532031/1480605956570179, -490754180087230/13325453609131611*e^23 - 3010221686010791/106603628873052888*e^22 + 155349196896025693/106603628873052888*e^21 + 53470276686286897/53301814436526444*e^20 - 147186289469754079/5922423826280716*e^19 - 271966555856239721/17767271478842148*e^18 + 25489276952050487093/106603628873052888*e^17 + 14019850659624337387/106603628873052888*e^16 - 25337399343598259215/17767271478842148*e^15 - 37296355940168518279/53301814436526444*e^14 + 290685602588647586521/53301814436526444*e^13 + 31754382834049286963/13325453609131611*e^12 - 177962371779713357474/13325453609131611*e^11 - 22968785993911032289/4441817869710537*e^10 + 270177749205855591310/13325453609131611*e^9 + 732388511161350594023/106603628873052888*e^8 - 315353757705302722673/17767271478842148*e^7 - 182650721407173844075/35534542957684296*e^6 + 829176178758750536917/106603628873052888*e^5 + 101298057809295643931/53301814436526444*e^4 - 22472300891717789759/17767271478842148*e^3 - 2720297971924938943/8883635739421074*e^2 + 1033067129380266293/35534542957684296*e - 13091690577802925/5922423826280716, 1226942369630719/35534542957684296*e^23 + 2755351975867483/35534542957684296*e^22 - 10028143741507289/8883635739421074*e^21 - 22490733106144207/8883635739421074*e^20 + 44658775076898239/2961211913140358*e^19 + 406775746633488243/11844847652561432*e^18 - 3694715119181898325/35534542957684296*e^17 - 4427304417001102495/17767271478842148*e^16 + 2195540983278450891/5922423826280716*e^15 + 18260231524831325525/17767271478842148*e^14 - 2053247056159081196/4441817869710537*e^13 - 10180650202522170067/4441817869710537*e^12 - 5073385582198933616/4441817869710537*e^11 + 2889764125256759565/1480605956570179*e^10 + 173855989948707792857/35534542957684296*e^9 + 32962392177094141039/17767271478842148*e^8 - 77121541601143464335/11844847652561432*e^7 - 58010436749193643179/11844847652561432*e^6 + 61251021297546868961/17767271478842148*e^5 + 27351378704394864121/8883635739421074*e^4 - 866368654797646227/1480605956570179*e^3 - 7520142471997371463/11844847652561432*e^2 + 22324912690995061/5922423826280716*e + 53261055685908876/1480605956570179, 1228664642238815/53301814436526444*e^23 + 895858853349929/13325453609131611*e^22 - 41631351876723529/53301814436526444*e^21 - 62190408533287621/26650907218263222*e^20 + 32816577298760443/2961211913140358*e^19 + 610710685308844393/17767271478842148*e^18 - 1135503741670703360/13325453609131611*e^17 - 14944435839894814057/53301814436526444*e^16 + 1698808172633283482/4441817869710537*e^15 + 18458727370763489924/13325453609131611*e^14 - 26562172708056223705/26650907218263222*e^13 - 56757803414110727743/13325453609131611*e^12 + 18313360822212152884/13325453609131611*e^11 + 35854253393820369893/4441817869710537*e^10 - 37231118228080770599/53301814436526444*e^9 - 482583489215225005319/53301814436526444*e^8 - 3157648262220740435/17767271478842148*e^7 + 24799122142835851252/4441817869710537*e^6 - 1042535871991471801/53301814436526444*e^5 - 21726326909752980184/13325453609131611*e^4 + 1305428416597479373/4441817869710537*e^3 + 2098526872082812051/17767271478842148*e^2 - 1573344959813820671/17767271478842148*e + 17129734019142017/2961211913140358, 454352655327803/213207257746105776*e^23 - 900084089528869/213207257746105776*e^22 - 122408971708114/13325453609131611*e^21 + 30572889664018067/106603628873052888*e^20 - 14368044125276775/11844847652561432*e^19 - 484406837653156403/71069085915368592*e^18 + 5450030708547504745/213207257746105776*e^17 + 1103350035195527534/13325453609131611*e^16 - 8443756170000462899/35534542957684296*e^15 - 62695607841939715823/106603628873052888*e^14 + 16357244883478297255/13325453609131611*e^13 + 137167559026105434095/53301814436526444*e^12 - 196881789760446116273/53301814436526444*e^11 - 124082306096055499933/17767271478842148*e^10 + 1339296824641377930313/213207257746105776*e^9 + 1213177778689416140147/106603628873052888*e^8 - 380276527403314163783/71069085915368592*e^7 - 729672666396732742397/71069085915368592*e^6 + 163259173359457455613/106603628873052888*e^5 + 233362577496520570169/53301814436526444*e^4 + 8535901074148161653/35534542957684296*e^3 - 44217657008515154003/71069085915368592*e^2 - 1577508207777493697/17767271478842148*e + 10291329303922399/5922423826280716, 4055200538084081/71069085915368592*e^23 + 13871095985344085/71069085915368592*e^22 - 32429292478732801/17767271478842148*e^21 - 240123027749091649/35534542957684296*e^20 + 280055312688052195/11844847652561432*e^19 + 2350630206350541707/23689695305122864*e^18 - 10999909059961127981/71069085915368592*e^17 - 7161864315316871921/8883635739421074*e^16 + 5781919086155748995/11844847652561432*e^15 + 140833662518747711515/35534542957684296*e^14 - 964804002581631110/4441817869710537*e^13 - 215216707191876096967/17767271478842148*e^12 - 60068121128970109859/17767271478842148*e^11 + 135141243738934246469/5922423826280716*e^10 + 755278134446349641467/71069085915368592*e^9 - 909544516770286855945/35534542957684296*e^8 - 317350307231865902053/23689695305122864*e^7 + 385640129777036564441/23689695305122864*e^6 + 258950007142547450869/35534542957684296*e^5 - 97784504159516609197/17767271478842148*e^4 - 17823979110983496167/11844847652561432*e^3 + 18467888438625088631/23689695305122864*e^2 + 769798037807064141/5922423826280716*e - 126713004187999089/5922423826280716, 2073498302627159/71069085915368592*e^23 + 4487148083844653/71069085915368592*e^22 - 8660466117708623/8883635739421074*e^21 - 9011155563826643/4441817869710537*e^20 + 80105867761672513/5922423826280716*e^19 + 634781704346327071/23689695305122864*e^18 - 7115664325519959191/71069085915368592*e^17 - 6587238280910595533/35534542957684296*e^16 + 4958092845551262889/11844847652561432*e^15 + 24620082779867552125/35534542957684296*e^14 - 16520989883174886389/17767271478842148*e^13 - 20621232760313363863/17767271478842148*e^12 + 12623990377086593353/17767271478842148*e^11 - 3058233505992964463/5922423826280716*e^10 + 75741359968401428773/71069085915368592*e^9 + 23327368164545396812/4441817869710537*e^8 - 58833544359613908677/23689695305122864*e^7 - 181392208680525580235/23689695305122864*e^6 + 14772347525946089977/8883635739421074*e^5 + 146857137810566126671/35534542957684296*e^4 - 5087961363751454325/11844847652561432*e^3 - 15286649894888016565/23689695305122864*e^2 - 44142928696604303/11844847652561432*e + 32401698042729975/2961211913140358, -3884599526180791/35534542957684296*e^23 - 26388622450643057/71069085915368592*e^22 + 260726582840762623/71069085915368592*e^21 + 230626461579707591/17767271478842148*e^20 - 76163645040167445/1480605956570179*e^19 - 2280535028121527101/11844847652561432*e^18 + 27684850521856567601/71069085915368592*e^17 + 112315713385078643839/71069085915368592*e^16 - 20276179592806204209/11844847652561432*e^15 - 278848474407237416929/35534542957684296*e^14 + 153431277691738175431/35534542957684296*e^13 + 429962436940550742325/17767271478842148*e^12 - 99564465294478745149/17767271478842148*e^11 - 271564723513319048705/5922423826280716*e^10 + 83386039683100006105/35534542957684296*e^9 + 3641849659563061080251/71069085915368592*e^8 + 12637995085161321887/11844847652561432*e^7 - 748386246968444429429/23689695305122864*e^6 - 1088171981558821067/71069085915368592*e^5 + 87121631194183634099/8883635739421074*e^4 - 8096252389614685267/11844847652561432*e^3 - 7450882959528740603/5922423826280716*e^2 + 2505841084907371433/23689695305122864*e + 382986091896932445/11844847652561432, -260599540896035/26650907218263222*e^23 + 5533475348076937/106603628873052888*e^22 + 49850980319352493/106603628873052888*e^21 - 205082055615348379/106603628873052888*e^20 - 110703425142738885/11844847652561432*e^19 + 1080454531415148305/35534542957684296*e^18 + 1373018385071816995/13325453609131611*e^17 - 14263151904021713449/53301814436526444*e^16 - 3075509598792060895/4441817869710537*e^15 + 19146055692549029537/13325453609131611*e^14 + 156914302113724555561/53301814436526444*e^13 - 64675017969676092436/13325453609131611*e^12 - 422292331566429628487/53301814436526444*e^11 + 91311181135924095205/8883635739421074*e^10 + 695892375495378020431/53301814436526444*e^9 - 1409802043491041583829/106603628873052888*e^8 - 108202205194022441035/8883635739421074*e^7 + 85988062165324973837/8883635739421074*e^6 + 580423467737617082959/106603628873052888*e^5 - 185691167906124506281/53301814436526444*e^4 - 25370117185797586735/35534542957684296*e^3 + 1673030190275587027/4441817869710537*e^2 - 227045560867683607/8883635739421074*e + 13457558911292626/1480605956570179, -22834737599257/71069085915368592*e^23 + 760450292366627/71069085915368592*e^22 + 7009344263753689/35534542957684296*e^21 - 4708581473115419/17767271478842148*e^20 - 20226983352632141/2961211913140358*e^19 + 53018517497740563/23689695305122864*e^18 + 7281756709673722639/71069085915368592*e^17 - 71811330268251439/17767271478842148*e^16 - 10097063734396341849/11844847652561432*e^15 - 1860917254956649325/35534542957684296*e^14 + 37987266662523570047/8883635739421074*e^13 + 6824924733041505401/17767271478842148*e^12 - 234855552841556600489/17767271478842148*e^11 - 6588707704307237443/5922423826280716*e^10 + 1757562046377321812461/71069085915368592*e^9 + 52027579505927700581/35534542957684296*e^8 - 625745600720129597725/23689695305122864*e^7 - 13013145812549539385/23689695305122864*e^6 + 509790386437175900023/35534542957684296*e^5 - 10980044627636603501/35534542957684296*e^4 - 37813567432270907541/11844847652561432*e^3 + 2661015540563002271/23689695305122864*e^2 + 1170787672046341993/5922423826280716*e - 12634406375462817/5922423826280716, -119070663043231/35534542957684296*e^23 + 1473024555751381/17767271478842148*e^22 + 2540733129133223/8883635739421074*e^21 - 108359651009882759/35534542957684296*e^20 - 89410369511042083/11844847652561432*e^19 + 284681655976680941/5922423826280716*e^18 + 3515961152686269505/35534542957684296*e^17 - 15098845456463752543/35534542957684296*e^16 - 1113533520697971944/1480605956570179*e^15 + 41117989493110656391/17767271478842148*e^14 + 31280655763288120087/8883635739421074*e^13 - 71404679945586392353/8883635739421074*e^12 - 182745479325468732703/17767271478842148*e^11 + 52779756446305637779/2961211913140358*e^10 + 650226369830965082377/35534542957684296*e^9 - 873350218980696839519/35534542957684296*e^8 - 109796544258507311645/5922423826280716*e^7 + 117174491056900475765/5922423826280716*e^6 + 331809815318334451799/35534542957684296*e^5 - 286095273286153555081/35534542957684296*e^4 - 2650541150148220973/1480605956570179*e^3 + 3328661911514739863/2961211913140358*e^2 + 1589771784654299385/11844847652561432*e - 98989200596979315/5922423826280716, 400688571825859/35534542957684296*e^23 + 2112300592714357/35534542957684296*e^22 - 2727903624635105/8883635739421074*e^21 - 38635983831766529/17767271478842148*e^20 + 16214602074399567/5922423826280716*e^19 + 406602776702456961/11844847652561432*e^18 - 39168043427086717/35534542957684296*e^17 - 1362935366410328206/4441817869710537*e^16 - 890350353137236075/5922423826280716*e^15 + 30414822064813756061/17767271478842148*e^14 + 5289087752182428511/4441817869710537*e^13 - 27493908509110757164/4441817869710537*e^12 - 39184859597166122749/8883635739421074*e^11 + 21574099801354748983/1480605956570179*e^10 + 311339113602806726201/35534542957684296*e^9 - 96830204413632243959/4441817869710537*e^8 - 105385804130372965865/11844847652561432*e^7 + 230438552629076751703/11844847652561432*e^6 + 16296282190676396201/4441817869710537*e^5 - 159135179601231445297/17767271478842148*e^4 - 371485811525848995/2961211913140358*e^3 + 17714258735311259035/11844847652561432*e^2 - 46495738999108788/1480605956570179*e - 120855450401758155/2961211913140358, -3499473674270911/213207257746105776*e^23 - 15747017609674891/213207257746105776*e^22 + 49966175533755697/106603628873052888*e^21 + 131624336896101877/53301814436526444*e^20 - 21762767803884632/4441817869710537*e^19 - 2443309614791614379/71069085915368592*e^18 + 3727306653245907097/213207257746105776*e^17 + 3420793868680801727/13325453609131611*e^16 + 2489957705202639125/35534542957684296*e^15 - 116675736211650529367/106603628873052888*e^14 - 12150021024692234765/13325453609131611*e^13 + 136087583968981844741/53301814436526444*e^12 + 196753474244436271933/53301814436526444*e^11 - 14392536157889457417/5922423826280716*e^10 - 1591974595476525763829/213207257746105776*e^9 - 171871447925323377721/106603628873052888*e^8 + 541752464908494622073/71069085915368592*e^7 + 375712908179427599989/71069085915368592*e^6 - 371528092715598747011/106603628873052888*e^5 - 377450554781797040717/106603628873052888*e^4 + 6412968390919643657/11844847652561432*e^3 + 50605160009025886885/71069085915368592*e^2 + 125810119020286747/4441817869710537*e - 170331498761104579/5922423826280716, -249681320440961/35534542957684296*e^23 - 3513932210535517/17767271478842148*e^22 + 498343783661357/17767271478842148*e^21 + 258345444459124313/35534542957684296*e^20 + 43193226923106597/11844847652561432*e^19 - 169255398314485147/1480605956570179*e^18 - 2602251536971346815/35534542957684296*e^17 + 35731101236089532467/35534542957684296*e^16 + 969131004631304082/1480605956570179*e^15 - 96547204520416452877/17767271478842148*e^14 - 14635832455205455673/4441817869710537*e^13 + 165808835634239834575/8883635739421074*e^12 + 175428748065044240389/17767271478842148*e^11 - 120779546527417596287/2961211913140358*e^10 - 617032300664919764125/35534542957684296*e^9 + 1963451528063772996479/35534542957684296*e^8 + 49079169271647141429/2961211913140358*e^7 - 258729261941580312765/5922423826280716*e^6 - 252065135889018914255/35534542957684296*e^5 + 627324531983371997563/35534542957684296*e^4 + 1099375595294236730/1480605956570179*e^3 - 15195735732253598873/5922423826280716*e^2 - 102856380180880449/11844847652561432*e + 257559813824316263/5922423826280716, -3686343937282583/71069085915368592*e^23 - 15788904301389731/71069085915368592*e^22 + 58042910806273169/35534542957684296*e^21 + 139877420814276539/17767271478842148*e^20 - 30525216164181470/1480605956570179*e^19 - 2816513914656688067/23689695305122864*e^18 + 9096590096306937737/71069085915368592*e^17 + 8882593370850881963/8883635739421074*e^16 - 4039086034853521871/11844847652561432*e^15 - 182465754320734275319/35534542957684296*e^14 - 2756144691782973629/8883635739421074*e^13 + 295241311935636186433/17767271478842148*e^12 + 82498986506690757419/17767271478842148*e^11 - 200257041524075418551/5922423826280716*e^10 - 897241273759226832853/71069085915368592*e^9 + 1495261332748890411271/35534542957684296*e^8 + 362446818648646786153/23689695305122864*e^7 - 718192156391578841883/23689695305122864*e^6 - 285673659295108146499/35534542957684296*e^5 + 400567874041827968627/35534542957684296*e^4 + 16278710647412150455/11844847652561432*e^3 - 36494777469080877563/23689695305122864*e^2 - 204329230980435015/2961211913140358*e + 161639402994126651/5922423826280716, 475629597067391/5922423826280716*e^23 + 3087711010543369/11844847652561432*e^22 - 32349858218836595/11844847652561432*e^21 - 13672648822176672/1480605956570179*e^20 + 57641984692098366/1480605956570179*e^19 + 826180993907006891/5922423826280716*e^18 - 3566544677868044413/11844847652561432*e^17 - 13915227309540275351/11844847652561432*e^16 + 8061145992862651549/5922423826280716*e^15 + 35835448169897347853/5922423826280716*e^14 - 21164883847882052465/5922423826280716*e^13 - 58288742772079180697/2961211913140358*e^12 + 7288079052781538378/1480605956570179*e^11 + 119629253434498968025/2961211913140358*e^10 - 12900727949160094379/5922423826280716*e^9 - 603374725799362025827/11844847652561432*e^8 - 11060875822603113129/5922423826280716*e^7 + 443270479128323867943/11844847652561432*e^6 + 21944605848011876819/11844847652561432*e^5 - 42652876929958496411/2961211913140358*e^4 - 1964452149541703799/5922423826280716*e^3 + 6514154707066040521/2961211913140358*e^2 + 398099664819183117/11844847652561432*e - 310725122331981207/5922423826280716, 180956698663749/5922423826280716*e^23 + 1385677084535951/11844847652561432*e^22 - 12028432373458559/11844847652561432*e^21 - 48911745637783875/11844847652561432*e^20 + 166274466758650291/11844847652561432*e^19 + 733783825312734981/11844847652561432*e^18 - 614891331503276021/5922423826280716*e^17 - 3052536606623798613/5922423826280716*e^16 + 1289874384045916867/2961211913140358*e^15 + 7703455663148671441/2961211913140358*e^14 - 5784913292015059687/5922423826280716*e^13 - 12119052039965224761/1480605956570179*e^12 + 4451284078457324089/5922423826280716*e^11 + 47071409167344614021/2961211913140358*e^10 + 1849075784780940969/1480605956570179*e^9 - 216340280965984059025/11844847652561432*e^8 - 18471038330114222645/5922423826280716*e^7 + 67890800963282603987/5922423826280716*e^6 + 28429981612070080843/11844847652561432*e^5 - 20103557347556689539/5922423826280716*e^4 - 9041504340104124273/11844847652561432*e^3 + 1852940322101053569/5922423826280716*e^2 + 247702150522128237/2961211913140358*e + 15399730866718983/1480605956570179, -3240774565291675/53301814436526444*e^23 - 15776916412767917/106603628873052888*e^22 + 232749711774819763/106603628873052888*e^21 + 280962986390491657/53301814436526444*e^20 - 593747666073995837/17767271478842148*e^19 - 356784225391163477/4441817869710537*e^18 + 30337957069475187575/106603628873052888*e^17 + 73082091904677581905/106603628873052888*e^16 - 26208861144012957911/17767271478842148*e^15 - 191980734116771352829/53301814436526444*e^14 + 254675565734048882923/53301814436526444*e^13 + 160634212534875311654/13325453609131611*e^12 - 127008059621691856643/13325453609131611*e^11 - 38073554174553205157/1480605956570179*e^10 + 587662316840986612627/53301814436526444*e^9 + 3625837096925169683459/106603628873052888*e^8 - 112692773632864544971/17767271478842148*e^7 - 931530287126566811407/35534542957684296*e^6 + 98810327044159409005/106603628873052888*e^5 + 138322092350177868689/13325453609131611*e^4 + 683862026519955736/1480605956570179*e^3 - 14220055580253394501/8883635739421074*e^2 - 5143253344052691289/35534542957684296*e + 327972234454812137/5922423826280716, 2580119756357305/71069085915368592*e^23 + 619760289938527/71069085915368592*e^22 - 26118619309283579/17767271478842148*e^21 - 937556946533092/4441817869710537*e^20 + 152426871336730761/5922423826280716*e^19 + 32500111391254265/23689695305122864*e^18 - 18132608242349434165/71069085915368592*e^17 + 270829675572044723/35534542957684296*e^16 + 18650347853969590447/11844847652561432*e^15 - 5920916051716932073/35534542957684296*e^14 - 111213585537596520115/17767271478842148*e^13 + 19473183253843996099/17767271478842148*e^12 + 284456603348685311465/17767271478842148*e^11 - 22652008431746376445/5922423826280716*e^10 - 1810383515251948951549/71069085915368592*e^9 + 135333946224679894205/17767271478842148*e^8 + 551748704313576345589/23689695305122864*e^7 - 197182110326821735809/23689695305122864*e^6 - 182839696587270716543/17767271478842148*e^5 + 151627948849140338933/35534542957684296*e^4 + 15833536999577541149/11844847652561432*e^3 - 15699730635059381603/23689695305122864*e^2 + 453124736520909001/11844847652561432*e + 40472793415587425/1480605956570179, 1699839143824307/17767271478842148*e^23 + 9777771820462177/35534542957684296*e^22 - 59248496650417309/17767271478842148*e^21 - 342198703812083233/35534542957684296*e^20 + 583762636939386749/11844847652561432*e^19 + 1695551992089980629/11844847652561432*e^18 - 1789024841512742618/4441817869710537*e^17 - 41906684907751123181/35534542957684296*e^16 + 2945989564581176631/1480605956570179*e^15 + 104655475292819273993/17767271478842148*e^14 - 108439070375532317999/17767271478842148*e^13 - 325628831137387558639/17767271478842148*e^12 + 51163777492007263528/4441817869710537*e^11 + 208311395994959521903/5922423826280716*e^10 - 228699106020080381717/17767271478842148*e^9 - 1419962909050207563637/35534542957684296*e^8 + 93301965638771398591/11844847652561432*e^7 + 296294998166660766447/11844847652561432*e^6 - 70562851977247809281/35534542957684296*e^5 - 275997126883852534697/35534542957684296*e^4 - 1696036392466750621/5922423826280716*e^3 + 11707182222482504925/11844847652561432*e^2 + 1801153377293743205/11844847652561432*e - 95692477267374489/5922423826280716, -157037106897583/11844847652561432*e^23 + 723296633632765/23689695305122864*e^22 + 13163073467023249/23689695305122864*e^21 - 13451721373827691/11844847652561432*e^20 - 118138056622025129/11844847652561432*e^19 + 26438091853739700/1480605956570179*e^18 + 2382162220879151209/23689695305122864*e^17 - 3659910078895157617/23689695305122864*e^16 - 7434002447159119513/11844847652561432*e^15 + 9505216710589141923/11844847652561432*e^14 + 29838641057299680291/11844847652561432*e^13 - 15183340165080526761/5922423826280716*e^12 - 38714098742367572121/5922423826280716*e^11 + 29433968909571544655/5922423826280716*e^10 + 127136035529040285873/11844847652561432*e^9 - 132391743784463625019/23689695305122864*e^8 - 125605402921372700107/11844847652561432*e^7 + 80467543118858143693/23689695305122864*e^6 + 136825966036782799839/23689695305122864*e^5 - 1541586273224349250/1480605956570179*e^4 - 8679057787246953215/5922423826280716*e^3 + 822292125508380169/5922423826280716*e^2 + 2249410337372315863/23689695305122864*e + 84150166403625483/11844847652561432, 167371614239923/35534542957684296*e^23 + 3009354164097329/71069085915368592*e^22 - 8267985833993971/71069085915368592*e^21 - 28002673089462281/17767271478842148*e^20 + 1151233622932159/1480605956570179*e^19 + 299818699308082437/11844847652561432*e^18 + 295259838390127183/71069085915368592*e^17 - 16345141702730081971/71069085915368592*e^16 - 1106688912828569479/11844847652561432*e^15 + 46259864172473013085/35534542957684296*e^14 + 21650835636729949241/35534542957684296*e^13 - 84571799231219947387/17767271478842148*e^12 - 36195344050230646361/17767271478842148*e^11 + 66703728712820835239/5922423826280716*e^10 + 128917871888863078247/35534542957684296*e^9 - 1190345740551732436667/71069085915368592*e^8 - 34570455812861321333/11844847652561432*e^7 + 344727226509911502777/23689695305122864*e^6 + 8951524617657736667/71069085915368592*e^5 - 111434632160487023815/17767271478842148*e^4 + 10438037646660323249/11844847652561432*e^3 + 2617642253824177975/2961211913140358*e^2 - 3927132255671395645/23689695305122864*e - 247688557985723241/11844847652561432, -839194004823031/53301814436526444*e^23 + 3230277742113257/53301814436526444*e^22 + 32736777084439163/53301814436526444*e^21 - 30834828744180497/13325453609131611*e^20 - 44729399645050811/4441817869710537*e^19 + 668325339467520511/17767271478842148*e^18 + 4818029955781130299/53301814436526444*e^17 - 18121669012966806013/53301814436526444*e^16 - 2154092135693681393/4441817869710537*e^15 + 24959623417613400590/13325453609131611*e^14 + 42476502437215394411/26650907218263222*e^13 - 172969577120393236619/26650907218263222*e^12 - 42130781303930844632/13325453609131611*e^11 + 41719417742893852977/2961211913140358*e^10 + 191477855226199766539/53301814436526444*e^9 - 246393240386098543658/13325453609131611*e^8 - 18810828594290132207/8883635739421074*e^7 + 60308107450197555700/4441817869710537*e^6 + 7356187405030967435/13325453609131611*e^5 - 255825676427853000775/53301814436526444*e^4 - 64942391244626371/5922423826280716*e^3 + 2665016865743984287/4441817869710537*e^2 - 597824939310334637/17767271478842148*e - 43748881319431907/2961211913140358, -3363072688048865/106603628873052888*e^23 + 1395733370426321/53301814436526444*e^22 + 137005975242433957/106603628873052888*e^21 - 26395727051934211/26650907218263222*e^20 - 99968342654494268/4441817869710537*e^19 + 557924381655986135/35534542957684296*e^18 + 2957705402732330917/13325453609131611*e^17 - 14443490429681265965/106603628873052888*e^16 - 12054130431156575875/8883635739421074*e^15 + 18439281112393839829/26650907218263222*e^14 + 284210844834587673709/53301814436526444*e^13 - 28376711330897906866/13325453609131611*e^12 - 359960109626722237411/26650907218263222*e^11 + 5713245705303674616/1480605956570179*e^10 + 2292031852637279123765/106603628873052888*e^9 - 413582993230170825241/106603628873052888*e^8 - 721701586215454843427/35534542957684296*e^7 + 9039837541715060422/4441817869710537*e^6 + 1100596860716090439037/106603628873052888*e^5 - 8652382279826147566/13325453609131611*e^4 - 14426009757048428079/5922423826280716*e^3 + 5961222404940334823/35534542957684296*e^2 + 7443774522964095077/35534542957684296*e - 55431174995196919/5922423826280716, -15013719205288909/213207257746105776*e^23 - 60404091075789907/213207257746105776*e^22 + 131885728178711423/53301814436526444*e^21 + 275757974255299733/26650907218263222*e^20 - 658688237971337207/17767271478842148*e^19 - 11509237267217265269/71069085915368592*e^18 + 65982914337651937945/213207257746105776*e^17 + 151548010133505240829/106603628873052888*e^16 - 56009421398576735083/35534542957684296*e^15 - 819886630303680468971/106603628873052888*e^14 + 268277392111316147683/53301814436526444*e^13 + 1414186041021762038849/53301814436526444*e^12 - 529927592522500596881/53301814436526444*e^11 - 345673815321869166817/5922423826280716*e^10 + 2445232538887213264273/213207257746105776*e^9 + 4240800333045960101125/53301814436526444*e^8 - 478800216417832544641/71069085915368592*e^7 - 4475608017669527926019/71069085915368592*e^6 + 71000373328981555001/53301814436526444*e^5 + 2708406075297788244787/106603628873052888*e^4 + 1230501773107462437/11844847652561432*e^3 - 276200186128060173641/71069085915368592*e^2 - 1841584400407069345/35534542957684296*e + 138365540545963784/1480605956570179, -1423406552820403/35534542957684296*e^23 - 2730296683027985/71069085915368592*e^22 + 118027021124111983/71069085915368592*e^21 + 27060999113398973/17767271478842148*e^20 - 88190991557523255/2961211913140358*e^19 - 310139669857037333/11844847652561432*e^18 + 21495075009049642649/71069085915368592*e^17 + 18155689188261647047/71069085915368592*e^16 - 22644700560811509313/11844847652561432*e^15 - 55174745889077202361/35534542957684296*e^14 + 276443660458616654095/35534542957684296*e^13 + 107744310067289432437/17767271478842148*e^12 - 361612748369742321445/17767271478842148*e^11 - 89582147877979722013/5922423826280716*e^10 + 1177744557167919966805/35534542957684296*e^9 + 1645161731674690790675/71069085915368592*e^8 - 370660658864007950905/11844847652561432*e^7 - 474188072110787205573/23689695305122864*e^6 + 1065101700678275008909/71069085915368592*e^5 + 37667524829875617139/4441817869710537*e^4 - 32703341197129017859/11844847652561432*e^3 - 8116945404434846699/5922423826280716*e^2 + 1087157352361870689/23689695305122864*e + 396993450150753141/11844847652561432, 92087533435661/35534542957684296*e^23 - 409574200349609/4441817869710537*e^22 - 7794258342825187/35534542957684296*e^21 + 116588935146345967/35534542957684296*e^20 + 66046807907376305/11844847652561432*e^19 - 72991291167649885/1480605956570179*e^18 - 2470149475193267177/35534542957684296*e^17 + 7225313799565037671/17767271478842148*e^16 + 735575453152952017/1480605956570179*e^15 - 17797631731858529779/8883635739421074*e^14 - 19152783840567673661/8883635739421074*e^13 + 106610186973435179809/17767271478842148*e^12 + 50715215096272759123/8883635739421074*e^11 - 62923010736242458589/5922423826280716*e^10 - 313938615104086079705/35534542957684296*e^9 + 364182627607609431133/35534542957684296*e^8 + 84214781453466416327/11844847652561432*e^7 - 53250012793826350705/11844847652561432*e^6 - 76721043895934697781/35534542957684296*e^5 + 2403628956701206693/4441817869710537*e^4 - 1624376869627212271/11844847652561432*e^3 + 108299256377949619/11844847652561432*e^2 + 571749838593482895/5922423826280716*e + 22013850154257825/1480605956570179, 7933886780339/8883635739421074*e^23 + 4318121627393105/35534542957684296*e^22 + 7491678970899461/35534542957684296*e^21 - 37909040698706579/8883635739421074*e^20 - 23042415161339363/2961211913140358*e^19 + 187819789488712363/2961211913140358*e^18 + 4085206936209173947/35534542957684296*e^17 - 18470066433270590827/35534542957684296*e^16 - 5472604013915029299/5922423826280716*e^15 + 45543321382709759653/17767271478842148*e^14 + 78936300292153806671/17767271478842148*e^13 - 69278050196371530037/8883635739421074*e^12 - 58143231895974293206/4441817869710537*e^11 + 42865071586335685323/2961211913140358*e^10 + 205710018803541058465/8883635739421074*e^9 - 562841244061690382561/35534542957684296*e^8 - 136391339456293887441/5922423826280716*e^7 + 117061488508677202903/11844847652561432*e^6 + 402582410855842079741/35534542957684296*e^5 - 62723828659482450299/17767271478842148*e^4 - 3183622160794147656/1480605956570179*e^3 + 956600759864226992/1480605956570179*e^2 + 809874756566773115/11844847652561432*e - 236406166349543889/5922423826280716, -446763930597469/8883635739421074*e^23 - 2637600177430367/71069085915368592*e^22 + 138710695883583079/71069085915368592*e^21 + 11624349680031811/8883635739421074*e^20 - 193246123780298957/5922423826280716*e^19 - 59403559602669311/2961211913140358*e^18 + 21876561883977397439/71069085915368592*e^17 + 12528008775009840799/71069085915368592*e^16 - 21359723129665546591/11844847652561432*e^15 - 34868969382481586335/35534542957684296*e^14 + 241700000497704036823/35534542957684296*e^13 + 63721586244482103661/17767271478842148*e^12 - 294326880845252539555/17767271478842148*e^11 - 50746792443741975937/5922423826280716*e^10 + 451333342046030621261/17767271478842148*e^9 + 912887028965926953443/71069085915368592*e^8 - 137045439543623111227/5922423826280716*e^7 - 263095088708996878775/23689695305122864*e^6 + 801616889181419778061/71069085915368592*e^5 + 84771052145638736755/17767271478842148*e^4 - 29492596550572419899/11844847652561432*e^3 - 9247585574816734103/11844847652561432*e^2 + 4708139012999364761/23689695305122864*e + 296345844943737057/11844847652561432, -5679734959173425/106603628873052888*e^23 - 15444987107759317/53301814436526444*e^22 + 22075790929005383/13325453609131611*e^21 + 1106321602428365111/106603628873052888*e^20 - 243966130996923567/11844847652561432*e^19 - 2814913004614604297/17767271478842148*e^18 + 13346278794858891551/106603628873052888*e^17 + 143592519868458373027/106603628873052888*e^16 - 1407136074785870761/4441817869710537*e^15 - 372679480925188482223/53301814436526444*e^14 - 10758550437109032883/26650907218263222*e^13 + 609317497887890660191/26650907218263222*e^12 + 256653049757539599895/53301814436526444*e^11 - 417306182925761670635/8883635739421074*e^10 - 1355626787074529535817/106603628873052888*e^9 + 6278900367557061524687/106603628873052888*e^8 + 269276120712951438511/17767271478842148*e^7 - 754898038556139562175/17767271478842148*e^6 - 837842041030814432663/106603628873052888*e^5 + 1666365626534137408021/106603628873052888*e^4 + 11835041215970308655/8883635739421074*e^3 - 9377645990057432258/4441817869710537*e^2 - 2269139097385757605/35534542957684296*e + 215389143052232197/5922423826280716, -527449966758371/106603628873052888*e^23 - 2239957511539168/13325453609131611*e^22 - 12948145326933167/106603628873052888*e^21 + 637290256854162077/106603628873052888*e^20 + 265319081267589779/35534542957684296*e^19 - 1606020895249715561/17767271478842148*e^18 - 13165861707179664703/106603628873052888*e^17 + 10108382580250736633/13325453609131611*e^16 + 4634802019037623087/4441817869710537*e^15 - 103135865896740718289/26650907218263222*e^14 - 68735856902831436482/13325453609131611*e^13 + 659509606902092707523/53301814436526444*e^12 + 412045666416216833735/26650907218263222*e^11 - 146544253079517745265/5922423826280716*e^10 - 2946691746443689577353/106603628873052888*e^9 + 3222198922695375779729/106603628873052888*e^8 + 981489200641279690387/35534542957684296*e^7 - 770295607044457014307/35534542957684296*e^6 - 1441152527818967805881/106603628873052888*e^5 + 224432454782839093459/26650907218263222*e^4 + 29657426621362251641/11844847652561432*e^3 - 46817361463644140941/35534542957684296*e^2 - 970338738053687713/8883635739421074*e + 86812006595312803/2961211913140358, -83322576651223/4441817869710537*e^23 + 4028653255194535/35534542957684296*e^22 + 33976408653416407/35534542957684296*e^21 - 73892462034577715/17767271478842148*e^20 - 118481696127361811/5922423826280716*e^19 + 385983661722088409/5922423826280716*e^18 + 8127799000461712943/35534542957684296*e^17 - 20266846092747198323/35534542957684296*e^16 - 9396683292739391943/5922423826280716*e^15 + 54359550730961665679/17767271478842148*e^14 + 123570632811399428377/17767271478842148*e^13 - 46219848069125753179/4441817869710537*e^12 - 171822012719540710117/8883635739421074*e^11 + 33279207565676446837/1480605956570179*e^10 + 294885670285651727081/8883635739421074*e^9 - 1071387245847271657567/35534542957684296*e^8 - 195055880415466595343/5922423826280716*e^7 + 282513637759003354307/11844847652561432*e^6 + 594605178549086099635/35534542957684296*e^5 - 174997005133888630081/17767271478842148*e^4 - 20786824580992847037/5922423826280716*e^3 + 4436368499829516249/2961211913140358*e^2 + 2911803786574156939/11844847652561432*e - 298692887164848441/5922423826280716, -613434464462071/35534542957684296*e^23 + 884933840409445/17767271478842148*e^22 + 27572627179948457/35534542957684296*e^21 - 63911332816495985/35534542957684296*e^20 - 175116952025985567/11844847652561432*e^19 + 162921181405135261/5922423826280716*e^18 + 5573720364144216967/35534542957684296*e^17 - 4124659106676137345/17767271478842148*e^16 - 1512156136980444692/1480605956570179*e^15 + 20974309388404925329/17767271478842148*e^14 + 37586351166253100893/8883635739421074*e^13 - 32995168055015647909/8883635739421074*e^12 - 49533760090490926999/4441817869710537*e^11 + 10622504706253111812/1480605956570179*e^10 + 642907057592863091263/35534542957684296*e^9 - 293467049476355313311/35534542957684296*e^8 - 198037493237426318919/11844847652561432*e^7 + 64679073031664530261/11844847652561432*e^6 + 266295131296677057809/35534542957684296*e^5 - 35035910247304018853/17767271478842148*e^4 - 12454721784004344313/11844847652561432*e^3 + 3530300629256495465/11844847652561432*e^2 - 82380437747141439/1480605956570179*e - 76596801350229291/2961211913140358, 442479111497599/106603628873052888*e^23 - 2337652216377941/26650907218263222*e^22 - 20694976033737887/106603628873052888*e^21 + 172564528987286707/53301814436526444*e^20 + 20910761942522555/5922423826280716*e^19 - 1803431623298964475/35534542957684296*e^18 - 876058383371872951/26650907218263222*e^17 + 46974029152116898117/106603628873052888*e^16 + 745019922326286857/4441817869710537*e^15 - 30884726133353154751/13325453609131611*e^14 - 23265845349637661447/53301814436526444*e^13 + 202449405588080410045/26650907218263222*e^12 + 3612932356452479938/13325453609131611*e^11 - 136804204217457580805/8883635739421074*e^10 + 153785077906135272329/106603628873052888*e^9 + 1984145812788388873937/106603628873052888*e^8 - 136665411063094610449/35534542957684296*e^7 - 222837887280114311669/17767271478842148*e^6 + 393984893796670001695/106603628873052888*e^5 + 226969639130605164617/53301814436526444*e^4 - 24289070731120120091/17767271478842148*e^3 - 21712701836795065555/35534542957684296*e^2 + 4231852404927686819/35534542957684296*e + 156266561906524951/5922423826280716, -1873686865239167/17767271478842148*e^23 - 3455076480349739/17767271478842148*e^22 + 67230899981013007/17767271478842148*e^21 + 119505323337221429/17767271478842148*e^20 - 341939796500016757/5922423826280716*e^19 - 293009389883391205/2961211913140358*e^18 + 2171423308670084168/4441817869710537*e^17 + 3593122313518541941/4441817869710537*e^16 - 3722724027138511474/1480605956570179*e^15 - 35769868005952514809/8883635739421074*e^14 + 35931430738158081041/4441817869710537*e^13 + 111617093554167916121/8883635739421074*e^12 - 71988879148299671581/4441817869710537*e^11 - 72261831647333839725/2961211913140358*e^10 + 349117692286460997959/17767271478842148*e^9 + 126222683123445730433/4441817869710537*e^8 - 40837696321520406503/2961211913140358*e^7 - 109665087559109798939/5922423826280716*e^6 + 47481818419200136571/8883635739421074*e^5 + 106357647953375145769/17767271478842148*e^4 - 1660539116144945839/1480605956570179*e^3 - 2215880573806365085/2961211913140358*e^2 + 193245510809751450/1480605956570179*e + 36311285714627520/1480605956570179, -11337918842252843/106603628873052888*e^23 - 21645937310681567/106603628873052888*e^22 + 418603618443941875/106603628873052888*e^21 + 767724199111031855/106603628873052888*e^20 - 2209054894274623099/35534542957684296*e^19 - 970496125876152055/8883635739421074*e^18 + 29432811317138538871/53301814436526444*e^17 + 49443985294953699755/53301814436526444*e^16 - 13425808845360673820/4441817869710537*e^15 - 258095522859529611823/53301814436526444*e^14 + 140457036916828661908/13325453609131611*e^13 + 855619631596842543377/53301814436526444*e^12 - 311490178111925059001/13325453609131611*e^11 - 199552137796850838479/5922423826280716*e^10 + 3398017665356341110311/106603628873052888*e^9 + 1153218482410923480203/26650907218263222*e^8 - 438460387406275005649/17767271478842148*e^7 - 1122617108693554669297/35534542957684296*e^6 + 481301574715508268731/53301814436526444*e^5 + 1215452699901266462833/106603628873052888*e^4 - 5075670978362509717/5922423826280716*e^3 - 27190004333030293025/17767271478842148*e^2 - 943045281426059447/17767271478842148*e + 51954184857202201/2961211913140358, 137448983463334/4441817869710537*e^23 + 4456979194031069/35534542957684296*e^22 - 31493598252136621/35534542957684296*e^21 - 150472771658870825/35534542957684296*e^20 + 109116959770175621/11844847652561432*e^19 + 710686829870101905/11844847652561432*e^18 - 547269923834023387/17767271478842148*e^17 - 8218794572595728297/17767271478842148*e^16 - 974729509541505313/5922423826280716*e^15 + 9315722033210876266/4441817869710537*e^14 + 17336853691215570721/8883635739421074*e^13 - 24894983335812542207/4441817869710537*e^12 - 69970694791107182003/8883635739421074*e^11 + 24362073028909779385/2961211913140358*e^10 + 142977660202920132517/8883635739421074*e^9 - 183704989224446925461/35534542957684296*e^8 - 49244565065809305219/2961211913140358*e^7 - 634997769484102223/1480605956570179*e^6 + 264882044547198125207/35534542957684296*e^5 + 13317636740004359699/8883635739421074*e^4 - 10481126801684737271/11844847652561432*e^3 - 491762538767338886/1480605956570179*e^2 - 44865195135537210/1480605956570179*e - 22495328922281373/1480605956570179, -13896406840248871/213207257746105776*e^23 - 46661043300108421/213207257746105776*e^22 + 241807591598533183/106603628873052888*e^21 + 841677244114912583/106603628873052888*e^20 - 1186363731283357621/35534542957684296*e^19 - 8668241948495094557/71069085915368592*e^18 + 57621862960651435957/213207257746105776*e^17 + 112574149897402593301/106603628873052888*e^16 - 46442307149340440851/35534542957684296*e^15 - 600228689860880819267/106603628873052888*e^14 + 203531754914647625959/53301814436526444*e^13 + 1019512182778314935561/53301814436526444*e^12 - 340836080976890247035/53301814436526444*e^11 - 245221729280589578413/5922423826280716*e^10 + 1070967637293578848387/213207257746105776*e^9 + 740038190670711924709/13325453609131611*e^8 + 6142083326236019171/71069085915368592*e^7 - 3079515108171719674025/71069085915368592*e^6 - 33598959934292509555/13325453609131611*e^5 + 922632448162314861101/53301814436526444*e^4 + 14277334780207510709/11844847652561432*e^3 - 189036255950088070829/71069085915368592*e^2 - 7176081204137756875/35534542957684296*e + 229079758587318523/2961211913140358, -3019669489651949/106603628873052888*e^23 + 2088776799432571/106603628873052888*e^22 + 65302591832553221/53301814436526444*e^21 - 19362025715590489/26650907218263222*e^20 - 67341358345960399/2961211913140358*e^19 + 411965799112989107/35534542957684296*e^18 + 25292953470816349055/106603628873052888*e^17 - 2785315504510921559/26650907218263222*e^16 - 27179006649793711471/17767271478842148*e^15 + 31352090846570223671/53301814436526444*e^14 + 168054306319558292819/26650907218263222*e^13 - 57593625566205020789/26650907218263222*e^12 - 221117714849764441505/13325453609131611*e^11 + 46837535013518069665/8883635739421074*e^10 + 2873016289256473906997/106603628873052888*e^9 - 452088389362255748069/53301814436526444*e^8 - 889097065245020522449/35534542957684296*e^7 + 303687625146444616283/35534542957684296*e^6 + 605965898113021313645/53301814436526444*e^5 - 246133501350922859575/53301814436526444*e^4 - 31190439538123011515/17767271478842148*e^3 + 32432468209497026771/35534542957684296*e^2 + 138904601647783841/8883635739421074*e - 108263465640625075/2961211913140358, 4238637163240219/106603628873052888*e^23 - 1360633018369349/26650907218263222*e^22 - 181083086232118277/106603628873052888*e^21 + 46513631673076175/26650907218263222*e^20 + 45883480403313876/1480605956570179*e^19 - 872635284788453761/35534542957684296*e^18 - 16854825623885009927/53301814436526444*e^17 + 19323022586081819665/106603628873052888*e^16 + 8811840219627873266/4441817869710537*e^15 - 19390427129493530759/26650907218263222*e^14 - 421659058307950709921/53301814436526444*e^13 + 36448689323393739445/26650907218263222*e^12 + 532381678832714996825/26650907218263222*e^11 + 1006230318824978191/8883635739421074*e^10 - 3274968288347755329007/106603628873052888*e^9 - 536991520844730845491/106603628873052888*e^8 + 935825069936929992293/35534542957684296*e^7 + 139373249063279430457/17767271478842148*e^6 - 1120351805529457291877/106603628873052888*e^5 - 117040702819689222989/26650907218263222*e^4 + 22868566718043751555/17767271478842148*e^3 + 28719468993890086499/35534542957684296*e^2 - 587082723900768253/35534542957684296*e - 93111867827945645/5922423826280716, -2114360388383311/53301814436526444*e^23 - 16820697641309429/106603628873052888*e^22 + 136306904895169369/106603628873052888*e^21 + 297652590730523569/53301814436526444*e^20 - 298994183282983025/17767271478842148*e^19 - 374042367871593875/4441817869710537*e^18 + 12185883482052236807/106603628873052888*e^17 + 75371426940816005563/106603628873052888*e^16 - 7173016538257553345/17767271478842148*e^15 - 193165578343526011393/53301814436526444*e^14 + 28376736795373573993/53301814436526444*e^13 + 155941131900681326480/13325453609131611*e^12 + 11956337865150947830/13325453609131611*e^11 - 35180518537703504202/1480605956570179*e^10 - 202538328469953830897/53301814436526444*e^9 + 3148026167699086426091/106603628873052888*e^8 + 16446996043638040490/4441817869710537*e^7 - 757416622846357645633/35534542957684296*e^6 + 10424550503577466033/106603628873052888*e^5 + 425620990440191758829/53301814436526444*e^4 - 7610320519069536823/5922423826280716*e^3 - 19558090151613135701/17767271478842148*e^2 + 7543759399600915757/35534542957684296*e + 174548465076219839/5922423826280716, 2497644429847921/35534542957684296*e^23 + 1986143965817729/17767271478842148*e^22 - 92188913325900131/35534542957684296*e^21 - 67009181552461499/17767271478842148*e^20 + 243379469590260423/5922423826280716*e^19 + 633052437085614987/11844847652561432*e^18 - 6499820628833478461/17767271478842148*e^17 - 14661657415093650863/35534542957684296*e^16 + 5963273551862202039/2961211913140358*e^15 + 16663894728164631253/8883635739421074*e^14 - 126347478184290660635/17767271478842148*e^13 - 44651180583019706249/8883635739421074*e^12 + 71939306504821289713/4441817869710537*e^11 + 21674063001899167503/2961211913140358*e^10 - 829315470941746673521/35534542957684296*e^9 - 145702506458165568703/35534542957684296*e^8 + 239561258701931592957/11844847652561432*e^7 - 5333077467424200375/2961211913140358*e^6 - 331964881768747182425/35534542957684296*e^5 + 47273676247818174485/17767271478842148*e^4 + 9963425312680614023/5922423826280716*e^3 - 7665897951969257901/11844847652561432*e^2 - 814009482997761625/11844847652561432*e + 334287934213028805/5922423826280716, 941481938521745/35534542957684296*e^23 + 1840867888469419/17767271478842148*e^22 - 30472869622174411/35534542957684296*e^21 - 131131757038569695/35534542957684296*e^20 + 133941691265712935/11844847652561432*e^19 + 83165819345900924/1480605956570179*e^18 - 2707765425102490115/35534542957684296*e^17 - 4247391817367118277/8883635739421074*e^16 + 377313336777553863/1480605956570179*e^15 + 44422068610094402095/17767271478842148*e^14 - 814801491924278527/4441817869710537*e^13 - 73824754497567258823/8883635739421074*e^12 - 7046830719149247601/4441817869710537*e^11 + 26011093684199774960/1480605956570179*e^10 + 204219668761050567511/35534542957684296*e^9 - 817179668526256828259/35534542957684296*e^8 - 99790630677322996727/11844847652561432*e^7 + 207396394449128882315/11844847652561432*e^6 + 206785252862136782489/35534542957684296*e^5 - 119315267201842567313/17767271478842148*e^4 - 20937644777532825839/11844847652561432*e^3 + 10286553452538953701/11844847652561432*e^2 + 1152520787952263899/5922423826280716*e - 19590622231658274/1480605956570179, 3459761439962089/35534542957684296*e^23 + 2992017841874689/8883635739421074*e^22 - 122028431365349045/35534542957684296*e^21 - 107514517195877407/8883635739421074*e^20 + 76466265114729140/1480605956570179*e^19 + 2199710599217628353/11844847652561432*e^18 - 7690858260183330359/17767271478842148*e^17 - 56538806252375959031/35534542957684296*e^16 + 6566320460325799243/2961211913140358*e^15 + 37102437694375494779/4441817869710537*e^14 - 127294460679084125093/17767271478842148*e^13 - 123309772003452074482/4441817869710537*e^12 + 129431941092345837509/8883635739421074*e^11 + 86392225556617383107/1480605956570179*e^10 - 645277957155477856429/35534542957684296*e^9 - 2680287365323657157965/35534542957684296*e^8 + 156609418143654747593/11844847652561432*e^7 + 167598420519650754263/2961211913140358*e^6 - 183283046750612106491/35534542957684296*e^5 - 392616577886409377431/17767271478842148*e^4 + 2572640284247102961/2961211913140358*e^3 + 41739637566853498503/11844847652561432*e^2 + 62913990032039391/11844847652561432*e - 646392412565888187/5922423826280716, 94577931332549/4441817869710537*e^23 - 1846626730511761/71069085915368592*e^22 - 50712268800646387/71069085915368592*e^21 + 5766961206306004/4441817869710537*e^20 + 58118401315789701/5922423826280716*e^19 - 38960086702970132/1480605956570179*e^18 - 5004329246389470407/71069085915368592*e^17 + 20517590842014439829/71069085915368592*e^16 + 3212438232063431079/11844847652561432*e^15 - 67739983521845005649/35534542957684296*e^14 - 16444091011401470599/35534542957684296*e^13 + 140324375002556133083/17767271478842148*e^12 - 4001835386369677595/17767271478842148*e^11 - 122135828726384602559/5922423826280716*e^10 + 39242051424967017691/17767271478842148*e^9 + 2344912310740011361861/71069085915368592*e^8 - 9846097542816072911/2961211913140358*e^7 - 714943645331972497237/23689695305122864*e^6 + 148565470612704980051/71069085915368592*e^5 + 122399156667609652753/8883635739421074*e^4 - 7085235578351422835/11844847652561432*e^3 - 28026834070708129247/11844847652561432*e^2 + 383780951443209091/23689695305122864*e + 781404843930020643/11844847652561432, 6036530130481327/71069085915368592*e^23 + 14260685407768333/71069085915368592*e^22 - 116091131528703175/35534542957684296*e^21 - 260150791966060211/35534542957684296*e^20 + 645604841152240537/11844847652561432*e^19 + 2710197387016478253/23689695305122864*e^18 - 36749878359176501221/71069085915368592*e^17 - 35600705661239805433/35534542957684296*e^16 + 36360987988108396899/11844847652561432*e^15 + 191877526311294230147/35534542957684296*e^14 - 209808680316725776279/17767271478842148*e^13 - 328906172904743069681/17767271478842148*e^12 + 523039773576294223691/17767271478842148*e^11 + 238548030121155127823/5922423826280716*e^10 - 3280205294904527534731/71069085915368592*e^9 - 238906906579684898896/4441817869710537*e^8 + 1008009392037132339493/23689695305122864*e^7 + 969631373533201853289/23689695305122864*e^6 - 89996273925402545273/4441817869710537*e^5 - 273668263382948430365/17767271478842148*e^4 + 45126886690662831725/11844847652561432*e^3 + 50651716403018238885/23689695305122864*e^2 - 1186091802114609945/11844847652561432*e - 65310802713175167/2961211913140358, 72622803651881/11844847652561432*e^23 - 3426331438813583/23689695305122864*e^22 - 10150840334395043/23689695305122864*e^21 + 62642598929999183/11844847652561432*e^20 + 122468778177866865/11844847652561432*e^19 - 488321473058440071/5922423826280716*e^18 - 3014031646644640743/23689695305122864*e^17 + 16959710567597550287/23689695305122864*e^16 + 10857486165175820571/11844847652561432*e^15 - 44946941370795190853/11844847652561432*e^14 - 48399937403566177917/11844847652561432*e^13 + 75024070588527533279/5922423826280716*e^12 + 67498515547067618643/5922423826280716*e^11 - 157289639735782939409/5922423826280716*e^10 - 230035018857074382879/11844847652561432*e^9 + 803170957308642484465/23689695305122864*e^8 + 224845108164059864301/11844847652561432*e^7 - 585134321224456044619/23689695305122864*e^6 - 224833012557898943653/23689695305122864*e^5 + 13302371513152857816/1480605956570179*e^4 + 5994896077278823671/2961211913140358*e^3 - 6808410602281614455/5922423826280716*e^2 - 4270040360424857409/23689695305122864*e + 386675006963307315/11844847652561432, 20639216218141805/213207257746105776*e^23 + 73027549981803959/213207257746105776*e^22 - 354400360698468899/106603628873052888*e^21 - 1304504831137578859/106603628873052888*e^20 + 1711328630746738061/35534542957684296*e^19 + 13260985320186627067/71069085915368592*e^18 - 81560688142119284867/213207257746105776*e^17 - 169251248359895831495/106603628873052888*e^16 + 64313011576819280189/35534542957684296*e^15 + 881789465071569473245/106603628873052888*e^14 - 275563363877779082009/53301814436526444*e^13 - 1452839819239910389363/53301814436526444*e^12 + 456761452963471152313/53301814436526444*e^11 + 336066090748502591751/5922423826280716*e^10 - 1559831267966037585905/213207257746105776*e^9 - 967665891344881493258/13325453609131611*e^8 + 156048737066160202595/71069085915368592*e^7 + 3838739679237768866731/71069085915368592*e^6 + 5570007824294183270/13325453609131611*e^5 - 279439211115018910801/13325453609131611*e^4 - 3597311518683320043/11844847652561432*e^3 + 236074833919661136067/71069085915368592*e^2 + 4659163287926468861/35534542957684296*e - 336569136667240277/2961211913140358, -796384898992477/8883635739421074*e^23 - 15631666358462239/35534542957684296*e^22 + 49154543136274639/17767271478842148*e^21 + 557589170971517227/35534542957684296*e^20 - 400037789514254471/11844847652561432*e^19 - 2828042456312454371/11844847652561432*e^18 + 3472234824607657181/17767271478842148*e^17 + 71974607955998555699/35534542957684296*e^16 - 581378490918943005/1480605956570179*e^15 - 46677786299724322778/4441817869710537*e^14 - 25537434802680293173/17767271478842148*e^13 + 305851586364069865973/8883635739421074*e^12 + 46926976840687162943/4441817869710537*e^11 - 210612024240204377789/2961211913140358*e^10 - 116120858827495849219/4441817869710537*e^9 + 3203340046644622563991/35534542957684296*e^8 + 362764026050260820163/11844847652561432*e^7 - 784864981861872977121/11844847652561432*e^6 - 567349791147455632015/35534542957684296*e^5 + 890020813287551924717/35534542957684296*e^4 + 8376281976728467149/2961211913140358*e^3 - 40905850695610822391/11844847652561432*e^2 - 1985308486607449777/11844847652561432*e + 343930462965166353/5922423826280716, 2213101362554011/17767271478842148*e^23 + 4322236777624937/8883635739421074*e^22 - 38096472118205851/8883635739421074*e^21 - 312832286798962033/17767271478842148*e^20 + 369494414095654751/5922423826280716*e^19 + 403791942023268900/1480605956570179*e^18 - 8863069030135153807/17767271478842148*e^17 - 42034699095702304391/17767271478842148*e^16 + 3526563359062660528/1480605956570179*e^15 + 56092583786026294390/4441817869710537*e^14 - 30540861436562865781/4441817869710537*e^13 - 381180293951801661775/8883635739421074*e^12 + 101618219167934141251/8883635739421074*e^11 + 274928261630653193101/2961211913140358*e^10 - 164219662469962426993/17767271478842148*e^9 - 2211663476153580600823/17767271478842148*e^8 + 1368313611388802410/1480605956570179*e^7 + 287958526368479386431/2961211913140358*e^6 + 55888886763000200365/17767271478842148*e^5 - 693477670058965430105/17767271478842148*e^4 - 4811374186646013657/2961211913140358*e^3 + 17778003059976183839/2961211913140358*e^2 + 2223694557057167151/5922423826280716*e - 455047063824730233/2961211913140358, -1256163775438823/17767271478842148*e^23 - 2705080692616547/17767271478842148*e^22 + 10974619184740849/4441817869710537*e^21 + 186941684262950569/35534542957684296*e^20 - 431449923044108579/11844847652561432*e^19 - 915271904745752049/11844847652561432*e^18 + 10461249576353929351/35534542957684296*e^17 + 22398635199860483525/35534542957684296*e^16 - 8393146209084931011/5922423826280716*e^15 - 55601931635146554311/17767271478842148*e^14 + 36633255665352175249/8883635739421074*e^13 + 86584971426721103945/8883635739421074*e^12 - 124350935381669380399/17767271478842148*e^11 - 28085763847242674854/1480605956570179*e^10 + 27713051599128789500/4441817869710537*e^9 + 99676857490585273739/4441817869710537*e^8 - 6472786800478932493/2961211913140358*e^7 - 183273253895713197557/11844847652561432*e^6 - 1751886097890374813/17767271478842148*e^5 + 52227287334725905625/8883635739421074*e^4 + 1498023518628636881/11844847652561432*e^3 - 6323194955762818285/5922423826280716*e^2 + 198890919737963677/11844847652561432*e + 297393257499341529/5922423826280716, 22189700472878171/213207257746105776*e^23 + 72249310231058951/213207257746105776*e^22 - 385070554107998165/106603628873052888*e^21 - 645341215975917389/53301814436526444*e^20 + 78482752709768287/1480605956570179*e^19 + 13126197470761874599/71069085915368592*e^18 - 91237265840855057069/213207257746105776*e^17 - 20959417920040621945/13325453609131611*e^16 + 73483220147070014815/35534542957684296*e^15 + 874646120173470406411/106603628873052888*e^14 - 81041196805462771814/13325453609131611*e^13 - 1442849945743139261089/53301814436526444*e^12 + 560580968690204725783/53301814436526444*e^11 + 1001545304458188447503/17767271478842148*e^10 - 2038415063972880997799/213207257746105776*e^9 - 7667321437545844698811/106603628873052888*e^8 + 214067042510029663651/71069085915368592*e^7 + 3759716219678016374119/71069085915368592*e^6 + 121867311325768151023/106603628873052888*e^5 - 2126732986449703750175/106603628873052888*e^4 - 31204322021719736407/35534542957684296*e^3 + 208752022217842233031/71069085915368592*e^2 + 674690381259113656/4441817869710537*e - 443877299568948185/5922423826280716, -171924776471118/1480605956570179*e^23 - 4647777668459823/11844847652561432*e^22 + 23158671751887687/5922423826280716*e^21 + 162480690449893003/11844847652561432*e^20 - 652521819658242533/11844847652561432*e^19 - 2409048672273269365/11844847652561432*e^18 + 2487277718182218441/5922423826280716*e^17 + 19753217528314597635/11844847652561432*e^16 - 2760330513811992686/1480605956570179*e^15 - 12234396582366301471/1480605956570179*e^14 + 28328420459510732887/5922423826280716*e^13 + 75159677431839625855/2961211913140358*e^12 - 9512740449930459595/1480605956570179*e^11 - 141355364633733554719/2961211913140358*e^10 + 8918992451137953607/2961211913140358*e^9 + 622452612153393318835/11844847652561432*e^8 + 14532103241235564969/11844847652561432*e^7 - 370891482900207793143/11844847652561432*e^6 - 9109250777560719643/11844847652561432*e^5 + 105436697754767289441/11844847652561432*e^4 - 263369777755662871/1480605956570179*e^3 - 10219388709043172789/11844847652561432*e^2 - 82064783913409491/11844847652561432*e - 30823040916374637/5922423826280716, -31231969799977/1480605956570179*e^23 - 264343571056883/5922423826280716*e^22 + 1318054610085672/1480605956570179*e^21 + 5563779733195759/2961211913140358*e^20 - 23952259777234874/1480605956570179*e^19 - 50547638636165414/1480605956570179*e^18 + 980175867964785285/5922423826280716*e^17 + 518947088688857104/1480605956570179*e^16 - 3095819532762820655/2961211913140358*e^15 - 6614713933465645621/2961211913140358*e^14 + 12449705890508407339/2961211913140358*e^13 + 13525584871921978295/1480605956570179*e^12 - 31669859031473658897/2961211913140358*e^11 - 35401930816968738339/1480605956570179*e^10 + 48942285118750217135/2961211913140358*e^9 + 229150980518733588871/5922423826280716*e^8 - 84558106995448340235/5922423826280716*e^7 - 53160731669649745501/1480605956570179*e^6 + 35365927302604654263/5922423826280716*e^5 + 98341693606337862735/5922423826280716*e^4 - 5581830068392302849/5922423826280716*e^3 - 17108044533674219639/5922423826280716*e^2 - 27223524677231498/1480605956570179*e + 97909322892535107/1480605956570179, -1251971028834859/8883635739421074*e^23 - 3088823472777625/8883635739421074*e^22 + 22095194032214113/4441817869710537*e^21 + 53968212806591084/4441817869710537*e^20 - 110375769952181405/1480605956570179*e^19 - 534655265409910631/2961211913140358*e^18 + 5496248697731918437/8883635739421074*e^17 + 6618966720165029977/4441817869710537*e^16 - 4603707699028116593/1480605956570179*e^15 - 33229695567692472446/4441817869710537*e^14 + 43196672428355372798/4441817869710537*e^13 + 104479082739195584488/4441817869710537*e^12 - 83422551888378584983/4441817869710537*e^11 - 68112407177261399779/1480605956570179*e^10 + 192480216183736801369/8883635739421074*e^9 + 239586189083843746598/4441817869710537*e^8 - 42210370430862573277/2961211913140358*e^7 - 104604003954638650057/2961211913140358*e^6 + 22634076150009394576/4441817869710537*e^5 + 50217709679753541625/4441817869710537*e^4 - 1298476814104246011/1480605956570179*e^3 - 3737366366017109499/2961211913140358*e^2 + 69258758811249617/1480605956570179*e + 16065101063240616/1480605956570179, -18461232296536045/213207257746105776*e^23 - 41065110302839453/213207257746105776*e^22 + 39920097834274898/13325453609131611*e^21 + 705617771658368147/106603628873052888*e^20 - 1548944438170011301/35534542957684296*e^19 - 6862000186240353995/71069085915368592*e^18 + 73752169064803835953/213207257746105776*e^17 + 10401770699228633822/13325453609131611*e^16 - 57537176809997330635/35534542957684296*e^15 - 408117441181850818127/106603628873052888*e^14 + 59762725656555736855/13325453609131611*e^13 + 624295647710882057783/53301814436526444*e^12 - 364295828582713830209/53301814436526444*e^11 - 131219126645094992291/5922423826280716*e^10 + 907744882312110758929/213207257746105776*e^9 + 2658403237544844932123/106603628873052888*e^8 + 97123503610834417601/71069085915368592*e^7 - 1113242086691182427525/71069085915368592*e^6 - 298066184572212945659/106603628873052888*e^5 + 266832640671499911533/53301814436526444*e^4 + 10541280054154897367/11844847652561432*e^3 - 46694016568840101179/71069085915368592*e^2 - 652854462239196353/17767271478842148*e + 114690768713242679/5922423826280716, 5579730360111967/106603628873052888*e^23 + 21120857916102937/106603628873052888*e^22 - 22981517993482609/13325453609131611*e^21 - 364864163023650071/53301814436526444*e^20 + 140082099431752047/5922423826280716*e^19 + 3547463850551270189/35534542957684296*e^18 - 18564264034361111473/106603628873052888*e^17 - 10651881240139293076/13325453609131611*e^16 + 13071168564002197325/17767271478842148*e^15 + 203764710966660170987/53301814436526444*e^14 - 23157408936005647889/13325453609131611*e^13 - 295980336663042625763/26650907218263222*e^12 + 51463942618847260697/26650907218263222*e^11 + 168759778035620059393/8883635739421074*e^10 - 19056529334307877435/106603628873052888*e^9 - 464538908286297553153/26650907218263222*e^8 - 39396140034534593497/35534542957684296*e^7 + 240298539229501341911/35534542957684296*e^6 + 3886395309401948930/13325453609131611*e^5 - 9296516407350790531/53301814436526444*e^4 + 818189080425145763/8883635739421074*e^3 - 9183763484000817277/35534542957684296*e^2 + 93870989816225387/8883635739421074*e + 45603876920241833/2961211913140358, -570885777289931/11844847652561432*e^23 - 2621864263244817/11844847652561432*e^22 + 2410248608304720/1480605956570179*e^21 + 23391901195251481/2961211913140358*e^20 - 68887030934522483/2961211913140358*e^19 - 1421567270293683981/11844847652561432*e^18 + 2174521913942509995/11844847652561432*e^17 + 6003662384232568251/5922423826280716*e^16 - 5188259012052959961/5922423826280716*e^15 - 30886301609294772527/5922423826280716*e^14 + 3860533549912655856/1480605956570179*e^13 + 24935189393242843675/1480605956570179*e^12 - 7194888281260845102/1480605956570179*e^11 - 50315140345604899772/1480605956570179*e^10 + 67409089274231296555/11844847652561432*e^9 + 122829168659674765333/2961211913140358*e^8 - 51544892164715615409/11844847652561432*e^7 - 340897248985532271371/11844847652561432*e^6 + 3234135354735359800/1480605956570179*e^5 + 60048609505960044065/5922423826280716*e^4 - 3150854447059182871/5922423826280716*e^3 - 15993890666965517305/11844847652561432*e^2 + 1368152017033841/5922423826280716*e + 9106028964261891/1480605956570179, -1692794138407535/35534542957684296*e^23 - 4285158234396401/35534542957684296*e^22 + 54951641910633997/35534542957684296*e^21 + 146552838316265537/35534542957684296*e^20 - 240863941225038275/11844847652561432*e^19 - 354646569100933181/5922423826280716*e^18 + 1198528367849246165/8883635739421074*e^17 + 8568001525350544151/17767271478842148*e^16 - 2523772159370545807/5922423826280716*e^15 - 10483404756147096808/4441817869710537*e^14 + 2095463912584775233/17767271478842148*e^13 + 32135361159723686120/4441817869710537*e^12 + 63565852395332210749/17767271478842148*e^11 - 20491902291069009612/1480605956570179*e^10 - 412894443876126839215/35534542957684296*e^9 + 71558723332249767256/4441817869710537*e^8 + 47916090258854732817/2961211913140358*e^7 - 130635793236432637723/11844847652561432*e^6 - 94601211566524203173/8883635739421074*e^5 + 149662458710507402317/35534542957684296*e^4 + 4525516519774962706/1480605956570179*e^3 - 2154102246774871301/2961211913140358*e^2 - 915578590940675473/2961211913140358*e + 38660016725733183/1480605956570179, -3102129911638/1480605956570179*e^23 - 387011290019703/5922423826280716*e^22 - 397367657226727/11844847652561432*e^21 + 26688240233215741/11844847652561432*e^20 + 29538707304677271/11844847652561432*e^19 - 385448855805116393/11844847652561432*e^18 - 494825945511913617/11844847652561432*e^17 + 376991054763265689/1480605956570179*e^16 + 1039297487361573731/2961211913140358*e^15 - 6877551404600614259/5922423826280716*e^14 - 10165514071597004853/5922423826280716*e^13 + 4531057251561406187/1480605956570179*e^12 + 30144616451310018011/5922423826280716*e^11 - 6173320651497557213/1480605956570179*e^10 - 53700843985366974709/5922423826280716*e^9 + 9578992717956444503/5922423826280716*e^8 + 109991150027820399811/11844847652561432*e^7 + 12166631174801000123/5922423826280716*e^6 - 30662579825750951985/5922423826280716*e^5 - 22597475229718429511/11844847652561432*e^4 + 2273721053338463720/1480605956570179*e^3 + 4014413392972682731/11844847652561432*e^2 - 1020158917046891851/5922423826280716*e - 2699408499353811/1480605956570179, -4769459463298627/35534542957684296*e^23 - 3880099967009693/17767271478842148*e^22 + 176192467207451753/35534542957684296*e^21 + 33786711287023601/4441817869710537*e^20 - 232603693187793237/2961211913140358*e^19 - 1339683176761015159/11844847652561432*e^18 + 6204838547251464349/8883635739421074*e^17 + 33395228729557345763/35534542957684296*e^16 - 5672787091136226406/1480605956570179*e^15 - 42589937982385577215/8883635739421074*e^14 + 238491751264132126613/17767271478842148*e^13 + 68935323744670024399/4441817869710537*e^12 - 267156501779728797791/8883635739421074*e^11 - 47103825773795059993/1480605956570179*e^10 + 1490749340252483665183/35534542957684296*e^9 + 1421016032199840325069/35534542957684296*e^8 - 406054402005459039807/11844847652561432*e^7 - 170595099412208722305/5922423826280716*e^6 + 516395174348474163251/35534542957684296*e^5 + 186714552647868765163/17767271478842148*e^4 - 3664535548705042852/1480605956570179*e^3 - 18546270642185433189/11844847652561432*e^2 + 904820026800013909/11844847652561432*e + 359894342087824827/5922423826280716, 55601340356633/4441817869710537*e^23 - 312109030836562/4441817869710537*e^22 - 6346760272931693/8883635739421074*e^21 + 21287414611537247/8883635739421074*e^20 + 47518410934371963/2961211913140358*e^19 - 101239400481986825/2961211913140358*e^18 - 1714003793750665135/8883635739421074*e^17 + 1171706064517121204/4441817869710537*e^16 + 2059072208076028036/1480605956570179*e^15 - 5253166245377713447/4441817869710537*e^14 - 27908351748403353338/4441817869710537*e^13 + 13520492170089847826/4441817869710537*e^12 + 79484086929521626366/4441817869710537*e^11 - 5889223599065189670/1480605956570179*e^10 - 138977187690881183483/4441817869710537*e^9 + 5593624826082727876/4441817869710537*e^8 + 93426668225830272439/2961211913140358*e^7 + 3438649927626995440/1480605956570179*e^6 - 72991820540053464913/4441817869710537*e^5 - 19249057114987438859/8883635739421074*e^4 + 5454961601000115866/1480605956570179*e^3 + 1721727495093889143/2961211913140358*e^2 - 380493225596889084/1480605956570179*e - 9299226700970256/1480605956570179, 1731612065865965/35534542957684296*e^23 + 977929486792583/35534542957684296*e^22 - 64434261104088355/35534542957684296*e^21 - 30251194256715959/35534542957684296*e^20 + 340912736483083523/11844847652561432*e^19 + 65477412275511689/5922423826280716*e^18 - 4521308185965985147/17767271478842148*e^17 - 1407123779721715211/17767271478842148*e^16 + 4065993983276864169/2961211913140358*e^15 + 6158157051806612893/17767271478842148*e^14 - 20687227989932734258/4441817869710537*e^13 - 17224242330256524911/17767271478842148*e^12 + 43778678486393768108/4441817869710537*e^11 + 10346282517662395751/5922423826280716*e^10 - 442571419886378226353/35534542957684296*e^9 - 34771227365495425513/17767271478842148*e^8 + 50398342356052302363/5922423826280716*e^7 + 14924578496753245207/11844847652561432*e^6 - 11200318184191486124/4441817869710537*e^5 - 17290942062748271935/35534542957684296*e^4 + 297196979233549763/1480605956570179*e^3 + 1263394716825615803/5922423826280716*e^2 - 299625473188532763/5922423826280716*e - 120405934291684625/2961211913140358, 97902260519623/8883635739421074*e^23 + 795681805006375/8883635739421074*e^22 - 15844969070647187/35534542957684296*e^21 - 126220285569789853/35534542957684296*e^20 + 93021824748517803/11844847652561432*e^19 + 719046589391357399/11844847652561432*e^18 - 2783649035305619965/35534542957684296*e^17 - 10404674339604539149/17767271478842148*e^16 + 712620681539254235/1480605956570179*e^15 + 62320752326161930001/17767271478842148*e^14 - 32907233824851867857/17767271478842148*e^13 - 60006071323443384007/4441817869710537*e^12 + 76821780872047102909/17767271478842148*e^11 + 49531005595103810944/1480605956570179*e^10 - 98268066352960483157/17767271478842148*e^9 - 229140025240603145273/4441817869710537*e^8 + 33177135933500215963/11844847652561432*e^7 + 136210614227224086401/2961211913140358*e^6 + 4979343516495978271/8883635739421074*e^5 - 727880390623386874745/35534542957684296*e^4 - 2101315205800545909/2961211913140358*e^3 + 39533833125260201767/11844847652561432*e^2 + 389629169818982035/2961211913140358*e - 191089660612814565/2961211913140358, 1080139986683306/13325453609131611*e^23 + 14405508148003937/53301814436526444*e^22 - 162134291880635197/53301814436526444*e^21 - 260619794207048071/26650907218263222*e^20 + 220527929215695046/4441817869710537*e^19 + 670243626248689834/4441817869710537*e^18 - 24672502817983648175/53301814436526444*e^17 - 69134607132970426675/53301814436526444*e^16 + 12068987038240791028/4441817869710537*e^15 + 181395327379130598889/26650907218263222*e^14 - 138768227280604875947/13325453609131611*e^13 - 299484561858086595724/13325453609131611*e^12 + 695295821648777317865/26650907218263222*e^11 + 68769654178173719254/1480605956570179*e^10 - 1105234170422809681099/26650907218263222*e^9 - 3088816965537917193785/53301814436526444*e^8 + 346600474264045598599/8883635739421074*e^7 + 722283302884342277599/17767271478842148*e^6 - 1005101372261988405535/53301814436526444*e^5 - 190629213249737495218/13325453609131611*e^4 + 5110571778564522190/1480605956570179*e^3 + 9464278443214572034/4441817869710537*e^2 - 1632427473621311045/17767271478842148*e - 161120319511479071/2961211913140358, -3317378505006041/35534542957684296*e^23 - 4649124313422997/17767271478842148*e^22 + 116701232239540423/35534542957684296*e^21 + 328203023485666787/35534542957684296*e^20 - 581807526612200371/11844847652561432*e^19 - 411529917863070955/2961211913140358*e^18 + 14488581918766637147/35534542957684296*e^17 + 10351280856267539269/8883635739421074*e^16 - 3044682686027332347/1480605956570179*e^15 - 106086052963540346203/17767271478842148*e^14 + 28802094485557372636/4441817869710537*e^13 + 171429245122594463659/8883635739421074*e^12 - 56354781456368677442/4441817869710537*e^11 - 58061046290953740753/1480605956570179*e^10 + 526071187343831210897/35534542957684296*e^9 + 1726136517732549303407/35534542957684296*e^8 - 111657008392924653041/11844847652561432*e^7 - 408355715486491570691/11844847652561432*e^6 + 86860105340186271043/35534542957684296*e^5 + 221545164029948178473/17767271478842148*e^4 + 3709859327136302323/11844847652561432*e^3 - 20582790756641329413/11844847652561432*e^2 - 1264018815711287763/5922423826280716*e + 61993440411964418/1480605956570179, 772364053547389/8883635739421074*e^23 + 1193237272827854/4441817869710537*e^22 - 13829800042260055/4441817869710537*e^21 - 42639362220446087/4441817869710537*e^20 + 141294369479756259/2961211913140358*e^19 + 216445280818504955/1480605956570179*e^18 - 1818590927078590682/4441817869710537*e^17 - 5504119265520489532/4441817869710537*e^16 + 6395145926071799677/2961211913140358*e^15 + 28450349324557895627/4441817869710537*e^14 - 64237023063141958411/8883635739421074*e^13 - 92370092232535289161/4441817869710537*e^12 + 135866301495900152651/8883635739421074*e^11 + 62404874799103225616/1480605956570179*e^10 - 86952929224271178392/4441817869710537*e^9 - 456779228319155171935/8883635739421074*e^8 + 39888111651850703459/2961211913140358*e^7 + 104237949645889767073/2961211913140358*e^6 - 27740510582020004093/8883635739421074*e^5 - 107010634253380844531/8883635739421074*e^4 - 2653915275984377677/2961211913140358*e^3 + 5008742792212247061/2961211913140358*e^2 + 383990079729257254/1480605956570179*e - 48760286718749398/1480605956570179, 2459345826122653/26650907218263222*e^23 + 9185131898227427/53301814436526444*e^22 - 90971496103854833/26650907218263222*e^21 - 321511354271532713/53301814436526444*e^20 + 321417571825756345/5922423826280716*e^19 + 1597917123698711473/17767271478842148*e^18 - 6474721035241483355/13325453609131611*e^17 - 39789136782306057589/53301814436526444*e^16 + 23948890490947472035/8883635739421074*e^15 + 50380514291090432393/13325453609131611*e^14 - 128095603080778402745/13325453609131611*e^13 - 160433503060847936353/13325453609131611*e^12 + 589323293058240883115/26650907218263222*e^11 + 106400764675539715832/4441817869710537*e^10 - 427314361268576244644/13325453609131611*e^9 - 1528942412614332486113/53301814436526444*e^8 + 492845654400314158015/17767271478842148*e^7 + 341806290180863086669/17767271478842148*e^6 - 685572814084951187731/53301814436526444*e^5 - 342789072544068831847/53301814436526444*e^4 + 12049616437576389247/4441817869710537*e^3 + 15868816318705736689/17767271478842148*e^2 - 4706115269382614573/17767271478842148*e - 70840610054504317/2961211913140358, 123805034299139/11844847652561432*e^23 - 1691103375308405/11844847652561432*e^22 - 1136031325744731/1480605956570179*e^21 + 14448311110695421/2961211913140358*e^20 + 56676318665885135/2961211913140358*e^19 - 825633738730574447/11844847652561432*e^18 - 2870319355816745945/11844847652561432*e^17 + 3184613574515767851/5922423826280716*e^16 + 10598608057494976929/5922423826280716*e^15 - 14234523144661245205/5922423826280716*e^14 - 12036204800696217828/1480605956570179*e^13 + 18140860272535757429/2961211913140358*e^12 + 33848995232026360476/1480605956570179*e^11 - 22930715353234486817/2961211913140358*e^10 - 456030611749593702747/11844847652561432*e^9 + 10102977539044017203/5922423826280716*e^8 + 422620492189041350431/11844847652561432*e^7 + 67811012530658452403/11844847652561432*e^6 - 90124849106015660917/5922423826280716*e^5 - 14195670380858436165/2961211913140358*e^4 + 2668182241500451218/1480605956570179*e^3 + 13530031274147034799/11844847652561432*e^2 + 644539149640061499/5922423826280716*e - 55313513110192974/1480605956570179, -1431154736183501/11844847652561432*e^23 - 4014839689794305/11844847652561432*e^22 + 6432514556797633/1480605956570179*e^21 + 141096843399839723/11844847652561432*e^20 - 793534401000518465/11844847652561432*e^19 - 526098512169305475/2961211913140358*e^18 + 3437910162009837217/5922423826280716*e^17 + 17371645654337956825/11844847652561432*e^16 - 18427175657755284277/5922423826280716*e^15 - 21688577196313901101/2961211913140358*e^14 + 63436501433056524323/5922423826280716*e^13 + 33625354181022624122/1480605956570179*e^12 - 35312944897737157311/1480605956570179*e^11 - 127907876496172777321/2961211913140358*e^10 + 400569834316236911885/11844847652561432*e^9 + 284965183905143671443/5922423826280716*e^8 - 345770598067765099365/11844847652561432*e^7 - 85467339475004433045/2961211913140358*e^6 + 20190734480837522806/1480605956570179*e^5 + 12169854430628902772/1480605956570179*e^4 - 29802302882295767087/11844847652561432*e^3 - 11155122908388153195/11844847652561432*e^2 + 984848132347128823/11844847652561432*e + 26377958510400645/5922423826280716, 147489893731309/5922423826280716*e^23 - 567063679517621/11844847652561432*e^22 - 13022097097679749/11844847652561432*e^21 + 10549501814220533/5922423826280716*e^20 + 122585623255952031/5922423826280716*e^19 - 84202205459526395/2961211913140358*e^18 - 2581804492795970329/11844847652561432*e^17 + 3022117508316745977/11844847652561432*e^16 + 8370031593268395437/5922423826280716*e^15 - 8394919489734317385/5922423826280716*e^14 - 34608518590659301607/5922423826280716*e^13 + 7505768337032922930/1480605956570179*e^12 + 45593439787378788463/2961211913140358*e^11 - 17423462294061841177/1480605956570179*e^10 - 147983961989244077659/5922423826280716*e^9 + 206344965891430257027/11844847652561432*e^8 + 136474276794394279149/5922423826280716*e^7 - 183850920695144411421/11844847652561432*e^6 - 120025029246071620763/11844847652561432*e^5 + 10570960645848431021/1480605956570179*e^4 + 1867010618017977914/1480605956570179*e^3 - 1636585782157786015/1480605956570179*e^2 + 867909017852376261/11844847652561432*e + 99133071910734801/5922423826280716, 1099690127303153/53301814436526444*e^23 + 1305941974676225/213207257746105776*e^22 - 172917535254407221/213207257746105776*e^21 - 1852684772448350/13325453609131611*e^20 + 81628596628075843/5922423826280716*e^19 + 13421385968831635/17767271478842148*e^18 - 28299702342159246305/213207257746105776*e^17 + 1402703061982138931/213207257746105776*e^16 + 28342775395660777681/35534542957684296*e^15 - 11767445364913787399/106603628873052888*e^14 - 330739383178425370309/106603628873052888*e^13 + 34444657608381580253/53301814436526444*e^12 + 417626646740306588017/53301814436526444*e^11 - 35514532827304226845/17767271478842148*e^10 - 333519051269308829743/26650907218263222*e^9 + 726437741701163196679/213207257746105776*e^8 + 52721420270999421574/4441817869710537*e^7 - 207076891086056462447/71069085915368592*e^6 - 1260880801018779672007/213207257746105776*e^5 + 43558979056068582869/53301814436526444*e^4 + 44148204461701168361/35534542957684296*e^3 + 5532942369405825875/35534542957684296*e^2 - 6914573630885859851/71069085915368592*e - 242286136465767721/11844847652561432, 1762958750736923/53301814436526444*e^23 + 3926058066939059/13325453609131611*e^22 - 38740631080211341/53301814436526444*e^21 - 1122486299576814055/106603628873052888*e^20 + 27655342734135101/11844847652561432*e^19 + 5709376025161395251/35534542957684296*e^18 + 8057134275846353831/106603628873052888*e^17 - 145956971603099116553/106603628873052888*e^16 - 9268178882148546791/8883635739421074*e^15 + 190715678744225176537/26650907218263222*e^14 + 334829415720474481219/53301814436526444*e^13 - 1265523252470614694449/53301814436526444*e^12 - 559902562063532157835/26650907218263222*e^11 + 890991166980648499385/17767271478842148*e^10 + 2143782345946373939659/53301814436526444*e^9 - 880633161778590002621/13325453609131611*e^8 - 742692425905064089469/17767271478842148*e^7 + 1842879737654725021979/35534542957684296*e^6 + 543458358712014318535/26650907218263222*e^5 - 288649412961152274628/13325453609131611*e^4 - 117223346152299541315/35534542957684296*e^3 + 15587402381524632049/4441817869710537*e^2 + 3838315368334728485/35534542957684296*e - 708932910353023169/5922423826280716, -2637066377936657/106603628873052888*e^23 - 10317609299978965/213207257746105776*e^22 + 193979434942782995/213207257746105776*e^21 + 176444954687696525/106603628873052888*e^20 - 511982507348832991/35534542957684296*e^19 - 424869739753100165/17767271478842148*e^18 + 27470064004669734691/213207257746105776*e^17 + 40535955145530937505/213207257746105776*e^16 - 25478691085617615601/35534542957684296*e^15 - 96775481217882867263/106603628873052888*e^14 + 275052977216886618989/106603628873052888*e^13 + 142130564693377791833/53301814436526444*e^12 - 321891602031302894987/53301814436526444*e^11 - 28190245963458721227/5922423826280716*e^10 + 958470194699156694167/106603628873052888*e^9 + 1068393211275266140147/213207257746105776*e^8 - 283949084500906641953/35534542957684296*e^7 - 226517136943907232311/71069085915368592*e^6 + 773334577462715982617/213207257746105776*e^5 + 83774204355618172949/53301814436526444*e^4 - 3260706712090529721/5922423826280716*e^3 - 2628774094392380543/4441817869710537*e^2 + 2233144988611366507/71069085915368592*e + 529766092842605389/11844847652561432, -638486065509741/23689695305122864*e^23 + 485128308081819/23689695305122864*e^22 + 11279897028169027/11844847652561432*e^21 - 6707332129472457/5922423826280716*e^20 - 20995829029562607/1480605956570179*e^19 + 581351955145941269/23689695305122864*e^18 + 2743995251141877223/23689695305122864*e^17 - 839545141672743649/2961211913140358*e^16 - 6719216974650592387/11844847652561432*e^15 + 23179796079098683691/11844847652561432*e^14 + 2552020715769433215/1480605956570179*e^13 - 50010053468906206671/5922423826280716*e^12 - 19742400700085964401/5922423826280716*e^11 + 135732506878225585035/5922423826280716*e^10 + 104952758332153565265/23689695305122864*e^9 - 450971705240214071901/11844847652561432*e^8 - 111056867658892660891/23689695305122864*e^7 + 856903436242831252269/23689695305122864*e^6 + 44853599993568023625/11844847652561432*e^5 - 203882618016196798581/11844847652561432*e^4 - 19409465437014616575/11844847652561432*e^3 + 73092881905305534641/23689695305122864*e^2 + 430773119890479642/1480605956570179*e - 455017712289973701/5922423826280716, -367693992104991/5922423826280716*e^23 - 2661710095733127/5922423826280716*e^22 + 21431960259556059/11844847652561432*e^21 + 193540989856463903/11844847652561432*e^20 - 235721070028025877/11844847652561432*e^19 - 3008964601225705203/11844847652561432*e^18 + 1030553875817957841/11844847652561432*e^17 + 3270313665368953373/1480605956570179*e^16 + 588839419387906011/5922423826280716*e^15 - 69842866534465774891/5922423826280716*e^14 - 4048111798812643867/1480605956570179*e^13 + 59191931471944319399/1480605956570179*e^12 + 36834188896704614185/2961211913140358*e^11 - 127432413942505332997/1480605956570179*e^10 - 163008400319652146013/5922423826280716*e^9 + 339306860503005069121/2961211913140358*e^8 + 372901095086123853315/11844847652561432*e^7 - 131650358658956060206/1480605956570179*e^6 - 50236755709907184255/2961211913140358*e^5 + 420379764195275491553/11844847652561432*e^4 + 19871258970005904893/5922423826280716*e^3 - 62716309391546583429/11844847652561432*e^2 - 1332179048928084169/5922423826280716*e + 177478711399918170/1480605956570179, -2329181958854911/17767271478842148*e^23 - 722638056856852/4441817869710537*e^22 + 83958639402113417/17767271478842148*e^21 + 92610295619246191/17767271478842148*e^20 - 429359227519514403/5922423826280716*e^19 - 204770957488252593/2961211913140358*e^18 + 10981453006492319677/17767271478842148*e^17 + 4337631521554754395/8883635739421074*e^16 - 4750236648384871968/1480605956570179*e^15 - 17226414761783270777/8883635739421074*e^14 + 46454210480201889814/4441817869710537*e^13 + 17857926229446894887/4441817869710537*e^12 - 94877607324669611360/4441817869710537*e^11 - 3494831398609507560/1480605956570179*e^10 + 472282857637851807103/17767271478842148*e^9 - 113274094755399352637/17767271478842148*e^8 - 112526523050616189317/5922423826280716*e^7 + 75592775994050782893/5922423826280716*e^6 + 118878848367919630139/17767271478842148*e^5 - 34888294497021839329/4441817869710537*e^4 - 2949639866906643247/5922423826280716*e^3 + 8343109365927610479/5922423826280716*e^2 - 177917358325019345/1480605956570179*e - 42798736798954719/1480605956570179, 164588859962086/1480605956570179*e^23 + 684349516366739/2961211913140358*e^22 - 22427421027764277/5922423826280716*e^21 - 92340124709670463/11844847652561432*e^20 + 637289149514775633/11844847652561432*e^19 + 1314791790297866329/11844847652561432*e^18 - 4869757658290469019/11844847652561432*e^17 - 10293566088037310249/11844847652561432*e^16 + 5348679034357593771/2961211913140358*e^15 + 24161431757666044533/5922423826280716*e^14 - 26336870207733647879/5922423826280716*e^13 - 34753980822047328071/2961211913140358*e^12 + 15215566530633639501/2961211913140358*e^11 + 30057855218255774038/1480605956570179*e^10 - 745824665112849447/2961211913140358*e^9 - 29623574509099428654/1480605956570179*e^8 - 23567946088679073591/5922423826280716*e^7 + 123141375815596547937/11844847652561432*e^6 + 7095766101972978533/5922423826280716*e^5 - 15170399130759403653/5922423826280716*e^4 + 11196220623760745241/11844847652561432*e^3 + 381344324642838251/2961211913140358*e^2 - 2177532491524849063/11844847652561432*e + 43448352705973065/5922423826280716, -3567411881067125/35534542957684296*e^23 - 4885203108635983/17767271478842148*e^22 + 132308604378036463/35534542957684296*e^21 + 179504522367570973/17767271478842148*e^20 - 351872233668068879/5922423826280716*e^19 - 1889877929842558295/11844847652561432*e^18 + 9485017485705306277/17767271478842148*e^17 + 50408175614844713527/35534542957684296*e^16 - 4390265742978189592/1480605956570179*e^15 - 69376125160778096543/8883635739421074*e^14 + 186591395888469518929/17767271478842148*e^13 + 244873331042848370173/8883635739421074*e^12 - 209145153306019897375/8883635739421074*e^11 - 184801284863430677417/2961211913140358*e^10 + 1132641096755035622273/35534542957684296*e^9 + 3126738709183486784351/35534542957684296*e^8 - 275711997485821094033/11844847652561432*e^7 - 106917876904129793887/1480605956570179*e^6 + 239435936960853021385/35534542957684296*e^5 + 537109644784750232333/17767271478842148*e^4 + 1529294701443558725/5922423826280716*e^3 - 58138550881581133327/11844847652561432*e^2 - 3059687684960857079/11844847652561432*e + 796907133717455955/5922423826280716, 19299844101724177/106603628873052888*e^23 + 48087479906705239/106603628873052888*e^22 - 354117848647111789/53301814436526444*e^21 - 435303382176714157/26650907218263222*e^20 + 309647967386340503/2961211913140358*e^19 + 9009723629123908061/35534542957684296*e^18 - 98485400335261440253/106603628873052888*e^17 - 29436987054409884118/13325453609131611*e^16 + 89429672647744880711/17767271478842148*e^15 + 632859513207845150249/53301814436526444*e^14 - 466175030138224002709/26650907218263222*e^13 - 542766711136628105518/13325453609131611*e^12 + 516529484027204043898/13325453609131611*e^11 + 396094543819285671056/4441817869710537*e^10 - 5673342635622248770321/106603628873052888*e^9 - 1612052293210578739202/13325453609131611*e^8 + 1508844043001816373179/35534542957684296*e^7 + 3381932862164434136873/35534542957684296*e^6 - 230727768300096834640/13325453609131611*e^5 - 506767437905714103010/13325453609131611*e^4 + 11708883883604199910/4441817869710537*e^3 + 205100577199289640455/35534542957684296*e^2 + 819693686624252699/8883635739421074*e - 365611045420333603/2961211913140358, 679427299418981/53301814436526444*e^23 + 4399833713047319/53301814436526444*e^22 - 5477900375563954/13325453609131611*e^21 - 80331420078634441/26650907218263222*e^20 + 16297648943246131/2961211913140358*e^19 + 836464854131183245/17767271478842148*e^18 - 2102440089522578369/53301814436526444*e^17 - 5482424133811413196/13325453609131611*e^16 + 1436685267774950719/8883635739421074*e^15 + 29446227704243657912/13325453609131611*e^14 - 4937874126644760428/13325453609131611*e^13 - 201205604421566425379/26650907218263222*e^12 + 5510738923730296045/13325453609131611*e^11 + 146083801028068950463/8883635739421074*e^10 - 8166942754172266061/53301814436526444*e^9 - 595394592211488077431/26650907218263222*e^8 + 2763908765663429881/17767271478842148*e^7 + 320819231958320648791/17767271478842148*e^6 - 6216934004475049927/13325453609131611*e^5 - 211080929589847747415/26650907218263222*e^4 + 1441693286927896207/4441817869710537*e^3 + 26867306623708155877/17767271478842148*e^2 - 479118119503620757/8883635739421074*e - 85387739820463736/1480605956570179, -21027597295096817/106603628873052888*e^23 - 12562598827574857/53301814436526444*e^22 + 795064028807606293/106603628873052888*e^21 + 432119872374417331/53301814436526444*e^20 - 2154477055428459893/17767271478842148*e^19 - 4223728127962416727/35534542957684296*e^18 + 59170394310123083809/53301814436526444*e^17 + 103667202940569520909/106603628873052888*e^16 - 55901149220073597691/8883635739421074*e^15 - 129992110112276588069/26650907218263222*e^14 + 1219498650323874607075/53301814436526444*e^13 + 413089485762435281401/26650907218263222*e^12 - 1424524731361569048871/26650907218263222*e^11 - 92136061099802461053/2961211913140358*e^10 + 8329249907854824358949/106603628873052888*e^9 + 4062312462879879190223/106603628873052888*e^8 - 2386447315948762621919/35534542957684296*e^7 - 469917504636616992005/17767271478842148*e^6 + 3196315119390381466093/106603628873052888*e^5 + 242581584637895437441/26650907218263222*e^4 - 15797612125627559523/2961211913140358*e^3 - 44524286672143427857/35534542957684296*e^2 + 6793057907123000963/35534542957684296*e + 66898982651180243/5922423826280716, -164365374615871/53301814436526444*e^23 - 2066303533706077/13325453609131611*e^22 - 13094572851238133/106603628873052888*e^21 + 596356630899781367/106603628873052888*e^20 + 74072816059224475/11844847652561432*e^19 - 3051335340950653183/35534542957684296*e^18 - 10666093269985009399/106603628873052888*e^17 + 9754090965844478363/13325453609131611*e^16 + 14840386833686899187/17767271478842148*e^15 - 50561890322018423890/13325453609131611*e^14 - 109726002505039164961/26650907218263222*e^13 + 656858450881881250511/53301814436526444*e^12 + 330371915175087493955/26650907218263222*e^11 - 443852141165461353139/17767271478842148*e^10 - 1198385073612874270289/53301814436526444*e^9 + 818515499633156363537/26650907218263222*e^8 + 824515384741662984623/35534542957684296*e^7 - 386388772601193112445/17767271478842148*e^6 - 650261327189087974369/53301814436526444*e^5 + 860849544268190029483/106603628873052888*e^4 + 23583425395388935961/8883635739421074*e^3 - 44067575352041143345/35534542957684296*e^2 - 694774789750631015/4441817869710537*e + 174876127813602191/2961211913140358, -4029647623327787/35534542957684296*e^23 - 3423742136609885/8883635739421074*e^22 + 146394256009607563/35534542957684296*e^21 + 126415248603218687/8883635739421074*e^20 - 95070458706246061/1480605956570179*e^19 - 2674606718702294811/11844847652561432*e^18 + 9980826536292444733/17767271478842148*e^17 + 71660270088454077409/35534542957684296*e^16 - 8964658643930096375/2961211913140358*e^15 - 49510411489170030067/4441817869710537*e^14 + 184162579609939985539/17767271478842148*e^13 + 175336236918673189058/4441817869710537*e^12 - 198983390713343480845/8883635739421074*e^11 - 132655665856164949177/1480605956570179*e^10 + 1040527583209712578991/35534542957684296*e^9 + 4496319663433840716383/35534542957684296*e^8 - 249977919332210307799/11844847652561432*e^7 - 153823275236172662839/1480605956570179*e^6 + 245401723567028987401/35534542957684296*e^5 + 769765166416641484007/17767271478842148*e^4 - 832048784261964580/1480605956570179*e^3 - 81374297474049525801/11844847652561432*e^2 - 1934349714950284065/11844847652561432*e + 1173331643137004085/5922423826280716, -13969480454257217/106603628873052888*e^23 - 34045605773224805/106603628873052888*e^22 + 257080172631026135/53301814436526444*e^21 + 1237485132917888597/106603628873052888*e^20 - 901963584204210217/11844847652561432*e^19 - 804514470984627356/4441817869710537*e^18 + 17984532772938682151/26650907218263222*e^17 + 169372687722565481929/106603628873052888*e^16 - 32751835637824986221/8883635739421074*e^15 - 229607982209452448111/26650907218263222*e^14 + 342108546893070143429/26650907218263222*e^13 + 398345014967987851097/13325453609131611*e^12 - 1516228527337193425577/53301814436526444*e^11 - 589730673973918200833/8883635739421074*e^10 + 4147266058590877703687/106603628873052888*e^9 + 4883607168703505931427/53301814436526444*e^8 - 1091946081008853030307/35534542957684296*e^7 - 326639454321295175975/4441817869710537*e^6 + 165004919670605634176/13325453609131611*e^5 + 1603644295540723462991/53301814436526444*e^4 - 69943655873807833717/35534542957684296*e^3 - 168310097775738079021/35534542957684296*e^2 - 809801480852015263/35534542957684296*e + 692154393165070369/5922423826280716, -235978253720131/53301814436526444*e^23 - 9723653374733161/53301814436526444*e^22 - 19907718149620883/106603628873052888*e^21 + 673541175031504967/106603628873052888*e^20 + 109617790699657677/11844847652561432*e^19 - 3270147028554273775/35534542957684296*e^18 - 15566805728974397719/106603628873052888*e^17 + 38983370964445918511/53301814436526444*e^16 + 10654581980021072149/8883635739421074*e^15 - 183097451958350459569/53301814436526444*e^14 - 307829818707902677385/53301814436526444*e^13 + 128140362908956655045/13325453609131611*e^12 + 893220375775096028377/53301814436526444*e^11 - 67700955343596903136/4441817869710537*e^10 - 379998376271242815812/13325453609131611*e^9 + 155367325628369113582/13325453609131611*e^8 + 925151236174204458305/35534542957684296*e^7 - 35099948147530676627/17767271478842148*e^6 - 276823648034982218963/26650907218263222*e^5 - 180829013011465869989/106603628873052888*e^4 + 7958609567875458275/8883635739421074*e^3 + 24705108746316150893/35534542957684296*e^2 + 816667020498486197/8883635739421074*e - 159196340635392685/2961211913140358, -698611098885007/8883635739421074*e^23 - 3029294182011683/17767271478842148*e^22 + 52467683350575121/17767271478842148*e^21 + 112278195196155161/17767271478842148*e^20 - 282059907149029413/5922423826280716*e^19 - 597795694341219711/5922423826280716*e^18 + 1916872452833986406/4441817869710537*e^17 + 8087311271861515313/8883635739421074*e^16 - 7141964233195086747/2961211913140358*e^15 - 22648142880850556906/4441817869710537*e^14 + 38121981308223336311/4441817869710537*e^13 + 81531397322453302708/4441817869710537*e^12 - 85940274062642045536/4441817869710537*e^11 - 62846860659720834503/1480605956570179*e^10 + 235576432355314240855/8883635739421074*e^9 + 1086077618464950503153/17767271478842148*e^8 - 59361522527107157533/2961211913140358*e^7 - 151499308498336517941/2961211913140358*e^6 + 117034107787274111557/17767271478842148*e^5 + 96783538648537927708/4441817869710537*e^4 - 1283751346501762809/5922423826280716*e^3 - 10697027754798095639/2961211913140358*e^2 - 290163149305843388/1480605956570179*e + 182748055523001614/1480605956570179, -716239310779813/35534542957684296*e^23 + 725322772030709/8883635739421074*e^22 + 34016215996783505/35534542957684296*e^21 - 103980781682510183/35534542957684296*e^20 - 225770533357190777/11844847652561432*e^19 + 262584702679487221/5922423826280716*e^18 + 7460650139963324539/35534542957684296*e^17 - 3282266664231954151/8883635739421074*e^16 - 4187961637785096899/2961211913140358*e^15 + 32767005546546473317/17767271478842148*e^14 + 26891413489789313972/4441817869710537*e^13 - 49995995413213122355/8883635739421074*e^12 - 73358807404908395359/4441817869710537*e^11 + 15207286113240198893/1480605956570179*e^10 + 992049503430587239021/35534542957684296*e^9 - 372268174831036226699/35534542957684296*e^8 - 324670029813148919657/11844847652561432*e^7 + 60736566064645690141/11844847652561432*e^6 + 493235859162327744305/35534542957684296*e^5 - 11359035889527269021/17767271478842148*e^4 - 34377347870299318527/11844847652561432*e^3 - 2827512351202626933/11844847652561432*e^2 + 963648863507376815/5922423826280716*e + 16819491276957267/1480605956570179, 2421372857987449/17767271478842148*e^23 + 5479157171330629/17767271478842148*e^22 - 43104891225072643/8883635739421074*e^21 - 189774883940923645/17767271478842148*e^20 + 435392886931154479/5922423826280716*e^19 + 464401056013380203/2961211913140358*e^18 - 5498631045682210703/8883635739421074*e^17 - 22618510226345588837/17767271478842148*e^16 + 4698675888702237548/1480605956570179*e^15 + 55463447388595522679/8883635739421074*e^14 - 45427323242659391416/4441817869710537*e^13 - 168575731995261734071/8883635739421074*e^12 + 184241669901454849081/8883635739421074*e^11 + 104497285660780870537/2961211913140358*e^10 - 463261851720909958567/17767271478842148*e^9 - 170334947090883616555/4441817869710537*e^8 + 118441350828094385763/5922423826280716*e^7 + 66671933494080718119/2961211913140358*e^6 - 40374146454526809353/4441817869710537*e^5 - 56851245313739948713/8883635739421074*e^4 + 12213890053386387621/5922423826280716*e^3 + 4346914913745898717/5922423826280716*e^2 - 704638460218135563/5922423826280716*e - 18673485091033149/2961211913140358, -1306326782962569/11844847652561432*e^23 - 3988136082434223/11844847652561432*e^22 + 23211288494382817/5922423826280716*e^21 + 72685414268778111/5922423826280716*e^20 - 350811204214093173/5922423826280716*e^19 - 2275729676707375669/11844847652561432*e^18 + 5881665899831937855/11844847652561432*e^17 + 10019834878797646953/5922423826280716*e^16 - 14933901889769502305/5922423826280716*e^15 - 54576553163971926775/5922423826280716*e^14 + 11750480820570822880/1480605956570179*e^13 + 47591679117608836880/1480605956570179*e^12 - 22409288607795539144/1480605956570179*e^11 - 106359087517326836235/1480605956570179*e^10 + 190571527936869536177/11844847652561432*e^9 + 147969213507527310485/1480605956570179*e^8 - 87260140358086137209/11844847652561432*e^7 - 959660242884429122165/11844847652561432*e^6 - 1458132924896143823/2961211913140358*e^5 + 49544699473495449583/1480605956570179*e^4 + 6641804193607856367/5922423826280716*e^3 - 61648615164771988665/11844847652561432*e^2 - 1382953464414649043/5922423826280716*e + 177696990277687257/1480605956570179, 1264517560163175/5922423826280716*e^23 + 7107087820313109/11844847652561432*e^22 - 90189713577336161/11844847652561432*e^21 - 126591819790366073/5922423826280716*e^20 + 686262066617597017/5922423826280716*e^19 + 962334389137260419/2961211913140358*e^18 - 11653387735691149807/11844847652561432*e^17 - 32653300752072131435/11844847652561432*e^16 + 30290277533941595245/5922423826280716*e^15 + 84767697011764918609/5922423826280716*e^14 - 99646356391303292563/5922423826280716*e^13 - 69508957629950718110/1480605956570179*e^12 + 103794017146387260071/2961211913140358*e^11 + 143607430058214206677/1480605956570179*e^10 - 267781501291853478661/5922423826280716*e^9 - 1448991896548163007451/11844847652561432*e^8 + 102244069328167645101/2961211913140358*e^7 + 1046940189001579460259/11844847652561432*e^6 - 168523581393259706417/11844847652561432*e^5 - 192384822048027245853/5922423826280716*e^4 + 14579828871985709243/5922423826280716*e^3 + 27566660094641717873/5922423826280716*e^2 - 152207453173848223/11844847652561432*e - 552595901182693879/5922423826280716, 2343805229402563/26650907218263222*e^23 + 34245295306306237/106603628873052888*e^22 - 338487542361223421/106603628873052888*e^21 - 623167503063048983/53301814436526444*e^20 + 292326011162650515/5922423826280716*e^19 + 3235164994825909873/17767271478842148*e^18 - 46211059293737601859/106603628873052888*e^17 - 169242417181868954243/106603628873052888*e^16 + 42131548313600780201/17767271478842148*e^15 + 453610839586211577887/53301814436526444*e^14 - 447752723048807834783/53301814436526444*e^13 - 772915692508971809837/26650907218263222*e^12 + 517631629683384728729/26650907218263222*e^11 + 557957083776709142065/8883635739421074*e^10 - 384749026819490321621/13325453609131611*e^9 - 8955447953225536325941/106603628873052888*e^8 + 235706012466040075073/8883635739421074*e^7 + 2316514624953799320323/35534542957684296*e^6 - 1482668965989955471727/106603628873052888*e^5 - 346553878749592800940/13325453609131611*e^4 + 15543362560532441167/4441817869710537*e^3 + 73399985373242485231/17767271478842148*e^2 - 7144638683694824905/35534542957684296*e - 785091387181730723/5922423826280716, 3080097484128055/26650907218263222*e^23 + 15463155883141795/26650907218263222*e^22 - 98162740378176563/26650907218263222*e^21 - 2220646727111808619/106603628873052888*e^20 + 565822546072249835/11844847652561432*e^19 + 11346359853995359253/35534542957684296*e^18 - 33746634444219143899/106603628873052888*e^17 - 291249148019125751711/106603628873052888*e^16 + 18594393673795745039/17767271478842148*e^15 + 763242624805485381659/53301814436526444*e^14 - 22276904541244825651/26650907218263222*e^13 - 1265744406059535003209/26650907218263222*e^12 - 293905444025225784947/53301814436526444*e^11 + 442349354157751319327/4441817869710537*e^10 + 1027690015522101951439/53301814436526444*e^9 - 3421754811946514217925/26650907218263222*e^8 - 451258610334298558445/17767271478842148*e^7 + 3408080505436164531185/35534542957684296*e^6 + 745552181313165905597/53301814436526444*e^5 - 489689012983814375854/13325453609131611*e^4 - 86989798892145230215/35534542957684296*e^3 + 23677369557770931646/4441817869710537*e^2 + 4976341277979366329/35534542957684296*e - 808687328054672741/5922423826280716, 301923475615988/1480605956570179*e^23 + 6777351913273175/11844847652561432*e^22 - 84196400153195631/11844847652561432*e^21 - 30042349645465564/1480605956570179*e^20 + 310314500370073135/2961211913140358*e^19 + 455120882765517126/1480605956570179*e^18 - 10074020204050721471/11844847652561432*e^17 - 30829809542532220759/11844847652561432*e^16 + 24520718028364257365/5922423826280716*e^15 + 80126800750313706635/5922423826280716*e^14 - 73084216634749620095/5922423826280716*e^13 - 132199719870589791553/2961211913140358*e^12 + 65261779179633011619/2961211913140358*e^11 + 276974739552850404479/2961211913140358*e^10 - 65769482379385154295/2961211913140358*e^9 - 1435660718856325762899/11844847652561432*e^8 + 34554344201602682551/2961211913140358*e^7 + 1087253951770144443965/11844847652561432*e^6 - 41993472443240663525/11844847652561432*e^5 - 106996792020095009567/2961211913140358*e^4 + 6181212520904772721/5922423826280716*e^3 + 32725179686850492813/5922423826280716*e^2 - 556742935019872947/11844847652561432*e - 765057269345281795/5922423826280716, -1282636713238738/13325453609131611*e^23 - 29487392396416061/106603628873052888*e^22 + 357873148088178943/106603628873052888*e^21 + 523042144450392607/53301814436526444*e^20 - 293223908724127395/5922423826280716*e^19 - 2639682221337431927/17767271478842148*e^18 + 42822743079936954395/106603628873052888*e^17 + 133819483206965443249/106603628873052888*e^16 - 34648637175119136199/17767271478842148*e^15 - 346202466481703288371/53301814436526444*e^14 + 306595636794720781873/53301814436526444*e^13 + 566474651048753095657/26650907218263222*e^12 - 264013594167127244077/26650907218263222*e^11 - 390225400162344884261/8883635739421074*e^10 + 230448268553653873991/26650907218263222*e^9 + 5943337623938624550113/106603628873052888*e^8 - 29468416484041199201/17767271478842148*e^7 - 1461966367049602477093/35534542957684296*e^6 - 282347397679779535313/106603628873052888*e^5 + 854218214299886657201/53301814436526444*e^4 + 29552818718962369579/17767271478842148*e^3 - 11984397265984549097/4441817869710537*e^2 - 8499633801340763365/35534542957684296*e + 553088029199128381/5922423826280716, 2700961579013107/106603628873052888*e^23 + 1155871005275081/13325453609131611*e^22 - 80574328182227723/106603628873052888*e^21 - 158464681395157103/53301814436526444*e^20 + 50455422127902611/5922423826280716*e^19 + 1538691543756453965/35534542957684296*e^18 - 509182812331855394/13325453609131611*e^17 - 37356164570942133083/106603628873052888*e^16 - 395291882297974691/8883635739421074*e^15 + 46084226218246159465/26650907218263222*e^14 + 67266544336614854239/53301814436526444*e^13 - 71653925371983271861/13325453609131611*e^12 - 157445772636904465759/26650907218263222*e^11 + 46852952362033729256/4441817869710537*e^10 + 1441151456737235467241/106603628873052888*e^9 - 1363076790730790650627/106603628873052888*e^8 - 574816291711679120965/35534542957684296*e^7 + 163226135413637728351/17767271478842148*e^6 + 992098217519531770423/106603628873052888*e^5 - 186713658021636110401/53301814436526444*e^4 - 35454237588301762391/17767271478842148*e^3 + 17458295258561836097/35534542957684296*e^2 + 3167213716042555295/35534542957684296*e - 13002027959462861/5922423826280716, 1173594579408779/13325453609131611*e^23 + 36946754206113607/106603628873052888*e^22 - 306891650147317901/106603628873052888*e^21 - 160693161563628197/13325453609131611*e^20 + 115047334902120825/2961211913140358*e^19 + 1576312353125200955/8883635739421074*e^18 - 29484980006356281235/106603628873052888*e^17 - 153243542501457669881/106603628873052888*e^16 + 19196520748700668589/17767271478842148*e^15 + 372511687105165662413/53301814436526444*e^14 - 107240995661442255725/53301814436526444*e^13 - 277503937986654382720/13325453609131611*e^12 - 939046530626972719/26650907218263222*e^11 + 165439709932638635858/4441817869710537*e^10 + 185678586615094916351/26650907218263222*e^9 - 4002376670168576627911/106603628873052888*e^8 - 200181804004503044945/17767271478842148*e^7 + 674578153638835300565/35534542957684296*e^6 + 730529785269006369439/106603628873052888*e^5 - 211163675451840675907/53301814436526444*e^4 - 6955219502291812367/4441817869710537*e^3 + 1953427480365068159/8883635739421074*e^2 + 2432104075915515845/35534542957684296*e + 1145933790298963/5922423826280716, 5260012231809149/53301814436526444*e^23 + 56440196819314373/213207257746105776*e^22 - 771395921009586973/213207257746105776*e^21 - 1008293813340648763/106603628873052888*e^20 + 676267804460238035/11844847652561432*e^19 + 5120621731594175969/35534542957684296*e^18 - 108389914851222661523/213207257746105776*e^17 - 260793203661553040227/213207257746105776*e^16 + 99961754997181867453/35534542957684296*e^15 + 675930106746846143551/106603628873052888*e^14 - 1070321227718248865803/106603628873052888*e^13 - 1102876011442153878571/53301814436526444*e^12 + 1237690414305379714525/53301814436526444*e^11 + 751514410007200173383/17767271478842148*e^10 - 906695256864213721393/26650907218263222*e^9 - 11157039519804539233997/213207257746105776*e^8 + 529110678359875166539/17767271478842148*e^7 + 2604392955127666763251/71069085915368592*e^6 - 2915601612529738185247/213207257746105776*e^5 - 346475257595525718563/26650907218263222*e^4 + 21946694461106576963/8883635739421074*e^3 + 67987156232411069495/35534542957684296*e^2 - 7799603047691252441/71069085915368592*e - 565457524030069027/11844847652561432, -2045992775036233/35534542957684296*e^23 - 10030242234721097/71069085915368592*e^22 + 166322109647428195/71069085915368592*e^21 + 188067617774108359/35534542957684296*e^20 - 490482297629962353/11844847652561432*e^19 - 251482217190661113/2961211913140358*e^18 + 29678344788349816187/71069085915368592*e^17 + 54183931831192792093/71069085915368592*e^16 - 31237624552855777441/11844847652561432*e^15 - 149342530558271699839/35534542957684296*e^14 + 383201253392510925529/35534542957684296*e^13 + 261064205774104451269/17767271478842148*e^12 - 506725818398644870903/17767271478842148*e^11 - 192427271157117231725/5922423826280716*e^10 + 1681269681291629542255/35534542957684296*e^9 + 3121066346407095937415/71069085915368592*e^8 - 545662575567179506371/11844847652561432*e^7 - 797946599532496967115/23689695305122864*e^6 + 1652006557826623184917/71069085915368592*e^5 + 113548371663341537177/8883635739421074*e^4 - 28258689333747053925/5922423826280716*e^3 - 10904361781150585423/5922423826280716*e^2 + 4586646144277840055/23689695305122864*e + 423321379226536075/11844847652561432, 977111105150763/5922423826280716*e^23 + 1483981119988441/2961211913140358*e^22 - 34009879719721463/5922423826280716*e^21 - 104005381244420043/5922423826280716*e^20 + 502070090824733583/5922423826280716*e^19 + 386726190167696930/1480605956570179*e^18 - 4100330284178550787/5922423826280716*e^17 - 3184286639348372930/1480605956570179*e^16 + 10128706105033659123/2961211913140358*e^15 + 31734504005710066977/2961211913140358*e^14 - 31113806430435478013/2961211913140358*e^13 - 49116519985628285616/1480605956570179*e^12 + 58990942601995223971/2961211913140358*e^11 + 93357945428552949976/1480605956570179*e^10 - 133647255280307471421/5922423826280716*e^9 - 417120990238308923013/5922423826280716*e^8 + 85466997605647997857/5922423826280716*e^7 + 254153726408363863571/5922423826280716*e^6 - 26139835366193307969/5922423826280716*e^5 - 19279849859657410687/1480605956570179*e^4 + 718940650389180165/5922423826280716*e^3 + 10761410996019598757/5922423826280716*e^2 + 195769040678303607/2961211913140358*e - 74928527913711702/1480605956570179, -6084417628642579/35534542957684296*e^23 - 1788514355404976/4441817869710537*e^22 + 216626734136175215/35534542957684296*e^21 + 505183708009408345/35534542957684296*e^20 - 1092689185100242833/11844847652561432*e^19 - 634767478221197755/2961211913140358*e^18 + 27499606567665053107/35534542957684296*e^17 + 32088258314490301399/17767271478842148*e^16 - 11651536073671752875/2961211913140358*e^15 - 165917023090130751719/17767271478842148*e^14 + 110597826248826923029/8883635739421074*e^13 + 272209902118207588013/8883635739421074*e^12 - 107664401015196175987/4441817869710537*e^11 - 94462942818864693720/1480605956570179*e^10 + 987030118072235052259/35534542957684296*e^9 + 2915926714325291863879/35534542957684296*e^8 - 204633590609723535691/11844847652561432*e^7 - 728707700619581745555/11844847652561432*e^6 + 182787954050336820743/35534542957684296*e^5 + 424054500111418974895/17767271478842148*e^4 - 7624565526092862331/11844847652561432*e^3 - 42551938176717469443/11844847652561432*e^2 + 97746613575767255/2961211913140358*e + 238927610144591103/2961211913140358, 55797424169055/2961211913140358*e^23 + 321708197588860/1480605956570179*e^22 - 738685694849192/1480605956570179*e^21 - 46531480847729751/5922423826280716*e^20 + 27752603925966281/5922423826280716*e^19 + 717090608936410289/5922423826280716*e^18 - 75773187768094869/5922423826280716*e^17 - 6152007557883874351/5922423826280716*e^16 - 125273122288500892/1480605956570179*e^15 + 8051966498756535748/1480605956570179*e^14 + 2344164196001635833/2961211913140358*e^13 - 53088817973245460657/2961211913140358*e^12 - 3861958882485484784/1480605956570179*e^11 + 109975821311418638609/2961211913140358*e^10 + 11545672943042532521/2961211913140358*e^9 - 69632494077680663451/1480605956570179*e^8 - 2617428681367585710/1480605956570179*e^7 + 204593230815080561851/5922423826280716*e^6 - 1850168257465697939/1480605956570179*e^5 - 39795005249460406987/2961211913140358*e^4 + 6031191470696129713/5922423826280716*e^3 + 6619814995099175101/2961211913140358*e^2 - 497203708372874115/5922423826280716*e - 236012441729777547/2961211913140358, 427748859963241/2961211913140358*e^23 + 1139299175719321/2961211913140358*e^22 - 30164348967364871/5922423826280716*e^21 - 39707542530337783/2961211913140358*e^20 + 226115210900025489/2961211913140358*e^19 + 293324534554428142/1480605956570179*e^18 - 941045248517701033/1480605956570179*e^17 - 9579702161149241743/5922423826280716*e^16 + 9529895251013224327/2961211913140358*e^15 + 11802246676258106678/1480605956570179*e^14 - 30294926730579936345/2961211913140358*e^13 - 35975358150864196019/1480605956570179*e^12 + 30271862413786421053/1480605956570179*e^11 + 66828847511746535372/1480605956570179*e^10 - 75070083478189534505/2961211913140358*e^9 - 71891800711049465418/1480605956570179*e^8 + 114000087359868180409/5922423826280716*e^7 + 163278031232644002731/5922423826280716*e^6 - 25417494140546280401/2961211913140358*e^5 - 42099253901854441505/5922423826280716*e^4 + 10303448470168193313/5922423826280716*e^3 + 3670872854214736959/5922423826280716*e^2 - 286058172874935079/5922423826280716*e - 41679467772100701/2961211913140358, -768166825045900/13325453609131611*e^23 - 28971225191096957/106603628873052888*e^22 + 214204615120997533/106603628873052888*e^21 + 133883557691963176/13325453609131611*e^20 - 88313330240971167/2961211913140358*e^19 - 1416774479653280563/8883635739421074*e^18 + 26241624075163126217/106603628873052888*e^17 + 151714839010831173037/106603628873052888*e^16 - 21969287684798332813/17767271478842148*e^15 - 418458829569065795935/53301814436526444*e^14 + 206880262606278032593/53301814436526444*e^13 + 369462641249246082845/13325453609131611*e^12 - 200222118394974160423/26650907218263222*e^11 - 278844973619847311116/4441817869710537*e^10 + 227450301626865432263/26650907218263222*e^9 + 9454237476405610142597/106603628873052888*e^8 - 46781960671256083423/8883635739421074*e^7 - 2607065769459091867585/35534542957684296*e^6 + 193741733153092387495/106603628873052888*e^5 + 832712336236318828069/26650907218263222*e^4 - 10279715529582906929/17767271478842148*e^3 - 91519599802536295073/17767271478842148*e^2 + 745410554485288247/35534542957684296*e + 883761046670070541/5922423826280716, 2525966536188769/17767271478842148*e^23 + 9606929197526843/35534542957684296*e^22 - 189061352463521743/35534542957684296*e^21 - 170026963073726485/17767271478842148*e^20 + 508167220550969699/5922423826280716*e^19 + 428176903722785031/2961211913140358*e^18 - 27772180834632074705/35534542957684296*e^17 - 43333790810533446553/35534542957684296*e^16 + 26214790210685459285/5922423826280716*e^15 + 111881773142988261001/17767271478842148*e^14 - 287215730020022291005/17767271478842148*e^13 - 182405325656988082141/8883635739421074*e^12 + 339188011917669637507/8883635739421074*e^11 + 124513474565007538383/2961211913140358*e^10 - 1009797780598303281523/17767271478842148*e^9 - 1850913179690305627097/35534542957684296*e^8 + 148240572547850268869/2961211913140358*e^7 + 428447677920301862231/11844847652561432*e^6 - 813055369658552913535/35534542957684296*e^5 - 219612717526408270403/17767271478842148*e^4 + 23784349210467778721/5922423826280716*e^3 + 9885928673195185045/5922423826280716*e^2 - 529435878704916699/11844847652561432*e - 103347048920904267/5922423826280716, 2101073716518749/17767271478842148*e^23 + 12765898059472435/35534542957684296*e^22 - 152366670115037027/35534542957684296*e^21 - 117108723117246409/8883635739421074*e^20 + 98633348027655788/1480605956570179*e^19 + 1231448609646845897/5922423826280716*e^18 - 20619407949915374911/35534542957684296*e^17 - 65626536296132542871/35534542957684296*e^16 + 18429527584130790501/5922423826280716*e^15 + 180521249392779569945/17767271478842148*e^14 - 188610478971697438991/17767271478842148*e^13 - 159273050449759258855/4441817869710537*e^12 + 204147954030360830837/8883635739421074*e^11 + 120305617360517354933/1480605956570179*e^10 - 542805158065950700283/17767271478842148*e^9 - 4083031460490954820957/35534542957684296*e^8 + 34479467160239662240/1480605956570179*e^7 + 1124728933337709630221/11844847652561432*e^6 - 320634338656252852163/35534542957684296*e^5 - 714697618986184438489/17767271478842148*e^4 + 4229292740887113583/2961211913140358*e^3 + 38929507679744542673/5922423826280716*e^2 + 692411677806975427/11844847652561432*e - 933697339365993861/5922423826280716, -367901437388975/5922423826280716*e^23 - 6554524279099879/23689695305122864*e^22 + 45715798245737183/23689695305122864*e^21 + 116113066571421823/11844847652561432*e^20 - 281706882248046667/11844847652561432*e^19 - 1753526808417647163/11844847652561432*e^18 + 3317653736724365421/23689695305122864*e^17 + 29507756303339166573/23689695305122864*e^16 - 3566209162240831981/11844847652561432*e^15 - 75870700840449206129/11844847652561432*e^14 - 10675200382523751587/11844847652561432*e^13 + 123152337101988577837/5922423826280716*e^12 + 42670855676546782617/5922423826280716*e^11 - 252311187909502260303/5922423826280716*e^10 - 54247407185310470761/2961211913140358*e^9 + 1273826063894102319791/23689695305122864*e^8 + 130955152296152603337/5922423826280716*e^7 - 943964900701175017743/23689695305122864*e^6 - 288865810459995970195/23689695305122864*e^5 + 46400988889238818613/2961211913140358*e^4 + 14746525061022614743/5922423826280716*e^3 - 29655487256268308355/11844847652561432*e^2 - 3343625159575862915/23689695305122864*e + 1205306110103962221/11844847652561432, -1103125650719417/8883635739421074*e^23 - 2576427865595807/8883635739421074*e^22 + 77758189018924061/17767271478842148*e^21 + 90350348934193331/8883635739421074*e^20 - 193439152049492927/2961211913140358*e^19 - 450114100443905515/2961211913140358*e^18 + 4777735327692620513/8883635739421074*e^17 + 22487239251727768997/17767271478842148*e^16 - 7888139334316443889/2961211913140358*e^15 - 57199194980627275229/8883635739421074*e^14 + 72110705295870598325/8883635739421074*e^13 + 183398787888498254281/8883635739421074*e^12 - 66299294679656130350/4441817869710537*e^11 - 123114374506766984181/2961211913140358*e^10 + 137958910347180501797/8883635739421074*e^9 + 453356496619184673311/8883635739421074*e^8 - 46479645386868566181/5922423826280716*e^7 - 214234754501280132109/5922423826280716*e^6 + 8381819160754398265/8883635739421074*e^5 + 242108506949281548059/17767271478842148*e^4 + 3071586057062549291/5922423826280716*e^3 - 13954580872259402659/5922423826280716*e^2 - 705189355671511087/5922423826280716*e + 324274930689037335/2961211913140358, 750927749189191/35534542957684296*e^23 - 654322136354965/17767271478842148*e^22 - 35632813545160907/35534542957684296*e^21 + 11010494327245493/8883635739421074*e^20 + 59261509310249963/2961211913140358*e^19 - 206340550535233761/11844847652561432*e^18 - 981573056388304262/4441817869710537*e^17 + 4696437781058724283/35534542957684296*e^16 + 2202398858873412602/1480605956570179*e^15 - 2586652606079999152/4441817869710537*e^14 - 112182440181761968385/17767271478842148*e^13 + 13201695270548561257/8883635739421074*e^12 + 74730576666735828169/4441817869710537*e^11 - 6111876496814205113/2961211913140358*e^10 - 958697633473884546655/35534542957684296*e^9 + 52031676227963999999/35534542957684296*e^8 + 279194203746628529453/11844847652561432*e^7 - 2912509912493001127/2961211913140358*e^6 - 314711441974013980919/35534542957684296*e^5 + 9441434851811091445/8883635739421074*e^4 + 2508599296389384197/5922423826280716*e^3 - 4133111104006617633/11844847652561432*e^2 + 1726010609329220969/11844847652561432*e + 83878632355932303/5922423826280716, 1517844677339815/17767271478842148*e^23 + 6578499903358891/17767271478842148*e^22 - 25304464375813141/8883635739421074*e^21 - 117803418913423925/8883635739421074*e^20 + 117480481424241019/2961211913140358*e^19 + 1200137356039781113/5922423826280716*e^18 - 5297697423983504707/17767271478842148*e^17 - 15345499433543530315/8883635739421074*e^16 + 3838204169742283493/2961211913140358*e^15 + 80079778960011024521/8883635739421074*e^14 - 14188697541657143161/4441817869710537*e^13 - 132205313867158801292/4441817869710537*e^12 + 16981312898427913589/4441817869710537*e^11 + 92097144665501062454/1480605956570179*e^10 - 10951006527030115675/17767271478842148*e^9 - 713387627235225198425/8883635739421074*e^8 - 14569327133577877901/5922423826280716*e^7 + 360478630139939074973/5922423826280716*e^6 + 8890942017310207739/8883635739421074*e^5 - 216649384261104634099/8883635739421074*e^4 + 576947988603156758/1480605956570179*e^3 + 23274772975700861475/5922423826280716*e^2 - 26169318471450249/2961211913140358*e - 174314328195142498/1480605956570179, -1894447633059133/8883635739421074*e^23 - 6987983595665597/17767271478842148*e^22 + 140976283786587253/17767271478842148*e^21 + 249836308689388361/17767271478842148*e^20 - 751419552284364783/5922423826280716*e^19 - 1278131130985959633/5922423826280716*e^18 + 10144059763406395027/8883635739421074*e^17 + 16554762694981507115/8883635739421074*e^16 - 9420033171638660488/1480605956570179*e^15 - 44247435199286654081/4441817869710537*e^14 + 202025852406299183425/8883635739421074*e^13 + 151652302926528693907/4441817869710537*e^12 - 464365292262274313195/8883635739421074*e^11 - 111120604560836271694/1480605956570179*e^10 + 334668282421686048725/4441817869710537*e^9 + 1824770065032332112311/17767271478842148*e^8 - 190308391525590004083/2961211913140358*e^7 - 242229649417764159967/2961211913140358*e^6 + 516198151746024163831/17767271478842148*e^5 + 295475067392134732787/8883635739421074*e^4 - 33213106980969965215/5922423826280716*e^3 - 15480231145630819103/2961211913140358*e^2 + 305498185520103403/1480605956570179*e + 178637620212050370/1480605956570179, -348374721774211/35534542957684296*e^23 - 750035976495193/35534542957684296*e^22 + 3445170358310461/17767271478842148*e^21 + 10931933811939167/17767271478842148*e^20 + 2102160577192711/5922423826280716*e^19 - 83878179160901485/11844847652561432*e^18 - 1506956927128564355/35534542957684296*e^17 + 691877072339560015/17767271478842148*e^16 + 3021286309679585001/5922423826280716*e^15 - 1440412661395812389/17767271478842148*e^14 - 26978860519440998069/8883635739421074*e^13 - 782775719461455446/4441817869710537*e^12 + 92118851438146237087/8883635739421074*e^11 + 2032017273756459179/1480605956570179*e^10 - 734308239299656607105/35534542957684296*e^9 - 27140322836131788131/8883635739421074*e^8 + 271596077783361426483/11844847652561432*e^7 + 36528084315267556395/11844847652561432*e^6 - 55676159740962997673/4441817869710537*e^5 - 6924557291151789443/4441817869710537*e^4 + 14782099092452578293/5922423826280716*e^3 + 6215829629357246795/11844847652561432*e^2 - 96459494167686783/5922423826280716*e - 98974428171378261/1480605956570179, -121409787096170/4441817869710537*e^23 + 473041715958403/17767271478842148*e^22 + 17036136972564073/17767271478842148*e^21 - 9022430822496923/8883635739421074*e^20 - 20380489344148779/1480605956570179*e^19 + 47031950063200463/2961211913140358*e^18 + 1817175714655078001/17767271478842148*e^17 - 2327550070228994225/17767271478842148*e^16 - 586564597115843622/1480605956570179*e^15 + 2687871985951822159/4441817869710537*e^14 + 2475931602829171442/4441817869710537*e^13 - 13186244354717097343/8883635739421074*e^12 + 12074110150373344801/8883635739421074*e^11 + 3877694132223008925/2961211913140358*e^10 - 61262089257367732835/8883635739421074*e^9 + 31741747762883442911/17767271478842148*e^8 + 32967785349461659921/2961211913140358*e^7 - 28374435487305896025/5922423826280716*e^6 - 137587657393343630585/17767271478842148*e^5 + 14015276610431794759/4441817869710537*e^4 + 2854444060855432927/1480605956570179*e^3 - 715025293439453449/1480605956570179*e^2 - 613920124654541321/5922423826280716*e + 57651970238617419/2961211913140358, 2068072655467819/71069085915368592*e^23 + 9905917072568965/71069085915368592*e^22 - 28245967663880605/35534542957684296*e^21 - 175591804372253189/35534542957684296*e^20 + 85291614416659675/11844847652561432*e^19 + 1777592864278902285/23689695305122864*e^18 - 387511590485042905/71069085915368592*e^17 - 22732573977043501669/35534542957684296*e^16 - 4308033967733121037/11844847652561432*e^15 + 119874633177135739223/35534542957684296*e^14 + 52514318907078480569/17767271478842148*e^13 - 203223048892634155601/17767271478842148*e^12 - 197592149596117866853/17767271478842148*e^11 + 149033644089289006147/5922423826280716*e^10 + 1606345096764979474505/71069085915368592*e^9 - 630241688774361370549/17767271478842148*e^8 - 571732443598645889895/23689695305122864*e^7 + 727118985497773635957/23689695305122864*e^6 + 207228556927734315451/17767271478842148*e^5 - 256621773403667089001/17767271478842148*e^4 - 19885593414457059609/11844847652561432*e^3 + 63354751870136627385/23689695305122864*e^2 + 355949092792761999/11844847652561432*e - 250689537914694521/2961211913140358, -4644369795651053/106603628873052888*e^23 - 20182706002862401/213207257746105776*e^22 + 349146269521841675/213207257746105776*e^21 + 366390312826383431/106603628873052888*e^20 - 313970315070156323/11844847652561432*e^19 - 237803618064961553/4441817869710537*e^18 + 51577887352647745027/213207257746105776*e^17 + 99912378954129022037/213207257746105776*e^16 - 48617774693728309241/35534542957684296*e^15 - 270217058847698305559/106603628873052888*e^14 + 528874177255790753465/106603628873052888*e^13 + 467642721568973821265/53301814436526444*e^12 - 614703827978124966887/53301814436526444*e^11 - 345450484910085270925/17767271478842148*e^10 + 1781628594695078857355/106603628873052888*e^9 + 5711182430988658369159/213207257746105776*e^8 - 506628251885831394235/35534542957684296*e^7 - 1522508555847796239755/71069085915368592*e^6 + 1391546054545140123269/213207257746105776*e^5 + 115815625256551212275/13325453609131611*e^4 - 24516348648956464259/17767271478842148*e^3 - 24872624248533727799/17767271478842148*e^2 + 4671826019864061199/71069085915368592*e + 619323849355752833/11844847652561432]; 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;