/* Data is in the following format Note, if the class group has not been computed, it, the class number, the fundamental units, regulator and whether grh was assumed are all 0. [polynomial, degree, t-number of Galois group, signature [r,s], discriminant, list of ramifying primes, integral basis as polynomials in a, 1 if it is a cm field otherwise 0, class number, class group structure, 1 if grh was assumed and 0 if not, fundamental units, regulator, list of subfields each as a pair [polynomial, number of subfields isomorphic to one defined by this polynomial] ] */ [x^25 + 15*x^23 - 45*x^22 + 95*x^21 - 235*x^20 + 500*x^19 - 760*x^18 + 605*x^17 - 2330*x^16 - 1835*x^15 - 1375*x^14 - 5310*x^13 + 13755*x^12 - 12555*x^11 + 11755*x^10 - 13250*x^9 + 1465*x^8 + 3355*x^7 - 3655*x^6 + 3280*x^5 - 2125*x^4 + 215*x^3 - 295*x^2 - 55*x + 9, 25, 35, [5, 10], 29802322387695312500000000000000000000, [2, 5], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, a^11, a^12, 1/5*a^13 + 2/5*a^12 - 2/5*a^11 - 1/5*a^10 - 2/5*a^8 + 1/5*a^7 - 1/5*a^6 + 2/5*a^5 + 1/5*a^3 + 2/5*a^2 - 2/5*a - 1/5, 1/5*a^14 - 1/5*a^12 - 2/5*a^11 + 2/5*a^10 - 2/5*a^9 + 2/5*a^7 - 1/5*a^6 + 1/5*a^5 + 1/5*a^4 - 1/5*a^2 - 2/5*a + 2/5, 1/15*a^15 + 1/3*a^12 + 1/3*a^11 + 7/15*a^10 + 1/3*a^9 - 1/3*a^8 + 1/3*a^6 + 1/5*a^5 - 1/3*a - 2/5, 1/15*a^16 - 1/15*a^13 - 7/15*a^12 + 4/15*a^11 - 4/15*a^10 - 1/3*a^9 - 1/5*a^8 - 1/15*a^7 - 2/5*a^6 + 1/5*a^5 - 2/5*a^3 - 2/15*a^2 + 2/5*a + 2/5, 1/15*a^17 - 1/15*a^14 - 1/15*a^13 + 1/15*a^12 - 1/15*a^11 + 4/15*a^10 - 1/5*a^9 + 2/15*a^8 - 1/5*a^6 - 1/5*a^5 - 2/5*a^4 + 4/15*a^3 + 1/5*a^2 - 2/5*a - 2/5, 1/15*a^18 - 1/15*a^14 + 1/15*a^13 + 4/15*a^12 - 2/5*a^11 + 4/15*a^10 + 7/15*a^9 - 1/3*a^8 - 1/5*a^7 + 2/15*a^6 - 1/5*a^5 + 4/15*a^4 + 1/5*a^3 - 2/5*a^2 + 4/15*a - 2/5, 1/15*a^19 + 1/15*a^14 + 1/15*a^13 - 7/15*a^12 + 2/15*a^10 - 2/15*a^8 - 1/15*a^7 + 1/3*a^6 + 1/15*a^5 + 1/5*a^4 + 2/5*a^3 - 2/15*a^2 - 1/3*a - 1/5, 1/15*a^20 + 1/15*a^14 - 1/15*a^13 + 7/15*a^12 + 2/15*a^10 - 7/15*a^9 + 7/15*a^8 - 4/15*a^7 + 1/3*a^6 - 1/5*a^5 + 2/5*a^4 + 4/15*a^3 + 7/15*a^2 + 1/3*a, 1/15*a^21 - 1/15*a^14 + 1/15*a^13 - 2/15*a^12 - 2/5*a^11 + 7/15*a^10 + 2/15*a^9 - 2/15*a^8 - 1/15*a^7 - 2/15*a^6 + 2/5*a^5 + 4/15*a^4 + 1/15*a^3 - 7/15*a^2 + 2/15*a - 1/5, 1/45*a^22 - 1/45*a^21 - 1/45*a^17 - 1/15*a^14 - 2/45*a^13 + 2/15*a^12 + 16/45*a^11 + 16/45*a^10 + 16/45*a^9 + 1/5*a^8 - 13/45*a^7 - 8/45*a^6 - 2/45*a^5 - 2/5*a^4 + 1/15*a^3 - 2/5*a^2 + 8/45*a - 1/5, 1/45*a^23 - 1/45*a^21 - 1/45*a^18 - 1/45*a^17 + 4/45*a^14 + 4/45*a^13 - 17/45*a^12 - 16/45*a^11 - 19/45*a^10 + 22/45*a^9 - 19/45*a^8 - 1/15*a^7 - 4/45*a^6 - 2/45*a^5 - 2/15*a^4 - 1/3*a^3 - 19/45*a^2 + 11/45*a - 1/5, 1/6410230557145677772623232219765267189275111345*a^24 + 7360785361175327484718715718642008526662589/712247839682853085847025802196140798808345705*a^23 + 782836218200081935410775765025783710597424/2136743519048559257541077406588422396425037115*a^22 + 71884545002822396065798228732363808790445049/6410230557145677772623232219765267189275111345*a^21 + 2780071187889887511485021118099957336748839/712247839682853085847025802196140798808345705*a^20 + 97186147682394274845264325466712612526517963/6410230557145677772623232219765267189275111345*a^19 + 47784590165318810946081105627132164996212634/6410230557145677772623232219765267189275111345*a^18 + 10381584379727638871768826291646328139738766/1282046111429135554524646443953053437855022269*a^17 - 730338818741267269963406182107856515373244/2136743519048559257541077406588422396425037115*a^16 + 27562347659876851393337581517767076525284591/6410230557145677772623232219765267189275111345*a^15 + 604146050895973266306627703652553164938073797/6410230557145677772623232219765267189275111345*a^14 - 418431431163364197685130071449944910965457298/6410230557145677772623232219765267189275111345*a^13 + 1284318456546757387255575108994270211511301316/6410230557145677772623232219765267189275111345*a^12 + 912012221831236076432280232893463442315923141/2136743519048559257541077406588422396425037115*a^11 - 262718763478299468147501946804874486044668329/1282046111429135554524646443953053437855022269*a^10 - 292589367653372366202300354617853344133511693/712247839682853085847025802196140798808345705*a^9 - 25169790974193587378582482898386756550601961/427348703809711851508215481317684479285007423*a^8 - 73308387195405996789515491099257168208858582/1282046111429135554524646443953053437855022269*a^7 + 2045105234141798105554104446481780156054299954/6410230557145677772623232219765267189275111345*a^6 - 1382316808937367678451871283535931387879245472/6410230557145677772623232219765267189275111345*a^5 - 246736270692865510416020094066254735061272078/2136743519048559257541077406588422396425037115*a^4 + 660463537295917298247874940129642914297469768/6410230557145677772623232219765267189275111345*a^3 + 283061420476405994700344068736462810896816442/6410230557145677772623232219765267189275111345*a^2 - 303074438824538347391151089513725927726911049/6410230557145677772623232219765267189275111345*a + 12301890792907666918406294156340449418167290/142449567936570617169405160439228159761669141], 0, 1, [], 1, [ (21689335333681259169954740880237634679203448)/(493094658241975213278710170751174399175008565)*a^(24) - (13771875702459302018025844313564147029955192)/(493094658241975213278710170751174399175008565)*a^(23) + (324403794052960063441780594243550977410598301)/(493094658241975213278710170751174399175008565)*a^(22) - (1179733641381089178473442577598997462217121849)/(493094658241975213278710170751174399175008565)*a^(21) + (888832087325086655761948775985635475761235166)/(164364886080658404426236723583724799725002855)*a^(20) - (6321030778616889862621497625164088798568819861)/(493094658241975213278710170751174399175008565)*a^(19) + (4622655605007884311055692766117028388111198021)/(164364886080658404426236723583724799725002855)*a^(18) - (22903845249140897631706417806408094511013167768)/(493094658241975213278710170751174399175008565)*a^(17) + (2501531631978116311864769144234357081835262521)/(54788295360219468142078907861241599908334285)*a^(16) - (11374117026461777335883268609681712677317800862)/(98618931648395042655742034150234879835001713)*a^(15) - (3373180153091218992912421603812475746185247379)/(164364886080658404426236723583724799725002855)*a^(14) - (1254339216528867243960499570234290451218322166)/(493094658241975213278710170751174399175008565)*a^(13) - (100454129860012779194953827269017695011456746948)/(493094658241975213278710170751174399175008565)*a^(12) + (366405983248537116357511401968765345513741103514)/(493094658241975213278710170751174399175008565)*a^(11) - (459601496609436965727119278746034040330024721388)/(493094658241975213278710170751174399175008565)*a^(10) + (8910630916734537429467424666214425936080452487)/(10957659072043893628415781572248319981666857)*a^(9) - (399289898037695584645121611556595688944341461744)/(493094658241975213278710170751174399175008565)*a^(8) + (58413435859035208676698274467966066884921307387)/(164364886080658404426236723583724799725002855)*a^(7) + (83054140553318664452918177822499464361116083901)/(493094658241975213278710170751174399175008565)*a^(6) - (152937709328841285336976333539348088050228916891)/(493094658241975213278710170751174399175008565)*a^(5) + (7496658040375015138044242677534340045477682808)/(32872977216131680885247344716744959945000571)*a^(4) - (69882663232779602534489350175344920978814897211)/(493094658241975213278710170751174399175008565)*a^(3) + (7625612635687206416216392593397432762432759513)/(164364886080658404426236723583724799725002855)*a^(2) - (925120664290432769115800706327221708680764931)/(98618931648395042655742034150234879835001713)*a + (50096686352820520072001433019694288348556154)/(54788295360219468142078907861241599908334285) , -(186538626843543317447346463604535965322587866)/(6410230557145677772623232219765267189275111345)*a^(24) + (68574775205356253772658405421540340943881088)/(1282046111429135554524646443953053437855022269)*a^(23) - (2688292798206802172405592606559656545967190934)/(6410230557145677772623232219765267189275111345)*a^(22) + (13444778687148776012932757625659168767916639716)/(6410230557145677772623232219765267189275111345)*a^(21) - (10507764478167787857832593921191818740878021914)/(2136743519048559257541077406588422396425037115)*a^(20) + (14021873159965887417281187714345972686299341875)/(1282046111429135554524646443953053437855022269)*a^(19) - (159539103160947140587575629672241115954233900232)/(6410230557145677772623232219765267189275111345)*a^(18) + (279916110390044535737540517870759276006928334596)/(6410230557145677772623232219765267189275111345)*a^(17) - (99960991298448774133245372724425130009909202501)/(2136743519048559257541077406588422396425037115)*a^(16) + (519362853346877783880881032986802538321595138056)/(6410230557145677772623232219765267189275111345)*a^(15) - (67118553279820940366073972069384014681983423624)/(1282046111429135554524646443953053437855022269)*a^(14) - (656997509757513907726191125756828241897211091399)/(6410230557145677772623232219765267189275111345)*a^(13) + (167864057733832400299104128286130233238720225384)/(2136743519048559257541077406588422396425037115)*a^(12) - (862332841677862997745451366446406469450966317982)/(1282046111429135554524646443953053437855022269)*a^(11) + (2193265724325540760778182122269988886040290280314)/(2136743519048559257541077406588422396425037115)*a^(10) - (503886401162873092875281406745210073317759193454)/(712247839682853085847025802196140798808345705)*a^(9) + (3925222071601436825383996306871856870676671245029)/(6410230557145677772623232219765267189275111345)*a^(8) - (2771821831062319466022252858577092090009742380446)/(6410230557145677772623232219765267189275111345)*a^(7) - (45268994100605921988548402510900647178860900693)/(142449567936570617169405160439228159761669141)*a^(6) + (2734565188565602796937337779353141952836313501191)/(6410230557145677772623232219765267189275111345)*a^(5) - (398856473121816819576756733935672239865762958121)/(2136743519048559257541077406588422396425037115)*a^(4) + (539120070929144410657712623066471908194379196642)/(6410230557145677772623232219765267189275111345)*a^(3) - (209490477824660750451785255342645496409187801743)/(6410230557145677772623232219765267189275111345)*a^(2) - (159559832208910166119419328373502200719817173478)/(6410230557145677772623232219765267189275111345)*a - (1359173053891172208111797784866903764321617593)/(712247839682853085847025802196140798808345705) , (45563138082067248927560878122072969934713856)/(6410230557145677772623232219765267189275111345)*a^(24) + (46113554106873015344285638112325811797922419)/(712247839682853085847025802196140798808345705)*a^(23) + (42879131810949756856312647768272305351188944)/(427348703809711851508215481317684479285007423)*a^(22) + (4061637669030177754372400801899878253469289011)/(6410230557145677772623232219765267189275111345)*a^(21) - (1659871540817897649705366888680065342560720851)/(712247839682853085847025802196140798808345705)*a^(20) + (5771931557055737570203937073920413059743316271)/(1282046111429135554524646443953053437855022269)*a^(19) - (73290333492830483055110253035102146747578217144)/(6410230557145677772623232219765267189275111345)*a^(18) + (171430809363077450855090629302863914133982757244)/(6410230557145677772623232219765267189275111345)*a^(17) - (18768059886877450918380909235306154960431351439)/(427348703809711851508215481317684479285007423)*a^(16) + (118769771543500910688863681428466791013368357372)/(6410230557145677772623232219765267189275111345)*a^(15) - (989448160384703495190250884314515717835416856156)/(6410230557145677772623232219765267189275111345)*a^(14) - (158723729800619869994127639529957519662606497957)/(1282046111429135554524646443953053437855022269)*a^(13) - (489880134036789281813646765252378403760540168689)/(6410230557145677772623232219765267189275111345)*a^(12) - (441673318978559968111676055417612288347599923203)/(2136743519048559257541077406588422396425037115)*a^(11) + (5419225162920527338736255061819800986198101459719)/(6410230557145677772623232219765267189275111345)*a^(10) - (520779913310752038489201611012043731916247008833)/(712247839682853085847025802196140798808345705)*a^(9) + (349197833900435381607348378679291778657741566632)/(712247839682853085847025802196140798808345705)*a^(8) - (4443171961849366190935371824459811040656139240424)/(6410230557145677772623232219765267189275111345)*a^(7) + (227262783241644208400168962917755911188001580759)/(6410230557145677772623232219765267189275111345)*a^(6) + (2405546663791703088313140272629030768641046280767)/(6410230557145677772623232219765267189275111345)*a^(5) - (513509723407897201159335981994433337571152667636)/(2136743519048559257541077406588422396425037115)*a^(4) + (141877540707339164892845250915093019541122797814)/(1282046111429135554524646443953053437855022269)*a^(3) - (501814244130467794707446644619888987379047471536)/(6410230557145677772623232219765267189275111345)*a^(2) - (76007324743024102952704532604424728657772679536)/(6410230557145677772623232219765267189275111345)*a + (1678578080689218106998434556527325735215093364)/(712247839682853085847025802196140798808345705) , -(126347574891077126969444686623254549874853616)/(6410230557145677772623232219765267189275111345)*a^(24) - (80303385966360535093275647865024097419277646)/(6410230557145677772623232219765267189275111345)*a^(23) - (1910240980549529730730637499836111231228692363)/(6410230557145677772623232219765267189275111345)*a^(22) + (902352905633099968084068901923517144493969248)/(1282046111429135554524646443953053437855022269)*a^(21) - (2873002852758812938239441407051043081432217048)/(2136743519048559257541077406588422396425037115)*a^(20) + (23183657870986297643347884900730275593108461493)/(6410230557145677772623232219765267189275111345)*a^(19) - (47176190289361240780876661830594287423720471899)/(6410230557145677772623232219765267189275111345)*a^(18) + (62278498704911555567931043067652792448184022647)/(6410230557145677772623232219765267189275111345)*a^(17) - (1991208712316308177066692312321669729162571987)/(427348703809711851508215481317684479285007423)*a^(16) + (272234590427702722374212557147349447314770581809)/(6410230557145677772623232219765267189275111345)*a^(15) + (387726312528827430887112070623533730981427562306)/(6410230557145677772623232219765267189275111345)*a^(14) + (370939126447778180474767113164388396668099822519)/(6410230557145677772623232219765267189275111345)*a^(13) + (49653989860951549002003191177479470179654570204)/(427348703809711851508215481317684479285007423)*a^(12) - (268678625259863937629279663144648009611505961019)/(1282046111429135554524646443953053437855022269)*a^(11) + (186556624528765030353596126832392260834835082463)/(2136743519048559257541077406588422396425037115)*a^(10) - (268475841607998397740546727415919622510793676089)/(2136743519048559257541077406588422396425037115)*a^(9) + (1381720255875443622293845882787573786471924337728)/(6410230557145677772623232219765267189275111345)*a^(8) + (337111810474605171936660969143417902575746903381)/(6410230557145677772623232219765267189275111345)*a^(7) - (9014140490852006229527768915638253289908220427)/(427348703809711851508215481317684479285007423)*a^(6) - (142535540113487132842827678430088195515729006949)/(6410230557145677772623232219765267189275111345)*a^(5) - (61576884205742039517319939476174699913569587092)/(2136743519048559257541077406588422396425037115)*a^(4) + (294762722358619053671857965518203015784049254453)/(6410230557145677772623232219765267189275111345)*a^(3) - (313346007798248741076724990810247345701600168)/(1282046111429135554524646443953053437855022269)*a^(2) + (17242346948958977335848997390168753105069067371)/(1282046111429135554524646443953053437855022269)*a - (173650577443187554420598305931031754480216964)/(142449567936570617169405160439228159761669141) , (13819735474360123899884608500805451053826582)/(712247839682853085847025802196140798808345705)*a^(24) - (678091105946806395000284786086740270581351)/(427348703809711851508215481317684479285007423)*a^(23) + (1841164207774210299931255058997273570008437147)/(6410230557145677772623232219765267189275111345)*a^(22) - (5747549411139666903911040024700484478294458083)/(6410230557145677772623232219765267189275111345)*a^(21) + (3970123527025972261955646781961213973287678071)/(2136743519048559257541077406588422396425037115)*a^(20) - (3229484311560115339011655572397537887125651592)/(712247839682853085847025802196140798808345705)*a^(19) + (6913860794381406047816248907379666048991562101)/(712247839682853085847025802196140798808345705)*a^(18) - (93900997591938690928119042839588855104834389316)/(6410230557145677772623232219765267189275111345)*a^(17) + (7865922031334534037100740745881621374648943607)/(712247839682853085847025802196140798808345705)*a^(16) - (18505201299870898320701805806395087386674562617)/(427348703809711851508215481317684479285007423)*a^(15) - (14541762532798792139405447749489640788901976671)/(427348703809711851508215481317684479285007423)*a^(14) - (98596925045217493136839598176281252695103077756)/(6410230557145677772623232219765267189275111345)*a^(13) - (66868384074560374862767138108343315747329146654)/(712247839682853085847025802196140798808345705)*a^(12) + (1783934703871297846771215433493056524720717901279)/(6410230557145677772623232219765267189275111345)*a^(11) - (1576004831785580515143243823943309742288959648456)/(6410230557145677772623232219765267189275111345)*a^(10) + (1243305884167669424381310817736309228704701122857)/(6410230557145677772623232219765267189275111345)*a^(9) - (32286350723815845161678847370969386022600861503)/(142449567936570617169405160439228159761669141)*a^(8) + (74562737019843253292829920327298821177376388427)/(6410230557145677772623232219765267189275111345)*a^(7) + (130400586745207626958588258755937288073468009930)/(1282046111429135554524646443953053437855022269)*a^(6) - (96844663272000511790074607540293892897036098909)/(1282046111429135554524646443953053437855022269)*a^(5) + (95476790913108322982945960879228690537307662566)/(2136743519048559257541077406588422396425037115)*a^(4) - (19908725154420462791900541218101249886199524217)/(712247839682853085847025802196140798808345705)*a^(3) - (2332292967857692307916586296911596305966703948)/(712247839682853085847025802196140798808345705)*a^(2) - (6787130904311239273851600019232156325207753229)/(6410230557145677772623232219765267189275111345)*a - (386244272073894562164399865568642172287539323)/(712247839682853085847025802196140798808345705) , (297378649628983624100495778085321613380)/(4778743598798034726740419351176764056549)*a^(24) - (4115236087269036720625430357515181147788)/(215043461945911562703318870802954382544705)*a^(23) + (21953019560276263385910340658935573258736)/(23893717993990173633702096755883820282745)*a^(22) - (662786396079545094485782662617500079041919)/(215043461945911562703318870802954382544705)*a^(21) + (156633576056976516484040241223046688555399)/(23893717993990173633702096755883820282745)*a^(20) - (225157563737556042088924863952524638958145)/(14336230796394104180221258053530292169647)*a^(19) + (7315040607383625270294495973590929180266042)/(215043461945911562703318870802954382544705)*a^(18) - (11411007616403933141512452749558540902682306)/(215043461945911562703318870802954382544705)*a^(17) + (1050032354302995693283336091222203466553249)/(23893717993990173633702096755883820282745)*a^(16) - (3429684666859788564493973043313709917018624)/(23893717993990173633702096755883820282745)*a^(15) - (3475144352411516159881256375159265261208145)/(43008692389182312540663774160590876508941)*a^(14) - (3414919430216799213634543577738878965274648)/(215043461945911562703318870802954382544705)*a^(13) - (61677733708580506185136540058611379832765136)/(215043461945911562703318870802954382544705)*a^(12) + (206858318435026350642180115158596316799998586)/(215043461945911562703318870802954382544705)*a^(11) - (209288027685452427857117969632858757367281168)/(215043461945911562703318870802954382544705)*a^(10) + (32116369568959069820787076990783950027142720)/(43008692389182312540663774160590876508941)*a^(9) - (171939087682473756974706433753588433603178578)/(215043461945911562703318870802954382544705)*a^(8) + (11090888152572356340960189812914183926489323)/(71681153981970520901106290267651460848235)*a^(7) + (81359308819239962898875489519180870692130581)/(215043461945911562703318870802954382544705)*a^(6) - (14774314031725082597416703633703374303509445)/(43008692389182312540663774160590876508941)*a^(5) + (2686918497310256953847272399753378984148780)/(14336230796394104180221258053530292169647)*a^(4) - (7289461820101051183803476768049021536157551)/(71681153981970520901106290267651460848235)*a^(3) + (1814662245274956355161169972873833702420124)/(215043461945911562703318870802954382544705)*a^(2) + (1243867138349541668880462475075991639644336)/(215043461945911562703318870802954382544705)*a - (7854049233481566152991632401532744326428)/(23893717993990173633702096755883820282745) , -(3021269410165504679591044580594156813502206)/(98618931648395042655742034150234879835001713)*a^(24) - (13666152944274996189996850335710163838082447)/(493094658241975213278710170751174399175008565)*a^(23) - (222039751869177949634035731811241368412788253)/(493094658241975213278710170751174399175008565)*a^(22) + (478980034074824384718026096284423442115449564)/(493094658241975213278710170751174399175008565)*a^(21) - (50206378785907964028536566010352352974860566)/(32872977216131680885247344716744959945000571)*a^(20) + (2108260810624024102827316418800992559555180594)/(493094658241975213278710170751174399175008565)*a^(19) - (1372089930474753768511511585887062387579422074)/(164364886080658404426236723583724799725002855)*a^(18) + (4015224839635869851119889127028591213546935101)/(493094658241975213278710170751174399175008565)*a^(17) + (165401062161625132354521364663893295959424307)/(32872977216131680885247344716744959945000571)*a^(16) + (25731903416961362118432840091602542352346055873)/(493094658241975213278710170751174399175008565)*a^(15) + (19601609436719491811562575078504314666946445032)/(164364886080658404426236723583724799725002855)*a^(14) + (845780001925558182182967053174058922321496671)/(10957659072043893628415781572248319981666857)*a^(13) + (81192469488446486759633583080712508670701979726)/(493094658241975213278710170751174399175008565)*a^(12) - (49008035767991865971107035924263752634876111753)/(164364886080658404426236723583724799725002855)*a^(11) - (4609804512928127907782859014239950523274624308)/(98618931648395042655742034150234879835001713)*a^(10) + (37641735185958051755569758418479340189733518181)/(493094658241975213278710170751174399175008565)*a^(9) + (46521063187779716432144221827192062299286359694)/(493094658241975213278710170751174399175008565)*a^(8) + (147325133563962987427601412561182000555634391687)/(493094658241975213278710170751174399175008565)*a^(7) - (85536715192699991524751489056313854155549114473)/(493094658241975213278710170751174399175008565)*a^(6) - (34118240997265584141297117497635924335433496714)/(493094658241975213278710170751174399175008565)*a^(5) + (2808371447975540425526620891014559477812142786)/(54788295360219468142078907861241599908334285)*a^(4) - (332522605287702334575911914288613301697714378)/(98618931648395042655742034150234879835001713)*a^(3) + (5868726709725216320707638161932125667529714513)/(164364886080658404426236723583724799725002855)*a^(2) + (1522586378996974598324822863522696161460890158)/(493094658241975213278710170751174399175008565)*a - (44219367568889451413711306787232325290444831)/(54788295360219468142078907861241599908334285) , (26307589241913655633926599383483680012473986)/(712247839682853085847025802196140798808345705)*a^(24) - (52567858457644279230052471900878661680376222)/(6410230557145677772623232219765267189275111345)*a^(23) + (3510680932862343661734955471852710034450128971)/(6410230557145677772623232219765267189275111345)*a^(22) - (2286387297927109500362099879995918036857735014)/(1282046111429135554524646443953053437855022269)*a^(21) + (8087498163855134727362400074815278938064003587)/(2136743519048559257541077406588422396425037115)*a^(20) - (19544312739037794809234089979369411264233354289)/(2136743519048559257541077406588422396425037115)*a^(19) + (126600263564061255558984726198348572216060284279)/(6410230557145677772623232219765267189275111345)*a^(18) - (196372542774433337742437425993292483347798897693)/(6410230557145677772623232219765267189275111345)*a^(17) + (53944809675014688808791603708502357771522722623)/(2136743519048559257541077406588422396425037115)*a^(16) - (183637109844700022360425640730587248911241816459)/(2136743519048559257541077406588422396425037115)*a^(15) - (336421095328485197477841426370042248374654469514)/(6410230557145677772623232219765267189275111345)*a^(14) - (28129548416952685127580181784827915698813345910)/(1282046111429135554524646443953053437855022269)*a^(13) - (1125289611679645548371329227365533324237352510986)/(6410230557145677772623232219765267189275111345)*a^(12) + (235594310334952619866956286871691610546391361487)/(427348703809711851508215481317684479285007423)*a^(11) - (1172797284437752848390188478230530481310225225799)/(2136743519048559257541077406588422396425037115)*a^(10) + (2815561269040128374085288945123896612387309748628)/(6410230557145677772623232219765267189275111345)*a^(9) - (3164117864977716517947832839053240879785227719774)/(6410230557145677772623232219765267189275111345)*a^(8) + (674646443383806039955634460216470402519245898842)/(6410230557145677772623232219765267189275111345)*a^(7) + (384609076227565962915347039226230546065791440291)/(2136743519048559257541077406588422396425037115)*a^(6) - (1066075951141679349996225733595298030838370735219)/(6410230557145677772623232219765267189275111345)*a^(5) + (215061476324650123841705916003855384008948393813)/(2136743519048559257541077406588422396425037115)*a^(4) - (151860982543636980788788745309078516197940084681)/(2136743519048559257541077406588422396425037115)*a^(3) + (77836270813113218430602015644072215113242277416)/(6410230557145677772623232219765267189275111345)*a^(2) - (28272807038429381311473322749484207666794460822)/(6410230557145677772623232219765267189275111345)*a + (684286595308385425856578561763951412394634408)/(712247839682853085847025802196140798808345705) , (2744455654736100666701870167906151090363219)/(1282046111429135554524646443953053437855022269)*a^(24) - (57769445955617055356364587026889536827559274)/(2136743519048559257541077406588422396425037115)*a^(23) + (83913407576442066683716496742684229058955788)/(6410230557145677772623232219765267189275111345)*a^(22) - (352319731942962707136726445119011388493166376)/(712247839682853085847025802196140798808345705)*a^(21) + (2435160463393215447110112537976211364495300352)/(2136743519048559257541077406588422396425037115)*a^(20) - (2705237315702904692332577730836840543761592921)/(1282046111429135554524646443953053437855022269)*a^(19) + (34391354523776989531991595719687676145440775058)/(6410230557145677772623232219765267189275111345)*a^(18) - (21908065087488023704965785847564426145563409229)/(2136743519048559257541077406588422396425037115)*a^(17) + (1596302944257564316537594177357008437490307523)/(142449567936570617169405160439228159761669141)*a^(16) - (29613002286348263674800898635042724567854314396)/(6410230557145677772623232219765267189275111345)*a^(15) + (288510665496033609300850042857471233541209076769)/(6410230557145677772623232219765267189275111345)*a^(14) + (581164718981307163928189196635749011043201865131)/(6410230557145677772623232219765267189275111345)*a^(13) + (61543206920801389998286107957577376545209707671)/(1282046111429135554524646443953053437855022269)*a^(12) + (223382071410487316919647212066954923979504561015)/(1282046111429135554524646443953053437855022269)*a^(11) - (1998700875781346390561276657105236493704953260618)/(6410230557145677772623232219765267189275111345)*a^(10) + (427452945526644089962368753846817794750090271802)/(6410230557145677772623232219765267189275111345)*a^(9) - (62333843900152870614663572371606155893800802096)/(2136743519048559257541077406588422396425037115)*a^(8) + (830390851805148788702912797032252411162604373444)/(6410230557145677772623232219765267189275111345)*a^(7) + (1359917120275887595562782486064987472882450783931)/(6410230557145677772623232219765267189275111345)*a^(6) - (22293170663742985906725985959196668891314266581)/(142449567936570617169405160439228159761669141)*a^(5) - (11344706441957174407232460836204037724989897644)/(712247839682853085847025802196140798808345705)*a^(4) + (135997035596158821534780593370485551485564160901)/(6410230557145677772623232219765267189275111345)*a^(3) + (4487220467502610213538536717734581202947285251)/(1282046111429135554524646443953053437855022269)*a^(2) + (16824163658453152302775882276694758448896519657)/(712247839682853085847025802196140798808345705)*a + (2992572428423027318987731371394004562324390742)/(712247839682853085847025802196140798808345705) , -(7603690126611613955264520823419440940664648)/(2136743519048559257541077406588422396425037115)*a^(24) - (2219533396461703850263164707739070952505614)/(427348703809711851508215481317684479285007423)*a^(23) - (7063800242804743876570463956912633730012848)/(142449567936570617169405160439228159761669141)*a^(22) + (36450325985042187995076750690063020988980911)/(427348703809711851508215481317684479285007423)*a^(21) - (103303127043811532486224330976792720979332273)/(2136743519048559257541077406588422396425037115)*a^(20) + (465673348626030684960442849740119286951411337)/(2136743519048559257541077406588422396425037115)*a^(19) - (149161768097927753537492656915553698727144816)/(427348703809711851508215481317684479285007423)*a^(18) - (326606898614195989813909625146742505099809814)/(712247839682853085847025802196140798808345705)*a^(17) + (6216284241598238208703319536220284069400328406)/(2136743519048559257541077406588422396425037115)*a^(16) + (8444347131639708339878880785634895817060241454)/(2136743519048559257541077406588422396425037115)*a^(15) + (7810799494749341873911804585170629082754532060)/(427348703809711851508215481317684479285007423)*a^(14) + (5591892823997986364117639400441128889045206122)/(712247839682853085847025802196140798808345705)*a^(13) + (5058144270504992150950581864915356732992811263)/(427348703809711851508215481317684479285007423)*a^(12) - (65394952749206270108454955251620317291998706381)/(2136743519048559257541077406588422396425037115)*a^(11) - (34698974295000003867892932551535590458223846843)/(712247839682853085847025802196140798808345705)*a^(10) + (43013730771472483522434305654271901348887061237)/(712247839682853085847025802196140798808345705)*a^(9) - (10964817601753171401548334112804978092255972504)/(712247839682853085847025802196140798808345705)*a^(8) + (42714016546831769900769631674541215293431302402)/(712247839682853085847025802196140798808345705)*a^(7) - (61605595469898137215339231539448151245200417376)/(2136743519048559257541077406588422396425037115)*a^(6) - (82960328958663357334344907208938188890739707582)/(2136743519048559257541077406588422396425037115)*a^(5) + (4404382838632536329324537550398065196439472805)/(142449567936570617169405160439228159761669141)*a^(4) - (7337387424826711099364306667781100868714675728)/(712247839682853085847025802196140798808345705)*a^(3) + (14151412873403390297243428674652644923084277001)/(2136743519048559257541077406588422396425037115)*a^(2) - (284895811492770255504242221844457457346725083)/(712247839682853085847025802196140798808345705)*a - (106037722685048356742392768338828624413348311)/(142449567936570617169405160439228159761669141) , -(12161771209546430841848764689843010226929816)/(427348703809711851508215481317684479285007423)*a^(24) - (22538900490802079466819849720341517531592337)/(6410230557145677772623232219765267189275111345)*a^(23) - (913984326048500107663453225918139463429397337)/(2136743519048559257541077406588422396425037115)*a^(22) + (7891922709673732824642412381197478779102935702)/(6410230557145677772623232219765267189275111345)*a^(21) - (1821881438780043940914987318102350749900349106)/(712247839682853085847025802196140798808345705)*a^(20) + (13763745897473831113499873593438530875946790961)/(2136743519048559257541077406588422396425037115)*a^(19) - (17467369547556455812263535120991130748636838846)/(1282046111429135554524646443953053437855022269)*a^(18) + (130541904549958472045871620051979768874372158686)/(6410230557145677772623232219765267189275111345)*a^(17) - (6706317540816947154220601339194891604036954236)/(427348703809711851508215481317684479285007423)*a^(16) + (141764042659645280708144724799959255878865558721)/(2136743519048559257541077406588422396425037115)*a^(15) + (369661861194598084521133418282130210448633842481)/(6410230557145677772623232219765267189275111345)*a^(14) + (63006218283469971750360170889784831140840940637)/(1282046111429135554524646443953053437855022269)*a^(13) + (964313376887155908831429067051679926977564016684)/(6410230557145677772623232219765267189275111345)*a^(12) - (2428057299945672046735796577171759189029265415498)/(6410230557145677772623232219765267189275111345)*a^(11) + (1976773936839282899593070730931162065268879357982)/(6410230557145677772623232219765267189275111345)*a^(10) - (2060539628487276671346375134723453799737183511791)/(6410230557145677772623232219765267189275111345)*a^(9) + (2479341561791809430509860973746641574543600159773)/(6410230557145677772623232219765267189275111345)*a^(8) - (30349352041505366608703160419386771245603958983)/(712247839682853085847025802196140798808345705)*a^(7) - (387065692098117680750173495183560197316079110922)/(6410230557145677772623232219765267189275111345)*a^(6) + (378984809849646698817538721781202220371581799858)/(6410230557145677772623232219765267189275111345)*a^(5) - (60305765971075402625073110768708653677248406822)/(712247839682853085847025802196140798808345705)*a^(4) + (147539920722455418450434309840603068560351448783)/(2136743519048559257541077406588422396425037115)*a^(3) - (89061457238243704777174405200746039892293373547)/(6410230557145677772623232219765267189275111345)*a^(2) + (100979338108786517359070796907423294993102407488)/(6410230557145677772623232219765267189275111345)*a - (1016631161720641485397780328050001822455715436)/(712247839682853085847025802196140798808345705) , -(64848460262386233663193670461626551777102224)/(6410230557145677772623232219765267189275111345)*a^(24) - (52707034939341025325167318455265129378233061)/(6410230557145677772623232219765267189275111345)*a^(23) - (932763819931858215490665145214414162478187286)/(6410230557145677772623232219765267189275111345)*a^(22) + (426580885012657624514188309676368458956264777)/(1282046111429135554524646443953053437855022269)*a^(21) - (355718698818260952873135071967844123798074908)/(712247839682853085847025802196140798808345705)*a^(20) + (8508941355729408927603379186323667585844937739)/(6410230557145677772623232219765267189275111345)*a^(19) - (16661028181975434150001429282040673535750876063)/(6410230557145677772623232219765267189275111345)*a^(18) + (14516603178438353349074528470866890925381599779)/(6410230557145677772623232219765267189275111345)*a^(17) + (1243470328682183400331949725457910365528955265)/(427348703809711851508215481317684479285007423)*a^(16) + (93751128116251519479889710999280981861737754622)/(6410230557145677772623232219765267189275111345)*a^(15) + (51457868546133679391277129338544579105435416624)/(1282046111429135554524646443953053437855022269)*a^(14) + (20426547290811491902209530961627037140742457786)/(1282046111429135554524646443953053437855022269)*a^(13) + (109631048077200442915817305912690969540169950642)/(2136743519048559257541077406588422396425037115)*a^(12) - (653842163094886345218348400266374524847781192001)/(6410230557145677772623232219765267189275111345)*a^(11) - (31576960292956569305400121911426638180130828256)/(2136743519048559257541077406588422396425037115)*a^(10) + (49026409795270502675202309278387140363458292646)/(712247839682853085847025802196140798808345705)*a^(9) - (117306224165359606956750927800959966920731507102)/(6410230557145677772623232219765267189275111345)*a^(8) + (174347725220312432894954866535193913001564930297)/(1282046111429135554524646443953053437855022269)*a^(7) - (75211802181022027136181250790434721347771724767)/(712247839682853085847025802196140798808345705)*a^(6) + (14646762814819004442663163765219815207888248258)/(6410230557145677772623232219765267189275111345)*a^(5) + (60687366537096621816716213933796209087142537152)/(2136743519048559257541077406588422396425037115)*a^(4) - (96600147305999666940247713461262904667550158354)/(6410230557145677772623232219765267189275111345)*a^(3) + (113573483906209076379542024697781673600511042716)/(6410230557145677772623232219765267189275111345)*a^(2) - (18969795825218014064749757734210576951390557911)/(6410230557145677772623232219765267189275111345)*a + (139970599715936271673341904235082551312150708)/(142449567936570617169405160439228159761669141) , -(86010478731689619071646029066839164604398719)/(6410230557145677772623232219765267189275111345)*a^(24) + (203046709204735461889419632563185061853199713)/(6410230557145677772623232219765267189275111345)*a^(23) - (84809239768951134084882944917377014225858326)/(427348703809711851508215481317684479285007423)*a^(22) + (456957991073527200524533426945069517146512629)/(427348703809711851508215481317684479285007423)*a^(21) - (5680437487703149351766594426656110868935933683)/(2136743519048559257541077406588422396425037115)*a^(20) + (37782227884426655210705225974170208833209128109)/(6410230557145677772623232219765267189275111345)*a^(19) - (5752200338170198462002513502940745834919951213)/(427348703809711851508215481317684479285007423)*a^(18) + (52403900453923387279440811490079473669867075227)/(2136743519048559257541077406588422396425037115)*a^(17) - (61334288323940316032599789118532051425225835271)/(2136743519048559257541077406588422396425037115)*a^(16) + (281239921391511922975123470055269952569739563871)/(6410230557145677772623232219765267189275111345)*a^(15) - (29270439520343456026285852310196691445880880961)/(712247839682853085847025802196140798808345705)*a^(14) - (321854031451481431709204242258556240947408765817)/(6410230557145677772623232219765267189275111345)*a^(13) + (54493001592544287254232081056519569149801847964)/(1282046111429135554524646443953053437855022269)*a^(12) - (2154038177792418718871565434699995929065846263616)/(6410230557145677772623232219765267189275111345)*a^(11) + (425359973706726059741005821098723796755585595042)/(712247839682853085847025802196140798808345705)*a^(10) - (3010611347054527539016930301478470306240279198173)/(6410230557145677772623232219765267189275111345)*a^(9) + (2457691858865548681021438126097368851365293980457)/(6410230557145677772623232219765267189275111345)*a^(8) - (1963191628860041235206852714296790282209591037048)/(6410230557145677772623232219765267189275111345)*a^(7) - (215677899244013172346884180522586610617395871468)/(2136743519048559257541077406588422396425037115)*a^(6) + (521142047663771943753981414235482165270604005799)/(2136743519048559257541077406588422396425037115)*a^(5) - (277288462976970391111418840709018320710733452741)/(2136743519048559257541077406588422396425037115)*a^(4) + (364673782211663461858306610366876671120502971382)/(6410230557145677772623232219765267189275111345)*a^(3) - (59773441443694634560284954360364733104384279691)/(2136743519048559257541077406588422396425037115)*a^(2) - (4892762691425499168256089175172550927717143758)/(712247839682853085847025802196140798808345705)*a + (579588847879955090150637480650780938029948977)/(712247839682853085847025802196140798808345705) , -(74995910323684857285799419727722916274407686)/(712247839682853085847025802196140798808345705)*a^(24) + (7475440858624264133516567216252408449467869)/(1282046111429135554524646443953053437855022269)*a^(23) - (3337573978212362131652525046538106761653331891)/(2136743519048559257541077406588422396425037115)*a^(22) + (30898216937138292190278615006474196182603701603)/(6410230557145677772623232219765267189275111345)*a^(21) - (4277687572297011908685029612164125288809099357)/(427348703809711851508215481317684479285007423)*a^(20) + (3480258988370580711227736663299964726036175828)/(142449567936570617169405160439228159761669141)*a^(19) - (66919163580425776286642346279996970997755291331)/(1282046111429135554524646443953053437855022269)*a^(18) + (503833945200638461950554810933242209832985169266)/(6410230557145677772623232219765267189275111345)*a^(17) - (41812053205585408155315199547826416480184201867)/(712247839682853085847025802196140798808345705)*a^(16) + (500549642704137969776232816112054699222040091163)/(2136743519048559257541077406588422396425037115)*a^(15) + (1226450941810791434421223274665123574521885566709)/(6410230557145677772623232219765267189275111345)*a^(14) + (607901726095212680514748085128151437358920411093)/(6410230557145677772623232219765267189275111345)*a^(13) + (3387377919942788988688891915767313269137478282436)/(6410230557145677772623232219765267189275111345)*a^(12) - (1897305841923237101191105206053847561503881742951)/(1282046111429135554524646443953053437855022269)*a^(11) + (1700063074189142696560807119855850781406179448055)/(1282046111429135554524646443953053437855022269)*a^(10) - (6666690525348518769208392265450490134307578143542)/(6410230557145677772623232219765267189275111345)*a^(9) + (7660711949475863517915932804131343355059172266099)/(6410230557145677772623232219765267189275111345)*a^(8) - (32628254430156851246966695538209535074029356282)/(712247839682853085847025802196140798808345705)*a^(7) - (3569440541886738044274846547414668109978208971723)/(6410230557145677772623232219765267189275111345)*a^(6) + (2833924816002286038772386287755881965938875020773)/(6410230557145677772623232219765267189275111345)*a^(5) - (534010729653667751506660770427059244409119076701)/(2136743519048559257541077406588422396425037115)*a^(4) + (108452378104147315566352736257582687015473226907)/(712247839682853085847025802196140798808345705)*a^(3) + (12504222057569058366599590841514725771706739019)/(6410230557145677772623232219765267189275111345)*a^(2) + (60461745678845302325843310914868890044825768193)/(6410230557145677772623232219765267189275111345)*a + (3421401618327759068343833964320703172576201277)/(712247839682853085847025802196140798808345705) ], 6619342681.783736, [[x^5 - 2, 1]]]