-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [1, -7, 36, -296, 1203, -3118, 5899, -8498, 9365, -8491, 7506, -6785, 6009, -5466, 4694, -3516, 2614, -1907, 1213, -714, 381, -158, 48, -10, 1], 'conductor': 0, 'degree': 24, 'dirichlet_group': [], 'disc_abs': 940350029043078386535797119140625, 'disc_rad': 755, 'disc_sign': 1, 'frobs': [[2, [[10, 2], [2, 2]]], [3, [[12, 2]]], [5, [0]], [7, [[20, 1], [4, 1]]], [11, [[4, 6]]], [13, [[20, 1], [4, 1]]], [17, [[3, 8]]], [19, [[6, 4]]], [23, [[12, 2]]], [29, [[4, 6]]], [31, [[10, 2], [2, 2]]], [37, [[10, 2], [2, 2]]], [41, [[20, 1], [4, 1]]], [43, [[3, 8]]], [47, [[10, 2], [2, 2]]], [53, [[20, 1], [4, 1]]], [59, [[6, 4]]]], 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': False, 'galois_disc_exponents': [160, 120], 'galois_label': '24T576', 'galt': 576, 'grd': 35.93093151785668, 'inessentialp': [2], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '24.4.940350029043078386535797119140625.1', 'local_algs': ['5.12.8.1', '5.12.8.1', '151.4.2.2', '151.4.0.1', '151.8.4.1', '151.8.4.1'], 'monogenic': -1, 'num_ram': 2, 'r2': 10, 'ramps': [5, 151], 'rd': 23.65304533909512, 'regulator': {'__RealLiteral__': 0, 'data': '8548806.54922059', 'prec': 54}, 'res': {'ae': ['173,428,-323,-45,-2323,-4317,-5653,-6130,-4936,-4214,-2719,-1691,-1230,-497,-455,-108,-139,-34,2,-17,11,-5,6,-2,1']}, 'subfield_mults': [1, 1], 'subfields': ['1.-5.3.0.-2.0.1', '1.2.-1.0.5.-23.-26.23.5.0.-1.-2.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( \\frac{21979892515620580172228615131239799}{218781382046974446703198340739362843} a^{23} - \\frac{207521671828939977353723957438247664}{218781382046974446703198340739362843} a^{22} + \\frac{948686552335156282271048151302791926}{218781382046974446703198340739362843} a^{21} - \\frac{3030428540997166038755891512912829451}{218781382046974446703198340739362843} a^{20} + \\frac{7066717231087535407754362455370584189}{218781382046974446703198340739362843} a^{19} - \\frac{12933000208288534859596756001528334081}{218781382046974446703198340739362843} a^{18} + \\frac{22080807785908725205282424282325474314}{218781382046974446703198340739362843} a^{17} - \\frac{34176702274875213741268290409399757183}{218781382046974446703198340739362843} a^{16} + \\frac{46053418292860475792854141121694698431}{218781382046974446703198340739362843} a^{15} - \\frac{63180198096607706256428175295490219618}{218781382046974446703198340739362843} a^{14} + \\frac{82839929910594936539776416019006750474}{218781382046974446703198340739362843} a^{13} - \\frac{94461585188976621956435448665231761019}{218781382046974446703198340739362843} a^{12} + \\frac{106106208132127883385665981511168571645}{218781382046974446703198340739362843} a^{11} - \\frac{118614690195827707072392888446095505082}{218781382046974446703198340739362843} a^{10} + \\frac{130729002629347381234787794782100099882}{218781382046974446703198340739362843} a^{9} - \\frac{149697815125082661547107364634298073659}{218781382046974446703198340739362843} a^{8} + \\frac{161501430125011721776330947450165915981}{218781382046974446703198340739362843} a^{7} - \\frac{142549334427567004858255842989771332922}{218781382046974446703198340739362843} a^{6} + \\frac{98416061427182525608924860885792971863}{218781382046974446703198340739362843} a^{5} - \\frac{51399208739900122030928492216738059019}{218781382046974446703198340739362843} a^{4} + \\frac{19225637887260319505327650517257849564}{218781382046974446703198340739362843} a^{3} - \\frac{3871665994150271938246916098642830277}{218781382046974446703198340739362843} a^{2} - \\frac{102339995968812348648888473800786350}{218781382046974446703198340739362843} a - \\frac{62487575252934202698557369491464342}{218781382046974446703198340739362843} \\)', '\\( \\frac{6947592751785174987770990406007}{55997282325818901127002390770249} a^{23} - \\frac{70678808602852657186014546982946}{55997282325818901127002390770249} a^{22} + \\frac{344025013471964671592020646541636}{55997282325818901127002390770249} a^{21} - \\frac{1142135175127319204175142125887803}{55997282325818901127002390770249} a^{20} + \\frac{2779823215968829273326353716236271}{55997282325818901127002390770249} a^{19} - \\frac{5245355953634127479964278751697931}{55997282325818901127002390770249} a^{18} + \\frac{8906996913140174311457122493119494}{55997282325818901127002390770249} a^{17} - \\frac{14058934507431156239638552821070528}{55997282325818901127002390770249} a^{16} + \\frac{19359559151761016092319017509363416}{55997282325818901127002390770249} a^{15} - \\frac{25926934043707386275864226960797006}{55997282325818901127002390770249} a^{14} + \\frac{34758788373493176179883782734871815}{55997282325818901127002390770249} a^{13} - \\frac{40685526219620873399293855627977529}{55997282325818901127002390770249} a^{12} + \\frac{44543521864993883250053859727532503}{55997282325818901127002390770249} a^{11} - \\frac{50422305392119420909815595992140733}{55997282325818901127002390770249} a^{10} + \\frac{55758775085578763576448204649583312}{55997282325818901127002390770249} a^{9} - \\frac{62914099726134312603570192011810266}{55997282325818901127002390770249} a^{8} + \\frac{69811192059778589141362588831622649}{55997282325818901127002390770249} a^{7} - \\frac{63775493648305156549838863367970116}{55997282325818901127002390770249} a^{6} + \\frac{44484109907200505985151520032777108}{55997282325818901127002390770249} a^{5} - \\frac{23647997735020936701346635155091245}{55997282325818901127002390770249} a^{4} + \\frac{9121014588290958525391511413214434}{55997282325818901127002390770249} a^{3} - \\frac{2282720486365109056497176817778293}{55997282325818901127002390770249} a^{2} + \\frac{323700701133737786807572779876277}{55997282325818901127002390770249} a - \\frac{98758600191956915211816914774313}{55997282325818901127002390770249} \\)', '\\( \\frac{142375644393309295394012376822046696}{218781382046974446703198340739362843} a^{23} - \\frac{1405185165280034700120165266757371218}{218781382046974446703198340739362843} a^{22} + \\frac{6648703778493469039204582312118124735}{218781382046974446703198340739362843} a^{21} - \\frac{21610962860606905465080595786672949700}{218781382046974446703198340739362843} a^{20} + \\frac{51357782608959072702574090033441955675}{218781382046974446703198340739362843} a^{19} - \\frac{94762455138085551531796599686292301398}{218781382046974446703198340739362843} a^{18} + \\frac{159949255590248124398148764571866296533}{218781382046974446703198340739362843} a^{17} - \\frac{250030690715437993370761414192680403145}{218781382046974446703198340739362843} a^{16} + \\frac{338505489097363064441394584542770048651}{218781382046974446703198340739362843} a^{15} - \\frac{454923166684028661941549709664071096973}{218781382046974446703198340739362843} a^{14} + \\frac{607243102295862724413378679866876444156}{218781382046974446703198340739362843} a^{13} - \\frac{696356991341285272374605377402903284198}{218781382046974446703198340739362843} a^{12} + \\frac{761404421179680386040943029955689916021}{218781382046974446703198340739362843} a^{11} - \\frac{863871843050561209639997288270609430258}{218781382046974446703198340739362843} a^{10} + \\frac{952180730664089623245933063110507920224}{218781382046974446703198340739362843} a^{9} - \\frac{1080440696207050038859479919626418865167}{218781382046974446703198340739362843} a^{8} + \\frac{1188378442409381578509025251375953512566}{218781382046974446703198340739362843} a^{7} - \\frac{1049292719110310974579015014656400397461}{218781382046974446703198340739362843} a^{6} + \\frac{697966596953078067254284705666438687922}{218781382046974446703198340739362843} a^{5} - \\frac{350207830307527799551737248132447632838}{218781382046974446703198340739362843} a^{4} + \\frac{124120503020389232860994887555688980119}{218781382046974446703198340739362843} a^{3} - \\frac{25514983296297699108733581295647480518}{218781382046974446703198340739362843} a^{2} + \\frac{2057656795880779720239965528208241802}{218781382046974446703198340739362843} a - \\frac{811442782850304764422253173866077441}{218781382046974446703198340739362843} \\)', '\\( \\frac{238958936761513324534263083299877715}{437562764093948893406396681478725686} a^{23} - \\frac{2390074673578021828896074354548153181}{437562764093948893406396681478725686} a^{22} + \\frac{11474241832071383019083527022762601921}{437562764093948893406396681478725686} a^{21} - \\frac{37766825322489575588718909346298067897}{437562764093948893406396681478725686} a^{20} + \\frac{45519603125248151798806022832151945861}{218781382046974446703198340739362843} a^{19} - \\frac{85242053159569496724906931221897203564}{218781382046974446703198340739362843} a^{18} + \\frac{289302423951951127095062994288771685905}{437562764093948893406396681478725686} a^{17} - \\frac{227193101866177728741689052936460808941}{218781382046974446703198340739362843} a^{16} + \\frac{311158446432006872286056060258446870014}{218781382046974446703198340739362843} a^{15} - \\frac{418037674340606452001233896353832464800}{218781382046974446703198340739362843} a^{14} + \\frac{557728710363569319802441176894601958735}{218781382046974446703198340739362843} a^{13} - \\frac{649114662832280452208000028854127773806}{218781382046974446703198340739362843} a^{12} + \\frac{1424463305916420279523127373469293653013}{437562764093948893406396681478725686} a^{11} - \\frac{803163231752604404456051218662661245883}{218781382046974446703198340739362843} a^{10} + \\frac{888978049613373117423862498801783658658}{218781382046974446703198340739362843} a^{9} - \\frac{2011198127010931296780862267917389573881}{437562764093948893406396681478725686} a^{8} + \\frac{1108740187280578365433913026645060534170}{218781382046974446703198340739362843} a^{7} - \\frac{1004494276311772359217699585742838119884}{218781382046974446703198340739362843} a^{6} + \\frac{1383022829462222869118677310260855655387}{437562764093948893406396681478725686} a^{5} - \\frac{716497809901682460731032272151797671027}{437562764093948893406396681478725686} a^{4} + \\frac{133017696891563548695609568272462918081}{218781382046974446703198340739362843} a^{3} - \\frac{28940053317548416015827530287216037979}{218781382046974446703198340739362843} a^{2} + \\frac{1664604478321017467794510671459318694}{218781382046974446703198340739362843} a - \\frac{243545015056268311577684661510583207}{437562764093948893406396681478725686} \\)', '\\( \\frac{38447591270465387854768684792664419}{437562764093948893406396681478725686} a^{23} - \\frac{391298191635512593805406467936795893}{437562764093948893406396681478725686} a^{22} + \\frac{1919259969674687884816256046922991425}{437562764093948893406396681478725686} a^{21} - \\frac{6453793988308234419319468041180161887}{437562764093948893406396681478725686} a^{20} + \\frac{7980567187763171108019278124057824900}{218781382046974446703198340739362843} a^{19} - \\frac{15401373151108573216344647267691768839}{218781382046974446703198340739362843} a^{18} + \\frac{53259513740798419021681064257529277391}{437562764093948893406396681478725686} a^{17} - \\frac{42403229964044945074935671136746139051}{218781382046974446703198340739362843} a^{16} + \\frac{59487326333735997556537629840165530806}{218781382046974446703198340739362843} a^{15} - \\frac{80659664527401765057792689057005071425}{218781382046974446703198340739362843} a^{14} + \\frac{107849162919080823359664615494252291536}{218781382046974446703198340739362843} a^{13} - \\frac{128787236980095599060965563013846003879}{218781382046974446703198340739362843} a^{12} + \\frac{287925728316372335487879153946121659727}{437562764093948893406396681478725686} a^{11} - \\frac{162342528173195080335894535164198473302}{218781382046974446703198340739362843} a^{10} + \\frac{180202751425499276417166897348957468449}{218781382046974446703198340739362843} a^{9} - \\frac{404739760623125746647427978071216918679}{437562764093948893406396681478725686} a^{8} + \\frac{224505332457349226427317416068301720330}{218781382046974446703198340739362843} a^{7} - \\frac{213151669107489225325018935984791445542}{218781382046974446703198340739362843} a^{6} + \\frac{322156591684326993006642627222026693061}{437562764093948893406396681478725686} a^{5} - \\frac{193915512904538837378840952311395392135}{437562764093948893406396681478725686} a^{4} + \\frac{44699046745948100589410403042508434848}{218781382046974446703198340739362843} a^{3} - \\frac{14096619559620770065629807545006819923}{218781382046974446703198340739362843} a^{2} + \\frac{2912994280604158454862118038846242723}{218781382046974446703198340739362843} a - \\frac{762356780927224173062712172491153431}{437562764093948893406396681478725686} \\)', '\\( \\frac{67574646638271812568660861235487809}{437562764093948893406396681478725686} a^{23} - \\frac{676530514587841372374486558753187469}{437562764093948893406396681478725686} a^{22} + \\frac{3251175787427411625013193333418761901}{437562764093948893406396681478725686} a^{21} - \\frac{10703559639169022988670756810158991547}{437562764093948893406396681478725686} a^{20} + \\frac{12892378055032937152764590380415369096}{218781382046974446703198340739362843} a^{19} - \\frac{24100943943814974571605982174033020957}{218781382046974446703198340739362843} a^{18} + \\frac{81525708349790828603627570742077761589}{437562764093948893406396681478725686} a^{17} - \\frac{63857153337190967493946511990083914550}{218781382046974446703198340739362843} a^{16} + \\frac{87322259864084115710835878691104723534}{218781382046974446703198340739362843} a^{15} - \\frac{116906067739533008050495080502985038739}{218781382046974446703198340739362843} a^{14} + \\frac{155731978760132919355341271501209171646}{218781382046974446703198340739362843} a^{13} - \\frac{181259697678565524170291464074878437030}{218781382046974446703198340739362843} a^{12} + \\frac{395265813495606155795149889969738368339}{437562764093948893406396681478725686} a^{11} - \\frac{222286755396071153682433348355951765173}{218781382046974446703198340739362843} a^{10} + \\frac{246713440861726239351168828877688323013}{218781382046974446703198340739362843} a^{9} - \\frac{557379811289322873870706903455448045743}{437562764093948893406396681478725686} a^{8} + \\frac{307758183226441193387927479296275092070}{218781382046974446703198340739362843} a^{7} - \\frac{277235450081849552017642226223257558996}{218781382046974446703198340739362843} a^{6} + \\frac{373369598954917923328411715667563192283}{437562764093948893406396681478725686} a^{5} - \\frac{184151122889078273268461784385332490945}{437562764093948893406396681478725686} a^{4} + \\frac{30686366431663614821041270766256129638}{218781382046974446703198340739362843} a^{3} - \\frac{5380855526586570601687903390575821014}{218781382046974446703198340739362843} a^{2} - \\frac{19575688696638888892144760833459084}{218781382046974446703198340739362843} a - \\frac{461091230414120110166525634549489613}{437562764093948893406396681478725686} \\)', '\\( \\frac{144327641070236194041572679006715563}{437562764093948893406396681478725686} a^{23} - \\frac{1440715334138733944071325702145360543}{437562764093948893406396681478725686} a^{22} + \\frac{6896061364166994355437175332116751133}{437562764093948893406396681478725686} a^{21} - \\frac{22622495721895094037658314414321978763}{437562764093948893406396681478725686} a^{20} + \\frac{27156776693254268143998459910218872709}{218781382046974446703198340739362843} a^{19} - \\frac{50605433912226714770243373628866081734}{218781382046974446703198340739362843} a^{18} + \\frac{171249041245048762491373611219705784447}{437562764093948893406396681478725686} a^{17} - \\frac{134287277971130039031330830446735574246}{218781382046974446703198340739362843} a^{16} + \\frac{183282923278673707154655295364533375231}{218781382046974446703198340739362843} a^{15} - \\frac{245938057845210976399934643000212268385}{218781382046974446703198340739362843} a^{14} + \\frac{328337357230830832585896005580580534940}{218781382046974446703198340739362843} a^{13} - \\frac{380708062257057503813063450097289398840}{218781382046974446703198340739362843} a^{12} + \\frac{832761093433572725971707444455973567415}{437562764093948893406396681478725686} a^{11} - \\frac{470305281114297702765477877875716773301}{218781382046974446703198340739362843} a^{10} + \\frac{521072710607075708925834551895213511272}{218781382046974446703198340739362843} a^{9} - \\frac{1179012124999746459142517826946912435487}{437562764093948893406396681478725686} a^{8} + \\frac{649413368048811301939240857016695699934}{218781382046974446703198340739362843} a^{7} - \\frac{584030783836615211856038780847970067159}{218781382046974446703198340739362843} a^{6} + \\frac{791528317696170443770945969262423233119}{437562764093948893406396681478725686} a^{5} - \\frac{403934518469251821580977975456970918391}{437562764093948893406396681478725686} a^{4} + \\frac{74957788684203779562901699686613056620}{218781382046974446703198340739362843} a^{3} - \\frac{17842177851513186361149164961149207350}{218781382046974446703198340739362843} a^{2} + \\frac{1913483911974103218693588949013337865}{218781382046974446703198340739362843} a - \\frac{502712695104488683937279181048844109}{437562764093948893406396681478725686} \\)', '\\( \\frac{471491399018087171088060972985230441}{875125528187897786812793362957451372} a^{23} - \\frac{4731775687164676844363528464095591803}{875125528187897786812793362957451372} a^{22} + \\frac{22789594433389909413113593089601468923}{875125528187897786812793362957451372} a^{21} - \\frac{75213493108861375832718539376451795733}{875125528187897786812793362957451372} a^{20} + \\frac{90956353811091691924770417815187635687}{437562764093948893406396681478725686} a^{19} - \\frac{85465131724443251528143469923917389877}{218781382046974446703198340739362843} a^{18} + \\frac{581232666088753038760063188440763031353}{875125528187897786812793362957451372} a^{17} - \\frac{228651246271755273517224222656380131977}{218781382046974446703198340739362843} a^{16} + \\frac{627896199676330400498664243327000893097}{437562764093948893406396681478725686} a^{15} - \\frac{844260809732017842178436023381266234415}{437562764093948893406396681478725686} a^{14} + \\frac{563606916989352926556616054865022464172}{218781382046974446703198340739362843} a^{13} - \\frac{1315043567228712324617793855194212137713}{437562764093948893406396681478725686} a^{12} + \\frac{2892900452392419077680789748169862987747}{875125528187897786812793362957451372} a^{11} - \\frac{815738766056115704053500161978228139636}{218781382046974446703198340739362843} a^{10} + \\frac{1803883461264848103654442766052339182553}{437562764093948893406396681478725686} a^{9} - \\frac{4082182068052171212531992886172357657373}{875125528187897786812793362957451372} a^{8} + \\frac{2252576719506314080733361022634358987947}{437562764093948893406396681478725686} a^{7} - \\frac{1025381337088438558193252185479785633907}{218781382046974446703198340739362843} a^{6} + \\frac{2860416751727257289675560517161615147071}{875125528187897786812793362957451372} a^{5} - \\frac{1510158430796508028743825021944001366977}{875125528187897786812793362957451372} a^{4} + \\frac{143508690551751030356349473788883022012}{218781382046974446703198340739362843} a^{3} - \\frac{33380236087849849115035370455069461711}{218781382046974446703198340739362843} a^{2} + \\frac{2511703374233102678035285795392712179}{218781382046974446703198340739362843} a - \\frac{343422312290239367873520300035806507}{875125528187897786812793362957451372} \\)', '\\( \\frac{28753085424813568341517848332499643}{437562764093948893406396681478725686} a^{23} - \\frac{229177787183462096247392674260126811}{437562764093948893406396681478725686} a^{22} + \\frac{815155341946320442647566349487078271}{437562764093948893406396681478725686} a^{21} - \\frac{1921635278653675186118854884705420693}{437562764093948893406396681478725686} a^{20} + \\frac{1286349144513104296396179950433593261}{218781382046974446703198340739362843} a^{19} - \\frac{499447785270267273363065877620263540}{218781382046974446703198340739362843} a^{18} - \\frac{422255191332068964912810564665318601}{437562764093948893406396681478725686} a^{17} + \\frac{2136696863621253362161563713978974943}{218781382046974446703198340739362843} a^{16} - \\frac{8184336906835870463087409111519930350}{218781382046974446703198340739362843} a^{15} + \\frac{10384689833620198822810912795011411255}{218781382046974446703198340739362843} a^{14} - \\frac{14421729867864838029153881717182787425}{218781382046974446703198340739362843} a^{13} + \\frac{30375815034889530634210427476351088717}{218781382046974446703198340739362843} a^{12} - \\frac{72215893127743428325169828842607498277}{437562764093948893406396681478725686} a^{11} + \\frac{35454774002439888151185564439679429253}{218781382046974446703198340739362843} a^{10} - \\frac{43372050174313977741085961592529027943}{218781382046974446703198340739362843} a^{9} + \\frac{89320540152684592346898897932537946213}{437562764093948893406396681478725686} a^{8} - \\frac{55096023119860220924302490404046367670}{218781382046974446703198340739362843} a^{7} + \\frac{84945410544011297215972856295418485517}{218781382046974446703198340739362843} a^{6} - \\frac{182668713699273663533939803258412971443}{437562764093948893406396681478725686} a^{5} + \\frac{127889576198243328873194774471909083517}{437562764093948893406396681478725686} a^{4} - \\frac{31627670405154892749257428795239089011}{218781382046974446703198340739362843} a^{3} + \\frac{10501386929111926410867851319449352361}{218781382046974446703198340739362843} a^{2} - \\frac{1042410466432601470065022814071149475}{218781382046974446703198340739362843} a - \\frac{932427382403082229920882471216940909}{437562764093948893406396681478725686} \\)', '\\( \\frac{20052098728707326528975094039376985}{875125528187897786812793362957451372} a^{23} - \\frac{147286531937274015521016674492216487}{875125528187897786812793362957451372} a^{22} + \\frac{471719052694539088323719667540768731}{875125528187897786812793362957451372} a^{21} - \\frac{989863494446074864098353775371919021}{875125528187897786812793362957451372} a^{20} + \\frac{439473345109590077277765436296606185}{437562764093948893406396681478725686} a^{19} + \\frac{218424735485234559230022635061525701}{218781382046974446703198340739362843} a^{18} - \\frac{2305939838341981660533462596692121587}{875125528187897786812793362957451372} a^{17} + \\frac{1585193209192148142276195735027841304}{218781382046974446703198340739362843} a^{16} - \\frac{7589798499890021336189079781843543239}{437562764093948893406396681478725686} a^{15} + \\frac{8592012320060372678145461624208028129}{437562764093948893406396681478725686} a^{14} - \\frac{6508842106632286050971415337171590746}{218781382046974446703198340739362843} a^{13} + \\frac{23408740538322310337384484687988098657}{437562764093948893406396681478725686} a^{12} - \\frac{49638426075293306539898429796096033861}{875125528187897786812793362957451372} a^{11} + \\frac{13026586993225976750701452179104921298}{218781382046974446703198340739362843} a^{10} - \\frac{30374574254007572316443277922468279551}{437562764093948893406396681478725686} a^{9} + \\frac{61753392617542150863398210810739622823}{875125528187897786812793362957451372} a^{8} - \\frac{40708098940535737816269754698503081881}{437562764093948893406396681478725686} a^{7} + \\frac{28731462316156870050516521793453852792}{218781382046974446703198340739362843} a^{6} - \\frac{110179116951071274524153200326195276653}{875125528187897786812793362957451372} a^{5} + \\frac{68677439227078773803320690839424870883}{875125528187897786812793362957451372} a^{4} - \\frac{6300259874952744842376942856501014478}{218781382046974446703198340739362843} a^{3} + \\frac{672301195196395530253195038061179734}{218781382046974446703198340739362843} a^{2} + \\frac{600074821648638812794884909812540546}{218781382046974446703198340739362843} a - \\frac{984384228240102644996427949456621959}{875125528187897786812793362957451372} \\)', '\\( \\frac{417527347835372742693682122849316845}{875125528187897786812793362957451372} a^{23} - \\frac{4108540105010205340607212597552471715}{875125528187897786812793362957451372} a^{22} + \\frac{19397930950683046339100790510220659519}{875125528187897786812793362957451372} a^{21} - \\frac{62995890514974283238491438299062642633}{875125528187897786812793362957451372} a^{20} + \\frac{74795759863341847354698768456244696977}{437562764093948893406396681478725686} a^{19} - \\frac{69014476641736058641147591397398552738}{218781382046974446703198340739362843} a^{18} + \\frac{466645179971195590344876584681687294341}{875125528187897786812793362957451372} a^{17} - \\frac{182364705047047488100520949922882136909}{218781382046974446703198340739362843} a^{16} + \\frac{494057118024272011804376515172639704431}{437562764093948893406396681478725686} a^{15} - \\frac{665399143006793360160247042270655405801}{437562764093948893406396681478725686} a^{14} + \\frac{443706220874081276893762113639733503610}{218781382046974446703198340739362843} a^{13} - \\frac{1018147864662961765317465490157171954703}{437562764093948893406396681478725686} a^{12} + \\frac{2233677563617201898067939049758847226187}{875125528187897786812793362957451372} a^{11} - \\frac{633084064291017175058139044741069158395}{218781382046974446703198340739362843} a^{10} + \\frac{1396032314192997046432686578078589923513}{437562764093948893406396681478725686} a^{9} - \\frac{3170805259397678732492799527887813853809}{875125528187897786812793362957451372} a^{8} + \\frac{1740947053012629762563243286674572672289}{437562764093948893406396681478725686} a^{7} - \\frac{770173987300807235245592578619446385739}{218781382046974446703198340739362843} a^{6} + \\frac{2067509233720518609720744120817296554679}{875125528187897786812793362957451372} a^{5} - \\frac{1055995492616846236389789166480702438681}{875125528187897786812793362957451372} a^{4} + \\frac{97767297072857517021090679319241777321}{218781382046974446703198340739362843} a^{3} - \\frac{22959287154974477253569316366594673159}{218781382046974446703198340739362843} a^{2} + \\frac{2965114278442146749460897321498913249}{218781382046974446703198340739362843} a - \\frac{2956461747977426368610648826213352475}{875125528187897786812793362957451372} \\)', '\\( \\frac{271289431001459348288949603940068759}{875125528187897786812793362957451372} a^{23} - \\frac{2654031654532467133145855260332952713}{875125528187897786812793362957451372} a^{22} + \\frac{12469912622475541056917369984864966993}{875125528187897786812793362957451372} a^{21} - \\frac{40366842742078955326071043861071162651}{875125528187897786812793362957451372} a^{20} + \\frac{47740091411288447615213419456335038637}{437562764093948893406396681478725686} a^{19} - \\frac{43899352577982722606558734331960268605}{218781382046974446703198340739362843} a^{18} + \\frac{296538985255713142447552479600909778639}{875125528187897786812793362957451372} a^{17} - \\frac{115571866156035747153779343691149876446}{218781382046974446703198340739362843} a^{16} + \\frac{312196309673484678570375860663658308565}{437562764093948893406396681478725686} a^{15} - \\frac{420611989591363111300709472276992852031}{437562764093948893406396681478725686} a^{14} + \\frac{279807640901363092088391619147317349165}{218781382046974446703198340739362843} a^{13} - \\frac{640132853921874036426021589488787559521}{437562764093948893406396681478725686} a^{12} + \\frac{1403033195185452088194348412040727848253}{875125528187897786812793362957451372} a^{11} - \\frac{396996976245578792180617656840563600407}{218781382046974446703198340739362843} a^{10} + \\frac{875477169329074860560965371839068547783}{437562764093948893406396681478725686} a^{9} - \\frac{1989085505524223684796349689551896230843}{875125528187897786812793362957451372} a^{8} + \\frac{1090474353290489173773670963093935231419}{437562764093948893406396681478725686} a^{7} - \\frac{479442807678033218017020291865266182435}{218781382046974446703198340739362843} a^{6} + \\frac{1270038163121821263633763387950758098573}{875125528187897786812793362957451372} a^{5} - \\frac{630931701600110807837719940918028316815}{875125528187897786812793362957451372} a^{4} + \\frac{54576620249589708859666647363717466604}{218781382046974446703198340739362843} a^{3} - \\frac{9784422072273836903164317011012403307}{218781382046974446703198340739362843} a^{2} + \\frac{135856206590410961455943993404387402}{218781382046974446703198340739362843} a + \\frac{601552124471348771345960133715129839}{875125528187897786812793362957451372} \\)', '\\( \\frac{65390499273247772503966447246646787}{437562764093948893406396681478725686} a^{23} - \\frac{665939866870192770114112934613964099}{437562764093948893406396681478725686} a^{22} + \\frac{3246972880418909735932084682591540785}{437562764093948893406396681478725686} a^{21} - \\frac{10790666018160354664670020555293377745}{437562764093948893406396681478725686} a^{20} + \\frac{13130588492963892348551444957136340389}{218781382046974446703198340739362843} a^{19} - \\frac{24748834261100570510150165861030185749}{218781382046974446703198340739362843} a^{18} + \\frac{83753526572772549215360460476265815939}{437562764093948893406396681478725686} a^{17} - \\frac{65886765748497776453884060351877408217}{218781382046974446703198340739362843} a^{16} + \\frac{90637815776899839134019233752125902760}{218781382046974446703198340739362843} a^{15} - \\frac{120896524918273800795174739958763997626}{218781382046974446703198340739362843} a^{14} + \\frac{161624450899278127685105279852228248789}{218781382046974446703198340739362843} a^{13} - \\frac{189443963814525297764379698193461645567}{218781382046974446703198340739362843} a^{12} + \\frac{412081816655990654033448895961995094491}{437562764093948893406396681478725686} a^{11} - \\frac{231851296676763886051364125064456944066}{218781382046974446703198340739362843} a^{10} + \\frac{257731586304702710144005704868257572799}{218781382046974446703198340739362843} a^{9} - \\frac{580888102760078558156318168892322706839}{437562764093948893406396681478725686} a^{8} + \\frac{321780179016116485164426515720596407734}{218781382046974446703198340739362843} a^{7} - \\frac{293724899886992042631269245674639142666}{218781382046974446703198340739362843} a^{6} + \\frac{399103035603600745166966749145746618969}{437562764093948893406396681478725686} a^{5} - \\frac{199913745496035539623359814436632663247}{437562764093948893406396681478725686} a^{4} + \\frac{34573002667385546158311926358914247442}{218781382046974446703198340739362843} a^{3} - \\frac{6388923649151012649516281036297592165}{218781382046974446703198340739362843} a^{2} + \\frac{65888472957990425837934673724159523}{218781382046974446703198340739362843} a - \\frac{486655452433885913425472991179427977}{437562764093948893406396681478725686} \\)'], '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', 'a^21', 'a^22', '1/875125528187897786812793362957451372*a^23 + 297910072207355670197174735889822049/875125528187897786812793362957451372*a^22 + 148950382269433624985505638798611159/875125528187897786812793362957451372*a^21 - 7882921600039810103706538010118705/875125528187897786812793362957451372*a^20 + 218024731943997684834650575595184783/437562764093948893406396681478725686*a^19 + 23167770797040626358634591102764461/218781382046974446703198340739362843*a^18 + 28070856480447493611161740005146177/875125528187897786812793362957451372*a^17 + 9923486054539175961157635486784438/218781382046974446703198340739362843*a^16 - 208245976926690287853629926757934385/437562764093948893406396681478725686*a^15 - 116653483207228527812261328145429615/437562764093948893406396681478725686*a^14 + 66033036153168352389090994015335289/218781382046974446703198340739362843*a^13 + 121383692978433991653456962546743617/437562764093948893406396681478725686*a^12 - 391181227056777335934856971000790033/875125528187897786812793362957451372*a^11 + 72632260741017513731530661855819739/218781382046974446703198340739362843*a^10 - 43129641678651491115513993228108915/437562764093948893406396681478725686*a^9 - 297969163008158790181692585847983657/875125528187897786812793362957451372*a^8 + 54321822701238036573178679071410253/437562764093948893406396681478725686*a^7 - 44163883788644414331338698569065754/218781382046974446703198340739362843*a^6 + 197678238846539460674978159237830267/875125528187897786812793362957451372*a^5 - 73613892314370036057193815451950893/875125528187897786812793362957451372*a^4 + 94091296039126895924835987494231607/218781382046974446703198340739362843*a^3 - 92462216976377579456038917821066977/218781382046974446703198340739362843*a^2 - 106513713495078713465352275663587523/218781382046974446703198340739362843*a - 289574885819262321608123177625323211/875125528187897786812793362957451372']}