/* 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^26 - 3*x^25 + 8*x^24 - 23*x^23 - 44*x^22 + 17*x^21 + 450*x^20 - 860*x^19 + 3401*x^18 + 4044*x^17 - 12200*x^16 - 9996*x^15 + 5376*x^14 - 176112*x^13 - 67837*x^12 - 1501*x^11 - 261354*x^10 - 143521*x^9 - 1171*x^8 - 152170*x^7 - 30780*x^6 - 39875*x^5 - 16350*x^4 - 26625*x^3 - 13000*x^2 - 6875*x - 3125, 26, 3, [2, 12], 14465938847694062481283347921338966064453125, [5, 691], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, 1/5*a^8 - 1/5*a^7 - 2/5*a^6 - 1/5*a^4 + 1/5*a^3 + 2/5*a^2, 1/5*a^9 + 2/5*a^7 - 2/5*a^6 - 1/5*a^5 - 2/5*a^3 + 2/5*a^2, 1/5*a^10 - 2/5*a^6 + 1/5*a^2, 1/5*a^11 - 2/5*a^7 + 1/5*a^3, 1/5*a^12 - 2/5*a^7 + 1/5*a^6 - 1/5*a^4 + 2/5*a^3 - 1/5*a^2, 1/5*a^13 - 1/5*a^7 + 1/5*a^6 - 1/5*a^5 + 1/5*a^3 - 1/5*a^2, 1/25*a^14 - 1/25*a^11 + 1/25*a^9 - 2/25*a^8 - 9/25*a^7 - 6/25*a^6 - 11/25*a^5 - 3/25*a^4 - 1/5*a^3 + 2/5*a^2, 1/25*a^15 - 1/25*a^12 + 1/25*a^10 - 2/25*a^9 + 1/25*a^8 + 9/25*a^7 - 6/25*a^6 - 3/25*a^5 + 2/5*a^4 - 1/5*a^3 - 1/5*a^2, 1/25*a^16 - 1/25*a^13 + 1/25*a^11 - 2/25*a^10 + 1/25*a^9 - 1/25*a^8 + 4/25*a^7 - 8/25*a^6 + 2/5*a^5 + 1/5*a^4 + 2/5*a^3 + 1/5*a^2, 1/25*a^17 + 1/25*a^12 + 2/25*a^11 + 1/25*a^10 + 2/25*a^8 - 2/25*a^7 + 4/25*a^6 - 6/25*a^5 + 7/25*a^4 + 1/5*a^3 + 2/5*a^2, 1/25*a^18 + 1/25*a^13 + 2/25*a^12 + 1/25*a^11 + 2/25*a^9 - 2/25*a^8 + 4/25*a^7 - 6/25*a^6 + 7/25*a^5 + 1/5*a^4 + 2/5*a^3, 1/125*a^19 + 2/125*a^18 + 2/125*a^17 + 1/125*a^16 - 1/125*a^15 - 1/125*a^14 - 12/125*a^13 - 2/125*a^12 - 11/125*a^11 - 9/125*a^10 + 3/125*a^9 + 6/125*a^8 + 61/125*a^7 - 17/125*a^6 - 18/125*a^5 + 4/25*a^4 + 1/5*a^3 - 2/5*a, 1/125*a^20 - 2/125*a^18 + 2/125*a^17 + 2/125*a^16 + 1/125*a^15 - 8/125*a^13 - 2/125*a^12 - 7/125*a^11 - 9/125*a^10 - 2/25*a^9 + 9/125*a^8 - 44/125*a^7 + 61/125*a^6 + 16/125*a^5 + 8/25*a^4 - 2/5*a^3 + 1/5*a^2 - 1/5*a, 1/125*a^21 + 1/125*a^18 + 1/125*a^17 - 2/125*a^16 - 2/125*a^15 - 1/125*a^13 - 1/125*a^12 - 11/125*a^11 + 2/125*a^10 + 2/25*a^9 + 3/125*a^8 - 37/125*a^7 - 3/125*a^6 - 61/125*a^5 + 2/5*a^4 - 2/5*a^3 - 2/5*a^2 + 1/5*a, 1/125*a^22 - 1/125*a^18 + 1/125*a^17 + 2/125*a^16 + 1/125*a^15 + 6/125*a^13 - 4/125*a^12 + 3/125*a^11 - 11/125*a^10 + 1/25*a^9 + 12/125*a^8 - 54/125*a^7 + 11/125*a^6 - 37/125*a^5 - 12/25*a^4 + 1/5*a^3 + 2/5*a^2 + 2/5*a, 1/6875*a^23 - 9/6875*a^22 - 27/6875*a^21 - 1/275*a^20 - 26/6875*a^19 + 18/6875*a^18 - 4/6875*a^17 - 118/6875*a^16 - 18/1375*a^15 + 81/6875*a^14 - 641/6875*a^13 - 34/625*a^12 - 76/6875*a^11 + 1/1375*a^10 - 493/6875*a^9 + 542/6875*a^8 - 3134/6875*a^7 - 679/1375*a^6 - 222/1375*a^5 + 131/275*a^4 - 101/275*a^3 + 27/55*a^2 - 18/55*a - 2/11, 1/108521875*a^24 + 2171/108521875*a^23 + 40688/108521875*a^22 + 64299/21704375*a^21 + 155684/108521875*a^20 - 9687/2646875*a^19 - 438549/108521875*a^18 - 2009463/108521875*a^17 - 141446/21704375*a^16 - 12139/9865625*a^15 - 324781/108521875*a^14 + 1862206/108521875*a^13 - 82393/15503125*a^12 - 878408/21704375*a^11 + 2865512/108521875*a^10 - 219938/108521875*a^9 + 4478/15503125*a^8 - 2788897/21704375*a^7 - 8494229/21704375*a^6 + 9887/124025*a^5 - 1364576/4340875*a^4 - 97326/868175*a^3 + 113534/868175*a^2 - 8192/34727*a + 7048/34727, 1/1343189559172320658256872377629851533505228144390625*a^25 + 230795201160586694574276921257987938814702/191884222738902951179553196804264504786461163484375*a^24 - 1611076095964132728690084721810674341692220307/28578501258985545920358986758081947521387832859375*a^23 + 533941532994796461211034077266419797558442503284/1343189559172320658256872377629851533505228144390625*a^22 - 72012661106938617848998611986099091639315364776/32760720955422455079435911649508573987932393765625*a^21 - 2114294438263175341915597089080285055597864232/1204654313159031980499437109981929626462088021875*a^20 + 780088577366785619563704888418005563611941963093/268637911834464131651374475525970306701045628878125*a^19 - 5109848743001855450403583299609780201311312590891/268637911834464131651374475525970306701045628878125*a^18 + 8090166375870071298554474891421243563046459619416/1343189559172320658256872377629851533505228144390625*a^17 + 2783427256163318361013998419212194761570897705391/1343189559172320658256872377629851533505228144390625*a^16 + 17549883486311101113876859529547999839555626827897/1343189559172320658256872377629851533505228144390625*a^15 - 25709571815193243675127399807442820776486993490397/1343189559172320658256872377629851533505228144390625*a^14 - 869590457785592532235660043353315622570839260268/122108141742938241659715670693622866682293467671875*a^13 - 18030669876960582090131783225914397078854424761153/1343189559172320658256872377629851533505228144390625*a^12 + 369923626300618511131777008679238184524903562807/32760720955422455079435911649508573987932393765625*a^11 - 48083868589532397896198272998141875441030562117497/1343189559172320658256872377629851533505228144390625*a^10 - 114801771721232001208927781664431625572712486683253/1343189559172320658256872377629851533505228144390625*a^9 + 14493312251722208285477015506661054378170956245753/1343189559172320658256872377629851533505228144390625*a^8 - 67619662184260098407222035479021718304213272380839/268637911834464131651374475525970306701045628878125*a^7 - 96175603857636588525566226412539097462937623450692/268637911834464131651374475525970306701045628878125*a^6 - 627959817499965386536503505762613850472510082424/53727582366892826330274895105194061340209125775625*a^5 - 1848867439073206805422511917499304411456877114188/53727582366892826330274895105194061340209125775625*a^4 - 160330054467976588229853969376471909883839652202/429820658935142610642199160841552490721673006205*a^3 + 4630971035353868166546285032856867336116789313982/10745516473378565266054979021038812268041825155125*a^2 - 175817373441920883069308839443743415921941338027/2149103294675713053210995804207762453608365031025*a - 202101960699905096490776060269292610449153604417/429820658935142610642199160841552490721673006205], 0, 1, [], 1, [ (6599992733991241547927503348045887)/(40147277687305684434010616638769171875)*a^(25) - (149966613641179739205724410291343324)/(281030943811139791038074316471384203125)*a^(24) + (8395239214000029594442686861681362)/(5979381783215740234852645031306046875)*a^(23) - (1125956119284665759887533749177122794)/(281030943811139791038074316471384203125)*a^(22) - (45030197761683314496571757993890484)/(6854413263686336366782300401741078125)*a^(21) + (1345272521046564986748114588767727)/(252045689516717301379438848853259375)*a^(20) + (4197451009710714119641618762370448572)/(56206188762227958207614863294276840625)*a^(19) - (8998376931802823032027140822050636774)/(56206188762227958207614863294276840625)*a^(18) + (162882903541175048257325604912540033269)/(281030943811139791038074316471384203125)*a^(17) + (156105931192933773196636523612019166894)/(281030943811139791038074316471384203125)*a^(16) - (641484851921257428993343913254906260127)/(281030943811139791038074316471384203125)*a^(15) - (358658644891163940750803478922043200723)/(281030943811139791038074316471384203125)*a^(14) + (42834487584542869517156396281273128988)/(25548267619194526458006756042853109375)*a^(13) - (1159650453508242912547191026390319108336)/(40147277687305684434010616638769171875)*a^(12) - (694480450981057962197837947339033457)/(167180811309422838214202448822953125)*a^(11) + (2342228011134966408789214313045339535802)/(281030943811139791038074316471384203125)*a^(10) - (11484986214276556887290824116471219539402)/(281030943811139791038074316471384203125)*a^(9) - (495196709528075467468005654567524491114)/(40147277687305684434010616638769171875)*a^(8) + (838986373023053831003146755288507790079)/(56206188762227958207614863294276840625)*a^(7) - (1190123400984163887652771252524325297728)/(56206188762227958207614863294276840625)*a^(6) + (1829248474703573346298563212680726987)/(1605891107492227377360424665550766875)*a^(5) + (7455549251488000371250734626254271083)/(11241237752445591641522972658855368125)*a^(4) - (643197821887331391443440061837313496)/(449649510097823665660918906354214725)*a^(3) - (8777768139670788907817016997796570812)/(2248247550489118328304594531771073625)*a^(2) - (61597033269532230834486663803026643)/(449649510097823665660918906354214725)*a - (76538223935211449992927734826982298)/(89929902019564733132183781270842945) , (4598499102221167454748147610706875555276973584)/(10745516473378565266054979021038812268041825155125)*a^(25) - (255432649385793939900579989310913391143728870294)/(268637911834464131651374475525970306701045628878125)*a^(24) + (12789683244796003789502424278398002517531560468)/(5715700251797109184071797351616389504277566571875)*a^(23) - (1834926262883279052500105925834651960711102415202)/(268637911834464131651374475525970306701045628878125)*a^(22) - (5127683022597681152320910876439941284983824712)/(187204119745271171882490923711477565645327964375)*a^(21) - (5450947061162641486527489816884216943778087102)/(1204654313159031980499437109981929626462088021875)*a^(20) + (56611466413610476044336066442438810874025808529928)/(268637911834464131651374475525970306701045628878125)*a^(19) - (56509469808951293543433040573952414115496926592259)/(268637911834464131651374475525970306701045628878125)*a^(18) + (290483341975533634689010904598352992842093787855417)/(268637911834464131651374475525970306701045628878125)*a^(17) + (22412438322601550034734222754594424161690213738771)/(7675368909556118047182127872170580191458446539375)*a^(16) - (1168445275731812135537979932031343142201965546139724)/(268637911834464131651374475525970306701045628878125)*a^(15) - (2612057235280250630510638765146365192888982603027866)/(268637911834464131651374475525970306701045628878125)*a^(14) + (416715053242248113255738592740441222257502187121)/(2220148031689786211994830376247688485132608503125)*a^(13) - (18531699669548433558813589244288083339580759307711186)/(268637911834464131651374475525970306701045628878125)*a^(12) - (111672105078667827309270312079373719315609710818877)/(1310428838216898203177436465980342959517295750625)*a^(11) + (2124029880204679781475979326205427819613733579680222)/(268637911834464131651374475525970306701045628878125)*a^(10) - (17501527372466143567800747687798581580927928723190288)/(268637911834464131651374475525970306701045628878125)*a^(9) - (33961557046973804435221014842798277814837977069491834)/(268637911834464131651374475525970306701045628878125)*a^(8) - (829120598724111035914771640772051859022592574864968)/(53727582366892826330274895105194061340209125775625)*a^(7) - (380568619597604751057421117295477146697302427719359)/(53727582366892826330274895105194061340209125775625)*a^(6) - (266598747385773290333073995979540470686637477929604)/(10745516473378565266054979021038812268041825155125)*a^(5) - (107224869722284034718395650387313604010512103258756)/(10745516473378565266054979021038812268041825155125)*a^(4) - (6188553200693709406660274426264572001718237833641)/(429820658935142610642199160841552490721673006205)*a^(3) - (19149457950300264668246812009283480246839169609246)/(2149103294675713053210995804207762453608365031025)*a^(2) - (1893076154743218143055774848873798474566263125096)/(429820658935142610642199160841552490721673006205)*a + (44133952352423040220291230401997077839583701558)/(85964131787028522128439832168310498144334601241) , (1031544840392291672202322392975070090258661173)/(191884222738902951179553196804264504786461163484375)*a^(25) + (72890123299819473299997579274857346200577344719)/(1343189559172320658256872377629851533505228144390625)*a^(24) - (7132166908671751684003385703463746468223915507)/(28578501258985545920358986758081947521387832859375)*a^(23) + (900871664315105269800008783319988255611473097069)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (82002735879733727142938709212864374801163072611)/(32760720955422455079435911649508573987932393765625)*a^(21) - (1298912083366461448448349152001295792040641443)/(1204654313159031980499437109981929626462088021875)*a^(20) + (1892142040693804678957539334215493101716620935527)/(268637911834464131651374475525970306701045628878125)*a^(19) + (7396594995086274397341696884256182889893978387837)/(268637911834464131651374475525970306701045628878125)*a^(18) - (106015360176636087277180188335732212007146430304694)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (433484652720354839296786611428388519856870335796601)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (82838790355399255600774030956383127930421857566568)/(1343189559172320658256872377629851533505228144390625)*a^(15) - (1655870880277516508386722965276223483093064696805182)/(1343189559172320658256872377629851533505228144390625)*a^(14) + (11841038774465558499953961738248343666188599728592)/(122108141742938241659715670693622866682293467671875)*a^(13) + (88569041289286058464325578451179643547034664165661)/(191884222738902951179553196804264504786461163484375)*a^(12) - (408601201309474097114625263824325172389114868296848)/(32760720955422455079435911649508573987932393765625)*a^(11) + (12389726180430657217395499721346671802232728872504013)/(1343189559172320658256872377629851533505228144390625)*a^(10) + (7782174004529732195571506410776582144128976401891422)/(1343189559172320658256872377629851533505228144390625)*a^(9) - (2302399476233880554961365059162074616958870776549611)/(191884222738902951179553196804264504786461163484375)*a^(8) + (1052232455980143905534315239793914952125450238120796)/(268637911834464131651374475525970306701045628878125)*a^(7) + (3286765585991315719724141724982400779771494420506978)/(268637911834464131651374475525970306701045628878125)*a^(6) - (28015553847009348604447513845732921874176010936307)/(7675368909556118047182127872170580191458446539375)*a^(5) + (2741150981378084944514465406666492312520669144342)/(53727582366892826330274895105194061340209125775625)*a^(4) - (715850789574842757368612996872088083607302650579)/(2149103294675713053210995804207762453608365031025)*a^(3) + (2824858298083509333376760186580115440253718755712)/(10745516473378565266054979021038812268041825155125)*a^(2) - (2210572813757965311672886224763328596967624438487)/(2149103294675713053210995804207762453608365031025)*a + (7149106922759308786076444053104739150555111693)/(429820658935142610642199160841552490721673006205) , (557267031422967046846384382476451465916576313954)/(1343189559172320658256872377629851533505228144390625)*a^(25) - (1411305899392659394034966775485353898496023049214)/(1343189559172320658256872377629851533505228144390625)*a^(24) + (65032867265801268500003988747756203796074024662)/(28578501258985545920358986758081947521387832859375)*a^(23) - (8538341107874692338531170892584422262670557760824)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (889647461422495029663521099467292906444464556854)/(32760720955422455079435911649508573987932393765625)*a^(21) + (531934540466989006938607386612991987375510908)/(48186172526361279219977484399277185058483520875)*a^(20) + (11009682473834456015260747241853532960984195935312)/(53727582366892826330274895105194061340209125775625)*a^(19) - (77706800665315298210102737540472842716597235639278)/(268637911834464131651374475525970306701045628878125)*a^(18) + (1401383115217890493913353260843806511435843607158774)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (3826811424978360738436205771725612327218185897659264)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (8147629219787534931000522574820645449707076593453957)/(1343189559172320658256872377629851533505228144390625)*a^(15) - (1453029418568783318553135942717718713349838180629824)/(191884222738902951179553196804264504786461163484375)*a^(14) + (859498919580167568946142364256164881402217392249183)/(122108141742938241659715670693622866682293467671875)*a^(13) - (95120141099981812062227833694182202468159813069789467)/(1343189559172320658256872377629851533505228144390625)*a^(12) - (2209084129100000827376990660080234420055463686806897)/(32760720955422455079435911649508573987932393765625)*a^(11) + (94331546119352086280018176889852678281538649344847697)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (162778012800854767651408697193514870561522533702162752)/(1343189559172320658256872377629851533505228144390625)*a^(9) - (171278109029009356155058239420826115254438563901061433)/(1343189559172320658256872377629851533505228144390625)*a^(8) + (29202436135573013373419336051607201198482113377122899)/(268637911834464131651374475525970306701045628878125)*a^(7) - (17952987247205406001659046603578652383835551225212388)/(268637911834464131651374475525970306701045628878125)*a^(6) - (4346258030810163393000095359493755431406901361895151)/(53727582366892826330274895105194061340209125775625)*a^(5) + (3940375076330692794969921821058667808111799783900493)/(53727582366892826330274895105194061340209125775625)*a^(4) - (87801066939601406244711708739759781121974213674024)/(2149103294675713053210995804207762453608365031025)*a^(3) - (106702998051159308913058173853522101774920906264427)/(10745516473378565266054979021038812268041825155125)*a^(2) + (5542623215563583495615604475280728316007248205847)/(2149103294675713053210995804207762453608365031025)*a - (1125340117174692054595360326873721319145893276168)/(429820658935142610642199160841552490721673006205) , (178624017653016738510106525949308388017578557318)/(191884222738902951179553196804264504786461163484375)*a^(25) - (3207918059991490568267641883262939894001414478511)/(1343189559172320658256872377629851533505228144390625)*a^(24) + (172339192680278266543648272790354979177365118693)/(28578501258985545920358986758081947521387832859375)*a^(23) - (23769311538269981077879103161150782747483727325566)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (1684724579773216365287013548534952808709205191451)/(32760720955422455079435911649508573987932393765625)*a^(21) + (1796409709801915756339383073908416151292269673)/(1204654313159031980499437109981929626462088021875)*a^(20) + (117715653380221877745282124147282558144041002221078)/(268637911834464131651374475525970306701045628878125)*a^(19) - (165897096175595110800490646014480389055418203627821)/(268637911834464131651374475525970306701045628878125)*a^(18) + (3653989601772052726504316923853355567751510305373841)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (7058975780432111787284244210996099794919190732049691)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (13792212482517992420438090705877976574148806008863978)/(1343189559172320658256872377629851533505228144390625)*a^(15) - (20888569061880506945120162741371016683486304749524922)/(1343189559172320658256872377629851533505228144390625)*a^(14) + (380335945846519552394829580086952476182693231672007)/(122108141742938241659715670693622866682293467671875)*a^(13) - (30263541315269466955191749012425642014641955900901504)/(191884222738902951179553196804264504786461163484375)*a^(12) - (4418201011451775095987329445593558512046877085878843)/(32760720955422455079435911649508573987932393765625)*a^(11) + (6824064891656739128501518638115199774775436911164528)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (277933060837901041694610143394387841100621843054610878)/(1343189559172320658256872377629851533505228144390625)*a^(9) - (46421062622214624982187516567921507897653354425278921)/(191884222738902951179553196804264504786461163484375)*a^(8) - (4547788271602035281898666074661695851708518438769769)/(268637911834464131651374475525970306701045628878125)*a^(7) - (21389801098102106623406674842325391219363463656575492)/(268637911834464131651374475525970306701045628878125)*a^(6) - (661081764067191473872501512278489399809613469092007)/(7675368909556118047182127872170580191458446539375)*a^(5) - (1935001255050522557405613745484013311565683163260863)/(53727582366892826330274895105194061340209125775625)*a^(4) - (14918909814667997492205423971617641813325622124709)/(2149103294675713053210995804207762453608365031025)*a^(3) - (266088843739186345629006772455877937136258967266968)/(10745516473378565266054979021038812268041825155125)*a^(2) - (44221415356689799577756561801075174779778983701527)/(2149103294675713053210995804207762453608365031025)*a - (2922632590132060421813635367681204809574060340237)/(429820658935142610642199160841552490721673006205) , (312725846486345231394306970986333274497707181742)/(268637911834464131651374475525970306701045628878125)*a^(25) - (38796032625217458659171138568034299336646978571)/(10745516473378565266054979021038812268041825155125)*a^(24) + (53734589445556249697682387456952227796753723512)/(5715700251797109184071797351616389504277566571875)*a^(23) - (7226742523232997342523446071673635511908961490311)/(268637911834464131651374475525970306701045628878125)*a^(22) - (331555317639499728597604333797629539253090778262)/(6552144191084491015887182329901714797586478753125)*a^(21) + (37310097821942587307894443259587819770801409801)/(1204654313159031980499437109981929626462088021875)*a^(20) + (20487574496527168589295837153742551762603313435053)/(38376844547780590235910639360852900957292232696875)*a^(19) - (40751741721663733673327272535135129491867225136394)/(38376844547780590235910639360852900957292232696875)*a^(18) + (151119129113252576250447985976629313884962326207178)/(38376844547780590235910639360852900957292232696875)*a^(17) + (1221380062095478310356938470530989918761806629255147)/(268637911834464131651374475525970306701045628878125)*a^(16) - (4179970007312826659056469362945851305298433716446949)/(268637911834464131651374475525970306701045628878125)*a^(15) - (3033099441025508788757409866290142377669922223935841)/(268637911834464131651374475525970306701045628878125)*a^(14) + (270592370822116982921104578257299642210784191534616)/(24421628348587648331943134138724573336458693534375)*a^(13) - (54514530521258082931166781676552329044786452507062933)/(268637911834464131651374475525970306701045628878125)*a^(12) - (399934982010648234524069505737765630575441295459066)/(6552144191084491015887182329901714797586478753125)*a^(11) + (2816262589364740425113494495102526993536724007177464)/(53727582366892826330274895105194061340209125775625)*a^(10) - (77525843957528892885484444781458227115907146152135572)/(268637911834464131651374475525970306701045628878125)*a^(9) - (41039248755713626930708678583825323781723586208943012)/(268637911834464131651374475525970306701045628878125)*a^(8) + (4428057636172048809104918985342744833460412468593479)/(53727582366892826330274895105194061340209125775625)*a^(7) - (7495577907458026179919833585323796573964761812399527)/(53727582366892826330274895105194061340209125775625)*a^(6) - (87086613028358304840263112696884232101790864452738)/(2149103294675713053210995804207762453608365031025)*a^(5) - (20184979895248324013160775107070389629562509825894)/(1535073781911223609436425574434116038291689307875)*a^(4) - (6230016289019029798516733158241079714066578181528)/(2149103294675713053210995804207762453608365031025)*a^(3) - (9071685274422778998578859088801521551390611249539)/(307014756382244721887285114886823207658337861575)*a^(2) - (4990826390424598695919858611037471594090658134112)/(429820658935142610642199160841552490721673006205)*a - (47412051472827260853994250089690119386194889835)/(85964131787028522128439832168310498144334601241) , (45134686856015413449963209171949667309443488467)/(191884222738902951179553196804264504786461163484375)*a^(25) - (597248358114815469037061834765208070183092225979)/(1343189559172320658256872377629851533505228144390625)*a^(24) + (33420825085894361615673845705928481938148832207)/(28578501258985545920358986758081947521387832859375)*a^(23) - (4239986913398339100318203091512938722699266072339)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (550595899396441816768629828669603094878104590269)/(32760720955422455079435911649508573987932393765625)*a^(21) - (1546880503091900470683430074782938765227822367)/(240930862631806396099887421996385925292417604375)*a^(20) + (5338770254763875118229553536984932107733465220358)/(53727582366892826330274895105194061340209125775625)*a^(19) - (27623924011674732372598113595377818461457262812948)/(268637911834464131651374475525970306701045628878125)*a^(18) + (817622136038048452127500326718719044266549573879639)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (2617800758196320688978924623832226981496072733632779)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (2479902493348347001176337758966371918541990836065327)/(1343189559172320658256872377629851533505228144390625)*a^(15) - (5445510560573623023887874866539036847668915039735723)/(1343189559172320658256872377629851533505228144390625)*a^(14) - (36952334207621291028319884575093045660079408961712)/(122108141742938241659715670693622866682293467671875)*a^(13) - (8610676049801063817399349334661194997768709298121491)/(191884222738902951179553196804264504786461163484375)*a^(12) - (53222985990772052787249640251174286393598884526762)/(799041974522498904376485649988013999705668140625)*a^(11) - (40185937762356224005009398399225892616936333729314583)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (178785827034404627578262964412536033449474595567729322)/(1343189559172320658256872377629851533505228144390625)*a^(9) - (28212065742053445827094467704183667724853258841607384)/(191884222738902951179553196804264504786461163484375)*a^(8) - (17471556560550781254447158366505443484176858958383301)/(268637911834464131651374475525970306701045628878125)*a^(7) - (39143537557050080580413647572611755146991254130367893)/(268637911834464131651374475525970306701045628878125)*a^(6) - (912795705610612654453916383752868240963010029140398)/(7675368909556118047182127872170580191458446539375)*a^(5) - (1791662092557862297897876094828321074377147355818252)/(53727582366892826330274895105194061340209125775625)*a^(4) - (144152317951430676284394666053277406997374868961681)/(2149103294675713053210995804207762453608365031025)*a^(3) - (222324133541480405165391056071598010477465833535572)/(10745516473378565266054979021038812268041825155125)*a^(2) - (15070268681656001961712121469644493914252473690308)/(2149103294675713053210995804207762453608365031025)*a - (1910430320648248462431413342158708020767076016068)/(429820658935142610642199160841552490721673006205) , (222207119292259561362427687984019262863685971433)/(1343189559172320658256872377629851533505228144390625)*a^(25) - (116132439387817068794731293761865941556101262604)/(191884222738902951179553196804264504786461163484375)*a^(24) + (52332886249491283176191722025249008718945450274)/(28578501258985545920358986758081947521387832859375)*a^(23) - (7062221916298384989168624629808545158468308023848)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (106374205235992980048927827878847171358519550908)/(32760720955422455079435911649508573987932393765625)*a^(21) + (773408253281329898597926479713549764890000677)/(240930862631806396099887421996385925292417604375)*a^(20) + (701805769882025009354025491585701263750113055564)/(10745516473378565266054979021038812268041825155125)*a^(19) - (49941434902546214220552793230012225750725619314821)/(268637911834464131651374475525970306701045628878125)*a^(18) + (993157637103305485555482348699761702421195199730298)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (170277466344272001022691780988914669387809357935728)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (2453304883117905008134145411509999971879672439840889)/(1343189559172320658256872377629851533505228144390625)*a^(15) + (392614590433404972878271733590134535828655322870339)/(1343189559172320658256872377629851533505228144390625)*a^(14) - (5442430215245371571788381860282974731192343263069)/(11100740158448931059974151881238442425663042515625)*a^(13) - (42062327683994085454451224701781922079500609515459209)/(1343189559172320658256872377629851533505228144390625)*a^(12) + (314136708608340720799002651839731844165177989210856)/(32760720955422455079435911649508573987932393765625)*a^(11) - (32528938130234366865320356073318514505418695699899831)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (64820259369245384148452983633569403122646725602156829)/(1343189559172320658256872377629851533505228144390625)*a^(9) + (18655992334454912904434897951384296273630139308447984)/(1343189559172320658256872377629851533505228144390625)*a^(8) - (6259774686192239459877708115356087028553940973780647)/(268637911834464131651374475525970306701045628878125)*a^(7) - (9874444465934598467242153458990563183229163731214351)/(268637911834464131651374475525970306701045628878125)*a^(6) + (1488014704011588992489858086926104647057724743042343)/(53727582366892826330274895105194061340209125775625)*a^(5) - (1035239205131696612255425900181788773128552875544814)/(53727582366892826330274895105194061340209125775625)*a^(4) - (3651478628356669944287556164858911551939458527849)/(2149103294675713053210995804207762453608365031025)*a^(3) - (24745410623272510895367602958954000832772945650704)/(10745516473378565266054979021038812268041825155125)*a^(2) - (6148408457599184923160219137285213765710424933326)/(2149103294675713053210995804207762453608365031025)*a + (40880442244530527702878581002992289881027972584)/(429820658935142610642199160841552490721673006205) , (156117509670987351195523913484917870315980838411)/(1343189559172320658256872377629851533505228144390625)*a^(25) - (642960467057894173188592613528017496841190955271)/(1343189559172320658256872377629851533505228144390625)*a^(24) + (35468239495025855342337711372842281651122750948)/(28578501258985545920358986758081947521387832859375)*a^(23) - (4590983330491752458196025145128905409808052530626)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (96387642271672855068240572694972129047370197161)/(32760720955422455079435911649508573987932393765625)*a^(21) + (12177638613372368486975226876892789297840611143)/(1204654313159031980499437109981929626462088021875)*a^(20) + (1990509508173221892782669018308671797628800714744)/(38376844547780590235910639360852900957292232696875)*a^(19) - (6199773334893163877972819183734155691222009088408)/(38376844547780590235910639360852900957292232696875)*a^(18) + (90434790459000990349482240322140162516287133026543)/(191884222738902951179553196804264504786461163484375)*a^(17) + (156565380541378383156926777105557062404600034392926)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (3045047668657108197534585931257966049816283503107383)/(1343189559172320658256872377629851533505228144390625)*a^(15) + (489512497987513982516370355155459921918065902337558)/(1343189559172320658256872377629851533505228144390625)*a^(14) + (370152372741361521758661112903932674498183037244377)/(122108141742938241659715670693622866682293467671875)*a^(13) - (28038908723274584783290891115867497789830960264406408)/(1343189559172320658256872377629851533505228144390625)*a^(12) + (479816978344513227265672165503352341466625985493002)/(32760720955422455079435911649508573987932393765625)*a^(11) + (29304934387978855104700242224078748336029507802650008)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (50036071562809852140643618673194289611039343382032233)/(1343189559172320658256872377629851533505228144390625)*a^(9) + (20459094340428664097226304076780802589494015480370158)/(1343189559172320658256872377629851533505228144390625)*a^(8) + (6566700123106956211676457890045335916340736247077231)/(268637911834464131651374475525970306701045628878125)*a^(7) - (8885209447276246329390813734445093499340137873784212)/(268637911834464131651374475525970306701045628878125)*a^(6) + (897551543698664729788106292977782098456943054575031)/(53727582366892826330274895105194061340209125775625)*a^(5) + (40528457804818351365958301187727800454107800929001)/(7675368909556118047182127872170580191458446539375)*a^(4) - (22895041440896441706247097948930984365119966957022)/(2149103294675713053210995804207762453608365031025)*a^(3) + (12407206041900083437594631942438966172849678278186)/(1535073781911223609436425574434116038291689307875)*a^(2) - (7470255901794514078230953635452355120336354933692)/(2149103294675713053210995804207762453608365031025)*a + (502546482504563512606388048879023206623083476153)/(429820658935142610642199160841552490721673006205) , (2196170363251940120545189432683968648111470953)/(191884222738902951179553196804264504786461163484375)*a^(25) - (38098865170256574918683666441043145457065856956)/(1343189559172320658256872377629851533505228144390625)*a^(24) + (2796788008309232401701345724761067358681584503)/(28578501258985545920358986758081947521387832859375)*a^(23) - (382116226597113706127204833605114807451410294561)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (15735256122856809513766886543605126150691954071)/(32760720955422455079435911649508573987932393765625)*a^(21) - (640989623715257254248155905333797566566478747)/(1204654313159031980499437109981929626462088021875)*a^(20) + (1059120217861249517706247411899736373217959652303)/(268637911834464131651374475525970306701045628878125)*a^(19) - (1727309077946923456858447339187162685173797669986)/(268637911834464131651374475525970306701045628878125)*a^(18) + (61535432440866476713889898516593841427684812080386)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (63181626246166498780700278964508399378407578139361)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (63142717665529187799541576561430788066999433350113)/(1343189559172320658256872377629851533505228144390625)*a^(15) - (79695955796462455809454248356217991963986282688512)/(1343189559172320658256872377629851533505228144390625)*a^(14) - (42365915112070504955803025558275097298644888215328)/(122108141742938241659715670693622866682293467671875)*a^(13) - (454845957015566525081321414620091716861035154909684)/(191884222738902951179553196804264504786461163484375)*a^(12) - (47795174840821958007619978491686497505693620909128)/(32760720955422455079435911649508573987932393765625)*a^(11) - (5823606891699259700832956784630174478163793094853112)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (7324466375454200754958856455857576549896200543853513)/(1343189559172320658256872377629851533505228144390625)*a^(9) + (21377129926037345738664631053349896468893618306984)/(191884222738902951179553196804264504786461163484375)*a^(8) - (1418809406131354271513069407579354706251313532927619)/(268637911834464131651374475525970306701045628878125)*a^(7) - (1939211015646122454397895759693833877506013155136132)/(268637911834464131651374475525970306701045628878125)*a^(6) + (11543680243873616784856430545024252105233630322463)/(7675368909556118047182127872170580191458446539375)*a^(5) - (24121490491624550234038301215928858845104694652873)/(53727582366892826330274895105194061340209125775625)*a^(4) - (972498775120906242235689832914073473808622400179)/(429820658935142610642199160841552490721673006205)*a^(3) - (9822162040528277801706133428164263843147228075778)/(10745516473378565266054979021038812268041825155125)*a^(2) - (1804627364362434348428876693754537373561629813562)/(2149103294675713053210995804207762453608365031025)*a - (155370213629998132743801759723059169986824469777)/(429820658935142610642199160841552490721673006205) , (1097186175326833832373948946239025571870689606346)/(1343189559172320658256872377629851533505228144390625)*a^(25) - (444675278750632955575599350746311328626459151918)/(191884222738902951179553196804264504786461163484375)*a^(24) + (163041052051606669305945830958341853178051208668)/(28578501258985545920358986758081947521387832859375)*a^(23) - (21787860849666060478045430877478871573791630447046)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (1411694873275600994203791499089312980393341011321)/(32760720955422455079435911649508573987932393765625)*a^(21) + (23600437232347117061150978769561248797093573381)/(1204654313159031980499437109981929626462088021875)*a^(20) + (103173535882149963550226235162195461043253717694101)/(268637911834464131651374475525970306701045628878125)*a^(19) - (35431977021719395083960522833296275980697292143381)/(53727582366892826330274895105194061340209125775625)*a^(18) + (3325601353090603675184894040917385511073959261843671)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (5671017056330988300756823733649412959222209232695686)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (14883209805019203703070256939338314392143710387772958)/(1343189559172320658256872377629851533505228144390625)*a^(15) - (14544174652752840699835885245665822961900058614891192)/(1343189559172320658256872377629851533505228144390625)*a^(14) + (1121911761462322334597369611402231835361878770941802)/(122108141742938241659715670693622866682293467671875)*a^(13) - (190340677989564971257448766393333806316985545909268118)/(1343189559172320658256872377629851533505228144390625)*a^(12) - (2724801317487833517802684686363456713132548303639378)/(32760720955422455079435911649508573987932393765625)*a^(11) + (90871473804578316320071075676045454649030309552847748)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (297713506246492802567785310352017548820969681474967278)/(1343189559172320658256872377629851533505228144390625)*a^(9) - (220091586755216198906556025148100596736904419652421232)/(1343189559172320658256872377629851533505228144390625)*a^(8) + (27845147016901890486248587007722683030437736732916251)/(268637911834464131651374475525970306701045628878125)*a^(7) - (32847837860143467724983597969208720805379882457199377)/(268637911834464131651374475525970306701045628878125)*a^(6) - (3872940740816654283049902446109517785456160081036564)/(53727582366892826330274895105194061340209125775625)*a^(5) + (2419028769809528870378709618864188557343525071651697)/(53727582366892826330274895105194061340209125775625)*a^(4) - (92958011092540446757939112897936387707608247984392)/(2149103294675713053210995804207762453608365031025)*a^(3) - (140085605360448756164303344446207196992974338659008)/(10745516473378565266054979021038812268041825155125)*a^(2) - (14428414611839329886429558842974726894849167856407)/(2149103294675713053210995804207762453608365031025)*a - (2467153798987406204152028317013555361586441337012)/(429820658935142610642199160841552490721673006205) , (9682226472536599221142786323162787107374437369)/(122108141742938241659715670693622866682293467671875)*a^(25) - (3193542234006122677309389013401331693687016422)/(17444020248991177379959381527660409526041923953125)*a^(24) + (1262464129320930968341403956593890535598892057)/(2598045568998685992759907887098358865580712078125)*a^(23) - (178342627996970575978449781691456782827059861089)/(122108141742938241659715670693622866682293467671875)*a^(22) - (13603852274631590275999638110700220874797382694)/(2978247359583859552675991968137143089812035796875)*a^(21) - (34494020426413237282649480410374497537695752)/(21902805693800581463626129272398720481128873125)*a^(20) + (16142597674794424525013214342427669352657630904)/(444029606337957242398966075249537697026521700625)*a^(19) - (1014265549512315485923706790475721311165233981213)/(24421628348587648331943134138724573336458693534375)*a^(18) + (28187523007576788993725735068186405407488624213714)/(122108141742938241659715670693622866682293467671875)*a^(17) + (58698191818699359191299230886651168490196652437329)/(122108141742938241659715670693622866682293467671875)*a^(16) - (83212917001777294031496500882631454123553883373502)/(122108141742938241659715670693622866682293467671875)*a^(15) - (16309901710221003192906938032330297841859487951143)/(11100740158448931059974151881238442425663042515625)*a^(14) - (61924044638093473961447899620078215084301600308607)/(122108141742938241659715670693622866682293467671875)*a^(13) - (1667373381509228522861105962135710993056157260627887)/(122108141742938241659715670693622866682293467671875)*a^(12) - (42674199130082209921855658163155408363088243588267)/(2978247359583859552675991968137143089812035796875)*a^(11) - (772365436401554332996311964275772082459206825407908)/(122108141742938241659715670693622866682293467671875)*a^(10) - (192242052372223489605902426143770809393689154978152)/(11100740158448931059974151881238442425663042515625)*a^(9) - (2344869739579832999642710982386995612097407073987813)/(122108141742938241659715670693622866682293467671875)*a^(8) - (204434220747681184776063456826072596437617697583281)/(24421628348587648331943134138724573336458693534375)*a^(7) - (215565785599071686004949212157342750956468666420593)/(24421628348587648331943134138724573336458693534375)*a^(6) - (521435027420866252004358127765660833150401440356)/(444029606337957242398966075249537697026521700625)*a^(5) - (398675001653127623953997560216227820021382643052)/(4884325669717529666388626827744914667291738706875)*a^(4) - (36954082513895765386443797684468800090688849542)/(39074605357740237331109014621959317338333909655)*a^(3) - (1817419241676780482168071168402336180511166608897)/(976865133943505933277725365548982933458347741375)*a^(2) - (111186287613972078959938462482983840179239186953)/(195373026788701186655545073109796586691669548275)*a - (12685235398213274241397036551082701328620210198)/(39074605357740237331109014621959317338333909655) , (439258946064764658594047750541345221245682197706)/(1343189559172320658256872377629851533505228144390625)*a^(25) - (1745644678827624063725810240476507172876633799541)/(1343189559172320658256872377629851533505228144390625)*a^(24) + (14247375214779610072081377014034380506558149619)/(4082643036997935131479855251154563931626833265625)*a^(23) - (13169696359939529544485170160216474824897648571121)/(1343189559172320658256872377629851533505228144390625)*a^(22) - (253077735108073768070187966351459279382706332181)/(32760720955422455079435911649508573987932393765625)*a^(21) + (25854057553130403868813654756012615781082709713)/(1204654313159031980499437109981929626462088021875)*a^(20) + (39033926151809746535431239405981497304085532353243)/(268637911834464131651374475525970306701045628878125)*a^(19) - (114950976999425617894897872802014631260192879900276)/(268637911834464131651374475525970306701045628878125)*a^(18) + (1809438130323952460262228793596773123895138484049521)/(1343189559172320658256872377629851533505228144390625)*a^(17) + (429346890416948130241132337126307784725202396886496)/(1343189559172320658256872377629851533505228144390625)*a^(16) - (1064700239903894823349837200019081965528924791892024)/(191884222738902951179553196804264504786461163484375)*a^(15) + (409026902446570310758125185643650769123091628441143)/(1343189559172320658256872377629851533505228144390625)*a^(14) + (754165392691442046244010200228803825131536609729367)/(122108141742938241659715670693622866682293467671875)*a^(13) - (78560475273705121022090517659488122523601702562131218)/(1343189559172320658256872377629851533505228144390625)*a^(12) + (152519524483657185866674905504695130837128468476931)/(4680102993631779297062273092786939141133199109375)*a^(11) + (47021763870641216335696998815253578553713499268084343)/(1343189559172320658256872377629851533505228144390625)*a^(10) - (110123324155167380909166086293320403878537780840744318)/(1343189559172320658256872377629851533505228144390625)*a^(9) + (36231217114931856108621471403101647945591341840537743)/(1343189559172320658256872377629851533505228144390625)*a^(8) + (16894647998672288309595761204502312395297343484451986)/(268637911834464131651374475525970306701045628878125)*a^(7) - (10370953250250724491033188759405760644705226801749127)/(268637911834464131651374475525970306701045628878125)*a^(6) + (1333479675463786751388660869437537261249044134473646)/(53727582366892826330274895105194061340209125775625)*a^(5) - (355802863155066683355520090597785916392529148386803)/(53727582366892826330274895105194061340209125775625)*a^(4) + (351583196845564305399831165353822287478270130858)/(307014756382244721887285114886823207658337861575)*a^(3) - (94201775241424675141958610924906141668266503373583)/(10745516473378565266054979021038812268041825155125)*a^(2) - (608470264080353594041010728454169210001102917036)/(307014756382244721887285114886823207658337861575)*a - (914587687064978149997379848507492965216984697152)/(429820658935142610642199160841552490721673006205) ], 2016100861553.7466, [[x^2 - x - 1, 1], [x^13 - 2*x^12 + 10*x^11 + 7*x^10 - 70*x^9 - 157*x^8 - 110*x^7 + 532*x^6 + 1595*x^5 + 1948*x^4 + 1271*x^3 + 275*x^2 - 80*x + 25, 1]]]