# Manifold: Census Knot K7_71

# Number of Tetrahedra: 7

# Number Field
x^30 - 3/2*x^29 - 81/4*x^28 + 65/4*x^27 + 385/4*x^26 + 13/4*x^25 + 221/4*x^24 + 827/4*x^23 - 2963/4*x^22 - 12907/4*x^21 - 5381/4*x^20 + 9719/4*x^19 - 5053/4*x^18 + 9208*x^17 + 44241/4*x^16 + 53783/4*x^15 + 66869/2*x^14 + 51307/4*x^13 + 42885/4*x^12 - 12557/4*x^11 + 11561/2*x^10 + 10269/2*x^9 - 11824*x^8 - 6077/4*x^7 + 3279*x^6 + 517/4*x^5 - 1379/4*x^4 - 13/4*x^3 + 31/2*x^2 - 1/4 

# Approximate Field Generator
0.441653963714852 - 0.747006623451354*I

# Shape Parameters
-2708771806865330866805999130378841098607024398388542563381333862543300863815760/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^29 + 2906687303631629715848290814728569519030263578683700309616988210752937600139908/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^28 + 56258977319834832642517276417309035275236995979772140342934511904738436096893570/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^27 - 20260023790877977238140132865473463714883148920027299188830423549920644880174699/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^26 - 272670013909268522941149792778701703446907093755007421012965729048441270831555675/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^25 - 122301598547653960819253907010928489380777625626499558902458144458478369148769704/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^24 - 186733183316481377948415719579689850424514323482873507519523244481162825711174546/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^23 - 640027800411859518678180750712144004797127574131128816043544842544514323443171268/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^22 + 1744959893096624116652842599910552397098286054884878292573487102654222212747736638/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^21 + 9518960148586995274618559018351352273081048226024397204894583681189864468857589810/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^20 + 7584529623873113514922448673671424113619762886842023196556660916458702392777787545/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^19 - 3861614904573626512857102103163715692745278832306217816246934855970240368677181496/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^18 + 1573034865020170343668644932582528827045523099890320910152749863071649336865650612/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^17 - 23939152778176078996143445526307304924095180782545122108090405501533790460011071065/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^16 - 40456267404882479233143899600983926609253759998839203332195436829673052994414552377/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^15 - 52094321018046883921707493905858951053741826997307802977870937946470115163400699175/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^14 - 111144337670949826971694983858806730893002925727009419342619689961509183595761488683/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^13 - 79854538650741720701451998002655010604980725020488214122574897666670052599912041008/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^12 - 57496910559097555781224675070486516294653941814123954701713077766581135232517735012/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^11 - 13979650760372798962456030328111660663680055381370163857882336297661785972297369740/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^10 - 19079472384717784159499004806229738624514079253093271377889054040196395450725562021/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^9 - 22367809315628498851146157999487124134182775969083145563105210867145019532451623499/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^8 + 23870209382070202258195964743557724479208006936989423858708814663103432422456233281/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^7 + 15013730857752265882342697515528330754432665470363174061712309831523519646444616736/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^6 - 4278510880954191255149811514433648468487800492692735488510152854516981273166223395/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^5 - 2136272178637227880073706767693678152454800297651989504440563261398270545747006057/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^4 + 270049489957595084879492526891044395913704323786502232895085116659963099071585526/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^3 + 91530048143484568421067453244800961252796923593914859267341457962929877933814952/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^2 - 5578746876020288249391294474894158475632476989716227464805598609505790409307655/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y + 3464356529534544530318227496091336815212329931806815073964379304835150026433452/6407433968932310312092210570779004838445349255639573224352320904174110037906211

-15719245909087312436737650219803647291197794469904065119145449266939191968458012/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^29 + 16734429378166308659634354641351982357479036398501903771027420977571712298075154/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^28 + 326692271845938556685753752672305347450284786725163736119101670896748561276024307/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^27 - 114871313847141378273083839402742845481886051267533308112188159544226006384192525/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^26 - 1584862207107992263312292312620978885120091841067972593203228230795468808831824463/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^25 - 722778800972158892939263167925814929904246199846846472460579781147309523212882377/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^24 - 1082107508061916587122065420730727660790867138657520808771316582453210809827775565/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^23 - 3719154881312187751874235221655820961691233702649791159581784888265748191363004838/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^22 + 10099604658952966777053078902870946645638538696644371489051606280616411050497491552/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^21 + 55342880729318811856720590451463287352289545486241975457246267339448104777243540039/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^20 + 44436887301303644492809434458369463809675484647789173136054373728000151167141778282/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^19 - 22300188606116139134375887566743080663511120764376830444545128749455671624753477887/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^18 + 8705146713282218216121896803065494352247525924924801820634331106524366253614302869/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^17 - 138746544170914771356894211876654220154530152531797455411259590864737382626683448817/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^16 - 235963911151510052515762384187796858213986047733011343902751359290500555089120455431/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^15 - 303665027127468303492457220677305569830623271311689528738721968534819653010092732505/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^14 - 646376928071018902886261595726501208507265341972535048871087188584570754009179216040/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^13 - 467371454104107655256658797503422639905767693087339821120816849487659386601667453829/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^12 - 334486969691797484257742714025282559874353472601430462723497232268356300352931363007/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^11 - 81531681688099886908209671829102680799014876977337195163045428707168857343258537674/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^10 - 109783787830328654983360998891166571286408919232903226965226456606685249747019335701/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^9 - 130325217002162200056496225179113390139194839019400481472229668327697009067900579268/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^8 + 137891895809737888766702648105480346419581743560414023981565851306475934105527685854/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^7 + 88967527470927029356857854513582516137221077282614598730659188991258273766972861669/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^6 - 24693288387774147298921656592911992064849148382798210195058807539246098388786070315/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^5 - 13170603265375641739988405982887543771666402371635187983480344239110819870742482680/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^4 + 1556912847579037603359246535034264612852826702490699375763227241875827523076998672/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^3 + 667003692394634624544097537575254984453155902228143362713101824204077392853971613/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^2 - 32131605430162485009428781267889911754707805195010142465032753709346623796044489/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y - 15773810659794282994764920199574642059009085948892500633967078218402979560672592/6407433968932310312092210570779004838445349255639573224352320904174110037906211

