# Manifold: Census Knot K8_128

# Number of Tetrahedra: 8

# Number Field
x^23 + 4*x^22 - 43*x^21 - 58*x^20 + 462*x^19 + 805*x^18 - 3019*x^17 - 6961*x^16 + 12959*x^15 + 55392*x^14 - 48734*x^13 - 345891*x^12 + 161062*x^11 + 1237746*x^10 - 198828*x^9 - 2212882*x^8 - 362194*x^7 + 1755331*x^6 + 1002068*x^5 - 483644*x^4 - 518308*x^3 - 32279*x^2 + 78461*x + 20905 

# Approximate Field Generator
-0.483748243237951 + 0.498389144197101*I

# Shape Parameters
-798655502978611927475490684924306488449849677886800665872664867884/113582486147197419578630280211505201438813725484423924632737320915793641*y^22 - 3428820793995716245867106880834075344480177882422966362157539421609/113582486147197419578630280211505201438813725484423924632737320915793641*y^21 + 33766213227376673123948731441158382052977390964954418035638790776567/113582486147197419578630280211505201438813725484423924632737320915793641*y^20 + 57044672842967683799232127793941681653719362079402218386960339471436/113582486147197419578630280211505201438813725484423924632737320915793641*y^19 - 373139242642268165057433728596121625460599085609922364395876420751543/113582486147197419578630280211505201438813725484423924632737320915793641*y^18 - 736416489782767217146300171700963779367469767941264717367361510759681/113582486147197419578630280211505201438813725484423924632737320915793641*y^17 + 2389173788805733677724883304395974702974896829482503043517936820310583/113582486147197419578630280211505201438813725484423924632737320915793641*y^16 + 6233091402746410785423102172500406073560421306757537206259347780687399/113582486147197419578630280211505201438813725484423924632737320915793641*y^15 - 10028346851020716159878366223149451656325492757634808828668396779487008/113582486147197419578630280211505201438813725484423924632737320915793641*y^14 - 47482583790470779841694036060579771114819840054741130709273012390799034/113582486147197419578630280211505201438813725484423924632737320915793641*y^13 + 32834905106303891086409719297773756668441485185628150555356778502755354/113582486147197419578630280211505201438813725484423924632737320915793641*y^12 + 296917667324594930886227338148355713640906070620016864563355748560625937/113582486147197419578630280211505201438813725484423924632737320915793641*y^11 - 92018375898455329316611913439294186646615213943168431686731463220520653/113582486147197419578630280211505201438813725484423924632737320915793641*y^10 - 1088654601090724637117668968377262706544088820422829123058761634621578326/113582486147197419578630280211505201438813725484423924632737320915793641*y^9 + 88532008056648775419065925467213380178131698615338055465761154969189670/113582486147197419578630280211505201438813725484423924632737320915793641*y^8 + 1979677962017059653647523161419640538013362122827149469878482442824341321/113582486147197419578630280211505201438813725484423924632737320915793641*y^7 + 296473929981320746375114917066451324809596804685172585632167475095345320/113582486147197419578630280211505201438813725484423924632737320915793641*y^6 - 1570851104763990600501773136620875267109332327323335298157606855126975477/113582486147197419578630280211505201438813725484423924632737320915793641*y^5 - 743235186278056976768089614780260305220205137840079178418594442456186463/113582486147197419578630280211505201438813725484423924632737320915793641*y^4 + 437179138612972068865282444397799133278471621914515514317867975174169000/113582486147197419578630280211505201438813725484423924632737320915793641*y^3 + 341867559715727597844876415731117820265211177299995491344227973122440172/113582486147197419578630280211505201438813725484423924632737320915793641*y^2 - 25898200112059787026186795990188980263314973270283690028694599732292335/113582486147197419578630280211505201438813725484423924632737320915793641*y + 48521480140196226405086507798294640027333534486287427102489883302633066/113582486147197419578630280211505201438813725484423924632737320915793641

-1930701733173781221966234397462455036326576837744566000003992990667054/34642658274895212971482235464509086438838186272749297012984882879317060505*y^22 - 1499190745058366773780432044434809559944412171477251348085749081508651/6928531654979042594296447092901817287767637254549859402596976575863412101*y^21 + 84018720511065967605588365177268216725173031784963489246984882316014242/34642658274895212971482235464509086438838186272749297012984882879317060505*y^20 + 102013228524388934157073905397572432433561223959108120910360921956876879/34642658274895212971482235464509086438838186272749297012984882879317060505*y^19 - 910403778222293936904994900082012501787202092359272009195022824449556569/34642658274895212971482235464509086438838186272749297012984882879317060505*y^18 - 1427644470120176414951839840877714819954590262611163428894426706325221679/34642658274895212971482235464509086438838186272749297012984882879317060505*y^17 + 6042215600228142704112139861683451489697120182859430670973329986765634617/34642658274895212971482235464509086438838186272749297012984882879317060505*y^16 + 12583618269801767963344920403544107289648381480834108184069938259163066421/34642658274895212971482235464509086438838186272749297012984882879317060505*y^15 - 5390173791919709320372553740427486947911997339834970394467336020291083125/6928531654979042594296447092901817287767637254549859402596976575863412101*y^14 - 102810308238359004424210957418722366667256088393165557578225957757553031228/34642658274895212971482235464509086438838186272749297012984882879317060505*y^13 + 108958124567797992279855836498760156486792863467001893462728500609148111703/34642658274895212971482235464509086438838186272749297012984882879317060505*y^12 + 652941546345002555612174227952008933092174114132751280140033989439452929717/34642658274895212971482235464509086438838186272749297012984882879317060505*y^11 - 411817859505764600704347264227429467263529570653980963056208850523803496096/34642658274895212971482235464509086438838186272749297012984882879317060505*y^10 - 465955852818945969519029063744708216349775750325898785015584762657185247707/6928531654979042594296447092901817287767637254549859402596976575863412101*y^9 + 788691609030571336335268806544314375946637335832066550708693463158957590557/34642658274895212971482235464509086438838186272749297012984882879317060505*y^8 + 817630637849929357661056553233176642647051499617490655500225199602376689122/6928531654979042594296447092901817287767637254549859402596976575863412101*y^7 - 114609173368675035845363708706474096803868747975757463366410521975300534394/34642658274895212971482235464509086438838186272749297012984882879317060505*y^6 - 3192508538863457376079829666020763555306065613816370331862541123274924178313/34642658274895212971482235464509086438838186272749297012984882879317060505*y^5 - 224155449069816238912671769347314018810305639912315685779578299913620387855/6928531654979042594296447092901817287767637254549859402596976575863412101*y^4 + 1052575675078593561784758051267036340685437719928101977353846832570697641311/34642658274895212971482235464509086438838186272749297012984882879317060505*y^3 + 571161139510632642541913248474843698713522629307367563407775365349491194233/34642658274895212971482235464509086438838186272749297012984882879317060505*y^2 - 102967880536512564189521667293490330599162585602216070839264433156041096596/34642658274895212971482235464509086438838186272749297012984882879317060505*y - 18168099916491826976876584426381172805190971048305733709160167148225686486/6928531654979042594296447092901817287767637254549859402596976575863412101

