# Manifold: Census Knot K8_192

# Number of Tetrahedra: 8

# Number Field
x^34 - 3*x^33 - 26*x^32 + 20*x^31 + 133*x^30 + 1337*x^29 + 373*x^28 - 20916*x^27 - 8806*x^26 + 133952*x^25 + 113384*x^24 - 298438*x^23 - 248305*x^22 + 128468*x^21 - 588698*x^20 + 578830*x^19 + 2667064*x^18 - 1466234*x^17 - 3064005*x^16 + 915392*x^15 + 1323092*x^14 + 933597*x^13 - 825144*x^12 - 725784*x^11 + 317199*x^10 + 223423*x^9 - 69599*x^8 - 31781*x^7 + 11669*x^6 + 552*x^5 - 1759*x^4 + 183*x^3 + 162*x^2 + 9*x - 1 

# Approximate Field Generator
-0.281382735044717 + 0.734841650562004*I

# Shape Parameters
-1963732070198424849813319545329987399099544299291141793243904657764505107556211047409931034466981475532020/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^33 + 4950940640326085844891970370764903661537501941335837592519506500762560222949755622267423589665088166007281/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^32 + 52832110707477002357893443992613251650497468288257580345754778525804820897733422427533697788882390015748526/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^31 - 12393700729499266554688621865574161204211497389607577278341787550994750856075751354143754245923364226028906/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^30 - 251292079793678133914269165582207083749712369292300212245651228835481341734891896440911497856095031524542022/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^29 - 2751841903445385385830194231155004215179820689136266467943959083660319678666192857272101849939534276147387472/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^28 - 2125945951053914136405343584106932457517658912642619184269700034243512649751906178646320679758679529619261044/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^27 + 39231715246403243511183337334655535553545239637587626302817314129733805723032966873903183038278413286018451729/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^26 + 35549744962276888746444539997508125254873929158380726339991863933009030273445652875923849440281138367683063133/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^25 - 234028010207159054394632352253265484861066786127007459833210121805372042224500942653121636084640513259889390651/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^24 - 325583326684885537566757889287613788298593997112778938528664599485395174389410910662286239322240072055310616730/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^23 + 357549623866509321759232121110190704525309751391918030987177393536668948761742318506360431703248730812120741958/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^22 + 569861788142823812785361145866149875615857690473152613488595510836195146922131530158133618870783785258094222813/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^21 + 143610233913024007470743082566056009198802531098838887021062712615093359664679602218632255129609052926784371721/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^20 + 1383524259139971718934321294720438505564803356979009326732705715643737936761950545358593315461850167980576616375/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^19 - 456151755931277625174487696479455673734131925844436042522194297929139512524689736678854405832581116419649819242/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^18 - 5044073927872486376765532862410667939644391828133032236674955808758683385619294725895646298115533692016108897057/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^17 + 267095875777806853965069864849112159001035812514035289267853965897410838281391910091104218792410057055556970887/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^16 + 4629499180191303409465311126181295099503247985514246689441880956242360406494411001155038739459154414436978595794/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^15 + 715431449316516310448519735210337068195803794340372874748518677421641453353106687037339155214772264572417827498/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^14 - 845833112156466132234126626776850159901755782452417565747605765726748847549960790244127863665901855307860511476/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^13 - 2220775072892544059942446275738492500898779402947256379363837280758995311039789227010073270746350788221573868291/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^12 + 254928853401143966448136011108073049881069881742630957302632418625631314702856843473528616187085449750711467197/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^11 + 910342570123430362712353590268259299698844593885900513703863828472176063506185169616519360045153237940000841157/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^10 - 12822208142560199775985222887464649255926754098612702868277120214800008205778769031063129912401212117607014320/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^9 - 172959549317306067202920425724626694560818469859184236222596650045823552667513727422339358326613951034518856693/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^8 + 9125186816310819616520184269697801809334739110371549610136993199890826585396262440404259090926993260235823006/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^7 + 12035956794195813690182263321641776871965873486250932388879586997274284553770926561720691612628415274949981634/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^6 - 6266844874721724966847674871971845154352953717200336381636564834375466570854824572728257125791551471299423249/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^5 - 226067095362672528849879418389162040433182770503869914809411793375350968691506077166616825906669593387611870/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 + 740663450358861417739190162408784047587755035509226510809894702812266514394463624082919612894079321244765789/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^3 + 147780855235772073667232387218986485399138422814707779046371407110631707549171648753151842871909236490454609/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^2 + 21468639539935724406551234451226146086930778178479760575748250740660270964148981258797928199941341473606404/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y + 2002919744562623757200073317066874607964736684112447518265370268261724278975583417151943482889415690000589/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273

-6048253389867806415972876109940123540862816708717355290092142582770562599870640682419295737164146074705720/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^33 + 17238197959745722758097494143076401445680605231854824047915680729300126977351925506135921030321814525076328/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^32 + 157920994272647458958660011555861948391324520048208324469750138146173560643437335119289305900031624207955287/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^31 - 92274526506794751447583362573929002116966436690964219207952523041308007574058889969078674715094137940802104/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^30 - 767103746934397877562307054446089201301631589976863488471230539123063525628332152482174997906425426061599708/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^29 - 8218667864965251762502759574579816844532797421049405557095473704291805866796761840891985344257778288274366720/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^28 - 3732822890831762422352598323339255610441978730114001843295444142333731903022118626741707857264565122432064654/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^27 + 123282799808706484580139807580839314852193247585685188408495661353888621391032163927400279981334278465608554916/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^26 + 69927836189963219196929044195405444561748039041022509976305626433941827353572255064012594197080640428451700252/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^25 - 761147672875755349509236166273671702798015215942346206020197731726310249907437948106885963560999712335900839200/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^24 - 768834220010486407613749751860720981784905921858470350082196021011836894296682006628832513160531019909976181536/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^23 + 1457361729264743464849800289034147949204367661569536822865497678055051903188935121185652334982691866171094381270/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^22 + 1423995660523062142313792627029572164869158396218284658233217559265836592597958627914914214163929157559477909268/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^21 - 180338959823297579866668411317373025561230980995845393004801232412846124534154601117354162644575014858437085275/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^20 + 4060761564142011264266400192939548636945048011303384188283013538651875454966978839428034881100046288517610188765/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^19 - 2810791568974237396040119624677757316323672856792316245207804628754869556208677297207594483995385569098693524825/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^18 - 15222764280124171395923237452526000991200666300816187890754355763311827885315138749466296894774808918859908965367/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^17 + 6007914651875905325577605673285738223939732301648611172956973013031550753492137804214677419766824519509520392243/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^16 + 14530006225499653741648220847282732257320711273650545054706957576757312165039999821365191674763871595802255227375/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^15 - 2614969095468413004594189064731559769195378867844016605061661181064598630996728330479174879153552872876965442183/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^14 - 3829325574605606544981127226002335103729301498983275138327455543654133966316466641519934803365291712670781948193/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^13 - 5963993532962298792672426680200722663246587340400736064883637625480094353195039339630394559326198445672381856359/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^12 + 3142081334464769642464351310716623593992777848005303172633789364446171035836656175091360749068236272592806951664/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^11 + 2765447975378849368295658592004737043512655355010792654896110530449727496498951728216846196606095206342750779177/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^10 - 1035540118056628272073151787341987485344845284646204120939314060393158336364084425655305460806927111742487372440/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^9 - 613842694332900082381983179377766414372621326898221734333853126443278989575518892951239599469481011554700553764/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^8 + 225551178646008019589545320926934550262934138897475682465641780997381833174510290965919482477853822375864800135/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^7 + 47025331394986625587710720108127510619516509348610844114270772802314006564160339921765175788518286293901914831/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^6 - 36791494694939007837733196452602659051344020842538023045277797750656527032754134489219357312130274367088907262/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^5 + 4315227591257994894176588461545391041369340441623103626510822455335221396118030805377400846531939981290679968/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 + 3558896782214095846997952576517086264609056097480448767001602694265152836809947544281876317609515975545032245/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^3 - 396938224912821577912041915218746128019342839209145313541310981084599851350216480795772170691363616623107244/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^2 - 183812428192317355238544427950374089238290497812058620184759366060942523284866673286043015609645431723952848/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y - 10865067682945367728134404051411849509118477071363943140115379292291983725193509189583409182102053043671158/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273

