# Manifold: Census Knot K8_150 # Number of Tetrahedra: 8 # Number Field x^14 + 64*x^13 + 1558*x^12 + 18197*x^11 + 109764*x^10 + 361873*x^9 + 772683*x^8 + 1128525*x^7 + 1158435*x^6 + 819668*x^5 + 369840*x^4 + 80736*x^3 - 4848*x^2 - 4848*x - 304 # Approximate Field Generator -0.434250673904929 + 0.971699766215280*I # Shape Parameters 5629521946391165187699909/9263961500999913940578452404*y^13 + 1439533645897470165726196787/37055846003999655762313809616*y^12 + 34979413231840117661233060769/37055846003999655762313809616*y^11 + 407242137960223968830762783261/37055846003999655762313809616*y^10 + 305297770456509822347966118893/4631980750499956970289226202*y^9 + 3986717141431456571211704908469/18527923001999827881156904808*y^8 + 16829646292408104001449247919699/37055846003999655762313809616*y^7 + 12108233587914568350263256932395/18527923001999827881156904808*y^6 + 24381194546304146690170401850517/37055846003999655762313809616*y^5 + 8385362119038466592679892445887/18527923001999827881156904808*y^4 + 3608690104975968092334578255003/18527923001999827881156904808*y^3 + 352603057359123480904622823023/9263961500999913940578452404*y^2 - 5599428154973471443280343051/2315990375249978485144613101*y + 344475838672290374563461995/4631980750499956970289226202 -14407153748679037644834602779/1408122148151986918967924765408*y^13 - 460570220814608781756267477421/704061074075993459483962382704*y^12 - 589150002511873449483979745033/37055846003999655762313809616*y^11 - 260742017853902069363569959125063/1408122148151986918967924765408*y^10 - 782399240156948512582554373234679/704061074075993459483962382704*y^9 - 5114089785739166764832323650572575/1408122148151986918967924765408*y^8 - 10807523778625570664176132851542231/1408122148151986918967924765408*y^7 - 15573867827106244567297652156842233/1408122148151986918967924765408*y^6 - 15704752634021968638180042913221411/1408122148151986918967924765408*y^5 - 5409252749978461584924300588336457/704061074075993459483962382704*y^4 - 145276477032856328110015862278283/44003817129749591217747648919*y^3 - 218356602261615184064782988506241/352030537037996729741981191352*y^2 + 15337203275774843771877494975579/176015268518998364870990595676*y + 1943385506131495735269409409645/44003817129749591217747648919 778654529733195548469832471748894835/1226057174351058017265880277040743229476*y^13 + 12363632640670228349164108508168204569/306514293587764504316470069260185807369*y^12 + 297289050310196601520681231553705156945/306514293587764504316470069260185807369*y^11 + 3399137031350349876573674524162215388092/306514293587764504316470069260185807369*y^10 + 79003970503573251256241631757688711667797/1226057174351058017265880277040743229476*y^9 + 8752680996913657400413807431609404094875/43787756226823500616638581322883686767*y^8 + 492251060186975485147619213930056942437701/1226057174351058017265880277040743229476*y^7 + 667541013417802268365237297787714296591817/1226057174351058017265880277040743229476*y^6 + 157094373895340551868880840266656437339256/306514293587764504316470069260185807369*y^5 + 28014062777520315917685795387327377928825/87575512453647001233277162645767373534*y^4 + 142590054391207256002287869738112056335139/1226057174351058017265880277040743229476*y^3 + 3233488190909280508628230950152674708276/306514293587764504316470069260185807369*y^2 - 2000302915706324446263296455321083380422/306514293587764504316470069260185807369*y - 160456462927939270337127544992660106713/306514293587764504316470069260185807369 47930721855779626607299003409353727/1233457921882352130046157220362920754*y^13 + 6078662475614936771794405406462929123/2466915843764704260092314440725841508*y^12 + 291542852992590530384299557762454629169/4933831687529408520184628881451683016*y^11 + 3317053212990300691239389498822627827977/4933831687529408520184628881451683016*y^10 + 19090585822725831007902987636931459029529/4933831687529408520184628881451683016*y^9 + 7267131790613296174719238243380194455336/616728960941176065023078610181460377*y^8 + 56956828023747820148896137320164106160729/2466915843764704260092314440725841508*y^7 + 149317821292236079098392134261892928232931/4933831687529408520184628881451683016*y^6 + 67123736508369301241360215369600317085279/2466915843764704260092314440725841508*y^5 + 78197882811947182375042492946785257273327/4933831687529408520184628881451683016*y^4 + 3117960143215535583592081133254437112814/616728960941176065023078610181460377*y^3 + 206155659969191962265890123701337458949/1233457921882352130046157220362920754*y^2 - 354113984901532357624202634057443185853/1233457921882352130046157220362920754*y - 12397588246938762921688319297166752176/616728960941176065023078610181460377 -84692973588644185201065222967368595/9867663375058817040369257762903366032*y^13 - 2684969209562736929387157445313795415/4933831687529408520184628881451683016*y^12 - 8047169166921167107921344065546682427/616728960941176065023078610181460377*y^11 - 1464481334959226452904671855470715686239/9867663375058817040369257762903366032*y^10 - 4211805450742798456283928121317091655059/4933831687529408520184628881451683016*y^9 - 25623279690789190385537645920621793158289/9867663375058817040369257762903366032*y^8 - 50123167427427194774980956005074723276179/9867663375058817040369257762903366032*y^7 - 65521150810003038752948851419099350491311/9867663375058817040369257762903366032*y^6 - 58618695110672754583483693578796193756941/9867663375058817040369257762903366032*y^5 - 2111533620844625587357682198030145068769/616728960941176065023078610181460377*y^4 - 5207894401239159898220714170474329728539/4933831687529408520184628881451683016*y^3 - 10232237325245355086052688912242478585/2466915843764704260092314440725841508*y^2 + 92391553502658249216384378227548286827/1233457921882352130046157220362920754*y + 9055810265551247806877828964605721647/1233457921882352130046157220362920754 197652792450957595337863631333315653/19735326750117634080738515525806732064*y^13 + 3144492106181241157791046280511097723/4933831687529408520184628881451683016*y^12 + 151692004973645517930384776179978467021/9867663375058817040369257762903366032*y^11 + 3487145808305217142559652612395012698485/19735326750117634080738515525806732064*y^10 + 2555581112160222353790395646858299856663/2466915843764704260092314440725841508*y^9 + 64285476832310345666231227012998254408377/19735326750117634080738515525806732064*y^8 + 130462516092333846953401142005631329667255/19735326750117634080738515525806732064*y^7 + 179052983253322861837945348032945601114305/19735326750117634080738515525806732064*y^6 + 170653425614571082760070638671553742230163/19735326750117634080738515525806732064*y^5 + 3404476457075577808912178305971184943350/616728960941176065023078610181460377*y^4 + 5197441278228307213712892957256954159931/2466915843764704260092314440725841508*y^3 + 1386026998641868186950118863011092711723/4933831687529408520184628881451683016*y^2 - 93632973434430219257460094306771025251/1233457921882352130046157220362920754*y - 10730455353006274564214162895883700517/616728960941176065023078610181460377 87641978394720107099816027047108663/19735326750117634080738515525806732064*y^13 + 2765854871879923253312324822876410705/9867663375058817040369257762903366032*y^12 + 65819172548426513823615917996161580789/9867663375058817040369257762903366032*y^11 + 1477077092915810116559967473641124702931/19735326750117634080738515525806732064*y^10 + 4139684626286600707384810635224879718095/9867663375058817040369257762903366032*y^9 + 23991536690687335053091661782650632804903/19735326750117634080738515525806732064*y^8 + 44167264121388225126804128429867569717523/19735326750117634080738515525806732064*y^7 + 52768207801211794784246437406061885253785/19735326750117634080738515525806732064*y^6 + 41149858637907368875499631562191015760451/19735326750117634080738515525806732064*y^5 + 8905336094063783257082373102843289040923/9867663375058817040369257762903366032*y^4 + 320754854912306866276302534561944071973/4933831687529408520184628881451683016*y^3 - 630374398277358993078248612240234945367/4933831687529408520184628881451683016*y^2 - 60268515019338747066172526450649193199/2466915843764704260092314440725841508*y + 14182988864454300862740461023705739197/1233457921882352130046157220362920754 68247695426315345032023947299605969/9867663375058817040369257762903366032*y^13 + 1082171762157791654000860717859425905/2466915843764704260092314440725841508*y^12 + 12980848808866785462967649872355011727/1233457921882352130046157220362920754*y^11 + 1182371433970636587985312781802219691097/9867663375058817040369257762903366032*y^10 + 1703527990995287739950608536908841941667/2466915843764704260092314440725841508*y^9 + 20803495223850710786543072019651393582011/9867663375058817040369257762903366032*y^8 + 40890426789026383183845625531192065028963/9867663375058817040369257762903366032*y^7 + 53825524027624808940483329886464401259987/9867663375058817040369257762903366032*y^6 + 48640291880733634673762300364930960354481/9867663375058817040369257762903366032*y^5 + 14259286575304511373033259005826404378355/4933831687529408520184628881451683016*y^4 + 4572669382589140460970728484742881766169/4933831687529408520184628881451683016*y^3 + 65710493602108914271503027031324885295/2466915843764704260092314440725841508*y^2 - 36916622743217839288028892133026230475/616728960941176065023078610181460377*y - 5723549717918599833128344033112109125/1233457921882352130046157220362920754 # A Gluing Matrix {{5,8,6,5,5,1,2,1},{4,8,6,5,5,1,2,1},{3,6,5,5,4,1,2,1},{3,6,6,4,4,1,2,1},{3,6,5,4,4,1,2,1},{1,2,2,1,1,1,0,1},{1,2,2,2,2,0,2,0},{1,2,2,0,0,0,0,2}} # 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,1},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,1},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {6, 6, 5, 5, 5, 2, 2, 2} # f Combinatorial flattening {4, -1, 0, 0, -5, 9, 5, 0} # f' Combinatorial flattening {0, 4, 0, 0, 0, -4, 0, 0} # 1 Loop Invariant 84183235894413001166059415696465403/2466915843764704260092314440725841508*y^13 + 10650797674075017958502217891431251575/4933831687529408520184628881451683016*y^12 + 127219409494862935822739427434735732331/2466915843764704260092314440725841508*y^11 + 359498721770571954684852169628342984022/616728960941176065023078610181460377*y^10 + 16365852408666993882894732376003711995047/4933831687529408520184628881451683016*y^9 + 6122093903197062713839881658010088763689/616728960941176065023078610181460377*y^8 + 94784896620445324307686567524184816604277/4933831687529408520184628881451683016*y^7 + 122627975577172317134177021667366038301153/4933831687529408520184628881451683016*y^6 + 109201119610209647135354652884440945375827/4933831687529408520184628881451683016*y^5 + 62822467445695137002865930919581592672671/4933831687529408520184628881451683016*y^4 + 9955036383120449122254380532328463046595/2466915843764704260092314440725841508*y^3 + 98977943348463803134811485213666432284/616728960941176065023078610181460377*y^2 - 279186784795709559440513935118574408721/1233457921882352130046157220362920754*y - 20699615543040702897642079068039528101/616728960941176065023078610181460377 # 2 Loop Invariant 12528768290564986330098229945091991978271184845624218296703106422205/12290281929127284623196327801003014203318464454405417650813982736756864*y^13 + 1193669829718129224763527417462010407442255349046286511671761617316647/18435422893690926934794491701504521304977696681608126476220974105135296*y^12 + 28702482663614725605721344404252851382570574106762942871609166012007133/18435422893690926934794491701504521304977696681608126476220974105135296*y^11 + 656215775616545741866078508270974920122377748245124541420543232425818923/36870845787381853869588983403009042609955393363216252952441948210270592*y^10 + 634809414065124295590447874224856148416154460223099764371825602316816397/6145140964563642311598163900501507101659232227202708825406991368378432*y^9 + 11766615692561850760724929980696408632685486205478029568710488696106732327/36870845787381853869588983403009042609955393363216252952441948210270592*y^8 + 23392976788224528687741381047135009483224931617021382335474324157667715271/36870845787381853869588983403009042609955393363216252952441948210270592*y^7 + 31221802631626580608263033544916896272691368441129810421039694502192504689/36870845787381853869588983403009042609955393363216252952441948210270592*y^6 + 28655676860954778608140533265387290965354110077717618463050286703904440999/36870845787381853869588983403009042609955393363216252952441948210270592*y^5 + 8601155397865218029850503476667274811095702939273754931810878312347642223/18435422893690926934794491701504521304977696681608126476220974105135296*y^4 + 120407563822790890156209312844090097586269399529648850002903852584210661/768142620570455288949770487562688387707404028400338603175873921047304*y^3 + 20673975788104286023932774609237726346080978884149627026019288639572001/2304427861711365866849311462688065163122212085201015809527621763141912*y^2 - 26918467547842404688267813258512149817601369034113590381937314888430467/3072570482281821155799081950250753550829616113601354412703495684189216*y + 6351082658139117889502460020258594257891940289459669776230404344362791/1536285241140910577899540975125376775414808056800677206351747842094608 # 3 Loop Invariant -1378140217399324998832306412875720578944509837758171138048119041298624192205144747787/1226819297701164395500353812996439314818957330719062409654295717955723045715370220882944*y^13 - 5467436923491862429266114434917444599878405392130547436843207380109475642882834795801/76676206106322774718772113312277457176184833169941400603393482372232690357210638805184*y^12 - 1050656304162028137170508219732408593812274440196496476418673017152510840338890144773471/613409648850582197750176906498219657409478665359531204827147858977861522857685110441472*y^11 - 23977103973003038817539175524529392119912722759457953231883152447904969235261552268502763/1226819297701164395500353812996439314818957330719062409654295717955723045715370220882944*y^10 - 34676817360075394876979603322466400771842619524989695753333687897141313644758059822242717/306704824425291098875088453249109828704739332679765602413573929488930761428842555220736*y^9 - 426026221241726226331838229665936840153621305743776137345161086853474467726609277365115727/1226819297701164395500353812996439314818957330719062409654295717955723045715370220882944*y^8 - 841573488770903482578919542576990749038519261112007782116299554790056387437194606684254509/1226819297701164395500353812996439314818957330719062409654295717955723045715370220882944*y^7 - 1114105022470791585037972092010726130734683463767602609016260301745608521923021941046724075/1226819297701164395500353812996439314818957330719062409654295717955723045715370220882944*y^6 - 1012419084169989830876561139043458589718826154344603123714780793020742217906677511757553017/1226819297701164395500353812996439314818957330719062409654295717955723045715370220882944*y^5 - 149724105349720824228123087848233039816082061937414149400048240429110598152691742677699357/306704824425291098875088453249109828704739332679765602413573929488930761428842555220736*y^4 - 24478132289676616649035650240619516012372146415796006646168003444314932574971539116234185/153352412212645549437544226624554914352369666339882801206786964744465380714421277610368*y^3 - 2178520928627070677900125481978115545934087173539192582771625579772020927919335328646507/306704824425291098875088453249109828704739332679765602413573929488930761428842555220736*y^2 + 701589489396536128499470686893593314082602866722555214260480851818874629009210192448923/76676206106322774718772113312277457176184833169941400603393482372232690357210638805184*y + 26598196122579060528995532780469615459652411905645421589454687959690269769568453459255/38338103053161387359386056656138728588092416584970700301696741186116345178605319402592 # 4 Loop Invariant -60356072319782712940750704381740724412646922718568762454228812126714588487249237141132680195440090528268971269614334679/34380377158630617652764973480246199324739148962536252474820866108858226305940039080139311617143454717835745659129218068480*y^13 - 638479916934097580545097371767057512515028091127578868108744579873602426114772423932330402353821155027160459280762294693/5730062859771769608794162246707699887456524827089375412470144351476371050990006513356551936190575786305957609854869678080*y^12 - 30669805099965137572045106734705838838706587717161279369407593749982009683036475169328845546054841038153858248980382621557/11460125719543539217588324493415399774913049654178750824940288702952742101980013026713103872381151572611915219709739356160*y^11 - 349884634981263027607663261564635379560211473285042187999571006441777635163004176853525649187391217931104450833021389828303/11460125719543539217588324493415399774913049654178750824940288702952742101980013026713103872381151572611915219709739356160*y^10 - 101165824782505436066062413917687670300526589146779326266698976224025321670203322479603769915567958544585251309588695164103/573006285977176960879416224670769988745652482708937541247014435147637105099000651335655193619057578630595760985486967808*y^9 - 2328968694023442436719036685311228815611194988609709218825156042469276286808724378325816528144295060730200630945352438999471/4297547144828827206595621685030774915592393620317031559352608263607278288242504885017413952142931839729468207391152258560*y^8 - 12261377872200784146863842242767471365538195338632150371042962960096969255450122601856645202171030114441601051416407745141367/11460125719543539217588324493415399774913049654178750824940288702952742101980013026713103872381151572611915219709739356160*y^7 - 8110742772028062100061306171343395137590998203366985438532759998247824754998163813230019380633612226179000773107168254943197/5730062859771769608794162246707699887456524827089375412470144351476371050990006513356551936190575786305957609854869678080*y^6 - 11048339403919705621708726629482177493486766766360510973868496054709743042983298413342569336925806587272282914584632859485661/8595094289657654413191243370061549831184787240634063118705216527214556576485009770034827904285863679458936414782304517120*y^5 - 8706205787556756477357382719635257992565077023779139848652610443701563433997470370762739024843840527607233728773648068140379/11460125719543539217588324493415399774913049654178750824940288702952742101980013026713103872381151572611915219709739356160*y^4 - 2843026571590282667466764067226502409777979049849598685410146434999640379580446338926915157898070254539241990923513749979327/11460125719543539217588324493415399774913049654178750824940288702952742101980013026713103872381151572611915219709739356160*y^3 - 62647386201943075428994914446994811950234345401166178443977021962772367954136282370855620287828236437035160589669048908087/5730062859771769608794162246707699887456524827089375412470144351476371050990006513356551936190575786305957609854869678080*y^2 + 60829375439017736381611611638401626668835966695027559230544155574869661648958655439276232783201330083759001563683403149131/4297547144828827206595621685030774915592393620317031559352608263607278288242504885017413952142931839729468207391152258560*y + 8777042391661005151313772020948627520175260017407199734774080335461742705474998186644559976068697089120292178379121402681/8595094289657654413191243370061549831184787240634063118705216527214556576485009770034827904285863679458936414782304517120