22125442773735529293485739627178556258133170982120625765570279520871135955026972/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^29 - 23462676650671143962482813203555565255462515380097826720780902333355759099183498/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^28 - 459912995096099682377158717264275054171557306824495748496756544526924818795882715/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^27 + 159707368831200898051139217488600694112503907463470358840987666020233867590680729/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^26 + 2231178058230206619344951349771574961286498246530535516622326667847778780262974814/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^25 + 1027811945290690741119858575703962041280885920035073803805467953471060801876546865/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^24 + 1527800838068650914967622325250753125740521571862678759967925388109841152033241322/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^23 + 5236690144670997879723484260408688272393875799901481326800178201574879728257758717/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^22 - 14191573935134687838126274457889820608614518241296170878166997657779720356282723070/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^21 - 77954701819758996937671583752399927060616695236581026843118474617140017957358750484/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^20 - 62890367616366916946902825076511228823711474914113725281683533090964960546484724332/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^19 + 31115564275680876222309956918808611760795131483951333292157098649114077844092262636/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^18 - 11999202550094949421055407753051466066366840451160496595019710524549797161064885568/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^17 + 195290347703800096297408176356892923234241255264790860507713153067820655538466515851/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^16 + 332754745277546234260372411300576037889708528565125766081055987607431524969872733572/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^15 + 429026539332459896962514784359033038157419509374324189096595268565258166630332549535/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^14 + 911291880301660131187209911186143033866815322643700973700309154327890331926973795220/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^13 + 661441093317046292039187637780427352364503236289249905997331548091052665648543396441/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^12 + 473665667099315234061867312370001410200133117231625361962814744673346798948959607092/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^11 + 115621586700036483811781232043178850869192637584859186518336393624287291609496895084/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^10 + 155238850515878663060242153244354676319019874732377579491814922617802808042255313533/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^9 + 184009309959928573785258653167252335858782018379683153510189991437060895144480244317/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^8 - 192662292389808229762331142208220912566103208055695652456709558515501789603607545811/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^7 - 126057942339656377422529321847537935066441718939515399198956188802924520053823174495/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^6 + 33966203114681525710722028427660168495027130480522444257533736544806762117969615891/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^5 + 19396428823369118662560606328279018091504311472363505857000508220483821494254437266/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^4 - 2112932396347360310178399910706491401663156592914938318168788819916710286947126174/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^3 - 1176697927956212088621018568992927665137199931714831504261097204473227024518564293/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^2 + 43133904107296747501081648022034714645933063010067537881000100862695768492740574/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y + 39060470184288134699443809810978236616935526143660805283830584043265442535027337/6407433968932310312092210570779004838445349255639573224352320904174110037906211

