/* 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^20 - 2*x^19 - 16*x^18 + 63*x^17 + 66*x^16 - 591*x^15 + 341*x^14 + 1985*x^13 - 5499*x^12 - 2279*x^11 + 18053*x^10 - 21969*x^9 + 18198*x^8 + 143040*x^7 + 68633*x^6 + 205064*x^5 + 552136*x^4 + 56889*x^3 + 560763*x^2 + 160304*x + 137729, 20, 53, [0, 10], 7491365733177814925531216830515137, [11, 43], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, a^11, a^12, a^13, a^14, a^15, a^16, 1/13*a^17 + 6/13*a^15 + 5/13*a^14 - 4/13*a^12 - 4/13*a^11 + 4/13*a^10 + 5/13*a^9 - 3/13*a^8 + 2/13*a^7 + 5/13*a^6 + 2/13*a^5 + 1/13*a^4 + 1/13*a^3 + 3/13*a^2 - 3/13*a + 4/13, 1/13*a^18 + 6/13*a^16 + 5/13*a^15 - 4/13*a^13 - 4/13*a^12 + 4/13*a^11 + 5/13*a^10 - 3/13*a^9 + 2/13*a^8 + 5/13*a^7 + 2/13*a^6 + 1/13*a^5 + 1/13*a^4 + 3/13*a^3 - 3/13*a^2 + 4/13*a, 1/25800863139588756049811074730036079353102023438727201291*a^19 + 175138959462944874148694594497281783093200763789770467/25800863139588756049811074730036079353102023438727201291*a^18 - 603524371600796603426178535283772516230271533442209605/25800863139588756049811074730036079353102023438727201291*a^17 + 5733291030088879020391895466088670402137626084672484762/25800863139588756049811074730036079353102023438727201291*a^16 + 12584063593405485435895388550342294257877249765069397664/25800863139588756049811074730036079353102023438727201291*a^15 - 12504498792519519634331836560995904994991622915210444541/25800863139588756049811074730036079353102023438727201291*a^14 + 1848677130580930647478370971408436087193672274768175631/25800863139588756049811074730036079353102023438727201291*a^13 - 4214215433082435725636518161030492512445298370399153110/25800863139588756049811074730036079353102023438727201291*a^12 - 7292461306419304872352104959336309150330162676436402108/25800863139588756049811074730036079353102023438727201291*a^11 - 65123363673746227083277288804883227522701088802167484/25800863139588756049811074730036079353102023438727201291*a^10 + 9669717686602109511494870248201279508199396215874756361/25800863139588756049811074730036079353102023438727201291*a^9 + 6212783246195239004165496781981084148901683025845853710/25800863139588756049811074730036079353102023438727201291*a^8 - 505367073090578147436198573603363156607728719749160311/1984681779968365849985467286925852257930924879902092407*a^7 - 9791713717488684350675740554714746578702882143267597332/25800863139588756049811074730036079353102023438727201291*a^6 + 6202849577878281906144409122715731995852899047251363758/25800863139588756049811074730036079353102023438727201291*a^5 - 230786383114756704004728909817068521515975736753012409/25800863139588756049811074730036079353102023438727201291*a^4 + 853957165227189028225850035905642303454247446598392842/1984681779968365849985467286925852257930924879902092407*a^3 + 2730477682387487446545367322057508096884731628569717195/25800863139588756049811074730036079353102023438727201291*a^2 + 6962717736108630011722670398845305170558615755263113322/25800863139588756049811074730036079353102023438727201291*a - 7110568805764463280012788564866782780925846841876258421/25800863139588756049811074730036079353102023438727201291], 0, 1, [], 1, [ (409887635243962553320088057677131197227403401055002)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (1347300468337177592545887426393321868021043080629969)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (6204009645285622091983074560388953877124973051006704)/(25800863139588756049811074730036079353102023438727201291)*a^(17) + (2754209072916074393699206415259325347913092979800217)/(1984681779968365849985467286925852257930924879902092407)*a^(16) + (5873209656089602277956984000709688565885793062246739)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (324823197473098306222217526786188790968500180624466810)/(25800863139588756049811074730036079353102023438727201291)*a^(14) + (392703761943687260647738834931523892568340177899468706)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (1116042835589773585846739712647451344740147941341934179)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (3465259223613188943859389449801577830516815025872346058)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (5044178954183105563865999134281448318337375712508526)/(1984681779968365849985467286925852257930924879902092407)*a^(10) + (12428399055009479131126380007096816841155329819027516464)/(25800863139588756049811074730036079353102023438727201291)*a^(9) - (14365662253130336626104665909377748885299048632611879796)/(25800863139588756049811074730036079353102023438727201291)*a^(8) + (1802435397162141307934681424826303041209938154828857917)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (56801646587645056873720589473884587837990036705949828241)/(25800863139588756049811074730036079353102023438727201291)*a^(6) - (39707875905987395321642273378705254952288248968336182060)/(25800863139588756049811074730036079353102023438727201291)*a^(5) - (50049027352727628524773613003248028110072759527491035014)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (74536139483573395533645615377499297044186583415112780758)/(25800863139588756049811074730036079353102023438727201291)*a^(3) - (227039657822669736718074298240794002833722479088243983854)/(25800863139588756049811074730036079353102023438727201291)*a^(2) + (18436848204613176020912584026213843786340349811854779893)/(25800863139588756049811074730036079353102023438727201291)*a - (85881908974927149585662339811499833062220245355864455530)/(25800863139588756049811074730036079353102023438727201291) , (184853010434857886480693139599616376329665190183807)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (576029830247823351909061739998028360546486423588949)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (2967909342624046116729857142285649899873237925230310)/(25800863139588756049811074730036079353102023438727201291)*a^(17) + (15819165761789066887588801373656278759606428973603031)/(25800863139588756049811074730036079353102023438727201291)*a^(16) + (6363621484762240571320711317187472324375637132845941)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (150099449986573999161012767400605446976519348056850337)/(25800863139588756049811074730036079353102023438727201291)*a^(14) + (148863382674106179867783249706778708936580979729549449)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (567396311333481196006581741367162472704121570480289905)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (1491967911141281244872436397891327988149624406111892072)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (409147337313496856890192889817861385999920384462167304)/(25800863139588756049811074730036079353102023438727201291)*a^(10) + (5843045243290898068878366090609249165924549399063623329)/(25800863139588756049811074730036079353102023438727201291)*a^(9) - (5204846100883544709413134872925467886247167595395055304)/(25800863139588756049811074730036079353102023438727201291)*a^(8) - (1192969268728420937329060300731953327441039220305640146)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (25924504856729275469903118501882767370553667223554960406)/(25800863139588756049811074730036079353102023438727201291)*a^(6) - (14442945435360891480067665303431957377145978548339515512)/(25800863139588756049811074730036079353102023438727201291)*a^(5) - (31804479534955638721298737836386345777351982779579755028)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (20204030885001519507786240418381597738277976331420956587)/(25800863139588756049811074730036079353102023438727201291)*a^(3) - (104830672685919567178967158409328712872829798990598190935)/(25800863139588756049811074730036079353102023438727201291)*a^(2) - (42449187854295051256373418980997116170137977042967357529)/(25800863139588756049811074730036079353102023438727201291)*a - (34794305053411604588034084429945328001263449216367379439)/(25800863139588756049811074730036079353102023438727201291) , (186697606782755488326967795506437604939623244371743)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (780372736392946997414280515208559109737083041230120)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (2547010177957605638537101543376462386908765808397513)/(25800863139588756049811074730036079353102023438727201291)*a^(17) + (19289096550304950486686922809470800938727271781707175)/(25800863139588756049811074730036079353102023438727201291)*a^(16) - (7091811061354743053499768234264968334915229336872787)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (166592907781875928784538064602245514328775684665767222)/(25800863139588756049811074730036079353102023438727201291)*a^(14) + (21739652425761299857645158054626121220351117862957283)/(1984681779968365849985467286925852257930924879902092407)*a^(13) + (522248423357993161181744049015557075359330618753455999)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (2046682342974673485463058583443359545569761828673865986)/(25800863139588756049811074730036079353102023438727201291)*a^(11) + (620269615273919721291577185691054333205836307756765084)/(25800863139588756049811074730036079353102023438727201291)*a^(10) + (7031987876435865769051634364413322989152217967040916753)/(25800863139588756049811074730036079353102023438727201291)*a^(9) - (9702716660277622102576668284411624954665196141763138947)/(25800863139588756049811074730036079353102023438727201291)*a^(8) + (662540135396770966884368396168535797286678265277386093)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (26996966508518739707677673069816480626015666452039857888)/(25800863139588756049811074730036079353102023438727201291)*a^(6) - (38541382269770274897334420356255802771334163728775752639)/(25800863139588756049811074730036079353102023438727201291)*a^(5) - (45457101320979822570338010650264210617703634967578417966)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (17994919476794043390951299829896971436656838680043311389)/(25800863139588756049811074730036079353102023438727201291)*a^(3) - (160836802952842986623810628385482583276039670341413947695)/(25800863139588756049811074730036079353102023438727201291)*a^(2) - (8191639885631441865649050257102580378354910062305017494)/(25800863139588756049811074730036079353102023438727201291)*a - (92506662246417346145939692483773414874751689454336219273)/(25800863139588756049811074730036079353102023438727201291) , (110907557397799701538556021625353874639246690690176)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (22944603174143440167610472780532683004526519799814)/(1984681779968365849985467286925852257930924879902092407)*a^(18) - (1721086450252092544339422500485744006285868572148602)/(25800863139588756049811074730036079353102023438727201291)*a^(17) + (8487614990330622898486596767811417253470377041519918)/(25800863139588756049811074730036079353102023438727201291)*a^(16) + (3924196290807301600170988724187620925660868793172278)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (78393111453408087143411924784484844916280143517680902)/(25800863139588756049811074730036079353102023438727201291)*a^(14) + (81970328936327745095078520659888121127248504054475827)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (262371078519275366640476156807677759502446607458129283)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (856397665551156627671634867253945256257069303501491356)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (38331842902986299127088566870424778737674119823060821)/(25800863139588756049811074730036079353102023438727201291)*a^(10) + (231665475110547975878071282012167861023611179291419913)/(1984681779968365849985467286925852257930924879902092407)*a^(9) - (3812626100359802826616760122323188012949995851322665809)/(25800863139588756049811074730036079353102023438727201291)*a^(8) + (912141203687741604542316533263084099919045713259412727)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (17831110201869854570240895416654762771310853527463151450)/(25800863139588756049811074730036079353102023438727201291)*a^(6) - (1693453613470029848026972236839514554079898214919693925)/(25800863139588756049811074730036079353102023438727201291)*a^(5) + (138682698237290648301821251307797324903010070001696666)/(1984681779968365849985467286925852257930924879902092407)*a^(4) + (37738350027694265228544309063278202740135505527186591918)/(25800863139588756049811074730036079353102023438727201291)*a^(3) - (39297459435189024695442419264624410771957081483957619073)/(25800863139588756049811074730036079353102023438727201291)*a^(2) + (19269615747779756907749517350008672172941870425011208770)/(25800863139588756049811074730036079353102023438727201291)*a - (7472173810823206849988496248764720608289813536342590577)/(25800863139588756049811074730036079353102023438727201291) , (1561910316349924647013213302438086038977451784248558)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (12654629673025639930859925248737127004008305778379343)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (1426657609784316888378842636130378432638597274497483)/(1984681779968365849985467286925852257930924879902092407)*a^(17) + (289360269125807260321951781145464478702910967812234231)/(25800863139588756049811074730036079353102023438727201291)*a^(16) - (276206315672509793888674710463090387664134088680655438)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (2639334380699978319993687347255450407449226754663998920)/(25800863139588756049811074730036079353102023438727201291)*a^(14) + (5294394330490105409512414000850553339661593934636524324)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (10998641918919757180997551442613361764988857013255145146)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (33615260977864905196678207544195391022233662040332843647)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (3232521586779111790114443710801988800158526300868686871)/(25800863139588756049811074730036079353102023438727201291)*a^(10) + (135304303577751205846749277945156192611783161812387648467)/(25800863139588756049811074730036079353102023438727201291)*a^(9) - (93783326129788375643190570961989522335976025229562329655)/(25800863139588756049811074730036079353102023438727201291)*a^(8) - (170449957534558760329103131963461527694356423775624816031)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (90482575817963128514667059251860945698886828389607979209)/(25800863139588756049811074730036079353102023438727201291)*a^(6) - (895245696180734131152923167124540994362311166886826199610)/(25800863139588756049811074730036079353102023438727201291)*a^(5) - (1473754413932637145791686104480334445100584889241441447889)/(25800863139588756049811074730036079353102023438727201291)*a^(4) - (419573506302303857071522765347124713128971258157798140952)/(25800863139588756049811074730036079353102023438727201291)*a^(3) - (2172955804007095126133968716018480881214382197772593521395)/(25800863139588756049811074730036079353102023438727201291)*a^(2) - (757386795072612099446223354012922302309722986989874567935)/(25800863139588756049811074730036079353102023438727201291)*a - (542595167374485616109041337242756796500896876879457436859)/(25800863139588756049811074730036079353102023438727201291) , (24608635701227082927732179920171882706309920012083738)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (19296113711247197553785197714914867513263271570226981)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (484415173472533997893909549311028313187202238850468284)/(25800863139588756049811074730036079353102023438727201291)*a^(17) + (1068754573369643339659567871903718676926465242010383568)/(25800863139588756049811074730036079353102023438727201291)*a^(16) + (4159386421281037490016755996614098847796488737047478375)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (13409686108629270565977730345733404668493005055178509570)/(25800863139588756049811074730036079353102023438727201291)*a^(14) - (16082375274548243974771578895553393073299668365789651802)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (72539298378038076994139272574111600702400393619549881654)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (38330472049645783112371786347044251543279191497774453241)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (307693428089821295745756933980649192517026942839207956295)/(25800863139588756049811074730036079353102023438727201291)*a^(10) + (340936374546668966113927229605551595461740754217656381926)/(25800863139588756049811074730036079353102023438727201291)*a^(9) + (492495459187754704110669156975013038148824552433619918961)/(25800863139588756049811074730036079353102023438727201291)*a^(8) - (383895342765736979937704748449418887309883976346790672311)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (2874045708380492431269360444010489768000691045695117360853)/(25800863139588756049811074730036079353102023438727201291)*a^(6) + (6358940953061521695243140313065305502874540936899358001459)/(25800863139588756049811074730036079353102023438727201291)*a^(5) + (3973480101606158573522660010996220558306308151814888521107)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (8259492370360127226981662840157769117500140930000607549226)/(25800863139588756049811074730036079353102023438727201291)*a^(3) + (8882794755848937871756786872175328892980550206884704534474)/(25800863139588756049811074730036079353102023438727201291)*a^(2) + (4215916941956393133897763664764436840638538352333175795790)/(25800863139588756049811074730036079353102023438727201291)*a + (1611535685570630513941760689071360725111993512697279975305)/(25800863139588756049811074730036079353102023438727201291) , (2079519440051895036707214773450704452060952353408267)/(25800863139588756049811074730036079353102023438727201291)*a^(19) + (4523210375857960547530816751791542708414024764903582)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (47002482391744980155158984673722292227359519285158996)/(25800863139588756049811074730036079353102023438727201291)*a^(17) - (33123983382196863655654155030138068743136332658393163)/(25800863139588756049811074730036079353102023438727201291)*a^(16) + (636486924661348417392257341693082762788478779002292810)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (74985185185518263059990550932644219147614826190636268)/(25800863139588756049811074730036079353102023438727201291)*a^(14) - (4839062932106172363432194918377920950901258132441552159)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (1776097160762736895893149635904072562998267506441776721)/(25800863139588756049811074730036079353102023438727201291)*a^(12) + (15083559954794073355586319030390045846689712255392796877)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (29984435989731818763461010830261348398508522336423859488)/(25800863139588756049811074730036079353102023438727201291)*a^(10) - (42793698026729074559350892474583609108402909144982622650)/(25800863139588756049811074730036079353102023438727201291)*a^(9) + (96854153508703955628344598080787659279241663095316882869)/(25800863139588756049811074730036079353102023438727201291)*a^(8) + (98433874406824502046638227325075105292671375186005483269)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (302185338984267073753165888594279015047636502792323848010)/(25800863139588756049811074730036079353102023438727201291)*a^(6) + (1106956378646333512480501556132244373704996005421660648606)/(25800863139588756049811074730036079353102023438727201291)*a^(5) + (1213231658730237167863516141226880340795347740917603419579)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (1133968209945343469694256425838495208205137593434341159898)/(25800863139588756049811074730036079353102023438727201291)*a^(3) + (1892061063224271710449224400079135098657622001554405962554)/(25800863139588756049811074730036079353102023438727201291)*a^(2) + (754680357047470681806341673269486334042836221935413051545)/(25800863139588756049811074730036079353102023438727201291)*a + (394849171912463035025183021681924473788097980399398287331)/(25800863139588756049811074730036079353102023438727201291) , (39333265904868994257919598270678514391033195436733580)/(25800863139588756049811074730036079353102023438727201291)*a^(19) - (41958271621106910821991917259173659201479564604245485)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (732082593658853581151949378205974095009757230646651954)/(25800863139588756049811074730036079353102023438727201291)*a^(17) + (1871980924058099581294083334701208705554073758702527456)/(25800863139588756049811074730036079353102023438727201291)*a^(16) + (5514912016288877694858462018708279803014963545870411682)/(25800863139588756049811074730036079353102023438727201291)*a^(15) - (21298762918329684407981115870046416427772842942208310032)/(25800863139588756049811074730036079353102023438727201291)*a^(14) - (14900079320286560320463809168660203625522565840058562651)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (99841839653255853273358050517147052491344830790772767449)/(25800863139588756049811074730036079353102023438727201291)*a^(12) - (104402233332826385432723791055811575501974398464547654148)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (351014894877677229715344663152701595688424920558111639058)/(25800863139588756049811074730036079353102023438727201291)*a^(10) + (576095344448189745270056726816593381523515171172631576246)/(25800863139588756049811074730036079353102023438727201291)*a^(9) + (210407865914828171749811023773172401340201697403273078024)/(25800863139588756049811074730036079353102023438727201291)*a^(8) - (97740611819623765365700210199887444331112931403137364807)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (5352812700036415953923182963073108826559790611395248152978)/(25800863139588756049811074730036079353102023438727201291)*a^(6) + (7867584820757656942171574643398891218474725420757654420939)/(25800863139588756049811074730036079353102023438727201291)*a^(5) + (6721672304987198415567691634855746827698989488927084904561)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (16573424629977880530212966873839367203512164704841729806150)/(25800863139588756049811074730036079353102023438727201291)*a^(3) + (8429727213524879272043953435829632078256929723334648182023)/(25800863139588756049811074730036079353102023438727201291)*a^(2) + (4376821855710039375818256768288264541306073570018986093637)/(25800863139588756049811074730036079353102023438727201291)*a + (39462903232926390920972846625372399625226848081541672165)/(1984681779968365849985467286925852257930924879902092407) , (4815535721597138372526934565749612435335481880101554)/(25800863139588756049811074730036079353102023438727201291)*a^(19) + (11229369584969859849942208938427019282166648678385360)/(25800863139588756049811074730036079353102023438727201291)*a^(18) - (107059828644230656895436832360948020372533731383542215)/(25800863139588756049811074730036079353102023438727201291)*a^(17) - (98381950636757390488774709409451323465689668462859391)/(25800863139588756049811074730036079353102023438727201291)*a^(16) + (1458522775421515292299753057151652969201393422167675168)/(25800863139588756049811074730036079353102023438727201291)*a^(15) + (177430454338226420799923408814049535921156613867573190)/(25800863139588756049811074730036079353102023438727201291)*a^(14) - (11360571259869315208524756683190371970322083000044515668)/(25800863139588756049811074730036079353102023438727201291)*a^(13) + (966024223969679910551592997744245246241155466923661426)/(25800863139588756049811074730036079353102023438727201291)*a^(12) + (38422797950854656022736233078768178635756684860014124636)/(25800863139588756049811074730036079353102023438727201291)*a^(11) - (56240737399152612830723846180917310942902180171886135759)/(25800863139588756049811074730036079353102023438727201291)*a^(10) - (131364627418452957910052900905344006699195896420112685360)/(25800863139588756049811074730036079353102023438727201291)*a^(9) + (198290234884839702186627594935351470606756872607351467612)/(25800863139588756049811074730036079353102023438727201291)*a^(8) + (358292456251753901571955664365032210306776199053818147220)/(25800863139588756049811074730036079353102023438727201291)*a^(7) + (707014163947029765756139788894635489863113687267293602571)/(25800863139588756049811074730036079353102023438727201291)*a^(6) + (2439498553397697576761990617845112142138128597647455312685)/(25800863139588756049811074730036079353102023438727201291)*a^(5) + (3213958948223954741750021494717502451987160689634122554433)/(25800863139588756049811074730036079353102023438727201291)*a^(4) + (2837566588765822372955267949297194692261739473279908307339)/(25800863139588756049811074730036079353102023438727201291)*a^(3) + (315074621020313755315630666420821874205205309127518047244)/(1984681779968365849985467286925852257930924879902092407)*a^(2) + (2315864658080222567058012028398214871726594278002980716430)/(25800863139588756049811074730036079353102023438727201291)*a + (1120234887385700218460287928285837373428648525432306448418)/(25800863139588756049811074730036079353102023438727201291) ], 641704357.5703068, [[x^2 - x + 11, 1], [x^4 - x^3 - 5*x^2 + 8*x + 64, 1], [x^10 - 4*x^9 + 16*x^8 - 42*x^7 + 80*x^6 - 121*x^5 + 123*x^4 - 54*x^3 - 11*x^2 + 12*x + 13, 1]]]