-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [1246103, -563260, -25026156, -17501435, 95287840, 92010954, -57683825, -41136753, 10540902, 6754359, -703261, -487578, 13881, 15287, -17, -208, -1, 1], 'conductor': 443, 'degree': 17, 'dirichlet_group': [1, 67, 324, 267, 13, 270, 209, 409, 225, 123, 425, 428, 370, 169, 248, 59, 380], 'disc_abs': 2200187128095499475530336818113367454680001, 'disc_rad': 443, 'disc_sign': 1, 'frobs': [[2, [[17, 1]]], [3, [[17, 1]]], [5, [[17, 1]]], [7, [[17, 1]]], [11, [[17, 1]]], [13, [[17, 1]]], [17, [[17, 1]]], [19, [[17, 1]]], [23, [[17, 1]]], [29, [[17, 1]]], [31, [[17, 1]]], [37, [[17, 1]]], [41, [[17, 1]]], [43, [[17, 1]]], [47, [[17, 1]]], [53, [[17, 1]]], [59, [[17, 1]]]], 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [16], 'galois_label': '17T1', 'galt': 1, 'grd': 309.5515042584762, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '17.17.2200187128095499475530336818113367454680001.1', 'local_algs': ['m443.17.1.16'], 'monogenic': -1, 'num_ram': 1, 'r2': 0, 'ramps': [443], 'rd': 309.551504258, 'regulator': {'__RealLiteral__': 0, 'data': '2360552434044002.5', 'prec': 60}, 'subfield_mults': [], 'subfields': [], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( \\frac{104274778884562027240873182836029730708803485592295038045517}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{153455162907340791089096237482753617264746696321810992506095}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{21612005793915176193953709429723649788591199365399250800532157}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{8413386162930523295644699925687151576508142253962212629479567}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{1589093323570282156252679397472973172321310947300518232472724521}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{698351951815674401423477479462708243594384319275916431819470972}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{51099127575856158837060850907125919140211781326390180489741375017}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{49201373231157941635074986939754590569166402460663392509779213599}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{725202751694380521325417007392430963038794477821522114451412781426}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{754954524139017363477769670199885652541665370169135409834701852944}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{4613124081843786465557210918341984540433592439244862784980405131363}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{3807281172896191971101978294403947966217428277123033292994097680350}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{11185823903010370714516234417154806552526687669691375235129470686105}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{4511023809184190072418402676149827573551971879282118445109362301369}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{3465667256409493852945505002302164109527301850974133140490357529635}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{839368288180317650814036072735675997913073917242727134293012648734}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{225233871060183820888061061435975878915061956466591686908160785521}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{404546854834812490412344710562903405449842092375487609920028}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{547026429154369383966386572869006858306081388946948639522757}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{83953088226315193187781171246628332409174171974016135382458864}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{22688880354630614571128834038396421113253189518370940339613656}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{6176327962114103130211765043297164577850460710943119676729693853}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{3440558570005091349653979320460896145400505695376241362534948219}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{198461587525183308298620934585200071198551698113451801579421550506}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{214625402335126541932544349808170485517040604846529719107497671571}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{2808133983721861577497364062918644014911181016574959156066050855007}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{3275854403637525361076332070397985047054132445417100750411639100708}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{17797461211899254581714554283996473696054207242056257568571648601196}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{17074617841265146028023913937348624895353710978007791950379366530809}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{43255494102743025679496807213471304335991272795526816547048208412530}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{23349247285471147867426178279905887798711040340616970764073322912301}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{15369987297692624047391460195579483764060090695634346588856397559260}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{4771694809342464720583688277838089246839596724200597166796230134967}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{1466603478483625849758578597833979390211063235176158016711879408690}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{9422472673510778041467403919340993476473572187278293768794}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{10249006044684279651480461137861080770663086117907603711991}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{1961567334465523039609458329945834432788238412512015497780800}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{4363113440524779135400429701493051597491917809564156440787}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{144562703717510018304919138966473794540207516956392220797391479}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{120208329469571343490371057012007117971353717886085314341715235}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{4638608990132487468201171796152109712972218970863568945224941814}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{6393592908441495695692867784542793557932097774081701299184163527}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{64953078794108885146927384809589758733247060903927450858251905201}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{98916555835814289732643372172618625286618562110837440543540483874}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{397400921130603841810758901464793998013448908170914712998671062531}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{558078702291078325108753537940154564621069566662848773961729786519}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{861110331082010522080304547749168631466645198396544031472387383351}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{935405775981272411722005796983876086416818976673434795661911996063}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{53439727888488077248005371179834864113031566961443007309043971685}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{213395266239487845758071328480972547804380564578575084219937702781}{4013480870186551123112427443978541538197334827965530746341757461} a - \\frac{43932381051229574734826100420536408938449272199973449019675136880}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{1872316716869522917363855303799244984541953376429595849988}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} + \\frac{2554088409478889933852414697241243262854982349404071936163}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{394104916950645488500374772372630382851928675768435512473292}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} - \\frac{950053178023314994811649769484166149592648100752015319658841}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{28585259518182667491598463888816893638177314118033231436104273}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{93231098442592663309193032445274487638690968689486840611685080}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{853482317192403197583424657098644753086360420288892771479619330}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{3448955799605839829217932679428124103805715802185327145700369522}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{9572580053269160706414154658591129712097201279396601672352477800}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{48922288819923853380171150838797531611646150752293245482177065996}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{30607977031363630968054352725781470420717156385040936113205928210}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{280947499388996301558775349470980198276475976565515461752066728961}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} - \\frac{80618770564482670498343173916788149942353414539980056970489349512}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{534647764318941302849724615377461601918622710744080199691354837235}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} + \\frac{351544348674491205482717499969967163407151635174431113220687850840}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{18396723623401389307999399021250918885022281659180068354115711384}{4013480870186551123112427443978541538197334827965530746341757461} a - \\frac{27696375175752069243973575179286955480624969286096893951686523781}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{34424295644800717420181725838643936222992067947292249520695}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{35733327295241935341958452383103867578205678865584882870408}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{7154281756907070851069583897813943150362770805621332471086099}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} - \\frac{319384222947405140493102437949111485076163383490446923143731}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{525311137067181487793725041232143668656263800161867872730449376}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{458073715839024579143878380530027705171537624763008657952034710}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{16733835155262169647052797086263978434987285000264995979796007545}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{23526582988490785394867993587143429737118962833840867807621829986}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{231300278161673484081666128189813491116383313678148018991954086228}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{351312776045259743902527348060871897691417399094515124874137017388}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{1401806118773425174951766542950548121341582810473225285495633512455}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{1890210456872462657724151067677631079187702983084964101492514161288}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{3086220534012886546918702942927379484486951724024309619079868867241}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{2935553120988127139532247017926798394074170406600544184316211263114}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{429684173494701603426728666102546463900372556309082391262833888019}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{505680135189498264592560005326205114351442088476071855603239175208}{4013480870186551123112427443978541538197334827965530746341757461} a - \\frac{4554481147116074520603102430373352238642568647476214174395707381}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{12998393168016857023736015445730114325285522541829795867747}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{20465160477133068839614004390210820827699558481893724625417}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{2695948882265364213385925386703863099823792333721864210933862}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{1342582464769818689041730146613029036794528015767738687887165}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{198726383909344830307915047210381274093867722385923201592020245}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{64197555910565490490170945609681477834385754442456433537383206}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{6428972700344228390445655140958397287267661718842641135670211611}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{5352496846405187932355528893488233550726268382900749730738762412}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{92463176208414019724901512731607141383647514315990506999753371892}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{81978838309631477030186404566670440909394477827847689149003787584}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{601013442874676391956618426037517039440773651544801190405870888801}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{380897932864741006034981075967128922919208591031120250566301812104}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{1500668679604667989873309699694159548954661720266201847774897562232}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{248188714791935072841989492405238848636775061254656355002744487920}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{409314101977007681204026668942640595812080304700393556088177186085}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{42949515944301782591484170719539146358762495368250226978659176939}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{22234775208710471388421657401266705539149131830770603033193721738}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{61845268220669623875553949409549903452740656270509205206570}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{91935500404138007481410977941808538124933101934206897961297}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{12819276338107263420286713804544125215867252210351874471966726}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{5185527173248884926432131406688901660269318177954209254044779}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{942946520618291900785496625619917364571630997357781376919398538}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{399785038378303836993208262653442209533134369423155700272774479}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{30352006501731628275555207195652491610271790630307343369561376624}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{28736159633636253543449194288709531134687331613528992603863918357}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{431809478856759318706043186884587758914631145240335643252420336441}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{442253614573362757107955821590952338250834814386631843137181496811}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{2760783088421782776741698979153292699821325892634792081410940772524}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{2232257832331715183407971140342650493185458442207117708064382208064}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{6785372144192858674776745195980165971200057286736536183465189699938}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{2655280913624841875054705640415112698625512083268782610104794410563}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{2385381102703698191980368826304514773817657383022161693456119784321}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{570959149677308819656009869178340994853193735433520787653993876756}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{195995135772497577324915777975719155408492766410708629856574551447}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{797688205959863626919749298122665067408843900426155484199}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{7133169571563711819674290248954632621957605864997916499569}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{145438456533268395496796766174443455831320026294426397043254}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{1241217272948783677031850213885252770732463130209616544255849}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{9586688421132816535931364999391644137080693397002633755184042}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} - \\frac{76654507212958504111038633398480760535432339567191311070854366}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{293946488440420889301894499829388544061938651770262359542228700}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} + \\frac{2093224974179373630576465988954755994096069525619509620785460795}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{4563978995676116006667308613240559070523193990046578088648469453}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} - \\frac{26022745653014092108323664447660062443862912535764172446420422410}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{35758372291188744043251373591424770783408042530220002703885873578}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} + \\frac{139283647800139180528024769341048774873103550649726819261360519511}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{135778539081763221594113720637911204954760805212015995894802695369}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} - \\frac{247959335034332343499438136546023148703145689551437782860552482037}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{190517354253851835356688708498785758469444383654259168262451251367}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{2030021310714280315350111381645742306982232769321442962426306962}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{11632339258177813260210817469705074857142877183064750460813785891}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{584014288862354344489900880742995897682369837387539762261653}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{866529293026435081155333810090529519598194893388654490098804}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{121045886078323489428082018026291320052358290290450594690242782}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{48616169449455304160773693452140682539082901864194080606382624}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{8902250556821876770087495810047099668382216049123380418612393113}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{3800363414532936871869497621168436804686821052986392323907993921}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{286439740015216079146219961775739416109936272215558589996672094074}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{272033257146207110466901578957869927542340083454938625162150251925}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{4071409852749978317943500210825527163054450941641973889554687787543}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{4180273946429787524741811004132732047640239766862228200638277285995}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{25979466018350456964152029211520079797597864844950577375809620445888}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{21028814029318152003714744975331213612878302350766179065090178456067}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{63494651178992173730663888254260355007324463057483270629310760121179}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{24465262535447926455573985710392215220981339835172152398121754601516}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{21104346185312856869124601689588837609965533672152518669950238817077}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{3802547045566214532749014202361323400683147724063299920327481780603}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{1280371199281119401860623814754961761613881209990481910061744595450}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{15217920963237608034392362251264124264912805696423343898855}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{26128041931477972089717708552100389560778542749150346236130}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{3152423406343982193891957358685178348390466026649823553768847}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{2012951104685028630235770044593718999999192231182319738257030}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{232415458471539405787050629130483032025975174317876669226539958}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{43573277382990321231392523521714827944594122119199032479028865}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{7543553305740782875684256179909726289557500396491420371471798339}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{5301997767453129170812629055534219615579976158566282769898072395}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{109716997845717191227696058946654697549753636733143970279084025518}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{84245562564721123297794985446209959487892243031685083315944607453}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{734294580595586174883448143551317602949094180092924442040202529259}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{408765139221433544976340902151477089755166049001706984049043113588}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{1998627062198900900206465279487248424532139254042718983642744273110}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{414260152589144253349050306591786102334497618821773301743254814303}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{1189307901203163066416110190689502393058196844038421027209873495647}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{256153999100509400837015257579042362876605951681067673393102366469}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{96185991060216693611823823382842308531770425890081117204022986163}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{26893410321016648769342759954427600153285124156653565737565}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{41194161260936609090482789023823210871761580143988004551837}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{5572189429442118403033372653356315257630427344432892056301108}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{2504887364119952121184576591540532039608028316214400596874435}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{409851002836261095204930344736744398120336296194983554343242533}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{155593873961578959569909551796901596676165886496340662596793014}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{13200716627497421784603803259328161096630499670403897282298715110}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{11911064581116328500731784093235268338774039858805862681879982790}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{188178499618532405898469664897666431122686237459903173176130395236}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{183964120734867623611693784258112739034467923647099064541620386974}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{1207353419086718816082512632691676378105093783243690358125585595095}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{915943161176756773512130364057712395541188776078201156906316554911}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{2984312126981904992765067083546129377015116926780184303595715340459}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{1006178957274631433360714725954583824928857892077411094334707353524}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{1057427508838660442570276865259685176509823188549257059453248311296}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{157682960970963102175067055484258572407954676204658327257142867108}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{68696503059445844961978462843913703066720986806762359096426064229}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{35022590102777715622402756789106479418106678583888973325111}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{47361906645712815048962565587915292494832146708468230134104}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{7268892377227524871869388715588508240949392978175962192320097}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{1970895192691328979067371017653387107573838210136303258052981}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{534859889519156504014030768279888591895397038486260665368236940}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{296880154833263323721127940839327856527460470754718831464637679}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{17191553294851615304158778037660452022930708733352988209513048820}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{18529230688141705961531073850772599923929031248733125091048834299}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{243383595291580795500763860574027817586039904531401838075027378923}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{282454897526910559812605856949921328067420246579593571100739132793}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{1543728145759916916771081004193426263645866887300028538981029129996}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{1467305186008541339778486984648163667872047225920594487407712121567}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{3753161492000687979383255647066827226115399916830086490706554572473}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{1985047211075886485368606571434096895856359191078715303902550370628}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{1316616841157849183065745309415939993227560543308521826328203470675}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{402849375089134774333285110669515724894938313921563734250938832036}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{122607032268708317335191260096865953157384358636909915736695733132}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{37167500290798591368462276416353126106495809122274859925252}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{54227496755646759874745941939205745189314502027874208193419}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{7705914998140220869894170645418295636946338061837836634360448}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{2905837142263974967325448604691843259850660990696968313517251}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{566842474244049185621690493513808164904017778247846876090615373}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{255594588704113212526119848309922173890924232352811299997629882}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{18239771849513877577573039693974431777258140609056149254032394013}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{17755846861138244920275495196229379634334809850225772936810367465}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{259247873606412694864938185535683183581839188895949699976905568451}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{272503688691289589580727930196224334653254925855507665947123137880}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{1655986736121458776244741007706853696229518202254801480582912247511}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{1381820520890365026336642140181442984721007944462308515642041866734}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{4075626481459492655083820880829228326099661000375355327978700145986}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{1666677874829758224194725043421199070802152713452493312664681998450}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{1483404106561601759929694969655020507577693222015543119511129909668}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{228746612181129821528353099437080350073654045261238017807454197289}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{95064518667562941289232658879570984080080017332453650917138504939}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{18637271875610996904652455976509553791794675730831531023645}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{21472108450690815377506624252569797077085810749623779729575}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{3871553394101050330250409842493369022409364453869902649203068}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{277181766794039031499865533891843704602591298280543737121957}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{284468604947154833413135737806920871058083310368791330691223123}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{214119724827780541184081613193277002342014351299773645685174579}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{9087624402479848330264262854692649786004441825894492618997030581}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{11616548112042870519659766199980109780341844401099616463383309601}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{126519471243230925807005571696569386685076867431831667953322930197}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{173668264214123494182830551612707205900399019918268543796301353056}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{775310481248951778482953863843608788738535516956420641770143349694}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{912875991347891616445094071820204472128555652922544600872974508940}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{1723853613632768226975104450148997694895748173487748267901819636278}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{1315082311359921262973510413698785745660935363669466231031919046424}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{158241966549863768862249938113973726204974191462311167764253288878}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{263579891750854982377015433637524514633693990488288594336766140639}{4013480870186551123112427443978541538197334827965530746341757461} a - \\frac{51140525423321298195765108644924528188310465113486882784763558671}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{73560418421199702065180888397038659385022121575680721516817}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{110990757286593488685177093483624297150404288556644738134216}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{15247212206121536392708346746347674172329904676734289531953965}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} + \\frac{6506441449017882136139131271789294095486457878363415211896042}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{1121875102480929447868707367278394012756628123223298277175963447}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{451160146711576132172126999539031167615870287460612553398354958}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{36146275258454569171288256129132088014045800789710592285808497885}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{33441250435568920643845220380967103353534740646891330510608756166}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{515502206097677687786744124248657109873919822981374761797838568638}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{516951390705642198697229677875427594970223264663079792808809897163}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{3311883435492248430042163750616482520146279112759712942029827802731}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{2610676896220617243689240942275887920804343667055116177217609071119}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{8235572664401717078455185498026892133993527600201696534716081431475}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{3088295327895224003931265007584179700444119133627237086939288831834}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} - \\frac{3152445819091076801879343606052492784282555855014787212481723358573}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{630965619983847567953452611853627175482747142787612189171631409557}{4013480870186551123112427443978541538197334827965530746341757461} a + \\frac{241156545684643434309266606612807374605502371512160859037466655467}{4013480870186551123112427443978541538197334827965530746341757461} \\)', '\\( \\frac{115865454196041292271104082866712374060341552617970063812431}{4013480870186551123112427443978541538197334827965530746341757461} a^{16} - \\frac{96155821219371120735447062196747394404984703762239075888916}{4013480870186551123112427443978541538197334827965530746341757461} a^{15} - \\frac{24115252982947905059124613953256646962157129507778806920836618}{4013480870186551123112427443978541538197334827965530746341757461} a^{14} - \\frac{6067227400559863551575053371218183997146795029677693923970533}{4013480870186551123112427443978541538197334827965530746341757461} a^{13} + \\frac{1769942334079823054067100324859517900641021676040203738715298437}{4013480870186551123112427443978541538197334827965530746341757461} a^{12} + \\frac{1908277519586384921477468003914533986388438572326034069919800537}{4013480870186551123112427443978541538197334827965530746341757461} a^{11} - \\frac{56147510998740989065920200855758619667432157993292474615595961886}{4013480870186551123112427443978541538197334827965530746341757461} a^{10} - \\frac{90943911754602127539105256987206376844074358981961064326458644802}{4013480870186551123112427443978541538197334827965530746341757461} a^{9} + \\frac{766368321127432919999133838147013166735948299042257085890455561800}{4013480870186551123112427443978541538197334827965530746341757461} a^{8} + \\frac{1348699545769257353329030777400562153279398140852390905868074197616}{4013480870186551123112427443978541538197334827965530746341757461} a^{7} - \\frac{4524911794253335412424196503492340171097672569396978633076613585221}{4013480870186551123112427443978541538197334827965530746341757461} a^{6} - \\frac{7414115331644765227732126515272163750372731827892177866148659274367}{4013480870186551123112427443978541538197334827965530746341757461} a^{5} + \\frac{9311974737995956061458052786660608304578124661391845193502622892624}{4013480870186551123112427443978541538197334827965530746341757461} a^{4} + \\frac{12431849630904867033180182837708662390655570896140311258615744057043}{4013480870186551123112427443978541538197334827965530746341757461} a^{3} + \\frac{334034190164645002636028840134937655271314859189511914464730776626}{4013480870186551123112427443978541538197334827965530746341757461} a^{2} - \\frac{2597982653434305378750478687363002913504799592465487938565982717392}{4013480870186551123112427443978541538197334827965530746341757461} a - \\frac{561064356956042811949894296262608853889242208859940828590886200675}{4013480870186551123112427443978541538197334827965530746341757461} \\)'], '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', '1/4013480870186551123112427443978541538197334827965530746341757461*a^16 + 30664611433497702720987163865545312304482917972317611699004451/4013480870186551123112427443978541538197334827965530746341757461*a^15 - 234236602191203470251879063625934586476098163260364116994871423/4013480870186551123112427443978541538197334827965530746341757461*a^14 - 1538525439450223170396067485610034784683093539704487494351943862/4013480870186551123112427443978541538197334827965530746341757461*a^13 + 55342538172956023481629299767885008096663009551709221443365116/4013480870186551123112427443978541538197334827965530746341757461*a^12 + 753763549332543509880444461910703558803979931791746488591544835/4013480870186551123112427443978541538197334827965530746341757461*a^11 + 449079695525428969055400104617954013904982282494392624345855044/4013480870186551123112427443978541538197334827965530746341757461*a^10 + 1356331504173895330061633890226502143904723258261751560217500635/4013480870186551123112427443978541538197334827965530746341757461*a^9 - 258115246454719936497475617167093245823083651779523923072083989/4013480870186551123112427443978541538197334827965530746341757461*a^8 - 1439096506119506255900602412328539151888891788935030943061379179/4013480870186551123112427443978541538197334827965530746341757461*a^7 - 264370601676178270686168837198796059220002990634243712724781297/4013480870186551123112427443978541538197334827965530746341757461*a^6 - 180010373031027196207070542203811906918368022587662836705394813/4013480870186551123112427443978541538197334827965530746341757461*a^5 + 782240170953201337633372345915642504015417842262032178961326220/4013480870186551123112427443978541538197334827965530746341757461*a^4 - 425224591713287603242465941484685733198764997139724614627529825/4013480870186551123112427443978541538197334827965530746341757461*a^3 + 1591411055048919701518357482737603500517050089451817421319409739/4013480870186551123112427443978541538197334827965530746341757461*a^2 + 1107332544781032139606978167678448335717904050624033843189535906/4013480870186551123112427443978541538197334827965530746341757461*a - 1274193145411167372061357994658018891769389950257661519381602369/4013480870186551123112427443978541538197334827965530746341757461']}