-72848827006682317441952320752971103096457543195186739373412916077916/2839562153679935489465757005287630035970343137110598115818433022894841025*y^22 - 428951544658899464839779357315420495194937311774311449555170655399234/2839562153679935489465757005287630035970343137110598115818433022894841025*y^21 + 2606800350406813677906620009663622665769258707941763056142281655128108/2839562153679935489465757005287630035970343137110598115818433022894841025*y^20 + 10180345614865980401467558833626833669205773700768717063832156243531863/2839562153679935489465757005287630035970343137110598115818433022894841025*y^19 - 26962492963533864057264818080857301990556922772712339362474272920373607/2839562153679935489465757005287630035970343137110598115818433022894841025*y^18 - 24228547322050353804977438963756686194586152019239371451598988023382334/567912430735987097893151401057526007194068627422119623163686604578968205*y^17 + 123714628131168728064028284517611976800599429799890426553633760633643654/2839562153679935489465757005287630035970343137110598115818433022894841025*y^16 + 916129528081772899670428713635892522524197912606600056402963908845457981/2839562153679935489465757005287630035970343137110598115818433022894841025*y^15 - 104955109603214736243920159856180573178714571401392423409317747491969574/2839562153679935489465757005287630035970343137110598115818433022894841025*y^14 - 5819962931622457783252384014817749335418241548044374225201139792513200302/2839562153679935489465757005287630035970343137110598115818433022894841025*y^13 - 3372213914454730560692590424674382194212570582759093398272539295509114271/2839562153679935489465757005287630035970343137110598115818433022894841025*y^12 + 32542293155182878859847642468768702130573538939565156663784283133899624811/2839562153679935489465757005287630035970343137110598115818433022894841025*y^11 + 31607059661414883808926729745609434976357547989012575850178525242651143378/2839562153679935489465757005287630035970343137110598115818433022894841025*y^10 - 118034362321113295287358733549901635797377728269392509638206293798405742326/2839562153679935489465757005287630035970343137110598115818433022894841025*y^9 - 132952791040815045385744782256688380073574421362405603576683150454651089997/2839562153679935489465757005287630035970343137110598115818433022894841025*y^8 + 209361511934383230310011814222293376386596971674503979917531984514878855572/2839562153679935489465757005287630035970343137110598115818433022894841025*y^7 + 260469851568189813866565549643516078900192364793457911272434796580500473119/2839562153679935489465757005287630035970343137110598115818433022894841025*y^6 - 118683817287881847985005432651522024278210634598223957647415905229637565766/2839562153679935489465757005287630035970343137110598115818433022894841025*y^5 - 214019823545740032537504312240699086385659331741823796883784057762082227358/2839562153679935489465757005287630035970343137110598115818433022894841025*y^4 - 48829725647668555245439379411851418258114857144752950645641952767994790056/2839562153679935489465757005287630035970343137110598115818433022894841025*y^3 + 54751383694375694473375442052162422571079811069532027365344860096683697483/2839562153679935489465757005287630035970343137110598115818433022894841025*y^2 + 24939561022931448500746740443413994861094343699986661125435445270849313549/2839562153679935489465757005287630035970343137110598115818433022894841025*y + 1587997005323101717515426600202814349153880934805758899823956709127575904/2839562153679935489465757005287630035970343137110598115818433022894841025

7175950545970520838137651774182418138355666218735095379032447183521517251/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^22 + 5131457126023497146868060254380699255373346692506184170160060014541140011/28968190849467377086753445295422498080156491361272962162257959063684925994281*y^21 - 319321543003125416473450678156920963870022114807081659433892677964995638238/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^20 - 279705185190206419516400030992952201859506835652722669237717447998814370206/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^19 + 3429868526534025440588409467744564148447234888857301926503623483978410390326/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^18 + 4296533534777564925225171918264895381671481411218186777343439307152996486971/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^17 - 23454834300016301607199762663607420486885435933090506200374705591301302841358/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^16 - 39706160097507293052192287324050269262806425347584681397623675644380146414389/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^15 + 21958896783565153740655374411474719842511631237214087375561818880053726209469/28968190849467377086753445295422498080156491361272962162257959063684925994281*y^14 + 348841931018919379403034024732403134888851971678211988720269378301723081490712/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^13 - 499006819000580540537285972120071042520181932760249272374811660650308542237262/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^12 - 2258243049156958769829964611357284965529554609762063261798491438974457621722908/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^11 + 2129783228678884675992593454925140743170889673107492975994326070060460600656484/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^10 + 1583504773808525636652306870307103247657784280037001995482604776531011039399673/28968190849467377086753445295422498080156491361272962162257959063684925994281*y^9 - 4904017480160755012550769546390081736427225492346388626551454075342581022519723/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^8 - 2718012783945618285940946465776099139657016587970050311835585335470124847957461/28968190849467377086753445295422498080156491361272962162257959063684925994281*y^7 + 3622505982021970019985108343863935026700285233990680092162602318866106831357076/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^6 + 10699545877206372275049849699740388914383529399311743388013807710414712021032612/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^5 + 379188319785507659383874916596497231425020393565011430023471925112694176913408/28968190849467377086753445295422498080156491361272962162257959063684925994281*y^4 - 4123075870994815826653927206746639095194403239253820220211097873776535551276679/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^3 - 1556843021789797257908250626613484002033495226968524390828893525996686479856627/144840954247336885433767226477112490400782456806364810811289795318424629971405*y^2 + 606814351429187899537354572115630988498381038916911981238138695065773168558794/144840954247336885433767226477112490400782456806364810811289795318424629971405*y + 66731008766214453341785599973394430736599698985617825513998259206902521164227/28968190849467377086753445295422498080156491361272962162257959063684925994281

