-
nf_fields • Show schema
Hide schema
{'class_group': [3, 3, 795], 'class_number': 7155, 'cm': True, 'coeffs': [4461913, 472321, 1868225, -4829444, 3599581, -2783945, 4162585, -3344770, 3177833, -410278, 163498, -1088095, 143672, 424503, -140905, 35200, 26193, -12939, -4713, -1660, 172, 444, 44, -11, 3, -1, 1], 'conductor': 131, 'degree': 26, 'dirichlet_group': [1, 130, 68, 69, 71, 79, 80, 18, 19, 84, 86, 24, 92, 32, 99, 39, 107, 45, 47, 112, 113, 51, 52, 60, 62, 63], 'disc_abs': 85463837848355618843993505004759251339989023133673251, 'disc_rad': 131, 'disc_sign': -1, 'frobs': [[2, [[26, 1]]], [3, [[13, 2]]], [5, [[13, 2]]], [7, [[13, 2]]], [11, [[13, 2]]], [13, [[13, 2]]], [17, [[26, 1]]], [19, [[26, 1]]], [23, [[26, 1]]], [29, [[26, 1]]], [31, [[26, 1]]], [37, [[26, 1]]], [41, [[13, 2]]], [43, [[13, 2]]], [47, [[26, 1]]], [53, [[1, 26]]], [59, [[13, 2]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [25], 'galois_label': '26T1', 'galt': 1, 'grd': 108.6019902595675, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '26.0.85463837848355618843993505004759251339989023133673251.1', 'local_algs': ['m131.26.1.25'], 'monogenic': 0, 'num_ram': 1, 'r2': 13, 'ramps': [131], 'rd': 108.60199026, 'regulator': {'__RealLiteral__': 0, 'data': '1197545162478.713', 'prec': 57}, 'subfield_mults': [1, 1], 'subfields': ['33.-1.1', '15667.21271.-34869.-47723.20328.33548.-3352.-9610.-33.1199.27.-60.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( \\frac{14318124162226853920573900761624200096929019748534184571191750645537052968530496}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{37873624249391712055439707848552137992529192733076517392229295547179866257470826}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} - \\frac{552067549226477588263730153782919588842733427739683781062480967954551172330943853}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} + \\frac{749417717791448633120709236911724169401173378569641164632898027237553405782458}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{88765450104962296342503161057313522848763031888582930359892212644084086833311224}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{10796513671938166294278329538274968966629712668814135802369456626376882812953018788}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{30631937994031852577840584651819806102373505656696887140757431725507033354016550630}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{325573913008776709017234691103183001132267397373292353755896100829494628010725392819}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{267715690008757171000616969030629497763782448091533991975017418390827335512329763077}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} + \\frac{1227855194388078934293936764299892646837419104875895968297456062923291040693745093588}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{4456940589297794983548337922742671222833691811781519490742325095369512567692849964894}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{7940144058390200247503179555190006330172333163748105153707675421105759789436339103135}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{19815338645265559860763269395976791417548650375612360052247754794159829159667444316689}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} - \\frac{32820615380967212961103683850819955482135565758053922222247324470463773152934886863268}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} + \\frac{85720763655993025729513960747035455999437737259168141992669713568681528659224187325846}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{173088339823905006748012274907110801636508059615284088759271987128689247709929450260145}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} - \\frac{282076069851169154879033845172569974010501984084518668024510178693655966760742446180475}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} + \\frac{800935961538427193066053648255611120415506699042446542513472476588182705356760208366551}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{674448556298882326490612913920803566002005928978226329601585456090491760897580621719280}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{745586510968241423533632474822671374242482254430751738746195991614225073397098657907256}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} - \\frac{2578962993919406339986073792548344369309186351498497342928649014979573737753737565868565}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} + \\frac{769913405354351947895718051417899816143070764968397638617259577290647302352819993624259}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{2114048065013036535887003730178038546555057351610472079879844908411756486242397151709562}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} + \\frac{756106033460334309569908472749944591228925921731716387617997281632234674055009505754398}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} - \\frac{22727909661346641006686901091716755651608269470205012199460779355841397468048227127328}{25940627154553053090796560957051485579838807212428207515282341026980528450404484828079} a - \\frac{1912409171046814596785166463883151864312271287335807197871072185070180421415847345330454}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{723538793062693575167290480942871433006358417834971654243922667093812621021653710}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{1046855821962613724842155191271214599058338817354475510532829098486960073363230356}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{1594711365520762295089234381755996384595065366835167302684394318738805313890703467}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{188923969913234397258517277086103403178339752256932867666520683246498695911673445}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{30814847905093785145694946993142419069985888196721393858311271196330658823300092594}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{310056477654726135319153994482900593252275901708922217569897369896964209375582228944}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{48152988195759117660093079242431547804287792376838580424588324504364232348961271327}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{1714107586577683691331245892237864150860361833010341373487949076227502606870395636266}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{4036205139366827098513085176636051855270228614918656540941603493097055516240828144842}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{8566321321763629834087098147479379744472862242614037268361946126691681634163091874388}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{27734549185684698034774589480795007836126960772384113456883873459887660753600598492063}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{41460408691025338376573578167173577589249628497553454059008555386149879319669820045097}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{87450258717622361809070200927886609404603413313150208053966132893949336874683623209635}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{348513378390507097764692958574348797797699691664315596349643437826753650994475993465618}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} + \\frac{14650248729450256241579586706206248610397740625387039233852499260650887189940438227799}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{1111633594005277176849103942037839224824090203685170027108328483892090320084708856222998}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} - \\frac{187181625291495778786048038494795933940377664568845920596461333442852266370273385327033}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{900912549068376313396316602369964001797978707420164827834212878681079296441198059795235}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{2191408421533160190386877113407448260741693645194232480911968097012652325490297423279042}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{1537437361854800950338192046754704053994435925516622878965106921597979670538975425055579}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{4424080385552008694115973246490824675379522314322461605615397964691099472626073767136657}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{2136530618899440259000216978819095978925649611519745343352603810819185983024468068633351}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{421199913824716160008945903558914895159134620897498452363470284064142903398158170676792}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{5310694865181835617475493393329919964215681502205368351299450444828542577148539310356258}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} - \\frac{2940985364556278046915369630509901152748529966429395989464623673112884890614150627303064}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a - \\frac{4719787573709537043626202614418084865637976334095421593812258709807573286117868719229077}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{64950642882997897123270615238292069253230156824911876995920703409528453719857354}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{813662939810466814208711258800232911889392562484249307139247542972463757166523418}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{1460684184857958434880531659110177415797569397990373798039174638440192622376662706}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{67942177977071538900248257589137742809343440605099810913748185943951553361925617}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{12538185789296368260474491545614983995473949658946548987807180696743305082926708284}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} - \\frac{8597371258748980395389691570074676255907108211131722053927555398267311052936950147}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{300633756126518611231106250526488665863290533102918887147376083206158783748997251386}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{5841054298669666309670460037910037176364445336681943783541249336752738479680242588}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} + \\frac{942172158276720164106778345790985341818778294164399883292177447518855347911719734746}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} + \\frac{1772238175011988741839632866536311509699265546905292323677407088462442484263140257481}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{9660013361456656053693283132422659541921282843270579240434118526707398608064076042763}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} - \\frac{23554196985939098672371197010357048646831909940738958409474109747287201869538069637055}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{22409478085543025826561978974762457435716864820373398231367940121330021302559793093289}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{146157661422561042309758680081251656984922560125689246384264665096773362560013247847146}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{402702940409266953310169621260272598599400716301818345025682240253058468378359752857343}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} + \\frac{109689374942536945370408343763522632790430379648980445733716642469190474523323189134413}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{911112591535615798426280673416468324589007723233877788465948384298023362313512008611757}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{1084968847025966310373927053860995841618271352468573851971150228382917615905767839829380}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{1477762569278820492664165811298466795076350737558853148496659528069412558221750821302935}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{2819160037491532828882262118928403873925550776938711717366733147273653255704386986992172}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{2551669892431439611956714299755623653190176336069948071625356238288475367164483383716351}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{2908487051262818101167274365042560943095249288853565574607414818933184308610528771702790}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{1967165666997225167752932486778416620384057518062470258026433833090846898963251631501887}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{235724747650899888404406496547147494801975306118470349914011752837327106232883873335827}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{2400802733026959950054024561649617631061771498162177730599059977572780729971993326790745}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a - \\frac{2047492223166967491654501216466110793620412630252715548259904907408890832898162622383241}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{96098486090054961513724902786686640947551552127986860972496964937683532948382855}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{83606417193496645705233829332084291383420012522572307372615457837318672806702415}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{1311887214445288150872199340078459583713785201959794062857361575608878338762774166}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{5684967341546909761441468756072200706022066433231872163027085855148870437920175}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{7313466755875497608772970347696221334293360127425583431719626469251164823394431130}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{38226867794184445462052927711708403229614914564883785905331592037442053310836332805}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} + \\frac{54121958313769071815957801750229430061788998188775891825554826356067537237287771670}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} + \\frac{368092043514499511658377191643696574092127820249380367432827101379418982114998676152}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} + \\frac{538335462717512615652817083567594632560308332447841695739385841601193949484523071754}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{1788667636497295895763653810002848158500870710840821426636308051260464231457860758200}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} - \\frac{3689588707465252866899123192525634447910696686224550138452433634155566976634085931124}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} - \\frac{19030555345261879316251620980091135006409617495772117862092536975263832778089566028406}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{20684572906514251690411549914237519012622577702749719555558481897944553738491624485705}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{77843607041864158342897869083379321136973163870562278875471314206429237600172201730519}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{78093034987876824274486446480041588208668432403685949169412714704901681213688483574607}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} + \\frac{171353928229544665130312178677958234463183161459330304875878228763368818342249261668240}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{778832752470600917478440331989303524545392992868067055191006518443191977159091004578688}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{323079692621683800504758537669548574123628584119952410858262692236085764509040006282872}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} - \\frac{98404717242714821447562432538652840110395570074226176762834407108354363625210783722391}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{866243549567064984953996810393817944008286763275188377101913998826661392586664713246671}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{1804792324669169640677221610753934669809147716324281935286355412871950696474261666585405}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{1234650398529716071912453802930617490164777817889146360494007360313448412153248172935027}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{161005908818348374604854279236730696306754767915729751800818088839935284604862081717325}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} + \\frac{964936376703189416001478150186492600104590343274142786687902995944102617047583179187600}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{2554791426588319461325394207952362609115492701616813422652448086484194655236865407163813}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a + \\frac{786748420351990045634824972998428626803349136887482158393581915355663324039282637102855}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{3232729005698773969992617487759804341454591885681530806543869889145192003746383151}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{6561735885388779698668460624084391520358266254373792578498934186123847711656306735}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{13680814010263807482087051949716755183911513805835708767900657116175913330172862875}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{838219539959283050735626447609804343993985726979915396620969001624538370634060096}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{176292095409944225798129450624666759371417280662882678975422243672125614634812131961}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{1290321390200879460974767093714681088689795989487734511279978068611377717451343028517}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{921447516252319383766945844269919713258931034238556674888060705940719278601292767451}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{5539591432434482336011548756316005460649958490075210739357070546705198111433049857231}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{8935494251445517520100249915159157012521159616524239230922534618100371659555844841570}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{28118742593786269281641133872377498014683745735495600391574648120440503331521840710283}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{121524040576884014420769524111977028488727405575426093424952340186376322952312943668043}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{14501800387586936891645448352556703519607208973364077063099559134651228735933582881441}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{566844844518948904323981342866802887566052655681045903131029375839880622689380004209618}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{1943228337242624165845433610577856499138707778891878767819530591963957615587083369698163}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{1057146346947023003515165047669266106285566996146515779319209214288744752975836422175389}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{4047251910732144116340084328720239613363578889105081480302389081647669845092224532104654}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{5423528655923970084509579039174063064929774859923936264905713728563776926083545688353092}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{3592529732552051228698567431796923108602356942905231829526092765697674791709904449481699}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{9586607942060782138230417546586447908698780008967592302601233333755630050668975427858738}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{18135284553023908895905079991076888500482014238808691639584262494131167873687325768637262}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{24557774872515188999610938133878707131594849193422474651488139574347330610799574465586069}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{18684731836380899406695111792747696765594810962864365175749468358234011026618148179815013}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{9730723179257742106269537049690662919199244907064251265388861147917807785485930290481247}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{9890997178340221454728492104500736593378342528288115989657620589389504812965738295273127}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{123877028538341160598846908536563148143097781090369522125242861356437279873482628026739}{25940627154553053090796560957051485579838807212428207515282341026980528450404484828079} a + \\frac{3622975624908246407930137334136687557644205166054741515925795595424374262758557611733993}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{205591221566507471026678957610900869852621404477862039774116294207155080976306195}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{785514087948890471375502716435862704772608601588692908942130743320367769396454789}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{1051397915897484698646752682771095886308261461335606552452748941246887132143683877}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{70223193177086857200187928248824087045509313620784427516418693227952179175007505}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{14007366159423073047385324836467098298919776877665129176275088081364600768794538983}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{67659985360064525013826685705373289243446857881991965578187549886488484494213477361}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{231695185790750394161743049728562607167134417248152485900080335211849788524437299584}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{493650640466370967620371024518923301227389587238217017503736252756675143724322404915}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} + \\frac{1489206851237411551593492438809096428228354049928973458627500820309640580117400401}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{80401348003321332439394781049348625498240228693902905958772245903261273168059793004}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{12784192116007177430154976366235590333763379041135317890062100558816676417784777604177}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} - \\frac{5529510546445701007534110316014597263670274198273808989233495797357345751282132904857}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{49626642589506829043775136430055248068371408378774895166413781462178505299288403816113}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{182859667396019495564856226694173432621728013937707971500395243692024931211521122259769}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{199279247368042803107075226438950591288432781442294132749645132733537062249160709255217}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{436040903262115269655014241170857638349909703290931528817395445722747062305681048283958}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{794571611276339063752322599391984861431844473971028112698408984524872805860987780331494}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{244054752200944613328242320877763585419736449189237746937717910932423322540784093848435}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{157229735068374105445246170523913298791590187065830214420452292010647799107012959215294}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{1699494080659980588389833852124730245768791527801785810070695216955724606750063234888135}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{2860178786713949361923708252859854862427539717389013469235199204164517855425006878658659}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{2139145629349900868241868088734534632176384874075233617333866671781906444542372995603777}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{1668970209754301322858377781719941987012054852876913986364459730385702172007338110882}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{321939067765028925370792586737501338698607785029957879952306665832928591032019309575819}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{2007219674998482189692890475875482190168997440900650205277661075920201615530616637101363}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a - \\frac{1711879439089889456411802299451560938162362960683939668617601634629184846316099005566453}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{25011560937859972892884895984547418233132452763201610775229063165438283408708354}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} + \\frac{651867869377413687229315414665423195810240784245040664219221651555981400272187767}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} - \\frac{1219118980907406957530590708876526144705850698679568604063949938321987226461591447}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} + \\frac{62434762911453314416953233856915399464338050219225605004302235317524593726441654}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} - \\frac{7953231297460144577998400493781906430381248883363609888399694530504702933913057202}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{48378841119723257781445913540806621880217498673897893264183933919507026304162963234}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} + \\frac{274574319027010497245823876543142724240212769817525433673888476064351798207361020250}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{176657285943801941925470304497612064405839951059970936888274327630604958690896069311}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{864093040094184221288430445036641845137340154514044278391441432847312032921818545757}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{1872389864669693162552779193786507276131684592595992743865865254115774289391593272348}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} - \\frac{6851439298089875386564936979480870547456333108550126589271920477674391041622618659615}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{21288785576038157313385615086958767001531017994848462984813878163421204995442546847570}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{11763816278163313251283922861659559412299902369721287221288093708566813981982642278531}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} - \\frac{98565194862767431884915179400504992543039982955247279850106461506105769204522478130812}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} + \\frac{440804740968795610562583915093374352118123211027190021100630236051127148288042512268631}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{341077125226356592393604175155721006873959831550486911025468453658543003935677116382885}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} - \\frac{547423576207358398493511034380948905511103090188895803950972539230607478916750967327444}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} + \\frac{1661995729977803601032659965777064299027323211700068442083913388016197273560130507573573}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} - \\frac{1968075294931818173768603595855619464766816242963455341769719652808862174840203105051190}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} + \\frac{2360216570952441778010384810271977997200506299629373581142452115788508680396161015115886}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} - \\frac{2442542770220233711376904597850253839803646843111718056474901239281892027238510646277869}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} + \\frac{2713856049525911176839310631169387219438499508609629089346505527373203079391979723754100}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} - \\frac{1907120742578783541614700255740928169902317850299335461220134462126914263010626662493373}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} + \\frac{1319190615895640773320481364993737635170072098193270156310506268565011884702014889137748}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} - \\frac{1318997502085389212494849356404962860706976651639724862849473632849407485435081586742030}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a + \\frac{1349069037587399191125119271929123627107892220066900111579852716265327032499712021364808}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{419945829555176079098346637623226393149810750752837983712915668733131362089377401}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} + \\frac{527537224473406935509287556412203158703710327392563757377081077288664832310985346}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} - \\frac{103570090663459642628536180146927075333002136455163378705867685062791445074867522}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{50775547555064691134670266571748814871109291808055666860370427518580743261817242}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{6471689859562916874688457228705399276156370009483171345280490592977917295581577890}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{227408052246047773699548792604762972624494034551410031138355623840993297783187431978}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} + \\frac{484940921839983203799976053189169573501862912009516530403892991235744291664317659647}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{767533494299627998843983430600241378516044667951261561679414211328585332430172881368}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{4260813486723898247473829067258570173925095957951496050047080850495962366986316620825}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{10289620983471848438429183176202137317734437740514204253096488917680164887604682530329}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{1209378910891543965093870499764036348285051781595076634144495532016150311203015131820}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{52408591694885480136433817891028569542774706332072697444349247024284916207563600928723}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{7949955347403472126817468027413456956348823826305275606172876860091810603097169487203}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{33776502827499443524513019096136572224668931722363206045188541297602031957323252656068}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} + \\frac{482045938904700705320993360133213155897744619805910476564097750101284947450754903596557}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{408550451369290793903396868069238190286550818524524388375015931728212198132997385249729}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} - \\frac{1487056901112237722783987714048533463745522921651060943738993124297012300872835266870345}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{142125869987419804471689511236359364455545430083320531347636581548573402660894331079510}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{1078062441876285797370553373405362292675932963555246456428180775944209854615640188367776}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} + \\frac{2170478194650909444134590955496218002658157864604415480901535340077049190510911988232026}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} - \\frac{278356649379251489781049887625735267151925884922861709464456057156451374617591623404143}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} + \\frac{2027760814875202522352408386539597285515278562447601005949421184251596484835898263837044}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} - \\frac{663782973633131014103426347223097441948487313590363871481537783783899308386868236830993}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{4255129493734872202635574495712770405275002953373354054484292396239836584891709250008827}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} - \\frac{5944384184815834834303201636304098281610726620573015081139255717324191675509992664259764}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a - \\frac{6697384687152062707137038719835232020297761795156709175342521858670396613870981472287249}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{287265472589381351702243344575697582429644160085714098059431363410118917353009292}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{345221987946668685414032014159957097947493406040851882955937107196120390810133629}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{685474850071485280423687209279124237547423482828485612949426365842795918415498875}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{42939869994030800824719655946602359006722912925078852594959082288346145356268688}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{14164590895679589415576187401382782921584244743260578950323601822363800277713074841}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{130413629942669815377062809415811413014463695475829637490102231788553664357576924641}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} + \\frac{10565918378217934146156939455830407553465800144308166084024419737077465907479926391}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{574521016073059103378558806225875193302634182976698782513935406711396852705153249106}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{852186721496973801249357600515875700553255009838879533981969813464508200851292655371}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{1739021489625862670698999197370268240733843196962100996754842097156416923048488501123}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{9733621147269812511407973651926962575112280589353938977676757027875050755100563455893}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{5008786747205683860368983698054090734664919116417704642180786028750459733971905736182}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{75014725233610820433479550322465105979590887604477284599204787977493449849894912164661}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{95676414475286326487099130309004271655838408600856633013637792792551524770025273290844}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} + \\frac{96358928013178297889727704089190498735138739409661201025457479817147106624591827341969}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{404211887612574419805055190003712255404504137214341613134650273265685297197063519506928}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{225633782147872606921465870912028959032312457696793711043498252206881501017233371467534}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} + \\frac{950851602968028545559649400669008777269300636312465297498404402521135169498075074423567}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{1306797008331523916070697973505330644406366468614499697347070757168420597131546215234213}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{2256127678801327603774114951511130510465988466528610010665592218846015598728575246505760}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} - \\frac{1661845208492526394550897792959361685590748758066785845699302022720948747954853346195845}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{232290061593377728175587805623748294642465905570790886057141383993626239506778996628066}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{3550454981267355326365194217617694077203481831657588896177714970368809712557994745843520}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} + \\frac{1141944600980207080231529937071859956538869904470982952611763184716244743834114566939332}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} - \\frac{479730337700342421279719607266933491926695648296459751422769491981682581810883103321154}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a - \\frac{2171550388925815355374850058226656419935492268014061925201773415005771410260480306412903}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{1321392048226719187575669695730962084842740428833447184962103058603090656553590493}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{2703656971430914364745233017875201815443263866741054285906703270970652102497368061}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{6235858939951044890343371012177553858787108192979535663649704868933766437982353821}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{361704053164524372316606061114772693134382236888174032183672372182141591481525819}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{75258440304187734962606618983626984011225329555752504519855243946811162304317289045}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{520437207705205769824443503116965981723518118608226610747434289009238054763210993812}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{356378760762200201759961980672768453718314888724039220416888494404770264887113244269}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{2005373105122350843979431813774280774519389220142559071370760259006997600539161557706}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{3649054215537858135237212453319947924163106576693288706352523518552181904561312370361}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{12019624499770451794013325896033574860206549732993176015659479193704573063446943938009}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{48785646720863163457301259704371097795691820963153617891059562223083242830150240142441}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} - \\frac{2401791402253866493951946480739209090141315040663875651004963842884121504961301835248}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{219606577665426880951839100503393835436649310337566003666370786728267384553061850833595}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{791094129725588313170748982309823843181136525247346347571158034133224261415588422834806}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{550542991128575319382044539057373596495368262663650398738166932316192463102118369977711}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{1248045440938239563711938795918505173347325506390032324462198392378021202595583333280442}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{2134801514935871220846219906631993818704585217971365019417710675495826893357159871922267}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{2270119060191157899599740406585934951294070447874553644681699150046102449351278510290166}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{5787641427841866578888718001006692934613880005233500291544503929990082699188436352632804}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{8672164497911154131945968702279108015621801007332765585511595217830940925405566053399368}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{9592321124075393923310555370316149460781836014241145479568069687789278399032913110550561}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{8248789948350872250730593357034118175666964474546397840834154610702100930833005620326637}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{6542206408416812185537424988873290803904414346676997747018447658925615541440248446739914}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{4658158619115440010983919355169876566081569616308765331048219915067492101472151302412143}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{2368487237247417474467251131838973343183697482301921758261509348650996469214030968296764}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a + \\frac{7411335712472886054102091265441093373406030348287644674529880851374343820910762395707127}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{207906105034088040015544340738287426724396676541070733830872292797163001682630909}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{1578636265045984325189495691132303282985642285373347248636134137811106583150546612}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{2045139380770339097690569135056118861687906778263435065151853452995845309935182015}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{104055784633117369369282824341040842609060096855108093500804257464057654998832543}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{22104601797146416347984649274829742255830312145087013584421994083081305647982338359}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{34352143479205732815003778936099304817522434275336389615979879344228143527389264068}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{582553796422013857602403978741481846354402269681124678877909300581936769380017405062}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{507307823520124955296580605655370336390231544283661140728180522201976523768245949084}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} + \\frac{1677943738048391944463330322743234566571594711183161358416355485404166389527375815319}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} + \\frac{3190833140421784313040425944178275550418589250305229967706360662292674702142041192582}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{20670519964319547308772932833227252588719051455681142162521247295146849523107206845510}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} - \\frac{31115772662942556366738955854881835912867501097345067770819684275889189251137583928321}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{79734832297713914058047665448375172734561495281880970550852950391327924178562830317904}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{329395047224706898734846030374553339685167650642878732902213699858756934395046171218833}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{547861564602525955675560103385600060338807424975229124215362569137911280143301219616217}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{621771564011314562339517786619954375553818507592229378936119242418767168327941183178823}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{2104344594002684389057562016023388145983213441338885341109874197851800822621331120239086}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{614749855494910067489351370493850318986480212085364756794081661603309741641946108313940}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} - \\frac{760000732003005328004866647564108734821944314697195803827404932250301004970048826079795}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{3253445149786575049149784509880569648112664941998538665587015482025412325964184999991014}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{6484075731133229568911942005399414506243595893649265866737527016255388581045437462574675}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{4806766813624312780517213279767637299572897807936889873790597127670935690004927438710693}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} - \\frac{1195144967206837064698556285857221640835373952176160471526525785167105506961559651656981}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} + \\frac{733593046930817873191494133125361765329811250474150542189799287378533869258287463911679}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{6519101245074025808463428179203952504800501542207388056025398410987534937511957851124149}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a - \\frac{6799841170595777217254279167866224979099816476350098712783183554085601510415347798328827}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)', '\\( \\frac{1567900962414994286681185002823694119928817557062218987462475154032141013452747119}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{25} - \\frac{2946275623799463826300370484101154143868053549123948686701038228065982108858482419}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{24} + \\frac{6277418616125739982519522654607330669706618790698852947900151957391347261580622766}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{23} - \\frac{393172074829471440156492764312771122262360361000503483623365824544772174627038813}{29856193517504457330916796573210200384342778112417370913815524578222872367446671217223} a^{22} + \\frac{83363648227505945085202061347590240438547218839924400993523826718296303931554919082}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{21} + \\frac{637249332532751650235817646410226287400694991103659741127285385436007271557987864566}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{20} - \\frac{344598489773481176800940406234480139781079928668121819507755468510192469221428570273}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{19} - \\frac{2710460838016010852209725183412334412182729816255556628593622939602831872347782707320}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{18} - \\frac{4778073831151547012183789722262553076756565346381675145174302833604409456979651485302}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{17} - \\frac{14226008089370519433241097934267858993334911391865896396700123672282834519005439250278}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{16} + \\frac{57118345148191744794422565440764226014719306570862373709299236351085211376111638134243}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{15} + \\frac{14400045822976078611652004637557921195015333490573314631707315087536689379929402723139}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{14} - \\frac{272499355842196472655288796054599268379623624908150305552074963190683453090788216778947}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{13} + \\frac{889166729988029013299327937750525213027701340222216006728564001359636156318095893580948}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{12} - \\frac{393267095163381013134093650369819441620563285699577979056000827632367288529868741731304}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{11} - \\frac{1925763048323670714123891885639093552643807801542209840293942662122594870592016396606552}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{10} + \\frac{2227551219153127448283243325404895446231408818449967520598223625981849055414223602621823}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{9} - \\frac{1368422488990284693466400643920140803077330777754422138419422414425214659067207096112675}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{8} + \\frac{5150415756830901932079910400515392936131416361683536133484137917083330825461824516810146}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{7} - \\frac{8707114618598802045323365686536527750527604186790852176328757576992984819203722700683072}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{6} + \\frac{9986943218255298296528172194346069473405928908892515385837939788554205348566923693457017}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{5} - \\frac{8098926578079235374158536868032315890622550275772297639225919453283639372147971642549861}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{4} + \\frac{5911231063930369359783328522133082334767745018468504388919552615556665127882264036299554}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{3} - \\frac{4632216974642182503727650828979501476640726132458129834158918582011419835192413591813249}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a^{2} + \\frac{2146631249038836625386430509851672947967840159283316984534089097850567874616504903654144}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} a + \\frac{5855719040939993476106282077955506052027014541498423550643297514024924063157354078781833}{1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819} \\)'], 'used_grh': True, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', 'a^7', 'a^8', 'a^9', 'a^10', 'a^11', 'a^12', 'a^13', 'a^14', 'a^15', 'a^16', 'a^17', 'a^18', 'a^19', 'a^20', '1/89*a^21 + 40/89*a^20 - 36/89*a^19 + 31/89*a^18 + 7/89*a^17 - 18/89*a^16 + 13/89*a^15 - 5/89*a^14 + 22/89*a^13 - 24/89*a^12 + 44/89*a^11 + 35/89*a^10 - 20/89*a^9 + 30/89*a^8 + 14/89*a^7 - 41/89*a^6 - 5/89*a^5 - 21/89*a^4 - 2/89*a^3 + 10/89*a^2 + 10/89*a - 32/89', '1/89*a^22 - 34/89*a^20 - 42/89*a^19 + 13/89*a^18 - 31/89*a^17 + 21/89*a^16 + 9/89*a^15 + 44/89*a^14 - 14/89*a^13 + 25/89*a^12 - 34/89*a^11 + 4/89*a^10 + 29/89*a^9 - 29/89*a^8 + 22/89*a^7 + 33/89*a^6 + 1/89*a^5 + 37/89*a^4 + 1/89*a^3 - 34/89*a^2 + 13/89*a + 34/89', '1/287737*a^23 + 1093/287737*a^22 + 529/287737*a^21 + 2938/287737*a^20 + 56036/287737*a^19 + 30474/287737*a^18 + 126808/287737*a^17 - 71544/287737*a^16 - 2825/287737*a^15 + 79617/287737*a^14 + 25411/287737*a^13 - 88838/287737*a^12 - 50389/287737*a^11 + 138382/287737*a^10 + 113947/287737*a^9 + 33364/287737*a^8 - 51699/287737*a^7 - 71563/287737*a^6 + 125496/287737*a^5 + 109876/287737*a^4 + 90624/287737*a^3 + 432/287737*a^2 - 110512/287737*a - 15386/287737', '1/287737*a^24 - 1143/287737*a^22 + 215/287737*a^21 + 19608/287737*a^20 + 32311/287737*a^19 - 120616/287737*a^18 - 135405/287737*a^17 - 50299/287737*a^16 + 92759/287737*a^15 + 23458/287737*a^14 + 34496/287737*a^13 - 18047/287737*a^12 - 22246/287737*a^11 + 92462/287737*a^10 - 140430/287737*a^9 - 43845/287737*a^8 + 100419/287737*a^7 + 27663/287737*a^6 - 52411/287737*a^5 + 98873/287737*a^4 - 28043/287737*a^3 + 2485/287737*a^2 - 104407/287737*a + 118453/287737', '1/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^25 - 830336118910176547974896943481024020797143984452104209275792799008211334073325875/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^24 - 1040116654196085023778025074489759777851153529798379848763418606851245486476197016/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^23 + 110499240603326547332169129543623846620452606725396469661987831509074399727814349233/29856193517504457330916796573210200384342778112417370913815524578222872367446671217223*a^22 - 3534921753616895957746736737782538700508700842487218870693634778127187484942303694427/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^21 + 322622592716428249525163795612010984792599820070786482628536451209121430099626510795680/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^20 + 673772882677606494714141236960939931199089442321546710083979293953845343382790365669542/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^19 - 322418973640401738678883482386201398037573653697883812081602255472569716411986144090040/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^18 - 767650876464099465520480387536209388138692169915966600669441229799327700093238981807990/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^17 - 283171544982565953709137682547982492588258687572630051166323898867612818588555230191942/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^16 - 677102188986653336996530712688291902973924917471037589786664480532222402473615819598656/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^15 + 405163668414011024616487828130735074551998183286976850586202649757156688031374864190126/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^14 - 681965262105319699742932454593262607657444231336245861263943201455201549770510673820113/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^13 + 14312074953919946228483924327742231953186644364451005800623691747365563885521358248228/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^12 - 587652649351326966378374201292007110984193297161961074266956875130810840272849383995500/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^11 + 228442824194248902404407550271863691516777368325287264351598421195921140499441236728783/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^10 - 688560577868228366843066407948867804989039601528676786620572282219415056750326246440058/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^9 - 620266157712702662119117241416542824042642737018581753012941500015677555907964221488032/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^8 + 20481660829403521846278207193469275205364269451501095211250541969859462866697671333132/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^7 - 616769151923867251064156578102745901355224866609521742279089489804828185201576092226813/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^6 - 765113862545824097129448507974889572448444974773886152810608183575406597357451761602828/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^5 - 276933321088833388370406330099776138692187821237367356280338205594956071177875006262542/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^4 + 785948314035410867072039876897910213109600743559079222020427444573593847222553985219075/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^3 - 196334676936740903247795974730043804576270558720318149305792562645944208696050175310343/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a^2 + 208612945965109222998506986116553413744047130793139596800494760924170947902585213557738/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819*a + 448563092173536161928247211797240664391676292844424371124720776692476558298731425449855/1582378256427736238538590218380140620370167239958120658432222802645812235474673574512819']}