/* 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^24 - 7*x^23 - 6*x^22 - 88*x^21 + 800*x^20 + 33972*x^19 - 33044*x^18 - 679237*x^17 - 7247986*x^16 - 18808685*x^15 + 240393964*x^14 + 1548866817*x^13 - 1226398054*x^12 - 64602797057*x^11 - 428838287440*x^10 - 1562629162232*x^9 - 3495074371706*x^8 - 4678953132493*x^7 - 4731483065509*x^6 - 12469668216145*x^5 - 33540673060979*x^4 - 37892792137502*x^3 - 4499980454036*x^2 + 18569747459402*x + 8710672685155, 24, 1353, [4, 10], 270761008401829353605241639483649123576469719409942626953125, [5, 29], [1, a, a^2, a^3, a^4, a^5, a^6, a^7, a^8, a^9, a^10, a^11, a^12, a^13, a^14, a^15, a^16, a^17, a^18, a^19, a^20, 1/3*a^21 - 1/3*a^20 + 1/3*a^17 + 1/3*a^15 - 1/3*a^13 - 1/3*a^12 + 1/3*a^11 - 1/3*a^10 + 1/3*a^9 - 1/3*a^8 + 1/3*a^7 - 1/3*a^6 + 1/3*a^3 - 1/3*a^2 + 1/3*a - 1/3, 1/10773*a^22 + 19/567*a^21 - 1391/10773*a^20 + 7/19*a^19 - 467/1539*a^18 + 2402/10773*a^17 + 238/1539*a^16 - 580/1539*a^15 - 634/10773*a^14 - 1550/3591*a^13 + 209/567*a^12 + 3091/10773*a^11 + 659/1539*a^10 + 121/10773*a^9 - 2221/10773*a^8 - 122/567*a^7 - 3062/10773*a^6 + 6/19*a^5 - 4397/10773*a^4 - 767/10773*a^3 - 5020/10773*a^2 - 4985/10773*a - 158/1539, 1/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^23 + 9293820198742988173757214679959901787751524021566381750060934184628620564713698926535527181610606081265976101810786443121068929851685157547619673757936419823475/219574542673588917074505948515870036341418380441482824781226192943293349094761783707735335818332003604863694389777049622667094336556730074874482897912506102544311703*a^22 - 4339831547682084404357941919508316994341175559290743550656131210497158637125239907108058446912901666494661408410088815171868380940425229523610221271878406745246560742/29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905*a^21 - 5835526010891581807717314191158131025844899813163733979175454322004965150132719329970038816339532157365539282979566747827463183446975444626212497959164534580070563200/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^20 + 502051424832531856001050915845551421698925284707928410225061801849003813366594092645390748165732450538709790628814974006796545068284292312471411311074236277101770208/2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849*a^19 - 37311955352526358159541699633120001342078077129853390859220492319105649673621200234981669755439371869218820431498074976849351767815944508909590808118980169394691421983/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^18 - 5729316249269891597668998185556191018005826730714458945382426168895788073150620531563773508084512063546366567321381792242497826107852604473745315154140303414090092645/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^17 - 1076535221679423112001928685863799969269577371180714411909424697981589492848221507151367679527653227613896625732050408927651073940499496821812443518223583372036947561/12703955683257644487882129878418194959753492011257220576628086877433400911911217485947544429489208779995685175408529299597167600900782240046309367664937853075778034245*a^16 + 1922833702617535645673197560791853686155415301243284411245083972759144656257109666647325505968242447013733744968158687867069480747128697795741957011839585001089536768/5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981*a^15 - 8371209992485278364017303173572529859121473945274570565410157862709001063284506494288503007372360961538296707657896819948418670481788336640414261093061856152974702438/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^14 + 25949793601917675441048991751718051279312447501618394759571260515676473322306616260909510179456542455934802773526552764569716609648208494190890938072221634001619821164/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^13 - 5294878125085433088521153370508462524821843200709633885798481221785346502947741925600658911150579098869710254870511997231056129231009695175459891352990317706630713002/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^12 + 35023785553016275353161311095687985630468840542415541709758852272678758485514832589649238313959399602313402922296155666519962075094573824531667446072226307929128777146/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^11 + 169911673168722213485156323980240411124815839424224331188286523272396282886176136456307107657470712919931118515100897164546596306795605345357896873663630571977948067/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^10 - 1385456198516857625123208983763294622381501756261831759168347966412303085182221045463152412611316306983266701793811720232672269380388395497361403042810943642035820513/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^9 + 2987437885802711534043136969639706776651805577938910973335702447755609767912524128381316745555326860302305561450130959668915354167673824711285929973846740525787225463/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^8 - 2478900908480915812164746103427266843954350882275945931371273605395921756982496286459103117156732536775196405218340061106419321909382900434398548689730168700762510771/5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981*a^7 - 15399730508619127075898924477838760050577475926358586527188716430589687587765678317722549101422668874300279115929067515153517260513246872579382981370810471724543777998/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^6 + 7003136489935697834866564184408158946776413825868357919402043688517612990168766102470251854326642735208420159313420483208675476927739399507818905084418900587708890360/17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943*a^5 + 484346985482835045806644483152987768316852735112972558111812304445111853341783248692500250819460986389870168737396381666453431684653584243438246313728044677444067121/5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981*a^4 - 19555341524913293027886098469260737561568081931856479912782192301225847352203820770878723286642495202544894673574473738548008424203406920299064087575912241662827644024/88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715*a^3 - 533498690684901006781118485159738648502857721149906710513692795120157931693049586226128622438094885406538124604350611084133685092496862759842136661432871234999243371/2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849*a^2 + 2062225218050881972141486865156884938467693231974640291396012794305308396558995589519404869651045112502562834577768996808177018742705169240588718398873762626252704926/9880854420311501268352767683214151635363827119866727115155178682448200709264280266848090111824940162218866247539967233020019245145052853369351730406062774614494026635*a - 844349704115463321319542178761450109745748294377708017633429465518898758535799351011713695018638882714775834017653588044057333594744308582629387142679243861821973723/2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849], 0, 4, [4], 1, [ (16993934655645473575355101110086617064570223409833471029829851462166394139989493739355649497551066122551588998091543122183047484368199216809142906863)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(23) - (127257225987970654704566727707196500787606637173345279671322936640844335382877095646334355000062216725732712336506782960901791007381618529258136242)/(1102930895999797978877737000439614644216012543453300704108764117584437398720473847396982992374171992132309567270783527788995203272710052003986034957418404183)*a^(22) - (3418221331269270704240210540445366541252374326386018756641420911300286349750821150123913189579486752997950656857970075737190518597396200569615888053)/(49631890319990909049498165019782658989720564455398531684894385291299682942421323132864234656837739645953930527185258750504784147271952340179371573083828188235)*a^(21) - (331660242504462027502735701869478183817193521933960266920298273883462635362724556187649247069041571095491578608897586412332783695270133870600251823507)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(20) + (393968125459910591538954343734082405461830512731848390060863954025082854538031343750221763211259562775435590694364649217106964560691210878657412477296)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(19) + (574189728137480090635710661821512525556158799535055775438754093788600610378279909340711741975653994972357835060479071914998698165656759540871891743647336)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(18) - (117309551222396829785843149290664509615121169927468620084289353814327177422973867324568947807716107273532816889040114559557845944235160368972470338037246)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(17) - (1543841521902948160771471604336829266584178958857450732617214248821598973152787333083109756168816602742920555578073695112844451673437974370835292533407208)/(148895670959972727148494495059347976969161693366195595054683155873899048827263969398592703970513218937861791581555776251514352441815857020538114719251484564705)*a^(16) - (8248461301843657794388188939435618028346182934144191786130366284979078463652539761566898649107984015307411806301369049838407736468203639486300185515030986)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(15) - (9209457416051571884447480197713378058412375330388153120808767588683531140086580311206919149987903665395317154655063690601376797692975553835230267950934387)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(14) + (3969162698254460612296339860387545074675760168747866567953950982199211019238529857778647501329709690747638902775413788202196191520958885792921213112474268772)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(13) + (5151038277750607185999968464677950691523206170430111398078584327435966885301049114047042465455438300722103986171214459212029897725907826379138363220005328609)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(12) - (17641555632346073659698027775514786888376247145491619025032882517085250003775541350790061408457781172202207677671702301797292857715049353149094184286365839242)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(11) - (213916929979409608021279017831940103302683347300514921508285343369004378672936417610240909495113657728284254931910468730247819511177593571266323599835681398551)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(10) - (1450843123540466688628968152273365334247739524176452324777182158580816825732476458807254551904252466192337436109624798426307126584381597319422468919553386957318)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(9) - (3896877979051942529386020702081536449521924105590277404540143235142287466589926600820622548859895269475686400282683333928670169627698835959989087152338492262018)/(148895670959972727148494495059347976969161693366195595054683155873899048827263969398592703970513218937861791581555776251514352441815857020538114719251484564705)*a^(8) - (4335663399065117957018955883702904273638111871314019181114920213518845275197040163894789769467115006301355627618788295248378311152062995988241047800744541217581)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(7) - (100653839349119606009721296385906020267083500352960893552505310732141779305797816591100052093798588960868746662053453491329280504549952834400174390623827489723154)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(6) - (25411663784545068897433404654818466971740232391275716015113743633922474521286346805059056281574433570034170822601953024761224206112948968638282831024638818067141)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(5) - (2587857798800630182124291332820143257375865643370094071238876731328031027337848890754287349064324110712648806699526963734107648831641375332847739419264226938731)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(4) - (635090175622376932422168227137179329678773902745224371219435418594563968571795721379291009902859094960104276503579045344189572382903323254041006753851848159670927)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(3) - (169077558956116258706533366362714833139986403984914280051275662219393097689078634360061928410934989482580799642815504397047792308287860285769973970092132934209230)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(2) - (61049348405016023816885423000263890705689675000660034305821945118531009930368222467545360088952013869826957720954600146622024903910357282182767184848066616941747)/(115807744079978787782162385046159537642681317062596573931420232346365926865649753976683214199288059173892504563432270417844496343634555460418533670528932439215)*a - (3934678462020455267265310238815078420265227440400546767199283774506545598374490110369068674264102627658187441818739008519920809732694854195175001634728347307143)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941) , -(3867554286643204595214743525260247355902912458080808297081624087152419490679482846166550888011269656671052321228695002013935585589523364498292692284)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(23) + (1238834055475112382611981555083817818733389913745551342800598272247208688477951738445353828328589153066771032629912628284650221176377785223976934516)/(857835141333176205793795444786366945501343089352567214306816535899006865671479659086542327402133771658462996766164966058107380323218929336433582744658758809)*a^(22) - (10339900553143041552158163316099157527271059285056929982088761626275559761201885984031439833144416873327712861204635099834542615068354460612140931398)/(7720516271998585852144159003077302509512087804173104928761348823091061791043316931778880946619203944926166970895484694522966422908970364027902244701928829281)*a^(21) + (381561409926744137573298153103285734654449008491774595815424988142080921343950616329984976499530997545779130976522005124228131546660977483330781041819)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(20) - (527861945052037977392182796119554334485379369133878510066229432715437819394473452636591733063818068824549023036290174604132910885922991322449714278194)/(3308792687999393936633211001318843932648037630359902112326292352753312196161421542190948977122515976396928701812350583366985609818130156011958104872255212549)*a^(19) - (125439297310657078153759301801794104354038562213404484514373639142843973097214697134205879211989445504464434094810292180292035477551109591411729669497307)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(18) + (335773785097832256206284017112745236689695641978004539930437381261909717685934400558669787655632662860141491197044625902376004180768740426361722488454494)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(17) + (300064936645762599008868306683553277468834783779313582543497390723291145638091857785015000360683608333766051792907239383328169345362450795145118211212955)/(3308792687999393936633211001318843932648037630359902112326292352753312196161421542190948977122515976396928701812350583366985609818130156011958104872255212549)*a^(16) + (8143416423995112989846138261790663971489963501910747127423912733498935260102969142589061962824481841619276316796842805825066073435467255847212455184572681)/(7720516271998585852144159003077302509512087804173104928761348823091061791043316931778880946619203944926166970895484694522966422908970364027902244701928829281)*a^(15) + (32242858519494628240745471133256933934888158777221110886971435695310979212390500368295381926697019581090291649205970463023134868268561430118549024990367461)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(14) - (988054369820863227342048292475013179476552645873082362986990792612816437904169313809228897814390304534871004687950134603796383247887362154504913948939769767)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(13) - (622405891108771537268591471998744718295990727113980797914532901976423373968285430599738395384495200131287112801359351493705969151627920223361267987006617117)/(3308792687999393936633211001318843932648037630359902112326292352753312196161421542190948977122515976396928701812350583366985609818130156011958104872255212549)*a^(12) + (12152491161310854335167443837861503723898282567117620237911005638782973433923190701652186631372083552546895977721782334708322064871971251628578738978121913339)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(11) + (230359096865781799190045053077225009660606499539963421402450968175565444964966505709656983854810243080899338793982958718784340380898562008455793153203489365701)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(10) + (1274450824173379410420184324075565399449740773447591103336352004469700643698423156352844669994814099818916087094101146414623397939930472623558581752051903274886)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(9) + (3896707304494405517954821587381147585862686502070551164915763350202153391008369975730873550453673217466346249252442234190558656554866399083129906334251405012651)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(8) + (2300090892840714691103005516278482141340732530573109987213276688981729718554126672912127700492492579727320781172106533728882537307252374006546643570085528237334)/(7720516271998585852144159003077302509512087804173104928761348823091061791043316931778880946619203944926166970895484694522966422908970364027902244701928829281)*a^(7) + (6286070175611756742421223249815273657509836482533019652554376260849587171187431359110577016916166052892609038443116987250682075180767511155603992961284100575565)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(6) + (7497941608134802425538494318344392148101852614129322052908745160628725438769718963177129278690102756689531002869780367184534404465744665793117062337499291777835)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(5) + (12008373987645573018444185684210912695520454723259212214416753205455870581392381790560077047639648772964448592957009512565143810603398961904684181835231233471225)/(7720516271998585852144159003077302509512087804173104928761348823091061791043316931778880946619203944926166970895484694522966422908970364027902244701928829281)*a^(4) + (10013229112303141283625862106175009308446025506636093428307961923270087383152641403414605802290954011188196151183590837273561989813350209382411693973066451880093)/(3308792687999393936633211001318843932648037630359902112326292352753312196161421542190948977122515976396928701812350583366985609818130156011958104872255212549)*a^(3) + (27306397210562704502935470783270045469110104114071392158271689915190354265896789531889720090163585199563334607418592578909925321907742922724953203458168451264897)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(2) - (3479636849651979973786925386288942841766947465884750205285590310364466891064190108431136768101399239371824253194936598656110857242121468602137876329192599106578)/(2573505423999528617381386334359100836504029268057701642920449607697020597014438977259626982206401314975388990298494898174322140969656788009300748233976276427)*a - (2834253371212678834721384967619393204570205106615435026930570535204817938270728498285478217915227462326811374945113371032639530844266716517964072780785785622996)/(3308792687999393936633211001318843932648037630359902112326292352753312196161421542190948977122515976396928701812350583366985609818130156011958104872255212549) , (1658273977501747288627290422705506740210119015178272198577639002619324602223020571720382123640111991083454615245812264412019448791712741912611972539137)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(23) - (110490515418504758304283303256247064771200173121692308594969560510414660778173254209494761647945968432809642089404077136740720631842345846801000552444)/(2573505423999528617381386334359100836504029268057701642920449607697020597014438977259626982206401314975388990298494898174322140969656788009300748233976276427)*a^(22) + (6574615647906038776226789688469858566980049272463554333393338502035719009322820623498517905851015690311759528378008198589843484196332420577612436109991)/(115807744079978787782162385046159537642681317062596573931420232346365926865649753976683214199288059173892504563432270417844496343634555460418533670528932439215)*a^(21) - (36883021038901689753467420103896618552487599598308396249585788925512210351882377526093024687546468636841982151824640143318021238646336929873424047280192)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(20) + (48353889268529353438047533835475238244822104177915170153098030210561295645468477857203979545940067079145488177632524138107866593641883776953406696206382)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(19) + (52971901192161238811262571675337870195476792116653622297876119263164919512093811556315016514071047349740927118661648985665744544231151608490748961678017969)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(18) - (32116684067379894921481765208202367945453324404730032619852137688902024924667792736494379642386094698603424714319985144067097175464040765771146642473335349)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(17) - (115507557836005789863068420991910614949646174748017054279868271337374839664765549685981670572525667024613404747784623128356016997773911203562786741658263787)/(49631890319990909049498165019782658989720564455398531684894385291299682942421323132864234656837739645953930527185258750504784147271952340179371573083828188235)*a^(16) - (693000790175470581827080399499761694442292210469492352000135372960740466327574964635627648089049527343747914676552158580596906844430089348887222702725261582)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(15) - (2085343606954332859366425681746899019362213555907444208402122411921526957960120703964753916238508686431108607159984634938926784372835154213480831987936930100)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(14) + (59994913796792271032641289801845410626867987462119918942133602097407347227112128126354402989505550313358332959640530535185849667788999764581562756678284741769)/(49631890319990909049498165019782658989720564455398531684894385291299682942421323132864234656837739645953930527185258750504784147271952340179371573083828188235)*a^(13) + (346107903111166617655663465149643188372687110745296646922879597836714616709118705758100694344209752662891732229362221538277902904476966477966328233633565436272)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(12) - (5506906886057734032300816205715055601796803025081369992151045194393036019341078596211106564381121823446529601675654108678337440200198362777455342423477589011078)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(11) - (19241639574920864312295413117777401367249239875441903040179749657122647700214092871812152548528905553515244534743058103401932030238721393741752033710170675028319)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(10) - (14824732278195393293623283688296174972097841739907819994356766443097851864699255613165728726417635384917160412910920015573393399195962535941323183027435213611979)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(9) - (1551633583029196831464079967444248868150988153388277274049546021228015845345003059499168180876933081294301836874249092268881868581852943860847190444165074126077124)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(8) - (178554354818109497449409973854506098488404722802290707643895118560211471003263273910769321305629804885201524929969795853569688335562207531178925356504020942144841)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(7) - (2356276132269153952960761103454690388367440163608179987732000409432125997501836769024583908430387785983249925963111058489306146682994009108316577499699354140082221)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(6) - (611715793242445421116803397415995770520467720970590240230243972310121512318951944136589929606114594723663510687959548382560886676593280816130462885674918138480757)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(5) - (969582337843932343134816232636841176517535988934568411401575809330939016090469767913566766607458684806803819743705364044093836840027084025404308173394109676164555)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(4) - (26615245229279997557160258932399400797576517243868943468738823301385259208972509739586837100268513542693602581411448416003289056822070819851049457518391369198362603)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(3) - (1903169963563271471781580749912847601805402405887606496578176261794599587158358236858572192625558119463361975333647058855272236164595942179826136080992886430190202)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(2) + (1310805254183754509161124538022944788283934513405978633210074139556912698491748232244385459587936474259659592860863093629883469374401709194451213050199668365203212)/(38602581359992929260720795015386512547560439020865524643806744115455308955216584658894404733096019724630834854477423472614832114544851820139511223509644146405)*a + (204919648255958607909574689425211588561316169405209761356977534045033863105016172570499250291589328259502615701392155002090294800423788531024396122433487452648365)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647) , (18010224264032595861074313234283856717367508788705582897424226184659322236685865529275882187166655839655551604088699781036040019875673431726473009613891)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(23) - (1044832306327556709053579035828011601452402709415240186996665931311008757278524159339954648997837272161940610372744082619768960811455038697228813553137)/(7720516271998585852144159003077302509512087804173104928761348823091061791043316931778880946619203944926166970895484694522966422908970364027902244701928829281)*a^(22) + (3057639390969026875988611524538543155756360135109822328437790593112666785542390524446877965858672270097400499133696391619378859465529836164104333104278)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(21) - (45478712807994283442314836344776094084748555542737139862516178616425351320419268446803789731844376853032181874824447249535211819256587914800928814462471)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(20) + (449476166269320646244942829909533461807924611370910377723631298437266559420409752511568780180532607133690908725188542103714205237072953994942804587267499)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(19) + (598766602512258474194735370729372405724152604420447347547061870693792173209797386637739021451237259890609393366056262275152998763026315242225197413561958902)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(18) - (31236173635640450585384470289871380434542254210923483270364572371202390895585084798900393210345244554384026375590856910360991236305163883624274435750305470)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(17) - (1618121578126859628020107175518458823458256533727362617882813635502068084918612205573751920329908997680016910404579520232311757150473368671517075003132203836)/(148895670959972727148494495059347976969161693366195595054683155873899048827263969398592703970513218937861791581555776251514352441815857020538114719251484564705)*a^(16) - (8073931186358066147540569506249663017332556290339708301080232568678076449883355714967491906438269087522432676152208162148642456092318714592839428316086706732)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(15) - (47591660225945833659406067343054177498899551919429076011076959017837892928846828872103382835244754744246438369652717174212949060754416048518604281439308590802)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(14) + (4528074619359169807345618045041621518457998679076497033564420116154193938363587808562546802721509017585339331995008528210001079381787374253805571454688440635759)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(13) + (4825982341610034474237086890772187062789772220407176978848023016416886706453496482574867418319657006891366954108517910232146556637031344531850901089406158791925)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(12) - (6026039292931485578174833868452235680769797503859632812687164272869157887778143077919859984797218046650681902903992208131827731629196117772915393696871495427737)/(148895670959972727148494495059347976969161693366195595054683155873899048827263969398592703970513218937861791581555776251514352441815857020538114719251484564705)*a^(11) - (225706741732897218116327778316038558048953328205399224572272716549571626957650705092001654536796657444145016037637640800464626805299211529881275943740908795634856)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(10) - (1356899377053928679618253460079564229815662697092995368519654265040669173788420706351012916618765446438172391252354351471367526945598485956359442690388512501928348)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(9) - (22494415820639027403158490717182751344082168204532773380716222107861391933703526212531491652962898542856652748838186025884729954425901354344463505460224301262923327)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(8) - (2946980814232586146197589721712909558195257565692308026339197401174135025440352329008307752953850775489293073274567919670421190850066146474361205964268261117109929)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(7) - (6771515789863505359910916000891574269955193931991433843565371251270820086968641652264402020020088817539741916735488832762744373140466735725792077593716496067407939)/(148895670959972727148494495059347976969161693366195595054683155873899048827263969398592703970513218937861791581555776251514352441815857020538114719251484564705)*a^(6) - (9121150161571305056917889651329830302010156977850521972078259980463193980891989903131094249394684071778113037199119044892775912666428759864471917760752979834154420)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(5) - (12431258449062834367610709369827818786158723638760681540012671697581144348921774726105501982436896021681962491905906891941311344848849324672167581436991525407694365)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(4) - (448761255837512645893042435089844670722763306651632736206334153512065755832391907771770712427791241977887271846032639923251010675990634262759927242370505974555784749)/(1042269696719809090039461465415435838784131853563369165382782091117293341790847785790148927793592532565032541070890433760600467092710999143766803034760391952935)*a^(3) - (61650090580555171776731911584872060773899075700362730825759601068655125233307413308281052295049397740286024073810808241060358398212248428022085741099459412478691547)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(2) + (2813212096421137212194517905100764891248476518980881187925498905556813104182554650232149269189260624280227370555647359405860518072207902583716682888810426866032973)/(16543963439996969683166055006594219663240188151799510561631461763766560980807107710954744885612579881984643509061752916834928049090650780059790524361276062745)*a + (5368261047244773847183561838152327727721982083414176378804499869409142376055537353380909409077053846892350967401394043752492626665993179299089740582395933564315895)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941) , -(624391852126242492297396540151149874684657001476904315773912450376255545380182634078968650403896692720186487744542431129066760494279171702544326467813)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(23) + (16889308899906539712207991339201773433881042965668484172224185023609747092055148224389064192614747898418548970082403586922467754844141115538998732970)/(2573505423999528617381386334359100836504029268057701642920449607697020597014438977259626982206401314975388990298494898174322140969656788009300748233976276427)*a^(22) + (11651514651504633114535366746330763934031425847956670617290017775998574593382408826543872606501214192617168724136588474681968884784566060037310093112031)/(115807744079978787782162385046159537642681317062596573931420232346365926865649753976683214199288059173892504563432270417844496343634555460418533670528932439215)*a^(21) - (3497332283450528935919599951933080646054041823128294555733864693505684967210848828856124454446715006488086147272703072519617394190000804484980226368561)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(20) + (10640576833749188365166210417256453936669954699426152951623703037372391652149586105976679982464078055769315769042013405031176872046915737077982357714384)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(19) - (26671007775203159796542659183937718791930865692335870587998152531187273248185674207418174537167400652579617304384596036736719750904493361702037478563666066)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(18) - (670523658659962955356988025310586001291920777612779101841036542839121699567416770640666279355788427612098075292035142097911423586868628965476731922243489)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(17) + (136146033804752808702968176669879676913231412219875606958195519509140406299785480620659560282442022793888074160905601311881492331434836198422284710816599098)/(49631890319990909049498165019782658989720564455398531684894385291299682942421323132864234656837739645953930527185258750504784147271952340179371573083828188235)*a^(16) + (215646831746604765236637576099417109543077989691375682953345813140753539846493433293822529448338008467057725254853934927964933470300193998228288328810091764)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(15) + (5240095881931407049362039942041437281905828029104400866415124734141572785603520168463255477756486328011323006720370719408121187651273895798967407401207082097)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(14) - (216549202499547794237769458972082191087357311130452176763878726782390273887774014709679515395885476321541483112855610899759818703099591466117305972188186866342)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(13) - (263791138087840069422253326175852180928975027129938244103314164488352458295762151632056439409589219224005666884858300356781495507163741699667163367301635968643)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(12) + (175236578230885443279388968399687691667294337550718258049894955021795044520294249406934277893815175323172011953962986813541795968462489621839444536898002434726)/(49631890319990909049498165019782658989720564455398531684894385291299682942421323132864234656837739645953930527185258750504784147271952340179371573083828188235)*a^(11) + (10229031147933881123213393107064305716454047244555736164511245846675899316739409358276204551728751887879931573130197061051860460738973678361527405187980237781323)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(10) + (66701722548012951291927580430295804228630168674770864920043246272642049933110295746491765242120377456422575445946494866636132638336394086611936169903082115601940)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(9) + (1093744322523464106675879585551437266347929162689146265657441364717736035620640250972733973096729660084543693191077957832108619357047137191321234385800552051742836)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(8) + (138483303810573398194807050562745552901005482264098245723028490357894007787887010185851473390154884236245656919721051210689534715166530467739680537678056877240321)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(7) + (267050170387132997506473994721123165598754970103212267620219612553383819570818075490397391949538261853760135222002499844891554479567364866978975234112916030529442)/(49631890319990909049498165019782658989720564455398531684894385291299682942421323132864234656837739645953930527185258750504784147271952340179371573083828188235)*a^(6) + (306948838207693992992755586636279554484660739166760089477197183967656166647033654154115148425027559044120455406917212546485714382350213809766090813308856334988441)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(5) + (678585778311250292629767564625008691216686056515093069869811681206554710676410059174066307110798084328103667461824239456512762845947538886499476036616238603591987)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a^(4) + (21325602177815909551995822432348795428600200521341798044346555566059827946875660578111232753633633463658279978536314886375189603788791824978929900955700958382183017)/(347423232239936363346487155138478612928043951187789721794260697039097780596949261930049642597864177521677513690296811253533489030903666381255601011586797317645)*a^(3) + (1708012513895101644404442883802819792832490614027291604460221934551243184095625855424695663126437341316082502533799455528058584767231765777367360451846214698720206)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(2) - (147142067977124827954621785086907139530859386007078050421798371222836599240386906530347563258428029066054484760987800314217060210893665365757921979525544344616929)/(5514654479998989894388685002198073221080062717266503520543820587922186993602369236984914961870859960661547836353917638944976016363550260019930174787092020915)*a - (167966638494914689492745257313774073899578410348164446595981991567776260373835348568295320779559927306041064005160121838253368713865316238082348962915163736253602)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647) , (478171588202220544088247662489844446422774434894279920070500524704239164856026377929705253599816855716659880062842848903591523109831537326586110678492)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(23) - (1088954750043939910394807490749666345095872026691914557215177182623680111479597525845760501652351170987148235220212620765032198328187098236595141897986)/(7720516271998585852144159003077302509512087804173104928761348823091061791043316931778880946619203944926166970895484694522966422908970364027902244701928829281)*a^(22) + (10668329064040328057968787898480712434215535585724079989728978032149135627553061918108785073651017992923605994157039089549067264484031374705345502483701)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(21) - (347619590774773248867965925575593491934423533784245289829081821458984055852305116971490746406461177285655305048186172816134724744527274492628781334642357)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(20) + (469331845312264040331887375185421340013502242016425049403031722835709570671128871668909787249931192887753673673113129285551665134879931917518023289371170)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(19) + (15416601141694900514094866291789364133497145983946428974651744704912254564162010474503113823047482656959900351861126462655465670783978834948840700521272101)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(18) - (303633244133678718183563728882505519049539822654088363699891069884128418789322589570961755123739203553116008509974130345589629296005725040273622497867884420)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(17) - (248926993461275221760529340264572951476814109742737220921623354005280363435625753534493706587146851609794856652222773616168729586709944913723971625142120113)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(16) - (1004500399980296575110075339839655315277888260123204793358175376441602446446900384999075439754580595724448244957560481699707959710126597698117804125771567293)/(9926378063998181809899633003956531797944112891079706336978877058259936588484264626572846931367547929190786105437051750100956829454390468035874314616765637647)*a^(15) - (25262303772021684513970627274174936602326697040907776300131810748639319158530147772219855813400080306898715646358255475392609542590306734112183744057953179938)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(14) + (851874114384653003389113296740726481931476931631547027749991360745565770812858116431849648299439490657723021827302251331157411246834202896530822703462245798260)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(13) + (3662485833998759096088766149651949828908288095529761276249946435635282191761320815428865952107118003855340376100218552329198450208654415348812361655675296576083)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(12) - (10727765711791198241824703553595107784426998327355203372191960293417307420701092143076934896573153431965318915982415882862623201103656843249860994959615640362686)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(11) - (28185790790226175135450766240252531824113043627651902826219656740617756357300190253464060398864617752659899627803233605575147005495588417662369835084886361467876)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(10) - (1081797474629554401152825659268797114900641385978474478850576897686335746283445593017100462521796735914940522114823424487162301792544753492805849454697470291840827)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(9) - (3282596055192281010312460808251918565179460991395103073140699628063045146735487558649233890605378783884765415308293361273852403454461886164579599143180924178068569)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(8) - (1921601500253133816415664320138197390270891176394167126276866010262987619432571192282721174072504314876010261326775175613174096749286422746856792749081917733409297)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(7) - (5200888652605735717845073071708968427189548828639494901760680180623911201964207640003129127632360163339458405257782809569457451707209630320805530622714793509781030)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(6) - (913913904189755277958420516815543613322372104659325402763337556482939985108909012891695090148140762314789410721550377980118190841854330503120401330805493410933479)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941)*a^(5) - (10167021291005500943922890702947320943638987641488434362117920189990852374132384292133470282968821398151942374306953564338931824467423516369259176170465932197469014)/(69484646447987272669297431027695722585608790237557944358852139407819556119389852386009928519572835504335502738059362250706697806180733276251120202317359463529)*a^(4) - (58084508752572952541462869407727054540138445537348497289899284325000369363395576993343458993455582174780679248195868837621676026586405391818015479981147675955384288)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(3) - (22193645913502638261716195545465643346480785639359782809405642402212484259874084541265887459829215286029148604459561770495194915234521366778112449130897073229093690)/(208453939343961818007892293083087167756826370712673833076556418223458668358169557158029785558718506513006508214178086752120093418542199828753360606952078390587)*a^(2) + (2846011168037483556418886489373632701127902706354300683251949265381253885116414462821448929962739638986524798333980864324987919797165037204435886319608402440060685)/(23161548815995757556432477009231907528536263412519314786284046469273185373129950795336642839857611834778500912686454083568899268726911092083706734105786487843)*a + (2297983953333441331842011982986890978209416123651408382125531846819037010171250069429939164805283049564655164865268220601183922060762814552300652614241842566678433)/(29779134191994545429698899011869595393832338673239119010936631174779809765452793879718540794102643787572358316311155250302870488363171404107622943850296912941) , (246287658035688450897088468842373465415408129209965481730038453122639861779578902104098585460455371325426504138713868064228610296358469198173362864001851222999938)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(23) - (10136226342341552190256770802381493161976583813017743569885787858894435707872941706702323426026029897604969844851991928214865715884322152259193094061081001270412)/(4952809233238847753560284552989549691911692791913146423636681043833684566047258279121849680112751961011963031348354502766926939922332257327995854840131716598743873)*a^(22) + (533206825997850443645261376055787677491110899655756218595044716222023713855151121117904612688228252926439144847931105295824841243370340938360538216931854465153)/(44575283099149629782042560976905947227205235127218317812730129394503161094425324512096647121014767649107667282135190524902342459300990315951962693561185449388694857)*a^(21) - (21660473003614559364094018435815173898602473927413924423884029679997383683325222111673587556114435482952549682370249816117619389938861960202637556056830143822102951)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(20) + (30553173295073297706634338007550011251538687870275908566050067373503786594391941228780239559454189059065142733972094644346523701698296485568783129177174338849922777)/(133725849297448889346127682930717841681615705381654953438190388183509483283275973536289941363044302947323001846405571574707027377902970947855888080683556348166084571)*a^(19) + (8200622945624394258389531679575225438818301430795016699079888821028550491705344994922962577259452641338511591717428715191853990885484808885704903266420998655558807233)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(18) - (14524824959132717877487073570675972442832312354141163881608636414876081661874192422736378921191437364432394404550809796722032660002024785136765313896437246035961169869)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(17) - (22294326863809886545673147865534720609673761477221236613331997596295143042787592085141329228834873336932133083148799536508753961618572601838324143780328057300778510494)/(133725849297448889346127682930717841681615705381654953438190388183509483283275973536289941363044302947323001846405571574707027377902970947855888080683556348166084571)*a^(16) - (554458798360013125167069531327033770651598726278277487008274155016961544326517531946107687681912712237548289084852319065045518905404620491980679861066739169961359691320)/(312026981694047408474297926838341630590436645890528224689110905761522127660977271584676529847103373543753670974946333674316397215106932211663738854928298145720863999)*a^(15) - (476580375467037303910534372569894012764228735448529393188588544203514698217089729485674337049065943531365345474544865446975813262632874473465031589956325934581444140391)/(133725849297448889346127682930717841681615705381654953438190388183509483283275973536289941363044302947323001846405571574707027377902970947855888080683556348166084571)*a^(14) + (61818580319902186666429111028561624871147664892180897941409988002627786641973135609315495358313833422808787950293882699288517351556519477265309153643583906184020597899923)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(13) + (333360404154307375647153680742918206689933850988252057669459405010912283610907117748542240704658111661979556879741707605770223431273588862628272734166096077242413156608910)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(12) - (562203715887130719068430284620836550581217492564814152857300662468368164899387454810256714643636215871941243471865293623953027978712209620432155508275784204371742824731894)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(11) - (814523358682792919755454492368576860874864207714468631710010724057636092959146110554051920384285908813615316871131551249160136662302952945901445387052103006910320694054149)/(49267418162218011864362830553422362724805786193241298635122774593924546472785884987054188923226848454276895417096789527523641665543199822894274556041310233534873263)*a^(10) - (4924286053554443881087720255446337864085498846802272651037537918637735463017559275544946031016620513054325894991059529916920825873482539275707033037725827742612800732104197)/(49267418162218011864362830553422362724805786193241298635122774593924546472785884987054188923226848454276895417096789527523641665543199822894274556041310233534873263)*a^(9) - (44553115256213765692828441150385637240902913819766681425035101130683006332748150618644999508448702388130737089616835969547410343333979396952528436716734887199521010639278605)/(133725849297448889346127682930717841681615705381654953438190388183509483283275973536289941363044302947323001846405571574707027377902970947855888080683556348166084571)*a^(8) - (205734629185393008471990562410783171162350981374842923062945796333437027506990263061346608204816438919502488393934788316549609855438391484453204640793710832476159475574759376)/(312026981694047408474297926838341630590436645890528224689110905761522127660977271584676529847103373543753670974946333674316397215106932211663738854928298145720863999)*a^(7) - (669504191175204845758351307320593709955435069297787204830778091167864619355019669883706010374685942399913864495066465034938345503353012665086620276901190232771606587979692765)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(6) - (640149236708777461767505074673736724078615553978439978692776191680437555509779036217760831556336146385800322410348604336877620840414996098895207674890220041505994659744223712)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(5) - (122370837156776595692113095801335899887632495114375727035866262560371907452212700439796318640170920060994374768232116716827387731562558087183647128607004512988681888657208860)/(44575283099149629782042560976905947227205235127218317812730129394503161094425324512096647121014767649107667282135190524902342459300990315951962693561185449388694857)*a^(4) - (6256494776469374567308230192344458357831834999919971018405293691084812059125923091118958111693434984067388185584627367048440523187659042347802279673029934952621251594612463822)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(3) - (4439503937211474718592848552683546172196356419576655796299042047257135627458425142090950897496437920536566876523517816405069863734196569037874881165241358324821305101173161369)/(936080945082142225422893780515024891771309937671584674067332717284566382982931814754029589541310120631261012924839001022949191645320796634991216564784894437162591997)*a^(2) + (265499677199425508368696496300990592064779181508707548415489907835373361672507896217277492950119064934700364728618661672702752966214615420413218530383402952336286136728562708)/(104008993898015802824765975612780543530145548630176074896370301920507375886992423861558843282367791181251223658315444558105465738368977403887912951642766048573621333)*a + (388357239815119319474306911056123351433714615026028825633148998929056747354037911179156026210169666426881265613959617947509155781402016848648594039182729137364129163622036618)/(133725849297448889346127682930717841681615705381654953438190388183509483283275973536289941363044302947323001846405571574707027377902970947855888080683556348166084571) , (115576614384059512574736992875370727753417830343041231739232971256251893409406675859792947620105270102513448106460246136798478099495532562569767816727435909115790)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(23) - (43068399104436301179909944798274994977859266254924841181587249177395296787236875829270176008676454686936724894006717183119762241267391697520028263705710660507119)/(658723628020766751223517845547610109024255141324448474343678578829880047284285351123206007454996010814591083169331148868001283009670190224623448693737518307632935109)*a^(22) + (929466281157527261745135561421692066424293110960701436930853542123517559224439095980346301718108389428768536488546562618926731305586196671069056057877792971680313)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(21) - (17720299929177004449414029000815966649640660065680233135926813248493322786669189180511526260835859637783595148724138668498245227694404201568906670919396516154980502)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(20) + (20327285728824994009012922861447660562065826987417744040057873272339907567252465097163599184784361592750877846550153251875932907681944536685481393737458811231711471)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(19) + (3513847043726624913938242807407756216130252492022313974732076877210505147686796324864471247537010147685047198561136967019363761543527720154091438010979136226246363915)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(18) - (14730020222502467161897699778295206366452593503866570039239895552504023739557148183578160135502380154227890935369867313918813122392440925307192806113699007382578674980)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(17) - (5055615513702254442411047896450854763846643023650029325468520356952207200887143149230678894276933641225856440446535355540477062127690489795638387821645076215967151419)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(16) - (238077277347586605110314668560144212153867197415231266057192179623577562600863301061913259050964766351956890149424871039977080548609311800405160593070192474057270114372)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(15) - (2224068313428548981298409826444566350160450242441402685368833784300187426176934176886340910357537068347525045371711041337702482447338147257135340946651479407846237898)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(14) + (4043597373989309692740603591787272411372490221280549013643981662443693461186521136720376081449920146033550339643089197545777889690765696481280552254452454065983546076090)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(13) + (91037419910771738714009412535893289608863181176291723040770161465248490329338355270620033130694751112577550517537916830433232388604395356128445786541744393351690550609435)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(12) - (436252769651251789141708539052876284344852290986762494151777119637240364681619256552928525085439225869917781965481614885691683015643200918765505651367913167947524539166471)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(11) - (6150763627367716538442014743630464113559438654781346479186084811442131105405114298073414173199983395705860029360353970622760393833010391711488418613997392322089192102574177)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(10) - (4340633853515728253506272545021150597118301852154400596762562799514550314033280810817544524037571996886358781366170089344414579945291634668851367105803368330425536254826728)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(9) - (84348813253415009567733408694204002624813993333247265566456108814778841701193053261652240167647946276066058885573831360366841546968046093131326093728686335083809293519448265)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(8) - (44596277779346912830559099823538063234333216166768466224994800881017491492993405975201053656232167728532013260322426264047999191348660707061147538533387351545071458021086747)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(7) - (106387729111444998541063952643084692124295274599978467894850018766957303424009613573418559089432802408608387454120121808702299802459094035538761394526548435931059164260108565)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(6) - (198720516046693351788204657889546633565652618368235023009094441121639924695026058722863694973427009842315887516728212702279309537968132850194565672078554404397979113502458293)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(5) - (275088805921899942627567882946525142076844638482676214636657965883388780138820110802618271862493262151100044432890019043122937723241572149846296106846886765842735664391750012)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(4) - (1238857810535396775479176071736629544963828684798947277887837042814770946916118518956853937570422942630996297839001986775468715024336062649225360234936213579383004089874737599)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(3) - (320045058997553735609503720592672847821636167964550218560341623302711229676806428355457095007006114418502224576483845902025922613785268185111050289715312424051861917954212766)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(2) + (62620702505349927673263035612101888029870605672517230130589956285853389902167162970744504483255506822389748809061817666717425764074046664706581434120951285800080636740321446)/(1976170884062300253670553536642830327072765423973345423031035736489640141852856053369618022364988032443773249507993446604003849029010570673870346081212554922898805327)*a + (43776877349641004358475058269890163112070545700825588124642047098047795332844684583748446375367245033325866141001846086621616081908425186513089969095519743252168470149657449)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849) , -(222281951842821942130112884509234001171013217854031477819507840499237809427103082542302285905607466249266017297142238483277533941120775010512217909677377491032)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(23) + (15127998376663133123808780435698239793376797643571515137812188368775927530784872267084695146628752207562468450064559892783308564942038274151173413580188041909)/(658723628020766751223517845547610109024255141324448474343678578829880047284285351123206007454996010814591083169331148868001283009670190224623448693737518307632935109)*a^(22) - (1043348994652594661736035457205409694662487858442075689687230353682408291720759454502805338360168121639534848794120927825847388148466111998807589222886468624486)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(21) + (5257991534062880217955643440648629357286244515574250362097335647885913914490094874134738326606089209227569246587122846725302183491505589449380362001716527597805)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(20) - (6712387718037585886490831530245350552028558047329907684085929162142903403950919240561928391740354441095049058599136120584671906296350749126971655008504390808051)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(19) - (7037791944146576023218717707073010449481428932343382741793608302611665315723999808078284639808668550346287149798470921093956632497933780488421637355198295247691099)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(18) + (4553233460422212460088507980306667728675116384260361662618418405362384359757053908966078526085419002853033559679238677460663902390062631476470397439320557264716418)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(17) + (14475644842151217879189297074659783744392283772191654429681854027740805064855362119649822002366349038386222125673296670949881067872682141370027197870287875585780142)/(12703955683257644487882129878418194959753492011257220576628086877433400911911217485947544429489208779995685175408529299597167600900782240046309367664937853075778034245)*a^(16) + (92443512192432167117498136249779563022108655705508988828313196371636368914524688168869408290117220646232463931243693406116621275091951649216429051603276043359406253)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(15) + (228078157344024321185579311469596323157466712165418991017012554624626382857748947953069312492626857342330457033193905658910009073634394993413014726837452177665710110)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(14) - (55969495775319797512583946318836473662567703859308773733236084299215048655485320049921450189523661294234310653926521035232939929735021689646828883026237758131347817543)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(13) - (44257400597255778019563244752469295751325220961318004101283140939883435070916052514191567746943068803687550247421908117065393236393694187933050079504418279163324978305)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(12) + (762310052151749213025509714855868265209667066530198081503538665646829547762040236678222963250725559711973876022761361375008699921488503398506107297266591159330170453958)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(11) + (2541871854689514458298806660125563118298722297904557074578768368473797040265569190324686545745822641161889695064368570127288599310315378720794954089369855213415478072278)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(10) + (13498636402538716843556254303715379299417581715316063613064091369005775691633844032556819110129443206063643740569942226167327255810242814073908680575107047378943019658869)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(9) + (199164032050595157889418798333669263983573550591071215081173139941142070214776159610051353098076355955027475629627277053369242558013281209208758920424971374365375960325154)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(8) + (22586023999097039738005786397369905023068416084532450865098490541975486460242621056108807528738751032040997004925556310664339931944699582460108310551696064399283870098815)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(7) + (293259194457603868636335178227175895697100219141297886028297998554036840136756170533415805458893849600570408488681634192569642362533169388366066262669899962742685582039686)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(6) + (80731718767183774921327363879266102054391257074983588325529385453989516895706759562119986144731457073821741312003977615500067057447108196032565621163640717071494932153407)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(5) + (125775279554250701428494117628069476222764344464160384311006081738738680704548707018017245691058876173009399869035787781503314719019144173838564037743604365322846247796477)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(4) + (3311832199978801133347830205310347103473131746135021108408748486723780144629962657174987901950617583010499877018945329281746557492007562801887807491031429253937863636942113)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(3) + (31734965701485604958155423740486335995807433672188891935719288250090764003108576468332962246676235312664792789914309902214213084996083886620206162355503960724802969078542)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(2) - (163839929215337917318509510744199622392289958283837447936283522984461788191385427395172829375020881625199908614949247621680111312070494174126942991910368356755114979574042)/(9880854420311501268352767683214151635363827119866727115155178682448200709264280266848090111824940162218866247539967233020019245145052853369351730406062774614494026635)*a - (24976023701276726379654817657384163038877538839840575140009531113529407906217349026375403853192734310576817318876640918987232556955297462321124958553555376915487027822740)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849) , -(9899113257293507820233160740118602518611973962307873364858672064920221596239729845978787857140223883372517643487252099291992072040455923670268445600511062112)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(23) + (21955053003430443844333517175140813635669491736118373073106472555183993757372834892840250522481208416149700844047521179073951430087277856735948657007500947)/(10455930603504234146405045167422382682924684782927753561010771092537778528321989700368349324682476362136366399513192839174623539836034765470213471329166957264014843)*a^(22) + (9964629294647458832439920879376397573160174856478234665750247911088292209261343456000522786020914949153174729029178496651572986340307626693586201184064333472)/(1411550631473071609764681097602021662194832445695246730736454097492600101323468609549727158832134308888409463934281033288574177877864693338478818629437539230642003805)*a^(21) + (90151035141858982246804855370057080095263937328355207012691370741890071890452671690345424229382651662447760514325943532772918182018983978938740919104288790049)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(20) - (480505446288584483666122827919684824096700680938190844224558117996306244000830960401550966300755170797672716296234430189209859259732382237484693519903892784736)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283)*a^(19) - (285366417025011088305350212922660324013068376569303722067762506363615345859035977748111494927536563070370368117071881403437858385094161268910493560815560180109089)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(18) + (72466205555021909865849784075099868229428319031102431681329252596549142647225355771816057308896784673402467616077829392984216074996519507589796502828028137458507)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(17) + (1037600810159924132254805719453134386197228620229635523177874716483037302438897197111387837163882202586569742937648506148534329094841895110710661080013865646424627)/(4234651894419214829294043292806064986584497337085740192209362292477800303970405828649181476496402926665228391802843099865722533633594080015436455888312617691926011415)*a^(16) + (5256890354223255124118989904102461511159621868058964384658452142913575332038944583906927763255267772458246081954878150666097110539256824633755907525759962247542885)/(1976170884062300253670553536642830327072765423973345423031035736489640141852856053369618022364988032443773249507993446604003849029010570673870346081212554922898805327)*a^(15) + (2000854846764854394221312062031900473397642220068387231516589408263381219777606357742432820971400317637562880466371054870614363082257019352493606548928228127851200)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283)*a^(14) - (2804197409718003313997076247213025298512513917802965318828551228778463427759561711618380360264143005661060890800716144873710197320505253702864788668224692530701233243)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(13) - (2412147415661517967052334817202235959674986285077740725595268587008942724084755504655211932383281487208371781311835909871478787188518323883324001398178690877528443469)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(12) + (32058969294559253299758197655981250910962408635220089193855643821772962471891433218729578759569352447172316154936117467787355996760189596404616467307040645139976940918)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(11) + (125076596382051046555587423274627624302571399010069936661539808367749439326861010381854545528914050122174182898230306705923363208187676420372941062758022075894204936679)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(10) + (745957101289789164855958267926856194884620875346977942773429987280180105637857889664433583700817628564582636672005971164042862550967254010105213328933930800419372145642)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(9) + (1905985536469663187362686136691926488656995940727610815011057776116626530860858354182903467961762323142781222611613308270158757980030272720703018434446584433235999936502)/(4234651894419214829294043292806064986584497337085740192209362292477800303970405828649181476496402926665228391802843099865722533633594080015436455888312617691926011415)*a^(8) + (2167316811838369785822649937779677660117854344826051501239038158685792094513536089364168189199388350380207648494426115668060776175431867225731621189606247721164301573347)/(1976170884062300253670553536642830327072765423973345423031035736489640141852856053369618022364988032443773249507993446604003849029010570673870346081212554922898805327)*a^(7) + (56742719569999379235386109698645462465915971834398296781380235851792148548170936517677476702524684134240401725924916173011181839895295911405452935356900946658003863255241)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(6) + (13346451794601777704148609303098947508692112004545682296532788206898306327833340283168030696730171858923872375998964845930729956396221439422771682278285000128002998936026)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(5) + (355061275350467005691383033361560008419294834260758395364073140515875141403759430683901479587077302179101890373959669934576381332259514705962662900536182334584306416848)/(282310126294614321952936219520404332438966489139049346147290819498520020264693721909945431766426861777681892786856206657714835575572938667695763725887507846128400761)*a^(4) - (13801953230913036321048768383780011791849649444025191401784589689049689393686329746814413878139582522885635701529709267400695168116041813157468789482796606588470938268617)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(3) - (5671918744693544270758819924372550084516182677473557896300532773753038674179781511877567834920910757349940853756689036240641297162644300019334726327374889872715256828381)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(2) - (1011800511545140898257278727034430733976118435222713117637153469378568287943954789975504059500710950957342365226622209606844515375766862028856092784907194377709135152807)/(3293618140103833756117589227738050545121275706622242371718392894149400236421426755616030037274980054072955415846655744340006415048350951123117243468687591538164675545)*a + (16343527054819552925016809342285085515593683906965315039601969509826461424273552243837253441754306901073665516672038589067097526688450541027316590297267883009907264640)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283) , (883880878232316135222542522592660530613122526689683262250266044828343542028389750527286578732208254082106122481821688212792211948470496917184613159840337480993491146)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(23) - (57446619016494591712338698185940446483286440532092644021472386392677721258968280309500673452702294817700312292214695300187779181631906469570587759004996857042008918)/(658723628020766751223517845547610109024255141324448474343678578829880047284285351123206007454996010814591083169331148868001283009670190224623448693737518307632935109)*a^(22) + (918007710059071175408263456816533970119939888081655062783127498068872826039835997765512461913887972630686557989041208284778696195176297010127007884629782855589259313)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(21) - (4579680337327160495101281305937447291401786972068420186188784223827870067166253038665986715108479055123522992599141615392970803165145462459308166301185366930861637462)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(20) + (17938324130572500070704194620989533095783696873668054769412108840057768152144633304604696424549943294121242921696161864662797823075148349497511783047672011989872798420)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(19) + (29265878284092688761887794666132358229641149520411159829836181332125248153445306574578952364462016820707363137067738527543731676267901867440198161217161288433160768122437)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(18) - (17156219509604424285480586745208464861002631252484210396547574951003071856363900124209543467618935975629595588552249644168810341448300127932148397637589000146256938542579)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(17) - (89859072702313239237058908524968493553862067467588173312362189119446920723342355922203476516183937109642870484696055181148642976606958609613096678057737166702350226833606)/(12703955683257644487882129878418194959753492011257220576628086877433400911911217485947544429489208779995685175408529299597167600900782240046309367664937853075778034245)*a^(16) - (295204573135677982765748024299152397819347681275069401318366747074397390093842978769137775603628051271948649275679703998266566691051052316316934547798647606335906994646662)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(15) - (1236888341328762536759584645276125413893616355276416813737669802974862263672441425369856696230892670557318070999362164448024049496784700873155854521509322180234378831721731)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(14) + (247600473494183171144208702624710734242455354482558847446470151135060792899659287663265916153067761745677671490090173015472909819049690491550255444821746949579188463615388849)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(13) + (185673803092320525207898481640432860460736965917556619499616655566804667336783091281849939732358095207800490360896028996837302851499017954664305366431299783965652496477969148)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(12) - (4325908327763137432163391661597243174864191450997924299177664929322415419861636634851347714770356499353579978478695192761483276064702807368939676160734281779258435733255746164)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(11) - (10538007062256411180264045445824111389559918959106269360252334809770847938728680616236702289887649764260943856623648025279641497008003681089609389280975131772839847511884953210)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(10) - (50416209233432569389404204774914904480300644307770402196090647175801248911306072943727196479454793594742451086829982223138785814229354029654012243914868768950634588513399091818)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(9) - (651270318521393383323578776491641759852682812354531755584033175906091613022252755240878140016204118093974970986119080569491254583918381394023037508092835754706841316976090512922)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(8) - (7530273414426747905874657087280222757181633249419151496507556662202808597162095543999198630666373254867323069905080062706070710318882805797070263275263717045468880153771934753)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283)*a^(7) - (484845340328985659248734057821454146182964812088086862755141092130876257041967716123018766659908165689191020373649955816969582308993656037244373661130827120844398854203837278968)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(6) - (412491959852186349878990875114581866400673752705105118925487481198135168349533180523983420305288353035665012477639673093145267996886772611956745437352596212677746523550305522470)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(5) - (425793061217552727927827474153764443637403363941894966900292284387964383012711180435207910982229985864924021271478800727574220332898159100761026934996894501786077911054645790051)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(4) - (6677518174340929099711824770645569021168694986757514650594076493556106325378459454560345266863929587060879996017468029258622689731447527042513322818532160200506464928553856930699)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(3) - (65888180693217158224501749898767233431834482429819649442015724408083373486142887850622334632515424615249461658012582793138638057508243096529922044898357420613181251070869398125)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(2) + (362225360534117566328137065138763723221320092178949724174090280417746614472919303985182497407831881075371652816275432279814117132358825929347189733939391431092417348963579661921)/(9880854420311501268352767683214151635363827119866727115155178682448200709264280266848090111824940162218866247539967233020019245145052853369351730406062774614494026635)*a + (39638898834997651537717663877536103858095783069337398118264674000589893288207134083704314479758194205429663000506898418891926661652789874036532378092579055276687541681394365515)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849) , (43747985105936454236121874550733125582506166445933967670152837386651059461025953558984513614330616832166237828457042020331433050408382532182583181101333610024397)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(23) - (2949913233787031573854048147292289103434161929597620343466526637197719374089526986340207942982554521913876433541064310726480362870970187006699563296163972749523)/(658723628020766751223517845547610109024255141324448474343678578829880047284285351123206007454996010814591083169331148868001283009670190224623448693737518307632935109)*a^(22) + (180612750481941378378654820819157660713802472287236255803829814653390204446087064504255802181026409718660005101693332582448972308799119160995178011487482218758531)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(21) - (910601461046290285522068701835904048626033995139749765177851949467418488508958515191834430810252059086001621825026016108415753742444914596344905475343410473965129)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(20) + (1210939928775446859678659265268330764356288860785511628579978003872912050652789249647232649955491993558261380332054183531073110477760644629092902021737030383824097)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849)*a^(19) + (1409280190165852119310940820890199863322061387293955452078003985549435928613864125846943761284134425136807607418627429032981010173102965367672183859106425637473582759)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(18) - (897411027500006021035410685097572025519502623500788044750061196178216572648877844189595502401163265474175013046654937550201457841736269007251351244182020294835440424)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(17) - (3008406603359987557896431746970889553633707739863297344893114549243845099862460620244777077130038924008258905554108664533110288360197108865600897399752830108807285792)/(12703955683257644487882129878418194959753492011257220576628086877433400911911217485947544429489208779995685175408529299597167600900782240046309367664937853075778034245)*a^(16) - (17741080388252543802795083284976107371072646713575839385337500069941971363576910277252003740702137574654558063906466930220388516966224934432723692700828570656775738057)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(15) - (55081030536250364290051905286914137742101531344120984026719674405852542024464680743618776835290118592329405379176799964074547926500289274912187468532989914975862007070)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(14) + (11344021241831413533791260518625026101729845436424941533526066941587846249389845615342623485008001613457725098218718124305900185145044371288299367346836065107217732175313)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(13) + (8637565622634094404531782203623440471329678773870171774800150260661079257329634886944768923580346814417314994616473695646988354631692104888710385992761955913675780422809)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(12) - (150396750751352854241290759696656818602991994637888223549149381891612979136413090568643955608925893111433038118033385203609499465813052412220735519670187169983453872923028)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(11) - (503368576342527803657637349482219171125302603002023015951194544922343745245795666072744865780312714650976109197554701153402553849817186503473580994731178525251767670999435)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(10) - (2667630604643680649602583478866980791849437271268327640082217994303322125360532284440143868679655673825321218921322427938935055432999844624916875278442389348208363926374506)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(9) - (38974133794895444027645816253847223261623119860629732842709148331525789175660814949171950340821713921505075649813740532845673992841819479391926902347292654225213126765244069)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(8) - (628605781691968199532334326775686041321628825216637619293286001726452112492583801606598777916933195576619979400327921518505946463702925114312977139607028597810760930075095)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283)*a^(7) - (54748524839897869069880087395514904129013523569303937411126204073865114473805929265680453656993276046537200995789096404847776065821705015899026245612386475200532445698654391)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(6) - (15798252836784448610215591352600244586229639163113875365383640778160875552094121760865909440565905616626155490416985485091387674024555318434632189903210792613001110511269996)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(5) - (25102192064451294461288567349790967593576477761764677812471324889990597473781362130810362561071345679610485103007003495776472119732272042366121003393119373751506071455209361)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(4) - (634580335180815174329615262782537579158219953702512270262943647207486665356472396285947649524809240709325095516702066343364788756931763062642428027820637893283487265752626393)/(88927689782803511415174909148927364718274444078800544036396608142033806383378522401632811006424461459969796227859705097180173206305475680324165573654564971530446239715)*a^(3) - (39162971844142837829633679277114423949551716765025799871090869979647396113977396280628719968438124808481271263805223249994430932292267783004399716357536445773601616729985268)/(17785537956560702283034981829785472943654888815760108807279321628406761276675704480326562201284892291993959245571941019436034641261095136064833114730912994306089247943)*a^(2) + (31538562659737675545825322473258454336475031456611851570700925270224090886287943300570273357961952553026422945821461606105848341153907416008746827550108359894411974321066807)/(9880854420311501268352767683214151635363827119866727115155178682448200709264280266848090111824940162218866247539967233020019245145052853369351730406062774614494026635)*a + (4646049454545982999539229397461966262666787526656158099128659931122028303592931385624963784688067112607927451119503731364592483609450157925333843299908506422272833426210981)/(2540791136651528897576425975683638991950698402251444115325617375486680182382243497189508885897841755999137035081705859919433520180156448009261873532987570615155606849) , -(7224002711687789407926983137042739299956086778243783226027584889313521352324664209728558616179354523857746132934865035373386458834579792192040312026066538685579132878)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(23) + (38366785207902533563434013953838623376432594429866446082286532623257064566967172937910896874553494876672400146459765586172633421578075202999956117804008121684527620)/(31367791810512702439215135502267148048774054348783260683032313277613335584965969101105047974047429086409099198539578517523870619508104296410640413987500871792044529)*a^(22) + (11050474598831957943580252369167129341572004450023021666162326882725739540908793067565829443022599365536151577737068982851430864336306246021682125571323507792423783388)/(1411550631473071609764681097602021662194832445695246730736454097492600101323468609549727158832134308888409463934281033288574177877864693338478818629437539230642003805)*a^(21) - (39845787894124832888840503904537023299120120407870244264119437936835973415248324246492851429133867161341214506454321724253963969621224795909383397892702839673273683430)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(20) - (59616984200770354082788817498591162274691307741012055465851019399203782050958680464774093919077209132217748512355211249508556442440745698651112229075566696626465257816)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283)*a^(19) - (271081698012362965979200453915743438598601962166962166060562737671670077593692884268379104333305397934785010931563444707292991026031688734299958092802104784065562139926771)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(18) - (26825540129035276217586147599313740043252039973022879849517447214903572171309051512870545160529451622113283016020443508107512654590471588193413577993984616637271562189000)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(17) + (1147534447982052835807101780862111872444936735016030661645539225764153372141216791517614062288480947409364622404343894244981751911739120336367837208651785220123485408556253)/(4234651894419214829294043292806064986584497337085740192209362292477800303970405828649181476496402926665228391802843099865722533633594080015436455888312617691926011415)*a^(16) + (3326617066247824681236556214854280647322150617385792985652581353751662349385230648079904220245014435803604365643872720576674381047133820920313382292022142811771758002895166)/(1976170884062300253670553536642830327072765423973345423031035736489640141852856053369618022364988032443773249507993446604003849029010570673870346081212554922898805327)*a^(15) + (6172843325400172403905097703812191928153195199927387653201462851829875023273780976647703871432985511009313836824392492447267396913799313722229183948755790253979796229230977)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283)*a^(14) - (2002844041605059757607644930881121421576263640402522513754614100147087164534612460548423042899143209983541380381293408647027947551613664727412723716136912813879572192267024627)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(13) - (2889476491324100996242208353408962127258936703856120535658427675495015475073930376614783763592373479873067237289279438455046111160994130927782937601056065958355536224126325721)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(12) + (8347705227779486709606188849296707477876039000543487289819986151473878401203244056571850804199934867726538364567844406182487828571177705567726778297806654653499356582717078692)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(11) + (109345393154005928663166973666312025809288623888015918030582250101587405601645635429034199765819240922216300029234664344561727343992768733747804930210281526820951779642043814903)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(10) + (732269513490977302476218561691966232082905624306717488373697288846102488565019944430038110395221682936025522888975640335786437541344700325851410723499169794001769385801262049670)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(9) + (1834784958091084428125563407260687741262723075949723369685300087050895443956743831589392454983514266093544106307586725194217024455342920097603371102345470818733499456599720088988)/(4234651894419214829294043292806064986584497337085740192209362292477800303970405828649181476496402926665228391802843099865722533633594080015436455888312617691926011415)*a^(8) + (1731107362193534640643677302448468388655294024410273932292944927296532963551140472770155629313208421294827818500912407879413321567506504565600104891886987483998864546436862329112)/(1976170884062300253670553536642830327072765423973345423031035736489640141852856053369618022364988032443773249507993446604003849029010570673870346081212554922898805327)*a^(7) + (27199428886982907148958417456261493060255027368138302155591817391373712447983327280051185613714450515999741833705525506628844779473388966251721963468984883134046615858153937340839)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(6) + (3899015936412788354602835029628648222929042372640405730230380470651028730694328698627899295116675964766644581017003593576497838964077374364222495171855817041141932619992356633171)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(5) + (989948184995110694680427819567086414441265303253493890778482268339373421158480394436133796633640304257361487154872132913837335578960712260725111515143911014444935409918746846686)/(282310126294614321952936219520404332438966489139049346147290819498520020264693721909945431766426861777681892786856206657714835575572938667695763725887507846128400761)*a^(4) + (282745164393295125898097547033294780960504252100599634830609555646963919991254483212495815150121070913370564211993693845537213654966691926223941395807430155242863682688975852457892)/(29642563260934503805058303049642454906091481359600181345465536047344602127792840800544270335474820486656598742619901699060057735435158560108055191218188323843482079905)*a^(3) + (30866657695321982935503648203975636838000825584543435397069986035264310749825657398020721214509747674715003072993011199252303376438243891697442670850724655062697090754035540756184)/(5928512652186900761011660609928490981218296271920036269093107209468920425558568160108854067094964097331319748523980339812011547087031712021611038243637664768696415981)*a^(2) - (13391431161409006053444457823317945741286588181750813502758549145036769458434364678314264262143285029687077852983087471724219832031056635220133044092098107665449713344616377780753)/(3293618140103833756117589227738050545121275706622242371718392894149400236421426755616030037274980054072955415846655744340006415048350951123117243468687591538164675545)*a - (2604951345905033181947577604816665891743125941077631931496552190790870889674014263920703806832649689170619969297819926533289356996964208269689384117380017048650962368979684823304)/(846930378883842965858808658561212997316899467417148038441872458495560060794081165729836295299280585333045678360568619973144506726718816003087291177662523538385202283) ], 1278504647863611700000, [[x^6 - 3*x^5 + 25*x^4 + 60*x^3 - 940*x^2 - 656*x - 432, 1], [x^12 - x^11 - 120*x^10 + 455*x^9 + 2725*x^8 - 15191*x^7 + 1616*x^6 + 133525*x^5 - 327215*x^4 + 15000*x^3 + 339584*x^2 + 369216*x + 103680, 1]]]