-916850899204928219306591477796210214222832184351535369884125998947/113582486147197419578630280211505201438813725484423924632737320915793641*y^22 - 3466188816396641038434333458273173834025429611960141760982002687128/113582486147197419578630280211505201438813725484423924632737320915793641*y^21 + 41799226766205864803735021247752207968777661883382785606968829265837/113582486147197419578630280211505201438813725484423924632737320915793641*y^20 + 50263870399532458402675293351387660707055115868108232156423507470703/113582486147197419578630280211505201438813725484423924632737320915793641*y^19 - 502214097263255316051450834282527096355649896248949429624975957017872/113582486147197419578630280211505201438813725484423924632737320915793641*y^18 - 706959407802385570118478876902301081492327303016554456465952844571581/113582486147197419578630280211505201438813725484423924632737320915793641*y^17 + 3560473716870535534376021691427495744488772471548329526113778096919482/113582486147197419578630280211505201438813725484423924632737320915793641*y^16 + 6860127660291962271412413539468251204490181250707058539139358807230589/113582486147197419578630280211505201438813725484423924632737320915793641*y^15 - 17383617523660563112847616646770627987880406127314690769903019529077004/113582486147197419578630280211505201438813725484423924632737320915793641*y^14 - 57209252471391859453078199416986007234325276613668060307954868951289354/113582486147197419578630280211505201438813725484423924632737320915793641*y^13 + 71874592135318668718645467807743851108104814645521495198693732953084432/113582486147197419578630280211505201438813725484423924632737320915793641*y^12 + 383109975399176506171828223046389071645915177679858730161358848810692479/113582486147197419578630280211505201438813725484423924632737320915793641*y^11 - 285771381335043788807227458224358059714834279491805095100747150151729366/113582486147197419578630280211505201438813725484423924632737320915793641*y^10 - 1541483157660227923073878225943337933081403565018264729094749194921130549/113582486147197419578630280211505201438813725484423924632737320915793641*y^9 + 623856421110246673190081746887822065038657530963169521312684858656036694/113582486147197419578630280211505201438813725484423924632737320915793641*y^8 + 3400451707979331255606522598599578660279973800261078795056109315358876620/113582486147197419578630280211505201438813725484423924632737320915793641*y^7 + 12566063407377044006705295066957505907461451325467381666544676353593956/113582486147197419578630280211505201438813725484423924632737320915793641*y^6 - 4024510176943993134671788699576682233322630211114057916539015369582976100/113582486147197419578630280211505201438813725484423924632737320915793641*y^5 - 1727197301380786173994347104851392573700606661671993379598757571892503433/113582486147197419578630280211505201438813725484423924632737320915793641*y^4 + 2185238724566306115965883990345453058081385551476197143024128968324515127/113582486147197419578630280211505201438813725484423924632737320915793641*y^3 + 1408696204351250250660124039978184098789948647057158433006141465921528903/113582486147197419578630280211505201438813725484423924632737320915793641*y^2 - 13886327853453558536904531465572416529795735893600053279598458664897889/113582486147197419578630280211505201438813725484423924632737320915793641*y - 308546807868368564195460349788320276941668830664708156068774272102876619/113582486147197419578630280211505201438813725484423924632737320915793641

-633108340978274291007036329244970170354367829511969215437021259673629/34642658274895212971482235464509086438838186272749297012984882879317060505*y^22 - 424083384344399833263250655262852500412848674538695532873012151010444/6928531654979042594296447092901817287767637254549859402596976575863412101*y^21 + 28850325271452603357480217206222995066008214203711079870341958877950232/34642658274895212971482235464509086438838186272749297012984882879317060505*y^20 + 18885533476802326345298572705067903128958140294849057624295375936863839/34642658274895212971482235464509086438838186272749297012984882879317060505*y^19 - 315717887804605075471298423065049967280619899074272809554186032995975399/34642658274895212971482235464509086438838186272749297012984882879317060505*y^18 - 316751254447916485240992129453231338014602651244295739077971804312409874/34642658274895212971482235464509086438838186272749297012984882879317060505*y^17 + 2240725350707196544747799734446985332810334015080240232017414756985000147/34642658274895212971482235464509086438838186272749297012984882879317060505*y^16 + 3120126956730099279465201141985812823648872926511283265839242647117222966/34642658274895212971482235464509086438838186272749297012984882879317060505*y^15 - 2214583639509575310079702496431437162022881182427084690540571591308469213/6928531654979042594296447092901817287767637254549859402596976575863412101*y^14 - 29430380439754542363269288172715952701766624299914993837817740709365469853/34642658274895212971482235464509086438838186272749297012984882879317060505*y^13 + 53954939681849215348193551874437265685553652944132035346161385351567737668/34642658274895212971482235464509086438838186272749297012984882879317060505*y^12 + 196986002129750467094945223520605960612698091613636174655597470766211031612/34642658274895212971482235464509086438838186272749297012984882879317060505*y^11 - 246868108664276119319083828565864577308685375885414474203213714743774448331/34642658274895212971482235464509086438838186272749297012984882879317060505*y^10 - 141828641975370665515891670389648494942462209172580628574447913445980265601/6928531654979042594296447092901817287767637254549859402596976575863412101*y^9 + 657630778658909431467788284881940320497608273305616044043828445641770169467/34642658274895212971482235464509086438838186272749297012984882879317060505*y^8 + 257830222545777676814717565670857542770209319518803457071291193285763555925/6928531654979042594296447092901817287767637254549859402596976575863412101*y^7 - 785267650309111850101388080286736356004168128124785382991995140846807345834/34642658274895212971482235464509086438838186272749297012984882879317060505*y^6 - 1167347712522955154001303143630198839143854032269725161829971885406584039988/34642658274895212971482235464509086438838186272749297012984882879317060505*y^5 + 54370747975668272718115914683801757253223650254970725133342595700376101090/6928531654979042594296447092901817287767637254549859402596976575863412101*y^4 + 583612315012215641462753558745884679766501234961945292289611124449979360886/34642658274895212971482235464509086438838186272749297012984882879317060505*y^3 + 25302594394670074910148428341053746984616071915398555080500030433062915188/34642658274895212971482235464509086438838186272749297012984882879317060505*y^2 - 136388426099205058907528709852988848822013515771782058309313567217251446866/34642658274895212971482235464509086438838186272749297012984882879317060505*y - 3781344820957456238572724760371363382462314028253918770010867600285979522/6928531654979042594296447092901817287767637254549859402596976575863412101

