-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [1121605, 26864880, -25045665, 8297097, 20340053, -15402246, -12181122, 5445541, 796296, -265331, 450353, 303049, -224650, 110548, -27193, 1826, 802, -631, 124, -9, -3, 1], 'conductor': 0, 'degree': 21, 'dirichlet_group': [], 'disc_abs': 29731207187895151973927972800000000000000, 'disc_rad': 2870, 'disc_sign': -1, 'frobs': [[2, [0]], [3, [[14, 1], [7, 1]]], [5, [0]], [7, [0]], [11, [[3, 7]]], [13, [[14, 1], [7, 1]]], [17, [[14, 1], [7, 1]]], [19, [[14, 1], [7, 1]]], [23, [[3, 7]]], [29, [[3, 7]]], [31, [[14, 1], [7, 1]]], [37, [[3, 7]]], [41, [0]], [43, [[3, 7]]], [47, [[14, 1], [7, 1]]], [53, [[7, 3]]], [59, [[14, 1], [7, 1]]]], 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': True, 'galois_label': '21T18', 'galt': 18, 'inessentialp': [5], 'is_galois': False, 'is_minimal_sibling': False, 'iso_number': 1, 'label': '21.7.29731207187895151973927972800000000000000.1', 'local_algs': ['2.21.18.1', '5.3.2.1', '5.3.2.1', '5.3.2.1', '5.3.2.1', '5.3.2.1', '5.3.2.1', '5.3.2.1', '7.7.0.1', '7.14.7.1', '41.7.0.1', '41.14.12.4'], 'minimal_sibling': [2373928, -4378774, 5702548, -4653736, 2876330, -1297862, 452906, -110198, 18403, -721, -191, 23, 25, -7, 1], 'monogenic': -1, 'narrow_class_group': [], 'narrow_class_number': 1, 'num_ram': 4, 'r2': 7, 'ramps': [2, 5, 7, 41], 'rd': 84.58548335842815, 'regulator': {'__RealLiteral__': 0, 'data': '4451604187499.273', 'prec': 57}, 'subfield_mults': [1], 'subfields': ['-3.2.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( -\\frac{41132025620957408313665185236264454185594591775355389912}{41177955680712373026096909906004914565270527367906644553114138075} a^{20} + \\frac{2270463527723984260679743477301507774035368481958404227716}{41177955680712373026096909906004914565270527367906644553114138075} a^{19} - \\frac{1094715114065260302764411282363693106431555552748609265244}{8235591136142474605219381981200982913054105473581328910622827615} a^{18} - \\frac{25273050924308690515214159656187872032786425017727913954048}{41177955680712373026096909906004914565270527367906644553114138075} a^{17} + \\frac{281495394065610071961397474180779669534054390541627311893927}{41177955680712373026096909906004914565270527367906644553114138075} a^{16} - \\frac{1312408115795086255901761163250850521629731588285152653056856}{41177955680712373026096909906004914565270527367906644553114138075} a^{15} + \\frac{278836927455132018653796187176234840006051018808982970455536}{8235591136142474605219381981200982913054105473581328910622827615} a^{14} + \\frac{4618826539970573211429712564951685623051795944583117612669988}{41177955680712373026096909906004914565270527367906644553114138075} a^{13} - \\frac{11832735463730601276813277187116343375656172998708739187297392}{8235591136142474605219381981200982913054105473581328910622827615} a^{12} + \\frac{45522955964160010819269698470165567253702723847976881279844204}{8235591136142474605219381981200982913054105473581328910622827615} a^{11} - \\frac{451637440706235900594790290533224908131370902085033996129361628}{41177955680712373026096909906004914565270527367906644553114138075} a^{10} + \\frac{666188127565797982472476464011221072963980806396380704479714284}{41177955680712373026096909906004914565270527367906644553114138075} a^{9} + \\frac{119189325649097410545498045485568081974196244304668700665840076}{8235591136142474605219381981200982913054105473581328910622827615} a^{8} + \\frac{996751675744545632689175016930184884254390025128871028786766088}{41177955680712373026096909906004914565270527367906644553114138075} a^{7} - \\frac{512935320370320220035335420000845254762521491254049471407213752}{41177955680712373026096909906004914565270527367906644553114138075} a^{6} + \\frac{14086339703602247282928953566400169657130568994207815730211741456}{41177955680712373026096909906004914565270527367906644553114138075} a^{5} - \\frac{4557585454989004730940644023010053018172361843215755580772870784}{8235591136142474605219381981200982913054105473581328910622827615} a^{4} - \\frac{43611297349922510710130434864540290823433495027134520933861750608}{41177955680712373026096909906004914565270527367906644553114138075} a^{3} + \\frac{786341677288273140928515914618217667282232614603504053060888396}{1647118227228494921043876396240196582610821094716265782124565523} a^{2} + \\frac{9542253464538707742128888093797742563951674806901038803917229212}{8235591136142474605219381981200982913054105473581328910622827615} a - \\frac{1893500282775618329355926424523895270780121504204712146890457219}{8235591136142474605219381981200982913054105473581328910622827615} \\)', '\\( -\\frac{1872455680992775805839321556064360276968512312070558738044618079778065874}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{20} + \\frac{3139933377544571383357125161180031358661630508016087878485662676478638894}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{19} + \\frac{20937098512403158470538590214772996003848991807841759596316684561773015531}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} - \\frac{204298088923296077415744252452469258831950725306968657979028539744005614852}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{17} + \\frac{911824541622815355658988409576812523866355370455808053785043715318096347163}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} - \\frac{304015998122859059479966166855811009824698952159110454212358455002506490707}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{15} - \\frac{151177489039196167783866400698145034420457604525236086824017162547948790370}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a^{14} + \\frac{18167941471975992356980213192078248718408761217138146058127274166168943503}{785448224331286836805281661124035611676026362769689375827478071685063800331} a^{13} - \\frac{29287821941704838595898358006475991216177826771512756614224115316467377511526}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{12} + \\frac{45775877412647956874748308199120737554264197629587384508658447875267144900933}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{11} - \\frac{271674063114752570008172706369317050033264979197555979860853042593622935780791}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{10} - \\frac{1188227848669710644547480141935593707577527781749018081972367891706338020745559}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{9} - \\frac{1090349289139369928339095286082537556826735823935112647497091719103644173659701}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} - \\frac{2987643285253629884024954220139690849060032172630168992874444498269668939873798}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{7} - \\frac{14143165135823932924402483450902384559336425802757308286446060363053994797693403}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} + \\frac{3879611700580337805886335997760273881258429404935379394900123923942761231940142}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{5} + \\frac{1341748343758838580927658012520991902810221127208988177604205329895557623987975}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a^{4} + \\frac{1347963595229264812766336503314994194421285929221568554197660317937173465544043}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{3} - \\frac{1055364550476547104357119037018880280604992561135191453797679552895574910874069}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{2} + \\frac{1553841313079385928594656890951147783935378281987982584499210972715928703407630}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a + \\frac{613987859653254478658617790846851036621817130336586195118121193107072430623}{785448224331286836805281661124035611676026362769689375827478071685063800331} \\)', '\\( -\\frac{19024913883378459009934798177860459253242520016878387330550720662896609904}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} + \\frac{50174850756230981209942863335820696494096283608209221104217076862947657296}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} + \\frac{37825388890097273353684557033977535501973185029644063610008876768898636692}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} - \\frac{2291528503854291431379427651205704513935443420377659916482904528256461720971}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} + \\frac{2234695407224269379117376299503995558111141722838307748845103038831698839874}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} - \\frac{11213723331577522428013276385986678142472527654025720112097766690254148346333}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} - \\frac{38758775953758526593533466239066840846692603716776958727112994090429734378551}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} + \\frac{4983851632253376800775435580205765533341525977127621847875105535220451947748}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} - \\frac{383770376567548368122588770216457711798103905762568487740173084861139982946879}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} + \\frac{716490732449949395010193746219952673169841262889964671832564508842494042443504}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} - \\frac{4463110990932279540078031893810686853083011843913562325702427284423857001058716}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} - \\frac{10132053191868205305142890817111147325045014836508219049828982991544640244491926}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} + \\frac{224430895698343835876411169515233423174149378664136107777803961146543449447026}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} - \\frac{14607840229094485857224391959774091659512086240877388769135541752353157784642324}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} - \\frac{22159418676307960362698881801751377340702680901025573760418400428191008578224673}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} + \\frac{186668043807887576421603477881446154635746177846277641735607400036571250119642058}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} + \\frac{349412192329042606228095602419468307161604116899627013057924999215560801824968706}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} - \\frac{282051723710178847958550277316295629676099246150899350355421587176165895441012668}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} - \\frac{59901626298559809028194854960609112256341241270997165653303699414555210695173168}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} + \\frac{15320915593647583803432047974894811487712996379099711793721764228001343911366984}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a - \\frac{505196757623989249458916733198376072205174407289901503972709038560442645003019}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( \\frac{561920454747599385833822562040167063226095392448007337037841255994269474}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} - \\frac{6564113557059197356130874539400207880563719144210922481320287607754292201}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} + \\frac{1009609698547334264970935614829679649083406937589765659540482255524047533}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} + \\frac{124018015059216946278908242931500752257229242904540162136915061753861270121}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} - \\frac{182540723222475652503999346199344392105691819989761256799332489331319434944}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} + \\frac{3002213622128388108105506853125963988901655975791158720395463331900088870768}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} - \\frac{379659852308803107082120018825653439430956869677769651635919273007084652464}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} - \\frac{259712490165270992402520204363642398409264176512117818993579252761406052273}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} + \\frac{37140889132002711067031262165294307685061522767561452604106613714296063045709}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} - \\frac{109717843922842369455624060056902096641650584886364257361102711836818250631244}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} + \\frac{842540046261797685505982606972954680507734171431740432362779227897623011323821}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} - \\frac{468705148079192263435080743234131409622713968536907824328644148365986072530544}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} - \\frac{656243948546291465425896971391392606662695846454937153746617127627305933030476}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} - \\frac{849175949796147726624756341149769762820996814610240153179502854969112135918051}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} - \\frac{262713599738498746792378694503475712447906848810354402103785216872562752637827}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} - \\frac{38679211123427572461709718729590223268733395218630787635015509673542512476531668}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} + \\frac{20990594638959541681062140953842346592286346439125782276962332998821468418290909}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} + \\frac{122323119547963972009511967566975241409201803053311757147143211274992967234025318}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} - \\frac{2616111132231096548404863516185249654187265563166574310001161530851642719571947}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} - \\frac{948668061792866345096738630157440528165857076731963364310321451729370938252529}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a + \\frac{135767094874338956678689174204577711339365332076735156316849928660995713740094}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( \\frac{5513085722324195683099946487089938777694047189339518643134979103318519646}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} - \\frac{9487527818396146212456513922196039146767571463925325396767333533821290164}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} - \\frac{11982801607465691183602120808258672949339605226389357906828319519877875609}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} + \\frac{605300754551276751292549022212535614581074183266806597517393910445398313709}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} - \\frac{109387446563114752862134445221085408243391146323918613909931898565688345661}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{16} + \\frac{1138441022035845327412227192343662279702080753237913960458807616512173396092}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} + \\frac{10808872400535474526996548006636310120084237769177674830038432459033223541124}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} - \\frac{1360508245473097387779957008309109263211048751177709224336958729802894240347}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} + \\frac{88673289507777412957365247043045012971195827090191515021131844190470950463041}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} - \\frac{145241847781959401185557811192182102150995734683954977756749197149026099284676}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} + \\frac{852145152716166749691847042670972775622238852850439673534726982819832025979934}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} + \\frac{3665383906997440044251068297470187942085569958211816787220875321339801465711709}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} + \\frac{449024173168158542371848174740284342641253270806245110270545772064460431333442}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} + \\frac{11571668632045048067085427419737953540469942553880156020853909544806170841301996}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} + \\frac{8276665652975983170928609988865865113627812211766627637454698209738881003518116}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} - \\frac{9720748257732377727235340442288501393480832847390550082751726806839108541716317}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} - \\frac{72908816212027967071033671276122510884370114506406111220592065827017449543074544}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} - \\frac{9221088518266523439567586332067795047951908454917776303990394383808112782091873}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} + \\frac{2732725426297004815473075369883491445230376364346744318625119653127199040252402}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} - \\frac{3343795931955959387390297302135800449433790211049614682369941651945711566850807}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a - \\frac{6895600918041729371892935564328949839667465914768714885093073709612301246659}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( \\frac{909667074255842673247465481632078934667389995929198637715320347411223836}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{20} - \\frac{2038344943628551483216377510923383809343825331535262895290552748915605659}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{19} - \\frac{9302279605175749873138985794246673064138898974620213188060760818128049307}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} + \\frac{104996492841396736311467803298401177632626794359303348686406421895342311782}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{17} - \\frac{499071753383405309859187803610442703041840479495019275450714204208821641792}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} + \\frac{397943521032500887685373647115746008695219463909630354665495081957615853147}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{15} + \\frac{1750830344742051522832577881719310393319447590133815998696842614710548190227}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{14} - \\frac{230970030404037833543269859319000108986423989286990224415905692413306302591}{19636205608282170920132041528100890291900659069242234395686951792126595008275} a^{13} + \\frac{16743042051742570400517430048577052636456380139921824184013208533170822596862}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{12} - \\frac{6056783620858897534617748833933027995050605821782085055836837583519169688931}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a^{11} + \\frac{194854175414715746733232916674525309873251920938551594488825323003316307927654}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{10} + \\frac{503407858016746161980890014087266390434649142328946692949777715248416924463509}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{9} + \\frac{205862191082935526908566947441533994206124272224688323793013259997230564572077}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} + \\frac{1151477393480053577533681211605171047104177231562812220922929954663275254897843}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{7} + \\frac{6078461453392663705002388911589971306597197972939777385880155881705690049130517}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} - \\frac{5814813102074937106908320161375116996721249852399318444926773032197745066432567}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{5} - \\frac{15069702722232973658194875435168243741167525021497681521805030518408885429092952}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{4} + \\frac{5939500160425084407456062536618372973400394168396651562081733046913271295924011}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{3} + \\frac{941660547524742020217642623068455034857333192212681760308024180027862383293358}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{2} - \\frac{808062598016574872391366257343336902107496660486914522341473084230173291132113}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a + \\frac{20154504474539206762894872033998208318303794350491440773124114025223349131983}{3927241121656434184026408305620178058380131813848446879137390358425319001655} \\)', '\\( -\\frac{192273090445906355116250224042594781136422756234632252328407194001731996}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{20} + \\frac{614977797516702141061113057186619049682557242769010232795039328023448071}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{19} + \\frac{316910862669832267763134147389030847294436841684183047531394468547786793}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{18} - \\frac{4821353311505646797025683311415939405970760650351563591458628466302265728}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{17} + \\frac{126416116322154488476888667402261331943609121224131119465394732961402183738}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} - \\frac{182113844058088393072806002290567490563217028726456043201785826928837114541}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{15} - \\frac{302533668143498260214427571975292584100956767973708681087884212757957870471}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{14} + \\frac{52357918922341477723429188620192571212592002494942807078972962150494153536}{19636205608282170920132041528100890291900659069242234395686951792126595008275} a^{13} - \\frac{4477374185755832025835749348125590591648080437021517784919958188887399787874}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{12} + \\frac{9653539016928556017502537929465075424175863690571506013860297525040929730457}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{11} - \\frac{69711890232320875243551036535721364947836888612871718730106631913711089494844}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{10} - \\frac{71206201445834732476537349962820577473027789971017812869673673761734707731281}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{9} + \\frac{12894483201208024327590455784121745836881048469652626886129481424139899434167}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{8} - \\frac{37324428669856236073768534845869938760108082131609061842188146842389258426436}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{7} - \\frac{1028064764843747197384634905838390522939120728258302673524328836196485065014933}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} + \\frac{2536594390918004625181953670659795380612978803952554224815323930652976795497301}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{5} + \\frac{2307860674248019021009826229988366190449261259556676731024345421018526424877126}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{4} - \\frac{4317353670595929387092935773459006944455394972836516985699157967717678697185611}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{3} - \\frac{3433348182608795424618366684598718514569237925510835654196840444006933521187}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{2} + \\frac{1107200533526414192213622096120317586185348183794330537945730625275378893583092}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a - \\frac{13748559851292172497582991935787492496869224659113849260941874597914683396508}{3927241121656434184026408305620178058380131813848446879137390358425319001655} \\)', '\\( \\frac{9184187913332496855153723697991504290714773416418714113511805112147382488}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{20} - \\frac{15586498508645997193114081356738823724067410090997246153083403642916617651}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{19} - \\frac{102169746493371588841806397881288795466937230977881247174361249778675548824}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} + \\frac{1002569754146527811974566650966309701274401787624735441981069105674717416769}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{17} - \\frac{898299231470376444175436852752207584467584545484943480070359878472775149609}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{16} + \\frac{1609318539387896725296186328014970530337734708065784391844409533655861428363}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{15} + \\frac{18262350844891985345355516648229316198579738931952751760175889483440409054073}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{14} - \\frac{2223050714029975182378560481131245768201888646159438254042146780898174570304}{19636205608282170920132041528100890291900659069242234395686951792126595008275} a^{13} + \\frac{144345346968720807760868468704901617091275171833802512476145528826631896341294}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{12} - \\frac{228335087218149592168759066896480395365738049042682157814625753702795382543206}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{11} + \\frac{1403407477623270955712375989940981148333372786807833694688615549023030417989482}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{10} + \\frac{5638539270108295181312588490957878604972970551480315103015868473205694992250186}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{9} + \\frac{5658540181551418089597072181562803496748231731177480624415703203945210327959009}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} + \\frac{13855721824174411116259606525618275998268648274823961975789135928384649486324251}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{7} + \\frac{13888524670752325985450504770093188783300917331568559637742581375240417552459106}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{6} - \\frac{21981620573774685917205918231058808135941512310790331765410611459692326082312573}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{5} - \\frac{164790258211239930660327386051460597925450754244814425047620914611080547256019353}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{4} - \\frac{42063688513772612224824573778496862799272636001879695978143793987487047618902836}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{3} + \\frac{6456743763766177478298339389177404333520205817528362381984365019409604114876497}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{2} - \\frac{7792346498624999777455557614313784975716906620780774423951911325004152836885820}{79330270657459970517333447773527596779278662639738626958575285240191443833431} a - \\frac{17398037340361508264651099782924528670898030724740147174459879607109263305858}{3927241121656434184026408305620178058380131813848446879137390358425319001655} \\)', '\\( \\frac{52424422293727712908769291290943550632524305002887325916792932105104538012}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} - \\frac{159735022556599995517481560227466262080262833817944749978990886336519192613}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} - \\frac{92484491805046899185623938180550502839416139468444129293596437627557286086}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} + \\frac{6514955545843182512512098796003162223629069134050438003344169080831392860908}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} - \\frac{6678630561868028727926569570542365043433856271534684907003751856835862341387}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} + \\frac{43847446220278486982264102757745231073760421663990281339885443218826765381319}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} + \\frac{92235668768818467198398681213425807024738138039581275212084649659906169761058}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} - \\frac{14126404935841719051431963143591324563617221715286222518536086473677522258279}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} + \\frac{1172263681325101202858806741092914348122918411250396456255471939119326193429647}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} - \\frac{2420184296965157574680956476261030061785280623885771079150738059811052381671327}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} + \\frac{16711260578708960109085557857129497450497990395864812235920430159256920930280848}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} + \\frac{22091695756606249115986887990169472386047864329243749779254008540211812814364453}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} - \\frac{2682420714452922899077084492108807369507304513010380866662101474917777948701008}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} + \\frac{41192692465751775398289889574243149048112231060952990350096369568334726327886952}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} + \\frac{57038901848455719463535899210455150709282031508246004945778561383341098697674024}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} - \\frac{650617061722344301622627276093998722315880403673725886910881415537445170312668544}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} - \\frac{767007905584492575911664026527661995709751105171908233852264573563984208884207198}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} + \\frac{1077888743489213318366745751685054424073708247540258272037334964159030462909923014}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} + \\frac{79079081899732565419866317468855381077012052046771221939390183836720833139168724}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} - \\frac{52781113239542807137358835859980024974450708050439186528222081280089564515879288}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a + \\frac{2851066179353191595292300870385587103245451842967580973321568199872782594997337}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( \\frac{4550712449406873087257334141344072130252470824279255731620776152438108963}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} - \\frac{9433331439478849485842353510792329917824631830062408213832480667598895912}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} - \\frac{2183568451697442546949612937365032656930694512930161535811770058702728658}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{18} + \\frac{522872029302405528336451817750183911930286430692535745303062908316422672562}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} - \\frac{465528163134402353879074540720653512384102012907776882660501933199584781649}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} + \\frac{942003537133083223032030219279631975250326618330293152015752774190120663406}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} + \\frac{11594444775831151414228559533367268486655718149607241898518213321085850523912}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} - \\frac{1125298730751454402636067604236728772876752112878801110488716088053048482906}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} + \\frac{77113615105382392477534533166055085757551256691536982066289893048324591559833}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} - \\frac{108917553037949853966274290415080682416197563673937242383093155036036410449473}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} + \\frac{481234396859012398656556110089723242779547960116460983319849492641029526547202}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} + \\frac{3030812121996895434062760516004925472596936138929845950085128081955844226936722}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} + \\frac{226112989309511403615004783133188696452123823496387925554785850275395713683784}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} + \\frac{1357817472370346588562108684687375080795698343108259081073419913305150163242603}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} + \\frac{4815225914821212315831092128933303035027952008204044507264127659662707603904642}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} - \\frac{35632313493909358202005416689577924334579048951471238860159729449463485757753731}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} - \\frac{131916184666677807472432779253571207736091310011579599100611361053601187565646572}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} + \\frac{14382205864263744045150005935166223947198875413688884040886609383317013942296}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} + \\frac{33297207909785377740896936649706307263751605898341169215537882907973333284628091}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} + \\frac{1825114518665213136446874407660135422553072872715687962737687744432216827690883}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a + \\frac{13139979760823592529949760038904200638146429876872472772763877366117334852518}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( -\\frac{814170884025606766207274500629941069649771159161035369584445348708336977}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} + \\frac{823385372868085361640183760972409346040339837413379510759499744267268063}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} + \\frac{2596168494844078621966685493881181659142401315228219130636395978692559089}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} - \\frac{85272224712309367269306633176132306947801767806374737680911302692922001773}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} + \\frac{60285455313199207923450863276481826810974080475978675235652245693352178377}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} + \\frac{418566340791193723089375155066893482727611689476605335193367683768992702621}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} - \\frac{2914980021328849028829655769699123582979070541171061059995375934349115223568}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} + \\frac{181523897826373719195885433492697852838289577765859481137647869090696596844}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} - \\frac{9087714893781094899964555459023455405821460314447219552345485715696530699087}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} - \\frac{1447055685270673393474212825627625345658349597817559351138203754749204141198}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} + \\frac{120274876498389133916924692449977870001730126495194001856668088872257553401067}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} - \\frac{805228765225092772014312765108137792461145682461234960259491864697049302488978}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} - \\frac{16513586924390633485856446415034917792793363374391082828740594217952382444902}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{8} - \\frac{7629143985999476481912043929539877640069662119825832738303857162736443883537}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} - \\frac{448701095759274674335070484105265268470025623954012429689533149403687893946474}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} + \\frac{3444507172529736184875478446777673779635447469350235770043247333107359754172729}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} + \\frac{42602049311434146524828731646857643447472196320467124201123248360425751778071558}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} + \\frac{24143887614629278148892349267081397553561031015071265259428942853968667840523121}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} - \\frac{10713456409671009255213156190715277308293564698639102782613182472616945009590324}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} - \\frac{3411012333478728098368140658195328998029179366301935478854410113914990560225729}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a - \\frac{4701327479091115335383400797299298993593437259616312478766575192343757150182}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( \\frac{60103947548970056576358577354625001446636319403105392795560584542105421}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} + \\frac{5195433384215646018297022471523057111862584439668905888265914469028522026}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} - \\frac{3817955085968152249137869674042583676740222480345210290741339408490553254}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} - \\frac{23000114571481812299910227261607545904700664436327578041193885518079961311}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} + \\frac{122624390059255897182369367015376969282191127105654456496466437898462331122}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} - \\frac{3710494722609598811583659598449583333644550821290496566501698551686934548263}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} + \\frac{7283331496382539026938665157376263308722256434771989082263811799887036694584}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} - \\frac{12081174274548402119885494219460110618316626708168303629296697827920909517}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} - \\frac{26089167707048471494192947926218786901990160328688835020559028811000551805669}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} + \\frac{130460258166485961164902223285691920949734635451972284872351837340756011924529}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} - \\frac{1743785492457681810102391265968225188788623084952434528417350858789220892369241}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} + \\frac{3535863331279908483058420125665302778293740190751196436611481509949975862126369}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} - \\frac{337802143706087878612224871649386797619112059240786598841360307141198799215433}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} + \\frac{3606199489134295389432649903511827077136389804249278507457658648806660356013216}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} + \\frac{938416651474833913675863139131645547910361370035911145035702814357309746010459}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{6} + \\frac{27510649563744446515623651296904811140450623119736358690096437051768395982176588}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} - \\frac{62914139099633643117041796233310985157106439048962194146058730812425513648950854}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} - \\frac{5509940382626348415855738714677155788639547282104314066573038973656200684263653}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} + \\frac{6237530998163518561760316321109088517005030837941721875710915088294743397023927}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} - \\frac{2479194450208006115862155219465207979252838997782975932941063397160365900231319}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a + \\frac{11280940116702087983360246561560767849102252715073679402148747755270765563676}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)', '\\( \\frac{1232910818767556623800297194650199482586495126581579611381223119477120357}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{20} - \\frac{1827495684979815556381572001508922600138518846202279796391400434942248873}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{19} - \\frac{3429188124074777306032821879361047319718770941873730815665975984736800158}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{18} + \\frac{136579566897468332210223360057560521033825442059771277773778859853765285528}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{17} - \\frac{107348612428779548259276952471593430976271366059747495080372107399192228508}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{16} - \\frac{252538537615273041928396977036007734108350667785517193412546607345609779246}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{15} + \\frac{3930721479408661977676704906959691452528426121114423641016699895826879006573}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{14} - \\frac{293155766238446178728434871998711983565137403967094045437213502825168420254}{98181028041410854600660207640504451459503295346211171978434758960632975041375} a^{13} + \\frac{16294702436877820207886460069124884354201800441590951715391488325654522442032}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{12} - \\frac{10564354262792210916130700853641923383235510557793024879555803389666869795102}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{11} - \\frac{80535727312447793508572283503893367676278046756560004270467007095405431436197}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{10} + \\frac{1058014624151052325275552716934015049068350590169384392339001919809902856432963}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{9} + \\frac{207086350545700317852738153826972897100630960753521537794575196899436863252379}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{8} - \\frac{1467444613008405440222360997729544898580079268749401784653948296014503872429068}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{7} + \\frac{451860697292758808921741420822622396384226934772200306239375493428131498228021}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a^{6} - \\frac{7723488864630300658329737056333283255752502151068500695525082649561732939231629}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{5} - \\frac{45498791932579657119966506802027401380659572972362012639118097140317534564576963}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{4} + \\frac{13313593474910498185818033346202545687260552975668314097548877743713727500243889}{9916283832182496314666680971690949597409832829967328369821910655023930479178875} a^{3} + \\frac{9869116314233940492378177258521125269341588386118344597648085208284986106228854}{1983256766436499262933336194338189919481966565993465673964382131004786095835775} a^{2} - \\frac{966998314197733980406615651848205062721336175035225697045133725739700297149487}{396651353287299852586667238867637983896393313198693134792876426200957219167155} a - \\frac{884812721465935270556046219850265922585298399531148448870668767414006390688}{19636205608282170920132041528100890291900659069242234395686951792126595008275} \\)'], 'used_grh': True, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', 'a^7', 'a^8', 'a^9', 'a^10', '1/5*a^11 + 1/5*a^10 + 1/5*a^9 + 2/5*a^8 + 1/5*a^7 - 2/5*a^6 + 1/5*a^5 - 1/5*a^4 + 1/5*a^3', '1/5*a^12 + 1/5*a^9 - 1/5*a^8 + 2/5*a^7 - 2/5*a^6 - 2/5*a^5 + 2/5*a^4 - 1/5*a^3', '1/5*a^13 + 1/5*a^10 - 1/5*a^9 + 2/5*a^8 - 2/5*a^7 - 2/5*a^6 + 2/5*a^5 - 1/5*a^4', '1/5*a^14 - 2/5*a^10 + 1/5*a^9 + 1/5*a^8 + 2/5*a^7 - 1/5*a^6 - 2/5*a^5 + 1/5*a^4 - 1/5*a^3', '1/5*a^15 - 2/5*a^10 - 2/5*a^9 + 1/5*a^8 + 1/5*a^7 - 1/5*a^6 - 2/5*a^5 + 2/5*a^4 + 2/5*a^3', '1/5*a^16 - 2/5*a^9 + 1/5*a^7 - 1/5*a^6 - 1/5*a^5 + 2/5*a^3', '1/25*a^17 + 1/25*a^15 - 1/25*a^14 + 2/25*a^13 + 2/5*a^10 + 1/5*a^9 + 9/25*a^7 - 1/5*a^6 - 1/25*a^5 - 4/25*a^4 + 3/25*a^3 + 1/5*a^2 + 1/5*a - 1/5', '1/25*a^18 + 1/25*a^16 - 1/25*a^15 + 2/25*a^14 - 1/5*a^10 - 2/5*a^9 - 11/25*a^8 + 2/5*a^7 - 6/25*a^6 + 11/25*a^5 - 12/25*a^4 - 1/5*a^3 + 1/5*a^2 - 1/5*a', '1/25*a^19 - 1/25*a^16 + 1/25*a^15 + 1/25*a^14 - 2/25*a^13 + 2/5*a^10 - 11/25*a^9 - 1/5*a^8 - 2/5*a^7 + 6/25*a^6 - 6/25*a^5 - 6/25*a^4 + 7/25*a^3 - 2/5*a^2 - 1/5*a + 1/5', '1/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^20 + 99758272566871091494597385038114690510148587934985955852276726155638373977276/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^19 - 22709787378537819347391782034018239320135359668942454680896287864254860634073/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^18 + 100289462806737470362155196427642651192547532808227708946600509870783238171609/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^17 - 131783499267576746105560487233690650966919984942385983938363149118913186375406/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^16 + 764830887003088486648892358130347468910460445810316492732054640539631054725912/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^15 - 664465446996451847298294574858514706913905410075964183543294991276342373139541/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^14 + 8341963953310003143729075314046967069402282547990299206568755399192561406233/98181028041410854600660207640504451459503295346211171978434758960632975041375*a^13 - 52663403697261052549348670640148497494864260561852754948457220743031196346024/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^12 - 77277376447528435105126062992266566509143836088258685594454850536561374706606/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^11 + 2175909823496528681366451378138852466805919799955332060551621296166426935290929/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^10 + 1270034169456911186967584059031847605581573252284504033413035277867363047511769/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^9 - 637393431964127481450526064601562192830346530917891754453827632083295872558724/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^8 + 1892145378158417433842164321771440200209633997634215096410526134216380603760546/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^7 + 984206030377686297232640000256152909109122580414580248748492642003599776160307/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^6 + 4450795841781421999404281609039481644341666577584454185741697376755386437934438/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^5 + 4225956842856302841943090214595478395159827577800282439755656939883516059881371/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^4 - 1255248843261541937042278264378393290310086497261686004906010823922144435625278/9916283832182496314666680971690949597409832829967328369821910655023930479178875*a^3 - 653626892393461793107186561814551009057044339995319059706297583894495923829723/1983256766436499262933336194338189919481966565993465673964382131004786095835775*a^2 + 3014710896676368514909431624378584461857203226202484045571384084907143283666/396651353287299852586667238867637983896393313198693134792876426200957219167155*a - 8592822180454950293230931428286920793469127001717388990314121769071096368324/19636205608282170920132041528100890291900659069242234395686951792126595008275']}