/* 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 - 417*x^14 + 1025*x^13 + 63344*x^12 - 209215*x^11 - 4564647*x^10 + 17645096*x^9 + 164307949*x^8 - 710547742*x^7 - 2725760041*x^6 + 13536478427*x^5 + 12517302234*x^4 - 98492861490*x^3 + 80748956016*x^2 + 23338091769*x - 4383666169, 16, 22, [16, 0], 35079212407887857597919870221838606532086673, [13, 73], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, a^11, a^12, 1/19*a^13 + 3/19*a^12 + 3/19*a^11 + 7/19*a^10 - 2/19*a^9 - 6/19*a^8 - 4/19*a^7 - 3/19*a^6 + 1/19*a^5 - 5/19*a^4 - 9/19*a^3 + 2/19*a^2 + 1/19*a - 8/19, 1/1843*a^14 + 32/1843*a^13 - 385/1843*a^12 + 75/1843*a^11 + 182/1843*a^10 - 843/1843*a^9 + 259/1843*a^8 - 328/1843*a^7 - 523/1843*a^6 - 755/1843*a^5 - 648/1843*a^4 - 791/1843*a^3 + 249/1843*a^2 + 914/1843*a - 251/1843, 1/15193615730213013987584739141485063793821558444232984346833114282659467*a^15 - 2256734403702128011876052642986659931886680452247217678076417727432/15193615730213013987584739141485063793821558444232984346833114282659467*a^14 - 75411261339282247728421571758337066270133539690526582205696064252875/15193615730213013987584739141485063793821558444232984346833114282659467*a^13 + 7050925904439932944313271353016041914977279223713235865004141049425090/15193615730213013987584739141485063793821558444232984346833114282659467*a^12 + 1387716668998562261296528246502760799984055593820094058167687600390664/15193615730213013987584739141485063793821558444232984346833114282659467*a^11 - 285805674203463574354349146062341738584114918238331394239478891667937/799663985800684946714986270604477041780082023380683386675427067508393*a^10 - 925143231519738512921854392567486073755398651323773416097018095316139/15193615730213013987584739141485063793821558444232984346833114282659467*a^9 + 1230300983754012705052026436699642876259832337989307727760295676338750/15193615730213013987584739141485063793821558444232984346833114282659467*a^8 + 3945941833591044406292972993611089116350403785829894170770291607625423/15193615730213013987584739141485063793821558444232984346833114282659467*a^7 - 3808358008447854081514058009056653859514559332645141774266164067026877/15193615730213013987584739141485063793821558444232984346833114282659467*a^6 - 4517215043997574123761322613822850161572860846368837678223531775882231/15193615730213013987584739141485063793821558444232984346833114282659467*a^5 - 4693132384868353498396459590748130040285545218536106176227581381718171/15193615730213013987584739141485063793821558444232984346833114282659467*a^4 - 2719252626451265385943137273551508263916162379173587320656751856153271/15193615730213013987584739141485063793821558444232984346833114282659467*a^3 + 6170425172310820516699011323675654674939065395732923668615416973821516/15193615730213013987584739141485063793821558444232984346833114282659467*a^2 - 7254214174155475399071242754927601769045243474893517539594380783901267/15193615730213013987584739141485063793821558444232984346833114282659467*a + 6041851910796394993695167036538832049607043154948235275747728843150165/15193615730213013987584739141485063793821558444232984346833114282659467], 0, 2, [2], 1, [ (206669200584559970886411644255544418604710951352755)/(134051182487917333889468711637566053191972576436595700856979)*a^(15) - (795165605570418989347860064567662218754121894298948)/(134051182487917333889468711637566053191972576436595700856979)*a^(14) - (89592045720829273929507560640595083563158649093089864)/(134051182487917333889468711637566053191972576436595700856979)*a^(13) + (445350808144718100590661592484081262714407266440927920)/(134051182487917333889468711637566053191972576436595700856979)*a^(12) + (14076504990550915071433918169745870828682203895559400809)/(134051182487917333889468711637566053191972576436595700856979)*a^(11) - (4121262998837729995154177245885506902633703470951813620)/(7055325394100912309972037454608739641682767180873457939841)*a^(10) - (1051997764356975694863614725658511475836865781755808700834)/(134051182487917333889468711637566053191972576436595700856979)*a^(9) + (6227263834955196582666165362890256707875759676759505843905)/(134051182487917333889468711637566053191972576436595700856979)*a^(8) + (39593449633646256205973162907313835540964523240984349859943)/(134051182487917333889468711637566053191972576436595700856979)*a^(7) - (245468103537183804140012788633615651419087476970530908730557)/(134051182487917333889468711637566053191972576436595700856979)*a^(6) - (694651827735411946620182686102149387352533259876543883807186)/(134051182487917333889468711637566053191972576436595700856979)*a^(5) + (4652901648538666993935139084890208761809207976552436055185939)/(134051182487917333889468711637566053191972576436595700856979)*a^(4) + (3347669591034256617067851996628837614109204112953133448378617)/(134051182487917333889468711637566053191972576436595700856979)*a^(3) - (33677456998851884126013440911725280624194565270270577962350247)/(134051182487917333889468711637566053191972576436595700856979)*a^(2) + (25572698469968712694817213282067811883904628998324211610944385)/(134051182487917333889468711637566053191972576436595700856979)*a + (12037862752982898017836920738790973536001478897313197739500509)/(134051182487917333889468711637566053191972576436595700856979) , (367833390424316180054984303243162386723033277850601)/(134051182487917333889468711637566053191972576436595700856979)*a^(15) + (646510013639124477559792882541356948958253774179761)/(134051182487917333889468711637566053191972576436595700856979)*a^(14) - (148308827460792752765366264890603221617345133038601210)/(134051182487917333889468711637566053191972576436595700856979)*a^(13) - (5798500800957236255562518713831829273351989040684149)/(134051182487917333889468711637566053191972576436595700856979)*a^(12) + (22037423737732756211027639474035460720442787655566126932)/(134051182487917333889468711637566053191972576436595700856979)*a^(11) - (1263257753027077430302759824837790920480151437846827822)/(7055325394100912309972037454608739641682767180873457939841)*a^(10) - (1565374184022343769687290310021529190863001526993419692275)/(134051182487917333889468711637566053191972576436595700856979)*a^(9) + (3040232668929579335303338471505303770642314680253761991720)/(134051182487917333889468711637566053191972576436595700856979)*a^(8) + (55977880249747349662876771542603186187627680891612241214930)/(134051182487917333889468711637566053191972576436595700856979)*a^(7) - (150489660353838595764666256783914231911757881642826682463741)/(134051182487917333889468711637566053191972576436595700856979)*a^(6) - (932366334279134630965501159894649875047146469683907356483685)/(134051182487917333889468711637566053191972576436595700856979)*a^(5) + (3325349356134248408439618806017601464268875753467581373936875)/(134051182487917333889468711637566053191972576436595700856979)*a^(4) + (4435627939130827263305411600157651688434789387953149706801086)/(134051182487917333889468711637566053191972576436595700856979)*a^(3) - (27132398903758635599052871086406518306062654250381611606240904)/(134051182487917333889468711637566053191972576436595700856979)*a^(2) + (27281147192914332977403863585322370610432744241784578440313176)/(134051182487917333889468711637566053191972576436595700856979)*a - (3063425183001104257418094793333774328544194697701061116138300)/(134051182487917333889468711637566053191972576436595700856979) , (878609480413358840562763943894586388530820466468044)/(134051182487917333889468711637566053191972576436595700856979)*a^(15) - (3494569881105667590880339282271687285522551890103734)/(134051182487917333889468711637566053191972576436595700856979)*a^(14) - (381268454608832739198195826474721912336169574173633947)/(134051182487917333889468711637566053191972576436595700856979)*a^(13) + (1939988467089636615828583738142652962240342709061348516)/(134051182487917333889468711637566053191972576436595700856979)*a^(12) + (59930817678400537214610883232910241449535030409354764109)/(134051182487917333889468711637566053191972576436595700856979)*a^(11) - (17897220339417732790258615007352928461334500517153079426)/(7055325394100912309972037454608739641682767180873457939841)*a^(10) - (4479074666254245658860539457638300562209569202759545490546)/(134051182487917333889468711637566053191972576436595700856979)*a^(9) + (27007833435933377329128481533041159766125020310558898296747)/(134051182487917333889468711637566053191972576436595700856979)*a^(8) + (168478628010022333685440522876218127571981285633789551635485)/(134051182487917333889468711637566053191972576436595700856979)*a^(7) - (1064159815467433417018118636068422871186596501900422122361084)/(134051182487917333889468711637566053191972576436595700856979)*a^(6) - (2948467465555007557411800434769189747926665705498710080323133)/(134051182487917333889468711637566053191972576436595700856979)*a^(5) + (20172787890377578268842664323306099984692325716029345572550723)/(134051182487917333889468711637566053191972576436595700856979)*a^(4) + (13941537756902884930741645139904016505000225237701209277021637)/(134051182487917333889468711637566053191972576436595700856979)*a^(3) - (146063945922004968609012481070486562531105640842799693590327067)/(134051182487917333889468711637566053191972576436595700856979)*a^(2) + (112504381730978266018239163954350386541193847732583825329291916)/(134051182487917333889468711637566053191972576436595700856979)*a + (52135820231278216241207582078078207395634960232669792788797475)/(134051182487917333889468711637566053191972576436595700856979) , (4600848210542299936608369143672889803994736006825637996867078)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) - (46717036648145218605226149920486470494894616463427680990189468)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (1945995073666815718815330051984670033714543268117084233951537667)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) + (20390121684286587883273486295314869381122853704377377686527992214)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (269591293111145277637951695539460193762778997827210670685359599931)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (156801833103076786719570957062519499108782812115772516643863779131)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (15170102618012054937633922782102001874051941888652061709661779759370)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (192106329230067032860646267285264285566581122295800026464171412022702)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (273081523079317915337484086993553354630235428592188235818834953181563)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (5574438381795545032724235314908911001189181455017208664014368128632740)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) + (3205820308700957937504962204826520535519109916433450146281829031284024)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (59411983067036261256542827246676734462647593651245715543322448887235364)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) - (107749794538090231120592075796071938103932286725015361352435214263927225)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) + (3285930695108043608343199392016123734004264665228018628328549473272425)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) + (10595101767321308430599464397575647811782669029991816766681560951247763)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a - (1305039376809000290257647482181718561683961882153752329141473338368040)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (13633357491007907848769408622587314898659295730293825869940029)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) - (487278014947071901983701625959464052696175184710700615201702960)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (3949344329478320321500423279378891634876678185275392783353119640)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) + (200081311389575063596580152208853077102355737822621701318600272713)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) - (97163921954605763264794803563159183877948380269131385154677579221)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (1454223047052609625573274034605840852085067879139603239066914838597)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) + (90731756262788762459531538435602390708094172346999710035431285054168)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (1637582511989152730892904982008297731387172881127204595316669683579888)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) - (7858394713827758602140046794431950184606069264960900105854983935981292)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (40109030696732685584251566769134988441933790804459212769601374825858296)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) + (247615457586645513120793038740713017674252359848168611985352795398443914)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (251572221983119725998791127835018978059503094639950072058888087228485680)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) - (2629150994509790728849030437410310156306271193875576770035070255278808809)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) + (1776669370046549133084763342072444505151386052101914230974072657193310109)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) + (2098412122684538493849162858860312378036095793748499719592318318325585742)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a - (308377277395983236476062220312813894335087545579399994802438135282153277)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (52118611793752300694262893473175007054308974703806183505462006)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) + (323990265998442319340692966136241643613069537782426744310073691)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (20060415610545200383582439550223925748954372759190699287227045325)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) - (92021406143313297210108206125428317570630752845296610832169108785)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (2892924128719427583199333134129887171406033825995810845052370120670)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) + (27194892863790602787105829377237912624388743392516598509876954801)/(42087578200036049827104540558130370620004317020035967719759319342547)*a^(10) - (201705017291816948504010242771425225314160063212601493516877181451818)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) - (482755750503877032423194791832585175282593254649556986060756619583110)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (7187985908597104409633825703644709267140734014515716184106580239727752)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) + (10359296607238130398149347069802576013499970707111535494872847089708808)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (124633253256844977946964525207216874323953431883338827207998103151521760)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) - (49678734625637079601058582145355801785880351409010954722531667376857387)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (830414649978755968344697876918419256806019270640682649657639994072089044)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (646102413498932170824782028501989995978265006214127606561196925570784741)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) - (219983294888904185837197791492046579152002598405926957871794218209667015)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a + (47929243336405606832970315268105821685597977871549507085668662997403409)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (52815330776600998421468805417309195637140228504086682757045339)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) + (104393860758622167075003864520030529975175420684720303264233151)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (22021517856356333409031228690175779014708195582624194088053196239)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) - (10732696823281806308051541136939871847032985816451666912495680962)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (3435845493992630603666053285512503199905177283583034203116647287969)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (67781975298961074139361470051669302302652891215289266454632041617)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (261714839266673618212586532903249251844011233798423800305841920227414)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (234465307120080536571002078255086946835515559592202721347221665912227)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (10379110730673260863875284812979244740338363187276476829159645979336206)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (12457937092122143133434185582453945899545862720477183018586684641680969)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (205443178673718559095929199077720573535666578886081270236331303702248263)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (280706510622116602519642540807811850326230995054037209510886459442677250)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (1606063589595803766001863815757806003688793008877503074235344026323270412)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (2256139883377228140854591823927044884785529075708941557956870832985365220)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) - (544733965100602125895977046853101029526985994714268780903413587859637798)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a + (110593412906131959525728760437972853473462392979492197399632797564227058)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (2791689581472028288000443676467777667816612838697911392247742088)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) + (11034817785116582937018555460227532722961961539482839834322705011)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (1111125137397213759765194566464226777661705280053534021786481598302)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) - (2633123619653395562458769171676943860245588352833276667753737794423)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (164387760038333709664489361736670206356394884496803244392624698211426)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) + (11909039648793513664667610908006288073953560453998365151420053130145)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (11689722467908801962193224069991570067150180536342903075068786848247606)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) - (8154699255321013903710840248088441813373732142740238873448276347471736)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (421442640412719620970923228290399385967471697128128280972876293863041341)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) + (79481922168609134663195284011803372202932162613596623226317035021295139)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (7275802016688247642545482918357415740963294853156111457788722821776124570)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (2274998892835278398517485822605772908347704496479855987921925558993439575)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (46452256927719998858994167379048343147072530214167012216523753562678013734)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (48851793998799925011062068709287392227202107092683273636874104478870872499)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) - (12876549799420404732087596633211061727761091197252644415429637381767198877)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a + (2513691393893461046220313271782039901391141286903539898289941879356421908)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (18975191264158275558984178638627300287880996733840305279660150)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(15) + (24681605650835853156667503174926684742906229871829965871466441)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(14) - (7872650107078726642517152627322119591029684774121890428640502065)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(13) + (1314627103342018262590156866579844398084988754064270569812864796)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(12) + (1211475589216667841870727422433016250890153832115047582364459732129)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(11) - (1183819172206979089183948293704248205097834068131698368868451412261)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (90223676341778914537827272030087307863063411086550655550714814153446)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(9) + (128071143244657904765764335316094445309772069511753454663359460318936)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(8) + (3466656962556502450452192002121894563336955331053129139382596548543304)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(7) - (5574175773124214604556100229942003971117887327640960373920058676323192)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(6) - (66046334880915104363394319313127042789977654636834689008045201498305446)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(5) + (5609859632790754262026937755957629097361829210047822080806312004639309)/(42087578200036049827104540558130370620004317020035967719759319342547)*a^(4) + (498119346211466030660758268478773127964098538764878795773995412378499762)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(3) - (730900436769946848995299076494324070972454028714931243225890005228462138)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(2) - (155886988526635666964483982422525223316328017617071906732222198561674940)/(799663985800684946714986270604477041780082023380683386675427067508393)*a + (33098731927908371024375406904163259327206984889123889190040178341323535)/(799663985800684946714986270604477041780082023380683386675427067508393) , (658714399588275874185334930649757249650153538384220342732597553)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) + (16867320611710967078863580243818110281704491257156420144977116733)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (341783871752457706593441088739203710330147938913235923054236813583)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) - (6172821669871695686177062859077735422606822475934874422643638819857)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (77880374174886655955351548768231732394176705406426817709062977188513)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) + (40263087970693816383248899861350321412630333622742732784534222586178)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (8613224331669834263062457261625653093161319510485865830506432349671165)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) - (38906969859348491739063173601720911972986439123436221753102589118180697)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (466629670931433654698644863439345690115861178926263742597077230600399138)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) + (667489176061246076727163384560750321196260150590773170191320939284734785)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (11539826617963525965302018281547837064904900436734977079032852403147731014)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (3100620322646201529611508501649795555174702554399697375651001215158109069)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (103862264733863393334962869310860592060802891531058469001003620659953854749)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (122013469284486582484607226394819174034620488957932500172481639943593531711)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) - (31993553299926576705156037088629622856731930632397050073785489882221397032)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a + (6287337011616916674138936140299056037177574419770640974202874721218720454)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (41127387963705560076320801862422361515949815033272991920454138)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) - (113218828876361276726970312081492873900602596395356877478786945)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (17747220021560735889691459622038390182460064858468373228078177146)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) + (64327934365183721616997851066343643404097071438221701796078745461)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (2787586700432181820782936692447677091775074691008885792446455794790)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (564478225985275599363518750853208605539322278730521579375989961349)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (211150211728121886186178117751894939433226665948754962400516821132138)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (790209508976592029262152426000864313454186427559966715029669427049492)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (8262816613195132861461371902880967889509609460306490998665709271709179)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (28385571650054199243759468514114387729768565909755240979394760895192540)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (160642667054683766025385991834971350544637503613391986582205751991919715)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (483214306331397047598098912952876465596252680470112607477027235428475395)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (1244459425754389943808187877705273857647038769196948287983317125494203732)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (3091205812849041212616416829675395065097380669922056217261661489656137186)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) - (593923292547801441964637603186325075600914812398485833646123086153805689)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a + (174782279558716400541976762897529946477704023572641300691145811871126634)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (92775345608681539253967139811924660194809854578130113108270611)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) - (215369222713800678013845227262391478395188938840299996785757759)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (37459877694114591640636392612916240635522107905333397497883521942)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) + (142277391556428516054661324098476129380233160802917409788925888295)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (5333524145883649556651708347616542010961583644383564666597595913913)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (69159558751705095886190173549764933078307290858562462380391759395)/(42087578200036049827104540558130370620004317020035967719759319342547)*a^(10) - (345973306696936645818746403847223240167997599597812114719036465670069)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (1851964537082630912283047458233651923527934221503147820872155383997515)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (10538180826560685596906504257128779074615338278858177495112484235528333)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (64308817749926702779151553618007193866441255993604391939333769115692732)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (130978077918677199946959083178281662492278192397790837757351651790583949)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (1025610857533560864882580487240536553539101094926994783262625451399707317)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (80135081415337378884026945828462092497334271024040218932902280569154887)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (5991484935751952045110263077427261289240372493203446001526626915184953229)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) + (7098972964871847668233890257366910254067591683843559893391072269941981699)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a - (845686139595168768899039171785437519219752328455265078150665306573258885)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (510523709017590312909758222291396210694639033594056866658705840)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) - (725950666037540209512952975506553054263927123736029256166252471)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (213331191660337831791189614033331064279472845138174409889756400572)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) + (612724253468895867360342455860990279924158202050963950295342812972)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (32388249343734480054235964845680620850377278095267741275737917714878)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (6351858768069831518247585322883064349110601739728512768299878955917)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (2326040924980888463082719764069923884907540139232365411309336829268005)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (10057548684930619153401824282294048507302667309321551448933488726821877)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (83022247551446679111859776191892984717427034909646100136981101927990209)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (404035469923346826895675418054018694143784471420930197590814629562524262)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (1346910903012971179486945225996830131119610418763583146574724482022713018)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (7726952816902318848449226943695587047981954330630299797463455409443793925)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (5450260172407121484500068744890611676021241607338482862304801894308445596)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (56983612416164974429902964144297156864322390223727098493996554609693081723)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) + (48023196819179470672498871774886936305644442533697513178927747415403168451)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a + (20075846269967053778880660230984249524452254095391474637666402112097228336)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (30699919580798088242726945605314919102346427785728648761905793)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(15) - (89201069239620300626596926121827926508622279728901006897368204)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(14) - (12019741565256339131593000025932430522932386262546656301958822129)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(13) + (49893797250620625629090255379383550623967152654028532058821676257)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(12) + (1632560832602804282759266167242842111220178400020389082714972517717)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(11) - (400641078854868865411461488409121385082104153817192469519113793966)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (102527716207620661181618067285059978994714920593572065301649288853253)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(9) + (495209767997984617833427819997020963895151254489308901811034056238816)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(8) + (3210057717704316774962809630953373301798510130191517723165523293517981)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(7) - (15472615672115817067263099543342381335298179618533930938327319394736822)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(6) - (47095610343595564933370719091654443715964294044906424896784648276636109)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(5) + (226273176494516073497478436319543604469030703844343866209964682474550113)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(4) + (208063227005752479076656067060026643306136510453388888134372331928882344)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(3) - (1218864917522954715159768641396970102582396930639469219543316340340522311)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a^(2) + (950978627819411059311063769452668011568986947725225773120825773759688126)/(15193615730213013987584739141485063793821558444232984346833114282659467)*a - (108468532283749735811029213601509280335739152964500931690310982643871138)/(15193615730213013987584739141485063793821558444232984346833114282659467) , (8837548610195346605129776409784047336708176879578534154000477)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(15) + (8530074651663644534899182562445281754123727955256251345180173)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(14) - (3676689335290976534029809133176125739124741281131556615450938169)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(13) + (1949084095313135755753594765373195788545157958355481641160538254)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(12) + (566383227409375629269421896716209772933146486972985592683867407544)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(11) - (785871622929799922765978194743924528544605216616497321290771057624)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(10) - (42084427242735927501027675615878691680737449877511989068089401145671)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(9) + (80104030899701287981834728289436192378467081178581292851425355731973)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(8) + (1599960189820981166247388722170823132553024099086025704742648603585521)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(7) - (3523482927939896890961349452685044314659560269569960190838924709883167)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(6) - (1551626749780573942653511639360860126710191322186334740659843733369017)/(42087578200036049827104540558130370620004317020035967719759319342547)*a^(5) + (70074461151690991204662702525190085218250874292900047427047898882178456)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(4) + (196797192348072944287211636523421288129603402089153273256552562100049297)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(3) - (509983914527545237884899735171908630408545654941040880972316782839191603)/(799663985800684946714986270604477041780082023380683386675427067508393)*a^(2) + (228161296953677167985890490578182643296577762099878756798816992354972384)/(799663985800684946714986270604477041780082023380683386675427067508393)*a - (21740588221426739838454556962222419758019798681062784648764497427479881)/(799663985800684946714986270604477041780082023380683386675427067508393) ], 17231511043300000, [[x^2 - x - 18, 1], [x^4 - x^3 - 246*x^2 + 479*x + 11171, 1], [x^8 - x^7 - 360*x^6 - 1005*x^5 + 36673*x^4 + 222129*x^3 - 403662*x^2 - 4936261*x - 7777631, 1]]]