1419468573768420736112795762643921750459736105828683025330063235132063030299561628336774994510908915596503/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^33 - 3785388346269536077107677455942190729712281483531054019989140467316818675979792904186997070761007376484478/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^32 - 38642943313437976869789848210189103595557778905329417056600120971691648009210557120108704004918765773135151/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^31 + 16990986496877359517363208339131213621987708959113615437467844357020755211498097804894792629005610161414167/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^30 + 206515379008874276910029459319924565984130711760025582873842809082845181716318161081603747828340184259017516/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^29 + 1956136886754749717485167870290816137927465251288786346267044887614002694856714280551813181680468842059768982/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^28 + 1122748078511337994059344269710209630179651603474383428069923344394306031498518652892376659548808696435036587/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^27 - 29945503012205244753077278097135620258735529892008971339039434152883705265000001924415277560773231144907989902/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^26 - 22602574516847965106696634465703101116532798165996903413633851554946987259604674758423059988677965909163469781/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^25 + 192382937142143663152313673584977981193030587655695203689761810423466719074901486939420038091233791416157717657/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^24 + 228022884567998744071616766910171667791706051632411981527077761370872035223837734654620376449106437484981824292/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^23 - 409033071873722368870516998413312502837069549998174356272879305378532376652015049879147197742379684664343295833/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^22 - 533641238318353729857596953723216736008341819131584322381185767465667331140272972354217706242209861195564275068/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^21 + 135763955646770935339122658572338774273944978524383234374328988874081561196756327117394557051966049580273043013/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^20 - 707526210545153354069095691359184385847484262589502791004125843772160664372619755589240670009524536339379096615/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^19 + 540264971424448698562137003324535333065131985007799064053619286571072608935413508100476601790790352755788847082/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^18 + 4286290204177629987113333441636347622109500240043084560237149993147405387842436334017344996240748488807121353521/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^17 - 956421900413409620245063658448242413649284837201663701575774849293796596041100432888608661298636627226307935952/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^16 - 5809594700345789529026621934186733789653665726571156966541598135216123467694566713163164531337418153489748056469/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^15 + 152736195848900095242713676961203615819822585885565561475300670842606671242165970758650639828580952094836378170/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^14 + 2967924151255143189563804152378098854386113759615938009686562168276567909344637827336340213223627778064919221439/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^13 + 1802901964837785863999127101903634126159088009456460404382135272573414136987006515081015160326480384000148295640/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^12 - 844331645700213559013896589351514480613714116483013532220014823558760501022719415024891615429212723703576789832/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^11 - 1702305362688143123745461184330855965253376861612200103620336807949693546814918427820250882574562611792347473249/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^10 + 263961475541219635904711465256377346805680383026428772416956558015136825262845239665126620987529071271627731625/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^9 + 569755580100076781505099240680153280231361570380942853398470598115067478172065659923653984357620980230179383799/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^8 - 50060361377279521730879785754719409593604608221956454910349788663399188133255530152794372923702411566932001123/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^7 - 95803999760980998583276700814937563434062322701311912302516374269617687793613830174539657708092176610604731538/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^6 + 14766813711854539088307950634448966721510851645214333549337224637005283196024576127897162023305334564943854024/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^5 + 6433207725942916084217983038254357694732274248697949208123090432094620710820576462843932751332409916972662045/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 - 4042375237877220445637465446758443987698854945424423220043486443477848428432000880559294675376184661236201593/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^3 - 136203977334333893277860347248551722697182125698463006708908520998310253612405428919440328215055313817772233/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^2 + 401457594724351988059026131253821763812186545753347087899844103909753977958759870895985704584499516457924352/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y + 51389029061847610011597302783925825191635899136481711622819451525469712060792001381167503646309529731644309/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273

3548573499948420854184073843993682443766579990826623086457122140306539318251196356324855640391699201284651/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^33 + 33143657856307642200597704614244102159454120866743537693251459723116498220295847826362936443615428599983381/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^32 - 207125359453019585773592768489148521364870772089766695871502260253848485627881638971877288449042340407960387/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^31 - 1097879806291505487720997358204335943309848752711816369449583760176339545314314535998561925034282019180704044/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^30 + 872886776499208877004989165225828039840045045482727302029958738063623967483179739187626008270848664915781503/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^29 + 10374263766352300199723851703794413461373592180536818936661739110825451265787195814598694479465592752858914143/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^28 + 62117546398528106573013349948603915528682433190920241771567558900154222439624698329630163569577607358360764005/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^27 - 33312980717666902744382282314127983461139026585988023228625837871420214568121691566275860522128366090645057568/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^26 - 913758131314454632269959543955073050070873156660840851756667213714294746157158716076751507454788469682484132011/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^25 - 231151527205942210753463273479209944947065612035690380841835664403226556163691874470553405835183374601370783961/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^24 + 5740364463402237523795753709850129679763826980856815393421174721735500409366242292334541761146114032794565695814/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^23 + 5714450865803147693315775117035800865554517157898329962945104555942281957667051176249952441327436232417038949601/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^22 - 9814459732205179178805326238306846554997840697092984445271303684705578696773700400496042415181506583867172474914/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^21 - 11814952797282750976417678838944644863685593732049020455709581007329568696651740630624660002649878753165171114170/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^20 - 3757456948192564648216392687064312636753227256731601730693053592198381596905251456649982681303511021335057611161/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^19 - 27900645976279700907532246037085353295424703909487171312827188050272310369169081537820754991052964211606761878830/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^18 + 23083092840318055429522057441032889594862203459053622015099447166070121791333161418811348827667706842971641686661/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^17 + 107809616601030343074423672894100578403952519465668883922056428818513225186245662464734688103732135302797295113699/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^16 - 28294685705954816858639150675690769603282512098811933044487220987856407728471341225223290696965639448342414422029/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^15 - 104236581790873508688383869327564735744385987325068646094211618986362589947062879196322371894293501192694935694278/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^14 - 1590001050873542485947478783357106573103786828767778898606190359107516669969325461991680986335669292659428249877/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^13 + 27559279646389216514936209738055955514786055231026124058207889160593891980188893321625134219154618129002076020676/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^12 + 45988253883973015319472947907466679179916393554483641798315513453073822018777798570490899447634357049882634177122/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^11 - 13355048684403032166984186897625839106043528345297891324148620463437687227149384897120095069543427461182177343380/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^10 - 20516653110487954879985436150497046112517536451448484588364968701097055917593734517834049399370178771435545826661/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^9 + 3026371737627724695296354101107119302858128315653998640815549664742326525889151846105326237590741853557271643533/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^8 + 4194422407730485334625772463327961583797835649482198234634197067329349857584544352638158731486460962683030601217/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^7 - 668001659880359055861297075215878553302864970543733752330257035509939959566736539428366256870930722331162212198/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^6 - 305911398259735377324199398889866062460106121305209541440227074320190378030657832521281040062041365922867421603/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^5 + 10755907100643303378672335750054438108168307630086116220210897509608036511652580787702485347938930546932969362/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 - 6700373589260133890672256285235848620246015587006112392217261089750050886608245926039880530239034365240395600/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^3 - 21447473233993785140521608967850099038011685609492255528436694886391587535558878644738912109409892426330665173/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^2 - 1577566493789285545775621927660297766288593711343093598525952434687285195119949946073889521829532190437360642/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y + 160636851171743774702389915459148807916447437089138552562141755730454484943053395858787064124968318603033797/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641

944250704998824655294491390194696234701493355289406492181659536372642846718541131678600277806792057777749/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^33 - 2749699686377392494240120875433693332698217169742090877390520016905759034287022332374234817426746550248350/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^32 - 24462175030272058575079649215788828843216462466476973322650787163615207284278583971984396365595920870562543/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^31 + 15865508680906058280991659267495430789342865024185214399640116285108537801944596747697804927394621680584584/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^30 + 118181594708390360087763421789634735253214579550105433223179847474660416753038897490848477197984256701586306/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^29 + 1275907894018908388635535909353175894023436003105754259191151831715343214611903401632803333289222003532924646/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^28 + 506592294035216897787703651423041799655161220915179431849892307108408589217121583807237777462893634760404667/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^27 - 19247248746548318791017327096101935865784921202607258195893700603385491016911793553833831000192143286114152320/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^26 - 9700781756228614112338805808924346421916904948798038543407189440100003627113191978295294678882697443140640519/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^25 + 118989055215033907369406567483042407378799848092353004257219396320263547351650943918949877142339280412270653709/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^24 + 112253915778039931228401877973720685516181333548844693349334117788229126678051717410504437942690626479852150012/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^23 - 231835146312121684498275454687160711060995418024069112866510800753799823146452414310781205877421097281840505297/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^22 - 204246218507611866299272710409033290927261209269061265108637880228871526436382740131196648747491449523997280835/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^21 + 36753378880861416835896485855147925360846893383426005618358809761985653097868252348772683849141256653362081301/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^20 - 642796661264350105222268397471822622516393942262819748497101542419910724755501201755397219134007819968828877757/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^19 + 477085558609964111962079243657253024211825751739302982401910795624118897402134704589599327522896341294244051768/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^18 + 2331628040953463643902525882315586367975019488380038823873859975412919267050130694672964912421556889919396103674/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^17 - 1077452086119545976657993690054391867176482945549267108996052569759680505224224092824263016394793451519913879168/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^16 - 2144466033120291814984950845619809383005687293154161385707418338059350444934450265133189200622944784373166848682/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^15 + 538523166927462156102670223920576555159669993569896898632781991849199192406577198867165953877626755938031581041/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^14 + 510571612646765336070098720692057766790460458751497322647314465304312390321960195633024969132436241388600177507/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^13 + 891148089303395103991018641912934764023306273611068112422805935617384290731533218651952142645716072092258858473/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^12 - 534636837940598482294693906240226132662246851935816910369456855885509610904354999702724716691418525033071301579/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^11 - 373411083050804060967080815260594905874497203138019488097271445983641023949743399540636398198342313300548888438/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^10 + 181989896584645599311628864909479444081429082551748086259993392016158808750109819215576910128626596451708695679/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^9 + 73441522644434019935560510997396585181947975647901823514873608017636097064993299982939622472678040019995576673/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^8 - 39581926862513000295368779966466027226045744716906280760872320480404740463118920192438526566334350864780883748/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^7 - 2679837456512065616101032659685660068399115855321209830721966142320318375191221715233353915653706479089919680/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^6 + 5813465564352369897404100213407271777055641591206849288253977900902826821053306174542051534473182713671145243/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^5 - 1217323939204609373035164282763058117999904827027510849698711968125169352787295960196583509502685950089830904/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 - 400502187849746011362643296176735046358440033726637726821675609490960528056702963377677594128951538414314982/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^3 + 92669096312237766160085545530194093667069456228210957469039262745493008296132943861513776048550608191777619/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^2 + 12101842078335552527620302522690453679666059363433323576626251089236082720155317061628477030484327079920848/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y - 514701298207457794421845001602680110419589054636779925185264048401017308303213012394868111046892344281619/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273

