# Manifold: Census Knot K8_28

# Number of Tetrahedra: 8

# Number Field
x^25 - 14*x^24 + 102*x^23 - 598*x^22 + 2845*x^21 - 10688*x^20 + 36910*x^19 - 102086*x^18 + 253895*x^17 - 545675*x^16 + 963612*x^15 - 1539164*x^14 + 1958105*x^13 - 1969547*x^12 + 1539210*x^11 - 476444*x^10 - 350464*x^9 + 982976*x^8 - 518880*x^7 + 631936*x^6 + 131200*x^5 - 768*x^4 - 72704*x^3 - 27648*x^2 - 18432*x - 4096 

# Approximate Field Generator
0.0306302550423978 + 0.414892681626569*I

# Shape Parameters
33311642285096406403124042990574674984532277746249125496887608799/1375545173341032154253876657952371018386161722453116428100388909062144*y^24 - 126588934753974307218054382126649113644977038556709221923082373303/343886293335258038563469164488092754596540430613279107025097227265536*y^23 + 1990403646551532143888722473223129890922271376548091819220049511425/687772586670516077126938328976185509193080861226558214050194454531072*y^22 - 12160609452319827362205248978122677142642374697692943357327615866363/687772586670516077126938328976185509193080861226558214050194454531072*y^21 + 121011155100102790092976781418619757833800365963772014997924608172039/1375545173341032154253876657952371018386161722453116428100388909062144*y^20 - 241696984182066381952921677161748200717913577105698936368705988268333/687772586670516077126938328976185509193080861226558214050194454531072*y^19 + 860778094758213240724029736449517921771842383318205345190960441929415/687772586670516077126938328976185509193080861226558214050194454531072*y^18 - 2559627371949110857098030166728193630283342544251853345262703027633383/687772586670516077126938328976185509193080861226558214050194454531072*y^17 + 13382629842676622093160390584067768624136031135097489345820882092055789/1375545173341032154253876657952371018386161722453116428100388909062144*y^16 - 30683990214835327063872017183613456615885432684032614113501921282327475/1375545173341032154253876657952371018386161722453116428100388909062144*y^15 + 29932484805752812621919359085790448383624992056134242128643553973983043/687772586670516077126938328976185509193080861226558214050194454531072*y^14 - 12874208974535679113218028012673624398382505160274759406739281699020873/171943146667629019281734582244046377298270215306639553512548613632768*y^13 + 151187046840977862427521750245183149518142487804686216021822262093268599/1375545173341032154253876657952371018386161722453116428100388909062144*y^12 - 185845218869769413062571403070423225806124179679984901651001127493651183/1375545173341032154253876657952371018386161722453116428100388909062144*y^11 + 1492272931627001237302970307966559107611857735058840066340399993594135/10746446666726813705108411390252898581141888456664972094534288352048*y^10 - 38232835769728598399476927477028061763838862895030864518825455887757889/343886293335258038563469164488092754596540430613279107025097227265536*y^9 + 11576122275170951290786988839718134777139133494138496266529197870759419/171943146667629019281734582244046377298270215306639553512548613632768*y^8 - 2022264670759324709583658936716539147634171813442025531793775950590875/85971573333814509640867291122023188649135107653319776756274306816384*y^7 + 84464084582239687190147491761321340303370293025716970948971925570053/21492893333453627410216822780505797162283776913329944189068576704096*y^6 + 68983264567729185521116037381140069335881582370369136210321921999819/10746446666726813705108411390252898581141888456664972094534288352048*y^5 - 3164847299633442381092504140750851118310340405686061795809819331717/10746446666726813705108411390252898581141888456664972094534288352048*y^4 - 2697544096017703636657261819502386383294043738059361776406868927356/671652916670425856569275711890806161321368028541560755908393022003*y^3 - 296690568420462054524754975383885725132475022438937647904458143445/671652916670425856569275711890806161321368028541560755908393022003*y^2 - 803016365985082590569419925235762619745458874078068193579160265989/1343305833340851713138551423781612322642736057083121511816786044006*y + 947982592094353487018587366988908572574804914758623434962281054670/671652916670425856569275711890806161321368028541560755908393022003

127068857583000309167698952835673104790808256282887025763158258277/15388911626752797225715245110842150768195184269944240039373100920132736*y^24 - 14402374873861448822141752653474307056175418137426466553206684158131/123111293014022377805721960886737206145561474159553920314984807361061888*y^23 + 6633124878896439939945964372479888088422867454509013563623596045437/7694455813376398612857622555421075384097592134972120019686550460066368*y^22 - 312943128581409659226785795830750963779410687350963121187048061509067/61555646507011188902860980443368603072780737079776960157492403680530944*y^21 + 1498540432568782451372880228121044331939248258479075593702130228911459/61555646507011188902860980443368603072780737079776960157492403680530944*y^20 - 11362411147560207819340349714712804261993487891538554837283533209721659/123111293014022377805721960886737206145561474159553920314984807361061888*y^19 + 19687569941030341858715138206854053751509058632042119939904386260216031/61555646507011188902860980443368603072780737079776960157492403680530944*y^18 - 55020044751405993071420577681317950459026155321680792992456862098697813/61555646507011188902860980443368603072780737079776960157492403680530944*y^17 + 137532534245526448048432721314962138604432325773902327548681106464550667/61555646507011188902860980443368603072780737079776960157492403680530944*y^16 - 594931665601955510146575035684182987809879324253185740729968198359126337/123111293014022377805721960886737206145561474159553920314984807361061888*y^15 + 1060828341831905738032810369585144379406659477830570175668175802184188875/123111293014022377805721960886737206145561474159553920314984807361061888*y^14 - 846383507338012659620340320387882244903414976571506097706711302922057883/61555646507011188902860980443368603072780737079776960157492403680530944*y^13 + 539243963633886980619458923537405564977046992060276252155102546576766147/30777823253505594451430490221684301536390368539888480078746201840265472*y^12 - 2137008251847783371715910842091772862889359650860201330764399388700871267/123111293014022377805721960886737206145561474159553920314984807361061888*y^11 + 1542229479594178359033572101386376010311693177162111413884752497238038247/123111293014022377805721960886737206145561474159553920314984807361061888*y^10 - 13140943218290399954342696204359530479662069282531187020444227963309539/7694455813376398612857622555421075384097592134972120019686550460066368*y^9 - 113366487632509210655053471385050959261220989462128784538407660965871187/15388911626752797225715245110842150768195184269944240039373100920132736*y^8 + 6382437906135605792656346824138832821056340520103588956818556185043611/480903488336024913303601409713817211506099508435757501230409403754148*y^7 - 16021378179205100141753347343432373990233828708448107242019513427340405/1923613953344099653214405638855268846024398033743030004921637615016592*y^6 + 24081337683335505661870756726310123487738104612696281191727934438127589/3847227906688199306428811277710537692048796067486060009843275230033184*y^5 + 3286141624046234669539242625171390402345844886386454845853915287573511/1923613953344099653214405638855268846024398033743030004921637615016592*y^4 - 1253940795828881793709355875397333151912437519952296376371729958849513/961806976672049826607202819427634423012199016871515002460818807508296*y^3 + 229351178304492934740665474324168833391163706713762782338721599149183/480903488336024913303601409713817211506099508435757501230409403754148*y^2 - 6967499175365748658378565051355625467713828424461360823551073528162/120225872084006228325900352428454302876524877108939375307602350938537*y + 146784370206104329036418525463944864278571571151605411248139984632564/120225872084006228325900352428454302876524877108939375307602350938537

