# Manifold: Census Knot K8_95

# Number of Tetrahedra: 8

# Number Field
x^38 - 7*x^37 - 405*x^36 - 1725*x^35 + 16298*x^34 + 77231*x^33 - 306502*x^32 - 1083513*x^31 + 2926908*x^30 + 7426189*x^29 - 13296478*x^28 - 32482553*x^27 + 28478298*x^26 + 92678534*x^25 - 18745393*x^24 - 162159865*x^23 - 15652780*x^22 + 188627323*x^21 + 10228656*x^20 - 176557420*x^19 - 12667910*x^18 + 83387864*x^17 - 2834035*x^16 - 19329288*x^15 + 6164875*x^14 + 2692072*x^13 - 1208570*x^12 - 835610*x^11 - 129552*x^10 + 283812*x^9 + 13324*x^8 - 16848*x^7 - 331*x^6 - 1843*x^5 + 751*x^4 - 410*x^3 + 54*x^2 + 8*x - 1 

# Approximate Field Generator
-1.36465847626961 + 0.536270044703115*I

# Shape Parameters
374806762778902756343097708464771961924238431047468589870109860827916084197668582415308666034359039402977317020117860445259289592808365452669093904476464182723/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^37 - 2647429214983693218404610156631403292119601027489524112911911526011681750137855832877066238992674746406396667344063208859925071615792319608173238667611842449112/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^36 - 151609456558806582892152990375800094075995493159553811490058097702689696011907289605613179148636804645568977041241631485725507806808706691007233184132469184017380/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^35 - 637061486478780898348601516309518973685500504190774489382798816081270808251522584760181261605166320432665462468522215879998595191252352578069896991406354566610285/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^34 + 6141241736619005210795568334406228028457912334383684526383977539177881101132517690964951249088194323104692188642458456684313623331077959851799380461651673484208454/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^33 + 28525529596896269628648482328551532560660849176834309900606349444810049206174205691927038245291942264387730157036665825096976274937908164765732921080857325878277394/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^32 - 116368304132581067987489894411139637033660676274602779702546322382959759307193618228645970263448499464535012469917935309891273625931797955556422985915809223648597240/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^31 - 397312893332034843350496626358069220200050623471314890593275266173548863095206244993848893145758552217310232603993439377999172823268432249091339864152176440512419900/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^30 + 1116041919201386057403977206500321093280204103931683667009243693749218751599324921055462078674900329472712068130460861000615286401876944690817604097095278845692537210/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^29 + 897767713246731262458838263528504823802912552988630375622131890397862167406619304760018870101129674029143254244415084562993638234523896427939103032680478897717096959/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^28 - 5094558166160891676525899433827962337508441264755943566944859776693771455980478665815124787350776487255869250733924406254958282149922982258015819326771510933990604677/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^27 - 11724685238271774771217619752105317797339370455509288156641707026015878963099680887992212461854420703366984551937662572401973351674203475382324862003414805817427586426/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^26 + 11141907814883783992911905359328423296675389691424067876603973114018179578019626632627935041590141249481512623498070127047159728094485181832208487333708652735301616177/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^25 + 33482935709861659172035210415332944230205453116636760114504619107411169714546819229271414908186892346666045502703152024148251408082155056796136836275911966537867942205/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^24 - 8522112581025327945797530279072179477334903455299300806403919217120384581080116598167070751940910037020728366881522684719169989811553891105095479708144313234170643203/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^23 - 58662839381052549520309337584279450668044171785105134284937825873497834324481814701704273745135863351709923182956238315121388362144155822511161158931219343313305653322/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^22 - 2751100190352988957819843178798745580884027324085485839972404319020298906130826685992964528696944057128232745109408178254294147269384176649058598390598061555864940394/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^21 + 22694888787804343454431611965310584370559402751799571442566161109860290211887495910872478980563441688119940177116122551131082647036774630870239080680618941149638776698/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^20 - 102087861700754848389805723626270829077990327420991317928579986445304794499000735061397245558683855937362350816714627876198516868159391691228556530848433066743720148/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^19 - 62926464731884427101062972427399305225914513407286115303210303065175361661571921571553282290620908706333408388716983855540435251710127160461740326398045782778488113314/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^18 - 1144207575892570574321436785171911011785182903569460466340498925045030379267082565234444013280001443973860164405994257032943339570989386187455319934656257331613182285/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^17 + 3160702946301440159063436552756770018191889304639965529205979815341926534609020613366295543912774750484820550914783542129297412405701693729825809808062646099071479305/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^16 - 2668583157324593981523950122724921611501215927483124035696611284258040278713718650238973648787073280222820619425540022064981500180581621362141380714387539985971982765/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^15 - 5871545472124582864366936639925062822762656881586705740762484733895955934315448434912902075511507722336384081844679844854465104867846104988828429158895432604703468362/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^14 + 93413353837647110139615905858641561327861418326852892986373750334675988165328119132838825753413624408759996630059206395684180884503315302263420433109092618276437116/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^13 + 628611098552227214784874119294412664432443170398037135228205847201556966806752824045283854383328535170566758310038485078643587923113563454029265080877847046059404876/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^12 - 133760826555744175144220297642267467539076178412634481955717665142162666217053304295328753415252747811578050476856025505013936211747873596221898407034877465042559312/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^11 - 254533086960546595371541097262217968391622585212778862458697934105513005493943322488786351129059000749153033480808867152898299947042693424335578722577025528069634149/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^10 - 45906695602905521757771270368868816657780398866516782325355270805722853745436135538199771714216812665794856747394149963197757412246027802917807433936707849103887070/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^9 + 91017309220075289196705239183310503904961858002425370880111748071596561911671939375431706233438551278159570837713203205429255681583915315278172335263141656511005381/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^8 + 45939899785264693380802842679232407539151666415916116085126677396590751151909333231199592718395567890112986660097728481961898283356981845227883851204395688429104/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^7 - 374896270060115123168447243447562941449716296645966827823021182450198687841765439481592792163661208644334319165168704085414477628394178419050103602077644623293956/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^6 + 87644594136865492548268982122218409178371382312631029088860509223209980943633707234441880009616822517949054657711241474140250833875498218445037502691376951686521/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^5 - 78075539252579950649190229588636106385289068061206172420212242683742786715099387333100261309393959641845070808841060963326285969985602462226196037876808779445561/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^4 + 244776353624841049950132848462397493391368853418080821872310795828829942235382155897000934717279865623325308041757727783847751498707678872493589473543976474979596/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^3 - 17269336750357870290461567229597860209184174398213515980088541881469158466170234575854867790739936915507872181451638035903772931712256105305940264627088481280719/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^2 + 2591533651333121102996298564455092323412496639844096308403859027119846410196777355367950314523912784250611445568802498620993111595972624674498732739307647949826/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y + 27582673376702558631847626912200911737005606689895145916394303375471602430933568204845409719428534814292312553965705154224658106757873026841388270788176161871/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199

-488844202827239318564544375344991137057143323543599121302909635664622766869904866660040200952203164440843981860706065233676458811732422256237859696777137783127/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^37 + 3382479859318783259332270583947726944503550657407125878203969222287839937925438093824631703080379572735088374218495888775824499004328382392294600172744652150824/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^36 + 198227619096312697327137284456044750690708471727317314430196952265600797760673143122074501332143044653725750281368240183377797117212913072182572678320385560019331/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^35 + 859433784344898392798664100389510983222916533403184028573130692245238589912953033183655702267967653574699134251319716201253605144834171413786108972941802305571184/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^34 - 7886880125046870372777826649464889751486377603888493276887451882103450711697032183070795046984215771521286572606532313363919411874495911783636950984840631974332293/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^33 - 38342860121278154179132517709914143591765693727689459802893717856508274548674318494662966587086816601204140852747518509744809788888335971461566260462528555542577585/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^32 + 146300883890226080544661582590972387977037639614329152643650547446020127776544367923473634757023458174815945236414323790932705398489717723805878644365080502740027970/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^31 + 539367126271078209542250759353171027678279990548283993997788198825239300348396205340161259692325665130295173875316563325626645565963353442430443695561027418577754617/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^30 - 1379144240020768104797006957948246422162032651577326806959039793203914972546264030736198919103450915451584659902177419191034860969659689162897760361212798504447214296/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^29 - 1237386158970790001210650687143512386144832264854840249729642339760255037160165824343881587696832664210702586196851489879952188644501004517173258343464232750972303428/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^28 + 6123697610125449201623315036813763891958483949841880950508934662627436975456403840346686034499350396559444792217474235977625319474264990184222188318892886279540224211/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^27 + 16173403142692424973318851655592043920089771892864874513938536957491974802925620194078074317830100868508084380498468667513976204916092145213869066051021783309117720011/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^26 - 12277721029134315284159109789832881492418874582531114991537761031889124637507012745093188844187482850002117051983509597328681595196401967352706785016126339863255989017/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^25 - 45433769994091455431665831920152446317824682344516008948710042851645650432253614592745700505823498873177978238803768607672889934449527603982688072455481883495305535420/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^24 + 4820183912479430769853772629557899427739804744170618634170143026590869204776189582058419789880964539541649120598522685828590063269510636347424236488791713287311241918/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^23 + 77255446302420110277779753401750381046772456064555689650137129509105439104889083149832674210968834168704698398250967345661951726084362101398388485357057847808606930671/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^22 + 14175141161685954904973283903974399117516119615425516568590419442192106873534047698771556233507117437245121796476828153493928608442272495884158696980939401706972193713/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^21 - 29010019274490960856027112716888960814931526836658222317328760900873571051566971313998758713566967623352678681356434051666179872061566117085760792019120069863727826818/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^20 - 1262598767322851117197754193169554476866302962632707054834291855696148532977989811473270375861602994364289717964429044282191298280930917824750353030001265843409701795/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^19 + 80917308664034448008857525898337254520023799341252267644043229981943487408137785079785798180375126362719644070740768868465944662572408227027582871392772650882387202120/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^18 + 12316006135541390825125676510333288411288954388299586385749317114346461218400312741920652067563406940017198833051639223798745228387930101292541286750843021896517214123/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^17 - 11885526772265628685880688835554687775240693735975310722938684086639040244050946355384503720172310036108542370874747800752070929553104596047496552616089332347349659003/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^16 - 964262296447619589531309730147498450790491981752316523417636673686257046713117135917769048150337054710491203154124128495037738222668763706982397625985705990129485996/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^15 + 7701078243347044003991386839239867190466831538267699927947919635739550923192781369471178177055534922219706616387303935634404753224720109528237629053745023346427485593/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^14 - 261904657998077570194921326900383918694598625688751989573429826009724524378632847856287387391609734840596254107313573340997552778869942019472599914630427007521395999/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^13 - 1152131498213907182889960316804427782948226935632336435227992603321088317073369913661011562401413418298793118607049732190782703926189978126441072733933173427576461524/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^12 + 122599581349389757388530255407850565539825773237384657594195417240705348031913248712822508547912368125762616518630242239175100667328525001839968276507166457585371738/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^11 + 376354296888911021869109659867114166580709195224724869273469971419566319664676091298240209300314910534227781141359445969033608472367097383798440486824827779902552805/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^10 + 111085748314573544698442181323909180187967631879078176887402099979747639461477268246654721962191334628386175179814696411609465690443371361486314136175236620656866624/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^9 - 110255999684526378409408999473094647198235183245496569258095101310782885002872843082485848373014524645021366603625682828125022294894035656591759103894257230807111914/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^8 - 4344702977108823481560543552494296379606956811088077456249136165992968440727355904086665664104865186268262814652747827523164167929585549588709857581510520106579045/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^7 + 1066101678536581319278965073804589616770013619623811566942743528940174858480880860756176375891863867764564911076377601688834622240425442255996050117065656753205358/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^6 + 79386095932111659169680651933742916164542590059843124292659388585542588015113327664733297784275226932650713558180335816460600503412732144965975964972561314811909/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^5 + 329413193310964739338432680643815482883719149437890022939573338241095597213309139522814606927830190842673559622766912627210971673459961813643719005433145287078789/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^4 - 277519055761570802865917963485166870833808422267691584682067164110927373572491974389596068452451918090522244933198828810036427131906558217324727025323501876560702/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199*y^3 + 61095707223466179676788582848684985443745026648465580187039302700011038450703366289264691103461300649463548546754427285856336777820300438984775644384653051771079/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^2 - 5382729094411823617432902745537891805603938623167637001209695445681463291155092208345728327230669792465841402794484672685422275770425030924130295636808719312804/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y - 1549580526316325509164953179834684929824116818676044623537015546143977265952094302670184923817260655474156067361048887472660411061579762974404323622923163113583/1641822332224895871843677779128733923427584628073179818484714750390939163032550008398381888084083847549893729646861909737820648969284356600000572870709670390199

