# Manifold: Census Knot K8_114

# Number of Tetrahedra: 8

# Number Field
x^33 + 16*x^32 + 40*x^31 - 603*x^30 - 5303*x^29 - 19111*x^28 - 29444*x^27 + 37273*x^26 + 296293*x^25 + 644148*x^24 + 449231*x^23 - 1044185*x^22 - 3135911*x^21 - 2803851*x^20 + 1634639*x^19 + 6655772*x^18 + 6016941*x^17 - 1626449*x^16 - 7260209*x^15 - 5483396*x^14 + 683013*x^13 + 4399528*x^12 + 1851901*x^11 - 113625*x^10 - 881063*x^9 - 250199*x^8 - 11*x^7 - 28880*x^6 + 18274*x^5 - 2379*x^4 - 640*x^3 + 160*x^2 - 3*x - 1 

# Approximate Field Generator
-0.562382051404545 - 1.24869703101480*I

# Shape Parameters
-40717171135644863779377793739976567625775986408783469101140194625583037305437077968666718710599358065508333517866/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^32 - 641518326860743984249393124132029890492788563457692698892867996337340554686181168094363474994079772866468688856623/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^31 - 1475442957589715860796689524083440253544633774252877160976032518927596176280543099888535228827233375231970391133759/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^30 + 24853207716195808551605502811906791242941084077756054005953611108588667375812029718767140014786583290325177919323986/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^29 + 209667514154123216247569231919097019455826660071781087166182985146580251147508075016657974120959712511527799007258214/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^28 + 728968502845515383528953048806087421724715971941645242883538723247204667010321472380746711037139831708347156140044893/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^27 + 1041039602552240340668282557673408385373106586166788540312488053431128937311748960602448219317670602825851450140735789/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^26 - 130131869495100805638816685119434725234885984993535036729633054126880509942762147166365721692833857041686507035868688/88751605783996689767053961951521902736517409659130024628694194862373452981621011337821763143087834939433042103349*y^25 - 11500753462940083114703951582042663458837835129130694026310489259663007496607896639652347064354403004108927344963145710/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^24 - 23474116621618064551839406370400821486029584301504170303314014222418415321873894268077982098943500884624876272617187710/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^23 - 13668187514620046159567418387709633192259656753584803514658646087907003732723815864336719381092839254372280465606148482/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^22 + 42918207472620400459429261444138807482296834051568559831912144220067735407949600990830172409588434250041467296666440724/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^21 + 114040809756546772689685200888001450046594191741280006065225838526616995572032298243967984704481641662857872348600012655/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^20 + 88540692528368696905849154728835509550047864888022353018499038007037081317577107711634192916519168841339044269774750769/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^19 - 75489206027573883451075003190324606940575675632031973003655913829049527990483786196111736699416438920387788973258202454/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^18 - 235869586577059366586446322696950023973374296500584550603492559870191809613788429805077099853879345122773805547697976252/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^17 - 185301160689244438125979519808861918535899481702377880404185711431395990596727639791475532046734474016166052559021061868/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^16 + 87668517871492786097840566910459697599308708000304687015042499562837903104927458109793716728325217640114438598818082217/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^15 + 240435253031646728606071360216845385427061625308799079664757618717499494868408064182369380184429138721407312971546482960/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^14 + 154926236779358790726655335158097232257828146875733440500661371390484642463077851893521898420321559989636230805708456548/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^13 - 3261323400383126364080592609082480769832066748962441183381623715239782727947636940709728868806095165106613590102674526/88751605783996689767053961951521902736517409659130024628694194862373452981621011337821763143087834939433042103349*y^12 - 137733147446872428467709840421929054497093373344066101358398256400238346467839309201409352279033829762989244273497776603/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^11 - 31056401050663635728271455346295572243611763628692988569927334360210224285016658854006311966496093983323804756022850266/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^10 - 20219016801391880667482965939182097955795550518669494753776896634606811555156146520540277976305700527074697724283982/88751605783996689767053961951521902736517409659130024628694194862373452981621011337821763143087834939433042103349*y^9 + 23276239966412164950587896744323674512952738698593473356265556446520118753283667746333301536866610709206146057450732144/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^8 + 554654802424053165033052791022734607864675606834500398256840330754384455181712452636077897747420108949005740874216948/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^7 + 1883170741312931336169627675037172430614530941942239576507495597152495871916616439945482063055248472315256023742614492/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^6 + 2605317166202377625231716622600361761966165219425682754061866380963385704704957535637904051820799943780489540247978191/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^5 - 896192559504415399004369478720924783107290094771528685958226758483137674489455862699432764864344245121652739554528823/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^4 + 502102430359036285173987819810600235216682035102203978638544789959319152020023636140646609964177021376742457737620515/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^3 - 95613148671502317374707949806816302421065024727567803153100429317998902810589547571438911514607861006986210688390494/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537*y^2 + 89587387975456649623376936216071339879441583554488083210773284034285553244638827311126018970386712062885402301668/88751605783996689767053961951521902736517409659130024628694194862373452981621011337821763143087834939433042103349*y + 1395537045244262761773286805455956938497685651249960755209139620529416065362590130443185999029827638912416982836349/1153770875191956966971701505369784735574726325568690320173024533210854888761073147391682920860141854212629547343537

240999826580376072896568039654986265345688752762476567415175975925346658351235892124279389203471434076761748778549/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^32 + 3956513538909734799213493066454387597519770384070555763903851260578926015845434997456510056569603411215906945372467/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^31 + 11251292603371001110796150544272505017274514376610358195493537069998914857062261122469468688975300972702191513443166/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^30 - 141262610551197814215247090648093780220690676419643327060659389955548219111544954167094622097650625175208820231856210/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^29 - 1338664293700252478245995550089580489505415322209754575027900377762393947962335515084623685211257066698674896559331557/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^28 - 5141123352294742781403685476994592735600433742129781041288849690086871856528562777952994425398222074164453734809169545/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^27 - 9028132151205145044176823704792866620411489188517354955955599612238759682613720847163245296654922804405127279793101005/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^26 + 6017588011785834784138051817254859940654952545336452036768294080704918514652542989626979871834767961639417872950286235/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^25 + 75285381684074242161508520156957315652228245614562088175820939704176330514269498948970314604718774126096373965719786732/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^24 + 185607600013697155817261209394597486111174399652854068363676720440633671436282109117434456049748212228335172433708391324/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^23 + 174008957506788784954066321231828014899369260424874940471128593039808905466317620817216332735714829466714245511797590330/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^22 - 207153317333010961405764716966101830842983247090599779644785165912340916413130170472574303057359604573675450611408084013/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^21 - 867655679307756833733913526670300543000338139751609212935340184052752128567271296163243209836020538814737740442064067981/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^20 - 1005853166378916251122144509996380477279739733988360750315549799201735741528429786823412876287368968735094947634409580819/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^19 + 101531502559808603128628740839937397757518756359432169907053503223372144090956210783177564139518771936998358832571920949/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^18 + 1788100296698715079865726995654185997516264244808702578484941164077783889038598570374992174769079930730472802461643683024/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^17 + 2176275588554096286001316981804898360742368019604255898925165672904751812320158945397153359753005552520981047319692912953/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^16 + 265363586578146889611021137769145497454838033788095918560364791004472383873973742651580752371881965465742521140909978792/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^15 - 1928801805325656552539121450820507500639873957108629514704084126901703601979691518388354920277487174603558746219083524488/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^14 - 2145111623907879060460879691515906974291181349306548386262587958776412600714442646604837938812141633580289906594229315086/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^13 - 474697612632199852909688236425043278713854963716401928971718407713826529592016620189172507870254598663134420639102062406/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^12 + 1123303470738656256478866150479617050622986705636584825962426098877574649310229192596500857850450247004884500743389493488/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^11 + 955570160392048618561773878766935606369094919780284228663068662515159210987338815040316514768686485203304806723551708755/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^10 + 225193754076450900087465217979285411857190237490175732048697493452630893150340505063462039417565606113984211300417811881/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^9 - 214064145453732233365305485890229713464276604621984866465113452805923070659473093239742436637754981205446387682492580230/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^8 - 166357829623242338926383910616164181173259629822731667495661537014488317681755449783516900835583259022029415250633610859/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^7 - 42121770310343611785623287191412998971671510987288182337401812752381834404116821280644470920148495567895533098761261534/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^6 - 11245749827974953201880108146409562965071031915822399661189190889657643575379578736152316284995260420943702988277628905/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^5 + 1707882389340064174337747197427709057802953100354188564384896822045745777925828050301820445321731814194399054496488297/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^4 + 1349007887218052127482605302940468130241570043148815231858669185261210073003890022729006653419392645256303960244903419/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^3 - 101758249519329304368547805007161146498990471081909058713841575960143052041279247282902415104545113027289841665357915/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y^2 - 14881267379946326679172454460608512889008409275574005093014373132761733184403669678163305682226386159207548186775902/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953*y + 4376196558420787238876208938992174531401746767598944397564644693713248082783693307514206715475930258753813001650070/6560791781416986066626065956570196040753325437109534897551932404826222178102907068895901106192877644368857958562953