-60691932002364106733206741107997837369248527247532082910802779940672364/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^22 - 194227636332746589693495789248143342375302935381027078084998351927823981/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^21 + 2799739820217997754493693014910831304202901847211247025973276555938735102/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^20 + 1421631234465867008597271911145939442111938542813860783662704089710454632/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^19 - 30669204217946722954264346773904475407481142105544415084783298842299446693/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^18 - 5290156000294229385149777105996650847140500388948421150949487535244756860/474888374581432411258253201564303247215680186250376428889474738748933213021*y^17 + 220777222908212497502114215383312286538296661872678660868017002027451359046/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^16 + 274363713991644375195308345055519045483021318084505615831744517530155967804/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^15 - 1113000892717320718794987919858919545991589120903242890790684794085604894106/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^14 - 2718701274380479480167247486587245878507613397200964570010108695858176126198/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^13 + 5598160472518178588145249267386791361531146506167053562414813880187109120086/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^12 + 18465303218372727080342710700449176436484454149002720958365153192236090907484/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^11 - 26270155932547690426863222566736860272625566324954241743537442917617548156493/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^10 - 66431352074307063687367064711274831783523751225342414525456254163087835798739/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^9 + 71123417195513978960575602177530438003951171876368792416217877178517310153977/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^8 + 121958713927423917519040090810944396578180168852872016638383224817428896979268/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^7 - 85036174127644742902692527587160156246325693057869600756564591592973152075884/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^6 - 117387471992067183494781421364139692852895050843453905984753947800682608539839/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^5 + 26304100430902343900855166132339134020728453575857632212433495689409821994153/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^4 + 67700014866402625716101361131256382593266114559325752095213851295804682536781/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^3 + 6871842326247963040055675859401353381034655997332341745516825323545046465157/2374441872907162056291266007821516236078400931251882144447373693744666065105*y^2 - 16393331354476585024753895804739975012041337399277631741399978711206692003164/2374441872907162056291266007821516236078400931251882144447373693744666065105*y - 3259986887606552481953469952422176082758565095346619689102810278968831555674/2374441872907162056291266007821516236078400931251882144447373693744666065105

170269831237483482136661847526932823577809168040613931904566789142080214/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^22 + 23297980501516639814928307181212839244904496926377171242164156636463389/422640430953721598252083272667010854553825872527541423558415571127668138161*y^21 - 7618403082180161416731025058223326690118929921697343896667343544193044927/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^20 - 5268382559399171645946459272170405081083021389760620259536719981223576229/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^19 + 80089011646330166497892217053475233495987013769523706375537957107897985859/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^18 + 86933517107108974363554119968664925360901992438642800407610002833591468609/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^17 - 546972633629113251945948523083873601447353870066936839081022828657426895902/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^16 - 821396653536032794618691233698631080134813893164189660395779372738694052921/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^15 + 515842028755713511585384685290407654191071838006525670340467250886225578832/2113202154768607991260416363335054272769129362637707117792077855638340690805*y^14 + 7560986077875050670660046979054914622026273367722333209609339994567041679848/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^13 - 12322874231616984548286191636610502400790174805080038562421154039197638600268/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^12 - 49089844460434628182940471232522085666307134656382788783818586360985763156602/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^11 + 55349454090643498347958817124281320658425643511242079548007125395176946980476/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^10 + 32561125471113068537418447509640679286686429937745863312469384956798266254223/2113202154768607991260416363335054272769129362637707117792077855638340690805*y^9 - 130878148123569778890874756910875715899524996763258674697331231194806438115627/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^8 - 48599415048098386958356745290495556526750877711779006523937775240148439422923/2113202154768607991260416363335054272769129362637707117792077855638340690805*y^7 + 100961045379857979755202166452950833202553361091705077269543346047712423440119/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^6 + 134371742558223561939898791156037067756754972018260009753349787592997460114783/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^5 + 7477269096089582683907863940877520512710687113286041963765580656785195778949/2113202154768607991260416363335054272769129362637707117792077855638340690805*y^4 - 25765529896869280987759019893050688886794729388119910816253784215790312305546/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^3 - 20514264927979608211289057095548108800266161529202133466975209555396482000453/10566010773843039956302081816675271363845646813188535588960389278191703454025*y^2 - 1279018786572300996535112415300922829817741507530990112791209652477153779419/10566010773843039956302081816675271363845646813188535588960389278191703454025*y + 1669260525407015973130280539338096037617000903675825866054743031805329041571/2113202154768607991260416363335054272769129362637707117792077855638340690805


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

