# Manifold: Census Knot K8_93

# Number of Tetrahedra: 8

# Number Field
x^38 + 30*x^37 + 87*x^36 - 1947*x^35 - 7314*x^34 + 45773*x^33 + 129916*x^32 - 424438*x^31 - 911809*x^30 + 2156121*x^29 + 3576728*x^28 - 6496457*x^27 - 8461138*x^26 + 7206118*x^25 + 23217040*x^24 - 6875414*x^23 - 38941111*x^22 + 2527650*x^21 + 57396787*x^20 - 33766462*x^19 - 8030593*x^18 + 13958105*x^17 - 6803106*x^16 + 3572468*x^15 - 2008197*x^14 - 1990735*x^13 + 1331448*x^12 - 339363*x^11 - 209407*x^10 + 35916*x^9 - 33664*x^8 + 3190*x^7 - 1714*x^6 - 3518*x^5 + 222*x^4 + 123*x^3 - 66*x^2 - 17*x - 1 

# Approximate Field Generator
-1.29462452908477 + 0.670896768806108*I

# Shape Parameters
-20502881359458865922630791000333123135137302762867544024408833351161045395218441257474744869074385382448137182187154409154652575076501533720062491408375774701/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^37 - 306331048102199867212041727129195203850297720907692720584420810008996013164147422085488344550205916693173635078920910787793267332366867332629101800631330993198/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^36 - 855562426909208263438196658754754182286456400000876306330316792865357645563259120811935648767145982101262064225373172886727524683520522255653600481883724452912/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^35 + 2111935984499221056055052938405713545904171956474350622423657112730508953589646816024919342515798671213435255116986524218200394631993400015802454677697563834109/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^34 + 72612800596776281751115712774567618086116131960003193193182080589541725155960503162403682907510620997661644280429363322052064530227248053785429412235234656289212/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^33 - 956013530771277135262566415415087729867612029435330919056391519398884110497540663456006036392696082669959549284468308812006100745780372554331376883672355565437199/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^32 - 67150015991890883224668052817372771742068477580469669417601890342354046378220433600777723857885578915401562647829252379346815388977465728861994318354105417626128/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^31 + 9013005892577847385386203271902849043588014860025158391157186254187590492977513501943502003286421919526739838483330804260441385718568089684968702952621997054335479/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^30 + 8823326253704438271900787036694632448209069788702772448028672602244883480255620674157694875386189744586935611580849247290497840543126194300863602067254187871568033/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^29 - 23191389028113799720514070061797567503641859935971875663223574754499902383335011242189750058987688134683886632342682127083102310434646182502360498270344610718770681/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^28 - 67956199856349736014905958915783981183849893717099178466852871947141498394546992548237812641567164707311099590765423512092904059274625051352495341194657510134442803/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^27 + 141699480045372584015269128240195098587111801186060506021761179942746345474374217692477072085818735282056965579812304683509258245281790110963765926748250499480559437/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^26 + 78534254244293049724929465374330281045788232948721589171425051573281808076087093539231433108703694665544020208587857475180697401467010172687265436784358898689191329/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^25 - 167750779836629477837412722247163825501878428944148458367161530757209767282085383657582972865869092094722745178582212195077968185841981208846165814841348183878528613/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^24 - 228394501590497263630893961463136022963668779279745083479704332576219877764625279688080592052327636581382255082634812851334641549458323005513146408172058235446478145/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^23 + 98374976464334672563296551889294663437403915245835439888875275816811830017727546614667617693285231623491878290891047397893542370333734385062642397494006905881931366/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^22 + 389115062010537518394578689648444540001504425853114521653175634913793772705758790690146455746466913503423830881991461064655221846878064460520808550660524579810801556/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^21 - 73603584893461439994658693695528284376166517916075347530429306385430580486019607287744829299708838085004050649563995683413564790060247679838343649380735150792214237/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^20 - 582197350764405772252104776820383935386483445121384277610349073070431639706273655789568543143396037516473714013923568694629482718699182711515020573956228529731526869/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^19 + 416935185320439541926400268405980774716061795596199086848755406602454145777610206243469123484668719020182951878762722708472477522539682376989575794805546666387288669/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^18 + 74138498639435734157554841807607735396379813778026069635036269019294725972984513369680860068877557568183690588953496501169455356338767796707905305937592111558843287/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^17 - 306563839138113474424461756897572712048916899989757237432587874272118911705340838563906591029520782766987718473011957561859954996187376433235496767253154756615695827/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^16 + 181676652761964384215667898808870724323768787028884404015134776311742716056511762191695730585610081850643216687175332788084018123211752692782874106878611899828232871/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^15 - 95738116230896240148184310202509440023415814403353301612310273943021079168444889082911957028107042803847323170541364960520412133508364259740448787865136415868038399/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^14 + 25838461462496540065147813506611999186590507961318903072178968101801941510646270480755223294228384304355812748216578880278424511108913601347649390999338029084254069/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^13 + 765124466834367653494331125198627122110971610362875475277762043963088574796702443855344816073428325834009785664146043699059099095684241071775069311232283389023893/95917668730297830047952313035589105484440966145600149391057368074656599433646148305737317141559891275839661014146646811897293889322376055815984883721374682*y^12 - 32715604986273387425285954408580989813981745453330088577169825605785763388179939519198350293673600677521003527180550993766664635312509717206524261705493069713499831/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^11 + 11187480136274102962276059407554219224585088286189946409843775533818273017485947283246841239247512299012381933903481517304581200026749154815169065668764774588943833/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^10 + 3018586101717426341038075692225456936101642711087054039738609511990618782180543071444827914066983957958730271114062599680973310424681296225849323421960437236100449/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^9 - 1199219254944436239831490796863757719245811273050275169937564693919437919313597164402999799048733351923885079329609514056447329220958548674354007875396911975366987/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^8 + 433472839845395788724712514658023160905166999138106615577582663356685031555710606788679310036099642159585925519673258972109148181673908487273758855918736238635810/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^7 - 89443821137332975408458261545259644686827571716218773527316239701191456722699270846985478759530504402873840827996362971445770832674315831473819269803890693169675/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^6 + 2965803876966685527813874634118610404796236860211303418541207351833840215145960252264358881065112852310153592909592905480480006899312907489454608447365654075237/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^5 + 66821022912351008564054245605084541490301599890689849567015597240117566473769752317095180181609894255457784678767980432719106750699586043240246771721523731568517/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^4 - 6761944874818838859794256770681294600379741370331157994826337315734733328013858530992327231890275978005251117271779092061400901360212177262204478387274127156678/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^3 - 424265798839817041270835841337168944945329389079642214403658751597216251418477134516092047563383901995779077097061408111646652255254595170850452003820283879851/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^2 + 751856505224580827185339282896657779537257153167895812965116775036181609107646679913787305557008956343165999734679413566131021591410053247868148423201237166913/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y + 78801724438796765110021115987130731934828902896237932375371954886351841073153481884477864403979754308828942287047974414590614713949656071683091231956735449358/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027

8202989045927671463184840653211527952740810515008146741296182422977171619343520215409704036581895789279606255950742038823494537000209028407410010116331657611045275/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^37 + 241693705963848912703832469772158386541850493516673988360415926573094691909159192547838954511023737087957610492243680220498777171339476598434485667312090282668535041/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^36 + 291541839944336073798967256325267797385986772297747957205691346074595221371718864466387727056458084053534001378459937652944393110093392900979298745444596700130842737/10251777118904312215737831553175303467995378778135618731866797685646316601320329446234696639305599871932149015570295871075569163363015989800676726884903317157839456*y^35 - 858679532650204482845856753913904823359293246189220762619228417085744737223029541231767640078272147977892935785933842198460896478489732647160466167350321383345120501/1079134433568874970077666479281610891367934608224801971775452387962770168560034678551020698874273670729699896375820618007954648775054314715860708093147717595562048*y^34 - 51333920722768268744067043665804531185053766504542437035055164893109807244198731246859852797918617712898414966114196604366009959274778075997898688514873819743407223073/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^33 + 202532938238859068026276549576242429995337131057240360013203099440946755678661330158897722425381982323101524670466767261545482955759992490672536557249128476952985070837/10251777118904312215737831553175303467995378778135618731866797685646316601320329446234696639305599871932149015570295871075569163363015989800676726884903317157839456*y^32 + 22515419283251285740663646320457744832416669292705461857953645958851240314033848314494261295130649461872838166485375309479967663439784096297433178415523603269728021729/539567216784437485038833239640805445683967304112400985887726193981385084280017339275510349437136835364849948187910309003977324387527157357930354046573858797781024*y^31 - 76749183520165561572838324658343710986400727537833626859772217572491283559593651533196001090858361814877189711746903784360326798996024817440439975553808952610698709321/394299119957858162143762752045203979538283799159062258917953757140242946204628055624411409204061533535851885214242148887521890898577538069256797187880896813763056*y^30 - 188266574140808468579339001959711432746873607956855044164006387621322702570420967384061565820641929090169161267731988411276552688188129889357829327297468507751281519307/707019111648573256257781486425882997792784743319697843577020530044573558711746858361013561331420680822906828660020404901763390576759723434529429440338159803988928*y^29 + 3136774984126615728871296105843571121739761671482526932181753582289173426413646539309500404604643658005144251438765495499103465559436479558771276137612086011453606691/3047496170899022656283540889766737059451658376378007946452674698467989477205805423969886040221640865615977709741467262507600821451550532045385471725595516396504*y^28 + 294054003147756903527266610485095631834879802974580705687667875442807655980365518168468545769838288034090754701583837092604705654188969482499339834523803353389729406493/320368034965759756741807236036728233374855586816738085370837427676447393791260295194834269978299995997879656736571745971111536355094249681271147715153228661182483*y^27 - 65949008089948038367096004136801675147090920456347233135671753427732604101661525323142678409432051975916193127168325830321152761816149506712400931992507809437942384305587/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^26 - 36945266048630611158015843929239553651870173556777942731597139398786174201062087604059998335768619948270293224462214553967858051391525086859778157263786251740980034406101/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^25 + 86885402794018087234927535497630264129918254492883106784264737046525238284866819238042893686578652992225961010866169957270776338556687943500154753759261439996783566268489/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^24 + 150076689949757283385545363577006228736695094473299627041773726399173781902509615810671724737205203158621826332753647171364606045689952558094603439641374090672611404412205/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^23 - 146936045843968989930347600234671837618282410540353551726705750214029540658767315518930832150567700154085650691615396114610096312572868776782167783534628838441671944668129/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^22 - 130914074478193440934777201179996004969570348994270679412942002693649633906449079822877504651543585140024752510014892366806905411324224743219047323210974205330278957738897/10251777118904312215737831553175303467995378778135618731866797685646316601320329446234696639305599871932149015570295871075569163363015989800676726884903317157839456*y^21 + 44054458313054748565427204740996675029537980031208167126686567572933597527865000531659155327843990346850973740092809565916103392853909833012306010697398314232202483431555/5125888559452156107868915776587651733997689389067809365933398842823158300660164723117348319652799935966074507785147935537784581681507994900338363442451658578919728*y^20 + 31761550258454968185771940549964625183309832901460816191124439939866637238655025473824618091885088216349131030087026854402271841039062272443332745352070380164452361162417/1577196479831432648575051008180815918153135196636249035671815028560971784818512222497645636816246134143407540856968595550087563594310152277027188751523587255052224*y^19 - 514448221286176024807850889245308123356583230443124558569658993836022649207398246755012383295402199402613865241270736424135806810479401254762575092064272184259599488871081/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^18 + 19200570173960060981355183810332898074421233022740699678312406579100912512872179917180501486469473164737240183708669215982014806544121188728272897485170110063537811341381/2562944279726078053934457888293825866998844694533904682966699421411579150330082361558674159826399967983037253892573967768892290840753997450169181721225829289459864*y^17 + 88252325716521064955257608248302190036794656597111129483171122723427879561364916968710594296999220148455659949593624459764411442943911674277815545279183289738551855941227/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^16 - 112409366939351374500048220015777312021612287961656311196948267357862667247317998874753186042701022904495627629221705982034220626798701618669032087929278649124483945265903/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^15 + 76317656998155694139995543741558788853415061994062245642527600067172711298190846510338900192581149172509643279969630105221454266961069595425772373234059338403962643222689/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^14 - 22661795074482769638798639442168343522876278218372351701810909728311753338376964822537667967758563485204646740769741624309408792302465846015580624004754524857035244406409/10251777118904312215737831553175303467995378778135618731866797685646316601320329446234696639305599871932149015570295871075569163363015989800676726884903317157839456*y^13 + 7904714677543545769147372799665729497631729545749307467186607866547757269174161153381807300351809785082638909076506773419229007393886705082377421858100285104892141471/436245834846992009180333257581927807148739522473856116249650965346651770268950189201476452736408505188602085768948760471300815462255999565986243697229928389695296*y^12 + 15141697760940989111656506125765820185515408102660661182398106110603953533872984967604209172324952130056357088378082406942312082521603631540024048465566102848805859466893/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^11 - 316402189936233211927960171542625570971145039187617233468513206192444744180702320384357755091153616491778423003734822150717960562804014885457540689864324939709222562343/640736069931519513483614472073456466749711173633476170741674855352894787582520590389668539956599991995759313473143491942223072710188499362542295430306457322364966*y^10 + 1880588297973643396442751122716519878322257225555085435357273470808192620835674759613411841172321478888047206851959096566723122693347288387696963717596345855348991127995/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^9 + 248964094671769221717119772242761119980648675241341864447454376317446536593621940438949933662688394546990466665748564275689827878397864999345098603214605148624395806107/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^8 - 473230714974757676625985567095486287636577458382828946769736415113909032906594838131536629836524389790647158623251762162916117656931171323056499077366519043740090714665/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^7 + 233418965926681628349430214323153558235258015830207149625816784281681162982387922604540669488266017758663679514788726761665971107534228243422094622423670301553888213237/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^6 - 351829643253782178354346129240110230978902429790520206363125656586213128675594313268687168135667114325517440016041071505055008119457330506728721384746542560971417627/83010341043759613082897421483200837797533431401907843982727106766366936043079590657770822990328743902284607413524662923688819136542639593527746776395978276581696*y^5 - 99859436278672073599669713962436059880250130210473840167038523945571948617441948950522843882139886490414909439016608988573746371309006246299015899697746888875267543/707019111648573256257781486425882997792784743319697843577020530044573558711746858361013561331420680822906828660020404901763390576759723434529429440338159803988928*y^4 + 10670002701247956998961261617321254717740898914493193147448968957018219788377628456229207930253771874372514862903063298728610540605448274367664627489523951414396271795/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912*y^3 - 12833194327159085350369528779077887566600591217115375857316732630380645143247209354844226440486820964288473771951111953614651608463233922384448332097177916614547151/88377388956071657032222685803235374724098092914962230447127566255571694838968357295126695166427585102863353582502550612720423822094965429316178680042269975498616*y^2 - 10103969475366916354646131147188260920298115655635600511975088924926813523864791247110231290506790173308766881225524739088693503388217303972049093968260708987039591/10251777118904312215737831553175303467995378778135618731866797685646316601320329446234696639305599871932149015570295871075569163363015989800676726884903317157839456*y + 64232053713914790978799349876793214265328288728259444604789185127173160249068163329556528512540536936069167997074012196719274441676322219177554993686289504012334703/20503554237808624431475663106350606935990757556271237463733595371292633202640658892469393278611199743864298031140591742151138326726031979601353453769806634315678912