-1656289725308374066621956973545537206870033141219294455393875417049438464175433773156993163233699283730774806738773317/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^32 - 26704700141157256437920747475502170057221973191476324764859142853842074538245719313143689374413628014006070949985398369/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^31 - 69557731812409850525976646385065104160012221200930797097599117755534481792305990975386854404888628049747906221720475375/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^30 + 989919128135752755109657391380990266204031618359860656498289573477804985701102095510927667013309651639410522721973608740/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^29 + 8904658914963159812142002128313309734376862360401645266979522318077454057601253878422998359903570932524665568021223094136/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^28 + 32760162730101769899107188106612157983124754404865778724433638453403242843946194501293385285108507027489617707151114623311/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^27 + 52887619513652004966103402670997305350484141294644655027327632135359352829593848244920410915461883932726779884263336344195/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^26 - 4224878575142535755971381496165666810903708322369517578051111501983178592512127741850068064916555247620563027499606281300/835063858821624854018210728001869582847892307482754401731383679460071819104072095677564969413313438945125493150410741*y^25 - 497079450680918109030780970909288895858839853654835931602475642276204663511555462344597228948197617556669686838043714725530/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^24 - 1128791236200644427113923066419615042896097843104121970575526402952643447918887548152675493899955125998160987130735366518633/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^23 - 887802105382738059774873393321854541417470016674664068263197542454491248441325467203433885067463609574146135249110326453002/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^22 + 1610339079249222014878075403744928806989427869297784018654500553002334631605904781407986986651964949501440003212310422380430/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^21 + 5386415997151991593052067157411325802283726075704833564216030748142242769970752392509503287882991124925921809109523956920485/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^20 + 5325262481068846098208198412001505686174312298832673744528233991317041766053723622069300486872561328395862214304446050019768/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^19 - 2002903000868775533960549936016997505131312767921464910572273743669974685380529416012855182034638995233321194106596590526918/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^18 - 11231440826805384113734512809929913365596626546963228561261065539422194801538562698940864843931885978826665689157543610663587/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^17 - 11381167424860618149159200082894128377579071869613770867186175224756574030827633052970723137438109843128694951900700822955178/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^16 + 1187227453709927950800100383326720606668337121205488046791654162213663341247243369443348375470932196425997809614455663523115/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^15 + 12086146977914030702651556714590399143945143948668414293198481809892281370605540510223385386371385374239975080084671676391001/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^14 + 10608154620900886337749613245418122168922227657210856237267265857494890177631508208709881027793253302916018354440398110532132/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^13 + 22347379958865448755954764867842045431500293895373788527544979011210978688430590177966570153124214378504831142022356900641/835063858821624854018210728001869582847892307482754401731383679460071819104072095677564969413313438945125493150410741*y^12 - 7174397776570468460917320576394121180823151383819825474752066214853114421525091649624070072101176421438518492422459014456665/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^11 - 3971270762984455316366876235238365718409955181100834996457367606426132351150267634354309504913231205611995365421785247385176/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^10 - 28564738030830403197855541380850085525628508647627899611216412274730426753314950026918291853402336961450234010517732878087/835063858821624854018210728001869582847892307482754401731383679460071819104072095677564969413313438945125493150410741*y^9 + 1390048658039916307324103758596698165897774533788654372529035934122320021605333084172406057297266801895373106140157853072255/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^8 + 589875552910909158566268833517015862189913957159554667129257941563617100386170560626332499510903428255942002893545710850998/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^7 + 86819008649397200708011881388193628768407916134985074757670217436887226497718700549680936126990396530003010349972326372660/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^6 + 633766020959151530074212906339036395685697425096001794639569660003511562548270546000061096125293463276855879341069580410/111915774893619825796255046020869119350748453580162961056783379721452924209824095296993243323433759858625066092323089*y^5 - 22832670329775210140550029225665370406738521812131349267897602592027561000547950915667805245879008768357397658680276324778/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^4 + 1645689356786882816207306345425590441610821883927040400176536003667590942509559044027125747421587090864254197653719234664/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^3 + 902687576445396850742293915841065005435000425489457956380511278333666946620803063869468694464422998674067215667282018798/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633*y^2 - 6614896383479498021528167955117836907863676794356843157015859906626399382312054901502736046903495763185365842438123781/835063858821624854018210728001869582847892307482754401731383679460071819104072095677564969413313438945125493150410741*y - 3488164797160552898373422238738407152954753389350962832126559688792842866636251048277266107872739618562105603405198054/10855830164681123102236739464024304577022599997275807222507987832980933648352937243808344602373074706286631410955339633

-149003705776184402691326554201694683892785594247243910699210346830939163629585951720316306020525763279240/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^32 - 2418401802056670695342868375174452440625541181506801552031777471744201059781013038180408526317426194654571/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^31 - 6512304623352610334241438522141465266577242085677720429640430205101355399611482623875115023991367937849535/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^30 + 88432429926041031417980277156327184458632645571073833030408243616449388200667667480636219229528574069254803/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^29 + 810763458065197015130661810065947458669592889029844902951439724711581514521975363470705048635251410237084406/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^28 + 3031328467476229961617569490563183751742360773049309810622366429355991967263598267314691269768125018238615699/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^27 + 5057942417580091874160690034581048042931020499400240226335519250166392495772863271634954664390914060970781997/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^26 - 4489907220332510051018141485641420914093467925751005914364143589740669812531147002960964454947838588044542875/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^25 - 45343866513412767999112181555311247638420823857206613585854481974699857107981742525415618547644194747630229645/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^24 - 106244517905588936877597471912902434720112875388914812873633527447567280122720122619443783282307946169751395928/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^23 - 89857222967035704248638877874811455526083558574597701940900062535254763678609414343488083371171986713832523105/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^22 + 138349586276018020697971422921136549836018990897383802395357036536583645640593526974502287432699804931144418537/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^21 + 501699444825931561641499224291927298256591814720095666525065285004028468432809676610947142373352949352888122612/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^20 + 528047785001679754577227068273259742706370952309327998476981255699765561671928719101125384699627722634753062086/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^19 - 138692987253040563288672961369842712316340285064872831183275788937348774644408254467807023152141730474047389024/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^18 - 1039409164476629800408443642582440754819408402555797382925520666275195056632699355850000121168432889379188014183/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^17 - 1128295994143867504425998210754290562919794277155867492110563586446178779698126140371107666610608822438924956256/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^16 + 17966357014413492046401541664157426289007116538609497085984049459682756031055024451837951433381229198885498806/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^15 + 1119745035989664203287648776142655511236188942991907369668782876775013643862549083831441568311644583380482124540/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^14 + 1068317999058089866909568297334125360240650272704707825851181006915700888747603593365181710671814639377881297907/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^13 + 105423215865956509314015147166055049005421689071633750538530808761909443046126536601676597438375483352955500711/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^12 - 662565392785103519056957933929076856627031020888958622745015430501159178898097092628695187564248373919885739372/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^11 - 426674075052820276786460803585768297027279836074435792953899395550970448443326207919050570842715626374284347162/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^10 - 57789862096330621426089397324401941635358983485598255567722715893573652244452191489832898612875046093456552569/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^9 + 129271771852817866022204681562646139706803486454820310239725084284711741952235776972611959844465999364667344300/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^8 + 66993232987599050219855197103481420868779076374106809448095222536785860913202194023107595782271393352208386237/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^7 + 10698085380627268353183131204079139416981268820943544397377264197683980548214621443918701339735497155731297868/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^6 + 5130723608656831754134072000172687988861549662337002045091478414648649039928424872422588122520188101123194950/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^5 - 1607472866225866199427620211927530675720410839801233360469106322131448116185373362739297346712366858720436303/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^4 - 161774788536361121990311561140306783594404637023980467672153200230674340234682606029106284899938231053577279/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^3 + 143467203790034974011628731705909343685309125374353681524667848010511773796467601741118270558211018736113508/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^2 + 1955991806532177036864395226318571737395311772609228086447381326327729116401863273993625200750942480943380/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y - 3488708053353436441849207890474394395249920093250074646428718046114676526925083064368645775368770555440729/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793

-10283394054109317360085826066680628299177161553401789356410070470739614034445010887445209613699512343529/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^32 - 166175550511377840381219173078556130488507184506783250968412108214908498039483757209450458951148404503782/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^31 - 437718012541996193409839139988590435579740388957587819033248641378266424754082694063529389998969822887722/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^30 + 6133238460234677609309927668889370607316353977375467004560934570693990458381299894219913774814155917673299/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^29 + 55516940826568349084206146251497038674522512345649115310630449919991861782884768979757137022603438837803934/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^28 + 205301290048247346595070231106637193120681227639070636745633095451050691554327385827627645242750855714407416/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^27 + 334822598467869500835451798162705002362074852284836224579963599364200142170973165505948484912534264978772575/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^26 - 332402758646301178929540048704337424802218744910859926755550731826784722679584222893843689538897072495653454/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^25 - 3103581490061281738117085240149213646411950978844249468908688525340053456157387039898420165194124961380037365/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^24 - 7113226644636104013233660679323412665904320150604681811819970849049405670298984993309772726652189493727294284/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^23 - 5713657650825829354944581367637250496813936374654084597208396672288695881711425125029843501003689280883101844/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^22 + 9909673215193806631523481105153665599970437117215230632646105856979537597323742449570513684982409768068908313/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^21 + 33874783120913581446508651478358196746242043565518638166717723099388847889751959025379075964377155517524884883/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^20 + 34072156822155758510225701105545098654302718607989393477898560131219762336813930484901189973244871557153674333/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^19 - 11804949694371407591353967311847649634279603718494040820956791298669598806120982607978657535654271546701831211/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^18 - 70654768489426392536358963522593335276810757678335505507457997141329701072024351789677677473061936832136692710/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^17 - 72819346114999072287414145999362800899176169171676841577493552656175117277457051846407604181065619707729997382/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^16 + 6082351407740099942725328386851575248148199398257305348484602771892701121074173483657669600055200689533056025/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^15 + 76381330217222635436510468701944517100518982995728685267110821171918931748635653800309659229373590271153989179/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^14 + 68161647272388555828504606845289429866277195000515605986125176621339513794821083516787685445303599480804837061/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^13 + 2717024811345751824970688155193431128512051650784789763733988557718579321912665084017384441566771435623009715/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^12 - 45537194098152808742225592946605954256626777747851336047372641789392739006425980451946537153827220840388305347/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^11 - 26063716216036628062306418569565937796082731225046962962890015897132853131055301711199083048708242270572024582/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^10 - 2255387721024531975533410430421707687833093857485160082774690314032546365946170360690502802424167532940384799/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^9 + 8967341785817494308765628581761294916225684025489103377020801197200384651011718807698435698375167142365495818/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^8 + 3946010850867295391536210074910321540205120758684174013757324250016509189972847085361633169450072381898463904/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^7 + 456424538011515783424737784512061260757611675819696674539127579646730481608138673450852753407751949348925630/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^6 + 325720469584878754302878974163418201516135262599544487007583164771249293464139387031693656899656269143900785/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^5 - 135182948214471903622484877620425488774813152112474686015030192346337471391003355060884753520993709025792062/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^4 + 4365412864717699381779704685902142870840822382339916072516651164601611176659414172351231789708376637557701/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^3 + 10826119214814749956473542025815160661062902722429239018874408715961566415542869125595155223831435788027494/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y^2 - 619359238640761355107695291910976534072462080306848418630844947056937325791889220468929810189059405137864/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793*y + 1536563374381684125384921399100779952043355067746767093644808315850690148907211375626393562260699283014/547584776105685477370211209909040088030279351838497118356831379402382112832475421849499384492455352669793

