# Manifold: Census Knot K8_257

# Number of Tetrahedra: 8

# Number Field
x^19 + 13*x^18 - 310*x^17 + 1490*x^16 + 44595*x^15 - 603001*x^14 + 4077594*x^13 - 17879930*x^12 + 56985332*x^11 - 140900573*x^10 + 270973977*x^9 - 387038758*x^8 + 385420954*x^7 - 238174873*x^6 + 36884057*x^5 + 102131479*x^4 - 125326872*x^3 + 75646995*x^2 - 25313963*x + 3898129 

# Approximate Field Generator
0.134887193302109 - 0.896351643215797*I

# Shape Parameters
-67061446946202375314580411501779345304296419211495834/10800275259885590282984229190724647888201589684106403311643933*y^18 - 1050963065458245068827208843963353274908824627828166319/10800275259885590282984229190724647888201589684106403311643933*y^17 + 18200770809544747181079390277074325466546538529426436498/10800275259885590282984229190724647888201589684106403311643933*y^16 - 48374454090717381942582422220585455185320474805568482755/10800275259885590282984229190724647888201589684106403311643933*y^15 - 245124567176851012011929181330556318644573852180073961215/830790404606583867921863783901895991400122283392800254741841*y^14 + 32236637847134533861385722207615073904771944787100509644984/10800275259885590282984229190724647888201589684106403311643933*y^13 - 177548883044040423179177748239470338572787823141583857366009/10800275259885590282984229190724647888201589684106403311643933*y^12 + 45828856033591714990953539659724578403099744458683431829648/830790404606583867921863783901895991400122283392800254741841*y^11 - 1357074318250777265506811234728685110397613396402322244212586/10800275259885590282984229190724647888201589684106403311643933*y^10 + 1960713448012169071276510815519674484931381493910611795157136/10800275259885590282984229190724647888201589684106403311643933*y^9 - 277188924643703123432462581692053009444460845939436539675375/10800275259885590282984229190724647888201589684106403311643933*y^8 - 7483650265876273381217113570223425586512161628784885094589813/10800275259885590282984229190724647888201589684106403311643933*y^7 + 21652343762235334017017038492286431171697394519142448769371251/10800275259885590282984229190724647888201589684106403311643933*y^6 - 35996639914309992983023659842400804772032006396518598210496406/10800275259885590282984229190724647888201589684106403311643933*y^5 + 44017702339731515321600344554761127009441422847166713888282106/10800275259885590282984229190724647888201589684106403311643933*y^4 - 44048181751201327134147963585552509253390022242558098780446462/10800275259885590282984229190724647888201589684106403311643933*y^3 + 38806564725976728031850620826004717010206927417974539517983821/10800275259885590282984229190724647888201589684106403311643933*y^2 - 2719230968103165374331025821931120522283600605475587563344544/830790404606583867921863783901895991400122283392800254741841*y + 28633451712835478536314093791089804590345539924767561337429299/10800275259885590282984229190724647888201589684106403311643933

-20745324826617392861277773705190055956967677107853015110106/249117551470666012806029765390593378389274405879976389555119839653*y^18 - 264009817125219903865779469499862520767285356947903908749827/249117551470666012806029765390593378389274405879976389555119839653*y^17 + 6514992886408002630329186913481725870425707097559098827758461/249117551470666012806029765390593378389274405879976389555119839653*y^16 - 32519328104902789019297524742061775882051697482898077465354863/249117551470666012806029765390593378389274405879976389555119839653*y^15 - 919500729328558774336828339955722906643862263256267689034726950/249117551470666012806029765390593378389274405879976389555119839653*y^14 + 12772127871029066841589790934935208921455598633831358031215118551/249117551470666012806029765390593378389274405879976389555119839653*y^13 - 87546603630585390821543070162973189664851592113939368008971582975/249117551470666012806029765390593378389274405879976389555119839653*y^12 + 388935412679608381133287441319430866185405698401472461607233236985/249117551470666012806029765390593378389274405879976389555119839653*y^11 - 1252765795955684839481082139375125344167114473581464117781981838758/249117551470666012806029765390593378389274405879976389555119839653*y^10 + 3127053855166880064928045990602500344113923027870683332803637225950/249117551470666012806029765390593378389274405879976389555119839653*y^9 - 6079425618343095390721955576600702774246982249381453981060358307501/249117551470666012806029765390593378389274405879976389555119839653*y^8 + 8806938059507836864678592825637983511623311268495788752648911390108/249117551470666012806029765390593378389274405879976389555119839653*y^7 - 8918676342718289226788184602724453125257050061226039799125370766358/249117551470666012806029765390593378389274405879976389555119839653*y^6 + 5640294418483109162953099370326654552510817910032302471571419017855/249117551470666012806029765390593378389274405879976389555119839653*y^5 - 1007237727055055194823534359896220934756776160094815182444871956200/249117551470666012806029765390593378389274405879976389555119839653*y^4 - 2276027649189053293077370045665358384737069765586815954750877410104/249117551470666012806029765390593378389274405879976389555119839653*y^3 + 2914708324151202898311717535478468608396520579484001316286387985081/249117551470666012806029765390593378389274405879976389555119839653*y^2 - 1766063031459607048204714873631449259223422530204557933186167057409/249117551470666012806029765390593378389274405879976389555119839653*y + 719225736513392788699511413381466670828451810781395093625641378593/249117551470666012806029765390593378389274405879976389555119839653