-30698698170025462087316977256357385745280676706243490941941255807901910721387001624078724918516275205291806277066099879158022498150299788033609865909359236356/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^37 + 207378025077637557289289470519888459092560901012070022303856543771927020724941934115266162807768382732652762275731249482870617582714558504081649515957425426656/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^36 + 12484230970180483847282267921389715027261975127220362672344374230995524510536713975051306416892057967679338546644984226701443656600082215227220730589323659816079/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^35 + 56006876641226256018690050977041662991161105117353513408491513783644229585850133730553992507921596609548916069335072793556502452232325286848526104005551113899586/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^34 - 486825397707852446109667725800636869233165734643251926677424677453429722945983052820620181581307095004979584094585591049017711282398441735498863826486434806332163/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^33 - 2490872835404144964994807334617521727661101655943705781794684066613602888792561854370379973158135658509957545384810396092739614605983529598991999392756737064097766/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^32 + 8807970387490681114863619082657231468595270797320911531686117425482919131594654342193927834787744247576425409817174537654557656110796297595182078998193903810933234/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^31 + 35455558591712481923097930371615502280012860658615552943586170418109381598819269921357863085400861242624923946181306759180148517716178274739203732386438553207994118/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^30 - 81334647548840178987348606845524514700470551973310214946068043209932381999557645437163214183192125514974377417868395999720643593352809853642745094272224133171756409/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^29 - 82797583563551548541306978592372401823967590063861335877936801675926031318218947333520702417423217676344154324464984447751046695720834425367310308152996184902829819/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^28 + 348921978729016241959925295493397607423837759460709995216124850240541858004748316300200956620148312818460835310834519740199112489568716424516016276691206082684416108/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^27 + 1085947539749162478757710615609028323899839041166821373651685175075514774730089445219683426329921207377956925247910254994339756780731831410895132531771549310245536953/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^26 - 615373125905540301999804560451132619809481549814459057370563548350490840282772067012327180591899216147980078673009318643313489824103617683724478410549104446990867156/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^25 - 3010197267776445470856876210836935967437685910579906685646783521428331144944896393119759093900062938161214441834441782135242941875547313847744709408057434681109004778/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^24 - 146306553877667606251923809946925965183348640766145402293775442017638504286593211913909904695752926669017303427023023018304276963670364061091458924738468872964102672/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^23 + 4983179687904853373090096569855836610794261232954389787769344399736976572625218612325507155666043638980221919580073947280746714169835892634787844974166136195488778173/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^22 + 1688294937042974542306596658307004419816975023324830229374981835241352305868219655748891030950742663923415985198983669429650676421938571213789087605854354564184777546/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^21 - 1815719735857053529669476669071130431547978248668070128291003457209527843014281464797373985534715300469768245606357836058316360406201339393379007533698229821775716265/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^20 - 549453026130207468262622579413986727716965908615007067468066618007844705638872879328261226750652710423877529266919129389285996017753551924852520158803740163433257728/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^19 + 5093520361913512206567012973215310676657382587810145708382986997122906043036795175776754273186074403372768954588273985616322565074299399888684192210698024774735314548/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^18 + 1630362323398731567443971360393235885064328675453101203564618390917100766042523993819099490338049100191737164116292418578280962111892119805971645089854860914926051198/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^17 - 247463572045919348625357901983811509918953261158379084289289295906119674567922083968000486981115870658627373725082463502721567515111947848487946925868037066584049177/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^16 - 457517428345542870112771011797793218230370020235115885570877021941916976772496527329257261440932699892624498158326425740402389480415887762851666754809747762305122709/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^15 + 503629451908257805585961551945168185413410073056589282252984648039874784182232197469788774805365833786501059765053996491708975943950279744258359666836081496862788604/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^14 - 7574175350964125732782686557435787530633606474620888120509373036731708692480525976190758340099011870203304422575537522969434537041620857967186206194906826159463527/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^13 - 100310570433167296637086695846514257990289111415185038051659099798562850245086687723972817169738304314831107346887855963569244445534424671818507949639686422533125340/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^12 + 4652013799608156648688060396620817462652111787946267548298411608524043797498687797015226574431009757250049501245864019656789648250247871950925717797862756374152246/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^11 + 29047022765839990501942225542609037591573589507402870366552486269688419002739620743518410367818676234699596695633520476873576136750034637737055603840899723531891658/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^10 + 11276285968245686626550342635908343583060597373103588056190013284851723602046017693488022389291748547672764550108760448326380937091876385001322217890921333984213050/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^9 - 6412866389910310433685916775286845417557427800216569708745366975100784362751994912123731011409272238868510251715944701706583581204442290334697004882751068843562618/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^8 - 223180160092068861874760009444893562228686931950707964802773792636332400876024542354488641762977642264558645660898625580994876557177038396243054823884926794904384/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^7 + 8387754587441807100765258205075507547761209569481141220793984024821924344262604511480835506495962492855917773642095539861452887558036677653783632877814010851061/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^6 + 12397395215295176701789219575172465885531525387965681714999208687709082899101977430046235849709489889114288625758834008292549991713677221163844511370302381232282/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^5 + 9685597541334696530154533475510166035514688631680838668390844839237903437066180656410954853289977439681724752289643853896038429483187552958531536982110977474347/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^4 - 10662242919521984110392491880743470228114948292646941650912726041745022633337123646246870881123423664710931395146391143655741005603256298850871497381242066283200/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^3 + 1234486590185838940356872104845298246778019724497575798500735892280332606303785607563964739680241231216149589545128905645062915975354945622781278152382631104870/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^2 + 12067292733584977476421079468234702849652537696566380974630874141651243763822118761647922760900578672843937489317510227738436105733963889159529669517588795954/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y + 150732287312134516070629990383727272229220914310116491728705394247191429733636805150035350057876432894508101471403491510355325133811030258622673901675209859297/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733

1087064335434039034391527207220002589093018347982507446661777108487206382417981589826352131422520227935579825137673916668966905814240429957860705361452081924531864383/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^37 - 7041268827719722011226397740306971938308629894504024017684288975296065764268285405737443338191690604605098539825666760685408766412652208027895436962254120685926504709/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^36 - 443952200484949044496562014938640675620145406391476524724649815388835198849970797303509081960780798570924663635398841021674532555290638725664750659847233080656973846939/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^35 - 702381415007198742663946388335922143816578560679004989848129710475720205649847699233960975638041311760001357261615914297549519446892462259650592759263892956160768943769/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^34 + 5539983502513080923893719908586253564506198235172613043896635149185866778093400775379089158795085926628038874122375276380672076373712475613402786554329474761136067808330/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^33 + 30885727172229883946641589421318081493012521623981512820282666444510905106012095629488776798375694603714454808474147902163587877965950090204224320345704344741959565772165/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^32 - 31660794061733453229646649099095255964391275434091995592177138675211870406841036059711213557825160284206078563904217397150349180283540365637080070907388802251776394911524/424026582413222322997603017956724719776481270149387104708214361073586591853993628515311237748315094511349085482137614487401739982136569700108229434402098046019136749*y^31 - 1327472653784342128427700790166460829400754218297250229180399673684326700390340170967562802805236697066481682212409815384718213117761431921610241804295657641210309771853215/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^30 + 2491792374356269517035658645645567509485839959931355179541582762576028800450104850607959473423659808141907706468622940730407245987365475818926708252041137800061811548150921/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^29 + 9383887332885666906994835821607797687036005218386800417248915139387164036398679896561875972683217226239654748273489090528280386818313102366418162171142800547056027624014567/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^28 - 9588539148599187712193999912445519370541273278601160103361852376782775647726778183976944149373411335898938044413034454117024577592642808519013600357232147526774465479482581/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^27 - 40372772632746130032452300910036214672896789885184429577154146715623382578725546781120291259768611237254642084504927260086511338556188593306688907608791227106363797145448038/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^26 + 3348324857304218068836344105507367137352047020717441188844578462217891164331926404643740031592331203774787994852727412392460251092157433009479604446847092609038668287874362/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^25 + 35401783524474983972159450990071045765529955921793180937319949625881391657223456236272999296060454191778291378184215668025875178152518003461602163558496976156584807330648263/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^24 + 11544955670546427726397012612413835291701529691279453774318522323309582481496892714855773137314173543564007144639746895320800151951499734179589833827656417808182042452775776/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^23 - 17645240603708342176417729883157798325965312770389603123406727903096861530322447933934088728721449359328263987826460028239673348391909945707223666048212953720180258496923625/424026582413222322997603017956724719776481270149387104708214361073586591853993628515311237748315094511349085482137614487401739982136569700108229434402098046019136749*y^22 - 33080618607786413862694580005952671674177333564915730483278871989261756654673045979063995670196334975375313011305979612391620873732599106062689276142591539532972827669356112/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^21 + 154396666736872015939407215338441505348276132167476005343391693834368047504451127454282156066436659829650590805812043182554408393844066422739742646342679140546931822826680235/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^20 + 90888258213637124973794175041401001521791174509300166740141828500666387249370883327173125145320421591763228210197926778680884158551596597428329981887401676719433466090066834/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^19 - 145909568648811704886603936608540468549876124564738406994848937561484675773200219242308718903327034581268154596418111157913273939199844532072540444100932564289988722523632615/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^18 - 88801673642835420502410610649273115814043502583086046441659818163376833455319507001982902270105017395623338757431674321636666295086609233261744617672279150695833169927553175/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^17 + 45422254693263583011389946931639733803910961927129226627386266117089356668392589451495334474498647576218116139908214053759534294285307866313440467941712718176337203868288760/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^16 + 6557259702495732656798370929180815259802709673657775261332408936087719069429013289140385000903610349681075277248754852219472287321716952635572551062471552742331559320699838/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^15 - 11066436197375744409648711562793012218495243208345591136233215710854468377426497262313078711174399006654270777150959383030750963902697126864103609229818627468121020144081234/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^14 + 152439147851552985112838435264265374571722443554985419190545759695851961936452171257831616075805146983355668864194567637372768689333851005848980521749237664691809711127280/424026582413222322997603017956724719776481270149387104708214361073586591853993628515311237748315094511349085482137614487401739982136569700108229434402098046019136749*y^13 + 3609199317970828061213043491564652890746942597837743786223291820722711394479852728337019940596782111559424830097455549448972541394760217347078120154662439553000107227156973/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^12 + 478562160514758696111087055275700156542288273108535056112215423560322804540222982967061314923950184945735951427418255047876032954665385234805268572868470641210555279607470/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^11 - 210319822819513653881487963401216894727462828296609622991766343113537357008909173707611515275404761817750807105775868607861218554657623745573704405030018279937982203449201/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^10 - 468033210713112236544807382112985423275447697905940740207753135524124895182008052295552749687766378458313682322856580152269158913631944961225792068168380600987235928554168/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^9 + 69434715963586460590822897019369467849695172888698593648814866958894634644156070124493455898101233048388456743098106370953988717261965759583269981793119649405952052245421/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^8 + 46029295525274498005502172858367521327933463508565787128187125000222003917618936308483168031664866494880661020541240510681367491285541756493726100040840707815262566157181/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^7 + 4912071297189668810586065385958779269073553353550219959350594110047927048099088470068609827388786247124336573249599756035450129658459352410684776675747840082635125965515/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^6 + 1072052661621648691561461415899595206481032948559659739875322558143039084886952339529110647381497355744481401780312079241866518304472273665266842571737622166554301518550/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^5 - 354795822843976381749754568338833867261600494582450451478244768446436398301160922500483062181109214277935690320579109879775619822901193826083971284796332523969986323083/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^4 + 71342123420392108257800048728384347603478522729729188942829992507463741438206184200759821016711896337133734295830168361313832058596312122979351694901278204295463758132/424026582413222322997603017956724719776481270149387104708214361073586591853993628515311237748315094511349085482137614487401739982136569700108229434402098046019136749*y^3 - 158752201658553936344399272097397402956256222057495837837502280836270156571925601461851847762242522993489893373016773900074595470774992269954120352930860262521525156380/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^2 - 13489206464145221035400739122503532994956741555026798007287998571519584519728033982530128359697744191334710778633782392995168069131911418740346984995249472735431238782/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y + 3948159726817372978562953761239887112428778695783250975731636947967575354458992002527270249380677810524768040451340592576467593750870079434387259326507270075984869301/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741

36172142095969717950873304969666502653788667338828003138287779384765880004185578909305847318166040224448965128916062288346961482602238585941180417415351953105904205901/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^37 - 505209662398526711491884828228491176905116333415471449878160068218133995293000120434799592443695561107718013180713425406768003205972997450995123505378133480996450536907/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^36 - 29313107985712694090434862676890599270309711251172274127024524813157709324608876922552474612553920205268647837569777400330364984892025285816500588521171227402281323778139/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^35 - 62622244261032153965186674570926496425891670044338558933155806037224873041250591818751492276595763495999510671194471769272317398930542361671540250207296346245077605790030/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^34 + 589570460724583515806301512218165445700814071236060899875810091333724083173930535784905380138992710371099082628952947408910477682992506073291882624341523595177826028987010/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^33 + 5616425451181204844509584377665643015209093317393267248245042157959002213710859185233799391994695146540611934389710795422025621915612624383339989230370680965353633937472347/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^32 - 11082306291083341351073822902664684188820404338354489527106615573899211816283733783930688418178371728670812258009906861570774297627057399753630460792850565624307847202227633/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^31 - 79183528008736804231168535599913448222495272249969307348237297557610034852136553243438057109252028111356776271898315738307884525324752729336847208168248674733005626562798841/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^30 + 105979223709018433202051796954760091784593685986157757662857539530807254934036465393705948693994911978497369669564054690228950650115306843352743955042616901531909993621168075/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^29 + 91150388934356957687956944705219845106651426959727948288313524891889390325294183610597549252612685472404188922512803580416396713998700519094033160976296021778570293964183342/469397426731437111558346540878094264792564766055371524911993297708460357182370946766449540187384809624063437628726339237553726160225182658019809983883122536943184381143*y^28 - 483512651496734268835414899277813035887279534398826101082795792121695545969879946715423789557833294312078143645274419278894519092834210430887356884346954900189196554500638144/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^27 - 1204641193449405875926383680598564863439841510610929852673874792959166263623161704817416525301455522902765398095340101698107773349431670774373431192344753727510527889751225654/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^26 + 1040893657283122003128371619180346362779988915186535368336739326930880636977106087346851130074642509523133147429222075319314295956268131683914896622189857777004553809237488320/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^25 + 6930169592998798755722757845902117182378401911406054462028523703757976115503986855123212340417707629705681518929536037599100793396829254480666369416977284947247367760203863587/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^24 - 676513860730146884868762669800531953730110221992430715717907071468738649328413025059555946198105502900977107326689529145533136555813741888514855597507179688205200564253786400/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^23 - 6144740477882205157106523438552388183825997143794978244560768469355026280850349030543894508920254819362723569476563377587993884434386672006001943022571081031587679629457863349/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^22 - 1351290768956305554854173675396445185866941848934794674020742556791632967660498463228187008170824262049800779509191513895806053596748319075599603618936555241182993684698263007/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^21 + 2421722413338088494655149502815000819344652320564567065687553395639774042066025473931826412850149881253784829442277306722297893300692276636051000427256901684793176177175544784/469397426731437111558346540878094264792564766055371524911993297708460357182370946766449540187384809624063437628726339237553726160225182658019809983883122536943184381143*y^20 + 424916593732894672051717810336435070427790905064762695482886519589121153604952105036244774256152615726417829874399733445461698623435914815279187629780794061563089198333270359/938794853462874223116693081756188529585129532110743049823986595416920714364741893532899080374769619248126875257452678475107452320450365316039619967766245073886368762286*y^19 - 6884796384494486491810207495957815622200190078347209252555144162403683164885808840194997782051801153001844523942166008835829707460024701635306837898278053365895967284778073062/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^18 - 728980970558168125119012139696735282470364154436359655082002218203324381828537222517887732615626678846076626547277600948943041686987634959650295212765523563552170716487988526/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^17 + 774609234462267083753829445534672431379143766623553077923289744002133774999604034280703855285459915267013074916126538172732552462612669398281324987610971286956818262586557665/312931617820958074372231027252062843195043177370247683274662198472306904788247297844299693458256539749375625085817559491702484106816788438679873322588748357962122920762*y^16 + 221318326594101657663530444915007799900427097031995744240181617872358591348662466596405218256863755806939229884848592716999076704265393739491874446435149805304246621049631257/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^15 - 929701194431482579574471373493271569507897057724735955350988004457469683108495129917867845402177245648412637915666148922681648637283500233920209200756880983921433137767552306/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^14 + 3762518164707430276948148831552864377561417450764012045648421430605548618640802510760237995231197450463283122809523107209638800319201653832174287425172869747548061924640039/34770179757884230485803447472451427021671464152249742586073577608034100532027477538255521495361837749930625009535284387966942678535198715408874813620972039773569213418*y^13 + 161231087612835857930131736594944950677568163180053350568866770226123989844928551555235078214726490018454026046758260925303732148995323024551420118263097040580943545940938295/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^12 - 13925739809941751484235878116362942343962447611608918336675609007833055389348985237579214451624385898419083652827036418379572133486761102213507722523764562775791251124524891/469397426731437111558346540878094264792564766055371524911993297708460357182370946766449540187384809624063437628726339237553726160225182658019809983883122536943184381143*y^11 - 44502691699794979788687030028805860743111496543001148472909543440776781231136938714315244262265010351892706702783862171962669981508961834056795944071064153167923001430858374/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^10 - 8385215069707635015526285479013286127787641024631219649032764596012624592545103352074164128759070916045817221717423182175929001452353149081231938714712135719078276638374695/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^9 + 28049767833272878225582432963431069537817921060752013901924286117465274162659275180058700276610014550582407607274628305047979741802571113163641959988564081815571404711964901/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^8 + 355823164043381987350263691996195537080811766135944726289599200612828198343768484469336814965859658556007691272643923214085609068193185618057751319889895439140841467295933/312931617820958074372231027252062843195043177370247683274662198472306904788247297844299693458256539749375625085817559491702484106816788438679873322588748357962122920762*y^7 - 328607190710419709317296678832633042048630699868730230615400955916585440291761653978049934307246652470709172842799500925559907642042162271524163197470795009435317989542477/312931617820958074372231027252062843195043177370247683274662198472306904788247297844299693458256539749375625085817559491702484106816788438679873322588748357962122920762*y^6 - 538090210107822489027652999572969738089305103591145571689014570122693963290506172002899532665464933183884972271447685737773163819532650604849036005632100274956491981045573/2816384560388622669350079245268565588755388596332229149471959786250762143094225680598697241124308857744380625772358035425322356961351095948118859903298735221659106286858*y^5 - 1063003210813733096195368557596537243256374395135684696446158014060105318439177050409811619335224416388265518122508917739440433271029566107614480578066456801095172190149/312931617820958074372231027252062843195043177370247683274662198472306904788247297844299693458256539749375625085817559491702484106816788438679873322588748357962122920762*y^4 + 41698514490436254825893735795189947523708006368183113376322152720591255525843139420487549359430220864367942372655865452844265764262099381649051185711924461387165366395445/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429*y^3 - 1551832340933770066289424363100693353887490391759590877931636704585395551623317588464340525478203967291705508057308378107421069319245835140802054134582969287340054202248/156465808910479037186115513626031421597521588685123841637331099236153452394123648922149846729128269874687812542908779745851242053408394219339936661294374178981061460381*y^2 - 15963978042256588023291900989118006492504919138439746313955838497162837992402782885886876108313338705780937284884130250705452176813278359392407714974448056777691741578/52155269636826345728705171208677140532507196228374613879110366412051150798041216307383282243042756624895937514302926581950414017802798073113312220431458059660353820127*y + 2591328206019742235107824935330091368287623751211795940305108444078799983533091837230978835853837740162788736362100634892102970843943588883622769915674208087003157029773/1408192280194311334675039622634282794377694298166114574735979893125381071547112840299348620562154428872190312886179017712661178480675547974059429951649367610829553143429