555953482237068671104603889396083534600561046745295642289042412685198193174111142272175706762764620215654885798/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^32 + 9389885125691462061315974817726972651768906294634769098563672908163503296410595864635125619150138557409495086455/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^31 + 30594249997194936992926681584860154869475941903285137710210068774931900938962906811034472359589273369868514116032/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^30 - 307989501039999146475770203083887124646209103919592194142739634878349535592766520430835732637150950342434534110742/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^29 - 3222171665785849024166878552320396998929049653809562010254798233146095400139504103663871400660083836831695854653713/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^28 - 13492824868936817235791203224824275631036786581682325766949938014136316780288156035524944646467423502729184637200105/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^27 - 28384169822943526239985312764437781156689685611907229699963869771468553863347515213119634484501790667140097457646344/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^26 - 4564444379303032706180366247171332617207117281004926026819711484771141383051633845976270618816080043491239332579525/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^25 + 160629509491813135566097055015691901093446250275714265834451479651613482914465824074895026999028932291312536526752363/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^24 + 501168040004518216478498662495825105705624025548737195492087707393287663300937810927706391030408949103430582993506914/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^23 + 696304893221164566210301152373797454765111103760672866623305449249837341736234804225292079509891919007756980125567608/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^22 + 40098445594853828089402854893031526703941202651712613631447499919461154196878337195961076655265721185481033976537488/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^21 - 1707812256705087405923554187494362589237025149013437443724567854457292103094407464751541952500403495763319596815524159/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^20 - 3082414345964170290366711723330869755266090514490340878872148978170556890904755454822793947499710886695735797075184353/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^19 - 1841893303997194275105458028364181037107825750200576788488086176941642072445960892886889072270870232638867884218999938/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^18 + 2057390603156246902544686678026592731355848689273741161182197730184711987570776515970850576338055978612886698053978178/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^17 + 5186427414934493165527789173518671468336878866072222175970495544556468917681765067733747091368562790193051386293752974/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^16 + 3734057672808774010947567566730597801415536677779054473818546210997249648996906460314743229986703166534414601809188094/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^15 - 697987003520454979576984490420077320847824813706037118666940546584151281711118169837628844154354867156321394618770845/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^14 - 3682444255372735057817884885577736959545447162640630741867051387971163284512815506791340487054057805935812401286238920/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^13 - 2929325133336032840558248337127271415827954950753211607571393788609274488197958849963934085772664752337031783706393381/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^12 - 183026273491208950691171027612096721154382121720575919425057285937986227310558998101366753739861621884620242524794285/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^11 + 871811345698188904824598046363881850643490727841048559613334362341016884031481240923072325855003951115468480852712252/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^10 + 734231026308165394255178345465658471575871894271322356504942603358742013507590766112859380253554795120477343610310429/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^9 + 176834024284023913300494712933411429710830284020974747813854509737666044720519207084427739438175134817336955192090525/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^8 + 19083944561036667163243110648435963319852965863991070261540915488723317868109455403748481057574059864446857644189264/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^7 + 12048836911133338062062353603021979620444503675735062123016512231168924134243560822899401816614334001021123251381960/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^6 - 8114833512825689586100238432055028603670080380783591314232429104965963179707106406071645286299422743789197075005095/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^5 + 2091729284728872744416285741934271100767705874353058191700796613180176787306436475367619807559656483420616172290203/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^4 + 417146870149363681529350966550053985441494490158435542204420678396950226882946046752949212686006948370053218270434/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^3 - 87394723093339974198089622152322318551510409172432134330948699361599989222432195384554211898137838985144975477582/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^2 + 13917851116129819123955570482953592948032494275636353724548584691409596887477631883383662669738881289377605429115/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y + 7494780158528456752776278546833057800331894993541366146523719670596097794230363245504945824675401991166601858902/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873

785700040156804142186900262355450953469485540537223650855169285490985092638/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^32 + 12641431236151371995385779924627947123995367393691289381316619697037120687513/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^31 + 32560880290702782330079813422341504039034903449467979231123710865251259440929/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^30 - 470819626940013902803804115630507353863461884650817883372073715675880665691282/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^29 - 4208528794027926573650481297807552875415184721777925874989341864272131906686099/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^28 - 15393436731955956239533814999807082185910684021869432186551791023456407793556732/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^27 - 24525810041104052171942907679653019388953035823465972650704259663675588200130366/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^26 + 27035264840322861355102855416415162534158271335125745456773687703541920276829916/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^25 + 235120491956627094383228755021059130655842426145350420555263619644823393470688110/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^24 + 527221206776279194614058334527397343912615515122374935237151633655731939051981226/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^23 + 400969499218623835406210406410993855138858503590411707894921274607083129428525993/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^22 - 782570654132750094436052012443655067167893563257880945142239389590023832531816979/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^21 - 2532269137916197869007180132826394894137502172077705910483618753973553522035568781/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^20 - 2432246204313588191741064639685307499901630876142181679332267033667577819496034901/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^19 + 1057240104063707685036936341135549029583362700880481962882515142266348170339107764/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^18 + 5314369919081370835885520519534257162701316805041001612172116700527705705719189747/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^17 + 5206244699453504778107622161793241941450753093172894681325007395715556494248709618/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^16 - 792034206125336757292902125440449217162758567765550844196306253056515312610474114/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^15 - 5754309888152709065053579801322028816726358963986167088716118948868863165298420300/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^14 - 4824759261837008702644466542090873179090580302828283959153134715506850693258319688/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^13 + 82975058889361460976726857698165890843155895325362394232174002215641659012598015/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^12 + 3444225134577383201826006147793765976382149502813272554354797390600811243911002206/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^11 + 1762093914735334609438172505472416810536579350798131474661432835618564443016601556/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^10 + 81552621003964334221398414106655302181662698749769470030376668183853950369423298/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^9 - 677093881856776854327624512815203447793808326407179907679831171659147021611753351/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^8 - 256215261742237886899908906867629060551792296121757688243501535466207910872698271/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^7 - 25446170332817211926558417277611943561594296533599915705973450911894692238461674/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^6 - 26200529219862205562158804986354464733429069212128450629170775014231514882601982/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^5 + 11780655300886870288947214326198687928482058411798149712066461962407143809359673/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^4 - 944397003009842818839869705000189523934558872377114007360414499107158416149128/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^3 - 557963880198897775947741610027787415603750684584270041581058556837210882981444/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^2 + 73751334913204737038075865357105554570265377878875276234758336681962782867045/1830049206899857702625747308664309864862069267269672780309458692188169303863*y + 1723244558760781642550664246371124082140917484827890371045747706636453230059/1830049206899857702625747308664309864862069267269672780309458692188169303863