-28742731072350915312018663835333055478341354413000400669615106939/687772586670516077126938328976185509193080861226558214050194454531072*y^24 + 412651894586092275872307815712171060478416394437856547825099657319/687772586670516077126938328976185509193080861226558214050194454531072*y^23 - 770896696660648793172836708351420660892408016520806347619341254647/171943146667629019281734582244046377298270215306639553512548613632768*y^22 + 1147141550577127837618543963601563443150206772598380234141507647195/42985786666907254820433645561011594324567553826659888378137153408192*y^21 - 88810686056884622208428715036846744693036936724340365330175479011061/687772586670516077126938328976185509193080861226558214050194454531072*y^20 + 341780517627781938981924348305244167505389385409769841029291841705905/687772586670516077126938328976185509193080861226558214050194454531072*y^19 - 598378270785624639421086421776429920003402254220641936415046287805263/343886293335258038563469164488092754596540430613279107025097227265536*y^18 + 213396015229114435357085545142145649647153069891867175405738205260279/42985786666907254820433645561011594324567553826659888378137153408192*y^17 - 8700635487745425301959055634427373669171824891650539091770931908367875/687772586670516077126938328976185509193080861226558214050194454531072*y^16 + 4827890415702345044721519097453548201531796391357305838914048498925655/171943146667629019281734582244046377298270215306639553512548613632768*y^15 - 35905566589454882423144783098149362347882452597064548435891742018140271/687772586670516077126938328976185509193080861226558214050194454531072*y^14 + 14989199305634846454123757945943494918666726870668030480602669352244565/171943146667629019281734582244046377298270215306639553512548613632768*y^13 - 83001984401622721010637967424521348600027627569529864478527401350736423/687772586670516077126938328976185509193080861226558214050194454531072*y^12 + 47497439443274660602364847161689476131214450974477452355535680963395335/343886293335258038563469164488092754596540430613279107025097227265536*y^11 - 90176525138595159651569176338467075269202947835402683641055334084569073/687772586670516077126938328976185509193080861226558214050194454531072*y^10 + 29579069610219074059024617082383819273247739396435974070943457233246973/343886293335258038563469164488092754596540430613279107025097227265536*y^9 - 5819500946548849958039265773268922987600980209312189044426535095823247/171943146667629019281734582244046377298270215306639553512548613632768*y^8 - 765413789128599743623282076662836824157106359152078717483991854579331/42985786666907254820433645561011594324567553826659888378137153408192*y^7 + 1083288831530387820454765672580689066026578681479842339139498525097751/42985786666907254820433645561011594324567553826659888378137153408192*y^6 - 52166116487000737660163050958019213065448224755636124432635443281185/1343305833340851713138551423781612322642736057083121511816786044006*y^5 + 123073695038429505793993053755812019243444807312881293503212411257385/10746446666726813705108411390252898581141888456664972094534288352048*y^4 - 31338249700840246704150780622123197900009580175789057465826190701747/5373223333363406852554205695126449290570944228332486047267144176024*y^3 + 7347973606241019514786151681194580462600276899970555674214112101153/1343305833340851713138551423781612322642736057083121511816786044006*y^2 + 1046519057875344479524428614578376591147832427074233742673530156104/671652916670425856569275711890806161321368028541560755908393022003*y + 1507060212912872412905482822339884405626327335862309952931580731471/671652916670425856569275711890806161321368028541560755908393022003

-419443431287353577845169159532820678759314105190913000310531793043/123111293014022377805721960886737206145561474159553920314984807361061888*y^24 + 1021556287094036882811459244839060177714733366223997953104739992745/30777823253505594451430490221684301536390368539888480078746201840265472*y^23 - 34045428135223170109109398522321628503015985539077329110944037775/240451744168012456651800704856908605753049754217878750615204701877074*y^22 + 32125237624773631214248485469155413269595472143041637727483336786803/61555646507011188902860980443368603072780737079776960157492403680530944*y^21 - 96477562804612123035714077679828801784483620589489964944930267140719/123111293014022377805721960886737206145561474159553920314984807361061888*y^20 - 378461723228356989394078367501823216836623311826640509038115456091365/61555646507011188902860980443368603072780737079776960157492403680530944*y^19 + 1076906121994413218944642568157484326464828953067092180913627329051737/30777823253505594451430490221684301536390368539888480078746201840265472*y^18 - 12719506700150860704437457275872034668116600469111801537048198530585435/61555646507011188902860980443368603072780737079776960157492403680530944*y^17 + 83464385873886979247183714132293893406511363680600898713302277679747531/123111293014022377805721960886737206145561474159553920314984807361061888*y^16 - 242216688461168818016870314987073522861967342956935835136317502890335941/123111293014022377805721960886737206145561474159553920314984807361061888*y^15 + 76137203470135874152300335947949042347129703416932786627643209983416681/15388911626752797225715245110842150768195184269944240039373100920132736*y^14 - 571632339180308690738223895686960466147861575609914584630400334934525325/61555646507011188902860980443368603072780737079776960157492403680530944*y^13 + 2002224219156418821812116445646018224406247155832773927500204597850713833/123111293014022377805721960886737206145561474159553920314984807361061888*y^12 - 2751357301938954264417734650323137841082302519770666497740940547474510613/123111293014022377805721960886737206145561474159553920314984807361061888*y^11 + 1423650291665095052011700434735488239622405344934994011489464671016743441/61555646507011188902860980443368603072780737079776960157492403680530944*y^10 - 1175065935083077793089725282244697446078092597312474187498003664479454355/61555646507011188902860980443368603072780737079776960157492403680530944*y^9 + 86808951185953723161793387910932617188224645404954969546933096627226575/15388911626752797225715245110842150768195184269944240039373100920132736*y^8 + 80123232876827657798581639420832763424988436114232159810185093974435511/15388911626752797225715245110842150768195184269944240039373100920132736*y^7 - 28114793071531653732991477355513745976253052117322644168587928879771023/1923613953344099653214405638855268846024398033743030004921637615016592*y^6 + 12476931183380565951770501685174968729836838693025100580493480947008255/1923613953344099653214405638855268846024398033743030004921637615016592*y^5 - 15234383935406650364411286091230076360970318046076873951869021838575985/1923613953344099653214405638855268846024398033743030004921637615016592*y^4 - 805069223467070512423330839525327329990026296353651522093577362526679/480903488336024913303601409713817211506099508435757501230409403754148*y^3 + 574046606032733616175829262046848844678138165356916704651369134110361/240451744168012456651800704856908605753049754217878750615204701877074*y^2 + 110913797049806106980269415067368605855583512628225483513371828923532/120225872084006228325900352428454302876524877108939375307602350938537*y + 42150246580097507681499265584321975740922017020021942252749333134892/120225872084006228325900352428454302876524877108939375307602350938537