637594520228326544468879692802328665208490863549108524/611530034265616205392434689299423726416561273999297058943*y^29 + 1597022514011771257565574669001524753570804289666028566/611530034265616205392434689299423726416561273999297058943*y^28 - 16797894674920781274327917810691117797568127092761117723/611530034265616205392434689299423726416561273999297058943*y^27 - 41415573819604789132773519993940037696352284390752394209/611530034265616205392434689299423726416561273999297058943*y^26 + 104247642765774172792387836444141819510058889690090148012/611530034265616205392434689299423726416561273999297058943*y^25 + 250061119058658712861424246947139442268535398575443491056/611530034265616205392434689299423726416561273999297058943*y^24 + 35320078267956889309514836102693948078000605939645615969/611530034265616205392434689299423726416561273999297058943*y^23 + 257472589448061074838189663889046552381580199083659965297/611530034265616205392434689299423726416561273999297058943*y^22 + 53541356348170617198313825151684101384251120448918679697/611530034265616205392434689299423726416561273999297058943*y^21 - 3966332813746328572335656405409479786044629026727769892503/611530034265616205392434689299423726416561273999297058943*y^20 - 9086968936879909597757759718594043678776861773481701884452/611530034265616205392434689299423726416561273999297058943*y^19 - 1586431139139740457510063070022139438788918032336852469513/611530034265616205392434689299423726416561273999297058943*y^18 + 5971029611962120720382589947877925817899116540336309986933/611530034265616205392434689299423726416561273999297058943*y^17 + 2661950873254414117656893515103412437153880715227925295393/611530034265616205392434689299423726416561273999297058943*y^16 + 30161438969419883404585874770633634498330580901170674115457/611530034265616205392434689299423726416561273999297058943*y^15 + 36500062821280831923963298175368687335983097557602023094585/611530034265616205392434689299423726416561273999297058943*y^14 + 53688182470580756255702232918644578053375477750222466365062/611530034265616205392434689299423726416561273999297058943*y^13 + 91142183594678183070352972574635979346530647297480183348251/611530034265616205392434689299423726416561273999297058943*y^12 + 35938644175595133571133668861943637714839698562676185937215/611530034265616205392434689299423726416561273999297058943*y^11 + 19889149367064804397469097450165251006288689447580426434919/611530034265616205392434689299423726416561273999297058943*y^10 - 6303385148711795217964685895397140592792261071519589755112/611530034265616205392434689299423726416561273999297058943*y^9 + 17417127135176688400019962467877781327008336965321569498741/611530034265616205392434689299423726416561273999297058943*y^8 + 5968149997308446896727563097204142658026103569822106759832/611530034265616205392434689299423726416561273999297058943*y^7 - 32395185867925804630113877666909541883030050159826714939397/611530034265616205392434689299423726416561273999297058943*y^6 - 1977163231681459218328047210530063930606594892097941007076/611530034265616205392434689299423726416561273999297058943*y^5 + 10670214026943152284998630771809159692907244960759514328297/611530034265616205392434689299423726416561273999297058943*y^4 + 176266148866851436376590282340059107556563492046864970802/611530034265616205392434689299423726416561273999297058943*y^3 - 2535093417063162715274720370508452292030681618815177570826/611530034265616205392434689299423726416561273999297058943*y^2 - 4522570814039971153123506762921598927179122931238656256/611530034265616205392434689299423726416561273999297058943*y - 48837541101303541534102182485586577431112853007793883547/611530034265616205392434689299423726416561273999297058943

19704408950978491753774855413883127998540092762015242617535676869839658813572020/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^29 - 20547133996039261691230113049755534469611849826615894352460975334179327430008498/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^28 - 410281597738168590986435897972246869756633068243570739346896852713089903547060571/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^27 + 135427590108955329103962273301053250548744641219005605784534311993906001751725788/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^26 + 1996132036964149848815420283571232037660230392841208859740760545026740611567531165/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^25 + 946332237479471877195068221097477245331814766516513263011478954873038286146385933/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^24 + 1346101065520602258506967884650598936314617288483120665123743255845676557908069601/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^23 + 4681090605666721367896355278744333714784616130863320386955662897036792500151313508/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^22 - 12581126469343668252941535104645010241479381341393001984991223721659763799838937948/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^21 - 69721292264884593780324710404842190808062896612984123172390866811805898116410324510/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^20 - 57011070482189524707677665721476957155621069205005484435048275061462755263450010359/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^19 + 27791265740260365110861640859345043782542922013458090584763606511295185047687300450/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^18 - 9545733203087144375885564181097254033734375270899231756330373636775416109268516554/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^17 + 173252858228805731494227472133994115009850481601523559069536787804871042240469571635/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^16 + 299895462895744925297143503839629724685722081189615731643474161653735778623922781299/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^15 + 384315348308771677705447191551785607186276991703090944282816298884617729523705592069/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^14 + 814292190883180006109642537073469763613925513488214342744547315867275928269549899689/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^13 + 597859927981134153461908543239797826758485863463933206080965227933195784247878890817/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^12 + 419652887850884004972981283215964021046987466109418089724867994825358623958955386965/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^11 + 103137101054127537882552950374171182863697024871638732559860977292080727103898419399/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^10 + 133067847127923798417629356182234302970778181445454594370875181063745629392177658379/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^9 + 164635416755444518517773913371110720750824747871547648676089040763724945287927208975/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^8 - 171981500896536534836462199693276941788826317256965984995305787339299123964299618654/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^7 - 117751692220500734152839090143538655590033717406778487647386818737215809640189659389/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^6 + 31288638507860340194936457231868731124014422331891381256255557004294490679424660021/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^5 + 18344422674301083135488590888602094015391090149119675873993962654719293726543543605/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^4 - 1996494744091747292106479125456386715868373878789899011674880134153984272944410829/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^3 - 920191015971431790164759479863177795566004622436377591645106452611817282011409860/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^2 + 41569276584825006669678986336830197395188677157107169855412173398272229310842959/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y + 18902430891835166121394598805612899028979973572738348682060733688085554007356805/6407433968932310312092210570779004838445349255639573224352320904174110037906211

