# Manifold: Census Knot K8_27

# Number of Tetrahedra: 8

# Number Field
x^31 - 30*x^30 + 395*x^29 - 361*x^28 - 1609*x^27 - 27776*x^26 + 164055*x^25 - 98719*x^24 - 550119*x^23 + 1141765*x^22 - 3184012*x^21 - 17570286*x^20 + 48278209*x^19 - 60905977*x^18 + 226110074*x^17 - 201023790*x^16 - 535296067*x^15 + 1009564146*x^14 - 494986893*x^13 - 488209380*x^12 + 1190790665*x^11 - 573203806*x^10 - 429300471*x^9 + 330231522*x^8 + 14080235*x^7 - 24729020*x^6 + 9894231*x^5 - 108925*x^4 - 978146*x^3 - 43705*x^2 + 19330*x + 1597 

# Approximate Field Generator
0.112886813239986 - 0.321537649997264*I

# Shape Parameters
362894062881082209912443581470485683131543033147637253154228499872087406820660950981336661617476766638764120019014608553358116173872765733119269443572901632703248/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^30 - 10940284561096446495474681506438766839278758593933907753376544458909950209812715693116939730643862830561515861986380520685650591303193191427899182094559198039432569/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^29 + 144954760885814274684436435537522439278097043500369566421724623487415992251261042182394406462817514875187870519901914094126869923639335132916029506334001002402296541/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^28 - 152355599074642850379335028991102006646463420467889826413431212493504505632335589402390881456912133700033739110292681201633523932187591710572081598516084699907702771/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^27 - 561505490360008420967883273717795057650165802849632966529325620673095435679863070677532735116449601738992704389688163109940308181662983980724616509635261700936882798/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^26 - 9997031036193892727662478687873384374358214966040722199155492398828793697036276440080525813982474036489084038872248870647774573513036623421006823313123051084428196841/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^25 + 61007609514198886209724755445335544432130263363787585247540832977522278590592108841298411539838275632851636703101633983810842382076695120932678888402130930410694169026/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^24 - 44807922639483656409495818236376173391703720836767142603553077668611509995304049204969754451410286892246109284063416035556874646470496715678824785151408808182419269966/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^23 - 193053230722932808407879841889025320661685713743905045218244666105559451218970092611399541082036092360173352416681035610373926737989157861687688834276146242717041238193/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^22 + 442773414187190863524432647731740312273124052852441351009992068219047858505477846128848520970096500421266766334835633037410848059377650285891658827123761404641096244014/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^21 - 1220616472708663707848392878278203041449598921906248012203366342413272279556218039162457494146829960606727880139726362689662937233029151729176707744136956010151071161914/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^20 - 6196414768732453880500298431669695220010432868508077639319615215147684327917446314997651869788828203226059341489332158837571290687938278873288568678252788010471658712152/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^19 + 18433131703681256700991276899259435574442196357734624555753829726887076752950924092838369933811462859579516637165223847037792737474528183793059976598224008396166915742200/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^18 - 24814964098104709557155543491922061833833305778758137081360538928742288402166708834514428534474218167222360610224436526826279614653193145902708187549463388160842191019490/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^17 + 85706120440335952115221664953531497816029522761984798750462168879876178846358417586724945595154560140456157124843475320160611168739077129405140295839053028872901440438435/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^16 - 85571822945028677409620263788711533280932070000049076385871387780250040135099880955285422189258089428115464613269352060656222495804532711334121018196239834069044328750349/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^15 - 181677492310376684205336322029726436366166477050226701866753830467249761097039518798737707848494164824064488734788543817764384189625362323959673047829462588424710143346102/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^14 + 393127833790626817879540623794598076778770940164818561972823118760463542875021679819611756385560717513138804552170315902849514281344497795259894307622802045808105521082861/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^13 - 237467818795490552025853952775561780653398167264648562576246747861593838320505651688222459322381802285597377005148420489733963163471521677040340368127541164038921317456218/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^12 - 142246861621211027117102511513882677318236429251725391219493149727276466473875409905803926591787516870542340298600901469779175864557845001549794824937621464138268582498793/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^11 + 453091761996736405332077538525011067296890102386080376605739933364192442985936939126148287659457447557144406630472875166850262242709256797710935130407069641098388627324817/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^10 - 274687691817268126828275620528030215834475572782905019878429712875002737662290376042863898233580833123272409279773268868771836762810983781698839971784082173980671093949715/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^9 - 115413969458823932015358627818590117479801936969970319414345945115886399259001881092272109693327865725180442172267270414752346312754045349709379989044522562424732183654509/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^8 + 136825950846700936379299224087547741374962422217916767232591120929942241316329043942419378351079557271734513149421668585633747451655360908670806346876353595136704147137713/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^7 - 15006442565787234927369073912253650265996621004000244143536507634995607125384414471819294682002021077390568029762363729900803923990639274009838852819938827339165878251913/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^6 - 6764376000043964609401710219421930063699863016053076535264246662163813680656351301440834667925399083940672699528921472463169334705485450245783382380902408529737741941444/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^5 + 4585387392528229014813253555389797611458695156834328005091384314196996045679247186522258616660089447132814389929862530215515947613305396034637640114457082971385537580983/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^4 - 713799437272691308824203872856079856354284481081841179019015238236418565359385158682996792179986848494454684261450102967649702361163542967489647139464268248581919157434/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^3 - 249914066618687627286753723490363665555278462399756271312430795001089338999151771955677714621970086831865256630187480056393325456127715434707302992190865676582507328231/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^2 + 20837124566174511291232583691517308560078404258888934237700759369449857298596515977604654727352708054521107156246447921660485603266031253929551462281629351532572326606/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y + 3938127292066429748127486084161068506143173442629452145570757241425116079219207247983362883351704521855816282016499958475076223623158640254545626270653635638236695385/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793

-8032795008035230212879781028573553063451823085396489003397215690236410387587115119120914821326561913782167425763461776978646545946421669554867344257120737329092879/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^30 + 242178319088825369968106773576219989929455475057985619132619042076614120283048731663226235145248498487882374515416952114746367951111941756445481325741048501606376207/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^29 - 3208965684683800854153900635045494822370093267731842052157769448046513743288248301369146887879093622593853607497606049448433964435287440520784923294883658594946130863/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^28 + 3377008370184094720552321744412454487709839118398988877738123102722760576129382044484847405197724103711961546215489498294110036052543887338836617436625915305419905016/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^27 + 12422618243603059108960675220977633230747614211503198113774397954878089738969230537270930731371157596251235601063347533109595699564159484886058052761075150392161074119/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^26 + 221271685888785204842093574474504038772925705238249864712863528197311228287905745009945728546215272538289509000612043203901940628720549894772180795481594788557430590731/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^25 - 192960441723631533217853791068968957599719490522660711428994800012226489562426825244154006190210431961742330998492220135816277519282534008898844098599600694204044456680/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^24 + 993839949243467768452136235588978153040815048310926711367241175219825655840684517705297620164534684444655239463485852452414723278203105007127786858537269766896795362072/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^23 + 4271213093484222347349949554493583236100412732797405125833003697539389579925916228816838657032525615777073446451254312185989499185030152916295072598799951165248203699649/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^22 - 1400955495836124666333773545761818325755190340776181993068991151861642080711943337987771362155021483283613397164056804719587680128689594782003612742610340610022479818137/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^21 + 27034754951751740001097100520120407910405386325276039557701516726000642525414239839637666437275355213507920708300061984719361065659182644721726398631515375724043608305406/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^20 + 19588353692287727070904975130116766338345965223826194373259112094822619512487110116893222052518120242847342179710755385347326956423143206961459837622500327740039066868001/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^19 - 58314060042704016621059775033773162789893995029703426104655767032779670736301289862969666869139283186318983167400517907856050796161256733147517747446924107710912990785559/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^18 + 549943428819645813837347637220456613768249284138009634666379949175094046831449466802573274406366602066876944662105237364200544791003493791535448364975920195498550684658662/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^17 - 271153086587062665909576463761826176018222838793143826717510567693242736987519026470567260712246864260944853387240449486034919807948700521543471822221132591315432727135312/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^16 + 1897022734333358461654440051966820836290625676914701021072804629883437101822743585169293434226257482331177715524311741505260795908709055627582611585352249381560980970607507/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^15 + 4017843744750990568033562192967937447812210511373956917501687234500873687442065547238608271283693681203316171115915992506430362518200306881749225097034747210779122117189250/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^14 - 8707071398584809507539600953549008833884049544008591268063811693550490204188667198314678807372729768553459250674432252797737840067921553132274404300448789203416563588587375/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^13 + 5270857788332423953810892127147884309418540332894209596982088018143118045618225695568597262056855446807937382413393263031801607301127451047670105765306417122947368590648354/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^12 + 448274320753851032838611313071299921082154925352524549545096223131051047208727841486847719141182169969319346349671949020553279073829912954950094261325328116316885337410766/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^11 - 10031999947011958178304865303271678392221507363823562705039676873361550022048079548225089536958310166710657558632506906730059016702956046373086969631672148559136520946920844/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^10 + 6096185532660399418788607117166038189812329096006602755443754068324998059547933029635991543502047346709603115689254228740867227200135347355609779325808854006998862192546622/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^9 + 2541986530261330366099392091602070013785963492524462289807246349431944043255781963829844492260828405829904915393490849751847520474332093290488975769401549531404123048148417/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^8 - 3030680665267524250402821138310102791801755100481006598676131320856194619615523063644329470054062598234783157235321778430356040632327811680130800478893002795441870514010656/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^7 + 337574540786330600769863723862737327349889440576142892961626203222592086216130159131468653636242290437330587293169098904600570796148076520173235309911498367704812591744803/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^6 + 21205809357392288138717642245402512777127868588042849438193732186867910669064166835125277421089541891982473136460668963729567878786535890890200108543723874139281344390513/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^5 - 101554812926929923874088217653327238666163889287909258287308339765576705035087684982575277367983990757186412927417752654616470983806062119892566252420048275740686905195607/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^4 + 15976318585925634175849799670585532702554322502433020976358589764072192109046081138933250596232795648529150090541617282175691288492455558675756020122395304590223990626302/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^3 + 5481287776319009666499655410330823460552437682723999770302146263689740777589232496022687088089884194095680439349847925157402785046028348118109666913680414914485189130395/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y^2 - 464112763518178173175186611034465901357813248136225201183788016861895356963268037630828614565920485683619047265210907341327370924703124116659610987861107323555401899138/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551*y - 86209677786825081435892409431105132700318089056474477845021307004731700973363413001400202999563637049440987226393661325563608573055498851837019608548057909561964904772/32717152837100710501786853054497006697330948434699032569169889369177890371421004849015480326419120027229396951057338995145066431006195425045565472146706715903021551

