# Manifold: Census Knot K7_79

# Number of Tetrahedra: 7

# Number Field
x^34 + 17*x^33 - 240*x^32 - 2710*x^31 + 6732*x^30 + 84392*x^29 - 135747*x^28 - 1173520*x^27 + 1713086*x^26 + 8424590*x^25 - 9659286*x^24 - 37749154*x^23 + 25564912*x^22 + 108874618*x^21 - 26446371*x^20 - 196270426*x^19 - 6917498*x^18 + 221487027*x^17 + 16389096*x^16 - 164522428*x^15 + 33897478*x^14 + 77881008*x^13 - 49143540*x^12 - 18670896*x^11 + 18565036*x^10 + 954888*x^9 - 3685906*x^8 + 393070*x^7 + 902684*x^6 + 133124*x^5 - 89398*x^4 - 25800*x^3 + 1713*x^2 + 952*x + 64 

# Approximate Field Generator
0.275143095351115 - 0.568628250112807*I

# Shape Parameters
-9406934003831437939412803605346592804484992816488326469553449492902662816089400778935501948744120174500956419300452326579778151172849023570655835/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^33 - 19893575001933311598135318865409585030062769815938826546105033073641495743913314410147399522722220384314753747172027893929641833212424538753968007/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^32 + 70963586239830238746420495093123018744194298919228129248557417360465296212599350203104713626258688471967619945054661527607812358650783932908021593/25992187042968912850627307137772585942328846592224342933175293401255934490721495042279755891240238007840768869433024397837820780937870790945141816*y^31 + 12654822883434138689103003498299058510285556934367405985309953514476536884550671537250766107582683506450657964989960993819070629104598135566081534965/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^30 - 32718066089068878412106996569269560678858050491662339573997277942537389110770397228150154187972000468923712740783462386856524683898773206720413673295/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^29 - 394459435388523524763142566829902719173166009709596278236808746969510427948514108075483790133878831969660032620917281795838268192643615310651148286897/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^28 + 1342764008433476523003524729541197168268299503565856243118696750221148473646095952232009012484439327559988733772350099468160303908991342865314999050083/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^27 + 10941883610065076776124994069221609351738164563974604143228902591924360960843457813788411941648146674803961852388067260164926935530844436981850205137741/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^26 - 17038172338747177487316581222887687382368502206779285998101833517562882105324254373920771673683174671028126610136128026645235284388180193718351041082711/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^25 - 78024484700411430370865136504652490837092030771538826567093582453751673925942744406081504468613760369692754371117344204129775715170716094834255412093731/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^24 + 97611693498128265254522277155265907142424950253714661967723999804801835250957354370051745637115259735409049120858854532070246103047788205223794004036541/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^23 + 348248049046146584492046112488131220102600917133015394559159945980748593924729283436361756385219248286833612203321655853945132691748053286622393027278449/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^22 - 271156192711709970623965853932509676301124559356460603296698597132522052593378071008167526980974573493545850634662306480271698710659936340943650922353345/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^21 - 1006801794930788827129708747929784187227919116577885285325928017389687055543549025247908339870804551048883752360636436146868760619687614484816600934385757/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^20 + 169026740592016631806860885860985493989341878868025390808893946606959114998202262405506521577352192567808189365221698437996956943606063120712165906727203/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^19 + 229051148474355665672898777653800772640987534026457326069615668513399160931006544573042338556342382364914994434881420590483461294475510267484502775967243/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^18 - 48638184725870768846280951882567707418480695827598042226594043406496031880222792113436283651961410267191606957608022274273417169951784834096031587119101/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^17 - 2101097805578921674759362971691997369376227865742058656884805005425940110771619092745537021700107282923196374002895947842149114220838639087864297653523263/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^16 + 31610572393816803492666357850918356087432791306191107008784071617129065548818145942261134004320612618864302314702578208855562689113583208022795192660671/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^15 + 1575106172546559401035521356838874820345016179306146353750393230592959210623416204596933572676337902090491470271227456192591888023111471359834713814562877/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^14 - 462079904009000213002898139870567971056235963409099732795839409832586180114156725090551704845094915701323149312987727445744009257188281619604058850295255/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^13 - 715753921655773575774008565600783207432376656275183962332923676570822474554342585958161086188605913885994554624342256022871323186582952338419358958936729/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^12 + 537983210723758381478485739088172039081791277340936863417348005193708991706097985862962523958870939373681226808038058800501407901434737132763268530838549/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^11 + 136296100544484109055035544055907084717266810277518166131369704963485725030237488475360578388593591819751465078912211542207849282118672040197100732348291/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^10 - 197100899924815046138161543192414566706382655114273538647946948722214749986859069066034908279650631000552617602231196424721257370649633132953152136213023/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^9 + 9766074657421906931975011610203422038569122885588118638784366065550162870573036844373297931148853482197858319812110900026522904173505188935696799559687/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^8 + 36169535699174159555907441268808147245667077839555876754300165419177084087820320743028485869994090815145836117627741989198626902286274483003817597892943/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^7 - 7782832282612080219992101696250990860491040789292882154468350345526756619994520591927499942179644621435361711228917269001596823527195079684869233112097/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^6 - 7994112906102641692786482657205945496675508814539077228332710021243788990600666758653807742050148437459762288101710134806927715799746531137455843020299/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^5 - 397052137905868727772564938144192584364679899953061700447338493429173604555841731255671771491656056757872631154779055966800189164252899832080745639777/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^4 + 928496663499053632302726163660867518041150424698140246615180978420944028058403328175180822066691864345345274102972310289279456034450205386023307724019/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^3 + 146931787776729847079365536976265726208828451826567425184440998306234511801940375266484465837885791287355927449586166168559463747622027055859107947501/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y^2 - 2317371412483527599413114160016148126363089704522354651009055819823163442271599764123948431556814845276960812269142647295065831981942498879226205953/51984374085937825701254614275545171884657693184448685866350586802511868981442990084559511782480476015681537738866048795675641561875741581890283632*y - 86485032894648413142443667739312126496242042022023344461120924912879927460027328129248742907939290329387854409007489132070243887576760161764410343/12996093521484456425313653568886292971164423296112171466587646700627967245360747521139877945620119003920384434716512198918910390468935395472570908