818628486874364408395807186863482079702551305600816823006513438760103539343404306614026/3178002727601354337847223869480383073463294114469295248399400946518209221453581832347071447691*y^18 + 11325442966825068401686753469235362884548499252925016844203622155124016586001038302552/3139284880738907808212601780849900961603517399870887634243728297515517834824084786645115029*y^17 - 728287910626660569080873511885498241814816115601966963162101210176710481513241339644944217/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^16 + 2906866467121382596032139525233665088292954502216332322679465253949731661950991421722668657/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^15 + 152384453856053971054801957390846715822674013852124724108146713023409583968886581878306128/12866407804054066145130461010042036734669206941171235823479356058778174985642031709907171853*y^14 - 1369606461891330395713196499572187825971767935561104069904115987566974256405653560377310147463/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^13 + 8568220609129260257600632562169132679442504982686454790538423839207328707355773947549978180155/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^12 - 881534814278788164910428109716244963815431577248421203182142214864719821615379436320079055564/244461748277027256757478759190798697958714931882253480646107765116785324727198602488236265207*y^11 + 99254918180155152192040641367307668676732134123685865977172940871253371413831154429402454573151/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^10 - 219634530514450948307337942876120394198155810946075424432628971599334660271590667392647766824381/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^9 + 360441836769092744484061182772763789692392690775592809569113268619857204199751485273047529504622/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^8 - 380009403095599379795632885819504797438370917788340093408311955346047868436786071427877261377126/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^7 + 161801724793014156711597804164924275400560820913718472329413649590105741292331724219766459931371/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^6 + 164555875591475749898411720905456424427274670277685610828128409401704296009413348963601107925773/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^5 - 123953447751607861229544509602023513115639152799798305577762780102325186744431136362655724387083/3178002727601354337847223869480383073463294114469295248399400946518209221453581832347071447691*y^4 + 371739515781348023488837440180519701959350002229446217935219139018569740252728457833084143031236/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^3 - 207784067473799880516599444305764325422249605621753085158896370555362956052093023229913003274113/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^2 + 75662820200620729034776921857928619722333897830925583478193635010081221282762174431756327764/12866407804054066145130461010042036734669206941171235823479356058778174985642031709907171853*y + 8686716503864813927716032785519097145711424221935889764440820112464636521725821768616571900659/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073

818628486874364408395807186863482079702551305600816823006513438760103539343404306614026/3178002727601354337847223869480383073463294114469295248399400946518209221453581832347071447691*y^18 + 11325442966825068401686753469235362884548499252925016844203622155124016586001038302552/3139284880738907808212601780849900961603517399870887634243728297515517834824084786645115029*y^17 - 728287910626660569080873511885498241814816115601966963162101210176710481513241339644944217/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^16 + 2906866467121382596032139525233665088292954502216332322679465253949731661950991421722668657/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^15 + 152384453856053971054801957390846715822674013852124724108146713023409583968886581878306128/12866407804054066145130461010042036734669206941171235823479356058778174985642031709907171853*y^14 - 1369606461891330395713196499572187825971767935561104069904115987566974256405653560377310147463/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^13 + 8568220609129260257600632562169132679442504982686454790538423839207328707355773947549978180155/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^12 - 881534814278788164910428109716244963815431577248421203182142214864719821615379436320079055564/244461748277027256757478759190798697958714931882253480646107765116785324727198602488236265207*y^11 + 99254918180155152192040641367307668676732134123685865977172940871253371413831154429402454573151/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^10 - 219634530514450948307337942876120394198155810946075424432628971599334660271590667392647766824381/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^9 + 360441836769092744484061182772763789692392690775592809569113268619857204199751485273047529504622/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^8 - 380009403095599379795632885819504797438370917788340093408311955346047868436786071427877261377126/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^7 + 161801724793014156711597804164924275400560820913718472329413649590105741292331724219766459931371/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^6 + 164555875591475749898411720905456424427274670277685610828128409401704296009413348963601107925773/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^5 - 123953447751607861229544509602023513115639152799798305577762780102325186744431136362655724387083/3178002727601354337847223869480383073463294114469295248399400946518209221453581832347071447691*y^4 + 371739515781348023488837440180519701959350002229446217935219139018569740252728457833084143031236/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^3 - 207784067473799880516599444305764325422249605621753085158896370555362956052093023229913003274113/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073*y^2 + 75662820200620729034776921857928619722333897830925583478193635010081221282762174431756327764/12866407804054066145130461010042036734669206941171235823479356058778174985642031709907171853*y + 8686716503864813927716032785519097145711424221935889764440820112464636521725821768616571900659/9534008182804063013541671608441149220389882343407885745198202839554627664360745497041214343073

