# Manifold: Census Knot K8_211 # Number of Tetrahedra: 8 # Number Field x^18 + 5*x^17 - 23*x^16 - 113*x^15 + 291*x^14 + 1029*x^13 - 2470*x^12 - 4523*x^11 + 13880*x^10 + 6056*x^9 - 47305*x^8 + 38353*x^7 + 34647*x^6 - 84756*x^5 + 64684*x^4 - 22219*x^3 + 1759*x^2 + 880*x - 175 # Approximate Field Generator 1.32890167282223 - 0.367261240004012*I # Shape Parameters -y + 1 357844178191565854465101693/762289208569706840529741380*y^17 + 70314530825503824426578319/26285834778265753121715220*y^16 - 3399384891590967984408954041/381144604284853420264870690*y^15 - 45135998847050664997211449993/762289208569706840529741380*y^14 + 72496789501171398701473304087/762289208569706840529741380*y^13 + 208902722487589066574698030083/381144604284853420264870690*y^12 - 295612875198701114359560783669/381144604284853420264870690*y^11 - 404361374959439632666919176965/152457841713941368105948276*y^10 + 354869436560292036931241373149/76228920856970684052974138*y^9 + 4597304413029730852100489355553/762289208569706840529741380*y^8 - 3418486983149225403263797385046/190572302142426710132435345*y^7 + 4304585497833786447460664130731/762289208569706840529741380*y^6 + 15200402784380831001340209464803/762289208569706840529741380*y^5 - 19763047240238733066704903087647/762289208569706840529741380*y^4 + 4817501786248909620467787399709/381144604284853420264870690*y^3 - 361583051278636347430320507889/190572302142426710132435345*y^2 - 16170914675720913173241829420/38114460428485342026487069*y + 18986680609792396748395192601/152457841713941368105948276 357844178191565854465101693/762289208569706840529741380*y^17 + 70314530825503824426578319/26285834778265753121715220*y^16 - 3399384891590967984408954041/381144604284853420264870690*y^15 - 45135998847050664997211449993/762289208569706840529741380*y^14 + 72496789501171398701473304087/762289208569706840529741380*y^13 + 208902722487589066574698030083/381144604284853420264870690*y^12 - 295612875198701114359560783669/381144604284853420264870690*y^11 - 404361374959439632666919176965/152457841713941368105948276*y^10 + 354869436560292036931241373149/76228920856970684052974138*y^9 + 4597304413029730852100489355553/762289208569706840529741380*y^8 - 3418486983149225403263797385046/190572302142426710132435345*y^7 + 4304585497833786447460664130731/762289208569706840529741380*y^6 + 15200402784380831001340209464803/762289208569706840529741380*y^5 - 19763047240238733066704903087647/762289208569706840529741380*y^4 + 4817501786248909620467787399709/381144604284853420264870690*y^3 - 361583051278636347430320507889/190572302142426710132435345*y^2 - 16170914675720913173241829420/38114460428485342026487069*y + 18986680609792396748395192601/152457841713941368105948276 -706171504770788218168159587/952861510712133550662176725*y^17 - 271424677208070292924718487/65714586945664382804288050*y^16 + 13987269841974416590461374968/952861510712133550662176725*y^15 + 87820525758376055657272656292/952861510712133550662176725*y^14 - 310405648657662967471787023471/1905723021424267101324353450*y^13 - 815796982563829941230696072424/952861510712133550662176725*y^12 + 1277255234366638996610089611942/952861510712133550662176725*y^11 + 785659353390320593144998887583/190572302142426710132435345*y^10 - 604383343790179943792745397501/76228920856970684052974138*y^9 - 17238355169138076650479279105719/1905723021424267101324353450*y^8 + 28489668808870382818306806491526/952861510712133550662176725*y^7 - 10721179637881624751147571265369/952861510712133550662176725*y^6 - 61395945680428495607325162980859/1905723021424267101324353450*y^5 + 42260158633646643360860382526838/952861510712133550662176725*y^4 - 42697371532702188697330368294629/1905723021424267101324353450*y^3 + 6726518997137326859227195941783/1905723021424267101324353450*y^2 + 56676564650151681702858324645/76228920856970684052974138*y - 17040918673173668090325856515/76228920856970684052974138 837591503543531692731132768/6670030574984934854635237075*y^17 + 61251773267494934591658551/92000421723930135926003270*y^16 - 17902517680574012191765329364/6670030574984934854635237075*y^15 - 99854697355586401361515335469/6670030574984934854635237075*y^14 + 427461165906255414190289102131/13340061149969869709270474150*y^13 + 131887217659606562409896401881/952861510712133550662176725*y^12 - 359219982114810279133061339066/1334006114996986970927047415*y^11 - 4309081494024824130975606392789/6670030574984934854635237075*y^10 + 4149587156813426892229870978037/2668012229993973941854094830*y^9 + 16240836628095871300217055264641/13340061149969869709270474150*y^8 - 7470771294483417410430334439289/1334006114996986970927047415*y^7 + 3011411117850809915862594473922/952861510712133550662176725*y^6 + 71373534216188992787110609318637/13340061149969869709270474150*y^5 - 8654398689967777054297584011949/952861510712133550662176725*y^4 + 71359266360986515508928752051559/13340061149969869709270474150*y^3 - 15185444536390959263978507843849/13340061149969869709270474150*y^2 - 1423492094965697435275658405611/13340061149969869709270474150*y + 150929423667756680803363044653/2668012229993973941854094830 -766783721360432488723519587/762289208569706840529741380*y^17 - 28545838554074136665476365/5257166955653150624343044*y^16 + 15981968482211321332500256041/762289208569706840529741380*y^15 + 92978816053092807517308993281/762289208569706840529741380*y^14 - 92972709509642953776389534521/381144604284853420264870690*y^13 - 431125895610849706391286656179/381144604284853420264870690*y^12 + 154840372140776372806870201125/76228920856970684052974138*y^11 + 4076278112124858358028287189241/762289208569706840529741380*y^10 - 900153268420808690763482434735/76228920856970684052974138*y^9 - 2045893576894356201427096894243/190572302142426710132435345*y^8 + 6582633368895667535091200781107/152457841713941368105948276*y^7 - 8204643694358353254416356289053/381144604284853420264870690*y^6 - 32739869931340833527665457391469/762289208569706840529741380*y^5 + 51862503776823772666902618462137/762289208569706840529741380*y^4 - 29373598042927203847726897072453/762289208569706840529741380*y^3 + 2900152701375413961543574333619/381144604284853420264870690*y^2 + 808474990553699937992525360417/762289208569706840529741380*y - 35835101516590761988227073059/76228920856970684052974138 -3939680550635840734371147/152457841713941368105948276*y^17 - 5010703002804136076347929/26285834778265753121715220*y^16 + 77434237063649556499722029/381144604284853420264870690*y^15 + 2909801227346486748015339459/762289208569706840529741380*y^14 + 598016162364616964664310591/762289208569706840529741380*y^13 - 12705778649617008352837363157/381144604284853420264870690*y^12 - 4349524478107588243198069171/381144604284853420264870690*y^11 + 127098162470649748392391671931/762289208569706840529741380*y^10 + 940601264437725844540511865/76228920856970684052974138*y^9 - 77473359437198771976043989007/152457841713941368105948276*y^8 + 46822656168590217684476367566/190572302142426710132435345*y^7 + 493499038814448176143016151763/762289208569706840529741380*y^6 - 507314402063784332045539231417/762289208569706840529741380*y^5 - 27171727493758497780034734651/762289208569706840529741380*y^4 + 102725372969464984699459046767/381144604284853420264870690*y^3 - 17966179120129466894632648619/190572302142426710132435345*y^2 - 751420559592157244486834917/190572302142426710132435345*y + 771846204950892594279707145/152457841713941368105948276 16988702468010262743117581/190572302142426710132435345*y^17 + 4622893406849765715304383/10514333911306301248686088*y^16 - 405306964641746977968151078/190572302142426710132435345*y^15 - 7801189841741707066051309087/762289208569706840529741380*y^14 + 41559207726603940275365392503/1524578417139413681059482760*y^13 + 36688062072512087078071175553/381144604284853420264870690*y^12 - 35172620172908050654095671851/152457841713941368105948276*y^11 - 84752054442083034375871790628/190572302142426710132435345*y^10 + 395064314939794455304176000825/304915683427882736211896552*y^9 + 1118130805197358994574585032943/1524578417139413681059482760*y^8 - 684180896620366853971546615785/152457841713941368105948276*y^7 + 2261537634701231100864343824427/762289208569706840529741380*y^6 + 6109333695975512884918617349711/1524578417139413681059482760*y^5 - 2866816858812810003140115064267/381144604284853420264870690*y^4 + 7096839653840062832623598300587/1524578417139413681059482760*y^3 - 1578308069078338988382767664967/1524578417139413681059482760*y^2 - 173035513183151559174882930723/1524578417139413681059482760*y + 19686840287433503676830413969/304915683427882736211896552 # A Gluing Matrix {{-1,-2,-2,1,2,0,1,0},{-2,-2,-2,1,1,-1,1,3},{-2,-2,-2,1,1,-1,1,3},{0,-1,-1,1,0,0,0,2},{1,1,1,0,0,0,0,0},{-1,-1,-1,1,0,-1,1,2},{0,0,0,0,0,0,0,1},{-2,-2,-2,1,0,-2,1,4}} # B Gluing Matrix {{2,0,0,0,0,0,0,1},{0,1,0,1,0,0,0,4},{0,0,1,1,0,0,0,4},{0,0,0,2,0,0,0,2},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,3},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,5}} # nu Gluing Vector {0, 1, 1, 2, 2, 1, 1, 0} # f Combinatorial flattening {0, 2, 0, 2, 1, 1, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 13612756592487425574826987487/762289208569706840529741380*y^17 + 516870876825075738873005767/5257166955653150624343044*y^16 - 137694470971747250822856914463/381144604284853420264870690*y^15 - 1678588459138995862455441896131/762289208569706840529741380*y^14 + 3116092856766540057082823050007/762289208569706840529741380*y^13 + 7804326939375537482322301060899/381144604284853420264870690*y^12 - 2576431301397189324973532379055/76228920856970684052974138*y^11 - 74844060498822827706177176004431/762289208569706840529741380*y^10 + 7566998888424957359806905842931/38114460428485342026487069*y^9 + 160226823084826241409685772860677/762289208569706840529741380*y^8 - 28218297410718937602952119934965/38114460428485342026487069*y^7 + 233317483191053002718526286922861/762289208569706840529741380*y^6 + 595639861732801366354741980423059/762289208569706840529741380*y^5 - 851515796802435480954712113622937/762289208569706840529741380*y^4 + 110424536550152526997210281428187/190572302142426710132435345*y^3 - 36396290312662159258930033571019/381144604284853420264870690*y^2 - 7149048250205572837551727662091/381144604284853420264870690*y + 904965209398427266922898889417/152457841713941368105948276 # 2 Loop Invariant 2061905976634132216450473701062763443769445270684704574081455638127060700283/61671007014370021397362904761363230180233737201149438769197919884498296978560*y^17 + 237094797911262752429468928784378149858442715531193073406056951201206918787/1275951869262828028910956650235101314073801459334126319362715583817206144384*y^16 - 61696017149315552945442211934398291661419390000554190980458962395020064297481/92506510521555032096044357142044845270350605801724158153796879826747445467840*y^15 - 256633089471419078943116165531688870037576273862308898063039540271270390571059/61671007014370021397362904761363230180233737201149438769197919884498296978560*y^14 + 1373453891242453897804182818688608026094482537900547867562014262954163038291499/185013021043110064192088714284089690540701211603448316307593759653494890935680*y^13 + 1195476287540060773232865114316175041185802390321166116467916812975269216688351/30835503507185010698681452380681615090116868600574719384598959942249148489280*y^12 - 1128156709819729243043795898178978310192715736080833546273201322984199404204995/18501302104311006419208871428408969054070121160344831630759375965349489093568*y^11 - 11543756326186773393860369995449617290805617000379237195175888941574401068459359/61671007014370021397362904761363230180233737201149438769197919884498296978560*y^10 + 2217933107420771973384723048042810276746132335639302264060732448720109751003787/6167100701437002139736290476136323018023373720114943876919791988449829697856*y^9 + 25444317720939658232170121576767060742870132060067006155159269928637315019898263/61671007014370021397362904761363230180233737201149438769197919884498296978560*y^8 - 4176101094568954047946772421445259209200535913861015680768518053556460008036561/3083550350718501069868145238068161509011686860057471938459895994224914848928*y^7 + 30832859180990028069889074425561088722470724207692519265268814682402030918027229/61671007014370021397362904761363230180233737201149438769197919884498296978560*y^6 + 90176212751070835684192127701120877969318864584089972914779645374853913008417441/61671007014370021397362904761363230180233737201149438769197919884498296978560*y^5 - 369285577244405483711934512189981866843524924261960014206764613286168449257989659/185013021043110064192088714284089690540701211603448316307593759653494890935680*y^4 + 30996432612011895112734257807569555911695839398498923342734495052199027845797311/30835503507185010698681452380681615090116868600574719384598959942249148489280*y^3 - 928099188396389688070520453628137735936026986317648572344649504669391555622893/5781656907597189506002772321377802829396912862607759884612304989171715341740*y^2 - 500452882882786901823257303162388288243515791409403594268353694255865586211087/15417751753592505349340726190340807545058434300287359692299479971124574244640*y + 130414264331110316083904732016878293331984938873906035727531448458236893707147/12334201402874004279472580952272646036046747440229887753839583976899659395712 # 3 Loop Invariant 430829767729171175303643568009609992257674692733694980361526100691636915398450723228238134561607529/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^17 + 94714963902022616342759600097153186683678476151260939256988438087057943585639874966545976794781661/5410142069410268984280671176862952341841649927697240143212106223799751350033478261181405821608733696*y^16 - 3102947808113690611345182136960366868118578829656861117962378797075269844115387067445706920756869377/78447060006448900272069732064512808956703923951609982076575540245096394575485434787130384413326638592*y^15 - 57727100895214981756766111130081054578034848668913346238554621777066391141084351241996320118756921337/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^14 + 46863265894652263504258643218409699631428052485443471301532107776140696946214445894015087563230275989/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^13 + 259165425428596301973726571834195459138686686871835944198101657304406378680773229413847274932893872433/78447060006448900272069732064512808956703923951609982076575540245096394575485434787130384413326638592*y^12 - 177602442279194573271071134572651123314708580863332062868906234379345916893994627951735435683274315129/78447060006448900272069732064512808956703923951609982076575540245096394575485434787130384413326638592*y^11 - 2531961449024291916880357686893771886886778888559837883236583344303453358543047422179258768971631459733/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^10 + 629906857771760771094975471690936826835558740493899820387208708776072028614757170270319308411204975753/39223530003224450136034866032256404478351961975804991038287770122548197287742717393565192206663319296*y^9 + 6549583929295579270034541289135222254610841214231951248262439200928358836743995923731037323235069445027/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^8 - 2901750160634632916841676200888257322453089031179507605246620927786168171191361514782913709774345996783/39223530003224450136034866032256404478351961975804991038287770122548197287742717393565192206663319296*y^7 - 798542248577511144799232613958518134520755512359270854641760536464430987232820150392638857201833655797/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^6 + 15290291046800050944447766083961426485464256162842105802263426281339418558635524131006435629380471773765/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^5 - 14397147344571606273503502061303184201600759802922976313446953841949112288337859783892679952599114210247/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184*y^4 + 1406084002561834090083540422150391536866862643935787414733177598499305212773734933478054817481699276519/39223530003224450136034866032256404478351961975804991038287770122548197287742717393565192206663319296*y^3 - 332095546709020333650808814823449609879694764469196583835413564715818948519687370406174538448072110747/78447060006448900272069732064512808956703923951609982076575540245096394575485434787130384413326638592*y^2 - 90147255674986376679140365115105555065187329416395944631040515070786208914401857865758826988287870645/78447060006448900272069732064512808956703923951609982076575540245096394575485434787130384413326638592*y + 55082839355040336418693506477791096997529748296025979373560594146331501555457254523116083223533227139/156894120012897800544139464129025617913407847903219964153151080490192789150970869574260768826653277184 # 4 Loop Invariant -1044520995737660556940955410580087060521488516876676828933200874261472388143368564829755931532177659543663964741064754297800233942118713177614788302173/475991506916893922924244762622555329267028508911979195784484012550043770797075528079954599943345258578245389644320309093693333925585720112319640818892800*y^17 - 64824111352663803286326373518515719039495989668671136345771792102095794694244134379838492893629996521333905251180922886431968001205666541315718881123/4924050071554075064733566509888503406210639747365302025356731164310797628935264083585737240793226812878400582527451473383034488885369518403306629160960*y^16 + 26415713969843572496267304981933398671175719401898212967486657748627136441000731357105013426477823071513417208315606722050207178228601226268922692831511/713987260375340884386367143933832993900542763367968793676726018825065656195613292119931899915017887867368084466480463640540000888378580168479461228339200*y^15 + 403875389239300371662793607529850922066575980775554427960768514048821570928324184634023591453135762363873142036835998883271193384496995397087224492698857/1427974520750681768772734287867665987801085526735937587353452037650131312391226584239863799830035775734736168932960927281080001776757160336958922456678400*y^14 - 251186038447222034335102069711933458184343760256216349456236443218358626171649594230528636717086540687387141852492875479881699588939465416467452308523267/713987260375340884386367143933832993900542763367968793676726018825065656195613292119931899915017887867368084466480463640540000888378580168479461228339200*y^13 - 1831852480891920235187294039956972124362986373445514867197248301524484966757655334105064708646320729761541513084690809994534913462241605132313170170822593/713987260375340884386367143933832993900542763367968793676726018825065656195613292119931899915017887867368084466480463640540000888378580168479461228339200*y^12 + 202185066765198601283576568254444983414170910720512327192669714323066692994692200248319079312235755844752574837218200263780606911884336575655616274488601/71398726037534088438636714393383299390054276336796879367672601882506565619561329211993189991501788786736808446648046364054000088837858016847946122833920*y^11 + 5884305812540983321294259232893832640854012411206633722049338425429448035177345578293865562856738820545619636251853598633779628802631135793196898964499649/475991506916893922924244762622555329267028508911979195784484012550043770797075528079954599943345258578245389644320309093693333925585720112319640818892800*y^10 - 1024486373258333261562373957733159815312952715705835553507046686480537499516375104858218092936843131075314645277419746415507234218707807361840069462186913/57118980830027270750909371514706639512043421069437503494138081506005252495649063369594551993201431029389446757318437091243200071070286413478356898267136*y^9 - 10452461283560973790628365767893059039314677077553515669322099408556176240343586744759820085678183401476151759707467379701951735649406564901938650950489451/356993630187670442193183571966916496950271381683984396838363009412532828097806646059965949957508943933684042233240231820270000444189290084239730614169600*y^8 + 10445694963459209046191045649364809749576889431795105302783239493391625013898706374724130212521489711914888132595040140215071585294161652859822721077650013/142797452075068176877273428786766598780108552673593758735345203765013131239122658423986379983003577573473616893296092728108000177675716033695892245667840*y^7 - 23275247616601283808681273841834700373082089316954997515601273134104826726610217846442250940684991897422778090902825796932592333278397585674803277780681067/1427974520750681768772734287867665987801085526735937587353452037650131312391226584239863799830035775734736168932960927281080001776757160336958922456678400*y^6 - 6739900862274778297009389612396035639803925306074537081416780764998920130451018310589184684083946608600467240366355554770999900668064235332253875822245671/79331917819482320487374127103759221544504751485329865964080668758340628466179254679992433323890876429707564940720051515615555654264286685386606803148800*y^5 + 49270128726002794573405173362388517315021976025009158596204076362335241820357626825760789664163870619644966020894046661421449498067457444697888928905945683/475991506916893922924244762622555329267028508911979195784484012550043770797075528079954599943345258578245389644320309093693333925585720112319640818892800*y^4 - 70539508815211058000397069507628496682063733584627996028278414700318047296583457756089651918590435972502807058169023791253380804923936011983929273686082051/1427974520750681768772734287867665987801085526735937587353452037650131312391226584239863799830035775734736168932960927281080001776757160336958922456678400*y^3 + 10741595040864653312933114953368785058264618194143357035007460262468707726506237937805783052217627050279455826100272138243478916186669841217728297364035841/1427974520750681768772734287867665987801085526735937587353452037650131312391226584239863799830035775734736168932960927281080001776757160336958922456678400*y^2 + 2326276083020207057241307667091258058451253442182967240107892614251653899599285560572914852540555077644119465520409446198074729092985494795817465469450449/1427974520750681768772734287867665987801085526735937587353452037650131312391226584239863799830035775734736168932960927281080001776757160336958922456678400*y - 73763409707158452575439035941830611945697202168826683235812600353165020375053722650042560550250280299055996804705591753581870128166716479771765516368167/142797452075068176877273428786766598780108552673593758735345203765013131239122658423986379983003577573473616893296092728108000177675716033695892245667840