4984953193087472653782215642617132701450266011455303788832433906548193371730688/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^29 - 5478534057231492742360194769192115994582678013479134305395004774281518583022932/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^28 - 103596324787120572043567478576653148820264668843702930741837403299261559080732134/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^27 + 40125091550952266524867930881577433974165711101937526168513394262555801940671487/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^26 + 505100573142376445638127850810012518711681158649534665794009742177551622722337354/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^25 + 211807981863122153379803102323754359696608949921859134920814172233389152441733215/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^24 + 316709572849481411828335777400696025314122388307986409063065367701959818930804984/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^23 + 1153936949835816828899572976165947154552054267360238519397634160947820947581163180/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^22 - 3257135195948133616791829928449149721039777821009065382800409474420259239010499348/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^21 - 17486950802729396099980140421339221930332069022285300836755687087207063885676328256/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^20 - 13386917311497281487523351462506154128934774658832615033190331840177490692011418097/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^19 + 8220691836202665284224251074068320582382200577040613364820262397052232444543845434/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^18 - 2308187088965984203944550929217695077218897729074201408784628381421065974022196416/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^17 + 43970487430559407682242251638082240200622473024474773508406548711545575372235208254/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^16 + 73335524240746037753599857959692251349856092163754877826189569069509398615165765785/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^15 + 92232491639682499578527927431345921485774662199874701928483865651996633996593540091/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^14 + 198449817385732892295624547592524299733418691800720257243326941396002842560466616414/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^13 + 137004718907526079442111829951599783866185948707109930046805340647000875483450269632/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^12 + 92619924981227687935382045801899329762038999728241635446703029099454687585998641027/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^11 + 14646152073781445623404120338966229628127098520005752481450683895226605393637306170/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^10 + 28779738230877860715170910684966910051274190423630591095988967303368591802350467720/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^9 + 37874770799058171307224017637039298815424676589915060260343897034048621006641311360/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^8 - 46573516061300943564688807720614848724530680660664152808790287230710552917768365693/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^7 - 28760796913302865054354126770748766889464462482327073316558125556558884032671323070/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^6 + 10017526269424345628468629964119933842740534998844007780898666412133235720066915584/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^5 + 5403801468458584056002698061502391651097055790885099086203450328023110056398034369/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^4 - 752172462744797058247430839812694444018224140177618341063299445147339577522914551/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^3 - 372155874677775154520517368036408100839610623742778626204717293604549786577721680/77197999625690485687857958684084395643919870549874376197015914508121807685617*y^2 + 17836166251703154015775969717924315775801766581784433550344826432957195744654279/77197999625690485687857958684084395643919870549874376197015914508121807685617*y + 8196654847037297544154524573361585264318572338212419622595885680224730935611744/77197999625690485687857958684084395643919870549874376197015914508121807685617

-96692025515991112428052526931515927664818444841372489936305433350147398571991732/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^29 + 75706760859877252895469479324862485773135128460081713984099609073323374640343946/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^28 + 2053468631873025633816132220974879496011303712391353324939045322391698502808952391/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^27 - 158706588582102308312275896634208193741505008242194801177481325658747589241299490/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^26 - 10254538502525028045844293942667230045614810633615187269532358873262813925769859151/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^25 - 7039822119076611137922141725651791264964925657280724937292568991065650702215567281/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^24 - 6445611300558106401362000098644247614383569553266996950334127905506680701643819693/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^23 - 24261438092243484718030701681004801538099095583669168722464225508369839799589596927/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^22 + 56741590858479332000924085015847065507570967147739947229096379083564891186010054090/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^21 + 361330934917108739266285497503146625504715850706864082400584703012497376721249939840/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^20 + 359203809496247946225207063675193098001473332888324222330158955660618017418647006292/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^19 - 111116381858360016369302905040175357448717969611012568317079985621983820355739389655/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^18 - 20762408550330650758339445622962449398769690754564629662706223450857348700388471902/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^17 - 815638356253311398370455187448828779036388766435754794238485438203126078509935377265/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^16 - 1705637215339794198364472189618993582042386840559682115589956231399277968272045208760/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^15 - 2141263234116135440847487286249781236949886268300220104894546812720858125276600570521/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^14 - 4298262332276856894276493683225384066729962449037030810688292215441835997693859124478/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^13 - 3725369357633590443044364280672140832811847694606321568913936131211736821690917364739/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^12 - 2277708757571953770628599890244942886122198601684041966093478186323807362776099521829/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^11 - 702286087474929501143234418173636510125013838670361415101008590433225551292915158998/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^10 - 511848935731007189313648911433694197765897334179756588164495768430847065655546472247/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^9 - 933062348452201383906112285532332942969426346565352344768479573976369309804355996081/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^8 + 739984435606664194882073980179098009173457390739519729478265130551771380041480799742/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^7 + 896466109567310207308979414998724143565648538873262457697474000875402118615214601502/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^6 - 135672187203268980936666027812659531305268607048121248232232650184960888891897084298/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^5 - 181682512427289079859748796880432444004298956465006684130021590487156145839734234867/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^4 + 8728328527071940284366052292393536636097283832609887364929214526426587470120701072/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^3 + 12944979183044273388468193238971076392297519546709934646748671420677416280536758719/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^2 - 175924842580505067318819131238212257067252511319577774168877866184209435339869028/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y - 282888309305476831942519537145929526812661648369264736530968158467031684833801442/6407433968932310312092210570779004838445349255639573224352320904174110037906211


# A Gluing Matrix
{{-1,-2,0,0,0,0,0},{-2,-2,1,2,0,0,0},{0,1,1,0,0,0,0},{0,2,0,1,-1,0,0},{0,0,0,-2,2,0,2},{0,0,0,0,1,-1,2},{0,0,0,0,1,-2,4}}

