# Manifold: Census Knot K8_210

# Number of Tetrahedra: 8

# Number Field
x^32 + x^31 - 50*x^30 - 432*x^29 + 317*x^28 + 14857*x^27 + 12726*x^26 - 207523*x^25 - 178817*x^24 + 1842527*x^23 + 1256518*x^22 - 11098965*x^21 - 5963298*x^20 + 46987507*x^19 + 20468060*x^18 - 148483531*x^17 - 62050454*x^16 + 350112062*x^15 + 158508584*x^14 - 621492009*x^13 - 320588368*x^12 + 824927101*x^11 + 486196954*x^10 - 792406160*x^9 - 517205677*x^8 + 523195491*x^7 + 359074026*x^6 - 218423178*x^5 - 145688886*x^4 + 49551885*x^3 + 27040216*x^2 - 4622832*x - 982049 

# Approximate Field Generator
-0.873810433509261 + 0.847786574522024*I

# Shape Parameters
802694670806635056566779781638586125557720048349459657427324238610752740085261536410892882272217845432063660709699/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^31 + 481564525568007086952221493376484093682580525528376925741540299682204139284682064151303068988134019536769570947648/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^30 - 40246828483630405705352435427710711514368833529353109229559053444465185354928428560105933260336120077657063731006066/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^29 - 330664416501788664165067851198219942774932508574162331896796316010649545614305260249580410273533521064928963897468251/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^28 + 382661142210913976883930262848051390681515490879559285031777412828894190799278868350729193767588157634549375259724381/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^27 + 11741886798875369976358732084454598201709815676679793791652389565985476251920500670566145121380710516621356726432903216/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^26 + 5577056435571738587453843770866203285671750194428844797297617022708444889202139984330144812038329696686540263406959812/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^25 - 167650962269767117628796480324063895361884871241580908888246534067665418636423576939204961856555017342706056181575738440/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^24 - 76648268919481163244132732020409604216787634165435470202701453075862788105715243683950726123487080295663299840601208736/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^23 + 1492360717047466284309267018913121035107862966821211606184924052121356928060139240490777560130548813400186887849728759814/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^22 + 414561503218677956572091013066879571751302894029945555267355204400483605018287434592625999139669260652978443200567636456/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^21 - 8919067162741433847202784091718900472131573804686152109232711669383666768136117443244127338827125835290709938517565551476/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^20 - 1273754573353257287522066512349434846870859430325341017658815246634949974210282804454110974513060066090764367247198706308/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^19 + 37298915363890456922566274465022536706223694992886288248097103263347976264167596313301384359528578035244356576457870909902/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^18 + 1968057937295133547071887650642374029826377401440224820332890996845314102978980073618680674585092597059855366721969497738/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^17 - 116153814899127014790108455018105722625176314840828573618906614651961327396713289590910744513404128001516312766481537483370/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^16 - 5619537465910916004453931649951705184497519102441969697536082099390796870580948753598584093784361246682001764250465636756/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^15 + 271678801365507765920284417576978052862551750638639658142269889975268583776199344433333476435686582325309910948030326755831/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^14 + 1115680561840840497198436358470732328655804664779087360315262723828030171762198392837550605079999453623463752503458262032/911350855903561413574321300500518300144829774901507256478018764783942981204705512666174798081737557252562414332862103*y^13 - 482482005832737740300833071874964614198168383838398733350742655036955944635207326728114758020903206544983419416182035428267/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^12 - 79390723661667522847370958723253237045487274112671471205855103112757341575816875136929034881460206158412463022317591091795/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^11 + 646952333558816485344734231380686799316960232213107730591449684795482998307592897790668334935875347612423446011346054407360/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^10 + 154159552578256066741012386504348532908190295866875677274108511234597949695628947495984527008219979409423687690536336072102/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^9 - 634474024967026858968759538299999996615878972492907582379229251714905280587912312680224527732915807846056785532751430470590/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^8 - 186031398548048541625920035281609739968175280667018107071479679567846328815732564700229133265493980714079671142371161980789/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^7 + 431693153615247590512337746869139606538125964523474563699152524372729986043505328487159381182975530129366924338224639701193/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^6 + 5878440575053425220057035574460314343420039740906304005507844514360334753934321478683587773808129515069255720254070919328/911350855903561413574321300500518300144829774901507256478018764783942981204705512666174798081737557252562414332862103*y^5 - 186920426654472202662286593633738006964107020825803227250879527575123768039115935035063979905746602104039709361614089949226/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^4 - 53648392825540509651543126370824414824338263089923215830304894756622968694165101511839687324651822700442086479299849024310/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^3 + 43989100578120666347612099858411173418919341938236991347983427964430133994667738286173244782659186010074440801311062024243/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y^2 + 8568206791071109988215493263821735220415197706349919161507281333011876497006036089624128838603889859553716415098879491841/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369*y - 4090208565160169318530731902474153124670356558672043965619422740873976832191960177052019444592160318408795140056026518724/20961069685781912512209389911511920903331084822734666898994431590030688567708226791322020355879963816808935529655828369

-4656667314313632038160420962617490052603169620608981149953204837860472286805095993565047343321261565367026769671002815/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^31 - 3145359006268287002363652920979122608376199658139572770830427276790938008985667324345498927809658402124705507606363661/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^30 + 233444206120770633941324935992649324042410185842215938174641499020604452944082663966037847091354517414175008497192987366/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^29 + 1935804900019548009008499530914378429541273401260247463492135673569544327394599689026430022001241352105050351681166056150/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^28 - 2083583985365798837106120803149305889492094085296671523949874066727905375458378829644573235142983326203120329267828052084/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^27 - 68346013924957082989919869972339074803734876822838282896175365947762188817593422471759738929459249775488625350992811779110/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^26 - 37339553461381719368676166697493865372991998474015917738937640090839657889351656084443017032379003927753978297924639976752/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^25 + 972486914216619548994751973992899540060596603925561168752793562388496231919198735906379543013127593385209159145321843102541/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^24 + 516411538261797567877417360643700105655617924293440905675711440453246548927311685182011225514529395852713434651482354379424/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^23 - 8658590846855659891793933319057662251985776088056892107322428564245763390160747001137097960133635764730890021551463826367145/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^22 - 3033681897211554512214237761251499600820323902462862061277545313581441188174537694401239067611993387637967786968367575424335/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^21 + 51859700142049098678234623060868236552426103437662586649912563779095241518604172609327115090859293567670230064335473375281994/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^20 + 11031462605853800039229923943897599985496544383632499737718408249041595481451055331086959828269527047958513514275718980037137/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^19 - 217504688629686842709102687428213553459954335747444608957301195782795671639551748605724814745785074589996714050923301435438119/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^18 - 840748039900176293939192843533115920831495117498666810451910963623403501677847293470212235104831223706213047266427261888071/8405388943998546917395965354516280282235765013916601426496767067602306115650998943320130162707865490540383147391987175969*y^17 + 679491010873588869638023386349795860684289303265997631825036900106174871690769927162835613178544693595319876481675657851144996/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^16 + 76359014648456559821204410804959186676540718855765805606076810586209416311157776470993761876361672312386352741693019061369990/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^15 - 1592355883051023485137135024584343562400202738904706569254493111220082440780384197888968380657737466143279736292196952339640730/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^14 - 10759632931330174974873862908256209713923179856345643847674985158960513086951722547718585040613604599878947362044408368394819/11329002489737171932142388086521942989100378931800636705278251265029195199355694227953218914954079574206603372571808802393*y^13 + 2829141191035515042574731529206043603509221302503973301378889974026874827591692528260422119181875832948380578685231103362124522/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^12 + 630229201392095666758906392408420747620065750120505569952359349932945598026988348157590901707070018799217070334714584128729490/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^11 - 3789510287627535419000662988356634568318014004976548368633755304617386034456099149283823289704753780970870685725201979211396032/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^10 - 1115164247568039003026180576040202090286128147901008283059207105531675947775436916985337567202350627102133985515741908281213590/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^9 + 3707599182216305879021192814448426081920717781344200425113080682619897892853382964344307972761773658932452937865132418536957443/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^8 + 1287979238674980851341028477425687382292505231191427246590163772490555330594782532690112202818797682022033854804628316577443230/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^7 - 2515338529102247626342407079311413361685555712026700787731124248575494985099157455736289841166330302979919696693002183541420733/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^6 - 39905708166789876717304728640076813824589240545960938111412993075313851375116641067233490782115026913000047409456534290464520/11329002489737171932142388086521942989100378931800636705278251265029195199355694227953218914954079574206603372571808802393*y^5 + 1087119080297416188297516918080087484987293415280138332598000161956997607765226675784244531234169960955521469371439737669650228/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^4 + 361890448439875781163346632736626477405333677525007653372093748007176028702986939273534869696659581209425614193510112453726107/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^3 - 256705199603883472387655070678357372236196300898552341287646551252052974744718068378814731387469411760307572319818708995129421/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y^2 - 58037304221771620309686969803271462384292589121354178820549956662147335480846912372555444091044090169000388763630425139106097/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039*y + 24737715234774100246156052174037590904854743363988727002195857300599901572809150775937810668227345850447163041215762602084511/260567057263954954439274925990004688749308715431414644221399779095671489585180967242924035043943830206751877569151602455039