63511619279128712505182290094062071062121419511482188511690272947435381837471912303384794851897389263959494937510114160159701511554730036879268047/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^33 + 264887172526945574968818138407072583005748716315947019982635785880089192878019141361157825446856778519027695467192154987648753006281909607366259007/1663499970750010422440147656817445500309046181902357947723218777680379807406175682705904377039375232501809207643713561461620529980023730620489076224*y^32 - 243387403647641939250068531221005522603638225064316015198940255721444683205389423137264297377253234033407735714993986336490055349374135087420192361/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^31 - 83569938524115174204723865671705660355357301359108077037753661172751892181301521797748967974208577218216284196484648198122946231226069243962448165295/3326999941500020844880295313634891000618092363804715895446437555360759614812351365411808754078750465003618415287427122923241059960047461240978152448*y^30 + 240025439141539956901188622135254324410569210544881499402625969470570738661058178554685063025982802257713133600489433071759215436917371607625004465411/3326999941500020844880295313634891000618092363804715895446437555360759614812351365411808754078750465003618415287427122923241059960047461240978152448*y^29 + 2601063955506710906739243337322827056291064915082040852771489468351035923858012124487812287063109882200686342268960320373111186920376714833126919677471/3326999941500020844880295313634891000618092363804715895446437555360759614812351365411808754078750465003618415287427122923241059960047461240978152448*y^28 - 10254061605509011405774534128610555234315930861452398005415174357816161944538828547273338606507226352704945059407413423937502216168819794032196390269031/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^27 - 71109696508101352749385191899882444618199890295712082335736952153837820262686785660703016774447759623395467138767908067156186534974913860990046740582449/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^26 + 130963458872074991014275907857980011961379411458746097048230574755003082639353303257764523212938200920775355010668634784788581512118948792797568247321351/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^25 + 491240509654812155093853543547983085509770476077070985710360419330479947285018900248462753586679813914485888366741377325880465063624059157062913768178875/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^24 - 764218504670485917658282217089481092910446006099295519435397430126942810186134589576236753288375063047469415034489115854974457066114697821356829865177513/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^23 - 2140066892972914795186968391687704468949131459270864501547998643861780965114837898567170571342655686368125670968406190477036089302335371012501193652963325/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^22 + 2272232252473885342297794604607150464469216647744120666945717713223770831600519715947027323189891156511360918678721396437702114193829794764316536219607985/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^21 + 6130934851177989255654603250659709896563597993108664579567958725698946817060983632651323545923224506732306810882543581900141069560565924825931379023970205/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^20 - 1764235346024505021732714691878691063696686630173383082962491770482603140648737838247534520105252999038295169713313572264826172098914793530118008357526535/3326999941500020844880295313634891000618092363804715895446437555360759614812351365411808754078750465003618415287427122923241059960047461240978152448*y^19 - 2791924604783419066862217280444912536947705719692731790093708157526432181152590212168980524321113748973958153218024498766907797161828786699187365639749969/1663499970750010422440147656817445500309046181902357947723218777680379807406175682705904377039375232501809207643713561461620529980023730620489076224*y^18 + 1464429627020464322246180539202721054599254904995133628038291265760497169183977179510563348245515906614814040161921949892302043428677745741622765143337313/3326999941500020844880295313634891000618092363804715895446437555360759614812351365411808754078750465003618415287427122923241059960047461240978152448*y^17 + 12810908719751948194909682149792139963631685807886893639051083892352890797145271208534867669823830722305096228980306695032630300326425076150112349687140519/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^16 - 2822863434851307957848046251887962249447872074451562760538552478156315725687979072797279703255775435924049259101785091303884235497497457982437174873005751/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^15 - 9175404211625504090013585126178456186018821990008168571455395588972100539621017310466047817739656627615517635427055337964912225417392241571575335306345969/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^14 + 4852217237121921869595290865798009039621508762655355178015012125241691858408555071864182073564478388330422888879429871625490741585699301028818860819067491/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^13 + 3153603687193642562519506496280002255759588882478978426517380773485090065453347614972691235467743671379280001054724295061818170863123672198575405453512657/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^12 - 3879975202883166037134221753123704464416460329621293963243320043709999570399490782847231072784136915657961774347739931273217457493522151344504840391950517/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^11 + 84031699547993131224149686867551768708416210046074128470266930182508077119520936196007600204314025258095908025847844916485492183222221049789878321672409/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^10 + 1006900328891270123516588890414754828477450537787793814296035276713803251369315136822706175475285295823898544004245213027752531946232942636721523544479955/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^9 - 213927814168040168360861346595117150119151025494819507048503294867093736779624159695513761585874622546013079392148815527661847531112959451829121164520983/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^8 - 143266035035243632499418160093695326165463543375036930995567507884202352118599829850946568581160054864732409698577142973313423273057125829627899150637007/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^7 + 56206289725581108183534560953260249441605676951110611263113773683920287146184324437123518817384488162979242124913759720640962288965873328008562080283437/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^6 + 38233205878477445958132665209056728421148251227571275522456404192689119007860942759086716044312805132323975523082593783671136629045699614383645483301687/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^5 - 1254819826335371351585562943405927786452008466801429833405074773821889699699825892850687490980211252338962001764556470222161338217673275172117861234495/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^4 - 4595764074644191193449313998054190608278156799072509039551591660658272592281537525539500786754101819186230751742188380115209502213444714856776561039083/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^3 - 488613144906270941283509445641741141655088423718477654127792791092884257130900347205794998395099552527219767701421190112095572470433537077315397082745/6653999883000041689760590627269782001236184727609431790892875110721519229624702730823617508157500930007236830574854245846482119920094922481956304896*y^2 + 20296406648847296566038829819357500197681407757704543858804600093338224306449819807971737576746665774758382839518850800662948628920499966335687884113/831749985375005211220073828408722750154523090951178973861609388840189903703087841352952188519687616250904603821856780730810264990011865310244538112*y + 575811332851465961882265851523264204831081523776069134724733745088098065890515609334035967418005322124577992088892831037267641495298061397734865119/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264

33122589017835021686924613196161641140785154799625082954529490174970069195415901406228419936673855910402718385818288297125825082250463293256053293/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^33 + 139536164135641875119184996363336509473442634119549535575214687712852146198546667823323990018487471810273338008980238257170936418258344699545272555/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^32 - 8032640880050465211604871635328990371897067314812424101604670907207965201807439972769130516035053571804798967476714114313878789740434395140041482853/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^31 - 88564144908400760795730111499140158933076003121948628652796460356482298437936526516406265985875562180548572476630126592023697519156564724458517349579/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^30 + 236185066221245037234407575471777266055429882021444510978849658932621750064800634706676814383885129778659516175380954193531346557458370555282800949221/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^29 + 2760026743376327311007442023868562113025125162546979133614354843058531436184492766361676924602107988858734658507828274067335438664215996203552620245487/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^28 - 2453887886559435215909377890653252181137600691561508821963835277064651053071752399863765606355964007603675053223203160089999277192602938952481453341907/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^27 - 19068543275126660496561661154213523758586785425832343469616130897853445071870664717595398658553178458714061279712527651385770390462955506689506382867559/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^26 + 62426785537869637075974618816784436934711906751507640199055483069178007437845440882259171392921180314386826983813319855879842742954515936009419499367875/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^25 + 134860073083217851113308892609272684974745613963142694148031817787504941645265504914733886404932062244099007342634293863988865896731117729629529429038973/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^24 - 360133730819253745160232058173250996000524589259084639104716773209101934574174945785310627029318435258311170694796925507752639624637037548939174658913511/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^23 - 149567682073123851045147521700234184506155329117921511977492189494216930224152028475733399815432192275624754913892366914972769948423506430127902450812443/51984374085937825701254614275545171884657693184448685866350586802511868981442990084559511782480476015681537738866048795675641561875741581890283632*y^22 + 1025035648836981122712983316864711201792240825045644467079130783576511169763201473678453583173457446877887181236115822488945153656934813030884230041118969/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^21 + 863222811489787902336513528543088396183167959396421291107652675365798063602330240902190934263489425616933525923681197441099852406079993177551277731385877/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^20 - 173790716202995339145511585196706443111971204026432660666946443074359004699234853035263522615234831823036363520219161932376143147693114779508241845801451/51984374085937825701254614275545171884657693184448685866350586802511868981442990084559511782480476015681537738866048795675641561875741581890283632*y^19 - 6292292998574720259859911753468054220888856909622753159707800397088282006254922725454681502423929753574723551259330827710185412663975940855557582308246757/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^18 + 708211685644771571776612602156478604889867782490099983601398076616448372607282369261198881888924147583631470922027761629846372382506127050482963170910715/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^17 + 3613999851802155576797931362674143586176069202605030660183700364231807772305230455009562075016333611201241469407052579251574746155522237682538904275534915/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^16 - 266969175412849247328959020637159130677767292456038463076478324059836154653033288843969993654668657907597249918624359759738781080708992950332066812720051/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^15 - 5366550852759603405142285722662160168995928997714753618265023365472392770562320718571632251826473139294069471752161190145052331609511557623362539111867017/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^14 + 480483912177767059276047990233893401692217298428383431057514993222570289220987430959378227289240971356428965616782396194099715095506326615311544337447545/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^13 + 2290469233753041230605573174709310490882574787158485991726775338740255759555463511591509627139595385800845569011988977712769126379812735394586219199175189/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^12 - 983896073865581155174663395348471831365372627467060300748804849039842733761537671597056272488074316326272790637333067007631318257315814408327672020419199/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^11 - 323974995215402020265606809799859233384084508224935604050497649967585904527452080210580230163777241686083312307331334507883414447288090954707274729507319/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^10 + 330946982113162532424450182800824893706579381718370594708701820853852922890119891029944647977066555321116239079339311463966869822766440342131532106779009/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^9 - 67018997452124288140504944201654369599811346060825880954615162578522720672173474534987938723519919960042721519797608180609287060818588181201435677189395/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^8 - 27903941609697090115080683987410352351967260249477865604821551352327035212284508418907780533838341790488901599253963068732986139749444210875999058316345/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^7 + 29492067198624955277249889603139603721133759637661307760671508704047310406097648901097294835826355711837201620433302280385812192059859674552561216193069/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^6 + 6364701148292097633995929359396132420746619220593893091171469062948413406169399785856753739263356013957255533577027564651844596923611748290712669290143/103968748171875651402509228551090343769315386368897371732701173605023737962885980169119023564960952031363075477732097591351283123751483163780567264*y^5 + 653015171908190550923484933255581197577402381225545858287322161305680514132855526209719065213191869780285558367360155452460981167313135654817361588623/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^4 - 1526006670296672826951319648662576434358420490635318321952680587172710169196816676523075258063003966861397534616915289204562194452308764654729721842261/207937496343751302805018457102180687538630772737794743465402347210047475925771960338238047129921904062726150955464195182702566247502966327561134528*y^3 - 403455636705016372406680407283095710788338157811907897454432643023217808121131405789851305879210374191530709089585469369295379842960057147806377442503/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y^2 + 115078576881121799078988890927451573692925905324646212606167120205999910049671192596952290109610028611934350935202733548891977533752367720747074255473/415874992687502605610036914204361375077261545475589486930804694420094951851543920676476094259843808125452301910928390365405132495005932655122269056*y + 950297995378790093409011185461356433480358350814717018074244632078689168346607403914034233009084065807014119966940349432475747289763893635250551197/25992187042968912850627307137772585942328846592224342933175293401255934490721495042279755891240238007840768869433024397837820780937870790945141816