317545270876494015779555592745631292709005849360803049816823519171599813530927224735606297697797996876269792527206962422552233287710769935261855018107180808916036074/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^37 - 2087692455201897525339937047432559026006165641856970420669748227055261252150578830190925386621949432741901785716635534483262272105815903239885775559987180931020773557/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^36 - 129492027933722637330241447497926354148586348102743258299168296197132953535289596099677971669720258101003678888383560716616244165802730680171211761394877391557865415622/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^35 - 602884148498571325188666207950557140999699533252954554598340386237405338536515528804598135842371892591315234129313692127774043648463500088009954557728888795318234708292/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^34 + 4917928123292879100882157102610429933121425791125947073641201074108165881613609929753424460233467462028125966511526095417908359071944268115612677501410563805161737826084/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^33 + 26613650897088152816899401133305765184524584489423376485778573507696764242954925776436899804336118635068013410093538782183504940779693365487281709108323847852948366141488/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^32 - 85964938833279515384949060127767159483133102001586963511952752731234379803578356032348611015343236938559875467389032473802764459420373522182508967454821187911688539390890/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^31 - 380482975479405505406643248912280657234952029182975137838001894102722943717381854575273125010136410323272330880009655785134138316553619912195665130416749650042892986251958/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^30 + 766727735367366837398085250387751852277999501583446928420622444694169970533497350133683978135137191823662573751137146685400471860052154174456198309955029490438830770018211/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^29 + 893999303564210267360769759088966019350679454916169804987757007436869045026633569717936409748577717877150472939233161460865692324232748825081644483301189267886471526159762/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^28 - 3072584333725737355012216539586535810390564101298783647190209779093166871220989864982186434446520109922431580955905230258078861640897856255571097104934140744907964794805285/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^27 - 11604069813728745076578133964926144092172691977980847145265886461519301262665328820166061370459578653975528824069861671016556020790577728283290129698932091813227923220851814/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^26 + 4059823912164036038261447872592050884110330792917797020022112070338657333300657228403977245753482851511388958069893139837690604694218442997990632193635658882285156902369491/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^25 + 31067914200487802237994439497880620757526527242379371142169527854229270998225726492119800511173185860158756201927022157883587606915676704990811599655980796813541365055914343/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^24 + 7401034274611044877692745336384850922204871484904852982281923800757598944868542025021936770552101711788040777521956173418280442821839736219352016749578486405121877374495943/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^23 - 48038096020599689897086725852305050181389436586423028094588958335437063206077750699353118242793950752206286534235198484986799823134390225382602566700569940607707182825113925/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^22 - 25608915111900615973032022097428716873648963563710449670264944915326905800508442159480405019887627498994806079670775350360328280135516586152982999407424414365027717212358823/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^21 + 16103897348997639238560018494526277915487261022532819815455812709167015389302075431009743412055278816022152255977846305616763981132949529590275134838592852207153342325024152/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^20 + 7966078291965834062543813345546334103944230649450845713574538907217890182867628118213280807401503117134847999714953417165881713374142193958930911104965323194735702593792416/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^19 - 44897373424684184277483344531354092287396603014937386653736178250125809305947886386691444359012567718717897415053929908148572507462326007717395721067842249231997760504544630/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^18 - 23076788784607925418265896915362077086179619178935879085992101293113009483639577578950401542053839617760982821987646864009668450963462188646747276426314461880105433074598118/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^17 + 5218661542618324926018355744962891540031486376644335709148317439317619226342816882956642280707581688306575734008462563761943425830624340569683250189520874624972525833187882/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^16 + 5707271155904542734406113755065735517395558483046189255063710201557115814231118645000601682180385848311299594456630732988947903797709127265803974666908446856381032903517446/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^15 - 2971201993667340316450468252797290379087132028420671030978889960570514019018645785919338174592359845980266467603194161167741305043439879009721741833178192625328972299122400/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^14 + 270451758628081243635007031322627760802753215180091560022339452600532074514902594438336268152633765631154385361883374544054356098917408809381181122920013699910510290730935/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^13 + 954885154486107421734449895487578654753058450133224603293642395382466373276186250547490979990152704918450382847568469726558577332496013744299325389207872480375465534031470/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^12 - 2799551488261720980636778860920113121409790426816673627938177270909245790443907859370901202630394361237912051072634343240753558530889778294794796753733744606810906077349/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^11 - 236785437293807557780981920576164620305863503571479538140818199150754429752049835368505230671402707664193392178383205755523369256529961017935551030043062768283518618775010/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^10 - 136055790111604629521983373231179883689847137880104439925885784339438602782093298155726808085388405680479933073285489538275889187921876435957632863809527032962153575294468/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^9 + 17503355208600857521628169125926676334281560990747379103668070595429374733401140907475012085358241134051975079806316477410327467153494367133365468621567288249603848519064/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^8 + 1012225253480477543147533875896259296297765217956896203038494335316207654118522446527283155861699063734268734873169080205678789837877651049164009041982999117074409006079/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^7 + 1720922387727838442503488428422892429903015854940917980907904380969550246391116176661826117224112826484460102521266618354457143935375855612553828570565250924904996754911/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^6 + 2635713186271414475581838060823443817947442514491329521707243513305447290032591169008166110301168460189641001890760797419121576751275425756010672691888060035372270795732/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^5 - 14036351337053633321772043089261926394437650179272859399095080540386688673884782926037376602822188713512826690521534852809056879951391591550776078125313359142225324693/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^4 + 20285284632131876879170121443814323861665727287448280715285703786797774606408199740642437342214762130571526352761996537478815026262429226763067048853903438898464776119/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223*y^3 - 87108365969678519578381551587584597242080360071765939383137261131481396721893602673910324803352018538447095574115635923789758127556344500203511556140732464564122422750/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^2 + 167338589788888440093065833298061533935809754441827310900519008000098465997008634649604083406011557397897001388996311829210268892013861325450896992991981513418780690/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y - 24440232965582570468052394409919831879623177041755670265894118630572249018402115671439925565797694456956528239963691662843632243900627630805736185683039237336347674227/11448717725157002720935281484831567433964994294033451827121787748986837980057827969913403419204507551806425308017715591159846979517687381902922194728856647242516692223

13066469049587456721737968631825927652424874791915739123794728065366473021653444938166100293909401878219516977909457188682301960376949983374953180612091586044/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^37 - 250820039096520202876581921562087372931526156060832710026028771796485549039857502935891976591092461630451141750103706620073583953008968702521565369917862874031/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^36 - 1781047528315530882429447293602643866181460947477597422670865671160638677207891003503843097950949969295674687019254937989035604904176007818685773996940401979515/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^35 - 77240993433603287746685777331127045963807346755544169330520025996375248933397480702231404280691240312495436714166860066472862676420971012761084853102956875013669/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^34 + 593564966011091986873054453890455429366419098752212481113487544607977676180808245004892520593012216002851207554456516783267705138478970244240612478875651528252874/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^33 + 3389705946161635191135712945795044213714487171629758843336992148191551042255545773585447012374554416966157221395328094889774263544702169918123427737162486167351742/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^32 - 10019961158793510962500423556522777457060031478956665830062337747025536539958412566919710118857676174516263756826467802633176658462659733724063638661312732653066038/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^31 - 48734604740341091054742934612958888090853722630099674107641719641765636193788691450007992039700887839705614022316747580104887441053723187095081499794894471208256490/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^30 + 9577677855286636778124313543021830515157488515756296733458539961481549803226722484395793172405232315566582645180572318168729878354216548453836004420187690746020394/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^29 + 346321105161215087247861932926190250252370589671125381353299791933245245638370271350935641844090785967239197026653229332331547593980072521996658757619898358080667449/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^28 - 319966033896280991236962821746259805568518338321092205892927939562422718975687155503671816765301850401436471998182916738559993868447996616924551049276835255245203667/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^27 - 165516898368044021727739447432913535000193038655415314245340087291957497404930600318459176827823869917481236321651512658131676531505500609271696723148038734008036179/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^26 + 249740276888437568960088444480011058350407130012763843043103138036834109139782269183171802760437994709381516508689215679512382499158987041442834897693101538944460746/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^25 + 3887431980265809327423731874375501029596446711491928637557012912284521141966316163954599826029494580401715309397880421072876705000222775669715653611276526100139814322/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^24 + 1557523571824687067304233292250353077738571757555315157016173909545457563325237731451596426805635674969402356115048400884459833766018112350438840836301559416411445168/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^23 - 5704063025251555382793973917684601111553863724740521348763827610149453680465412938675777468288162767976569609576173104461292042055760138465073838744323959809140715263/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^22 - 4084611819727965549571312178571081582121217427267701410005418508497800798631638321042878433861204926120207768308832987119577298990294337620316697081934730607704404437/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^21 + 5395865105505879773254739044333379223050503713643209259243369013136539191467812579306357667448649083608816255467716628125296459756012700131972480557734665219090757465/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^20 + 3837604942059596182833288856479818861314934194124434908700194086742511586217111328491410840026027159373583770301492014471511567715843157278264600238697728060989284323/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^19 - 5107331122435659323911859203889960068320120632341491169172702623925642920639283112952676545263636365486919528984267154140608597973675671233093289022621805057571060525/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^18 - 1249617463710742601077937608101188573270450456352369984534910293628420810822630451646180065248714732820475615846000463021607771241883098786328063195333282580185124291/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^17 + 1491760992830161060875067741583148970162907093465408823801329193564078303872147086172232297533547025900074455307956806116619214175285224194246203282238837159057730338/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^16 + 957501701227175112033372989333447734201639866961812735150279996621447318074542677969375478921737720523466667982995713251379800561106014655138679424764953469675656807/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^15 - 390515540454771927703124745027799992761653951701403345963868451037693996064700023046191143356452258786760087028271400262001583989222570649695165205397383389517580252/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^14 - 7592155920119849654928348359578396615560109000677438356113963488534212105358895570040535967394721871604211959223437982657545285974393247793394709500071314576717770/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^13 + 16634128580620520733711017648285026219059868251810903278228125237974069946055390394557106716361003288904840965073817666537507407068448954395482598543201622779616385/60808234526847995253469547375138293460280912150858511795730175940405154186390741051791921780891994353699767764698589249548912924788309503703724921137395199637*y^12 + 28913220577339839362102181082857893459356600579756532526315290178530180092374311370333343955408266320361590199490686297815336873539827538523840814702023870976977044/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^11 - 26689709127911835606324264487282070176319695337394189019069887071813838803050473642629489678552364938411876647666637798818143776427748037444088737074784177859991433/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^10 - 17997610112208914760434432451210115720559932105067531486105542111717988395678528529930377092262358439010501933518571859226156300294797950358208157741131173069924549/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^9 + 603889276900428599405479711927005752549816372858024324094000477843655829718034183683690706917965101674724400626032886284556832323856907799851686025707277370491766/182424703580543985760408642125414880380842736452575535387190527821215462559172223155375765342675983061099303294095767748646738774364928511111174763412185598911*y^8 + 2309193762161627310953432782001183022172346693050674461230430369183832711830023096769911003217705263681084971028213830146488676339951993246115371270154301243246544/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^7 + 280752033964198158107135474327811163244213890268131502526925565959187637052681420225306886461115394761068559982815819328050102784641815021777282969037265257753524/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^6 + 33618485108065264978153427129243068902276111090563833760005432486966474015227624984888831668806932848132829292291323057165234436896159918195687087123117659543645/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^5 - 23233317820834622240489943160976128321314707102695026203087188142804193716665173722697808473831602425483793919981953693306508287310229234927568776816089259803769/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^4 + 11272278050843904398318308660046110716378361196087814771936293653018005086447161648776559970122890440034637248174110274946187646519811813367120156606698351583242/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^3 + 19118234316844478551809708790665368540687051042704136998695371879969714226094649734726656585517634021434010447984926720241375809845819065592488038719798521689/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y^2 - 277452642655119701969733755634158090992044136355513011955352554089782241151938806141583493316018442601791717817608985449405987718864362845439894621042388557471/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733*y + 908102251146231959905014834811265404775998302093330995312455923484388272177823027503228714306601671091711448170340834665035282376123613192438680754029515597966/547274110741631957281225926376244641142528209357726606161571583463646387677516669466127296028027949183297909882287303245940216323094785533333524290236556796733

