# Manifold: Census Knot K8_147

# Number of Tetrahedra: 8

# Number Field
x^16 + 6*x^15 + 32*x^14 + 383*x^13 + 1789*x^12 + 2462*x^11 - 1437*x^10 - 2957*x^9 + 3015*x^8 + 1137*x^7 - 7380*x^6 - 18183*x^5 - 18827*x^4 + 10357*x^3 + 27370*x^2 + 12454*x + 845 

# Approximate Field Generator
-0.272114171325571 - 1.17458151068529*I

# Shape Parameters
7375900330209880575815/1335124314861951739311017*y^15 + 37782473605876353747227/1335124314861951739311017*y^14 + 202706793125599896628004/1335124314861951739311017*y^13 + 2646515705811698298966651/1335124314861951739311017*y^12 + 10869617685653340433276370/1335124314861951739311017*y^11 + 8568155459315639459947424/1335124314861951739311017*y^10 - 18265826019689551336659415/1335124314861951739311017*y^9 - 5639865596322063740461662/1335124314861951739311017*y^8 + 27672400893379339585955317/1335124314861951739311017*y^7 - 16349205360739083218850032/1335124314861951739311017*y^6 - 40291680704297207336634260/1335124314861951739311017*y^5 - 97978344622033519160815036/1335124314861951739311017*y^4 - 52732767462547284112525624/1335124314861951739311017*y^3 + 124712471008254861983887348/1335124314861951739311017*y^2 + 90119220003577837789971666/1335124314861951739311017*y + 799868926661381003917611/102701870373996287639309

12329794075749903571709/86783080466026863055216105*y^15 + 15285587390747615000374/86783080466026863055216105*y^14 + 104623759714592237599873/86783080466026863055216105*y^13 + 3145887420662807289226397/86783080466026863055216105*y^12 + 1215901054745022652638311/86783080466026863055216105*y^11 - 52733971565000241918324602/86783080466026863055216105*y^10 - 76315298005802234630266493/86783080466026863055216105*y^9 + 99725830990772419076804417/86783080466026863055216105*y^8 + 10110320408508875031391937/17356616093205372611043221*y^7 - 176872819853327799545202817/86783080466026863055216105*y^6 + 10488865109328977105762212/17356616093205372611043221*y^5 + 45819279758729922536950068/86783080466026863055216105*y^4 + 537794343837616374166092232/86783080466026863055216105*y^3 + 414511928570491842695215128/86783080466026863055216105*y^2 - 100899593891192517227896966/17356616093205372611043221*y - 31478323964141283126805773/6675621574309758696555085

-2110099322986883005157584121488/2146124613646113083135361574635577*y^15 - 10708901649855512591444869777328/2146124613646113083135361574635577*y^14 - 57752883758260558077350505078656/2146124613646113083135361574635577*y^13 - 755697932235053602947312775632681/2146124613646113083135361574635577*y^12 - 3081381885242264421344316293379383/2146124613646113083135361574635577*y^11 - 2401901612558003668781003637232068/2146124613646113083135361574635577*y^10 + 4952975143598926543719225499695320/2146124613646113083135361574635577*y^9 + 995994096195629998278046360015900/2146124613646113083135361574635577*y^8 - 7698797473094094464319722615773851/2146124613646113083135361574635577*y^7 + 4952541242954981026110982417548112/2146124613646113083135361574635577*y^6 + 10153183940762854604204264650409675/2146124613646113083135361574635577*y^5 + 27510524193983253670466416509307175/2146124613646113083135361574635577*y^4 + 15717860521573620381277903379999940/2146124613646113083135361574635577*y^3 - 33706708883279455314807204907717961/2146124613646113083135361574635577*y^2 - 22322906760365293702586149364272639/2146124613646113083135361574635577*y - 1840390062252039073526988166974171/2146124613646113083135361574635577