-659996626346845964229810410092618340562285653707191583192706095244738627017332342540311682436247839086489083585406317530129569490264897334286166270679380078471141/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^30 + 19897830693080779271324545911205222446781528769178762091949066306467861126031470503790959131827614515458708501221638219271853061797471452290533604864671960531699789/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^29 - 263651302915756743795003961519989599816258558569834071911212484169705402934370169474517665832496250833320378295698769487974981673174824063046528951651463448874065404/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^28 + 277384277984525647332614024903618752940918042161103587543415407140856546118872679798975276543899743970574728996047907729227025811965250461700821546154609537446585053/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^27 + 1020721470078238151248146793428952824724500067935100726098366332368352913657839258136158675897552899347396216360034686779953809812612820988277489277696503358190842013/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^26 + 18180612890644838128208222739519874338109723320608790150298944067877932217720260408314740738255870163626052127595617123773140984051982663922575319414776977770329431494/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^25 - 110973201611330932646861446997529912515345328400071172589629585129208887412003607150222380437140146453156233602244614481883402973360483011825384677842011907019026459479/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^24 + 81624975951505282330681739622063667346138617535684003543150507262312402577631164405761511931253570901357699520983415595258406482907734950584809039676489692460661882610/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^23 + 350944885078438440183023105648592863774549153859308377460237332227925958076519986239565516584804355838831138436489773824995900804077094784689360793084821302055603136260/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^22 - 805638296057716589404975282092930500313053861407567869796939754824999396937966245438654796343025375458332693977498654185075887578550436811457321092838561620371537696854/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^21 + 2221053453308387568473830536932496792830572662526366470115198703780098956070444944314139073367368850167440764867098616347427501487068343986486052936214974271942491430893/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^20 + 11266663409150574268170969582785559205419702461087048742348117769138266122565863593094982407032039333956065322716187561668923983870490477236447267928821001800711907578190/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^19 - 33534839620536129720710582138179527223450390578060701893055778144738853589795701314870537911363349887190038527200123677057372442462946908468378321927691061400890688831239/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^18 + 45176647002412414018908032962800874396810809541295160053864512284528870555634360016415678609499067450080782393474435885235056470695595926630079271505992672517022749649566/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^17 - 155939605863881533346916137204184651771711452778425270432150741198613318101544917478095976633945938504855607320953584031395522466423928550428020328904603575456971453945635/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^16 + 155819334071838157655858612196188290860839596986872474563157230200906125747793246287497633119583903296329583784408407861841327613273859067003356216153572648513087811069308/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^15 + 330143876953725429874621186492763304210696714254958489778384236325372682520059137532975981165475352359341902866989960707018970665979272808744637351986811774990510189934876/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^14 - 715292610431587386180537522462406117360618296616266365279537639923702427002218119089688597801994166517748648194129925989152957714771574545232135092705230280841091179208045/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^13 + 432902706668517687883578003492787169061294079244037448508852525506676427577679054332214789397925129176129489654650176769461184672773902219532895360251784198817384745152388/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^12 + 257903594178676001491896076991581603624799039783508125317805930736853451429021400848357816878568420200332629623555238516417821604017792505372460067235710984946040920749928/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^11 - 824169299245558434942837456901393573726524593823722946295532140804309637022402906886316044489452233170715162833849715881671417822084337498885812556615381955395886679611118/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^10 + 500677859219053582630891373299256877674609406929872342736674628709429499281838565735122924826000120011012578796076689901037605387298918364529778617022613294402372687858220/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^9 + 208939839719575022646193988475714378143430733745668965563182821310330395827051154820653170191902082880057224408491406665577585012719143811796286116666221647462154554082430/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^8 - 248952369143547738156645816955407684992669807121496895890658863171997883318696335553818558271271912350595355519128065560599628092028172411472502104111475095378282010857249/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^7 + 27692120219626820803486644324531713432487260074994024381181807718478496221047145322018730839828123939667115399615526077275998696015966546742775766836220417880012454442679/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^6 + 12203066099562734984824982202039618856200076456630472698976389661026734032053648164835778108671056275284837577544282090520448339554412075529348016769529844184883201009096/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^5 - 8342548197114447305731627222105215651617747301537504376898461424629494242468771859562713673371019142416950115640474652201880285931358769508524297811455277893322159852482/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^4 + 1311111174555124088246811251964562462097323675413764106480532924543547610738393857558581777954894190439732649632912461997501074214166428147020496083445050374990201097072/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^3 + 450597848485697582640930027159263624494497418711786811100409697409039850751358769148583339529617886555042432954417010227768876684651514402630632467193514555978006099037/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^2 - 38113875236641553969706278505307318795331768856951729673482480656249619912068332778820834349746348357964800301197454139644530268893777798637795162613018162748019294286/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y - 7082960232588270932834283633388409151131856512857904768308068042408772423544198017380334910235895039142771259147419092816662030422929831372596076991654566967535195530/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793

-1978505720162407049545273191315837089342757285642932149647647719059535749690963010836951836743115599106415356292862029913647119839406998832474268316013716241359119/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^30 + 59648422814545928631985858826923306854120314946072842132298965373447427469416602983246881671727374553168281501058426063955086203162864612641717042903755753697550098/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^29 - 790350813235723640796898952737655391234580002175021876693509037130876642619858562313084512453735173902597428352183558365802303637877807858486278377230650066391706133/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^28 + 831386717797897251686390550108124332094544330039184442627693637753785215488437560306035379086150463196655143904985687231007583286607571523796253846944637628654028318/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^27 + 3060169589556064309005337923788031294210163009175891858814479322378638704962443952966728141117894799838754714000426525452848874050295336883868275830625396576403643767/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^26 + 54501401971161316391715557231559180700954672330096447661561455323317965195667093226144477262872400079406073907998792001847003488144748231053479417221076232059587586936/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^25 - 332661792336233474385923496488954474918087362064852642145309169680527740358430605157065877788942325099857541193620536031323826117575567756199235043293587377903957368167/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^24 + 244624275302056480431732222963704645133303281808267617611059807389506104775548720888021993374824179356555136002951259990949352747697936804200884326408380198159518845189/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^23 + 1052148635522506140978573836137401166303990732441011663904222396902697741603666649315642488126539098435700204682684590842562243136695525186520938314571851586048496405105/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^22 - 2414937797746668440134936146846826530333375215921639398981085689991985438010824227991942139447418477413579803132903966989927646352946064227338680680601334774290804991264/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^21 + 6657550671075340848335639838257902094260609733096112130061455169183559239748481347296052658866121951405455011116205537587658892535667706272836212408936674749760887430630/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^20 + 33776103784906295849031350173646961819410150978137312168903808805657413277469362518334861671888602513207133401224940167808052472906911854912601096218030584956099855359567/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^19 - 100524819284979199150037096638111057982958684853772210217401551226381862244178944219426714730570983287311541024453190012025688524611571280431658481484223284869120165222701/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^18 + 135403507004566828502328866157803301782373634527909897894196770501722353970569907925066864590697659813485638585259533661244904653604255346832246160096863084582403176333826/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^17 - 467430890471233666440235781236379069475981032556061259865872217616510911493835432553586703327854725164208425279709170969897991251188351927026491536601780741503262996117281/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^16 + 467010590791386354168112678887721479627646506448642384740338723673737359953423051449853086681756057643236394779457303707274661295152112575305776593602022430093205906689954/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^15 + 989856490962930892066222598005408301130719131852844481690055632207040391918530001683553585498133884500382241002352007152575571237145697520067799711749086155451437454346946/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^14 - 2144142370459685356754225706095206908667560378311454099880184395900671038080890626446352813391267266503825886255155399424322786429314901271127412900467415204772717533139964/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^13 + 1297163168695572977126892152065955312418318032119466932660396131093889048085256380446064408646106312543858730521451572204715768194759408639459316513595023767201510677591231/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^12 + 773634435087990444802111249512146321292361665042638140503496898311528791139980168445428953676954081025414325060014150496403742158790210493846981794510096414317836779790962/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^11 - 2470647662031877444233153492599612637626123464593150738708753540668544834529110856732377620304226563078338144664435532573312242183874025974816724260512743322559957268274899/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^10 + 1500308910264133516569637526393470355347000057306627492664228865704562143995774796198854883282591547033487059863478317100722566950304411323825788358595319095589755401142426/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^9 + 626962809134798569697894409677320916419869322979693895470785825580186262306378185949232114417865130673486893450031906465830447027644422936361910963759182040160695968436892/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^8 - 746292532849568570801212651215415891859314182240487978384124692665454389379694738729017816742720761774019783751467064093854478795592332801593958405284060791625769120425039/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^7 + 82772518693781294813667921449009360013254397835759495597475102894705417432159361985389071860781419693277670241503430809544711663959935456775407188151440136942911034452314/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^6 + 36655061723157665189304691578796036298695836461712129630420009788189505262811693292656501388345768190136117692178246851819320047787365389693541695386698469844187474613354/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^5 - 25009264162022862053767083325721614520908862407832195383752939953959795841052994788076185090669766440561414702354989421939781546752363956862956360709247083355954738365853/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^4 + 3923009816150674712321142370406849796116063623603678900881033193882711329961107620591596006957977276530459160191716769746188364114886984070766238683329666900629393698415/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^3 + 1353678218780527859450364628803914987788031271587263812247891860632826063438054779757725767758949218972554081827927674267710710132619792847935884779838634935933410519150/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y^2 - 114214647829998671358359084548213958974423106771940777518858026234069758222225139749008678836113466807837907963866857182153622895923919537774302098506138770962446192005/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793*y - 21302724600737580345840222872793344515471156100141738631137939302483363656898139929681305437577285727743655478106089443433474100686841581771487251789104432317276400933/4673878976728672928826693293499572385332992633528433224167127052739698624488714978430782903774160003889913850151048427877866633000885060720795067449529530843288793

-4050016255099920803312654608215197101291380694819018684774355604555533662330486867988058380247575787130699646545348887532774129832519911248605505322563314589442976840/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^30 + 122103179168667977433482270458919823043622757375779480206619148203312004721097719670648973222165298397423941268441363097109165955582191295947783358282646364787930960180/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^29 - 1617926693765969346450773323361341863532466071618928234744357321345674909115665532568891099087116756319134642101673712637334092060839957868042879710628648702910373362059/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^28 + 1702818312218902792725089039831578242218527877820463136440719339745966577707497205995368340623859428078681980325655021156106761152745778475380223917071132859729972952518/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^27 + 6263135228371475125990383090670552369612132485246242334961486219759698997846399440544130552112294725829577927009863975629549304850996595819826033746338465554397995792464/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^26 + 111561216092550352802866565380217978851052347322924883527061880563289633922123166154936973619731812119010782771144507763122857761554934427280396678322907342488593216297661/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^25 - 681027325569274131740970304453189910179056789882971603251400330519090421791697663528239166640755100375815199049553136293231410196194220429029737359144124935719607686215337/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^24 + 501153998984598448372861588149742751449520182582214986499617231644551615643028458429154316722692192036197573835595390347533625020445455978246475717515318536975538669064628/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^23 + 2153435050844416982800727541525600121912607059979081251467965954464449143351470153672134360871044024588835513188510488078978860333873239902824135903994214888156225074196533/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^22 - 4944620984214829945673128933601512440967297893578642794046336416461510337898932589707456970140246852133865796133955654480572790546541344474767359492354374636563252717547184/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^21 + 13631039989894859708277876648410016365099211144091156401759448197216806342399585748322059968033506355513495053982036207060078013303051521394496440282332109578086655138182335/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^20 + 69131591208643937127609772496251216886028650711189947798572346338956693147642411843338420945234915126243282287301046542525437677384376825698908135695241143793406566072551478/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^19 - 205815578515992673795930924231846616304665458742390761661851505795539998416099677415513443245069113131429327387901267528996933260579612803429439942115712817292817786330268549/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^18 + 277294867690744716757311829666066028855390898990287928812283879064086447439082522653252338841332404270085207124185712121488469495785496251666111145645263639454888060414288117/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^17 - 957009595334980810090104231864406376543486306214943907069487660146796091472224603372672424091238566229719455201199243844703208661927338775685065112622116502063251774410566133/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^16 + 956557976377330892205583567235696395272529857556111656344931210779977676412510216344540150829549151221830606906842179915823495956063786683195375482656908427590881054384628066/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^15 + 2025641942466272091718437331913149308156738621840972151186712586349530277461856839854434372694391808261824181311460788245124549617617253450750077905613490129712015597463253859/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^14 - 4390196071259203080385205946561353961468164172346037297779140169518868423346306881778613582881464540823934888041457850550871260106739226062989131971469323272132040670166143859/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^13 + 2657937090772927470089582419285781597166416783232857787250469698924669798111565463822486966759036057982583973879194633227025509814876171678775326605263481341134470881767288808/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^12 + 1581808931585103066795912230591522468598745593080831597390380742119021838530061338830750057393613605664202725669742203951136461892600101334824254288388270369411626171797254832/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^11 - 5058135026454755231072738916217050599862453133119354859880142345445837608868676735343413973677397297429395226560910424915581472444551162560538949628354546961990463606487958861/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^10 + 3074118375053311254242980789974310508725529716512928807454489166017148749394937954915323342752453593982812351940830816752609928130268166055213254108326520722052838086023830223/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^9 + 1281323465160561362740586058385086860986812228425600369610661147102396379230265471258304175144456950491273371195512567555357370720665652277636420498452750355409860880237083541/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^8 - 1528125476499901374050611465299365338197916509956531841853811327953877004945198273675012582996364272154273101452375069386902026348411484229940172433535646455670081176812920433/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^7 + 170331122877980421596010280487180950544507900473648336149561822141107470492108728787111940777957356871500417067720896386710483001763812308459431130184376204696236090596164142/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^6 + 74816468973168490637831225809256514724639894691307707807530613489462666934050468279570879760678559063280388050775037684750982225338130119132167160840033733117736910602567597/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^5 - 51204339225874042578962645488050526129975116235960234604932367347823148582169658942944472219585077244404966120850460452340780832328676754967172846158326014031170408110724398/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^4 + 8059638053538856047376921054775268095650462429704080844892050098187269989783316103956199215651930769183063564087486895143470352081255281024440212230038456188893339832283091/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^3 + 2762658116078173499912585060097987654004866164540504558331176172058548289312879349550327453524025007359672032238374804603772399595679164574259170436798495898576915852793568/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y^2 - 234038517200045162569044479974714261664820432623692933530527651337514365742814629190581309060744950748296559357003067683122978532887674753785857270031418449528691656359473/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421*y - 43463041479334253675225504319915635959670144292292960954627743272431615436455707798609524233112147793157532238199262609527256519791160743340284398570821848294353079001307/7464184725835690667336229189718817099376789235744907858994901903225298703308477820553960297327333526212192418691224339320953012902413441971109722716898660756732202421