-977017569778330482233345393322765723823533368259994365812137755134667223487487223591052569456356184605104667127437022139613073256409771996887906363799/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^33 - 16456193264185731099882285403612793089589650158839160433330355212965876185699502754925278700204965290162465712514017565373911359490667989576431364656401/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^32 + 237065895202161067932254614336980116595703408997036470119481253979175531097034735973979464860833197154764220102067478032418488332830085396201246432909451/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^31 + 2610616294554987285899928925502335978275185317858239475511283540501403149971901607038478496037632101973930445189003631884290207098848558103708532454729547/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^30 - 6987081128318394469711386906736458777749039739577209281409675635167853874982233935760268943772598869479800399749229321380230185737180371458460926767237637/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^29 - 81365242658794666010546554257585516269498372948507393131427466668043847154715815663910406687050493650297530904985191582820121685374528565649313833793267885/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^28 + 36349509389313087337582396225382648024330440140539783334748258920452939758414600991125480496719132009526159803894496885766447371066491469407384106286461513/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^27 + 1124003897533013742132827318692709133714440131393045131891071602961538760527544298374715252375069635085804565093512418034867516879386167652411410546414086413/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^26 - 925137438623071885710284042826821976752826242165591179993625940154212010579294591433850074060834898859176021175961079387044638923850977762996168270237311819/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^25 - 7944309573396666004357364424036724749461987596954933309829943396462646096855136930024607069382891578780657680114320498161358846527323237533502126209508369271/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^24 + 5343769894331017659982977707557001223157074408775290837740110040597579055755565954306810079786285335134408823696443893352443372939623215007931372139592775187/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^23 + 35229850238459830269772904863125130699160716410772466572903056255697208645351151866293377050497248629437005303460147524067279935477503289610288753262440479089/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^22 - 954009470278864278039194169881054386471606163900043749046960661979896598418873454588911363184829204385406784681402563580844430197685003917633015797137209541/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516*y^21 - 101689835708717213096140436805561373605805081820679547201229341571429664407436417383567689892447030388633962315133529036761977230666818650134354821288034468471/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^20 + 41856988017813040972929763369654204330088793123813121885110237696364891893923503862200341761754267168273035379652461940788530171353368464830267775795890716111/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^19 + 185488797415177635056516090986087707925717182006110966865524734326319568363858387847973502721935573926717215681160869340359663840767941510592630948660440475791/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^18 - 22411373777911220758389589090625566957725417508102620819528599998281190175141290011165424117016424841641736923275044891884038506172035361590508592203839698713/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^17 - 106698367007178552809071652555404041998148270387705681796035629954740988184010170830438108529798084455542974153207342498064805536521249769783376783904516831531/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^16 + 17459908646381834398806196543523885362230318806120439171159093832164513911579334686831323948986553741410822278669269010002142014850609086358873420081477799201/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^15 + 79284282640385755104580449870234754922524724427814426648887141089659200438298676408483427661972335382461050579184767932390316560867149831752747173584635082155/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^14 - 57985435453253188583509625627873706804422214523064969316343400595836944231058629693234240472259023977236678204621022912507286680406889393108675908714388376955/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^13 - 16849349532394903097082412998821139300234689011531385704841356174299424002824467769508180891714269095549920197440216259836176534259945145261558630278666541083/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^12 + 58716943983743256856855534764138419220639473403131554277809809337092982981014548574785424002393502585190010930143972869396885355583956792161430216914253054879/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^11 + 4595526107948699313417526118338157571859443629980900768357097236630034981767873952692640106111074140310374182152205973586789045097396185555749371435599948277/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^10 - 19716002808913442922881889490608876345579050556331974451189349661149290090120855908893946992544666355217842436104501358913142093988604571422519249173777287355/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^9 + 267540118171627827036543264059541262183558673728641620368575420710810405330632854467354381993394788296373834091651800155184260390303881924789154933891057549/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^8 + 3300584728942154651058157890523349074571105422819813698356557297063105873468095295451306548605231341375301316309688228827413281762538220416622327542000736173/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^7 - 112942811665007761905277379208739396412643196204214522592219807262907720584725705596094632840203196761162625776557225439981348302008280206153842109080545125/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^6 - 9441232075978558097713874784847237786111621667659929177179221995620151010798969001679926776185995541906840106889938417828140155105200982300092764185292367/109375123076813185275439708435747041645319786460080035062801634632484972336956051137913212790338921536993955402574166666101549846186560288297156761728*y^5 - 6003088782926387964949819826830274071765401122792633589437753265052347569736362035099291733313402358938855736803310771237886902905429258426197649128602149/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^4 + 91037364433008338184469967357725304637269392373922842202987650413721678216504836873946162184962804280171807733476160332205702718975641139640962518909282547/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^3 + 352160182186174465033055686466384323285977564971950245733403193683443447014499492122404576330543339691159008006736565721507834883957139898188824621230367/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516*y^2 - 1754061392611350554549644932818296992816244359036166713638873061864449851063800191463418745013090992588998556030002678530587437834406724339831582967613649/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y - 12791403625041898683126099722693188304224602291498849637816517256464105861931684457744080293593570313552160897892364683618439606979730494753816721464787/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516

-977017569778330482233345393322765723823533368259994365812137755134667223487487223591052569456356184605104667127437022139613073256409771996887906363799/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^33 - 16456193264185731099882285403612793089589650158839160433330355212965876185699502754925278700204965290162465712514017565373911359490667989576431364656401/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^32 + 237065895202161067932254614336980116595703408997036470119481253979175531097034735973979464860833197154764220102067478032418488332830085396201246432909451/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^31 + 2610616294554987285899928925502335978275185317858239475511283540501403149971901607038478496037632101973930445189003631884290207098848558103708532454729547/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^30 - 6987081128318394469711386906736458777749039739577209281409675635167853874982233935760268943772598869479800399749229321380230185737180371458460926767237637/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^29 - 81365242658794666010546554257585516269498372948507393131427466668043847154715815663910406687050493650297530904985191582820121685374528565649313833793267885/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^28 + 36349509389313087337582396225382648024330440140539783334748258920452939758414600991125480496719132009526159803894496885766447371066491469407384106286461513/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^27 + 1124003897533013742132827318692709133714440131393045131891071602961538760527544298374715252375069635085804565093512418034867516879386167652411410546414086413/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^26 - 925137438623071885710284042826821976752826242165591179993625940154212010579294591433850074060834898859176021175961079387044638923850977762996168270237311819/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^25 - 7944309573396666004357364424036724749461987596954933309829943396462646096855136930024607069382891578780657680114320498161358846527323237533502126209508369271/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^24 + 5343769894331017659982977707557001223157074408775290837740110040597579055755565954306810079786285335134408823696443893352443372939623215007931372139592775187/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^23 + 35229850238459830269772904863125130699160716410772466572903056255697208645351151866293377050497248629437005303460147524067279935477503289610288753262440479089/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^22 - 954009470278864278039194169881054386471606163900043749046960661979896598418873454588911363184829204385406784681402563580844430197685003917633015797137209541/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516*y^21 - 101689835708717213096140436805561373605805081820679547201229341571429664407436417383567689892447030388633962315133529036761977230666818650134354821288034468471/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^20 + 41856988017813040972929763369654204330088793123813121885110237696364891893923503862200341761754267168273035379652461940788530171353368464830267775795890716111/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^19 + 185488797415177635056516090986087707925717182006110966865524734326319568363858387847973502721935573926717215681160869340359663840767941510592630948660440475791/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^18 - 22411373777911220758389589090625566957725417508102620819528599998281190175141290011165424117016424841641736923275044891884038506172035361590508592203839698713/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^17 - 106698367007178552809071652555404041998148270387705681796035629954740988184010170830438108529798084455542974153207342498064805536521249769783376783904516831531/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^16 + 17459908646381834398806196543523885362230318806120439171159093832164513911579334686831323948986553741410822278669269010002142014850609086358873420081477799201/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^15 + 79284282640385755104580449870234754922524724427814426648887141089659200438298676408483427661972335382461050579184767932390316560867149831752747173584635082155/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^14 - 57985435453253188583509625627873706804422214523064969316343400595836944231058629693234240472259023977236678204621022912507286680406889393108675908714388376955/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^13 - 16849349532394903097082412998821139300234689011531385704841356174299424002824467769508180891714269095549920197440216259836176534259945145261558630278666541083/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^12 + 58716943983743256856855534764138419220639473403131554277809809337092982981014548574785424002393502585190010930143972869396885355583956792161430216914253054879/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^11 + 4595526107948699313417526118338157571859443629980900768357097236630034981767873952692640106111074140310374182152205973586789045097396185555749371435599948277/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^10 - 19716002808913442922881889490608876345579050556331974451189349661149290090120855908893946992544666355217842436104501358913142093988604571422519249173777287355/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^9 + 267540118171627827036543264059541262183558673728641620368575420710810405330632854467354381993394788296373834091651800155184260390303881924789154933891057549/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^8 + 3300584728942154651058157890523349074571105422819813698356557297063105873468095295451306548605231341375301316309688228827413281762538220416622327542000736173/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^7 - 112942811665007761905277379208739396412643196204214522592219807262907720584725705596094632840203196761162625776557225439981348302008280206153842109080545125/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^6 - 9441232075978558097713874784847237786111621667659929177179221995620151010798969001679926776185995541906840106889938417828140155105200982300092764185292367/109375123076813185275439708435747041645319786460080035062801634632484972336956051137913212790338921536993955402574166666101549846186560288297156761728*y^5 - 6003088782926387964949819826830274071765401122792633589437753265052347569736362035099291733313402358938855736803310771237886902905429258426197649128602149/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^4 + 91037364433008338184469967357725304637269392373922842202987650413721678216504836873946162184962804280171807733476160332205702718975641139640962518909282547/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^3 + 352160182186174465033055686466384323285977564971950245733403193683443447014499492122404576330543339691159008006736565721507834883957139898188824621230367/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516*y^2 - 1754061392611350554549644932818296992816244359036166713638873061864449851063800191463418745013090992588998556030002678530587437834406724339831582967613649/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y - 12791403625041898683126099722693188304224602291498849637816517256464105861931684457744080293593570313552160897892364683618439606979730494753816721464787/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516