-855930633799309862582275989296182821953084285632934618489080414672344297943/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^32 - 13774309920581988637989582852751413024250849221670322578233559142648976422922/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^31 - 35518377565241777264976555992171075117672799742595957324717074340434604610361/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^30 + 512781108016408110437153322167103823029964784959846737876452858989318626118067/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^29 + 4586452058547198851850445383739611889570530578440476870047992672710323594838013/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^28 + 16785094790683067248925631354666203700908187589757391661476446245135430926053826/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^27 + 26775942797545751608572385742012580243462899040784164332255296738239155281196624/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^26 - 29358334798769986037348371003390663833666418218080558829206634242384867694527092/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^25 - 256234589265981214415879659352717453792995769301753815541359668390108267070086912/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^24 - 575229891255221748421505349180189611773423559851709125234754354972414344329645841/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^23 - 438815041517006274179586844414965341819499699478391640620886825387463565852919044/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^22 + 850954393420784129113767556646705406359947864423961299448973374330256801727862542/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^21 + 2761529498936090609873362285006108882702762545899052519141968531347947298553454744/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^20 + 2659342028191758672884380756506210461446674549759926447859994957066928030001614819/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^19 - 1142169695470545901870867327691741688809174790808965441955020057163149044060890975/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^18 - 5793103833213754341898952829850229688732430100448313282496970960431848865685519007/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^17 - 5692111537941161961070461781160553572107485813328570706838440371876568394574217966/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^16 + 841997591431254978003868959907071822451377384973501947960867458880159089472653072/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^15 + 6270764692594058561646966192414071659366176131774801029664621824991588165525901340/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^14 + 5278427544475266509235240993284890910329478135001872302362502452482263235323679967/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^13 - 70490867195760448735484068051779444809606616949984454387430176558870240280125357/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^12 - 3751280359246292063544115870509860810737635111604979012773891371249334902886198924/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^11 - 1932921702802115814315557461889210227306212344091442982020228113866331574537017604/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^10 - 96709973627861807821390807143132537804539711144937443843953512707250727432584141/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^9 + 736727779251822501656513160941761035238488809772064775703020207064795953291516660/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^8 + 281652789374613373980903268242355094152898428314411694489315579515962202275140927/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^7 + 28955682392950913862359542687140984758824623335013347298446936961146557645678216/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^6 + 28777756452800774167535006054439287528648389568107525912831676574886632656109121/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^5 - 12705438693410064524369980345342116222851405640359090770090495193483038928596347/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^4 + 999512857508385943787995147120488329317838811017560912394164713230138839842252/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^3 + 609924551710781701659569786647554013588602993191350549483127305833805714936479/1830049206899857702625747308664309864862069267269672780309458692188169303863*y^2 - 77831679592435931107187230390543031512814751985314837558369592245072191375018/1830049206899857702625747308664309864862069267269672780309458692188169303863*y + 2981203021781987323139677417266354558975804776443904319027459084437069588892/1830049206899857702625747308664309864862069267269672780309458692188169303863


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

# B Gluing Matrix
{{1,0,0,0,0,0,0,2},{0,1,0,0,0,0,0,4},{0,0,1,0,0,0,0,6},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,8},{0,0,0,0,0,0,1,8},{0,0,0,0,0,0,0,10}}

# nu Gluing Vector
{3, 5, 7, -1, 2, 11, 13, 14}

# f Combinatorial flattening
{12, 125, -75, -74, 1, -49, -25, -24}

# f' Combinatorial flattening
{63, 0, 0, 0, 0, 0, 0, 0}

# 1 Loop Invariant
-9208968212325452222462070299509033650718401536860798113644768029903740207055771424627584381960881548325399974834/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^32 - 154683251094948086935834807669621397290894009670184109460661360059461776535662956532303327060196748134179412380120/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^31 - 486594143991445561362681223109687685149280370506630390013045019401043278031493258318653749313863648606861579300645/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^30 + 5246496582179556023969919176925614341641744258025902560474262378847801241664861713185125765533144722895257056571966/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^29 + 53226915856039762951292490653804894753011559444927699620988464205041895049800936693824781577930462652738591803072965/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^28 + 215391594523652879610367860320155421281628459884598304376952948192386795338502880880534334442782654057379164502033659/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^27 + 415736493915107455727096684732133980579790916296359591458623485324933255398326127010335750741585703434140713363802129/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^26 - 111141133481026858958953487939049434610065673576398217231860316097571535449163102149789993538900713218832068944847202/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^25 - 2975928398315659464759273203868315022328480517020388823439897516113617007593879434396186053249442773698619160004904479/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^24 - 8132067724131384998115959299310619987232747723309233773759091365040456409168606449441953713788642957698312551227377200/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^23 - 9105866650463320970284536739782892624233909431991271807128649943623057141973162162383016281367298440494566997553211675/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^22 + 5763542319217241453799443879818989608847205578119306462266776299397850517008318563251297991558754591118732858331390487/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^21 + 36090581663100413647704018415305874665293688329520910071440561079845899266443473694169173178641346624372712838097713780/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^20 + 49595991077358133194498604045722638197891762815933847343586287697300442926435913668184436268951625069377807334428687302/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^19 + 8159831408635218272644983018528425240553691023506012724342392775490730588759151714979423436584296183321839614734037879/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^18 - 70605894619406568920560761174753245452785952405073999287274428692201608765579826353641216242835878804426534061388274889/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^17 - 105112734486573507990534655694847869930675121106515905812306490655727009954928816113242395508127241097486821569916664542/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^16 - 34645880545222026482481838821048557712378094908607318798971482587637339405584499581851498716823903281072292548538660134/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^15 + 73059708038199065016329968415998051317308426474971253396570279765380168256207177697307982680561385168143687251594288833/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^14 + 104100446815035385373955003114735994207681598497975827596529211595321641008483157699097577467463298099854395120075283812/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^13 + 39803377589587574195462152037895715356334719208995347655664197276958097673659089517611941661742398954998791689806603933/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^12 - 40141374192887316745521503812074899308275768698723858008839843505815294068400130235871160007476745386269465951969128056/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^11 - 48950309390162375061077602218150561766780867300178283371424630557533878462628646557906571131935898157225403862484426180/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^10 - 15983832506334877891849088861376754709514922308993411244149087526096555113612302266508660711646043005952682046003783889/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^9 + 6871347536479658771893575546968763190392062097480508510855456364504320609996208227833377865704681666609882176662841272/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^8 + 8485127494133465232336803740630715594953771474307872762731949706433811035576312865632878417020935558957369902478934580/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^7 + 2486294757184137487311516521450892385782400095225081412626606484881941731384887236154090929029678566703031335383807869/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^6 + 584033916848082930593211259466783670774444655242922443078513617907891962657257543007420296711498259027960514236573488/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^5 + 102820528710118158147179018228623088127653162948707018321872232832663480016712424782807167683475206549037221074303744/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^4 - 77723180734995766825021863838967693086735218684239649774380092607412942295283654885967092661884881623157877538433742/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^3 + 12940490975294207289072141799542486044450777417183372649061170078569239499316059529525908082636628231751598902259803/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y^2 + 3770099859253354112080313316896327151164719897940150382648390205990173850224317423293859653488775555234849848873244/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873*y - 541056224041288175633360304742132742339776313163990320492421281289955107842680376670654764217846984303676440555290/6827046598768976135927227842424761748962877666086924971438014989413342537047770102909366395622141149187157084873