590257562946789490171012816225771588947093916531833764091012181578617156604048957953232324655097038173263232709453784881291029960889585450105736557613775868417032759697966/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^30 - 17795680098486723587999082244338830964523935673235167075511997474603492892683709891861123755118261360276945298428819924357822654575104655004734010858376402394237611934356708/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^29 + 235803434250507842323154281403803501616418613623409460792456827560202614951773979431371036164017962650406587485846398440793886406425602304408166236703243571673826272194714011/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^28 - 248219466914020777290619981846272026368767333175339793495879029158785922128890519879160224334019214876912026308102420531660737978844337656791726970864811028590908045851948892/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^27 - 912739752152174042257403335695250871071595266858389103233124276434573199169852984022479799866462663442353401926773150955275877714265372276272382335544657541161314765850671312/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^26 - 16258986169962761638514634047163443590764136294952937339671313493342414660871852833652500546994291456261172271009777552585145572546656640003467067016115017204847776993222433457/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^25 + 99257434803209513049703796191014768136241234843763632969823633719472624114151210937335573587931619553596543818394006044937416876081792906692335947316427805834160121102519938808/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^24 - 73059664664354091895816989704994932839074329273192108042487655138131890810222225948064337157111403381983098868440629757839755979651289048525193547926239839308857617770023601321/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^23 - 313826285560195797147334285691925910368361013704182769215045379256296559914458821810801491559277944485832621064585228043926799304733499893294937940578228118962396416106516798001/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^22 + 720698748087381929846421290619517814268779746114200631119161413310995552860417426529776133439917475173205843328416052576557936341115708625699083701630495353813806329772703908208/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^21 - 1986774344641334657044544989216258878132318658415959034985683156013840025252179166237832475225737114100382769947736184799352308027243072572601397503207257697723491673289606858169/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^20 - 10074954838747187783544251173226545920276281069905168265153968285411685174354406346732020548428891724724609928596593855001876404232540721276011689182146257121639835418576500049832/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^19 + 29997845908172945566458522317237995310911175503956632783956014210738506332013675291976342402919190970856200157751514940997289339364732393950817993316529841304868663106654420508958/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^18 - 40420050185427143446977333628709940033241002849304553757610310776550520325905956277361429463570695821551711660731801039481033308888397340395617380811331735760576393909660101781244/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^17 + 139485832742222280179160870848487336407466225728755141805553987400116595928361657537536590782507526157803569178936465188642822711309578693192578060176036116246635008571482434282920/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^16 - 139440002186458284833310909585308571340235409537645152245970824791368507936699131746601856876102283847120284050180753434171333622767372308086067175108082473852334026796840930586643/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^15 - 295186065953106085811138142881339345756758418145193834301190640451550090553315888779489883481583930475777756940727691415275563037869167714118868588387958426915985569684918477709868/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^14 + 639889241992657456897112884915938235818920162164054690847951675271334475521680281939845522444934716218441706376553936784580362661805876649624225380468350516043270933661801920163171/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^13 - 387515785600845312343079700460030249139188972816902193631483504403262032968377958336535911770516920061360121424437029078565723628809716143996560099828833492764468926860060662268384/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^12 - 230431840077869141617528626194752628725402820853433648896392269839787085178941567728734914215687337178213866983630375835781475117683135157355217775125016514203608566182421349734934/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^11 + 737212544001725430041203777177440830788051758589110044795103933629210710325502680355775935265210102863216132349383205596363125218149673756255404509586614572359464343003705800580004/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^10 - 448186459692763024063813473075902716550528402986037478089815195069439286811780354742494405780249883727857628735520905281300755025912780780335422385673387546433005521632872259670372/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^9 - 186620838230035762013293136194740004484923311274612916271549487383464491719820560910445943851613165133441325141085625440304161976693000265271400480337781487854274336374051474647701/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^8 + 222733342926013508175243789719575156800735769330226336736134473256779069622696097491015259944382622910363231345915776936180142231919487469352838900265193445137677607318996207263464/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^7 - 24876235408359117550782747613818544764559024085928250575419794074701936384434376805482447884841206348047670048013207912342103850255058743049582203486422602037347944779299324066937/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^6 - 10891471084773707519733853063944776995117988563720310215577715447318042063137327155121878752129396232206711731015270468881124469220071893790959492445794810632078255783969179802913/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^5 + 7463173330132797789742025295914951437687689980974906058251810358970469386789179546092080583453909622446108944756759312323503449546096320321921323640995829654934750622066158920934/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^4 - 1176327637633397161443240498979728065151953892929867294557347136101972680477057972492946228807300179151902618662447389676174606867986330163866575664445002021770077438314569501510/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^3 - 402146497268564091134851480643966734550939680211479107765951620895284439050504483119754004236737711809654932175016845815406906319356747855466506591999293084070013705276624123709/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y^2 + 34128123060428935732851756458917628365772185338561680728544208021478027432184501938301172376147097870460993491196947321741822868251547978512818087918298370097839463760546563986/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583*y + 6326225824021306431117217503189405784584254494547187885395055744419165314887732869573220725200942394204800274036596009619165137798601882037658795912949159898578187436623705387/1454941279314070331949179802347560985461821888199104674598863263682384899144998422215839603035935832929859182828549521893458124133977135349334620481146037650684511092508583

13344886517090108723820495185125108302590176067358546674161332499229975500922397384764004726307091951818116198868184533632509995423089684234438574906899899092986384300/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^30 - 402262537215514061449081025370767582935717593910885891947978713924982017859550167790664716343838604212727468600563752958782415271215944926712626396571402166605885240422/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^29 + 5329005869898754055435379697850669425096200805167485018869772430129817281383750849952404322013288390083273414429116080052779891517841800967870466981994839088241562876282/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^28 - 5583254060913732760741871460180125557673675736148933759780384032107446384464836059949963111268753084196033129017023070828329944198972848055229092511783398658385346563534/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^27 - 20661865420781476303930741199054352229134444573812719595480937359078539524372936716747567794351974894928699294596815390598789809622937446614859312216810179955419418238153/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^26 - 367704515277450102032825461025084871328559930996596365945756543006059141289419629481662079692947246047314138549037876354278002271959878198755128740785968182234821772610730/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^25 + 2242052116240491292385571182077992675480916620506356836984432056683461719148586789629838466004862040335016787938819339886802829024028388269777235623661391472404793302576973/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^24 - 1639929529221189299651435128510816636349460192990578706548816901891588972099602974785928765137175626186291966214816474300379761543631802434732493473288503430575307611803343/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^23 - 7102543717268073130928884859030395685173105745605191400420522945474577726598137095772811649666020734944230291642018468970048201277882736596417722162987013136703193076347138/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^22 + 16255906746603475375824243868414824249299201062110829444179094463000292558430336675233404096817666939359450792977732053947262079767680200490292747642300238089286785538146275/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^21 - 44835709986488521002579036769943991193967633767196350716745982495973484002775640920087609176009257526674681707802639786377222970961362035896983937414012219178672770622318354/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^20 - 228017206828043571856307605845864557371641418721743191016598813065945289579606547157566479673576562463599268445144529940680087720401742459460023050710792891921145786530145745/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^19 + 676939859464887243719547988763191602862819687452708447740763412246829074737913034595027390890578236671881644459624082823410529578596400252912434006249092670240702981874300238/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^18 - 910397677596926288894873291105394151309284396224920919348190806825962003598244362833021164515927087177571091732549384020055004117907677302731222917808199990563600430418606618/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^17 + 3148932479313612029442390876992763169357978562195605905283585575916566799128846600821989752732172273623830551794090469158297535448150032748901097931138215769772006002391865583/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^16 - 3135789850980750069904011995219694538584228749566665414421317815265896017726052485389851789442130587119018717417020061097625175185318486648912060880852383634064980279892345593/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^15 - 6688597151496622816748279432218687592439308903416345572904378547719564127630994141925983840723470142419538967847187259870267162246741133020375425349091946713665146291892748782/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^14 + 14430731109305742498983169727200911879065478801248001030205026769437179736883105664342572234895838748954262110608818271293518225068844768053772625662377845988686501866435335759/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^13 - 8689012200459825264382180821764317814352729025481042131136893206778148843007784394478011394677817434305854435460497716577920861431596463081573497903681862093382733701101998054/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^12 - 5251783793777863241953167512325393712582303767662733240545704037535710430397642182598891964557814967785120183087570280458565271586341418970700061262492124894229184671545526240/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^11 + 16638964769202193380074870626925359732823795792375854514931553847315058028291865241639569159030758881453341381882121104705512352406359986358789937540364117660981219604095360145/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^10 - 10048907361869120027318398641374558347155811852626518454350383309915743542198178189004381584762883102445137140584060886100545407822458810012126409789614235207239742171699809026/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^9 - 4266379551538162710164614845405402265984531859100083618134448524584608137504438217777118013018340978626169356908772301145378729634944249439006085172317240814885611226291997164/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^8 + 5014162498498880872463577149907917384817148889009165451277756374348756108265933555998473123685847177784002986938843209760901174798722789865228198280851843224314319112723550778/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^7 - 539419018591613560680808099230588733344717295240967874129973633086636291562714640565384566367425954666625846910441203796694923818603239775404729092145257493083208422106098945/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^6 - 249066679860196889629140621279324238630073254479344504913408284526599632908509157084711969967944120051645277877566743650379618158711133838938975868353397509240985175407549641/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^5 + 167914119588098951442100742786955223913429853155869364558697688396510642028330221678701046666201821226708687280607856437989438727712523907592810549154236050557122589281362774/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^4 - 25801260079172960423585978347312448722190468538316560130898005775311473011149943934457814372006836312207383801401748967133531068033037116035993462676670063671812582226806127/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^3 - 9227298025227687004013085210368772223406235177205620589927563608635361230201315623848605548798475802725484780631602796634178610509362180416121603135373862528980233823027440/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^2 + 742954284885642039628191976374369824371364207473356809510137596498969702706416826236158983443213655276812584172354605784958414716584860792304827014834661034716297592217957/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y + 144781128878373873815866242384884003383140502599465019658396718266887474287440771133736885103597718640344240726152328829230457914414325236829258013616198763184288228523317/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939