1825566493669196232125011557107013729767996329209533399124622675310801327081517131231/11196721295131019393472309581257955631696867109110846441806462524432915636360241335339065582*y^18 + 4512459174956323562707462022151196298309644866703786993548387660923193100142630642/1843385132553674579103113200733940670348512859583609885052101172939235369832110855340643*y^17 - 1030543873261292535621233753456715386884881524131097287051633065895505009044767730099723/22393442590262038786944619162515911263393734218221692883612925048865831272720482670678131164*y^16 + 539917254711392381575205964568308630787392898330425653707184177303666341758836543887953/3732240431710339797824103193752651877232289036370282147268820841477638545453413778446355194*y^15 + 9055975419079471368017444644667277515938693365893928882267877765219233164241831894775565/1178602241592738883523401008553469013862828116748510151769101318361359540669499087930427956*y^14 - 1866452776588635706994602309286039312163903789404303561787349791229130019584615959797831857/22393442590262038786944619162515911263393734218221692883612925048865831272720482670678131164*y^13 + 892858613555780559328220910582011076027030776030479956977019906303459095762170072117048006/1866120215855169898912051596876325938616144518185141073634410420738819272726706889223177597*y^12 - 2966067462521528647087663161098908432337403271553024987926087357418143971493721536160152015/1722572506943233752841893781731993174107210324478591760277917311451217790209267897744471628*y^11 + 97620687077935498674912681565408054286197380135244253690153963464690498481857486832944345615/22393442590262038786944619162515911263393734218221692883612925048865831272720482670678131164*y^10 - 183133228935375050122492646473903899191946231370183467862325048119580648566992304834814401715/22393442590262038786944619162515911263393734218221692883612925048865831272720482670678131164*y^9 + 16882447989811662182853213585468464508773832162964150154643521382638379677349666698225822231/1722572506943233752841893781731993174107210324478591760277917311451217790209267897744471628*y^8 - 46495303882769693502226998129950346529649269386462376488464878396123910544449864563087935409/22393442590262038786944619162515911263393734218221692883612925048865831272720482670678131164*y^7 - 77488216231911133873992022992896367594076239640024951502736666721816155552444697054232346622/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^6 + 168326980116891530491153209955357567676314746382894536760985258927484051249503138187266910907/7464480863420679595648206387505303754464578072740564294537641682955277090906827556892710388*y^5 - 96450697329292095706061501843169245721002838180044403928650892421755636728482690942363325392/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^4 + 28799209108686011724622701494876637259202672179004569026266986378639025137871839735465842734/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^3 + 44414725244072943977715235532505864192581012480522510657837070235300345042091152888228569041/7464480863420679595648206387505303754464578072740564294537641682955277090906827556892710388*y^2 - 8150665875277567416397366990301101274882483200541364763401193077108789761300089171145730337/1178602241592738883523401008553469013862828116748510151769101318361359540669499087930427956*y + 27232174261778793598635964782988862720101013056812117741657722019947761474591731185047135267/7464480863420679595648206387505303754464578072740564294537641682955277090906827556892710388

181382932611119598123302372793490121494652818594329631275528813666856090847433075806363/716590162888385241182227813200509160428599494983094172275613601563706600727055445461700197248*y^18 + 420591761734037560505168866150537999069061321709957404832421434904555217880988245809/117976648483435173062599244846972202902304823013351032643334475068111063669255094741801152*y^17 - 6690825819781522291994990664092332952394523006653964072489244971465813184023344654316459/89573770361048155147778476650063645053574936872886771534451700195463325090881930682712524656*y^16 + 35194552519737516361433167879424841388353800785005103280227911522606620352952421680334925/119431693814730873530371302200084860071433249163849028712602266927284433454509240910283366208*y^15 + 438768504146978094496141238200548983923538621677726502242002650434714188935391155062744117/37715271730967644272748832273711008443610499735952324856611242187563505301423970813773694592*y^14 - 25097257799309133891238599190173393620226615700558847693576896312050258365581363559603081197/179147540722096310295556953300127290107149873745773543068903400390926650181763861365425049312*y^13 + 104588098294167206072097296091375454641862093839500041462198811326273349116677143126014769175/119431693814730873530371302200084860071433249163849028712602266927284433454509240910283366208*y^12 - 48632177086643403752916066570528470534695671738129908483339606117647388630073562819002568697/13780580055545870022735150253855945392857682595828734082223338491609742321674143181955773024*y^11 + 925157321991380290444718813599816997042898383430556065422625061294364283317169593284224186661/89573770361048155147778476650063645053574936872886771534451700195463325090881930682712524656*y^10 - 16834328793695436587509367927706412558531258926581533103213388487298781318807733207941897210535/716590162888385241182227813200509160428599494983094172275613601563706600727055445461700197248*y^9 + 7265067954319056160616037698639302647131708578649411794730913567150830882288657390710846726135/179147540722096310295556953300127290107149873745773543068903400390926650181763861365425049312*y^8 - 17470233995848755088641018361470903181139555596868636306418767303184724954164248663280749734675/358295081444192620591113906600254580214299747491547086137806800781853300363527722730850098624*y^7 + 3315035385101955217910591538632530808223053015569834827367590547156200304399083035263506559883/89573770361048155147778476650063645053574936872886771534451700195463325090881930682712524656*y^6 - 3200552782903289479420045588958679550012343995382142259239945711757093902340811848130764360089/238863387629461747060742604400169720142866498327698057425204533854568866909018481820566732416*y^5 - 721871094029892092600494171958966560963614428721180663615029321578362950376162356991295897313/89573770361048155147778476650063645053574936872886771534451700195463325090881930682712524656*y^4 + 12458787573535748080820980243739117889842816686960599530832187194148483698439602190877065330405/716590162888385241182227813200509160428599494983094172275613601563706600727055445461700197248*y^3 - 2807992596617176967904644681027377056572750085075022502942780092869597437920547863595945679041/238863387629461747060742604400169720142866498327698057425204533854568866909018481820566732416*y^2 + 84930090634222064556246111917523792284377959945727450392634792203122248733203209801352807253/18857635865483822136374416136855504221805249867976162428305621093781752650711985406886847296*y + 16369453666516479652868492128461313765665776506575948628209923779287860061017493223789103943/238863387629461747060742604400169720142866498327698057425204533854568866909018481820566732416