-35489351674562894139882393204986487396794796487441629983201675588022921832074176040777979280511867374355154/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^33 + 108997117578275591734526743322075727982475943882237625743491153738951187021297173029715310505895475536779747/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^32 + 901764031702025179555415216269117905403755029606291830828030347921914609621166787551103555977132684170184454/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^31 - 742484138128951018091625701828978137282462308243948473348352689733083483958839831926538552653162867179032043/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^30 - 4309189863642680897094132971264280810977119261315248273462361632999416338349186560174407538994537930960659786/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^29 - 47177735596075551700798696947766238665921769729112487122310877388282664326392634102455989142641773054500664475/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^28 - 11540402365253667133896368190969477043099578386288618326235234016416359827110145990847004235967032039034912219/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^27 + 724432272348902860543294318540694567951043312970817719504438647401912487931490243970891347497004331422537816326/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^26 + 244095166592982362247480056517943088147658493649063273990370538606772535985626615267932393630982231867275899671/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^25 - 4511337080598971403593996699775059606544255657400426290966523281984672711415139275133329729947920602266439110725/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^24 - 3432385336192542009352626886947367334461652437473750544809419039009569365755405064555504593855441109901727964938/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^23 + 9316689027528221793524406902820103791312235216759277289077629740108221021915600274687241760037095370655858144864/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^22 + 5797575839176308222084911804693475402850268521614916277370920530681181955548168340663109974546727378341459540059/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^21 - 2968117370870492867436680878253974601755965792192053287154125913888488786686102291926960145048109437927951079448/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^20 + 24951891828888992039217034438423630058944303736044168049700597664131930849300755884906533837965424967949635903074/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^19 - 20845856626576107578803142437920979411388416843307879903016850046533818958661896837872977609083385987711133656116/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^18 - 83358624381190834204894920169372086679413567434352972065079592669140127615952605065847657296710447513334237332826/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^17 + 56472000142082724161125069994179902191547934505200772563863186336695954164400657264291283500164852319674443427448/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^16 + 71509719764069470285868202685200770497986769820442952174606791971379761349637910211902251090094334186417795906414/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^15 - 39653300328709542977063271929972093914468155581173893822370618715309537093346656152208049785229184289494012403080/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^14 - 15628698879116869228132712653135532192681529418823301016168888981232509386371575883486806315892812361134776461005/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^13 - 25179034885188637418553987384557428433303911225072224202171079113567389738100468587022449964324893503943784102129/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^12 + 27715337368848190502816114610592399753081673431644542582221789346292420645605258055724855659613879928529783090810/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^11 + 9970211557475792636212615783113133264310078199100321410437824882453608095979107875368592489923971271574869203164/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^10 - 11557955958799767471910027663866343849082070159652275283398431862053439978374970270729761282535264509735585543299/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^9 - 1821117171438079048922285977299356441248735259515159412196260317419302373336483550217100917684511832237499566572/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^8 + 2643251376396443115279556816991341956734335406479200007496614836644180602647873935862677226161563446938724953752/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^7 - 33432599853640173259592078467723291450938573696365104009983191093547934394390091552381787411658460861744995346/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^6 - 317907316181049467565448205023937485612352719094271253815925852654114626398994212648332834645053619450144491585/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^5 + 5161472434967617369223329496886413942542637275569757767981298710159114786702855872792033409254044240427533183/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 + 14132661306040889185386527800080690596264974246865296006434294188922178965874582743303161598773867848393830533/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^3 - 11048195828811312705721139751062821988713223360670962232423974864086437196339067865880106445615214481612636599/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^2 - 1121117556367589468636029441800492770570251332453822071918901082742781818407121005545082154847008127099778947/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y + 119295372100553688584492010022868249889179343004164274124824780723584715614218475344839118085263073405293301/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641

-12546636234964257323515902548552701835651774969221023599553975711870542087373481389381781213492095901773128780/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^33 + 27487042397820579861217886236739421271395547138093421678903737245193709346906019701947392074361255311936501986/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^32 + 348865750495330421297988369969719937399684727969301952875835997864080289510119166048481573377174582583537432340/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^31 + 30289223985214964408463148668213398488972255768431819457821055770295261142282715094135242760908589679245224833/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^30 - 1655121669399184046648622482209932871883813377935400674101367263109356199096775841371988835783908215095583995904/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^29 - 18110256900171284843508146138955769670863107639346918471786862874084116307454239083872437204625083466583650525306/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^28 - 19282383437952862630984298979267691175034612296951318829571060118370347401853286537734017410909020301730557741769/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^27 + 247390762863136942311821895494202300946851047981448262021072147949558482376083168343252696079942109716310750382836/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^26 + 311050982508764779166357330904216999733267270890749094800371388595183891251439974098007464874128042911834678572319/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^25 - 1437209870465602757635891083243099262410355304904695707854111173396275956152655161438285668694820650389173257830845/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^24 - 2592057174928372005902384274370783589611508520702704929423525744894790727674438780071310464446839521957121205265666/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^23 + 1696895038547209939092619717779329579097607330934527406773154941866420902920953440991464995281259993128614335588944/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^22 + 4550969121769095005839321248958209798467608819171288643559026181982217617008884541321425970244554545976202257757515/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^21 + 1986704272932245288763061208236693965603017430479049914778305237533731695798367171733288067883389745265628781851887/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^20 + 8881668732814972538863210007834291297743575309994743150993762394776593143178382547316214204467745141573099816540823/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^19 - 89418054700152197414404932663201507457886373356291849873471290974255926178816307860391737864490480043959293992209/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^18 - 33817506696525199507899276763218340759975357810676091031003818921734883653738766537389839947333633369823773009612851/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^17 - 8837887070343821131404637629895312610825858006407066699022411311981901817786444881053148352559398966994854186298590/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^16 + 32342822972799552031649823413756573696022553360420128614216095660115784958190744947459917663100675307184302382449943/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^15 + 14504222959894368919616729938508856295488509905110158096044278643217689118747630736411655993639012486946421667091517/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^14 - 5851917871890070725384145370768384960037328165812319517471412461921748007048092071634160190465929498069835102415309/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^13 - 16484644687731063124274126878181631550060991660734069318666279645816983858483606167824986903878997008421746803866210/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^12 - 2770246645069723785060072143304748355749332348745714166588996799954163136142056426580100064051138505226254389617494/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^11 + 7312623273415797877314150108053874271245735681277134983049687933400157476612851360993862960456901370732066360457193/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^10 + 1827819182947669683100311315816776208626331963972800132512186964886042100341066293536909563606225076786118000769359/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^9 - 1518931697259285977216754022075844959547694190083167518276851522850692990518761863705788824169963542842198524337054/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^8 - 329907012517597625235169664027903784861151056356833394823375608068091950915953013136203393506529669312498005277585/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^7 + 171155490192583745904507825602563682874615680722403503454417175649916424735396395043135617269002898710359784433917/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^6 - 14264028785446544328749697580710040717160232143401136582117637737498424769655930710580589051309179548495143296196/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^5 - 1257438447258924655555416544794085631214878567986847906184113240794800142940785884474296102748893041552343165476/9242455024466889137675618434361269482161802283711977081404354457360035899493676910605853358457962007110641*y^4 + 6518727439212127016600012557594841368284723325703899088414730058200133343799832776817724449535273731645350442406/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^3 + 2916314193905718141048440517216004163667448404207570471633954448798653397342038638257630640512624876836034172028/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y^2 + 134582167720636036599559802076582499870959822112779373543564410428028976035490344900065252432279672432460471174/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897*y - 17096749161754902119337573455990586544306396374206705289839879017274145491996437830412186071174049721772639864/157121735415937115340485513384141581196750638823103610383874025775120610291392507480299507093785354120880897

940255570269188704547988265225058535761130956537587787212207472530955099718877519962369513735856260588779/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^33 - 1775076882317956262747135814033579273909316506687893721413257423927688101271935194875490892740871651916006/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^32 - 26880940674469230441577769041025586777779388596215258586536305604295351295048469594054866443416265284611494/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^31 - 9884285542712371110902333946681240330527022513421646255788090647197837570084172864609329728013504721216638/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^30 + 126332125590091361629785999048811062583729960984009890376858556229176349863538686885024056857180043361076732/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^29 + 1393473888869901667424975393698847157653528889007023295389723596897352244633439457962416403902495439245817584/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^28 + 1841704733867010647512054275466480886020828926385895444672195692068583106612743393722934478632971256209278591/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^27 - 18257120352109559518988448081332256218403342058822931708686039516734798296305658392431996750764899494148095013/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^26 - 29017828060060351087561427482776987223115371851639565655397394911498945942868639569533445844280589350575752389/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^25 + 102927529637507334395524465959918497039091266281952117443497713769424527274257477262758618910235844433588061050/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^24 + 228502647699368193569355337359000074887160050199931743504947024717254426527118194060564566361008286782704242802/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^23 - 82257296452203930452464836162987354482445343237665650517167764789979706190386546031010693357459949976115996713/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^22 - 395886965507275251076560617915508830386322788140173290915520656188783801822210923057291275265513229125431917081/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^21 - 227479116878299406698919705023765583689699827074912735333605531427089308953824214170461735333207107297827506415/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^20 - 680515278261676630642956055943900932486657300914255561661175035124688978882071903893435974847941771062549317358/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^19 - 193325182199205396876978417435309572947635188911597558981305523397348664560003735053674006394111790042222492223/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^18 + 2612194852437510407276112905378256585130285423612812706807329336075270543591181638796948601598250059739658841793/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^17 + 1387385701557021322486949027307512941274751245235308220766409134671372065583357429164226999802849161500508344306/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^16 - 2513016076519592830568833940449044893432333849557089743149643049902007312769201830148010744717571371422624679338/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^15 - 1752365080066508199155077957092893527947658483585297811759058535724205744216801596895572608589085599116750894364/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^14 + 387440703351505215431280588177052255061642143761944274616707623984026636140633261781303886761080283609306592351/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^13 + 1365432881930665107826225731803694072561524499551658946541816046300803487766505365030491517317137512895681643683/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^12 + 514902746713463218484556722619520274769219065830821541563870269658777511476391909216850025874430445297530762523/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^11 - 610071640792309964159949923571662023751049598092238182806896193323443247405943818996319584289490844939674197660/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^10 - 265783361002636608016920867051635080108199016121340536649336260305895471978017613423129663187102451173271647767/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^9 + 127548601537429351505637042765723991180594444575992628057845527075860964395408470248279530976940450455317236974/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^8 + 50373412128780326461734845148490552658816743889520844942204946931139452269473016736014326593766722998933145986/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^7 - 16647944652423694605623950902483777805739628711227997203726558617078543529218602139498228115403655366683718131/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^6 - 857913007386857988247072970632991003869765682704840355061223577710655850679522421003665105119104181106063170/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^5 + 2713541261120167893082438917826663787428343386943891903506133590195497969796911608311149076733341094216057391/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 - 507143824082083821183069864014374179434355029584986727210005959481536142231958270429169222179366846512814269/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^3 - 339593234912080550076309000794684104741056954663644731081260805298510098388255170939206755783592340509793644/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^2 - 19132834551379806868009618728897862995027588184573195593848491337709326958775972437335096124947662969370496/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y + 1963732070198424849813319545329987399099544299291141793243904657764505107556211047409931034466981475532020/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273