765546059539872213593318004118287880634909914838522607796686462770296317658877131008527964769841786527206591391005593233453298892654765802931240840417067780/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^37 + 45628201429621712224166839831257881477316471558723424125437881681593958859444517062355017223048410597050828914186837333397349143454093328587841265321796778685/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^36 + 62080686198587534083281032935444560169812781341021849254357546784158564102280739674679715277909910308162016939154132958456942158551256346812971654827535055583/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^35 - 158145263633963917397280631612357063480533026666249491411557138708900987901947195679420258623981536170110814035829488206012752222926299442776232139116826365669/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^34 - 5299006500481901045492344589887992956888182744441813512205564780075254245371517291623753676488865248824289459893963622418093114830806162481142942756855295178679/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^33 + 36063420550464760557090209879612621085405836002781040949852845124452332778718233980123739439735133685681955212968340023579826486889851936222017869415483343311349/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^32 + 4850970125413255784686073980817984962609753111612775057540710681186757766965679964051612332308204066651144859705651079855379982004667360815894921167442927412490/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^31 - 684991290510378782525385543922650520652528108764347649914076676444452801328905857062141181053741931830608346540294148409065290296152666678162440846226950034081419/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^30 - 627897097714813821966297399672633032258351391956892852000525292285467667462225529074083072837463837708014040186790385755327981104208026588413195548596717856417632/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^29 + 3536501656137387191386106129620414656379385700135324829204837228177824703871764404148367126143559096875490847485254928204864971008074741430593801737015788030704747/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^28 + 4745275292859185128804634321801532602943856319189786660121298669721006845319518518906824207521203622235612148175042534518862617131583941332089438439824295542777123/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^27 - 5407668075341419872570276663836256674277067770603941330045358802114210671111315214342625248799268677834510789819696934614601261540177753343697379788540256925983840/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^26 - 10698658330457442399669775668717897379927556744953230509218065700726830609776397522703810163565415537247078047480642941009274217742505739156733726447438908145488443/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^25 + 12929354190532223940652919027101049567472515129967984970965999875529007666631037560915803572198308371631451911402791355047745529389672516479165441512415141591510467/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^24 + 32738958663740747631724393454320485377275117776275516332875766712465223796356334262660515928990729173459707084394263521222845483640260201647750209122169700393620139/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^23 - 16754774143091821192384469270725677978157613598601673954105519502758888691010245570199429486642064620584129718133126825046459615907230360480795923598408574761071253/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^22 - 55591307332971209243812240369299446280764011828771660462883769733262482087935607185720531522738776803549906324651514265266339818023354452468966133906907081470117041/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^21 + 14577760791894673853388027320373340216330381851625295357521692531897774420893006978422601397886102743348090384656419372327446772759353864712092343057869944942982885/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^20 + 41883719973215227527321757294538432812960802986928636315122689352604710524586430069105518278498473038373594230219855758476919411558453462699342552085515104453348488/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^19 - 34015028868671938184431993687017081373802093101290451961992060180399351061741200320414566942276641115894693005324257841996886529703736790791395530272199994762158829/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^18 + 1523706153616105479689234901857800491368459172154763188857352280637179907434183343803495630168644957039111106779793844379122959392927504797965652824851052426258649/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^17 + 19292853665095940167677782148637981434425139204361185653747335207040376936420297705326734905003580914895826575228625364431318491585797123870085862146189068997927593/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^16 - 14299683047753450384299042487995445846989536777919954924554060605662612754372439556313176546902552381123536096244218768349399216658710666747285195531693278083792125/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^15 + 4480806703955399432466332918893061567379437668226622822407243440616498208422555445371541079788458924438827783571985321989185542996566218160187949732212343324221917/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^14 - 5358222834932449041327857120172741453127183912179596223419080755758972731856775356050093171232347871034561483715944907748155132230001713453655741994877144403169705/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^13 - 18122632522779294035035631073167151064453710597044538248067886148074944008651593185597620635957301956921970580852888874859423812723613412704143150217415054340437/47958834365148915023976156517794552742220483072800074695528684037328299716823074152868658570779945637919830507073323405948646944661188027907992441860687341*y^12 + 2249122282042112010271483405437519377708715476357359785525514390524096105476450592781974766807803345180521638707173133850719644819129841973569573476097098814043153/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^11 - 512528919923593100263864800421176757285890834073411385306447797480343685815271381989017616691384307478839211119903762519630301611131525902884005586714615639881697/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^10 - 20105329569509877192896496018614051525291791810332301049373666677086107309172725668050986704279155524912103490261147004151653706628653861628938652872045833487162/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^9 + 20197169562662902097283534346732391729438421680845442659491508225284471663834174888694553438392319253488992977336417959860031193702903025748527503188065152560195/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^8 - 49702156461666478818198239168002285068002047058779392915231365346989319785884799917843945082687585496410290404707459602917440705098000910141274205500788167717281/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^7 + 6971097342186452865798751745138927286335672619418121270024949950403356315547187372344535055299016621318488702285223110314174799476906487758722404823587182392778/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^6 - 184262072938793392555484495701022454529892994774932862037045629267689234845917544037088642662782086954575992095279366927905013113836344641613405309472913585969/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^5 - 1653488424363723942985086506750316303166063987579548138841630842757733076882975919502379825238260518005996053473466721114827097021996767612081840596342617540719/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^4 + 599846208104013576252807117940050824869008847372964602291603632154790979456623570000447970938737720881066838274525771175920766002067444262561082940224815947211/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^3 + 15516301588660352884991592717857531288938140661637361792917313200050691476488215431925829766277919274139638466699298385735414752933276370742899212415266738867/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^2 - 46746737525885159164027382987942202962706216849327806481723084852109396190660413164871201491996005349258160000033704437089949234981603240051232831570236440080/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y - 12330213853805229566687069935699745578649386959821226948454491177703111114442689595464607159575352597878717266562190163419573307136188268578640908628599455927/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054

-5569424311620255679307393409198854266294635061078242720302095700889833388117549052977814184343366777372570949476995145479408154088671830145993427326023949041/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^37 - 338705440436995184595920154229908695308116044314844939521733458923796161475323774753340686944014214908069698075624399945212295303212075235364420096206075653631/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^36 - 551609198934812317842104503827290340808221665245501348332785956359049268485476683242231009031220220951527409459217427713347402814830496973123425160190676695036/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^35 + 1123872059846499542021284810382994360941374709464287538267099255536210439920046567358893449513881142699503503922425964413170789021431972075069937769570072174499/9728070928593890447494953011556852961500933776977446730345660435782277216244006725534516322725574236239106672329504652975057122353906245239863308996373105906*y^34 + 2206584164468543675386558737230223029528864319777210876299399209712573604323212029197763644891960911248944398701378948151603513424348613631027859659251534211393/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^33 - 240355406538417078900387322409934298738867953518029341260120034894177840324815108944936534095592223487722547755373638981515727719849228499945803224011332805749286/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^32 - 87830177429951656552675773511032002245800624040267570852420291134593995184120497463279452012889079300663070511323207933537437216413276333305876484762078311334823/9728070928593890447494953011556852961500933776977446730345660435782277216244006725534516322725574236239106672329504652975057122353906245239863308996373105906*y^31 + 2118105627476158193218341174250093067820891661963800796648657254364775853520720765837309350990961585477691920474412367415645332612036528410680047686419069720589276/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^30 + 6160534994098352681091121563674964496815209949544884506381268439934505003763437759404838612162296526895077286091265293267850612156284867947879198539765739090056485/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^29 - 10409004403336484909885423140221543271961998365959856880988303444499583340908601391788453243006749693948184376740335481091304929600840634169755585390141364206525183/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^28 - 51215117384421402223960643355800402545686826030327674158596967165854481942863416404452312626554077673917907495378506791522873587713183191754840554717288055880535915/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^27 + 60994906421888470774592696957415504836061352197965997308986406698183505125834768870347830365526904052343917483581900744283496846061218737376337558559080058628888575/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^26 + 64788563923497192006796160696718528488522503994216389872758816911931166081525791001475029949407008360178610061376369703181896770728551326051236615291105140482316533/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^25 - 56738047274389981872013037468768960723582627720660990315413497552383240133426069782742179365196696113503377888903289518741941646200437468884899611695035003332058977/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^24 - 152014279608489201385187006681374864417866580626800796615435254211155685006638592117603311914614710390144607493400948510115044015999198861388744571947959423225233248/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^23 - 5474044036515674085351788012816459055134313930395869073251396226882096102197042947756828812550487999715716592292017350299912536770244586784852052007592521610532049/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^22 + 253438009557075817515554014363639294624298650764005960101293631897429605697645430744737017170204120243061314444994560185054269846479119092705320845322528044896762128/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^21 + 122907590674299761246040469089236171238572037317723233863899097920565994766185994780775597050738704357604989058113867051416445265874518422614873627089822562001343483/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^20 - 360652098745474641658707677054887621648404882070466509360278430001145125009048658983635520558173034028444176176004841447249904425573957364476578305461698289704861765/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^19 + 140349594903938071745885145878084860098254783122677385383766337889922479562098427374161518171296177781931781709489304933141654181727586815394547732433127921614752653/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^18 + 175038044882861241960796636060781895940109142773915364027450044413450610622465039330147888328443756672059161536319225158967932923413987583541822633208426014536198644/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^17 - 219122295029960194526870448486808931044282783380111989479389415442578498845975769629335940566174425027523080127309895503224091531560140520426159505912426543216037483/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^16 + 15650301435485172859697541821363909468242222618457984166243994143173907585287271120047224048744744202606155348347272184230720906329936188033570765206601694145937393/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^15 + 8622547365508233562286001336933279466733184913771215918344405617832912207611191043266112938304667897910444897554405785764959208470183422740588556093994843027235487/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^14 - 12084271317893327127004538901020782963227985759590696012978938785386753379441500705412631185165627285260734060024777054584063041411363329134060088025651382605554695/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^13 + 964430318454766520064494816846716608980321379430037039958501804922226788753909497674517766410050321021285527485121488170068161247752625201741507612323253400696293/3932624417942211031966044834459153324862079611969606125033352091060920576779492080535230002803955542309426101580012519287789049462217418288455380232576361962*y^12 - 7617941630008135338362025062256517318363637818589437702974940014311270113725227665465676741723818643087780666112619794656592875597119370712511458869436317770183245/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^11 - 69160312137370570609493365124100186894522328335880117344875565875251015085961918283645021896731660978131256935058203010705299521000972616589921574507459026974375/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^10 + 3167876287031918848175173757979561945681909174025935836642642815100125314056318720611762592238985289421588870044211961123456626873673533481687487907978402925272611/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^9 - 462872149708188266326810242540926323234227854457462791571946596562023539605932661243425743047912845228629015245333515161628968694960150332403591926336827695332970/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^8 + 189922386070873448388794266521908114147608357394747480297411520215107535640044051738572582185566681974113954809200107102616174902788934990536683189895475037715311/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^7 + 52519350045406825061186504906887790738382995319518989809551375443851667508173477478367704149668803428811163296681487980700621202882173289881898103117363910413335/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^6 - 2204398615533202553329246655860254703151213716418772003682469520374139074243193557249045954271373891804297300638029491309868537703159833008776461699448544366389/9728070928593890447494953011556852961500933776977446730345660435782277216244006725534516322725574236239106672329504652975057122353906245239863308996373105906*y^5 + 34796663341562811118101094424985843579119062290262031229694511828262861690993486586351858765352759661241765253363069635797729061120214675172567865086880644465867/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^4 + 306390338737810998400302666639560468742882782243236490485254575118975882555377294604232643851829556548072703635405348190210624603422796551508812866877849763491/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^3 - 5002043760073140444204280901965783527668669438200943267902767623716634923914785886447911512252730011436228201889797393598182397126322504174305599578388368626179/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^2 + 622754913062222480041238689312213233519578973545881310015771224469469941680154344771742697546038952572372248429549478255559650233590443974199882065815630873495/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y + 605014363997667154540260399789369119744618105285642960580165192784990669203467116299380871066103478654465538288333827320811963271689196382376560512847811788991/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214

-5569424311620255679307393409198854266294635061078242720302095700889833388117549052977814184343366777372570949476995145479408154088671830145993427326023949041/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^37 - 338705440436995184595920154229908695308116044314844939521733458923796161475323774753340686944014214908069698075624399945212295303212075235364420096206075653631/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^36 - 551609198934812317842104503827290340808221665245501348332785956359049268485476683242231009031220220951527409459217427713347402814830496973123425160190676695036/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^35 + 1123872059846499542021284810382994360941374709464287538267099255536210439920046567358893449513881142699503503922425964413170789021431972075069937769570072174499/9728070928593890447494953011556852961500933776977446730345660435782277216244006725534516322725574236239106672329504652975057122353906245239863308996373105906*y^34 + 2206584164468543675386558737230223029528864319777210876299399209712573604323212029197763644891960911248944398701378948151603513424348613631027859659251534211393/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^33 - 240355406538417078900387322409934298738867953518029341260120034894177840324815108944936534095592223487722547755373638981515727719849228499945803224011332805749286/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^32 - 87830177429951656552675773511032002245800624040267570852420291134593995184120497463279452012889079300663070511323207933537437216413276333305876484762078311334823/9728070928593890447494953011556852961500933776977446730345660435782277216244006725534516322725574236239106672329504652975057122353906245239863308996373105906*y^31 + 2118105627476158193218341174250093067820891661963800796648657254364775853520720765837309350990961585477691920474412367415645332612036528410680047686419069720589276/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^30 + 6160534994098352681091121563674964496815209949544884506381268439934505003763437759404838612162296526895077286091265293267850612156284867947879198539765739090056485/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^29 - 10409004403336484909885423140221543271961998365959856880988303444499583340908601391788453243006749693948184376740335481091304929600840634169755585390141364206525183/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^28 - 51215117384421402223960643355800402545686826030327674158596967165854481942863416404452312626554077673917907495378506791522873587713183191754840554717288055880535915/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^27 + 60994906421888470774592696957415504836061352197965997308986406698183505125834768870347830365526904052343917483581900744283496846061218737376337558559080058628888575/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^26 + 64788563923497192006796160696718528488522503994216389872758816911931166081525791001475029949407008360178610061376369703181896770728551326051236615291105140482316533/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^25 - 56738047274389981872013037468768960723582627720660990315413497552383240133426069782742179365196696113503377888903289518741941646200437468884899611695035003332058977/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^24 - 152014279608489201385187006681374864417866580626800796615435254211155685006638592117603311914614710390144607493400948510115044015999198861388744571947959423225233248/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^23 - 5474044036515674085351788012816459055134313930395869073251396226882096102197042947756828812550487999715716592292017350299912536770244586784852052007592521610532049/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^22 + 253438009557075817515554014363639294624298650764005960101293631897429605697645430744737017170204120243061314444994560185054269846479119092705320845322528044896762128/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^21 + 122907590674299761246040469089236171238572037317723233863899097920565994766185994780775597050738704357604989058113867051416445265874518422614873627089822562001343483/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^20 - 360652098745474641658707677054887621648404882070466509360278430001145125009048658983635520558173034028444176176004841447249904425573957364476578305461698289704861765/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^19 + 140349594903938071745885145878084860098254783122677385383766337889922479562098427374161518171296177781931781709489304933141654181727586815394547732433127921614752653/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^18 + 175038044882861241960796636060781895940109142773915364027450044413450610622465039330147888328443756672059161536319225158967932923413987583541822633208426014536198644/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^17 - 219122295029960194526870448486808931044282783380111989479389415442578498845975769629335940566174425027523080127309895503224091531560140520426159505912426543216037483/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^16 + 15650301435485172859697541821363909468242222618457984166243994143173907585287271120047224048744744202606155348347272184230720906329936188033570765206601694145937393/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^15 + 8622547365508233562286001336933279466733184913771215918344405617832912207611191043266112938304667897910444897554405785764959208470183422740588556093994843027235487/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^14 - 12084271317893327127004538901020782963227985759590696012978938785386753379441500705412631185165627285260734060024777054584063041411363329134060088025651382605554695/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^13 + 964430318454766520064494816846716608980321379430037039958501804922226788753909497674517766410050321021285527485121488170068161247752625201741507612323253400696293/3932624417942211031966044834459153324862079611969606125033352091060920576779492080535230002803955542309426101580012519287789049462217418288455380232576361962*y^12 - 7617941630008135338362025062256517318363637818589437702974940014311270113725227665465676741723818643087780666112619794656592875597119370712511458869436317770183245/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^11 - 69160312137370570609493365124100186894522328335880117344875565875251015085961918283645021896731660978131256935058203010705299521000972616589921574507459026974375/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^10 + 3167876287031918848175173757979561945681909174025935836642642815100125314056318720611762592238985289421588870044211961123456626873673533481687487907978402925272611/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^9 - 462872149708188266326810242540926323234227854457462791571946596562023539605932661243425743047912845228629015245333515161628968694960150332403591926336827695332970/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^8 + 189922386070873448388794266521908114147608357394747480297411520215107535640044051738572582185566681974113954809200107102616174902788934990536683189895475037715311/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^7 + 52519350045406825061186504906887790738382995319518989809551375443851667508173477478367704149668803428811163296681487980700621202882173289881898103117363910413335/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^6 - 2204398615533202553329246655860254703151213716418772003682469520374139074243193557249045954271373891804297300638029491309868537703159833008776461699448544366389/9728070928593890447494953011556852961500933776977446730345660435782277216244006725534516322725574236239106672329504652975057122353906245239863308996373105906*y^5 + 34796663341562811118101094424985843579119062290262031229694511828262861690993486586351858765352759661241765253363069635797729061120214675172567865086880644465867/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^4 + 306390338737810998400302666639560468742882782243236490485254575118975882555377294604232643851829556548072703635405348190210624603422796551508812866877849763491/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^3 - 5002043760073140444204280901965783527668669438200943267902767623716634923914785886447911512252730011436228201889797393598182397126322504174305599578388368626179/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^2 + 622754913062222480041238689312213233519578973545881310015771224469469941680154344771742697546038952572372248429549478255559650233590443974199882065815630873495/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y + 605014363997667154540260399789369119744618105285642960580165192784990669203467116299380871066103478654465538288333827320811963271689196382376560512847811788991/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214