# 2 Loop Invariant
-14633299992421556692633152325922006125277636308497893639751946644574870877220115893180082773032046284047152105924766080882315852417998761116035023592219773647283484578685238356858229282114105788974752574569494299355467900240741/420634741247093750735265142147372505094855053376319696655139903619233181910732389623686978813402173897449049355592971152183827860020367369816080340910505961366182399647735345981446590656965681838268908391733098367537639616411564*y^32 - 315877783434324904776808997121708642419151950763815592038545211972492979755789886602383037230728445540607659823418132497755405868614759429895980049261945637228667483100758042357045305486480860224535522959679245730811251175540739/560846321662791667647020189529830006793140071168426262206853204825644242547643186164915971751202898529932065807457294869578437146693823159754773787880674615154909866196980461308595454209287575784358544522310797823383519488548752*y^31 - 2519958772863010377101148747479538951514046710801465892088382920665448954322799623801425641038380991596648700526076947684388607262848202385692867772311423799888704970026201078339254556137502305925572399277612874788877977569635959/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^30 + 710926849317168025593343379727290685705802287040331132587762604243407576117178457689107211938043855270365452099934043207675843562142261765370845439081620830602517625648393472299086977087120279509439129990871641868859030060812433/34337529897721938835531848338561020824069800275617934420827747234223116890672031806015263576604259093669310151476977236912965539593499377127843293135551507050300604052876354773995640053629851578634196603406783540207154254400944*y^29 + 158527532521474872665461093722846883354928887032912744440686293113602915935778679945418842898518297687636710331067653626032719433356685837009056985543370297863586156186524145950586748005770558722913365770516253871411265603310793289/841269482494187501470530284294745010189710106752639393310279807238466363821464779247373957626804347794898098711185942304367655720040734739632160681821011922732364799295470691962893181313931363676537816783466196735075279232823128*y^28 + 1178100155792768747171120959434656819776244860438361200767322656009033207496291149734056196217391204324155985518146118503571305137237449946797565654890753996491704630401688612248350673480374102617103885024730061117018056371551065055/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^27 + 277279092717349312402117833901293372860949071602291775695473472465746405698584641951531686682532632886009390597329092122370854637962469958380818257098459782610047089696510224826705311768772717608874697043697772311752470843234468139/240362709284053571848722938369927145768488601929325540945794230639561818234704222642106845036229813655685171060338840658390758777154495639894903051948860549352104228370134483417969480375408961050439376223847484781450079780806608*y^26 - 1835359687735192172124818512707405588835302633792152615415594403112807230246317979555293013530473052521242773663656205023769344061019689848953074533252392934564643141623593758994111639601485072815053407384907460332496598089369983803/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^25 - 17725898092613712234675244622153735283541097383865992462445819989541799399073756817833179636434034650719193111259508977341156553565429436975214132202772604497365541287198811476919351722075889391814931898149668182088237776358884219685/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^24 - 5128510450294255877703239919440459114303515873872069776845181946311247052954622005637418660033673708772328331509660380144135979273684353002621206480944098842935253272796408890059674523978057109456987579620421669444003838498116554253/210317370623546875367632571073686252547427526688159848327569951809616590955366194811843489406701086948724524677796485576091913930010183684908040170455252980683091199823867672990723295328482840919134454195866549183768819808205782*y^23 - 33743914746980519408804960989994687412215241221634287927235268089530257452697758299881161740922048567516840214726363086720087303599714167829110192180356213861661047396776646949231461868523461520322560277597647134585781493455624386829/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^22 + 7923835208694576186373267429755703587910523338339268343143325021634661855610128016211213982739906104341050307796869412157231349663742646183832551949781041792849192793116244914254538784582508111303597621856796810499916545017783155559/240362709284053571848722938369927145768488601929325540945794230639561818234704222642106845036229813655685171060338840658390758777154495639894903051948860549352104228370134483417969480375408961050439376223847484781450079780806608*y^21 + 48661311700928145615367648923835494060006614064198214917470723143513688683080559502520652578026607456757235313687770110669455945293255221817358052516389523275925017295063462906637545284921919812711418082261515339758457752562519471813/420634741247093750735265142147372505094855053376319696655139903619233181910732389623686978813402173897449049355592971152183827860020367369816080340910505961366182399647735345981446590656965681838268908391733098367537639616411564*y^20 + 24991030291950491268268387766285789580615708245571414573414050248797884518813810198402000620440065371531036232391640898080832070345726325458337285961859415603594532664040747895590028836402021937194034652938361599769293566777571187185/210317370623546875367632571073686252547427526688159848327569951809616590955366194811843489406701086948724524677796485576091913930010183684908040170455252980683091199823867672990723295328482840919134454195866549183768819808205782*y^19 - 3834625028721519320978593681729988391803573307880005259636605863071554920940925908842852705661925656897560765682573555958458633470364753314408844029445496746004599894673380415181809964017904027751186963879441021884759195302413992957/105158685311773437683816285536843126273713763344079924163784975904808295477683097405921744703350543474362262338898242788045956965005091842454020085227626490341545599911933836495361647664241420459567227097933274591884409904102891*y^18 - 57810660653521650972202282347278060043635876945072592428920547509653584478862679193452173049633560475118336834121616234342501131657893271422053380356847823570302845639561082801318482296910708359081923303524120254977387260573447667313/240362709284053571848722938369927145768488601929325540945794230639561818234704222642106845036229813655685171060338840658390758777154495639894903051948860549352104228370134483417969480375408961050439376223847484781450079780806608*y^17 - 30531116925467744714259813597131976843482272633065447726298902890486764813756968455304634855557433461036244967126737949375569928125528755333186093783651731009023511598292761368045663766052078542586668883123823973495585889684990328093/120181354642026785924361469184963572884244300964662770472897115319780909117352111321053422518114906827842585530169420329195379388577247819947451525974430274676052114185067241708984740187704480525219688111923742390725039890403304*y^16 + 10846763908764100483950415841747025917552763416061692762198160835677126890414446288595040844379935721934071321770541931943183613225907948798920394163874441752631056409370424344643643084543610304717881867366213868898794556641454438303/841269482494187501470530284294745010189710106752639393310279807238466363821464779247373957626804347794898098711185942304367655720040734739632160681821011922732364799295470691962893181313931363676537816783466196735075279232823128*y^15 + 72744811079739927370105708222264943102143598664797897485564440161790946934488823552796155149497374146962627922254002195690063188004816505155719142534279756831393297650090946254685623332391710366046700911550217005871800096859351393049/280423160831395833823510094764915003396570035584213131103426602412822121273821593082457985875601449264966032903728647434789218573346911579877386893940337307577454933098490230654297727104643787892179272261155398911691759744274376*y^14 + 402574890310320339038695589372744787231796238094705443885870974813594791401229330694373627233013893221329102978714943265816464188707475622657258941771105699456668587568573982227583138282477332857206089271263930225700892476896611524249/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^13 + 9377476671812284991701433076833726303387977659802537810163511020848528305521014611145627908530067943732238059276003556544518801186867697228392947188210362908767276962190702843351177254426585804896652296521670400626708932625847301897/560846321662791667647020189529830006793140071168426262206853204825644242547643186164915971751202898529932065807457294869578437146693823159754773787880674615154909866196980461308595454209287575784358544522310797823383519488548752*y^12 - 129514643035635703630173719119049001677881571285997612413428907870563498250624685143261227023824305310496840572997007860067957468758369478995506367761736931607475800436245867179837457534424114425254384252274183509454056342385978825525/841269482494187501470530284294745010189710106752639393310279807238466363821464779247373957626804347794898098711185942304367655720040734739632160681821011922732364799295470691962893181313931363676537816783466196735075279232823128*y^11 - 78659811876123091537396907451159521613495643572255443187164432274587900161611922965560966530064996836566797412593171477855477509998916032688351561519307588642987354369545961524682433369544290013541397518857173102313837706389920484757/841269482494187501470530284294745010189710106752639393310279807238466363821464779247373957626804347794898098711185942304367655720040734739632160681821011922732364799295470691962893181313931363676537816783466196735075279232823128*y^10 - 18210519440001025245206293359974535245559416421790077066658904282942306443232415937671847181195714546901876047817769427768776981808330126721701169088624740621405247802563967684360807718760943287445517505057041165287589023594746898015/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^9 + 12657385228682348705750177390426130378047030586478392172707844556521514949518476116902202321388770655787011697622297133135298245566981334233591080705717483569388765191272263335818013038322921948587087217333171040112197087468914330547/420634741247093750735265142147372505094855053376319696655139903619233181910732389623686978813402173897449049355592971152183827860020367369816080340910505961366182399647735345981446590656965681838268908391733098367537639616411564*y^8 + 24280048042862124311125493313149383243042033784887679716981830178827635331797572714346976970144505972418251381259662413224214658004006676925074006928524287734149133636608710119514684998464582050761383101665334215285289152643887640239/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^7 + 600332398389302325408744432661759898750511141603737210503422069261414975222181031911334692375566906195505284169465662075701394825525536490112989042377425363009380326868176916466149454159817290286212294984942837454548291277594359367/280423160831395833823510094764915003396570035584213131103426602412822121273821593082457985875601449264966032903728647434789218573346911579877386893940337307577454933098490230654297727104643787892179272261155398911691759744274376*y^6 + 501610750952813666663583630731340518777738226084289634271082804392894898983621134843509240978999235513365545029791894970334137434102066812397066248193729440668917802349826210976590236713502981405933148518099345781496069644889534987/420634741247093750735265142147372505094855053376319696655139903619233181910732389623686978813402173897449049355592971152183827860020367369816080340910505961366182399647735345981446590656965681838268908391733098367537639616411564*y^5 - 33544314882469126053892902366923453400186570601525063753339767133280163255236474569997895069653254838388943867579041662302216287252850745181230194102054729174139957131483493398174522303902781292874295277323556062205118248763948243/80120903094684523949574312789975715256162867309775180315264743546520606078234740880702281678743271218561723686779613552796919592384831879964967683982953516450701409456711494472656493458469653683479792074615828260483359926935536*y^4 - 22134147765846480933506071771972403530131444301282102867595043118331030486184436404030553466299658983935364721648070789116669017408210549797532011915616713873840894961926334734878900357741995214140151107580104292291052900511568467/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256*y^3 + 2110434277518789983672380861082349671274091622724944665068313234454530047143258319003499130717378478773404640532999320286553301039113439498952116802081468473212754067957479969609977104917184799917582568699020228327097589213998089/70105790207848958455877523691228750849142508896053282775856650603205530318455398270614496468900362316241508225932161858697304643336727894969346723485084326894363733274622557663574431776160946973044818065288849727922939936068594*y^2 - 354247323247800640814274646808537571129363091779447422711536608975438324048592185275065473934561055106625118894366317018049719332157875607475293495575635246733800099966835384091087525716808574595571466854604893365719232560546677/841269482494187501470530284294745010189710106752639393310279807238466363821464779247373957626804347794898098711185942304367655720040734739632160681821011922732364799295470691962893181313931363676537816783466196735075279232823128*y - 152328303866154914937477018852250450244498391843093407272541973074633561538578752838388185260248332426250396785365595754543020444305273325052431976935343828978358017762962223553824229860436769595899556575805129776916493348550329175/1682538964988375002941060568589490020379420213505278786620559614476932727642929558494747915253608695589796197422371884608735311440081469479264321363642023845464729598590941383925786362627862727353075633566932393470150558465646256