# A Gluing Matrix
{{2,0,-1,1,0,-1,0,-2},{0,1,-1,1,0,-1,0,-2},{-2,-2,2,-2,1,6,-2,8},{0,0,0,0,0,4,-2,4},{0,0,0,-1,1,1,0,0},{-2,-2,1,-3,2,11,-4,12},{0,0,0,0,0,-2,1,-2},{-2,-2,2,-2,0,6,-2,10}}

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

# nu Gluing Vector
{0, -1, 6, 4, 1, 10, -1, 6}

# f Combinatorial flattening
{2, -7, -1, 5, 6, 0, -1, 0}

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

# 1 Loop Invariant
-157428184574580740402389715393251483272661726591243864271233472529470601052441616581770513284135805515014356/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^33 + 355963400768276620974414677343555340583233028482959009124328476252637236357912860174735956255958441461334300/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^32 + 4360957510321726101038945911399177588591224194716815148930176090405379854328424117646130602992829866399650939/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^31 + 59735518080239411456778434629432863384465581738041377590862243990840210669435387288634180221179694666899064/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^30 - 21020355120957964958346722438292438657974441502246656278895109975919709946109284274686258091099936831485923833/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^29 - 225929891561041834654750564776865220653695424039982349245863725475553856821382921187709454237876466060500296742/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^28 - 225005080890490432828941066941875316185692770990902874040364909099810704378401408365089559432619734876196263199/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^27 + 3133023757664940810689361011397401472795708976345735751885781879503597710934010988246809960374145768538142997028/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^26 + 3703697419656012133896913696924134852915257775667174820288846637515016710115827704199677677463566994621330978049/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^25 - 18451760266438406781720190670923828385529820366758426617684910498235292364210788640097719216237188250777016086131/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^24 - 31536862641391193122179949431627377167689963343805342552635362226937450274703684069584066768533780037238238510062/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^23 + 24320283865871470066046244264038937210194600648189441810167823799485738457185246445238316215636596849808695355333/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^22 + 57680729818579475737087870462122435127492461682092771117214114988534218556424087863523579098344734556807225646034/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^21 + 21025583630767400981957525513216176362867059564649346903560618478975577320716261084279269003892029737781032066391/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^20 + 106815745975457202140419555416096140149323323247244594849060064626178584896304101450355063815216196142904827310698/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^19 - 11821693105284472089082628005322450112594410283347117480483397811985242287516813749130656822252320959214097226001/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^18 - 431353980305024572674645246509881179995051814074777465688256191560475193055160419281744373516182997988788393983321/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^17 - 85208012259612836957654032037702903224240260616907171421625768608019080709091993811040252661893989440535973485767/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^16 + 432714085235112336008625043466645231082675900959511337860289439779060798722601489537842229742193596466750587648209/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^15 + 170293694870083958398719837830953804509116233898613660808242774231578082329621220113950585535664198107748850358748/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^14 - 97825337449285480375062280890247440349190296198774381671219863401992837954140706546157983618283823046086102541847/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^13 - 217588638389688234936738083279062400057759050791514058050454751128796927372448700958038707781218969082651469632682/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^12 - 24900505123672419224391503562656806352339817691588898669128963110812301809251684126541668009602605336398543738907/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^11 + 101836497128914766506959277290278427932880847199101731280363954088140669681419270754535638771218918469360351516678/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^10 + 22715912762640119004056156764211197212010727795697434021101137715567062789480245743824416851083835516281581110619/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^9 - 22107941628105185147321410066906631241649808534429009807379808500668975220142955535817697570633754613503876500768/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^8 - 4711680882808109055766727709774097219850922621087946294062113276020408449491160759466871181754592748352250426263/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^7 + 2422588238815439964513197262216481065097609963780620637630089209616174617892999274203035058934311495055327956752/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^6 - 157412646359229115786350558636125194699542033127207526369220117628274674646959220283364775718929314675074404084/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^5 - 283128031203222854961080543143229480320412510515915251324609873160642564843308466318144691769570173598601810137/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^4 + 102218969298577629194543931012816426196267118062777212607983019531769317629731821659946315922958927659721306777/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^3 + 45321934676074330101292465641001686112624145997609029989170312077362602100003271014697779825553766719265886081/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y^2 + 1951580575821558845939315474963353855492144711597975766330074146511589615792203798074376463301033087540981898/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273*y - 234191298607624925003130750419906918568354895092692893262760949334928891692318882732461009533253727065247621/543673824968640537510330496138898204833047193159528063612020850432943288205510406506226668144586000418273