187744211379755390833971975836494598338036427717837346007982288075429838026687929756769365917057561923690508932606971556788816750791977033313267253814197997065/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^37 - 1985150748518975150543867692869434549742637216708973704279655708824185280470489561388208150773939638036724325250444455488398598372528351952806489843771630394942/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^36 - 71201273692403038846322472889447080907317018656278322435281451355535596841534407796650362135509225516862889112970366300689896830411476637296939738545525275182321/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^35 - 53110883394247252431832004791160967169449680166039420696632553684633236060942495836875429105916829649957053585190823015884987335405172312999275636358875795914478/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^34 + 4161190130891731947218637384214465025257296451192117580978799527132385259202768522243588781789029099126125178214477214015711981883236476233281801660580774078090683/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^33 + 3331342175366535297174584213085259163544898512206879729270804222996833461149230994337804805055886124088164733665781616859008251556599645049349242408140900054479588/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^32 - 107070684665657248504503748487000019573808354946332055630639223521249757996337497556449086675266594292705774525394957592667640682868497703207549233365912028663354166/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^31 + 12736593120495696641779397777563235304380819024968421825855606815243957564985313715404838564657617432779984701363883971866535763434277115925043350574278621283040401/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^30 + 1232570235105767660360055765550509208906281913090553520685257039801744268582091272708704887888024299619432065558949098725343084239041609288798706412236287354772620713/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^29 - 239051337265525901642842322520489250910724078057266392138864180960822685881661482579418577465546431056638659034357398469091302009426021894792202270720781755098466501/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^28 - 7050546082245875168401720106575567725567194778888713009759450210066827405400597766654789107890132244278629720531511637298600817877749304224993196416743608394540591103/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^27 + 3834076893209623187127780048182956565870911679669238633908398344904568486334239135209662509343196202989275584330025627115016830535489906847760849388715373557361393289/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^26 + 25115398649177540700762663497812767118564326885359852938888905109346112106164808838556958070836743498790112068361379424078668138491203732588442595538115842458715817944/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^25 - 6170880216117449826240163435486448462483284900020743873622213160863812190622329528772397166675411161187881071268582599933663051147627790605138983426654818709282957242/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^24 - 60907175125859969787109102945790034287731592340848943187270153586680672981168230467156656611815658350290860268535962519765279539227438226185916479000434221646573195439/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^23 - 4786617157647150456844429817918419563085492934123006293185116650472920903187401823267567411730096015224038450621572331119251547256384202915186921947576122070130147033/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^22 + 100917834418074391798588726658308426507451278986565878165408549498646950004621696685312657784440354346232842734355804337575939479300618715876724205547181950879110503591/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^21 + 7260629251305480511359831614129535978419676404584350093380598646318817115639548039346157001238540801862739105000935771347914529587697046673438963463492414796848685903/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^20 - 13665942540269131444488403665377403643883903379111857603583240013457790577600110426132173545930433050959322484618131022832387019468974980563492777804297569774439414720/22438238540406910248530262981426030286843656583666790852624434922009501894778183448111219137149145916515214305173779433083548869246886206866674495899698828666053*y^19 - 9868180628360582784727255789057964916257532129803553467821132953514376005779006624160921710644921549383094529871840330515837958832212409726346194214800025099251820532/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^18 + 113323492602497982127614710837326625999931340048607540810627533701044351909736563575512718454520466681968450806074267710109463275586209432384553056118131687408976672627/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^17 - 1794062508530153160350360893946444937168616114670002913623304005824005820311740991380456296184753563807721348989892261252201240224512528793972415417097942099578201501/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^16 - 53795193337344861833213503416640782574295618746315685815968926065941683852967544529071630570809784229038743896240188372314755071958877179310340995097018049034654983575/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^15 + 14595530281798560793366213287017606198725524904152814190911581066685743272392854390413505635361213773060838282949490641978112416875080154018379629334321469707375968172/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^14 + 1181391108569227517370540622080528016711562537885410592560973788870705182858642485637668994898916717535777355837535920434413635112155214164248811001641456719515520220/22438238540406910248530262981426030286843656583666790852624434922009501894778183448111219137149145916515214305173779433083548869246886206866674495899698828666053*y^13 - 8662940113789242827807728810596771569396396734174316968331868111174478250785556333675495065045923285032647424944965429953073791995711348394022043697566454247335154059/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^12 + 97321305813398116386585452295611461790604833882174666079161552755934844729600296834988916334433404880355712266919430292291446542673124097299252849993436565306204593/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^11 + 1379994693806424569571088361311045925975259562145399649502824953460769800084330048230761003575532089000929630385991666048412909654958536222056231945188041460997046164/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^10 - 199414554216882418379481664843085006725607825808125180929285931434774468496840038125236805056603631821911218065553832091117181450403288500530571020236537648440142207/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^9 + 77087788958788170878604893438680764180285135439606037210889572440529514255457928680670334204926207764730616082917091275816461722196054208108355839387737840912071183/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^8 - 29439311835067823826685736914842656105595059869057236370531887708473445195092055670315245571904695747856292769862765746556700434665874270308077238593031391337775232/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^7 + 5912267254994957746440219410291553435659751998863542964173284012215182816954504101281269755416133198880700216992026864041181706634669415787549482851752034376079032/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^6 + 3346760441007271882561826395774643511089769462694914888959742822721645521282526432821519922634596859110176566011388235176173111896967228150160735067168874745080472/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^5 - 2246502683755384547530384128727965233228339082678692192966932160272257910145342766422515375774061781838715717302550716864423434788659839382802156525928109329046250/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^4 + 3612055200651398980654163198496249112222024820487926048435588111843004709224172592116019616574137121641110463226025530011855323615520513637764573923957729235953338/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477*y^3 - 177732463769103612596799083222349303722289902364332791883073794118432797673948862466322414143260087431552214391190495859007162890694517768875483419658003631250591/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y^2 - 20112413350491903747218213129010970190890396406055342326919643621075555099564802043212002824578007026473800409701737338919901006269138007950746370165460396945683/67314715621220730745590788944278090860530969751000372557873304766028505684334550344333657411447437749545642915521338299250646607740658620600023487699096485998159*y - 51463520749813745445356611176444834122982742525965605127004548886471182854451042722947577523700176044675422166628979190952192595611876168799235180027262669696658/201944146863662192236772366832834272581592909253001117673619914298085517053003651033000972234342313248636928746564014897751939823221975861800070463097289457994477


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

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

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

# f Combinatorial flattening
{-5, 0, 2, 8, -3, -3, 6, 0}

# f' Combinatorial flattening
{6, -10, 0, 0, 0, 0, -2, -2}

# 1 Loop Invariant
458657716252617654817432308097591073722896913089203746889289899476326399661172238368471049039119600822823776560645686349958691673809388297462877269700826270836350345789/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^37 - 351247610667943907897553345745087925486044851004422408984979330542982709355130759611577931247538189970128827620990276358164501530832523934123693193172893879176314814035/424026582413222322997603017956724719776481270149387104708214361073586591853993628515311237748315094511349085482137614487401739982136569700108229434402098046019136749*y^36 - 372200895549855343545093684836858658358422424198106625552493368801981285284033157309176582705431430595407496563261177834252844823080061249997091503621403330147972303334187/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^35 - 811192985128553889089336281129402544639697976869498639448995819139040854634577379612809311760787022639337480541396741471503374336618739994188832304645663220636292962194551/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^34 + 14778807377200250054339521967403076358195908254331604090083446766119794097488269315293400651791115513294162544267388526835685055344146732171969964394850269684167932126401021/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^33 + 36224813786832457233458649535928901321998166220742966926908241029358813066748129455185711762785232731444826973549450297221245109937899616101326521338745527869788836718332332/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^32 - 136740058935949167019437571349055345757437884687246001187000956024742439394211115011735958640661748467284161862770094355845035800294561935843747983230577010474362997264769831/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^31 - 113773876757219984025266491135281477548780739679619667498840609984672702681563328969131676394892819485371037944778832346138693810344924071046038480746081689548568295565567859/848053164826444645995206035913449439552962540298774209416428722147173183707987257030622475496630189022698170964275228974803479964273139400216458868804196092038273498*y^30 + 2576877185171011332771864513077063156913722859323978857220638355979119261193314527175030959546384378429584415620327870960477601231237073077185103714274004290398216523080997813/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^29 + 7098096926719615758098178573124252960316696252319780078135708899437418021056630940361559214916608476914564606323961539246709392982958600925231683017496225175235845624073191659/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^28 - 1908941528625408894285768433843306141416610642956604550092836396977478883942466996799441458735434013846443620872771247893656914577715374382375520139635151499727753595288734145/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^27 - 15544653471935477602945509043751782526546772824421381786715288834708034570873236084163706248077974381666904476687832065154076059415380937933772786437947260660890037268086152872/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^26 + 22867940932529386779813133513548199803536180728267248796214937137055718604365794836739525651191091814886792563426032487161557776634162489081141475636532164981791205162989901175/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^25 + 43869243664032290470112331320068027638317102015504815718248359952297792579979518595311684457081032267542844568393461731659478148090506613883780096796476517531418168611746186375/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^24 - 3962963692926621799651649009215586074452191643485404888014247503301798044961062354328230203508124365988955796139009159501575907249161402139075661741053877372203667509714946257/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^23 - 150339430972467527240807212295366254920575573049376732074602425675413354117016968701626526340909321673565907841903935592622027205023657160209538237479742638500351872942179651795/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^22 - 30512565833911681839445154635716488237487596960700052709037512627382078908910844907677080241897445832572562633140077468644082976442946665009360973106072410856875585897422542279/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^21 + 85497442677356045703434249753560988530179989824399753378261902830728338162273504642503644586254695876027996344624587787305847053092790989128020793359692658120241900457945627244/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^20 + 14052226579151054776552396067731664175241226527216359169121256804616755038668231566017716868602759394173460410960758944106706387703929324962875695955888208386426409776092841876/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^19 - 26723638922949105631860107514498676348493842659105307093895109684914646539723922295119971298053603049554751139491156628663151497664282268566972512686191663858016741492081222077/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^18 - 29186428549432178054374120066147763272277846614583342207093731609606611400936085373711029335831924293728667198817088646915183470055514564935374073797472452517256339311289019027/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^17 + 37337125539768878970711353311027586625846073783102172130509881757977166824167295004861900183706943631744949206691926441513001666154693604671877921761927485144396698529991465171/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^16 + 5742011046809891414420462059694513445924430766364774183265528041153165885455005820672368314286508753755042786457772406106358873690825270727477897274331360251658230246206363199/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^15 - 984982631333941827966895810235257920263001896459298529718763352140156596187417336663345141289277948995101991202447971220036395995798525466347670185531967492314644974768347494/424026582413222322997603017956724719776481270149387104708214361073586591853993628515311237748315094511349085482137614487401739982136569700108229434402098046019136749*y^14 + 1224354866900014907597898550614658472350250239833698332279874499608776962870333333122096836264243317295205455236507950142277459776562570720445324112818903156297799022637360491/2544159494479333937985618107740348318658887620896322628249286166441519551123961771091867426489890567068094512892825686924410439892819418200649376606412588276114820494*y^13 + 1504795355068662715056364465446830500458543087681077106214392426509549219304370326853309166366676116038864641691115977871345850811978538975483054953801882842176862605827129417/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^12 - 813359750179170596254945138872660340978291964264009580187650469942617769534274115556770983911566019133291924452746747787910279171086668530876020235446741961836341198830611703/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^11 - 878606479982486892897270439744822696465824434198186921305979915374665351068099171915733472076735014284823299514167803753447471601165237545457436795455650975596918825436661227/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^10 - 34359894472601593775853652159615119399295526878085344953833632790921482904413257736442688180506306071749782806506568007632834949649979092687917915516759446764159794233273495/1272079747239666968992809053870174159329443810448161314124643083220759775561980885545933713244945283534047256446412843462205219946409709100324688303206294138057410247*y^9 + 245005435182495930371559603277707055668236981905559440224897632138127688573637247576424187936416293621938129132987702114640040100678623354784268835311452337503642120122059335/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^8 + 40764760911566240009141950675691813152539836934865721728429851941579258925012487174665555487360230618978558821829080280005426309897661668877004283997558570154218249317303899/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^7 - 12897119192018779579049442877507001264724118291918838571234044092823287756222442896923419482309542916640492672588125140214927938267189386326709492774724424527062501298294241/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^6 - 1060910448704480604027730170037290728372221989393347217271590505897333913694456888040470261595350764328144800793472253764067132520350526513121156113779624734306334584352549/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^5 - 1846259522165779098755314125567524180011343139973434405834390815375260822575634269804386519967577097470309738865751937568362891952964048059467409638463857977394790842993943/7632478483438001813956854323221044955976662862688967884747858499324558653371885313275602279469671701204283538678477060773231319678458254601948129819237764828344461482*y^4 + 242734194015472027933299074730971969438728235765016195670930143988993146484426449046389598407746348653672993161417700863676990760910118725564252719475242674084146206859038/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^3 - 147999099805137433090583100356574945581762663710976766257762925674949333256179588675063142156243269415286047792220169807562386696733422570520603988492453692953072632937032/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y^2 + 6584587405433965509945044071957378879944462326829874969198153216235156729785187106756403053539137211317082860095226349373410317589390265690982826597697263872705205882216/3816239241719000906978427161610522477988331431344483942373929249662279326685942656637801139734835850602141769339238530386615659839229127300974064909618882414172230741*y + 3764521841121544373230609690093272033845739747682003497462547694761914253012387600519725202037671389358290370217034653105504179827458040346644643329887283417186071620517/2544159494479333937985618107740348318658887620896322628249286166441519551123961771091867426489890567068094512892825686924410439892819418200649376606412588276114820494