-165933542473059411578993583090472716392720626168976999014453078852146765130608351785540299841076479042287701036590502073183476759558155996000542066383687095/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^37 - 2454239549515602051574192770610514347486411144139358912368999818551220605629197498009761208203741299101340511658238337034332360774143445015113463772584683487/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^36 - 3093336869298247107677992299719308034441872159887417295205840222890254689244486283564729608669533856442362924586746823781262191704723586407412169036830449561/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^35 + 8643253801936454594846249849963583358284451590717482817253684521166477927600002464568458344689817079760891527452748763289885271592559974690517815859904148451/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^34 + 1076583523838459860854642706987746819002744161925260997235207072657863268823543703097847231138039574690446394778810895179849520451714530195328306919911924789791/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^33 - 4029165819869763182315632947354863198710090476020552282922518979201392884606122843577455110539844995805259021817759776458654523946142662372583718343902279048939/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^32 - 239840858304794343516624978011910286957127980567533356405448077997756013301138418699222861201483034414740858597944223921633473308656122153679401004040448950709/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^31 + 39171096628011556710957417991445723282820719936183621309809956985922270138098998035372208233890286217812197410670344461342765698443637200745101388055696403627233/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^30 + 119316466625624550575313294914407433180803736759238145395039966624423199610659196559643420392082055767358089989940613305167172615064133656135682101379857378842773/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^29 - 410263193459962991378302731956009432777651168986571488015078473779080258908967550520972435407169400623142414941750494619526400549148995001131292766947622931395429/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^28 - 427579130664584330911066620159197938534676631280034838700220458344782240061934928091236885459974747841736702050742968171180721309892475841309730031995956408968409/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^27 + 634768224235555942523453183748890924835856891239163533483914531793127859721831628549530052772055759925604997712573838682766895922289650636151227527425142805752621/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^26 + 895836419354002280224424561647807489018980204930962414058216178035896693125376593581554394332538791270369988466236725871183522568794849645610854739211131086549409/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^25 - 803731662117600377950497751610407734360442744235013685745702234008608275668562989764233673867584881084331747901225987263037643036863341759061015161251317590055621/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^24 - 3236099127715038542623355358141068045333714027016647334095567180070281074607158506618317274854400238121786380206907105798303788035745340542770208337835503251483981/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^23 + 1265996548337962426924193124812626596196721633917065272970418604232510835543605310183399681162502225190545117144439594321871563094453529508601879815967474805842683/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^22 + 2774264501107319908774148220104994828878036488539974863614492272697138918888559924449679190419522125577922401591180905842126505160726030395953815208502646811781995/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^21 - 1382175314210586639274578938762305737309442851308911232542167546846310157231306662434800624660533038716962617662068744556491621926538876889087974406673714831190309/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^20 - 8606426571782741337839670573295853441650850340681505574435504101209855610154359081262871667991011028420778233665879122570209719937232434731387780552975811650331841/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^19 + 4594160060910657928783611697185573503689748021839578108500766913745745422743550669712973590525708664792561701703238792155768521267003030071315452373495602387132279/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^18 - 2170055581479112992248522900365232943522764700162086409696806543970558975533132548905093054035656966898213986835293020862065944508330204344297258168211633102574829/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^17 - 1564137874821222795016997216688648241382962453890651109314538254112565489132138956945189766748901572779807775527677125691954302415281014191661749190074878847146651/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^16 + 859412965732121846071233617928088137322742159739820070590136028943266637024197306647354343130575077686735476185895839553149954248985761544678601438122967409830055/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^15 - 1244134790829999310413145942476518550765272245756958664123026515914396408253993422374383061725940938866207354508914897693348270908631594089948064441775621623099071/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^14 + 827261074145405432897832689177954353939438297191517565472156585626668080783907333307550559282102086007952910945897550321543985130586673559653585568496826990425155/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^13 + 6094266219649979151687577017695236937325610817691160027655217143753495088285398728725003152133076590305421800231813567830829916179013447807706811182897013528/47958834365148915023976156517794552742220483072800074695528684037328299716823074152868658570779945637919830507073323405948646944661188027907992441860687341*y^12 - 233047250200629650776640212641520242976320963090535861979527998064090920345859541910426869519249367220357754879936041340181137778777271982876389383187180329967373/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^11 + 35390114857332610748151531387067771776530028698078937287781112051576738973590205159108613352854294997377990860026702879723739451638383618912748441753808055754675/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^10 - 4761778824186489464177256116703358368227957478229604525399878340538277119767760831906920021111147169777573782314736541594288897611269361230840092846465817809280/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^9 + 912153744853588327772828082373468518289074033233827735497805150371272936357754052711997175335626868902716613482643725641367537329695309363356989987162541315781/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^8 + 3706766586650587551171312553719006426240901969135573458631163960470844006253860934248345039146208899797620785293726638833831982916859294086219310189035011002705/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^7 - 559643473198686013530726439560271837779087763892698809273688811654778942885719482738180977836717093272712481297011006772537807575195010772795242550837750072572/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^6 + 55416170968574042933516368646076328491718247896163340812339642217776710492182257670965574506380131661043195184848754486803066732851096902056060184279673985371/474540045297262948658290390807651363975655306194021791724178557843037912987512523196805674279296304206785691333146568437807664505068597328773819951042590532*y^5 + 135112094627557965650518576332409519561790560427530507650358420700123745677777064370476162391645481941298018182731860391050628097478429691473785214096304641191/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^4 - 121574962507584664627228441724371781800284930534973775723556533758442346311817612274504914325660914425005475674752053290243733714499787043711865199176481916895/9016260860647996024507517425345375915537450817686414042759392599017720346762737940739307811306629779928928135329784800318345625596303349246702579069809220108*y^3 - 2918058947297611940649871963378626677245173984433609421468478986630428240504934597561739478791606198982488815947929684156549143071689481459517303369611804179/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^2 + 3796767920902115945411892340587110736468988405107710221658028512631894622577941878176295794112616320445395957858907924005532942216477857872679906025466329445/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y + 2101374829383734503914757896259568985696682967826390845409571476013562273405596729118422096372880276084262597130313709699844600406260931673703702552379406763/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054

517272139724782567376699455983556892521313947164873124421723551335396970349976874157490393794543723803253188138633480526676430281752612051082221989963312901/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^37 + 7650309892471316118178616380085081473723879332798228548871969915956638407143112340960300699624023647352551029403048799524455535973528691085463539070286322060/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^36 + 19282540854896239743574029085264749135608566242605506443793348963953742519728151385045428871775225429311196822939250174598668787747943301303285611769866638332/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^35 - 53865803425259262947973516080132716408314161354792141495263925242708528068214558526438962606354192946072022228242478549917528201651458682773185927793744765149/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^34 - 1676870284882073062917540260646754288464235563382754096417082053756338158420905107379272301309130044904480399704905948291886416954870080354248501655942086259499/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^33 + 25091180380845872611743550727316384717469131965133030394899936509573517374497831660719727996943527113825144715304235704934864111448205296446459034188184171442115/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^32 + 1492323755958993636024480168934349978412939773693927271128381699464366196722199853157643671141687505144126089487963088859914084241504542957539728026874033218664/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^31 - 243380156306644676008878043650786655950980362508080179700360947451149234608752671365869214105588545819366958169220209775268365989703450274528499843072431701801725/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^30 - 185279971884108278257087360146073832483984761991120517142840087451869733937227628735028978374642955194048728381583843104514457571492132391033180941061198462327498/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^29 + 634872144124593282539943322850312877334838853992498858684581936798572528578684984418061473245491855284702163384759783351900700808040372770805937407373554238816981/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^28 + 1326972491342563092809357203927397064224609874616492395697351083409478683635118751599888139022185847218359566606004046934856943201437924441082762788337300355962973/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^27 - 3906508920964916669613590104272577205192611217542768125522057751144362675736498693312746935972193420114818160911551742596540556375007265404948842636590682589483471/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^26 - 1392685594114675410433564279992425316436516013437057394968076279360207584055264274098944652031981513962939367678147492632157421237758684007356282371865478226065424/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^25 + 4846759269891093576743507520000928589968995543795218897369588321155989511985586723963432809292424378026692899286115463278357111727960783325862916863834583118959647/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^24 + 5058782308018543192922132402864284610982267537784231798699217300652976150397185650984393335191863786576542042023688004259169055074715226831328759441092028020401993/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^23 - 3833014291643315181214578634692483897031218690024050879580696615672401899362307931180262483849290398014514943809503611073424162590208073976130189511524395275421596/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^22 - 8553548956259480625060791973403400510887673624414407222058757089818250614830894496792070299477911206646092452361379015936871012504436852549676514162433402549695266/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^21 + 4031714759376942188622773358407602336001590365961080722125780523422679390413187602415179648187869499665118058708436278398913958349726474274947574754548586081788111/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^20 + 13257305338979051261715806127835549007362859507916066736188005342587942574784703108029675989648512947116944680985678393854418879140078253769749502079572667411852545/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^19 - 13941738770804669884980344954901203100725358481470112929374995283688147197763940738218728458885623904870411698620652205338980649643136385519411396475090279996143784/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^18 + 7420444139076478042008650237556000901077063466977184694468379518683917307337857938119134307923947835322312805738485122595409627224871778444386688431945260351901259/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^17 + 3112174935607769878766165565607592723740370813532941857296422630461779979338477739789182299642996720077538737029391709935658306462858267594794625187911646268135543/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^16 - 4207485081326671926302712337586220303670174410455838246100215593609990725246522835311089920998782269483341980336480358697690452562477931548514862600753649331378579/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^15 + 3634594044358291128369352987461404771023949467524106756940285533193677705655331385707891203947708718406829649164438126403571104577625509276187433253674077352188537/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^14 - 1328374690597713385759923207771649681805127735639669477925945013315195827368694913904060426633282946311938108441462579827999897291682315030796547889346751576595366/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^13 + 3116164196172369591858656170140112581092393607737341276014505055016908978290805266360731307876409732913965019812079068188441326783509279509393278121189365392365/95917668730297830047952313035589105484440966145600149391057368074656599433646148305737317141559891275839661014146646811897293889322376055815984883721374682*y^12 + 556752785024771944672353286716970070501518628502189837421644451136963559000115392701242222912747449059518435521157392312255643802214623035414400768656235263202779/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^11 - 350055033218907037719436801352953679272141978078308971963155882892061667679087273172053208917901577867836052982199255222294709089982715485999185574724073929922477/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^10 + 58898335189335324059375772116604829585211969487898508117885087592365763671452749682446820442942671800698974817397754341661069173267399810910459846443704009444931/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^9 - 16901581450594242464268487322257871404604799628338089563518699660208800475882063173361019563928894010770970953278479254507941159146506581837340901593856652869189/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^8 - 3758397561351503342268491266570601395089412119292395534639734565572492863122533356033666268503139549149067576506771673413633427771617371184324087555135009640100/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^7 + 3141633392245123438707520804098698525231997864673727288443334289047376886615750787076729829045465196843630887527591078874761413319384639244166513642355077926805/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^6 - 146807671180985871656268896553256449810675901594152132526459533905418337304264221088491235429896587353980368940135167200686538908343475923401780334800760830285/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^5 - 235523082436134474960903366198570085471848437131306352839459882433168644064353727247156437760797624858542753454028794524694907645044385107512220075597000958447/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^4 + 107505221413229257111233076231350234488704738536762703816055519641286071222997872800832302334863710317601197402527896688450878238353089265504529229787580838465/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^3 - 2764492992848307517063425394434758921237028298707352323965074695910039455459126282316714718264177980487800782663707651784345873597018258679191942188066438520/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^2 - 541222807597395261784503495021306651679056030672830682745952919479634323926540589077387563876930363792277353197341038557114877168663968748404426760787825386/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y - 1303348604703239094869346918826372190588893952226974039128663334415405120149927273298264839444534343186803788702514119115729708458298992421815452812343702181/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027