372886649055852958241543637030874218089248679636075919408525172696944577292037268425020560315751691203974906584867125589467587794039571056165553893331/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^31 + 226665349188577129779549282673353708079426256863049495029808823700046453664569560034253651167314548399429445454734512311835217578961790923534190766810/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^30 - 9089626899877168334577806099653384106916722303831855749622720626558413106853947203915696464793590866312635892211878467191746923383988317473679288457205/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^29 - 82318675136287869953237576149839531612551568349983932689729496906553394938074711369843058708411109942173211700848346871681913766571260815707729454564399/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^28 + 64756301116045287040852920240165613862169749351200887014041879704372212734501254439057961568906102382478683609591225269238144490504633695022762723592047/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^27 + 2697724129935006280664151575723158296577314141524040080580089089845374247689699971455114849801978024380410158882328463039821568290371206933686760350135971/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^26 + 3001512769573089881144247133789669596514576605609044138692303312691187296048535987117092872148785329447805771391253364001340934528881464249298241669445603/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^25 - 70811882315702240048637187454177096794365661507624761507830711732505428823085280375892272085898493178309578179572860408234820219909031045091900731027757961/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^24 - 38544729229774789695368353703135095740083447271210464614783682715570189264718500228378664689325198251595788555178616467938813228267476630376141091503067435/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^23 + 600367795647272086339976096128850623718351479082851639718654748040955180589423400140416248645870915349978248531536604668322839339815129982123977399279299191/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^22 + 536471984194149733157833359884522626222056829336846667699335003965601045567460632839531655221211341626693287185089065671328940154407952349657135632588343407/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^21 - 1714090141118158727735401834832363342584168674575186296443071125494584913886738405862147088970063688298501138095874303682066620541031242282326904526621027411/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^20 - 1277947320209780678866625495589428061409447183223567581603433430239389664901217296578087371396362548369094692131610310822987239897370546822000388440891698776/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^19 + 13584325900685101509796299232103972329332598948240106409936598990375287523294619186888085384177710089281382192013263551902968371063798768833479784596656494433/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^18 + 281323193337546462826812842615730212569006907918816794764587728160135228325264719868272730522249634897333966095309217803197791666858063091618470842951662369/1050729388967505904705931612736929490812422736881641635498306783493078170748503395775802016651153165826221588594368951204969362896673875377398785552734662*y^17 - 20061026990392360888036543177713967560107699825764702130435288485529461203585709395156752079456998417464298647034139295384503198427336114967307610935063434374/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^16 - 12908006359352036347537074901172358919779743544253602476075571241869200390273822446239130878767678277983235064916990646006504637555153314445354183438389431673/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^15 + 42824985724555148627643453036125505747072310823601826954102132896858283207856066382567967932828414005835175422649712245704412960100277403524735380819012012791/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^14 + 1298207252377162374457091552152240586051118071280186805751649703808076019500244842724895280347735894252459633640205714292912696140232551062731022230659663299/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^13 - 134618701651721245420906225796010234298645263648375184808232090552293859824238148508044865743656316511833683764557063832853317044429899769653065516175252741925/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^12 - 106072863660377969490987576135679829320113397157692512080928660079834469898078821118491491320129180855014650900896038123006483751462197371471162948222607253385/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^11 + 75424423639309153578719680193641845837932678104891684646432242820234976372713111996822856858724525426477767987720099726683394597527406647538925975588137098846/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^10 + 67948516104583125458066197758425303536217710726212631039445423130936539158196112795378595496833499503376708084926936429452900965985749104922754999027819448259/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^9 - 56255990372586960722169886393713162086052063906561648814764644905814440790501834299855092673696796122262329920209010217434621978727250865765595255857079740605/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^8 - 115145586015449138387203604551982924242081641319590351715612200536833237993264057852108103775680630440888102955420013845498191916585224136670761047413266330139/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^7 + 24913962310174894409698537765337500080008602217270438566361259880374198168056174934081360793144760703904594095172446250338596477734342902127785046211878388323/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^6 + 1261103116154609376415265196768938599827132366523478974583911200775714845613508890339488149788353740102433856658191679901067587741927647212530784765221544922/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^5 - 4716149390227345198443245432801872981094945787965276534845725821306383884000831378540931191247143715851490223914467585644687839854758798923812496797238122651/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^4 - 6888770369021455313986033648584853024768664960588230749463923101779291037131513863754940603641298678807725732263435602986940083242162836465229231360494320646/16286305528996341522941939997422407107592552421665445350223755144142711646601802634524931258092874070306434623212718743677025124898445068349681176067387261*y^3 - 273953276146587916949128354483855836629972348763040678357588738088967849831151244331210503807580406376741353427468022608246422211981731184396793982346139107/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y^2 + 867594394451170962549425475989586020231652800777379031800358277895321568628661815572332191323813448109454557272284871267030514225818985992978792453537704951/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522*y + 225649980507242146741061688835604533668354225594930146613639011555509812993290694744768006074546528936230755019647758051624199196304017493351888356128694415/32572611057992683045883879994844814215185104843330890700447510288285423293203605269049862516185748140612869246425437487354050249796890136699362352134774522

186535994389922089751737877271409523656035883591564797805761444547664591455304487844946522248053774744995138547970215141626826853903159289958842444/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^31 + 258027363346072965393417596423184849515102448323348844523541308442588298061730973049940383210841118072832469747374099690062865822048146953899689327/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^30 - 9054109328961022681527052527713323737123208188304985843906434853594775546108141356121755358075204973453403030890995068911734606474877980332956717549/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^29 - 83874152495169752972869562393337372197782593610715213473833675256428261250778462990026606941594021332742542327345882444744151405427508612265574269731/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^28 + 18506976446403987885154297094932654313345795918372846995400450990545028067464778211968318151275039616363625544192548018484018889767789213882324856815/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^27 + 2703281669287225738956147386156262484563622896663778404577667652559097001989818046420610312868904134719941505348643521477084920873203964337099537899265/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^26 + 3452577964801135860437142777862090005109158429388660182032465283923366060452778101475665491685119062570189994489991703602658898913485950461100429573175/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^25 - 34890770457165336665083618420483275072639864726678443194337316814537094978742827552767784404287198344245013644789042726531841676254428191122911593821581/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^24 - 44373159233825771949518977548471384545930009471563554134167392432785206909239771801202540140471864698955302552015502310820532271790853006668330982817902/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^23 + 293619277509329040478348477779134711384326607340109296650800739463249076921128006585494447199482551157469238675232619366985243038025947122920429559627666/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^22 + 317118082109323164532825265488717549467292603468489001818432306345591872795059754549451217151926834645669853846746817884378322691918604499654421167687539/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^21 - 1668444190891639169143019568804523643247764338639426604159131169170370350203097676953734128073346747874276519701737640344181493338539660259996273265078130/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^20 - 1553590511620441629159899826525083033522598569509053265968334197964909743038553320434560769523284887756379043501657681506791012340038851538132969631453364/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^19 + 6575758201629734002874217572026216984773625368232743491059842544481534783752599754700747659926745774968676253713378163050934583298835416684486569700355280/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^18 + 5434847082206053915442248715820446825774281011047469243401116118935153200794049292027100455033535711754557670563636557336747155455893718134758171515716197/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^17 - 19334267780958273222843264871848828124721070586232694349495636803669181850449757613885244137734041407371855931353480263858418465869755958779390970481525126/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^16 - 16024174943081437262772666333798854374926215282583211822987452679011076985565618442462969426844094557565563030275600612671580096277122130906721272081886210/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^15 + 40712742195807479908055554407020119380401239597543983379529046383851499786640092108536229767130681490067549678682986219287882851918916363835285144552014901/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^14 + 1578484737882972302764623789349295957465519587275695569362685792647459467745806877256888963394648840756094020914713099820188383137867508807284745421342894/1111128335187709454454013984869697210840498806323905261819920996465106812717411021764871604463955019261290546352831840189604269612000846779975987752663*y^13 - 62600290486150153326690186429626974868211181508649814569331962880657879162884436194113314459100466180008672871934795956226285501784916357662655595523250668/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^12 - 62761839017057468168411450568782715849571042004052985635222752076131840839930461918825344908973913352610984056253656646718855626394282800153954634884956253/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^11 + 67438119685570985652082186468840725116138916285866385492042597359136566673069307883325287977839195594922258010793064469891457094955595775827263895081047903/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^10 + 78173237244331941359475782587491749929797993650354814713393848600986999499572347324332403737004025608169105550591293967273499433197017284400312121326506773/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^9 - 46722206849449830163787012335706458196564073261031534122721568558161743331960085216969404913099681585549883610208496645258850184970109594985204038835889718/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^8 - 64402373129938500999735134923956023417143512923073434540236246014049165948888858733606959008039144499390305373706767499034415256924170093468602492347431730/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^7 + 17803211733490199383440405197848332290176068016597192100726674927634326052634256347423988846064111227434768891705022775275591701616484772915948167468693117/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^6 + 1366827076479242565813941553798600082225023007317659589611699272978923311145300475667391084649225382942676201457293128108651039937323074951244884618383365/1111128335187709454454013984869697210840498806323905261819920996465106812717411021764871604463955019261290546352831840189604269612000846779975987752663*y^5 - 2007866077372008712348593747328318821552885215398250252350803722611235478122004766441588639225273917386035676084612308407422219624179651878903151283191272/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^4 - 7081573462811037398027617462552328900671482274520594808199992343483279679151426567136509538877383393605756152834678569254608936849685146809731261802789451/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^3 - 286888332481068162929602046318894452759537571829496043013515622227349899267447002220803569093349317558943591234308480278642186342590396083083599313699245/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y^2 + 388569049406913400676531639978113310920006240153718047968712602532045681749726289062395081878905913527647609426303046396592168504918821825428409046699064/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249*y + 34136471161952552894113829614647446027642718728543400625142466396616530444121433888482852024926801975573630865550444283193839911609745575368942879913965/25555951709317317452442321652003035849331472545449821021858182918697456692500453500592046902670965443009682566115132324360898201076019475939447718311249

10403933800470894725683335149277014212960168615032757061741871971701922571478398947745614725541345992420781192167792688764832591550894850232949/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^31 - 161722435996487973356959492924832058064252100796125948560743183622358027786935307792431644158312966866249404208850844187106079499467576386305763/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^30 - 158482484608165277688146246192630607153008921446948457099417571583928854563319450551180013234689837984836268077182608591836116280076568115784680/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^29 + 2931037018589505824438975881638303593992807526936001609682678238201411083430272515462987192403037656567714563665840054210388235148940829596943443/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^28 + 136546974666724007314678085865260326414424353735253943784332016361621696857751211495443619657629098117171858217450904774065501168107705701795864329/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^27 - 6221108142107706866238282154803414719933887944285654629544085110297504994344673211936819654091238434633566055130131832473932825624511684629058359/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^26 - 1123476012507268003808886908652941096057738471456687878318543760026178381748582554789384974248453769388511691061683660621709837791495755759206906930/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^25 - 3596713102318144874204887732830921974696557476679854868304683513870988052800375362922725785156142915834036028275588483478538816527068009551171515739/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^24 + 15175258856075360808862714636856501208519365502831663415318346021146265832448878541471881327049101614286124596037452980842481931076643505343780750935/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^23 + 33989337206651444304024564351748914512889545374486975733627666814162748018646357911753280998808160727987268948652407257665890093437773315446023916731/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^22 - 508801038408999234767735917885266986090287787871477843511196670029949391671799484353158405170529327189125698557179415291609439755828681885061731977331/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^21 - 37263542780281863153430315016224936461516658689524904492562782981741137845957799379262618189993143763513720686528780800977631179677143035334440548214/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^20 + 1401815898747939503094570942523100027917940222498834175576532239893999828549222179077047187771952838046839967642166067745430605345551761001101137243003/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^19 + 390321381139809080515129444774098112578685524207921986857474920874195917502363586502645505343178600285393800613049361177422491273624980929990063985869/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^18 - 10639428860206590702630569657196824611734173045757168361908132343533266787397105613242535964853240781324789488621230369051652796507399865838136329743291/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^17 - 302968889778725350186058071626334598414541427792593519628024222239230165782478319950794421209795487182056029116738452637260544903988166388975359140193/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^16 + 7516806598128012743019254918402439242199162810090472278836093559275629217811599740446295475419272380753039925015548015489724889517265319493699498834141/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^15 + 1392263810161408391140994041570630126663408210212582230068403586927217450132363576921152670611857913904288485346376546894907171836650393444917955768527/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^14 - 1359267202388704354884241073498326817861543666398974625530764364698829542716254654268961828946831259454306445774602012943869700918463456959198247366147/1442087391547968143353684600739386386554832973814283272965504213452442326693589904951163665754646358548073389166556573899551290865672740791662540886*y^13 - 10632106663207145633503388053807476130842438830594943802512496987353330816400461530652119944507184345643506240059431478117117070242064301132708309767803/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^12 + 97293078725270620824897596189229198633169066896056724770267046795028482741874061194234951619097560075497131401759296321577400204371558754685616636601073/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^11 + 13198524852391293729074452632642721391887691117415055778926204918651096776579241912790012822199998032853693588041010433526818243507781620397165920430429/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^10 - 27464889721215827899026371332654322873311096257856066211440289217747047910415918126201053881700528145274734948990807968276512144797734548682495361425653/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^9 - 10184553436217371442715226459541886579601855028195896451576276885603692043489890048230666323639186760085663828981370783284220127075488333662169132724908/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^8 + 84230605447674277919847068337077101633624960554352664864300942843288794397213901038769590956621828812369795710743807875911264945039000302399765819709311/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^7 + 18740690343941061529820990136679441841840472494437290963867157825774970332684575079432189956716774294675598066325037635885729516918680778175519472919577/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^6 - 429765687765736110702808171021772371201135439388459164280750299165565652107096354109403810919610612182240995955445999597739788207364740177132682060560/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^5 - 9591696609481138059486109187909746829136936926633450882931078063799554936186049622822368141345854722994682636193513996360006347627502902518079948519279/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^4 + 2270557208952721795045160952656514217838634642241571878104720513416488029103877773958158918242049670361026566523778529120551124426038022365931574067616/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^3 + 4270867092869685594063475926137035492846917901659357204121741194013047460729403726732195161521702521762083595257411786421498858604082616443814095623929/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y^2 - 644919381316665909408617946363752922451997486668366664682540834122913524647062605677076097842334976666224544501963095237539425008756993327996485962507/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756*y - 175590851884120970692028418167123080634412234652066645389330605416258695326050791500725484430861359270316840187238777589782244611744069589085158994495/66336020011206534594269491634011773781522316795457030556413193818812347027905135627753528624713732493211375901661602399379359379820946076416476880756