2545064435349554504203779361798724688130497763285945722429566329796585651320211818882329929/1678702460979530211432954641372288204947341418737352104975099382842506038332665815241689860696003*y^18 + 49605046693309210279265625599371589545667632920642751608096064290097100282107875809005422/2395251014458774311121546519354598470454992694938599205869420697722816210989425485472721785649*y^17 - 9964681056052173884578207390206032734951667640003795969494945115565596377614462206400315423063/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^16 + 42631409646653987786193178535686524121199332298615949039250560029650683327056012307977527937878/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^15 + 79234722465155206326105169581228376073673251131545163949424080265163107695401919842753804535395/1148585894354415407822547912517881403385023075978188282351383788260662026227613452533787799423581*y^14 - 6321480357904256432179266947568609656419482904294874736715736568440522122815448818927768644037957/7274377330911297582876136779279915554771812814528525788225430658984192832774885199380656063016013*y^13 + 122102512327530230758320149845905437530173463394970116397437524015231872224515217797822420267369676/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^12 - 39039138967907760329754171592089378455845892945451258613464620498157849702674982418258187808185504/1678702460979530211432954641372288204947341418737352104975099382842506038332665815241689860696003*y^11 + 39200637635869645617763963038832902765160997037196941735308160428233458454435977199220650515130209/559567486993176737144318213790762734982447139579117368325033127614168679444221938413896620232001*y^10 - 3566159775483505296146742008887868797492196251418509912016255567312308853243146991098887981281926643/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^9 + 2119868399279505643137757724165100822886005736635412466659532133247211633306485390083874357538444685/7274377330911297582876136779279915554771812814528525788225430658984192832774885199380656063016013*y^8 - 8039052589365628262386562392603218570619170413288645472921566338308352892527731083238173941913085469/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^7 + 6475454003802191254246952696561523937174039998037440997970416368360628431525688132370873551178435033/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^6 - 2464987366450238314510690580565377637719058237996662258015620813641999195907561355609746076798654237/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^5 - 1225237823068449833939467911347450575527473042355198602395853836023741338872355252019040758568698850/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^4 + 931948165174251611064611550670456076361356365054908235815055132037742928794358916389396688602913379/7274377330911297582876136779279915554771812814528525788225430658984192832774885199380656063016013*y^3 - 2052446717663737480545349626521584773026966210565219022679983978749861515752686574329316106987456336/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039*y^2 + 39475023086485116098579911067665839993623252794540460028251307241284894918377513116618474442796814/1148585894354415407822547912517881403385023075978188282351383788260662026227613452533787799423581*y - 82232420719373522988783653458610617563081371315764414362489810058746345658156594354284048257796215/21823131992733892748628410337839746664315438443585577364676291976952578498324655598141968189048039

-1863664004884149410474598994398542256817084896353596363372578815675961271160727212805/1866120215855169898912051596876325938616144518185141073634410420738819272726706889223177597*y^18 - 25048660075194882968880034673104137120065746241440595562963748818580204103932869061/1843385132553674579103113200733940670348512859583609885052101172939235369832110855340643*y^17 + 1687854281508052051339337460839243653074810698906177734675596087640431801930840577202125/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^16 - 7296370274487384241343185923176998452154300584887048057200319651367243619021350811636838/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^15 - 4455817731624694228438717155818475201358281114774459626612143919441239964936162052001161/98216853466061573626950084046122417821902343062375845980758443196779961722458257327535663*y^14 + 3218284765684755676312322456195971836833102031385916280158034838656437151483112001547534679/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^13 - 20811125997433945516931640339997682138638625230426369156967090160042170919915542830292168746/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^12 + 2228753388449597886391784317608563848843882558987423279720291023853597761720404451826223292/143547708911936146070157815144332764508934193706549313356493109287601482517438991478705969*y^11 - 263224956170152724260290610569000447987880222676394873558519948572121938666001347427648995564/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^10 + 617377001912792738252017136609317591352725078107467355021218712743366814898661462165389462817/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^9 - 1109136019247999326538179053732941691746558184667244279993435935197964953279479956007440354936/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^8 + 1420295443186886874485773326594249340045306246776374092852708655997017817010548225235968696604/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^7 - 90222522239605863694841269053914503626196135128146807358786986590387007579826372173476175312/430643126735808438210473445432998293526802581119647940069479327862804447552316974436117907*y^6 + 480812540096872415812026781360283113650629610294004226327634876434078670029283997369117380523/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^5 + 58907429519214644576625752357525606300406965712347988526341765663845236303097105793970712015/1866120215855169898912051596876325938616144518185141073634410420738819272726706889223177597*y^4 - 472227065986180088214248025977389126539564997571156127083157211530772025285046703296615232519/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^3 + 368652235852883037206581746490760985424614785850264382395788021929430419722513510843144387496/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791*y^2 - 2620945494458129350329994307136385619528328081946498328212103863419401827174275908773255977/98216853466061573626950084046122417821902343062375845980758443196779961722458257327535663*y + 29506425004594876706738694158356545714503727932501848904488131223382438624577367678354042663/5598360647565509696736154790628977815848433554555423220903231262216457818180120667669532791


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

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

# nu Gluing Vector
{2, 2, 2, 2, 2, 2, 2, 0}

# f Combinatorial flattening
{0, 0, 0, 0, 2, 0, 0, 0}

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