-2427396120990771625512115639436767144079338437860265148497873975084371005583555525415338200157888266523181624350874509013476212384320918443899900597364724737/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^37 - 64307775044328043295411786488092080907229476735763991818043174150181621405534358643807027996562936492644358341474800254812160699560811404303593728851298539810/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^36 + 88949938276000223752093366945140548821042623809794542755357805336670143226395746946346421818368844292021406603388419775155075110683208900052079011089632868853/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^35 + 288118769243251533872149026457128602190445434721283713996213485538319579466042650733871600893927917563523777465522773488716931170111885735162611834958931030048/199425454036174754173646536736915485710769142428037657972086038933536682933002137873457584615874271842901686782754845385988671008255078027417197834425648671073*y^34 + 29447129772453285604101193576655118752435642954379038021098986796916706656218966882714343938178413217071376773493196050388865405785600499744392076252946201519/92416673821641959251202053609790103134258870881285743938283774139931633554318063892577905065892955244271513387130294203263042662362109329778701435465544506107*y^33 - 347628881894446827836832855292199340390603235962761758844804806634553613901612129926327626742523268426690534017364654675482890077025720577959052285043684209873987/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^32 + 3788448648773168880031845387916561595170457095917790646011947599032501536963186040099263054462188419075958642715296039280063187179432772277263473298091047121953/199425454036174754173646536736915485710769142428037657972086038933536682933002137873457584615874271842901686782754845385988671008255078027417197834425648671073*y^31 + 4290027597556949237877511762520147557610644842893968947068291190302538970700301315546927006793920733617367804125632044053797715808324160599308888615622395611092563/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^30 - 1353786584983569115261872141726438570532926844065369244155232590453005505289255453918486336465468859586977111119615266197850216284364845422424490072201778353238704/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^29 - 26121969500928447132861243582491552472561570426716772535392164398929240181746601782637516888823500543493633208877544174191717321666985058313588539558586573172412419/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^28 + 9307450433649512553008617564782677577845306671639626539446997241437519125078469220978269202015368293892794579932357005303499907189479927655707585150837202028338361/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^27 + 46501556978514684767641114144789044667351815919235916523332870022170017950441497608214486163914143550689503375808665899456202565675190198780630888556066480182670003/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^26 - 66299498665947870086884125874688990995580366137491129509185917704601662342585235678073925983039362430605635200498132252062066686111281242535012046259246720387112089/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^25 - 180554799060465856172816118915012261670945257970931114933696600484120535671437984239842441863613496384526274371302475424121685380266471929273567106296756713652143247/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^24 + 692347685410489719431891788682524003670484721608161349238192169656181622359174592488932952177267828581735105809169215353472147987330954755640450511792962301991157/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^23 + 429065690438360614651821516410863447084126512169888446343023457287504150998486436334412691890918068802918374346146967952844262730270858614344375211783927221306592443/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^22 + 43894131730019210114916859782008642828138794329761011655873208093459536369200584783078808210630284031852739941518091731675258501932815412564230350787626425260218983/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^21 - 333357279480724061805397478930270561141792568650774086649499194472312229768459195904196195265868106785254436379122214006768290257853366013280881737667233940167582326/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^20 - 130953207649055893670210672834045192895694279769151236801169970605485352282800650524484214547106304077705034469201200588000531111305288061165266977273147219077688599/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^19 + 562060893427053818418650446565277039839448529316497751255952592744440777801511382953603392690144327718587397420136840488145146762054873157353726247650980770032645682/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^18 - 250706143609523641529332542563741111202827906872313672906170217882115882420209355643484800578429695815549403198475165639257916820911181865433675170443974606609218851/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^17 - 96577079185037179104696410626741285257462559976969263556033973164881864744082639996510093457793092390016108037905101534883580411488665291322944498711483310174581526/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^16 + 234228388985591228758239213842495517274775143046186551154257720352305078871584481050244549747360936242238822638236591557723974472285726446363379470088780284693829439/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^15 - 105720571311937033843501527587828534016399591707044937912402089639223008884680016128558579249844541009137476058369474026987981279852781890585759769165637116948328571/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^14 + 61156204296399859339282117824448628340579846569251414100064600500617981466684279406317403736800945143532671177654438478603469100275808036581126480679115223165165319/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^13 - 639583267566341029474315103294023405167809465505476026317303352334205628810177415081704364728349495798287518356751504701770105431825913986636477553300730893646437/161237601135630652310607838212825286319345264090753851126367435733497743647959175301944430114962177234686470164780513290799351027950914149826670589535630840442*y^12 - 15575158939851117463367262783793750194959801339031342657325662815677705115536208476386415414594864288408867216124931000019582262769924565755853263685943526464589109/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^11 + 430216009490221001720662629790683059047892932133724333911625581114045300282645083830705506036263107579375611188521373890109884595677672006114178331732864056790137/184833347643283918502404107219580206268517741762571487876567548279863267108636127785155810131785910488543026774260588406526085324724218659557402870931089012214*y^10 - 3363662366899395429104571587005183346676100326565805920908942311489608337792038803566896160615673961920582157579458346017898668295682087737883148627953469441492085/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^9 - 3485469506172114892195989457955804920765528042330179054384690863416215447545318525084722941231076305569563620501084857486139539425057660647991813654399669448448375/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^8 - 155479266757529528523654599212368116736203109975374395056303633284028102924281787137244098674227973841969840013360725636208527488738690702491475538024478505839145/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^7 + 53162864777784313058454470780390370604471502891026261453682592855023622371703169809051675836564542231482051080864284526676372727054044050262814034125759376897573/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^6 - 3003825324453072535698450201918605289751969659761828435468467333517122275824977858781111097437560021077045625559688811849941486613772377123982764253853872508315/199425454036174754173646536736915485710769142428037657972086038933536682933002137873457584615874271842901686782754845385988671008255078027417197834425648671073*y^5 - 54316800958669399937590573104245932630731016872549399014455423605674079565595297418597247851354753271166170030491626222159813408088596828523936365959655097715888/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y^4 - 12062939504288282266449278739431708273439710373186317197162582527442283026390910856914837480013153173872392592039968971262701990928283970300303063459853159167075/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^3 + 49060086525935853084676410434181358993635207581745888057877336610260252591925055322822273899754472636536137030116585596895437553541920915678770147429270451167/7578167253374640658598568396002788457009227412265431002939269479474393951454081239191388215403222330030264097744684124667569498313692965041853517708174649500774*y^2 - 948876388354309403675081383348979002994659150509660733206867734259697304110560003466925207632396565277536218189118317361691572366377318237492894389020423169319/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387*y + 760411026519824057652559399909657597315184209646875378511093600490523475226265537247199660428273805179143595747012777309551431058932427326561594812304543290398/3789083626687320329299284198001394228504613706132715501469634739737196975727040619595694107701611165015132048872342062333784749156846482520926758854087324750387


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

# B Gluing Matrix
{{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,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,2}}

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

# f Combinatorial flattening
{0, 9, -5, -1, 0, 2, 0, 4}

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

# 1 Loop Invariant
-2391905043120463139728034430956622884717143025515747116160739019581509039039303579134156622599871758592839523499027396004734768465646608948249032163656626614824/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^37 - 71509535979463402397517394377936507993954906408874500032404384105186404449881331203045961467420679190304804558116132975358018992044110204966175170714795322716256/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^36 - 200690073834455262443003084297080916932952001771608220485799832629559449710250085415743774152038332372861324718130798077667203412346070128290608179360212056149502/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^35 + 246205208110189475348779428022303422201256242939093752816427472641726382341206755164823722764665281600832212097909868669694982071638971831783854368505947336292083/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^34 + 17010338152745364651248435247705569036487224102653919956383456528456317037380653002953741056846683007047501608611411448866006657806826956853112207765617131371568365/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^33 - 111251228421656842288699493333151373088700151470917992628155705609730372550857604808394638696296591055864300087399231059956665513690979088236852891349333118271378034/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^32 - 15749899416497095763801534899755451681569997031598677507291698020595435485537223746948545060892070662227337095693594964180868868916598970431831281441642434500810414/118635011324315737164572597701912840993913826548505447931044639460759478246878130799201418569824076051696422833286642109451916126267149332193454987760647633*y^31 + 2092663131933608753145968002277261268915635427547930990836367513563226063813800311284742951805750181818662525801610590279690346193890676812622106343051246146089485645/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^30 + 2072949735954466409400968127046790065562135169587166830923859826912382409988685967777066462796296127927879412096588645829040208232319936224381510423657256904078846899/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^29 - 10746318291818294324134095978022045335010109967476921954384260887089569847393669093651002081654122752027331874965053762619039564729357543947863172884265838508849054991/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^28 - 16001868524352350359953292257462898874946953429202078903186545160141532532354335451620591472208204063139444893588080713470377452552531524579231799450470777344253136593/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^27 + 32748109404995168886074817798083494856258143227746689626841293769661097769463314139918889259010212918128943751901356360203445434890173051038388962488219982638535660165/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^26 + 18550095682844380335262502815842466516266154520336387730792935175595880276348525902593866998198855151797504405691100508578283893993115053210255671158871496820365124103/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^25 - 19177616799417462333199927625240268829376058290422529385272309641489977734199529725067502050750268663130940933268623559810700453452540696463238599869889814271350195461/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^24 - 53561599528400021249136543559047348650270555429344582147803861087782707265678587786980536721595410693144784891027137938179549091702485533155386455850659924981276008111/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^23 + 22015115077126982806073695509911185107670915523876513337422927934678381317150156072143952289209634690997389241145833022698404278402771598147906981321940616509413683135/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^22 + 90916925670370903779898308750603222934037657148834991540054954399963893115727872018035906971461084804065475781893708144199218371273154658303033347291814405162762543841/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^21 - 15498472812445111890988959032472339413143183295290359906300600387704801436478654620569167483513443333215906288488264726655527300367742760131148987171327590235141593584/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^20 - 135769715975878819972482319155806602265586176179343945159586393008590510241691814224553359051611368939984229817354595634491927081048732409757319170420469637789014432072/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^19 + 94865233342258707887608287772687485194751257460604600813939631930311809863804169862983270649057268193000565577827485156822011211442501986405132514306695024717179925987/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^18 + 19041841533298433270705169171534499142900144289577266296104569708247398334777714012154792950983063032642628901982464520824555722658046836113035177507487479294208035205/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^17 - 69053671614307558992732034100251625930557834571157280055268906583997816644720502315198091414472179622690455507946607625917172910753348780686166125739834320053685823175/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^16 + 39812342031551044699566316774096398710121276650454209997100434279298065715356758108888427839204010698603616367173716832720435890632450844221407217832372115727077253343/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^15 - 10596920931752041407918100287837117979870267009770172440097113650744807300083004461555501978230799718853973634923124749734160311537672344144922655644765988606149163577/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^14 + 11744265089394144937011350458996768322090265615591659608900097619582740489634635709089345713511764079615448819476726718696414994392656774359224764840140481129689783203/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^13 + 177859178825868355416335362310087682178006537881850720046357069529428631743556042401670992346880962343221016132106086383790308912234501647127062003274990549639709379/95917668730297830047952313035589105484440966145600149391057368074656599433646148305737317141559891275839661014146646811897293889322376055815984883721374682*y^12 - 7270166199192112591520664440289135366573356141410688112006896171742589256008295606112840642947361503898487451663470102225104545529613156815401945996438375284774162299/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^11 + 2380946131655308192957598255485700655909311044476297749520879840481017837294158716831292316572620792504346351169110089604419197329513963166923382271881663813350472445/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^10 + 380148062177873595619857242996663254406609332954277278101110259982396591498003633189369747217385911842037518767924718392561103134174732935826847514666893657045925673/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^9 - 256130881993060049326108015716591553739458323089365339121444282771518301925220345599294897345023127913093370125632518600331566146943660790322576769734720674666578385/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^8 + 189372576910525040948576415870851199827856718874577792653478981410235208330748499478443324980717454337181457053602873141378933486839645650641805973954374054182604951/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^7 - 17703298769277053150125740577242027740010096678173694840464059923109565939581957180883590606949527304578470329371283065994152692408957490743829351709502405925899305/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^6 + 617636393303855212576326945514097813283626502692882339865376528200511313296091745100289150018922625956444987417751458578548143262589721753319128211003118826703163/237270022648631474329145195403825681987827653097010895862089278921518956493756261598402837139648152103392845666573284218903832252534298664386909975521295266*y^5 + 15686097458975407791303796074789617122436128831552439449812103042998601326493926867920344417173679438986081664737512757233309574398328520864890355915721334212310697/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y^4 - 1374544368457349753460988612001396312952295289675912855615447889319042929446608789693490695760419444505376756812480211186662658206896423585982427373551400144578817/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^3 - 147679553225440138155172132494011777358877097484087011697287757573246560493072708697189628617486497714555950569851154865467667712003929762059661679523922837980326/2254065215161999006126879356336343978884362704421603510689848149754430086690684485184826952826657444982232033832446200079586406399075837311675644767452305027*y^2 + 345013936744508417680105187590002780394689220422423940716425108024462391981663998983675465444226904226229422091600873167078987188785532090075932068816237408505345/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054*y + 44007525700595383067636089344480109461864875156982279487599805516692711132819024918095888168463817376347849712029191678748700992444034185159999191199767857191805/4508130430323998012253758712672687957768725408843207021379696299508860173381368970369653905653314889964464067664892400159172812798151674623351289534904610054