733997547021504299873411405354540854503217126912271953362077473143297997184646087320190083110099461717448261892980956395574777008118959367871596843811/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^33 + 3060283812047498491400292602234086208044099139157112573435242833580639738265010823142809592147764201842005278164409594502148832804745085841700249793013/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^32 - 11256868097692357429739360040051974467747166335049867439909233269734268285489456331469777815633928245327720859387876707804972745999285060403938747100727/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^31 - 965523125803538990420103098053873264326865493921374215508026772472291781450453764617778114978078036088431330995049932657324005493667189373985700247264323/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^30 + 2782185839934135797788192854011319558139168685447134929521035390752111545226438256988693147732027005182469636285719389325834853973006973903559561750819827/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^29 + 30076506379833942588985183352428189416324939978201135738530242335974056831444291257799891159036615601280228496099026044750148385986436868806131331733784231/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^28 - 119026403397014717527264184241306543052130587876114460269055104685495457928605316042342981207243412353348656110485792609965651028536388539876379945206783531/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^27 - 823105710899289389912356263345028887599513890849539590166836588210688863263892160986174409632713286931899662436103266995433448479419511547760494557318116773/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^26 + 1522292858111950088647137819539727665390645796301987040476571896608212447015456747803667162098890940429882495380524884685379836509185438109124196494212283019/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^25 + 5695061342685169642152019915288153498362896150056982247148677766127775211974935500887812058435450747708945236344327510975623974662020068701859760483541201215/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^24 - 8917959705995210366735091945835293719087342965598613772535186105604696807679113833581505826102184696956800579911111261655442970830411986166384043257497232325/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^23 - 24857648886596165655708468812803016506168984093632853300673687908711188552975083372371408539408442419684866457338633146128968363231412412128866111102323331105/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^22 + 26717793843870206293531327648556499581757282439509457690994183870853422983718009902296244667688299019054123875533652388710226237971119906618093662471899891037/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^21 + 71440705306126684413508777428779609707403657217903218467801798197244703228483188911466262811792384746342207769174115454166144229357827561796411304474673351497/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^20 - 21077950479588692897886847846255238271655936387398919229290263412702677055696750356174963594294776664381627518019782510714245421399789892853219884105378527091/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^19 - 32722025784716405750018632576917694418986150096854132950300722822125844708740927337456555560100267477646145471021326548773030933861190092924704393776474396517/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^18 + 18121864886489404065830050468408420434101966829820735379595596012264874088499124944422005702266635413984704985260991412122214875664409724846111877434611026545/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^17 + 151539088836303038028428593907607474615115590169763157376772039342484237645975259751019607616934835510012682230671641609054191631977145923801234918732966893491/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^16 - 35188437835578273153231182805898340429166163703577296493974640025461775050643526613705172524434864695120782110043754027038583282250635663258878175601135636595/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^15 - 109961777506538290946029247426066989285197537349485652908021260290224004023206927632492303672825834758713124035357307859269910307826135634858156178670881484261/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^14 + 58483833212193338961929296643656503394665045608129028403892380418577952655529005134689772770189819491538110211476520559369288429748944919718200411291610176135/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^13 + 38790634565717747529603443657909532782411672839932130752504605135946048197047690080389561391497003977518979454221152676944772137958531747744796485687979549893/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^12 - 47332526193820355180635570589465007315095779294246145181016693268705717169037268484667918593471878625813941120634548900837142645666958975749807218365055944537/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^11 + 811467634452780600085510290324088193584092577072061578516368203473842596500504368456777438986808706218878123042650302919350514173097472167177624965662404365/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^10 + 12997989254630431123611726274538976590208741624787168714246179346134943881878485832354584288674293407395627046667177366912854291919119513217823533093634606631/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^9 - 2935634027191901837221333606094934831339921018438691803462270482352824222527575029027140885897151514630253177491828948970292541078468277278056450230472898627/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^8 - 1805623593567200768541718860562410342770658637954044722482798736427627079829554530207724036635915829497969695392176889813540024808202311770471109978183104315/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^7 + 752833505550356599492257347193109084600702208860918645512806707387350194325470603675964640001104109083980913294169276407823255749615507652718218107381164449/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^6 + 5741804643599632961178128262348938784223093840997357919700373392724380217183974315461367729442452307913403034114988427456113224141849880726032144761012069/218750246153626370550879416871494083290639572920160070125603269264969944673912102275826425580677843073987910805148333332203099692373120576594313523456*y^5 - 36039083528375211201352199975684828057877622254078640819668481570593590441521865689146454692560940823963434695288281656959657144833030126166884683108755883/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^4 - 60990047570836931902696602293681690893261461718087463386044667114213215673300194718729175678480590751596742892643209291551847379183033808143090760641435751/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^3 - 4338216971343459928910036467375589555839271917620047644006366441227121569353123378361752293706466086781698064075860070185743973035504497568306374414969437/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^2 + 291334461658658369996841123810780190941064796680631132262483753229048106082071639374695438265286981338890672836759269284985562709534104573295969389215297/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y + 4029068328432363811625303035656396803695721674759310487571160489460679369700726586591889256710041251809093892349627686013388078355157045143000778231351/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516