# 2 Loop Invariant
-5071088429623885156096097018858222492832227262365951590395228632853167630871978215924707178937743103484040616352996297567418090122805798459769756397408717812724943057172305903599573124609345834448953836162880457908671445293594831841194792970563158998733432964374317455967029827026934330166254247/1587630719353143300942530227628200324750825110127677579716820199746304640940492392556285989285197822979095235292047466867899255115981432651108446707981933185804013671296125648679715448888712170899948200881556116189276446878180067086185667223348353036886797743904797452591143736442892828551993174014*y^37 + 1242471153366889214792117507404979783120093395791735549650652769309986612667209058929851500207081800198843842750015513260367397099977100249956900203715545409962063262200613790314737192253683067118810606968208497108579883435742777287419538453448819404878487050287205959289811360372440662132434047051/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^36 + 2060728188620881615877548447478954456766892811238546855004718495690396396318097829082653925542632947534889925679035380117650404935253263002062624842462056733855241284939253612519646597716425693958336672202332209713949786855783074275119530887278187752460452595485375915034841040184968325109698849001/1587630719353143300942530227628200324750825110127677579716820199746304640940492392556285989285197822979095235292047466867899255115981432651108446707981933185804013671296125648679715448888712170899948200881556116189276446878180067086185667223348353036886797743904797452591143736442892828551993174014*y^35 + 329263237456891249915779052735316787852376426356102607351462885401636204993820401147736842965972384416798356814600163213762812745102778549045713265488341286521521580332797260021214138280057127360841994268651548266677584575363161808417376861206096829505048556111794077532484577444181495713701364191005/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^34 - 5829824973393326733513460770840488138751155545178292004627789664565802116776895518744829901782813134706109621303308765843094999400164463261071454864782912608214151335911072228124719480052084380252951458611708292801920233236049017688658348934970044838776243893167979003724682222897181900778237923450861/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^33 - 29364076217336760628414818796659622730093128360221583577889504311983645233957247336010280602861821794319845887184386834264533936850160347277953925448595528026094705529859638846144437328237258641261353704846502878200228291611841697113001809760687442775454338420356397859687496497916921539750693265002151/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^32 + 106466329167966473081046989847811595355770994731261742719893860644869602793495585095694994093263825471164905543428444560611097610377979032604333797266287426510294370555922600375306608043107261590957837278909879034442848111016955860681731967914213363606603838781872596480716866242967444877306210317295965/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^31 + 417764943095828148266529838711271425242309649176418898375601300319100060279625857688700112074770265543256685478905269130721926399999356179221879596998881656614502204889281150945134749739667885899554663807880633551817584239879484195265969852613221885484414477619084145587757086223701652716369053521833839/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^30 - 82657783551503131481753625005286830604471249264964917193722701691582898127786506201994803324265994907645534693399884364884381627052640267087852890888236171174479365391029568815762435817427077269879390331907754103788497419698739937308310978228033982150296569189066317642085297876653066004150662722074297/9525784316118859805655181365769201948504950660766065478300921198477827845642954355337715935711186937874571411752284801207395530695888595906650680247891599114824082027776753892078292693332273025399689205289336697135658681269080402517114003340090118221320786463428784715546862418657356971311959044084*y^29 - 365681733053494313934943845714965731988121616677157779596438738783623468024453163182446605107973684700846558073254285896159695378154925625250532463693397614351534597066233078792287440074878338475141077718017758371767793440297260473636590976999075400255984228761418078599089700920168500858986747953854205/14288676474178289708482772048653802922757425991149098217451381797716741768464431533006573903566780406811857117628427201811093296043832893859976020371837398672236123041665130838117439039998409538099533807934005045703488021903620603775671005010135177331981179695143177073320293627986035456967938566126*y^28 + 2161961396145673195415314206653097508442743026547884946221035312545659968567684389312438906571998200331045842718970510120235843081915258345524319098796074258350346101268474839733675940309074444944492522382311935187039200170774131253800232258637273484693790196026088220319007046930709512357868642435941117/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^27 + 267770856108285780576118841806681201171815147672878486508477889363977719374466268788770934195439318086126449185286776337530697183342332031667093512007216378014283447447122956496578817805640024587794329704670287704605415622173844673657303172515023611723300207102092116575453708861095517009854395154767368/2381446079029714951413795341442300487126237665191516369575230299619456961410738588834428983927796734468642852938071200301848882673972148976662670061972899778706020506944188473019573173333068256349922301322334174283914670317270100629278500835022529555330196615857196178886715604664339242827989761021*y^26 - 4019320210664841486044611771133344569501394995695909046720832201446679408911125137602320540626998505686224958963017277569486151525840430940138778076278688785275021300333399388193396386618434919683659487336076661931025657845227779916347176712676456665354091169465616931709212043608943992365508754040984503/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^25 - 36065164007966971829246300195892154260561090651363016113704024241844542768450412688521094370805928604010775778876042755328200532772889232626806799169327312196042601337605363039156667914760546454846836668366261865143027185980217685882625894113253404543326950632003552356742783977905591349437655476452771491/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^24 - 4261688434873057936900676115891110642403218688799842147288709775771898964718388283144117986954932631528860420850189514458593388219764740219225542169932726982570709240503612676119304247473756772585281967334231369399107617886129187270794556201366236299406668407162887414464053116731619176383106550430897/7144338237089144854241386024326901461378712995574549108725690898858370884232215766503286951783390203405928558814213600905546648021916446929988010185918699336118061520832565419058719519999204769049766903967002522851744010951810301887835502505067588665990589847571588536660146813993017728483969283063*y^23 + 60947967000532471784002171923464571494247064439149466206258432178442722221237796344251612767038193114085958659680002476904362128802892904496268605205670025575998778581167696608003586430328002342964131740124978297902361342757135341314012277483715208891012087257011555168790458638418804919307132494002239761/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^22 + 18311865249226699031622256827444132190379906217958822738689047794310897223447899737053956350105291313537865017012704571388701443663537200290660974424134297763701393978366174515070686313662498123960713664730508362857416005310711903576227933684998635958927710452759647475002147791023653816594348536726890727/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^21 - 67918925137385865846292942003794238917728975778560309257944601393503603301926721153544078754371510180431761922060615391449510579412434164820042780219829041254212765179967894698346994123003769111021386721619454718800861359405013174131713507783372753512778924357189285255374548411289276830774832894992710735/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^20 - 18939416451933096612032527171229808098374317338538484712489649848416115232889872576227549835498408789456211688829131719070803346683150014923968560292586288133232505388513352243766158361123355972923621615116860543018458483813907684738875062893438780369113754609588904568167753823266694386277409867166518821/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^19 + 3952592607940303200060863845999437300392188910793649895890876032747335498091788323267797079001971279419183817955620854626261201795871872031028599196108503008620270440768368522221537673535158733263225391473983326971855557112758077685906622646150634485106503401778321437118670585045284243056701099089858635/7144338237089144854241386024326901461378712995574549108725690898858370884232215766503286951783390203405928558814213600905546648021916446929988010185918699336118061520832565419058719519999204769049766903967002522851744010951810301887835502505067588665990589847571588536660146813993017728483969283063*y^18 + 6318170184083876987491440336710072812357945390332432516695625816540239300161265128943251077237971407383134066713744364014951508744853922677913950978984920728073154296985576178728636730850994025204805891996969253435970623783530288198055507327948386667385645417186906187495765417289563263963077491094161129/38103137264475439222620725463076807794019802643064261913203684793911311382571817421350863742844747751498285647009139204829582122783554383626602720991566396459296328111107015568313170773329092101598756821157346788542634725076321610068456013360360472885283145853715138862187449674629427885247836176336*y^17 - 7257273615171885997661339434480738227791144051397402115640219691211043247217121959449276418806421136620296022578606029260689981312256921311839656837270526009217756997539793622048457932282822276585317259856031107736250952876487863787430337713915041584552060435165669129106163210572231162926659578883936017/28577352948356579416965544097307605845514851982298196434902763595433483536928863066013147807133560813623714235256854403622186592087665787719952040743674797344472246083330261676234878079996819076199067615868010091406976043807241207551342010020270354663962359390286354146640587255972070913935877132252*y^16 - 6604632906967614623282840407600289567282301606653518146540652190931175186941739286255230780690607342034600685387586032882693079690554047950027986150056404497960192877381295117554280326514473915122619716755474649378512741384318244436617059441874855491211500388869412809404464466724672778035890994422004491/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^15 + 6480114436013198042762431022919841647100365771520209718015755997594296916615433670096602341236302317244429387113972828106026992459340324229264361832794850458400560662752766076581138128987867660046988117304319333256545520314008379634353312492123547932292875691207413531655515310416033134809359875163478223/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^14 - 43286691437996024462733019004167006023328436739860659396953494100456113833069952708148846879723172578689635841380481643427410509386113104735642965928364236424027114400258328532084083738467912641451917304237092969670376595066811587752659090960218087302440297484056770913837373370508245271635495759525565/19051568632237719611310362731538403897009901321532130956601842396955655691285908710675431871422373875749142823504569602414791061391777191813301360495783198229648164055553507784156585386664546050799378410578673394271317362538160805034228006680180236442641572926857569431093724837314713942623918088168*y^13 - 393944097805375210678707801572574029550748160059615787533926142031050328140535358720568932201911331492821930620473199544252116502983550753368875107559062418670239678863785864997240715465003429618653875776809251298551143480595515099019608690393863889809090021070136881702804355073574419994172764168264971/38103137264475439222620725463076807794019802643064261913203684793911311382571817421350863742844747751498285647009139204829582122783554383626602720991566396459296328111107015568313170773329092101598756821157346788542634725076321610068456013360360472885283145853715138862187449674629427885247836176336*y^12 + 56545999474032179733797466739882522921930271190270705953666028376567346084113893433542404239314225932785887799487872045603501404259104965711264601051393431640051278479206243080105350772635357828635168061295733356493362248551277130089462483223022546673982468870207225933878922326359921536943794937063809/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^11 + 205841910542854415578261803609707874752621268172642609032339500759447426040601963880107034096498799558105797655970011699516826018060328098878084123690887542749913955418254838264224430988551759213667411154014830380595918845649861719191735415937624054880848324149564340119835842380503132319098787825746733/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^10 + 152928529801059177758968373699294644644503711454664051626068979202764918129595107687028215091190777129920420878791124803194746511036861220532641710228963158284947525905095385259884313968988540647690577111871586493048975488761944438425725445399929977938737406473654788231005417329082790212358765593081485/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^9 - 10972885082152677016333748068036843570125152124058543746530869366504038368109171995614381282016586441633568285036783493238758655268659415497163533170073807907090583534853894081313449950452517942671135954711769605625443912338154362500554910905085377160215453076982845949851279202746966110433969254802915/12701045754825146407540241821025602598006600881021420637734561597970437127523939140450287914281582583832761882336379734943194040927851461208867573663855465486432109370369005189437723591109697367199585607052448929514211575025440536689485337786786824295094381951238379620729149891543142628415945392112*y^8 - 2113046120047748682247203391089232318884151986061126498687868888591145015209931464652207379644195583742655359006945569103180574430872598611728615588429286998447885163251049879552702774744131065716358566913628601103484885638555719224174338667821299424277271098970533460575838825964482474122078285483423/7144338237089144854241386024326901461378712995574549108725690898858370884232215766503286951783390203405928558814213600905546648021916446929988010185918699336118061520832565419058719519999204769049766903967002522851744010951810301887835502505067588665990589847571588536660146813993017728483969283063*y^7 + 41994167108467393459691939258306773102610642062024524132608575684417564888350070544197834852454171813534893882706999718248556499334689141006500425908902313769789472016850455196239989382033939203408482490588543105302502327840075350134880156824030465238046564224468740084355310665008446455529649179296/7144338237089144854241386024326901461378712995574549108725690898858370884232215766503286951783390203405928558814213600905546648021916446929988010185918699336118061520832565419058719519999204769049766903967002522851744010951810301887835502505067588665990589847571588536660146813993017728483969283063*y^6 + 1685346854745773701479570173608723137415312992880483728543709943560733574692191777259652400510687636535482109124011727062471583280973604693637280534963365750561825001674876272165816983225883903282797870278205367056514334518059731697765302946297271878748320855776184509677183073306516958032368472547461/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008*y^5 + 414684245444836057499229914256601182182623388340751863608311494909656474012350232810685673937115419386253255408107316917544377344223516683747750971131829060301722688377194861057237973695109271223045615617159230093355982874667712728871264708057932882001007886541150594718521541602047472945460199298231/28577352948356579416965544097307605845514851982298196434902763595433483536928863066013147807133560813623714235256854403622186592087665787719952040743674797344472246083330261676234878079996819076199067615868010091406976043807241207551342010020270354663962359390286354146640587255972070913935877132252*y^4 - 82754755860573343208612333793898769021925476074417103924037425211481993998849011257498978513139023395369116870226725383381079622805618990764057697625372164688644028072776721282363813736814664798077704751679645902170515044730751462069993758526277821036197515164807227145599246056425299320820899476557/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^3 + 54114217828374690145828383289049254528052573798718525144880361120517546214289230857530214935078594621463228009774958618672466747593041057558605883678808650943455240353830040086683655998591706278738239511264533900943979339123491252688883199751282599329877341359070440387404755014432973443503180780637/57154705896713158833931088194615211691029703964596392869805527190866967073857726132026295614267121627247428470513708807244373184175331575439904081487349594688944492166660523352469756159993638152398135231736020182813952087614482415102684020040540709327924718780572708293281174511944141827871754264504*y^2 + 300553058162606535221753032981915298238097841759476714224367630228199978740645218372706282904436994809114737257424571401312444655970755763847475044973597714852885802364558844056210246866305470562403315805201964332121574271494662836319494445607147688253320203397624995924220227829155159441430698723/28577352948356579416965544097307605845514851982298196434902763595433483536928863066013147807133560813623714235256854403622186592087665787719952040743674797344472246083330261676234878079996819076199067615868010091406976043807241207551342010020270354663962359390286354146640587255972070913935877132252*y + 655602704934482113852609697581051830594199258794651587870042355919303288717518715991184306258628644762153825021764904308638551588602397099133263254556768816659013501468284121231649000334578637217302509705101139946836144695843588004277907183160677823566237008827357890462563419243875149902787089512815/114309411793426317667862176389230423382059407929192785739611054381733934147715452264052591228534243254494856941027417614488746368350663150879808162974699189377888984333321046704939512319987276304796270463472040365627904175228964830205368040081081418655849437561145416586562349023888283655743508529008