# 2 Loop Invariant
8122245356188257015753615917124396825057724590226679020274545130144177487307530359349052266617469503345854778157477909185655604807924409571641752335586621133425810333908208452022593690575509956712511349747613661998702328214987819297078310470341686255975218918708376394439709635915914746230966157497639131/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^37 + 242282719666265515967782217472955976141199486095854103213961361530829756089500384558866617254457772998810801939082112894848637794709924065460499882277908090963330550146231868238993113978816742999522230170013254781746417184465338891838791638653269310575195500496641631212310269785031853420225378812819114635/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^36 + 332923961298966950681786594250803461927480941562875843451301367258948986423323790458099470997571978910715899457579479332510342684057403905536221754357381608277226443973861781477627932935515881372812557707978879831569429812879009181848185999032453878019509126593099967912530962255967215389467499622323796177/1150042641128353002021944612780985702048963862465671534156852690343543205378055730149925888449418698111894721521371579232576931799831135443798565806105644186351737240845541172969323794385217225648858409243393060169215964470145917713402349155286099632911178241649527432776504545718611830000392491168599718088*y^35 - 418741174074121222047121265832691424632328013186865310015988927324563109021252467168874838409354535240190122903655697436391906455895181801990482338979712970407141882151825306646849229427011518704049770136655116949776731197929483105063281556030161239755880965916198387609725908325613641517094887329563107171/60528560059387000106418137514788721160471782235035343902992246860186484493581880534206625707864142005889195869545872591188259568412165023357819252952928641386933538991870588051017041809748275034150442591757529482590313919481364090179071008172952612258483065349975128040868660300979570000020657429926300952*y^34 - 14162993645905401312874404679493869106094883095123217910069456184206282686782498687227316762357929046464353394900976875704251222238644265283735133744801815775703974601512625881494504346086017231526796616759782882715130831834531997768785787630597872931186626269126259183895141594443197683758757059815255833433/575021320564176501010972306390492851024481931232835767078426345171771602689027865074962944224709349055947360760685789616288465899915567721899282903052822093175868620422770586484661897192608612824429204621696530084607982235072958856701174577643049816455589120824763716388252272859305915000196245584299859044*y^33 + 190212791576482953162432830248532356373517750931368805354341200689749621495947245772638901097726182980244909251801508224537962741396597161804913767157843638444681177294182063175423363332586225714275915724899492644913852405790171838802706698967997078537241206496294287918455211811864247561238262788215976296663/1150042641128353002021944612780985702048963862465671534156852690343543205378055730149925888449418698111894721521371579232576931799831135443798565806105644186351737240845541172969323794385217225648858409243393060169215964470145917713402349155286099632911178241649527432776504545718611830000392491168599718088*y^32 + 6492206538154353310869034691530707339346779386819813510160264415086763285633958230350461627404397459816686703438902127896651526400673689175365234000169649964757182422528631713091411803474332063826397327131879701751622921753553257609572675291174912667832562021677008766279566530640685185308317579247261248741/15132140014846750026604534378697180290117945558758835975748061715046621123395470133551656426966035501472298967386468147797064892103041255839454813238232160346733384747967647012754260452437068758537610647939382370647578479870341022544767752043238153064620766337493782010217165075244892500005164357481575238*y^31 - 897832694018342319059396120751218226762977828886268682769247395591823054138940218295149063216298588056692328875027563478024232231865001445929175073787980903444024290199653885091020398143331063506158188140933119650639958155995386652980999153675370163188842039294538840566781673407544050619741948275109249753541/575021320564176501010972306390492851024481931232835767078426345171771602689027865074962944224709349055947360760685789616288465899915567721899282903052822093175868620422770586484661897192608612824429204621696530084607982235072958856701174577643049816455589120824763716388252272859305915000196245584299859044*y^30 - 280523137007589741272875143462853316435758894257589834553353031531458062525257608775094436356092861521967436421159624336518442110788153281401089839413641171608697482245148132583766035020124874782903556816465950382047880160181528228605064788209111346202114998557491397369044740068775120913567557393706688280747/95836886760696083501828717731748808504080321872139294513071057528628600448171310845827157370784891509324560126780964936048077649985927953649880483842137015529311436737128431080776982865434768804071534103616088347434663705845493142783529096273841636075931520137460619398042045476550985833366040930716643174*y^29 + 18430325337224410407366384392767961008888216658482901431477654890293391404636280962522920339597576481137765665452896839926849263500685029631249624324326327948633612105077743924427720600230903741396012278983281130242776186931177273001460996027600455413004152559183945068647792867443928318599337594285614582994449/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^28 + 25497940413409758602035940214881844061151612297162942148433522103072919826739662805300127732644770496747053938267570660895765770030076756362722667055140709069050277977881954349559411698517265725930231874032855287665024797453139234436233369921625098454297406653039693049059797539489011965666524079017878199836907/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^27 - 55932512168452893060964045040721372554271120589799154934572838492138916246947725294513510994413958115615668477921318517642203739610741096400180986872370987136021847779143616775011105393513704430468663188801240579000053275342938592291525755509336574005215992248769520865116516771351622167901327046682706941167433/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^26 - 57661236567481914213416675163768340501827438492198738004417708771239363346032262579113424331857628954560335161302814111472814194620161908544627624332669779596047422510727176133767511918441725804152157630202304879485854808314953290037079257817430217324723640435780598026609858600147138670400661663737154290585289/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^25 + 2699454904126573504060644003874063256849164068117383121668988579869134800412096930310984785104849032301806242642848269739839601182584050629969133084613118351232971324041521977923158641018539128081604900193964556750065936142016645301797262387100487448438988352017380270108283076681573733740792491514298188078821/95836886760696083501828717731748808504080321872139294513071057528628600448171310845827157370784891509324560126780964936048077649985927953649880483842137015529311436737128431080776982865434768804071534103616088347434663705845493142783529096273841636075931520137460619398042045476550985833366040930716643174*y^24 + 43543905128461030863319165436137042732848111350602720067452979668180219805615478899025202781379159333224957456397215954757114010476748190573997595895036714438053442867683620474014095883982485275957413745585448972417554985093910840258781377787783510915672437534359721892161637012921849171332845240158880946589319/575021320564176501010972306390492851024481931232835767078426345171771602689027865074962944224709349055947360760685789616288465899915567721899282903052822093175868620422770586484661897192608612824429204621696530084607982235072958856701174577643049816455589120824763716388252272859305915000196245584299859044*y^23 - 13570204394378387448216302581322718044152528440117738673227230328950546361927440036646587340153793192481826357820011079147165860613958295586853834280679897656504574037977839762658485556162802187146118560738035429650642438026733565880889944714505417641396499190299035488144666279359729224827261779239668730657437/383347547042784334007314870926995234016321287488557178052284230114514401792685243383308629483139566037298240507123859744192310599943711814599521935368548062117245746948513724323107931461739075216286136414464353389738654823381972571134116385095366544303726080549842477592168181906203943333464163722866572696*y^22 - 291850503946488906092128294016204950298862396853797660061760482032519084779575110318235225023012388295495230795601279497358429188280552931017736058945263157475738971482878191712912261294376046926274130282217993982073432449077900390215535920330920932635878642220155930042367742090595428137528412618193833417687295/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^21 + 64728969803619248264466790914334807304989974277404406326699982200321910914205807226552924867956026736772331911175834805784047806812112163679996039426390464412987547421268166250747219023734362253579618891977725415383091443580157098084044044688147709081790520051755573486185046290350205510810731145996659541756861/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^20 + 437633067248672282878559583285079627683718616511354230363939330719658177511046462410812993011683329092608373617250420797088564046521549211294928506088800510766286806465585107018003495900110754842592658334223822080009737317685367652425342774787807233628651662927423899813022768458829865909803605042261606745434377/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^19 - 343911763146471249828122641446150748516069739423985562863988370687044555887340418700473259833015376809800727222058217241230436257478085763836497863241063287913589645152493108818064511870959302904603491076680756764402845052333932619382195165763616265269009216082222227409806573518650290889557010802277129636345805/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^18 + 19747911048535921078865283558963825910449481371308321994796778269087793397043829222870004947512898056970423275138511434059392855020201031135219198922553072743083171128763166834288280284181775305854853071635062204410929396626059948945437129295436480815084956348497871607907262038441493365180363907218274825944303/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^17 + 43336945639952881115307967542947524942572955487046779385082245378793687764146252523430303030497773862396724240544733885408449272844718015547104061728828235473781527596735145242442690121511516164342890247658263075697940034052428631685338986927325548916516100570342032115973402642933727002854981557962707870243977/1150042641128353002021944612780985702048963862465671534156852690343543205378055730149925888449418698111894721521371579232576931799831135443798565806105644186351737240845541172969323794385217225648858409243393060169215964470145917713402349155286099632911178241649527432776504545718611830000392491168599718088*y^16 - 16464379117349940325692987208457752747216486222722067416162976373862018021968387917839128628847026321757190715856304054699892626942428894572548123035386167800938287007446246081953260944709743571432881737091249885968913246896143200229184832012845088249332964231415495375090770314667887628630104450321458840966503/575021320564176501010972306390492851024481931232835767078426345171771602689027865074962944224709349055947360760685789616288465899915567721899282903052822093175868620422770586484661897192608612824429204621696530084607982235072958856701174577643049816455589120824763716388252272859305915000196245584299859044*y^15 + 44767754308934662592273697757116804251477326847750630122820990427551899024509395439523092743995077685112508713828838111882792761395252158285129079538583755739135181476326629042421287700580130517590247362547562044983368729875724448812453246607432216327399188968651136292444240756078078448581957935183388687774433/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^14 - 9581491414416282312407863517302712108948179543632081847865749041443787990532379040553109337295783429822033351072734496172382584572069444729514303856841373235249930509145258070035508040501146049104215925901671267372491869888481725549829928600640373861643089723426886531192866413634208312137776950611107739180453/766695094085568668014629741853990468032642574977114356104568460229028803585370486766617258966279132074596481014247719488384621199887423629199043870737096124234491493897027448646215862923478150432572272828928706779477309646763945142268232770190733088607452161099684955184336363812407886666928327445733145392*y^13 - 40787154532905383540502446029517988840989410135620059570054984483817510332283623499499706077601626557313196932455650062928865103021194680309041823691711729650069695821244996126272661991265112551517975892665243130290054325229932166483098453137733431828952846881416778779300170891365847327190399999814651989751/12234496182216521298105793752989209596265573004953952491030347769612161759341018405850275409036369128849943845972038076942307785104586547274452827724528129642039757881335544393290678663672523677115514991950990001800169834788786358653216480375384038647991257889888589710388346231049062021280771182644677852*y^12 + 4896650450401990068077463664113658900308471645595741168580049956739511203241632597930966282166916787346601923184287580255962394225885058526923761291148635161247061133460923071819151819595154136924762868940760798200653916380536140596151181184883247956011356609003911295102173692277234003984600635372504463327575/1150042641128353002021944612780985702048963862465671534156852690343543205378055730149925888449418698111894721521371579232576931799831135443798565806105644186351737240845541172969323794385217225648858409243393060169215964470145917713402349155286099632911178241649527432776504545718611830000392491168599718088*y^11 - 1545288408776032397237541990498348596161189714401001553950405930234488131629278984844465253582472103951054049692198629143754242395266321704042398807273178464181614405911570218991097718107077164024044101886395749116668939050107771871273972418605664851665647133214231432899586631979995477853655563400332303954023/766695094085568668014629741853990468032642574977114356104568460229028803585370486766617258966279132074596481014247719488384621199887423629199043870737096124234491493897027448646215862923478150432572272828928706779477309646763945142268232770190733088607452161099684955184336363812407886666928327445733145392*y^10 - 311377687332098126694412745038579766042085069812291323791720938411750194795630776905911016087006632339953944865611987699127772214295596412586554975925723602950362705856541587171319123284353659777352935492811867857667109552490829835159002148760830378133905763411257405776749496116007411936123980545478551174281/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176*y^9 - 9334382559267024969081246802509209328569197173240453404002742991652369989663037351663493423800710422096183533997955052007305073938900879687035467347432805403453070959852294493824656079354420065844514763092009311254975738985724092620733313621885841282495781882755712109131534308821034420474326849802366311727/287510660282088250505486153195246425512240965616417883539213172585885801344513932537481472112354674527973680380342894808144232949957783860949641451526411046587934310211385293242330948596304306412214602310848265042303991117536479428350587288821524908227794560412381858194126136429652957500098122792149929522*y^8 - 52748218901906157693506958148186184642697688502583274392132933051552212461231150119765569712216744354276564906140941543519275767083427854827867621055029676958429206571567462184667871600635225730382568280843438908212615123553782620673309297302933225739989198542235733228422667451511215127674762208636541095225/575021320564176501010972306390492851024481931232835767078426345171771602689027865074962944224709349055947360760685789616288465899915567721899282903052822093175868620422770586484661897192608612824429204621696530084607982235072958856701174577643049816455589120824763716388252272859305915000196245584299859044*y^7 + 17740368985183068237041797773544164948639788964512204431484054265950736487813649121567407327758058515165253939509730002915113937875925604745571242185822575631677846269362637939046498616087725811882264882306016275949141891018647621199776189334526179322672864250262849100839230211406485371021917802953340033525/1150042641128353002021944612780985702048963862465671534156852690343543205378055730149925888449418698111894721521371579232576931799831135443798565806105644186351737240845541172969323794385217225648858409243393060169215964470145917713402349155286099632911178241649527432776504545718611830000392491168599718088*y^6 - 1921490409562918335884562260110859979559817693306861891421616095268650445044818353511901639383051440574508235777543369982438247036562876731150771582451193837626283006909492658844153161553114262406723582258926673331437798690924949420876580179512949387367594323734809982050451823909814807824035214966813137305/121057120118774000212836275029577442320943564470070687805984493720372968987163761068413251415728284011778391739091745182376519136824330046715638505905857282773867077983741176102034083619496550068300885183515058965180627838962728180358142016345905224516966130699950256081737320601959140000041314859852601904*y^5 - 5530227157536574646837778462713153353552777957269711233192596274682151555533493988501503442285536966449276538173309561300270569454376004644156160581831250160206425888386713571783189241822685732077722945367107465053868117826544928479281705923530821085376790794803128707516774352214444288831443382362831658761/766695094085568668014629741853990468032642574977114356104568460229028803585370486766617258966279132074596481014247719488384621199887423629199043870737096124234491493897027448646215862923478150432572272828928706779477309646763945142268232770190733088607452161099684955184336363812407886666928327445733145392*y^4 - 158845217114239277213017264381786500135266682208058982347918634227799357565441450687473245886222957065239057213087700038222486542388147451015008466114865701387563329719112640237997943183233889502158029949334099504230268111983288105841125593594382137763975261854006568504914234286444692400566589606544804647/191673773521392167003657435463497617008160643744278589026142115057257200896342621691654314741569783018649120253561929872096155299971855907299760967684274031058622873474256862161553965730869537608143068207232176694869327411690986285567058192547683272151863040274921238796084090953101971666732081861433286348*y^3 + 19141287622609452906353689310690000248459567538765934891628408517378341724365921733460188694829307731942514624208392571218045835065859286497470748597630856707454407781543209030248418219726311082119841776045363307409750722876818998633161118056306894335112568933467500783286370659258759374472813180553897081/1150042641128353002021944612780985702048963862465671534156852690343543205378055730149925888449418698111894721521371579232576931799831135443798565806105644186351737240845541172969323794385217225648858409243393060169215964470145917713402349155286099632911178241649527432776504545718611830000392491168599718088*y^2 - 50174984493967570021031567357976753429378000898306465804019111000429572949836602743261424667915341544350891859527468756787236329044331468520777261774659421822731441115527419738212885271600893606748932089790785080009279179417536297869692070707887629326132633351255495514042840297507037883591232913365591388/143755330141044125252743076597623212756120482808208941769606586292942900672256966268740736056177337263986840190171447404072116474978891930474820725763205523293967155105692646621165474298152153206107301155424132521151995558768239714175293644410762454113897280206190929097063068214826478750049061396074964761*y + 1043059972536020275723860185642386502413157274627885594466504117554687365378213995669517309235076100352461916457362737635277823972623236063934210534985376847196196272783294193563218878592639306331977302310771788753130572639184939294220693693700863699807329336313226630822363348683629039477782606980964015571/2300085282256706004043889225561971404097927724931343068313705380687086410756111460299851776898837396223789443042743158465153863599662270887597131612211288372703474481691082345938647588770434451297716818486786120338431928940291835426804698310572199265822356483299054865553009091437223660000784982337199436176