# 1 Loop Invariant
-437781853538227772686430788110721313592540370883552824938838809121217791110954660679/196433706932123147253900168092244835643804686124751691961516886393559923444916514655071326*y^18 - 639394300433912963567558732843866754268966449374369312428620219629532627396929381/194040540268807850431906652708835860036685564166695777373905386625182670508643247930594*y^17 + 310440538372398223306807436813423650208034654101860325605489770590979601595617606362083/294650560398184720880850252138367253465707029187127537942275329590339885167374771982606989*y^16 - 6415549531468977311908449701403865391470842115614894084693307007479323990791922838287773/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^15 - 13720302462711763100870683919062811025183211808588319968677506309076466851300375198795623/196433706932123147253900168092244835643804686124751691961516886393559923444916514655071326*y^14 + 744410354889828456371591743944563967848157942582016072105677782375250624316001167536474539/294650560398184720880850252138367253465707029187127537942275329590339885167374771982606989*y^13 - 13704933566129670945217413061274565518393178967576905856726125748844904767315942812731076237/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^12 + 966615577485838285048732521215562007077098167170609404154274420487120726113104347160911816/7555142574312428740534621849701724447838641774028911229289111015136920132496789025195051*y^11 - 282316283888100385822521419130311657406037835152558384160887465537326162528462152576531969699/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^10 + 784887451349969735311790904972038834608027621428022678082581009732665336327130315159761068405/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^9 - 1696906167157402721524233889400160650480151124518917034403205293130020096654067598106290396373/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^8 + 1381112892611963320782071176787545183293922338194952592785189413808446769621541267706122112780/294650560398184720880850252138367253465707029187127537942275329590339885167374771982606989*y^7 - 3066824493798073623213447976440156653614855715285028694892499131986677828462779590484829921473/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^6 + 986716940956124786022629667699877192507874722308682992745690783380278542649272157312065004984/294650560398184720880850252138367253465707029187127537942275329590339885167374771982606989*y^5 - 47075957775668246314852578350823028488985757631069085609750338628846063983764427054462430966/98216853466061573626950084046122417821902343062375845980758443196779961722458257327535663*y^4 - 876881489660849439289559124701782086350868465115497735411552269132768106544643162273948302387/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^3 + 1094188913537408718083284178302328425034378919745759318338088367344973504895731301203974567501/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978*y^2 - 183510266744496747811851035195326092844170090430822574817271475911132561874613906102713770425/196433706932123147253900168092244835643804686124751691961516886393559923444916514655071326*y + 116091597300410009538129681748754241881053025565192465387628613039257071249141039429899946733/589301120796369441761700504276734506931414058374255075884550659180679770334749543965213978

# 2 Loop Invariant
6048101608118934789525533692611565956344808708473706573730727068382734872881286516978300759993058698726798940570286397191915362010005234900907/99654927195424805023928596577337131231383934532500856853112440238784577031302361982257637948636125684501904256015036514834341752313196605039673273256*y^18 + 8227204905549529035195951667706616329219720758539475637244727111605318349536748968464093510002204715865162904950549564296310725615577720337/9375316543151117646542979122003587302449215347147171254820305775321941486551800365234266705737440677783706125030813915502548732519233887298525168*y^17 - 1164876222578791543696163463963577354546708443154399582354346213092319465480562653080768327018736006439252414092972201690990870482709820492880121/66436618130283203349285731051558087487589289688333904568741626825856384687534907988171758632424083789667936170676691009889561168208797736693115515504*y^16 + 6464450070056110101054975343074818289906094146078898534310015177615533800670785151042076341256005816771747689306753037845036633884034100365262733/99654927195424805023928596577337131231383934532500856853112440238784577031302361982257637948636125684501904256015036514834341752313196605039673273256*y^15 + 2260681041856895498575567143985091685485301981984841292031121330896564609978994505425607782654750026678969467826502729111351589941859600823315533/806922487412346599384037219249693370294606757348185075733703969544814388917428032245001116993005066271270479805789769350885358318325478583317192496*y^14 - 6480840823034468439082626478483770166809546521625239939737776677979350196426602302816961394241376549367204068671881503870586817401771924286152373093/199309854390849610047857193154674262462767869065001713706224880477569154062604723964515275897272251369003808512030073029668683504626393210079346546512*y^13 + 2491899932460375427576664831233603093914614024142768660897609079821402666840781358674134549085947146984931112071890551042014073577899820553370577429/12456865899428100627991074572167141403922991816562607106639055029848072128912795247782204743579515710562738032001879564354292719039149575629959159157*y^12 - 1734280990299179824904813916816055528678128270537341084607145105920735640935055007811810340631934108056582754828127032169970890181151009277630472383/2190218180119226484042386737963453433656789769945073776991482203050210484204447516093574460409585179879162730901429373952403115435454870440432379632*y^11 + 227957938626362360759123566297955981039994914393728773782294286682091911226572842398167193009654791523283769765780141857587297598911664810767743754473/99654927195424805023928596577337131231383934532500856853112440238784577031302361982257637948636125684501904256015036514834341752313196605039673273256*y^10 - 340201435615667240122766973190113163119741623907205668316863105681767869239380116231939351873480148360580461723605918664760965765029656258477433958531/66436618130283203349285731051558087487589289688333904568741626825856384687534907988171758632424083789667936170676691009889561168208797736693115515504*y^9 + 858592279459947554248604458604653891108218988599228624008825769452569185980593232799351636760543426724879628511424430637976292140167848455506595198477/99654927195424805023928596577337131231383934532500856853112440238784577031302361982257637948636125684501904256015036514834341752313196605039673273256*y^8 - 329270658051529901148242901393918226509441488368847483383433279084122952908845659275269087380034832665252470034630840074282488852584029636322694165301/33218309065141601674642865525779043743794644844166952284370813412928192343767453994085879316212041894833968085338345504944780584104398868346557757752*y^7 + 447284064823343357791361046127660241225621918884878607921424955236406981564623670636521608773681946259432486442012850487635698967440342719486065348043/66436618130283203349285731051558087487589289688333904568741626825856384687534907988171758632424083789667936170676691009889561168208797736693115515504*y^6 - 212877661354702769390160769276388407076333634694408187445941266829930997589649511886980965551972126859265318582116601674770966304615850686620177587125/199309854390849610047857193154674262462767869065001713706224880477569154062604723964515275897272251369003808512030073029668683504626393210079346546512*y^5 - 631392561172863729973412506936611785124864446514731883172655341718016800052207228711548066740714939539695159574304238729097885346540837537202450602379/199309854390849610047857193154674262462767869065001713706224880477569154062604723964515275897272251369003808512030073029668683504626393210079346546512*y^4 + 195143720085660387772496622230343000823172143784238076285057522884468515491385049802862673160335540559803899444366210770090429639776713532060874667839/49827463597712402511964298288668565615691967266250428426556220119392288515651180991128818974318062842250952128007518257417170876156598302519836636628*y^3 - 414561950179091930933918049745209937432267799255477283707979699012543897397502658632215946246679386334281414272380726255312219258047868571391241055673/199309854390849610047857193154674262462767869065001713706224880477569154062604723964515275897272251369003808512030073029668683504626393210079346546512*y^2 + 69759245720320131188901344595456859257008227383889105363473698561322342850107347656107875938241382993723761474537046433691530598225689775245991131/403461243706173299692018609624846685147303378674092537866851984772407194458714016122500558496502533135635239902894884675442679159162739291658596248*y + 22403561818717057638873686684362463872744909402932298607596473049075150879309981238457385305181064573162976014664066714155334685957791381076050141797/99654927195424805023928596577337131231383934532500856853112440238784577031302361982257637948636125684501904256015036514834341752313196605039673273256