-748793750335225837604042448472563018075037618091104419462749867406960854841285083316010127302226146576326897230810575990618768880704994050943285180465/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^33 - 3165675491805503391075314299274707344470867451853886781905590832480484706889952162931903749012054952701162209972018595545886236504321164742289976640045/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^32 + 45209799321081000835057420834449908061961709220476179398923884402930520645674751493103032346793808860505365531823014554983732355821124250991053108448461/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^31 + 1006541988995488984927585437561558903684631993916773706227966133570511243437909923301579691130939070056969558109083569210996381344797945171750509656567405/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^30 - 2610148448197282432490151054832176301810591864649425266603383425456790454922747574658609405573983963953283654009035565892518828169624503355654050389251407/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^29 - 31361861078912539072297169107605872364227016838037591210313999789951560926051733828067712423779570926143267753528192771215857480947045893444106190248531453/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^28 + 107243159041980849601269220828570258320297081362900130151304310991637715504119404066033836776436306248542569794737673976170915633802901130682304615917814869/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^27 + 869071354289056280196521252792426566060537174841045847377564607290070380042345449180127196622789025230004329838724741831573420487832444086263906895864043719/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^26 - 1360382113272117975045351998582236896453412946624811067110702731281985423547189419759677554299319528466584139600122170763903509052324398762516466634411807785/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^25 - 6185593324507032364935401871869288517685913595023364537375177600997749537342726949141525529102289224065450054180538921651951444414613421025724042537615438361/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^24 + 7786249635284828432416084013132529531705297994464517988439899722510598162819223582328617823015661175299169636341645649934136390805860219005952127187532241843/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^23 + 27559987211588866830876003294716972316889845974557734680389763047510433620432297436024187716587308049341805897413715573599741856211316226483170771406788466867/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^22 - 21614919023452343876742525502109653162888109889708948972582467276919423120223745320003934560153719989439047302703855104308953813404360815706620247905749476199/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^21 - 79537471928939493095718025362925732662797569875673675790800750606554040119675614938687757851660231411115710563254675267430842030934509409509489208533091002447/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^20 + 13485815419106408803474739559510573173288502492823960624137112933616121686922511748239713421756000500509830338821115321910465186244743392300947091157736234463/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^19 + 36098086556317494593514029112422347572523753128801707867820014668082472074924560052327675228727492937541934331099898330709781277266688498259920001436165582355/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^18 - 3974266793661421068098076650471535099334834468793320615021091867973746242560070010477320757709955708705202398336345489440096859015278925516815566768490560921/8640634723068241636759736966424016289980263130346322769961329135966312814619528039895143810436774801422522476803359166622022437848738262775475384176512*y^17 - 164877056675423485405460526147642375388929182250777961739690834946820357524831724047137046603163538246451389226036256043210583899276787152949258593009848670929/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^16 + 2922376090917102390632316987817193201768707799734760662139280689107344980726198815733811044593773822584526797770854495693574039215951770657974864949211689109/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^15 + 122710102685625019774203448107053933217147433100523385087316849660131874044923443294241565757388472947418124121653375998425934984021210475826600015168692086323/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^14 - 36876066633044032534025841261686467479306553144797860792578839020267293991456077094496586032033898218437143901930864741494140385920773053641396060810771608405/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^13 - 54861422834819884165754405845098864320411937327738772259200861941210221105562696044759902847000936985025460565232549536884728280601996608208589693959443995647/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^12 + 42041008752000038675461473337916568626860605488416124822268053633579089434622331848394606320128383003305581926687601262865982313946763601438924923849554798999/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^11 + 10021192683632368819999768176355174883747818068321086995744581671033200133330454273170880893509103486967928953110428493307582929447936830264469514652969884077/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^10 - 14898811783752247237637369206288465638562885434473639637924514888388628658847729406583733220144077719502328907281592933566066196856919382099699926308493249229/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^9 + 769034170344899017402981783940572696823281440577153626014203933758722054082682726147584971999635862849037346910962994356720262361201403920164823360469622513/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^8 + 2687633138989839847136429620792954601819392411963240906823925363747465448845883495460912743141002104180725056303087212226226228888968092434421349165089420213/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^7 - 571580447787161888375725248196032967665130189718633444622116218677411876564513286934568072509391491982136578483676618355853490411244779970544468494445592327/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^6 - 7804689514997325118320611417605472586183334514684736370014356544811579440028678958245887819143836343756730678509167866884863107188541251875741486550104103/218750246153626370550879416871494083290639572920160070125603269264969944673912102275826425580677843073987910805148333332203099692373120576594313523456*y^5 - 40261796228793992656680624711641766557866182164132980381784185354994917356199906864190075320162737905175511004698967067244682044884996696040617516564274431/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^4 + 68298705095336672801383686634897975062505732524889444971762478469767626453259536035785508881760275325323923968597217622660860263605122350610274577240178937/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^3 + 11484773696826057688700786128665134908303267567297725118958169590559185681548039689657683164948078126093238577820633426274454926931576745798380610396018619/17281269446136483273519473932848032579960526260692645539922658271932625629239056079790287620873549602845044953606718333244044875697476525550950768353024*y^2 - 310676279903890139286033440387524872618316436318206608653201262819968197795876971614463527750119513911515779010495026092105655357332476611312446806158147/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y - 6179795719506651513829204553030644716128032323978021521765523793048193941842097968214005531760123674364648232807661531350390361241628545356807993637777/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516


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

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

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

# f Combinatorial flattening
{2, -2, 2, 0, 2, 3, 1}

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

# 1 Loop Invariant
4082457760192450934792641783560058646417346015439304054833061954427104379285129671271192570811314880716877898065403148830721765149594600546461090359429/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^33 + 137874052945261302712573860141379081539810830665292273166563305545857897449402594140434222806087273555641717549139798943114431484795647876324318786159233/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^32 - 3950547832323055587067099320878344340879243657129985740331799105070968035141920237529946626577896473453086275637433143365161673052950331777804276848097429/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^31 - 21902025069495926884753672495776437333722595011311976007017382827767926444546818386900563046067316041921713636729601873691066286426017214358926155124148393/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^30 + 114918296070737626487944315288167575894211504049475272445780634461828466723484306595799567711850300156374315129210081488600703359822218495264816585378891151/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^29 + 85313515639727240448826024311262848053223675648682774005803822698985883847203708924226230266093382383077875288120291012957489937674541339081816642936122619/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516*y^28 - 2372088496684481576990944808445797588607926707564567323715391360391050987127627735719754253964963061214036842510433675824842175227874196164296829860966307555/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^27 - 4723266811937647882954396419795652639584030891620939025627723089582563157153333433018789550303825304596130842015768802927295914283195257563751272613618162881/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^26 + 7531112691502695967203531897403834856227091441590728798158567800374552683168435878738300158500452896670097545071055641070323931584820142093638834894967454409/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^25 + 134138834786013660834400328737614150690566994179943348652848880856744054173164727870012253698703940345001960107365104985151938337870099482092630079643152410661/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^24 - 172994835124129945705933252284450286847550336873205649869547053262748456477847753592714171925794112211294415553946653470535799827345505312305163421459361559127/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^23 - 298357655711217270186279092687334819133905040414948486753837025864507176645288214301785565685722190025755871916651185717256547758699516480538106596204107659009/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^22 + 242667559554152830365065064580781019688278726219105637786882667444507335063821903148306330952894510723153687936517216159190168015838218873196512356898870417629/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^21 + 1722518568262485286817268035318609831638357986196140312431242414320015735737641326586016491190151804267905208086851399221653355568521692571789536869095333521167/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^20 - 627721429624776237790936896562246922843983727703480519231383461605957928552192631429897755924137971926960964151294779203237433407477578584303234816516666022623/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^19 - 391643094201129915552711636187741089338530229640725956331503789435084524490504140157489413607339071940220136054976763191505232687440153050411386130070255069985/540039670191765102297483560401501018123766445646645173122583070997894550913720502493446488152298425088907654800209947913876402365546141423467211511032*y^18 + 243248305656259456964874267795964358221336475480458327348773183114178310690026630046463145563526316543595647018411508441710700455153809576086551785916119755951/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^17 + 224256921821711750067269616562759298841610771185093899936283331963432490123050408392329660989472742478415675706779761363921593093962155428957178519707555554341/270019835095882551148741780200750509061883222823322586561291535498947275456860251246723244076149212544453827400104973956938201182773070711733605755516*y^16 - 140370549487629285675848095651369228017899839106577676708606830012555196919105328840393940754983784831664466032135700604807063695070898100784387158670527216161/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^15 - 2669175641334177103453512630412146533077902288228510237948337574234591232490921973451618317242575938248661848493273039223611913486390611475807246042075275926219/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^14 + 428581530308210197289476055961336807801926623305217133325254075926532149958635472277450349321091124550339722571844801564897404940917448991638641743514496146343/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^13 + 586517621896539761851002003193787514348400754050303026224759708701454651141351708270324127471877929407630502226139022208858956810569395748822317813705610983991/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^12 - 935754287324668731798387201917889932483964496126848563854597850613656014153739624777619055292504879028465434329003497253086783480611399531673986054117242788593/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^11 - 197889858391634427604517180482924005561170005890109258008441515092265847688982481705114175277866847685857608198845228771468148668848067932963982736848143179515/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^10 + 81319505264225421983892784391048455549583572266120623626537970945356635345974976028528897162275515325975442847234933834768417963589296915150415534110628284881/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y^9 - 2693569014722457161714455298720159664510865858703488807306528293235250128498053555671989589459245573335304585929733206023073954042593889945387459836363871785/540039670191765102297483560401501018123766445646645173122583070997894550913720502493446488152298425088907654800209947913876402365546141423467211511032*y^8 - 57555602705217367965365572515341194231725794657447154898728807041377190266332657502985419909032217352086474223098329880596436848450977918819631123294667319539/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^7 + 12974331146654604960707910493446763115527021305755453237685862662030828593030791698487943089334683404840691111086980603221257411942510581978308298254312236195/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^6 + 20959661874991177313363337079172967996872074558208464211806361359497186087217081252493278083170935158829275558544417696944505555308305309665900116779554691/6835945192300824079714981777234190102832486653755002191425102164530310771059753196119575799396182596062122212660885416631346865386660018018572297608*y^5 + 341194437280490500869624368977769528211319549232280556840767476039400339894796164854217439505083929515865467454210730661264989746698433730633617109533277797/2160158680767060409189934241606004072495065782586580692490332283991578203654882009973785952609193700355630619200839791655505609462184565693868846044128*y^4 - 1527897629790699892224913624704028833127470502496336044295963542291761421009608953880284058984611869283094959990947124413041829483804622181365381001268175571/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^3 - 244508338691878520593631698782297908320253570306126873746724872264067104744945318638090041372846866168051954820041819567109136854187931738425032182758356227/4320317361534120818379868483212008144990131565173161384980664567983156407309764019947571905218387400711261238401679583311011218924369131387737692088256*y^2 + 13974352238813525827351233442047517333416651250155519950166662223861052645320438982239726043852976254283720045399753485159267324732441980335855063957434527/1080079340383530204594967120803002036247532891293290346245166141995789101827441004986892976304596850177815309600419895827752804731092282846934423022064*y + 285822752689077311837749406719949761563350853166088461994284214173643198809728309275742795300690621064697970689399827177686521606667795750404701528232425/135009917547941275574370890100375254530941611411661293280645767749473637728430125623361622038074606272226913700052486978469100591386535355866802877758

