/* 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^21 - 168*x^19 + 11277*x^17 - 399742*x^15 - 16758*x^14 + 8311674*x^13 + 1010310*x^12 - 105527772*x^11 - 23402064*x^10 + 817061378*x^9 + 263892258*x^8 - 3702309351*x^7 - 1512309834*x^6 + 8920956618*x^5 + 4223489928*x^4 - 9401708407*x^3 - 5009255496*x^2 + 3458771652*x + 2033235224, 21, 24, [21, 0], 1951555699117213348169834432463016320890103201005568, [2, 3, 7, 17], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, 1/17*a^11 + 2/17*a^9 + 6/17*a^7 - 4/17*a^5 + 4/17*a^4, 1/51*a^12 - 5/17*a^10 - 1/3*a^9 + 2/17*a^8 - 4/51*a^6 + 7/17*a^5 + 1/3, 1/51*a^13 - 1/3*a^10 - 5/17*a^9 - 16/51*a^7 + 7/17*a^6 - 3/17*a^5 + 3/17*a^4 + 1/3*a, 1/867*a^14 + 2/867*a^12 - 1/51*a^11 + 19/289*a^10 - 2/51*a^9 + 98/867*a^8 - 129/289*a^7 - 4/51*a^6 - 3/17*a^5 - 7/17*a^4 - 1/3*a^2 + 1/3, 1/1734*a^15 + 1/867*a^13 + 1/289*a^11 + 1/3*a^10 + 287/867*a^9 + 97/289*a^8 - 11/51*a^7 + 19/51*a^6 + 2/17*a^5 - 2/17*a^4 + 1/3*a^3 + 1/6*a - 1/3, 1/1734*a^16 + 1/867*a^12 + 230/867*a^10 - 287/867*a^9 - 95/289*a^8 - 259/867*a^7 + 10/51*a^6 + 8/17*a^5 + 1/3*a^4 - 1/2*a^2 - 1/3*a - 1/3, 1/29478*a^17 + 1/14739*a^15 - 116/14739*a^13 + 338/14739*a^11 + 1447/14739*a^10 - 376/867*a^9 - 32/867*a^8 - 16/51*a^7 - 5/51*a^6 + 22/51*a^5 + 7/17*a^4 - 35/102*a^3 + 1/3*a^2 + 1/3*a - 1/3, 1/58956*a^18 - 5/19652*a^16 + 1/9826*a^14 + 45/4913*a^12 + 97/9826*a^11 - 273/578*a^10 + 4/17*a^9 + 199/578*a^8 + 62/289*a^7 - 2/17*a^6 + 1/34*a^5 + 23/68*a^4 - 1/3*a^3 + 1/4*a^2 - 1/3, 1/1002252*a^19 - 5/334084*a^17 - 133/501126*a^15 - 1735/250563*a^13 + 1447/501126*a^12 + 1/578*a^11 - 154/867*a^10 + 131/578*a^9 + 64/289*a^8 - 13/51*a^7 - 671/1734*a^6 + 215/1156*a^5 + 23/51*a^4 + 7/204*a^3 - 1/3*a - 1/3, 1/16883915483267168185283543681213895387682010146764*a^20 + 6204248856069311072305220206975044173222351/16883915483267168185283543681213895387682010146764*a^19 - 1175077200181274487001112033451619143015313/8441957741633584092641771840606947693841005073382*a^18 + 2309646969740409850438567378214188618678577/5627971827755722728427847893737965129227336715588*a^17 + 2828063398485031820542542614885782678619310133/16883915483267168185283543681213895387682010146764*a^16 + 989002864606626327505670966947744941813168148/4220978870816792046320885920303473846920502536691*a^15 + 1063745037241257288552322337824883120116277553/2813985913877861364213923946868982564613668357794*a^14 + 62171585306439670957921322672914642799318861377/8441957741633584092641771840606947693841005073382*a^13 + 19062380688045666400194963364113634970924964089/4220978870816792046320885920303473846920502536691*a^12 + 2275252755655617879694547570049387336116429986/82764291584642981300409527849087722488637304641*a^11 - 34228703340529060004369728017609781589550907165/82764291584642981300409527849087722488637304641*a^10 + 1993598835228833065844286339862535472053074663/9736975480546233094165826805775026175133800546*a^9 + 1844872009074940365166478661533380253040236461/9736975480546233094165826805775026175133800546*a^8 - 5943168455042854911227888170424256472256462477/29210926441638699282497480417325078525401401638*a^7 + 3713735839561519960002104219417580949448243795/58421852883277398564994960834650157050802803276*a^6 - 12662631360302915056175586145267956751068646091/58421852883277398564994960834650157050802803276*a^5 + 35594397291989852942581480806336560209666793/859144895342314684779337659333090544864747107*a^4 - 11360114069033145154874567266061220844731989/1145526527123086246372450212444120726486329476*a^3 - 79280253317463918068406465710845013229688691/202151740080544631712785331607786010556411084*a^2 - 48491550782991724903801751658039095683632643/101075870040272315856392665803893005278205542*a + 1321216729033921477979697162339248650794841/16845978340045385976065444300648834213034257], 0, 1, [], 1, [ (17771308507619825501223019974715505540916)/(82764291584642981300409527849087722488637304641)*a^(20) + (68420416933143641296172102636121609759531)/(331057166338571925201638111396350889954549218564)*a^(19) - (34397953821459800484764034400249461320910865)/(993171499015715775604914334189052669863647655692)*a^(18) - (9810022496381134678420933317447089245286005)/(331057166338571925201638111396350889954549218564)*a^(17) + (2186459258708506472406513646961565056997816731)/(993171499015715775604914334189052669863647655692)*a^(16) + (387630571767917432781478257531430711519050290)/(248292874753928943901228583547263167465911913923)*a^(15) - (12069997613438606045757268110885476530815211273)/(165528583169285962600819055698175444977274609282)*a^(14) - (610137299171530354944940621667056538308160096)/(14605463220819349641248740208662539262700700819)*a^(13) + (694488549881302742346589630068774840228478678843)/(496585749507857887802457167094526334931823827846)*a^(12) + (179456747981494872077270256945984008491293023)/(286381631780771561593112553111030181621582369)*a^(11) - (472989078020122334491884418871011012173607927445)/(29210926441638699282497480417325078525401401638)*a^(10) - (8999449321874089327702198044355600618737734911)/(1718289790684629369558675318666181089729494214)*a^(9) + (64975761514120880560913722216353309755616702167)/(572763263561543123186225106222060363243164738)*a^(8) + (105372236797162921312588792837588328744641158146)/(4868487740273116547082913402887513087566900273)*a^(7) - (15637080620066735905364831643628158492329579523)/(33691956680090771952130888601297668426068514)*a^(6) - (29368019994965738921679742373115566274262058543)/(1145526527123086246372450212444120726486329476)*a^(5) + (203815936670497605064845623643981221739055366079)/(202151740080544631712785331607786010556411084)*a^(4) - (3838768889172179066895654143677741073543740059)/(67383913360181543904261777202595336852137028)*a^(3) - (63509354819369599629290111113581162866388760321)/(67383913360181543904261777202595336852137028)*a^(2) + (2079320812808336787969739432664017215750326207)/(33691956680090771952130888601297668426068514)*a + (15358628257084202140686149854012401137977906636)/(50537935020136157928196332901946502639102771) , (31089706061152812172159110525483438227735)/(993171499015715775604914334189052669863647655692)*a^(20) - (169116360464370443659825957973198370208570)/(248292874753928943901228583547263167465911913923)*a^(19) - (2529475275504907444125476100430696871852009)/(331057166338571925201638111396350889954549218564)*a^(18) + (26105617793874140978276344913360761730102323)/(248292874753928943901228583547263167465911913923)*a^(17) + (354333772250580536097397734423229994544771233)/(496585749507857887802457167094526334931823827846)*a^(16) - (3115958609650988500229693071076361154676445955)/(496585749507857887802457167094526334931823827846)*a^(15) - (2761182480373805612915520420911933261266043272)/(82764291584642981300409527849087722488637304641)*a^(14) + (5560291509450686843400988882279101545452261555)/(29210926441638699282497480417325078525401401638)*a^(13) + (434261572032292381013353328755900802436932090389)/(496585749507857887802457167094526334931823827846)*a^(12) - (2773800330521168110550228351289124259831385230)/(859144895342314684779337659333090544864747107)*a^(11) - (392961488047210644874801682706938438114749819045)/(29210926441638699282497480417325078525401401638)*a^(10) + (8999292598851136070394829183533451356609871762)/(286381631780771561593112553111030181621582369)*a^(9) + (104286808569467275664707322031138804778250265127)/(859144895342314684779337659333090544864747107)*a^(8) - (1678341753738292872270909677344097935728593736601)/(9736975480546233094165826805775026175133800546)*a^(7) - (124242631502351923607765518837434430008085310753)/(202151740080544631712785331607786010556411084)*a^(6) + (432558919375819096367963952500455542557300706403)/(859144895342314684779337659333090544864747107)*a^(5) + (318712125697709777669087885567019506065658885903)/(202151740080544631712785331607786010556411084)*a^(4) - (34879322177268640247041445615344425398965271288)/(50537935020136157928196332901946502639102771)*a^(3) - (27686037100372923710933963358095008398279883716)/(16845978340045385976065444300648834213034257)*a^(2) + (32533825153368568858856060855700040562314517687)/(101075870040272315856392665803893005278205542)*a + (29153555374687979446109463624829638217736830972)/(50537935020136157928196332901946502639102771) , (2661258152039378760589869668526175141369670)/(1406992956938930682106961973434491282306834178897)*a^(20) - (17756899700329901161818487136816782073864955)/(5627971827755722728427847893737965129227336715588)*a^(19) - (1341493818258601413000950324153321503718249836)/(4220978870816792046320885920303473846920502536691)*a^(18) + (8608408915442084430162824527234419567618921119)/(16883915483267168185283543681213895387682010146764)*a^(17) + (29985515920964862267770809185269586022350623474)/(1406992956938930682106961973434491282306834178897)*a^(16) - (136934004168093914141464510527754474810458702155)/(4220978870816792046320885920303473846920502536691)*a^(15) - (3177196038074116832039582093459783933154455831254)/(4220978870816792046320885920303473846920502536691)*a^(14) + (4393530795597543709238969180933811840781270203172)/(4220978870816792046320885920303473846920502536691)*a^(13) + (131475677609861352170470196514997170276783013402187)/(8441957741633584092641771840606947693841005073382)*a^(12) - (9212602064655989827989917519881111232174561423795)/(496585749507857887802457167094526334931823827846)*a^(11) - (48870081764599923619964440886192812012607684871889)/(248292874753928943901228583547263167465911913923)*a^(10) + (5557521903370581366624098420935205659217280129385)/(29210926441638699282497480417325078525401401638)*a^(9) + (7390587147603966400460987082271858823845921521989)/(4868487740273116547082913402887513087566900273)*a^(8) - (16263299213127411608782528562396129703416610791356)/(14605463220819349641248740208662539262700700819)*a^(7) - (66609334843888301222979298339354684115527110859691)/(9736975480546233094165826805775026175133800546)*a^(6) + (206099715518047540937586431602751781787589755603423)/(58421852883277398564994960834650157050802803276)*a^(5) + (4645004637330055986655619038825903422922603605033)/(286381631780771561593112553111030181621582369)*a^(4) - (18175310919102469007404079365719734265558531775519)/(3436579581369258739117350637332362179458988428)*a^(3) - (273028687152398055514040863427466386297461855473)/(16845978340045385976065444300648834213034257)*a^(2) + (263905958809332840090209581343266259733062014771)/(101075870040272315856392665803893005278205542)*a + (280406403666414436676902241414212494384302676968)/(50537935020136157928196332901946502639102771) , (13839934762045415322291652612622270823774903)/(5627971827755722728427847893737965129227336715588)*a^(20) + (21016534896480135589353561696283929587279375)/(16883915483267168185283543681213895387682010146764)*a^(19) - (6576287870139485932976760770126135839616048311)/(16883915483267168185283543681213895387682010146764)*a^(18) - (2682915456801093807790456481504385745364613215)/(16883915483267168185283543681213895387682010146764)*a^(17) + (67796418700749176377853501419116796004061536537)/(2813985913877861364213923946868982564613668357794)*a^(16) + (18575950740131379221035056657342041333800601227)/(2813985913877861364213923946868982564613668357794)*a^(15) - (3237946586656728115472058723730371598809567566779)/(4220978870816792046320885920303473846920502536691)*a^(14) - (1035423166662329716753749409042781671953661886027)/(8441957741633584092641771840606947693841005073382)*a^(13) + (19608154631251509310572855124043080143836135418058)/(1406992956938930682106961973434491282306834178897)*a^(12) + (155538147860052449708906546711138145286353931269)/(165528583169285962600819055698175444977274609282)*a^(11) - (74549214210550811007394263216124433136500287453213)/(496585749507857887802457167094526334931823827846)*a^(10) + (23430121331918101112527813169856126531866366151)/(9736975480546233094165826805775026175133800546)*a^(9) + (13981949709887564906251032398434727657636128959953)/(14605463220819349641248740208662539262700700819)*a^(8) - (2794884482111967100642666130688335528185585427131)/(29210926441638699282497480417325078525401401638)*a^(7) - (67678226183536390522345063140610694456848368866083)/(19473950961092466188331653611550052350267601092)*a^(6) + (35940240723509529953746489042676420747836012563203)/(58421852883277398564994960834650157050802803276)*a^(5) + (22452273925868389604407814678192809896302159997055)/(3436579581369258739117350637332362179458988428)*a^(4) - (284832900624877650782219337131071936065327548197)/(202151740080544631712785331607786010556411084)*a^(3) - (266715674195388338869962377827315308925994163544)/(50537935020136157928196332901946502639102771)*a^(2) + (12578379959025508748355573230975584097733575582)/(16845978340045385976065444300648834213034257)*a + (77418972577920772116760459994376476144391528701)/(50537935020136157928196332901946502639102771) , (4985320042347457871135643659526819982969177)/(2813985913877861364213923946868982564613668357794)*a^(20) - (2150101696883151462060879888924506314474257)/(5627971827755722728427847893737965129227336715588)*a^(19) - (4902983816959711907496349847104198770935749195)/(16883915483267168185283543681213895387682010146764)*a^(18) + (1324875700720819813246833904743182994935246569)/(16883915483267168185283543681213895387682010146764)*a^(17) + (106124114426445727939621605560868470586057323657)/(5627971827755722728427847893737965129227336715588)*a^(16) - (27113198453291723921483871535894491025800261800)/(4220978870816792046320885920303473846920502536691)*a^(15) - (5410738654165037978174087404103954063446900834573)/(8441957741633584092641771840606947693841005073382)*a^(14) + (1018439943828750734092428983269391255860333611479)/(4220978870816792046320885920303473846920502536691)*a^(13) + (107052784691267362309740794769503579327320866480449)/(8441957741633584092641771840606947693841005073382)*a^(12) - (1182462732280641874271968133105148993399551160536)/(248292874753928943901228583547263167465911913923)*a^(11) - (75640200334279674318392611406511083156238685610593)/(496585749507857887802457167094526334931823827846)*a^(10) + (1552744525582114367855170168396076887366770840259)/(29210926441638699282497480417325078525401401638)*a^(9) + (10827277793909684856264146883916483854751666337767)/(9736975480546233094165826805775026175133800546)*a^(8) - (5020431515814507778750942045020614157227141423132)/(14605463220819349641248740208662539262700700819)*a^(7) - (23087797320755851287628227809940633577915707652664)/(4868487740273116547082913402887513087566900273)*a^(6) + (73255206707756620484283422149335931763877848126879)/(58421852883277398564994960834650157050802803276)*a^(5) + (12250925020237887439689178530677396423085810970631)/(1145526527123086246372450212444120726486329476)*a^(4) - (7797734046167525199152492403403485818391749688025)/(3436579581369258739117350637332362179458988428)*a^(3) - (694423296364097784032708953993841915652396065185)/(67383913360181543904261777202595336852137028)*a^(2) + (126406048334651890273038149992088411324844965273)/(101075870040272315856392665803893005278205542)*a + (172926293737937099212263902452915860127838019809)/(50537935020136157928196332901946502639102771) , (4220240570510558918825211062501228372440430)/(1406992956938930682106961973434491282306834178897)*a^(20) + (12495873968238518491239183640711517543855965)/(4220978870816792046320885920303473846920502536691)*a^(19) - (4037524683989644418910471881446740899657010191)/(8441957741633584092641771840606947693841005073382)*a^(18) - (3548998541132351231508649717000862370154453369)/(8441957741633584092641771840606947693841005073382)*a^(17) + (126220477565084484331645640519749509698055261044)/(4220978870816792046320885920303473846920502536691)*a^(16) + (184353547070480710549068784897087602527842319219)/(8441957741633584092641771840606947693841005073382)*a^(15) - (1362682504787132867288147449832239886433181678262)/(1406992956938930682106961973434491282306834178897)*a^(14) - (2423401983165036519603735003029506621868503822820)/(4220978870816792046320885920303473846920502536691)*a^(13) + (76167766774069833685908858573066592694681512823605)/(4220978870816792046320885920303473846920502536691)*a^(12) + (2093310243523521376215887650845955553454983203430)/(248292874753928943901228583547263167465911913923)*a^(11) - (16679398897739771035122240560114211363058126980561)/(82764291584642981300409527849087722488637304641)*a^(10) - (1001127479116466065353979456276241568235277578924)/(14605463220819349641248740208662539262700700819)*a^(9) + (19755814187713886008107341527925381161431036487285)/(14605463220819349641248740208662539262700700819)*a^(8) + (3970672626258976741143127205792599341540997462237)/(14605463220819349641248740208662539262700700819)*a^(7) - (25699196788659380861859787813217001519754960914370)/(4868487740273116547082913402887513087566900273)*a^(6) - (4264718696042793370445062883532036696980441061193)/(14605463220819349641248740208662539262700700819)*a^(5) + (18843258147779535075251846653306167166857937556933)/(1718289790684629369558675318666181089729494214)*a^(4) - (1237540794928935250726259574199463602216451541497)/(1718289790684629369558675318666181089729494214)*a^(3) - (506248969001843003815812014060387333046197776838)/(50537935020136157928196332901946502639102771)*a^(2) + (75810916436528809340950701043896624439387773973)/(101075870040272315856392665803893005278205542)*a + (162555168740227474368891416521477774409810549258)/(50537935020136157928196332901946502639102771) , (84498702427342417368048144347293362121035645)/(5627971827755722728427847893737965129227336715588)*a^(20) - (110495520601300858411642245295881401751634423)/(8441957741633584092641771840606947693841005073382)*a^(19) - (42330122397765999911294745632169804150581357293)/(16883915483267168185283543681213895387682010146764)*a^(18) + (3056423460638683061543955826281692194889166803)/(1406992956938930682106961973434491282306834178897)*a^(17) + (704122991208358368770141533831696837373927776958)/(4220978870816792046320885920303473846920502536691)*a^(16) - (403241143666905843385673200633463563043500591741)/(2813985913877861364213923946868982564613668357794)*a^(15) - (24649449179105982702589984123225082849038200202508)/(4220978870816792046320885920303473846920502536691)*a^(14) + (39738458580133347491030465641320713527157645477939)/(8441957741633584092641771840606947693841005073382)*a^(13) + (1009130247384916273521910246459659455409651197450269)/(8441957741633584092641771840606947693841005073382)*a^(12) - (21084513718485683994667627551712543512649715466325)/(248292874753928943901228583547263167465911913923)*a^(11) - (246711318088986773132451536433504389269291809038895)/(165528583169285962600819055698175444977274609282)*a^(10) + (12807973786273178975081595174256437152203079141225)/(14605463220819349641248740208662539262700700819)*a^(9) + (165114895876243046095060138941123965002712094911291)/(14605463220819349641248740208662539262700700819)*a^(8) - (151895778969765197366052420428947716714427810648777)/(29210926441638699282497480417325078525401401638)*a^(7) - (2918597845166260518730381863038146031118360685006997)/(58421852883277398564994960834650157050802803276)*a^(6) + (166823585251057597880784097204220820924767510030035)/(9736975480546233094165826805775026175133800546)*a^(5) + (398509679716655241105720570540533575747613170744093)/(3436579581369258739117350637332362179458988428)*a^(4) - (24026509698687362550289211682236434837666672098287)/(859144895342314684779337659333090544864747107)*a^(3) - (11474979112818809007932689380630856687639307952173)/(101075870040272315856392665803893005278205542)*a^(2) + (1478294602514481315362859387938528975675972799385)/(101075870040272315856392665803893005278205542)*a + (640817086930372087703698166915163995511670754231)/(16845978340045385976065444300648834213034257) , (28458384181403596995556714894020908801180015)/(16883915483267168185283543681213895387682010146764)*a^(20) - (20216620620375784579770380728043906721755)/(165528583169285962600819055698175444977274609282)*a^(19) - (1565374204999180809470726554999596868296726225)/(5627971827755722728427847893737965129227336715588)*a^(18) + (19803225354102381668229585717083935978427723)/(496585749507857887802457167094526334931823827846)*a^(17) + (153987008786579962891418628717486305060532495023)/(8441957741633584092641771840606947693841005073382)*a^(16) - (710880296833368154015173513535940338715232915)/(165528583169285962600819055698175444977274609282)*a^(15) - (2654062348128069544142785770616251324627008631305)/(4220978870816792046320885920303473846920502536691)*a^(14) + (1588530309110418849837705484890902728298222800249)/(8441957741633584092641771840606947693841005073382)*a^(13) + (2098088111924594916147839635260834391879747158281)/(165528583169285962600819055698175444977274609282)*a^(12) - (347670948216130201744893815423904733330171888665)/(82764291584642981300409527849087722488637304641)*a^(11) - (25807253424297835814115345573975907748451063095655)/(165528583169285962600819055698175444977274609282)*a^(10) + (258271270592627332078559124515488659580802134009)/(4868487740273116547082913402887513087566900273)*a^(9) + (17120461018327620127449833258966040011941636935304)/(14605463220819349641248740208662539262700700819)*a^(8) - (11443342305656985647104030571644914909249982047569)/(29210926441638699282497480417325078525401401638)*a^(7) - (100910269660292254076398393648519482566297390713127)/(19473950961092466188331653611550052350267601092)*a^(6) + (937851859311359579120861266872795767898165418747)/(572763263561543123186225106222060363243164738)*a^(5) + (41922398565326210645044051022213125393340624644051)/(3436579581369258739117350637332362179458988428)*a^(4) - (1917685022348395878181892310681198938237666808153)/(572763263561543123186225106222060363243164738)*a^(3) - (208620351760923578360364692894986246818982711852)/(16845978340045385976065444300648834213034257)*a^(2) + (197153399698536584095899631231390115234044045447)/(101075870040272315856392665803893005278205542)*a + (73433760506121656252617960495928561571295932433)/(16845978340045385976065444300648834213034257) , (1186298752057141178205469909059569455160057)/(1406992956938930682106961973434491282306834178897)*a^(20) + (9695152889338269537537800147649920557288718)/(4220978870816792046320885920303473846920502536691)*a^(19) - (563812028529177962493947589871578076514968564)/(4220978870816792046320885920303473846920502536691)*a^(18) - (1508241294814793617005782378172706903458722422)/(4220978870816792046320885920303473846920502536691)*a^(17) + (11643550406457827837442831305533561416207419939)/(1406992956938930682106961973434491282306834178897)*a^(16) + (60675318320550014751203355483850666476851661449)/(2813985913877861364213923946868982564613668357794)*a^(15) - (372570165673788872740583917073960301382474958598)/(1406992956938930682106961973434491282306834178897)*a^(14) - (2868739906279627411634070969949495261184174046964)/(4220978870816792046320885920303473846920502536691)*a^(13) + (20411582225002060426226147153432449705824498346297)/(4220978870816792046320885920303473846920502536691)*a^(12) + (3082752513894960536465401283193243932596732362940)/(248292874753928943901228583547263167465911913923)*a^(11) - (12896186734884721360787941584962963723386056195995)/(248292874753928943901228583547263167465911913923)*a^(10) - (1981737557638311487067336553109416309586173226643)/(14605463220819349641248740208662539262700700819)*a^(9) + (4687419528547111096544057012606660770547310206060)/(14605463220819349641248740208662539262700700819)*a^(8) + (12791428878214701781518895906589856425123295117196)/(14605463220819349641248740208662539262700700819)*a^(7) - (15064007440537799178565819737251244772651052432236)/(14605463220819349641248740208662539262700700819)*a^(6) - (45986259789623794859776542209399596690716063075977)/(14605463220819349641248740208662539262700700819)*a^(5) + (991989720069045517848475115133546933111946095322)/(859144895342314684779337659333090544864747107)*a^(4) + (4672332576117761974369133241080100093797685267547)/(859144895342314684779337659333090544864747107)*a^(3) + (54268916934926092293086492519210862902799615110)/(50537935020136157928196332901946502639102771)*a^(2) - (98171582855721943635087458753947519337673771239)/(33691956680090771952130888601297668426068514)*a - (67962171912574910113206646405532823795504113339)/(50537935020136157928196332901946502639102771) , (103042550285974319289264063726948722228782271)/(16883915483267168185283543681213895387682010146764)*a^(20) - (116182933142408823071726394720695083730740523)/(8441957741633584092641771840606947693841005073382)*a^(19) - (1377405105862479105652389038045706295399765518)/(1406992956938930682106961973434491282306834178897)*a^(18) + (18741830448333175200163850456394924989768688473)/(8441957741633584092641771840606947693841005073382)*a^(17) + (1037318192154731942828663093520590790280509039461)/(16883915483267168185283543681213895387682010146764)*a^(16) - (394694069934947271570276238113533956346357463783)/(2813985913877861364213923946868982564613668357794)*a^(15) - (5572566736251392471378885700542399449125071706839)/(2813985913877861364213923946868982564613668357794)*a^(14) + (37550374889413390335971190202058280416702104653329)/(8441957741633584092641771840606947693841005073382)*a^(13) + (306738460479505121498625487993667052205099911330737)/(8441957741633584092641771840606947693841005073382)*a^(12) - (38677347037013204076110994332140629143100000744341)/(496585749507857887802457167094526334931823827846)*a^(11) - (1919465958342820725057110065247551246881051838567)/(4868487740273116547082913402887513087566900273)*a^(10) + (11335322656833454180055411416032421162400760869155)/(14605463220819349641248740208662539262700700819)*a^(9) + (73512781291787851001421231181264860887859086051549)/(29210926441638699282497480417325078525401401638)*a^(8) - (125661144677496826265546187243095013883527472244695)/(29210926441638699282497480417325078525401401638)*a^(7) - (526898010978732307524138944596385592061697995211281)/(58421852883277398564994960834650157050802803276)*a^(6) + (176715692614200902018385369415633062821820923889901)/(14605463220819349641248740208662539262700700819)*a^(5) + (9528546245034227345206495060721829952558281265353)/(572763263561543123186225106222060363243164738)*a^(4) - (7921777170206735753846937743205815193410976811903)/(572763263561543123186225106222060363243164738)*a^(3) - (987167130431644902464013705995666934754393287757)/(67383913360181543904261777202595336852137028)*a^(2) + (178853563875399602630437672307045491264113468915)/(33691956680090771952130888601297668426068514)*a + (245364652003322184512625399406516622127668314820)/(50537935020136157928196332901946502639102771) , (46563699298080297347068178426085768635460439)/(16883915483267168185283543681213895387682010146764)*a^(20) - (267598225493266707443948752346469264996513)/(331057166338571925201638111396350889954549218564)*a^(19) - (640584453547716762221280940994948953121588492)/(1406992956938930682106961973434491282306834178897)*a^(18) + (152706593728943814800620200415609333354891511)/(993171499015715775604914334189052669863647655692)*a^(17) + (504013908697521535174038800681226838717103030135)/(16883915483267168185283543681213895387682010146764)*a^(16) - (5854694398711069692672902997670668255688449151)/(496585749507857887802457167094526334931823827846)*a^(15) - (8672039798032916709809944971117231164695079410367)/(8441957741633584092641771840606947693841005073382)*a^(14) + (3611023663305792252411285032785344962907863155031)/(8441957741633584092641771840606947693841005073382)*a^(13) + (5121421588225421398097587775123281394682827212487)/(248292874753928943901228583547263167465911913923)*a^(12) - (684622115678790188559295457293978109345361672511)/(82764291584642981300409527849087722488637304641)*a^(11) - (20849527882070893926388883330822971634184254410349)/(82764291584642981300409527849087722488637304641)*a^(10) + (885302442606540247216564038284373853051728808761)/(9736975480546233094165826805775026175133800546)*a^(9) + (54668845878465118559673662177788116239133379230001)/(29210926441638699282497480417325078525401401638)*a^(8) - (16953786623083528066180029815416991710299739128709)/(29210926441638699282497480417325078525401401638)*a^(7) - (474176029935728522266062142448444288270967010961075)/(58421852883277398564994960834650157050802803276)*a^(6) + (2410386749795275711373234015780733692873844165481)/(1145526527123086246372450212444120726486329476)*a^(5) + (31886242937469450928807112558185175239067951816497)/(1718289790684629369558675318666181089729494214)*a^(4) - (13167643962750393756580714441406364522411627237667)/(3436579581369258739117350637332362179458988428)*a^(3) - (1212161381303953243995086710349772572706646661039)/(67383913360181543904261777202595336852137028)*a^(2) + (107549738358762073856022817692770664261739645057)/(50537935020136157928196332901946502639102771)*a + (302559077427939036779576752451231574050697526519)/(50537935020136157928196332901946502639102771) , (36649107035200349961087303075024551003013703)/(8441957741633584092641771840606947693841005073382)*a^(20) - (17738091981136306855182028948799125011824209)/(4220978870816792046320885920303473846920502536691)*a^(19) - (1024486511783714895909118951741629689864558088)/(1406992956938930682106961973434491282306834178897)*a^(18) + (1952581076215989554877019541587790499848443171)/(2813985913877861364213923946868982564613668357794)*a^(17) + (137118242270684380019680540091528415358128734587)/(2813985913877861364213923946868982564613668357794)*a^(16) - (384070851609704675942173715972358586652979457957)/(8441957741633584092641771840606947693841005073382)*a^(15) - (2416812700645417131181460533502074278616871720636)/(1406992956938930682106961973434491282306834178897)*a^(14) + (370447798885461064887317985624828668956455775720)/(248292874753928943901228583547263167465911913923)*a^(13) + (49863535814610161396199938185707549186240229387484)/(1406992956938930682106961973434491282306834178897)*a^(12) - (2233146210093158582602778956040157667519332464652)/(82764291584642981300409527849087722488637304641)*a^(11) - (110655421402238769031841263949407895831855676909230)/(248292874753928943901228583547263167465911913923)*a^(10) + (4093182722476852838880123200623980311252718893755)/(14605463220819349641248740208662539262700700819)*a^(9) + (16602966258315377924839624242298944968213131053815)/(4868487740273116547082913402887513087566900273)*a^(8) - (1439567623031934693724841812847506531520871697684)/(859144895342314684779337659333090544864747107)*a^(7) - (26123296314930794744792615154167918928272703802289)/(1718289790684629369558675318666181089729494214)*a^(6) + (81401914694316683909401555170105988656056670024806)/(14605463220819349641248740208662539262700700819)*a^(5) + (30583220350496432027740656735226730852365854164092)/(859144895342314684779337659333090544864747107)*a^(4) - (15757102318159091245201019797322432054132077463899)/(1718289790684629369558675318666181089729494214)*a^(3) - (3555081353467686193636877435162698795433203858637)/(101075870040272315856392665803893005278205542)*a^(2) + (162219755135835612481688775173021452361285671851)/(33691956680090771952130888601297668426068514)*a + (601575751657035056833230599292355914011825817478)/(50537935020136157928196332901946502639102771) , (511935651658438003937651431218087734322124045)/(16883915483267168185283543681213895387682010146764)*a^(20) + (846577662901417393546962651046665824679307125)/(5627971827755722728427847893737965129227336715588)*a^(19) - (38046270278496906231562583078470369748798923211)/(8441957741633584092641771840606947693841005073382)*a^(18) - (128760260829039647496762439590198936388027522041)/(5627971827755722728427847893737965129227336715588)*a^(17) + (4270962291993745737445832398337627229157388704061)/(16883915483267168185283543681213895387682010146764)*a^(16) + (5628749068160069706265557288758371355395878272579)/(4220978870816792046320885920303473846920502536691)*a^(15) - (19600133040723584239602791113596144459268530043349)/(2813985913877861364213923946868982564613668357794)*a^(14) - (111411240374281679752427725958052652104236928628435)/(2813985913877861364213923946868982564613668357794)*a^(13) + (421270940095353130242134907766205377487264901710530)/(4220978870816792046320885920303473846920502536691)*a^(12) + (54527472692943092800914743425190397340719296802359)/(82764291584642981300409527849087722488637304641)*a^(11) - (168774380617744117444485836491499377910367255327707)/(248292874753928943901228583547263167465911913923)*a^(10) - (61097311921267372946985427236505085538636797260321)/(9736975480546233094165826805775026175133800546)*a^(9) + (8923413965319340744466971988672307543269361530499)/(9736975480546233094165826805775026175133800546)*a^(8) + (969798930987807925166579337023690779191274749884749)/(29210926441638699282497480417325078525401401638)*a^(7) + (744543394507284280653177739924709174616848986224235)/(58421852883277398564994960834650157050802803276)*a^(6) - (5249976762304414116792032750237410231112745378283727)/(58421852883277398564994960834650157050802803276)*a^(5) - (52396218728905636461265669185750573864342978984223)/(859144895342314684779337659333090544864747107)*a^(4) + (119449885203848500364752954490761758010495316705765)/(1145526527123086246372450212444120726486329476)*a^(3) + (16424503378613166859826215201942230322791384696289)/(202151740080544631712785331607786010556411084)*a^(2) - (4195467576690485473525327528896035831252272916393)/(101075870040272315856392665803893005278205542)*a - (562147147529202762853089075610345898845705618184)/(16845978340045385976065444300648834213034257) , (18716982076095353550401052225327592293883040)/(4220978870816792046320885920303473846920502536691)*a^(20) - (106586840614899762561610331227680780702680785)/(8441957741633584092641771840606947693841005073382)*a^(19) - (5998848929946212155981978557194283789525029399)/(8441957741633584092641771840606947693841005073382)*a^(18) + (8535232873994466965216978894706006975804536075)/(4220978870816792046320885920303473846920502536691)*a^(17) + (187804220950195652483743172350277415985601761564)/(4220978870816792046320885920303473846920502536691)*a^(16) - (356054683447533679567725754187870505511876855639)/(2813985913877861364213923946868982564613668357794)*a^(15) - (6022767859886670480933292349761856442744973603645)/(4220978870816792046320885920303473846920502536691)*a^(14) + (16806896236889153695514119593631146803480365837667)/(4220978870816792046320885920303473846920502536691)*a^(13) + (109560661637978448856660990153139066445623564204429)/(4220978870816792046320885920303473846920502536691)*a^(12) - (17206309844812734831427936522972076229262602939601)/(248292874753928943901228583547263167465911913923)*a^(11) - (23000993212856521139105677726842329525780462881579)/(82764291584642981300409527849087722488637304641)*a^(10) + (10027326612360080844793021363230739190499246070364)/(14605463220819349641248740208662539262700700819)*a^(9) + (8457454752703676042338278191042285771184071888866)/(4868487740273116547082913402887513087566900273)*a^(8) - (55177948713404031814547657240506297359448709502721)/(14605463220819349641248740208662539262700700819)*a^(7) - (87906535981468450364535372872869234165049383310954)/(14605463220819349641248740208662539262700700819)*a^(6) + (102265914577569430961740084706825897101117886847525)/(9736975480546233094165826805775026175133800546)*a^(5) + (6057697011688616615965810036451784515259424020263)/(572763263561543123186225106222060363243164738)*a^(4) - (10072397513010883628546589783744461344644289200857)/(859144895342314684779337659333090544864747107)*a^(3) - (465270542347271130545201131125987217015356237559)/(50537935020136157928196332901946502639102771)*a^(2) + (147791522729220148322853982954174625810074503675)/(33691956680090771952130888601297668426068514)*a + (52612467845768263823439907640751237958141852765)/(16845978340045385976065444300648834213034257) , (51972274279247672004126419327578918612061783)/(5627971827755722728427847893737965129227336715588)*a^(20) + (174822518929517988297638004567114692675605267)/(16883915483267168185283543681213895387682010146764)*a^(19) - (12112867394423922955400008092438720976449033035)/(8441957741633584092641771840606947693841005073382)*a^(18) - (24815466040967106524498569224026877691013775287)/(16883915483267168185283543681213895387682010146764)*a^(17) + (1455812955941844111255725936272623356833336590763)/(16883915483267168185283543681213895387682010146764)*a^(16) + (323716891358818099772045090524233556933100513186)/(4220978870816792046320885920303473846920502536691)*a^(15) - (22217298204558837924780385617946246914064828965959)/(8441957741633584092641771840606947693841005073382)*a^(14) - (17220891179847633914457723804408597099805988113645)/(8441957741633584092641771840606947693841005073382)*a^(13) + (189556380027674646854477254408171386885572015789213)/(4220978870816792046320885920303473846920502536691)*a^(12) + (2541376850610443792784054701577129843739380580981)/(82764291584642981300409527849087722488637304641)*a^(11) - (109165413305836403766720507114487315610522061874790)/(248292874753928943901228583547263167465911913923)*a^(10) - (7722868765559526425759521855512787102881339904627)/(29210926441638699282497480417325078525401401638)*a^(9) + (70419188377361220269411614630579030619537940790351)/(29210926441638699282497480417325078525401401638)*a^(8) + (12109735338864369402000195108145645537490337584877)/(9736975480546233094165826805775026175133800546)*a^(7) - (133004212811270146642741687774198331231581182466839)/(19473950961092466188331653611550052350267601092)*a^(6) - (174969516843631316383663593297122120277089953192939)/(58421852883277398564994960834650157050802803276)*a^(5) + (2405312277039065739342609506331462852781077791932)/(286381631780771561593112553111030181621582369)*a^(4) + (238370990170516416299981422293393582748081173357)/(67383913360181543904261777202595336852137028)*a^(3) - (789407976376826269523265483855992883529741232641)/(202151740080544631712785331607786010556411084)*a^(2) - (157337527309063556488331302424044201494668128465)/(101075870040272315856392665803893005278205542)*a + (15185531482005149062625938767588538263906399494)/(50537935020136157928196332901946502639102771) , (75404557356503123641851395141280917635443269)/(4220978870816792046320885920303473846920502536691)*a^(20) + (50208132177210408741045037750926156998212031)/(5627971827755722728427847893737965129227336715588)*a^(19) - (8209126102303669770474482872313161033736670819)/(2813985913877861364213923946868982564613668357794)*a^(18) - (20171619633644369561310713983272004714429702327)/(16883915483267168185283543681213895387682010146764)*a^(17) + (1592198669245333709631314460693057657507851328953)/(8441957741633584092641771840606947693841005073382)*a^(16) + (230342243634933136585254666438949103489710835969)/(4220978870816792046320885920303473846920502536691)*a^(15) - (8982817376786821547567294170858659350205627161389)/(1406992956938930682106961973434491282306834178897)*a^(14) - (5074204773838880629214198362691284584224416367320)/(4220978870816792046320885920303473846920502536691)*a^(13) + (1062020002005474705462854744338033074707795389642853)/(8441957741633584092641771840606947693841005073382)*a^(12) + (6784791903481441540553078862841359807922605912155)/(496585749507857887802457167094526334931823827846)*a^(11) - (124529188990023247623344440475513176706985487648405)/(82764291584642981300409527849087722488637304641)*a^(10) - (592278295551526908988263015738641743628517461915)/(9736975480546233094165826805775026175133800546)*a^(9) + (159771430615830562205033379466061197813921151822996)/(14605463220819349641248740208662539262700700819)*a^(8) - (3976526397151867960441269582672188848174001133574)/(14605463220819349641248740208662539262700700819)*a^(7) - (1358966935103905448694065679569075439983524241815447)/(29210926441638699282497480417325078525401401638)*a^(6) + (79193232509051443277476442286166075706872248942623)/(19473950961092466188331653611550052350267601092)*a^(5) + (180046753598765881077282015544311336912339593996717)/(1718289790684629369558675318666181089729494214)*a^(4) - (46953122329157765776117494038138462722644674856097)/(3436579581369258739117350637332362179458988428)*a^(3) - (10165481608521516440813375054245351837450314531205)/(101075870040272315856392665803893005278205542)*a^(2) + (938008580473579016732357111753125828960415535187)/(101075870040272315856392665803893005278205542)*a + (1677982266687856871465237314938998235368584402951)/(50537935020136157928196332901946502639102771) , (11997903956769385388236784441265378620391041)/(16883915483267168185283543681213895387682010146764)*a^(20) - (15680212046916934008297781816870157393516755)/(4220978870816792046320885920303473846920502536691)*a^(19) - (350066298586655544581365026714557195605163325)/(2813985913877861364213923946868982564613668357794)*a^(18) + (812224392346797743946436457685263873376332283)/(1406992956938930682106961973434491282306834178897)*a^(17) + (148016646411141820851604585602471951403556691601)/(16883915483267168185283543681213895387682010146764)*a^(16) - (146742091521939670306843431148189707842622315172)/(4220978870816792046320885920303473846920502536691)*a^(15) - (920464666300802761696057648400050374031086576433)/(2813985913877861364213923946868982564613668357794)*a^(14) + (2975595613740993410079433521064963930191435411151)/(2813985913877861364213923946868982564613668357794)*a^(13) + (20249053776138541585672131501550551861633240028771)/(2813985913877861364213923946868982564613668357794)*a^(12) - (2964381852344394905640647678640888103243040872987)/(165528583169285962600819055698175444977274609282)*a^(11) - (1420105254963682080266203979930337636383907386258)/(14605463220819349641248740208662539262700700819)*a^(10) + (2546414764024665228918196162386473803677002258303)/(14605463220819349641248740208662539262700700819)*a^(9) + (7812097431477695738178311663347748706995185024887)/(9736975480546233094165826805775026175133800546)*a^(8) - (28144154671846348424729205095939076250111514500537)/(29210926441638699282497480417325078525401401638)*a^(7) - (224515570814783541735689138793303571112028939701743)/(58421852883277398564994960834650157050802803276)*a^(6) + (83538674256664085919477628881387521367547184454577)/(29210926441638699282497480417325078525401401638)*a^(5) + (8214109484363413589488679916960337904673524543477)/(859144895342314684779337659333090544864747107)*a^(4) - (3439632672663521605925913997651855282344144894193)/(859144895342314684779337659333090544864747107)*a^(3) - (1980104061401655833776584272020702863811150642987)/(202151740080544631712785331607786010556411084)*a^(2) + (31862704990306248791674828075812266233289076402)/(16845978340045385976065444300648834213034257)*a + (171767984677947007355799317153942587415281313933)/(50537935020136157928196332901946502639102771) , (140286335460059766801794402315417639980337341)/(16883915483267168185283543681213895387682010146764)*a^(20) + (147719744829114212248192830911228424718967645)/(16883915483267168185283543681213895387682010146764)*a^(19) - (5643691329035043401445704769042994322780611048)/(4220978870816792046320885920303473846920502536691)*a^(18) - (21381776257315640938927020171600482048411676227)/(16883915483267168185283543681213895387682010146764)*a^(17) + (476684275854638580192495987442612124238089195967)/(5627971827755722728427847893737965129227336715588)*a^(16) + (286427079783601103332814281899151657054052877422)/(4220978870816792046320885920303473846920502536691)*a^(15) - (23573338494152785003475311449955020623158441646939)/(8441957741633584092641771840606947693841005073382)*a^(14) - (5217733513856479180987240235646084861214309885023)/(2813985913877861364213923946868982564613668357794)*a^(13) + (224681778301746372976807564050277394250673962337007)/(4220978870816792046320885920303473846920502536691)*a^(12) + (2359556770068325197502830650872310203777291222442)/(82764291584642981300409527849087722488637304641)*a^(11) - (50614196801150473878156814611935192988693771560690)/(82764291584642981300409527849087722488637304641)*a^(10) - (423390759765974176867041452175089516522855975513)/(1718289790684629369558675318666181089729494214)*a^(9) + (124019808950702940676594452115925890103552118776269)/(29210926441638699282497480417325078525401401638)*a^(8) + (10595872623506730160539889071232666851100340095071)/(9736975480546233094165826805775026175133800546)*a^(7) - (335067633342284797228208018165088614842390224551927)/(19473950961092466188331653611550052350267601092)*a^(6) - (34001970301339779628170944101121950847478955768271)/(19473950961092466188331653611550052350267601092)*a^(5) + (63685287577996814886016286630102794941038835750299)/(1718289790684629369558675318666181089729494214)*a^(4) - (77682522191147385654959740911187643925196170231)/(67383913360181543904261777202595336852137028)*a^(3) - (2320677472361037828248014902860605521193047092025)/(67383913360181543904261777202595336852137028)*a^(2) + (184656867501537175447325430457319125548464686027)/(101075870040272315856392665803893005278205542)*a + (558656481269338419232888917383162995951715604539)/(50537935020136157928196332901946502639102771) , (65086016780699871435415886537895569839665525)/(5627971827755722728427847893737965129227336715588)*a^(20) + (23323678430706570900304711622855373072487765)/(16883915483267168185283543681213895387682010146764)*a^(19) - (32152070432188318818258207995050669733923803533)/(16883915483267168185283543681213895387682010146764)*a^(18) - (1649286097476204896287548403038071333547770819)/(16883915483267168185283543681213895387682010146764)*a^(17) + (175152586320133557537914429912151201295400267277)/(1406992956938930682106961973434491282306834178897)*a^(16) - (19999120570541145354446870139938100058909689658)/(4220978870816792046320885920303473846920502536691)*a^(15) - (18030367941508353966539558243112092384886985540004)/(4220978870816792046320885920303473846920502536691)*a^(14) + (3601140354645616594859001592571192913675460641347)/(8441957741633584092641771840606947693841005073382)*a^(13) + (361033470723276484293356017721694579146714335650011)/(4220978870816792046320885920303473846920502536691)*a^(12) - (5616933148329166715446879531249191928037002435879)/(496585749507857887802457167094526334931823827846)*a^(11) - (517335305686310549123776203927601523977777563781001)/(496585749507857887802457167094526334931823827846)*a^(10) + (4436696120452173601169369557337725050272847871007)/(29210926441638699282497480417325078525401401638)*a^(9) + (37589638752103534918408283316999538524694874416959)/(4868487740273116547082913402887513087566900273)*a^(8) - (34235668711640079297353263713328171350263446203875)/(29210926441638699282497480417325078525401401638)*a^(7) - (650978419661952776785378026939962334364262711827929)/(19473950961092466188331653611550052350267601092)*a^(6) + (305381820209283194308003422963465803487409570134305)/(58421852883277398564994960834650157050802803276)*a^(5) + (262182271951164135627625333988209925541181276739237)/(3436579581369258739117350637332362179458988428)*a^(4) - (39862042188664696850063071601423069269714465598237)/(3436579581369258739117350637332362179458988428)*a^(3) - (2473504539901860789890073266106818420018381560767)/(33691956680090771952130888601297668426068514)*a^(2) + (232652283962227673704912380116465150664406905571)/(33691956680090771952130888601297668426068514)*a + (1215699343488654983924513981184078509018998476598)/(50537935020136157928196332901946502639102771) , (284851451504552243045885569603282271640160343)/(16883915483267168185283543681213895387682010146764)*a^(20) + (339201783351971378782892336798226798443499627)/(5627971827755722728427847893737965129227336715588)*a^(19) - (7228293203591543981896244320523396413375793083)/(2813985913877861364213923946868982564613668357794)*a^(18) - (51272499708184736956112039836864259764389786533)/(5627971827755722728427847893737965129227336715588)*a^(17) + (2531008604581190352885699894785577657618874633039)/(16883915483267168185283543681213895387682010146764)*a^(16) + (2220060092216077117770315671640266184095271513544)/(4220978870816792046320885920303473846920502536691)*a^(15) - (37126737310760442834825418205280404939533869672463)/(8441957741633584092641771840606947693841005073382)*a^(14) - (130667468945385469689075699000350887285032001761139)/(8441957741633584092641771840606947693841005073382)*a^(13) + (298617701579213534951107951060230546566700986761384)/(4220978870816792046320885920303473846920502536691)*a^(12) + (63450575542587770099576922682309515509988328893938)/(248292874753928943901228583547263167465911913923)*a^(11) - (155772435908238134737698510775380936956747259812792)/(248292874753928943901228583547263167465911913923)*a^(10) - (70489839872903583015871233153473342274661771056731)/(29210926441638699282497480417325078525401401638)*a^(9) + (83088404070928336897136956426093953510644503544731)/(29210926441638699282497480417325078525401401638)*a^(8) + (122783268960068853346264703390056414485984785477787)/(9736975480546233094165826805775026175133800546)*a^(7) - (96790458267742507409900509482359137735365769033693)/(19473950961092466188331653611550052350267601092)*a^(6) - (1950520898256571448792211270692585794041995422288009)/(58421852883277398564994960834650157050802803276)*a^(5) - (2306317480261168275402806101168268836685757792992)/(859144895342314684779337659333090544864747107)*a^(4) + (127339014081292989344143054536155867583971615300479)/(3436579581369258739117350637332362179458988428)*a^(3) + (2455680735811434124531543345763812632008650386355)/(202151740080544631712785331607786010556411084)*a^(2) - (473834778304822015221714426396804246250109237967)/(33691956680090771952130888601297668426068514)*a - (112472426838034177271172431406953275380502123268)/(16845978340045385976065444300648834213034257) ], 26055225840600000000, [[x^3 - 3*x - 1, 1]]]