# 3 Loop Invariant
274402287606488552715221928254233120689543727660382176043519642643094837675140513294586295934565677418233488808981986866993826405828164638628673694594034219681694176437103/7237371060968083150393317854353821948468868583433478309530969489945935630481118851552969370087599346560862138757452210874691583997558311647902160723794376223345354104379670972352*y^18 + 286709013225914831208903941463007684454994154189658796753806111377493375560258297266791366490061722784432727194120446913306268709824624851986153900544353082715424182767/595766468634185310371527646884575399116633897220404865782924719290906785518695987121581278406947591913143080240159055883659168916493110935783845960141124154045551045800104624*y^17 - 7240749693514870587317821864679523323163397281222418711198277522705387631233404251084251808480797933509316536254605808362054632596393152576080857269346577663674876924544491/603114255080673595866109821196151829039072381952789859127580790828827969206759904296080780840633278880071844896454350906224298666463192637325180060316198018612112842031639247696*y^16 + 105941302700336892255808652419082450424806099496387668483223119482591745582175737268817889681509559395845397424087360133634989648302299391080936956048607736018666531028531559/1809342765242020787598329463588455487117217145858369577382742372486483907620279712888242342521899836640215534689363052718672895999389577911975540180948594055836338526094917743088*y^15 + 3115137753107817795444625652101131589801050549067836786947844535349419642685042977450636217622316891062320546519194873934836750227337981606116058141323380451633265455898751/1831318588301640473277661400393173569956697516050981353626257462030854157510404567700650144252935057328153375191663008824567708501406455376493461721607888720482124014266111076*y^14 - 21227057523912095601593224201141882800084828788605152735508869438248420721187688993226094304236135970126544166284199105654404359401107071429666292601121758228053361892934450605/904671382621010393799164731794227743558608572929184788691371186243241953810139856444121171260949918320107767344681526359336447999694788955987770090474297027918169263047458871544*y^13 + 567797318273427404008766690959719650631243332054832730084318833093188613539060727415218466775639197439063372532791395914966071628891231939472531075359928176326169999844761587863/3618685530484041575196658927176910974234434291716739154765484744972967815240559425776484685043799673280431069378726105437345791998779155823951080361897188111672677052189835486176*y^12 - 376321227054625495892613338256730939360888948908821862355011236343254629192611742812123475964577481258257820225722902782061121371636848893699207715344932389564350640382520422545/556720850843698703876409065719524765266836044879498331502382268457379663883162988580997643852892257427758626058265554682668583384427562434454012363368798171026565700336897767104*y^11 + 1076551756656102339785811205651265252932168061661625006159667030299022219365793221231882674338075562403470499225523321158952232871482476355845659493780274325265362041569896835101/516955075783434510742379846739558710604919184530962736395069249281852545034365632253783526434828524754347295625532300776763684571254165117707297194556741158810382436027119355168*y^10 - 1705422359708884476086879172511510972785845397498971891124978567328018635253387010767645353992778416285699814212857872507287893806979424741192789658299468932128522407981300050373/344636717188956340494919897826372473736612789687308490930046166187901696689577088169189017623219016502898197083688200517842456380836110078471531463037827439206921624018079570112*y^9 + 65356059323075208855328690706795388486884232946046037149975583571709607294390798887164069114719423361626877031523806673232086764433637103027932519272118385925278356171639593057079/7237371060968083150393317854353821948468868583433478309530969489945935630481118851552969370087599346560862138757452210874691583997558311647902160723794376223345354104379670972352*y^8 - 4036476351662286495030188109608341073979483274471428306374145408614144997315095600859901856671395874907259070405831851048027712251776360194342337270183282864105105938539486325471/344636717188956340494919897826372473736612789687308490930046166187901696689577088169189017623219016502898197083688200517842456380836110078471531463037827439206921624018079570112*y^7 + 11595629314505706534043167387209190407255063747326780610771768025306745087046756237604569842989134010588656429203104126131293428417974474573145036624398478872115919849282105804771/1206228510161347191732219642392303658078144763905579718255161581657655938413519808592161561681266557760143689792908701812448597332926385274650360120632396037224225684063278495392*y^6 - 27926108011751602026175522439888320262317904423493810205847997505024921465319353588983783435025009492118943215622494473289461563807246900707746464630626109974791648127563975857323/7237371060968083150393317854353821948468868583433478309530969489945935630481118851552969370087599346560862138757452210874691583997558311647902160723794376223345354104379670972352*y^5 - 338664118189252124804046762045280379935505251810134496208547274993958773901208335589695970749109169877558598562512096845050888876961278591346642575210465864798410402626743870177/226167845655252598449791182948556935889652143232296197172842796560810488452534964111030292815237479580026941836170381589834111999923697238996942522618574256979542315761864717886*y^4 + 6984921613754015012566653100494701740103000918592177174096661051251973373601756187741375942176363320518085101264798737134280231636476533312710770905741064351807889214321911136573/1809342765242020787598329463588455487117217145858369577382742372486483907620279712888242342521899836640215534689363052718672895999389577911975540180948594055836338526094917743088*y^3 - 20382225549322365675390236797786974543038396288064141813686486475483602275325127331054621355405421452779080937842920258892815121234124747099581484158230376991773823357023869717219/7237371060968083150393317854353821948468868583433478309530969489945935630481118851552969370087599346560862138757452210874691583997558311647902160723794376223345354104379670972352*y^2 + 2230625193363478468980399318266552557016043684526295607062695925050162430825059692551425291062948236715077850128983433699773565546615172388913604079373259273848979442720830713/2253930570217403659418660185099290547639012327447361666001547645576435886166651775631569408311304685942342615620508318553314102770961791232607337503517401502131844940635213632*y - 42855326161847954942693302531323645815777529862573139514969168916335202346717565408693247788624318407600973914970585260446392484893035381982312278563645447607686821645421430843/452335691310505196899582365897113871779304286464592394345685593121620976905069928222060585630474959160053883672340763179668223999847394477993885045237148513959084631523729435772