# B Gluing Matrix
{{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,2,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,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
{-1, 2, 2, 0, 1, 1, 0, -1}

# f Combinatorial flattening
{-11, -4, -2, 3, -2, 6, -2, 5}

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

# 1 Loop Invariant
793855414767454248594041626786005630266058149006870379277675377305580/113582486147197419578630280211505201438813725484423924632737320915793641*y^22 + 3326586631132656436496945075524897604517780261325404221413140197031184/113582486147197419578630280211505201438813725484423924632737320915793641*y^21 - 33238306014315953778165854795657699117347330816354401267998934658055427/113582486147197419578630280211505201438813725484423924632737320915793641*y^20 - 51383058403911140031868539648703304075043462175920836124788878680630096/113582486147197419578630280211505201438813725484423924632737320915793641*y^19 + 345592549489159225533334660239837603039482074990165525898793746377332093/113582486147197419578630280211505201438813725484423924632737320915793641*y^18 + 692939577432807389067070973681057157028011985739363481086922550002134089/113582486147197419578630280211505201438813725484423924632737320915793641*y^17 - 2150054579237511234453878858160481733541346248436672926724245217238277851/113582486147197419578630280211505201438813725484423924632737320915793641*y^16 - 5749441578256479379285060301294845575895891786747233662906175252628111793/113582486147197419578630280211505201438813725484423924632737320915793641*y^15 + 8447871649755708664937254550688415246883869247557985113039270437542812923/113582486147197419578630280211505201438813725484423924632737320915793641*y^14 + 43982983089226082662557410743489827210006399129721254045380659545621752990/113582486147197419578630280211505201438813725484423924632737320915793641*y^13 - 27217905966415886477594044737307082081969088321065518210100461273567086462/113582486147197419578630280211505201438813725484423924632737320915793641*y^12 - 266569806887000423003657616757009556517462461759738474381142283564525786599/113582486147197419578630280211505201438813725484423924632737320915793641*y^11 + 64388970569529671092182588018778790300037903294162177417594633525503995072/113582486147197419578630280211505201438813725484423924632737320915793641*y^10 + 914765403986184117898870324230024912823120628893045479566677288373303400161/113582486147197419578630280211505201438813725484423924632737320915793641*y^9 + 58839184458279059935616638330473445407943831000647100392165225269327466417/113582486147197419578630280211505201438813725484423924632737320915793641*y^8 - 1479655791646900021177989311799610401294578451840668627138288703805548889115/113582486147197419578630280211505201438813725484423924632737320915793641*y^7 - 599544502432419040729343077998129778546741640106045357795025801494008135847/113582486147197419578630280211505201438813725484423924632737320915793641*y^6 + 855696222239948160599759494508933694517597981850412483507621560402351975178/113582486147197419578630280211505201438813725484423924632737320915793641*y^5 + 818461471939020625171216495821183409876322590803982735945703198065879850915/113582486147197419578630280211505201438813725484423924632737320915793641*y^4 + 25447799071481269915834299356351244949315619952424691726110064616254218428/113582486147197419578630280211505201438813725484423924632737320915793641*y^3 - 177444699360392789309382657087233799918508568204471335377907912786654532867/113582486147197419578630280211505201438813725484423924632737320915793641*y^2 - 57437985561213001788593473492809597268158858498783261749834456839559500056/113582486147197419578630280211505201438813725484423924632737320915793641*y - 1953402092978009059022834830271658757595383570204553880315180825720360942/113582486147197419578630280211505201438813725484423924632737320915793641

# 2 Loop Invariant
-49328342709747435609178055010253562572951984606601091814709715845714315804725520701519952020378037602365485445648975504255777206209815529415314309/20607294141430905138623898668716696396230314057480074444926508943082437178764133480190855073446155722952254804955547125554081010843442739849728506836441*y^22 - 7463772040827560851423522475172739877297447232685988945204324886646936497881913937995853109904358066313068419650920491635849267369237921655039090013/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y^21 + 113061578580486835342670306437432104633289627211472724269454423142271203092817263854502800993302054653201195356202415489734888440533600804492743478329/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y^20 + 15732079701508074662004764669378991661224904207753030697421120596427695677106076689985502462849474223888561088775654371582026191800229420836821956315/247287529697170861663486784024600356754763768689760893339118107316989246145169601762290260881353868675427057659466565506648972130121312878196742082037292*y^19 - 168918165709729501952083873807574748180326972981770770312491869444015288901338902558896704903936991649319546009397937675032876595598910682000114073177/123643764848585430831743392012300178377381884344880446669559053658494623072584800881145130440676934337713528829733282753324486065060656439098371041018646*y^18 - 279671788899782863556301937385971579754156088290577204948515121242294957575066572097784744387422760939952065359083938328517744984686910235366962778527/247287529697170861663486784024600356754763768689760893339118107316989246145169601762290260881353868675427057659466565506648972130121312878196742082037292*y^17 + 854542994054888493430776079121839090245169166987837140528589167007083961941648794772315417136187664663684843677736339683011036041048141743404782963621/82429176565723620554495594674866785584921256229920297779706035772329748715056533920763420293784622891809019219822188502216324043373770959398914027345764*y^16 + 12487442755041173791300852095501774544171177002379203639420106639049306106758431465799630120892319144557224322389763335931892980878738025577700446119691/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y^15 - 27292263129326719749159184337361661607016702235508891757140892225655976567252762441292456211473655573677641478005288559891216415489046970430999378248413/494575059394341723326973568049200713509527537379521786678236214633978492290339203524580521762707737350854115318933131013297944260242625756393484164074584*y^14 - 15450583387019094926031584063815044799945116538536606923981145526780631578177382276524811424140403578404232749384120117023169420205672761476576838752139/123643764848585430831743392012300178377381884344880446669559053658494623072584800881145130440676934337713528829733282753324486065060656439098371041018646*y^13 + 22616796925285738535998263154715592397776531403209546121163182054207237482600947511543003569760896612690217045365140674528429924857468667769159853310745/82429176565723620554495594674866785584921256229920297779706035772329748715056533920763420293784622891809019219822188502216324043373770959398914027345764*y^12 + 878233549922895359123554861804265222622199681002089803597382120789858296048441288753068541270229552594735247253764548506899793569233590604700865010397167/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y^11 - 1270576838105345383662769307712235393674696779450769167844306589541828203751900466908484670861442755789640086298089355130360225029422521006092894722969531/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y^10 - 1201922481165190962647225684079418296008328124894003822547179947515864008270093299918488486986348454999097503248051081360137750194190601890240753443950861/329716706262894482217982378699467142339685024919681191118824143089318994860226135683053681175138491567236076879288754008865296173495083837595656109383056*y^9 + 1876416461131785841523746285700260564411858705573617304439002696263483957601106543558651350631287904777903695002824905263698066140666532513553714992117951/494575059394341723326973568049200713509527537379521786678236214633978492290339203524580521762707737350854115318933131013297944260242625756393484164074584*y^8 + 1030422205594621430669852532351501596232643728583789530941281346408476612283501657201836042547963824775341498077654966661629264353998255596253574135619497/123643764848585430831743392012300178377381884344880446669559053658494623072584800881145130440676934337713528829733282753324486065060656439098371041018646*y^7 - 2616579613249258162335594805684967254367640725483696714912779053669366592312020142101035525673921319229585994469823960206496994832766418200633760570098695/494575059394341723326973568049200713509527537379521786678236214633978492290339203524580521762707737350854115318933131013297944260242625756393484164074584*y^6 - 430022436489211392003557960554533974209431273488326720803044529831930520929433267329154239973722743956428657882017964482289453028061750320049474708742923/41214588282861810277247797337433392792460628114960148889853017886164874357528266960381710146892311445904509609911094251108162021686885479699457013672882*y^5 + 1815915484853338412367567044455056391462009138784115388926532545004169101074791209293054401611757906233275374379157168253746538578690235665894741053135455/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y^4 + 413726519035460406932962701520810368439217783858027993336998142237390594402932405045888281119658765502190698196116078256940190512784847493753127040273894/61821882424292715415871696006150089188690942172440223334779526829247311536292400440572565220338467168856764414866641376662243032530328219549185520509323*y^3 + 809772525356363873478140480625840874797628976586053466206029903153452742015912131195472429567195811162756120068393838212992113941142477229174047084182729/494575059394341723326973568049200713509527537379521786678236214633978492290339203524580521762707737350854115318933131013297944260242625756393484164074584*y^2 - 1568868303229447452337498675368519649250568507916462897686096583651599593364351918736898294305454454481940836644686291754597620670662239489604470348220723/989150118788683446653947136098401427019055074759043573356472429267956984580678407049161043525415474701708230637866262026595888520485251512786968328149168*y - 2995993614499017866341092580134582309426649898317766311298718272319459834788557476585904882971621831294419597172188286595747095647708079051757217205398849/494575059394341723326973568049200713509527537379521786678236214633978492290339203524580521762707737350854115318933131013297944260242625756393484164074584

# 3 Loop Invariant
-1011706848073469431728594508203945257332560299124596766838887850080986313773863697513538571558629597143324264524598708888809179388084780011903392017128650746846962489508206959256081865310065/270910343900878134475708787360242373235116227887333753500171516088603919593804770345886546658188875767007501550905550141321042317697294682694964129745496734659752142981343752182007782545577407184*y^22 - 891199139438151565075576051249111997232582302146559799660858214903954338944931323389430829898535369367017062750487965560845631807976567571882971184459429289697385850025782717144175574504459/67727585975219533618927196840060593308779056971833438375042879022150979898451192586471636664547218941751875387726387535330260579424323670673741032436374183664938035745335938045501945636394351796*y^21 + 90610673646928511234869740365495460538095914873557183205291135718724487545669798338907940135622249423319082846144786058544024075429321840424654405747026697514342651992314467956817664357458419/541820687801756268951417574720484746470232455774667507000343032177207839187609540691773093316377751534015003101811100282642084635394589365389928259490993469319504285962687504364015565091154814368*y^20 + 149853137787247068938038062767253163266349966241561550234894669722325253017896595166839392579465673950843474209368056226964953068956076920870660642530888326264003958934817297247690273714459389/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^19 - 489819068537511340229343273254003513803469769605991994741997442167893957620758760104941165952725319672811879596700320656921287818292446076532842101924903061031764457864248643123302966358453359/270910343900878134475708787360242373235116227887333753500171516088603919593804770345886546658188875767007501550905550141321042317697294682694964129745496734659752142981343752182007782545577407184*y^18 - 2339966926793324627473473336072988422896109948334112938911232835204439918496110701095604979452654844706288523472306080374394513736176444276852606977311962567007094459068339420283559806065508091/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^17 + 13521785702459050557550907001335475350922529896652253949949870154224436715322635235396508463743864918577868061272228174482916075326869067760820693604065563244112829769460255273833593336810916985/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^16 + 21979189119427225183869185486417173600683801662642057263442799672634809480202669405084701339478122729231201742186957984406851547231047242594930725510347485869712779286427718760707168128755765145/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^15 - 64189619517426643300117171771388692676473171821599138211315047135121095924792251906689795442166488819146823007113862455215502814902501791946989941938207928869279223298116566189946802727912195545/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^14 - 24480891014803998640289595026592573312458862462439274414505515766962648897580479277635740771496595748978345372086996860721139640393091216286032422787637270114850918807039670425128786319216517473/135455171950439067237854393680121186617558113943666876750085758044301959796902385172943273329094437883503750775452775070660521158848647341347482064872748367329876071490671876091003891272788703592*y^13 + 74068582177074024647292287475268685514970370636050371273558379184131532857144342223725143334178411663764977445594884046789298709970912578897434477531402117284898929911459590105931876835918653495/270910343900878134475708787360242373235116227887333753500171516088603919593804770345886546658188875767007501550905550141321042317697294682694964129745496734659752142981343752182007782545577407184*y^12 + 1278350159162863446773835813676891860693127190289467278885392214619420987724652936458861084500418586551549339506478254369182379005690721774358927943686743913516259170010221468740667834776191751755/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^11 - 1286760051275807558234432268560453016141790404720814130589685092894491954745805867999952477355257028555582179495324889933184696248712604470150025313193612394934200293310765709746340047893415965333/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^10 - 4520399880421830210408158795316953216934101462489399429284331919145256455401223336061976962330084652609254682995547149480219583995031642191321840292523898093728564387469752594754780725128492288079/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^9 + 3063650667450240530988479408378657280183898736798959082340411801536455885819256064241135507768449321189948251878196478320600422603023118466143031236381533177822221662746029125101955989926913979109/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^8 + 7916154972221231408038521801441801346450205534734014658345321891657242909836471743138807149338399398526781336004176304477890861404801482234745071730952997082095903554534660243895604929511702661453/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^7 - 2508854547760419428903781729435236858201113051158380067720374389489813599074466804433474843607308369234838374171997931648698293904256556480567427232835814846970772521991279862685807083001220266767/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^6 - 6587457278302119975441449550998689107126849981037694977302251957191686381018043228788200956177202322417454213633001230619476356503501334286557230644060504569476210756470151309887486986734441154255/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^5 - 856462600861003917472232810508131051906545898327433211615055580071343585641180248477960471551032817686510478188101656262052250170469644861900873440170373968368978311178767159082439696991562953349/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^4 + 2816955332463923648798796853400792366370663504621576202261771269890329583089411625163476548828198190554751538024141585897131949100829185070430889911148620368626105722151621282653443774619320120793/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^3 + 926020434061080916686564080123417693471927525998212984090047157758120835621021979534011077498991157366554481814595421859238321537451388190878475969965818495395713001789117179006438337445814076635/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y^2 - 410938170542801121665609768177980265148623107616512179604377449257919514568538901808827476140085449995983492171048815902039240449851838692940871947871189003495307183241064378789997875939775693235/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736*y - 163173419228503873374764484878730635335955272881689047074147981931774818693812452563321302880639134236164413316555879373413291827779850598928764181706988919491649752260879695008554636326302855127/1083641375603512537902835149440969492940464911549335014000686064354415678375219081383546186632755503068030006203622200565284169270789178730779856518981986938639008571925375008728031130182309628736

# 4 Loop Invariant
-11706295871546325350340518290965196932990926695755401075239366543079068679888276307781521364786572185295927871628255987661041157994609335200297690824665402547669165928307320942490545439860062495322305442261868383130366972321717081454952849889950877087854632329168943431997933/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y^22 - 910596723143454080428987791810928854068515327599995041687593302518545099110493036502578066334364676840490031877529991306711591071539789305986794892391916094310016620068227982482889453751022612749138460842722356462774534040118054759228663429099254236505779008848542484916309/70777901049821856564586311598494767923701076917558668500916248390018069865263131805597942096712089357623722261286994374424558205717387753439022777090571250486076196211435466063375335262727023648285670667679964671395351324824232044271591886044672551166198949615790112572555112960*y^21 + 127278828569352229050008420764145934090007172711579134129247391485135995370624094182777570179467994289463672777332399459481272560139114185679966773018245991391146230863060000582342693294599309489214281753180360920689018138648806060354182200585890683528023270783965738305262411/884723763122773207057328894981184599046263461469483356261453104875225873315789147569974276208901116970296528266087429680306977571467346917987784713632140631075952452642943325792191690784087795603570883345999558392441891560302900553394898575558406889577486870197376407156938912000*y^20 + 624913395626739316402195247261082524132790829064759051806797740500595400311539416506622319755877189701754588052748265667910047693362105413604993024938225450571573716957200276855337159610686940104146431003033944663637739020002420065676830649422858600106157915379210910460286863/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y^19 - 459021393405618533267714299992086866477619257446205079791933463821213420486282513191845185487804624492351109832602568854205219241934266752495426484518497493858013817321571952669284750690361581904182257833203818447641254809069774064513969643619116999447757310621158145202318929/294907921040924402352442964993728199682087820489827785420484368291741957771929715856658092069633705656765509422029143226768992523822448972662594904544046877025317484214314441930730563594695931867856961115333186130813963853434300184464966191852802296525828956732458802385646304000*y^18 - 30641958047612556681583796836579887034861964590866867801278135018476910600614870334591075258889931848479158997110215193825130131859821844414321243621589142235530954973406326860105242721463699026892526962014903819974261711583396874368110403315251095264790987603899952944428671/12287830043371850098018456874738674986753659187076157725853515345489248240497071494027420502901404402365229559251214301115374688492602040527608121022668619876054895175596435080447106816445663827827373379805549422117248493893095841019373591327200095688576206530519116766068596000*y^17 + 36603130923515580056186184883840041092542619824860931506193995118370274054070380365868335843575289345186104567554985456039193017367989687267842606593647417794883197364913728953230636099668462790289678542151633838166886910465308380196742127353278247351719731219854450912791502619/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y^16 + 38836464758773885009404049849645043960102128730132512950522931165221047790978588570860789185947431104695662448565680314055232655220255672144771675361316239763832818567781232578597417831209045539672337950946522774809702330752618359608712600615219519930744182894532160939131762731/1769447526245546414114657789962369198092526922938966712522906209750451746631578295139948552417802233940593056532174859360613955142934693835975569427264281262151904905285886651584383381568175591207141766691999116784883783120605801106789797151116813779154973740394752814313877824000*y^15 - 32439051195878119866094629721763716177557031089278036156958413038586922226131203812892667272594437433285039980208916453008310104020025134695027604785337906431619422318199287150499310517013077077590552435573738580131144371056901787374127548422140419618306070154522155477037914729/707779010498218565645863115984947679237010769175586685009162483900180698652631318055979420967120893576237222612869943744245582057173877534390227770905712504860761962114354660633753352627270236482856706676799646713953513248242320442715918860446725511661989496157901125725551129600*y^14 - 158130696119796347997552055178334544941498465435224859916711693990482672546415649841028992037515430146259349813902447882498226060745517936826941362083459021777902033125613978784174139411405930673690950084350918252912254991180118288387588665069425887168081638977841846898243457939/884723763122773207057328894981184599046263461469483356261453104875225873315789147569974276208901116970296528266087429680306977571467346917987784713632140631075952452642943325792191690784087795603570883345999558392441891560302900553394898575558406889577486870197376407156938912000*y^13 + 72147397862131018070937095239863550582810597443415347115810449153301492857484162152845986712546943242348344928398600850313320232266086899847510341023527183709075072028926249703465597912538151277939474723019323909458353507201302117855039248651050104565017626127567198127205266919/393210561387899203136590619991637599576117093986437047227312491055655943695906287808877456092844940875687345896038857635691990031763265296883459872725395836033756645619085922574307418126261242490475948153777581507751951804579066912619954922470403062034438608976611736514195072000*y^12 + 499936130637207822836681975799648144039845423853560739068313140103678313444296510331216259955355212532497198334846833540583316183513695057764500110924755164419888657375501647188085916257711920554899308641880614833656380031447096238627438026391553651551103226886970934164106662943/442361881561386603528664447490592299523131730734741678130726552437612936657894573784987138104450558485148264133043714840153488785733673458993892356816070315537976226321471662896095845392043897801785441672999779196220945780151450276697449287779203444788743435098688203578469456000*y^11 - 2377316331528787951871867435486288566643609313638207159770733890295806502323041067196238242197878248401919904082680428311669772883260969132314128149682366331948869961081170539345158488484452839943369093358751039620061215953205799615911252919988283027744180852230930332093249029097/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y^10 - 239410676183224315848487731689922661003781046362500741842388645826296878427503194810755071090661856284200905742275578919807180321795348774685409686485965741888434146768277339179314762688341727792238680173764077029352332135588414249873436602546033576884859926604403511119957058103/58981584208184880470488592998745639936417564097965557084096873658348391554385943171331618413926741131353101884405828645353798504764489794532518980908809375405063496842862888386146112718939186373571392223066637226162792770686860036892993238370560459305165791346491760477129260800*y^9 + 4159138220044414085901003502939952436306593301671710985887973977536315807749756494384646133207021685933268310378966261620009155927817090306686016109183845841352106316647846627332328816998184399685076991477592492785430877504496221482181044742601528984034152373618466051235977480819/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y^8 + 5154566776289179612913997110350280589992436810975241706508757818874154063322568152396842609758468619593026618739693296705812924229704969387937460712108795911862932081812815676906426015545004619405123652587218816701971421763509345257435639822878119403286775720498957624997008106551/707779010498218565645863115984947679237010769175586685009162483900180698652631318055979420967120893576237222612869943744245582057173877534390227770905712504860761962114354660633753352627270236482856706676799646713953513248242320442715918860446725511661989496157901125725551129600*y^7 + 41101913714417627217610237543239759688558675971867065845735416785381829558425032976523421669284022049828937600365214867401562106884422335646813970762602338691192925101461421401586074720475604726207950259141063730236800391706613120113080174590439338569073020831601539519959685149/196605280693949601568295309995818799788058546993218523613656245527827971847953143904438728046422470437843672948019428817845995015881632648441729936362697918016878322809542961287153709063130621245237974076888790753875975902289533456309977461235201531017219304488305868257097536000*y^6 - 3457099242434053968749203740773444522039944866738520523527014421493338090308656136246666988768125070683565802637141246933692536903573696735792525722452292569148616247778645866662092206249117081245238141193036493229605355845912101445058228221003227318723769504772246439009766865471/589815842081848804704885929987456399364175640979655570840968736583483915543859431713316184139267411313531018844058286453537985047644897945325189809088093754050634968428628883861461127189391863735713922230666372261627927706868600368929932383705604593051657913464917604771292608000*y^5 - 186533060474972539061456264954902308743884778536442405285173387818666893342749637953529938555951377344786070838669809149314167089981944827652504261200157766559803457875601144814964789877975232166050883263874615790701545083019307986815951773476589051750804813827131629688787535647/78642112277579840627318123998327519915223418797287409445462498211131188739181257561775491218568988175137469179207771527138398006352653059376691974545079167206751329123817184514861483625252248498095189630755516301550390360915813382523990984494080612406887721795322347302839014400*y^4 + 799621775893453578298196824620363597977555282779463166120691076744970818399757163879340761067250756803253106755841065184719139011913046949190908730641940818631554938404242059374985038245156959032142934631564738679481345147391972799342087798860452187950303548232296779466261674589/442361881561386603528664447490592299523131730734741678130726552437612936657894573784987138104450558485148264133043714840153488785733673458993892356816070315537976226321471662896095845392043897801785441672999779196220945780151450276697449287779203444788743435098688203578469456000*y^3 + 4315844174599094388631950472944217263561731454001859341225361176356203592141749697265008366370201166671044058587227881377492269130245108291464158449359825816771409721543298321703208735477557456361249234149013512061914382409094055886539433088020359910432711306930685854957440026641/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y^2 - 502404301754279374951714196825547483594524235487444693335101031787820515846294075865828367879605209481907918302353208890354297670205361814415641623779636022416832765186095045802905624343888682941011821675651385046567599541161707394174687273157671872762252293855358012264015657357/3538895052491092828229315579924738396185053845877933425045812419500903493263156590279897104835604467881186113064349718721227910285869387671951138854528562524303809810571773303168766763136351182414283533383998233569767566241211602213579594302233627558309947480789505628627755648000*y - 1613098261293397594856035843906709048180013532115366416995547990104409226712149859187808308758308105286885033064475030988008372983842482767736140796741601602774271439982533574318204663189776488946142110352924431494369940453262410046975411902767808642004822358619408472489620911/9830264034697480078414765499790939989402927349660926180682812276391398592397657195221936402321123521892183647400971440892299750794081632422086496818134895900843916140477148064357685453156531062261898703844439537693798795114476672815498873061760076550860965224415293412854876800