# 2 Loop Invariant
-36762957091938373913377302348043221787010168232009542214802711308435610513870395439154750717086850045114427397199627962555255069912641837773765411983764685566569468786550612582352191399635876392598766444059264168565663412034516724090303618176805424599492578051001304182413/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^33 - 26161594983412071510045017569027635980818722774956650152328882400835127193073531131470655008381383980954553085532718424394513067269364127685439866051583493940274099724727467503953504617522385894956087596517920334936718282248647652351102672588973615410746662520609610038149/3493848251807449408065140220344409427272155247654699402833996263847579910315108827100902239860182486647453103783263724226395254384660442939191772264970559695647163885415953859076810745196148114680866247708641727332789167104607610862416406480402961120299449075271538901032704*y^32 + 1462248857322834331513757402809119142733345647689291178043278922354908825309248239825309575401198199873008836674513729323856632045515822964190442501476427076854964126214373822361972938738067450270242634810248246155332952020841649152456292361845182072985459245826639382816461/13975393007229797632260560881377637709088620990618797611335985055390319641260435308403608959440729946589812415133054896905581017538641771756767089059882238782588655541663815436307242980784592458723464990834566909331156668418430443449665625921611844481197796301086155604130816*y^31 + 50160982496324915249634342841184808849299936676380526641939909833309306350386748304207561754198450788753630997800572706413919546085826171047495428596992874791350895244574352043195808265301663615034566755862374475839354130593718115708001651260597633724289023417137863092106767/41926179021689392896781682644132913127265862971856392834007955166170958923781305925210826878322189839769437245399164690716743052615925315270301267179646716347765966624991446308921728942353777376170394972503700727993470005255291330348996877764835533443593388903258466812392448*y^30 - 59893194046768264717948237008646852840283999314737868650491878990241671120307990225902232861968597411200415973377933737305609153763702117718500090403182326716055127373333413794954216697010502793991770712160500409076023140190022318487987386309712848460601302092486037819823053/20963089510844696448390841322066456563632931485928196417003977583085479461890652962605413439161094919884718622699582345358371526307962657635150633589823358173882983312495723154460864471176888688085197486251850363996735002627645665174498438882417766721796694451629233406196224*y^29 - 520244344323132230503790816468891673180748808258989605895568912564964312251206040712633640599786643596453994968482583866451139056667939137141519354748230601158452115804861946608937451615187294499041663613260476090599075563718190600129724886665077051989141317023794678560043375/13975393007229797632260560881377637709088620990618797611335985055390319641260435308403608959440729946589812415133054896905581017538641771756767089059882238782588655541663815436307242980784592458723464990834566909331156668418430443449665625921611844481197796301086155604130816*y^28 + 4745194984817292941225944262933397552513563195144568959052302584467943641585107399698692417767505046903815198158231025115597802516576041393044772244569662281962544647762741578578411640729859639107076814392086284729178721026894219639336067085970077439564612429751445289260587279/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^27 + 43518162027027996916421958823190273633568648680507409579318042756692098718405047006798075082019115153460697288911403419627442496387504144528737620236847090679995226862327295446978236176849690304436107896136795860015221880099996006651384515410999052218198580267013686284351616147/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^26 - 19861110180939359913405530017223169982291551910556617712199574973553077574224467126332313772159191194375779459789448952172412845785511982200655592055809128637516688039000019960772578984570591399124098232748509829589484837980193023513415226958535763593299174052642579749031028903/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^25 - 314413159097318775032847672388775388492566123903693654026676314277028602715212030559252913882128953897312540076550367257059711577588702627936038982387814710489607819188425480247739025096086533449667420115666227173801416023883447056840725510432262149561796287910054753539300149255/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^24 + 330882145259637150629818429236935534187809691861326985807039857094209145387020389397961593368088713601154175059590892216320964840017103477038034013826051209950861719646757111819496681219524750339223484444933951694678766301745786713577546680873180222442198904995119619515021006469/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^23 + 1413461523675274397160660488051802248325597707538966690465684025077111737634480276880163800752224011272647149908589051114933423596358718717679705894172805635962658595376933401449501733748670292147395337905960933290382683156868735841605400075900637428406701994623714806193816078747/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^22 - 832498622234472204185849805538555253129025102316756609767639017849697664219550875083356169864077486690452298225350596827849018802766688307267384453919514627786929529590049411632271129201692810414686568909336729259078468598295061407181548509832784034170276309067101973296929913431/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^21 - 1355047171922126032621173308438246153186204237384657900305429907262245860910937954649656395094067736620479708643495626724573191568915962049230039647348679882460564185673546569883783236533966623671720507845792550770399388398978484429411774175680726095932649270793512078422808993955/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^20 + 167397635555025701933258322049718040202623145066028451408294320049826849891697726024708709070420162393752120295731044309894341481485759705295769790441805100609097718122582839805167100095971814588227611230219892301334615678822665316938016253249205942219324666586703669925397130727/20963089510844696448390841322066456563632931485928196417003977583085479461890652962605413439161094919884718622699582345358371526307962657635150633589823358173882983312495723154460864471176888688085197486251850363996735002627645665174498438882417766721796694451629233406196224*y^19 + 1814904848361828628809333790425412048446103227491098745744331964570483982829440015109677783671352671754181061030476230443683776883822699333289706242264865484805496607394531393325683417494976251214032382531227755872043277788468184538971274503618451248761486762609266662899568156245/20963089510844696448390841322066456563632931485928196417003977583085479461890652962605413439161094919884718622699582345358371526307962657635150633589823358173882983312495723154460864471176888688085197486251850363996735002627645665174498438882417766721796694451629233406196224*y^18 + 97087839394866654896466950515238021096507734548037358257593521382981961760762523877583572582767330950710452575693986532545729367858149789083378649217049182714421547787498217138339766185236701153773996277235608800079123449625218870206875811450721399885070603804410061970433396523/10481544755422348224195420661033228281816465742964098208501988791542739730945326481302706719580547459942359311349791172679185763153981328817575316794911679086941491656247861577230432235588444344042598743125925181998367501313822832587249219441208883360898347225814616703098112*y^17 - 8072980093980762919159311460972419247349266280396548455840013764503612855677253831918512980256326207716317382155629924240029903143538626612868383940339442109390150431117658778275337118267208004692345006695397119176497911744454241830863263029943143089980263970413099737910600564573/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^16 - 1150652776227830923988323794098883310151558876269808377536161925173806902701936655886938422292560334783435771592709336851387786107910177579210768491253490595518027471637448092627638944972311787115033850738690270329210469787896198785742279005986860293922383416533719943033664337413/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^15 + 5962487137548150660469270558550233584523347417829566699001748193134892653593582899865363463040443260881582088739195216265017092795919335023508132576393308351728575409563857477256255685138481613687744650321663027714500322724561865612392278690704048003828057844707732650742462682301/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^14 - 875510087794709333468583499448157050064990733876035254747209946709385735409132367633264918227248727580548063877798918897451582438458263022123150241160773712201567519725779422996067697378525750943377690141470566603257026662410337028939421735914716763169926514566407886791951891389/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^13 - 2937294013434320402633019439098360628217194629297001727853590809866843723960440560513078505299717334527724328373601271543079979908886484675486585326375095842503683858122231763498312802781160718850776889367109278267377679473232814012922434738167656623868845661977577695227603857463/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^12 + 549778325791467832943953739395791033485329777112584613080637039754696928438128541452371607419813739736152691928942884704767338126920427599814091138076654320664596757527118588346426796838448779469371611467334870299836641830868638806059736337683046601425763850113080670394372707895/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^11 + 265221885771404992049456410335171150824753241526951077613274792503262669537722654729575933593258236352279776564073366914872512668967470820873123755736754091799110551327590903737587369003543547455472994206378366652327155555107840938540800693265773975138827487081968087563576722597/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^10 - 217489618318077519686862418814340656504802281462786148564787155103117978556908154930805826216955945662195869476301436955455745474271403295787604409661431858794016168362840112599355024897392798228203191638130707909643041693341220141888578834558978005086733486424444230548162045947/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^9 - 20463811664686041582146321847549178272782496327668583897939212967863115730010172308392179906510714783089347459912071279192501725304410287394521860262791379597853978682228509412758817578802336135717932584629910648830402418467394250859407957247118105368194492430902023847580779913/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^8 + 45323828098341679839944621611591246872473094981172002042655411408745171712655150791870720604653026008834918345578035807476254557273102269623677459777526929594389544843078986428102536462296269092156047407958376178629445391430786791239291243320396626458088749875301396358292631477/27950786014459595264521121762755275418177241981237595222671970110780639282520870616807217918881459893179624830266109793811162035077283543513534178119764477565177311083327630872614485961569184917446929981669133818662313336836860886899331251843223688962395592602172311208261632*y^7 - 11719963804222017212165148117430740951964885733296836770088065286180078452173464352560886130728329071360044899953072075310295893098143285236261831817135784744646713663714869965803329880956506358585278588354247528521232320959095278663355431828443346796462480900074178357559021393/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^6 - 141902795985007240742689212960357481613802773693470694389378890197561487593838974432967103189113119717135484600537853785390172171973192876330959248548790221135257178262318771177418835646664296962082341418698944140666183672534336337119829455910279681189553721843085296767121465/353807417904551838791406604591838929344015721281488547122430001402286573196466716668445796441537467002273732028684934098875468798446627133082711115440056678040219127637058618640689695716065631866416835211001693907117890339707099834168750023331945429903741678508510268459008*y^5 - 6156788917745445141941016851247357037755950804014723347542363073091535338148757866798234344448730790090804315855516455930536683478687687818864850229298181637136429525853528802559769232538174174338560677479367559931296725671039919308058556064472827016603622350290144136566859135/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^4 + 2491685230981492604279265010189588434731277476856584891247099480747058989889934821360426200523390639125570632884370725502764555780802296813416867001395586974511640951880008014218373274693715312575624785079106261553375180351153516072700683602106891115876597992966038936666640019/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^3 + 770134259366575503707820965134168652441880548169201039410366501185139522154299019190683181297766929420473006648924628334139960806357128571551744767214107429404690598468552627123784832555271490125218254087577323242805066220403395654175945695920128209282212567263603448700185589/83852358043378785793563365288265826254531725943712785668015910332341917847562611850421653756644379679538874490798329381433486105231850630540602534359293432695531933249982892617843457884707554752340789945007401455986940010510582660697993755529671066887186777806516933624784896*y^2 - 1648784493713944957832100237232569209666877276657510470290248155489081894798119080261969135704517027847434729755468823879092910965289098719813649244669707325587297144039100100520662811028687441893398393569584169314945728210513246993334486693994512386928536714828824977969599/3493848251807449408065140220344409427272155247654699402833996263847579910315108827100902239860182486647453103783263724226395254384660442939191772264970559695647163885415953859076810745196148114680866247708641727332789167104607610862416406480402961120299449075271538901032704*y + 381491658987292276723354227581500892982414045733219263036734327899535821286569252474653807890725738327394625325615346592451224449354994427534640603680652138898001706298736030023884054902000845361289505323696477021182947466808721412869684161261601852030094167769808822467907/436731031475931176008142527543051178409019405956837425354249532980947488789388603387612779982522810830931637972907965528299406798082555367398971533121319961955895485676994232384601343149518514335108280963580215916598645888075951357802050810050370140037431134408942362629088