-385769614281829791621877531788250543111520339990321401720459765811581134331071038361084943752888285674142861907941515919174468844289588329765045/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^31 - 477735803901830367694930220057504972551832492781134899238827457314921387763545235215132582915328617175793844806216433750348427488474744593159850/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^30 + 18795469466173516844854648346534320471671734033360630066149356074200039189348254505319549589459626087987165055852479328382501547944911105057821318/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^29 + 170715047578923663620273803140472624928034840519741590537937688423038410549681039836733715523725747554645963846684989967478973081146954963844263421/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^28 - 63078040743676645131752455721234156774647183462607102345239943843320692465161754906745133123133221656318694843040986096649258747472348882374535849/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^27 - 5581138339744597336894259729309363210736593769314239853670090766942623615827005639166669503874848908887187530218145650928248408913691136982710741681/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^26 - 6323453792535767723168206791125593659091139809410744561242595250853674780752056955483686069396650476570821203117742535242261281791538666211888183496/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^25 + 73080188373993670199732459401527974840883322919838768873793994171988890640361203456647433145783399007755106111933744821699552026953372387066363829108/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^24 + 80916226787782233229108095264924713620187871238288942334951032060040272507172067641364639942412649251914263724451860130474859852904925183549496404998/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^23 - 619135196057987970215088616319007771081505497204463468078348106251655365462365619947125661906469638813171510654247070258540386515418391534569938591692/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^22 - 562444699175047976217058124842877422807473999231365920102147340088326406604879546032901600060531787736063211073269462166046167866716302720228291999837/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^21 + 3532414246961972146517374410722110075966558670875003870685780845235580255280029020046170913486137681386867833400581321119696490285462259464640554420916/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^20 + 2670691790051504628074828806677834194261805524218394480244249991761455898854983637969144150796853360782289968259707454245076026759722798549802616225440/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^19 - 13976885400567101060139448475808537699897269268502594519023072142252283286038406926143688517856640537948635462456119265535301441908414347802980722063088/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^18 - 9054753057481950838753954479541289107303736747445387693856776716027807993018762704612390999807840709510579294939555102228227185393071646296371224749109/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^17 + 41208059236393416110289771568260136748488967599722603680863600358203727470057729799268735392758199418268198189634168778454442921353512447774867037810053/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^16 + 26603562357291947826646530129015244915601116885170640711863613679961783512260931677410633356528753194223048430849533805669540564466239352147240311275304/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^15 - 87655694044586113311341449958514244575018881074144164971530787437406758655846856082813976997737695225398839894279791347786615972088259041373014315229940/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^14 - 2648391289003157610783023596203920882829231700873029567263940672895206511954205022302962077351420386133170752850130932081755021386909829902428408961783/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^13 + 137250701355915820920726754744055650271381456591665778490844341765247993789077006074422772379961887063234589146280826329667656914407478294302957805937394/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^12 + 107043941331587749477899795837301295299431164237373551704107981487977538481684605735648852293236907178593350831956832405026552341933736331550267977624201/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^11 - 153130429009385973988846718697030869287205959978075889326773756953550595803615990488024962533510477768847815891694505788353907056926003837422152517822831/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^10 - 135201604950251572148646118713570710975105957649410676632150681453420856691894409722013936720815994453662935608059991069604218215237286607844023514791500/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^9 + 113911716325043097904313952754752251986247378163359096916428320096890804236586511158743525010684155210730178517198703086027309266353204751335473621967548/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^8 + 111970526938180919198738133715149225391502652118487220040807689448372417445611503474848355727540068084490046778357237544622604572451657808633618118907630/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^7 - 51014902543412409472626900201015448084457325500556260906988204162801694075141529516564852764497129297224568502784181464107410437402963058369260057983280/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^6 - 2351505537621799974700800286462133216820299996160419161325825841756632701698679883402814641078454843771833326955998506239508517292722455609130298903612/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^5 + 10760945690687179272801371628986768576621570998904610011577378137265153596902612065080809982944189232114085442149814354325506589970437449213577794685701/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^4 + 11515113801655980077484572493898962272369119049971482992249842595528128135956009201575078420540218708748171217693276843221421464456004436520624559269067/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^3 - 627860824267086757539045143378537568911065727659229762827911507243353734662372312893516531811042793314430884820241888231066187698551451221795481698439/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^2 - 414734359237625167898272209973512600547250367633579550017799677464185824382596374631028312488070421260659190704088584997509815670677788113786679128567/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y - 28681081097839670757641859649573112123060608554546656408219111255613223270974850387442831376776048288323780971864661784811081524756669955882554441205/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189

-23224280441551030484188146919844652846444419897023122803035309821537509506035225272316810801747196550919289324377518980636968349059026694305934995984/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^31 - 20105829559370385166315620494051765998367004822783566822416360010954326018851896486640254832601139360373030174296139184362989697018914239031773101201/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^30 + 1140306164493308669785939648174203106332828159785016321655633766390543630734539958621263858630177123702866574436200030069558382964399198396668896503786/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^29 + 9855080087736909746867165164223610351913159264117740130870311011495379520255480648425903852258749900167226295080309483383380391268691486067769946421814/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^28 - 7531382577792021238095963173185998854708858402194351730836402751663880422113279351024689310898116874042945068174071198495718658139966900566435015394677/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^27 - 333807406790375334395817558676991045098811128522517591656496856873595879934380315982681356459414675969169715881559198922785405742210835041747126603974039/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^26 - 256510193099060517387192190513704928969314984771556342643639850694941639195174185196656545274697329692349563167599355646091149277891273423967954711012374/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^25 + 4513975837152854807846262567863225666690612430360606982588028338509387890379045602350939442233591065143153998718108212574258313392541188278988881886938995/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^24 + 3224829538736989237265252689516521899584936398332273400404612786484766354800172282180408804899946393612840414152979412140581949010464250301230590210838833/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^23 - 38703808970944351897175339798808713143813380415951138401604681628352811931920732525787769368951275199178278471558992620537219919669351307741844988062359644/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^22 - 19909803708673136940363012835962432990009403415181444788060460321860224104768192256445330805103828823972024737707604808981703246844052119708891195196955367/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^21 + 221954227729400085488021099858776863006945575592095959303001894312477553308712864501405965902781786518427772606571316657641252781908107850695032240439333167/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^20 + 81751108488464974502225423253483448800735201465161192265698048959621521347599437920235499921493287259013224556629523643668711346000826580334507009169274465/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^19 - 882506773511238927056423685843611160596050636627110643204776576885951111987375777355134637521718601915861890784388793679307942566709272134379712159466888180/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^18 - 7610853873551560538960647179732384481009942073854565890226613261275727597195756465777545235617983918105811105269656038577526699197702583176314494810114874/22841943238424041406650687233411510669835276888731339902137103988979960233663117299473956883720720996222208447703672852281942671666823377769538816363797*y^17 + 2610842603166465397617175007463534327711749488522350610048816363895734065832219207772828573974670237064383324517260753786347693778542401992530194457737297603/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^16 + 703104119449810293208276886012249771073055631156453764206287611953055917175395930417492812773247003478204082069410242196996961952384749702642603307607089639/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^15 - 5665600596945973316015815119663651988462957767288493385229262257866007451463629668062617362423954349290496781975535735876286281434215419662862043459274738750/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^14 - 1777079100187173784015768810071729628668705775834462260132444702647632470544899027375933215340199922535318387105528231103120523362030622831130690232331275973/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^13 + 9191752690327404693452552956060872082011723696740643749609549581306365298026114983573336558195785228132629910451661072420003701425072435220143108150178525763/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^12 + 3511033464845370015541550092803851814032485614492321878552464204259242575403385031367714887629574925749616364503215596973861366530656978235931530308856779535/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^11 - 10925283232223594641627560760580600965533436824453394756655550760759703136216669527103254532342599441874419356306091942392094533713625779826517377891849467425/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^10 - 4891889545697539339413612806260258581648956184650748915001800572350140146853898335863038778564783364174840621299274325665657765171680364469200563028034405914/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^9 + 9072452460130507566120966696873047970271768149465750226237056058325335159307589483119035097789829550451898606063995705745952153410203651355261142925126651585/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^8 + 4361032833487469948378751408656840034950816019211306772777546811623108895569486444182068159688321935678415729797849927731504413915118756173187948837294234296/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^7 - 4906765407745038236548683375756361033462813678692847048256214418746759594014115335043612296216310100531650549455358779493900225558228089368855097543211712354/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^6 - 2244378657554989115040311527617065369487175006313688120489176765816731716405953384800705250803686860296787592715748701421377223945305054846226172781189798530/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^5 + 1506307231267445207710617565694084257267554051561462106164243954236547323935899670432017813565501416976113385909267978215600360379410477381858266970544197404/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^4 + 527361020889115614966743383809842918830708986521446808783878943713864130797641125185924388445998873705420977212664069505225422459389616454869100497849960246/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^3 - 200665784487920474791792777725041069210531922252571698404830723458334139706896635123827722546393041088225025962485058854955103732305833558505739182866970785/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y^2 - 31690661822326328700551197010604942674752114191589358529531074174947244244104232037734579836585981530968656610158492931055042332582937980790748965032266312/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707*y - 689216598102166735151243628891331984557997936283019683910141230317388286133183703563463597150926813358855562845421086888553735295693452317144464143441276/708100240391145283606171304235756830764893583550671536966250223658378767243556636283692663395342350882888461878813858420740222821671524710855703307277707