# 3 Loop Invariant
-38987493008566279698935253893252077712070896004886358067864080001100131580207532488623740494143250444122767281867676112930329235645447697208635894306684898206519535845195361455328730831387678019439505177465443985642866365936052653594342105384705181362912814255604127201956391637063/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^32 + 14301609293469144013305714521468393907825314793750508902686937903605078697864187294955644273237600743731122516315629177371689535454824999837988504313400023124119694197746515496010680204070508400419541496972928510000734629126438092676955344157608246211476617539463826567141276935332649/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^31 + 119678914917287922350306412323906998420656745420926385376488113097061501671852856355655722839249548361155235376460062320281951081686016101795284173692946774477389628962746262393404828204254079918060800376557688891106803251743552352378938967316802898338393796213299076068008512245063835/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^30 + 655311889606793307949152975737921510233955471248609006981827106747569675410170706256820879829234115145124948897932109704195545920760111265431353585412133736219413395361735255822529272387609374187938376982596637280541171265850398298604794085579802997629153310575835044983136202367927345/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^29 - 8691942214264573866436737719315722679590546098919046464941061090412614303499784183533222679545406359123160759035442821797923476284569692766270838812216446689142661161893344001590440783576880722295378842193255801382730401764819743675090954219318770174461313040230029359201758558204093691/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^28 - 79625132057849635719299431526917033997550515947889608007274765210488286447126898074603266594806754545988674476235027432866275800083017381779133304516803853642299771785425540107633683628496637655480775075567231575556537459334818159983337223783481122071729748893160420470785059115110139513/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^27 - 295859011996289356588108423402427688809078150346198429724944128169015363339149701780730845075291858871616351007614432744724287989896444955583052887594191262466360454747694068099347487945978780680835663684324949761918368261732145874981277841819618434682496927572059588337326712491416451423/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^26 - 243504564225202320611709112171558178560256126611803266974918958701712462658690462144997699973067330306788503195472278588096018279507159926666466995510034251328977534398913263270687949382902103684282002501969311063657672051539404691806375293042614329502276552364789475210693538238626224935/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^25 + 229653016635427049077428986676121708998328029407369356436327018176133261724853173510353848480149773564556057025903656914853986899277698740457373042192914982811503455543299689724218565443471807165756898974514252068169679077528325666402758010137074461977318848682394525790753819638601663735/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^24 + 2214794211846740298115336995910829178911747910782049439492811939750228772263581091209762918826477109520942882514280941229460198333111116028534234807697411837405105088283502377661483719513026998266177440726339492386948502423822968137432155060944690922654843871361347767307338447382095312591/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^23 + 319547695191515895833598153586875222556188142013430096699377073968940106689317134380451245098039342088014772965771607391991594297601178224993934925593867044832799342297705950621647819832479888062212100408275739330627935821098325743435956017560779451241312151513508770985774784741768558043/158854456090475711508051500246453054664632273516940416550366994199906104489726918518524227682629801585324894632426974992159828652105281980835792877202674806870411317470323976928284650173477883288165090642982645989970180241558929418034773027565503571873796727337101106332543183158768098*y^22 + 8401051990282808616923852505996705741009234367947837127118856471320350863597270008041719596545191620153489816107021186189359383865695114785985516407850869201904216970293246029268438794204229206518491804088429627747226982822990045755304029398963124103300178369214527473194114875249050658835/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^21 - 6832156113317949216673721570258427779405624552069949151190505681673772098580466795503012803254215856068379751540437113488075836408329053614252097747463961116039885246643492604193197047900970685110754235139948861082434833790911723970025546706426562092201632321489978198033425150457566731801/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^20 - 11958775818084728399806718139526218266889474795273915373608211177728109308403934261858967350477290449268189255433501588330750745958395028817887690280485731327464584911736959772132196494823159700659604303586361627961073100424927521061085744134531991030024337682851918778335919766363943802239/1270835648723805692064412001971624437317058188135523332402935953599248835917815348148193821461038412682599157059415799937278629216842255846686343017621398454963290539762591815426277201387823066305320725143861167919761441932471435344278184220524028574990373818696808850660345465270144784*y^19 - 12188508088505551624043162116423918103650030367396538006763837207204206560422514912410783146381037515104764442975020349831355610084686220050272450730595650785143489543496305295445580714403026992187017572375121577278773951222542427472180677668455577239465804722354365425411810996930553292791/1270835648723805692064412001971624437317058188135523332402935953599248835917815348148193821461038412682599157059415799937278629216842255846686343017621398454963290539762591815426277201387823066305320725143861167919761441932471435344278184220524028574990373818696808850660345465270144784*y^18 + 15063560166417405182973444393123377557614305030514565461312021459220596304434687259128822620920888394479032500003339489103360390225962263783064937950329328610634045658947314796141882291171175856860043789364782303556617768216957971702071663203474843794041103551508298861748761950873643752837/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^17 + 48806147754779226958781125352642090130726066849891472471385719173099927445073594010559081935053960917789151402709033079214762985344365263984474012180895882544778599832236396735896067168097198237464607800331067800857593792021196826343584931958987102901928139656405231002491230820792159654111/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^16 + 14549839985785489500448995173041480446180466143600828797448975948695648022085714309036172813678937565905162310020437117514081126149181231217586794901835776078207298633746457046666201072688472410987494211655776506252181006020742645564990570149782973755874244730695026141186868130363118696609/726191799270746109751092572555213964181176107506013332801677687770999334810180198941825040834879092961485232605380457107016359552481289055249338867212227688550451737007195323100729829364470323603040414367920667382720823961412248768158962411728016328565927896398176486091625980154368448*y^15 - 6689280554377231374999214063005046073606991192031594024527106395932455901084191701117469762032705185894206755072856816487077865325619642525310627489983657517444473811584990081580026450697071344368877904150288150493837364991029513775035023416903150565775740815749139202475630332808732478823/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^14 - 102868062106531507018152179070208675792944143686858631231343266217582764177507775808464035951197931733387775884751733253369265532980153254056093214463732119534969167129225339850019437151937193421051833293547382688726857688741270260801503194682592696854917597735994992138782117028630254354057/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^13 - 6608861434389178854265219719045824363701242246524189306574624218128356139048254182199538187537667002155712624166141810764288021272991767082113831234133313355316996313146294910874125142220874300562602360097179486484675303258780569568095383816643665983128936748837130693869267751522802006133/363095899635373054875546286277606982090588053753006666400838843885499667405090099470912520417439546480742616302690228553508179776240644527624669433606113844275225868503597661550364914682235161801520207183960333691360411980706124384079481205864008164282963948199088243045812990077184224*y^12 - 4513261766355118248134605697607031704430903472726072874442499645481135532705491266291065325032345777285847804782544791866163234110226377918326523777725137356195668392836665868083123206518846887501963657092074883182764604804716587254071023551266802620983731191169584650418283049100034820515/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^11 + 60444148791678823934434205913818598197274549136581070513493666333488448127330226937057262874864801009162539481701721844435603268236032073474925324424599726430362899414619520634057613903272720934930299078134974243148414238423851937715404043491707010570161273628479200562199128310523455137399/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^10 + 4134925601868754436221043392468960795770595440889805310245014090284300963856873010803391995125579635715773170966527802311851051998143070723955181913727086019574044919861094110022521846326256415695611869115425208834229603528179980910661188787639566681627463923216215027309959192979151001987/635417824361902846032206000985812218658529094067761666201467976799624417958907674074096910730519206341299578529707899968639314608421127923343171508810699227481645269881295907713138600693911533152660362571930583959880720966235717672139092110262014287495186909348404425330172732635072392*y^9 + 3229334553727807609903495087961950181091118367189107429138162909835037009146660484971996366073113815023980024435903002166630965564868690685852247999910440383887848296689596082117349768064331661841457673553874939864912401979531311100004847422882414422175361360552706283476410825195203416781/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^8 - 11594314539372809204713105684597158919732866972105801350584055513950797528006548633952409328570223405540634886530168539319023237546763252530115608449754972063529742481297146749794480338255271057531679431537085383365162163230992910126228790928413918003643681322950394557841970727235574757607/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^7 - 6694595954065884893441647189497929957450938782050041891810360469451293913715342948341680633921844081081498261246407804945773319132569381228216452591516179316830427301691066422722139965606036173969078439914868465312007220912284482863580020731737944617197931198301497940634439385468712761/7410120400721899079092781352604224124297715382714421763282425385418360559287553050426786130968154009811073802095718950071595505637564174033156519053185996821943385071501993092864590095555819628602453207835925177374702285320533150695499616446204248250672733636716086592771693675044576*y^6 - 134382780027890672938797281070446987550761294694171494513959215066886384538350243152311096411132998787126020680269586962065396593084436250587545384218536984796062525485115738960665931464007624528873396292371300595551784409012535815499836357260975476546253780129239317131620034450501922651/1270835648723805692064412001971624437317058188135523332402935953599248835917815348148193821461038412682599157059415799937278629216842255846686343017621398454963290539762591815426277201387823066305320725143861167919761441932471435344278184220524028574990373818696808850660345465270144784*y^5 - 500038297299706967865566053831687004993724700519693210121442221700741464209622384312648721273076159989537926297312585798621245032455557911582849821294763158937941737917742599626355090054010799969507616759155764224075588533812156593503983138526409843623033475447971071835523898822748795813/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^4 + 218870306899542247090937893266970899814966762111960968810950318491924651380167408885356861550536912618935601172933623526130646648869905642908466188290197564201264377623663366479565011262231405178422760789867207518315993648012149472204248361566434548615433554050337181719454781846073645069/5083342594895222768257648007886497749268232752542093329611743814396995343671261392592775285844153650730396628237663199749114516867369023386745372070485593819853162159050367261705108805551292265221282900575444671679045767729885741377112736882096114299961495274787235402641381861080579136*y^3 - 7977926152912128647156413450232941752746145933717489262420924070968176014301077890847342140284497491458919075991548705721892928977604533575542374554677426731528277239895828728538232579104358589893488588049545734667458384768122163373992259052595283533648595723928519043413601288355765639/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y^2 - 3743784610074106253192518206895278813604351877203089709843017559438471292981371429020709481604284021793113248119798889985771171517882559958567978073302866443394395114896580401926042606151979636858061472919952445106999388096897133858904946020775578281245324940821851314646188055070385853/2541671297447611384128824003943248874634116376271046664805871907198497671835630696296387642922076825365198314118831599874557258433684511693372686035242796909926581079525183630852554402775646132610641450287722335839522883864942870688556368441048057149980747637393617701320690930540289568*y + 20533367070968567868835342728626926494235901629885327060494439245857580848344003294839723574882908848547225263826451790692651748421639471021159662027323844491107796637291565433263298055714954822660207750918954498488301282645694519171748642892399396225437590049113029775150374755395487/90773974908843263718886571569401745522647013438251666600209710971374916851272524867728130104359886620185654075672557138377044944060161131906167358401528461068806467125899415387591228670558790450380051795990083422840102995176531096019870301466002041070740987049772060761453247519296056