# 4 Loop Invariant
-2004577133364464542486049567824218768031266860621539871960159534014671799694159363311497286979346255899926148673922775598001113058901538590332755771781842586689689946321977240475271842351125630188479891190401745711869748155092801/8258366355147442708454872464476078914973081104636595273114714374178695715300607689029616558395747011044433403702253613890644572124976665203175557636467319720806743893842358274402722678186973360130263215222148670105187713383170643326720*y^18 - 50108513784651732848446138541993125233961423407005556774278751535157216027986213571326002494704192550340836023125779857631303438781504217564833956034925454692955281149361609478266222016100622902893410543581075632263885384147001/13984721237372780352056795179506977794770728621615194968348921279008092843069846973285017926630927719911548169400307168731511576108902579957397811511022320426597807054815602703725387667093044873450749129686125976000129718321376506880*y^17 + 20014382995320906562105264424105592737699113612368054812770223773562057988007891835386862862482257182711491656605250533227861723690153028665896184761033000150030980371795248137114485792730737062150041580643111224950455022679539857/290333192173152282719116610079237149354522382584880302570439177217219771241036989067447457131100480857030861848907353613342973238768710886049140698157054208934612090017895408084470719155010782192079566160153664183385505548627092929455*y^16 - 14280083621711161009980044277314438216011662243096846529358030240987725049952076711406123724372352215909035619814684806103341367263106905887611983600719019932765048684242508677069593991235061779815044326135713006950954409194259515197/59460237757061587500875081744227768187806183953383485966425943494086609150164375361013239220449378479519920506656226020012640919299831989462864014982564701989808556035664979575699603282946208192937895149599470424757351536358828631952384*y^15 - 1504085247708449872911407075229662008581966008448527153899600232796824892952060140506193295709763492267970696831557368737500285960878807030295707114310466002236799916677950543028019478325162076435228072343464644379666032651004256857/133738726399148869772548541934835286072438560398973202803477155857144869883410650834487717544870396939990824351453499820091410074898407533654664900995422181713469536742386368816238423938250580730854465023840464293201420459646488151040*y^14 + 18809835197204578375628300726853575638472911070887640713728455942904146368269314770361936062930601732082194890251655447114626907767456442610172062121831571997585822115382957255097468148650270316317889945801368670848073424352100101391547/148650594392653968752187704360569420469515459883458714916064858735216522875410938402533098051123446198799801266640565050031602298249579973657160037456411754974521390089162448939249008207365520482344737873998676061893378840897071579880960*y^13 - 227977037372455476287849351802542161745346552346112198671021133879137810302925039024556421276429280018680952603674462063437684222948897932775275960542505206559898289697066041061286208818918959985273753282109206707595686632051678772239953/297301188785307937504375408721138840939030919766917429832129717470433045750821876805066196102246892397599602533281130100063204596499159947314320074912823509949042780178324897878498016414731040964689475747997352123786757681794143159761920*y^12 + 3259493058869753706492906577717003206880016548185908995165001632518881564298252849191372494203556345111236528235157256464942450668431796446964202903150931060810645107356434763397789633244778699720724309749177344246047483103099239271469/1089015343535926511005038127183658758018428277534496079971171126265322511907772442509399985722516089368496712576121355677887196324172747059759414193819866336809680513473717574646512880640040443094100643765558066387497280885692832087040*y^11 - 2555606615791684846666495630149537576184897823239479857652210555599754661591363316462583083354461109571256342745526741183064734430893572433405143087019613038011419746826368138865641941038454137159316123499252070685330055681796947572719027/297301188785307937504375408721138840939030919766917429832129717470433045750821876805066196102246892397599602533281130100063204596499159947314320074912823509949042780178324897878498016414731040964689475747997352123786757681794143159761920*y^10 + 5724728842917790316709351841473884239605664789885805491589236941512123214348636690919230266945169008601008452206117050253114615663958499573811990010589041797610643775808356872366047717948225335509058180381147368128151013632753302617983263/297301188785307937504375408721138840939030919766917429832129717470433045750821876805066196102246892397599602533281130100063204596499159947314320074912823509949042780178324897878498016414731040964689475747997352123786757681794143159761920*y^9 - 1933703430966923245841886388092354487463480155106819378242913416636806224533009088816907909420033743946177877398161247570837638643417489561903089699887448398173816460988061933335201174801097509136126579191250970282850617854945678070496869/59460237757061587500875081744227768187806183953383485966425943494086609150164375361013239220449378479519920506656226020012640919299831989462864014982564701989808556035664979575699603282946208192937895149599470424757351536358828631952384*y^8 + 5697794269369785889468744204395490606144588288523136929460122895609549137608643494382435739866438946315217432743889700617819282118840300721536203458584639614616881975093204430072523155946514553259848723640086374952223897896726398648394557/148650594392653968752187704360569420469515459883458714916064858735216522875410938402533098051123446198799801266640565050031602298249579973657160037456411754974521390089162448939249008207365520482344737873998676061893378840897071579880960*y^7 - 8694149723974475609600677360604803196968973307911559307085860145431377379593873208735017302286831873196732302657980717225698426315847410328298367333605956574529064571661272602775065203977738513878562013820120182769718263984297917897824217/297301188785307937504375408721138840939030919766917429832129717470433045750821876805066196102246892397599602533281130100063204596499159947314320074912823509949042780178324897878498016414731040964689475747997352123786757681794143159761920*y^6 + 1551190942463940867242222876291721303471887172079332915446808543366856924181134022488027289574119703992957542864243134182410925314184684854902895928011913766220216277774152989747838393585418444925577747304619697796442730930369219152070369/148650594392653968752187704360569420469515459883458714916064858735216522875410938402533098051123446198799801266640565050031602298249579973657160037456411754974521390089162448939249008207365520482344737873998676061893378840897071579880960*y^5 + 34006980877564706459165746153558936847627187762458858822994728796017344624034583039677588645129316893671403064338690323977654595094962202706099382050899144520656384134488438831313276937178733331363876098000210624848069325179511550088829/4955019813088465625072923478685647348983848662781957163868828624507217429180364613417769935037448206626660042221352168334386743274985999121905334581880391832484046336305414964641633606912184016078157929133289202063112628029902385996032*y^4 - 3891175134246432018717253574538607441624331032025755969398664836924605444053523487574716202783609056164359239339969674112377344200408732125725090796159343792236463224389953800432944745469812432278270456375458285600142811014780614503652791/297301188785307937504375408721138840939030919766917429832129717470433045750821876805066196102246892397599602533281130100063204596499159947314320074912823509949042780178324897878498016414731040964689475747997352123786757681794143159761920*y^3 + 2932960247737499326443737143285443913757933743411697708254756574454715759269669615518620096616695342484509539713808166284885762047753380486245973999422714719409561296045882777332352139647835033687641377354480624762393711236446001950002781/297301188785307937504375408721138840939030919766917429832129717470433045750821876805066196102246892397599602533281130100063204596499159947314320074912823509949042780178324897878498016414731040964689475747997352123786757681794143159761920*y^2 - 13668646846437883966953713849965109896796327762934041969490960286932418482183632371135369636706046731348605378176367273911265111345956222354457560701636816515946523534642418578307456859299570698133633854119280900714939899189953078253/3429198112798688968526885690636802206985604112794184687268645021978073586754119252166351731919753767692072419268038456925420771151241218811658074384498004659319731711343240226057395485596168736688576026252319597261574883580679183360*y + 120016618073135798866047081798008176337554641139662216112584513442304805197302865616025247330883312455196635247567842864400974357188072476158692070270493371150850796793116973725334322299675524456331232418186740889401683867365810189052053/148650594392653968752187704360569420469515459883458714916064858735216522875410938402533098051123446198799801266640565050031602298249579973657160037456411754974521390089162448939249008207365520482344737873998676061893378840897071579880960