# B Gluing Matrix
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,2,0,1},{0,0,0,0,0,1,2},{0,0,0,0,0,0,3}}

# nu Gluing Vector
{-1, 0, 1, 1, 2, 3, 4}

# f Combinatorial flattening
{12, -3, 4, 7, 0, 15, 7}

# f' Combinatorial flattening
{5, 0, 0, 0, 0, 0, 2}

# 1 Loop Invariant
11998912670579228388501862582467583976033003465475307252264767093259888641437216808/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^29 - 13035064290650910855942737864014100031899616367287705761016684679115663652349168092/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^28 - 250204192682206736499565410525287679229950599210421778213641891837709497598311742682/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^27 + 94409622336869377379247560550693115968439511210436219266232895021719339735736308954/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^26 + 1230713499510663825800302262864031823576922164871956647356528035063974601100824122822/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^25 + 514991138787351032434802333337079008601400504288690286060002159401353089002843417524/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^24 + 704614626629043114444295898071387684046585941859130865289265707665218306041486023432/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^23 + 2780445693228086049771369745214898543028588622108824445068953412761900235208151939694/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^22 - 7850000705960765783433139465133865738841687912488608931556794653645402496198891945328/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^21 - 42332937993620198466249456326667172232024218149347083437421234001951240823155109558814/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^20 - 32265488013192860523463252900645899071792433359864767411596059993228917052367742004806/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^19 + 21575674368215276186994623067142516806745601148560670845229175666207207377631324076774/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^18 - 4226474252150294107567458985701031398593119720976395224339262400209360499599246973826/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^17 + 104423009315956721553984394310879868308122452956167055704358846311983525872127415569020/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^16 + 178742491072304372169116975304048123583460502706061397765060492643681754579378929915214/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^15 + 217867115099732748145600009302967427024236980437407956974028607364787177831237394030888/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^14 + 472801120653981680501788978799026682573137742533836951489661101727848565020438256320950/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^13 + 325555553758371490710518840146802571719796589050152422490992382616366353505794611995074/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^12 + 203157175597298730875288140000553103844295953489722534559997614421984701080970529582734/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^11 + 27106559462193303326923197458472055231826481774504730346740837065238099711867866521162/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^10 + 59268134755956404094560497312612119201934535959761726553473559934335077474627369666208/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^9 + 92765869178400255700721617061189544626425454273586651167003261244171355676006318522228/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^8 - 115938840912771711714834545530198197917608743408407413404125265491878417110493740303016/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^7 - 74066626058498371383734762978445161519493008410170798402528122122578545641226096490650/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^6 + 30430741345167807555240148577865053869935515495476985248890496730598325813508355463910/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^5 + 14432994878727756846975467542969226479643337128511551047694372145232365253353017331536/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^4 - 2964785447419586392564473641778422961865255925194739980205661158223342391594374982308/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^3 - 1029465687812697048515984143073355574103858334194624716980491720919030184766532970220/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y^2 + 90956925196455719952719118959035115219922861948399027413930952946896186601385955289/6407433968932310312092210570779004838445349255639573224352320904174110037906211*y + 26647861096605391004340638171353969456478924750010131976258030337787252309957987622/6407433968932310312092210570779004838445349255639573224352320904174110037906211

