# Manifold: Census Knot K8_105 # Number of Tetrahedra: 8 # Number Field x^21 - 54*x^20 - 179*x^19 + 1308*x^18 + 314*x^17 - 62605*x^16 - 326081*x^15 - 879825*x^14 - 1515687*x^13 - 1789025*x^12 - 1475140*x^11 - 685292*x^10 + 251046*x^9 + 781599*x^8 + 580244*x^7 + 38844*x^6 - 106765*x^5 - 3684*x^4 - 5345*x^3 + 340*x^2 + 720*x + 47 # Approximate Field Generator 0.326550836779070 - 0.0492369236432640*I # Shape Parameters -25373150701729518575888253929737099092497801022522436889753745419866616506/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^20 + 91747405101590829027110680389475584164018371785940144096824381468358096898/715833774636888026472975845842633809879317371470606237810431702350442775523*y^19 + 4211889656191332207339346739686967696571042553483605316898403110784461624254/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^18 - 34130187901810261255810482048674811202003234340843970491378045457422632130752/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^17 + 336858253788503329012392171377328341166004618552681363332272573156600258233/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^16 + 528920350867166691712557904070171065648904500799600088243338827435911937748074/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^15 + 7895814110396767011394772462442287973775939631018299741791336854323943602712684/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^14 + 6836474138210517654817026440523601829158959448937760099025617652754776816900647/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^13 + 33875005966240540904247553361918029008733240690874367282525230056282037931748631/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^12 + 38062222510734768956576241290693569229214982786094194313145040452800999897033404/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^11 + 29508180464697458737074779184566436633067460204164185792641565610873566928488281/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^10 + 11591715631844150126557010213386678492948794136665751949697461811710861173120276/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^9 - 8187366739439381503701696638430922843699870116852564679188417294730934724581987/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^8 - 17518497129521583362314186812437346814326474474234254027548795161400855267268197/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^7 - 10793586957344322801757105067380531696855402862408426240019819814102243978364447/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^6 + 1119168132304535126604590066317047110423507048847988623253283348911866124500863/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^5 + 2210999639035559284055293604104136310140352447559855547958146413964851411656757/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^4 - 364351500872665344223484978609744136894083665936945848908819279978726335092628/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^3 + 211251587202599362950646548038131033206395071385669946236252520195738063168623/10737506619553320397094637687639507148189760572059093567156475535256641632845*y^2 - 52570426118684379383978109650256678352560524677240711698313148596869148585478/10737506619553320397094637687639507148189760572059093567156475535256641632845*y - 8383392559546349717861750252596631142209331496889793817102753031577219232787/10737506619553320397094637687639507148189760572059093567156475535256641632845 -69342166043691253733133112162016615011393604054650792857002616367853359425/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^20 + 3754935752066275415580779846345647194332770025488326595510410186994845033869/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^19 + 11844475985123904082664322901800627731975415388898507158625680276620266129773/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^18 - 92409550235916956076209993518990482677677635208001665261502759192585611964612/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^17 - 7571431713256638043597684801300185193032667684633480339362208606816689751878/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^16 + 4340479675385288752894196111425500517898788438241997441806728106966164031718574/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^15 + 21955807426794522474559112639271677114473826607022517806486662844948715922168813/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^14 + 57786350105724295115799234522171576544271251232407575326452108368476497034042490/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^13 + 96859294113602021895702397860419563169039472616541799605209607090860339316971107/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^12 + 110749729780487372711484185153301394121429365947746227228635986333314704090858554/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^11 + 87883751313964907979135458738354230625497903785166767551977121633923355997219617/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^10 + 37060622975389542352682720745436040370035658368403345903849711171249442316393336/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^9 - 20589743605599300562028550567518783318261855531426790622833203306534654433226810/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^8 - 49846761088641667906255703028667194929224652929543872304340463631574902878071996/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^7 - 32939263691861138048602514917476396963231815388396101597541202370454054500493799/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^6 + 1128881867808201369259762102330068612818965394432025225130472155676682263542295/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^5 + 6263669102911021626365835737902199155950282611357163814321162571897946228899959/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^4 - 900795573511153462483721116546853831500214169814123098398094050347982623353761/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^3 + 589915223179232864700219512344845609120521641797880597473693514207174206413884/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^2 - 128824114198378594202685480796499193325079758609061636870473372483057748217054/20759179464469752767716299529436380486500203772647580896502519368162840490167*y - 27886484017574686216254716445681410605626250906478425870462820688176800226335/20759179464469752767716299529436380486500203772647580896502519368162840490167 -4698773761731434657477605139821803335602749298821103585228527948512444473867/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^20 + 50388296211623221054113912249543852908759776894297391099480485202599635513157/602016204469622830263772686353655034108505909406779845998573061676722374214843*y^19 + 937711910111579126879481376018950431339669267642055995708377142815439914684683/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^18 - 5817041822304203048152824250711290330549438020890087157105787649730509813483914/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^17 - 3785671783208725850271844472118263176867651652253939573733890366222432146243144/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^16 + 293427857351013362063265431110510949006385583868234128169025007478834781729104359/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^15 + 1644182567572431313077026497620562080640735753670300032586816199291062528382056748/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^14 + 4728030697936963684037229606494441520156128002920250123335674416529756041009435362/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^13 + 8756428048272737990724080100015549491062496945608524570791889329612238209329181142/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^12 + 11299833284282733997357353634065111341546340217971334790977275915054491541484580368/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^11 + 10489488141566591282714898389729771568348454430961930665591021436783340831694254402/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^10 + 6355387678376660829529223781938231333955584105453163108221818875758148143448168207/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^9 + 550082094795146119931988657331892056195451983279584345962587541873161260822918841/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^8 - 3766251848922996049230252812971161871502205578121401522393945000373666112146047949/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^7 - 4017959622176394198202179703228597164102664754344776937437924366438098820681836544/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^6 - 1336352496053025798445583457479769147412011706474903125856108532613628037874620509/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^5 + 246360663782956083115277148746686548303958914703497483054770965957070711856170314/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^4 + 104776725576139211114316476729489800086090725968604641748624571388649096136304429/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^3 + 16701469750889356941896945766843608429035662593343514877709374270586863066849856/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y^2 + 10662228296821029210079442375373264596944030154267298902009634027727425598882309/3010081022348114151318863431768275170542529547033899229992865308383611871074215*y - 3128395177958829096024799484387700963075893262061836667263769482350630278139514/3010081022348114151318863431768275170542529547033899229992865308383611871074215 -1094123993025348048751051020565125389719144533260450506504207037834615564287/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^20 + 23685846434457637199561399415589660467246804964595970185358247697241890923937/67288374815867474488459729509207578128655832918236986354180580020941620899162*y^19 + 377368487251998262262885718305760645499900854134537329708273079368654385990041/336441874079337372442298647546037890643279164591184931770902900104708104495810*y^18 - 2905102347196452588095707901172909473724385122764037122758077433158073571008493/336441874079337372442298647546037890643279164591184931770902900104708104495810*y^17 - 163988223351060497438466282357294193791708988493793142495487034645106549892759/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^16 + 136971726009008170715198406996700553211317587467710453097035951393104570967124433/336441874079337372442298647546037890643279164591184931770902900104708104495810*y^15 + 348506350572650028309747751639781285906201388208076533228682794872854110970158818/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^14 + 922139931995129761449962620126556551654178497662114418364849039256095311216554547/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^13 + 3110374160847050836119929028178381901511027581716878529394804550552070763778045179/336441874079337372442298647546037890643279164591184931770902900104708104495810*y^12 + 1791823533491891322305205623856790897143617494379498573184838281249281496487449273/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^11 + 1436389276140559806956254885264710014993959535818493654952566296145961512323219812/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^10 + 623294828409287887828152955807794544134333879000276454698489084663326318496958222/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^9 - 309374289936666307288399753367508427891187788818971156163347554375039319509492734/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^8 - 796279328630407230897963565977563995609677492667488431213037486920827489030197984/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^7 - 1082325021268023522794624079176269084953082833590601250489672445880434892921060763/336441874079337372442298647546037890643279164591184931770902900104708104495810*y^6 + 10638744069785412398847629007500836873191109949549283515014525797363475609877557/336441874079337372442298647546037890643279164591184931770902900104708104495810*y^5 + 101449240716121924001679753503998414144183260856059034087827200575849985536821364/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^4 - 10713424468544014937717626336444765392645700809837208023081267550398032943813021/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^3 + 8608738830265760341871344703156493202749720822797691590692623878908911267667956/168220937039668686221149323773018945321639582295592465885451450052354052247905*y^2 - 3264357532993875570090492908029360647959937968849850694593684720219834793596647/336441874079337372442298647546037890643279164591184931770902900104708104495810*y - 739435513497077336415380110115602492083401747103422436488565193094166058918603/336441874079337372442298647546037890643279164591184931770902900104708104495810 -3075694365659452682266719651435892709775855306400745490539033062692084057/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^20 + 24692697196112058705583298218226911782587164395687590813516303164959030504/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^19 + 2853761680318576204587579802862893556167916187003760066393245241949313185023/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^18 + 3520227240204088262248961822901020796531046914654536891180888670084234532816/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^17 - 56739204020538567077295232378417754223584939829889047022299107413510425795159/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^16 + 181899663445123115649310140612154092414126423894608859695418190922997492336404/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^15 + 3665710508850198297420655643909257607945294740767895858516006140743564833861813/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^14 + 16510719111274720878811336897968915012810510691261339862605451741561434549224697/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^13 + 41955213024519829397097388294037642181216825169984497020134768623218007065650737/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^12 + 70188935873829939017652605320700881609884863461221659720923578721279373015694058/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^11 + 82213641591480367136713952229123164092662146014485647194521172657761233997870717/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^10 + 68589420226768926368560979766199385882354062998048268517562422217980838633161212/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^9 + 33719013472534643720738565967905953167350942150162033764431766437414076426819801/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^8 - 7651451195598009740676499749027394107562810616279600929274404554319521810415799/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^7 - 31245746154355739166745060199300026508450332368984186527201764606847916579183469/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^6 - 23970947317817599173478862541785774161373702298615109170492415266450185715810184/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^5 - 3016634013476235089410131303662489342134322342040015367913183095861536254308116/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^4 + 2535315567728233657600103481124354035700482740084503160616251716624865698199864/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^3 - 344217715897534419893669058476483992882059940858197976317947613988821005223364/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^2 + 284106393081535939865037067755850167398865914358667896782655845199096017802679/103795897322348763838581497647181902432501018863237904482512596840814202450835*y + 69231748322637260567523835234511749975570226375452191888418499191580996139336/103795897322348763838581497647181902432501018863237904482512596840814202450835 -46317734687090154320613571463575728216516729740055818664025412299511611967/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^20 + 499468234834870751273194103935581935314542650266377066475011835628168088157/20759179464469752767716299529436380486500203772647580896502519368162840490167*y^19 + 8480990709179677515767816741855887950805647684643267453717826982294985833848/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^18 - 59041140286534116114490381936162102324572061253097221416747286132475411877644/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^17 - 16496789660395108855504143033697764082518241076801294875345232118992691223159/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^16 + 2878250365812067074098609868623677299444170257899537571605885417078158188529569/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^15 + 15333019102346784626527725418638112420671722502093162467557636039317018685480648/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^14 + 42994528717465770112120226011306162430034407234953055559508466607412632298069337/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^13 + 78977524954910727196377672597207551150930792768388438153032692345952480451875277/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^12 + 103820492509125642049407851431868901790240465431770942911006938466620488636038018/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^11 + 102504354843652102190969997592641492629274613030142770975840092117657462484743222/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^10 + 71660709611615040745134581612823192546876740358671819471150298629463500815579552/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^9 + 21846167933727017434679986192396959389684188082280195202243765951302351218337721/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^8 - 19434801804179111208980617727189706579140893799002439979661014018749006466872689/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^7 - 29714323109010959162630184180601649018734647606171523576390093222115012754757984/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^6 - 16015462570512066156788863295505498794673947224867470625818326218308366642844589/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^5 - 6688853859760812408922221422621689770038388673978107273694126652973600933442811/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^4 - 2385281737546522240550342452404102517055081106233636036599078045639432146303471/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^3 + 1191003672716065327530583271606936236110401080908529333947577206261837095983601/103795897322348763838581497647181902432501018863237904482512596840814202450835*y^2 + 82993416390918327894519145105379116420731573628141993048005150721412213310744/103795897322348763838581497647181902432501018863237904482512596840814202450835*y + 73951416738326447224228983927198218373642322540686770216394009312620897372341/103795897322348763838581497647181902432501018863237904482512596840814202450835 -13795354539458461592339453034130908212444562827684574178905592949247623087/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^20 + 148363146915110868882901158362184859230053461450421266039597366845501080682/715833774636888026472975845842633809879317371470606237810431702350442775523*y^19 + 2638621167685805506169506678434478135157159731970919427480622430396703763868/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^18 - 17486067900206263289392134868566649333184442159762723098765575523156901650394/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^17 - 8438798899750280422882525714490084368816225206508467577993696400860002242754/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^16 + 862742233031117270348563941253692184320184172954610048655176668700738221838469/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^15 + 4694596816820744266128523850267138578953060841927999774172958056567905454016918/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^14 + 13156120182571781871228555323838887187337502218278097292647494935237291854356522/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^13 + 23650591518363346601930140718716287222765577799112299245020128366504490814708332/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^12 + 29392526363823258710733304005559812136594963472330555855567162553439700346173543/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^11 + 25912875285193306254676398488360537411343777021326847330792933392908569160035652/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^10 + 14077131656219982299458395398090092939380305014145525655740143056031033180731507/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^9 - 1222052825883091091278894944406362004470065323465916378573622675384670240879379/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^8 - 11382778518549449332162229918531092822810885828258729682652869387152058369090569/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^7 - 10230309591474668938584387862751344220921965336429746918153509471558589864136979/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^6 - 2179183560062747878985133506722422218502342514818296916774254372502969289365819/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^5 + 1401060701923519260580931375042997791041491675778734950269864064798357410433074/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^4 + 317971589641028998885029773380085231187381871961488052291654732871219335688464/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^3 - 2326224230214824224698206354538185529433716668634133389860553711533247445759/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^2 - 20061628014819045211726741453834749171050928344383510423845542796484161640101/3579168873184440132364879229213169049396586857353031189052158511752213877615*y - 3857508846977942986327021457378987483384622734840065228687923212781232736624/3579168873184440132364879229213169049396586857353031189052158511752213877615 -9399725187700566209176235943479965431393509861252939008402038615302486051/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^20 + 101458140564739750670426895097847487880814880713003334601386778933846071492/715833774636888026472975845842633809879317371470606237810431702350442775523*y^19 + 1698321889266163813410975560744311973081219554033518982292041703094391379064/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^18 - 12235201444506901116168081572376827400090485990987637355543247512486167915692/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^17 - 3309894529715173980947711835847120995959727528011468253221956042068783864297/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^16 + 588225381618116737898107678956453710491870828817589346553318425900068588522487/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^15 + 3083391784964308482620584112306249879242204492543155129416894594870979477158399/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^14 + 8374087191778485540299269824222956381957938260969003056817206079081808151335836/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^13 + 14552669360569235901850707876560723705688773558888938563943165852947664925535476/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^12 + 17405001252833256280535813673896781617799657397159489640222004571860272074525424/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^11 + 14678305035087509904853979940803912115814174915644838973180170120064888391052096/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^10 + 7285154894379221128120188941678384546303587027090215239829951643812048479543136/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^9 - 1725479236802380818596046913880871641571263754405068906481049046101875332152317/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^8 - 7099698462447403437226687943090849841416223136082360281943117332073788177934222/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^7 - 5569628712871251525162110253654067460402142857221343075409307013132187284718567/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^6 - 615833678587976665747622920955087498253330723349532731982085730289166410021732/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^5 + 834349143372500585300981791741726122554380874861677885973676944917946226355127/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^4 - 39599567400503756558055147152169032518522724608270174233465569855020525437268/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^3 + 25483903281389319253666064092155981899024256673045360238956317749969867768828/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^2 + 7771479910565306974130277381570490939048179574603842396287527884093277751202/3579168873184440132364879229213169049396586857353031189052158511752213877615*y - 1008537826971032097264545758394146247074647760120194016211987103291074840377/3579168873184440132364879229213169049396586857353031189052158511752213877615 # A Gluing Matrix {{4,-2,4,0,-2,-2,2,0},{-2,2,-4,0,2,2,-2,0},{4,-4,5,0,-2,-2,2,0},{0,0,0,0,0,0,-1,1},{-2,2,-2,0,1,0,-1,1},{-2,2,-2,0,0,0,-2,1},{2,-2,2,-1,-1,-2,0,1},{0,0,0,1,1,1,1,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {4, -2, 3, 0, -1, -2, 0, 2} # f Combinatorial flattening {0, -1, 1, 3, 3, -2, -2, -2} # f' Combinatorial flattening {4, -2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -142652975472127477278955973765637562657416115516685414732585890079836850059/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^20 + 3070119231018528548194562210251089521421138368522750874943874626253523895605/1431667549273776052945951691685267619758634742941212475620863404700885551046*y^19 + 54085012509401082695575885050654807293765930787466528852718468496956149205347/7158337746368880264729758458426338098793173714706062378104317023504427755230*y^18 - 362919056506151347732900947548544845758058776016026908056349514864927296808301/7158337746368880264729758458426338098793173714706062378104317023504427755230*y^17 - 80839575870695332609361946113094009953872025510275785030696613672555391370498/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^16 + 17838709925399145460187525856441586949920809676746920186885386170433285851438581/7158337746368880264729758458426338098793173714706062378104317023504427755230*y^15 + 48263935970137895246339080352938267536460342160475812777296885271577034195595721/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^14 + 134772993947988390300988090348345118755059234872396201630872057097683568032456684/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^13 + 483423666322835326248710307884036080006502576753744693676282533719250119619820063/7158337746368880264729758458426338098793173714706062378104317023504427755230*y^12 + 300400863285101431546277117009045771690417740278194393116986080184171524151846281/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^11 + 266255650078367412713936547318586708696896754328945583411710652949860539211862329/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^10 + 147567082395279907719548939496559614184834263792088741734717735500701257241000704/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^9 - 7226376550871226698864859353953470943571198338748737763185986495225355194984378/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^8 - 110982658535536512621835686238066704141206442697937856232871790113699965903567988/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^7 - 202371568281829835541260716919864870283665920672370526370235538700650497305208891/7158337746368880264729758458426338098793173714706062378104317023504427755230*y^6 - 45161598392561945445729099919234730967788422959100034649340060174408738401275121/7158337746368880264729758458426338098793173714706062378104317023504427755230*y^5 + 11118741482709634481490512257466430495499279966936975028489998965850667993196958/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^4 + 1067329674591849156312799542438935738352021718379414975186099805585337834700698/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^3 - 122373770284900811747042992895023451420518079568450692296159856346774744156033/3579168873184440132364879229213169049396586857353031189052158511752213877615*y^2 - 123060591491068179048848717455959276768386385480793484572793215954519344350159/7158337746368880264729758458426338098793173714706062378104317023504427755230*y - 82517636384098241969221805918896435667251641607334874193803537053656350427361/7158337746368880264729758458426338098793173714706062378104317023504427755230 # 2 Loop Invariant 1188370293830933447170148755086356081355112552523890599229318156118449347526641091594738909658959384438139792117686332410068318401859347/28068782737000435352617254509117613099802887778719435430699583838507046510321424704196506925747621215178627986467782347550693098529364569080*y^20 - 78773774742283324853339544973014176683126408404889284345184280952669096773619206019512033951469531232933603384403734684377622863577648379/33682539284400522423140705410941135719763465334463322516839500606208455812385709645035808310897145458214353583761338817060831718235237482896*y^19 - 801557067646858854125458676018520496795406726961726605344324639917881230913956697548770996916921461401680007742568248989687619672080554583/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^18 + 11039411121430257220565087914202706875517312663631957571660473325728170047609749472408946303264738742484437726675922129662139375580598393859/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^17 - 4428774101088113594532674686157228000574398441516867039175949369764466343160552271384257182031331453287440963771787813976979077277110071743/84206348211001306057851763527352839299408663336158306292098751515521139530964274112589520777242863645535883959403347042652079295588093707240*y^16 - 435694417271177409949723539036358437774968025044739419094944103896950573440077209657290768427252411425574918369913640386731217654678089163/162247299057805984697209563636517994796548484270054540061847305424896222603014015631193681651720353844963167551836892182373948546412511960*y^15 - 1773123366292438139897613277886523193243568375992090781215560446982350941975859326093654493807943333460429433126343793605801178247328724690183/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^14 - 67491910038240654874939283093575855156652295282285543653409185411330188117873752349411050578206521554195933572213032433612943953991181727839/3508597842125054419077156813639701637475360972339929428837447979813380813790178088024563365718452651897328498308472793443836637316170571135*y^13 - 2206991357921050938877055413687524618980823283442793358097443083452962005869531544115434220688983706363946455459182961159620506252593291561657/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^12 + 740172354525822958597335353915716110805803888330483727992297082753943785130790935974232284169262085273262341984090352249705551228765230810973/42103174105500653028925881763676419649704331668079153146049375757760569765482137056294760388621431822767941979701673521326039647794046853620*y^11 + 280058129245536851107596278513400153208119809483341763625099414868263255948195269451938576637226236551386593475642382423828998802747757795487/4953314600647135650461868442785461135259333137421076840711691265618890560644957300740560045720168449737404938788432178979534076211064335720*y^10 + 6775947248656672392158521598870796479533958700583395816268385504184639440902451663284695047457274143525211747591071156209364705195514918102589/84206348211001306057851763527352839299408663336158306292098751515521139530964274112589520777242863645535883959403347042652079295588093707240*y^9 + 6430155525933045318732585718561346739899671440992806158614894088088961902039910749392867680187808945106646654547879602529505803156632457136927/84206348211001306057851763527352839299408663336158306292098751515521139530964274112589520777242863645535883959403347042652079295588093707240*y^8 + 3216284195045898257201795134701376461276632822647212100706024959581466627557066665180994358022776579548796978725270904860768125207922095971057/84206348211001306057851763527352839299408663336158306292098751515521139530964274112589520777242863645535883959403347042652079295588093707240*y^7 - 2419998946268496354404155875503163219151951151174470706622828530392813818085256193601328700297755194198068432696400316683252406618665442258341/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^6 - 6500654412808816730272030326738284714951483140504736799161219065494410150632130592507781348065823709051915354303413177587631245990544047234721/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^5 - 2882891441281150194972985627021355054680719242376486059167936638569083736730937294337230300556704564494882374118379516464343801445210728812079/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y^4 + 50774175947979882988604918430264338235623087685466874255198831468038900598235242915203846361216662566140731705672230673441107694918897122861/28068782737000435352617254509117613099802887778719435430699583838507046510321424704196506925747621215178627986467782347550693098529364569080*y^3 + 3370920007758613751065308847544580399242495575639170170511854098923420826311529346760348771892645272936307343684317870196901353983581354421/42103174105500653028925881763676419649704331668079153146049375757760569765482137056294760388621431822767941979701673521326039647794046853620*y^2 + 42402171869954927620391727231896617941258075549634508235926407824491421420886287362114307744106121621833205228116365069094113350674698040471/168412696422002612115703527054705678598817326672316612584197503031042279061928548225179041554485727291071767918806694085304158591176187414480*y - 26075198825885994834837009965464772717139355297923653163858391903862907513168290313308430800982328830891022813650877605644834778016189463453/84206348211001306057851763527352839299408663336158306292098751515521139530964274112589520777242863645535883959403347042652079295588093707240 # 3 Loop Invariant 269819215428770725988031971804308619633591402585093003373219602916979744406975331560019566918597090239119435711173677562894063256683200878381345928070595875635343524215/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^20 - 14637445954450497990928749040000171451724831523846132147689111992069419108084022752427250113801421753512932299791088031681167339127032786347595021877872580180688435593505/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^19 - 1395274314370459093481114206766639263154231988652660192586199602097676654735864112004887614969568383504782229179659428552810453036469936608297020919981919295531323380965/43940934034913611543316897644144467887887505814231182457823263063597659788144633660376739121128862508473503663166014336203401037461784741095041650849098795212277306101878*y^18 + 1259134485287576087777967227903028038210512098740067708628503956661385647503836739087914307623381513587090338453116892565022029142704724002338065626754097273501309613317/4865432142274171520367268943296273260942561197423521933046174456868945028445080543709535127599043599554159575160250722347781429753554019775229525353533430611740047734464*y^17 - 6428892401150742859236037992857678385281133374250601715215179161111554128582270410991160571280595349732058126106273724162612273903995530025399410257906991726237300441727/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^16 - 16886730259972605322225903306905803172577647640276690681282204619829692059317243228675777470882946870441627792378026300535164568925750321804216367773270380300802641626212945/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^15 - 83775934960939718620157322686069463413421713732036450737027148234792711001790073630518394945632537767367960075158128642598046143435391851748285052547434990018739761966273817/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^14 - 216704512714146542044893540402729570887846667901071347017990993717563326861013179129308644360038282038727835493101913812482449187405869554748287898388817940481830933286696783/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^13 - 355919280556609485137572149074517471718130682710454431312377066425281511695536245188939917246174983974262633569389195068197482706728403600229470710127446445359728161660403373/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^12 - 396646361339819979194434947428761335112302814086927756244731623740365771599001878629159709251775255088604252338072879594072777911664828327886124576103767256844625847581641003/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^11 - 4747892419154885167527458980650654042018390383752925698809163831089070058349891074575994396387676591500551503317113453910766458887250876190835731051904305367902418515003120/21970467017456805771658448822072233943943752907115591228911631531798829894072316830188369560564431254236751831583007168101700518730892370547520825424549397606138653050939*y^10 - 7191516793024488190067595269585806729397886960116743770788840843789186169529022668314562363524971387552201436424912828631488896266524999714790240090028382290483749897418363/87881868069827223086633795288288935775775011628462364915646526127195319576289267320753478242257725016947007326332028672406802074923569482190083301698197590424554612203756*y^9 + 91083769694832782476227363152138541950476858827861777537781034719787037336402646798846652078019188607757909714789695917571180217687549736493964611819726158379496155311906317/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^8 + 185140262217393686160293267444811920188696418857756943066134563214712559084736210646752461835913798099234468106094812590363995456539351447722150686140146786998496332333529901/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^7 + 110427925050387246611840028797591469139637410040089108443844350173028233423394025085371691614624557682052555951449175725658120400868066203462277323544906212609086888336872791/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^6 - 14935090407618646535288644585947418859456528099327146173974141785115624157434286322953771505422888620363965861728442721364458715471194514134647643106965270797726341132979179/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096*y^5 - 676337015786174551469170252283021377091814145566029546957014764063933124066927815817455310724462055045282930326495119637724547716505099772099567698152655795587137602006651/41356173209330457923121786018018322718011770178099936430892482883386032741783184621531048584591870596210356388862131139956142152905209168089450965505034160199790405742944*y^4 + 677616063655398109584386704840898603217102639553540444126291019501100111776262099656102034915027888292059786216803386435156412945077454131194948204076101367722173117840225/175763736139654446173267590576577871551550023256924729831293052254390639152578534641506956484515450033894014652664057344813604149847138964380166603396395180849109224407512*y^3 - 723726368613858073056650285148712750711323125678885313357239541374267758050426579195178752424645380461432169301175671809189942443147580002236396041758890405338555769350691/351527472279308892346535181153155743103100046513849459662586104508781278305157069283013912969030900067788029305328114689627208299694277928760333206792790361698218448815024*y^2 + 350009879422747747855221679894798413922757176610207147978180778403818700923935956703671798307922108381060315875570009483689532806699934602625306705786885084278886436880199/703054944558617784693070362306311486206200093027698919325172209017562556610314138566027825938061800135576058610656229379254416599388555857520666413585580723396436897630048*y + 31226817850406900248530677820741241774786150943568792370117607524559463258292920181832644166251956341415936682160782234321416245959584501839183382166457614743797699458965/1406109889117235569386140724612622972412400186055397838650344418035125113220628277132055651876123600271152117221312458758508833198777111715041332827171161446792873795260096 # 4 Loop Invariant -271148549466756138328559054262628813317084020537038168625008811120945597928534743523585784462044465880016847085048934889303076594868544477847122016478864046253009280783130430200271934982296148900169231124476210383906843190083739960789/48648896508213287780366943938089237641993208579869039263089853437524253117334395276112137667593750986944883549517417649252151934082529734217027231718050074788648204100020641295858157199304698988348088942275617286306559903565075774067200*y^20 + 1960019725041302835380239383617746740595727078986662516359776378909735440248627559446596987106646699211758435009947524669735555285002242005076916835632124582194513094821768683989406843661027677149562586694619763156985300730423504621939/6486519534428438370715592525078565018932427810649205235078647125003233748977919370148285022345833464925984473268989019900286924544337297895603630895740009971819760546669418839447754293240626531779745192303415638174207987142010103208960*y^19 + 136152392128504399984647070747503404633460261863001677868307220368390285528560517425439693261778883620140311324372093341765406505466630121725081387959604947356225907399758165930769511798363790042801218292288067846613342185022163218624543/145946689524639863341100831814267712925979625739607117789269560312572759352003185828336413002781252960834650648552252947756455802247589202651081695154150224365944612300061923887574471597914096965044266826826851858919679710695227322201600*y^18 - 1093144554055532350276784256420566025191350452252192564490710222583143333484796669082041083602822615645192142191042030228537274566943616854139418797246589280457177145997424868042303923357633202834719255111728609515318911339097368612310709/145946689524639863341100831814267712925979625739607117789269560312572759352003185828336413002781252960834650648552252947756455802247589202651081695154150224365944612300061923887574471597914096965044266826826851858919679710695227322201600*y^17 - 41989801388249646430975970415314414281742515131197691987894885135178205566126559793950695732238047736021470109206878055215190520402889111711113569549264173547112322589170680420822250962615858912747766730837477314144589422735838391293613/291893379049279726682201663628535425851959251479214235578539120625145518704006371656672826005562505921669301297104505895512911604495178405302163390308300448731889224600123847775148943195828193930088533653653703717839359421390454644403200*y^16 + 49065060873129309498547917393725456438868676257751030372471465499741472250477351526949831546626183460552358300627576435509964376587779618882657720558325422568975528545768670221765391262684432149092147337047025177108089835728330721980763/140603747133564415550193479589853287982639331155690864922225009935041193980735246462751842969924135800418738582420282223272115416423496341667708762190896169909387873121446940161439760691632078001006037405420859208978496831112935763200*y^15 + 3324593588484884649626887639139052023221043079656801674843967902056803809958893336328449763460794284483808928141811266293329558316593913596999552215900097864902890799841088430421912357463965802862361357357370450299736077306206262343556967/1907799863067187756092821330905460299686008179602707422081955036765656984993505697102436771278186313213524845079114417617731448395393322910471656145805885285829341337255711423366986556835478391699925056559828128874767055041767677414400*y^14 + 1322405112481626467523923225107054600480833481499555999700257647013116808444394872599846747716382072360529586347413450154878323876974201484435027516125308739246852843937685327795297148130643991642794201725099630831024390752014581102937808089/291893379049279726682201663628535425851959251479214235578539120625145518704006371656672826005562505921669301297104505895512911604495178405302163390308300448731889224600123847775148943195828193930088533653653703717839359421390454644403200*y^13 + 545677085680337263762477659201123398327703325464437890761680196461489977346658064365817915579084269627422834555438006694644789070674852309431663826316614457047162101372148072052889356028379680549498203306397491074524441817682622107543042571/72973344762319931670550415907133856462989812869803558894634780156286379676001592914168206501390626480417325324276126473878227901123794601325540847577075112182972306150030961943787235798957048482522133413413425929459839855347613661100800*y^12 + 305438209607477753147205550669661076984110421070497992580300830673565632805990938207560514955592800501146198034150238427808095080615079464673013874137771948751846459726083005958568770602567788752155594436164358174239675496989672483066640007/36486672381159965835275207953566928231494906434901779447317390078143189838000796457084103250695313240208662662138063236939113950561897300662770423788537556091486153075015480971893617899478524241261066706706712964729919927673806830550400*y^11 + 625831890251268086279396688844269063997936811976745300923947901531684734327204985113528667607010397012656687356077749746536340169866371587570368236198133736034288277873185994641011664339194735302866330045224128177872476416240596096985528883/97297793016426575560733887876178475283986417159738078526179706875048506234668790552224275335187501973889767099034835298504303868165059468434054463436100149577296408200041282591716314398609397976696177884551234572613119807130151548134400*y^10 + 713997250100747685366392038509732492955401920900827070340901970361133764857598803068276456849609314317298282149134699280797382297360361989034761602167674865263273915566786114232277274998824342802593478423295267886723909012837416828180127999/291893379049279726682201663628535425851959251479214235578539120625145518704006371656672826005562505921669301297104505895512911604495178405302163390308300448731889224600123847775148943195828193930088533653653703717839359421390454644403200*y^9 - 560272932780522284455207174992745605797387274870902675529987360344286579450525889816638067504222328111067796370739257644868344925838461170581437026514906555675531543318467905785183707249525451284980770110478013475272834212551180414172509693/291893379049279726682201663628535425851959251479214235578539120625145518704006371656672826005562505921669301297104505895512911604495178405302163390308300448731889224600123847775148943195828193930088533653653703717839359421390454644403200*y^8 - 287753930728498995976102768380115934139997833924119186909289647860658992186942506148302111653467270064868436069614610711734992650097319467437107575814059862716086594293210836018610374330828854194792739930440714686863265381811366634352424517/72973344762319931670550415907133856462989812869803558894634780156286379676001592914168206501390626480417325324276126473878227901123794601325540847577075112182972306150030961943787235798957048482522133413413425929459839855347613661100800*y^7 - 697618323911734874789903759148162326011561279124813938799217461541021827057105239772081927032040685604508848622669491283206129740931068507933272626405347423387342141146756339712409572123280520023468234244975668394210603848945963156540569233/291893379049279726682201663628535425851959251479214235578539120625145518704006371656672826005562505921669301297104505895512911604495178405302163390308300448731889224600123847775148943195828193930088533653653703717839359421390454644403200*y^6 + 2675436510018099959482643215227520296600222519477370875103517584998083442117444304878320989481251298708624087147598608479868452514497982697490488907729108769035449089289028513798819256080210493085068594019057855424663883627919970724862581/9121668095289991458818801988391732057873726608725444861829347519535797459500199114271025812673828310052165665534515809234778487640474325165692605947134389022871538268753870242973404474869631060315266676676678241182479981918451707637600*y^5 + 38723890635526433499200718375344242332341648351851216816860753732637294607443647782380866033431034811785673247454386345130470950560850677030742280522989210564845617042012560874015970223055324739470955933536894695810627056009217905419288137/72973344762319931670550415907133856462989812869803558894634780156286379676001592914168206501390626480417325324276126473878227901123794601325540847577075112182972306150030961943787235798957048482522133413413425929459839855347613661100800*y^4 - 9052255452659478256015102510852590438736318747831314037841407569362284018366010968961017892847921058036016279488895823974743622129249727093865994535913764060047529205069931235109581590814407165260339048482735567045032862024993645679051939/97297793016426575560733887876178475283986417159738078526179706875048506234668790552224275335187501973889767099034835298504303868165059468434054463436100149577296408200041282591716314398609397976696177884551234572613119807130151548134400*y^3 + 608951957711032668565710381922982488389854911428145768002336792394043106765412903316172266059268352896785767508799347829473194502369649593440217048205650899080454265904544791879475041397596632443427091271086800123225157807920463116445873/12162224127053321945091735984522309410498302144967259815772463359381063279333598819028034416898437746736220887379354412313037983520632433554256807929512518697162051025005160323964539299826174747087022235568904321576639975891268943516800*y^2 - 1852115337506247838476854185753741189560417962011102539553028151479094691618782280359109980887274467106000543997976718660215688265016257502487540924202258071500684802510450252558921541641736780297513001254357886668069896538381788826017091/145946689524639863341100831814267712925979625739607117789269560312572759352003185828336413002781252960834650648552252947756455802247589202651081695154150224365944612300061923887574471597914096965044266826826851858919679710695227322201600*y - 40940124746620045060310335731290589072177060762004209369908967123988917352057645718259214953504202501407140487258838244920550951405888316444830728607166294870037076154613053777696100284342102400699048968347110816437686471582561573246997/32432597672142191853577962625392825094662139053246026175393235625016168744889596850741425111729167324629922366344945099501434622721686489478018154478700049859098802733347094197238771466203132658898725961517078190871039935710050516044800