# 3 Loop Invariant
-33833276355515876227120076470742775486608259313078404116212625907562335411312091928780642481427305034769627155701623480798563145315494563720685796297399605329977194187543882531183388093946806546131511391593808012262836408690377591610586203921394590441068331034208152637241141826102984834492873181160599369064715276578192330314028263053032473321594036587322697861/90299338698758965511437975360912741225042918185627267980114917067371544487600453566632025068369054795578749197716199731667732755990751063334028933902691407323099272898788853646330830491389697468401145313244381251220444908694094664834803343605165330513030885486239409826696677125775390157163979942728727135267848418461909209411516611696889528747854330158168618097072*y^37 + 75409668008918359937367655299642501746430760155290681594099999011811699869518478471972761632963532064983950808875508692141467514785107632573435773409492102352015470265164707022028496589672397570397655353875547024265416794945915447885374733939354634088186748030603296214407667207344174014025711679079651152079494996369142937679798701834865298718426623207146726817/30099779566252988503812658453637580408347639395209089326704972355790514829200151188877341689456351598526249732572066577222577585330250354444676311300897135774366424299596284548776943497129899156133715104414793750406814969564698221611601114535055110171010295162079803275565559041925130052387993314242909045089282806153969736470505537232296509582618110052722872699024*y^36 + 27555528925052262238697441410256777415182565416524372005196085811517225281179283898843182590387756243064617864645139236969214897583519167997565702744502805381853954622679212437723628560409286035280446854879472588398804525756243832368701779974336504883510839235297250723129358196266049376068953201289417599110618546826304333898837388044177061086255657727820019843091/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^35 + 250600094019810184233894060159338510737940074796821816786104917813270645995586996847371510797697458246544846505352813039063275477200617670132354251335596274179574277306762537819176450900550967466430009903450034767898712042673974617574487293103308392647461738374028309430087131535998296063293746875389673292253079885710734182198018933804209820276648195399936790413713/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^34 - 66694421636366383119832638776723193703486890421245190158072819512253793631552036375954555050749450506620324643994063603869559918259789859579872356301885116109569032281839964343337462718898635450799918961890120539401885000081924481881936835399013801736910997143994580914985619931440831993528757885154426993050328135444500038974109341701755550195119333645099698792919/11287417337344870688929746920114092653130364773203408497514364633421443060950056695829003133546131849447343649714524966458466594498843882916753616737836425915387409112348606705791353811423712183550143164155547656402555613586761833104350417950645666314128860685779926228337084640721923769645497492841090891908481052307738651176439576462111191093481791269771077262134*y^33 - 2787811284473200634482418910216894125628684176829458839850874604326956843086832097447930910238229566236311102150161129327211927779844198112320238003615836725611891024633639749850568862870698457901480776839566628729637158171331825575158797726188382914038314356286128725445404141343540447537029159562433807738397051306705217710372165185199114444301946992193897233007815/90299338698758965511437975360912741225042918185627267980114917067371544487600453566632025068369054795578749197716199731667732755990751063334028933902691407323099272898788853646330830491389697468401145313244381251220444908694094664834803343605165330513030885486239409826696677125775390157163979942728727135267848418461909209411516611696889528747854330158168618097072*y^32 + 38269970309706502427819321345657211572602604772168165175233024930425214589484998094483248396000892812260213241856923071171180639542064379811436327689240977720661123602360466280204923124997723099190777355159605804490432073315565452642505984959559664040722893328897191828244291440275188197599102071249922223070266383401609181766097102532704660512575118646040909793681665/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^31 + 26665223925165481825284378298205215864424953233442599549510926311307771736505057322545067082077325844940320309927232442596915184923279257251354549093042089382973171627079690411560346345105196228629454542140622531780281594878715349307621837264340847932038074047710857337645489471268805442646742509607671836283183370645209380963754169833973832906372281732222220006674273/60199559132505977007625316907275160816695278790418178653409944711581029658400302377754683378912703197052499465144133154445155170660500708889352622601794271548732848599192569097553886994259798312267430208829587500813629939129396443223202229070110220342020590324159606551131118083850260104775986628485818090178565612307939472941011074464593019165236220105445745398048*y^30 - 351311074047975482095952530985752061530626796975567356109896695340007158699032259542661237707010074401349921842333036580166296679680602179382949347658773702329976278499477481090853198343174963722954494760230860192111465192778093880890949662043718350101586336032565806326716410351940081365930517533367868255195507874782347579529014314604925719062567017887780489684263137/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^29 - 1134256862493459858073824483625463797260560489879416773123147191838579549589714607361386237363921787346409581382749175215741925551452247994803100517778262404916367971173014731818539265686874971381132498569434191989129224581609170418290562708237869975010248359809073094062014309550913070063950052218306459080081265198599841981278194614603037870502967412076301379972025805/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^28 + 83058003153036618891946418484749846295920907010935981989807720529026254661721121319238390345507176953371160611040796621186810013941402689111644161871022225417653219244527117023137443294177194644498702254498473704347685729350292967145124163507272519600303144400991471446721409424487622411084040500998413770673853057086175063553950628935843747091033079035686290536817957/20066519710835325669208438969091720272231759596806059551136648237193676552800100792584894459637567732350833155048044384815051723553500236296450874200598090516244282866397523032517962331419932770755810069609862500271209979709798814407734076356703406780673530108053202183710372694616753368258662209495272696726188537435979824313670358154864339721745406701815248466016*y^27 + 1248992844496481655043349163617266235185731457790929591756255591791854675701660547789288772071440490006632055338969607961366375632583099269883392167169253707527074627964396221749370439434785536524265341879403307417710138040353859988316441546586687128794331518727896529888465425912355950286464696544432601855172819042548345470549297620323389129408719358517672643700337197/90299338698758965511437975360912741225042918185627267980114917067371544487600453566632025068369054795578749197716199731667732755990751063334028933902691407323099272898788853646330830491389697468401145313244381251220444908694094664834803343605165330513030885486239409826696677125775390157163979942728727135267848418461909209411516611696889528747854330158168618097072*y^26 - 2521256924451844173227564773982860844186870702537665028555156920658659280493854366438189850953406437134346149996750398037152170739607126198819742680622112778024085494941270202001330395445310596443684803461070243820156544430384758477062119127828315561503872391384667112186469023899395626203328540394135942020912565924059351672010866832285963064076659682510655047424835889/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^25 - 6953038022797972076363301347366349962929827995591174124277760843447840897799225700460875774292548558996014148311697786308084324429861609138186084034650252350724041527110101925263031791706259129919695832103654038446156037718338630882996367992658078998282071176974810934693991256924456299637264669554313524660776198401861004741204486949503577191807508850119243230260741653/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^24 - 329153786712493749098475068620206098696472040187763160106140135360084906424747469201393839887825291777005940071670635340025573115489819420603640144419231310321127483592907913108895805642655633940142412287408506605207885361053467229036758461791508152376763787394181785644374165071105500916135543077396311736160328352188368238493433995476167605275815353211645056651688347/90299338698758965511437975360912741225042918185627267980114917067371544487600453566632025068369054795578749197716199731667732755990751063334028933902691407323099272898788853646330830491389697468401145313244381251220444908694094664834803343605165330513030885486239409826696677125775390157163979942728727135267848418461909209411516611696889528747854330158168618097072*y^23 + 11580644141322590037670552076875422755116663600863802570963800558000384377986661942651976275560465485578151465413808044893956871946168280573795769869067166422604985245445171146977780774562028303474068420852109142510017362180926697504222812657488338412715954832970144022670182101159224825632856319063194185737920488061181470377491818820697770154591195090606438019223869891/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^22 + 2253206040207402874239431638578262773800496511877081847071114161054071841504461688482132820968982592159417985923896964979519936848424532359877507048947681736130047384383576972340191983042675698691518101031189876064307006165330861787384899596574820840772667486143791019929536947375370443705574356475243756220540303065523771191671444495490954716405079210620987518304072305/90299338698758965511437975360912741225042918185627267980114917067371544487600453566632025068369054795578749197716199731667732755990751063334028933902691407323099272898788853646330830491389697468401145313244381251220444908694094664834803343605165330513030885486239409826696677125775390157163979942728727135267848418461909209411516611696889528747854330158168618097072*y^21 - 12775146771984213248453832358129358518848058786788384553905862005478322032902747647774233700199637442286769359773807206252966566654680551085134026398177841214366410433431405259996655106920578409591235586691199929062297204653985664741616528083498801476851134972010587928461470575927555602849366552605479377321495073060095464735602378391597138367872238192222898351828073271/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^20 - 4773221847574151059056073339359617167823651357250505893157582150994448881325095430028334056818336409885753574014126259927496159703762498468807159902968798265050668563048490365566826755945189372790393439302154242575243808283848856205025072603934743660459433880845612684727270527214869551907390611459257211082200707946231869764597716091401588087073287216117984877922262739/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^19 + 2022504374244911165865617387366637734247808751459499285132792525827514598091790235210004563305343060626209937042888031600021011858575455659961059019141297292324645061058848305390767368580119064062736706389903692564212216879431369382423418816670375452010327970112890543705408663406212906589549894880565935288084074565045744833350859728635421900512123330978533088936000907/30099779566252988503812658453637580408347639395209089326704972355790514829200151188877341689456351598526249732572066577222577585330250354444676311300897135774366424299596284548776943497129899156133715104414793750406814969564698221611601114535055110171010295162079803275565559041925130052387993314242909045089282806153969736470505537232296509582618110052722872699024*y^18 + 9284220671736165184290278871285402255385342008072624543968995639431700394102227218295631948461582010476486749550072160202766847753954798923467652313741131867019625480883796627347479059021551936845790639045060184412814053662986372251442710902423710008977959890528935395462602199034904437780152973158123148615949283379417592631687921980075261526497973737391129644307726003/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^17 - 11633724175335848880981063456210077118742917913020372230770487883016495920574437951932193936761560604427684409787084433806895101194285557442589984436141199535838193843102972576581917693182044035173287539717271236161140867252517421484172486114578284897369210847898253670242761368484775446295900223006145127831980210908344532239570332742603724702013647378251300557139255413/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^16 - 50489864662746121211005298781392066678670265632649511892467609149936321502968878109662920722731030597366039169754395503291763653843895037266199972834070669927395307452886791562285079488600287409080931330379498515113605805104295422240729315763105166064896706533699047844603662919486095866987335478215508340364133820200775244752018838195026902823939507175784251260943937/5643708668672435344464873460057046326565182386601704248757182316710721530475028347914501566773065924723671824857262483229233297249421941458376808368918212957693704556174303352895676905711856091775071582077773828201277806793380916552175208975322833157064430342889963114168542320360961884822748746420545445954240526153869325588219788231055595546740895634885538631067*y^15 + 11143268838521193965303925403500296954745165555385987039697090314311271084736636988553750510807376183496604726434512720994464756851455256077681722755258888222037400619825061842305887537453892131965234695709715840674199370106476840946781334986320513660228380424216909750934012994399748429315375543318289038334563218146688177769244420672668927172042276019130675686918829/1254157481927207854325527435568232517014484974800378721946040514824604784550006299536555903727347983271927072190502774050940732722093764768528179637537380657265267679149845189532372645713745798172238129350616406266950623731862425900483379772293962923792095631753325136481898293413547085516166388093454543545386783589748739019604397384679021232609087918863453029126*y^14 - 1954802487061243862289931963312801920966881269649968859438413546147468888986125631286193686900826560394264368656163083230075251590623269139674775284932766543270225005833472689321594810203703278627451888722677525001490595021802946470956988498792412001631677231205208220988410615902574527592790162311652034571116684786903142082273513264444451931475307598204681007106587/4459226602407850148712986437575937838273724354845791011363699608265261456177800176129976546586126162744629590010676529958900383011888941399211305377910686781387618414755005118337324962537762837945735571024413888949157773268844180979496461412600757062371895579567378263046749487692611859613036046554505043716930786096884405403037857367747631049276757044847832992448*y^13 - 869133456911213948738862215572833818024956654635622614383049802839138314266675417823753452233889002884098701688296599762262633575729017802158015985411058904403797109877970224324293455447381264984090217786527731281978946116827595483010023435185359026344101281202861980251798612252336896280498611805490203321944308484225515405344339418364751267950425576758634840626039537/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^12 + 132052332561910042155505935588891106426874090593435111388443873687790887737900133256333559546467384522509609028075117832338632596624251785370232353694705022766711873449794803436894603928401269485433008149732947392076303001943266976112804572872599218454118666153211919200531112508205109171746467801174564015307609396952737127463409296902648756080316786708783985083907985/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^11 + 110095323049139241478036896046083230688687630670290596688086956791961987141183910397177452680219370520593227947888344150031754075831283514940419947175606768587054669734788356379068769247723895501249226373893663578644574090094305370768414604990557225007644897160311749964532961925534049890057174961669208909269799231371981446873083805679877299666859559695296358607138815/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^10 + 8646578498007961373747659110268873383181903244298151857653117791818692235275413694101673987035590731206454908337742387579550768433917472449383041896191269282298474256176384134128251295841812855127809869390121914969955530443999524720805647565516842952625818055525510292319910131817488218000025381185821822226720406870168649045262042787657963405880679996689200915477423/120399118265011954015250633814550321633390557580836357306819889423162059316800604755509366757825406394104998930288266308890310341321001417778705245203588543097465697198385138195107773988519596624534860417659175001627259878258792886446404458140220440684041180648319213102262236167700520209551973256971636180357131224615878945882022148929186038330472440210891490796096*y^9 - 34882051286399928185632377643264965393484553435671699564399944650792753112878561715004220752143949879408374139214137617714287835963844893022536482962704866775701350641415712747154161917003651119995638076338990719753017078419559243094358985858043550951155364154418153069138367751180277851245759828383519594147830101103530186024857346121960907553489551396799225709762827/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^8 - 6985904734086301957242681039635169123483683173670638255089558110218924585922131169267793951309202120373008491137274874591995534646992573021990558504236652346417427717935126620738780261072313544290580643735504405055287590087985155282038284685413644305735706510041589617486014317293210259740250467572066847933459431924832113414212829267919184072803149902098173777592907/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^7 + 87415288954835387781967475398796363501711489163202712130187377983294798126118295111960426354771388943914508060700363626973656399152470530792310190070113941683692037321347524439252124401500552182522621475047974403910486303257392011622698234482285064809449286322225046455872817019943448714451381433164230538113772364644914778405600616010823213212988118587610227312383/11287417337344870688929746920114092653130364773203408497514364633421443060950056695829003133546131849447343649714524966458466594498843882916753616737836425915387409112348606705791353811423712183550143164155547656402555613586761833104350417950645666314128860685779926228337084640721923769645497492841090891908481052307738651176439576462111191093481791269771077262134*y^6 + 96169864253785301772010789824681264454521641463819681992979164829295824725108685514640888885533310295797426843673814217505928733303533004036331239490688162664332940274079504342502062555428903389032797319298759415808830943118270469551836995639155076767979276803347120396996214989639234115973987872281426644672800088412571704107035332569209707355981094346201641422915/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^5 - 171265380709733836868132682971756873195173591891234614324981795088266904338319720156373974965680179495894606203706842260405418550536502143736552277138755637669200168080715170146302496412632711185318590650693998436841078052314293768270254048035295899601611996093016580914088126754943670067360072252823999419892449097256305245583619808117994875732048820850346347299405/180598677397517931022875950721825482450085836371254535960229834134743088975200907133264050136738109591157498395432399463335465511981502126668057867805382814646198545797577707292661660982779394936802290626488762502440889817388189329669606687210330661026061770972478819653393354251550780314327959885457454270535696836923818418823033223393779057495708660316337236194144*y^4 + 6292955122948688527090719246696916242403056322552987304170546789503573807856733959005122809860265102941582345713890689628507612243108682807908370375630280919141931318491380570229391528105749926880661918191510977441177172897001903389303845637199653115201645000896410763581723129811344126903145154150508143723903475820367867644579564266055406728877380731504143789557/90299338698758965511437975360912741225042918185627267980114917067371544487600453566632025068369054795578749197716199731667732755990751063334028933902691407323099272898788853646330830491389697468401145313244381251220444908694094664834803343605165330513030885486239409826696677125775390157163979942728727135267848418461909209411516611696889528747854330158168618097072*y^3 + 90115239250107350560755700845605650854061303937906854658003074869457098082732534079171246721339031882606568677711482274183581346281187305701684285690836359876380985814647598603148717835780870566561968870851037174112085757886678517763481024174649842641364034583847702952113313504593343711443052651542450509646993895208354105131454118083163114171334940241330227187555/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y^2 - 1175008655805990730479391722036274344890514475840528407283174848176576866135484346512184275793420007612719376844924213931139517878897139445713112979283381073886830971861396595692847236262638324935267752867860760875460124225717384043727566306574126002940297844130769989800492198864787654578981325587023269618352569485556913218687911338962716722870697881341920125755/361197354795035862045751901443650964900171672742509071920459668269486177950401814266528100273476219182314996790864798926670931023963004253336115735610765629292397091595155414585323321965558789873604581252977525004881779634776378659339213374420661322052123541944957639306786708503101560628655919770914908541071393673847636837646066446787558114991417320632674472388288*y + 1079730398998115188141261261932998020311371931211269198264721620249194037667138259054948454220992907316676098689366913777531786463054973889472089571121388943462977345543719402486424987107374644401635550427982807086583801336577040188005212140144034416836790469482153494066046423669522360183984052470424454539031690869877466734703379394307998922646060595699477364219/60199559132505977007625316907275160816695278790418178653409944711581029658400302377754683378912703197052499465144133154445155170660500708889352622601794271548732848599192569097553886994259798312267430208829587500813629939129396443223202229070110220342020590324159606551131118083850260104775986628485818090178565612307939472941011074464593019165236220105445745398048