# 2 Loop Invariant
2839897306435358850354670253793900265832539990223524304522305981264836923152592176851689629932332627077608850923200325443134858551070087919408863533257075486305772239103378818556098819/38196736878949903152538957905316401765407078327971192788151373876847085432810524410376156021345204050851313110788301735905567936997045838444754589387064832647421654900476265347348385828*y^29 - 1201744438263571898764780516575088404780009393135294990790009708215400888697129952767211303752736673609671876357231431266021590750677415324284487387463456876354482080040326902825001069/25464491252633268768359305270210934510271385551980795192100915917898056955207016273584104014230136033900875407192201157270378624664697225629836392924709888431614436600317510231565590552*y^28 - 243783960801292830792065446672818730099087871140770150173160963013017150271833762172817575700364390713932256115445558833565256337441875757794948449682507384080143798373169620678879829029/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^27 - 1895126070090636136804676843708924046628175799644184453091680009408656013671113279390466979639399380917032205705122290944451123724095632389789744760242437768857134862565312768227389553/19098368439474951576269478952658200882703539163985596394075686938423542716405262205188078010672602025425656555394150867952783968498522919222377294693532416323710827450238132673674192914*y^26 + 410632224868600765439143410513441887689638680611125549102751397631752919754286106594802753391829371841220914570509360397383444660706478376237030778608611144112742345065271947152876567315/50928982505266537536718610540421869020542771103961590384201831835796113910414032547168208028460272067801750814384402314540757249329394451259672785849419776863228873200635020463131181104*y^25 + 20489239277147192868133725136667476098794050086508323132786063725944027482729457677626004277453716012826872591770545165284090564019497263201147936838655114344476330724734211563063542712/3183061406579158596044913158776366813783923193997599399012614489737257119400877034198013001778767004237609425899025144658797328083087153203729549115588736053951804575039688778945698819*y^24 + 191653544431665579471127581596561329036461130048712123887265463725921285609846366155123002916774269064319958688619668990529274913716319235358128004435619494282982698688379096609372044607/38196736878949903152538957905316401765407078327971192788151373876847085432810524410376156021345204050851313110788301735905567936997045838444754589387064832647421654900476265347348385828*y^23 + 2968731157795773640723153862511056434810763400631337652680466234108491346966864201293105685795413060400586494490335655393878377334152140837769292551646897028394222945652088816166413542673/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^22 - 2107000370619690322524496775156549812857539258824254890722281842193617412602207481528858760736701051158482168658668592974103571860940272804342990836836186660972150096469726192537139475527/50928982505266537536718610540421869020542771103961590384201831835796113910414032547168208028460272067801750814384402314540757249329394451259672785849419776863228873200635020463131181104*y^21 - 43684776824530451284425172045046315030981585677708767515881692531288844043635797499309222639788033616603679079239827527214299155487600796076883782361457342518986021670130399642850595126223/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^20 - 23785209075454607943242312493161024390310705671110100352388847120868854900528769162290054665057362759959514921721691071086503803976760000922198426783099845579436865323344005436561773027497/76393473757899806305077915810632803530814156655942385576302747753694170865621048820752312042690408101702626221576603471811135873994091676889509178774129665294843309800952530694696771656*y^19 + 10621404797105414738936417823860170401355765449056359140351751250394872893552310314801497973808418022201772114774551317179023192925717491134664038417120903393976000866461023563905817410857/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^18 + 474943597159832336604089195293281196746604003474761267673095232882647282833972006281590544825266487303876341301681789688743945719157344548931770729558707862494624599234947637752150367271/12732245626316634384179652635105467255135692775990397596050457958949028477603508136792052007115068016950437703596100578635189312332348612814918196462354944215807218300158755115782795276*y^17 + 93411023997616559658985861804145452580957495648963860998032697156871210450749308097595507316014012549644547624980022254076285870799839228319537556076435071866458039011048944079016027939681/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^16 + 36100705007727344028991299839282160256782878010466001435772686690160366357964478859407939605130350105143973550229927419671752953174301735289501420764536359501669336011205577502781484763269/25464491252633268768359305270210934510271385551980795192100915917898056955207016273584104014230136033900875407192201157270378624664697225629836392924709888431614436600317510231565590552*y^15 + 269661802639517563312999338470113298251258403539742231372962374759476533158081575984072249966531316399442450305482237360252536750416744123695946918370045043222318238177814479324672536208641/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^14 + 265013318510259097032522482957443716976767504112670578493376881212479042158066956136281363825309698061791397854175898616497072267365487985991308346332821490329849741733670996674314425447963/76393473757899806305077915810632803530814156655942385576302747753694170865621048820752312042690408101702626221576603471811135873994091676889509178774129665294843309800952530694696771656*y^13 + 248225071115106306301591138964097707612830331446814109468051623645920998975457388718380024948918322196070092767596063686648482962606637332682670817943152695033040788824880743141478818330619/76393473757899806305077915810632803530814156655942385576302747753694170865621048820752312042690408101702626221576603471811135873994091676889509178774129665294843309800952530694696771656*y^12 + 292044736195361880666084417816172921571523143143120161276965544470469457622856478345586009631629587909096558243950776929968833395683307636017214100027241489740202388093977849265697853461833/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^11 + 54472928130615153171427643780083508944836239235700838482161860550165408716358497395178908215285666914592682358005557720128366681802364852566109376324310347705260122897958264844911968899797/76393473757899806305077915810632803530814156655942385576302747753694170865621048820752312042690408101702626221576603471811135873994091676889509178774129665294843309800952530694696771656*y^10 + 28480353146698262140331324702267861211819615949851754044579570183662471356847166279121920763079116199995618023249307631107686748792473491485556903350718204122076976951856608850224471131425/76393473757899806305077915810632803530814156655942385576302747753694170865621048820752312042690408101702626221576603471811135873994091676889509178774129665294843309800952530694696771656*y^9 + 30449496639798141000522787779558860716907604254272653519876812312199541382586579430194251589086272429958304502771424592499032741187412860415305626789771263915023669262940682370418372522943/38196736878949903152538957905316401765407078327971192788151373876847085432810524410376156021345204050851313110788301735905567936997045838444754589387064832647421654900476265347348385828*y^8 - 9973745756728731670065911397627708162551474957139911960220011055456758741745253748128428977389535641254254927339629483446298630235436867924917995598291797785330799358368520759581372409077/19098368439474951576269478952658200882703539163985596394075686938423542716405262205188078010672602025425656555394150867952783968498522919222377294693532416323710827450238132673674192914*y^7 - 41245934031893744131344630038996244477677048273894884480546763640923862940644141398619618245619453789180916748093227513606406213627805736905174289102026595075835279202548502708851929248211/50928982505266537536718610540421869020542771103961590384201831835796113910414032547168208028460272067801750814384402314540757249329394451259672785849419776863228873200635020463131181104*y^6 + 7316683721286261651442357591669110141070844190385384412964774933250864568318749565554163856188293369668052061968434687593448238930810997516308350080950838760074026399901056986555412002179/76393473757899806305077915810632803530814156655942385576302747753694170865621048820752312042690408101702626221576603471811135873994091676889509178774129665294843309800952530694696771656*y^5 + 23542849686422755747852818375879899443891557779104436343394643588721548057791587578249143431128477969633893657455496444120077135049839029802239582603797296410948852192198738244265643942197/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312*y^4 - 70901549905777430799660837764521714892227010608941401954906859329486928883746493359778010196794320110824449485196617960069080427436183078599664387084094796700606860743902660341336322439/12732245626316634384179652635105467255135692775990397596050457958949028477603508136792052007115068016950437703596100578635189312332348612814918196462354944215807218300158755115782795276*y^3 - 406037343950066716543596660702855462675517902176030822028646917322638999242576362000357715053002079064495988847913350445149220494212886274827065104098990333805163259516645944028424982493/50928982505266537536718610540421869020542771103961590384201831835796113910414032547168208028460272067801750814384402314540757249329394451259672785849419776863228873200635020463131181104*y^2 + 2256915563634399825193344653802762654735838920068417408823653894574606449611265198494457514242424485235696057839099231069426753018064854058875707131075674200552924368700549611259935415/50928982505266537536718610540421869020542771103961590384201831835796113910414032547168208028460272067801750814384402314540757249329394451259672785849419776863228873200635020463131181104*y - 1191702037490091863008918449226155105876094307292373611006341591873848706782538705570471548852468672177092635302673922721254632798827117271495539627428891074060180299744634966601360238577/152786947515799612610155831621265607061628313311884771152605495507388341731242097641504624085380816203405252443153206943622271747988183353779018357548259330589686619601905061389393543312