26206686517966328234378065263487855465015857559360545814108754172644936311282030385637287442004636540734158011380751358770658038590633454160158096880827302025786722311/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^30 - 790077310649452084334370042596102518181857930854421992688480916633246959081827452341510832469089428031113424485024285146520884808499617566420925486809252975711963674991/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^29 + 10468532183801785372460552379757415101866422595005255496769817110768844943530863697971149592470166965870846847535308849752146184934326519448698773538968215718754491046685/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^28 - 11009673847633642338023281731584103054722032052908485310073096699628307496812935776694283126201525093641294877410702515283126156721108125819498013872352115867422915627211/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^27 - 40532035319633831716020293508006456306046001444355753051326343766120861111627613504548398614491697954145896703334537317958942467590677831021116109279304073733173332996878/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^26 - 721920951333890961488893168847754436420899897193526363142995564708392690218241486366647069119425701456526772926590117878279687420240073992245552159701108497478156323447922/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^25 + 4406105368777020118255912061489777346655425116827768191178864290642333779695038889497357345939786890125341251106785303828122519926132896746376194025209839516743175086370361/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^24 - 3239358354676255790817857970773191259295706445431851615960156411195754357001156572004386448750293716788991238158538589696773299878873855241082987387998582104911068477353617/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^23 - 13935446903877888508862161104953707675115779412592058178701488521916271968667687105538526190536806045542804589174231076798740702715824343269728907100458064548620777818802667/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^22 + 31983889132801237636758621842143999758432338710868156740840545860655600376256521471819977517334535676401839662059622885774829653112430929369364800195870386368763125906199997/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^21 - 88181840112138203205809520577777934142568871143656298987971990638960650123924362783797519167340902934514829327940294983772041775146708514151053730184192860117578762164684653/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^20 - 447404115812527172974395509853130945838228961156686637267700694020009155731578264496153337352603556421421317392281240003601018684760498850075819394279416500927118988370767907/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^19 + 1331354239949113745093615982801943062464893532338817906405259635414374076038817982245013942527590900523898341516478473465596047266926647479224161270553426741254607017151674080/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^18 - 1793413138089755236099601057590500539518439215864840028545422606501175481007480815253857389324384950762977742288033066649662091239190565407804693955170658165803661256361404680/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^17 + 6191336451110135353391704924443212362450243005531777844569668590041143850034617573903489236294616479553204783094973373095045207465252901933482046117709916783624659563861545079/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^16 - 6184600360896246307124359736508079057391319865555255531943602174539544954970023925607133734900553877073848904866195036851955162066681768032289517142907742195188171029479946558/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^15 - 13110364080263302988593639633878117181388720824136574186296376983091135912841070974565626503280081257225858502948503711194605510851283482217546115199763706684772623797594040763/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^14 + 28396610236146810528154982418771687244548827166758980742762985223857873064106474367168684055426938676704160992365877134877136419928108541587623360024657246097685974403016900730/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^13 - 17181119749015465185254299864539086545723347795368166571224757683515783729883562922408759570643395360934083288075986805856355675164664157021125097464946595091505837895849542928/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^12 - 10245042889217247905006128392994789850080689910521001830752386859804357184524798476135097745308886042635616486717689669495977836148931818272044203746439777438669666905167778980/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^11 + 32721359383168827481471980561819398480150066409379711279395539724748758644088096686983411438022836164564429094924581198127454870806258163030442461911772771513637678781566220131/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^10 - 19870570479970573873105861721452950839272877823682037501630265834242944914218628103004099395197335459635801945203972134966121773677061830971468719437335358137763622666623500169/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^9 - 8300226710069169645203028600974104790203310031540596156106228815908375430209154368457433074961451167437020905404885681148629288826839752458799450337759790921755060325333618355/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^8 + 9883140596794088187237057847837120226798637112630597256195084582700048869278877026684719261474849458012720060216184946143860911555479691219039441517590056536517164353221944316/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^7 - 1098198282231769107031468154798391520726836585287631824206897052922218317621808381716116826308169881976668616907627698283469286304441937108850997936709261098153189097012309906/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^6 - 485054483803715313009704523924603927511388600983787023190168127898925370505517017143342358207825589546567492299678335991949039427705177270169077997255097621717523894508917673/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^5 + 331367460287698831290253581336769772624139904273742827686329881214147223742380562691006530473982963529242854670737354171569270066352986910887747874086532231433252217792237175/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^4 - 52038308747787435659318371119575606103693727227814314583617334771020053398286221951418951763445460542966901167796014887779504323774269617609446936820594067464074793731368546/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^3 - 17900181258708897663279647814816218701151569506927126655132468682715504862598788342545542172083232270343340942354664276346114355678788345489707564519135180790449330414612291/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^2 + 1511824594684980962254184869514736491438593879267870147044752422073330338879767451438525195816634557390989024757251350111699756623943878347670409605509539794297294675452790/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y + 282167406316262872726941547245650379012194813472900960734235706678162158522141356659885942156153624995772291266909965242517578684592090982155378482887523280116265033369743/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939


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

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

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

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

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

# 1 Loop Invariant
-620657026246021083284065653717430712258390971684719574934932101806968691815198113426489666354763993632447936272170280734199454080005448354034775546856429971567406239030/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^30 + 18706260877527116856773840276692209420829372819715366494604025898767918001987759979899390820484182063441602745344209281419493109984376930891681574463044913395065041165869/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^29 - 247774577062925147756409276715197993683646008613242752382546230733459793610366209127084019692909463373434395484917460621875546957208014210323522503017697069903698865392797/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^28 + 258797279911311557435775169419166053297533967501708910959083108243838006595743476214753246576202447049331617410719987263052286951287380926492867493471803780265685185846998/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^27 + 960168700664455905317911019661491698390104976201005681007245145700591555442922518327739342978634167136796964165926070091724066990084886900321084866520845224658658379297336/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^26 + 17105558946592385286139529255030421995763662145513598224506396523536057351611781700009423797143956609876513551786907085503605764490196954030969896839228158910795714440986315/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^25 - 104197234531458910690900121469060324168115787125947652974938960367472679042982615689196141325366531352548138194917288657211663141333887410341095820941542761782184513794625983/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^24 + 75990467359102624434314646258611169392270854959175771154232867801408760853601190592809782779216542826062574131127003357543378060797807083308986138706425274375680675967888119/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^23 + 329960346074571587182536867163999360724487609981412055473702147307833987173140212242572320621255607105839456764977998766900075080133704718689432856329102299107545998825961024/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^22 - 754824208024744316416193417430275360587023035232268046652741640367904576042924373554678023054087801914833560105143230749335844318645366893216111222914204871853553795689212128/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^21 + 2084660895940570998576235322357657121169097694696757118899107229737939326849604476624538722778811088200005882613547172392805976919029702301783347238465648357244187381346618751/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^20 + 10610077310741309978209412803420765969182392397670832721666767204122508631017839414646236247148389243585400971245872274318384064144736902525353305534864304346848174319778842100/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^19 - 31426657066128652639989827611665290474160527565429137728576138809418828693308431237505047619337081354780602750979420662173999066478441976917251863991479208793689710239511097594/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^18 + 42313638701168281730928759113618153981974425431590920805531281770872123645029647132192961004099067775921062679598857298136203542867491657976175560881706307529967936070835484012/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^17 - 146421816422265812935866180634130005356239662214576790523245205380136872170256678933870218624338524106280746971255255553327746461893114590366678083238333871119199097433473277950/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^16 + 145429540412442299590540363144430791717866925667812196470544610922781069721147992697234653139712498882267717234172905946259151067137294392320712784435124382531945926146126453783/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^15 + 310689065140885668102771375711230322202575957550797956944157793330371687615930347480982476893708326905528700454038242548876009584172116263369900256527432769767661348790213191358/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^14 - 669788077001983125355129483535813369571431030282018127834456095838450317369170533902061931389219658606214837366216441539842668045561783066966456720453362283229013150601158767196/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^13 + 403949854291881621728332251308382302331258631803647359052465922334818100392165592324028332621940135747643500331230386232780099824143272313541776105542210814327886435632366899469/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^12 + 243358741374059092362413458822963946590533736401087083045631751239546929864429186712548452243792105908535901898642106162110967586082709063063141131682980052500234675125628414807/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^11 - 772304915929828468267683369663958707500019917815542813817148665159434212479472455864256934148076212310248969601781527467623743995384614762046153160012356807240707823820461846661/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^10 + 466657188297684593284032041834448894952639678422647795414275854939741986292897935656305020318442399137161334179908805079564147342178992236750885163984174340508435860148820073611/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^9 + 196844289713878960637797389082434946189349772730374801187179304452987461394773555926740455190667438311462267147465395979092557040416461177081044583529558370394456573440423720851/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^8 - 232387805814855044076179540257375146341434292083128953949570869287540300153506630585253616983974632885716109103438816829465504484689685606637793890981780073550297434544083768541/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^7 + 25569981720418216856352382959549327852135390911653175706157217796728194647924273336365017942909352117444502470727128678590558953421994939159341285994083833587860198488425985022/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^6 + 11418699868398634813956645035013107998353878417179290043887429100800643696355151163235765812695671780026104050816964389322078285506487938309312796717021561990395103820262436352/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^5 - 7786039764822286634128460657146880711946624877854340366770160385133231962669334683274752424234456660617936926808172568749278547717300875423937875126108038250104550714332163711/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^4 + 1215067054905916946104212711034322104925018620501273682243167970692624695967628097209909023246626574322263557700216803600408167381531235337512490277405112392905408350372357567/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^3 + 421429570803299168569442991826840969464690805653913573829830168053670390787306824028249048141934272027638742356746878256888007330316097735143334840838166722184220884175201101/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y^2 - 34846316294815029411971148847802350034000906975046977698917180157240392596283046524171799082029681944772599142229652487825365393671589455004076126336869706986511722416329033/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939*y - 6530544951605938845151838483797321010883953992793976741329111585763037810805170271608950282623851597665576471436556615485168116132035816087491684302033609159278865406575164/911046511780883113305685536848817148066262923105262789354328906501180274981213789740663495952370590438233677412992812707237397704431518690879536932464644740566381397939