# 4 Loop Invariant
-13341152657031369965492999294147118113161455093203904104926179082966797976475292958231286057074608067103550558173282454945322276795824276151600572893640489219359746415986106927116560531100012920317008509838817922710751650721818709506475476192554498504030395163553115847172005921997020395422758346726323333417025723298847080639246445249700459094433445891774649585342758663728447010923273619984426778097141858659767500823530564858519953472163889579418091112594132941607899487079961766130891145077537/81143216959382819919096487800598748711964885387792998411131648060353211263847971027785358625002448540998049383357096479810102946652686557254426493075892598600381104653096566768002635218565443000738535753780148455690851085956949684273158227818178076133628795946812217425198785465287816471475816850344856251193870793231116091702035151389516033510396641765516196557898286825662493679335565648211280343325814586436062351718831514294610885892389656910684077258329925441924414280013963244213481692264558080*y^37 + 11077850480022057932613983184445587229344805245061096151783058811846767867868081754341198284469375365532687814153288607543542609896901108737204533278690108560927705764859078993698463406635999040377428062603956214522006014694784891223390643251748526628844669160897321089459799498084495586328224833520130586621673192451392608674921389276846555834652777575921957544682781882218103397746709944154484449698101470099303727851912027685700634225868716064891605261149563066556455279273066205998328852027921/9015912995486979991010720866733194301329431709754777601236849784483690140427552336420595402778049837888672153706344053312233660739187395250491832563988066511153456072566285196444737246507271444526503972642238717298983453995216631585906469757575341792625421771868024158355420607254201830163979650038317361243763421470124010189115016821057337056710737973946244061988698536184721519926173960912364482591757176270673594635425723810512320654709961878964897473147769493547157142223773693801497965807173120*y^36 + 5360294603328074313119740949285863106449753889093563898344506888098110883367500447858846619533295738097557095006786036682422113763663813129420122032226542501603890245541884405075427584254808525876384092620004632158443911873474384843376600734931353538786258254195360671604266017875185347233440669372525665299167172789900283254651409836151088516788351628903052868943838800165580128527356658873201559569120607285200016415971103527075157895236802515774068043170374762428260810568522908249441074907888519/81143216959382819919096487800598748711964885387792998411131648060353211263847971027785358625002448540998049383357096479810102946652686557254426493075892598600381104653096566768002635218565443000738535753780148455690851085956949684273158227818178076133628795946812217425198785465287816471475816850344856251193870793231116091702035151389516033510396641765516196557898286825662493679335565648211280343325814586436062351718831514294610885892389656910684077258329925441924414280013963244213481692264558080*y^35 + 4089731786085981029849472105364723806830662171804883209120168712171871777282254960152165722142571305584618292860375036149290808911967117810825847155233633676186743384594851162079491147731323503585046516625021789054430347844910631428080261875495991477371100872991014239062847287728997958430222891039398650407217297085154847902984235882675716445092884220089464669173899875621840095951821200036766052352868089522721184891660544358411590225194579950720786760718824964030535080366886720549082408102263157/16228643391876563983819297560119749742392977077558599682226329612070642252769594205557071725000489708199609876671419295962020589330537311450885298615178519720076220930619313353600527043713088600147707150756029691138170217191389936854631645563635615226725759189362443485039757093057563294295163370068971250238774158646223218340407030277903206702079328353103239311579657365132498735867113129642256068665162917287212470343766302858922177178477931382136815451665985088384882856002792648842696338452911616*y^34 - 457725431195323316321810006420701487876332225521198407758304780569316924450158310202072840096693289405895848236867748425128861978614359361103254988182141022916905456716936595647063136378480104604649752205589539627675410880956650711644225582154703169466003729374945251362996348089337637507305968378345106923916064466324511360161666765696150204160416307063791961458435138977448375857585496590788525165595409132340143327366635056053060744658661843993258642696284943060749778823703743558148881093634397701/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^33 - 23253420915223612759962641690777064821944650333642198978611780201638374220117544663423437828138777196280069060743968934481504335060431258593569476299650196583196256141269496853929775201616293954077386761886816110016003126319279060853470044601842752380082116398634646452721764494684242443749020600905485472116635981914919037253747485989828617379838373033324042699527064773442226830106615960519395381082595835309381505132790512221129758445944878792705966990798888530737687244857511148378292543951156435/2028580423984570497977412195014968717799122134694824960278291201508830281596199275694633965625061213524951234583927411995252573666317163931360662326897314965009527616327414169200065880464136075018463393844503711392271277148923742106828955695454451903340719898670305435629969636632195411786895421258621406279846769830777902292550878784737900837759916044137904913947457170641562341983389141205282008583145364660901558792970787857365272147309741422767101931458248136048110357000349081105337042306613952*y^32 + 1838487044913022441474818636879258927626779556232894136964934273312907517262253005899092344553574764734033453011196674713484157793175492112973342269276823424744764038928244131640971474780427011126463809082167034387122004418331856322554857624527910131915904591564730613554313306801162401754311735984970963342374582146360800621180629331757460890124634491738529304905188817781006670620895761253693623042322105670074683143179178047628397894460758235804299882829770344251219204337922818424009559660538641551/32457286783753127967638595120239499484785954155117199364452659224141284505539188411114143450000979416399219753342838591924041178661074622901770597230357039440152441861238626707201054087426177200295414301512059382276340434382779873709263291127271230453451518378724886970079514186115126588590326740137942500477548317292446436680814060555806413404158656706206478623159314730264997471734226259284512137330325834574424940687532605717844354356955862764273630903331970176769765712005585297685392676905823232*y^31 + 32909658138242050402295509693527296760839988626499108369651446406547016222105507721110922247587850201570934596614649170978129531593470671612263261494899654201451381956077928381273173866059645641807532793360702845258906241814954578341092637952824604957808841794692397660910015828708825746962732585281901393439778519620206413141346613859747547768169197992109978580077457544043175329092458046382746573508707139314759782569187657318429553464706688898152959483354410062065105963046066614675769673605359151/211310460831726093539313770314059241437408555697377600028988666823836487666270757884857704752610543075515753602492438749505476423574704576183402325718470308855159126700772309291673529215014174481089936858802469936694924703012889802794682884943172073264658322778156816211455170482520355394468273047773063154150705190706031488807383206743531337266657921264365095202860121941829410623269702208883542560744308818843912374267790401808882515344764731538239784526900847505011495520869695948472608573605620*y^30 - 46210015773124845596006225073527385414644048082215641142227222336977434905392132902941092170130610576948613684955692405660646802507152901771904922973252627392637461522157627345191039780345972556523558965710616227149758361068546189245583990693743664753641976030844367258563742309654232708657955340077743228161764160553417084235900970972687626267023053443051070799280723011753550734268552453423398378583967097776726468576194959384140110148714651522609110115626141541180275866962847354027217320169263503067/81143216959382819919096487800598748711964885387792998411131648060353211263847971027785358625002448540998049383357096479810102946652686557254426493075892598600381104653096566768002635218565443000738535753780148455690851085956949684273158227818178076133628795946812217425198785465287816471475816850344856251193870793231116091702035151389516033510396641765516196557898286825662493679335565648211280343325814586436062351718831514294610885892389656910684077258329925441924414280013963244213481692264558080*y^29 - 20572437944488056831745645681381329399499178086106531928336229953090299255538013163390216159075543161163453239420382331421915630962823291711585550441704652815668021853662170508190409492472748006457954609568182141410772750615132954884500317189593203314547057371369822015979520557592870717722873800877758768839894587868673064679571771664310603505156062231212518466306900773174384646939766891324536237233296325423553534502165467985258526926046272691040551638044809883497049343152527979170888793845455979237/20285804239845704979774121950149687177991221346948249602782912015088302815961992756946339656250612135249512345839274119952525736663171639313606623268973149650095276163274141692000658804641360750184633938445037113922712771489237421068289556954544519033407198986703054356299696366321954117868954212586214062798467698307779022925508787847379008377599160441379049139474571706415623419833891412052820085831453646609015587929707878573652721473097414227671019314582481360481103570003490811053370423066139520*y^28 + 75654098986084667781161970075102689185848610561652858135424914500631907543681565190984281569725840853507542697909029978398974329648792943436451441602027963813109197790942301379015248279392477000658571044271956045539463205758781026709252158389675663205814247076432510620886830891711933628645606084626810792100018341996908173233792075003661386365509228349867876423575388823268547308130576088101555549372500004907801336375423204778128936654189180878045745939136722174875952833877160100613693888346146481209/27047738986460939973032162600199582903988295129264332803710549353451070421282657009261786208334149513666016461119032159936700982217562185751475497691964199533460368217698855589334211739521814333579511917926716151896950361985649894757719409272726025377876265315604072475066261821762605490491938950114952083731290264410372030567345050463172011170132213921838732185966095608554164559778521882737093447775271528812020783906277171431536961964129885636894692419443308480641471426671321081404493897421519360*y^27 + 72313837927066888319684449330795900903409063654419852023832082266838929654320443746029003219568384081714142383597474560195083152276164778251603512367726017493494383636057782713847838849484208000340247052242140194388431557052379912777525925365346254702566705398597335100666961399583505679651376250094965812145416127690167721027038262474594558005541397432417283295314236585126190512131414801613439489878894912199446701714981616615426733945246336496832066250018931689270081509164013982566031794613821271811/16228643391876563983819297560119749742392977077558599682226329612070642252769594205557071725000489708199609876671419295962020589330537311450885298615178519720076220930619313353600527043713088600147707150756029691138170217191389936854631645563635615226725759189362443485039757093057563294295163370068971250238774158646223218340407030277903206702079328353103239311579657365132498735867113129642256068665162917287212470343766302858922177178477931382136815451665985088384882856002792648842696338452911616*y^26 - 148592831654765644694774582176967518811380657662875071754543885554442206404983681877936997974819644461899502762169044503658601056698990622248960668085227608083908524956003136393620754072909842073513558875676586495866147328185360439879076189193735669015158169355721297542651878673454057720399933776335737037268811407365368412929404766322192043228416461555172079513717347738555419342577704035360034215018002000080863086166147012360542061836086699941372932682700481036283532493436720005941191717790981384989/20285804239845704979774121950149687177991221346948249602782912015088302815961992756946339656250612135249512345839274119952525736663171639313606623268973149650095276163274141692000658804641360750184633938445037113922712771489237421068289556954544519033407198986703054356299696366321954117868954212586214062798467698307779022925508787847379008377599160441379049139474571706415623419833891412052820085831453646609015587929707878573652721473097414227671019314582481360481103570003490811053370423066139520*y^25 - 2217844921485152481164688828703399431079904055865398095088595602188457262997106044625109452365193873086050690715140919101787626445841532763985177794494441010055701904269585564165521500655581110222353745874202670313777342451661251796675274022556205724806806255822426324913289593514679710147056435916114718861388166513480604125309563677732396898233079504451030843362842016446903937068904559029680479494778566097836459763467608595857552278235572230198648859831188169719892970378839986701700538566665486534479/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^24 + 837654189461906909753823125048412638606732119832515314350837777805873330020008078831872299777507534074706799939710849579800171455258592875810006990785167795825233068505026335145370833974955107180835058263596167359826380484034475607785766485014979296853865917406233376328241453428176843744166933852314158302165609731538592106753900543236351331816197556762645878764918214765215403548757246917267112819473900543614000449047012782810694221300772979147552011521437024302684210285429141343821426512068042686003/81143216959382819919096487800598748711964885387792998411131648060353211263847971027785358625002448540998049383357096479810102946652686557254426493075892598600381104653096566768002635218565443000738535753780148455690851085956949684273158227818178076133628795946812217425198785465287816471475816850344856251193870793231116091702035151389516033510396641765516196557898286825662493679335565648211280343325814586436062351718831514294610885892389656910684077258329925441924414280013963244213481692264558080*y^23 + 1089859730361668428950317995712440481107798064412595728759057862204145694784686086750333137403545057865501965800646184724034440214945228375237153933106251288322099532366004825163416628071933697116658989514660084024522423558598493395280899300327146843093952581787032922485440543871186008708445266225639175927328745505229381906765097363445593446917185076829879113249521077577041894941513807804381751422389934365021905590002483423795289059436037464699085984287921157112292069833360735520739390471216258013637/40571608479691409959548243900299374355982442693896499205565824030176605631923985513892679312501224270499024691678548239905051473326343278627213246537946299300190552326548283384001317609282721500369267876890074227845425542978474842136579113909089038066814397973406108712599392732643908235737908425172428125596935396615558045851017575694758016755198320882758098278949143412831246839667782824105640171662907293218031175859415757147305442946194828455342038629164962720962207140006981622106740846132279040*y^22 - 1492320770944132120830304987876622722824604478965039086350113184174186862412110771528743797841233208346548069604653947819527334934203814425264809422513923112630211355013964419623084976609633872347644784829362689534035618794737077244039974428062464946671795396563837123924776131600900213724521326554847417556693683087794573969526575601563412568633053322606656163843131250439244324108515814145337389263090488028372510273416477090211184376065100791638062630660138312213061977914357645534866827897315367270451/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^21 - 1403537817808715519621392047502468239124558336392847647402836593556589339451345233122213229890259932707288979440560236252366071866484616099361571228615200173754534872826195020389559321889924821196556263042117697339385408294632291892291012500523405682563558895874394201164449088148023185571289882410655533364451756454285498199417442904405582950511511632889898810178093024961906973507209672480672101812130617871101531102069351537062581005022392070194694333554102864920565124972916088357210427221692890122431/40571608479691409959548243900299374355982442693896499205565824030176605631923985513892679312501224270499024691678548239905051473326343278627213246537946299300190552326548283384001317609282721500369267876890074227845425542978474842136579113909089038066814397973406108712599392732643908235737908425172428125596935396615558045851017575694758016755198320882758098278949143412831246839667782824105640171662907293218031175859415757147305442946194828455342038629164962720962207140006981622106740846132279040*y^20 + 1779887394516639830380346664614091710255361047543330625576694489365117312572646210818814154100543075310503708487579778236362557910120993456235314662004122845713117686616828621748524403163584183856354778222973758412386519155549336761675645828685586881191419534775999978561228863264448501549050238192516588924804503945679073801304065873446964833967150776694874946136775970832359097390573480859751604344881115629304468665635154240373830127639034168936860928955517072098740116444110964683499429829652264255861/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^19 + 1728537777257599269840374165935176473991751708316876737801105202560936277003226631785820407667510955984209592055833581190067630878454707193485024944587937349757035373792003700848912574512314360923971712742504863705576729172576360612157372734057698383810276626016403673209196975332078069224862297332685147165408586279376401125262940836824044548842039576106390182038572177419353616339544413821278885296753059086015683330639469125327406255325037957645790460640496133063210190878912523930308859401134671936361/54095477972921879946064325200399165807976590258528665607421098706902140842565314018523572416668299027332032922238064319873401964435124371502950995383928399066920736435397711178668423479043628667159023835853432303793900723971299789515438818545452050755752530631208144950132523643525210980983877900229904167462580528820744061134690100926344022340264427843677464371932191217108329119557043765474186895550543057624041567812554342863073923928259771273789384838886616961282942853342642162808987794843038720*y^18 - 315089007024418897336543445632911115646593772338539307606810377215787673431154343965356577038745949266880989225565403225904506033855964003493845250344545624039393666272952261679482095804764016739481230065315094605267731529405603709032923137265239273788845053173849783829436124239658446398519018046482049186418488579706545475546829056590812467289461383107446205849283652274340846348632285129656023788043124572933793772828565165522164419965098462883592084991158542818454689203624093076924843699483289482989/32457286783753127967638595120239499484785954155117199364452659224141284505539188411114143450000979416399219753342838591924041178661074622901770597230357039440152441861238626707201054087426177200295414301512059382276340434382779873709263291127271230453451518378724886970079514186115126588590326740137942500477548317292446436680814060555806413404158656706206478623159314730264997471734226259284512137330325834574424940687532605717844354356955862764273630903331970176769765712005585297685392676905823232*y^17 - 541934355606510298678662776626086890545060343467527452326092411334051892452897119176259870772282360611518029992404561565840372552544586982778522166535664580844459062537855014760951187738254576488115005818071795383708257770601477278656681152807263340527582733494443448019726295691311491007920030022824189254008660944901634371963413048149039913390509057641881243426774047349867915874260209042978879476446220516838359821810888005030142731291724691854974269705416421268857832482961782238198600031497026263217/32457286783753127967638595120239499484785954155117199364452659224141284505539188411114143450000979416399219753342838591924041178661074622901770597230357039440152441861238626707201054087426177200295414301512059382276340434382779873709263291127271230453451518378724886970079514186115126588590326740137942500477548317292446436680814060555806413404158656706206478623159314730264997471734226259284512137330325834574424940687532605717844354356955862764273630903331970176769765712005585297685392676905823232*y^16 + 6456478663465635552263487808471210561076675410185305016970528868586140043621467703613935925414631049698302902663728167537254090504966104207969885880112364503499689086889419028968613629062881286985690308308425891315637555686363716196691972697841147612962872758874718200976864761226702817165675416036960659733605703805389103285142499859810637434611847234593975953367654143470175858595042295056499805308311418477501461559319312610941129645454104798346767225887853657854461452961424874102862030851629075443/1267862764990356561235882621884355448624451334184265600173932000943018925997624547309146228515663258453094521614954632497032858541448227457100413954310821853130954760204633855750041175290085046886539621152814819620169548218077338816768097309659032439587949936668940897268731022895122132366809638286638378924904231144236188932844299240461188023599947527586190571217160731650976463739618213253301255364465852913063474245606742410853295092068588389229438707161405085030068973125218175690835651441633720*y^15 + 18550108615273161630338213642631845447268824150811856831289479166849207496549482794533030521612832462468079595102032088682501715990464603561474729924165445902868855750106291710829665406428224410413890671246071697185029280301433883768313203817189778316844060891104654288436443123213064239699074621232557020669564587180016045229513578940331389594332749337167901802298945406564266964131016751803526564694452886787237838361295557391124526330070286226385076692806964645709830050999733619991573589450030249197/5409547797292187994606432520039916580797659025852866560742109870690214084256531401852357241666829902733203292223806431987340196443512437150295099538392839906692073643539771117866842347904362866715902383585343230379390072397129978951543881854545205075575253063120814495013252364352521098098387790022990416746258052882074406113469010092634402234026442784367746437193219121710832911955704376547418689555054305762404156781255434286307392392825977127378938483888661696128294285334264216280898779484303872*y^14 - 108525753973330257019617871148185814377074442717505542956208904505800155715669343924580206931950709357333407031476420006227752261412038214564350987222961277468526195001907681308962531020501930780492823578615342326081216383247564169808115057693429840471926756567930317464017622521732677440002134614344647892971401507081468594057907159392979927294035568128075565555428892219903573877365276390308122388777138882646550234552416465873131333467173666263215393938826804174256786028663318860836887769441094962811/54095477972921879946064325200399165807976590258528665607421098706902140842565314018523572416668299027332032922238064319873401964435124371502950995383928399066920736435397711178668423479043628667159023835853432303793900723971299789515438818545452050755752530631208144950132523643525210980983877900229904167462580528820744061134690100926344022340264427843677464371932191217108329119557043765474186895550543057624041567812554342863073923928259771273789384838886616961282942853342642162808987794843038720*y^13 - 702639617356990269995937898010287575862839594940689949466791600925927052573556646257159914893761184556596315995002431858428497993809236364070031591842852104327217872994372324686657241366412470282407566528267747152372462341277940447739040533219951098876083923388134313476833793969638766753843860427072747724996057371754099826295205924256280499831689090987587754731790938177038827272008700276082105787983275973722999093795341002120281079640831085234464630313418819504180807573523722377900943823919277779/20285804239845704979774121950149687177991221346948249602782912015088302815961992756946339656250612135249512345839274119952525736663171639313606623268973149650095276163274141692000658804641360750184633938445037113922712771489237421068289556954544519033407198986703054356299696366321954117868954212586214062798467698307779022925508787847379008377599160441379049139474571706415623419833891412052820085831453646609015587929707878573652721473097414227671019314582481360481103570003490811053370423066139520*y^12 + 29851389270394636238961135445251524466965974994475091750252165143888756156978409422834018453936467297250557712809275654061274668684004560316706413302587217062187696056536549035554325723835596599418590247356507587223293056060162941788562832836469688514341095922772776540957991148162601465992204289357525468405663960595726733651888549328603690762712348867597714596055296727131556314997151432866483327985157091234362411620324733344558931820518333586507537978645687580861674868302903189691836420046106581809/81143216959382819919096487800598748711964885387792998411131648060353211263847971027785358625002448540998049383357096479810102946652686557254426493075892598600381104653096566768002635218565443000738535753780148455690851085956949684273158227818178076133628795946812217425198785465287816471475816850344856251193870793231116091702035151389516033510396641765516196557898286825662493679335565648211280343325814586436062351718831514294610885892389656910684077258329925441924414280013963244213481692264558080*y^11 + 5688784022729698811448027195089107833146451276169389670748853389392348877648874524421525154519006953345761643266796448634076440341843425377781169816751722526693537433590554536609921478413669800296368160534395874728002009524113607173868516208475155121070251916518572962643065608001019424667395665205304130358542943810533739178106759740592556854175893649036515720351514021230386045235167632541261239900750692376749272034735168455298925557313531977631566361763899580007093402425107018664311019752929329213/81143216959382819919096487800598748711964885387792998411131648060353211263847971027785358625002448540998049383357096479810102946652686557254426493075892598600381104653096566768002635218565443000738535753780148455690851085956949684273158227818178076133628795946812217425198785465287816471475816850344856251193870793231116091702035151389516033510396641765516196557898286825662493679335565648211280343325814586436062351718831514294610885892389656910684077258329925441924414280013963244213481692264558080*y^10 - 766755532891949879755728499983674103021458135384275759187318521260097433355825921798009893288119207870704180466889074861102619838554501440836355542428040475973921317641393487652028355211982070143369110670670532554000476938985731289609111289496256790415105959865296981810668523189732024947675764723482636083157060321253442171005253876001148699111765341081732262138074233763098670563245045635460538008074634147110393244737692597759782168960832474602799239233202276907519694813929041989631644375589827/46957880184828020786514171180902053652757456821639466673108592627519219481393501752190601056135676239003500800553875277667883649683267683596311627937437846412257583711282735398149673158892038773575541524178326652598872156225086622843262863320704905169924071728479292491434482329448967865437394010616236256477934486823562553068307379276340297170368426947636687822857804875962091249615489379751898346832068626409758305392842311513085003409947718119608841005977966112224776782415487988549468571912360*y^9 - 10024678419425979495794146896180307762351185983057263814554128813970160496105506797949060792875147816417018786468704189331612768536670983608249744981063467507204366774882895604667247610190352942316176674720763425726383200479987415020725762222709001233803945339864085398027403223082671069121251548997104632929803953514672495276005586454634610282616170244065592840671907512323732687866572217619250480426265057072433218310532139642798467078121069015652852058424537270816230333823496355747453561095512804771/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^8 + 623996244828056258153009199256712190340700071533797519751989385099104501624573099000397308665844623656005371403578342165662943040568873054901769117226857975170988918827088310369229418612810093728484280046769829468898401011120711248326348413052115337334997580433873348617413282327941652684618606126298364404777802953003308678054641314905204150205504594748061002853545625984080317847039223722614021778696764655960602080857361022325206004774533443487242428539806523190997170482663287651817180820055195217/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^7 + 142095336931677224992951877034732651832469225143489021550928797845363813043122449360723460933461943704926477495346382797449308953227359424091727938808468401594887112187049363303651943893572669244979571028727658569390006163557124431113302257216808614062963040856167038164900898343472619687171961745287145490973407080298059681970688147834401911192255623111872636625710196937833057008063045169731851573359556319929996552672504667353399127099254241398823931315652949682968453461663206547624518027239974505/32457286783753127967638595120239499484785954155117199364452659224141284505539188411114143450000979416399219753342838591924041178661074622901770597230357039440152441861238626707201054087426177200295414301512059382276340434382779873709263291127271230453451518378724886970079514186115126588590326740137942500477548317292446436680814060555806413404158656706206478623159314730264997471734226259284512137330325834574424940687532605717844354356955862764273630903331970176769765712005585297685392676905823232*y^6 + 141927062715078625394990426758080568771162062680204284214057110859926744410077359660796534911995387941495004527076491715629283789048089542521204420615541976209893330184115711071763856583204339894570838395955143762968893590641125704558964554348923584488820578378292512063974911353721877475427062281596918954400514282359240792358611413735919271604415479395152357235278689997745738864447810226547743576328794540266239114451093157088821500847794263484384566971430442771021796483517825048255890773156827073/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^5 + 124225161372705896475617277831977839262611982753504146592835596063984726566658605006136491643011119801770680792103875078786362331090664822524655519734315754529895243206701257502669002298398212058090763627376257560602578148526251236009775120148661047718220755289409927019208746735879261098639338564317201748721096941123288964473780349302630012000352285226103281767513992329000009285221231051080499711788967505435710325768619910231954708923447357279952103852955029910619138226084316157199413569841831283/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^4 - 27298677487652731252751816136804537791701976586275436292069746434828919948983369525369616718679473888040911419310704203473121556869287337913474248939983022293556222429853454597647338025061811200495824809751157558817114309351967933581550918640744742693118735612529219767060180132144383722063676860607476470759096692286984078037794884009607173709868134319618942976378950539717614213915402487646020752728615479697332020600030203642021114192655134973023315180514849906666471911035748960277035187234826871/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^3 - 6340748023478751235236060693077395817095631330922736956184651717206495407927304088919191651322967481737395869199204412017994304715961362817946772191628710615493682268932287143442208040485306659712302704003250414004178251799309668704540923863206381928699446187750182116200878638322287805886577625082162189038839324384661212202154452591797947007857868166059562831344020074631803363375285082804352539538104997622887258897758473863660741088532920077187977042126932315020992244619767301577332768338850719/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y^2 + 348337835992066041037281858835575568152862502996646114007608686929165134176999718312751490486938931809277854808478607441849533006163698045781881981371006932593701009967487549554278404510517427522846359035378914817657264174010943910211353925185311058985201362070252865366248130300420789981889528417078278572321762402802249799266968433948201403212430560184031995758680312479976902470503577930125841879056981319255235081895500725837070242553443715828882325266486000671719670483194917072880308434577109/162286433918765639838192975601197497423929770775585996822263296120706422527695942055570717250004897081996098766714192959620205893305373114508852986151785197200762209306193133536005270437130886001477071507560296911381702171913899368546316455636356152267257591893624434850397570930575632942951633700689712502387741586462232183404070302779032067020793283531032393115796573651324987358671131296422560686651629172872124703437663028589221771784779313821368154516659850883848828560027926488426963384529116160*y - 20600101406830887642601759845871081406989934619212808157098302504238089560886186905506968003953916109352504993849674280201352132459240087812383101768685576014516977644433075604503231112493508609295083954791058615714179134574631891364709443721504492361560329349523139256863234771787767717511551246687950470775236913064529996566333711721237558965608690962010280966959804181743136322041872713925804360340086856324461716448488580709722013426671035338844558778944426886143801828449948345095784134504933/9015912995486979991010720866733194301329431709754777601236849784483690140427552336420595402778049837888672153706344053312233660739187395250491832563988066511153456072566285196444737246507271444526503972642238717298983453995216631585906469757575341792625421771868024158355420607254201830163979650038317361243763421470124010189115016821057337056710737973946244061988698536184721519926173960912364482591757176270673594635425723810512320654709961878964897473147769493547157142223773693801497965807173120