# Manifold: Census Knot K8_262 # Number of Tetrahedra: 8 # Number Field x^19 + 7*x^18 + 4*x^17 - 36*x^16 + 12*x^15 + 91*x^14 - 124*x^13 - 313*x^12 - 212*x^11 - 95*x^10 + 160*x^9 + 331*x^8 - 188*x^7 + 71*x^6 - 191*x^5 + 20*x^4 + 30*x^3 + 16*x^2 + 6*x + 1 # Approximate Field Generator 0.711782002689202 + 0.333592574426375*I # Shape Parameters 3652822549689142891303824102/17358303098295774843211145575*y^18 + 24389652396921093213701720927/17358303098295774843211145575*y^17 + 6781219668081983502167012371/17358303098295774843211145575*y^16 - 133379469783886062495184375023/17358303098295774843211145575*y^15 + 86802610534967825881421641587/17358303098295774843211145575*y^14 + 60359274773730247490180502517/3471660619659154968642229115*y^13 - 549341938314125822761150674933/17358303098295774843211145575*y^12 - 959164030079252567784990450778/17358303098295774843211145575*y^11 - 473816092656956374158278437931/17358303098295774843211145575*y^10 - 211942512650204906378780903229/17358303098295774843211145575*y^9 + 659923039345292315655027547219/17358303098295774843211145575*y^8 + 1024967095171395895372721748123/17358303098295774843211145575*y^7 - 969245972341051196715414201489/17358303098295774843211145575*y^6 + 619791326354826866844180804701/17358303098295774843211145575*y^5 - 912428939674366755514834436088/17358303098295774843211145575*y^4 + 364881303950339906465164317393/17358303098295774843211145575*y^3 + 6019707752133725871289108402/17358303098295774843211145575*y^2 + 12771870945711430086189637334/3471660619659154968642229115*y + 36047107544040086544192452117/17358303098295774843211145575 -1886877809147901473952815/14170043345547571300580527*y^18 - 13345035696852336414468281/14170043345547571300580527*y^17 - 8351467780756954373436591/14170043345547571300580527*y^16 + 68334817714001206205648419/14170043345547571300580527*y^15 - 17888632765076152484424032/14170043345547571300580527*y^14 - 178846682228048857117750404/14170043345547571300580527*y^13 + 227825124775274286773447397/14170043345547571300580527*y^12 + 616077529043506211359465853/14170043345547571300580527*y^11 + 414523862769135901709659624/14170043345547571300580527*y^10 + 187469045176417547539203690/14170043345547571300580527*y^9 - 299348968521014409963357367/14170043345547571300580527*y^8 - 668584775774892828302785981/14170043345547571300580527*y^7 + 360413725450074888025989198/14170043345547571300580527*y^6 - 39985466681357542936127782/14170043345547571300580527*y^5 + 303419769382183111092394742/14170043345547571300580527*y^4 + 43266263153410323279260665/14170043345547571300580527*y^3 - 134454552698903990834333460/14170043345547571300580527*y^2 - 558110030769042580540647/14170043345547571300580527*y + 6566262973807438950782116/14170043345547571300580527 1227891617133240699243092/14170043345547571300580527*y^18 + 9061686820499414972189330/14170043345547571300580527*y^17 + 8315928559142496592672715/14170043345547571300580527*y^16 - 41231065516259805160844776/14170043345547571300580527*y^15 - 482671266149823273618427/14170043345547571300580527*y^14 + 113442129603225157667068941/14170043345547571300580527*y^13 - 112829451066856446193785096/14170043345547571300580527*y^12 - 431240032545682484455495270/14170043345547571300580527*y^11 - 408674284846351803519819438/14170043345547571300580527*y^10 - 267715574329455182262207639/14170043345547571300580527*y^9 + 64513675713486255479445048/14170043345547571300580527*y^8 + 416544027131758943430584672/14170043345547571300580527*y^7 - 67184677406307393942518361/14170043345547571300580527*y^6 + 59230203833368614753355244/14170043345547571300580527*y^5 - 186409725638758877691018945/14170043345547571300580527*y^4 - 59815251889473588511503190/14170043345547571300580527*y^3 + 4778876951203520077735998/14170043345547571300580527*y^2 + 38425263252004215860019925/14170043345547571300580527*y + 23862875679830358486496826/14170043345547571300580527 7295987564705006890414648/495951517094164995520318445*y^18 + 74048793512101742206994298/495951517094164995520318445*y^17 + 188975237093120152804076889/495951517094164995520318445*y^16 - 173122086885771327195659462/495951517094164995520318445*y^15 - 708513071069966411226996992/495951517094164995520318445*y^14 + 200230945836912477491918672/99190303418832999104063689*y^13 + 997178737736152921299827598/495951517094164995520318445*y^12 - 5181121561469129102085871632/495951517094164995520318445*y^11 - 8133496305297789783117225329/495951517094164995520318445*y^10 - 5861790424585337422150779986/495951517094164995520318445*y^9 - 2442302040906074100944726959/495951517094164995520318445*y^8 + 5191836583089534119025756457/495951517094164995520318445*y^7 + 5345865333221142561311936014/495951517094164995520318445*y^6 - 4025641230271175918604449571/495951517094164995520318445*y^5 + 2079667371929695361264330983/495951517094164995520318445*y^4 - 4799043204517549453465748983/495951517094164995520318445*y^3 + 1249981610267872231315325108/495951517094164995520318445*y^2 + 79607006857879589064727301/99190303418832999104063689*y + 323523260171295858539542493/495951517094164995520318445 -11755646455131786121091627/14170043345547571300580527*y^18 - 78532790349786632281962126/14170043345547571300580527*y^17 - 21611369605399863670309966/14170043345547571300580527*y^16 + 432354350542002966150550898/14170043345547571300580527*y^15 - 277462810480440697463304445/14170043345547571300580527*y^14 - 990813214319122224653067357/14170043345547571300580527*y^13 + 1776879301523987048584643893/14170043345547571300580527*y^12 + 3132533656754688101955058242/14170043345547571300580527*y^11 + 1462067177536616885820460328/14170043345547571300580527*y^10 + 567148927680240262010353712/14170043345547571300580527*y^9 - 2182552703504147523668247279/14170043345547571300580527*y^8 - 3294850265972963132369147959/14170043345547571300580527*y^7 + 3312498801583726860212350982/14170043345547571300580527*y^6 - 1791211906200425923647619364/14170043345547571300580527*y^5 + 2759413299791106558290205080/14170043345547571300580527*y^4 - 1051321145921966816129565394/14170043345547571300580527*y^3 - 116146094009979365255514771/14170043345547571300580527*y^2 - 126731663019485717334941602/14170043345547571300580527*y - 21748431963943336884476847/14170043345547571300580527 -23513011929951541984815608/495951517094164995520318445*y^18 - 153781410055500975517895458/495951517094164995520318445*y^17 - 23589596035382848998580929/495951517094164995520318445*y^16 + 857509228480380053371742547/495951517094164995520318445*y^15 - 665765087302903197667594913/495951517094164995520318445*y^14 - 365663742856200591833823414/99190303418832999104063689*y^13 + 3676493582426249810109676837/495951517094164995520318445*y^12 + 5731811223008249423833827617/495951517094164995520318445*y^11 + 2578479942190907008454224144/495951517094164995520318445*y^10 + 656688249540651052618325191/495951517094164995520318445*y^9 - 4520175532646179016573405731/495951517094164995520318445*y^8 - 5186047407873697584827356187/495951517094164995520318445*y^7 + 6936800279568242433637873266/495951517094164995520318445*y^6 - 5452551431518131973083592364/495951517094164995520318445*y^5 + 7318039342488150734545019132/495951517094164995520318445*y^4 - 4129254767612575085065379177/495951517094164995520318445*y^3 + 1749457004654776994560659272/495951517094164995520318445*y^2 - 152329009060826960529228337/99190303418832999104063689*y - 46534871023258241842758228/495951517094164995520318445 -18882826099711257261940/14170043345547571300580527*y^18 - 380821360822070926671835/28340086691095142601161054*y^17 - 577118736940588708066418/14170043345547571300580527*y^16 - 560451531266683598125329/28340086691095142601161054*y^15 + 993639915179421771569970/14170043345547571300580527*y^14 + 511502320741925862674028/14170043345547571300580527*y^13 - 4428889982942470199132649/28340086691095142601161054*y^12 + 3525772967045422449345973/14170043345547571300580527*y^11 + 59070581592127847229682261/28340086691095142601161054*y^10 + 104173695820042330926751681/28340086691095142601161054*y^9 + 38951693837200294603155721/14170043345547571300580527*y^8 + 31101472699062179673864327/28340086691095142601161054*y^7 + 19595918427101152891244507/28340086691095142601161054*y^6 + 5019043114325103836362354/14170043345547571300580527*y^5 + 14708804078238299360643926/14170043345547571300580527*y^4 + 23169729000305433157885233/14170043345547571300580527*y^3 + 16517825095171533526805179/28340086691095142601161054*y^2 + 10437613764189112633393572/14170043345547571300580527*y + 13421052157577485210496619/28340086691095142601161054 4597376153740332955020165/14170043345547571300580527*y^18 + 30720122382780128657946581/14170043345547571300580527*y^17 + 8731692279114868923455958/14170043345547571300580527*y^16 - 167276796746167751750075465/14170043345547571300580527*y^15 + 110627174181684061491721225/14170043345547571300580527*y^14 + 381128806428096192894106177/14170043345547571300580527*y^13 - 698150643749887257407275587/14170043345547571300580527*y^12 - 1207909358249656608065099502/14170043345547571300580527*y^11 - 580320926506939851640407167/14170043345547571300580527*y^10 - 307201241231485290389373704/14170043345547571300580527*y^9 + 717735553806877373208819585/14170043345547571300580527*y^8 + 1197373246908418091181898550/14170043345547571300580527*y^7 - 1280776736631271126705966415/14170043345547571300580527*y^6 + 763877312217855738538028447/14170043345547571300580527*y^5 - 1083085735439493838720603458/14170043345547571300580527*y^4 + 433351329391477678479284961/14170043345547571300580527*y^3 - 11985414828824466209799618/14170043345547571300580527*y^2 + 46788582909300038749658036/14170043345547571300580527*y + 10945504929149051899684506/14170043345547571300580527 # A Gluing Matrix {{1,0,0,-2,1,0,1,-1},{0,0,0,-1,0,0,1,-1},{0,0,0,-1,1,0,0,0},{-1,-1,-1,1,-1,-1,-1,0},{0,-1,1,-1,0,1,1,-1},{0,0,0,-1,1,1,1,0},{0,0,0,-1,0,1,1,0},{-1,-2,0,0,-2,0,0,0}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,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 {0, 0, 0, -1, 1, 1, 1, 0} # f Combinatorial flattening {0, 0, 0, 0, 0, 1, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 7616719739590624921064729/14170043345547571300580527*y^18 + 85264477180967607603019091/28340086691095142601161054*y^17 - 44338286613689791380101870/14170043345547571300580527*y^16 - 630593701263613358078084341/28340086691095142601161054*y^15 + 488643343890677623473715262/14170043345547571300580527*y^14 + 577820007229393430749884475/14170043345547571300580527*y^13 - 3928675738984492049337750875/28340086691095142601161054*y^12 - 2096651449223207860864595873/28340086691095142601161054*y^11 + 3670836876221780368789850447/28340086691095142601161054*y^10 + 2757460441708248402664565157/28340086691095142601161054*y^9 + 3601091903543952084924428179/28340086691095142601161054*y^8 + 230711686958363528233125639/28340086691095142601161054*y^7 - 11797372301580201583884967953/28340086691095142601161054*y^6 + 4484542901153319691009131519/28340086691095142601161054*y^5 - 1770999971347330399710323861/14170043345547571300580527*y^4 + 4387979343381237711915236259/28340086691095142601161054*y^3 + 510655349010542393190614295/14170043345547571300580527*y^2 - 620676491403285356901107073/14170043345547571300580527*y - 295418593479293007208546179/28340086691095142601161054 # 2 Loop Invariant -527441765318950992587394179001446255955642375374292664722025046983105249607351/10055577222825441125077599765850932029793494517668438181749720099499164487362196*y^18 - 4692529967800753479886950325454427294340977217467868875950135549935692319899947/13407436297100588166770133021134576039724659356891250908999626799332219316482928*y^17 - 1876908401434718704539467005981562438988319306495681379168210480073703520821733/20111154445650882250155199531701864059586989035336876363499440198998328974724392*y^16 + 77717117129605191114436264780586221621972332866513700729590794127122339356184127/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y^15 - 50413643227452754304558944577634985972751802897529835831038464636886436663923105/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y^14 - 89101204922829984186585728401003381993052733178358495882059442339937181284023819/20111154445650882250155199531701864059586989035336876363499440198998328974724392*y^13 + 106685087465840725458821090328695583979304604495839003323219679011440341953854459/13407436297100588166770133021134576039724659356891250908999626799332219316482928*y^12 + 561542159193352231675616639007366111868207383141399768660370336069156303335193669/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y^11 + 258148275937224607072199560882302624733611897287770022500887987134251546955931649/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y^10 + 92175080556311979046244153750008105950050976366275546192751320451902412039929891/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y^9 - 132537023263023549292017308990001921312285064753404646460162221337595583247111417/13407436297100588166770133021134576039724659356891250908999626799332219316482928*y^8 - 35540635848128257741163194115848354691368486026084342224262041891881827909198796/2513894305706360281269399941462733007448373629417109545437430024874791121840549*y^7 + 209538163447280730540819743833002344770846184075822900929355059288779351045096879/13407436297100588166770133021134576039724659356891250908999626799332219316482928*y^6 - 78000008426995776545410094772105119780035196003308332972054942580282703831134801/10055577222825441125077599765850932029793494517668438181749720099499164487362196*y^5 + 31177998435404421113803327817548804733609539515641868455130857547646982754978623/2513894305706360281269399941462733007448373629417109545437430024874791121840549*y^4 - 194913546020007334624343450397179080187135210790393445096947446173590213737688713/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y^3 - 9180437282202228990627051525922319878254190838344547483163944336856333463174625/13407436297100588166770133021134576039724659356891250908999626799332219316482928*y^2 - 9782513090239190440812038438218306749587647516926944788526673912730382579856683/40222308891301764500310399063403728119173978070673752726998880397996657949448784*y - 3187807064399712738385364960401333527135344124786409504301897730333187331049227/20111154445650882250155199531701864059586989035336876363499440198998328974724392 # 3 Loop Invariant 2219928422855121700367303095502502272494300726959907627233781542140808388736403053634458814539024384773765/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^18 + 7279588735209850693202563039829329604449137721693619174422315528412812849860682439998092128527610671475633/6520832253083843392059169764699057074090300111875459044137209892089993800596620548035238822615624461089888*y^17 + 2274343357923757417923493150785317889239222858912108710888481329006700402763660567726081078316132112554413/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^16 - 82088560367590464022615696249046166113891281011998053830143462028593623659382785059489981717894264283355221/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^15 + 62649989834355658697461772394950258899215930164480655592960058550789395608248670695381051322645357811071313/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^14 + 180943559127572969436205523661590006072778433700491154006349184745362854633245871581379353278544001524484611/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^13 - 359980692851394147861626063098075949056898701210960444755968923742561498609210697916829071158100199552160285/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^12 - 275820985408362128637810362443970670227657340430622444533620533435443795595614602733491375465238259831922255/6520832253083843392059169764699057074090300111875459044137209892089993800596620548035238822615624461089888*y^11 - 197176713555667498990030104444158606337325495094991264616794017781192643201846288608139552885284183051430977/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^10 - 75979384253403600209996128745217141730675449186248138038094770755647035513398778843181021668268057090673467/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^9 + 398105058594541556052379990508165373549097679264805797874243898363336584111225378290134371881902566248685881/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^8 + 282367292778067616630116864896301733205851498769800803637563947945397260956416219418209520244710585720006133/6520832253083843392059169764699057074090300111875459044137209892089993800596620548035238822615624461089888*y^7 - 169666426989753540447795004401088090054940688138440595311556980316517485425082012025577608829831678073631679/3260416126541921696029584882349528537045150055937729522068604946044996900298310274017619411307812230544944*y^6 + 104566356522096441432877824111037990934252014466584553154564168484453618486721407173471723065015475121883665/3260416126541921696029584882349528537045150055937729522068604946044996900298310274017619411307812230544944*y^5 - 562454232370181108809400362067481621419001630910307265386820360879832563127510723073789022169200210376466597/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^4 + 33424798881102416790899326478241983525151692299822950982288709756384874127121721939034326019829763326606785/1630208063270960848014792441174764268522575027968864761034302473022498450149155137008809705653906115272472*y^3 - 20906538022734646434629442135502121408665148896485734847998745826529043403052753998884643668627300515809089/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y^2 + 31672973172661104945827047450528277574584493590241982640997382011353240762208995798592443905071948058695679/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776*y + 1891339074927787512633141779579525245264805726344185721158906422015317926502984210876143686178655586974899/13041664506167686784118339529398114148180600223750918088274419784179987601193241096070477645231248922179776 # 4 Loop Invariant 165392494503527058689485357901467892747095784759411911817223809261542965096100741235210181524637564415236766949502662019345443979361016484673210824042266297309807/185096772618070085283680161591793457628712690234810235061586448029061675326423214067683252548248804721052404050444547630842112498963059123607579027047254466728960*y^18 + 3484046725524577330816717701623527909159128866358044207318939827216525386490809406589185870006272590000222602435063777115426668911959612624224171094306473335088847/555290317854210255851040484775380372886138070704430705184759344087185025979269642203049757644746414163157212151333642892526337496889177370822737081141763400186880*y^17 + 111692553400895646376107429182983203742915018251642091020306409124970927001563883060433751362665022190255316175010467109814538087717540199710914492503967388611463/30849462103011680880613360265298909604785448372468372510264408004843612554403869011280542091374800786842067341740757938473685416493843187267929837841209077788160*y^16 - 6050572502118859940834152646172491666684871856545861700727669562538569315722553703278095006006164474626048098966013953562485564428867667614034793006642579102351103/185096772618070085283680161591793457628712690234810235061586448029061675326423214067683252548248804721052404050444547630842112498963059123607579027047254466728960*y^15 + 609768623945339143203665630425464929774257716180991789645141356235460240416096784230206733640454179070571968053298297962130351844429051074029382402402575772127859/61698924206023361761226720530597819209570896744936745020528816009687225108807738022561084182749601573684134683481515876947370832987686374535859675682418155576320*y^14 + 1572760028015551206101237867833810955819070413332333586172819103037091721409336684024823268824601973092227542980938809480790741113944268764327428345738074297496443/18509677261807008528368016159179345762871269023481023506158644802906167532642321406768325254824880472105240405044454763084211249896305912360757902704725446672896*y^13 - 61753286707619040405610593170340626193141149322301495095762473163305587042474352519335778983965073277319777850658316748731274058442457953249594429445694276538461611/555290317854210255851040484775380372886138070704430705184759344087185025979269642203049757644746414163157212151333642892526337496889177370822737081141763400186880*y^12 - 16128574700471556067053105712292698429755636722198170054350526929467407544096577414882070926092552888852279697080448923213293781221357602406403084142836893291424753/55529031785421025585104048477538037288613807070443070518475934408718502597926964220304975764474641416315721215133364289252633749688917737082273708114176340018688*y^11 - 100622074760496000030869096723679256477547502718132842712211718274571574452088164153059234881087506915626900054340252699353173814847925853948961397102083794649689057/555290317854210255851040484775380372886138070704430705184759344087185025979269642203049757644746414163157212151333642892526337496889177370822737081141763400186880*y^10 - 2910777286796372848069123732945722437851599253687155199824686262346085332207631874083317936693690366112823853364317412377642599109712419384745814745456842374434213/46274193154517521320920040397948364407178172558702558765396612007265418831605803516920813137062201180263101012611136907710528124740764780901894756761813616682240*y^9 + 41043005929824796889491115923288820669377056905112400929284871159927010250556301818579204087356604332160812217442577750959441141175919397930542505331237245604284799/277645158927105127925520242387690186443069035352215352592379672043592512989634821101524878822373207081578606075666821446263168748444588685411368540570881700093440*y^8 + 164707781718343881414961322483512668803824243944424992440901827516659225106372837338625352455030055865016304168501582378305987353153540370567616656889632566559260957/555290317854210255851040484775380372886138070704430705184759344087185025979269642203049757644746414163157212151333642892526337496889177370822737081141763400186880*y^7 - 19319985528417545871904948288286165286986751276566275734846952735675477193460076234613514244529386134590163662956287117965241043778260393728138737972787764142827429/111058063570842051170208096955076074577227614140886141036951868817437005195853928440609951528949282832631442430266728578505267499377835474164547416228352680037376*y^6 + 22138992150269790932279299643438932434719441377481689855686708535591236670328152889272754119519982580236569484493685195153863012635832892011243924274219611796636069/555290317854210255851040484775380372886138070704430705184759344087185025979269642203049757644746414163157212151333642892526337496889177370822737081141763400186880*y^5 - 40339939112480435555086461163256063210862054037621331665072888639068799650153413944542361902630706837322751210635256784359494080785099442953685690438142960307905699/277645158927105127925520242387690186443069035352215352592379672043592512989634821101524878822373207081578606075666821446263168748444588685411368540570881700093440*y^4 + 35462044088007121882517296279547239852863386047233226569527473239340786839640788073798898736503542966819678867035679502613356518762345655042360512563182542617573/12339784841204672352245344106119563841914179348987349004105763201937445021761547604512216836549920314736826936696303175389474166597537274907171935136483631115264*y^3 + 6148179424343767965906620692160616291137229715839031978708129014258916751451039841943943140125805445277595155445538489979751122266967315381852394444026846033445311/138822579463552563962760121193845093221534517676107676296189836021796256494817410550762439411186603540789303037833410723131584374222294342705684270285440850046720*y^2 + 1673306764005632805578582305012249757920162114224735174608731687271214591899085157209594363762029132943214570205905075893526393641382644940431057079412718446905199/277645158927105127925520242387690186443069035352215352592379672043592512989634821101524878822373207081578606075666821446263168748444588685411368540570881700093440*y + 596302866790559018170951789027896144942903827564873468408677749709562643304670026583120163253731722168084067237837017886368845242453333201822418980855047124266159/92548386309035042641840080795896728814356345117405117530793224014530837663211607033841626274124402360526202025222273815421056249481529561803789513523627233364480