-419443431287353577845169159532820678759314105190913000310531793043/123111293014022377805721960886737206145561474159553920314984807361061888*y^24 + 1021556287094036882811459244839060177714733366223997953104739992745/30777823253505594451430490221684301536390368539888480078746201840265472*y^23 - 34045428135223170109109398522321628503015985539077329110944037775/240451744168012456651800704856908605753049754217878750615204701877074*y^22 + 32125237624773631214248485469155413269595472143041637727483336786803/61555646507011188902860980443368603072780737079776960157492403680530944*y^21 - 96477562804612123035714077679828801784483620589489964944930267140719/123111293014022377805721960886737206145561474159553920314984807361061888*y^20 - 378461723228356989394078367501823216836623311826640509038115456091365/61555646507011188902860980443368603072780737079776960157492403680530944*y^19 + 1076906121994413218944642568157484326464828953067092180913627329051737/30777823253505594451430490221684301536390368539888480078746201840265472*y^18 - 12719506700150860704437457275872034668116600469111801537048198530585435/61555646507011188902860980443368603072780737079776960157492403680530944*y^17 + 83464385873886979247183714132293893406511363680600898713302277679747531/123111293014022377805721960886737206145561474159553920314984807361061888*y^16 - 242216688461168818016870314987073522861967342956935835136317502890335941/123111293014022377805721960886737206145561474159553920314984807361061888*y^15 + 76137203470135874152300335947949042347129703416932786627643209983416681/15388911626752797225715245110842150768195184269944240039373100920132736*y^14 - 571632339180308690738223895686960466147861575609914584630400334934525325/61555646507011188902860980443368603072780737079776960157492403680530944*y^13 + 2002224219156418821812116445646018224406247155832773927500204597850713833/123111293014022377805721960886737206145561474159553920314984807361061888*y^12 - 2751357301938954264417734650323137841082302519770666497740940547474510613/123111293014022377805721960886737206145561474159553920314984807361061888*y^11 + 1423650291665095052011700434735488239622405344934994011489464671016743441/61555646507011188902860980443368603072780737079776960157492403680530944*y^10 - 1175065935083077793089725282244697446078092597312474187498003664479454355/61555646507011188902860980443368603072780737079776960157492403680530944*y^9 + 86808951185953723161793387910932617188224645404954969546933096627226575/15388911626752797225715245110842150768195184269944240039373100920132736*y^8 + 80123232876827657798581639420832763424988436114232159810185093974435511/15388911626752797225715245110842150768195184269944240039373100920132736*y^7 - 28114793071531653732991477355513745976253052117322644168587928879771023/1923613953344099653214405638855268846024398033743030004921637615016592*y^6 + 12476931183380565951770501685174968729836838693025100580493480947008255/1923613953344099653214405638855268846024398033743030004921637615016592*y^5 - 15234383935406650364411286091230076360970318046076873951869021838575985/1923613953344099653214405638855268846024398033743030004921637615016592*y^4 - 805069223467070512423330839525327329990026296353651522093577362526679/480903488336024913303601409713817211506099508435757501230409403754148*y^3 + 574046606032733616175829262046848844678138165356916704651369134110361/240451744168012456651800704856908605753049754217878750615204701877074*y^2 + 110913797049806106980269415067368605855583512628225483513371828923532/120225872084006228325900352428454302876524877108939375307602350938537*y + 42150246580097507681499265584321975740922017020021942252749333134892/120225872084006228325900352428454302876524877108939375307602350938537

1907222657131709119425420094908805837183728388494352737340055689/42985786666907254820433645561011594324567553826659888378137153408192*y^24 - 55811797198265927061073792814593480321131622081209139759734236535/85971573333814509640867291122023188649135107653319776756274306816384*y^23 + 26458848759367386690550991962859553424129124372402842432359121083/5373223333363406852554205695126449290570944228332486047267144176024*y^22 - 316850564540684796497781351434753404469620429875617756897239655895/10746446666726813705108411390252898581141888456664972094534288352048*y^21 + 1544335710867389917360660653740140454730272027336907216643217019995/10746446666726813705108411390252898581141888456664972094534288352048*y^20 - 47996280970573014532206887751845226581635072474003393476299251219463/85971573333814509640867291122023188649135107653319776756274306816384*y^19 + 84188553699705446008054685291999340957383870087983749420827989324829/42985786666907254820433645561011594324567553826659888378137153408192*y^18 - 121386945504060205143219748716848405282305570159010468978231578379969/21492893333453627410216822780505797162283776913329944189068576704096*y^17 + 154984963795654269286698142580397742750298055308268071540288903666665/10746446666726813705108411390252898581141888456664972094534288352048*y^16 - 2767703946226479385065497907885931199422271452571702244677540024927571/85971573333814509640867291122023188649135107653319776756274306816384*y^15 + 5182107786537302793154413845905489220160114237157280648729516763162451/85971573333814509640867291122023188649135107653319776756274306816384*y^14 - 2156680927342912281759359979002842074912240764674630192845711965582541/21492893333453627410216822780505797162283776913329944189068576704096*y^13 + 3000725203061554125084103992047055366967771075415918099242939802338359/21492893333453627410216822780505797162283776913329944189068576704096*y^12 - 13621453242134131191376483239244127287719913728651810799130923444358141/85971573333814509640867291122023188649135107653319776756274306816384*y^11 + 12594356161841486093267812015265193901587963177448837878807500064210351/85971573333814509640867291122023188649135107653319776756274306816384*y^10 - 3906883572908913335767794922052468342396551027937579111357674410037841/42985786666907254820433645561011594324567553826659888378137153408192*y^9 + 987738710853823741050180877282749445048594479591459648226177320913807/42985786666907254820433645561011594324567553826659888378137153408192*y^8 + 403702735939435526831893701617705263754926478697734813129501554852485/10746446666726813705108411390252898581141888456664972094534288352048*y^7 - 126502847159009663125220897469237186781638142088667879460545848214927/2686611666681703426277102847563224645285472114166243023633572088012*y^6 + 136709673776058736781795574286135555572201933372157096081110647932491/2686611666681703426277102847563224645285472114166243023633572088012*y^5 - 31902496509214621077228517292452604346574959987958717900852156588685/1343305833340851713138551423781612322642736057083121511816786044006*y^4 + 4957821295605907031924229364253548826988073861146788720382099737393/671652916670425856569275711890806161321368028541560755908393022003*y^3 - 6715059976579510696442664605903630215113613856799708863066085568285/671652916670425856569275711890806161321368028541560755908393022003*y^2 + 939465932208889604188488488892868947535445208623912779065634456806/671652916670425856569275711890806161321368028541560755908393022003*y - 541087910665159504814533006438147397323050966293401322429311930010/671652916670425856569275711890806161321368028541560755908393022003

