# Manifold: Census Knot K8_142 # Number of Tetrahedra: 8 # Number Field x^14 + 175*x^13 - 567*x^12 + 6153*x^11 - 53736*x^10 - 150508*x^9 + 713039*x^8 + 5149645*x^7 - 1012687*x^6 + 1965360*x^5 - 1561880*x^4 - 6386192*x^3 - 2856720*x^2 - 4525056*x - 2154816 # Approximate Field Generator -0.0812856151357002 + 0.898081054074056*I # Shape Parameters -14612876283647908611693262399574792507253034561/49737010354122076829301369102233830341347872983217968*y^13 - 642116437581386873876926152820659581897194388305/12434252588530519207325342275558457585336968245804492*y^12 + 131574359087083532183365998015092451617540641093/1036187715710876600610445189629871465444747353817041*y^11 - 14152667403387199200132580401588808240381564032211/8289501725687012804883561517038971723557978830536328*y^10 + 240091592872959292071928267597070409393948723634589/16579003451374025609767123034077943447115957661072656*y^9 + 172229666215519678044330092231688514318180257505960/3108563147132629801831335568889614396334242061451123*y^8 - 8327243328359601950826480936177365834135238747767483/49737010354122076829301369102233830341347872983217968*y^7 - 10244338002942908004993335823408195514489065393542231/6217126294265259603662671137779228792668484122902246*y^6 - 24100491058375046012251027753970696309951088410366923/24868505177061038414650684551116915170673936491608984*y^5 - 19886528357797351224265142010419291650258733374924835/16579003451374025609767123034077943447115957661072656*y^4 - 915578891667717740801767291494934824406426291899835/12434252588530519207325342275558457585336968245804492*y^3 + 7230037998865560146102057376057011664720171068970200/3108563147132629801831335568889614396334242061451123*y^2 + 3928334358989836226921233753458051305406978581190884/1036187715710876600610445189629871465444747353817041*y + 1490200471666479342017315605287998000064187368319760/345395905236958866870148396543290488481582451272347 -4355257304691194568418550156490671668953837127/16579003451374025609767123034077943447115957661072656*y^13 - 255113477662641771001179144989949243797399201223/5526334483791341869922374344692647815705319220357552*y^12 + 1912851890934887549005811043743452559295163126285/16579003451374025609767123034077943447115957661072656*y^11 - 8435972901495595455127238833029877952614634916677/5526334483791341869922374344692647815705319220357552*y^10 + 4490268654992838270193259169863409588427688270624/345395905236958866870148396543290488481582451272347*y^9 + 50961175178167928480566858189968062056133676269662/1036187715710876600610445189629871465444747353817041*y^8 - 844632762968725140657178636864023700051306361102335/5526334483791341869922374344692647815705319220357552*y^7 - 24416195559009848837739940485921786603955002576597215/16579003451374025609767123034077943447115957661072656*y^6 - 13256666316474412445949617768610860586798775952488003/16579003451374025609767123034077943447115957661072656*y^5 - 1862640844507881552396849719181283664416701216903389/2072375431421753201220890379259742930889494707634082*y^4 + 808135650727213701653317000126529294178428776609037/4144750862843506402441780758519485861778989415268164*y^3 + 3558050230708959281895229659750950438381799950684965/1381583620947835467480593586173161953926329805089388*y^2 + 3829080337059293541016937040441540680749648780738924/1036187715710876600610445189629871465444747353817041*y + 884748804285513281396335787968997957044723407357415/345395905236958866870148396543290488481582451272347 -3737466895721162820461230452349879606498835015/16579003451374025609767123034077943447115957661072656*y^13 - 656643872216118212676170625278156557990173274541/16579003451374025609767123034077943447115957661072656*y^12 + 555224816995820720772573459450094317204281940063/5526334483791341869922374344692647815705319220357552*y^11 - 7218082373247348993573816168037757998655877140681/5526334483791341869922374344692647815705319220357552*y^10 + 15453329881917650538348664957550371066923455399677/1381583620947835467480593586173161953926329805089388*y^9 + 174358947004701596478889265996087053370329813547783/4144750862843506402441780758519485861778989415268164*y^8 - 2234526244612409899094512112535743918299823328819001/16579003451374025609767123034077943447115957661072656*y^7 - 20999750653936213884250623442526530173231576877069751/16579003451374025609767123034077943447115957661072656*y^6 - 10313340846853933334572651947209853582907125373322515/16579003451374025609767123034077943447115957661072656*y^5 - 735718743793746290712181717850767117190390966325945/1381583620947835467480593586173161953926329805089388*y^4 + 465832799213061615518881233892642569250905537798781/1036187715710876600610445189629871465444747353817041*y^3 + 3058649026968530945896309241747357529337814229292969/1036187715710876600610445189629871465444747353817041*y^2 + 685609542092168594933318131100469231834685559002549/345395905236958866870148396543290488481582451272347*y + 126728824528451562404770417996053293403048042101543/345395905236958866870148396543290488481582451272347 -335689989346324612253025810631664643853712543496579066323/1229546784511058180095813069804369629520013304064216407416194182*y^13 - 29476393981351051261968328716276728739726665165966341490635/614773392255529090047906534902184814760006652032108203708097091*y^12 + 51439274688131467228805519214519652163783407963837680591645/409848928170352726698604356601456543173337768021405469138731394*y^11 - 318442405521196041294780891964966046528473257633134456838248/204924464085176363349302178300728271586668884010702734569365697*y^10 + 5552526759897567714490962009711146361706427480202020674117199/409848928170352726698604356601456543173337768021405469138731394*y^9 + 31458702481572438768713977692277609608520597782795089876945941/614773392255529090047906534902184814760006652032108203708097091*y^8 - 109585917381709683630040188180433748992812109132268572288021991/614773392255529090047906534902184814760006652032108203708097091*y^7 - 956361724768872293292422193910112737849536017479413180257772067/614773392255529090047906534902184814760006652032108203708097091*y^6 - 585500797021426401243893396752664500185986279917365450690491221/1229546784511058180095813069804369629520013304064216407416194182*y^5 + 236669277705888093255352120572647190631721950315871475425734059/409848928170352726698604356601456543173337768021405469138731394*y^4 + 142107010261603437377849398618321737859484072607873050768075036/614773392255529090047906534902184814760006652032108203708097091*y^3 + 2839478596445609517890576977643408075597240909697173638647222367/1229546784511058180095813069804369629520013304064216407416194182*y^2 + 352160132763543127970084335378130717837271071997528447428148465/204924464085176363349302178300728271586668884010702734569365697*y + 208254171893261696537029145005520660594929248379283105863156038/204924464085176363349302178300728271586668884010702734569365697 -335689989346324612253025810631664643853712543496579066323/1229546784511058180095813069804369629520013304064216407416194182*y^13 - 29476393981351051261968328716276728739726665165966341490635/614773392255529090047906534902184814760006652032108203708097091*y^12 + 51439274688131467228805519214519652163783407963837680591645/409848928170352726698604356601456543173337768021405469138731394*y^11 - 318442405521196041294780891964966046528473257633134456838248/204924464085176363349302178300728271586668884010702734569365697*y^10 + 5552526759897567714490962009711146361706427480202020674117199/409848928170352726698604356601456543173337768021405469138731394*y^9 + 31458702481572438768713977692277609608520597782795089876945941/614773392255529090047906534902184814760006652032108203708097091*y^8 - 109585917381709683630040188180433748992812109132268572288021991/614773392255529090047906534902184814760006652032108203708097091*y^7 - 956361724768872293292422193910112737849536017479413180257772067/614773392255529090047906534902184814760006652032108203708097091*y^6 - 585500797021426401243893396752664500185986279917365450690491221/1229546784511058180095813069804369629520013304064216407416194182*y^5 + 236669277705888093255352120572647190631721950315871475425734059/409848928170352726698604356601456543173337768021405469138731394*y^4 + 142107010261603437377849398618321737859484072607873050768075036/614773392255529090047906534902184814760006652032108203708097091*y^3 + 2839478596445609517890576977643408075597240909697173638647222367/1229546784511058180095813069804369629520013304064216407416194182*y^2 + 352160132763543127970084335378130717837271071997528447428148465/204924464085176363349302178300728271586668884010702734569365697*y + 208254171893261696537029145005520660594929248379283105863156038/204924464085176363349302178300728271586668884010702734569365697 -4711712875827040910132027141151886331857494560954317681027/9836374276088465440766504558434957036160106432513731259329553456*y^13 - 51260608359236448304851764115328074608052376009714443877190/614773392255529090047906534902184814760006652032108203708097091*y^12 + 215194949958291600335714792501265886140871266153846509050727/614773392255529090047906534902184814760006652032108203708097091*y^11 - 5098191461042558483487166169360098179932416923668746154229523/1639395712681410906794417426405826172693351072085621876554925576*y^10 + 92269491356367932983167759329989245722769749797105909723157171/3278791425362821813588834852811652345386702144171243753109851152*y^9 + 31598636457974273066664178442488811013212834499393749781935554/614773392255529090047906534902184814760006652032108203708097091*y^8 - 4304339653771841063561724640891078919572534919048507495807059693/9836374276088465440766504558434957036160106432513731259329553456*y^7 - 1816461603715062704136701024055784687245423742985197026895016195/819697856340705453397208713202913086346675536042810938277462788*y^6 + 5267641603194218793079319257545983459180151947218521653932438765/1639395712681410906794417426405826172693351072085621876554925576*y^5 + 11347317765478804965438963185729963120519231276381376682255649305/9836374276088465440766504558434957036160106432513731259329553456*y^4 - 1523932330721731705704284579578710087652591535535486518576959549/2459093569022116360191626139608739259040026608128432814832388364*y^3 + 2205820036617635852723984061654092782867332580005399403085287489/2459093569022116360191626139608739259040026608128432814832388364*y^2 - 1177323679813267133969910970303297365635096047476565588093250482/614773392255529090047906534902184814760006652032108203708097091*y + 33830258309795980606014659891380831428465396732627531877985231/204924464085176363349302178300728271586668884010702734569365697 -15846039910262335650293595789489569533703086532935883877415/14754561414132698161149756837652435554240159648770596888994330184*y^13 - 692039890536128972623454571762681497709711292418728368328327/3688640353533174540287439209413108888560039912192649222248582546*y^12 + 819508824119809537219220343485508326024553043050034641895399/1229546784511058180095813069804369629520013304064216407416194182*y^11 - 4233917742121304380943793319552311459971161587390171078567442/614773392255529090047906534902184814760006652032108203708097091*y^10 + 295432161298882129410222908543355259212096086784122849226648305/4918187138044232720383252279217478518080053216256865629664776728*y^9 + 1037162918496482135312623782005355381964151464571906187537521087/7377280707066349080574878418826217777120079824385298444497165092*y^8 - 11615048256977759092219980515673165865985524125332289695500132979/14754561414132698161149756837652435554240159648770596888994330184*y^7 - 9629626178303571018873378746830977633480571751230930545053260946/1844320176766587270143719604706554444280019956096324611124291273*y^6 + 17686320089821083926623309499177501588337377246958476784689678981/7377280707066349080574878418826217777120079824385298444497165092*y^5 - 24982005763611331494558451334550683651220915225869961535653134687/4918187138044232720383252279217478518080053216256865629664776728*y^4 + 26772838637559702689032444654218689355763648476625774188619581529/7377280707066349080574878418826217777120079824385298444497165092*y^3 + 48863871400138999467179402178174541215106905668566726953576303901/7377280707066349080574878418826217777120079824385298444497165092*y^2 + 1971836806370308938177580113856441582190714834057413906267825057/614773392255529090047906534902184814760006652032108203708097091*y + 1328140211511919940374480096117104945800743424489646735271781692/204924464085176363349302178300728271586668884010702734569365697 -13795169106089632072933707087714767673900541371166028120093/3278791425362821813588834852811652345386702144171243753109851152*y^13 - 2420063139655118619260583136970647216181685649081144285854379/3278791425362821813588834852811652345386702144171243753109851152*y^12 + 6770946258494484908368606203622120217255267637960343794631163/3278791425362821813588834852811652345386702144171243753109851152*y^11 - 84505892016344645591550728347593595363343089615003767590180821/3278791425362821813588834852811652345386702144171243753109851152*y^10 + 89018024131842791330547826432149377224100392168548575155209313/409848928170352726698604356601456543173337768021405469138731394*y^9 + 573297862128672735522988444081451276818392543020530505203345625/819697856340705453397208713202913086346675536042810938277462788*y^8 - 8111843914092425522506151345232330972846788975520561547124583571/3278791425362821813588834852811652345386702144171243753109851152*y^7 - 72118545216988897165809225827877641834741522663317551790058615649/3278791425362821813588834852811652345386702144171243753109851152*y^6 - 25340111748390098479123370820204873426415022670449628650694872765/3278791425362821813588834852811652345386702144171243753109851152*y^5 - 7083033818628346950665108159747233060335442345504802438505717952/204924464085176363349302178300728271586668884010702734569365697*y^4 - 3403840583475801631650910986449410587303739026988236967844572653/204924464085176363349302178300728271586668884010702734569365697*y^3 - 3334393384185102207224865211114317771633069732791930499268098527/204924464085176363349302178300728271586668884010702734569365697*y^2 - 1937721514098441117559657642583409636484893546789996431683290245/204924464085176363349302178300728271586668884010702734569365697*y + 41333720620232338277997375508453261598766300122832700197660924/204924464085176363349302178300728271586668884010702734569365697 # A Gluing Matrix {{1,-1,0,0,0,0,0,0},{-1,2,-1,0,0,0,0,0},{0,-1,2,-1,-1,-1,0,0},{0,0,-1,1,1,0,0,1},{0,0,-1,1,1,0,0,1},{0,0,-1,0,0,2,-1,0},{0,0,0,0,0,-1,1,1},{0,0,0,1,1,0,1,0}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,2,0,0,0,0,0,0},{0,0,2,0,0,0,0,0},{0,0,0,1,1,0,0,1},{0,0,0,0,2,0,0,1},{0,0,0,0,0,2,0,0},{0,0,0,0,0,0,2,1},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 0, 1, 1, 0, 1, 2} # f Combinatorial flattening {4, 4, 4, 2, 0, 2, 0, 3} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 4982323464509458806502079029924216699134035347298037460515/3278791425362821813588834852811652345386702144171243753109851152*y^13 + 873666711494690635093013595055135175917735750823821709723779/3278791425362821813588834852811652345386702144171243753109851152*y^12 - 2528357378108679525048006810998138666103977612861417665469559/3278791425362821813588834852811652345386702144171243753109851152*y^11 + 27672230407934442666429743797084878577409673803314284350051245/3278791425362821813588834852811652345386702144171243753109851152*y^10 - 124450348042227361256287812323788614226195206444087062899552087/1639395712681410906794417426405826172693351072085621876554925576*y^9 - 57298862644758538609404957744265371662056790067564010022252226/204924464085176363349302178300728271586668884010702734569365697*y^8 + 3944126132513529214424285647688294014898902782234832703245437893/3278791425362821813588834852811652345386702144171243753109851152*y^7 + 28257646274736663128261775466900704370590740473075550546269871809/3278791425362821813588834852811652345386702144171243753109851152*y^6 - 6277106838252027148845904547896607420439993560354540821366327859/3278791425362821813588834852811652345386702144171243753109851152*y^5 - 23363083029122794297483057270116383066979919028234834716075414771/1639395712681410906794417426405826172693351072085621876554925576*y^4 + 16014867834457782633718881464931758704989137052033136757686620619/819697856340705453397208713202913086346675536042810938277462788*y^3 + 844976408642959787459722748201636886259692102060018401301376021/204924464085176363349302178300728271586668884010702734569365697*y^2 - 1965182767955833667476877279168286945014771399642239124719150632/204924464085176363349302178300728271586668884010702734569365697*y + 1313027464015731571699672022992136327625850289954770626185916436/204924464085176363349302178300728271586668884010702734569365697 # 2 Loop Invariant 945602343273857020891721702447018996769548327445981227963203905979446349577551110827/102706455290739581406181358924994784584080784473187956453772803962046198815284569904942852384*y^13 + 864902514822591275824036551028125329297827612782972558229465031673234231996247902444175/547767761550611100832967247599972184448430850523669101086788287797579727014851039493028546048*y^12 - 17802690460700676591177858476419118656789330665962410088601319276406633124954698964834335/1643303284651833302498901742799916553345292551571007303260364863392739181044553118479085638144*y^11 + 43779730008053920459791239242459599885494255554033293385131179136393060723785016052815409/547767761550611100832967247599972184448430850523669101086788287797579727014851039493028546048*y^10 - 391041636477493426495782084682479139944836130414659867729043593412871193468113398255313019/547767761550611100832967247599972184448430850523669101086788287797579727014851039493028546048*y^9 + 443000103192196984260620167977933716882741717771084021829864629046086329819894186113287261/821651642325916651249450871399958276672646275785503651630182431696369590522276559239542819072*y^8 + 665301710134198474603944080484503340783844043310484043520427813688981308208796176899732535/68470970193826387604120905949996523056053856315458637635848535974697465876856379936628568256*y^7 + 35390801074665327426830880446010837308010130049824892207033334484935250769320153135843871779/1643303284651833302498901742799916553345292551571007303260364863392739181044553118479085638144*y^6 - 248721981950064233538333928018514505569904908592548844097456115297445348762247668121564575445/1643303284651833302498901742799916553345292551571007303260364863392739181044553118479085638144*y^5 + 293992598006426596657713034001729312699861709635741644491848385223238009675251333549376732183/1643303284651833302498901742799916553345292551571007303260364863392739181044553118479085638144*y^4 - 201656311486715888644400510771506030235590561672703099670677456801370811044564044668162575935/821651642325916651249450871399958276672646275785503651630182431696369590522276559239542819072*y^3 + 22712173684100016815783882256867382432805521346802842124581925886565666072881942983843702769/136941940387652775208241811899993046112107712630917275271697071949394931753712759873257136512*y^2 + 13813520213571968422975819209400755357991941156895989903761077462523608050366893368962755033/205412910581479162812362717849989569168161568946375912907545607924092397630569139809885704768*y + 5132567489917203815046610334941458430797015471781208334337355392649045112763069893680874995/17117742548456596901030226487499130764013464078864659408962133993674366469214094984157142064 # 3 Loop Invariant -663670356804186867931154511851231681841464298945485122607055553005390613872753278967748640676733041071/1096840374634711999577197359418050027085630395614309632924712173568577185066580014103057572094663487179005952*y^13 - 115568945653349823806669738995008061956058722196364525084181229292016777130210427460843442309334884434467/1096840374634711999577197359418050027085630395614309632924712173568577185066580014103057572094663487179005952*y^12 + 52905278188633990085225660112230375776008083188792778438572685289042584239939037844927358208862634240575/121871152737190222175244151046450003009514488401589959213856908174286353896286668233673063566073720797667328*y^11 - 1498159523933442559791190136496475102189375835820654820097959638333290400692278593187747590080271388895215/365613458211570666525732453139350009028543465204769877641570724522859061688860004701019190698221162393001984*y^10 + 6590583349415993587590685168525665429342708901405385107449611330300377641896673073984782407770303746446591/182806729105785333262866226569675004514271732602384938820785362261429530844430002350509595349110581196500992*y^9 + 8218991375160022302057358736257672350473770947238900169999894924243544499428905919771173241603870243866137/137105046829338999947149669927256253385703799451788704115589021696072148133322501762882196511832935897375744*y^8 - 530266837929688658554561485597861819273227525299962951041226823193613264372137715358580620954710580608169729/1096840374634711999577197359418050027085630395614309632924712173568577185066580014103057572094663487179005952*y^7 - 2959078338376399696960077857811707345974821783387923100947880821328856160769368978199291825828584813932317041/1096840374634711999577197359418050027085630395614309632924712173568577185066580014103057572094663487179005952*y^6 + 3226551292203875361238719822639209082706468776443787960512779336985095178422845828953781520015866017659597163/1096840374634711999577197359418050027085630395614309632924712173568577185066580014103057572094663487179005952*y^5 - 678682249732065594995572137120496830339518682054680987674803689663777031885912048174402226851856658752064173/182806729105785333262866226569675004514271732602384938820785362261429530844430002350509595349110581196500992*y^4 + 1135041787651905405710251926945815603052257547972609053581111264526105922130996182207332402251611834928077187/274210093658677999894299339854512506771407598903577408231178043392144296266645003525764393023665871794751488*y^3 + 44031987727796389801835871273610261550099425490380018097720323773822118406526997580887046283753340970317157/137105046829338999947149669927256253385703799451788704115589021696072148133322501762882196511832935897375744*y^2 + 32831787366669975061071019976195812862518832345686715989941020643463942005254275199164329398270719952508791/22850841138223166657858278321209375564283966575298117352598170282678691355553750293813699418638822649562624*y + 2879388285119486768641047000698813999079487903185282718094438209576900691633789544578577964412720745834985/1904236761518597221488189860100781297023663881274843112716514190223224279629479191151141618219901887463552 # 4 Loop Invariant -7490449505922832995067603705215743287123703234024127146160077632848092816747769297318303459657967125442912645908151699110000138415943/2748636855082229775076471604801206922808129988209590961591621206035611726376545398483521642167624901471958550590867252573341404858156318720*y^13 - 1304440722642199331407364081691292156998381243291404530496829234250269584566217034673710180211447683284051000490752516732524108193247269/2748636855082229775076471604801206922808129988209590961591621206035611726376545398483521642167624901471958550590867252573341404858156318720*y^12 + 357309395034306526561377789564058099634158066379884645154524658834362677905478389793986579857906796378198494093910579563418470100513107/183242457005481985005098106986747128187208665880639397439441413735707448425103026565568109477841660098130570039391150171556093657210421248*y^11 - 16879998117313063985321534934720593854105307300111636154500453591555957827434863733350336786816576841379488228442942507074524631313153921/916212285027409925025490534933735640936043329403196987197207068678537242125515132827840547389208300490652850196955750857780468286052106240*y^10 + 7425806304107057795268684234074865813434054238128494201706245101948324478681728306867434315116136616393027755325222144640464304837896299/45810614251370496251274526746686782046802166470159849359860353433926862106275756641392027369460415024532642509847787542889023414302605312*y^9 + 187144537361806367464361517884629758177509487218258193566187992144859754355563093731929013682424182299115774029244878228620105532990249839/687159213770557443769117901200301730702032497052397740397905301508902931594136349620880410541906225367989637647716813143335351214539079680*y^8 - 5989205801682176616575887641776516681291812127636141192544469201940032419859029075481159000185047364706916098646983260170934522174360891793/2748636855082229775076471604801206922808129988209590961591621206035611726376545398483521642167624901471958550590867252573341404858156318720*y^7 - 6690381969455277476070780867016794030821939780263977040962188123603977588805161161670422151053094744250632106063526695710627905386006059363/549727371016445955015294320960241384561625997641918192318324241207122345275309079696704328433524980294391710118173450514668280971631263744*y^6 + 36217622602088421529565385704251666841254861625835579452496005619543454070053782345272391015581597976021281080590588738247370437074463902653/2748636855082229775076471604801206922808129988209590961591621206035611726376545398483521642167624901471958550590867252573341404858156318720*y^5 - 3806716364122701469767959760793355608443042661997793155434740840283188590935279535354222296716518834183263311065187334749336091707285322243/229053071256852481256372633733433910234010832350799246799301767169634310531378783206960136847302075122663212549238937714445117071513026560*y^4 + 3172973236133878283883388037419891859170077753469403702513540072015543481138194131668984502698186021481056466679742303301688857330707202861/171789803442639360942279475300075432675508124263099435099476325377225732898534087405220102635476556341997409411929203285833837803634769920*y^3 + 550338836061081018047132140928467132634877136931831701776137468912343633599062987856946774345314157683250542347879646568879651235997596619/343579606885278721884558950600150865351016248526198870198952650754451465797068174810440205270953112683994818823858406571667675607269539840*y^2 + 11448872195873874442217111280501668885429823034851440103718496358223962037824512807871623732757202051002164858236090505091379376490223067/1789477119194160009815411201042452423703209627740619115619545056012768051026396743804376069119547461895806348040929200894102477121195520*y + 65439134285029473711893914808518153004851357017178173092815956431560009363294627529903224494902557884954286195979169696914360024957349673/9543877969035520052348859738893079593083784681283301949970906965401429605474115966956672368637586463444300522884955738101879877979709440