# 3 Loop Invariant
-53269968200045813646701983967832212695298023065928300924888319616074955257297895518623549676947164501161526972981369787615956033772493203625485204185655720974410041239934163088239150211473589878879487370135223150371888218577362657816822728353356805128232183023951593537443893857737827587019503615991672249684350232990666251087974325/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^33 - 834282062500231266854780996280215837884919709346018268821992190093182750551925471869972509096952876478921763439663309850645344916803366967227093124088587795207767790847929392841492272367707423722838586117151961113724498644472876989115679388956279980718746649574501286091624518644783638232309342137195806928203462414554419435788179307/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^32 + 13963328549932944020866604328731896881661429781691025027780091504782421590638457790576889377429561209332336813670539030139827274175684512392665930002486782121135813853603246775724772434074573055540766164754020954071912482101208197956731889273578872462901267140116594844867567903176040565004728335628688149207524592102728494628736061097/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^31 + 126692133282779402066477542236655280825856603598419743271707032704727748882385434706778964069762614321052272819295888874534204887696160820366838328954081738709188233716647737588881246564047346421725178522915944251946346487843020641468293154968613627803065724010742812558177711852395158576303754623613859086068191846316499999111729704507/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^30 - 543489318927916607763634594281007959450599523833143462189729247917158116842099254720949659379358935140541935167574514137741520969646936952470433035801691807432748766262915995172034001513087643620246238957073971705703566882765811430917420368953098933304105406125027569992790976238254378712286250900371856891455574896048680060119350341695/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^29 - 3928429263029401992347564950146961448824195378726499999845524637511645669757818128633738472187592855364842468708164192362522831993313174926242548814753535654732458076755246533542409521384836432365365065052293869011119871717640787156207293603447946721268127792383304384795884939693168874389179104418866649824139257080816081485584980969397/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^28 + 1622249071523442218266845533533722669804095979451211656265364065225344795006939925580073529906036297056631513808685245474259067465707615603814215837528539509020001413924910629671830172114472885971782651827902544850691663400878451259362405748333626820326833210861448585733274557971869596544390783525571259821727696239551449675981492284807/198713891322153956546758547012383012138710916734126133464503257521087625517173423422993609792781115221158281599741328305333470979846222292574101532791567980491353635202592693256632622858413095017754975404125093910893913587326446179837884648039836104477774301678061658823210652678772420558659694307182249704707982125364073219354634648576*y^27 + 50124802314059809347962078305298004147438677226580028381313628829577530558573718558828788691575775145639631983038236911787305410158170412474660398595180853556445783983470972331266548015735751670595467479061693098437308442136834246847945585183961042892725125191840659741147638416446714096497696095710213380647079569718196570856107314751821/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^26 - 84494261854354381178887405282216880757831124920875778535692087258395732517062383105246305314670828638886323607228518774024521518705915726387001241287169422626094194731629629939049095321411828758523123342089144616777306735642023082479548890044651169997656151705989251791500473252641572568682514038617704844660188280977948614156533890133745/794855565288615826187034188049532048554843666936504533858013030084350502068693693691974439171124460884633126398965313221333883919384889170296406131166271921965414540810370773026530491433652380071019901616500375643575654349305784719351538592159344417911097206712246635292842610715089682234638777228728998818831928501456292877418538594304*y^25 - 290011272323516854228004645611352908451218502893263640935268276770405989759381314088518505148093266804712280873305254934389501382533346801695216498879517583012851269543365979060921659360924433841978372725173379963305785364361222257603920326039655797096341715755154256994093259061363150563457622826042461127318157532888709405436219055849961/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^24 + 259735868512102961043267897312506893267465112785722330253839314777915730095550481815086063878824283569269122960664134270751399918900581078592347630145693240027355488004046739503407468573468439624518816307863144589222784391177542144656028203856323066554520521614356710472069842257120562434704868363860536430297582505562404033371604193232341/397427782644307913093517094024766024277421833468252266929006515042175251034346846845987219585562230442316563199482656610666941959692444585148203065583135960982707270405185386513265245716826190035509950808250187821787827174652892359675769296079672208955548603356123317646421305357544841117319388614364499409415964250728146438709269297152*y^23 + 1075760037385545336103569033289743337462756425273656139057330279669042695220305492003895608977900417527156168776421868201208906448545706242408392374943706726987958204541086268721374996817222983562447086641685674249116270565890495270959045301160872211221950878357477484216223855876409047707164280542603374492922507963645766812726627470811953/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^22 - 900515194096056971708701511470527736283569530210421679173668248445420242769127632165642984244682922759416473513245526562025937367203949275790599279726698672539424751013898708901230490798648988461150320135233790176974271593564683780015495118790336268059552423402901175097099644418703849155279596234041091252509212584331084845815113433864815/397427782644307913093517094024766024277421833468252266929006515042175251034346846845987219585562230442316563199482656610666941959692444585148203065583135960982707270405185386513265245716826190035509950808250187821787827174652892359675769296079672208955548603356123317646421305357544841117319388614364499409415964250728146438709269297152*y^21 - 2925393704664284391179279304182888770584172103159910849216380037996985536054593858920965550829863006907329527800328360093551957124677922880947419844853489579311824502758039664891187625885767319241937528919897642040465086411223429534330617478092306726313396788868771723459519584734706371964726414484854965986547090446876984954061160482934605/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^20 + 7770328852893694367285003021354063405453764664009642241154615716245046806738357615942967938321530000012398370360326750419182128544318176526493727563993374614144401805627747957664981436051109863391728273055147667596682085640314697769321719357935233684941938750020585896135208393304118789827801961420251584427990630830123847805618673864160107/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^19 + 5575759649112388566121403958687721843242505368517865261145396880389332609131383673082592698903959443286102178701188218342977110407494756225075095834240383666720955108837609052545286878850894288976982137589314170809323428867296313984604713896431055797661473928904959859821860661479698716799273614331871223231308011246529604075216976834041387/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^18 - 11197702585005184595418193756781705908995190002806385709654944829260112606904161386267745366433329455857268749942022423914082629469619300382297233158727854569977387488893633723025902355042997575047527301286941870528350112448995715658372769291630590675746746988119603581218373071638980942939861103800230297304285375314848778565673722786266879/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^17 - 425653038617556825474359688727595352928693569059718803343125178321031852575342051661306518669970817043991643122363959869943817716388330331198088230637948238707612784844983272345826591878860513494656742808292965430159575943968009852571379593354854821546881123471535428142399440470518252022376641482031050997228804390248610397488736300457025/99356945661076978273379273506191506069355458367063066732251628760543812758586711711496804896390557610579140799870664152666735489923111146287050766395783990245676817601296346628316311429206547508877487702062546955446956793663223089918942324019918052238887150839030829411605326339386210279329847153591124852353991062682036609677317324288*y^16 + 12354048691124517599843356179974381930823733740174343208303264415420893335571850390656305974725461904532631122988625685523639179777347664856450554881220730220814591554469269310707046601333965699266814775896523130976334182318854996288691418189009254783379851896834728931771876698580296112899581431874126001168851272435450138085055559619986527/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^15 + 449708433941224622177111025369429008934742075669694371976405679716622172162024587057513392899816213836555454746225436789824367757717698199039796273207257202870947051466256402514390706609709272850388217356415142785587898232376689704794643999894930411210185352511257652907078869067508557185652983906114077970371079102115798814894508218638359/198713891322153956546758547012383012138710916734126133464503257521087625517173423422993609792781115221158281599741328305333470979846222292574101532791567980491353635202592693256632622858413095017754975404125093910893913587326446179837884648039836104477774301678061658823210652678772420558659694307182249704707982125364073219354634648576*y^14 - 10882767946095247470853985034192563192407270264963144453547061209306393926800686425933478643773747763890347866776576466066500898069712865604509812096568569651823620835630613205645596778315511295522579847925757679837737271679816110236302931487534016423759567411467408484825900751606010719873716909922767916121082356287610532641832920345548067/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^13 + 332056424117696463973820663140495952222787752982882809570697726479907414667946715805344227785276193272034118377078014602927994702144994717313699191906563331788573940718856448573223004460593083419741037589523254521354242956138988022442155977404455890993584187947226460385132002324984320415438867205978520320795814108063473174359081314349007/198713891322153956546758547012383012138710916734126133464503257521087625517173423422993609792781115221158281599741328305333470979846222292574101532791567980491353635202592693256632622858413095017754975404125093910893913587326446179837884648039836104477774301678061658823210652678772420558659694307182249704707982125364073219354634648576*y^12 + 4808726657643981209060266597072437540193055484066009405952302172245052444933286407720483004105063968021085726158364949665851786311833261294101087622540667483590802397076348114619584304614864726072705841265346316799677236696425040690558314718076127916408647651873810942560104254967087641476652808758883061148211514451265567020290775609473125/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^11 - 891817094798956760480494431795626859076700101611099535830157308944495053897282244197023252930387327358672085192703801353096198051147089835317268855102385739741303950210259342680352076777052063182544692513604162351912845503022506926200412780014865271308023921337652952747509673138532154332487605257645488434974269023649619864012831653280303/397427782644307913093517094024766024277421833468252266929006515042175251034346846845987219585562230442316563199482656610666941959692444585148203065583135960982707270405185386513265245716826190035509950808250187821787827174652892359675769296079672208955548603356123317646421305357544841117319388614364499409415964250728146438709269297152*y^10 - 84908244396862529227105244187833665070830922552213457208722501360133564916036870581278653865069940330328072723979968787512166396424043483857731128326409779823404391704693928028200051388826097175101352532680686806468988133543229009521932928064424624257589757201233799097844078256387756972725889456953687406119020635308789244951091724547467/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^9 + 51649354247008077778765973894187859072989972345261261146259672000932768286557147312159787937119217074773626364435115326282527514938939255496741116752169978103497268877576059712067427284167640993112998323544760758657373652118198175941255177481121634930200245657809125889650817401431716606800698612180447301284758419359506938830032045396325/99356945661076978273379273506191506069355458367063066732251628760543812758586711711496804896390557610579140799870664152666735489923111146287050766395783990245676817601296346628316311429206547508877487702062546955446956793663223089918942324019918052238887150839030829411605326339386210279329847153591124852353991062682036609677317324288*y^8 - 180028704057115686677576674773495679571523349041439313853940964427022087149751953433410534104007251327783448854076737539919732339323291040211989097492102478358757562118608726293075189761204864399552919244844693494391523600097530923530156153244515926653561593020392843250867883563621631246118967891261464822762023598874371679418715211826413/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^7 - 48821021242145200515540581953869275092324992504992344287982163478540669984459910806767605767129702723450089899216802087389024659826076794543495139476380603116795440261646361755338369866161314825729392534964493242023209153657672169334791091614661357280709969893539727006112973030297048650666034617922787952840617267219010921570284371401403/794855565288615826187034188049532048554843666936504533858013030084350502068693693691974439171124460884633126398965313221333883919384889170296406131166271921965414540810370773026530491433652380071019901616500375643575654349305784719351538592159344417911097206712246635292842610715089682234638777228728998818831928501456292877418538594304*y^6 + 278689223698246246495835113321186248940555570787449004571028017044804964622167454138889444605396137999211746357912236866280058589966357370833519173403496476355513254553462486928195894626972501488974208560916353098694989163807596763939043297881966851527412070276389506592825423088249779443979116975157756607509432759194820269998018205529/20122925703509261422456561722772963254553004226240621110329443799603810178954270726379099725851252174294509529087729448641364149857845295450541927371298023340896570653427108177886847884396262786608098775101275332748750743020399613148140217523021377668635372321829028741590952170002270436319969043765291109337517177252058047529583255552*y^5 + 10878728639146584833496949119593082305188562353695345717494064930545515205509194559574908068936673200572970310128355758020191923498529124056946127337781617801402645715310657917763237952714335182689100786037364016805457398649090865368494631128466070821861874567106662133201726211064125729739407536925867423377759096309981836630374661085581/794855565288615826187034188049532048554843666936504533858013030084350502068693693691974439171124460884633126398965313221333883919384889170296406131166271921965414540810370773026530491433652380071019901616500375643575654349305784719351538592159344417911097206712246635292842610715089682234638777228728998818831928501456292877418538594304*y^4 - 176249931271604092648894835882679183009969786499064428585055343991938616185108141357503793226653092520879508262843716185348052550304059760328886607512239848383272090232781604475437814963193959820110131715234662922130335986081152809455395188071058179316077674801270527901822411140337741976752554001150923252197120710386670046797318922495/1589711130577231652374068376099064097109687333873009067716026060168701004137387387383948878342248921769266252797930626442667767838769778340592812262332543843930829081620741546053060982867304760142039803233000751287151308698611569438703077184318688835822194413424493270585685221430179364469277554457457997637663857002912585754837077188608*y^3 - 954837993705325605115827130359408886596245740810792327933267380191242624085423407164811242370912423215783853376341955049378097417542132446134589751896970333003539002805147773766632153033792453291066284731423987985292163240622001120155033689462454251547697912264220227433039974878246055882384433652025271759771533184375142128040307950147/794855565288615826187034188049532048554843666936504533858013030084350502068693693691974439171124460884633126398965313221333883919384889170296406131166271921965414540810370773026530491433652380071019901616500375643575654349305784719351538592159344417911097206712246635292842610715089682234638777228728998818831928501456292877418538594304*y^2 + 4454685921864754969219880589459098804558779609428247549521349141531701041467115295146578765964870762362428041039351469342089082521229902638913245149494608139492081079414725902482877011924865497142972105164135716531082731344835664514022471835446865487122599294784008912425469889687504961604135907142545262263341667092902916294374257355/99356945661076978273379273506191506069355458367063066732251628760543812758586711711496804896390557610579140799870664152666735489923111146287050766395783990245676817601296346628316311429206547508877487702062546955446956793663223089918942324019918052238887150839030829411605326339386210279329847153591124852353991062682036609677317324288*y + 414210092498091359065054730059041754917942137731877404360001148119973713806097183602278319217291489280631457353999992357736175018941380776562419323549009167383506225793456220919216613374892135395998606391181694493593211540172652330865620144430066944388737449583597624270481864097606841077807467247650821405662714242623825068179041489/12419618207634622284172409188273938258669432295882883341531453595067976594823338963937100612048819701322392599983833019083341936240388893285881345799472998780709602200162043328539538928650818438609685962757818369430869599207902886239867790502489756529860893854878853676450665792423276284916230894198890606544248882835254576209664665536