# 3 Loop Invariant
-941379893534937017790425887938117615053947683172632334259081890504024837818544610283576549842094292970115061066787477244435537164701676579844945226166143952037780563498869246582510770710807595262480356291281319270150199576634660796476740967845756384934465272816592296064785562647142420588095227922199912572775262411998506806111350077522236252292531442316408097019518614588966131/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^37 - 27758678360781586309369405872313266866201407156869606916227044331958331216108908284085871266567207430818219598661900987583884509214758995510274519266538902510295271401692701908655333427349697572690118686651399859659812933911795705455804285979660853563755516504550511905480683242451725702804488730788964755296355843213898846577260631568897657558317212378539894505217760567670371289/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^36 - 67650217129417683173287806283491428206368518891807073513072327166073840052892350089631658683312004148139030619463042388068086350686859725245075934498290642811358209893018661677950277069706908121743329293902709966592792230766012180677719938955541754883026915411955950743799761016887066379348150050121916767919818648359172533097497514206529696857162386380102782103119175018707240011/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^35 + 49157410180654183047778245795237258841098292023010009365971753724418050435851138463787099460639215839180214903845988838293773194364382729426721557112480870292384710271321910828335665843679818749024262654685186535025480231411237570418269098522396861889584583929976426388978635074884287595362017243209561040934172788779983378620405153211934205557976593775896845371458873609759300835/11767038959035877536935401219553537001134609068236439401442315147506916922167878064969378046298719096828279344832543550730413711283412807780973505411991639735377759755029080265309427549858885605174741853753256719983201308501443848085790817701204248810154493769671975553367734509905242680703158990045154964843163391330550927779374538172523280565466143341655910995838076390888614176*y^34 + 185228486085884196732901272659181984531623588325610234636657145249520065327903592265771077188993301061991847852298323872701147696819970141330249810937488001593811861948543439038975067302716829818380399800602836163985503381213043547672730227008327183820890458919362081059458944595545617474566441439122826816243931525552700952895022936444511713975796879454026493033208238313928614391/13973358763855104575110788948219825188847348268530771789212749237664463845074355202151136429979728927483581721988645466492366282149052709239906037676740072185761089709097032815054945215457426656145005951331992354980051553845464569601876596020180045462058461351485470969624184730512475683335001300678621520751256527205029226738007264079871395671491045218216394307557715714180229334*y^33 - 46164000398850195184828043286562405619385798577484741693960497872692723645689949415202453372664252010197957439766244517893704068468541759739499103567474347468815369285910749396290976773759348545959643053897193456679225992346634327578882869803093360450769811551710106221672451271705725342867166263615006768276769580098728072780809661653534116978563059283500992425633492610464562894467/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^32 - 5192032062406647282886429200465989863624854711715554875091500026819174476094597687009279017746173809291219297241893575530916076987798318399732380520893388956890403594281727044441671204708342795455016596140707294433051307843642802696234146318657584972291175978878782671609073635125045443287213087717188829269658228771822107012335188722098513981467148697422118518670110423875924575977/23534077918071755073870802439107074002269218136472878802884630295013833844335756129938756092597438193656558689665087101460827422566825615561947010823983279470755519510058160530618855099717771210349483707506513439966402617002887696171581635402408497620308987539343951106735469019810485361406317980090309929686326782661101855558749076345046561130932286683311821991676152781777228352*y^31 + 112802318422051055150893165708663276329165941357954856291766911331316003772598678813138666573639990301081149164550381140779277532099575023389078495056057611114091642662177743569508484163623727323135402306216719923406070670105714185445911268121451325458218658237257331012635056582137088763157883712662761945307823768816541956187258277467664121123730382054210835196182479223437457306535/111786870110840836600886311585758601510778786148246174313701993901315710760594841617209091439837831419868653775909163731938930257192421673919248301413920577486088717672776262520439561723659413249160047610655938839840412430763716556815012768161440363696467690811883767756993477844099805466680010405428972166010052217640233813904058112638971165371928361745731154460461725713441834672*y^30 + 626768975588767170109786655123807646528502024506345072221106504198825162798077714414039178195671500218115656491463473025807360020085503300356700224407850780464621468743129746480557180557360549623590558373923510778858219653746887699462214289209184470249208694503252891249527798822292386925664806119012858407734962419740590121613584662787344447655189586115477854782824941134859651749277/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^29 - 1181917073539022639067772411812722679482445190186384451883843000086622095919375882577253511966532112981932804210062243465859844415298398800222454112408360545768219593458249609599102600192327268375588173729415653272916231686625448644368053082813769526794505587427980456877412331253772081908143520736330554323721992176775053054075420968642001168232830258241005260054068958449810561903883/223573740221681673201772623171517203021557572296492348627403987802631421521189683234418182879675662839737307551818327463877860514384843347838496602827841154972177435345552525040879123447318826498320095221311877679680824861527433113630025536322880727392935381623767535513986955688199610933360020810857944332020104435280467627808116225277942330743856723491462308920923451426883669344*y^28 - 268499761792257175367348746793113797058104853024296266007874282212094054060267240324922023249424851779813563463701180570341341054020155529572256449224660873076406732292442744015493598483781547708518709555189974827382870736300816604210943999098918595411707323003158417463315683652243124777702331049569467165976617050104010075071121970382455902022807248777203089251760033480281367139863/55893435055420418300443155792879300755389393074123087156850996950657855380297420808604545719918915709934326887954581865969465128596210836959624150706960288743044358836388131260219780861829706624580023805327969419920206215381858278407506384080720181848233845405941883878496738922049902733340005202714486083005026108820116906952029056319485582685964180872865577230230862856720917336*y^27 + 7292297428463419380426867227766048244904276288005718981224902764164098321146167200644735408995982928928742372762874986167104651720746025775919407126457578712052857155954025763083130014725683840065059044587610790335204621265873726073803735446195158779706920364064809951157698419782649733480405636367032925733059792497876543030885455887398015754483962606133955340816279447526175374979729/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^26 + 1043313921343016410474268850631431601207013002732586120334989175068239213892465969549257523318930893476512900535254492654462364773659447203191419315782916035225493814364886217653421987703773418721283652800182821728822868330555846552729515536778043702598332844774598010272242899334215127963267192654487304724302474814456347721138069823771890562307373009713799686586491359268212876971207/111786870110840836600886311585758601510778786148246174313701993901315710760594841617209091439837831419868653775909163731938930257192421673919248301413920577486088717672776262520439561723659413249160047610655938839840412430763716556815012768161440363696467690811883767756993477844099805466680010405428972166010052217640233813904058112638971165371928361745731154460461725713441834672*y^25 - 4591510866287066559546549076010907692951158384880468381733386068608543272285364156409174768393791055580949016009559094806756460517094575320732955217349401738230455288738890570721332635255056519957482464076539034783063018672797042457725905350517522170459801837400259046579012886720173645779853189933567627044866081424560084783127106533270167765930252826055402200197130452933487986150993/223573740221681673201772623171517203021557572296492348627403987802631421521189683234418182879675662839737307551818327463877860514384843347838496602827841154972177435345552525040879123447318826498320095221311877679680824861527433113630025536322880727392935381623767535513986955688199610933360020810857944332020104435280467627808116225277942330743856723491462308920923451426883669344*y^24 - 16951648363581419133731528284306041232305761179369105039390039484361551230479492175333573600747237926261608965395959968299468990941769989852122320259316896722039868514440901912229093154434095908474493616983411112664079294515065116770037014649784778304831894685094715356323964979990430482953836018702142153325775859609489283096084033701407706749016798413123769103489194951053157395631535/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^23 + 7817845551996525206307514921636166036553984061996073896338851107530389318372423399393720443950593564343842557453611490393117395087541893195045720794444702016555100605079539148432666380659217128939354917873325972704147704638916453418639418632819586266228761236179977545740522943879009297464827529837487120947093784155221942076699614771236261505802494110172526592002680979202953681327619/223573740221681673201772623171517203021557572296492348627403987802631421521189683234418182879675662839737307551818327463877860514384843347838496602827841154972177435345552525040879123447318826498320095221311877679680824861527433113630025536322880727392935381623767535513986955688199610933360020810857944332020104435280467627808116225277942330743856723491462308920923451426883669344*y^22 + 28635721000527830944812037643855120382662246395016511554718598593165157972800027412755723591727863691968915264332824500797076245670449292875923448907225647390333044047328418610289146527439183348074398500876489935674034217451219548112098700969256229441826192887401418178250026260991683453168282209365839535783233752530820369128131905805952721968501300860489292798098472625127484136870015/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^21 - 4557513345647174834691635349705873809959387748730358596405709617627193812485990171288228974604998509381383734372702443665323128339862494374448196207149358934842229710382643727522050653198381636445405914847272976105634440459164625039434018245910130844491914711898086500847157548549795725417477703095156236169688679602746036564806955934116657239936321298396446089896307004277945893939985/111786870110840836600886311585758601510778786148246174313701993901315710760594841617209091439837831419868653775909163731938930257192421673919248301413920577486088717672776262520439561723659413249160047610655938839840412430763716556815012768161440363696467690811883767756993477844099805466680010405428972166010052217640233813904058112638971165371928361745731154460461725713441834672*y^20 - 5606951644294910823323734509445803662641813104745954299754257589173567524697946303919662416109878375802213540790630386256032604107964116595561751462512320787695862095292082579741704000587312364454838383625285133906030076632596127100763665411317579450557268798033588194883121858152014130406699830362390181846040696732759388500448752332165010246137971911800268594489937056320741105205071/55893435055420418300443155792879300755389393074123087156850996950657855380297420808604545719918915709934326887954581865969465128596210836959624150706960288743044358836388131260219780861829706624580023805327969419920206215381858278407506384080720181848233845405941883878496738922049902733340005202714486083005026108820116906952029056319485582685964180872865577230230862856720917336*y^19 + 14147078648538073480901512977069784568728721158980937584161833668415032050045978398288494109050443073369826372686802932496307799159631684776787856771721885130143082560561247165713429227411878779892472948978018538740157145903959216053643121821110761704894489757189780290600272359648069817702172158761684524646862928064532779850598892574397707702437367280466423323655158398877927202728207/111786870110840836600886311585758601510778786148246174313701993901315710760594841617209091439837831419868653775909163731938930257192421673919248301413920577486088717672776262520439561723659413249160047610655938839840412430763716556815012768161440363696467690811883767756993477844099805466680010405428972166010052217640233813904058112638971165371928361745731154460461725713441834672*y^18 - 10431038920245849579553128251944669275450911122561672358144041392325404794293475517334148804614089136620530056566294760368322694944965606581278589172621305625885665041667735226333668326309553098254397768895698949213692489792468668821373766255734294177419506200776318341567605090535322648436467749335089341388241385750820817693137388939242801328430729213344261359633125761482232345317627/223573740221681673201772623171517203021557572296492348627403987802631421521189683234418182879675662839737307551818327463877860514384843347838496602827841154972177435345552525040879123447318826498320095221311877679680824861527433113630025536322880727392935381623767535513986955688199610933360020810857944332020104435280467627808116225277942330743856723491462308920923451426883669344*y^17 - 5596587570168602506400979344259234617912071463095513566035046619639309291669682504705520391934500462492833189466295234808512016153356523435168548908616760442860177060643915316876447804823193365807119348049681579429121981795951626897678030173670052034855605178111624367611286905090233128881539546554995989633741641840069029722529617297369916680687088659135741000844740692928247419287005/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^16 + 2775349761728393201678742776309559135467762043154197396668477655700596342769021001641907066964521188529023269310031673443969827927483935878422577367717229326952143076101824361865940335814655254030731085188727656292641350064074403853135207664147191418002519464639634195659428023301782660336801311695301182258621228156373873996293273010138069264049384131337882913564908556345474502759413/111786870110840836600886311585758601510778786148246174313701993901315710760594841617209091439837831419868653775909163731938930257192421673919248301413920577486088717672776262520439561723659413249160047610655938839840412430763716556815012768161440363696467690811883767756993477844099805466680010405428972166010052217640233813904058112638971165371928361745731154460461725713441834672*y^15 - 8922343366984615145688297016816349806342277294095592164379185035793829681497100411322748043365751658358120061895710778711285768098700027137023412931328880341915872869603493596666774603398394712834402448985873831006477672207532993276121799448157757305559665933369294283181486899761282493500955422187096748600687673750290085380367351708832109271092737638689339931204479786582216831910669/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^14 + 5879509110721043773237297982664495080784075255333551472099798342158335637875884458621077094866922035033706369306717336518805891411721992007752420526215938768635001825736450152476580003088933978015092722224674756492519167529981304623421315521513621527068389854869952826573048370864406569650441823911738346713743485475425693647675350910193618448543679092275762948270189992516202207012869/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^13 - 7482834339800535893106113070338409536106743971721344875744059018049340604344620039662441258676686050674265778156731519268876031186392629967609564269201880556047320682726013454207993543367304783267217310241842910345743305647695988048563312837382779880982820203791692425598638505905755976920989293561513418886139590139738666974404640287747127011975856792656865225323919708252806654859/4756888089823014323441970705776961766416118559499837204838382719204923862152971983711025167652673677441219309613155903486762989667762624422095672400592364999408030539267075000869768583985506946772767983432167610205974997053775172630426075240912355901977348545186543308808233099748927892199149378954424347489789456069797183570385451601658347462635249435988559764274967051635822752*y^12 - 1197474071784199225505326013610295986134147901564766412694104307917347524704433960395864709636487913863322932417446150800260727056268427039880796983296175772959501288202700871279500196725424204768617904518456734381732753640147716398897046757227776408041461414986767635695522230652853079979347463975571034058668454377730061724193116225365859697213835660783124930122460606584124896379723/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^11 + 1073502869257717348071806610095811639897472739902255008199257128634221626209406061453103468173839397623862334724851881556880525458504357477251880570594977768012942032535762708030189020655389153962808388463781316065255312652682757291752038064077797834244529102685498554113544741172058872574414229288437276053815982477651677088526036119668013162559257095476732762376974050503716077491079/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^10 - 35446203678892865388579753398738882187243495398137277609705272877945301410392716856728158172101952069638584802556776610624155951699306209251855102032706408018506061533931793259771948094033817518953294211002567847056532088827001009118413777129601605673077019066684278398049393940806126626998741744477381326516995525872553006423970440023246776296983872464094342212706032239912464214085/55893435055420418300443155792879300755389393074123087156850996950657855380297420808604545719918915709934326887954581865969465128596210836959624150706960288743044358836388131260219780861829706624580023805327969419920206215381858278407506384080720181848233845405941883878496738922049902733340005202714486083005026108820116906952029056319485582685964180872865577230230862856720917336*y^9 + 49746483787151126095963736881635393883097590184913072645588670514314147370379772000319221518251826478540157607822833111975873038775313506245682196029399391131797510621355447872204491506044676441690843953382983223377879032098671619710948013311029727482809441053453251995335949499733369409538806721189901457811241441935879127544121490117148514339244217274745668801359568777033738728533/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^8 + 15198972546753200455165476371284780230139762546361866758147617885801809831134838684118433870822841812038470079794121547210477670806009046552909146716519088869398617011879718052850570395065582968471996183355843518744324215778852871270971613796614992729802899460161505315158262526203391723556158350406817447822032327099606329187271152237417361619519647786442744739469010167920174367771/223573740221681673201772623171517203021557572296492348627403987802631421521189683234418182879675662839737307551818327463877860514384843347838496602827841154972177435345552525040879123447318826498320095221311877679680824861527433113630025536322880727392935381623767535513986955688199610933360020810857944332020104435280467627808116225277942330743856723491462308920923451426883669344*y^7 - 17797825772646992192752574811926036352499077274961132841930121760730405638248304983168945392702669985005785891276516977397603351336815731093206041157551180580082740968513427693295120897190744165570669174707761765850372505699808874011649910214495611640075680447807061811140803969812041903507877075389366722748089467358237938784989465048546754648490041943473086900505143291174878503265/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^6 + 143132976965432197592055387763981881078510415083606353767458587357626177156468665441127827870137593000514981113952548087944605835128748237890160448613255148374392980727841247837472076766174808932784541981615556561121796034987326936010244322953229934112422530036345920452867187080085136230310207219727615076280054581184171225125373693163372665557607532160188946385308025699444485363/5883519479517938768467700609776768500567304534118219700721157573753458461083939032484689023149359548414139672416271775365206855641706403890486752705995819867688879877514540132654713774929442802587370926876628359991600654250721924042895408850602124405077246884835987776683867254952621340351579495022577482421581695665275463889687269086261640282733071670827955497919038195444307088*y^5 - 762346910670322377921596874442615263352587696126732297882617521587766504608541863765430368888078653040013537188887933949371473320108626109651543797038129693450006558324900634658593439344970646257883821164222475350979091661759595155045638967624518882283882855123982314423873138724424992417608186176467735979621301681627924300560079884030293676336086602875389473231783059255740437381/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^4 - 229612047162128209410903933935720607376773278483669227012378005783461537102634400583072450035924733708960921242028878116974486937717197768963017609296343172589426580821275703283071403957930688761796445587491933382376993777676546557698439746480993264584031929799320697242494612860634871495782517603628021350052670635245535497920061743638978095533856057644265126189520741342659846081/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^3 + 214500392849084269320691470629220979864684254746900067726223188841472172204584008341075693567779301200689460642583669731726892072933516091920727047858849783990010355854896982118707410800418909302442168805321250327404770021849701994548612411648877496497226635003639428973787979208347362658757015139065844140872110236577033118437871933214465663826332964287785143975058324813975070727/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y^2 + 20245227011248720838680097434179220726799236096074622027223870075988938821289106973868815897290542272295704381462733074933624547613853771535112571688466261317561744322796125491003930376632094893602547265649103933119436059896498708781148087550433872001243855440838556043865902513247941673524392446360260324211515683948602108682237375155016260822196531684722323346956386643992548405/447147480443363346403545246343034406043115144592984697254807975605262843042379366468836365759351325679474615103636654927755721028769686695676993205655682309944354870691105050081758246894637652996640190442623755359361649723054866227260051072645761454785870763247535071027973911376399221866720041621715888664040208870560935255616232450555884661487713446982924617841846902853767338688*y + 867045089892668769117039316482766951686431157530888547229188895074326992574931113396658373361149681386369572166536151093728667552664360580880281263151749200599024155241422923345644491867227640015631030805650865622168673366537171129168996486641039048480772411056821088902282569615959621444452167867775212295888289566345328591091291350771717430256720964161142309087716364309710887/55893435055420418300443155792879300755389393074123087156850996950657855380297420808604545719918915709934326887954581865969465128596210836959624150706960288743044358836388131260219780861829706624580023805327969419920206215381858278407506384080720181848233845405941883878496738922049902733340005202714486083005026108820116906952029056319485582685964180872865577230230862856720917336

