-
nf_fields • Show schema
Hide schema
{'class_group': [3], 'class_number': 3, 'cm': False, 'coeffs': [61675, 96160, 178609, 240404, -88862, 186178, -276734, -235197, 369592, -985605, 1103470, -1048444, 813670, -450753, 263098, -97147, 59870, -22984, 17106, -6943, 3738, -1233, 437, -114, 29, -4, 1], 'conductor': 0, 'degree': 26, 'dirichlet_group': [], 'disc_abs': 105838418476275527898387851073846090273368671, 'disc_rad': 3503, 'disc_sign': -1, 'frobs': [[2, [[13, 2]]], [3, [[26, 1]]], [5, [[2, 12], [1, 2]]], [7, [[13, 2]]], [11, [[2, 13]]], [13, [[2, 13]]], [17, [[26, 1]]], [19, [[2, 12], [1, 2]]], [23, [[26, 1]]], [29, [[26, 1]]], [31, [0]], [37, [[26, 1]]], [41, [[13, 2]]], [43, [[26, 1]]], [47, [[2, 12], [1, 2]]], [53, [[2, 13]]], [59, [[2, 12], [1, 2]]]], 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': True, 'galois_disc_exponents': [26, 26], 'galois_label': '26T3', 'galt': 3, 'grd': 59.18614702783076, 'inessentialp': [5], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '26.0.105838418476275527898387851073846090273368671.1', 'local_algs': ['31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '31.2.1.2', '113.1.0.1', '113.1.0.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1', '113.2.1.1'], 'monogenic': -1, 'num_ram': 2, 'r2': 13, 'ramps': [31, 113], 'rd': 49.346404357107986, 'regulator': {'__RealLiteral__': 0, 'data': '195886918009.72314', 'prec': 60}, 'res': {'sib': ['-3025,-3135,-4483,8940,19353,18602,-15725,-42372,-30483,15328,38255,20465,-11156,-15570,-3328,4732,2239,-1522,-991,213,508,125,-56,-30,-13,-5,1']}, 'subfield_mults': [1, 1], 'subfields': ['8.-1.1', '-275.780.-1167.530.586.1191.-44.219.-77.21.-30.1.-1.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( \\frac{25260318885990440618795962656207038222056866841224039}{784803989526277132786021644580620722639830203197216328125} a^{25} - \\frac{148832578267512130670761171531382367211678952799974073}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{34168090668815607464773005430220629867019487648890648}{31392159581051085311440865783224828905593208127888653125} a^{23} - \\frac{359665504221775656154835526878566226147630583107422811}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{14509939724693947628100267747548172882715339409261264006}{784803989526277132786021644580620722639830203197216328125} a^{21} - \\frac{282487310684652418809251363499567515779929429533900631}{5063251545330820211522720287616907887998904536756234375} a^{20} + \\frac{123639450379164719833959313807657299750137793565796890322}{784803989526277132786021644580620722639830203197216328125} a^{19} - \\frac{270687443603961165070014312603732628826155786122330918393}{784803989526277132786021644580620722639830203197216328125} a^{18} + \\frac{523684908173951191129510478802818009458428344181999669663}{784803989526277132786021644580620722639830203197216328125} a^{17} - \\frac{190462754111745026540498742756773985219365943303303238618}{156960797905255426557204328916124144527966040639443265625} a^{16} + \\frac{26753594932011342035736564213236606862804107348757093}{12602231867142145849635032430038068609230513098309375} a^{15} - \\frac{3908277062648589484774092597352215826558830432298602092083}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{633547741847153166014297990417382086767112063672055145417}{60369537655867471752770895736970824818448477169016640625} a^{13} - \\frac{3485193715634932901742195727204631916544087047820287186516}{156960797905255426557204328916124144527966040639443265625} a^{12} + \\frac{5415032417653265915432118700804974586057942919228476032249}{156960797905255426557204328916124144527966040639443265625} a^{11} - \\frac{36759885878685419691953497927317299438608045889199252741176}{784803989526277132786021644580620722639830203197216328125} a^{10} + \\frac{36396640871802435524489176630028367141077539030771170575433}{784803989526277132786021644580620722639830203197216328125} a^{9} - \\frac{378194642982272103165725114272907753220596742448050255264}{11053577317271508912479178092684798910420143707003046875} a^{8} + \\frac{78268439248951574861747591438712423492778017648575523817}{3339591444792668650153283593960088181446085971051984375} a^{7} - \\frac{2093672806218748873200551692854047196168319238987368733168}{784803989526277132786021644580620722639830203197216328125} a^{6} + \\frac{3279535608508323256209353220623583078724724343326636461103}{784803989526277132786021644580620722639830203197216328125} a^{5} + \\frac{195930353795462386808088716233287076474054348573126766128}{71345817229661557526001967689147338421802745745201484375} a^{4} - \\frac{6222148463359926626188730671955510945511036436741746020317}{784803989526277132786021644580620722639830203197216328125} a^{3} - \\frac{255089233601857707907377051274435497753077029438463788513}{71345817229661557526001967689147338421802745745201484375} a^{2} - \\frac{554576851175700550626300324898872126679004537289462076794}{156960797905255426557204328916124144527966040639443265625} a - \\frac{25042607000315950503406777727448157850618531413402742954}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{54709811239019050433687572537658118579968252870336096}{784803989526277132786021644580620722639830203197216328125} a^{25} - \\frac{152355686414754164286351077646167497321501399044189272}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{51170876037011124947951795272835980274221917541934582}{31392159581051085311440865783224828905593208127888653125} a^{23} - \\frac{12165998103358353832369064231254907362023223990893909}{2301477975150372823419418312553139949090411153071015625} a^{22} + \\frac{15168599389662829405704444636757851531959768624646708384}{784803989526277132786021644580620722639830203197216328125} a^{21} - \\frac{6785757416270542999825131554592978217540492161158223209}{156960797905255426557204328916124144527966040639443265625} a^{20} + \\frac{105634189458805798926836645244200929197551330199912050108}{784803989526277132786021644580620722639830203197216328125} a^{19} - \\frac{85113125187771329787072567391257412669974797189947310402}{784803989526277132786021644580620722639830203197216328125} a^{18} + \\frac{335548289039429169732274074203264159130573146603941017957}{784803989526277132786021644580620722639830203197216328125} a^{17} + \\frac{23928219606392775735541108396753040239369180664378769443}{156960797905255426557204328916124144527966040639443265625} a^{16} + \\frac{743581663431703369887355059202077525057668729763918}{504089274685685833985401297201522744369220523932375} a^{15} - \\frac{639241415164073495912991258240046127292760508740330943737}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{457025870689307155695974991853632177617677110362560330813}{60369537655867471752770895736970824818448477169016640625} a^{13} - \\frac{804564912305517512618539999938481342934343541733420468504}{156960797905255426557204328916124144527966040639443265625} a^{12} + \\frac{1070721715714137496009940433837693542323719147520108755251}{156960797905255426557204328916124144527966040639443265625} a^{11} + \\frac{11753717612137395035851590152809937313323702700162330440486}{784803989526277132786021644580620722639830203197216328125} a^{10} - \\frac{35150968285389716983286497816946433865870634195923228307688}{784803989526277132786021644580620722639830203197216328125} a^{9} + \\frac{47973339610671249715132255306218937901260317466971405697284}{784803989526277132786021644580620722639830203197216328125} a^{8} - \\frac{287422723344194978181668051219938193832477795435771123422}{3339591444792668650153283593960088181446085971051984375} a^{7} + \\frac{23389468354537579366826186522237273809527196083829540905473}{784803989526277132786021644580620722639830203197216328125} a^{6} - \\frac{18820945707722776407913085098937536730074925663041989172683}{784803989526277132786021644580620722639830203197216328125} a^{5} - \\frac{1368371934202491612650713226015760443256143111863052399858}{71345817229661557526001967689147338421802745745201484375} a^{4} + \\frac{21635724979777791049868512914263903063666090994764109322987}{784803989526277132786021644580620722639830203197216328125} a^{3} + \\frac{564269079920496535951307125404801994411726563519112002318}{71345817229661557526001967689147338421802745745201484375} a^{2} + \\frac{4169065310729166608787561328972527980307632464970026220384}{156960797905255426557204328916124144527966040639443265625} a + \\frac{486435839023445077179931552247044817045480607913746276519}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{55396429044948270959143403203714572696146612888217}{2573127834512384041921382441247936795540426895728578125} a^{25} - \\frac{353867000446522183018844310292473961832262553641124}{2573127834512384041921382441247936795540426895728578125} a^{24} + \\frac{79743404985645673991725217147070081792228507412741}{102925113380495361676855297649917471821617075829143125} a^{23} - \\frac{859361866677810284200091395128388442363419160056483}{233920712228398549265580221931630617776402445066234375} a^{22} + \\frac{34994633783025686140947244333480440153860943071959613}{2573127834512384041921382441247936795540426895728578125} a^{21} - \\frac{21512212684621454385907504841345677316823081451915864}{514625566902476808384276488249587359108085379145715625} a^{20} + \\frac{302829189246606739496573494883221428091247401338516956}{2573127834512384041921382441247936795540426895728578125} a^{19} - \\frac{685357088871684696205578815070151275050717067734898539}{2573127834512384041921382441247936795540426895728578125} a^{18} + \\frac{1314087482370296688566112097142176495261706205719689879}{2573127834512384041921382441247936795540426895728578125} a^{17} - \\frac{3156454697225418734361342041697027943346363128724578}{3320164947757914892801783795158628123277970188036875} a^{16} + \\frac{332889231993678002224873298091890581022596582973693}{206593965035117145075984138197345387036565788496875} a^{15} - \\frac{137783281750127205340896898054651870259959600733916239}{36241237105808225942554682271097701345639815432796875} a^{14} + \\frac{20413817749125203120626539958989423984478042740734669608}{2573127834512384041921382441247936795540426895728578125} a^{13} - \\frac{8831027416013986944141414627864531876646772862047968214}{514625566902476808384276488249587359108085379145715625} a^{12} + \\frac{2785617599947837020694866970665159486736798081336802383}{102925113380495361676855297649917471821617075829143125} a^{11} - \\frac{96132103556803236941344645608581936543826985615446257723}{2573127834512384041921382441247936795540426895728578125} a^{10} + \\frac{97248853665755004514896785743371567969043989740476360729}{2573127834512384041921382441247936795540426895728578125} a^{9} - \\frac{72626977072655359828974694144903233082804615319590819907}{2573127834512384041921382441247936795540426895728578125} a^{8} + \\frac{15974373652178838744808921905601799369834688017528373}{842267703604708360694396871112254270225998983871875} a^{7} - \\frac{2588338321715217676522889701843467066743318963240966944}{2573127834512384041921382441247936795540426895728578125} a^{6} + \\frac{4295384236157930402391179953783915728081246323118149189}{2573127834512384041921382441247936795540426895728578125} a^{5} + \\frac{1309613880982210711037479447782441170675703681294409259}{233920712228398549265580221931630617776402445066234375} a^{4} - \\frac{18713755371730022316458042257409467746803419505316734911}{2573127834512384041921382441247936795540426895728578125} a^{3} - \\frac{750016667261137194563344816354224369542346508651951094}{233920712228398549265580221931630617776402445066234375} a^{2} - \\frac{1854822798932775363858597691706637953225128035335470772}{514625566902476808384276488249587359108085379145715625} a - \\frac{210205788319717492417582073175762054663835101901817627}{102925113380495361676855297649917471821617075829143125} \\)', '\\( \\frac{272099262899267498406171270378921594203188405911651}{71345817229661557526001967689147338421802745745201484375} a^{25} - \\frac{1209610343063147712172961452436280746456329986305532}{71345817229661557526001967689147338421802745745201484375} a^{24} + \\frac{336657874435438732770281942686591338349209725140517}{2853832689186462301040078707565893536872109829808059375} a^{23} - \\frac{34280901072314250836272263582602695739543175870053239}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{131244689002557863547125154467613149219637636965589979}{71345817229661557526001967689147338421802745745201484375} a^{21} - \\frac{75606984493632634154887724372094941963501292936722679}{14269163445932311505200393537829467684360549149040296875} a^{20} + \\frac{1113511791064546706993380758873361418752698371458329873}{71345817229661557526001967689147338421802745745201484375} a^{19} - \\frac{2130919011789922255280143524565211823351793128294309562}{71345817229661557526001967689147338421802745745201484375} a^{18} + \\frac{4850978425280577060718960917654634568280708869068170267}{71345817229661557526001967689147338421802745745201484375} a^{17} - \\frac{1279090389850293355169227409679743724150383405579659617}{14269163445932311505200393537829467684360549149040296875} a^{16} + \\frac{9551186328473812585541069516443867785333423018293}{45826297698698712180491027018320249488110956721125} a^{15} - \\frac{25469590948583133904737012613792172524807612191266672822}{71345817229661557526001967689147338421802745745201484375} a^{14} + \\frac{2242575017659639346378644743637713292812028322020037644}{2301477975150372823419418312553139949090411153071015625} a^{13} - \\frac{26333969863857764656020458135384310776513151137935508449}{14269163445932311505200393537829467684360549149040296875} a^{12} + \\frac{44107617802713046177693338465699759025604506524549545706}{14269163445932311505200393537829467684360549149040296875} a^{11} - \\frac{259757107075490753560206445470060293906966197460199192759}{71345817229661557526001967689147338421802745745201484375} a^{10} + \\frac{145883608077349371822156518670101684305091611600464473022}{71345817229661557526001967689147338421802745745201484375} a^{9} + \\frac{562793009341004269218288343314122484947029327710453234}{2301477975150372823419418312553139949090411153071015625} a^{8} - \\frac{1374533953248277411779924002281284343269933118178027307}{303599222253878968195753053996371652858735088277453125} a^{7} + \\frac{305550748646496293049361372540755118880844981255157432563}{71345817229661557526001967689147338421802745745201484375} a^{6} - \\frac{272886140978277891754168442051348864286627679361042527198}{71345817229661557526001967689147338421802745745201484375} a^{5} + \\frac{117697934601604673419456597622649999414019259011848972272}{71345817229661557526001967689147338421802745745201484375} a^{4} + \\frac{39196116370450810541283377017072487139493256430947898322}{71345817229661557526001967689147338421802745745201484375} a^{3} + \\frac{98735007883313253084877370011007311782246591490623545213}{71345817229661557526001967689147338421802745745201484375} a^{2} + \\frac{14067899079183161445007710851967323969302399546748177604}{14269163445932311505200393537829467684360549149040296875} a + \\frac{644736804079764377692938643335017826213250107266512664}{2853832689186462301040078707565893536872109829808059375} \\)', '\\( \\frac{1893634660789948858685509888989060204193535216908931}{25316257726654101057613601438084539439994522683781171875} a^{25} - \\frac{276295732447980407895564973582416032067707498167350602}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{73892972116012726911535151258658379079098385580924877}{31392159581051085311440865783224828905593208127888653125} a^{23} - \\frac{708030816566113511245822119590507492980722619616337539}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{29706706750630023657048447722261904255164673270449659344}{784803989526277132786021644580620722639830203197216328125} a^{21} - \\frac{17511853846975668649832816437017318705297359708813094214}{156960797905255426557204328916124144527966040639443265625} a^{20} + \\frac{259507391243113576201652248103468973638110552086189619878}{784803989526277132786021644580620722639830203197216328125} a^{19} - \\frac{529665446225313594658321492814036100504753599980195683532}{784803989526277132786021644580620722639830203197216328125} a^{18} + \\frac{1196192601885737344263460353227213903894849770806271189512}{784803989526277132786021644580620722639830203197216328125} a^{17} - \\frac{371551546412993681903845696750253552500340262984272586482}{156960797905255426557204328916124144527966040639443265625} a^{16} + \\frac{64849409520140535854593428202680547102054230440216312}{12602231867142145849635032430038068609230513098309375} a^{15} - \\frac{7478430740857539688262809423845783761712476237189153116842}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{18063298383414319998084212413160918013571038710886475622554}{784803989526277132786021644580620722639830203197216328125} a^{13} - \\frac{6901725278012248254983679617236436477148796495672431710759}{156960797905255426557204328916124144527966040639443265625} a^{12} + \\frac{922432975883733367882783211957033382759997068597801322302}{12073907531173494350554179147394164963689695433803328125} a^{11} - \\frac{82250494485069364527450229084583696124004740195249502401674}{784803989526277132786021644580620722639830203197216328125} a^{10} + \\frac{86647300749608487754651991766238988463875901386394459719617}{784803989526277132786021644580620722639830203197216328125} a^{9} - \\frac{73804968244601459776591210872546527123896045204976498344531}{784803989526277132786021644580620722639830203197216328125} a^{8} + \\frac{137580949882909441953693668708811867159184078083070815033}{3339591444792668650153283593960088181446085971051984375} a^{7} - \\frac{5135958096126526064380135743778600270630780717049417381507}{784803989526277132786021644580620722639830203197216328125} a^{6} - \\frac{1322944214827923907560392640230223644362940402005554046706}{60369537655867471752770895736970824818448477169016640625} a^{5} + \\frac{1834385343526172694763844038209441993912668261284830958797}{71345817229661557526001967689147338421802745745201484375} a^{4} - \\frac{7340439617526450577846591715728042638670759870795700651008}{784803989526277132786021644580620722639830203197216328125} a^{3} + \\frac{27805514104748715951871687274314018046923942056564242898}{2301477975150372823419418312553139949090411153071015625} a^{2} + \\frac{60269970757291137798975375406308722126096492768454536463}{12073907531173494350554179147394164963689695433803328125} a - \\frac{41772631272327767975882648869501029164162939519512040196}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{66122656911952668509691703571042705691526910746627533}{784803989526277132786021644580620722639830203197216328125} a^{25} - \\frac{323660619478795886622520412694130696138676248815587481}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{79835543249642115279769768136579075991475894751815366}{31392159581051085311440865783224828905593208127888653125} a^{23} - \\frac{782578451741137164322632514908059134171697440694039542}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{1009674124035723979801811238137990526873688112067955772}{25316257726654101057613601438084539439994522683781171875} a^{21} - \\frac{18006556031325367623217821042818841411308055713553536422}{156960797905255426557204328916124144527966040639443265625} a^{20} + \\frac{257186876520320178919499399575589734726159132434034444684}{784803989526277132786021644580620722639830203197216328125} a^{19} - \\frac{39099674951748031157011676383067458529323028612248818167}{60369537655867471752770895736970824818448477169016640625} a^{18} + \\frac{1038613009398131369908945027546883077967366064317205620011}{784803989526277132786021644580620722639830203197216328125} a^{17} - \\frac{331276123770962853542251531418575411999678596228428918851}{156960797905255426557204328916124144527966040639443265625} a^{16} + \\frac{4119651776677143825351083810921982806714304176492658}{969402451318626603818079417695236046863885622946875} a^{15} - \\frac{7341109465149950987250829167552322539572489106030131273151}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{16524695356510933883097236931473898092491370627180267274312}{784803989526277132786021644580620722639830203197216328125} a^{13} - \\frac{6511363931981834847348197272939324375565580787443341576857}{156960797905255426557204328916124144527966040639443265625} a^{12} + \\frac{9718655746822762703331497240118369843416119985236948198668}{156960797905255426557204328916124144527966040639443265625} a^{11} - \\frac{151851250983692791750220429451640005065435374051908472399}{1947404440511853927508738572160349187691886360290859375} a^{10} + \\frac{51683174590734666382816647664069170731397878107575043468901}{784803989526277132786021644580620722639830203197216328125} a^{9} - \\frac{33751319946129032278377477022958053971429755243329716076168}{784803989526277132786021644580620722639830203197216328125} a^{8} + \\frac{55274927040759699847856892371847642663632281558198205164}{3339591444792668650153283593960088181446085971051984375} a^{7} + \\frac{8491176002140116197320180324234364267845155368837001971629}{784803989526277132786021644580620722639830203197216328125} a^{6} - \\frac{2044106010149049835652397486156610494908910108360242802609}{784803989526277132786021644580620722639830203197216328125} a^{5} + \\frac{1291171035069521558366636871666748815724010482312128123041}{71345817229661557526001967689147338421802745745201484375} a^{4} - \\frac{6933246416596656080261576066123437474588061837607494944799}{784803989526277132786021644580620722639830203197216328125} a^{3} - \\frac{550902232336035273173272547300448206513908543008733400786}{71345817229661557526001967689147338421802745745201484375} a^{2} - \\frac{1050861899393649155439341416216223502408046621122278855843}{156960797905255426557204328916124144527966040639443265625} a - \\frac{140781778387830536626008370241314774829287561812788493988}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{33441980631910096487074756700869768883511729529572976}{784803989526277132786021644580620722639830203197216328125} a^{25} - \\frac{69496298914025896110462875996301332419476694029231807}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{27687378846272827958856321939704783731259667541704317}{31392159581051085311440865783224828905593208127888653125} a^{23} - \\frac{175490508968045771432687515777363202718223926957069424}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{6898629365652431269382585952434572237326431162777356404}{784803989526277132786021644580620722639830203197216328125} a^{21} - \\frac{2478033328129069405955255611383529365652717032206801754}{156960797905255426557204328916124144527966040639443265625} a^{20} + \\frac{1372154084243448926956218448475536350160694661090866858}{25316257726654101057613601438084539439994522683781171875} a^{19} + \\frac{12480855002327929656231245313602251753883977850516981788}{784803989526277132786021644580620722639830203197216328125} a^{18} + \\frac{102710072980219681240637705567965515824686111916052331292}{784803989526277132786021644580620722639830203197216328125} a^{17} + \\frac{61695295937218751437797439355345668951072559820360944958}{156960797905255426557204328916124144527966040639443265625} a^{16} + \\frac{1317929532633276860367219539633302753191582082495348}{2520446373428429169927006486007613721846102619661875} a^{15} + \\frac{412608497470740789292686258042901385782452676142126338153}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{1982000808388633856672458619121300302097756023550506534764}{784803989526277132786021644580620722639830203197216328125} a^{13} + \\frac{295929770932586889934669445515819673129570130547326476101}{156960797905255426557204328916124144527966040639443265625} a^{12} - \\frac{697120093709839844840538660327977143914946988505474451894}{156960797905255426557204328916124144527966040639443265625} a^{11} + \\frac{16100615112932706402923515207310200270414111229103209794191}{784803989526277132786021644580620722639830203197216328125} a^{10} - \\frac{31472125631947111867995154866528589558830565827746264747703}{784803989526277132786021644580620722639830203197216328125} a^{9} + \\frac{35301236292184373947691757981813265212198635129344458249304}{784803989526277132786021644580620722639830203197216328125} a^{8} - \\frac{196754241054552780994319733594254004090594261729751604007}{3339591444792668650153283593960088181446085971051984375} a^{7} + \\frac{17549841044495306892856357405418634555321103488541288296913}{784803989526277132786021644580620722639830203197216328125} a^{6} - \\frac{14275889235879027869168181747240963241692402838580127867548}{784803989526277132786021644580620722639830203197216328125} a^{5} - \\frac{195156425803599390775225648877938255882979697212002139473}{71345817229661557526001967689147338421802745745201484375} a^{4} + \\frac{10741525318451616816447851562265724914710194506236895890347}{784803989526277132786021644580620722639830203197216328125} a^{3} + \\frac{660088766094249783333045306187823815164278255907675287483}{71345817229661557526001967689147338421802745745201484375} a^{2} + \\frac{1756421957895239440678752331016199596395456152822492696279}{156960797905255426557204328916124144527966040639443265625} a + \\frac{242218104773314510835744678225339890676006385067973276464}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{145406213134650472046838937248599428962077235461387506}{784803989526277132786021644580620722639830203197216328125} a^{25} - \\frac{475018999650919779083602098396773047687499317238002592}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{11517384338186185279075584489551804281373488239519264}{2414781506234698870110835829478832992737939086760665625} a^{23} - \\frac{1211819308625581753016062243390645825270068588165312894}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{3852544685535268635688635654874177388125244935394191448}{60369537655867471752770895736970824818448477169016640625} a^{21} - \\frac{1970089686090004032674261828860542778495910625932514678}{12073907531173494350554179147394164963689695433803328125} a^{20} + \\frac{393563219478061213544338946564723415247747765836863696888}{784803989526277132786021644580620722639830203197216328125} a^{19} - \\frac{561134133048167319183930971706068707069210736095761525972}{784803989526277132786021644580620722639830203197216328125} a^{18} + \\frac{1589727931902637838926553124248277926501420678789990358652}{784803989526277132786021644580620722639830203197216328125} a^{17} - \\frac{252082110518575057491569007493884079889639598768706771442}{156960797905255426557204328916124144527966040639443265625} a^{16} + \\frac{88525900258621054505654675976463455580624727731601169}{12602231867142145849635032430038068609230513098309375} a^{15} - \\frac{7010909104696321051114169496489092197265975142499647824432}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{25270868127718562780014963335565202541907453413916676031109}{784803989526277132786021644580620722639830203197216328125} a^{13} - \\frac{6876175747982355595933074233527224019085705691389972044209}{156960797905255426557204328916124144527966040639443265625} a^{12} + \\frac{11820893027291233517843418895823430569107730908412376878731}{156960797905255426557204328916124144527966040639443265625} a^{11} - \\frac{49498480881576450318678692152609768212126659570342064916254}{784803989526277132786021644580620722639830203197216328125} a^{10} + \\frac{15652901810091989717504005382219387667136723441522923707532}{784803989526277132786021644580620722639830203197216328125} a^{9} + \\frac{11347586506583346512285248827741184013836188991696605014549}{784803989526277132786021644580620722639830203197216328125} a^{8} - \\frac{363912255682139877995933620496531762752767074040181081822}{3339591444792668650153283593960088181446085971051984375} a^{7} + \\frac{30110817053227053243452603105837393662298131552575669703703}{784803989526277132786021644580620722639830203197216328125} a^{6} - \\frac{49317650969567716488694991268922511978842291767550343113413}{784803989526277132786021644580620722639830203197216328125} a^{5} - \\frac{405569590987834595547337485674947855364754035493334572413}{71345817229661557526001967689147338421802745745201484375} a^{4} + \\frac{33944835135977530437560702681473261404580581589411824693482}{784803989526277132786021644580620722639830203197216328125} a^{3} + \\frac{2087894727316756184019627309745970152607771860908519575023}{71345817229661557526001967689147338421802745745201484375} a^{2} + \\frac{8052012241633101213062697746091103887103845677433803176674}{156960797905255426557204328916124144527966040639443265625} a + \\frac{714166877943817405140456767634285715150976467905510246159}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{8966479450448191721146676471951692132903589305942257}{156960797905255426557204328916124144527966040639443265625} a^{25} - \\frac{1389888812682181243516392918044602586228968970533329}{5063251545330820211522720287616907887998904536756234375} a^{24} + \\frac{11502037249614327589933495418957570305302207051812799}{6278431916210217062288173156644965781118641625577730625} a^{23} - \\frac{110778946012374116705873644743982839217674879001741168}{14269163445932311505200393537829467684360549149040296875} a^{22} + \\frac{4672424739920806706306173426371347583470598555856692203}{156960797905255426557204328916124144527966040639443265625} a^{21} - \\frac{2769335019191316138040104182486360556298143351421454943}{31392159581051085311440865783224828905593208127888653125} a^{20} + \\frac{41009574769022458637273794932568721268318634512907361936}{156960797905255426557204328916124144527966040639443265625} a^{19} - \\frac{84535377554067454550303417244024086835723951570813774484}{156960797905255426557204328916124144527966040639443265625} a^{18} + \\frac{190158676769110702860714640468470307611252069360870192994}{156960797905255426557204328916124144527966040639443265625} a^{17} - \\frac{59102926062119503914818966211835223491424048802410153184}{31392159581051085311440865783224828905593208127888653125} a^{16} + \\frac{10229955607448166887914526083127388947544328368246599}{2520446373428429169927006486007613721846102619661875} a^{15} - \\frac{37743609541401069409218146244674954199057079585875328434}{5063251545330820211522720287616907887998904536756234375} a^{14} + \\frac{2854252301343652797878914085419136714042195758916682403098}{156960797905255426557204328916124144527966040639443265625} a^{13} - \\frac{35247554436978594171053373100543396161843185733447229568}{1012650309066164042304544057523381577599780907351246875} a^{12} + \\frac{1921564567568835708929934623592262351292518007453001035062}{31392159581051085311440865783224828905593208127888653125} a^{11} - \\frac{13046060751633612498930078585426993370993842511377813057913}{156960797905255426557204328916124144527966040639443265625} a^{10} + \\frac{13672922793531873270904161678694762544701836661331655372754}{156960797905255426557204328916124144527966040639443265625} a^{9} - \\frac{10960974692952643972152329321822449317961341446075534000922}{156960797905255426557204328916124144527966040639443265625} a^{8} + \\frac{17043455976267569284070604695100177880184626484031470696}{667918288958533730030656718792017636289217194210396875} a^{7} + \\frac{488219408127448584020641929773017983930427059260920345191}{156960797905255426557204328916124144527966040639443265625} a^{6} - \\frac{116031583359703671198881726219356670841609201998484824106}{5063251545330820211522720287616907887998904536756234375} a^{5} + \\frac{287264193449264711425756611034655153985569984015620429789}{14269163445932311505200393537829467684360549149040296875} a^{4} - \\frac{1049914284569803540558981580656165226210688041223485928621}{156960797905255426557204328916124144527966040639443265625} a^{3} + \\frac{103637441936404405434308034258210776705139735636358067831}{14269163445932311505200393537829467684360549149040296875} a^{2} + \\frac{102308134191991194315827901176849217411726731381801067178}{31392159581051085311440865783224828905593208127888653125} a - \\frac{26021034729953126993431471810766373945529194884668644777}{6278431916210217062288173156644965781118641625577730625} \\)', '\\( \\frac{4149403388617336309660145534053065395742500214513143}{60369537655867471752770895736970824818448477169016640625} a^{25} - \\frac{231013192115706971589899033177912820446825292480045913}{784803989526277132786021644580620722639830203197216328125} a^{24} + \\frac{62947512927424304471863359074853717903112214829335528}{31392159581051085311440865783224828905593208127888653125} a^{23} - \\frac{577895149002642824686495764502152164881506778324633241}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{23787181320379900585752235234373554033613667074275642186}{784803989526277132786021644580620722639830203197216328125} a^{21} - \\frac{13361015289154050401108549505279293331076695686519932811}{156960797905255426557204328916124144527966040639443265625} a^{20} + \\frac{196975230346630352850754119824375010679820432360559926732}{784803989526277132786021644580620722639830203197216328125} a^{19} - \\frac{364626109843397503777503884298745043667507306823313783808}{784803989526277132786021644580620722639830203197216328125} a^{18} + \\frac{833889340019632315119103176308393181136436352341122664278}{784803989526277132786021644580620722639830203197216328125} a^{17} - \\frac{17328891910608298531323752403058958568487722342687902606}{12073907531173494350554179147394164963689695433803328125} a^{16} + \\frac{8885242081432790373564741082929827696254307536304264}{2520446373428429169927006486007613721846102619661875} a^{15} - \\frac{4934967929759663793940737609838698211523536285836658854523}{784803989526277132786021644580620722639830203197216328125} a^{14} + \\frac{12998617236414162204637230214186514458858365407189306269426}{784803989526277132786021644580620722639830203197216328125} a^{13} - \\frac{4598651677137408410089326234047331271746184145631102938241}{156960797905255426557204328916124144527966040639443265625} a^{12} + \\frac{7611307606796765091910330594251102884319557261097037638329}{156960797905255426557204328916124144527966040639443265625} a^{11} - \\frac{44966644238041425207623160389273273693227298163879920609081}{784803989526277132786021644580620722639830203197216328125} a^{10} + \\frac{37703468855473369889984254355904731918375321094199134276448}{784803989526277132786021644580620722639830203197216328125} a^{9} - \\frac{1702700391308535761710707768308917577958180382933503387353}{60369537655867471752770895736970824818448477169016640625} a^{8} - \\frac{30256742685057384444425891580810208935903683954219723413}{3339591444792668650153283593960088181446085971051984375} a^{7} + \\frac{10721943450190639968642428734293775255762263397132132792442}{784803989526277132786021644580620722639830203197216328125} a^{6} - \\frac{17206166597345696258709797720453492930667744324886980394907}{784803989526277132786021644580620722639830203197216328125} a^{5} + \\frac{581295187411711161392439075970572450981594412282573680393}{71345817229661557526001967689147338421802745745201484375} a^{4} + \\frac{2042503245130523835400156014866225431402966645359430690523}{784803989526277132786021644580620722639830203197216328125} a^{3} + \\frac{26516659836374791892820444723215990006979846828544114044}{5488139786897042886615535976088256801677134288092421875} a^{2} + \\frac{1693328547209167632318107531605684057220288821270939227561}{156960797905255426557204328916124144527966040639443265625} a + \\frac{97150093243001322843551639822902448627306255867630546851}{31392159581051085311440865783224828905593208127888653125} \\)', '\\( \\frac{4834469546377596654212783833514204010606637207452367}{71345817229661557526001967689147338421802745745201484375} a^{25} - \\frac{20162668314978222362080981777526647172793719683235869}{71345817229661557526001967689147338421802745745201484375} a^{24} + \\frac{5974256648707855932206320012098468776634694926267854}{2853832689186462301040078707565893536872109829808059375} a^{23} - \\frac{601812426171266342038577682398924407053225048158442638}{71345817229661557526001967689147338421802745745201484375} a^{22} + \\frac{2380209379354088977012760899081484776142567227365526243}{71345817229661557526001967689147338421802745745201484375} a^{21} - \\frac{1409609252068499337607412957174460067611010860159753263}{14269163445932311505200393537829467684360549149040296875} a^{20} + \\frac{21772103843340804943271326675130876261147394268295940916}{71345817229661557526001967689147338421802745745201484375} a^{19} - \\frac{44321747092329727860972503899479226192554221322251395104}{71345817229661557526001967689147338421802745745201484375} a^{18} + \\frac{110830688013307695580635375300544162130741303939619073064}{71345817229661557526001967689147338421802745745201484375} a^{17} - \\frac{475302428336788203069742968915578293917237685470846304}{200974133041300162045075965321541798371275340127328125} a^{16} + \\frac{6480507360912373837023731957391230863877656979519557}{1145657442467467804512275675458006237202773918028125} a^{15} - \\frac{664472485892093728472003523675920541187513666790797267224}{71345817229661557526001967689147338421802745745201484375} a^{14} + \\frac{128717479968903655446405844926501088559277127503281774701}{5488139786897042886615535976088256801677134288092421875} a^{13} - \\frac{606644686542884929818230586212327739225767452077692958803}{14269163445932311505200393537829467684360549149040296875} a^{12} + \\frac{1163313266467914715218291947378529004808918260495171721362}{14269163445932311505200393537829467684360549149040296875} a^{11} - \\frac{8566715457529790701097056584870002729034129976866541809503}{71345817229661557526001967689147338421802745745201484375} a^{10} + \\frac{10742104989376274338873188553275100351803134933356942946324}{71345817229661557526001967689147338421802745745201484375} a^{9} - \\frac{11560504814913751220047994060275963204641300678717894880607}{71345817229661557526001967689147338421802745745201484375} a^{8} + \\frac{35876807618267132811958660024010769818769272583484341716}{303599222253878968195753053996371652858735088277453125} a^{7} - \\frac{6381980763019289790422869134136083887672551412116415086954}{71345817229661557526001967689147338421802745745201484375} a^{6} + \\frac{1883462184094282458983778048725277666431819270127542221834}{71345817229661557526001967689147338421802745745201484375} a^{5} - \\frac{322797413877224582547143541590281775565808896064408135151}{71345817229661557526001967689147338421802745745201484375} a^{4} - \\frac{58313299287054857656057735383683381529599420924944549876}{71345817229661557526001967689147338421802745745201484375} a^{3} + \\frac{1761993716358300148449712872097510050998373029723539865046}{71345817229661557526001967689147338421802745745201484375} a^{2} + \\frac{21792108534190822848435767577487096178304039786401794043}{14269163445932311505200393537829467684360549149040296875} a + \\frac{24532821033806272760933321581196916475166857063516226188}{2853832689186462301040078707565893536872109829808059375} \\)', '\\( \\frac{4121695241106118314649135282412831398246085566994469}{156960797905255426557204328916124144527966040639443265625} a^{25} - \\frac{9093252360877573418265972704337579758072251717272308}{156960797905255426557204328916124144527966040639443265625} a^{24} + \\frac{258615320782461953522039585988720513292768221924691}{482956301246939774022167165895766598547587817352133125} a^{23} - \\frac{21495464679570784202881001471864413652640684649918756}{14269163445932311505200393537829467684360549149040296875} a^{22} + \\frac{62241090680971510903160493807180598974964728876481202}{12073907531173494350554179147394164963689695433803328125} a^{21} - \\frac{20304189501617065449650667954582634064922303132539977}{2414781506234698870110835829478832992737939086760665625} a^{20} + \\frac{4324191691322782481237297310529385492194635884972392637}{156960797905255426557204328916124144527966040639443265625} a^{19} + \\frac{4018603767841691348385526064107619889843290507390045122}{156960797905255426557204328916124144527966040639443265625} a^{18} + \\frac{3871795120208765821683798700307805972483740318257496023}{156960797905255426557204328916124144527966040639443265625} a^{17} + \\frac{10568557098764105346601114182862077959402929179032623402}{31392159581051085311440865783224828905593208127888653125} a^{16} + \\frac{54005976533813856670340525370206385127392944472698}{504089274685685833985401297201522744369220523932375} a^{15} + \\frac{88806863179297207110636195017198437752105439937817400682}{156960797905255426557204328916124144527966040639443265625} a^{14} + \\frac{161443281189011456482507890706633233819189349275481227091}{156960797905255426557204328916124144527966040639443265625} a^{13} + \\frac{73238422805048845492635937942642015269115138911986042269}{31392159581051085311440865783224828905593208127888653125} a^{12} - \\frac{185962021849454402530407928903822408851610974569998693786}{31392159581051085311440865783224828905593208127888653125} a^{11} + \\frac{3025868267068339926742977538731422457372081394577656849679}{156960797905255426557204328916124144527966040639443265625} a^{10} - \\frac{5308528244025157326908498151642822135263555945980642379507}{156960797905255426557204328916124144527966040639443265625} a^{9} + \\frac{5826659921973809211303278218978276134465694132070902336351}{156960797905255426557204328916124144527966040639443265625} a^{8} - \\frac{25148092770491316388047239428851196941025068645416621783}{667918288958533730030656718792017636289217194210396875} a^{7} + \\frac{1062917148544953988501079775918647564187045711657658504372}{156960797905255426557204328916124144527966040639443265625} a^{6} + \\frac{193205283067670724031022605298299897514169952821909491938}{156960797905255426557204328916124144527966040639443265625} a^{5} - \\frac{224085280253649434893054816219601741701599953365670573512}{14269163445932311505200393537829467684360549149040296875} a^{4} + \\frac{2106275990720473640691990432351376506097958435085903429693}{156960797905255426557204328916124144527966040639443265625} a^{3} + \\frac{23137900489722567761334205057223256942384922496055811077}{14269163445932311505200393537829467684360549149040296875} a^{2} + \\frac{256290183622236322524014458723865962858290912969141605626}{31392159581051085311440865783224828905593208127888653125} a + \\frac{50656962544530395039219952605334668749984041278194929641}{6278431916210217062288173156644965781118641625577730625} \\)'], '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', '1/5*a^13 + 1/5*a^12 + 2/5*a^11 - 1/5*a^10 + 2/5*a^9 + 1/5*a^8 - 2/5*a^7 + 1/5*a^6 + 2/5*a^5 + 1/5*a^3 + 2/5*a^2 + 1/5*a', '1/5*a^14 + 1/5*a^12 + 2/5*a^11 - 2/5*a^10 - 1/5*a^9 + 2/5*a^8 - 2/5*a^7 + 1/5*a^6 - 2/5*a^5 + 1/5*a^4 + 1/5*a^3 - 1/5*a^2 - 1/5*a', '1/5*a^15 + 1/5*a^12 + 1/5*a^11 + 2/5*a^8 - 2/5*a^7 + 2/5*a^6 - 1/5*a^5 + 1/5*a^4 - 2/5*a^3 + 2/5*a^2 - 1/5*a', '1/5*a^16 - 2/5*a^11 + 1/5*a^10 + 2/5*a^8 - 1/5*a^7 - 2/5*a^6 - 1/5*a^5 - 2/5*a^4 + 1/5*a^3 + 2/5*a^2 - 1/5*a', '1/5*a^17 - 2/5*a^12 + 1/5*a^11 + 2/5*a^9 - 1/5*a^8 - 2/5*a^7 - 1/5*a^6 - 2/5*a^5 + 1/5*a^4 + 2/5*a^3 - 1/5*a^2', '1/5*a^18 - 2/5*a^12 - 1/5*a^11 - 2/5*a^9 + 2/5*a^4 + 1/5*a^3 - 1/5*a^2 + 2/5*a', '1/25*a^19 - 2/25*a^18 - 1/25*a^16 - 1/25*a^14 - 6/25*a^12 + 6/25*a^11 + 7/25*a^10 - 6/25*a^9 - 12/25*a^8 - 1/25*a^7 - 2/25*a^6 + 4/25*a^5 - 12/25*a^4 + 2/25*a^3 + 7/25*a^2 + 1/5*a', '1/25*a^20 + 1/25*a^18 - 1/25*a^17 - 2/25*a^16 - 1/25*a^15 - 2/25*a^14 - 1/25*a^13 - 11/25*a^12 - 1/25*a^11 + 3/25*a^10 + 1/25*a^9 + 1/5*a^8 + 11/25*a^7 + 1/5*a^6 + 6/25*a^5 - 12/25*a^4 - 4/25*a^3 - 1/25*a^2', '1/775*a^21 - 7/775*a^20 - 4/775*a^19 - 58/775*a^18 - 6/155*a^17 + 3/775*a^16 + 38/775*a^14 + 71/775*a^13 - 164/775*a^12 - 11/155*a^11 - 57/155*a^10 + 233/775*a^9 + 221/775*a^8 + 213/775*a^7 - 144/775*a^6 + 101/775*a^5 + 21/155*a^4 + 202/775*a^3 + 282/775*a^2 + 21/155*a + 14/31', '1/775*a^22 + 9/775*a^20 + 7/775*a^19 + 12/155*a^18 + 41/775*a^17 - 41/775*a^16 - 24/775*a^15 - 7/155*a^14 - 39/775*a^13 - 118/775*a^12 - 174/775*a^11 - 6/31*a^10 + 271/775*a^9 + 334/775*a^8 - 234/775*a^7 - 318/775*a^6 - 304/775*a^5 + 162/775*a^4 + 239/775*a^3 + 33/775*a^2 + 1/5*a + 5/31', '1/275125*a^23 - 3/8875*a^22 + 164/275125*a^21 - 4116/275125*a^20 + 2509/275125*a^19 - 1269/55025*a^18 - 5063/275125*a^17 - 179/275125*a^16 + 14938/275125*a^15 + 8858/275125*a^14 - 4159/55025*a^13 + 13466/275125*a^12 + 29858/275125*a^11 - 25087/275125*a^10 - 4112/55025*a^9 + 65579/275125*a^8 - 44462/275125*a^7 - 9708/55025*a^6 + 120473/275125*a^5 + 642/2201*a^4 + 14496/55025*a^3 - 1503/8875*a^2 + 23926/55025*a - 154/355', '1/89415625*a^24 + 3/17883125*a^23 - 6449/17883125*a^22 + 13596/89415625*a^21 - 1699784/89415625*a^20 - 1520668/89415625*a^19 - 3627948/89415625*a^18 - 3323793/89415625*a^17 + 53267/6878125*a^16 + 1234502/89415625*a^15 - 4389131/89415625*a^14 + 2832746/89415625*a^13 - 30003249/89415625*a^12 - 3550748/89415625*a^11 + 22590774/89415625*a^10 - 36366606/89415625*a^9 - 273134/1375625*a^8 + 2359/40625*a^7 - 11699997/89415625*a^6 + 42857729/89415625*a^5 - 8071262/17883125*a^4 + 25304402/89415625*a^3 + 2045707/6878125*a^2 + 2670188/17883125*a - 946562/3576625', '1/784803989526277132786021644580620722639830203197216328125*a^25 - 1911911312047144992295631852576040423383802275882/784803989526277132786021644580620722639830203197216328125*a^24 + 1929019010572000732413235578865627817065408621927/31392159581051085311440865783224828905593208127888653125*a^23 + 13207212660022549983008151462516478175435236024305601/71345817229661557526001967689147338421802745745201484375*a^22 + 409600020839943461908499992025992783225049167746062229/784803989526277132786021644580620722639830203197216328125*a^21 + 537998017938366206814935128476675633405607435163700216/156960797905255426557204328916124144527966040639443265625*a^20 - 5508541992230012527326221822343359664904213935282858252/784803989526277132786021644580620722639830203197216328125*a^19 + 47464683718048354185407806626218488539520945045238320188/784803989526277132786021644580620722639830203197216328125*a^18 + 11629471588819314147221701428272628271801730408222367667/784803989526277132786021644580620722639830203197216328125*a^17 + 14700821535716782153600492734720277559568431231924101953/156960797905255426557204328916124144527966040639443265625*a^16 + 268425601927097551721194040979962996209836280194803/12602231867142145849635032430038068609230513098309375*a^15 + 4069326205596102970421309979845004944331122744312357106/60369537655867471752770895736970824818448477169016640625*a^14 - 65353893339408606893419174849902199049378779653047409161/784803989526277132786021644580620722639830203197216328125*a^13 - 28304737764432365219540515200030681633826084552891487979/156960797905255426557204328916124144527966040639443265625*a^12 - 35553757831050772194767060401241444056373470265326178829/156960797905255426557204328916124144527966040639443265625*a^11 - 52696841442702763943069985113940380878982569493991704134/784803989526277132786021644580620722639830203197216328125*a^10 - 331838192680291201375569140586598254507167098869904784378/784803989526277132786021644580620722639830203197216328125*a^9 + 211733458476571929778996661366737543355306310432483818279/784803989526277132786021644580620722639830203197216328125*a^8 - 1186144081297168640994429679467757530621440528508683742/3339591444792668650153283593960088181446085971051984375*a^7 - 177526463346251054096029912069689836238519896409940937712/784803989526277132786021644580620722639830203197216328125*a^6 + 18895037870411059097110472139404923648727560830308608777/784803989526277132786021644580620722639830203197216328125*a^5 + 2052129287367135637235133347418720219476917403873336429/5488139786897042886615535976088256801677134288092421875*a^4 + 168034406916441353007903694997153811211365207350403088847/784803989526277132786021644580620722639830203197216328125*a^3 - 22467195984712454168751648014369880751620356188411921967/71345817229661557526001967689147338421802745745201484375*a^2 - 50208697795280718145822003294281017408146219635552556196/156960797905255426557204328916124144527966040639443265625*a + 14925255832939004311646284809493023243617975482303495489/31392159581051085311440865783224828905593208127888653125']}