# 2 Loop Invariant
33809083339107057101173882092814339345097605769487561719289354754011680019812097287038422259388564073473453904849081369288667169142831596557252180357218125899265254134338174514332937712898949644795522102744215785199638572965/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^33 - 44918325115253538208484128150144356100016998686342099211513728263310502957778028647034349773414938443978692833414744081584747741362325864548335897490469620727732583750802964816646742201459417484383324915742437929035106469223/60316103081311735205125714734290436293992928620231287997971182378127735056177222944813353214617335608802204220840378203310600150693014188199911548903360027091979835326639868819192503191452483801263618645089391763506549549208*y^32 - 224699029687384022165195294632129426130061580232026141717179315229580740330938180348624171862869946851599241852375088515771959335173120902245488675503458263691883078894241205154054483446366292362567461899641263597524732886233/30158051540655867602562857367145218146996464310115643998985591189063867528088611472406676607308667804401102110420189101655300075346507094099955774451680013545989917663319934409596251595726241900631809322544695881753274774604*y^31 + 84667410767676281698220313232923697674634540304575805452069984174025136080449920470663224171896647673661599046122309594140946717528957373084678725301771301905584101076821827272912706350782102620967257447834186329917829863855/30158051540655867602562857367145218146996464310115643998985591189063867528088611472406676607308667804401102110420189101655300075346507094099955774451680013545989917663319934409596251595726241900631809322544695881753274774604*y^30 + 4319271468502691771246835236328707524518118659488117971717858610746607667707146035640900291379961149814962027189679721814011827805918732590360825123185907889064235960807482058208190077544631761932373814727940211809139384208061/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^29 + 46795780098137655394002484301656835068225728543105327084257858150232120120330063067089153940524611512040650547778218968593028729900459210986847303258887011185734796439295143158727701053806199460365540650964680172639631237723285/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^28 + 10022246711896093184852250423071517638132978165782331177678120754524052328900709901181390201914477405783947781710973794589818806467881008850587619755853703326077322156317062657479683506974537247856712167980628701394162244158463/40210735387541156803417143156193624195995285746820858665314121585418490037451481963208902143078223739201469480560252135540400100462009458799941032602240018061319890217759912546128335460968322534175745763392927842337699699472*y^27 - 85196567471117702652871230149290187195554190365696009830198587207303359931625119965973877689654482268677113968708007972733762415578463365808057802387293254965031017041886989195160835357504171725244127456973621637966967654852927/15079025770327933801281428683572609073498232155057821999492795594531933764044305736203338303654333902200551055210094550827650037673253547049977887225840006772994958831659967204798125797863120950315904661272347940876637387302*y^26 - 173884954651446761709760935331737558014212829844880935650115711232910754342609186261024915256421300420217399704262829724410725818405695269585068651862013932889829847724154399317085491707969278348238825530979096425433716900976259/40210735387541156803417143156193624195995285746820858665314121585418490037451481963208902143078223739201469480560252135540400100462009458799941032602240018061319890217759912546128335460968322534175745763392927842337699699472*y^25 + 2063601949773120894892131471091914119189627334974724858928476447000545612470802613011831596861201599077678429279325909909666582244714993092572037794421225359466460305077582400898063838580308726608108720202388469979972721278407475/60316103081311735205125714734290436293992928620231287997971182378127735056177222944813353214617335608802204220840378203310600150693014188199911548903360027091979835326639868819192503191452483801263618645089391763506549549208*y^24 + 5078915907924985464642098952251890093323778152417884295745309782585610862903733498418490393523839859503202070468965736961534678115099547836785896718468517269003191035659011115431185263039857343792408551747149328338075683093988947/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^23 - 145787662296449389601115866547410327389635749577716260717437349995120695273980640728732580673217178197632721315415045196669616869286741167536000094940994257420413914323666194585450945714683960386828079052684173558235830209682956/2513170961721322300213571447262101512249705359176303666582132599088655627340717622700556383942388983700091842535015758471275006278875591174996314537640001128832493138609994534133020966310520158385984110212057990146106231217*y^22 - 9139862818461962903246811643454007936419737024304780140996870510057407825624809321939701376668906827712639679232970440534871685902410061058852481151908095475207823820876892816257796704968787901074818611961465393148885729294936255/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^21 - 1098473994253037177563278194392103126491491205519644934059278756139289241345300577361033112670307298421305620834143987850110653367793000679039013180874455656338196991110320762556598091260673939453407474607122346222064714940959197/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^20 - 23274310033497090937036136415914021834072840105519559211291314118684439914699468422356238252477871686676859258516959201503317338936968646262002792341477348416424848987860352901054629143758450991654024998227913123157242609345151349/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^19 + 11272835774388022646638973832059298629625799933209236241786429299212998524942764061535975432022929618999103065538743544185646321984385733857616843817048649806019747123611160490102863733307562297753427267341550154712737433161368647/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^18 + 28826042600110872396512264919290949656587223735248985436792272750007292746266445240007297623643579559323372237393948569439273225273517205102934378159922826241691790594100793636116128050149349058436218600099601313352516135566679323/40210735387541156803417143156193624195995285746820858665314121585418490037451481963208902143078223739201469480560252135540400100462009458799941032602240018061319890217759912546128335460968322534175745763392927842337699699472*y^17 - 16202451412668922250584751354526136118660408942548288717134037461125601076246884200633294160646174501368083448961478988760718137964962052945164392382178847517581794337358184192140782516002835783081850093884342196573298479980540559/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^16 - 6736777773400674300247109582793035788900807225444965872984331478451301536240678507846442269975352206802415090753155207110132554961514047695817978507091025818029748358664957515943894579660837019555428299325891964933829277240006859/10052683846885289200854285789048406048998821436705214666328530396354622509362870490802225535769555934800367370140063033885100025115502364699985258150560004515329972554439978136532083865242080633543936440848231960584424924868*y^15 - 2229120041698037225786514608227331225707170284336536872366324135100266652642556463546411212204272258155803022198525217847207824163921223351094269222095546221024382393694583009674614272735451888445220345565258530153408338365772355/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^14 + 17251150278905574811666880744620613618263709984918303105042529786700110110058904591038659214283000728725866765869002827458059544375787185408759140013688168029889149520237288630413726892518524626568345050660906986749208170923990069/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^13 + 18454528425312039387617319381821795732493482579250432458791727007166109791464339938703000025274077870270173725546415982425538751886746163348616331407505690179437258113507871113763852801755328478198843860995410194270405905673013237/60316103081311735205125714734290436293992928620231287997971182378127735056177222944813353214617335608802204220840378203310600150693014188199911548903360027091979835326639868819192503191452483801263618645089391763506549549208*y^12 - 9269725219526095890326112097050336445217886203961328259126071663848620185337115278836545443763508647306254407859786064751310770686302379787634501648130852791041026492528470981700684016794713689593142651635616726380003033915293575/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^11 - 15646127153640307925150568350401496635222095599073776013612175693538862679320449659663360141594276372984141472518868694360444319029819537229944011442084971710110106085526412574654363581285476339876692657874289999976516029549852643/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^10 + 1101490027019036661159743652141613608853665207148862532240466478344971798776478982652290236181698727024339933873913581972769028367710066902412102729465765367922645016225454680798826486096872198505325723407226494545528042169119311/60316103081311735205125714734290436293992928620231287997971182378127735056177222944813353214617335608802204220840378203310600150693014188199911548903360027091979835326639868819192503191452483801263618645089391763506549549208*y^9 + 764027261800854843730803110980086412252592132963878503742370162796562565324215280262604823991898542916863668143899786969978317172635045588716920304808475009309132884205842451878719780507047672619895093186325482273610840161552461/30158051540655867602562857367145218146996464310115643998985591189063867528088611472406676607308667804401102110420189101655300075346507094099955774451680013545989917663319934409596251595726241900631809322544695881753274774604*y^8 - 67836759072085079036263643313884935494303026060561059873789353931934057542095933659627390372903629695078524352293024186213666012048934132481003393412960794524734995815135874844114100195720751263502919746225187483002940357505623/15079025770327933801281428683572609073498232155057821999492795594531933764044305736203338303654333902200551055210094550827650037673253547049977887225840006772994958831659967204798125797863120950315904661272347940876637387302*y^7 - 49464485869295103784880936673134904178052249777454072736947738802528028831840919526719910690939232281828606113320839409350764429911219878609627618516371542691704154779271297456608238217976424723915899575623601650334548600810997/30158051540655867602562857367145218146996464310115643998985591189063867528088611472406676607308667804401102110420189101655300075346507094099955774451680013545989917663319934409596251595726241900631809322544695881753274774604*y^6 + 143800202205399650454875527391021330138117175525441162865302495208910587431403553279126318606146319023004845994838170345364891575998061587806111715961823396152576565529775074529153385113513315242489380341934385384407877500190217/120632206162623470410251429468580872587985857240462575995942364756255470112354445889626706429234671217604408441680756406621200301386028376399823097806720054183959670653279737638385006382904967602527237290178783527013099098416*y^5 - 734558775309078818590909767376256599329852692230894862582447148029706073131223648334834659251239796998554305080384447107215912875413414347260938091209229314435919292456038235387431165887335833688968024865069801004345910537633/10052683846885289200854285789048406048998821436705214666328530396354622509362870490802225535769555934800367370140063033885100025115502364699985258150560004515329972554439978136532083865242080633543936440848231960584424924868*y^4 - 1818277932093681819194462974191633186014008290053354553029725139477675736958724673020647427515718106957554905614027229992237501088445506649201696847414004891693921589935368381089606215702289687542509480809364291429652177589021/15079025770327933801281428683572609073498232155057821999492795594531933764044305736203338303654333902200551055210094550827650037673253547049977887225840006772994958831659967204798125797863120950315904661272347940876637387302*y^3 - 18975992117114862813776390957118050524799179830621776303595245053667866004120786129206228989146526130132848514293806319206759921104272509423612988171195827117054916363294009256255922999067370936907893694439489469598695537943/2513170961721322300213571447262101512249705359176303666582132599088655627340717622700556383942388983700091842535015758471275006278875591174996314537640001128832493138609994534133020966310520158385984110212057990146106231217*y^2 - 22940285626695901961322416515794448795815484747685651326906853681322507992534212164264141344860532961376898434242020720771960204577565688478728719881841528885165115317002493926104638371514519625174904403105797285415851633335/30158051540655867602562857367145218146996464310115643998985591189063867528088611472406676607308667804401102110420189101655300075346507094099955774451680013545989917663319934409596251595726241900631809322544695881753274774604*y + 3145925850710617251211230775222229558479109808003162742951275294081449856023745069180594311401670303785735746661645512219332241905871047630125725538084758085604662163679004634804134138648480911774210848884293207280592751324/2513170961721322300213571447262101512249705359176303666582132599088655627340717622700556383942388983700091842535015758471275006278875591174996314537640001128832493138609994534133020966310520158385984110212057990146106231217