-448447214504623736691376690559360551/574867377385088788787887357466609561951*y^15 - 2525069400729659102975649898903118939/574867377385088788787887357466609561951*y^14 - 13395307667961100695142583156643789662/574867377385088788787887357466609561951*y^13 - 166581437522379393212524572572826218462/574867377385088788787887357466609561951*y^12 - 739822237990471701903396200403876794157/574867377385088788787887357466609561951*y^11 - 820379646523457997907507581749889983804/574867377385088788787887357466609561951*y^10 + 1015745134882869286635641698044765280140/574867377385088788787887357466609561951*y^9 + 1063154768365463610713271069556426752930/574867377385088788787887357466609561951*y^8 - 1837161464788148426725786716360480229202/574867377385088788787887357466609561951*y^7 + 191969077967476437305275617722759257426/574867377385088788787887357466609561951*y^6 + 3649365930838761675675689324193277375011/574867377385088788787887357466609561951*y^5 + 6394472979764932966826251674186107910254/574867377385088788787887357466609561951*y^4 + 6291726458180018004242433450777620438527/574867377385088788787887357466609561951*y^3 - 7286599901129054309173337907437330590671/574867377385088788787887357466609561951*y^2 - 10545868575407754289944047555354036311107/574867377385088788787887357466609561951*y - 686526839442569176992983377052161262910/574867377385088788787887357466609561951

6926075879754181292105919651713254148242/17001702686164000928401768597074977794700825*y^15 + 5454471601995521124740970731119292045931/2428814669452000132628824085296425399242975*y^14 + 205432935006724811447781857928609064544334/17001702686164000928401768597074977794700825*y^13 + 2567951887119008208290334450674332595420341/17001702686164000928401768597074977794700825*y^12 + 11223349913254642358303775500245698740594383/17001702686164000928401768597074977794700825*y^11 + 12546019077648205678977364809248513688299539/17001702686164000928401768597074977794700825*y^10 - 11336993309424530552037033709161001405420949/17001702686164000928401768597074977794700825*y^9 - 6696876687560231634664137011249795455525624/17001702686164000928401768597074977794700825*y^8 + 1077009632914392569717046669081522995407586/680068107446560037136070743882999111788033*y^7 - 543201195787718723232801086316752789300528/2428814669452000132628824085296425399242975*y^6 - 7292204155217533224463730596978968249217501/3400340537232800185680353719414995558940165*y^5 - 101543613815640496875454290995301911166767411/17001702686164000928401768597074977794700825*y^4 - 87262501318815128730197883684997553137086254/17001702686164000928401768597074977794700825*y^3 + 79002154346686329300501664279015824251571614/17001702686164000928401768597074977794700825*y^2 + 17190079651475731519826149977446781112302574/3400340537232800185680353719414995558940165*y + 2469711849530919860885631420069568260644161/1307823283551076994492443738236536753438525

321947191988830093522186716097833327/574867377385088788787887357466609561951*y^15 + 1805370267705513285367181540932965737/574867377385088788787887357466609561951*y^14 + 9533132824857264835239995239965858532/574867377385088788787887357466609561951*y^13 + 119332442395885059754835748376662532351/574867377385088788787887357466609561951*y^12 + 527721324983583901381716721296443071198/574867377385088788787887357466609561951*y^11 + 565504624796652428006067144905396717731/574867377385088788787887357466609561951*y^10 - 749154465484148275038951081206942619952/574867377385088788787887357466609561951*y^9 - 660219459183173288023499441202018574450/574867377385088788787887357466609561951*y^8 + 1362205308184125869296089939087320406138/574867377385088788787887357466609561951*y^7 - 218043955313686670356050624798201015738/574867377385088788787887357466609561951*y^6 - 2472478328487300268084198994122709569038/574867377385088788787887357466609561951*y^5 - 4821739142962492612153179996543283016235/574867377385088788787887357466609561951*y^4 - 3860050975176085936075758550564310021542/574867377385088788787887357466609561951*y^3 + 5276064311051289886837487221254711644474/574867377385088788787887357466609561951*y^2 + 6249182860468255521494667270044242614284/574867377385088788787887357466609561951*y + 878006322799205665680029066747510134879/574867377385088788787887357466609561951

7284164904320566218773930065399830848/53462666096813257357273524244394689261443*y^15 + 53932114389965008816314283792294869220/53462666096813257357273524244394689261443*y^14 + 287614949520067384904698225298384809399/53462666096813257357273524244394689261443*y^13 + 3096816269728613994534153066379184595515/53462666096813257357273524244394689261443*y^12 + 16842445984990474366243041417967207723367/53462666096813257357273524244394689261443*y^11 + 11410968070977386556863199959130601136241/17820888698937752452424508081464896420481*y^10 + 10208219603283869750034173564233335964369/53462666096813257357273524244394689261443*y^9 - 629464953241125758302338141530237474867/1724602132155266366363662072399828685853*y^8 + 42497284922540090878880696076997421139421/53462666096813257357273524244394689261443*y^7 + 46986079369183269136866711687276251929555/53462666096813257357273524244394689261443*y^6 - 49732307283756878732925097178470364420387/53462666096813257357273524244394689261443*y^5 - 131318078742034061292681704650823664943835/53462666096813257357273524244394689261443*y^4 - 2759999401060807575692860998276403332397/574867377385088788787887357466609561951*y^3 - 33415149079143360863878920319006058898344/53462666096813257357273524244394689261443*y^2 + 4731647401668251677970195875882198453732/1724602132155266366363662072399828685853*y + 33585343651869966799282512605619556734195/17820888698937752452424508081464896420481