# 4 Loop Invariant
-279643677950657432718828106634361265671303402210532380366739732655392853392557337579640105596965005174545663398515848355006528926763282363768156033813368357240703574342019111263384124480313025963445708310647090233825213174233966401052789487495934103219404926318196447937005201317620318011617469161742034881528961795436866616871172819142659035497083541146953010436475869937851654998604654939206144182880024981916470227654324081260421693172431722698589894945348336825763773162144691456501138888688727428666394944090782759069015497/190115273330728947316283895758473127397296986646173198114134166561845248568622869667812492490974099489451728914170808924865559698721996109185791968513397559922026114822780887597655551504124087309936846196191128879576429300617471558423037857521006406853727488545527100696398771012025241328563190321009409330561230427078064264121754707480930587725820076623690818224896374171262923662016981923924452978294657183186275790354557633818493217304015820992122173077227334708792966290109783658643781482125581413666283560548129753401229346560*y^37 - 296235826320380678254726132423125436465388528347658313026761566905079564527735277233114838847799619833420732127760720260182859292125833700410829368259176448075683980693437304158178921321733893578271694663084880819421374106482008745245694951802155151218927928791299261247365383852838010383681306410711440507299370549663496426753284328777105069323389934592537481289451601217942415839738452733838181259741965186319405086856577078062327604840008202191623598492864550182240386855775709413030129630273650706880403491999305482515976979197/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^36 - 704478446657871632550074873070022503381473528414829533038823802311672672574869700550034130038320035819977610709137153676354139025064511513253736223604266623013892702871550017654351313033332129102251642677681428586970391019072379657340952571465724677700358249531004983071960249497691136679729410662632638005496167641750546198517246923088892720044444494214764583663312353925841118141743222928091449325894543161753176163624643167356070864730183093731645225558959960274724896353098781803006143156345420856174716932320602006046026070759/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^35 + 70329615023823184647019958476479919402588513078562636856250257424574418139337162356765555855393049759240486468561891549791807569777398364448347712183739149122938916789691487662492552079108825469500407917671663590829562714316407801510588234529047589405754723111850977196136637950239738080361689588533856996577971157138819824800746724413118181480230617844414661887046591983601378715514225188281846723167117140465391516961144635107117838833842869797731182955058272431940085942783984365988423456604757962106066597515994147315667221351/24014560841776288082056913148438710829132250944779772393364315776233084029720783536986841156754623093404428915474207443140912804049094245370836880233271270726992772398667059486019648611047253133886759519518879437420180543235891144221857413581600809286786630132066581140597739496255819957292192461601188547018260685525650222836432173576538600554840430731413577038934278842685842988886355611443088797258272486297213784044786227429704406396296735283215432388702400173742269426119130567407635555636915546989425291858711126745418443776*y^34 + 6914137553526356563154103551260053137804865288258138782476486392678450992181099337417181745034375304376314045080813527269477469080840890177447926927960070402336988358374850096988722536925059868589676279061076673946570396104430534210639201366094400711211451854991469078562820440584149469177811073927194489744300291300754519406561679734010096463633143645456490025679110718422503514677033422264908666043442167792465784512998253675553205920081885687103925986853332527658801604806385572545064814602422579950845473053936687476108129906041/760461093322915789265135583033892509589187946584692792456536666247380994274491478671249969963896397957806915656683235699462238794887984436743167874053590239688104459291123550390622206016496349239747384784764515518305717202469886233692151430084025627414909954182108402785595084048100965314252761284037637322244921708312257056487018829923722350903280306494763272899585496685051694648067927695697811913178628732745103161418230535273972869216063283968488692308909338835171865160439134634575125928502325654665134242192519013604917386240*y^33 - 249545780422889137711571507818280207132961241426621231927788139880620597385464372862332808038775189892936971844237949140821090359529563936430714372698441825256798853605206213873891684226750982338989383412755672620361842837477727715080638180033762292888554740396414035711947959678757915184904621371855720113095824890028962687086292744474079030472635889600909624583074325043704906453887597233897923128626625258045625258288169439704487238654865595171104883754466410961509544853504792627982740774021491213485264741335450359134184519035137/3422074919953121051693110123652516293151345759631117566054414998113214474235211654020624864837533790810131120455074560647580074576995929965344255433241156078596470066810055976757799927074233571578863231531440319832375727411114488051614681435378115323367094793819487812535177878216454343914137425778169367950102147687405156754191584734656750579064761379226434728048134735082732625916305674630640153609303829297352964226382037408732877911472284777858199115390092024758273393221976105855588066678260465445993104089866335561222128238080*y^32 - 54220438696046727875961756883747599941444321661486758602781325810827341436764006816522508564023730057473795424527381639950058812302328229573765329273517544612556951226718363696809835578321518690093776661376047309962519116112629030178983562415200701347221508140507486592811085428715606690078288113145265700058535729537782114193398756279518628808617512057329549354142229630174673261007973216199403545370256743099165958787407220854953220204547219598872295366676998418119310700521154919227549702476000039714140930272370318846731411142157/360218412626644321230853697226580662436983764171696585900464736643496260445811753054802617351319346401066433732113111647113692060736413680562553203499069060904891585980005892290294729165708797008301392792783191561302708148538367163327861203724012139301799451980998717108966092443837299359382886924017828205273910282884753342546482603648079008322606460971203655584014182640287644833295334171646331958874087294458206760671793411445566095944451029248231485830536002606134041391786958511114533334553733204841379377880666901181276656640*y^31 + 1231564446882546131229277461591407516309897296799555013379387915130202786018943822007200924918422012565980665459006897807275818976251840765174404181801148489998438699231108506589389568971067079003303642434566038676476529529378612666852612330220933098701670351255972592508180046639749961130969424087298429353078240141150133707059807153452754569440057325359854343944874039660836815241891139687002125486645607069836689181473705196272834429907621040544274466090128489162994821644308412168451171857926554172360463935204116695864409701821061/1711037459976560525846555061826258146575672879815558783027207499056607237117605827010312432418766895405065560227537280323790037288497964982672127716620578039298235033405027988378899963537116785789431615765720159916187863705557244025807340717689057661683547396909743906267588939108227171957068712889084683975051073843702578377095792367328375289532380689613217364024067367541366312958152837315320076804651914648676482113191018704366438955736142388929099557695046012379136696610988052927794033339130232722996552044933167780611064119040*y^30 + 6503140640778430693325815616055282196624403020554366472351323593160014931179130497825493265704671294262686834016477768760694578856632294023378245196087043226531751090228309701130652591098492797749740611917451199011138861230765326683094271953764906104491508429949907493663242399741416838564175713260134993312259173891475907841805059916899503215253849946406074674073974342548460042121355555241013030598807317270628187288606877193369451781646545450855593278376805700813975466587911915040880028139623881686401859266886105678236004709957163/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^29 - 5206259745142802224382175342717351223410762475189020677674074172487249876057452951536152891278593539815311750502424858163046668370623619623824274365724697661746206939617334846726677230169307125345988516463283421322542979534914063395745006545883124054280560044775848956522878768129449912256526692743164841272276971386407711470672151214851715534339156208620040643805209691128949464970309451583154264517667697826099447279219268870556133241170874728732862684455691081756338642459250861833422330768105584342543203828397552323800873718073999/1368829967981248420677244049461006517260538303852447026421765999245285789694084661608249945935013516324052448182029824259032029830798371986137702173296462431438588026724022390703119970829693428631545292612576127932950290964445795220645872574151246129346837917527795125014071151286581737565654970311267747180040859074962062701676633893862700231625904551690573891219253894033093050366522269852256061443721531718941185690552814963493151164588913911143279646156036809903309357288790442342235226671304186178397241635946534224488851295232*y^28 - 7361004582527391488592744593151764827333881999486808914461977753052503667740425249742618589624362942233676594299652618490676199246307529294200563181989532089191668711087984736125197808293528266774660750465246127161699908182909571351027195325200797350142694152201206518821953776141390182412019883766783957670361102148563286547644557652475610783529674370661084083282759286414341674377207025392739007511582968371435254955243609331444266451809966680077362342108524639535370776443784806144289397162406625224351602075917619315852502093871873/2281383279968747367795406749101677528767563839754078377369609998742142982823474436013749909891689193873420746970049707098386716384663953310229503622160770719064313377873370651171866618049489047719242154354293546554917151607409658701076454290252076882244729862546325208356785252144302895942758283852112911966734765124936771169461056489771167052709840919484289818698756490055155083944203783087093435739535886198235309484254691605821918607648189851905466076926728016505515595481317403903725377785506976963995402726577557040814752158720*y^27 + 13523017500579160460237893911368969636269646277018661095698648764083238781934369028540984032740315896984418213103163148486445288063921317556398842478231863882355428732357849068210421880924850898844599871274909737521634595745245405058967522122132014273935381284763952360902918180181595323327217995744153975444938952166628413790433280849798313884525919085866627611272870718726537334360931888096271790135466052673329688943731977745766697433912210424325869161403046161613882283173745454667286011402966980012308431530104251462098887536256773/1140691639984373683897703374550838764383781919877039188684804999371071491411737218006874954945844596936710373485024853549193358192331976655114751811080385359532156688936685325585933309024744523859621077177146773277458575803704829350538227145126038441122364931273162604178392626072151447971379141926056455983367382562468385584730528244885583526354920459742144909349378245027577541972101891543546717869767943099117654742127345802910959303824094925952733038463364008252757797740658701951862688892753488481997701363288778520407376079360*y^26 + 8476685920561208082428656874025774187301102686007209069943578159909867640713206502588999137298817164036965776249356225045822201146410771116581558643703096420286338279682967108176748676737795058252691509181724188624312904580596162659340106742373507289497850973524094250874822651626688891415049101316725022153548731900181578887352222924123231390799952601314415077719455367328130909330731586805102386407263997635283685779693678080725488050988683980209999520433211577781216597001172993931433296673542965728279858305200369117132113317284753/1368829967981248420677244049461006517260538303852447026421765999245285789694084661608249945935013516324052448182029824259032029830798371986137702173296462431438588026724022390703119970829693428631545292612576127932950290964445795220645872574151246129346837917527795125014071151286581737565654970311267747180040859074962062701676633893862700231625904551690573891219253894033093050366522269852256061443721531718941185690552814963493151164588913911143279646156036809903309357288790442342235226671304186178397241635946534224488851295232*y^25 - 17702499439596410595195181873384807486083655401632742324749197996404263775477811158997128481314365275693718304657491023783925260565907911832452742050423590345463921267248017089743597299263927349192142335181180148938438148784354211363250909261782675206784657925519907265704606826854487523943827725885755286761215777580477557009941380049268663748979668241394494955327950364419485989262716591549059416111027705415406227647068009003980056995476455149152085752117506561424173562388078219962673945281121098944785843905966015706809558474667941/1140691639984373683897703374550838764383781919877039188684804999371071491411737218006874954945844596936710373485024853549193358192331976655114751811080385359532156688936685325585933309024744523859621077177146773277458575803704829350538227145126038441122364931273162604178392626072151447971379141926056455983367382562468385584730528244885583526354920459742144909349378245027577541972101891543546717869767943099117654742127345802910959303824094925952733038463364008252757797740658701951862688892753488481997701363288778520407376079360*y^24 - 45273027633092846047859282580545141898011502168591579617696236353034944063643656903705215666935621193461007118308805071020302556261497246758786332539333745511899341144213339516493226245745184740776051962787359620234103119072650410729774874532539096449612328075471197623391608789399228169762916273433734976576178006758577571979083882772912360783615862666891361866000699754644399853393917268334119485360689764778974232859896541060474798456354164405542029750566967263004087351666816614737959436348212601807324926818776797419482035153534083/1711037459976560525846555061826258146575672879815558783027207499056607237117605827010312432418766895405065560227537280323790037288497964982672127716620578039298235033405027988378899963537116785789431615765720159916187863705557244025807340717689057661683547396909743906267588939108227171957068712889084683975051073843702578377095792367328375289532380689613217364024067367541366312958152837315320076804651914648676482113191018704366438955736142388929099557695046012379136696610988052927794033339130232722996552044933167780611064119040*y^23 + 15359071483525866894958012649568000776084054446431988262451703334093917681507154192528547360197819461737325337220159085234040158624447657307663663667847854806058582537126239993182521048737714375717531270288544230025108479766341952783915647602120282317447633615922934318968557202742546081837035070209434836004704972705804127324690531989254709081018108503726319548631360448873737114044986145995600449919082372004798274848041489859895001441907500179431011633101653709105394589927893806035441676557444604814295266705191646696668902112163103/570345819992186841948851687275419382191890959938519594342402499685535745705868609003437477472922298468355186742512426774596679096165988327557375905540192679766078344468342662792966654512372261929810538588573386638729287901852414675269113572563019220561182465636581302089196313036075723985689570963028227991683691281234192792365264122442791763177460229871072454674689122513788770986050945771773358934883971549558827371063672901455479651912047462976366519231682004126378898870329350975931344446376744240998850681644389260203688039680*y^22 + 156592793091584988560696038060531814700413997106425896535959293164673644400051959685942468088318506042390436832774185072271103165834803737537810898591096344151432022033604724359060354341734910459404656756522669206860720546359465416193583202662976623256719355277983610229554882148609388495446618938380048594276194428790071491533872342150489524334696510726173371886969339522038478696130449140279748867412315903041657761272984918008826275250987516989480410608264225209911058987396994337320909691894778040291573503137125204175975342248399129/3422074919953121051693110123652516293151345759631117566054414998113214474235211654020624864837533790810131120455074560647580074576995929965344255433241156078596470066810055976757799927074233571578863231531440319832375727411114488051614681435378115323367094793819487812535177878216454343914137425778169367950102147687405156754191584734656750579064761379226434728048134735082732625916305674630640153609303829297352964226382037408732877911472284777858199115390092024758273393221976105855588066678260465445993104089866335561222128238080*y^21 - 73592430622057630205944714675464488684632265557471296656087041658085609275537356900249662530487876257500612620486184036697957355000621134372586590980918096148954786687582451388343411888390514801332139795225049250987989698341573258657574383879397781497078640733663798965941956627242433159214677751915508002250235531330421794665320297703463012775556698848050286303601310107316780677433994502466575087866173677564166217558535853520228947039906388985954346239642977303791795509468627747351349942336758104475970095955677275119158738947584631/2281383279968747367795406749101677528767563839754078377369609998742142982823474436013749909891689193873420746970049707098386716384663953310229503622160770719064313377873370651171866618049489047719242154354293546554917151607409658701076454290252076882244729862546325208356785252144302895942758283852112911966734765124936771169461056489771167052709840919484289818698756490055155083944203783087093435739535886198235309484254691605821918607648189851905466076926728016505515595481317403903725377785506976963995402726577557040814752158720*y^20 - 33096038619168113785601554620125629997643260236459998325050971099766385196530020042428586791980576298789893483062161327714445709937406822096332313222222385357602229359818811357879008860820411906763468177651954300478831381251857541717461078487232832026979174414481864910780016334841643942727540905896134841041644176561266586914004807014597917923909996254356882871775104501272978994714018194576694485393875497678725580235425264994856383647960660070777182358903296447897367599578957531298089652465901062824343096517357978425832870607496617/456276655993749473559081349820335505753512767950815675473921999748428596564694887202749981978337838774684149394009941419677343276932790662045900724432154143812862675574674130234373323609897809543848430870858709310983430321481931740215290858050415376448945972509265041671357050428860579188551656770422582393346953024987354233892211297954233410541968183896857963739751298011031016788840756617418687147907177239647061896850938321164383721529637970381093215385345603301103119096263480780745075557101395392799080545315511408162950431744*y^19 + 639199120551595750246946294115108079725734104475462351370806205254578067885635933444155443854195969107289862889841578005954986586471349838743620143889625019618444328730453871012870804653770548923984169402998310039492454515405550836350169888224390207482233429890213401462971232469745843116232373946795311034841490311069401360658586403090849854366243509728379844100843391836092372761201766130780236516633950031254138377802719987618372797134178990636980944194040020335133544957048240258499094185022078343018508826341774628100120182081192557/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^18 - 4831207134639994431596241498656729423114874962136516872967708006120161059003689838405549848806747375892583399460145091504497959838277731986048038866410842542616512512170378863497812145433332514430855315376679098746621504620422895418016049915507292506417157000432792633244995969223828130019464039268232481085194738711067960624880571603658797812587568484972602014208251513147918800279992361836084884564666959089906590627793420335091170399980846276622768249653360292497016691183591411195481957578458543136453526158199957203924349380994993/152092218664583157853027116606778501917837589316938558491307333249476198854898295734249993992779279591561383131336647139892447758977596887348633574810718047937620891858224710078124441203299269847949476956952903103661143440493977246738430286016805125482981990836421680557119016809620193062850552256807527464448984341662451411297403765984744470180656061298952654579917099337010338929613585539139562382635725746549020632283646107054794573843212656793697738461781867767034373032087826926915025185700465130933026848438503802720983477248*y^17 - 12783269399604267909675505932916415690276032986930087451178323114809893667481068092508587485221063114269071553841024263674454608366058573976365595832117355331535375121737622646505372426742108303034931563096435264541141086853457615040314866156355243744336209850887477008598324181778128989684240950062364176462890569219412419198373207209337482772207974935808002643238229754884534687458563661751597417412633512595828030320299593192970465812262513937647124791394553683781482055669812038284679363659650843220130513873786290550883887701446959/1140691639984373683897703374550838764383781919877039188684804999371071491411737218006874954945844596936710373485024853549193358192331976655114751811080385359532156688936685325585933309024744523859621077177146773277458575803704829350538227145126038441122364931273162604178392626072151447971379141926056455983367382562468385584730528244885583526354920459742144909349378245027577541972101891543546717869767943099117654742127345802910959303824094925952733038463364008252757797740658701951862688892753488481997701363288778520407376079360*y^16 + 6122499576783822564070198502597121460386105582847132815103905854253958116663818027402341044718120572674247582923682550943882686399402681888084240956209685302021563926378583835259984319894855708909894333715938084137920719898567054992434161074610112170505090514695168141727680823705815249127027649906255838650908072787698612067861814977949515322017795854416588113336910050226808393762350995637239828323388409246462767169454973575487118598650072939869208923456391529722972042727032180809610177714614790739992660638328279711468429020659489/342207491995312105169311012365251629315134575963111756605441499811321447423521165402062486483753379081013112045507456064758007457699592996534425543324115607859647006681005597675779992707423357157886323153144031983237572741111448805161468143537811532336709479381948781253517787821645434391413742577816936795010214768740515675419158473465675057906476137922643472804813473508273262591630567463064015360930382929735296422638203740873287791147228477785819911539009202475827339322197610585558806667826046544599310408986633556122212823808*y^15 - 19062023841808088652183471960894632661468677793952047283975090158084692344898947817824308245527362886911606774480278494838828058417341956530664877272141016212585266498344673681879669965617862560936793199363918573633727374307409384268218936835870841417173667576907866054231895898561025841536573440717586044683389272858961859758830417707986241971023564368830867890663474336637012397941488598717042558543778649760873612222545175445942778866970008248770967510696544663985763940316233530630298769825402317708928011124655138608044936177005429/1368829967981248420677244049461006517260538303852447026421765999245285789694084661608249945935013516324052448182029824259032029830798371986137702173296462431438588026724022390703119970829693428631545292612576127932950290964445795220645872574151246129346837917527795125014071151286581737565654970311267747180040859074962062701676633893862700231625904551690573891219253894033093050366522269852256061443721531718941185690552814963493151164588913911143279646156036809903309357288790442342235226671304186178397241635946534224488851295232*y^14 + 7955708625657993020533572904632940578743205892886641441036308803582101922480436143350441181570624358227210031620013121171868902608562641982007423891618687886145980295770841654770102051975752264985150411015248657722990137323585079448984144559739337413601246415853897977811685254094488153496608910227652879334586976401651749194479599383249245892703668420034841691351210525297714045288551367776530904933749834599366302625298709636206535714171700027456286000835171089065263590894693729641655678570722330269998175760407810812393045656352681/855518729988280262923277530913129073287836439907779391513603749528303618558802913505156216209383447702532780113768640161895018644248982491336063858310289019649117516702513994189449981768558392894715807882860079958093931852778622012903670358844528830841773698454871953133794469554113585978534356444542341987525536921851289188547896183664187644766190344806608682012033683770683156479076418657660038402325957324338241056595509352183219477868071194464549778847523006189568348305494026463897016669565116361498276022466583890305532059520*y^13 - 4034167784495712880336381141046483852459955691177119271639415105432310832628376713971347081125314347416292050911641926127396450534930647826543070878256564927937800784121610147101205215013798428194113968957116194166161383405796378558463495579930825033217199918635065588951057838677048733978685814304110724627067704441175964699184615343155665260579669415215000115226639504879992384514862380839057084264934771174558809107990579503192379307439887811962969459912957241090245036545496871938299274228537308914661688363103122021353342415585/3640505233992681969886287365587783290586538042160763368142994678843845185356608142575132834933546585968224596228802724093170292103187159537600271737490591572974968156180910613572127581993865501679641735671745021098272050437355838352781575995083101407837334887042008311207636040655802493525678112529967412712874625199367188036374026313464628275600809977900462476646951845832694282889686887904936333626918967337609536411044720647588167990927962529636382037649034068891780205555293729633604326253468580261694791584964186767257583232*y^12 - 7437516386242393074957870035723797977751118567779844059874830968721784725938544927110796547173234767976307310317502528498470332524083427466789565735263039924493147555413092420927578298496644741346375752154530452434223311543053988999561387165936412077221953994299489457828359881410855693368355198974572874009066727848848399788169637906411186759482958756389883997823856396712244249669839109438697450191609904673445829576383873528909544696800887527033173942577950311684243148935064362305028923715432146210902477157502424429953545103739813/3422074919953121051693110123652516293151345759631117566054414998113214474235211654020624864837533790810131120455074560647580074576995929965344255433241156078596470066810055976757799927074233571578863231531440319832375727411114488051614681435378115323367094793819487812535177878216454343914137425778169367950102147687405156754191584734656750579064761379226434728048134735082732625916305674630640153609303829297352964226382037408732877911472284777858199115390092024758273393221976105855588066678260465445993104089866335561222128238080*y^11 + 11425177517050470230040349357083544894853993890794839257760441680244881981607548993057949680063935609582797386405252979238538543646759420426026958155873647178512037716711591162954479652420850375603153223970145807540791215157428388147644446222213380251504447874224901186023213450282253315953676566209672489227750454370611090570682638870366454825065040512781286225729004409815900358065157239808850955958395372870926131884638321405691515452782002403655740469962230474514519485538349432959125891042121235974336592068868938761909844843095371/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^10 - 2875629042032263949147195519747613544571010004669816476896187595234590280980583634676921750562893665516129265178658231843768740680342907472549042133427392009282119394044197773788803826128990032317094123519572059070617090850700988054972090598146372669436946616640717192545114162525236599722591325835371711190978098354824080452128088784918093903251262232744493735834486286511893801701640080212672661763728182653065172544646803374843244856557121261145047608001990093030272295119369774366042811327466616550335813443823328776332101935302913/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^9 + 199590759078498454323976969266978412473668608622421334484394559928230570226896699958275114887396178424688477552008887921353319240412495381195052167764505116511932515637543741358333842675081415533809765224810073940703209192233645977000283442944089778037011742781736416193469090019672938128509869961435613461142810295807249958664298610865573579991625158396008387612960385980754328162570369433216627361400676866809845381973657585045832467710349959359711792751924285332893745374944653908138069323464688577854322515909406226253338560354081/3422074919953121051693110123652516293151345759631117566054414998113214474235211654020624864837533790810131120455074560647580074576995929965344255433241156078596470066810055976757799927074233571578863231531440319832375727411114488051614681435378115323367094793819487812535177878216454343914137425778169367950102147687405156754191584734656750579064761379226434728048134735082732625916305674630640153609303829297352964226382037408732877911472284777858199115390092024758273393221976105855588066678260465445993104089866335561222128238080*y^8 + 247056509473215040654952568747029344952158018335109811081123048587904018306027091428222924428447609496883724696238986115846709375445251401571984478841614601487386483234154860615802304471241105228502665797921644594101318362601940711173429142137803442716951422499316175092448026741110697633777455595298245573569065958839961556154346281427543932311237994677953946617972146965505953912812434539595688236660422189621361367212633602353803589149237161898792642442912517705275730221370715941440418727808898992679895630550752738164304766824673/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^7 - 216877163193512945672519740288375814135367323785264303820039317920623731367050202856588365750229565598980146859951008471038196797858965162378616663696715924382884353592262537924724203485867987551738639811195670464165084273556284705234375069349202347555655609987568280081196653982409612396026603811045857892131224395092451384607051185666582367064153350770461499717982967428043170831082332709112147005427186629188912254296159391365234054391566916586811471617845389389370341393488780204889160324464988688234681595745795219058315470427377/6844149839906242103386220247305032586302691519262235132108829996226428948470423308041249729675067581620262240910149121295160149153991859930688510866482312157192940133620111953515599854148467143157726463062880639664751454822228976103229362870756230646734189587638975625070355756432908687828274851556338735900204295374810313508383169469313501158129522758452869456096269470165465251832611349261280307218607658594705928452764074817465755822944569555716398230780184049516546786443952211711176133356520930891986208179732671122444256476160*y^6 + 5781707311894046793695623999168842360128044510263174895498812427745314644763996987930770042290717486262163594133171798960244331405240332550869629157302839781820969182143742820242379095811622384509309250380102295989818887002999750295730270384299166575237301933230194417696271529971512622973630110772314050809978911203956590672176791100133429398034569402047526951867435061611528147580032319445831427014994464211716460547013399556149604354129435008540016866814480627609974340433361269706626360307771661936720703479278206820008230764251/360218412626644321230853697226580662436983764171696585900464736643496260445811753054802617351319346401066433732113111647113692060736413680562553203499069060904891585980005892290294729165708797008301392792783191561302708148538367163327861203724012139301799451980998717108966092443837299359382886924017828205273910282884753342546482603648079008322606460971203655584014182640287644833295334171646331958874087294458206760671793411445566095944451029248231485830536002606134041391786958511114533334553733204841379377880666901181276656640*y^5 - 4765188821501711160268564808458037060410404773100649273183745188513292677326005283017024203365854878863166845886282930341572027876361656449857174924044667278876021374114468098821071081123490644469872492498443480342078069809411572563002697840719928188488339252435850784816656911849928210820394939670270933594366351108485609711479386846955175167853705195229841871209025714087136027009205953576756496002059931340611105582498942046021065306141814109068046103997631448100359757850847943908806330501901359910628116435648607150993321349793/3422074919953121051693110123652516293151345759631117566054414998113214474235211654020624864837533790810131120455074560647580074576995929965344255433241156078596470066810055976757799927074233571578863231531440319832375727411114488051614681435378115323367094793819487812535177878216454343914137425778169367950102147687405156754191584734656750579064761379226434728048134735082732625916305674630640153609303829297352964226382037408732877911472284777858199115390092024758273393221976105855588066678260465445993104089866335561222128238080*y^4 - 2634236333764660881008568302627834585909782828021873447104021782673385551457167338801755036353842486400714552326431678422967563076432405144195756850631652166401109668645091708934128277695256937861047096434849964541794680376752748245555182405186026136898330181263793115283599921481514611247287557011176588425165802053833931633233770413675704117154050184591108772339366538116299389651807400167821398871572811551228277470862320438598810090877350488959684812496304604868577638721525720049788338635788273747088769207158730921659678848037/3422074919953121051693110123652516293151345759631117566054414998113214474235211654020624864837533790810131120455074560647580074576995929965344255433241156078596470066810055976757799927074233571578863231531440319832375727411114488051614681435378115323367094793819487812535177878216454343914137425778169367950102147687405156754191584734656750579064761379226434728048134735082732625916305674630640153609303829297352964226382037408732877911472284777858199115390092024758273393221976105855588066678260465445993104089866335561222128238080*y^3 + 77055158870478404959771837687824402395692372439964929885405852082341236806186188003581870039724350039049874648688349613542317797767043637913693200087180284481765775825321418174574683376724517891754965622528154918054844390835423588757570353093851740613373289819726864840294873256391710275157482286216863204531782497183061300273357310641609137771560280432848893269024432399214128390418539027276372640164202225668269882663465897906038452568823261291763722608433237450812523301005831863199612956688991486561266915022600469829984558219/570345819992186841948851687275419382191890959938519594342402499685535745705868609003437477472922298468355186742512426774596679096165988327557375905540192679766078344468342662792966654512372261929810538588573386638729287901852414675269113572563019220561182465636581302089196313036075723985689570963028227991683691281234192792365264122442791763177460229871072454674689122513788770986050945771773358934883971549558827371063672901455479651912047462976366519231682004126378898870329350975931344446376744240998850681644389260203688039680*y^2 + 71817986188815550129391398818702192463828343655231756059188600394488650453958571789995128976884914231826807845614234573360070878445843612522870245125118544482740444253458762656590718482576436039564838254717027206200961699291203615097944536097870820505035763207908999936681502952824094906711393283034163618830344116048988205443689232601751185436019599945802156914602425761102210909141247880441071950344410106231897878178797701830111008508233314607681110850312250577618362688665327629188536365323149739353183872604873034911962551671/1368829967981248420677244049461006517260538303852447026421765999245285789694084661608249945935013516324052448182029824259032029830798371986137702173296462431438588026724022390703119970829693428631545292612576127932950290964445795220645872574151246129346837917527795125014071151286581737565654970311267747180040859074962062701676633893862700231625904551690573891219253894033093050366522269852256061443721531718941185690552814963493151164588913911143279646156036809903309357288790442342235226671304186178397241635946534224488851295232*y + 950449155963247484029671112671246452539657917649950542360902097817448102120925110363582423294057884160834808168598788965175361436147403998327150262004282871088194254270121761937198327422132901014666661628349904366614639721466724700735163922747956729447845067411918393155022017958163727323952209417009162986461741208885823121703423625943995034936101624227695208536591418110444253706995479379493282635365082833975635427714936565333318709788224282694060770388403954158805214892943276524951497989152108014506097411675946934016046837/380230546661457894632567791516946254794593973292346396228268333123690497137245739335624984981948198978903457828341617849731119397443992218371583937026795119844052229645561775195311103008248174619873692392382257759152858601234943116846075715042012813707454977091054201392797542024050482657126380642018818661122460854156128528243509414961861175451640153247381636449792748342525847324033963847848905956589314366372551580709115267636986434608031641984244346154454669417585932580219567317287562964251162827332567121096259506802458693120