# 3 Loop Invariant
19435227349370637440005879459519271420086355403211670790156001255139252771863515294261086398006032298018049679704204060064481593962780564517926126607319243836559855621727571518443819061966080305609049449007485936703128839869157425415879379211514012743738483656233595718472765725793/1366953761203327986462455515132543100751295874855748778114145465448725959437334406852831795170164411799882322325617589322486931613875624978981502929293470816349143193958637796511016756213404702968679337456943085257060944210470450514090015799190292199069876196914799349101173888835528*y^33 - 454569932610749796450685559026044194211145014094808081177446735524278841864747948887823908056055511280741818670194094190138992224266290647298367333688107675099808155343300797343450366581186106621175798253979082881976580333280368528873234948324239461219158214464064101393026541203691/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^32 - 3994959321182205607737994125544474265401184788278597677882903919728207796823854589801742102606641050346795520446859985777921740009674718808494165930988249168407395491134197231002327043858558683190912937289071006327270283828883210726817483644554016075912142752146559516380460513423445/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^31 + 2585885079664021608743243565025881519746718338956837708324516998000552850082729344472155760166208177766270538120360175582107844687468845105132402141116821607576368076240233975246993827853057381460654319799293102113388703151793174015608555589005789349007340251947210492560338729793883/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^30 + 18693930252850810666274507734902437768461202148914035180928021790392761387175085177509286356093050888517363922167599621852602921685551987570663008259416625562096676818471554373842051354360775601174322075417447630132709416887535306081787958260655012364213826506200750008889557509080223/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^29 + 210121480039274364810663915393026283149780089225240177872665165310891772892972755067579169881460323202926457098432768810960704287751095390841969122048695644289393112987553545110827932378669371882655225574833994513964647203763336845641586217642293187828909293535922033316790405919942695/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^28 + 84416369245752514068265974185819099640391083052816009215953255602045583289123434581473389954175981396767522419796592951484839056689382939055242033548025590843394176985838666243740612975363427694682022864389951895300053732992696832825989672815092884251616476196237652760582066935521687/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^27 - 3131781721455263473803894211275182027556147237683207621210052837510800551511310639434445195753038208943973752113222795327620979377728535223525465422850824177194425719172656004834456558094474092334408458507266135973432723346963965078791383091217178280396583436812677773236214872192726013/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^26 - 1534584247602892338384995030814291487568004139965605548326227028105631510993914751650068301285882139072394894310681504368394140992516341024528546391832082380131000815005950586363276730566129948124213288082189108763803937859627197697325742198579295939114307888030557772352454168620239803/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^25 + 19058453887354357971620770741601155605228072091568823766378415434681800988940418796426984266402048331700336762490945360379931607375006422398404093611962030729253525279647919206688383704060481952366672119798589204351843156242948631295165834915309620488794847253585416282272935784848276983/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^24 + 17825375449743374989783196031945710917965503761232675417883700403855524809778522909463835231302274085256449007617317844932293924143655581556985709848718258338995666070410168587389995474166248699430546323928848583251484795235036100488801075801742435484045406254086977876967885720696175009/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^23 - 17543219441649133302713944285729507989838525352729575269968103740031092583290200603664510496982452989961901138497215687662873355265056419687604742559916162703758030675106692534767942170574790797427006072844454991839664429388377792861288249940698439403707222145393137079979296236758169189/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112*y^22 - 14538204004173263771748280562195182137293207191384016421397930457104306222938832851123533236114352067894488499938306631913096812500644430390455273868296498868228792409550692823516758437837237568941058850121007334764970871838206585733693030285076302789233036619368761943151681451402650685/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112*y^21 + 1195899352764780280740911453315030112845477364365033281467417353385700616391359150268630282826550264928350787811991141441717124367186713125380635226096706119400536440341685800507455827833069411549076985708075011233881931724707207690801841040276901774014257445238605266002695311688391977/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^20 - 28135575157938319799480003153358213937226799341883337428456631289588365886661668720964448332106073767486475202928504411799667474855529840973477618437439878709512429620094117586504036521547541319985014293425507997352096048720508674295073098049207266843143430352253085567467034016839090513/2733907522406655972924911030265086201502591749711497556228290930897451918874668813705663590340328823599764644651235178644973863227751249957963005858586941632698286387917275593022033512426809405937358674913886170514121888420940901028180031598380584398139752393829598698202347777671056*y^19 + 78718630539512908474161989318777329600782546022283754066960756756891138950592377070393140241377113450802780939522687628382930357164429049948062754931309982629747392968639905065531160821871638772735435557276146600874583486379655343332529126389061570623546989979042172112166056049834542679/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^18 + 362734201468225481224215497293003703106827816170135430175461185431555404270378913355229681901054426754469440472242527002191919854710889642190464956347179606744506595981132710535585642369927619285560260684195218577388603442683904810403361506656470623473837324453925080383765598741489598017/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^17 - 87119080529857375034585561793363749911148917398997200811431751484339292224324791543926616750381658759098851240540425447712922483986119851284720432175706163203775377814963855756917157053032138944591555034542351652344962144455152660710696696863049068522878185436318337307689316823076198985/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112*y^16 - 70986601500243393186095546406997044980839228689881538655822057204456199978644750750127410604696634101646030862725593785043688732300748404139467865179583144598964544597590527770233033775439605364189433149387534499308329275688211703570915941247120737920310312423321576969279672389826151645/2733907522406655972924911030265086201502591749711497556228290930897451918874668813705663590340328823599764644651235178644973863227751249957963005858586941632698286387917275593022033512426809405937358674913886170514121888420940901028180031598380584398139752393829598698202347777671056*y^15 + 39448681841846222904883089836675503114192637300264962539703217072694410872519962971315075641383174356788310379722433172852927397129970483726339417250752424270098631837193709039898005885702236638919426647866290874949358862098281291411921507503878229511490063392327862280030429633629960771/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112*y^14 + 25500717603192951485562353474924394696747808749804741915847152644320779795497073235970775332164887863712646819110084043874598475225026192307933686528079031906509671663806138152159882804615705817006908053674732557355948380239770742637305226142610996907571616132544255114569295727270903521/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^13 + 148501653543425066362114077228593028150203271520774009606093832669269252485490854009799050534951913135817042639886262419719903987882967658180956349940081814078205577451422266783114666781802977421048857908506602107392106740724094794523645845780931788493636255002063463549108727280503951303/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^12 - 80023617960024879061003478088007890224641272102082987841296692927028111555113662172235108142699576855043417513812437930884049021898975349634763771983104098796504102173301717690718697951170084015955655831019106846721383973641650994136317761202370814136315914261607217000497077529740115489/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^11 - 34127202257800487111053485507901440816518990711417773751501361047436405590241382852047788548408822024286394374741862690790594293157746693346887759995844540025352686988690984323629369102456814261173844425015797772893005573428085481876985544996891670756271208227594756915811537373981267149/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^10 + 21425938662856381438594251307375265947971520398695098428184245861273489205248075393738671712343546651440346862216407736480498528145376258058868853442963402211375397889058468863266408076860249825876678984596518706345423783551433726240868514836193195761134865137559466578503801687471741261/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^9 + 1328724924514037831453618437717608856922256547607914205615616560639933265997462661732051117902043487488134484600393136956629228035885971622421246369429630586438826083907915096533890514150122674928457627661461330881196239607012251835418707765036920297560874353583108778643788081920697379/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^8 - 1942879454841128227915684236966415963126465255850875300477442060970850636729188221261391940060330114119465245464202546060621154248339572784660494356378171509222223189524784043011480336035135605230337714799734678406262124430905440433782723480383601575829465861677628063326227752405345817/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112*y^7 + 1648821253506869297157794219080297083090830826143925208290966276614259576709811133298819217748216828428337997865711209226565804528541835257914773988026774244331985394231461285299533229318130670157915096695733185531463487960013744829898556379624852526135210938000033636711656592809540059/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^6 + 367460574373281802124000857696320637529066031488037357589909291482321995869205393268887593173161290516703565317460260453331437806273792187901335766714141846002475487128353656598343332757750942650260036037537047521773330090887455709068174427405044281479549035793158847982963832272819553/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^5 - 298847304529959867266446399694343689112875677208071461742806564726010320348511887179591358479620897984839702549795702795466159497790516878819926110061685764003847766962264460244628209006867835711430109651524414135861848995839861421973191745437421892302812825624951502251092829687444665/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^4 + 38866024945031897562056040864023637489457674756636800101351646920103613243342464019336271892360200645681015012385172146858569862903465057967559821183924714216113582985095199504308883933400040252005749298816197885996801515525138529640214525360566452481827786503713202381305140961519833/10935630089626623891699644121060344806010366998845990224913163723589807675498675254822654361361315294399058578604940714579895452911004999831852023434347766530793145551669102372088134049707237623749434699655544682056487553683763604112720126393522337592559009575318394792809391110684224*y^3 - 680776007139342691909418986685310606754476607784726940581636102664351856297425549962343252794906297318418227730274323704125885765265153633545222628098314655201012902464965311461564251749632807190505243112183255616585623178809996526655878156395875862634922515597945255619088151738717/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112*y^2 - 1815176693760607356130791316226483243397587228084416794688387914750504774549854216750135741146533125393120760640032843639917088934864598947540309816246099606220259933619323544076643302623672440764388054607733026748406749427630547180134584857611358404030799905932721376013177855580917/2733907522406655972924911030265086201502591749711497556228290930897451918874668813705663590340328823599764644651235178644973863227751249957963005858586941632698286387917275593022033512426809405937358674913886170514121888420940901028180031598380584398139752393829598698202347777671056*y - 114555726235740270656577657436026584229696697533480266156614257045578971453426639544959844734420763082142243849765641447362958370364145772555669840166745505651805926393417080750924807771050931744442615039072854426808031748475761217388957356974578550360416596560252520271361422920479/5467815044813311945849822060530172403005183499422995112456581861794903837749337627411327180680657647199529289302470357289947726455502499915926011717173883265396572775834551186044067024853618811874717349827772341028243776841881802056360063196761168796279504787659197396404695555342112