# 2 Loop Invariant
8487385969821265069720519938987558496054773285898533135196679098423579596491149380741203228228890517485197220327187895743686203618889327650098850467360472174083518164586680869291619295150039186963029979598446514072574561508525019021024788045629466243647415479345541580509/499377485209488419398553520045438527254013488612375018354199987880497377324908392264131779825344379477309166984213509452794372480140469804335494183871309040229015425805207137185859646798823985747402305138741957379723366510578067176776867269742978813299212710203762412564038*y^30 - 1535285667598428912178212181559047906597214195220223223961928678555728147144570125231831407700734800468278877573185604328204799458629605517226439555806428696437776724220236421842339921589454439650918256972147848725075472826484401507009245310728446907744739513732658906505805/2996264911256930516391321120272631163524080931674250110125199927282984263949450353584790678952066276863855001905281056716766234880842818826012965103227854241374092554831242823115157880792943914484413830832451744278340199063468403060661203618457872879795276261222574475384228*y^29 + 81371638538577581368523891629987355463061947248886041733035121499484545406157354724284654042077252028102759173163098726598819457777701790892792274197656615457196732064227465014284627822656234209916710423009808728802921243876799952544395341922673288164467742813053996341646361/11985059645027722065565284481090524654096323726697000440500799709131937055797801414339162715808265107455420007621124226867064939523371275304051860412911416965496370219324971292460631523171775657937655323329806977113360796253873612242644814473831491519181105044890297901536912*y^28 - 21402115232715285451432502004670533778529748234691910888595622529507353051393181016277559352699282933633436904658130714316641158003943505191319111026198304325405574245749254365942820047125019301793278031872946769237447250420400855825944067563692777857552748571747403210623931/2996264911256930516391321120272631163524080931674250110125199927282984263949450353584790678952066276863855001905281056716766234880842818826012965103227854241374092554831242823115157880792943914484413830832451744278340199063468403060661203618457872879795276261222574475384228*y^27 - 78762329943947330114539680418808025083176320977386598783264019994815443414832661739935620319652121017202121060096941876400604429404951634904380091429129379306010723062714930975143700759598492520220814257453615352075526056725100663141523878197179838333237493193049236493125733/2996264911256930516391321120272631163524080931674250110125199927282984263949450353584790678952066276863855001905281056716766234880842818826012965103227854241374092554831242823115157880792943914484413830832451744278340199063468403060661203618457872879795276261222574475384228*y^26 - 1870382612066362121353510265374133115912946974545399691301234717628712333780507739257351964929696711038544928531820087780202725364240704630445259218644869519562545059482693259103075793641710547633066773289248977378913442288435187963072292530542121907011248791240454661731234777/3995019881675907355188428160363508218032107908899000146833599903043979018599267138113054238602755035818473335873708075622354979841123758434683953470970472321832123406441657097486877174390591885979218441109935659037786932084624537414214938157943830506393701681630099300512304*y^25 + 4892879167115868366717126852352802767536655880746085511989829679383026934065301839560951036354585649648203124308222373248508524288664564428238066366913427392904425543163274407151724760835103877946719040110840290913606246171587574829467493742852276668913118798273580958154029037/1712151377861103152223612068727217807728046246671000062928685672733133865113971630619880387972609301065060001088732032409580705646195896472007408630415916709356624317046424470351518789024539379705379331904258139587622970893410516034663544924833070217025872149270042557362416*y^24 - 8396870383126435947194800119040471182081190023253817183826790379582142604130219253815760153896701754900474014468606557581600029685698524750375794702760272698698535383538611959821616731878994828314847590154639652324388613721017822216650298051997934830641294194600995427871574663/3995019881675907355188428160363508218032107908899000146833599903043979018599267138113054238602755035818473335873708075622354979841123758434683953470970472321832123406441657097486877174390591885979218441109935659037786932084624537414214938157943830506393701681630099300512304*y^23 - 108321062901723720753162980504909669832521960535405199477913452887094116457047915950234074260317688439057427127760248951988488251516921224192137469715047311986414244892830002453373751862933459758755736792379744812368521002922503342273652791983543759445756756196536152060870468043/11985059645027722065565284481090524654096323726697000440500799709131937055797801414339162715808265107455420007621124226867064939523371275304051860412911416965496370219324971292460631523171775657937655323329806977113360796253873612242644814473831491519181105044890297901536912*y^22 + 8880248373201529538433583193742786713087401025018543765672139177736469739311654660779736459103526651881638773195821759629154153880796235695344840812044403743570924399839670823031713216842755391284752399343246827262050432893419182984911339554239703777468164038121015828590554315/428037844465275788055903017181804451932011561667750015732171418183283466278492907654970096993152325266265000272183008102395176411548974118001852157603979177339156079261606117587879697256134844926344832976064534896905742723352629008665886231208267554256468037317510639340604*y^21 - 342732433131230146327392069218441557550119802719281314594009513257406098007890591924719749580916558436531607282629035103943705271169098101203069396648060495318122843187064198177752032477106596529402618593574555309232339575118888614597017164831492887143348490208246874679228490335/5992529822513861032782642240545262327048161863348500220250399854565968527898900707169581357904132553727710003810562113433532469761685637652025930206455708482748185109662485646230315761585887828968827661664903488556680398126936806121322407236915745759590552522445148950768456*y^20 - 70965610532121425513849742155977860855385147369453009077541647825556111142241694242664713636420528716700822657885251668328679687098845886010613470622378262008596570234567762418848155817900690693634688174043489389611866072796518541273901576214872611832556400688255619475402640911/244593053980157593174801724103888258246863749524428580418383667533304837873424518659982912567515614437865714441247433201368672235170842353143915518630845244193803473863774924335931255574934197100768475986322591369660424413344359433523363560690438602432267449895720365337488*y^19 + 369647437870007171896877273205243283081953567394181410508264831852779924784910413925913768303252930938671316070509973799766559831483445716815382127142252069185438501576240428582204878965577175683027832850314926424659995911691583192312439462492085517072117023825173209973839619895/428037844465275788055903017181804451932011561667750015732171418183283466278492907654970096993152325266265000272183008102395176411548974118001852157603979177339156079261606117587879697256134844926344832976064534896905742723352629008665886231208267554256468037317510639340604*y^18 - 13941973599593572264215763813054017727046282138205931556409440159015153229928130661526904565675284329423363420415788957960211464324490302379692559876024985010316911888716531359308007531127097146441708357168353497774616917953818178344561951451106677024848846855404022159261408429047/11985059645027722065565284481090524654096323726697000440500799709131937055797801414339162715808265107455420007621124226867064939523371275304051860412911416965496370219324971292460631523171775657937655323329806977113360796253873612242644814473831491519181105044890297901536912*y^17 + 1145868827161587066347256090471536783200185019647402375914200010896554593720620254035599116328688558181873350163870338083757125150996529913878638207701928752008327824472497557549369891905844350047595031714118932899817530309031050805621990956327850370756751290492511377011079197787/285358562976850525370602011454536301288007707778500010488114278788855644185661938436646731328768216844176666848122005401596784274365982745334568105069319451559437386174404078391919798170756563284229888650709689931270495148901752672443924154138845036170978691545007092893736*y^16 - 4007393455408470853130300017986237456717464972851671464348812572795416644182101776528914472909579090393074740278011952160442238883436705110565553713830549195967988441893217608682533081504472657649069536478661583508981057637737554404190180971706933027423176212301480810195489695911/998754970418976838797107040090877054508026977224750036708399975760994754649816784528263559650688758954618333968427018905588744960280939608670988367742618080458030851610414274371719293597647971494804610277483914759446733021156134353553734539485957626598425420407524825128076*y^15 - 101904539185916423332277435096350532328046527147068008342910584766920750863343692686000287894553139171611966938973786779650027426204774517969713622006812970588610228886818401790908125636560861265563983167147468704975748170378636038383977292525295781282151914841608603384226334380851/11985059645027722065565284481090524654096323726697000440500799709131937055797801414339162715808265107455420007621124226867064939523371275304051860412911416965496370219324971292460631523171775657937655323329806977113360796253873612242644814473831491519181105044890297901536912*y^14 + 18397190943529254825771659875273188717407869679089562319159328337844748426283899188752438131956560418500552867136605277443919111325072998675328991589646082209598932734745712875104436137704158441797999080683943491690673482256868332244457623775591673731568126002396282217674466672535/998754970418976838797107040090877054508026977224750036708399975760994754649816784528263559650688758954618333968427018905588744960280939608670988367742618080458030851610414274371719293597647971494804610277483914759446733021156134353553734539485957626598425420407524825128076*y^13 - 22263456085596657370703659574129352612543545216510304711538336072879851376901398574049214642680550556569319251442990223156002484228442592039521565954238396388634574793974599379571662360769216473835268669375317190703086801290229410520492199671016951269657075049945062588065557795637/1997509940837953677594214080181754109016053954449500073416799951521989509299633569056527119301377517909236667936854037811177489920561879217341976735485236160916061703220828548743438587195295942989609220554967829518893466042312268707107469078971915253196850840815049650256152*y^12 - 11375766622787975204188162835208876584706385890467513433989665548935376793647714588174486373092157507444503980897527293638202143735323917143200005594003871047177069285554842436227201556065739084961959789568601880500542246435006596998062560398806638524175451508828363548292729117651/1712151377861103152223612068727217807728046246671000062928685672733133865113971630619880387972609301065060001088732032409580705646195896472007408630415916709356624317046424470351518789024539379705379331904258139587622970893410516034663544924833070217025872149270042557362416*y^11 + 127188731521847245680914606372342201359966325787353533918471565477946591275758445096959018989808274398741869007454617369844378499965185845577748742532126468945630810645218062955087887413762923406736778145518662027655358476683281940410567119078845428708910928311148213486924664716503/5992529822513861032782642240545262327048161863348500220250399854565968527898900707169581357904132553727710003810562113433532469761685637652025930206455708482748185109662485646230315761585887828968827661664903488556680398126936806121322407236915745759590552522445148950768456*y^10 - 77250380808151432178633849097662692281458500155835206898557048559755793547575332707832901482998224763565458677988607422308429803000985734182248282973956400271123466195950817984638082780797040975082662616596194727946163578270270212487165876910476726835293979600865468355226662112325/5992529822513861032782642240545262327048161863348500220250399854565968527898900707169581357904132553727710003810562113433532469761685637652025930206455708482748185109662485646230315761585887828968827661664903488556680398126936806121322407236915745759590552522445148950768456*y^9 - 2688673582960822759139020285633213348329973783190287663368605211193964744555050209039967840368037281908027057771989170281723006156541132898300026548105283742611040992819495510653356627417620040498232962374976359410525400722623333312971711091502079395106043304901729546812685621271/499377485209488419398553520045438527254013488612375018354199987880497377324908392264131779825344379477309166984213509452794372480140469804335494183871309040229015425805207137185859646798823985747402305138741957379723366510578067176776867269742978813299212710203762412564038*y^8 + 76842159804093615570796931859845410982850659606236880423307077585033007374494732175979630042029001208958960215320662712674782231590130045818664109861464657726143777195819527040437315983488448605661652020239319277448446679232749459184225370548488981852625323760346355049646990256905/11985059645027722065565284481090524654096323726697000440500799709131937055797801414339162715808265107455420007621124226867064939523371275304051860412911416965496370219324971292460631523171775657937655323329806977113360796253873612242644814473831491519181105044890297901536912*y^7 - 2843838627867233309823959838657545887720345903037652113119936201073420813702359833764139936699152907831220224260080611775803603327769533117152152497833270150888275976531092428684318945048582490576761277925649264358582408132921639334845860576074388546696930897665105870674018351849/3995019881675907355188428160363508218032107908899000146833599903043979018599267138113054238602755035818473335873708075622354979841123758434683953470970472321832123406441657097486877174390591885979218441109935659037786932084624537414214938157943830506393701681630099300512304*y^6 - 269416398339134166284865074968199116079224828347563339588256430854597981487584226577713804380567081211986306782194653625897239858991786736524486126634249219122834703065458127953050627958663114838503897948272122641704490668075549663033684568711536401274962849248059452537706667955/856075688930551576111806034363608903864023123335500031464342836366566932556985815309940193986304650532530000544366016204790352823097948236003704315207958354678312158523212235175759394512269689852689665952129069793811485446705258017331772462416535108512936074635021278681208*y^5 + 1287540876534885828679479101247623732173920990513592283220828458216923209838314192612692938341664606126566917876066159136493780173783203386204458928088383615342032128565438087942456159394062188858672277133007043646846489831429838408235565010100828935189229382629000080375262584957/5992529822513861032782642240545262327048161863348500220250399854565968527898900707169581357904132553727710003810562113433532469761685637652025930206455708482748185109662485646230315761585887828968827661664903488556680398126936806121322407236915745759590552522445148950768456*y^4 - 404198979910429680653593432739778387530876713447469475186758382775970503949887648464701786296270499275948570763159215958542568846987686799999297457742327461221313849744829644771615438859729959258054365517452673735750188964012747776605877452863269091435216887003197626237511671905/11985059645027722065565284481090524654096323726697000440500799709131937055797801414339162715808265107455420007621124226867064939523371275304051860412911416965496370219324971292460631523171775657937655323329806977113360796253873612242644814473831491519181105044890297901536912*y^3 - 69646674412252861474627022613067656813401528488663183135376087888818249846436835211999671108379722458461752406846784626841449317088263468309258717907062690862883589204515633838099767476016116020203019063003610202750209606697972809463517228854766040361556858422727324395216248991/5992529822513861032782642240545262327048161863348500220250399854565968527898900707169581357904132553727710003810562113433532469761685637652025930206455708482748185109662485646230315761585887828968827661664903488556680398126936806121322407236915745759590552522445148950768456*y^2 + 2940086571411200366141752502044558106822520864992790896937569966555847058060212339626836253779620206326487239760723627668853053963142618968827088301385540046645657660957568201829130478393830399380714192091264358930904254070702689035060276536186151701055358739697542104109484853/2996264911256930516391321120272631163524080931674250110125199927282984263949450353584790678952066276863855001905281056716766234880842818826012965103227854241374092554831242823115157880792943914484413830832451744278340199063468403060661203618457872879795276261222574475384228*y + 1132910158169220919484583669131280459559216133672015838348741467289288583630122995358240480728097275158067181384895590250429628098429229106493108707214070217784772782477462944962395683598279236180204206812651697108314896327202095306461422778401565075922669043627261798037808193/5992529822513861032782642240545262327048161863348500220250399854565968527898900707169581357904132553727710003810562113433532469761685637652025930206455708482748185109662485646230315761585887828968827661664903488556680398126936806121322407236915745759590552522445148950768456

