/* 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^16 - x^15 - 521*x^14 - 352*x^13 + 97262*x^12 + 111457*x^11 - 8578319*x^10 - 7737475*x^9 + 391096418*x^8 + 106474606*x^7 - 9220425289*x^6 + 3780858515*x^5 + 102878217925*x^4 - 87419452512*x^3 - 457661368284*x^2 + 433370758320*x + 437343265328, 16, 22, [16, 0], 462732306245995722656474121747020143758680081, [29, 41], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, 1/2*a^11 - 1/2*a^6 - 1/2*a, 1/4*a^12 - 1/2*a^10 - 1/2*a^9 - 1/2*a^8 + 1/4*a^7 - 1/2*a^4 + 1/4*a^2, 1/236*a^13 - 13/118*a^12 - 7/118*a^11 + 25/118*a^10 + 23/118*a^9 - 99/236*a^8 + 13/118*a^7 - 14/59*a^6 + 29/118*a^5 + 29/59*a^4 - 51/236*a^3 + 9/118*a^2 + 17/59*a + 10/59, 1/65608*a^14 - 135/65608*a^13 + 1109/65608*a^12 - 4817/32804*a^11 + 10455/32804*a^10 + 29461/65608*a^9 - 12901/65608*a^8 - 12153/65608*a^7 + 6821/16402*a^6 - 7587/32804*a^5 - 32165/65608*a^4 + 23985/65608*a^3 + 31323/65608*a^2 + 16197/32804*a + 6875/16402, 1/321035756176800321337459069415982798473937207108038960888283649879421008*a^15 - 1158644171214648419675466290975699187954007284325791446679804897381/321035756176800321337459069415982798473937207108038960888283649879421008*a^14 + 303754550184691814488120744005105730464551706084901105203036431427775/321035756176800321337459069415982798473937207108038960888283649879421008*a^13 - 4072922036129412747748348592672165821048977068694752857566825193421427/80258939044200080334364767353995699618484301777009740222070912469855252*a^12 - 31558603806258229750859464989420502702240631702357836820808995351461775/160517878088400160668729534707991399236968603554019480444141824939710504*a^11 - 30948592906570676610186101270999404768131154622651171571927652212017303/321035756176800321337459069415982798473937207108038960888283649879421008*a^10 + 82253407873718542161830055927151628084427914483729753542819803818574253/321035756176800321337459069415982798473937207108038960888283649879421008*a^9 + 30861789342179779599528774045615254731335103033206979530059168854119093/321035756176800321337459069415982798473937207108038960888283649879421008*a^8 - 37647327168511590353257372402839670282555682365560762658993833034365477/160517878088400160668729534707991399236968603554019480444141824939710504*a^7 + 32620331139310392713501630099016848878443272748526294213603071702496145/160517878088400160668729534707991399236968603554019480444141824939710504*a^6 - 43249850811297512642457549120298053521349851051632546515375263540426193/321035756176800321337459069415982798473937207108038960888283649879421008*a^5 + 29113854011123939448783532533951335619716432855850426609209476541195303/321035756176800321337459069415982798473937207108038960888283649879421008*a^4 - 132384494305102130014089595765244255971788289456627326984117563391754683/321035756176800321337459069415982798473937207108038960888283649879421008*a^3 - 37309707977724838863602661744213478950854223584924055721068239263787285/80258939044200080334364767353995699618484301777009740222070912469855252*a^2 + 3655808263463726653623206245515932377771774414467890254278452306437114/20064734761050020083591191838498924904621075444252435055517728117463813*a + 2562996301598481816209831867085095907555422439814516616982538910678367/40129469522100040167182383676997849809242150888504870111035456234927626], 0, 2, [2], 1, [ (89372218396978855714581142993353322690)/(28552360075321360965868551680818843243021790077)*a^(15) + (211290383725492077067037860246998938560)/(28552360075321360965868551680818843243021790077)*a^(14) - (45832628270796237588743282938047560235140)/(28552360075321360965868551680818843243021790077)*a^(13) - (185650294365200098843944615489849887264790)/(28552360075321360965868551680818843243021790077)*a^(12) + (8059443192541381521491264806709863573213910)/(28552360075321360965868551680818843243021790077)*a^(11) + (37054300025307310717525209605512759375623400)/(28552360075321360965868551680818843243021790077)*a^(10) - (640882456963449785125572344931625466258658900)/(28552360075321360965868551680818843243021790077)*a^(9) - (2843430742284075308506508209691135807532208170)/(28552360075321360965868551680818843243021790077)*a^(8) + (25344392479319980754616877399908311362578459310)/(28552360075321360965868551680818843243021790077)*a^(7) + (94558840642234128250227682823108622147146277810)/(28552360075321360965868551680818843243021790077)*a^(6) - (507024428196643763057436374345639887706725436180)/(28552360075321360965868551680818843243021790077)*a^(5) - (1365535592651797322343658383255197527453762501010)/(28552360075321360965868551680818843243021790077)*a^(4) + (4700014430464559205043786133953435954804301473800)/(28552360075321360965868551680818843243021790077)*a^(3) + (7987900948315445448357940109179443820246109395000)/(28552360075321360965868551680818843243021790077)*a^(2) - (15718088301932644051064582614415516029941384355840)/(28552360075321360965868551680818843243021790077)*a - (14032652242304043232168320334561928850286989802109)/(28552360075321360965868551680818843243021790077) , (108217593235454327167063694334785332147796799694496114685057)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(15) - (733638265163970196724532989140955321911612634341117411464855)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(14) - (219675368143842823609838621824373016737419005582317121577854437)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(13) - (14193771405064715363730388483327468639855118471254500845316817)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(12) + (9878961752053213953912907763433988779875238087386660821867312731)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(11) + (11082092324558058138313731353702224923945766768595113419359504003)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(10) - (3281657578741009753241881707634818452655958641604078762281566742643)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(9) - (912585649579155705521178706165358922859606050394162666535597171723)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(8) + (134694159437348326707540224768933115133201156861280738288110913512017)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(7) - (31063452090911431879633138741092371995917262766272267763210044969951)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(6) - (1294367548913363670186400111325971295577270476521101683062063959798835)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(5) + (3410382170832727991496221646480980908545234797991574147468456649910515)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(4) + (17458674648616443825078436030047800835615373211770396133955505126157971)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(3) - (35002844178031442739314866814091649198283535771276322535643258084923767)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(2) - (492750187419932501814114631569245073563867299778704597324736639284632)/(241743792301807470886640865524083432585796089689788374162864194186311)*a + (4200373592581534791704964563930387941267611801382072336489680060257154)/(241743792301807470886640865524083432585796089689788374162864194186311) , (195358643262748215063922188995568220528633783077409170054157)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(15) + (979477546326721278823518551227472514825192566969363858060639)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(14) - (399682544866828891923678658867190929316518140769759011396303711)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(13) - (1193405547937335795397600121996900458098289887917269234631226227)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(12) + (17688953334500489554149223223296481318999979817326063687963631537)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(11) + (125013399492739191310879211815163901029680097227576240356582679485)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(10) - (5697957078948511163509925336641246139292039680542263389606470937721)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(9) - (19138533985095732591521232338061990813417303391989603423647552160689)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(8) + (227803881967490748284368875667955492859042425031580895441861202181323)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(7) + (307064586830931551575785748343751128753414954323480039890743088893825)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(6) - (2257100005219906572650377681752455114895022349177062679373421116080161)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(5) - (8307802958764204724633647177744427373307877761128356031259727496596515)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(4) + (39307101460687687270566872106222383660970266179891144886560435802867441)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(3) + (48016622411433175568826935596370027750938415519570200517614519318528163)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(2) - (29439625329346966234649663744538884356695836956639100034684724656929000)/(241743792301807470886640865524083432585796089689788374162864194186311)*a - (21403832302237771868170183583889173780928951054405017856551626533350857)/(241743792301807470886640865524083432585796089689788374162864194186311) , (300918152799846612223006307776917890245021188333823728734412)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(15) + (3277545868209822317370376497151867221910670070002719197357357)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(14) - (613754250510304249933173109767395159123786054929566852444426989)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(13) - (2717955349997135081662716942108112979989491958149696388698574017)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(12) + (26599805911445297983336531884902159491206393836503288339875734872)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(11) + (266640621981625501471096816913176112544923288090747616738187410425)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(10) - (8237888748451351693966243071075243478029954102757849041914327586151)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(9) - (40346754999653175247636986088162509295178421414359693567347784001891)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(8) + (311144418063069249905109594247946415795509016415331431856385636428669)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(7) + (653658601230863501912703499407146650254649427887658148000271351648147)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(6) - (2884543505078007388887835592796980291550992590787431729735493865433511)/(483487584603614941773281731048166865171592179379576748325728388372622)*a^(5) - (17497893834975028334419677571279253684804094749495507274428756992635189)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(4) + (46614405619825037980635579065830047601364852812492142257832905087679063)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(3) + (75155182941623948613229204456861599215620683841716866636503897336650421)/(966975169207229883546563462096333730343184358759153496651456776745244)*a^(2) - (28992025311439644582452422119124027331255951535299647766160629376007384)/(241743792301807470886640865524083432585796089689788374162864194186311)*a + (16516555859960839530053518450115870229736735808626074854236490399851249)/(241743792301807470886640865524083432585796089689788374162864194186311) , (313034157008919523085197066807889071325187918287811621229484)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(15) + (1091760977810168417629626407358870215429037260318049090168173)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(14) - (158005193606707032774291229918118687042100611870585422900938039)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(13) - (821204517833595021035922405941868442703817293783386798065881556)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(12) + (26675352356303156285443374101595694615091675984959148648958191311)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(11) + (155335102026794969319005228140244217166090346131064854957554433062)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(10) - (1973528724945951842995666739960008529602741402210807578083789938478)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(9) - (11385030705982424732448516225291276908037512887624772145853735949398)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(8) + (70142273507611060166334704644879122245913934381929562924198687088933)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(7) + (355258762565292104542203145661534329094721981328367724669536167549152)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(6) - (1243492018526190233761683814835175925678032280857794205243576931889127)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(5) - (4613103691660979997842986644362689929806057949600914569220481286367242)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(4) + (10523489206745423848322851129042331664145559977298410218089836410349730)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(3) + (22551030859910754680032628290532906049530950522857103535598497800434346)/(241743792301807470886640865524083432585796089689788374162864194186311)*a^(2) - (32926360978567774331284431153186020279352712622796086289307634493775824)/(241743792301807470886640865524083432585796089689788374162864194186311)*a - (23502355970975056543265410604489247513879574695369199527111924370071917)/(241743792301807470886640865524083432585796089689788374162864194186311) , (4024490186018585987961613638862922652461274216914183528129310847)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(15) + (4132171601123688287185367535818771835267386970337487608085511813)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(14) - (1034330231281816219578390354097755168602500662027602088129258781457)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(13) - (7753376968300150113535394350946248661990046795836692655871749044529)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(12) + (91618671780709361340207813270965209036267487685618892336403208074811)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(11) + (1573595954161953835987640709358766872162824047791560541506084589058113)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(10) - (3689512924182945581994530920046507203504714891099448139847460395383594)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(9) - (60977035685802319170865476941980817332190618365020137257851329370312097)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(8) + (1187373932033194037976331889451515806697694986502308564677798956535835311)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(7) + (2046457855650618255307658942980463773241033073643815428998263401397573153)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(6) - (24147917533766510454313514758818271465449919122427539567350977045023950581)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(5) - (14904652999178720534110632572283926980530931551130126010461146807532743253)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(4) + (28168212896729586263012107990545267595268329210011201788184884783546736677)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(3) + (350021838492459777933300048183697431729089762460700887738071083495820611925)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(2) - (368417403665357728495820236043045976023699490511098995087619150610926676163)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a - (140462459414125320739253482228570460174072655625833606429239341492916893649)/(40129469522100040167182383676997849809242150888504870111035456234927626) , (624797834653245285274764290488660639980266220069289219388826691)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(15) + (3659796578532083718188727133005543070490068417993007143697853719)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(14) - (319360967898759970503594095029175755363602809833731400319309249317)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(13) - (1202756001753142207006161635403814738046646919019935436432273248711)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(12) + (26972076573606923752249253612254363704540202029532060777554937355605)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(11) + (453585760767162660798277477288229304577738779616363563218472002095519)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(10) - (3978526877556238516254773597675533514540664926269792347330263279356619)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(9) - (35362535603349867060726370997832355782907297792889587665323424351587799)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(8) + (35912880853946504920366422242315195577519103426278844275744894019455981)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(7) + (632983719988417322196812884434558562043949560259701542182118393539442279)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(6) - (2839947554085701316783252126069145288752162718126127647410944138963266695)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(5) - (20831216199338071038655185517383001243360919783114406874463141576738481049)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(4) + (33368086281441214882220639359321923147482113984667640390947568576199660477)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(3) + (67631284466681686774938315123080103687436862017342279381754230984862190279)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(2) - (44458870560407396063670313070941195730947251781805089201529305713846502289)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a - (9733589124871208366828248788311508348012388432687979190660167024376605947)/(20064734761050020083591191838498924904621075444252435055517728117463813) , (1616340751959775150246171313746894975921392784617962667042170135)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(15) + (4046907960919522318390861050791487478522953288782612828226091387)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(14) - (1674481526922964536308461717706275312438786585248657340113750754519)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(13) - (4910805926344828242452062068201855390457965969844707097027365397485)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(12) + (151519569658983461695553198146933124822126375171416568105409157809837)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(11) + (260824910719832658241442009828485866449810234331170676273721832806185)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(10) - (25323649784810136261288223981550719256148983738235205231161121099240765)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(9) - (82125580421315033921855485499211327275349936928151203113431045094924429)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(8) + (1074419099738136015252637584647199945606663751692095994917643068035963177)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(7) + (693182641919007391493397826638891532083180789731056457929778897233052411)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(6) - (2919062407697896591410007042802921955484631794323133995203855392523604741)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(5) - (40855010875151698947558082930099501084569462549260192414313740953954741103)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(4) + (236501173802274286517897452664598230198908297829583799521047481234645591253)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(3) + (260781385553251112402566039500857821508913116865889665838309664463995471705)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(2) - (433503778850105796202070683538682728871184188235675363455866314136248855357)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a - (152047126747416748605720456569074564336516482895986711788937843398760398547)/(40129469522100040167182383676997849809242150888504870111035456234927626) , (2346169151012101568030057713918885687968428773874918906098275151)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(15) + (6035792479300384988166457366788146476870178593346881424904610429)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(14) - (1198746291219203200685432438345518433492861549084817899542230244019)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(13) - (1272693890473934623363528565610337870400665639586181580497850608473)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(12) + (104525298325359267829096614066867543219407171048603576792985926494239)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(11) + (998063635709495779253089607937599778219013902449518440384166937331695)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(10) - (16432504217065373934194641638249758198943599463788534227398559183409965)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(9) - (75177134920263510177256648325827293022690160642975749493983634833255737)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(8) + (321846018975157795553658226899606324826550956729604847261563505953471941)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(7) + (1222647072928117778412626430840091316507044584485780872019803162633548819)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(6) - (12898343200508775376802738192630461014038331205735275731977804212227588503)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(5) - (34680070354720070410130341962223500842488537951484679133217979201387511279)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(4) + (119955755114807366651075575925872124489144639839511149926372486023973031143)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(3) + (49633472846707537649875145390168717293245367261302897442452819872448062869)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(2) - (49209568198332475673117019531836291705379996947005899025275318795716640909)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a - (38714029348755441007405475385555500383191082402851362169153683512665192177)/(40129469522100040167182383676997849809242150888504870111035456234927626) , (26538354689284387783393155549140648928481728270692596239021972987)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(15) + (48246794336821193536320061002029215876218237667248232866033618325)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(14) - (13702180927641355700228764192982986635549426133715324530801213037427)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(13) - (6003563846268915140697986779613192540425476104659458016618153719071)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(12) + (1225754390226087188690295201581284315943057863446883456640661989251783)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(11) + (9913194928887371535201157239728305472803121744000553345355933277619411)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(10) - (200581486639967966429974401010185583045587647127683447597112025264172973)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(9) - (778860574384570473769910290182671089534143972324159184642859125931832969)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(8) + (4117235409720612617736943780296082134617317375418846824428869822004332955)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(7) + (13300557193591930505362670521655436739344965586190256406963041288896490767)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(6) - (170736439297322366608688403097408105523988954621841684826666879942224506347)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(5) - (397006565396418745178373466639143875789213293209285140656714463937507489839)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(4) + (1612094139349517005343557626735956407602754618040165124493222017431254264335)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(3) + (299808860726511344990589067707722802642298488175817706597722879262356565571)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(2) - (330473583233073446999685693808239403820165194110572377247595932929860588817)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a - (498067160837040919382168810356856345480940482586426047038754010840894349359)/(40129469522100040167182383676997849809242150888504870111035456234927626) , (7989376981660950396756908001957360072120930383061917265576336749)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(15) + (26735683964139668074866163411919907452964026063808430432788929597)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(14) - (4047118420986070787283968237845700246501726033172386455055909529723)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(13) - (10207408580450804522188124455010298571601684986915990249398849152625)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(12) + (344416798085317595351389890515450084898347226691036217217463259069687)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(11) + (3890705684628147766363784299128831933700326060117565203688407079725929)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(10) - (51719055643356711847908158244483349125269500462921361798361312681004081)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(9) - (287663873409118892342964635705686178866394060444416022787623899234788889)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(8) + (470549581003674579320173019518973821413674469180237760379533037935551905)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(7) + (4552996714223760264446028503206368200125724483163894212638744289744997757)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(6) - (34422114016401373513866427120642468583520968726963362836517046358164255977)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(5) - (121742289856346493492893002759985926917066107360618705850183786549691569059)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(4) + (300333438845078761744908595839677350852947553736057567976967665820190735971)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(3) + (318903931763615107293158432340491690564453647727828612356435918975037176869)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(2) - (241769990953827444356598638169021713827324589644690362787343574600682698723)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a - (55147597474981047211337497859882848860203533570989688783927387292429946300)/(20064734761050020083591191838498924904621075444252435055517728117463813) , (1588010112319993952345472269937837539932681743129453839980736537)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(15) + (3200050540042245504669444560571775536389504182880295488520943783)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(14) - (1650400734032390826783027505104622579699953884039702666574027335915)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(13) - (4447452710346007289120163623873487235928157522520456709368296109877)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(12) + (150522176716575776625778976567704650842392159913171322940818034975547)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(11) + (121000593139609337705277479251170208949055440261361460925276750336482)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(10) - (25470194360657484435550466224223196904856346349252719095876488451799449)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(9) - (77388654373297888533077231229434540923352984986338339881880414132243849)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(8) + (1097394772213857168457831795014578597355713494099173447962941505869136169)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(7) + (332328418503459046311228845823440298577423778287959073473656051835662880)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(6) - (6053197000653674064005007199644266959887620783162617922521959687634786813)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a^(5) - (40093041009631200441492822753440245049611446445107463801535278105350998267)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(4) + (248271475401052030562106860526010666011904812495302252134758650216204654729)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(3) + (263055820187202656205288934024375123370289712963080977043370598806114027833)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(2) - (458947659711807410516269787101903021770942800823108743031680631739068997083)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a - (159849598545918642554997113210165056997595975433301391942251688295009205665)/(40129469522100040167182383676997849809242150888504870111035456234927626) , (75112764228079290223062080217056867359215953508012494313606635)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(15) + (112646179146282471699309357094619788321910821189326652460749301)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(14) - (38468884220177592301617400442061752662144969749381859113821891395)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(13) - (63532409388389708085602709109378984221227892044912087289849820571)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(12) + (3406952803347966316557046069951987882092546099506365041305466831545)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(11) + (27095649248167565658939839674060256175623411576137123873595362985167)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(10) - (546930218806184331922538286376770386224855887090853239571228013954145)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(9) - (2184236468101812750583484518027160888171691202382593825135420628141605)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(8) + (2695175937323128526018852325828838460498183409397663758680786190824590)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(7) + (38180662779639685235321166651087135056122815399019816070972451804517145)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(6) - (416646910145451690622425811612578588272797545855697899079594708800764747)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(5) - (1139797465533018924998746449268863770890687021197067311630796078518066451)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(4) + (3672839687193067011278045837378476452566474202760126831434972258115470911)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(3) + (3391932943110186138411253945135732040784907658969201920029204100691679265)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(2) - (2902790231680503057797508807343746876743714139891810905472699969600979855)/(40129469522100040167182383676997849809242150888504870111035456234927626)*a - (1471208580678511473273685339843598643453986211657948945818642641189637309)/(20064734761050020083591191838498924904621075444252435055517728117463813) , (2399523185277131260916572036783519880986946939666897748340616559)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(15) + (224726041852263337318002873336329067366527568699808772888672672)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(14) - (153528826038562781814098083814960525191125011936828260560882781431)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(13) - (3187160716649649135650344856438210607468451650981829081572431894169)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(12) + (27541631606857817557072011282227130309730094990530229940167175743025)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(11) + (711014484275830448594202911749924527946903047966053971873054908229697)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(10) - (9128509705635113089175706695738810251611676087593765837695044680491291)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(9) - (7125755906862827751031567753932787155042231885100037696973346160334576)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a^(8) + (767673370046272618322317308800540354363836003711592331908828943552962395)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(7) + (972477462189765115471724608965834549228251825089076931785532573909791537)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(6) - (16550568974115207106665441619625157143810866310195134667897015128219580841)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(5) - (14450491184027433426043563642920636301151804078341675751931465362491884595)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(4) + (83419304528501306503573259349723723714026511366970355354283817608361587285)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(3) + (184703867167969437050976925408057869191605047735477163239864178305986579585)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(2) - (304690647710093486893597566930181463339240492157167509138475853488165437253)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a - (106970272683479277005773919893736813483380289692828976304351918318913481043)/(40129469522100040167182383676997849809242150888504870111035456234927626) , (158575128154635195161226798584278864066064099372629667566390755)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(15) + (7071945046107630738195418847793575298733412372074003645155578781)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(14) - (170201660935693234871343736668955892128041466066470005570753185171)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(13) - (710031996825179302520510762499043361014871985716637100519440139553)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(12) + (21920623118273402071288456410333947966462047643031504022595148311015)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(11) + (400359909499118081574911321757333647207035677370364230156557954785203)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(10) - (4829033597876095637491099408091270024696126485146264867760928017803885)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(9) - (23857743442016764658354509646914253629866714437684562885959485127029361)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(8) + (943499014190465760761659714830057356742005465842851346191097765449639)/(1154804878333814105530428307251736685158047507582873960029797301724536)*a^(7) + (273667993680797427396437193551706627610156086054926857501241157795890735)/(160517878088400160668729534707991399236968603554019480444141824939710504)*a^(6) - (6979614885949553789334628639139144562606504226171628575405506525302317939)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(5) - (1451699098679466562265382177283604013689833412035180551653139307698502639)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(4) + (80316791732766841606726108177807212223253510702868425692301297293079181295)/(321035756176800321337459069415982798473937207108038960888283649879421008)*a^(3) - (16435167736890125881683606672366984176124189247538823116375029999413204881)/(80258939044200080334364767353995699618484301777009740222070912469855252)*a^(2) - (19629565998457513903695239707471794164549104640759534301636614695872738910)/(20064734761050020083591191838498924904621075444252435055517728117463813)*a + (53439328317664070474728945717207697316041449530370249683844010266338325409)/(40129469522100040167182383676997849809242150888504870111035456234927626) ], 90185580600800000, [[x^2 - x - 10, 1], [x^4 - x^3 - 302*x^2 - 592*x + 8032, 1], [x^8 - x^7 - 448*x^6 + 1711*x^5 + 61175*x^4 - 376942*x^3 - 2008396*x^2 + 17475344*x - 22372288, 1]]]