{'dirichlet_group': [], 'frobs': [[2, [[24, 1]]], [3, [[8, 3]]], [5, [0]], [7, [[4, 5], [2, 2]]], [11, [[12, 2]]], [13, [[24, 1]]], [17, [[4, 5], [2, 2]]], [19, [[3, 8]]], [23, [[24, 1]]], [29, [0]], [31, [[20, 1], [4, 1]]], [37, [[8, 3]]], [41, [[20, 1], [4, 1]]], [43, [[24, 1]]], [47, [[4, 5], [1, 4]]], [53, [[4, 5], [2, 2]]], [59, [[12, 2]]]], 'id': 21588022, 'label': '24.4.6769025210045733840131040987091228089411742985248565673828125.3', 'res': {'ae': ['212661967555,-177935158045,78198618030,-122443012795,-66326564970,-81654315015,-20499217240,-4031153265,1483412060,-353092690,-468694085,-204414910,-28719135,1326315,-344810,-321030,-210105,-13630,-580,2320,1,-4,6,-4,1'], 'sib': ['338358763849,-687175108716,-277834934826,287183270484,56974469259,97457228755,-6224510120,-77668721620,-42563392655,-19884822660,-5226790060,868904090,625240725,82989010,-10638940,173855,1583400,81490,15515,2465,-2174,-4,6,-4,1', '76465621,200875417,-89338441,-173738232,-24935739,102561097,15751094,-35607162,-2904974,9896052,-436146,-4155617,1797216,974007,-831061,-39642,172741,-35193,-8636,3203,211,-253,69,-12,1']}, 'torsion_gen': '\\( -1 \\)', 'units': ['\\( -\\frac{1263508459092411558626001202482311601435107321473955502547214718744188437468848534110168547298}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{23} + \\frac{813892600813636883951054338447365832244824071132913570542202482974269192414434503454884652556}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{22} - \\frac{4112624831099603189117023955726377111564529553403216393814076164046580773358702619810492707452}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{21} + \\frac{179487433447294481423173517836784784519182000181437810931942152799556043762762792179972498248}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{20} + \\frac{65710456997686699437707119868987428135472677990781771415814699413601588879432950361857168924}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{19} + \\frac{1649371310055915319763725722307575456214760017791559754892430762158084492561145150366576568886153}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{18} + \\frac{2784809000113714917624443438700055245351522773481202209460881723156913894090706382975294055149111}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{17} - \\frac{65738548492701110881402590102094156382599922358621169404138536867504736400208757639234715020277828}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{16} + \\frac{49142008974934622415762257283379654159636699515957218505767704893969075399948435466004848972861136}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{15} - \\frac{6745671352088897090839559778342104310816064682624390316352527588922045283835064330336250958170999}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{14} - \\frac{95244026833817671411654336257196342375546923150346653245210771202530531986886154348244747753912996}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{13} - \\frac{2471470806092024925483307315071893681639118377905018203582049164090213503666999299589865124804335753}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{12} + \\frac{5191463536885430039115476734785543507991918170006707789835422538686474211400681901783911694446133426}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{11} + \\frac{9589318298097792481798705363405707735126157583146101751267378253078724603175607477650631251679233678}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{10} + \\frac{13255524458912903331563898758170337549793429582675666546074085652556891553236008987473503792162188319}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{9} - \\frac{34284398847577325343651331856897698516420648017809235990590648942070038202460236027874820688533962446}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{8} + \\frac{27025840455424582102458686324107942228614463878050627908697320853713262650885908625528386277907590471}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{7} - \\frac{1429880733378445214836569732504732218869654929972635362454422258849229756945109013306304524705782543219}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{6} - \\frac{671104414066598577270077334105256749134321594848990696766430249210543678775952795296608039805296396002}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{5} + \\frac{203734498792282247679064037433111721621183897456391060710723735832732494140455470104071438161436994832}{21829203248316670325802029697222845157329569688485301821397675307103204384262052807042331965156382745} a^{4} + \\frac{6250721921520644951559064812862651147145304853289063030615873031354032669710727019696231434295573477318}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{3} - \\frac{274576393744717301697623302538755937336795021723247880441579452109810901129879254025504825801591738584}{4365840649663334065160405939444569031465913937697060364279535061420640876852410561408466393031276549} a^{2} - \\frac{3989122632923774754916975481161536843468325143438759599774932799219142550177147375452458963538263989663}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a - \\frac{64420113254664800565931919694498978008834160019453001875537003682477816780587268487853115708742930014}{21829203248316670325802029697222845157329569688485301821397675307103204384262052807042331965156382745} \\)', '\\( -\\frac{8049961679806151603182412691089725253856515811679297436144001556727572208723288327807651469869902281}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{23} + \\frac{72601629143597078005073825448939977387788227949317879416658435643210300962410994500215376078843927379}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{22} - \\frac{80031243058192387893566584638150931823540216916919907896036115195929357227820400237831175646142655086}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{21} - \\frac{15562819652247134361812882905316966035039036991876938843333391492041470144032748719237601873204687586}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{20} - \\frac{77516309976149015475112264763684793317743536843684666997235834054023743538182139309669439747113162526}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{19} + \\frac{52370462752238911937246189467735182545739238692229897642410859164701483199125709380279227364595784490474}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{18} + \\frac{4141600769520078539860362883561621208818716177427443044259977988479163974430629302679765302356685322489}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{17} - \\frac{258694742921318441732979070942313415863676943590288828505323181357178172660633946815048123921348997881941}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{16} + \\frac{1339027066968795956488167991461589235164751038108409370009929857542681750005160473294966922510277888752482}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{15} + \\frac{552918203616329264552831501599626369125220513631202173999629140994723890568144650054043942566755493986957}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{14} - \\frac{663125398380055582155361041265343880183376264288457320457074996697938888479412138437812949564997117300923}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{13} - \\frac{78617864364215477846105989557779115920348518957783529893515467720819219972909558238146056668750223651521244}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{12} - \\frac{78425016465644866213533947903413631235348718785889597688791843385918037232328574096548160526362556568308432}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{11} + \\frac{93185385570061868056798901109798197235179555013497340919879940320483416152673395010783292510748458232972547}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{10} + \\frac{2093572411688388001580872091961914345765349891470037498018931089375504694317346417942625251057972500600539937}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{9} + \\frac{1937608610411217209152246743988405277668358205017259149715544772472174979665834334083325397190037489283697102}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{8} + \\frac{1956689585382244671102500785542728689532690565345028708450356770974825160332563877813368981352610853467544823}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{7} - \\frac{222871444122667539766147740898157439464547320559614376020105962183049248709742104086581171231186456715383682}{23153620301957889684475025282606810174146037874711144356445150783800708580023123222540642921679957767628091} a^{6} - \\frac{26468206883526003168772455374345342949133298044777434726150093164663970474107759335179172134230297715637971916}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{5} - \\frac{10945771839315646130814305609253413212147211473216631382425972828998454619843898150223543760561396697518261096}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{4} + \\frac{146386980530866295529156178984097274679098213511255483772783642831389585289928765864045023077577406790803857849}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{3} - \\frac{8531278759712931021851086654575784733878606902964307095212425866802137295843567595794137284422811729744224387}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} a^{2} - \\frac{1765971859395285166172492265576636187727388071268283032493783767160904933671340183095005056157194828238870023}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} a + \\frac{337146677073032979414377812244008258764378038991881118016666755282450169315295400503849943080366738556353875}{23153620301957889684475025282606810174146037874711144356445150783800708580023123222540642921679957767628091} \\)', '\\( \\frac{59165581116170968310715798031214553436342719786830707887015909076590051513692454387340633712059956517}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{23} - \\frac{111321659035553810891091669901350222165819095946195656789074886754149818949567727628021465067381830782}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{22} + \\frac{2749886096683777917807835080623982022502387078005072373902303633235819438701216617858994629969005987338}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{21} - \\frac{9533837295526122879051583015464209182171783182618095265243586938695350276503586240712498450721926772407}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{20} + \\frac{25949052009759305366657835421567188305224603282824114535739676739376254754217565402489261355007279869783}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{19} - \\frac{133477024896800502750237598451758515417590829727879086910231212324325457803517260110661384686269272928894}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{18} - \\frac{86880754421390937050895472104091778743830519643134742759449286831317278147432389546054613137883962743042}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{17} + \\frac{1056628417191148448636886437908256471494425187581746962711547342132359963936519869205093749027074680336457}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{16} - \\frac{1645522699939700910640911988214234845943907083625107917273986030433661954334422839511036844233674889393869}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{15} + \\frac{36817814322269272913101948225947341372407582301651309664415788455907587581579414916779104636656513463323344}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{14} - \\frac{116114700851177468333179587887078856553853913427260692080866208699370967881041276785964248068815406673757227}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{13} + \\frac{862568779242272137050670823641215686366429345538033814635948178121111965739498130466359331083690540798832524}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{12} - \\frac{871436307648058255291603626100490671316255012027629402999758989229597435322268409107166339559008841136126392}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{11} + \\frac{532643913811211913151960114163582589882887042048606458655282450877524613126727461162320147841462944439350459}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{10} - \\frac{8837126827006662867704142835610309851723270530568914256235732212713016397682842005990281829918174697363311146}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{9} + \\frac{29139507073157528526023062410829605399235951628327096576345614514389089306812767075590706378033504594647675648}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{8} - \\frac{88854789503395282817838139558550325147569362368116889881645368838946742160511216527927102562089931877181393986}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{7} + \\frac{58584855769395277438783512662875641687309803324410819062893422041699110392803829988562947129753693317678785737}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{6} - \\frac{144880389649682307859048492285023365666861689029232469721251935500929879721537270057472216964261262721254939443}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{5} + \\frac{197454477045621450466262460179521624486646552001869562037562960166412367922780510197032122221577663163671010968}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{4} - \\frac{120465743426079630868867613838934765887488099460418791037624660253371010162629209578818623606025059028861570529}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{3} + \\frac{13419372221958454072076948731855825993210421413866881888807053878324223264883368133690280911670575407360825973}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{2} + \\frac{2031608004056546241740811152772225493691259873917139822482917468254401629141862904796701709587377373400864098}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} a - \\frac{667571876696379281907205797193120055786374274368307344773081215635586757972504580719915178776791897239381131}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} \\)', '\\( -\\frac{1079343810064935939640478125401980307149149393961067812728941635966436398118743081978751812681068083322}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{23} + \\frac{4386025734440018814940706038175203713422549953762251762965354060958147600913029447244935116383230521864}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{22} - \\frac{1290000306949878957995140846809338404541179025991397415937419987982395410080465422315832155724804018636}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{21} + \\frac{3873226794221384448922545828864306405270133285826302627136946497182899971877608430854268123446137796594}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{20} - \\frac{380962611507178773610730452085757309724245371962012511242292197793232300290238292989408952032409305086}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{19} + \\frac{1408517131373232643670706986599628928044097054655118383022796966332407475329553275363297341937891394727516}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{18} + \\frac{2141871660371764769338580490048099813851397344916412335626438304613486679865844914952973182706421042508424}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{17} - \\frac{66184335497077743730399119214726273176934354217022370974252126732758129007341674736107946734526692354541751}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{16} + \\frac{51439611276711792184039740987997824475735945208528037562642575283437864813865726892821454554908243021550427}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{15} - \\frac{64675482312691555940523657063861415635284645054372072008251117448055537451086163671414039939918284645028218}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{14} - \\frac{56603931379458434728820285729721622852244737734280739980146131514209205116209808574269524908231455486476122}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{13} - \\frac{2098021195398784657819512026511878555924514104055382035003959082631641729722395276053718509282298864187349678}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{12} + \\frac{13315266880456768022526260427352287980307908781901018356513282254517221528111958019709728792627238759263701197}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{11} + \\frac{7437902634153018791461290004531409665678875582334191511163786616196925815306843401846206183633961900758889004}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{10} + \\frac{49923616355136848063350114581381744995528877433322962638435247436516772136542150396988916682981356445678997007}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{9} - \\frac{76151368025283566729899064563456397023586916829580974317659041665245045561296042460988528405666378236890988327}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{8} + \\frac{28085753409353190148330359529399397193946276078300003515697363720810251338038685549837550734147546165266400573}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{7} - \\frac{1323511243915281927671044569869229832549312186282852182414321499992523823970470408730267804825338530931655729633}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{6} - \\frac{371106312291212610855495540724119415803151793671333069577877052399294223861297525149227807636535034828014262607}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{5} + \\frac{1344947147162616438906329700582363453835774056214297434739735969087894403694180592150182799420878312761523997189}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{4} + \\frac{4604640745331173685472760293849512075933744655519135102532445264407647904380247180821896490793282865866747409546}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{3} - \\frac{2053724685378821497767642465832023300858560970805649586192774552297494030129839751587181482400980706356022207689}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} a^{2} + \\frac{1774722635541644096900108870688614928651216290399816322435717377338644283792805645828514428986368122961287491419}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a + \\frac{417629139510949665998176251360227222035869993631567078828009648913057031241194004164151010713733073556093570252}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} \\)', '\\( -\\frac{358676223941348439960176879309383046438686950453009285789715230221819101610293304094579256218}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{23} + \\frac{429731839086927412025851614189602542221882606760839823607545084547295826453744183912068203252}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{22} + \\frac{1184113523294183576358278986550716610889225093951014776587229106799950543285554542906340584007}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{21} - \\frac{5965933619873802750278195090325707877106684752045414582682117186104061946606462274839095998024}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{20} + \\frac{18036232494936398119766992499238496742882748376048733878151260446238634299317458522733706682631}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{19} + \\frac{438658249158967813407260927724656710571007316761348182548003021919415600187955789382540633052044}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{18} + \\frac{4960255018118840113234027475167947654430026381372943987653130187126086280621737949830298936068349}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{17} - \\frac{10666221487883929679836400863857516749133396637785950302069397972148213569111268078337486458315991}{13643252030197918953626268560764278223330981055303313638373547066939502740163783004401457478222739215625} a^{16} + \\frac{7341000011326045880725041483603963278239711551150977979952709337307059350602960679688401322632446}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{15} + \\frac{26098485365398890568768245065241709163817055617967211407220276095995896071744991865829990458593208}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{14} - \\frac{98223356117557290251555761522940975750840072239496268830138008347007719946320034866194100559276988}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{13} - \\frac{3365956930223054941749161272893550157237099807603515367574956681839003385170601039982534997640157098}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{12} - \\frac{6060337116546193133377983365928838022195350941740712803469175776078686568777339468426382125024531308}{2728650406039583790725253712152855644666196211060662727674709413387900548032756600880291495644547843125} a^{11} + \\frac{3329637340643480792143652747242584038532626687746294342004905083987000641848897316707196944779646782}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{10} + \\frac{16734905008439673130810346161195263512834809617394233065936208483563177122821402913625470721190836168}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{9} + \\frac{40121269217386852497812029088415162957348291757388483377339564418026427113641760192178226995652158527}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{8} + \\frac{42601009544108370944047370915530825509621586453548059760158260267736505839493380485051015519638507817}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{7} - \\frac{103459562595645836481875526774847940055397678717000480303446255773054179168944575512011417558156961458}{545730081207916758145050742430571128933239242212132545534941882677580109606551320176058299128909568625} a^{6} - \\frac{74477317950533221039617740510329110815966046008223322925343499620961652891276538589354524130343585516}{21829203248316670325802029697222845157329569688485301821397675307103204384262052807042331965156382745} a^{5} + \\frac{16162389297001860659166595830682814202811567147351116979882374974109998895823817961821512734557319966}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{4} + \\frac{1393304589156264957262417596862022980521295678275368414614367107393468212939747890003556688419285177374}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{3} - \\frac{549085501281113846786321057147161147460592404153299934840272323305676330910519070154751387396222700821}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a^{2} - \\frac{146548967914773445607959147506484060064588209388043296091718650652983457091987005494114757982333679701}{109146016241583351629010148486114225786647848442426509106988376535516021921310264035211659825781913725} a + \\frac{14663357734577150795233080100023818208749705600763330720143360423282302298365018403136698140167126188}{21829203248316670325802029697222845157329569688485301821397675307103204384262052807042331965156382745} \\)', '\\( \\frac{37651338721057380075743290725195995016647432280630399067629844814570671508975469412002192987503028846}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{23} - \\frac{119194758712312976338961839894637208358769401849186106859842829531075380952435919926729936097690247274}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{22} - \\frac{215173890950830641569305500987305403996622144287716364234552130514727487102673324426877410466857933786}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{21} + \\frac{2525493525763028862662987340958353808182117467145763053482353912738067541893241982215877884255527420892}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{20} - \\frac{9391649654125096059232136667795025156691411143643052052728434656740105679032932218104368785158704058458}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{19} - \\frac{35666837986316745226698508222236182659637541112252170389980919607619389010773900743693695885804005030164}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{18} - \\frac{363013245266816658560515277598227186753370285120880891582709274146687616242680467922089742311604650332314}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{17} + \\frac{1923137417182064362152534657238659554156835979960118747852012532582748700581579200054950276380669205391093}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{16} - \\frac{810433354468614999653775357377435035723706685106474745605319264158790297573900574547370101118047842391533}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{15} - \\frac{5134947975555483548141865787403636137364129896655593648408077734949472941554346296213625990576678342098054}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{14} + \\frac{37401854803883906665258646724694737804048678472325067462135140970199378886491523790541950252536707599084808}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{13} + \\frac{272334095862270822964851162813630560420235535872849969969049127270801127143680843966803049255753689179964948}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{12} - \\frac{117178380077027980709621832399730998214064197497568685846488161000362267223999562016531984738275197095880611}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{11} - \\frac{698340433257660702873603757894148961350277569957548098750189056808715453562761655486550182326357054307503216}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{10} - \\frac{23188699927061639808009951940350523882334765919085646131738321940291937381554302583620077056479583195921189}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{9} - \\frac{1976396727164163653665229322909071178890940459689964790222338313498557892879566485489577144863895782922869667}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{8} + \\frac{900875959687321398767569764822029325687077527271143337592687248339511101045229198977604346479444810723245063}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{7} + \\frac{53359484532554917264685079305882047209934758853536964539844195151026500498504447814207126819917192958275413919}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{6} + \\frac{1889730366813062476355981395307674319291458660635613170788448866307286122292446724619136521919348662432318261}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} a^{5} - \\frac{65143914020456305421980204196272159012653214082919825008745684655968216977075484453726246755299363384973105093}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{4} - \\frac{38667808054932789785721083193546093373975523820455138297075824451814161550620489351615160040613055870076705994}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{3} + \\frac{71841841172956207514386729895674033820526433390351242386601987378134251426955665086639841592510365417742400371}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{2} + \\frac{125184998230260269120130823227472801322261848411745257555699663637704959849594583298617321805442956295349373503}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a + \\frac{4683990539578982511291375935292891252824849978155358710349466434174708074455717324178658125341119921411943966}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} \\)', '\\( \\frac{26084088453291538168641455994903885092230368713158985770359197356457518774298321215578976791035552742744224}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{23} - \\frac{130086540801355992993604907404855768195096133679912032563874115366972827362095305123079371296565649684681026}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{22} + \\frac{159838292877872219805944571660488984379952927597767647986314210431914857869409952771382137415745087947449779}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{21} + \\frac{57743148360278671328291680893599274323738465194570518863053214112858494624300484193938578211642563414955377}{284717174650638424713778826522055618860202059490588603258161463544549338319971843377179468427533230673801681515625} a^{20} - \\frac{496185194793386122783835626231469940389554510757978596900835403896728597324082833754611825789840180220151086}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{19} - \\frac{1526589281481846912786390397164776360212281903871903356147434234320615551217134637539202068357013743194245873}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{18} - \\frac{44942942362208133038971984959873683161939967618760712346266305782651797501109740722969369276797619827781157194}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{17} + \\frac{57145413036285100027180506750686395583288427782945846965139053825680177102650574874744803979335675810860182454}{56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125} a^{16} - \\frac{1421756755332952041921849333983507997712137231373102311019919727798532112049569217137964221100604489949055638627}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{15} + \\frac{703386872174786120480253665046579204632903391245957180749414628681618023278782974052144958333264288057424982442}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{14} + \\frac{1204151020266277558172560517373828467773549825492516354882948584351928737105516649385979280457443184478868020416}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{13} + \\frac{7248852902046059260473972187259308926258841548976523432514650300102434545934835205256955307417467437036345781717}{11388686986025536988551153060882224754408082379623544130326458541781973532798873735087178737101329226952067260625} a^{12} - \\frac{23997768235035102329217388313980536059995320269746263740497750470138012687156012750465830459979850613789485742327}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{11} - \\frac{61244917729737963179715430109471697972017416436629543461165950984260368791092483564628925866637604602958916296799}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{10} - \\frac{222949361705757739331133071940200400378078825862890930018858229170934105439407570514940529649085897521197325601138}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{9} + \\frac{1003637078968875175157743404590485582665701360285757851990138483422504887074468182448770333693421975835982448161103}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{8} - \\frac{1870512153482624311589940451667972144043888401470544182760151871134036635134124419328864937621163163689989638304919}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{7} - \\frac{1263665098620746391753795974450433944130826394503987774443421984744574268577921355421469404566279388237705841802128}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{6} + \\frac{13421808238600145583633308549757876478361104257891941354052213384813896750741844455558294724142892739598351067753107}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{5} + \\frac{7992476774645516557179539936391891564231628467516871986736359286570838379871513153335459118731088017469995881229459}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{4} - \\frac{23274978142544818245048269645771177555663997244523500487545522883312804556561014645333754817900849064478501645289077}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{3} + \\frac{24765985824084051077355548821242247285038795519636199190741089357581830434383012164815572514892345128305235673268544}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{2} + \\frac{4852925005714185463196455019496987387836137803616191475102383522485086374463314895983054866049028674388071774071256}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a - \\frac{2319871626281730221867124942032457379150062782824238897743259409622010046643812559978397704705873973843300757403714}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} \\)', '\\( -\\frac{869415805984365293282939383491771079998337837872805086461016177515597915812448781965221260123540615835638569}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{23} + \\frac{1397697107408074987099254484506854635544860085123985512922680094758103363146546853719118055950868453316195336}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{22} - \\frac{1872427319558152192183286913777940699793483244155203975277070048717206128133926631510759626078931744164133534}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{21} - \\frac{143345143784253337003126455617016429806678264778191229032266617325451175152897103879779862389967747202376612}{284717174650638424713778826522055618860202059490588603258161463544549338319971843377179468427533230673801681515625} a^{20} - \\frac{3262033867863985565006391835611947399198556470602145087066727247703635825346205274180653781988153157901813469}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{19} + \\frac{225352540610079447205090699445780278916172319800641200581286232766797911638034198682369365436743669867266552378}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{18} + \\frac{2278833520824169605071570055821173846890888670756175051084530175071831853706567218388253426323528104868428997606}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{17} - \\frac{719551162223194625645044805352245285566068734973595401613414809882362864727946425244137761966546799719406442859}{56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125} a^{16} + \\frac{5854717132172277235153644596578935437522302419256510058639921879441634315327757423098942931206194484020239613641}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{15} + \\frac{18324398182595712857621451124686929007436351477489899932618553554315869253103029788993373102741217957290592297493}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{14} + \\frac{846281512331356911386300249024697333020887998952558851980136743733486876518919506036001680641814578190847229773}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{13} - \\frac{241318666719752047424427170601736540121796689469876080757510390508100674713202586638234190896610690064195783572639}{11388686986025536988551153060882224754408082379623544130326458541781973532798873735087178737101329226952067260625} a^{12} - \\frac{401234599373096149789804694749987532954381081519265040361498282133027520646462204645477791839519464026542147298683}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{11} + \\frac{849550157822449522166782942390196378496696352938218871639952049657362756866828719167185443968281920617961680581064}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{10} + \\frac{42628209355791532864858500649937060695416740678549490812349485692609585573962274807345296952641725383824855083025948}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{9} + \\frac{8915876470063141893580339848232101042298421786944680978841698682154753301995018250170794582313172286438194457527551}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{8} + \\frac{365391924168468195889010133384003019991893914278033810753158480342626595114582283735599417728339544815530389480185}{127553294243486014271772914281880917249370522651783694259656335667958103567347385832976401855534887341863153319} a^{7} - \\frac{102855177112189549315052106964371206745770176164732829788693086530709611874387828812787709943986730856419923539142462}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{6} - \\frac{551050450142896439177796205393720864045392921400895890042816994029052252324662652438407547580603268206839649857809893}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{5} - \\frac{301973206852707538023967028279964666981289939532167089514102606754610390654411886856867893986153746163873601375424639}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{4} + \\frac{23364114063006809314280747320774279822741666828543885690642674125402056730318736173134267801350533506236144416677484}{127553294243486014271772914281880917249370522651783694259656335667958103567347385832976401855534887341863153319} a^{3} - \\frac{185175229867564220857447105050829919488417241776777385327688878791278458023665679427701550086107054209101267077220257}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{2} - \\frac{44095063640019784872823438844050672281068911083297714158177720378560882260422901844839426533099403343637824347729851}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a + \\frac{32567251012532423006869782077833425028317776970307128317607000871608627793850666888801252011432479406695891006726932}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} \\)', '\\( -\\frac{394484908737970637854939494055010562439600209110222089333614003485430040155281711616124169719545651229462047}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{23} + \\frac{1381845928403420684023828909240931585902990950351051066998959561241430971702488801896036119166770866760875043}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{22} - \\frac{62629368143253772599547901049925560476651003947089145273297253632188485596227474641284313484977620611142187}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{21} + \\frac{422847921828549030420256819787222208935656555565077865060767289317792815775044281492127603708420996403019754}{284717174650638424713778826522055618860202059490588603258161463544549338319971843377179468427533230673801681515625} a^{20} + \\frac{7583897479407743131663604579953602786207659304693298027959103730542525685801151360403873505912996962583187643}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{19} + \\frac{107000642287204807860344359945345282211147581317712343754136211959679505743220162272330509796230403587988103042}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{18} + \\frac{850772445488772950666273548369159951400615118706886905667062617183236465274479036229270337999704418095400845706}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{17} - \\frac{676957873494459504687658440537287004915976432497694487794042648567797150730020121935115603717234268902394684006}{56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125} a^{16} + \\frac{11145029730647573762222344100532938190452461032509981982931014470421497547162578987323472370237499724302642396909}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{15} - \\frac{21486271126409418674021873112594414926758242017465843468771263991215233338594870725759155326047240259086690959321}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{14} - \\frac{18030436752044172595809440467260465116363726667068161316190701846534133987643005153419259447532978166498706980527}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{13} - \\frac{23217670716353938876280447192841168114958332195784827421687045753112819507074074420222613323037702318755134215833}{2277737397205107397710230612176444950881616475924708826065291708356394706559774747017435747420265845390413452125} a^{12} + \\frac{434118297886878312290207262394507374012350989042409038547163229337803828888063909015874750249429304272817493144546}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{11} + \\frac{5735432706775682072741655509640215691008357797241479508697934941889734256033738868692029698053041255425981432807494}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{10} + \\frac{32426535742760244793044041491847724323317773651946319794886254565774020376980423952574763891233341474908325546710444}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{9} + \\frac{3100074418479073319763088466012447260958379710418591291137113212976830046899444054599944049278281838436797313068742}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{8} + \\frac{8355675415233045964411430741037347777261296175067444672709263538454539156916491000594072478814294585082651705665544}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{7} - \\frac{4922975294388710948190390557687568152580780090460135183619344787639891687307919869257158935762798350119051718243866}{637766471217430071358864571409404586246852613258918471298281678339790517836736929164882009277674436709315766595} a^{6} - \\frac{369481001297221054069826204273987697685712120445523507832542899677221721696534834575167940270567875398802758295718192}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{5} + \\frac{37100582495133669675488599285053196358193688789777792245782759264250835964544105558643748837056111756076593105123783}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{4} + \\frac{425348021480086529204145727260717758857081279481091687405153136990113609691009297086899846611540118177684935156039533}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{3} - \\frac{141041499730449642894437956718472720442589203120096299541072947813805876900174075568911080150834502800004341809921863}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{2} - \\frac{30240208904425584814262004691355941557879716184531419816137833620889724990361487378663481806335751935997604467300576}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a + \\frac{4881315074719020710481404034342765883381927478852265197401752018479548418309917164014740878195372033869506041192479}{637766471217430071358864571409404586246852613258918471298281678339790517836736929164882009277674436709315766595} \\)', '\\( \\frac{239022320039582329878772112097577478890388193060328661112140300737730069899148264936757975535393495772885606}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{23} - \\frac{1039724263541606487699184560727905721710635892726820318721125327313505760517684694987448765286815929398008374}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{22} + \\frac{1797480433477929925896842714297308077779754772283296989483342489697524627249719632219181796841299021006575031}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{21} - \\frac{226392049096490417438993484094678961393800469166733465195006833635728279296209856843837842060409336266443767}{284717174650638424713778826522055618860202059490588603258161463544549338319971843377179468427533230673801681515625} a^{20} + \\frac{796055456193024047931878735218041417439220021070740813028527098097538344836737003370146420601252782511559446}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{19} - \\frac{62436492249142050787210917951596726457896883026335097690173811011375280789866833944237205170449926995494655584}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{18} - \\frac{456428762122488655716830186895196985105758292377412128332471670455830506702484547171443898332972943153447077934}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{17} + \\frac{434760830690155287308413154386137883909009599292880074176321023761747739689558465471801435390594194712213847686}{56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125} a^{16} - \\frac{2485040515946907075010374610270623309064349470889037272000871904825691253393265782560821367249316414833341735734}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{15} + \\frac{18559568021272419288872924859056126352083069246457630164027664936752758604998772107208269411146282798279866956238}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{14} + \\frac{877743815112066140991908269016901539369841516397035847605144263318441589646500205724188790072044075328285207837}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{13} + \\frac{66381168290661434937332255812196435404615498461375553421286048693790181427444219310881949449345430628244839251416}{11388686986025536988551153060882224754408082379623544130326458541781973532798873735087178737101329226952067260625} a^{12} - \\frac{144398756121572123183496816135155794618348871637568773727033983427924761919687546177841782973111161292776502556024}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{11} - \\frac{1300775597571365963174190706836583610019178976741550612483645517796788806305854654886320589565917473012333413377131}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{10} - \\frac{10706921696197572357346795174257357047342983789471932139036583648549122300281193196437253466379567860648567042287932}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{9} + \\frac{780977266149059757628580953492047610757771529043116601335950568317127712084779932064077574895498835105390600848957}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{8} - \\frac{322322940043675931902700721241240171172418234039043439610577014567976832165699317026646620618434706696561650548392}{637766471217430071358864571409404586246852613258918471298281678339790517836736929164882009277674436709315766595} a^{7} + \\frac{61138845999743379597401622314294789014603319346450879709722443119669031455540239288504057356314964374974235161011468}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{6} + \\frac{62481716879103893680625331699960457271233954763267943602293125987997864981230910811065957346853184132524201754093427}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{5} - \\frac{301251353924030463982391939498755251292247754778310449323036108796168819459790721852803352397979042562342316105628974}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{4} - \\frac{179250397050662992236183288780247354053157609031904558279611376860536190867372507012552151744754740062360597087513517}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{3} + \\frac{497750874251248567873386919141180822704936494823358722285437972277892161912602456729973159851239527129149201192095253}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{2} - \\frac{283715445629952506047182914946053159868650051741141919318104131373655064425687954151306705552477543079924687615197066}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a + \\frac{61253660866958860204057678185718402880297267791621600789613666016387242121803049825612604225091171265930961745341957}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} \\)', '\\( -\\frac{2934209855271067418267157599588993166498464256447159564820603550874349983619585596116780976078506451007823}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{23} - \\frac{18526692545450605915797306992635880823707313663829152703539458999219287672592196353216001526861245795347913}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{22} + \\frac{117553885023372769645705840627032130527131566620750081376641168619629207090279426995136379973813234320501702}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{21} + \\frac{7201285257264178323420177895407930895051577551445621176130393644363582571128090623934582653696798970406071}{284717174650638424713778826522055618860202059490588603258161463544549338319971843377179468427533230673801681515625} a^{20} - \\frac{955105663654749019328562585555854420927445420746292098976234487639023340730889783310546936289798173500577113}{1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375} a^{19} + \\frac{648625184365985471222118612978099213873796010771583292485693788700377331928791379011538537350821649900338023}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{18} + \\frac{15139469206924301681619832940400130548287387979404843403543233268933420029979106690053839966921131146625579029}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{17} + \\frac{680366583994682499377861137984098752956908954777087706944947004597170246366700839961694351760498498920557989}{11388686986025536988551153060882224754408082379623544130326458541781973532798873735087178737101329226952067260625} a^{16} - \\frac{335179607251553850741045431122993130666615958525768605899425149024210337307960562719724751814339484670448833173}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{15} + \\frac{843493447993928467555138227945511856465713575976186463940403480462291993988920761545550294445834639101800843586}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{14} + \\frac{317358917307990189034201598054436797542638057576243869815827899949798807787183412308744800437652559525000187467}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{13} - \\frac{211970375581290340053843185507096662907955248677522890531476107543900336563985309168704344574129036008025439814}{2277737397205107397710230612176444950881616475924708826065291708356394706559774747017435747420265845390413452125} a^{12} - \\frac{55041085483582406299376853294979334343048220551161803326305648332856251122031793767012907529843960734705899182677}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{11} + \\frac{128511681508743605535550398931614502975945076784065458970858445793219603146382386061800869705351660641705119719119}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{10} + \\frac{880330963800190370173086366289618333095536759499658275228249316768129377014957885243456796923581509626883414624571}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{9} + \\frac{61818439721669272870476569333617539049655096524516047706181360646905839345975729475012256381661692389311009258458}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{8} - \\frac{1841162367154495985013264816783528429190205109102533057448514350334073352015885201602528668551195702503791064369944}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{7} - \\frac{1261591862176386121610179213869169823326462253293303930948032762160466501536156577343119831363757629362704407497431}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{6} + \\frac{1673338319049061660886338950042100001639337603827955831591808835514071045467729151698870308155685338632278525551643}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{5} + \\frac{7893871028880496839542122668285556232321984642736071682605992633737867072951706466687956428903155989919349702296747}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{4} - \\frac{5404187272628028050016753343615463649036369336114357503284025315855802881827588396101731425433703282694815439024863}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{3} + \\frac{1503182720278705910419738429697816696252338902452401500665094146743831275633023829798728632094742634996180382004513}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{2} + \\frac{445140249886403403818874699128080538280246138995667640321843927796728007941221455645657681532016849753446853221109}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a - \\frac{273841672548498331832613446780372233450175846908754314607982813581148232884330425969752421144723775007066814415574}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} \\)', '\\( \\frac{906694579731897099425169788227375533721669173317144214950067572149066429101550183246430796354778352063211}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{23} - \\frac{6347589355011842908632929451311350324857220590281729004161545096226418558103259984979675232716980405724022}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{22} + \\frac{21414021937630941363350432430830322441180944185793304296937540647394218713415078963352485712553098748236443}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{21} - \\frac{2551011292849301827463161288590426640313212023373371698878146114284067457853729736345816369407064404475332}{56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125} a^{20} - \\frac{241735932861095546777947325005843886006594877027142847391881205066664441489554453835773966235191890423562161}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{19} + \\frac{597580235992367724504478090534545418302198583663946192990922501035523053708891408166352848065065553472427068}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{18} - \\frac{12355995635206290124083427149080821649123764256545459580914930422816078510163175264873387656340829686048331399}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{17} + \\frac{12507758984205523574303968738795685329069052229304223797517628735134526403163328394187653349709382514020333753}{56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125} a^{16} - \\frac{421296778038881451648049418519785795517794365842649999431695329010334873248545130072206913600590414319456823667}{398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875} a^{15} + \\frac{162682085704509389116309669799165759506271120303175055822249665524014597020675428649217425818348019777755043827}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{14} + \\frac{472137555117398864392458653121066743522112913596986974476011831504882862616122696064159773132704650172735545654}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{13} + \\frac{470310990911832264279215288166013096980279530531529162078225546011596897620423661387230094915188882175677700584}{11388686986025536988551153060882224754408082379623544130326458541781973532798873735087178737101329226952067260625} a^{12} - \\frac{11391348041052973229571237466301193129692730166204959029822591929072880801380581692130616173677952675293457372082}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{11} - \\frac{14151328974072710858044899452868358776944096342059501214924003327198516856576868618380768068792730267187590082301}{79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375} a^{10} + \\frac{2626114442844290905001221058563802444566956154571513929773554846247930022433140151166451193442251270459780032012}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{9} - \\frac{31829531288514198953653780832983410180330900813951898186745029262175837884550927075840482622714967491240823759926}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{8} + \\frac{84955359853172947286246915423421935036836183571145141459180807455932649264122500981423850259990983832829775627063}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{7} + \\frac{584758039440661252713488968024117714403923832772218183754190503010149847149217469779099830589118771510838618575713}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{6} - \\frac{1027790392940694700924056165893551283558175008854357477953432893513827542022941692061897861924456281927444864317391}{15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875} a^{5} - \\frac{496116501548944957827939463423353318759341155028367169562612156547726859857890826348664746706897301482264790909676}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{4} + \\frac{840464454986390684231672705300965018777526216191644794365616519269613118343393271426754562553261146589880423948758}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{3} + \\frac{223369325915991840879439400078982667877893396079572487356343177517475580047201397312388856306439332675017908197786}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a^{2} - \\frac{362349690743541821117201104270795676765744451695701419095476618412774446917418633452078786242831403971117042356499}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} a + \\frac{109002141446567561271239180713478014861114291766344138888403282853548881968636532844982567066787355714864939493188}{3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975} \\)', '\\( -\\frac{269184975301504474180473273132099705216568938808329966708408809327569438084765349305587050591148476488914}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{23} + \\frac{920543580149951227124363369164493150071004311664927788035921088392620983945833190742178661684238423363927}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{22} - \\frac{1051981588057131669142364405743252321549097719825520368048346608151242110106498929949293970761113584843753}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{21} + \\frac{371073458761873900358863811780328817472887884744067810746851704456646274402106634403508850848122440743121}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{20} + \\frac{41382126730172683181083766116860167690417170211403739751914205184015670905289100982054661689717169948716}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{19} + \\frac{70263388984330380897145098975215455495005475516577839909729885846366304895569904348300890854325384881427253}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{18} + \\frac{2896974628817751845778463701845729269416148028439470324992394992287322988303569787380218465285620071937161144}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{17} - \\frac{14594220458041936431155049364681087709786170020086971587912009698498214460508997124839014579315170263063227801}{72355063443618405263984454008146281794206368358472326113891096199377214312572260070439509130249868023837784375} a^{16} + \\frac{11037846122665884461919661752827865930153478392900254133554314079567906011178895160173557119482634456564935042}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{15} - \\frac{9299427495974644091821573157230275932930795975867544566089361479987577230230996864140248140310051762391032277}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{14} - \\frac{3758686322078609224456238943921458583191580406368041646155777833343870796797247845762422123081249845045513062}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{13} - \\frac{2628355380515315143974868773660675833809294936055074298610540099461927788660499628201522184452271955325428602333}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{12} + \\frac{1627956362972408852312138707191144756969550355119349400561964731224277061459137736293805979891996642903787965042}{14471012688723681052796890801629256358841273671694465222778219239875442862514452014087901826049973604767556875} a^{11} + \\frac{1994367861360791673030784295286363533466592383971798338459563780369419066922729348261507070639201059876838568322}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{10} + \\frac{13698167066587238712976156210971959734922100602504770897149247157211098734793675458269415546159157011830338515948}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{9} - \\frac{2009746762902923642751638631927517914028692551632322075356862678444383963830317807454965068095819134272513176619}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{8} + \\frac{30377912058435988722189451592364874368321239925898787981382215325912552391979126710344105003291176879318215472662}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{7} - \\frac{309870540443843873034849430306602152794237388506572786675916126030663617438225643339139799872072983878346522826203}{2894202537744736210559378160325851271768254734338893044555643847975088572502890402817580365209994720953511375} a^{6} - \\frac{131016509046032182694579006423242064134552881484088810996310289416386843664597234836077644196343834289617380571288}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{5} + \\frac{245288119807746037447004613043855194905742963189032051606108864107375600063134729780604652142132872272661368341491}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{4} + \\frac{51401589851622580008078658675145947057059355283960087223791370216501193069644984261327802259345452389403806532448}{23153620301957889684475025282606810174146037874711144356445150783800708580023123222540642921679957767628091} a^{3} - \\frac{1729592164238097292592230437635973408649846195836796612571524620510871752642166446715497432518485321516679703808946}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a^{2} - \\frac{525705568725425359336261889067700668278617717668349106968207871590215990734742159559434150499924736794667146140931}{578840507548947242111875632065170254353650946867778608911128769595017714500578080563516073041998944190702275} a + \\frac{15673308552903871426280783691558068763303499350860699221285008357470403098924906204144026877160657108523321931266}{115768101509789448422375126413034050870730189373555721782225753919003542900115616112703214608399788838140455} \\)'], 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', '1/5*a^7 - 2/5*a^6 + 1/5*a^5', '1/5*a^8 + 2/5*a^6 + 2/5*a^5', '1/5*a^9 + 1/5*a^6 - 2/5*a^5', '1/5*a^10 - 1/5*a^5', '1/25*a^11 + 2/25*a^10 - 2/25*a^9 - 1/25*a^8 - 2/5*a^5 - 2/5*a^4 - 1/5*a^3', '1/25*a^12 - 1/25*a^10 - 2/25*a^9 + 2/25*a^8 + 2/5*a^6 - 2/5*a^5 - 2/5*a^4 + 2/5*a^3', '1/25*a^13 - 1/25*a^8 + 2/5*a^6 - 1/5*a^5 - 1/5*a^3', '1/125*a^14 + 1/125*a^13 + 1/125*a^12 + 1/125*a^11 - 9/125*a^10 + 2/25*a^9 - 2/25*a^8 + 2/25*a^7 + 7/25*a^6 + 12/25*a^5 + 1/5*a^4 + 2/5*a^3 + 1/5*a^2 + 1/5*a + 1/5', '1/125*a^15 - 11/125*a^10 + 2/25*a^9 + 2/25*a^8 + 8/25*a^5 + 2/5*a^4 + 2/5*a^3 - 1/5', '1/125*a^16 - 1/125*a^11 + 1/25*a^10 - 2/25*a^9 - 2/25*a^8 + 8/25*a^6 - 1/5*a^5 - 2/5*a^4 - 2/5*a^3 - 1/5*a', '1/125*a^17 - 1/125*a^12 + 1/25*a^10 + 1/25*a^8 - 2/25*a^7 - 2/5*a^6 + 2/5*a^5 + 1/5*a^3 - 1/5*a^2', '1/125*a^18 - 1/125*a^13 - 2/25*a^10 - 2/25*a^9 - 1/25*a^8 + 2/5*a^6 + 1/5*a^5 - 2/5*a^4', '1/3125*a^19 - 4/3125*a^18 + 6/3125*a^17 - 4/3125*a^16 + 1/3125*a^15 - 2/625*a^14 - 12/625*a^13 - 7/625*a^12 + 8/625*a^11 + 13/625*a^10 + 8/125*a^9 - 12/125*a^8 - 2/125*a^7 - 17/125*a^6 - 47/125*a^5 + 11/25*a^4 - 4/25*a^3 + 11/25*a^2 - 4/25*a - 9/25', '1/3125*a^20 - 2/625*a^18 - 1/625*a^17 + 2/625*a^16 - 6/3125*a^15 - 2/125*a^13 + 1/125*a^12 + 2/125*a^11 + 62/625*a^10 - 1/25*a^9 - 7/25*a^6 + 7/125*a^5 - 1/5*a^4 - 2/5*a^2 - 2/5*a + 9/25', '1/3125*a^21 + 1/625*a^18 - 1/625*a^17 + 4/3125*a^16 + 2/625*a^15 + 1/125*a^13 + 2/125*a^12 + 12/625*a^11 + 2/125*a^10 - 1/25*a^8 + 2/25*a^7 + 52/125*a^6 + 8/25*a^5 - 1/5*a^3 - 1/5*a^2 - 11/25*a - 2/5', '1/3125*a^22 - 2/625*a^18 - 1/3125*a^17 + 1/625*a^16 - 1/625*a^15 + 2/125*a^13 + 2/625*a^12 + 2/125*a^11 - 1/125*a^10 + 2/25*a^9 + 2/25*a^8 - 3/125*a^7 + 6/25*a^6 + 6/25*a^5 + 2/5*a^4 - 2/5*a^3 - 11/25*a^2 + 1/5', '1/1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375*a^23 - 29168743654165376465016783778185851585340349150628552981608299502083182207308957328052370128414055957636404994/1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375*a^22 + 153505210260594637050680958513450389201913881508375049390429580125645624372155767498521422341958758326258796166/1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375*a^21 + 43627313354173205845120832836813136478373938525080800960474330336942807096883074334423790763598320600967441448/284717174650638424713778826522055618860202059490588603258161463544549338319971843377179468427533230673801681515625*a^20 - 3450431405574185228993721170408073084655359751900478058137597103273748269739526950626872443810431881010932219/1993020222554468972996451785654389332021414416434120222807130244811845368239802903640256278992732614716611770609375*a^19 + 823693712210283284245106398157286404359091926275687291206921982792441052230827159667395120639543092740504649999/398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875*a^18 - 1562661387502370557301302002551820129416199176583994381586727428251577057379847272932346744335718560800014571488/398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875*a^17 - 121273249161784679938780373495717716582715066289423625764952441894318074069879269523937329782452768937181188239/56943434930127684942755765304411123772040411898117720651632292708909867663994368675435893685506646134760336303125*a^16 - 1394162479960729960009762415898479921944266813383361387576830210894691948324261987144830709154664938756479120529/398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875*a^15 + 109920606986606721092135205184057582049016590547678226168143487519099980396378811212415828541420439289277958268/398604044510893794599290357130877866404282883286824044561426048962369073647960580728051255798546522943322354121875*a^14 + 964993921039242622478395140123025100092032794127525422754122756935981949300600934436979599941531622720561344266/79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375*a^13 + 12286337350009883242508263641178290051418465992273403057533468028164100026037022806374450860767082239760948386/2277737397205107397710230612176444950881616475924708826065291708356394706559774747017435747420265845390413452125*a^12 + 1011588583878823937036003134505797273190673534333272278814680315689092721432821738853654235753791247486330403/637766471217430071358864571409404586246852613258918471298281678339790517836736929164882009277674436709315766595*a^11 + 2573167483749109606330175302938964084870619022883073731193194471919431586033548790138551320568835955682623382772/79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375*a^10 + 1585532601916567629683951094453541364675078965363642309166590756363403085013134373047911085183784063860700874948/79720808902178758919858071426175573280856576657364808912285209792473814729592116145610251159709304588664470824375*a^9 - 120850471112777378001445790465796386894684438880735264516254226014745960239867964824750980425566243231844832651/15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875*a^8 - 896927060509580692014763429949440167348202021241593805850633577478991286860824618172051860967711961291261583867/15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875*a^7 - 7151585641613943941370888409240058387645113953977710716403812406414510716254638535209375682545727300830822542277/15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875*a^6 + 220064397805574569885674090412314546434186034478569823360929984535928694931835175299294878940218908733642408077/3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975*a^5 - 7373574495597197180994357644449857749257683591744576482309530195558484580055769283554386752415582001394101331039/15944161780435751783971614285235114656171315331472961782457041958494762945918423229122050231941860917732894164875*a^4 - 90575681853153670601820630054194086215185357570361415678334510842728088947636012823323745873965985226229493119/3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975*a^3 - 1372226943484588016554010297967867288727665837464590739378685353942426264700679981871793892323503190967795692146/3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975*a^2 + 185737762904613897026172642607057413342876174420008861008859457548568589813650548804281461622800801175733858384/3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975*a - 881920761710304168735660437795028591146914206094671137634857783852321092605285341303624598010922036253754849252/3188832356087150356794322857047022931234263066294592356491408391698952589183684645824410046388372183546578832975']}