# 4 Loop Invariant
321638637309174147026271269396053793711229705480103801072067708098665910637003099298185728969068817078853765307760190080896151534418514159899570882806751144543798272223624820623284817495378578191396620078271559073364284791996771224988787311538571825654208755538630128229854043781072788046407214881977750476603085797718648590176886055661645408607543884844661722034882663384046175242130803963371100843901/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^32 + 1287136665050140023585725552784024144546553148419768530187584712121348757265041221430139338538979260023138409460837574012411782808340641490756935407690469670709536773258807704251102489068518382343830322818029051932207618827100466954200633279195857773023072388388703712860138241918794103594902555831491153608375529040018898034960762253218557888692940118723129001015745871086405455257098013908873109898231/4697998906568849384593239239332942249621923417771806633629781470491130770325017595382905906220353396575227066639343653438976694205397851088380998211998661934934098323655047264887657541830870143941753581921509268844841273681674748860467768595199336700480808514832065030992660038976175608190228300965811594626443219797926335385191026599539933919854679108129058387691938523763697942840409410925485713214720*y^31 + 4300053032815819487522041374784737899609062187557529308998073076010515312191276473468191370276257715722134284312118952199665668861254381987839800071480349990121324138786214104831800437035729049503027543003969506687002361494890877532546186422044572185064360843521189813908841903074897198985334616913202872259010178066837269966237086994302512798067306698108090917828823803449732958722536085957647003838001/6263998542091799179457652319110589666162564557029075511506375293988174360433356793843874541627137862100302755519124871251968925607197134784507997615998215913245464431540063019850210055774493525255671442562012358459788364908899665147290358126932448933974411353109420041323546718634900810920304401287748792835257626397235113846921368799386578559806238810838744516922584698351597257120545881233980950952960*y^30 - 263814702796768049320476811953950085292070940814617797989880614192174061821807554009251333741475354644995521890510030850635640200107238648460343845448283060266162523308284544744333158811303699276095567193993060165217779440082861951525336600182594567252569667645441678632233526836500356784072283173903385916392614390323733453463460763649866370528862426244409608614056488928813139109833674291206539222029/25567340988129792569214907424941182310867610436853369434719899159135405552789211403444385884192399437144092879669897433681505818804886264426563255575502922094879446659347195999388612472548953164308863030865356565141993326158774143458327992354826322179487393277997632821728762116877146167021650617501015480960235209784633117742536199181169708407372403309545895987439121217761621457634881147893799799808*y^29 - 853635159413943799094766837840309537186186884619205096927193110840980131941333401404823563498574231269423295390489044737182526090488827556323553059794958341982903135691893891025438250170561913026899570106197322965129318521936877723966816679060506178092500830367569849882419402435376425181161639280349014231203136607059272052576470789461589790373621074577254026636388435190883163316987557588589691330639677/9395997813137698769186478478665884499243846835543613267259562940982261540650035190765811812440706793150454133278687306877953388410795702176761996423997323869868196647310094529775315083661740287883507163843018537689682547363349497720935537190398673400961617029664130061985320077952351216380456601931623189252886439595852670770382053199079867839709358216258116775383877047527395885680818821850971426429440*y^28 - 3078974598782021259528921832287900067927585590295495729624526773401149022962979305195719425142316753406994412358828925906461565546752544465624349894642526152727607765637395402413840588724388534736369417788397954589333369920580507544004773857950604757502667317202426653238731680750146104386410708800863204075919507569040569553079988813247159758715977372325071739289381505716687200023956157715939635876884951/9395997813137698769186478478665884499243846835543613267259562940982261540650035190765811812440706793150454133278687306877953388410795702176761996423997323869868196647310094529775315083661740287883507163843018537689682547363349497720935537190398673400961617029664130061985320077952351216380456601931623189252886439595852670770382053199079867839709358216258116775383877047527395885680818821850971426429440*y^27 - 75374291858753701212226003298560725177471644227918252380848495618773361003487289662518206833271259311901869651674047193546934688582961965750847151973158323247287517629692614306152816885328576846944493712205948073154999193652634242861517191940807740320296467494781988924094955144320736009080977931793668504082098239380006205134009100723030394143209884688536450613097144247152830843741586327703273769059497/149142822430757123320420293312156896813394394214977988369199411761623199057937066520092250991122330050007208464741068363142117276361836542488285657523767045553463438846191976663100239423202226791801701013381246629994961069259515836840246622069820212713676460788319524793417779015116685974292961935422590305601372057077026520164794495223489965709672352639017726593394873770276125169536806696047165498880*y^26 + 12008378761553301873861057199331500447516463725816520604163598463563099088453786586392239761451150019506837710178656149946470018156161990675232110368799447942033903829900256735615598538745545503315548676345250714992304663266024231646256639841291565870729313907885927471971742126889668727099049443558236270190374186410744461608414316250776860299453769950887530179487154317081529534958280299413202743375653677/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^25 + 9562223895089006291043973164345271264455896458706888499109160734119042392695788415034522818626278086166440085548761033468654105167929449880572193095839500305711531663959107250323431574170295983739398311306828496487537530294090118131937427311460664873197135139623050025345710475798745434142300601939100978838686366259100978777838915469169911970217990192343487823906725481333882779387469856250198444811393531/1879199562627539753837295695733176899848769367108722653451912588196452308130007038153162362488141358630090826655737461375590677682159140435352399284799464773973639329462018905955063016732348057576701432768603707537936509472669899544187107438079734680192323405932826012397064015590470243276091320386324637850577287919170534154076410639815973567941871643251623355076775409505479177136163764370194285285888*y^24 + 20810456953744057315774825574035506719831959412142965588929427435966309371944197273279343273425116868998451745757657576016109715071990498231713463564696824114213390617311785717134395466067706013629942994605264967251750307623580080059278763657728577351502758365161952952934390277961547611406732990726594198557954968030771270088814395789751987813182035358850500612431501297586701571159342584747738805415007829/1879199562627539753837295695733176899848769367108722653451912588196452308130007038153162362488141358630090826655737461375590677682159140435352399284799464773973639329462018905955063016732348057576701432768603707537936509472669899544187107438079734680192323405932826012397064015590470243276091320386324637850577287919170534154076410639815973567941871643251623355076775409505479177136163764370194285285888*y^23 + 145248174556224239856769730750737804466023344401262528958337938201354287839356838536666914042216593830921692586875317587927140760528170006212498830762183949627104498865200471269121194308384385968668044800562727630360253582332673831864124075450019091572450383659871369325051875828748305558476239374497348802584344434304993338387463127477899754163367000321561576044638814352355726126083134758008103568401868983/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^22 - 24172406995388522457245567975322983151501235628688352760756962355492948602682744003740584317209393175970391677723521543604378131276274735849383785300192606614706060408396292719982236393469711710233120034682296417557800337780139372334344955244363944437617474313793226787948162981794201641794584003802772099676824506767874035741394471307877613483509453353283527664729242443710391168073689954476355473348825803/1342285401876814109883782639809412071320549547934801895322794705854608791521433598680830258920100970450064876182669615268279055487256528882394570917713903409981170949615727789967902154808820041126215309120431219669954649623335642531562219598628381914423088147094875723140760011136050173768636657418803312750412348513693238681483150457011409691387051173751159539340553863932485126525831260264424489489920*y^21 - 509060446442870555169345297917327279056576102449636580794390536271797927922437925145690116613419924719006331105425734669369246875288656528657772418263668173923617254604777759500781239950188051662130660350004881756153468928609006978590377972181711491787419561915253901063094143175953132216608267606892927159879203912078000163915017872340722640123269307943189640688281808835754360083571996083777365650459261253/9395997813137698769186478478665884499243846835543613267259562940982261540650035190765811812440706793150454133278687306877953388410795702176761996423997323869868196647310094529775315083661740287883507163843018537689682547363349497720935537190398673400961617029664130061985320077952351216380456601931623189252886439595852670770382053199079867839709358216258116775383877047527395885680818821850971426429440*y^20 - 914396627774182318397223861035002143202214158860770307295750552319579214458310517203574422148485217677776317808236606260127517266121493464322869194097146793629583719412310445893333053361484454962981088583873417543309245693448418143646444492765189331589790688134006948750649785631394218860997421538935136766512283157731985558325418504012182136399439377554494076758436225346650857130083336959117389623146740507/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^19 + 527395960497379367044997140732603035889416108757987715256587370796575497836491038184306883462749163928031083767303525874742477445494352849967378924857049577869871017716927570680582074963169128707736663660338237563415623606135846482112019918804728251314522546778668114007809833306863004357481998292449822817288983838401095509697733893115798087320871351444164768263056329552107900887939578469731545875420482903/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^18 + 19395885273003830034592774530059210164229628329216645855570730477221835527953626401485373635465618014004436292873623426028104024682011122566435972641296132481080685281494513847764907921740929503552512927626577298409227838629361930426572478899250323035216517630189021423771017211049877833818629620433738975608269847598004728124163994425417501857598267106208882129008288107261191347461340164473102708922671733/167785675234601763735472829976176508915068693491850236915349338231826098940179199835103782365012621306258109522833701908534881935907066110299321364714237926247646368701965973745987769351102505140776913640053902458744331202916955316445277449828547739302886018386859465392595001392006271721079582177350414093801543564211654835185393807126426211423381396718894942417569232991560640815728907533053061186240*y^17 + 56638893272784616097806818994461618555602448938661525949672233406549804826902445723891483548896716747678648630509775479381166543306392649953961563074295021773876514533168065447539915493517257315901118795861193265549999040432136406385711339768398525108793242595627714776909221370560986933051960382075554185266156019188344629394979727132139874387786026956326460665815194937582152895019811761405056490417407415/536914160750725643953513055923764828528219819173920758129117882341843516608573439472332103568040388180025950473067846107311622194902611552957828367085561363992468379846291115987160861923528016450486123648172487867981859849334257012624887839451352765769235258837950289256304004454420069507454662967521325100164939405477295472593260182804563876554820469500463815736221545572994050610332504105769795795968*y^16 - 126578064023740117212753816920375870719702350237539514728545444984867663502179318577347445784410663080652133644013756293730460172405741380746391928040283046047598123213290285804182202845351115412284211078755900276464640260605947861746172407337605786197815445417140989148321066411542018885960010815146328759315245723567066300298954531568771643444130403932088114731071561191138909497164022956846351541509451109/4697998906568849384593239239332942249621923417771806633629781470491130770325017595382905906220353396575227066639343653438976694205397851088380998211998661934934098323655047264887657541830870143941753581921509268844841273681674748860467768595199336700480808514832065030992660038976175608190228300965811594626443219797926335385191026599539933919854679108129058387691938523763697942840409410925485713214720*y^15 - 2380490194112223143895095562639871400155450330578918483424737894143046198013325555427866063576613778494221043427790466411609597667963133824517216780099104793653606479321453444396879380217309779155745888400223706404327741671066195480718926856131201480411191101788052446298631466847517849218933111137462114132610571635863656502292676653088556860145192418163540052768911293923459976290645828646048461750150974489/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^14 - 91871597950583025060730976956940020726282422457517692009199118537601194043354084401888081569835759307693543568461891596216857680866592371655057865485187314641246027874755730826679197377219627002599180408322944776480981198637350336356670769426390789146476673117200426828759507594569021114647337113042746539296016245416367915649629705854362555004612566943205086039201089379839511965856113158193838674126711599/939599781313769876918647847866588449924384683554361326725956294098226154065003519076581181244070679315045413327868730687795338841079570217676199642399732386986819664731009452977531508366174028788350716384301853768968254736334949772093553719039867340096161702966413006198532007795235121638045660193162318925288643959585267077038205319907986783970935821625811677538387704752739588568081882185097142642944*y^13 + 61326001619788163629571267245599996308552298155414934754760939804964664077249225937564980768163782683248807123251655302035312785528033352672661330069960261795782735455008029805793160700432308479635785383870986632239953805091666010428587554459452006399461601641462880670712590265722244905039389074398691634778324081412162342949856063093830475550238495837286685021961486882049747171523924603327036007224362559/6263998542091799179457652319110589666162564557029075511506375293988174360433356793843874541627137862100302755519124871251968925607197134784507997615998215913245464431540063019850210055774493525255671442562012358459788364908899665147290358126932448933974411353109420041323546718634900810920304401287748792835257626397235113846921368799386578559806238810838744516922584698351597257120545881233980950952960*y^12 + 1441721226213970390807070791558109846274354736063715642507769558456767735165937959393909470961221947716121561114203667369801938539377945721348406537755264720495643272315823365502401095242775138550403547825221921390373878530209678348000725094741295708140840641833887934203009787554341383649036747236171203872339524097309731439004182254101129202104779399046202965711521447868210291424446734374037328536643733373/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^11 + 648402684623786114949003230874441293876419967783195480812245460011314775359038111206216725583285334540090844762619920856333602927343139920855338963698848275389778347480586754369304571088787437600003826094468437274660180308992266252429171179267590537371897007566767442841025456654899485232208125264106126594651908996742462440779030877470319537776934147510829992840052100273363009144429241412074867950326308937/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^10 - 1719667101127956444107643303467131217225908526915523868929071268339611351697450947302283779556982849472100870699471497702188837807788566564588354772688882856292548785856426482216887674197411342260983178249062929429992056672122275521956681893194529081562602675543258054766293559240708787768690715434548971230166084504825493013360796800889359640723794251962654934681245756553722684708175017651874714034828601/3131999271045899589728826159555294833081282278514537755753187646994087180216678396921937270813568931050151377759562435625984462803598567392253998807999107956622732215770031509925105027887246762627835721281006179229894182454449832573645179063466224466987205676554710020661773359317450405460152200643874396417628813198617556923460684399693289279903119405419372258461292349175798628560272940616990475476480*y^9 - 288038288283488286161337306524075975781304685972114742843932623909798870726338414342705027333006476162451618881592865900715852208325031822621190475712156500783845135979520380666048531544104911952599839234669110257135519535761876440124635415585963006050602150913188772420070676274162725688251658841229474666674478429761590794161481927237444768058646500369739023300013138531637867472742680888269864177707133991/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^8 - 23336790619545509658364021845092979136160695757631845079742882452337405748734555395222199605834998176972492708929081706502505807338539714421941242500254156908870010667801158701635553097663168799075792315576681848561748711131465633915258566511341063393943075293523037505658833358175871063294953971443903733971559712697490407771855050533504302276504899153222512796346242392291413198524147518801668179656205233/4697998906568849384593239239332942249621923417771806633629781470491130770325017595382905906220353396575227066639343653438976694205397851088380998211998661934934098323655047264887657541830870143941753581921509268844841273681674748860467768595199336700480808514832065030992660038976175608190228300965811594626443219797926335385191026599539933919854679108129058387691938523763697942840409410925485713214720*y^7 - 1728804494481671862062781344314891167298933602860964383866886075617206135407094113480253818488047424844621256616682489420928715024926184813647359556298844546176510622349876479067449836390364046554675696189157004284286977105663840524673655495814470897941285607270109547324331931226682721153029304208766632823894890367432896844104810148441167256330736437872606008744133211554137328872930948990577009149464919/4697998906568849384593239239332942249621923417771806633629781470491130770325017595382905906220353396575227066639343653438976694205397851088380998211998661934934098323655047264887657541830870143941753581921509268844841273681674748860467768595199336700480808514832065030992660038976175608190228300965811594626443219797926335385191026599539933919854679108129058387691938523763697942840409410925485713214720*y^6 - 258901419606028040139619199282832859192306583670502366397050631114303282922755800460144105348524519072680384575382869825269807475049855480811457521427526978040590836651592871045148434739858543288198299573531324817067146475338665610426619466877896293901504611981397673728486843538975953347985374765962304955002164515690935518509865041808374442702758683877195421055106520302371871330923729695783307273863513/469799890656884938459323923933294224962192341777180663362978147049113077032501759538290590622035339657522706663934365343897669420539785108838099821199866193493409832365504726488765754183087014394175358192150926884484127368167474886046776859519933670048080851483206503099266003897617560819022830096581159462644321979792633538519102659953993391985467910812905838769193852376369794284040941092548571321472*y^5 + 208043530450345508035004172673675493641126784878410282830072267654419839669744513369512282144243718303610489825103838547355492547116608420439763248232409535708316819395694328040585528261208016743831365736784309458592334736559592176686909862821310475512309109863648553652288888217840158730466236610831203617639835046971949103722118335656660737959436734249645585031987371616425680916987509031751954385060691/671142700938407054941891319904706035660274773967400947661397352927304395760716799340415129460050485225032438091334807634139527743628264441197285458856951704990585474807863894983951077404410020563107654560215609834977324811667821265781109799314190957211544073547437861570380005568025086884318328709401656375206174256846619340741575228505704845693525586875579769670276931966242563262915630132212244744960*y^4 - 173498283746743345338394774504503508295279563075226555430936072635006458669376632086176091276206616401765611311966154828803414057458870529082126678978247092526734361794337093106045773906979969366584492203234063632128776675483421083610377793629551054916344419585235380347998372982259681497528689240526531670480945435462401794329922644396060958725604180740402068361812083390711550929438235451913573446136031/4697998906568849384593239239332942249621923417771806633629781470491130770325017595382905906220353396575227066639343653438976694205397851088380998211998661934934098323655047264887657541830870143941753581921509268844841273681674748860467768595199336700480808514832065030992660038976175608190228300965811594626443219797926335385191026599539933919854679108129058387691938523763697942840409410925485713214720*y^3 - 138330568980252120811519290800082543330034840930307838462314567200622630341477831760918072975574569393546657546212422277487068821977024036732570747758399911119722277127479554503390570532205930486496849705477827945245434254115320937677610966738378745948528122592155999980194364209748247578836268298267684830584791863800121707570453286525844216401610247142372541948357321158984043699355766801788384569251561/18791995626275397538372956957331768998487693671087226534519125881964523081300070381531623624881413586300908266557374613755906776821591404353523992847994647739736393294620189059550630167323480575767014327686037075379365094726698995441871074380797346801923234059328260123970640155904702432760913203863246378505772879191705341540764106398159735679418716432516233550767754095054791771361637643701942852858880*y^2 + 10573691876540108045702718633573970335529527864580861823174698543074608799855389825709519300693613242003300709523338472326536563336607714896349797204034816192729381407399248402969140342632575556281534654090415974349028354361655988129087009638214533723791253013273415891979675849143501704118051273162067788496772897931735575346072009255243629979976714169664910980488059479650758356829857915916098397379559/6263998542091799179457652319110589666162564557029075511506375293988174360433356793843874541627137862100302755519124871251968925607197134784507997615998215913245464431540063019850210055774493525255671442562012358459788364908899665147290358126932448933974411353109420041323546718634900810920304401287748792835257626397235113846921368799386578559806238810838744516922584698351597257120545881233980950952960*y - 160599224048783647562479499346916524086880816332622807921804778692294957444225749942844118167480406548191867035803168342139056220859460400571189624565681369727820005377737075835427662280185002590494738875298868539820530153484498525048416595588396445276262121196689425829444405726708918675371950060627187828946212747428177579746530379314216618280579755601061101251397264915483354490182091351018539780123/1252799708418359835891530463822117933232512911405815102301275058797634872086671358768774908325427572420060551103824974250393785121439426956901599523199643182649092886308012603970042011154898705051134288512402471691957672981779933029458071625386489786794882270621884008264709343726980162184060880257549758567051525279447022769384273759877315711961247762167748903384516939670319451424109176246796190190592