658017317536921774503654509731267783/574867377385088788787887357466609561951*y^15 + 10223740082616860552508936935543604238/1724602132155266366363662072399828685853*y^14 + 54900001537786083144447880539276515924/1724602132155266366363662072399828685853*y^13 + 711774929357702173024461758486645397467/1724602132155266366363662072399828685853*y^12 + 2951671282513284520313137700035631358979/1724602132155266366363662072399828685853*y^11 + 2486918858043592237157802255681479220472/1724602132155266366363662072399828685853*y^10 - 1544713192489318841107169829484216571743/574867377385088788787887357466609561951*y^9 - 1569507744685138668523895768296347473533/1724602132155266366363662072399828685853*y^8 + 7575057334789458745802955416314362333668/1724602132155266366363662072399828685853*y^7 - 3722933149018044597150582508582455641239/1724602132155266366363662072399828685853*y^6 - 11143632659115500930260645912227561081769/1724602132155266366363662072399828685853*y^5 - 26541735490358548886163050289602742139543/1724602132155266366363662072399828685853*y^4 - 15310533404063546707796635054036175621596/1724602132155266366363662072399828685853*y^3 + 10463871293240136087142067117809507041882/574867377385088788787887357466609561951*y^2 + 25027645323952944247187245257074775717287/1724602132155266366363662072399828685853*y + 2638880308894742371981862107545170790800/1724602132155266366363662072399828685853


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

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

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

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

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

# 1 Loop Invariant
224247620960881606427397268372769839640/7473275906006154254242535647065924305363*y^15 + 1092876110747997870404344830985938399803/7473275906006154254242535647065924305363*y^14 + 5969334520420255340685595806535846051205/7473275906006154254242535647065924305363*y^13 + 79329868568432501180309253291791641543134/7473275906006154254242535647065924305363*y^12 + 312749669256104943558472476942605615013958/7473275906006154254242535647065924305363*y^11 + 210026829863263843421684964339091282933062/7473275906006154254242535647065924305363*y^10 - 506137127411141587903807840367528731097826/7473275906006154254242535647065924305363*y^9 + 15505085870919947970648072076368780035298/7473275906006154254242535647065924305363*y^8 + 735719580949849736843060950384084862167350/7473275906006154254242535647065924305363*y^7 - 546463892845219523597260789690812585992879/7473275906006154254242535647065924305363*y^6 - 933783074469500423431930131533126255160840/7473275906006154254242535647065924305363*y^5 - 2872304331407125458078203561527233579907386/7473275906006154254242535647065924305363*y^4 - 964405233103211647601742679159996444327642/7473275906006154254242535647065924305363*y^3 + 2908233249863941897737627099964156724242926/7473275906006154254242535647065924305363*y^2 + 1972816074578295584866218267308186241826895/7473275906006154254242535647065924305363*y + 7397285340984625697974567827349857536001/574867377385088788787887357466609561951