# 4 Loop Invariant
130787833083693557830324817799099978415281087832685536585266088997754671931219396837992041041668808341641260865118810194862045113729965294278615010860943251257999231001954558109264014156428343744277149438061964941931307626926439027704075169518845684845070050496901042320721078566919080176115821485533614462241756480075595120154433322533554131934682143061615394671946888809797005419679184707189888084473/7279304922760181635990688598094762212303145936407640946319252966561276587019389712162592309870713453474175195803849933496910541089851955642260922146588336771394600384024199912473939899037953713791732378273910923817100330321518761124485366842525985823933837071608680915759744668562025019054637602583597267156751578555216183562667102747858426062570143691944095199703824315309836500707476462401694492673024*y^33 - 75648208269429553005285463273972378249836118480278462881721193304392963798125902859007886309483694066733078157432386339735273538240014930375449044069247576927926730632203394666354592932715720322906881924070554541678640482197791909798967872067818953424375196590170030290312746465066883488832648081121058170367863716956532758654349455333471084730540717181759037344258773390310338264092776004571414844535/1213217487126696939331781433015793702050524322734606824386542161093546097836564952027098718311785575579029199300641655582818423514975325940376820357764722795232433397337366652078989983172992285631955396378985153969516721720253126854080894473754330970655639511934780152626624111427004169842439600430599544526125263092536030593777850457976404343761690615324015866617304052551639416784579410400282415445504*y^32 - 2689660179360486107366974299997198894088990698416159650993335292069645157207933660728396689856747273067729725172436349126376912644233470082618313805775326334695243117402248534783413574931854319150123934699102481722494817891232629278925132085864148332812815681275162864174429281274448785822394474113984539999675472650636176442706243915286700521084031725480741988069114019885793234393782855059630782930517/6066087435633484696658907165078968510252621613673034121932710805467730489182824760135493591558927877895145996503208277914092117574876629701884101788823613976162166986686833260394949915864961428159776981894925769847583608601265634270404472368771654853278197559673900763133120557135020849212198002152997722630626315462680152968889252289882021718808453076620079333086520262758197083922897052001412077227520*y^31 + 220347449694410756960189791329752462399276429074064394756266925729690913430645336475827878739760833450363753894738071895194616183552652520200203604911996798905327526786453694769828710323582873881619682016464782907820579116603536292501065628160679680488613928208860137575825166061919073331604139872799418295668863343961317605095625521099617305240436230639183002716092847366889253644991208034897408895171/379130464727092793541181697817435531890788850854564632620794425341733155573926547508468349472432992368446624781450517369630757348429789356367756361801475873510135436667927078774684369741560089259986061368432860615473975537579102141900279523048228428329887347479618797695820034820938803075762375134562357664414144716417509560555578268117626357425528317288754958317907516422387317745181065750088254826720*y^30 + 41305338868632423759981899532144994127730116193617901944104837829758814403156335489807434407430915957746227766422062347248413852650913428899893429896820453177051848992036535810158196252951230265134667284245423794657159601642184520580562753046186594866785543172075935706673458677927424053200563605649236691681504066226304779083544822201465359064357565034921711903326658311345721782208500076458517379660943/18198262306900454089976721495236905530757864841019102365798132416403191467548474280406480774676783633685437989509624833742276352724629889105652305366470841928486500960060499781184849747594884284479330945684777309542750825803796902811213417106314964559834592679021702289399361671405062547636594006458993167891878946388040458906667756869646065156425359229860237999259560788274591251768691156004236231682560*y^29 + 83487046274427037223987717017368261867740409019875511587165048534060048108460189551823584031427103178532244869689411086164235332645581141489826607410559992551234201450589064358880002873268607015638790592917060822764844640828440365666785728266334746402543212048327758955072422760284476478540632354972987695534459905463187765715176037338964349951484266231726810956273435699094647810780935789874260265279611/3639652461380090817995344299047381106151572968203820473159626483280638293509694856081296154935356726737087597901924966748455270544925977821130461073294168385697300192012099956236969949518976856895866189136955461908550165160759380562242683421262992911966918535804340457879872334281012509527318801291798633578375789277608091781333551373929213031285071845972047599851912157654918250353738231200847246336512*y^28 - 22046350707850182889724173817965723881150424305404198326361603724011789091414133561772730804464012589144865811370994216823093572782662375437465685493030435726583261854027667731918387114956925348827881736670142033810681989035116042998737466446576608128589581540819807939434892833839907490575567030682087273161017599509685705650249141178540290906104963679585437782366647906783517945326945266906814288430599/4549565576725113522494180373809226382689466210254775591449533104100797866887118570101620193669195908421359497377406208435569088181157472276413076341617710482121625240015124945296212436898721071119832736421194327385687706450949225702803354276578741139958648169755425572349840417851265636909148501614748291972969736597010114726666939217411516289106339807465059499814890197068647812942172789001059057920640*y^27 - 4627952719022862445000897085702882346447804381091732254724354343910051932532458550424743543939205707400839823338309164229163908542494834306743260613646070856282647710478042709973616744493657401662510072130143826610495177758203110495484810372126664047094763829853481285306290374777502167182907216293203314670455096669636187645479766416885924862114124137428511498131748012180686103121888553795212759406580303/12132174871266969393317814330157937020505243227346068243865421610935460978365649520270987183117855755790291993006416555828184235149753259403768203577647227952324333973373666520789899831729922856319553963789851539695167217202531268540808944737543309706556395119347801526266241114270041698424396004305995445261252630925360305937778504579764043437616906153240158666173040525516394167845794104002824154455040*y^26 + 517517292206797955353545190814815143789011604095553727480855700909526252082135300615866537480903296846968099726181874626911493667059213972800585619183446636574774638764572830324945969503074470698442700794167835008440063242064759620656727412098125688787032096379366970447511501401914656097944352213202085089636675829425641469536611095073007469082212500350073359027052885712889997931117499703997437916278461/36396524613800908179953442990473811061515729682038204731596264832806382935096948560812961549353567267370875979019249667484552705449259778211304610732941683856973001920120999562369699495189768568958661891369554619085501651607593805622426834212629929119669185358043404578798723342810125095273188012917986335783757892776080917813335513739292130312850718459720475998519121576549182503537382312008472463365120*y^25 + 18290341454544601390571058150132634714826539418877851690550804111620328777082704336600802839300679410704494559589416195358629634865672722173794162691367683360118560478678916260138368520855858603403478784776374874447982110602005628740325581075461673433398417278984110340783284184245500146864784888382371266783308453120623957340590018425492017129888394176339114529225228469264627267851923905525886867670433905/7279304922760181635990688598094762212303145936407640946319252966561276587019389712162592309870713453474175195803849933496910541089851955642260922146588336771394600384024199912473939899037953713791732378273910923817100330321518761124485366842525985823933837071608680915759744668562025019054637602583597267156751578555216183562667102747858426062570143691944095199703824315309836500707476462401694492673024*y^24 + 4436110412155471210713228444250761465746526349490648534047189771739520280483210160598177438327092308096154201365533929575897091054578941165075897996055699725581113900313883270537210690223392538352763670249522366762370003846811849435428045285287379304918643644795915647510547656700307240816459491900279933039403914645525743592393482270407506705137568703330040688364280005825268644810239900064438413341914273/4549565576725113522494180373809226382689466210254775591449533104100797866887118570101620193669195908421359497377406208435569088181157472276413076341617710482121625240015124945296212436898721071119832736421194327385687706450949225702803354276578741139958648169755425572349840417851265636909148501614748291972969736597010114726666939217411516289106339807465059499814890197068647812942172789001059057920640*y^23 - 78811790224487654266285657571195787676091424528158987118589518667984019788457805086228541912546618804272600142109491068022951020409357090799680525467556629632464271615916201867526077720927617747173526606295571736416174985966085853182326627054208477226535490000461651612355258560911798841405357923656722054470745624779310605614179274524517147660342401309588847278283793751806523398431032019406666274712362763/12132174871266969393317814330157937020505243227346068243865421610935460978365649520270987183117855755790291993006416555828184235149753259403768203577647227952324333973373666520789899831729922856319553963789851539695167217202531268540808944737543309706556395119347801526266241114270041698424396004305995445261252630925360305937778504579764043437616906153240158666173040525516394167845794104002824154455040*y^22 - 701593457660880291495441042252281415749294838468026330641475118329848897861094069870832821769979361784341471649582868740840191391698369789007236176033490474808331558046134889346669693706455165480362186167622669776935712070162010331892700609735622542430983023252112432176526971187087966503347747077080202621037414673088937574795331657430959299810066185780996112956734409100288499005336181117517237168644781/284347848545319595155886273363076648918091638140923474465595819006299866680444910631351262104324744276334968586087888027223068011322342017275817271351106905132601577500945309081013277306170066944989546026324645461605481653184326606425209642286171321247415510609714098271865026115704102306821781350921768248310608537313132170416683701088219768069146237966566218738430637316790488308885799312566191120040*y^21 + 20394667282395369170599583868453618595156980270608206242267133844592005280289204853480465540110312523778876304405269681236793682523860055395186602324323399981498850577109981644194362574695696760153105575925465704063287187348313448476192201023822374976008593369403303601471679534389366586443670836435639848664231660444801356611192527912347512541278910376181170938217459270546416452250802438644282095677399617/4549565576725113522494180373809226382689466210254775591449533104100797866887118570101620193669195908421359497377406208435569088181157472276413076341617710482121625240015124945296212436898721071119832736421194327385687706450949225702803354276578741139958648169755425572349840417851265636909148501614748291972969736597010114726666939217411516289106339807465059499814890197068647812942172789001059057920640*y^20 - 2682169758959703552087737173850644145281482241909525003332635946922297718562018511109558757381778805623546164863298332640302276581051613401566675315707952949798137775279205704960091398934125821286813049145426345560145731455023204025296749666797995411494097209637174192757203488029500444008534761244538499769254465612634442528606968571923961612822741171843927076186323104875201517875225054554639746864183911/252753643151395195694121131878290354593859233903043088413862950227822103715951031672312232981621994912297749854300344913087171565619859570911837574534317249006756957778618052516456246494373392839990707578955240410315983691719401427933519682032152285553258231653079198463880023213959202050508250089708238442942763144278339707037052178745084238283685544859169972211938344281591545163454043833392169884480*y^19 + 97064943309697831849407213410256597746715271061127039605733652159906066484952008045501412684073025063847139521779528420140213248576361008851839380312199755354693552708524198626538747592656372943200496339556470910019864704349898013948645985263051410466097202881767644767234411487099098190422878415800073859389894320748041405446331725138765905707125930392926869641021738044327986027054574536091359859750103549/6066087435633484696658907165078968510252621613673034121932710805467730489182824760135493591558927877895145996503208277914092117574876629701884101788823613976162166986686833260394949915864961428159776981894925769847583608601265634270404472368771654853278197559673900763133120557135020849212198002152997722630626315462680152968889252289882021718808453076620079333086520262758197083922897052001412077227520*y^18 + 1600890645268093455062978070876082793771630915780099721306635405228699769280170483623191972271500235105342207726306699105261487109747973382116374452079705222082391459094471469144459859751679846843248943844061300038031082800959426134609899629465508470653927344908240698171959892630128009126334658139076265913607009805996636754517087795377277250316370223905687704080444370406333390696493968409195782566615374299/36396524613800908179953442990473811061515729682038204731596264832806382935096948560812961549353567267370875979019249667484552705449259778211304610732941683856973001920120999562369699495189768568958661891369554619085501651607593805622426834212629929119669185358043404578798723342810125095273188012917986335783757892776080917813335513739292130312850718459720475998519121576549182503537382312008472463365120*y^17 - 145975506913193420913840330735830965611695930522585980438668154039290223012304684226454636154230774477102438583819849536495381597206703480287372046439919707389232211493051935688770609430174588191678699937858806185302218736036136180801149688686956727511567029325223705232439562804016636700662797835481470853803128810844057994542923924929910434348529097056200089151044155372381972434193535212337123240155977003/3033043717816742348329453582539484255126310806836517060966355402733865244591412380067746795779463938947572998251604138957046058787438314850942050894411806988081083493343416630197474957932480714079888490947462884923791804300632817135202236184385827426639098779836950381566560278567510424606099001076498861315313157731340076484444626144941010859404226538310039666543260131379098541961448526000706038613760*y^16 - 608274796170474385512591550917744769344493634763319795425230033810065974048587900453536113578409901796474544368624199662308080595566924683388284841722298084895345139449929989539739871974290066801131697440553860914783252592484503752409778102112215138610119292450261117937395393378421698174509572593671193003160680187750911829988128116229947290168458234754962920543211755093429926311122444503748665911170295/12637682157569759784706056593914517729692961695152154420693147511391105185797551583615611649081099745614887492715017245654358578280992978545591878726715862450337847888930902625822812324718669641999535378947762020515799184585970071396675984101607614277662911582653959923194001160697960102525412504485411922147138157213916985351852608937254211914184277242958498610596917214079577258172702191669608494224*y^15 + 339119441128472188490006564673544785553158118553431582079330811447719574807270478389001215571546343067079156947847504780232186721979020706726737690433441997951166775890874634648645665220588411958500840668070523978650364410009435109981252952196198505451487466944331159795897145550733625157386574692876155929355320691469039865465941038594632645588620689887689777626055749047443555663742368717277602886526698479/9099131153450227044988360747618452765378932420509551182899066208201595733774237140203240387338391816842718994754812416871138176362314944552826152683235420964243250480030249890592424873797442142239665472842388654771375412901898451405606708553157482279917296339510851144699680835702531273818297003229496583945939473194020229453333878434823032578212679614930118999629780394137295625884345578002118115841280*y^14 + 2564981738862872915468862423978307343181391331985360928776642956630410533509827821482661340229597246589043673049692685557844295963621912495624645552624401883392392094091475747318695142767567858136389618574228004736156650751399187045402976761718926208217617841234069241407328499910013883928258979724049934866702942034109482384643374395841948323142289174876831377543542000336798058614052654447075084047103249/113739139418127838062354509345230659567236655256369389786238327602519946672177964252540504841729897710533987434435155210889227204528936806910326908540442762053040631000378123632405310922468026777995818410529858184642192661273730642570083856914468528498966204243885639308746010446281640922728712540368707299324243414925252868166673480435287907227658495186626487495372254926716195323554319725026476448016*y^13 + 434413259206896560195165918130405827088140251379342383211399934145527011082549835153016856222800203173880055561853886101992600815849303748245363455812219789468214180460074136965543441961653877874406062099439003085166344085978101489340160167299005054973243710788877266303943162542482292780886356976949933552247091916494119963012003183504284693519864157865415579249541521292227241393572990296178299988902480401/36396524613800908179953442990473811061515729682038204731596264832806382935096948560812961549353567267370875979019249667484552705449259778211304610732941683856973001920120999562369699495189768568958661891369554619085501651607593805622426834212629929119669185358043404578798723342810125095273188012917986335783757892776080917813335513739292130312850718459720475998519121576549182503537382312008472463365120*y^12 - 295686400248434029208793620889519254873532556121204022975831692912633180079187927737095165079190348695333585524390074167559397636161266440438919469481283732187035596223475088748136548233924561504951100455811746844092305476956838038688233404893626227100736982495843670950855811936314881512375994763287541574506845379945176258262257706079567174044393182170671110711864849087954461930409614992373440015254051779/12132174871266969393317814330157937020505243227346068243865421610935460978365649520270987183117855755790291993006416555828184235149753259403768203577647227952324333973373666520789899831729922856319553963789851539695167217202531268540808944737543309706556395119347801526266241114270041698424396004305995445261252630925360305937778504579764043437616906153240158666173040525516394167845794104002824154455040*y^11 - 35857600744000757971540256644367022588962281107990773497312189677970958440627391704151068874397616793483281295548646802977319503120176857347598981399871132158033136210477681508210065654010659799683671694591728864553814495676685386998403113464207821714168899357159355006384226366544144298960544142952749993114520407745143480929985211044036324466910764556288781319385289393677076026557645871363184168593276549/3639652461380090817995344299047381106151572968203820473159626483280638293509694856081296154935356726737087597901924966748455270544925977821130461073294168385697300192012099956236969949518976856895866189136955461908550165160759380562242683421262992911966918535804340457879872334281012509527318801291798633578375789277608091781333551373929213031285071845972047599851912157654918250353738231200847246336512*y^10 + 38839061118923414381606292723371096339256110110590619968217762485106328711847963133003460458602848649797146774921755706836464160306077204289313360363178127738494150688269707791457832970368661411020167642377229924592506746625638104667389758646635986454975562167799346086961705179479707242854038804749535191166836342116968103359918139478411264858634173038700278163819897286698331032820853910036332633912659859/4044058290422323131105938110052645673501747742448689414621807203645153659455216506756995727705951918596763997668805518609394745049917753134589401192549075984108111324457888840263299943909974285439851321263283846565055739067510422846936314912514436568852131706449267175422080371423347232808132001435331815087084210308453435312592834859921347812538968717746719555391013508505464722615264701334274718151680*y^9 + 11838523084523996602227125261888347726887864419875912731560465762902724643662166969466054881488385633247230800064943609139511012189049734540929091228895559786559266884804575666056844768371052791192539518040053251984661100295908440162366019654138072100758707800398377521049190874713509949537976734197075604261736851878042883092681127247014072534878270646760323605806984393974622605806363206965856784450836551/3639652461380090817995344299047381106151572968203820473159626483280638293509694856081296154935356726737087597901924966748455270544925977821130461073294168385697300192012099956236969949518976856895866189136955461908550165160759380562242683421262992911966918535804340457879872334281012509527318801291798633578375789277608091781333551373929213031285071845972047599851912157654918250353738231200847246336512*y^8 - 885275352098842764059828818094741804346529980519669560450580525078564854877767669119628686296192282368477713726089084429189012216207352742416863271803845955805976416663782973589777476702211942970041736957164543818883631951656369171356877386296265942584001740066490178482345796301981576526027768410240510426603749406200635239649202589792347413917716549113833545507473034426961303196053014257775953667662039/454956557672511352249418037380922638268946621025477559144953310410079786688711857010162019366919590842135949737740620843556908818115747227641307634161771048212162524001512494529621243689872107111983273642119432738568770645094922570280335427657874113995864816975542557234984041785126563690914850161474829197296973659701011472666693921741151628910633980746505949981489019706864781294217278900105905792064*y^7 - 2959233886965603718842712976863496094363943060986191529156641628402188290589124407624965738157972915023435527874397685187926100965975055565221399192774015568706533238098701239841983284293582367847554034886441335429295833261227331125437122937919423826793180370145230373765213264860367805498750935450442596491378459419054457842453879679541750859254339949019556134927656353434237163603176090634689812889028337/7279304922760181635990688598094762212303145936407640946319252966561276587019389712162592309870713453474175195803849933496910541089851955642260922146588336771394600384024199912473939899037953713791732378273910923817100330321518761124485366842525985823933837071608680915759744668562025019054637602583597267156751578555216183562667102747858426062570143691944095199703824315309836500707476462401694492673024*y^6 + 1643093622057511945146556427239236844412588266211650984695165962480877010821353978603660859928895013566366414110896754914613660904133147049261849543189740069026863031183469113806803684956904562172723345183054792269446880418582576845929862543265262291851448869088737251245861519668408898546344621676735735380944865230405001290915913491218326200223477785797048011852447740471142955283663208641637187355577065/7279304922760181635990688598094762212303145936407640946319252966561276587019389712162592309870713453474175195803849933496910541089851955642260922146588336771394600384024199912473939899037953713791732378273910923817100330321518761124485366842525985823933837071608680915759744668562025019054637602583597267156751578555216183562667102747858426062570143691944095199703824315309836500707476462401694492673024*y^5 - 94010730330999293170533769992975331283520376421369375339746401281776912287283413920816304416121196417659919213835874160491053826076603551795862864009290738193220372428809303893618216626627314201217812721025778855296200147051270467287071029372194677624054080367039992394116871876364837729159212379254502326418122950383836303301920413226773188502973021606569052242350548766949075758210286217360339344482837/3639652461380090817995344299047381106151572968203820473159626483280638293509694856081296154935356726737087597901924966748455270544925977821130461073294168385697300192012099956236969949518976856895866189136955461908550165160759380562242683421262992911966918535804340457879872334281012509527318801291798633578375789277608091781333551373929213031285071845972047599851912157654918250353738231200847246336512*y^4 - 307314601388530545033442197768895169607147123392022558324609130993519755774904840105671719165185073524871172262694824003259155615127216926712946870360878309709854518625958117162108039990996088501762840553434054700803078813416855571876290737739536927411338029929094876485614951798278197009928584133560731488042501479978752860271553859004960989881679298456508128157879129264629273221724486854905903458680541/12132174871266969393317814330157937020505243227346068243865421610935460978365649520270987183117855755790291993006416555828184235149753259403768203577647227952324333973373666520789899831729922856319553963789851539695167217202531268540808944737543309706556395119347801526266241114270041698424396004305995445261252630925360305937778504579764043437616906153240158666173040525516394167845794104002824154455040*y^3 + 218966116860407364846334249706804650712517165724255526856466756086950148269511097466994329597632481538822360226918499839950651049008937106077756846126735990323178169838007828149272738647805106007329381274476033033903337847201068752433670869358950365850796316627240026112209031152620287182072793549831362334429205761346885174883981435865967879547922191317309784462114849035588787298011207404451275885633391/36396524613800908179953442990473811061515729682038204731596264832806382935096948560812961549353567267370875979019249667484552705449259778211304610732941683856973001920120999562369699495189768568958661891369554619085501651607593805622426834212629929119669185358043404578798723342810125095273188012917986335783757892776080917813335513739292130312850718459720475998519121576549182503537382312008472463365120*y^2 + 7704749833714442624520839782805189728904360384742928965346150928748068236166753929623251846943635617167230797278638881701067358645597695749060703146273804179192985095654531802034022145121599002644682386560902526495009875774478328840436388339288072031476743282519106749988317426059027611893956149644445109016384816953474687814653743198071772035837570269624368700043419556550004556949738162037211176150465/2426434974253393878663562866031587404101048645469213648773084322187092195673129904054197436623571151158058398601283311165636847029950651880753640715529445590464866794674733304157979966345984571263910792757970307939033443440506253708161788947508661941311279023869560305253248222854008339684879200861199089052250526185072061187555700915952808687523381230648031733234608105103278833569158820800564830891008*y + 11210101714979622528756670258317348298689794978329758364107929017971412665098975135571782865451208541476730652452045559932206748980201424825757028805085992641005529976531107918253244165797537567460500532411959515415069207250488399969825230679883869810935729944384727558677584743100004520606340182106355430120603735789780557924097590771896217860580140710221149325597520626660845267939700795201230045455491/36396524613800908179953442990473811061515729682038204731596264832806382935096948560812961549353567267370875979019249667484552705449259778211304610732941683856973001920120999562369699495189768568958661891369554619085501651607593805622426834212629929119669185358043404578798723342810125095273188012917986335783757892776080917813335513739292130312850718459720475998519121576549182503537382312008472463365120