# 3 Loop Invariant
90589752336329080724842089209118775989386402869944680527598828300019496766914060565660071422975477620812012999055719079135363610409246120979151758274655651751789424858650776490785739123161743611740565062077874034411285291870193818324515/1135129573423911963258045607914488813052646202100031463493226299787321686842096106823754339254861039349212712637418283668278971013129858181212200011934657419731936471417858684544210730777324652879323221617588119422503467146388475932774192*y^29 - 217956891939921993710283899095715442968374990761868507219853108163901798994168637824248659627528686723861001543017418062379059278157352385009749716164037274065759879843763088637392332687285698074927083139588113764937139467055208466128965/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^28 - 7479404579529231839167282290139384900106578916544992370503888594234246346299769694926594368521107730390269254659559046224856178741185943377726744579467738408799105691410952974670146701724041820863623400154379888745302450766156593378043675/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^27 + 3685143766537976960467191294567526919781228425418397979244179536364717433727286452613173803335420701571085360191305771125596804303694573612466240382341058373279002717957542781665752708743077592768269903283446818908695501816580844853426595/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^26 + 9054272875158450303471070539577914173309044796265868665434885186581791941416756410819305152170242414149752533946255576216397456996528037174907669377336047226722967133379008760342999808127833077633815596904552769867008302377306441769013323/1135129573423911963258045607914488813052646202100031463493226299787321686842096106823754339254861039349212712637418283668278971013129858181212200011934657419731936471417858684544210730777324652879323221617588119422503467146388475932774192*y^25 + 5868720550928647184286057375844217999571457503792437230299669228312423085187500562072797455394472345945503845145295339446183691555112492180994249192762073417047596205669271218646378643752416832116415625027427395479699374556073108512888641/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^24 + 22351310194635053492428837536227709602758023149690390326244922252306058413927437028909235343437918000521872294329650737579954350253966888209789960297631402791081881651447620152611529295343236352634422147887110036505986661645188789351046119/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^23 + 40753131519245249961852363480324304686227901883350711112678048025657702992360514052246647890063867023928844087833384857021609730959635943312839492906926084715639826848903384046564323193699268237634331640405580620907431757457812717669915077/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^22 - 244950669441021593089711564795258550775454365786920724266559820147851516406262617293789177383140637085211787301637316923213136307123784171136380271929970776916151879984256118084696459500143736135776250089070571098305104596743193807011669953/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^21 - 1244504442454282635987354544734320655804568802352277153461352203142139884800376755940678282136697411255417735524394253110079208082553775094238447873508924610814125831820478656324499176259873572890691415355825004468241740328839842751064206713/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^20 - 848125693723309296700345861843871106762098420665693651070937968940928558973279917321700523572239239404244355489032732715100194665131280465128059593090761408439141690999492459934180513781776139540533486170498762860770770317075337493009943107/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^19 + 166903489612841575616185834596353443074494648573721847197274618304180825015702396456864305696737592571086951365770766862242586529301962398743971059418395808861350619039602074772285385686196662596267342744211526758185953698456742837343719267/1135129573423911963258045607914488813052646202100031463493226299787321686842096106823754339254861039349212712637418283668278971013129858181212200011934657419731936471417858684544210730777324652879323221617588119422503467146388475932774192*y^18 - 242636528312689662431899537889529027750124151850584733572580652975935307352785645801925327446254208849856374486582613827046213218047720523818299651495332475696924196576383096419263061963574728420540841117089419532693793179447138717577620923/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^17 + 404661086701997331107229304546028046108886572070194846986979008521636445061375204243533821068038052274777604176961500509808919704674597933833156797205650372977503284755829613181683289827630880453382024137713174998089734672689342270929200959/567564786711955981629022803957244406526323101050015731746613149893660843421048053411877169627430519674606356318709141834139485506564929090606100005967328709865968235708929342272105365388662326439661610808794059711251733573194237966387096*y^16 + 1246386295753065907346904918933136211950643221177402989425604823433301652550019919958029005981219363661840191466405060775255256584011715287348726992212885381792623429408590196124258804346391059786429740649290642095285766971985366750396868561/1135129573423911963258045607914488813052646202100031463493226299787321686842096106823754339254861039349212712637418283668278971013129858181212200011934657419731936471417858684544210730777324652879323221617588119422503467146388475932774192*y^15 + 779897238398402142136723145599082792309468085139113114813918567773961426897340694518580874761744519528115778387460895022075443599740030738588919011467602703036648500527807890510552372299379345656562397121241479374091733051437751807408042407/567564786711955981629022803957244406526323101050015731746613149893660843421048053411877169627430519674606356318709141834139485506564929090606100005967328709865968235708929342272105365388662326439661610808794059711251733573194237966387096*y^14 + 6917661474411617032747097034504940082322026026879991132486428299143973432141684202432685280923644291465134676806066670783050277601005179435793840083336135477299262386316765798295292925438303129270859342732293075291087950941835701981549137019/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^13 + 4293385996329460990108532255345935275582228148375488374764402531449527947237138369454067672497277200377448695919489327120896469783764829736495141703936633679663003776114591565601305579213494058183819261180920419521815733680220545599214397025/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^12 + 6021656302720681911677750373308876461265602570946912501124468500171279238195034365092984018857028698399386116079825820908747114804055579196972520203738997007755576822988484143260995036994819019204085047067019894641128080187607961207644372747/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^11 + 486136204766570427373723784708584544119222408418472840923564247292970998155857994998048913660078756973086620411006946135571643379222886566193043054637387846884142109202711525452885872123265101412160293053311130392270638401314713602785931543/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^10 + 1042277072823149444763685688641092640867148701048507884692399797343418408585607550860385193701440655477103314826315001691653187805992858233641638343186529260346860442067833348307244308623313919217667614670548416941471588423009449294149678405/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^9 + 313811330575596268880240198091802186571138809638012542932225478734219568337026556891415144657556148459108267008588540359256151695620800589665287029596625108041591306528918962996123039889708257699966145957850727520130166308918613617238524709/567564786711955981629022803957244406526323101050015731746613149893660843421048053411877169627430519674606356318709141834139485506564929090606100005967328709865968235708929342272105365388662326439661610808794059711251733573194237966387096*y^8 - 1809122515311883393880178373100852677859719769345024634117746354647792863922829186030761988639688481569355563965281540759312904848566646028462331236529658190250111108705524298484804565004948915975644127544208093909874614163987549868131897481/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^7 - 210530910170333263967338711795328813213214027362864810230818014567865416688426217117707092175119718290306507019710343893370727740162083954897594910507155689686581267336004490330516262569194500832887805638874497708045204893794403831469586705/567564786711955981629022803957244406526323101050015731746613149893660843421048053411877169627430519674606356318709141834139485506564929090606100005967328709865968235708929342272105365388662326439661610808794059711251733573194237966387096*y^6 + 206662886265942805871733985935578653007029629818895104380915712983207653644818928606556573783066610995525780278080702467533148848014820770218173781193646081702310228865236487036759891937449672152872822559105546415357245238109578025723588687/1135129573423911963258045607914488813052646202100031463493226299787321686842096106823754339254861039349212712637418283668278971013129858181212200011934657419731936471417858684544210730777324652879323221617588119422503467146388475932774192*y^5 + 153870595874969553953990436944498389684382806715559322660456309810159516594637154990475679952017485313168730884022004382854416139146437328975117700990543912563685989388124544633591904694492680957174482457404110124046731404651630798833026765/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^4 - 32396302906614021840291441829001424116684313479710208528572764789992129186447173395395670016091763501371579678010773860352453544158359665584682721359596647465335685770217804283745298310733275336904248017682243035691813993831781902599866935/2270259146847823926516091215828977626105292404200062926986452599574643373684192213647508678509722078698425425274836567336557942026259716362424400023869314839463872942835717369088421461554649305758646443235176238845006934292776951865548384*y^3 - 21626403434211183876917920397239313698390890758488076592877621900192005521563511112818089280107643271202842863397571091101313425367169649132336067584734995257428672597570724441772639611091455053178282339871966621350954324071307639721312707/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y^2 + 1546768228614143162183479962420399588939199706040386937703503700081449970114165440229489107059782520063063539353759949975797224801899333406059066176432694516618263204135633573545898476361267684294009542073385049209984388107648140660863733/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768*y + 565656501973462628674811109383099866275246874169342522221330034466940391843616587138893926979239784721353753787793521919251176199262620095848445586665737496959199806759825979182971899674346209194165609703061074496995439001583173185791885/4540518293695647853032182431657955252210584808400125853972905199149286747368384427295017357019444157396850850549673134673115884052519432724848800047738629678927745885671434738176842923109298611517292886470352477690013868585553903731096768