# 2 Loop Invariant
1690250582924071698309561582423115221428327342498822090681907197156655873331967993/6759330279391403902278136702303144528771908561538096391311788416452508710527619271688*y^15 + 9134146233248694183431270108936529870482256828767837147662681979184336263433626327/6759330279391403902278136702303144528771908561538096391311788416452508710527619271688*y^14 + 10829572211502332076290686447609529319310048412246493886054959806410326499844870297/1502073395420311978284030378289587673060424124786243642513730759211668602339470949264*y^13 + 618905328236174453715062056997991561402610882603476300432841504433197461702645027811/6759330279391403902278136702303144528771908561538096391311788416452508710527619271688*y^12 + 73831672227569055497219356609890985029650033715878655662728849189323706388994079097/187759174427538997285503797286198459132553015598280455314216344901458575292433868658*y^11 + 5224544215129939060476272106776055344841076499794493049626921733529659141894709213163/13518660558782807804556273404606289057543817123076192782623576832905017421055238543376*y^10 - 7623991278343178964678288630190410494615770687936398461279638639817652250904622986335/13518660558782807804556273404606289057543817123076192782623576832905017421055238543376*y^9 - 1655676711604933410284520032287954273421980577326720224669667237839726840688955636275/4506220186260935934852091134868763019181272374358730927541192277635005807018412847792*y^8 + 59162911208924442704992575714699558828627881008666764315384154327540706529686759411/62586391475846332428501265762066153044184338532760151771405448300486191764144622886*y^7 - 1417659107337688379139315079438825946554243103808262841659845938546593606089711638641/4506220186260935934852091134868763019181272374358730927541192277635005807018412847792*y^6 - 797027672255614090248689063460999502564965428801216613224070082661165097836865078233/500691131806770659428010126096529224353474708262081214171243586403889534113156983088*y^5 - 2723001492346814822686273667180135965654390856383890178438885883871421867726759832975/751036697710155989142015189144793836530212062393121821256865379605834301169735474632*y^4 - 35396412389876623946855703238268580850540690901276244681681044018341102651754859244451/13518660558782807804556273404606289057543817123076192782623576832905017421055238543376*y^3 + 13459931899634451244545649509536507640344416036515416399248139757399749854196749594373/3379665139695701951139068351151572264385954280769048195655894208226254355263809635844*y^2 + 1184212137099378664756283374949295420270877991563926745392627074554429844211244888469/281638761641308495928255695929297688698829523397420682971324517352187862938650802987*y + 1342755809317481723023911164804687775195644148831691000207041495245392310180259793777/1039896966060215984965867184969714542887985932544322521740275140992693647773479887952

# 3 Loop Invariant
9559610085507678048616786890001671810250929893858632378969317683532181221050963101201021973780904084943/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^15 + 8644920666891466009949493707592996770748129802424670604445153781324328900811332391991496692444274173647/18442162930933468026817267458638161144932037236621502012515384927336644505919399439373925436152326003249504*y^14 + 277810288143908103338043241927517540691151309423176449292545622139027471838670358727009907315314137905331/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^13 + 146269831750279332711141384864190222929950947771006630056726016926266245501170676608557085813345262135349/4610540732733367006704316864659540286233009309155375503128846231834161126479849859843481359038081500812376*y^12 + 472921815498034176570850868370630131193185622791175928504677009530738310468873743469663398491032442075021/3457905549550025255028237648494655214674756981866531627346634673875620844859887394882611019278561125609282*y^11 + 15452790793262415049625634784805263320654572559949916053047240903255166374845910750292020457073447512567519/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^10 - 10056220407165486558893463605966922946429800902267777965919454411058361487308513045293550865034903306086293/55326488792800404080451802375914483434796111709864506037546154782009933517758198318121776308456978009748512*y^9 - 14602222647010266281662218228571005554362590582474326194084573087933162741112566304392711142363871385986617/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^8 + 499601477083958030747445145545686146467581892718536866380677418810605659602122844892209475619913909389421/1651536978889564300909009026146700998053615274921328538434213575582386075156961143824530636073342627156672*y^7 - 4640975552354478284508852362325559185833469603232683745838466523776212864285286617198997139736129823806437/55326488792800404080451802375914483434796111709864506037546154782009933517758198318121776308456978009748512*y^6 - 28981422749448121356471338783744546020166545786746510899461011259570475297693785532895750251077504556745505/55326488792800404080451802375914483434796111709864506037546154782009933517758198318121776308456978009748512*y^5 - 142399522124119049031827691282886019856792987980194382347773651134556195442128422130315738656479456024668233/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^4 - 106711652189478901270740148037433281577084434942922399964493504131572059157369243612853050180310356129856711/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^3 + 138924966675191316910162485020009528052630204309920587349736587578495310595715822985219053571406481879695821/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y^2 + 167623967726537833028780236222561658802239953681428294744279209451707235392263276242362090633548181483198479/110652977585600808160903604751828966869592223419729012075092309564019867035516396636243552616913956019497024*y + 3771881427771271172726636123348918095810822293353767097996227100888707362805966424894065032458022740357975/8511767506584677550838738827063766682276324878440693236545562274155374387347415125864888662839535078422848