455681642275762240789599299416026739647912357592703576018214828009389267862509721561844118617919557532557302301234812279339792716666127791387071/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^31 + 276140135278402534517352512950892884239720097996486799164544910616139552900167118829576309782846005197589830227272260751605827392231047498749561/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^30 - 22520810353071812343404571399883799063317376839931014271254453662503801048285896766966933612840502381318471026398646004581203530900252461198093641/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^29 - 187584327498973302697422484477899125546768083043106655477560048993167777684677089557058795788652663997889684824383932738064139940923698471208628887/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^28 + 200189147860063735453472637358037244830656965998132643234655525531635480629880784168720959094549447422656751282187413875266279973976718286339767076/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^27 + 6529652670750836976239780240696983407349393590037713508862790747820450000139178233783283771896544687188720276267199414198464724968672048644227886519/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^26 + 3313670524297878982094893587605680741754090994207725501059042978867150950866730750095035708151865117844648393483583445242354074223294883884070178545/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^25 - 90511411881194148789989268376407337373699734841451183590802892854386436623063447275707313063963197496344747697287666026275355086013920908263110795909/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^24 - 40626186398524018176844289222625553475802674174728422096993211653835668041321784912344434295522253211132167883426512785504089618810836981457411591695/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^23 + 784574637915139387089465769275670146805128601702358008857208320811518923038184382603570099196880804488781499112557916691311100789051472889453967178474/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^22 + 197538972276094608656110969707206848263173137756972851927300524757716956757460749877230362886768859609766518474209307121617093168492424273920830904711/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^21 - 4531714205805483465000741859446632136687829871770661240211006866261057491799301236417127890066923106821100974930206219316510807060959285935471029511822/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^20 - 491714553956887899476632639612740785245872334775858561254138908212649699553693675543424362756510861902953591687605237358846619758740342951924692048646/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^19 + 18162406954779654732214744558861124676702109065214093371703479768363532559464750342063126466579187174104060883046835823901416896881156050687663309671156/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^18 + 167127672509547560257898780783732468676443734832976222106573030810860618693735430917812663559913635283732086268427591591438237687828859018866470751022/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^17 - 54118799099085831952307207468644070230680646216363952020479023688709660262890568085434461241582966246312531845467825312205524239646516097769591237453630/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^16 - 424163604565972371677238865294786064509080478306020106362929906259597137470003920345788631951438632298311490913751865162068691527298898290404801660731/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^15 + 119639986214780635436917326239208938472209248318304581821584143974182983803649927433626335040228081244310602544619783295628050717582801569371477253839121/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^14 + 250281957457372967380253327750350112407944854974336336849697820852319402514978290709212272088686081670840788307303358378969131670730500969647433483361/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^13 - 199784271143000762654444118928222483447077464195207417390529940947023995260198288758317372861790893748044329510605154699839513151223757869411891264060052/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^12 - 21883209072824733999991778240932349491491573245604369444437603775965751822876901248397787418605848651973325864568596457045317660271121115699153444646011/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^11 + 248766700291174729547576705204228084942752348212551858579761661692410686641505428645765995671559204601836026088317962868550230369221324586565974381472715/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^10 + 41017894916063185607395681212134236315616392726108272391773955980302823397750797931672116511913452555900625636740963710555340512828084022053661456547500/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^9 - 222200720060781566824784282650699065678218786508175498910663763719195687352312261750138915343886285929146608728614914672685118493345551921584185114203455/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^8 - 41097756506943582178191454863236829484679672277595648318049844530125623317738260632165113565372927990975720924299347739943507238398874306354087787357216/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^7 + 134105421708467523311807695148571506002551048566935486125172466829790928149534235943999834231045243932957611630790246761182842035426797745293899520969837/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^6 + 893778795592508842185173363422435997013391108322290690644202956499290969569324361748066008443929963805376126093603916829482143078777556636784114969557/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^5 - 48930935277927076268542557756759863113705516454649932015653184539898883738790112173177110529507677293258692435087520041529236857393565676237166653231690/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^4 - 3039251649797492059114450123082705699742922856571672868327431900290649326736777584026220236878877775303445728897886854841608838995819860153575091999744/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^3 + 8613495978375095080989583072790730429420334016178292956189474337721058518204579705010296005762416192340163634620241667860987245551887112844588191636419/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^2 - 530803114354361113424670104962369396637443053594836265210305626570145633456051507321379168523432568616066821728309424949296961588505694914425372621254/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y - 219249828539155968323503851004221481242539705149737180274664642352144420304647079337279939658391737449004032634498188111016396295213080710108313457937/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189