-54653502125899959495087132111586794282390201473574353720362615717/687772586670516077126938328976185509193080861226558214050194454531072*y^24 + 382118312021005012532601498258611369231649917148202218924786946213/343886293335258038563469164488092754596540430613279107025097227265536*y^23 - 2779184651370632859729656989344087161749128180970926603987177473787/343886293335258038563469164488092754596540430613279107025097227265536*y^22 + 16271550968963347477555821737668010761169359222110946846975017199433/343886293335258038563469164488092754596540430613279107025097227265536*y^21 - 154620853847135836346722517699606761808247645055498377995958776946105/687772586670516077126938328976185509193080861226558214050194454531072*y^20 + 144923980399692301125227615874512638596423813892209373556224246019971/171943146667629019281734582244046377298270215306639553512548613632768*y^19 - 999498315404952791611864009548656815134079299557589348688267535022879/343886293335258038563469164488092754596540430613279107025097227265536*y^18 + 2757550081010852164796685623130399349613081138705417759584785141872017/343886293335258038563469164488092754596540430613279107025097227265536*y^17 - 13679114787071985592282048942245811260329522100450960399972706704389955/687772586670516077126938328976185509193080861226558214050194454531072*y^16 + 29320046888909361539782129270808074678644845978235521732803023487547067/687772586670516077126938328976185509193080861226558214050194454531072*y^15 - 3219385731054162153410987993965924328883200523282448627436338343593501/42985786666907254820433645561011594324567553826659888378137153408192*y^14 + 1279565575936392658832167732011860610902929192887353957378231557542013/10746446666726813705108411390252898581141888456664972094534288352048*y^13 - 103408133454161029680651535383715237473692962899414089919650867171803401/687772586670516077126938328976185509193080861226558214050194454531072*y^12 + 102412099039778807277947265956543104734088049676330381072097289413067843/687772586670516077126938328976185509193080861226558214050194454531072*y^11 - 39197556191411657158108509128782398125565351297089801300510349898584007/343886293335258038563469164488092754596540430613279107025097227265536*y^10 + 659405492589845132652873232808132737491944176906500628091002007301587/21492893333453627410216822780505797162283776913329944189068576704096*y^9 + 5561209413167170167570661932900795186766057808937288244428094840100641/171943146667629019281734582244046377298270215306639553512548613632768*y^8 - 3351343764352938615765166860597845695948576192341840238961623777056449/42985786666907254820433645561011594324567553826659888378137153408192*y^7 + 105074735204313281521963965265371466923542769740396838481607998618431/2686611666681703426277102847563224645285472114166243023633572088012*y^6 - 502258144684225903854187914420899088937277032533013755318986077515125/10746446666726813705108411390252898581141888456664972094534288352048*y^5 - 60563153352452947543989860986549382022884656944012230319056642594433/5373223333363406852554205695126449290570944228332486047267144176024*y^4 + 7607324595560719748190851053285759801930784597464971798419131841815/2686611666681703426277102847563224645285472114166243023633572088012*y^3 + 20585192437135841118872913336676756696512516530563744194389224753281/2686611666681703426277102847563224645285472114166243023633572088012*y^2 + 3603995778397300823545163239125826794983668810926610211869994105563/1343305833340851713138551423781612322642736057083121511816786044006*y + 2291405625078135010712813009558289342273170929830900613825434213063/1343305833340851713138551423781612322642736057083121511816786044006

9232583533738742991624090735008181920573800846062977930688562951/5502180693364128617015506631809484073544646889812465712401555636248576*y^24 - 8511168275243952017134022413791880459960251292785866570198216317/343886293335258038563469164488092754596540430613279107025097227265536*y^23 + 515511226745801398493218547473225380332507292971487089107121838043/2751090346682064308507753315904742036772323444906232856200777818124288*y^22 - 3059477550804673504874030521643163507905850186711997233138131474587/2751090346682064308507753315904742036772323444906232856200777818124288*y^21 + 29608629784103290477596648541584614340997163042376050779235885615151/5502180693364128617015506631809484073544646889812465712401555636248576*y^20 - 56839638141060705670053159998855193121501977968103216621451189689227/2751090346682064308507753315904742036772323444906232856200777818124288*y^19 + 196170618432698466714976863738775196139811490054474826315534687122877/2751090346682064308507753315904742036772323444906232856200777818124288*y^18 - 556674306436502881570153981007597740897487426546033847072990022026467/2751090346682064308507753315904742036772323444906232856200777818124288*y^17 + 2759073489651905628558556952181736593570862491880229649096069769027237/5502180693364128617015506631809484073544646889812465712401555636248576*y^16 - 5985706950330540298486232064832612218626731082704983686254648250312399/5502180693364128617015506631809484073544646889812465712401555636248576*y^15 + 5336448588367536530886230346038090029851408458544772388083630290760547/2751090346682064308507753315904742036772323444906232856200777818124288*y^14 - 4152711124163433711569464209264424411935715653444842505425029005761347/1375545173341032154253876657952371018386161722453116428100388909062144*y^13 + 21290417369920339603397628258390410700107923814108609577959731082690287/5502180693364128617015506631809484073544646889812465712401555636248576*y^12 - 20247463160253324544881406928364921550339772594651468245267182955990235/5502180693364128617015506631809484073544646889812465712401555636248576*y^11 + 1742918075965910582104191300808579882820460034087667539517554892433409/687772586670516077126938328976185509193080861226558214050194454531072*y^10 - 86957914569959767629089802843167782434949087913346056103303333917153/171943146667629019281734582244046377298270215306639553512548613632768*y^9 - 407331685124764426874015154159448438913324531162940564227511465150111/343886293335258038563469164488092754596540430613279107025097227265536*y^8 + 253033600545605676930109288934460423556197475916454579657981544540885/171943146667629019281734582244046377298270215306639553512548613632768*y^7 - 48222168194090213897639466778637914965761179614623851448179538764973/171943146667629019281734582244046377298270215306639553512548613632768*y^6 - 35633126082414657901490358810952382611126336235932485726266580375337/85971573333814509640867291122023188649135107653319776756274306816384*y^5 + 10220937758146036359569546975934915455595477833381760520986261046399/42985786666907254820433645561011594324567553826659888378137153408192*y^4 - 229816919861669448023752797328095818965146423531932236557375261043/671652916670425856569275711890806161321368028541560755908393022003*y^3 - 11807156599049652532858855225361807560079169178677876000164556142001/10746446666726813705108411390252898581141888456664972094534288352048*y^2 + 1258600446545084181613446386539766750407906465137327325909794473189/2686611666681703426277102847563224645285472114166243023633572088012*y + 1145240505108257839993725543601275807645588352274037777686861796255/2686611666681703426277102847563224645285472114166243023633572088012


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

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

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

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

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