# 4 Loop Invariant
571595023333277802345520351243959980016413298393577953161591726974200260615583668430854864755528548445876905591944376087550169610477844862702247358459/3002458485299849176231627266631790420694414612756365615158182394476036226242959027941380428896162307285790420837730693938301684504482789575101193417118720*y^15 + 764000293971770797694620499198456704568956032483415079158972794658060742426533767162727562403910385442058695319037138873286656848398302558150627452669/750614621324962294057906816657947605173603653189091403789545598619009056560739756985345107224040576821447605209432673484575421126120697393775298354279680*y^14 + 201929625761775102560262272123815942546634526411723247735232225882097736861587633420293523782693832382475795131497606530771350812832342279467676292111/37067388707405545385575645267059140996227340898226735989607190055259706496826654665942968257977312435627042232564576468374094870425713451544459177989120*y^13 + 104280924558734527161875258805609061311347785407570933840359688189503498728893007852619894302248799659497690436892790356686205805659478656004661183000739/1501229242649924588115813633315895210347207306378182807579091197238018113121479513970690214448081153642895210418865346969150842252241394787550596708559360*y^12 + 98674711085425479879287542474152617560092190121475633601698206951228557131634374640457209397651338093554752896718537069805961188901359008201613622312087/333606498366649908470180807403532268966046068084040623906464710497337358471439891993486714321795811920643380093081188215366853833831421063900132601902080*y^11 + 849684937811354324832010833388428199676960327381799382793055766825063978352031013033079541026227434274786414106583455331079435711579420300012726582594547/3002458485299849176231627266631790420694414612756365615158182394476036226242959027941380428896162307285790420837730693938301684504482789575101193417118720*y^10 - 256031009254080703562606838583112892930641957012969299144736413611255894500838388780464280675810436734046966183320709427615941487581078335996705264661597/600491697059969835246325453326358084138882922551273123031636478895207245248591805588276085779232461457158084167546138787660336900896557915020238683423744*y^9 - 126192827375407137744305577720328584848564071620044479625352500979879273046709168126590382136796838157234571616678082695173600543682391321009342300985517/500409747549974862705271211105298403449069102126060935859697065746006037707159837990230071482693717880965070139621782323050280750747131595850198902853120*y^8 + 38997442910574114558218714060522460627445453605079797076229537905646035850471274885816269610236207499762934667443230228518927857710373519310309482514063/55601083061108318078363467900588711494341011347340103984410785082889559745239981998914452386965968653440563348846864702561142305638570177316688766983680*y^7 - 255307139946957411785061570568951992583569033194265031897621865421780222245360092738733738844116920602458940107926335844002994135488309409955915987125849/1000819495099949725410542422210596806898138204252121871719394131492012075414319675980460142965387435761930140279243564646100561501494263191700397805706240*y^6 - 25647118939356959608889378000594886560971776971298655377784221820252587040894304410094411424262339027617218623200648017450489753816840288814666414702353/22240433224443327231345387160235484597736404538936041593764314033155823898095992799565780954786387461376225339538745881024456922255428070926675506793472*y^5 - 60660012974020680604388464366164685516597840953326828255181367650309662547706494513338202426351032553574506052047868000460641670810164276300725489369727/22240433224443327231345387160235484597736404538936041593764314033155823898095992799565780954786387461376225339538745881024456922255428070926675506793472*y^4 - 1152757759212747022530103059271776495820264547985879170857717024127446012505500731624902571951256180290514922162643322804414139948586563595030462209931271/600491697059969835246325453326358084138882922551273123031636478895207245248591805588276085779232461457158084167546138787660336900896557915020238683423744*y^3 + 444555970767853559495186098748401637043583289575410425084503047237520714809218382072940332420819042280532653906707977021938025934481993587486237355558501/150122924264992458811581363331589521034720730637818280757909119723801811312147951397069021444808115364289521041886534696915084225224139478755059670855936*y^2 + 1537164334049410340899014116179190643883848012344659095099725467415258456861464565212477683377398263996995203024411825745953160235968494850899031543750359/500409747549974862705271211105298403449069102126060935859697065746006037707159837990230071482693717880965070139621782323050280750747131595850198902853120*y + 149675762398317300582181228558079865415826963666926196170764518229465693686320078342199554159071950008153730263086935295247381168968402962277518200762231/230958345023065321248586712817830032361108816365874278089090953421233555864843002149336956068935562098906955449056207226023206500344829967315476416701440