# A Gluing Matrix
{{-3,6,0,8,4,2,2,-1},{6,-12,0,-16,-8,-4,-4,2},{0,0,1,1,0,0,0,0},{8,-16,1,-18,-10,-6,-4,2},{4,-8,0,-10,-5,-2,-2,1},{2,-4,0,-6,-2,0,-2,1},{2,-4,0,-4,-2,-2,0,0},{-2,4,0,4,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
{5, -8, 1, -10, -5, -2, -2, 4}

# f Combinatorial flattening
{-18, 0, 12, -11, 9, -5, 6, 4}

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

# 1 Loop Invariant
-12936791639851351783618832039738119904337177496758892778628013880223817710012297382180020346893783290443078563434748306625672896308737883615162881/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^31 - 14575148406964427372237040802950267041234680312570223897592240391985467070994664795127075452850703412239475816677378821571689343185736114979966802/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^30 + 307888071095850054995772252544244640804536553224722346937299268423015695998858037382413004454618522414181836043601417079998557326401089062915391330/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^29 + 3182663534489804506813683284133802506273385193731044204845088247084960915385527613111013968080094557421410940159660887145867315155619898162738975986/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^28 + 3610644204779929734981145383203775141679431038993210948717826235064277806518518378501696798944990568281621125666465277295530451495430218260140744797/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^27 - 95002845992278122834932485366553099191161248924508086617064018620074647988840650275215018399944879253909973118057768088831223534363870726274185873367/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^26 - 200588779235949043487100251838906826524042256052137033297490182204906447034621673360167238839519326650699460334644342139570514207144561749425965648643/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^25 + 2259625394511382289081425318926002722726987688785421057635820498706112007218068172655414580582963996885458830815174200380017909469789641338843928416223/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^24 + 2604774522854621403033771947749958506058556213265514350348797680796449869763427916398065569426608669123885178049247665432061735577158151963409317623530/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^23 - 18334949606684151047954427118871139260550277241376249902281522428089217290003641736124661018022950029082617648305933054755427198438172498558216095812991/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^22 - 40027552155623782367050123506315313884979517373917471861777604406793791030130862796966080573490899174683068984944131708069943680915525785759108592508939/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^21 + 51021861739365744021913692559038732035355324230439631787955074505271647688791495830105798231285581031007364525688677970455062314422419760196136249471359/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^20 + 105040683856064373530811609517558920306456437177142019144368333653790788163866015961530780907030721827729487212235424916947610706701565445922381426400591/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^19 - 392800644928977965372725981789141848802871934909436736130472735098590260419896833659772964917408192287979861032791410272263432380036535543927966267585411/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^18 - 779422661584432548822495778409969903074687948847016584280547914310055640777072825425543919205705540963603429903236796122526048073929753767894257469524393/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^17 + 565130206922683455897587026743419609623962713864961879570274132201714485543695727930800411520475993966988062366435726894193096261095907754402531416070245/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^16 + 1146081152480531957493618195413768206501597628377301539369205450875136369137582881779258716119520809812790707737388126799262228049382008317382885077246656/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^15 - 1096447816868310115849428971407029603177263662120876119004893483063789546990761216593812597730645492596402809710001654655327639580101271966408627986586849/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^14 - 109350394887051095925696424312255596479688334951149888524455463630365692170691180780396162432897187099089457665134538763758565595104904696077190154265416/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^13 + 2858393047543928350470348694432598186458904737847291990717478344295024346447572324864015304218687888956912745860377308200006120041712873010282904449573931/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^12 + 8306251022580420925213688486163993225648283877518444316576824443954717827424229923400749369146880192647922123152424074486472233958300542082535630468621897/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^11 - 1000378721072976270166079245441711939455942716246412895989934781344110133360587387077178882986498344144783904812947895718446852184868026932443356711660425/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^10 - 4942164789434534670674577146255900517277353706151454629792027448179868981838660683645417600518138284566844921080222232452318008660102449111897386151352220/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^9 - 106626489014009198897104339824170300738806955488247972697385390745078414263537036516111105321921982974394596973624586316072523774353816020959333624891477/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^8 + 7865594163804849402641194687317266103130425683477403585458665069924955751696301262783265426414356862216209069007765954006591810410792191026380400868700107/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^7 + 838528159443361127237451483584062795806016344791501945004367735420480559345446220065626407531021651008208666152095157576188666333519245363235509281062172/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^6 - 82161555716327297244685906818463094213694980519714510617491185021067526288421105427635600307267364164607984461197719701201428086177300210753322840713828/721043695773984071676842300369693193277416486907141636482752106726221163346794952475581832877323179274036694583278286949775645432836370395831270443*y^5 - 647229870279535039760020724438041500854894515931507476980436511544717914848605741087417170196326806432748453601176176522369336838281713913242164280644133/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^4 + 439792590874061049291534788026216002536013062187049365423459470672571186359711238309334179972940936416015034932747667411222037534927328185233704655782458/16584005002801633648567372908502943445380579198864257639103298454703086756976283906938382156178433123302843975415400599844839844955236519104119220189*y^3 + 334426538409166105146440387602647629373875327649027564605031625900089450465307181048216999328190641697310852949794486054271061377733333905527043705767811/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y^2 - 67053022829334588760185576892854916819742070709680093966643598041915557546195434310717097849351943427015601943445180642010747038326001134923049574914331/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378*y - 12679004237090880093403917741369592193419261960046033729083256046976710838632033750803053216701649235066299019970471020048689750370993415941719769627161/33168010005603267297134745817005886890761158397728515278206596909406173513952567813876764312356866246605687950830801199689679689910473038208238440378

# 2 Loop Invariant
-743024543713707572410150147930368294604846092518848713972451022762772088499819339357604524934944269491285952618158781730436707468284333114215132149677933735415747511540283210818296508888538734388519358540828870323718761153446770581901402395657753170917969/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^31 - 1731874382266459668739709602207879298656371358541132875473360358435445330735572061521182237968757688506072616019115216043376004749177724683766891365763490666467247954089830740609407391210894336313523422005791265894717940636294962826552258657738933091872867/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^30 + 4444095168087298351809898884923380190853749148775619566520969650906301724544599164669054530725097102555167698477271447395436855039098556488869060783535284768314215202552488349756546252047105593967490888027219334560500022735457996963975302993483244113647551/38211040902339646982549388361187838892254259299432945688449085284235612061119452444327894867533262617755428556526497276544857042146870442046664706599803631555642288904146807627943200354336502992694037033991904952357875639579351747637846808562131781964240062206*y^29 + 122817629222314625252710439181897362426165711988616572848330986502413960096114976310241457337168248583515865382363961744626071313448086896494169588951037371124540697025964569770414068496982347498999071099822359028697945679916485708881054176131695580573638035/101896109072905725286798368963167570379344691465154521835864227424628298829651873184874386313422033647347809484070659404119618779058321178791105884266143017481712770411058153674515200944897341313850765423978413206287668372211604660367591489499018085237973499216*y^28 + 110162759746113028033478621513899061534499295543875123002318924773250297904646834351837752591319811579893404994109672317588704750276034168920532922262979755171863578899266412448416815023737983832590404829725315713040264681187300579366053024132638977103541069/152844163609358587930197553444751355569017037197731782753796341136942448244477809777311579470133050471021714226105989106179428168587481768186658826399214526222569155616587230511772801417346011970776148135967619809431502558317406990551387234248527127856960248824*y^27 - 11023191931310968319758398308065338717395790599395237736338513098718375742738314657201255813448685521524716675021556414937371590561392586368985571120211804317496163102698078733996104507264780847667403061728569324384479674600929758647358956508493813686697079053/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^26 - 7910093841099712837685936635486552512904299853533742171464075480564964131530490122365519915635887354490749319930862226301783476472915137057518007185538333350992272615779322786079579799411962687440735026332839400281006352626126481037439513870312251798522277137/101896109072905725286798368963167570379344691465154521835864227424628298829651873184874386313422033647347809484070659404119618779058321178791105884266143017481712770411058153674515200944897341313850765423978413206287668372211604660367591489499018085237973499216*y^25 + 132397745633387822586912877566737293119101278846965675468158074481667897566218098740465219243886915853002113705129183354031386666307982851532148396407740794359695100072556946436985874784277596215596245526252411692651909921480642124946170352055281675186068808023/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^24 + 310683804373982006881882316875218189397640749203270347768231905538050281475162479185856864977586849603365952419825174953943865286469631241426648990218283199166657787678957474010367253120693619953474146960830286162101906718093798112716117661350305988813566790425/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^23 - 181657963244380000234634402658525288843724291114891252939450383064817228627754432449325028599245878469543790646309494954136654978970677908836231430382790318056304226339415939101060769473887158071325116936019267086292658786112679232464331741161494320714825746359/50948054536452862643399184481583785189672345732577260917932113712314149414825936592437193156711016823673904742035329702059809389529160589395552942133071508740856385205529076837257600472448670656925382711989206603143834186105802330183795744749509042618986749608*y^22 - 598777385563544902887955513304577577195233819751893298135085084321507118535565840500649557453775709619354017343697572711367397605582556099734585335662185805125111014434806717064557462832322071001532744575371654717822694585441763345028937448294037578710475145719/76422081804679293965098776722375677784508518598865891376898170568471224122238904888655789735066525235510857113052994553089714084293740884093329413199607263111284577808293615255886400708673005985388074067983809904715751279158703495275693617124263563928480124412*y^21 + 515750144302168964487980895474470874955989605096379897723183620621607659100383363972743744018618215438678242702726580016948662788894361265678073804536468802013858606000359491686427473467612472287421056320533042783346146209139931560455088631237007888799787344453/25474027268226431321699592240791892594836172866288630458966056856157074707412968296218596578355508411836952371017664851029904694764580294697776471066535754370428192602764538418628800236224335328462691355994603301571917093052901165091897872374754521309493374804*y^20 + 1045628869923676936741235096046370388815035874264843891589360450101093821913007339381563406094662847585344885436801549061750352737089322189138550200673811126031557132988235104418268912120662029113082355969711909712094372108828653197536502744335766581465196997417/25474027268226431321699592240791892594836172866288630458966056856157074707412968296218596578355508411836952371017664851029904694764580294697776471066535754370428192602764538418628800236224335328462691355994603301571917093052901165091897872374754521309493374804*y^19 - 8145004331419723805278209853478786995615365077316902333045979569189859752358592885159978573113458565686860840137735260432601616596899397895736904267037846411057398649193858103859577523253457936504692276556284047389549943983470908964743889927071404946535330722625/101896109072905725286798368963167570379344691465154521835864227424628298829651873184874386313422033647347809484070659404119618779058321178791105884266143017481712770411058153674515200944897341313850765423978413206287668372211604660367591489499018085237973499216*y^18 - 15443569416397676427036191768782229379337823233625164316891456265048388983086866211249845234154342184658814575597614059424796158898388269116475805388710085830794272520648914037803160030381040233533915658364539284865684228438026688448616262734688633252992038097321/101896109072905725286798368963167570379344691465154521835864227424628298829651873184874386313422033647347809484070659404119618779058321178791105884266143017481712770411058153674515200944897341313850765423978413206287668372211604660367591489499018085237973499216*y^17 + 18044630028304128805436237736555688356189986756254560317497421664308600611155873385636026905605135534160478126597888087087884666104898477156774628384577959623594005038944309209601983764097455674181324074225962571943800333750795253660169467186251797226463091589141/76422081804679293965098776722375677784508518598865891376898170568471224122238904888655789735066525235510857113052994553089714084293740884093329413199607263111284577808293615255886400708673005985388074067983809904715751279158703495275693617124263563928480124412*y^16 + 135194652708792479359482755666122112684992135763468621957848558326118940297263801314367111145135815819522575731332992879808765744081113458328942176913994776455467527930635394021023881255990382310686402728216528168164487377607187057812854354006118802335561423698137/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^15 - 73114030499225521253660607393348762041670471169352245222177803734710500542832497776295226967665905725459707795275144550017772706793922622329570968645526812370091801624164517315108317125849819196585871208742547217650116757061822650244228367612337995964870180470073/152844163609358587930197553444751355569017037197731782753796341136942448244477809777311579470133050471021714226105989106179428168587481768186658826399214526222569155616587230511772801417346011970776148135967619809431502558317406990551387234248527127856960248824*y^14 - 267744747474190450945351434247459480492612378579804383891421127754522119305219105341288283880337514719169742859846488350869048288896335681807810387338760831159847196508909364537020441205688833056797234407020160641331712757283092964956549699021419646521456947834/276891600741591644801082524356433615161262748546615548467022357132142116384923568437158658460385960998227743163235487511194616247441090159758439902897127764895958615247440634985095654741568862265898819086897861973607794489705447446651063830160375231624927987*y^13 + 205649236255360756530979993989546257116343435423099763995277578724845643763475975086144181226107319002136962405344168040868168591393676577098686942912258619395924282381976951237389118302838623410808649068392625273432388543335663121253033937748398105103486302235439/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^12 + 122037217319538707526972370045496695925386549056207632780219621271288234530576978027008205038282208847594339014912019858551694432974548443596443910443909850302990952291975137616786859154595518010759573571515030180831753623999670489535581900592479944563790496190761/76422081804679293965098776722375677784508518598865891376898170568471224122238904888655789735066525235510857113052994553089714084293740884093329413199607263111284577808293615255886400708673005985388074067983809904715751279158703495275693617124263563928480124412*y^11 - 178403356215670850315457911251540267151989906299455071928111137552042546306434146062046847673402999955149521751752262202727407297276080196139742046009194774075738534744408147194267435720364310857201183646995838732229340093851202697003755786624823727105270024537283/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^10 - 291863475389880484324154774143978687162713359838569249686582058653975914269154205727258096103929528454180048882177516345276261872516851735791167230088537964581866032041478944924273006744034542003969989153412495753725883619187535587785960295355612154133724469155227/152844163609358587930197553444751355569017037197731782753796341136942448244477809777311579470133050471021714226105989106179428168587481768186658826399214526222569155616587230511772801417346011970776148135967619809431502558317406990551387234248527127856960248824*y^9 + 59160338079273112405274310115604005886318085173070772025521186207907866717258355490780166158308877477574397145908588449303372445314258279891245340541695438694790242841117733802941825025056473804399538601051507410902004568597520447154462974762890352096985030382095/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^8 + 117292028666575918124623531388176236631675354477541802295897443861971985126030310730319835077701473441026769911455544069846488353634790769872262312421208567731627305027785570979776950035385928181444739865286583292911003027308148267392512803605640330067202400079535/76422081804679293965098776722375677784508518598865891376898170568471224122238904888655789735066525235510857113052994553089714084293740884093329413199607263111284577808293615255886400708673005985388074067983809904715751279158703495275693617124263563928480124412*y^7 + 20258162381042281704946119414676659271496442134464351230696294707746689725389732765067640113574485081975742206373335163947507901940689403305519130497396683816832060287822152809592035136451384479676454249133131820825804759213929986236503805871970290204784853008971/152844163609358587930197553444751355569017037197731782753796341136942448244477809777311579470133050471021714226105989106179428168587481768186658826399214526222569155616587230511772801417346011970776148135967619809431502558317406990551387234248527127856960248824*y^6 - 3315157484564823155660408358737919769656424354064981994338953367359225369078299864295840078332112914515224921475581314642058279098243938439896062955067613982632476802244042058981231577191857532573775494465905263495356774457090562374728405729612400053619855400865/4430265611865466316817320389702937842580203976745848775472357714114273862158777094994538535366175375971643890611767800179113859959057442556135038446354044238335337843959050159761530475865101796254381105390365791577724711835287159146417021282566003705998847792*y^5 - 23652709767681180219698810833418873880420307730216866012199795572945107358771561785652704778231336519249258456435864588688342686727169665296458781726046584894427010655453115472605113004823004844974988942424070062743974550193433914845386944418345737459845926943321/152844163609358587930197553444751355569017037197731782753796341136942448244477809777311579470133050471021714226105989106179428168587481768186658826399214526222569155616587230511772801417346011970776148135967619809431502558317406990551387234248527127856960248824*y^4 + 13524671900284433738374152539507318225161032328131293805274183580379018238406260980336020836326537512354110610369888928997825189066982378908117983773930675854839249577931191943697954396311448694319969086151507423688974231190661935402049681059538413021091012020953/76422081804679293965098776722375677784508518598865891376898170568471224122238904888655789735066525235510857113052994553089714084293740884093329413199607263111284577808293615255886400708673005985388074067983809904715751279158703495275693617124263563928480124412*y^3 + 13045264049848574891486550134345445358189572066874462939191222391061702873945150714931789120842420898878749604901487691390525020579785997364701726829081943657122202906489172966870977535679047561487481898625398026436732325686757924727559978017857059661459516009813/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y^2 - 3884747193770592910463361203776006457826004515126346552858118747500751883088212602215061146422776105529437868200681553340573666413177975841640837447042580626889068056941049977973292459550165205960016934542840398022592499169133741585487061210071551753165881590439/305688327218717175860395106889502711138034074395463565507592682273884896488955619554623158940266100942043428452211978212358856337174963536373317652798429052445138311233174461023545602834692023941552296271935239618863005116634813981102774468497054255713920497648*y + 163935061719498927062991801224240414672309043809991075210749055349828548002236759064275043896917761695503182469921139331192857746313311628905979207614265404325646357989399860194030079234979313652972307648518223300133385731028351273725888329302381036806137812871/25474027268226431321699592240791892594836172866288630458966056856157074707412968296218596578355508411836952371017664851029904694764580294697776471066535754370428192602764538418628800236224335328462691355994603301571917093052901165091897872374754521309493374804

# 3 Loop Invariant
-133330876426712480186186401142985017349257146088897482437900462092798531865722812904142688243657951114796468486317073207196882340928206602151192737283756771098135333586894613108394805188411841245715094474776748794075813950235685550542209216684957594147464781626634302370893455111192910860214504018271083388345/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y^31 - 2078459823943901357128730982662188167103921586397918159961709809234619609714536212788462763732762024907402553014747709776532181332512703511652701126504410408353346459894039869700134012965216210743570833777742914393249038913504093525799773702262301301740051263891386480866325917796858024150199686910529465160803/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^30 + 15598638623825083545139817909926469522336783737027525492308363973575285337067269628405214015274731215339982027087622116832093900091835612617269851408372473482354683442881541020552895653558593632607225081134159735099048080213293576542399121204585793517923065452936145340919975047466782007896248353397238375763/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^29 + 31712841254488905798146056613336789210071395527606321226791220688974214570460495365873257952075301500223913201553922680307171513911264945224273640553829971786718437088043781327592917359504968655436844048381485575852336587381661406530144486522958988605769094477603173195080636625805600520664161819829909892274883/998393405967128589999100965641850344879388470091835089508662913772514874928488267036445015143636483417337963873845121415027284267077866631956361135230420603350078515578548292983325401556721201393194501839174265534479621565038050341983528240084392462771737901512006932329546236688838649482410345577794877712583157176*y^28 + 909429262359125887659449349452842305540779184960350131420098321612079974799911002192248972250840240292560153835053640122039254525407706435338672586166320400454902882328718286120278866370704622843230568729991148497439963951502186814829290068535782815597633613190454289476108259141723439823158028521356269792537453/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^27 - 1005308314682582967394131121321434056413984869666469085314194732244543262539973204371655112721495757241918564827736169211943050540584929470421415641501305650445558189996565466187889629304473799716059408757386612876841911979421871650758718072640431411403629964084435835975054658581760943338410859160822439639726005/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^26 - 60988425480780517769018159541207809471012367373289208758265068513375612804282025400423951927138500160550562710627094616889994918398187285318350517847394588212528685223628733731053808451156161308961459534968919427536163585958882673752205024158197538148428227677342304289922480931282039877407714697570764910955822749/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y^25 - 15214124856045662995066391846425357682407662918949442399478260031486161208355762156162076940985647070094443822692990715186518578635959787661629741797455893116823621534817935249605479309791582159245227546944960222380495889853318599384639712634009704917079196794280981013505453370042256383897307327798165087700512315/1996786811934257179998201931283700689758776940183670179017325827545029749856976534072890030287272966834675927747690242830054568534155733263912722270460841206700157031157096585966650803113442402786389003678348531068959243130076100683967056480168784925543475803024013864659092473377677298964820691155589755425166314352*y^24 + 393994245216161272536756478378705093743573393838623355796184270844192564162009425058938104375333032414668104361262366929599545824814831996144095244218273554431035706610811902311553627882835348893733744351831242639711749512461918499950065563743005595859109476786395328817925636771404664822068786719278963563336718725/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^23 + 455392182195088676764798357609691635076148982316230834508356941172177309526393348825591596275228133901315391950624769545805643302571347653086442975412640175941117815114863872151974050151027807788066226766155412615837054439225106055828154444208532157969340798228374784713011329164149773238224284488377229303247299247/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^22 - 3339918036138290236759004965115071635573562169895145025261698358784881331575194673900272499538488221716171711538163092736012569514592974834723429115992749108413967913773665413139644610039739022455101627361959696683645556890458115296553609758241158195761612301549574361794578730099493592816547793270327823698051715465/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^21 - 3499527869764273637452133350666719124685192808906196214997284695188751894105430751442325974675926415825157427742032296591326103240990681091150885444010780102647597428068917546398386419002722580979250131492992727594242368290396479505378854162112231346463683683040633528542976259915338695172908636874828044635341379119/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^20 + 19295707800490743705318578674728975920510716897115133437342963506035161658417283491735174928016572600666475063401290581174251207527327848386481366350910409502045474939343862498531277972092476862593363475622723129213990923600861392023033261949285367016856190666557355149918913561480803660365154149985036745215352187717/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^19 + 35781743599443470751591867649184101856396109334084306491239708287264516009649641649132558032489595986763693338368982479046233696541044860687004127185839297254402254223601659506093402190111800784146645805695533811778849151274312900152468630528830785942311079783431770006225882820243171595825166379189573588504041521083/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y^18 - 77717405844544607483399148103212829163917546610139679683815494156249957875561044135118150217602741086919460504234691953210658391596720827615104992220879088664166608953846029178181837585359576063103339811332916295082528412759981023790513080945469206311329989139206592115427481449187137396313297597337806856756131426829/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^17 - 31832538175368225015452122732648390422200007282604852572349129747269119413082206646731449945954861999554707422606047656364153726668664687409978718277644926548786616980113549911177801618801980648450281492901826580905794757861279086730536088318965268741426697015473303204971784713776452988787084184892913700380679869079/1996786811934257179998201931283700689758776940183670179017325827545029749856976534072890030287272966834675927747690242830054568534155733263912722270460841206700157031157096585966650803113442402786389003678348531068959243130076100683967056480168784925543475803024013864659092473377677298964820691155589755425166314352*y^16 + 234030636537247814916974154379572362652829786772933170426173440616397433434938425750542804942786944713426725079775950234684846968440076276971512473473091856904453796476797690955936994454867708628140877967061523246715763782157280883942588036380429983193454526340243375078530158573291329556530075198554248083088872446417/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^15 + 187957633567495091314481698094327435806625624773127540622686485195603094585258673007016838653662810125123696080507856333743139660543564876585039235231645490395719777195087101505607485127497665054834727592638538578943819287350181486961807360266471608715798718161118647373168559267637947798468450164307205288188792994519/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^14 - 44036618425731793837457782282883004307397035461106390729121255047564296180933050662737731658235610395488876925211546084601367659814479563677021882634187927736255793183098666237335866852400607407985684433028676534346338378055071566892175752781136466238693971377879761361654968610157163115718296261706675379917815094079/347267271640740379130122075005860989523265554814551335481274056964352999975126353751806961789090950753856683086554824840009490179853171002419603873123624557686983831505582014950721878802337809180241565857104092359818998805230626205907314170464136508790169704873741541679842169283074312863447076722711261813072402496*y^13 - 425009627617389979773995889987576961175238677187165839814143458148069775819855451162015425260756676974964096023883696091823605411464795450500237995941151798082584626525833547941134911764586781707057963535593992579806734249178600796056162119731273702667782281718203356564038225960646027284153238257189439435220960181265/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^12 + 100650545185668010868872872308495830149999004335567347892637241025451229448133049075569195274732810519944113936586373588864123982180478782347685147950156298070068072594309603327093943324139422830236456284503249570259614948300888744941088893508904217092740374974892959156498235706525686257775992622918850185011275679049/499196702983564294999550482820925172439694235045917544754331456886257437464244133518222507571818241708668981936922560707513642133538933315978180567615210301675039257789274146491662700778360600696597250919587132767239810782519025170991764120042196231385868950756003466164773118344419324741205172788897438856291578588*y^11 + 1469776517074488873387153516214133060425663128456128752151842728813143006513506596902019300638284132408253648819848031132997763796246519594441038699135000228582108423707449894262702551077341207848976303471260412414475645795645193443817213639699779049135147524655178081082705395540726346369967627099061514675894085020731/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y^10 - 456650691993394484901842604855669189565337034408553923334734100383960992399740379924068821581725553377281543558801094670693985792638652702554751507220400718828602349279175061704724993793004971352425990902047145042003660130647913302250286086429592317466598889773151442120822228946652529988666439573060678722933123109087/1996786811934257179998201931283700689758776940183670179017325827545029749856976534072890030287272966834675927747690242830054568534155733263912722270460841206700157031157096585966650803113442402786389003678348531068959243130076100683967056480168784925543475803024013864659092473377677298964820691155589755425166314352*y^9 - 918609163069727219748505323872760663021683663269615252582656490817199545530558159120670669384284251454583589656981443965812782567228734151008951781062641690021636593504681975360687177404234125768307182094977850391436395246992372189227381153694790393581196059475207945885928911498013392866276538115186389106495773296617/3993573623868514359996403862567401379517553880367340358034651655090059499713953068145780060574545933669351855495380485660109137068311466527825444540921682413400314062314193171933301606226884805572778007356697062137918486260152201367934112960337569851086951606048027729318184946755354597929641382311179510850332628704*y^8 + 174761131643119782329147602942324988106834016999949218741608795196511892075232114845275197400452544638894998421312674916563054127175587900773928458979921790600659521816257280177298798143243819742969547638171208096050495429926472777169292470303688572889801113278577150634600090438350858274439673031070996370526349760265/998393405967128589999100965641850344879388470091835089508662913772514874928488267036445015143636483417337963873845121415027284267077866631956361135230420603350078515578548292983325401556721201393194501839174265534479621565038050341983528240084392462771737901512006932329546236688838649482410345577794877712583157176*y^7 + 380459566916812578501380504741222569504857891839502698232412187736770596669399253593241246594117587009904486427702442997468283135365932454871259159626138385205594373628869790103507769797780423782576626579631340462289530051869932415065406673683791530645624720686969443071449853389596264828325933316221980057386195835259/1996786811934257179998201931283700689758776940183670179017325827545029749856976534072890030287272966834675927747690242830054568534155733263912722270460841206700157031157096585966650803113442402786389003678348531068959243130076100683967056480168784925543475803024013864659092473377677298964820691155589755425166314352*y^6 - 29236847504742387183262589159452676529288205247564391819558057119088372800770486107746888568239221256023181044370107814517865507953515900454334282904843960300574421005731772176834049542263677049322294258046358027304192588152052631289891804761023637761355380897228514012843298418525061991333276271733243340247942058339/347267271640740379130122075005860989523265554814551335481274056964352999975126353751806961789090950753856683086554824840009490179853171002419603873123624557686983831505582014950721878802337809180241565857104092359818998805230626205907314170464136508790169704873741541679842169283074312863447076722711261813072402496*y^5 - 743591525745036160602221682687519835428140156465020940846893998119986695388270769254284799332833737647401217704779959346685868700505708153447935986378288093222142540432083767940018762483195642626030273102611706687941944298977536056755592354618086773586632049027857126672822894586906633997115053680958284217403538157297/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y^4 + 22272963006598356718684236473077813323193793209768796966926046654493039363594972405840885648348809994039019551219910374926620923297599973150191833973711598866994996841292337077954500381726819371261597898781008608447078074585595902231986552241570450700722015150226136449074543607504514379478892621704983016581148275173/998393405967128589999100965641850344879388470091835089508662913772514874928488267036445015143636483417337963873845121415027284267077866631956361135230420603350078515578548292983325401556721201393194501839174265534479621565038050341983528240084392462771737901512006932329546236688838649482410345577794877712583157176*y^3 + 162558598351780130599930266193347659863530807024495523073340962716568315520605162479710557031407511612204239917386699652657247018524217025377392457108596915344124803185365980251937280851035002113322910874998805802805348467133279718274242448955676147694724134529172986222105283739872042310666546611388964069795619165995/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y^2 - 24377869092385563126271427049882617989596521039466295800188496288671292060737595789893255513656205558843344571116548827735206809051287611965961249550605073569591791199544070584012130295165683216946839992830219440165033404960853157505701429894095441231430680268610363659913762755298469446868547874893023608552543305881/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408*y - 5751915102499842354512153939036989986827160952517311613894419430580159638014342891716982541519268124745483134538316108987460881895913494952929077656230188242935259857977696968544568588756428407505996674230310590475145679757912876218902223502895308855105011137866261096779076921895342446430015566160894919798106322883/7987147247737028719992807725134802759035107760734680716069303310180118999427906136291560121149091867338703710990760971320218274136622933055650889081843364826800628124628386343866603212453769611145556014713394124275836972520304402735868225920675139702173903212096055458636369893510709195859282764622359021700665257408

# 4 Loop Invariant
3568915518158955413568318905121493951840598806691830382781075657383305143882538055526778523387831989848620526449129904614212325304258133991280568248291012938966406124411188662239250474299661700012066859890809442845268878334533468201022407680782770269872117627853204662533158798133253772757898965838464752270738908403340844118880619600118291034103838525181767185773289168703085316933942865963874090543308029132305816270385683/1104186389685954795940644515446098103891674333415886359120781670794027778209307012539382585298824169240645315179927016656185484061486095796654127398122473185705487090770414159590208660936661139500480301645316093189475612239362076969358742055356804680500156082583074269963857673041182907443522803861669078199027894330840967812558990552337288192837128700303061391528417333223132151917822712793424873592809853589818369377064961041920*y^31 + 6549860794803534962431816327694853884212707376380744937112189910008353125251742426631487848047655461943237375246925964154023941153903730753335502721060073243681324806495311134112935982376004026925751056371718265615063620120170282806410334922629147823133515334033902990357304677370420662626629086934864177276617654711024282297835466988612637335289320271683432691385739909469607505145309370295921206212953232069189358073810867/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^30 - 58123919681394970491269818573284761757667468470280531922619051978628926928346355224272904394705078086425101565777461932322886225431064747878809411475142362968379713408410387347717630505392572884164265110680636313434276532748609323729760287079393357598398751744018518370259991638960401887230255676009995163948351816271957044847313613906494135801375660044445756942115295282578339051295631281484619493390264805407170351411336579/368062129895318265313548171815366034630558111138628786373593890264675926069769004179794195099608056413548438393309005552061828020495365265551375799374157728568495696923471386530069553645553713166826767215105364396491870746454025656452914018452268226833385360861024756654619224347060969147840934620556359399675964776946989270852996850779096064279042900101020463842805777741044050639274237597808291197603284529939456459021653680640*y^29 - 3046892650651302311738860894247965174431523629718197925924131309864003468823041620006879825704494027111774377503188173573403631586460713862636828021108917749641051449612239104341488116342773759440145636310010777949073591766227191745828264028312515668764832652475227534456127059985702036498335574346039323180725514737595673671513092168404294073042685499694920594097099293613289085290730664510159504374128445559521710584967620743/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^28 + 417867997919533161672728928378506265266029411329008395679158591224226077960178253921977852466289047750613451350714675349838000176708112331258470223280469772467615412180576641633955431684809253268658038921897565052240912088367848364235411341101905782831386980081326105349408269722577454375253476245298017036269292197751294412496252489216886094053969412461292445542457810677475575116520792863020769995695203025329269657266738677/441674555874381918376257806178439241556669733366354543648312668317611111283722805015753034119529667696258126071970806662474193624594438318661650959248989274282194836308165663836083464374664455800192120658126437275790244895744830787743496822142721872200062433033229707985543069216473162977409121544667631279611157732336387125023596220934915277134851480121224556611366933289252860767129085117369949437123941435927347750825984416768*y^27 + 51084240576968331370152597001462105852462747696725516758199321533640160200571889781851894004289837909878186017533047950241966182253030260545284984668810077575259092398600139846324196930440746237818484042061621862926825467356558090811353613654850843578218152208057682272109245084580182834124850653381617643353074822596886824482347453090656430545280867281207250550424284967043174266471299872771216780316419589238291544721027637221/1104186389685954795940644515446098103891674333415886359120781670794027778209307012539382585298824169240645315179927016656185484061486095796654127398122473185705487090770414159590208660936661139500480301645316093189475612239362076969358742055356804680500156082583074269963857673041182907443522803861669078199027894330840967812558990552337288192837128700303061391528417333223132151917822712793424873592809853589818369377064961041920*y^26 + 16995162059119268621234988991051813838605668039082551510913123711820134597217320777166184608854214321212412055787449796007655349080538445523400598148262399204082824024679176341535177466355537885060762162389985180190079066980456954740120722577270709182328602975596004163387054306856013820572550973515306401616113658949799999575210665627904917217938561266269172358867931866821576626841178099257651975140808432374856805313511333923/441674555874381918376257806178439241556669733366354543648312668317611111283722805015753034119529667696258126071970806662474193624594438318661650959248989274282194836308165663836083464374664455800192120658126437275790244895744830787743496822142721872200062433033229707985543069216473162977409121544667631279611157732336387125023596220934915277134851480121224556611366933289252860767129085117369949437123941435927347750825984416768*y^25 - 15155397697389051486476627720342103857937494402337217706394484444384369746894705231761462307599890625848597846691111314403515908801976686965299045467463249116965737054226759112207419771563106613259321077604849617624071976474045958258889028657687489975330539131332223145199414518774083589691806456446966627686115105062222107113168218105633510406390087614433374048798233338773228066177244175619740520684707461896017096674973145581/24537475326354551020903211454357735642037207409241919091572926017645061737984600278652946339973870427569895892887267036804121868033024351036758386624943848571233046461564759102004636909703580877788451147673690959766124716430268377096860934563484548455559024057401650443641281623137397943189395641370423959978397651796465951390199790051939737618602860006734697589520385182736270042618282506520552746506885635329297097268110245376*y^24 - 353711133597002777909677953871465493426153167294073268284824572054639442601937420611698508382020908647263699241693578585421877523517655797572589178653297281672803910937887372852061545411331409473034910384661264107630806422759846785501417813285327475581086182213298899344427743212176636961735573034912924142217050906198812809326226515382919051640040205086871881804565294372576114844537976083311137769732681350361806812781238850319/736124259790636530627096343630732069261116222277257572747187780529351852139538008359588390199216112827096876786618011104123656040990730531102751598748315457136991393846942773060139107291107426333653534430210728792983741492908051312905828036904536453666770721722049513309238448694121938295681869241112718799351929553893978541705993701558192128558085800202040927685611555482088101278548475195616582395206569059878912918043307361280*y^23 + 11580513626289016647198559489297410505503082097306193554334334162270970373944358673933879840236668787793061237012205796204902621414807634543321813231001807216900240423026356117867626911609473062852268440095918236135232571031791557546940903829818030960380139876006094730544217613915376953312103814829171725884955518748743998087947899242269674623616784225545088505116008511215329132981223981974125856874765462654032377900679525077199/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^22 + 6730961712576868546429949042639750971069363925415439969847488748245414733881225523894101277319458560390078159173067227533458693584395185375617807261972682706360044381454753182359663606313385141277978821951490920391873564091489203480510845013594912739279879953800629534574773837905465238911157599783034344863900332876801143365952027750426441935539144416716005832367436939176535178774280729440503424410100257551947130691344309901129/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^21 - 65704335384581173744767337907336545418110402609735242408031231451812552704976609381757440217480569300532344223585426026653736079700000377853085476603354893530204306310236166175429901189105542869911967708225223759890132756880346794228907227621540312026285733200067667149665405879942106776495812052839215837049943227673959660557336246637368682518051430771047191366563138589774384107600614340278792659363044032903443916966160358154463/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^20 - 29012766150897594725715843980668776374749149185788907962377672918833205575446912825522842609656550297095062699079442304667568856487929868832571260610676244053622544347918950612501545269582535963852825756359552826783994170727847130233066184055325230567040344230542196048321151074483981599988208461357634983970518473387769801129289676914054300162969266611804636416966628496050261256852647744556076930150202317444427104875194521063197/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^19 + 85997519166436378860108259102565787173168201214058072076823623939787423214314554086958741833017084341442321366992117922211272597758379449530714610908505766318401744346206274251860854061497006659685064240592490224231927988702455592745866677420907397421816460642051006193942270554681748554789828885650633444023492374128941679624149585350033896547091842496640474046341518361590246360011539478838879340821681720878632932336042682762263/736124259790636530627096343630732069261116222277257572747187780529351852139538008359588390199216112827096876786618011104123656040990730531102751598748315457136991393846942773060139107291107426333653534430210728792983741492908051312905828036904536453666770721722049513309238448694121938295681869241112718799351929553893978541705993701558192128558085800202040927685611555482088101278548475195616582395206569059878912918043307361280*y^18 + 89726892118408110219334008902632538654707533518856450562449601488991820025406947000847196392148704033020438155092946101142031420940173177985429065492369365555183392999785274508974062356024276387515669371360570610419406857002843422087218504751445626429879903096644451068503153922554200411536503455263774178563975478320006275608819507779738592476192737861235956202230529345801847799040689309470774253877568814217422951119487561916391/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^17 - 16758964019737715595909919948846279682121354291645879439990667866300017615466878971707763474652959885247027179671964288585097323744448672781952501328519649738565660890006391378400551686371264171841171878617346727574625963289608274151392183542619212269646868531646841811092030365686860805515829755695815373176760396662846587751570704589633445274179508127499270124544695118060914549868662537740166906971996559671721418050622599614653/49074950652709102041806422908715471284074414818483838183145852035290123475969200557305892679947740855139791785774534073608243736066048702073516773249887697142466092923129518204009273819407161755576902295347381919532249432860536754193721869126969096911118048114803300887282563246274795886378791282740847919956795303592931902780399580103879475237205720013469395179040770365472540085236565013041105493013771270658594194536220490752*y^16 - 271927485041173853666454685604617709118672580661931295489462894900078658348573071401019239499610938616187832113998490213083024496652220402524429860186991579553259102035145299582183880107853664509962456442917009445455711896212122123976461575204976555783910674783842957998218232961877688306787096175243726464538206747157515933000250364459183656676324558778270021909326597223920006589024175157349414297842334541465679254561659748387531/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^15 + 401635544923584062892018682373773632139300051325936419368583806691999943393937171969606119575650247519581913610827963568545502442357035404608019537646897335738761709257449755019196336690174255338338751592589370263270080994361177123570687153762454107759780722965646827488865351965270422578991443751793831457932509121392152092016872675762161229914996408831414526217688884904977448448960218706638853725135115897049490744085144604923173/552093194842977397970322257723049051945837166707943179560390835397013889104653506269691292649412084620322657589963508328092742030743047898327063699061236592852743545385207079795104330468330569750240150822658046594737806119681038484679371027678402340250078041291537134981928836520591453721761401930834539099513947165420483906279495276168644096418564350151530695764208666611566075958911356396712436796404926794909184688532480520960*y^14 + 29054686444812966569486986861291862434402513766353251413839892060694550800120583541784518814014299946267554492760375905227607767733560123002582518282002419777704347123915073044402653825731144562961361585937722986862695922352667290107507041172423689607437433814404879447450455939380100577924971328620696487115749012396155133494430447154196083932453077897909303135096234607823116436209069994604598685530772605620773690128919306881273/96016207798778677907882131777921574251449942036164031227894058329915458974722348916468050895549927760056114363471914491842216005346617025796011078097606363974390181806122970399148579211883577347867852316984008103432661933857571910379021048291896059173926615876789066953378928090537644125523722074927745930350251680942692853265999178464112016768445973939396642741601507236794100166767192416819554225461726399114640815396953134080*y^13 - 211881857201880373675401906150140417037358668296133620148650113028282635724463925805372825209303903912103179320742769788264470648759528412514251512165495667871005415975274150217562871493123540218979878334027898426188986461178270929573473328623203114181622524677264060324949769796050012520867148133099573058723446342557912942085324054456316746394632422830346110368492188662150010698985139031100696736808747376102530014208656553974887/184031064947659132656774085907683017315279055569314393186796945132337963034884502089897097549804028206774219196654502776030914010247682632775687899687078864284247848461735693265034776822776856583413383607552682198245935373227012828226457009226134113416692680430512378327309612173530484573920467310278179699837982388473494635426498425389548032139521450050510231921402888870522025319637118798904145598801642264969728229510826840320*y^12 - 421641411279808195265905232376136663819019480194364670499343227140255234912909081052083207032694579363635641779002905960681695725946043938017383564722080326947779278637629837171126069704026894103827138762466598893650488364735044068378390657349745308574940389268535828164583067605313178118240703543912438035969678683617985162120080997512361689381038749105602768983180437500069625557965014000144900333194782541159632684570233267276827/736124259790636530627096343630732069261116222277257572747187780529351852139538008359588390199216112827096876786618011104123656040990730531102751598748315457136991393846942773060139107291107426333653534430210728792983741492908051312905828036904536453666770721722049513309238448694121938295681869241112718799351929553893978541705993701558192128558085800202040927685611555482088101278548475195616582395206569059878912918043307361280*y^11 + 96959068323164725630714850280595871850104228576135486576361797153864956517143518428679783409516646730670268298510095728566953837821136543526455056941828361355121790179386307691615135329391665676979845444300395358775923956433514080814072014066060292111163312092855833631912709068051434962912845023413566278559077194093100428053239835769033302009573952425989560453323326874959456324196185066843644527958512695194341644895131144855811/73612425979063653062709634363073206926111622227725757274718778052935185213953800835958839019921611282709687678661801110412365604099073053110275159874831545713699139384694277306013910729110742633365353443021072879298374149290805131290582803690453645366677072172204951330923844869412193829568186924111271879935192955389397854170599370155819212855808580020204092768561155548208810127854847519561658239520656905987891291804330736128*y^10 + 211211784215204995706124474043254615993081668408953457753899848442979004929745159921500931796934715154775823151057601520921585470102656183812800306937659556827218225302315210339941016860301806044796111676471431254570510222470853262665330551547012540880698078138580959525388478791212153848252213464514163058480425570783123377888461375723964787107504186504721627659776457443170214176871371543822559821228840382502416158254118006421143/276046597421488698985161128861524525972918583353971589780195417698506944552326753134845646324706042310161328794981754164046371015371523949163531849530618296426371772692603539897552165234165284875120075411329023297368903059840519242339685513839201170125039020645768567490964418260295726860880700965417269549756973582710241953139747638084322048209282175075765347882104333305783037979455678198356218398202463397454592344266240260480*y^9 - 755914719187044711692995847179745145600037626552899521791931808898680102071584296661753876203012405003786684912576403009701579661605465715202292207172512696251509176382708544231436422641717902526817560669689718308721936197833187893811713625170345656552701101820835181833207629974503242932775117021748339689136771411480753785661402942918510775185490248033591285870506890921582882754385512115920799180484790967723184266348245609507921/736124259790636530627096343630732069261116222277257572747187780529351852139538008359588390199216112827096876786618011104123656040990730531102751598748315457136991393846942773060139107291107426333653534430210728792983741492908051312905828036904536453666770721722049513309238448694121938295681869241112718799351929553893978541705993701558192128558085800202040927685611555482088101278548475195616582395206569059878912918043307361280*y^8 - 1446359029249770150266748579333141447218626581205218840365944523678879554140112811653612893855096628391149654662918401366583693395349053998801518288746143692993019167477592868402452645878557044752655035351607769235229895691052861798555474266068400258986794394286333084236266364653840431056219119280899749205918270367018701435351839946034462988511765401546488109021453332138572854902789136487687371441495052877180545517425876380925607/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^7 + 61277919684004795173253302892058933174303379361579229152059441604444111315277034229978010937634940846096477356434081131489996227514421837591157283685542520504900604707027172963865469659068831305277929771356399472219284667013642970563778869631783474499826453811272849795283063807021574533789962361199683898631052428839549570971214837162232685467381437494528694764231680878312415423367589975064668807801341668157733797626647212970893/122687376631772755104516057271788678210186037046209595457864630088225308689923001393264731699869352137849479464436335184020609340165121755183791933124719242856165232307823795510023184548517904388942255738368454798830623582151341885484304672817422742277795120287008252218206408115686989715946978206852119799891988258982329756950998950259698688093014300033673487947601925913681350213091412532602763732534428176646485486340551226880*y^6 + 857270695665806974513344943585607762290249885702352167400923435375406395187020012879821909859228373918941625205440076296286781400745105311135375779208295163236279057818413474473332971801962132975933211764408623854812091775637474901558041009533360278362195571302808949074535497963167037128150203931903202351523794796368442125150008121384444823300475489525044247544354882708288634684453550223469852502995239277389800493492536831413/2667116883299407719663392549386710395873609501004556422997057175830984971520065247679668080431942437779336510096442069217839333481850472938778085502711287888177505050170082511087460533663432704107440342138444669539796164829376997510528362452552668310386850441021918526482748002514934559042325613192437386954173657803963690368499977179558667132456832609427684520600041867688725004632422011578320950707270177753184467094359809280*y^5 - 277550834870766651704590021203133361677363925890213815347126799502545870104831646243665882394464000175965254639267416273246124738098443365519664245023175877727300550455450226523200774982250806478298076061044788042302893058356861982871259617519407762349260807718559636260589256811022336948188663121270872933333703274508142904262995208224808868248633103200452041823781384023481326054727607491705199509952639873409017387344014880819193/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840*y^4 - 75946996198824078098247986561580696677914434584819484182091003862283500769383709021132507641170183719127020495420407149164848969417214179958937321688818480756834843092859374604708472618228845641626721302473743792234613221221783548416448283645463277470422851588936576936320736101373096890458273246512622992424834003745550462893677552641186694103173461456394768967007730554835102806137896814654337493975113732601450519714604367675409/1104186389685954795940644515446098103891674333415886359120781670794027778209307012539382585298824169240645315179927016656185484061486095796654127398122473185705487090770414159590208660936661139500480301645316093189475612239362076969358742055356804680500156082583074269963857673041182907443522803861669078199027894330840967812558990552337288192837128700303061391528417333223132151917822712793424873592809853589818369377064961041920*y^3 + 6581989804799458708891737604496980142526747710351596705367743847664138692676696184822853236150254319915752092443996512757875345961202784165859778461144614711242215542902615809346731028799454654530609117848089931806567107178457719870547416736269243072263395581616302295112333382747055341396196316844621195608925614326891024488418978968896302750815377701853318198033461443692887437604427391724499320502461205206738146812680868187087/552093194842977397970322257723049051945837166707943179560390835397013889104653506269691292649412084620322657589963508328092742030743047898327063699061236592852743545385207079795104330468330569750240150822658046594737806119681038484679371027678402340250078041291537134981928836520591453721761401930834539099513947165420483906279495276168644096418564350151530695764208666611566075958911356396712436796404926794909184688532480520960*y^2 + 1188374458505294615657698753411790477680384247702555653832313024290714111483749875828888130575547709099761397395831673207011397664709799093852560627281748941323407007193459697460519411458734001819697131265742673091419157403932490031266573099465686067017350151135717789785663897534096229944539213199870647771273844210973808228077168185750611638949478365818628440653335446832234719143144028244958236665395639991316005360726546282807/441674555874381918376257806178439241556669733366354543648312668317611111283722805015753034119529667696258126071970806662474193624594438318661650959248989274282194836308165663836083464374664455800192120658126437275790244895744830787743496822142721872200062433033229707985543069216473162977409121544667631279611157732336387125023596220934915277134851480121224556611366933289252860767129085117369949437123941435927347750825984416768*y + 2345267938717634880095017625736526339638423946618753818044900296198511235101661395135262053713597361431412876682033792573350396407183031219913483440504678706428324472858589224723803971566236223109668412188663774158711918235731692330650506003068925059008478383338400727665759153053708510210519100588436633023784754879946943951564800428854939152940696414067721535553265665741280852554814937179703568428121235462326068809944143181/2208372779371909591881289030892196207783348666831772718241563341588055556418614025078765170597648338481290630359854033312370968122972191593308254796244946371410974181540828319180417321873322279000960603290632186378951224478724153938717484110713609361000312165166148539927715346082365814887045607723338156398055788661681935625117981104674576385674257400606122783056834666446264303835645425586849747185619707179636738754129922083840