# 1 Loop Invariant
642476976394487609694348155376848225922631252670421310207393560691/1375545173341032154253876657952371018386161722453116428100388909062144*y^24 - 5327001649575642975604855940396097013640177434193669301885982170687/687772586670516077126938328976185509193080861226558214050194454531072*y^23 + 44439681298751976179654356091854568896359118412953197834092345604583/687772586670516077126938328976185509193080861226558214050194454531072*y^22 - 277368428692800137559792217119634813778122515634979624429720108232013/687772586670516077126938328976185509193080861226558214050194454531072*y^21 + 2827158804152254586075394544121438057346246168619117501955009121931255/1375545173341032154253876657952371018386161722453116428100388909062144*y^20 - 2905500891139798738410903531369064806273498859340863817647259435865243/343886293335258038563469164488092754596540430613279107025097227265536*y^19 + 20787561972779420589572690134983572902618082403054377546926182166803271/687772586670516077126938328976185509193080861226558214050194454531072*y^18 - 63554842255265555763321868664492540648122013362951419369551422382629545/687772586670516077126938328976185509193080861226558214050194454531072*y^17 + 333208550626555004054534238222032826140136273081624342677196390348769989/1375545173341032154253876657952371018386161722453116428100388909062144*y^16 - 771480032897158134956710833683391964284983129190249741597741712327666693/1375545173341032154253876657952371018386161722453116428100388909062144*y^15 + 380145681857564197337364886152355417686898306647105709391679478914336503/343886293335258038563469164488092754596540430613279107025097227265536*y^14 - 321240696461456859781670096670547935607019823983642734157695853258292397/171943146667629019281734582244046377298270215306639553512548613632768*y^13 + 3753353021714805333834068950650886720904278739343913615697866681844193603/1375545173341032154253876657952371018386161722453116428100388909062144*y^12 - 4403758753560475571521506835958856370948106831674060166334691631461946629/1375545173341032154253876657952371018386161722453116428100388909062144*y^11 + 2023656397590027195586953891820079764474788729417586957248813248564987935/687772586670516077126938328976185509193080861226558214050194454531072*y^10 - 160622501997980885007978665095361792826937112705408805912842439346822603/85971573333814509640867291122023188649135107653319776756274306816384*y^9 + 9377300260507571114786974162866238622956104587880491098676400735256071/42985786666907254820433645561011594324567553826659888378137153408192*y^8 + 88086372967509963741363118152170738045827870351274909949810477564867785/85971573333814509640867291122023188649135107653319776756274306816384*y^7 - 3832436058684557703297130079774254185523863969708902732128669853515897/2686611666681703426277102847563224645285472114166243023633572088012*y^6 + 18251142275934763349288046086555230336174845456191444598229430285096473/21492893333453627410216822780505797162283776913329944189068576704096*y^5 - 6071386768885045165802556995044070786336485087518315097311422305686669/10746446666726813705108411390252898581141888456664972094534288352048*y^4 - 722198211617105786298056350804599213829435484053349179979530029968571/5373223333363406852554205695126449290570944228332486047267144176024*y^3 + 60203225990306996400728247534915788658870774431872137291570684755597/2686611666681703426277102847563224645285472114166243023633572088012*y^2 + 54169045247278538717330784663395156429013250310624561728500306387632/671652916670425856569275711890806161321368028541560755908393022003*y + 3193435031026090411961795346912212318801682750117835645874455412518/671652916670425856569275711890806161321368028541560755908393022003

# 2 Loop Invariant
10533136072070791633044052449831840264203075654391639821557250034295344556892697550033675388127854679156958540633297900452286326994158722285232619/1728324779636603989597539579614472674663446694633769865609605076086302479015923873654735622561579173073883610060888786197039759819977682007910317654016*y^24 - 229777360757630568927953388305423049000867555957793195313205213446660793200705117802929485095123709399689425018324160702289302828153400598251239991/2592487169454905984396309369421709011995170041950654798414407614129453718523885810482103433842368759610825415091333179295559639729966523011865476481024*y^23 + 1731571044810890515055865754799860309571849824062223853138195400810784652549615003075450457689124086823000900410459948174074967233630788541229158199/2592487169454905984396309369421709011995170041950654798414407614129453718523885810482103433842368759610825415091333179295559639729966523011865476481024*y^22 - 10320153298393195601131169118740481479720978906547502524656429889268144778078532408161273881314317048555419142049713319874322762462877150309907703959/2592487169454905984396309369421709011995170041950654798414407614129453718523885810482103433842368759610825415091333179295559639729966523011865476481024*y^21 + 33364367107663955842107949094989208236825605275774775400471668386126826153563097360836733749465321493583062365997512552421527208899444986515103494639/1728324779636603989597539579614472674663446694633769865609605076086302479015923873654735622561579173073883610060888786197039759819977682007910317654016*y^20 - 4021622873333813397475464931857159965015888198455170095757883739098552671068289385739272601021659451676294450328391882487367001811740514091135566925/54010149363643874674923111862952271083232709207305308300300158627696952469247621051710488205049349158558862814402774568657492494374302562747197426688*y^19 + 224511959954655334831134063619283583537206577936801950190723951455989276254529927680283918616199542668834955392058917754482243014456099899257915652465/864162389818301994798769789807236337331723347316884932804802538043151239507961936827367811280789586536941805030444393098519879909988841003955158827008*y^18 - 1923554905793129009784187389339472892812122201491664875170013652186548325456203745941357028440185653469700051688331964483818219740725319591768765039479/2592487169454905984396309369421709011995170041950654798414407614129453718523885810482103433842368759610825415091333179295559639729966523011865476481024*y^17 + 9729067797853187239615306160685678826621739873152169204002051814865683331713720387880028914005413033676832515851515274709693398905920401865041511439943/5184974338909811968792618738843418023990340083901309596828815228258907437047771620964206867684737519221650830182666358591119279459933046023730952962048*y^16 - 21448555051622855963288545727705964185228458140013970564704603931855801302048858721399671058795798974382429360922501020767842896897916389813053006685195/5184974338909811968792618738843418023990340083901309596828815228258907437047771620964206867684737519221650830182666358591119279459933046023730952962048*y^15 + 9847796316998368791743817428600207750857207822865559391814916567537791622624872673140694241769974693491175814970581065651378536226439863106353717692737/1296243584727452992198154684710854505997585020975327399207203807064726859261942905241051716921184379805412707545666589647779819864983261505932738240512*y^14 - 5345124390066179415863309201530875063555094867958449228830894251301660259711158660438441592315414157147552675578053790796748410606644152609268613963369/432081194909150997399384894903618168665861673658442466402401269021575619753980968413683905640394793268470902515222196549259939954994420501977579413504*y^13 + 86090133579871272969049524287990637756569349562477487836242975809725962022066037669705005724807191852406549557835875724844236368769793219262753149929185/5184974338909811968792618738843418023990340083901309596828815228258907437047771620964206867684737519221650830182666358591119279459933046023730952962048*y^12 - 91910610898710118960895277483676243910603103473312865093319331041510175499309551294296002950978161129734303169597706436880049808041309434918456852587419/5184974338909811968792618738843418023990340083901309596828815228258907437047771620964206867684737519221650830182666358591119279459933046023730952962048*y^11 + 38156324668206732014402118866148507109531397067545204683784203473320967115366220195019575690135500720105524795215066908478183816285227745543081999609545/2592487169454905984396309369421709011995170041950654798414407614129453718523885810482103433842368759610825415091333179295559639729966523011865476481024*y^10 - 8377678616507935786431280855648373132565625003497114671538858939777347009025506918851796126992991335989108140824064959411555950889131379389072327536519/1296243584727452992198154684710854505997585020975327399207203807064726859261942905241051716921184379805412707545666589647779819864983261505932738240512*y^9 - 1367729284668032832953246144355236987529603520980841999406045446237424006644258288656976428207420606490370163551554257782810942793505778252666099243269/648121792363726496099077342355427252998792510487663699603601903532363429630971452620525858460592189902706353772833294823889909932491630752966369120256*y^8 + 1352075977643350867725759516734427543707966390259738357657949562510974880029818329619463367199250786064201396463727428949466315101519597081579736898529/162030448090931624024769335588856813249698127621915924900900475883090857407742863155131464615148047475676588443208323705972477483122907688241592280064*y^7 - 1120077438878204913782831529281751436291502757600801753495415526590678428460673985431867044353081994095686342232731732207235202713478375300578564364157/162030448090931624024769335588856813249698127621915924900900475883090857407742863155131464615148047475676588443208323705972477483122907688241592280064*y^6 + 144673890817459450738641733981584762269188662814011706034475960680484114576895912056781549670314693039372362123993221105511731460191928032672610342805/27005074681821937337461555931476135541616354603652654150150079313848476234623810525855244102524674579279431407201387284328746247187151281373598713344*y^5 - 13852743287512463431823984858789510251467551050443204990888551558760178150842115237463556993516069672161619768290728750977870400941866830870150615283/20253806011366453003096166948607101656212265952739490612612559485386357175967857894391433076893505934459573555401040463246559685390363461030199035008*y^4 - 2916151550233785548174069437861685354654960099118673194730034755677400222725091805843836576445433376018557581495178184375380776205498641085423924207/3375634335227742167182694491434516942702044325456581768768759914231059529327976315731905512815584322409928925900173410541093280898393910171699839168*y^3 - 410643299921518659075393860590866473819170166237748631858922242676458391216103645845327921928294503137598922816280244009011092028435950148787571635/10126903005683226501548083474303550828106132976369745306306279742693178587983928947195716538446752967229786777700520231623279842695181730515099517504*y^2 - 22426711491693131984657290839905924364473785460951151814625009757371552745710015040830266583536910889276580010916074327663716046425214082701265917/1687817167613871083591347245717258471351022162728290884384379957115529764663988157865952756407792161204964462950086705270546640449196955085849919584*y + 3184906629109286510073877635899631168372915230695518327910157500776654873611026741450370095634391380208185540675272566453620035684858187104975325155/1265862875710403312693510434287943853513266622046218163288284967836647323497991118399464567305844120903723347212565028952909980336897716314387439688