# 3 Loop Invariant
38222584226324394570031815193496027017435618753284081106555245055105473933445015075729952031417274249118875644631810295061930474242393250792034835829915375661672237557695466430568206067358115582504243967918387724059548658687169614885764406829008133844827534224085625117470107773392840997913704540727326581918946288409841093/9448222482527077866895322705617121816188715163951860866050918680160371179777682412014866076668894731424624287509935648646313552973960003500830245528948026652418802961439616224889080943293064979282534498178405873765706603231254801534967324275758368080335535880239400997457504788990314236803464328849515624961705010566518019792*y^30 - 1008320624487010688554536737925855504343874878630584337976686197582408994720282132837257819216791675513083473343375026192524376836081549796578589205334084264877194737377255754124584074064816973183585851672768080931364499887954166232068116832331867094343071077526392389757767658420867879628016114315252456556846412589025278509/8267194672211193133533407367414981589165125768457878257794553845140324782305472110513007817085282889996546251571193692565524358852215003063226464837829523320866452591259664196777945825381431856872217685906105139544993277827347951343096408741288572070293593895209475872775316690366524957203031287743326171841491884245703267318*y^29 + 53443056154453611176225930467625542741651235905003357196232455758310654110624651063669791840594854093639301621603310798379420975389940999096278709555454935684740610271175335995995440706606962721893090479664100825395639573616730588969645176470876611647310189488044589063295765153689884971061247365581216785422569982750890640323/33068778688844772534133629469659926356660503073831513031178215380561299129221888442052031268341131559986185006284774770262097435408860012252905859351318093283465810365038656787111783301525727427488870743624420558179973111309391805372385634965154288281174375580837903491101266761466099828812125150973304687365967536982813069272*y^28 - 449996115100087834091176882919388544110183451587003388371865224364263637862310507760238603415150418577271163925493368510769030252806680115269729473692150228288639053147346037837871294193342456906102767245933849542241437636185148168563542364683832568609906629811314642494450993916981075095492144589169707378303899963255556408547/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^27 - 1654925303812959043051236400146717973547640898016085186614022397196772785627837143187985861392107967939008617231111285149822834636638700940685023238662357594637417462641725285084673179901775767200236103269860067091422287604976890910940707831693492094672878092253553590046593136186221085339613394080787036835052866953218395365549/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^26 - 14740226724970865878506484696478796641817578951137455233907173139548590425506477373936961351699213250498574838156023685321792158814075604410069105918765138940872589752598493295022716569471712084210761126985810960254918004978000049554050624055257751879147392817504712159050151948934700715175022988617774070195033186047827214649785/132275114755379090136534517878639705426642012295326052124712861522245196516887553768208125073364526239944740025139099081048389741635440049011623437405272373133863241460154627148447133206102909709955482974497682232719892445237567221489542539860617153124697502323351613964405067045864399315248500603893218749463870147931252277088*y^25 + 3672740658231633899323337352123301692707409763755487548939634383815639058771780877287079562287927305412806835998232741962708211327033494306498122845769753605419865733505150126984587976981083825525619375755301606799025519543337828596975559107291705266045089922543852496355545195333422537981819435901260343007791673942694071491739/5398984275729758781083041546066926752107837236543920494886239245805926388444389949722780615239368417956928164291391799226464887413691430571902997445113158087096458835108352128508046253310322845304305427530517642151832344703574172305695613871861924617334591931565371998547145593708750992459122473628294642835260006038010297024*y^24 - 18920825018377189862762253010296896077588618614927329276426552450456134283746127586101779025378373805647429694695075412190277994947492765160518859097276758950667579776654513116039264092547357950904503959393853322896554006821607044312038991052082466064651385780034179408192738501847727309516651595380234999137657874729198468521591/37792889930108311467581290822468487264754860655807443464203674720641484719110729648059464306675578925698497150039742594585254211895840014003320982115792106609675211845758464899556323773172259917130137992713623495062826412925019206139869297103033472321342143520957603989830019155961256947213857315398062499846820042266072079168*y^23 - 284502542784115283602501560594621511207413936188554784583259962659233098502436608489796790187998344814193417477682000435220007114690796894184165310802393684546815496380811248650572241585207563706313835635182528722531292560430170020034770062515898781003447520566862220276687313853102231774230875393302240292894390743432413906290093/132275114755379090136534517878639705426642012295326052124712861522245196516887553768208125073364526239944740025139099081048389741635440049011623437405272373133863241460154627148447133206102909709955482974497682232719892445237567221489542539860617153124697502323351613964405067045864399315248500603893218749463870147931252277088*y^22 + 5833275480233876708591675277336460813837226188339111965016597421241601797000235501754778177385417308473777644949886830341324809334853733618974248937084690391038495569757530957343612461262168086157775635548951189734469686404296692850221808658431283085903533507512928676116612097422346826839195752721751759471211026593569446020741/1181027810315884733361915338202140227023589395493982608256364835020046397472210301501858259583611841428078035938741956080789194121745000437603780691118503331552350370179952028111135117911633122410316812272300734220713325403906850191870915534469796010041941985029925124682188098623789279600433041106189453120213126320814752474*y^21 - 257303468272698810819972010665340270544054677690687104282267454519636873408792853340375724746855659576151616837978909116412879401562092588544775236532310031294508702501508294665617719676005581339921306389247371960466775484995587810225332713657726157025741199521999361845081511746737709004799919183955104268399959063379074313178131/18896444965054155733790645411234243632377430327903721732101837360320742359555364824029732153337789462849248575019871297292627105947920007001660491057896053304837605922879232449778161886586129958565068996356811747531413206462509603069934648551516736160671071760478801994915009577980628473606928657699031249923410021133036039584*y^20 - 18267969509276566816384680327617337259527856488223291824516043842122610411815988523157759693215796649936437884096232286067107948003634624274049539702134985953874875684484854334750747315358159998873214420917624897302977231981345259101957263679460509453396794965883482988139692785265938429438664332511359032393914854613984271199143499/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^19 + 54387105924885303092488723712112249905324012562497068985883417425189735215949976521490433903823916231850530970318056960098809113138030973450941388941497059006220016269794370437671662956395687361654101228680668365340767489298979000179272131351242398873238258572583545310454892699495845631223481961871068113630250993881994116810515329/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^18 - 73284044107230827390723134090496371733565334806102269589329089872293521580390694167172180620314710508800076315910632160067926811295743016209207642088827375848982168332935641230183598895765101271479938023029224651914870471304147210161368217465987807129930802777431880602406322386004239671448377461119041115083457563723507710917766363/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^17 + 5161326708842454040735923608361012766753789459363079485907274862124056364050684852984210160838454974588236886871981336264429642552607175925251345812991718246631226197760701287688449166131946049353701306744884524398589028191198666384964591364975592356262337623417227636780671940928852912724014426742006654679626624573212232199244081/5398984275729758781083041546066926752107837236543920494886239245805926388444389949722780615239368417956928164291391799226464887413691430571902997445113158087096458835108352128508046253310322845304305427530517642151832344703574172305695613871861924617334591931565371998547145593708750992459122473628294642835260006038010297024*y^16 - 5159051570665059476635162899609444437329109201770069080762693051526410936525954734194355397113425806154764101606347440610872545723895834587266900592849652528020178874163307952497311623900829391139119932420666995563570287637793754320075790550511023981498509395547070630106919311952654769644964832777129846014112934316347202337695585/5398984275729758781083041546066926752107837236543920494886239245805926388444389949722780615239368417956928164291391799226464887413691430571902997445113158087096458835108352128508046253310322845304305427530517642151832344703574172305695613871861924617334591931565371998547145593708750992459122473628294642835260006038010297024*y^15 - 267606113003913369159905216595935425431402385591928886625052677937674715608662044665192384726528853244075405767716440966410043508397611295143845178686898363562699469573113110315759685357851296103892948248498535705755824966278152668507728742910318324026102541273199376667908958070614284464649837437659194304452563169395499118572387321/132275114755379090136534517878639705426642012295326052124712861522245196516887553768208125073364526239944740025139099081048389741635440049011623437405272373133863241460154627148447133206102909709955482974497682232719892445237567221489542539860617153124697502323351613964405067045864399315248500603893218749463870147931252277088*y^14 + 580063699059419668900284049073176920901905188790588339248741277749594087462303981527697028257666317799352039899434268583061543004132754279942994934639875081495138080965964566396132563938405604326084722657194547969417886600136228254553653426958598616444622950262696057222570736324626146943515552713038869031615347673570133514485046577/132275114755379090136534517878639705426642012295326052124712861522245196516887553768208125073364526239944740025139099081048389741635440049011623437405272373133863241460154627148447133206102909709955482974497682232719892445237567221489542539860617153124697502323351613964405067045864399315248500603893218749463870147931252277088*y^13 - 100366308397237319220517411136818034300437490891040744055909146644452225353567485769236755973322942533294716273351824992473284318646248982777337922849633002757802839850384129713408342000585889820100769427502037692420377128694904041832759452031391800151674530365055692770910703951948067623427362953110854908905646762894703480134092859/37792889930108311467581290822468487264754860655807443464203674720641484719110729648059464306675578925698497150039742594585254211895840014003320982115792106609675211845758464899556323773172259917130137992713623495062826412925019206139869297103033472321342143520957603989830019155961256947213857315398062499846820042266072079168*y^12 - 417801158283339293940086100785813724431108536798980828188316813110425696229028981788303026012881312491243638569841307675398731697502125917280216021908503239233522966572571574318704877463379698108570873710147161869181976045223467695343967995313543731662917443198114936245988921567257581484072829300532661084882425462150604689712162321/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^11 + 668294160495092135917921614417994270679802915318204499415877722768644581189685038334755183659407066264126423560599076741123789843801930837256617482519956162685691727234269201920561100971474873713340772475576090187071296393522051698919929616964054394631606790517678421380091559554670106483889041351983422399303396657483245363523695733/132275114755379090136534517878639705426642012295326052124712861522245196516887553768208125073364526239944740025139099081048389741635440049011623437405272373133863241460154627148447133206102909709955482974497682232719892445237567221489542539860617153124697502323351613964405067045864399315248500603893218749463870147931252277088*y^10 - 29019088611540850209362632983087792083892119527768016228841934636169762494914257635271530050402173622948552501319883177101184175354866016901468975229165170322682798864637102834698948101829354197454230429646563238452594137695308201897731811452012605129334695544300186035044292522147479624860162122075309706187119060279997370937966741/9448222482527077866895322705617121816188715163951860866050918680160371179777682412014866076668894731424624287509935648646313552973960003500830245528948026652418802961439616224889080943293064979282534498178405873765706603231254801534967324275758368080335535880239400997457504788990314236803464328849515624961705010566518019792*y^9 - 338334790364474858818005503509176139843614233766022404566283656334354184786489371321521669530500345728794127153586933670776668545863791410186167635274841353120476563290430170127782420633500534250584469409981109242658656195232176826936905353016056531886364763255917613990167914269591817197438174547990557815164035962391201153743587869/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^8 + 403797719138310738387833312961262094365171980394818748090818958720542935045891347079065574033598939931419895762898812287470010759405362180625338338814809444401131267465926820700145641693397206665187920541973026117709890842616651253774703826028458903689533277294867501080498763855956026895078931928405216629993534799592288758527509631/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^7 - 45110186254069893145517636900189557113417085998056496271128494209396533288188932529224611322797938140953227870183021604326047581267104201967249581588059860678290735200276709911494192963155975993194075427690279292330619186037443674863400226490288722758742388311967186371779583568756139177214539182403766811724176713929465540389527361/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^6 - 19743473164801549869362175181239273797955304159720348795617384814657956016118017399893432189373323517051985102427008718156869681740041233527617256202389109993420942507670521494646546123194712007958557874635912618138603464425785445278615668229555633837202329188788878815301976120885132987004615393952041677796309464586196842783461279/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^5 + 13530330498358136626531998952166509079766212659492981054506502314752788206924399084846818822703621760772614921257548975100495506229198990342724508884888266900246768558489356276427231426374105734857546730066586518626716397115890053681323384387713638157167579508797729655888266856173773083407794600936305511957886616118552470680622575/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^4 - 2132888359053478211044998051163628451703168894384036507513384951703574872398089161197037442425403818606177831171992950011597558293133079778695883397153213166359783861121285787301802590868903324809991678348613750202452696944969726246550971311536214418013146002239187568618512690848106285846930481096391691975644045717138670151133743/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176*y^3 - 14875588738671733187231694321331375004749277003561600662276133035758169437954703329801766130434284946009836349641331621205412676356716720722291865800199103079137040002650021446857932801284610664451099456934129929902379251416563821759830243251708608791955315425096985421068787701420784245949510602875369602235547216812694130979959/5398984275729758781083041546066926752107837236543920494886239245805926388444389949722780615239368417956928164291391799226464887413691430571902997445113158087096458835108352128508046253310322845304305427530517642151832344703574172305695613871861924617334591931565371998547145593708750992459122473628294642835260006038010297024*y^2 + 966903940115085269918694211806011400253977509781346264076817024049462833825634051265830529623204591301449989104079835967075843126631749004865050631214347977860286281927073068882396961512460917249761429545804558228634335054085966633581782660919481108986578150622291144114403370030533769259535346779777346217024787666505776820834/4133597336105596566766703683707490794582562884228939128897276922570162391152736055256503908542641444998273125785596846282762179426107501531613232418914761660433226295629832098388972912690715928436108842953052569772496638913673975671548204370644286035146796947604737936387658345183262478601515643871663085920745942122851633659*y + 11467043803121655912916616998493094979566795856063777943188741438313171447110743789838587363582471385502056841944211377340633012069566312812315868773488059909124308437243985187001626633280112171189812321101508980547585301909489518300555281446360279503880822635525563496322326503656796828041882480472847908703734934238463899382671/264550229510758180273069035757279410853284024590652104249425723044490393033775107536416250146729052479889480050278198162096779483270880098023246874810544746267726482920309254296894266412205819419910965948995364465439784890475134442979085079721234306249395004646703227928810134091728798630497001207786437498927740295862504554176