# 3 Loop Invariant
205379473071545866941197116936509288399411426864842467141417422137503970872907307830024726532297133092448539028815442346538947044269650138817062035424824994201337573448321829247743387653/61263330969282183833375084785668929605087143223678021978178150961808118171504263022379498187121370151757795878623655469237955619187785853938672480026056353689796146738748009983478802277859328*y^24 - 371736078821941946349190299016685862015240988052845903788195696995402028710698901008679391193031984907203339873839091491876607682743838690099678534665645868113314478100254791196532232067/7657916371160272979171885598208616200635892902959752747272268870226014771438032877797437273390171268969724484827956933654744452398473231742334060003257044211224518342343501247934850284732416*y^23 + 11178402525452827351945647824661778490334973334361787743780945965271383365910920097778856487620464726669401260588824794535919662669716248556043399030797338464090187924833167901237701654465/30631665484641091916687542392834464802543571611839010989089075480904059085752131511189749093560685075878897939311827734618977809593892926969336240013028176844898073369374004991739401138929664*y^22 - 66638362673509331128088909444647980590648739358856655538797842476473031987802888973787458251608247684761867436432787842679215005531997328474960756686066461901012787163329817098890863065521/30631665484641091916687542392834464802543571611839010989089075480904059085752131511189749093560685075878897939311827734618977809593892926969336240013028176844898073369374004991739401138929664*y^21 + 646276763448285873486830404567906369688984686371122196486719508856205419509405524538381573036890056467287026673264821910102727295395445429790907028183016550538074223556340202265119194090765/61263330969282183833375084785668929605087143223678021978178150961808118171504263022379498187121370151757795878623655469237955619187785853938672480026056353689796146738748009983478802277859328*y^20 - 1246717973395685750522279693102948524070680961955175254598928866371287347628650247826555369098243282628423032215211437139771380812675658608179779710907051766425083712036473534238835535024757/30631665484641091916687542392834464802543571611839010989089075480904059085752131511189749093560685075878897939311827734618977809593892926969336240013028176844898073369374004991739401138929664*y^19 + 4360164620233602510768722867023216449888919418194064999845852364303999149289079312637998846180732757478831425275918941394276652599195733175556345377575832139016967560344703937099855855631103/30631665484641091916687542392834464802543571611839010989089075480904059085752131511189749093560685075878897939311827734618977809593892926969336240013028176844898073369374004991739401138929664*y^18 - 12466976024748183123776322325520348425150928270971381705193259988063501286964217580778285317372768206373352418266260008908924601242206964858374281976939759621037326567896688790616030047708729/30631665484641091916687542392834464802543571611839010989089075480904059085752131511189749093560685075878897939311827734618977809593892926969336240013028176844898073369374004991739401138929664*y^17 + 63348090672520707051911551039350434802005815323407651303485037157846482732740990617180845996070813616338242646984151917823141864628316665339388234109542918159159892282104695373936359019343727/61263330969282183833375084785668929605087143223678021978178150961808118171504263022379498187121370151757795878623655469237955619187785853938672480026056353689796146738748009983478802277859328*y^16 - 3263215249151495033154582586371503009594995953525133554807935113720699890873870430734215120727904444715133446881560180361846212204688760515168546099421008700255014181980400915737300754238687/1424728627192608926357560111294626269885747516829721441352980254925770190034982860985569725281892329110646415781945476028789665562506647766015639070373403574181305738110418836825088425066496*y^15 + 129865841094112306848804041924544463374592424626845541935041324429552180762226910605672738014089183408657661965179755828045955599288954008895892634885606698052550868245504297311433994565646653/30631665484641091916687542392834464802543571611839010989089075480904059085752131511189749093560685075878897939311827734618977809593892926969336240013028176844898073369374004991739401138929664*y^14 - 107154696774146023464374625887128432894983259188013940077594729559560130749348953961829402870399725290423049198304994263738160869315458527703389932875734305001369300631603796438260695162099321/15315832742320545958343771196417232401271785805919505494544537740452029542876065755594874546780342537939448969655913867309488904796946463484668120006514088422449036684687002495869700569464832*y^13 + 585323298217225631104924583429529496227174275341398923222783560823098399597893281255135488830208465007472275477014615686423724501305377345511549729444704646778378599489698009677824249766609197/61263330969282183833375084785668929605087143223678021978178150961808118171504263022379498187121370151757795878623655469237955619187785853938672480026056353689796146738748009983478802277859328*y^12 - 647699062590580725867553150165153133788445708081764648467439599505090712634150598807221622783551289190432882738178334008989470931698096580422167090869229758840628872124593390091291169232201225/61263330969282183833375084785668929605087143223678021978178150961808118171504263022379498187121370151757795878623655469237955619187785853938672480026056353689796146738748009983478802277859328*y^11 + 17989808064517906209189119432832270494406852528260074439481939429311593264179632714538878046390393812883488290674426206805115241113770084294797683626463630376085515144193570819357601482655859/1914479092790068244792971399552154050158973225739938186818067217556503692859508219449359318347542817242431121206989233413686113099618307935583515000814261052806129585585875311983712571183104*y^10 - 19691257302916982789601627729144216925815539273361595388234089818002245410694528106578397985884639357662330309522485300543761239499066446522926896649282226398584031542555278403701290202897075/3828958185580136489585942799104308100317946451479876373636134435113007385719016438898718636695085634484862242413978466827372226199236615871167030001628522105612259171171750623967425142366208*y^9 + 392100085805719043841712010965440574412229808992052255334051551283017021275434406402014155432966876312904263784221056453986546636031500869113829177662798846528611835830230044337008547426951/957239546395034122396485699776077025079486612869969093409033608778251846429754109724679659173771408621215560603494616706843056549809153967791757500407130526403064792792937655991856285591552*y^8 + 6948110131540548570114778842497702908301905768069477224915968213687957610324114868674900009997065247766655688398329125978656041350075673695296185881712311255673172868517136113943502901547417/1914479092790068244792971399552154050158973225739938186818067217556503692859508219449359318347542817242431121206989233413686113099618307935583515000814261052806129585585875311983712571183104*y^7 - 6985373205609031821893584730931913002435194442488195987749524457436231459584557731652550917077365371323976798172786768851998957984442600244914530063354338611395788449257268285701420067842543/1914479092790068244792971399552154050158973225739938186818067217556503692859508219449359318347542817242431121206989233413686113099618307935583515000814261052806129585585875311983712571183104*y^6 + 26806837303811724275047651555522084755540709533060950017249359179156239576932396565771447457314801718771282181499462928548336094494105495191611356170502886666256054749554721955537439442619/7478433956211204081222544529500601758433489163046633542258075068580092550232453982224059837295089129853246567214801693022211379295384015373373105471930707237523943693694825437436377231184*y^5 - 492051625118377754297847419499166141994998177219603787948626012418953158528215968566194209547730186259622089905628114565388669275387432736957885471099628937555910310913284153224766007338371/478619773197517061198242849888038512539743306434984546704516804389125923214877054862339829586885704310607780301747308353421528274904576983895878750203565263201532396396468827995928142795776*y^4 + 14061352020895878633170848597944512682417514482407668639130616248659213121600581393688380558266597594385339770011113974645867512565681233033093205597189223950630918044955233789935894535795/119654943299379265299560712472009628134935826608746136676129201097281480803719263715584957396721426077651945075436827088355382068726144245973969687550891315800383099099117206998982035698944*y^3 - 12806515719400584014754021485263379420464475277981703104343590551673318673527924236179992830462310461031522813356639529672152717980632971843447156876043200785283270070459811418447313754069/59827471649689632649780356236004814067467913304373068338064600548640740401859631857792478698360713038825972537718413544177691034363072122986984843775445657900191549549558603499491017849472*y^2 - 795460598210838532748969823423191521616402490249324913279521260261914097810320882830166535677668222986947141130111120311694335993476791704602570299429119977973322735673374559324197433943/14956867912422408162445089059001203516866978326093267084516150137160185100464907964448119674590178259706493134429603386044422758590768030746746210943861414475047887387389650874872754462368*y - 377802799148354649261315237631297654670571889501217827039387037320494296901026440164281497330743988855799303509175623942122617522491774667953475100458986202172659359279614122196491441271/14956867912422408162445089059001203516866978326093267084516150137160185100464907964448119674590178259706493134429603386044422758590768030746746210943861414475047887387389650874872754462368

# 4 Loop Invariant
12781186511926195490179344330915259991677921844233788820281642584845848941598139635482018038938289074305199869430193734237635066119555557264126663255319763349802497020254561541837667537222456331671652900838177850742165852204596254257997807331719295325903966157234197/5370366248286354062869870337159769854268996562143348191991670016655979079939986500871020065071001883525400856773511752655288802215508382962876237781532295392631768562910751830602414356558010283698451249364124597458554712863603408017096184440536322254689544485766621560832*y^24 - 30139030633083806580536360312193293777195044336533052847251254859766840871226243587808995736691736840614208501084260651567007225312837377298791369984992199748689272688494262393429803484082558679790219784352267436854486029281786606451719454162673530967154180215078455/895061041381059010478311722859961642378166093690558031998611669442663179989997750145170010845166980587566809462251958775881467035918063827146039630255382565438628093818458638433735726093001713949741874894020766243092452143933901336182697406756053709114924080961103593472*y^23 + 9962295480693296848335602270811162999182074238980940006118830494784501870726961950731450112625801310604359893900370800079969021849402069401299724392399798598928444604920916003992677475201593719331211519087716651140109319272208174445374713100213935541600773547256430313/40277746862147655471524027528698273907017474216075111439937525124919843099549898756532650488032514126440506425801338144914666016616312872221571783361492215444738264221830638729518107674185077127738384370230934480939160346477025560128221383304022416910171583643249661706240*y^22 - 58567775429159979614539356897380857674161337200741654844691235856574656981816627007614103482927797193024980287573153670938375113077955427933418827954730227551717335404013699682180709189114771637587505336514519355109132146576238363964266783839663817542911340794250655549/40277746862147655471524027528698273907017474216075111439937525124919843099549898756532650488032514126440506425801338144914666016616312872221571783361492215444738264221830638729518107674185077127738384370230934480939160346477025560128221383304022416910171583643249661706240*y^21 + 559379411213631961029876402680315032033779775921521370871779318473355227184379520724910180115292624860037385559423830480209416227676014813770221748926691392691841450951983354103648149688538135669154587067344121120831287780936329274604129098495919300458128802311396146807/80555493724295310943048055057396547814034948432150222879875050249839686199099797513065300976065028252881012851602676289829332033232625744443143566722984430889476528443661277459036215348370154255476768740461868961878320692954051120256442766608044833820343167286499323412480*y^20 - 175982748980092982934909577255274713768086720109705466525354334868243184995249899813253672477643828314724549205433600229603153328915665312117086089829940034649047148139416406569576374771201250149858710780202004850561826309697262783603428449444190062989888926832946064661/6712957810357942578587337921449712317836245702679185239989587520819973849924983126088775081338752354406751070966889690819111002769385478703595297226915369240789710703638439788253017945697512854623064061705155746823193391079504260021370230550670402818361930607208276951040*y^19 + 3646219674117514140837034569203316718309898443562853307170546376535129167512305757336634819676260502977036124607631692468830587226560229408602536896511790937591492501722904250728075326543652314021886736435597920946854318450336848603695095505811005181193361320438711882593/40277746862147655471524027528698273907017474216075111439937525124919843099549898756532650488032514126440506425801338144914666016616312872221571783361492215444738264221830638729518107674185077127738384370230934480939160346477025560128221383304022416910171583643249661706240*y^18 - 2028505198121348912214548416236648673204399486322581188256898979965947012672568324737156105611746027753215530861243693619221129578124264321223539777360749335091908281391726283129952054094387324599780650210702221351091555088020753726658939126335325526232771960180040070057/8055549372429531094304805505739654781403494843215022287987505024983968619909979751306530097606502825288101285160267628982933203323262574444314356672298443088947652844366127745903621534837015425547676874046186896187832069295405112025644276660804483382034316728649932341248*y^17 + 50402997994309784276754276603372776067946104230611649422624101216071795738908251400074266783391531759381271420673485690537291068939301139039768341808315737789407742237599965132509393215320914774042602426520796879171167186453220065843757132403413574929398076527575486663109/80555493724295310943048055057396547814034948432150222879875050249839686199099797513065300976065028252881012851602676289829332033232625744443143566722984430889476528443661277459036215348370154255476768740461868961878320692954051120256442766608044833820343167286499323412480*y^16 - 12055165138051601422776458287251692649618621043068111151014466979296889869744079126788075530394487666871592578745215291473817332534782752311071333170107368667776698956497894995235616474031461990484186370943562267504202453439811196018398256931819991714273886423952592842453/8950610413810590104783117228599616423781660936905580319986116694426631799899977501451700108451669805875668094622519587758814670359180638271460396302553825654386280938184586384337357260930017139497418748940207662430924521439339013361826974067560537091149240809611035934720*y^15 + 5993096071047843152029318333106798137419511794092693665713188657240009425320424499296949603157793720647895754656696651157641488110624648404202662192288041578423072906803868996899461110688344447538152190667632203007601608114250565543419407983914498198372548101781985887827/2517359178884228466970251720543642119188592138504694464996095320307490193721868672283290655502032132902531651612583634057166626038519554513848236460093263465296141513864414920594881729636567320483649023139433405058697521654814097508013836456501401056885723977703103856640*y^14 - 1765717301724343972615862143484915806328089415777915484211363626750562207368859297705540554266937987079466208750791841198534394817293827139433631909077545948160016612483946544402159779608254860764168458357516642064516527973469257012218477358205505346154261829497293784081/468345893745902970599116599170910161709505514140408272557413082847905152320347659959681982418982722400471004951178350522263558332747824095599671899552235063310910049091053938715326833420756710787655632211987610243478608679965413489863039340744446708257809112130810019840*y^13 + 76913696587314040173496552287408803249491974702107036293922079110648013637503308110128597760454459670683087001814099648541527374554093598858328641413137322433463851802626159989871510388419240957334745820179023795574713783879016700727264490780683705325121804897851418844855/16111098744859062188609611011479309562806989686430044575975010049967937239819959502613060195213005650576202570320535257965866406646525148888628713344596886177895305688732255491807243069674030851095353748092373792375664138590810224051288553321608966764068633457299864682496*y^12 - 375549961302932438457636830360922640108443812937173637771858730684487754503304706375993283802075718601596808011155665579780377645844942693502872759760940086718474214374670616414740231736850955281076118441738088402630143739699798742669805091510769358213040076274978506300341/80555493724295310943048055057396547814034948432150222879875050249839686199099797513065300976065028252881012851602676289829332033232625744443143566722984430889476528443661277459036215348370154255476768740461868961878320692954051120256442766608044833820343167286499323412480*y^11 + 136068852605825546650821483815820061157144838202877113964347150844512885134102006688150473475927866472716221962876590932071506117978342758321063035080122538470483797706222677371738338178176071658177619631462817628425621447825677777458804717536484817463464284465849225657013/40277746862147655471524027528698273907017474216075111439937525124919843099549898756532650488032514126440506425801338144914666016616312872221571783361492215444738264221830638729518107674185077127738384370230934480939160346477025560128221383304022416910171583643249661706240*y^10 - 11642357932877590025899892536110854840577006714019373250825708042946530641463581970992613149846577979587143019330093018235672948779436382174538135515273180919578802789055116016511309860051522386773749688678508289856396065008535321293859166094106730181562129775315571832061/20138873431073827735762013764349136953508737108037555719968762562459921549774949378266325244016257063220253212900669072457333008308156436110785891680746107722369132110915319364759053837092538563869192185115467240469580173238512780064110691652011208455085791821624830853120*y^9 - 4273599503710707358240230657520679509342273391587381269741877632557050734737070474073662509022313328088544848035851822091576303792624226817072859583352739845617864663246204200562114219797687095455897214347719296645050471786559532487331813428722435067234738045856029315593/2517359178884228466970251720543642119188592138504694464996095320307490193721868672283290655502032132902531651612583634057166626038519554513848236460093263465296141513864414920594881729636567320483649023139433405058697521654814097508013836456501401056885723977703103856640*y^8 + 5127815871224559893594661634376420872268441009726952109235063684897230659085831303306724279086251841538716152878945389715972806409467398129858892955550417687729810103100332876514178085809741228810336486516231061210330426491982914755406829274912459760249808284368398601137/1678239452589485644646834480362428079459061425669796309997396880204993462481245781522193770334688088601687767741722422704777750692346369675898824306728842310197427675909609947063254486424378213655766015426288936705798347769876065005342557637667600704590482651802069237760*y^7 - 4396804837402986029673058716787490270992033278604560149414070789220820483457168455126165027051993024222125556209176356950178149576727461621281472545278851782027334557800072007544286948390580449464307577407242671054028505748609008422261461103313499427778790198792200090059/2517359178884228466970251720543642119188592138504694464996095320307490193721868672283290655502032132902531651612583634057166626038519554513848236460093263465296141513864414920594881729636567320483649023139433405058697521654814097508013836456501401056885723977703103856640*y^6 + 893040566513331250214752656968062564851711523033614770148466618484886461287397911774951302576346543051833622250343334266415560585606141156270900248698900890599370302813457054030044716883379797333019786320462096318873375933148579434139796053496097249720769062128023032909/629339794721057116742562930135910529797148034626173616249023830076872548430467168070822663875508033225632912903145908514291656509629888628462059115023315866324035378466103730148720432409141830120912255784858351264674380413703524377003459114125350264221430994425775964160*y^5 + 34565214498528508794111773700189866021994489673900453975892664910794111612283854039736960274753356898306454560466085222059233600501183945465380617683099916553886747300734946553407663058905823533691772484576289894447378541754727580014136386565817547902372930278324476037/78667474340132139592820366266988816224643504328271702031127978759609068553808396008852832984438504153204114112893238564286457063703736078557757389377914483290504422308262966268590054051142728765114031973107293908084297551712940547125432389265668783027678874303221995520*y^4 - 38963287266420228469760071329612541498708269825878928333382517220637845015142581930225002044845014879208858222257075068181134489657033312225459841865468702810546723649093279302752932398008395320768281042417617755185580409248033726617478516499402304191830046195291709017/104889965786842852790427155022651754966191339104362269374837305012812091405077861345137110645918005537605485483857651419048609418271648104743676519170552644387339229744350621691453405401523638353485375964143058544112396735617254062833909852354225044036905165737629327360*y^3 - 95637161206514723777244762351995475210605723326018034327208299059239020920238364410050235860825566688191911455789902854561334945129019042317788050011629870683620405353477858083546860322871572502967355035408757245312731082221965518324004252960045403261024782532673073/1966686858503303489820509156674720405616087608206792550778199468990226713845209900221320824610962603830102852822330964107161426592593401963943934734447862082262610557706574156714751351278568219127850799327682347702107438792823513678135809731641719575691971857580549888*y^2 - 2715057187799612493900453774828886451006879541565414434232759977712231504735711368701050349144094498211666319977073913881493529045640364241036923319681021687272265818405973477483387162687507540040447214427862177273516260781705085186767747910951247562466605813110465753/39333737170066069796410183133494408112321752164135851015563989379804534276904198004426416492219252076602057056446619282143228531851868039278878694688957241645252211154131483134295027025571364382557015986553646954042148775856470273562716194632834391513839437151610997760*y - 150628750479914972894311347875214373464434461596400319035426396304655766089121492617368127976456862528700624260825124853633111248365815309620903203699474137140179024200514500190891994400110283829635338690164976281384305945754485017604945646993540971928471300284036849/4370415241118452199601131459277156456924639129348427890618221042200503808544910889380712943579916897400228561827402142460358725761318671030986521632106360182805801239347942570477225225063484931395223998505960772671349863984052252618079577181426043501537715239067888640