# 4 Loop Invariant
117141626153657582966288312910216789957926348996917177270242275102168904335173493942200148601335689656714616159767380726427096732720824867210795140796600137453652796735290529045294682105719939353742043100559279353340474506305216358364031440623876280367690174228618890636256461497512100546814865319180629186248417375287237553850029145047041123288689010426543904244227211510829702308615409841036375831044441456181995333521808563527709/10440686305667300764449215993589429724667785920709901132579865687729223466625310914374681360918606051471328486836496573214534221291761878295717977470345827409700783727013584331872317513463809373555853883934029566972127881009805802672417470402328051816281246668934907946865446614511284321664180960706148375081882663122301657594945184470121039338425007868336236271248232959723461959825273994620964160245501494019654302991972726666497024*y^30 - 1471528460360048208623432274199776127774237145888749965226689347145837345561104383673382086563181712637917920300136055624047638350197691678763294479568600685738719611412442814031670049402855934332882781008157633802794207868945098985748501765120701439836576725728100443163244019690893776629175298615420130972436906135201059690588448561046873027854213782959634471451748245551728067680065897545992906970596175126595889189722938099776431/4350285960694708651853839997328929051944910800295792138574944036553843111093879547656117233716085854779720202848540238839389258871567449289882490612644094754041993219588993471613465630609920572314939118305845652905053283754085751113507279334303354923450519445389544977860602756046368467360075400294228489617451109634292357331227160195883766391010419945140098446353430399884775816593864164425401733435625622508189292913321969444373760*y^29 + 58495126067465162772654266727392909077173782825597622738517185072450707712670499158262285019013449362965653235832267613381525664132856841556949854606632250460916245679510910742441583673810190749206233736891695823079845871511997210464061039461075898762444408543670895936742323994349386938879890960830827911633180757777106106440401891182413175683685699141082566166791844560589501721143914239819935592250489206540325158293026503197346109/13050857882084125955561519991986787155834732400887376415724832109661529333281638642968351701148257564339160608545620716518167776614702347869647471837932284262125979658766980414840396891829761716944817354917536958715159851262257253340521838002910064770351558336168634933581808268139105402080226200882685468852353328902877071993681480587651299173031259835420295339060291199654327449781592493276205200306876867524567878739965908333121280*y^28 - 2051934404580436121392840123877468877823787196196118436169311726755989684111447485267125022951258759355143673316941817897270868333727718431671165550758076003076376411149899427487532753295179969814355339109770953740163404375615822961547376370607466262314281113718599336982178631278124483394365911453252255651147530401703029720170467187160785406357495253644240225298957410989119455985130514128587427429196476384829642806220482705125683/435028596069470865185383999732892905194491080029579213857494403655384311109387954765611723371608585477972020284854023883938925887156744928988249061264409475404199321958899347161346563060992057231493911830584565290505328375408575111350727933430335492345051944538954497786060275604636846736007540029422848961745110963429235733122716019588376639101041994514009844635343039988477581659386416442540173343562562250818929291332196944437376*y^27 - 181164069098547190484841914854539898043095575426785707442894846979105016340439806328124673708500605034514158045730418523658343687674887631563932024857814024619587155905233331528635594194425351685851871082572407100876181398811130934736906183771032873169139854549793998016141439507801020845764583087759072263168682465026461489469913200706302348604115026411664583930671448974306829384462424807300597944068125402965838630594221818068768887/10440686305667300764449215993589429724667785920709901132579865687729223466625310914374681360918606051471328486836496573214534221291761878295717977470345827409700783727013584331872317513463809373555853883934029566972127881009805802672417470402328051816281246668934907946865446614511284321664180960706148375081882663122301657594945184470121039338425007868336236271248232959723461959825273994620964160245501494019654302991972726666497024*y^26 - 2688988389569437842088990532307783870833547278691472387486908485115027789015221875663523509337434524863880533281093223363292454891094538947829465438988382394960010873026852336656605347461992012837061645813179180361189513137580589497013690158876339527508236562261082193381566916916600918304917745479583832169568422927535383374876882555327024201453642997622171310813993542912141241087125200972623536775009838901532114773843820133393588551/8700571921389417303707679994657858103889821600591584277149888073107686222187759095312234467432171709559440405697080477678778517743134898579764981225288189508083986439177986943226931261219841144629878236611691305810106567508171502227014558668606709846901038890779089955721205512092736934720150800588456979234902219268584714662454320391767532782020839890280196892706860799769551633187728328850803466871251245016378585826643938888747520*y^25 + 14069667709889284263783437304970461908231386593976721063291696755618710339882604691911482881705525549410486346433763097068773264785945387268753518961950183356087439062772507676897739642287425170389892432117965400475470525775303842881231016622245633198590293250793979746586210294982666772229946606481862274191160167324935236299967185458047552602346463329239868894806941517473893750333675386221863889647738693718611218122592112847205103721/7457633075476643403178011423992449803334132800507072237557046919806588190446650653124772400656147179622377490597497552296095872351258484496941412478818448149786274090723988808480226795331292409682752774238592547837234200721289859051726764573091465583058033334953505676332461867508060229760129257647248839344201902230215469710675131764372170956017862763097311622320166399802472828446624281872117257318215352871181644994266233333212160*y^24 - 72463547006261014099141251258109742598602302357147177795092248967729906689913660938590645721914477148751971975544542809918846898618587369734445903303802265213981158034163047336474590889634560683170763205355938667396569219346472168983285882508159264641219240828948505476628786596510221988713942016149243008423235346261769338172716651277182679156664641312551695755485908661336102080953025782121784929069832013789190912767465043153272693713/52203431528336503822246079967947148623338929603549505662899328438646117333126554571873406804593030257356642434182482866072671106458809391478589887351729137048503918635067921659361587567319046867779269419670147834860639405049029013362087352011640259081406233344674539734327233072556421608320904803530741875409413315611508287974725922350605196692125039341681181356241164798617309799126369973104820801227507470098271514959863633332485120*y^23 - 311445130182022368668852441646644058411907983383593430806645038562545999889603245174022318851443094191312548318094151776456180140881161947078544800941385004379409902529005904254314347911191901298410491100532284893071033715387235631065411673273509348967381570646019637091172080494136538672643818234591024076256674760819923620608852464374242284513203211359619181873112792616498327476113347218748435736242512986164485226391635931333227418291/52203431528336503822246079967947148623338929603549505662899328438646117333126554571873406804593030257356642434182482866072671106458809391478589887351729137048503918635067921659361587567319046867779269419670147834860639405049029013362087352011640259081406233344674539734327233072556421608320904803530741875409413315611508287974725922350605196692125039341681181356241164798617309799126369973104820801227507470098271514959863633332485120*y^22 + 1135002219926940011509424034210642397971734088563213679077231023384071991695270009082113732754280284791102390210980535558039770560203021074670474543911700376472437444421658860772970241909510813365172417990908246238363669611982251102585445670976033579810741325720223413807058666452735737223103437092849616889867329027727297342271331012957894834278020070012376272292120242598139716526488910414616445342656477883911809970640282341257257973/82862589727518260035311238044360553370379253338967469306189410220073202116073896145830804451734968662470861006638861692178843026125094272188237916431316090553180823230266542316446964392569915663141697491539917198191491119125442878352519606367682950922867037055038951959249576305645113664001436196080542659380021135891282996785279241826357455066865141812192351359112959997805253649406936465245747303535726143013129388825180370369024*y^21 - 219021150462930860192889050933062004911663367863526057378946970395158486378084462231512551345267253197064344499422891710267591890552099148249426084002173933871950213124947696002055290709852613366535964773767700510504589231599805351354896416661282480967400842287658378762008240941891347800032989584249661396733407608625365616559959233651616941534585353575373754921577461781994329969337724960732343351816674033795417343857135072569543301927/5800381280926278202471786663105238735926547733727722851433258715405124148125172730208156311621447806372960270464720318452519011828756599053176654150192126338722657626118657962151287507479894096419918824407794203873404378338781001484676372445737806564600692593852726637147470341395157956480100533725637986156601479512389809774969546927845021854680559926853464595137907199846367755458485552567202311247500830010919057217762625925831680*y^20 - 17853552719672426522564086874252980199308142883100015699518612548817683111826703348558769161273075287286098409830748221062811583528706002895870458430889741530780389007169360923138495962627529844227736577905617835751317482727068498551091855489042278483715562795202036882644096906725485088258111665415411636013622580635764391999061225581309596056773065564253571967009454861577022454295201294158720788626570156781972853017843426597304100221/93220413443458042539725142799905622541676660006338402969463086497582352380583133164059655008201839745279718632468719403701198404390731056211767655985230601872328426134049860106002834941641155121034409677982406847965427509016123238146584557163643319788225416686918820954155773343850752872001615720590610491802523777877693371383439147054652136950223284538716395279002079997530910355582803523401465716477691910889770562428327916665152*y^19 + 425198796109619033871277733130439034871318600067332871180740808685499932948464551806331415572859840647987114198250778394824384593847515043704648149380334992856959676014284576928306992239480860484168771841194881795972011474992415928313293737417521296426905410795495261552471541246516157298305616970216987839745709241524404014289716980774377646190929043867265776642142370103714231079238119865637515386058317321096129473758136255823692186053/745763307547664340317801142399244980333413280050707223755704691980658819044665065312477240065614717962237749059749755229609587235125848449694141247881844814978627409072398880848022679533129240968275277423859254783723420072128985905172676457309146558305803333495350567633246186750806022976012925764724883934420190223021546971067513176437217095601786276309731162232016639980247282844662428187211725731821535287118164499426623333321216*y^18 - 2227633510649432672500153063567187279978430859045787464256168057451065413195973222476920187989981638036402883111544949811579798749359612729347559272224928177611754806995756287587799597162570707451490179079725653147575191411433792260988222327762391988118379734864481495205112886508260732326969655268801434062059076825445757080270272450499708884277455239709004911455522473120363931424463503338438732111082553945713651532459299738608979316571/2900190640463139101235893331552619367963273866863861425716629357702562074062586365104078155810723903186480135232360159226259505914378299526588327075096063169361328813059328981075643753739947048209959412203897101936702189169390500742338186222868903282300346296926363318573735170697578978240050266862818993078300739756194904887484773463922510927340279963426732297568953599923183877729242776283601155623750415005459528608881312962915840*y^17 + 2471336324621476112149389176067676666814470521896971987980033767396707487574562443077382077200332699542825418682820764547577499827837787912536727421889519618159503640892314346560501197423396542114453583079505492402451632056218228131846744889367359599517432010450298600152817216917070877154702353871727582725097737823248197722456525206441118632986293091595216654926762663102954104389503920438181718837851192263813496520625834075230112785467/932204134434580425397251427999056225416766600063384029694630864975823523805831331640596550082018397452797186324687194037011984043907310562117676559852306018723284261340498601060028349416411551210344096779824068479654275090161232381465845571636433197882254166869188209541557733438507528720016157205906104918025237778776933713834391470546521369502232845387163952790020799975309103555828035234014657164776919108897705624283279166651520*y^16 - 1152650616008554812359050031343335625308624872674879431515109383387344192527681973477286831768600537451563130966723125051900285526893046893960998611473100877215161493513273186500307953083787419287458448037290909711656767254446661300054742556083439623794891161062586996479302940519392872122153163775237460739902560221098153751293593241231129422334247832200934220708027749163531851757371136830809794181879730630381581044575871163180777393571/435028596069470865185383999732892905194491080029579213857494403655384311109387954765611723371608585477972020284854023883938925887156744928988249061264409475404199321958899347161346563060992057231493911830584565290505328375408575111350727933430335492345051944538954497786060275604636846736007540029422848961745110963429235733122716019588376639101041994514009844635343039988477581659386416442540173343562562250818929291332196944437376*y^15 - 73243884116503745318670686320620319581901809604890273062344603339891265804428582877877025042101227833193025532693168355312845589698343977414354239587966436757428009299015594415770710556890071014492951398474644042824047735664725227652600764214808619041301457914018413249809022890458788452972100204676624083348158104551650523320283361423823836323480187809381737024086499072535837592631190592764983258078220576331526102208457060616703608686277/13050857882084125955561519991986787155834732400887376415724832109661529333281638642968351701148257564339160608545620716518167776614702347869647471837932284262125979658766980414840396891829761716944817354917536958715159851262257253340521838002910064770351558336168634933581808268139105402080226200882685468852353328902877071993681480587651299173031259835420295339060291199654327449781592493276205200306876867524567878739965908333121280*y^14 + 126975480712567240679500450634306715410690741083618496345027807606240480841933165342242939713762617874852118662895045414998725145111495836442943852082802914326100221047078872907307044712342899176469598441659305707352929456915020845229440663161239485445968430786434702631598289306446412077264695408934643223922404069576821878810494360106383704280336198935824711984976313146597856699829550228563942328466524158498209157433971765806060044472757/10440686305667300764449215993589429724667785920709901132579865687729223466625310914374681360918606051471328486836496573214534221291761878295717977470345827409700783727013584331872317513463809373555853883934029566972127881009805802672417470402328051816281246668934907946865446614511284321664180960706148375081882663122301657594945184470121039338425007868336236271248232959723461959825273994620964160245501494019654302991972726666497024*y^13 - 24017663321977151588772379038901385564338307921201783706077263116176567797850450933707405132721754681836165184993110042397059393984411231580875350790699081008822246727107886445890814930453160493826114015758613650698338269622297753213058296718104016404397747260843410156538831900196070511350698209344205152155670596350247049293935840273810046947486779951071308487120076106660207246764201260413552141957097766458771306249247799521929599106853/3262714470521031488890379997996696788958683100221844103931208027415382333320409660742087925287064391084790152136405179129541944153675586967411867959483071065531494914691745103710099222957440429236204338729384239678789962815564313335130459500727516192587889584042158733395452067034776350520056550220671367213088332225719267998420370146912824793257814958855073834765072799913581862445398123319051300076719216881141969684991477083280320*y^12 - 2724348872129063230825892934480627957978552764964855260834112659626199900920256830743436791893935847402883235291331266910051849634010644951239226817441049734390265935823595291346245965232946727219256302470225471778635082593523816922080597283351776374604987266887749360350569378041997513273303553826370738660806433768621741444830453659927208225394239254124319156503674917145618733640740125909445650851917642576597522270183716794324719827951/621469422956386950264834285332704150277844400042256019796420576650549015870554221093731033388012264968531457549791462691341322695938207041411784373234870679148856174226999067373352232944274367473562731186549378986436183393440821587643897047757622131921502777912792139694371822292338352480010771470604069945350158519184622475889594313697680913001488563591442635193347199983539402370552023489343104776517946072598470416188852777767680*y^11 + 731493443348437213803014366770601677834480036149205542786588355091913201486918381875967487173747885492817592378842636980310556666686680642398153023076340880297457546991412821914012182596397999196470722943533400215352983453731306034413140853015734509798537902072087834963730235676510060563081558578310748632008085534176486563884772705506848877740981485826614345866941642973226131289861558553205626007176095760903961317792421110694253986970677/52203431528336503822246079967947148623338929603549505662899328438646117333126554571873406804593030257356642434182482866072671106458809391478589887351729137048503918635067921659361587567319046867779269419670147834860639405049029013362087352011640259081406233344674539734327233072556421608320904803530741875409413315611508287974725922350605196692125039341681181356241164798617309799126369973104820801227507470098271514959863633332485120*y^10 - 111115894056885034023516572082245321026337160994947581811793708082477226870039833112913746443432628259640219256106947775933497720742514975946362990124247240782810411385101902066436431092198473328777767987875285816571485603785813874499856488169707623500347199765831095875643163118415104930642928272936176743081768152784210045869028650558639198701031152259334513757164497990313023446789394938524191795999483790569051936179775948727139457086421/13050857882084125955561519991986787155834732400887376415724832109661529333281638642968351701148257564339160608545620716518167776614702347869647471837932284262125979658766980414840396891829761716944817354917536958715159851262257253340521838002910064770351558336168634933581808268139105402080226200882685468852353328902877071993681480587651299173031259835420295339060291199654327449781592493276205200306876867524567878739965908333121280*y^9 - 61802943645477626378895686766519962350527443628060250356393693885033138491900240493597669224987545468900391223991772580847159075772571979431221522832514297113014857421911055424624005016879205227529070906659935185460493894191681727489778033255863277857015653374142913674728996717269545173418877772597924395540768862665252368440556109395138744018093386718070228549525569901262048465590860922309657749567317366759711715553822188346490752525663/17401143842778834607415359989315716207779643201183168554299776146215372444375518190624468934864343419118880811394160955357557035486269797159529962450576379016167972878355973886453862522439682289259756473223382611620213135016343004454029117337213419693802077781558179911442411024185473869440301601176913958469804438537169429324908640783535065564041679780560393785413721599539103266375456657701606933742502490032757171653287877777495040*y^8 + 220987578944736720237101996170391608025159360878284412984408481860111744481400787771593871413883676052136056461139124788495764245816609971191477961832994697442211919647945163172164155572791243127434637013055371804891671733705429072953751522590862018331566517956994514989229025709750230300878859976301520101555602294602950595554778063633521553191766394150268858386189912566314996519965321031783597400421515890651843893260718974161368157158089/52203431528336503822246079967947148623338929603549505662899328438646117333126554571873406804593030257356642434182482866072671106458809391478589887351729137048503918635067921659361587567319046867779269419670147834860639405049029013362087352011640259081406233344674539734327233072556421608320904803530741875409413315611508287974725922350605196692125039341681181356241164798617309799126369973104820801227507470098271514959863633332485120*y^7 - 384222340901003266401384581048451297887530046182468201531130182265352528329663566295442330494328415267126813619359451083259408425590940653134656170972369674905648872061713491395500153553688445344354953035257788256465099028584999616068396100857181037173567575710759419528247013358863516733000158459714129270275690642204303088564382343152186103182148317719006610528374248296198514032488311432571703551276950482770621807131194810792067806797/815678617630257872222594999499174197239670775055461025982802006853845583330102415185521981321766097771197538034101294782385486038418896741852966989870767766382873728672936275927524805739360107309051084682346059919697490703891078333782614875181879048146972396010539683348863016758694087630014137555167841803272083056429816999605092536728206198314453739713768458691268199978395465611349530829762825019179804220285492421247869270820080*y^6 - 773629833964169877064927074021836782429633109075061191310308773125974706149958289747825389170164719855202192043483778630677221242061019378206870430346947685650010830734768527271122009936809056897793261698757081735049254204006018384017696644512306309971472908676099104090099686154405948942990083968022413624259794148958684245033374217985976151048729732895469316171049443519778523197839722369194359361795273682842973691618889612933153377619/3728816537738321701589005711996224901667066400253536118778523459903294095223325326562386200328073589811188745298748776148047936175629242248470706239409224074893137045361994404240113397665646204841376387119296273918617100360644929525863382286545732791529016667476752838166230933754030114880064628823624419672100951115107734855337565882186085478008931381548655811160083199901236414223312140936058628659107676435590822497133116666606080*y^5 + 3702498859107252179556803987675294629923637572793559530747751460348942282476593343412734677137617286690376042048215535196080416466607040699920325321223864719492680160325992732344565671258310098331681468449853130211281124798070343238127194268774326878795436870056706064370894689397397626857585795975934679735944725912507014924982184673719268633840804532784867527175157066462277440988487863214609066640348777556622465596005179880912076793639/26101715764168251911123039983973574311669464801774752831449664219323058666563277285936703402296515128678321217091241433036335553229404695739294943675864568524251959317533960829680793783659523433889634709835073917430319702524514506681043676005820129540703116672337269867163616536278210804160452401765370937704706657805754143987362961175302598346062519670840590678120582399308654899563184986552410400613753735049135757479931816666242560*y^4 - 129352764875469957310904504610671579379990944860818791884656533750640571950313549599830438682791467539164434112232345924379046854137267912699509278396898275064524453575872991963891325711888288466246033233526957007724807688568981720941702095037811959875919789186939459478181705387195603224001586465005658546021537803231374713397406610497300528117953720344658758414601257516118832530813995836405624046604197829353411209725093847261083258573/5800381280926278202471786663105238735926547733727722851433258715405124148125172730208156311621447806372960270464720318452519011828756599053176654150192126338722657626118657962151287507479894096419918824407794203873404378338781001484676372445737806564600692593852726637147470341395157956480100533725637986156601479512389809774969546927845021854680559926853464595137907199846367755458485552567202311247500830010919057217762625925831680*y^3 - 399968979272230284674951576856072140229181464765020991780392452398313272838256562313560405162089164959000369953076679860902263127155543081340450469772560680353860450526957782995627099267122779676877535943376622396109161066922790978702228433409098599974049504669833011465929075524183547048854903494398151682087415131793101588707203558917833994010784651114329012158916213582917262405480401596299395211753851293572050736584070463602667766891/52203431528336503822246079967947148623338929603549505662899328438646117333126554571873406804593030257356642434182482866072671106458809391478589887351729137048503918635067921659361587567319046867779269419670147834860639405049029013362087352011640259081406233344674539734327233072556421608320904803530741875409413315611508287974725922350605196692125039341681181356241164798617309799126369973104820801227507470098271514959863633332485120*y^2 + 11277201306073121213453548893387399055360035295156289212994687056581359985362671293290039974180192455726550208150910798401885243503331466234509687267995231190159067810679400066947671579593984335781217722656926098663042826438409578807252199862050062914110662032555034177772456353049660463944346620959524042291335736468470510095980420261497341959447170475160120264938111559461715138062153405074031078272419026244347091138003863080642598183/17401143842778834607415359989315716207779643201183168554299776146215372444375518190624468934864343419118880811394160955357557035486269797159529962450576379016167972878355973886453862522439682289259756473223382611620213135016343004454029117337213419693802077781558179911442411024185473869440301601176913958469804438537169429324908640783535065564041679780560393785413721599539103266375456657701606933742502490032757171653287877777495040*y + 1573899152255003171638854611853640134008830181955565923999640408128822467193852597944319855984957468122284127821828713673922488837771935151520529907115806805234024166483782193848275196229415082413540737938736281877024938815846645372924827309318406032942149894397133434919469573444160674453301095550117943144108496261142842229310224134518906503245419940408761535617152266620302202516782184740796439913503924892163888472279618258528412101/13050857882084125955561519991986787155834732400887376415724832109661529333281638642968351701148257564339160608545620716518167776614702347869647471837932284262125979658766980414840396891829761716944817354917536958715159851262257253340521838002910064770351558336168634933581808268139105402080226200882685468852353328902877071993681480587651299173031259835420295339060291199654327449781592493276205200306876867524567878739965908333121280