# Manifold: Census Knot K7_44 # Number of Tetrahedra: 7 # Number Field x^16 - 62*x^15 + 627*x^14 - 2196*x^13 + 1823*x^12 - 9753*x^11 + 115389*x^10 - 355502*x^9 + 340635*x^8 - 169090*x^7 + 1007033*x^6 - 1888780*x^5 + 533014*x^4 + 84090*x^3 + 124369*x^2 - 142986*x - 3689 # Approximate Field Generator -0.328761355659762 + 0.382169239881074*I # Shape Parameters -1810795866177198489190910595131479719386281894386411864/1816745682604923103403635818789993854596947829457104968589237*y^15 + 114976825695664131579258745164600529830716752797107050590/1816745682604923103403635818789993854596947829457104968589237*y^14 - 1299336984341922604396270448060925543795621987203299741742/1816745682604923103403635818789993854596947829457104968589237*y^13 + 5435158478654781244290681160210407808627420345216837668402/1816745682604923103403635818789993854596947829457104968589237*y^12 - 409584650245313167089779290645589165460925662994676422075/106867393094407241376684459928823167917467519379829704034661*y^11 + 15513324311008967869885613326736142960168687240714953547795/1816745682604923103403635818789993854596947829457104968589237*y^10 - 232316748880027861102883430468498048778458389687187981388487/1816745682604923103403635818789993854596947829457104968589237*y^9 + 131007281264507565108599594216244398238685865351268367242675/259535097514989014771947974112856264942421118493872138369891*y^8 - 1151361846731139446367153943855268634862886064814274370599264/1816745682604923103403635818789993854596947829457104968589237*y^7 + 7209774797665813780659213251633326246780958783891687752156/106867393094407241376684459928823167917467519379829704034661*y^6 - 1569389936995487926371885846431888170113165699317078406966238/1816745682604923103403635818789993854596947829457104968589237*y^5 + 5431981943503079709285165609050883024374086113084960213738500/1816745682604923103403635818789993854596947829457104968589237*y^4 - 1913478824926207701759098327727134506651247201391440443513065/1816745682604923103403635818789993854596947829457104968589237*y^3 - 3539069149746078561765301292905928765665893284389045855194061/1816745682604923103403635818789993854596947829457104968589237*y^2 - 6229318958245392695685231437087088306545438073688285734257/259535097514989014771947974112856264942421118493872138369891*y - 78101894184962139628658741789317074142533165797758619542655/106867393094407241376684459928823167917467519379829704034661 242242931202212860902669071504197455414585665197978529/37076442502141287824563996301836609277488731213410305481413*y^15 - 14870546593780918212536247990767951379432088410459268935/37076442502141287824563996301836609277488731213410305481413*y^14 + 142826365875448345382221958760210158228477832658876105810/37076442502141287824563996301836609277488731213410305481413*y^13 - 447889972249955454098639866672377819226684846604920379838/37076442502141287824563996301836609277488731213410305481413*y^12 + 11783327629943211094301577723242715280362250018386041379/2180967206008311048503764488343329957499337130200606204789*y^11 - 2347697035554556577832081975950952062867006551967459840541/37076442502141287824563996301836609277488731213410305481413*y^10 + 26597451373601891543593825332969360739587690406824136165252/37076442502141287824563996301836609277488731213410305481413*y^9 - 70440514439322415998128898103150933689429854692023139326707/37076442502141287824563996301836609277488731213410305481413*y^8 + 45373665677167066473527994929228591907505230682288771329857/37076442502141287824563996301836609277488731213410305481413*y^7 - 1784152745140337071681269275148436530062141644959297758204/2180967206008311048503764488343329957499337130200606204789*y^6 + 243544748459626570900237307695818889892840078283421357957229/37076442502141287824563996301836609277488731213410305481413*y^5 - 323797241952231619531442342513999495587864826428684324591011/37076442502141287824563996301836609277488731213410305481413*y^4 - 23388625798979341948360324279252800602311443958134496343941/37076442502141287824563996301836609277488731213410305481413*y^3 - 101091500110460046454335739455391775735043277966345974786536/37076442502141287824563996301836609277488731213410305481413*y^2 + 52187849950455757137239407420368619290200742672374969225257/37076442502141287824563996301836609277488731213410305481413*y - 893976062096798681892814063108928707308922627230282256230/2180967206008311048503764488343329957499337130200606204789 -78154710919963539510574049488880319883622977863454067357/10715091883118832181298994931230780081194243320675578284128357*y^15 + 4846797480771636934004331988404112802505917682640864326296/10715091883118832181298994931230780081194243320675578284128357*y^14 - 49074651318403856893675933676648976318269088950503411391848/10715091883118832181298994931230780081194243320675578284128357*y^13 + 172191372920642544363142917299275142574449721557432821265078/10715091883118832181298994931230780081194243320675578284128357*y^12 - 8420150637036421363920355158617242632399469118371262181287/630299522536401893017587937131222357717308430627975193184021*y^11 + 757260109539169591572167245914184479832428719389288589875851/10715091883118832181298994931230780081194243320675578284128357*y^10 - 9023225088312286047842456606398868381989620001721566031253791/10715091883118832181298994931230780081194243320675578284128357*y^9 + 27892940713912778805408343110192904869017084233138936363281641/10715091883118832181298994931230780081194243320675578284128357*y^8 - 26685635266134884858828814006963928710132160720764126069273567/10715091883118832181298994931230780081194243320675578284128357*y^7 + 732018489783859685448328276988035326023847836360475336037555/630299522536401893017587937131222357717308430627975193184021*y^6 - 77690874628874269432200259969787869048256948640155244390108032/10715091883118832181298994931230780081194243320675578284128357*y^5 + 148265318607750360196902527521354694524737967783144320793954098/10715091883118832181298994931230780081194243320675578284128357*y^4 - 40492656604208875412068641140562879675787752239932466867218547/10715091883118832181298994931230780081194243320675578284128357*y^3 - 13712128464553232256659314867330765622098171475892580489706019/10715091883118832181298994931230780081194243320675578284128357*y^2 - 6092709745826353646436727517836544842655876983688131662078999/10715091883118832181298994931230780081194243320675578284128357*y + 553940909623185690438300534790863123479046478832236004919324/630299522536401893017587937131222357717308430627975193184021 4338690549092520646841945195308860179520550800684980732/630299522536401893017587937131222357717308430627975193184021*y^15 - 806640559413692406788714985594506606590477097867839569208/1890898567609205679052763811393667073151925291883925579552063*y^14 + 2713459608852344260209077182062533955163660444371342894016/630299522536401893017587937131222357717308430627975193184021*y^13 - 9481512907163199515899504547627145509545540512370573589708/630299522536401893017587937131222357717308430627975193184021*y^12 + 1398987562158848058883693739853905632630008948924256253557/111229327506423863473691988905509827832466193640230916444239*y^11 - 129120273368475135688853612339899049381992391673628292430929/1890898567609205679052763811393667073151925291883925579552063*y^10 + 1500509305935192683393707530401466195958661859137254946342788/1890898567609205679052763811393667073151925291883925579552063*y^9 - 4599729841078361595496754293351767129555120777502321161098468/1890898567609205679052763811393667073151925291883925579552063*y^8 + 4461581050332802608318272388712005861907077771344780053250954/1890898567609205679052763811393667073151925291883925579552063*y^7 - 149057113527286191925150654576454449296598686968180672162996/111229327506423863473691988905509827832466193640230916444239*y^6 + 13455365219925625616177587240729842427421944921884965715628588/1890898567609205679052763811393667073151925291883925579552063*y^5 - 24467538431688877629150268135848320762331353140390205571649735/1890898567609205679052763811393667073151925291883925579552063*y^4 + 7637842197030657524200602810648650869480392259638722784500413/1890898567609205679052763811393667073151925291883925579552063*y^3 - 1268942237638903897071129934309969458702870632285236640278943/1890898567609205679052763811393667073151925291883925579552063*y^2 + 853227829670528371320252122723611903256504231793610634469170/630299522536401893017587937131222357717308430627975193184021*y + 4394349540096975252731015208841857441492538168342945511648/37076442502141287824563996301836609277488731213410305481413 -311116841157605000280414480127791482695682515549476814/37076442502141287824563996301836609277488731213410305481413*y^15 + 19482070273958458207445363274803834563889146557506457921/37076442502141287824563996301836609277488731213410305481413*y^14 - 206711856952464885592615096607088529655618636012883475899/37076442502141287824563996301836609277488731213410305481413*y^13 + 784857343501149460665467105672667836813556442937648069367/37076442502141287824563996301836609277488731213410305481413*y^12 - 47376160562989974014020311451401029945273731450315541695/2180967206008311048503764488343329957499337130200606204789*y^11 + 2803046204140078307624412624096755396227334906962067069057/37076442502141287824563996301836609277488731213410305481413*y^10 - 37520327800510223577968556065540321776704863054339009537673/37076442502141287824563996301836609277488731213410305481413*y^9 + 129883981185256633063868686236235976704156353509334314944354/37076442502141287824563996301836609277488731213410305481413*y^8 - 140174283275733064250674577819845318271634127325827174840755/37076442502141287824563996301836609277488731213410305481413*y^7 + 1543367394664157469781653502971888564834602415814203546888/2180967206008311048503764488343329957499337130200606204789*y^6 - 287318336514114826441739499482891295599589710976331456359895/37076442502141287824563996301836609277488731213410305481413*y^5 + 755763132587007028151117966785241906199815234084645568785498/37076442502141287824563996301836609277488731213410305481413*y^4 - 230731011990843312274243903220933459528772619751730585566343/37076442502141287824563996301836609277488731213410305481413*y^3 - 375023536403331681539480286108514891833405501205510773795367/37076442502141287824563996301836609277488731213410305481413*y^2 - 66179774661064605943024894899669307528940236452800219287782/37076442502141287824563996301836609277488731213410305481413*y + 2296072487187396968251087271810222961783284602056922274102/2180967206008311048503764488343329957499337130200606204789 -311116841157605000280414480127791482695682515549476814/37076442502141287824563996301836609277488731213410305481413*y^15 + 19482070273958458207445363274803834563889146557506457921/37076442502141287824563996301836609277488731213410305481413*y^14 - 206711856952464885592615096607088529655618636012883475899/37076442502141287824563996301836609277488731213410305481413*y^13 + 784857343501149460665467105672667836813556442937648069367/37076442502141287824563996301836609277488731213410305481413*y^12 - 47376160562989974014020311451401029945273731450315541695/2180967206008311048503764488343329957499337130200606204789*y^11 + 2803046204140078307624412624096755396227334906962067069057/37076442502141287824563996301836609277488731213410305481413*y^10 - 37520327800510223577968556065540321776704863054339009537673/37076442502141287824563996301836609277488731213410305481413*y^9 + 129883981185256633063868686236235976704156353509334314944354/37076442502141287824563996301836609277488731213410305481413*y^8 - 140174283275733064250674577819845318271634127325827174840755/37076442502141287824563996301836609277488731213410305481413*y^7 + 1543367394664157469781653502971888564834602415814203546888/2180967206008311048503764488343329957499337130200606204789*y^6 - 287318336514114826441739499482891295599589710976331456359895/37076442502141287824563996301836609277488731213410305481413*y^5 + 755763132587007028151117966785241906199815234084645568785498/37076442502141287824563996301836609277488731213410305481413*y^4 - 230731011990843312274243903220933459528772619751730585566343/37076442502141287824563996301836609277488731213410305481413*y^3 - 375023536403331681539480286108514891833405501205510773795367/37076442502141287824563996301836609277488731213410305481413*y^2 - 66179774661064605943024894899669307528940236452800219287782/37076442502141287824563996301836609277488731213410305481413*y + 4477039693195708016754851760153552919282621732257528478891/2180967206008311048503764488343329957499337130200606204789 -234639522249245044850967695811656314632783151511255326/37076442502141287824563996301836609277488731213410305481413*y^15 + 130481374578495249032182375897697293596127837243743385586/333687982519271590421075966716529483497398580920692749332717*y^14 - 1296413631950986178916502780852815386525415449751323365294/333687982519271590421075966716529483497398580920692749332717*y^13 + 1454007114939370854107455451086274762139323547589459693235/111229327506423863473691988905509827832466193640230916444239*y^12 - 171168767829883997748484444802141855706695774966388809750/19628704854074799436533880395089969617494034171805455843101*y^11 + 19864925457921358208041368348836565759265116081685003420363/333687982519271590421075966716529483497398580920692749332717*y^10 - 239166664850685024747323945369073618106582871770207494838933/333687982519271590421075966716529483497398580920692749332717*y^9 + 699883075606903921977913589729491341633732787093441247536915/333687982519271590421075966716529483497398580920692749332717*y^8 - 568271073560104016859833337788415422162088620522483472632696/333687982519271590421075966716529483497398580920692749332717*y^7 + 12690410124922939989577540780009675324040303566216759839296/19628704854074799436533880395089969617494034171805455843101*y^6 - 2034840546590980934352481160173154125898644921495967869838891/333687982519271590421075966716529483497398580920692749332717*y^5 + 3528733952198481834159183060569637312488024704952400983970764/333687982519271590421075966716529483497398580920692749332717*y^4 - 110515705033379604008040609189409242154007792991389443377340/111229327506423863473691988905509827832466193640230916444239*y^3 - 434448001269875513165927605921139644147755623797484884795847/333687982519271590421075966716529483497398580920692749332717*y^2 - 39715911637577422750141875020594977006077573460256483367496/111229327506423863473691988905509827832466193640230916444239*y + 18299493622058281620584288201304904186455688312048110298831/19628704854074799436533880395089969617494034171805455843101 # A Gluing Matrix {{1,2,5,-4,2,2,3},{2,2,5,-4,2,2,3},{2,2,6,-4,2,2,3},{0,0,-1,1,-1,0,-1},{0,0,2,-3,2,1,2},{0,0,2,-2,1,2,2},{0,0,3,-4,2,2,3}} # B Gluing Matrix {{1,0,2,0,0,0,2},{0,1,2,0,0,0,2},{0,0,4,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,2},{0,0,0,0,0,1,2},{0,0,0,0,0,0,4}} # nu Gluing Vector {9, 10, 10, -1, 4, 4, 6} # f Combinatorial flattening {-3, -1, 4, -1, 0, 1, -4} # f' Combinatorial flattening {0, 4, 0, 0, 0, 0, 0} # 1 Loop Invariant -2624223142073515013665156829890401739274753334793226943/74152885004282575649127992603673218554977462426820610962826*y^15 + 161475745482739451369435434762766344759600029328019756453/74152885004282575649127992603673218554977462426820610962826*y^14 - 783614285397147947531594145087031598061517515357551463890/37076442502141287824563996301836609277488731213410305481413*y^13 + 2431022387923662450017755807202491159124899155427770062308/37076442502141287824563996301836609277488731213410305481413*y^12 - 23439836283782309784451909297516601340314437730751209875/2180967206008311048503764488343329957499337130200606204789*y^11 + 19084494096647353745545685236293916020518932062308800940225/74152885004282575649127992603673218554977462426820610962826*y^10 - 144060627848174565136043914693308093973792163601394141114937/37076442502141287824563996301836609277488731213410305481413*y^9 + 770366072550921808472165382781639329136111412056614066276351/74152885004282575649127992603673218554977462426820610962826*y^8 - 108384909994567762511181909823119105720559381795309339381252/37076442502141287824563996301836609277488731213410305481413*y^7 - 38853438660311003299612413906128745542016631105993338609833/4361934412016622097007528976686659914998674260401212409578*y^6 - 943340433550897481351321317325562102949309519742402625126146/37076442502141287824563996301836609277488731213410305481413*y^5 + 3375308388060450817890160190394621540657639527757825514863051/74152885004282575649127992603673218554977462426820610962826*y^4 + 3302120384476699294500799935418763859457993391042363582192141/74152885004282575649127992603673218554977462426820610962826*y^3 - 5064620861022662198935872635357846975237937934230823412195941/74152885004282575649127992603673218554977462426820610962826*y^2 + 135765590237034009429196385489912509233504438008713562419321/74152885004282575649127992603673218554977462426820610962826*y + 6762995548168204026790226295573486857542489447991407190825/2180967206008311048503764488343329957499337130200606204789 # 2 Loop Invariant -1004114634959757809071636579824354767749450892274755759637179073276099761311948942373580261206801/9109620237504764833907173987097961347119790194241068413882496385664034511353156518482541894663410435152*y^15 + 23990450382674108067263766686949515211842660535408781446873727113926467543725234611550783910165571/3416107589064286812715190245161735505169921322840400655205936144624012941757433694430953210498778913182*y^14 - 129461786034991289486380298737365346995580297521816897117750782873268582752921568029797747831085645/1607580041912605558924795409487875531844668857807247367155734656293653149062321738555742687293543017968*y^13 + 9375874951143186562508743448653927758712594401285341466579169911685547456792184797962994006594269865/27328860712514294501721521961293884041359370582723205241647489156992103534059469555447625683990231305456*y^12 - 6119022690035683252368057160038403573681448968720402675872700337010308443017357338261318961207468737/13664430356257147250860760980646942020679685291361602620823744578496051767029734777723812841995115652728*y^11 + 6029866192343550462961109903482656316333209969292060059302598537960901289996063705652156132294473557/6832215178128573625430380490323471010339842645680801310411872289248025883514867388861906420997557826364*y^10 - 389985503965224091606493871272420519835882203874068806871828174315272114782843899890524994248333205061/27328860712514294501721521961293884041359370582723205241647489156992103534059469555447625683990231305456*y^9 + 1590631744675792163963283797142621543951722247137431979601617573092782244118540064020032320478480913453/27328860712514294501721521961293884041359370582723205241647489156992103534059469555447625683990231305456*y^8 - 251297541806322242355537937839600513583436570996531303719944700198876196996504004488469291786867915209/3416107589064286812715190245161735505169921322840400655205936144624012941757433694430953210498778913182*y^7 - 19496268794108281046419779334798059367627507615425030579935299979525520241762040466584066519188463707/9109620237504764833907173987097961347119790194241068413882496385664034511353156518482541894663410435152*y^6 - 129083444355232633360030490267266070396535561526336700428866807248288530273059234141816254828414983745/1607580041912605558924795409487875531844668857807247367155734656293653149062321738555742687293543017968*y^5 + 9844547926795593762184910398179793858895296343857311421671600685317973453793136850639165237099818826565/27328860712514294501721521961293884041359370582723205241647489156992103534059469555447625683990231305456*y^4 - 1958763858924968884045955981957684106225480982750078830584634258928954013988484573758989237692293989035/13664430356257147250860760980646942020679685291361602620823744578496051767029734777723812841995115652728*y^3 - 790365468035472598009616353970720426485008419782839316078660750240688299038155668052289393350505294703/2277405059376191208476793496774490336779947548560267103470624096416008627838289129620635473665852608788*y^2 + 111199099518530527565047226436414157137842984805243601895195223957023471861345782206196777913186131195/1607580041912605558924795409487875531844668857807247367155734656293653149062321738555742687293543017968*y + 1773099742619098363448559639014764936059612614303949073202535017194535488447755575526796506328187209/94563531877212091701458553499286795990862873988661609832690273899626655827195396385631922781973118704 # 3 Loop Invariant 1857620359906233306431695536553769624182012152641684316232618741396066583626547352223744379905217869697284457793814271129/2427450047453465687481528447473095213981423593491037013682357746371257549840354436661432144872293433591232394377079622978480832*y^15 - 57540122095231100377369916869418347217246373893985576714980398434064467590137901795476741048386455458711260985554166185429/1213725023726732843740764223736547606990711796745518506841178873185628774920177218330716072436146716795616197188539811489240416*y^14 + 579548973166464237967951195653382511048567920208337772470915491158989898769018736625199111523275483524226827546022948771165/1213725023726732843740764223736547606990711796745518506841178873185628774920177218330716072436146716795616197188539811489240416*y^13 - 62919760820888130293616294433197552367540895126601798458641970712796495639779269047884696854480107184583914856071191415024/37928906991460401366898881991767112718459743648297453338786839787050899216255538072834877263629584899863006162141869109038763*y^12 + 3234331777702134045948255527737648310126897588500376320550833437898651306862248513307865974896053753509954743878770846988795/2427450047453465687481528447473095213981423593491037013682357746371257549840354436661432144872293433591232394377079622978480832*y^11 - 4525723422808852419549038135556880085630043078462858186094773189382282820295897435759654629113024634261278311406191735642707/606862511863366421870382111868273803495355898372759253420589436592814387460088609165358036218073358397808098594269905744620208*y^10 + 26689605789802861173796097739209400699130506040320646219217679203951170822581106416966262824218785978973225292101651680922607/303431255931683210935191055934136901747677949186379626710294718296407193730044304582679018109036679198904049297134952872310104*y^9 - 325315870302181985420390124295082459723066042963038493464324470476807975110447735345994912195208066493258693291848395318905239/1213725023726732843740764223736547606990711796745518506841178873185628774920177218330716072436146716795616197188539811489240416*y^8 + 609248531040239014913036893997963258748812242166431869687433357249229791363250089891351682684118598722171067109088444853294025/2427450047453465687481528447473095213981423593491037013682357746371257549840354436661432144872293433591232394377079622978480832*y^7 - 306619436147472844689337388376544979575522483793230744213975422711866006964429277628440646359417590685402741694140479769115219/2427450047453465687481528447473095213981423593491037013682357746371257549840354436661432144872293433591232394377079622978480832*y^6 + 58507938199126444748468581181274955596750591154470997151073592828170916516145770359328079356965580110346578536774077738764779/75857813982920802733797763983534225436919487296594906677573679574101798432511076145669754527259169799726012324283738218077526*y^5 - 3430645645575707120990770521991013516231749886292357069730358417420285295401196270156762257510587366472174111247495571251158427/2427450047453465687481528447473095213981423593491037013682357746371257549840354436661432144872293433591232394377079622978480832*y^4 + 27829088285766041472105004188029627931808123958300467094488199114711309340858466804222951792780043970878817093253257365047539/75857813982920802733797763983534225436919487296594906677573679574101798432511076145669754527259169799726012324283738218077526*y^3 + 44492910097069974421216394602546428992471561333980062032159432451609913184395608635078019644930963201515192426991508168812341/1213725023726732843740764223736547606990711796745518506841178873185628774920177218330716072436146716795616197188539811489240416*y^2 + 8776471084780252345095970665636909587219008409338610244589490694143566818654554278587612528326427464954639639623657891857011/75857813982920802733797763983534225436919487296594906677573679574101798432511076145669754527259169799726012324283738218077526*y - 6259934564240371088884340821414858336050893773675350725814213031389516181798385227942200898629074764829660810437561183147257/71395589630984284925927307278620447470041870396795206284775227834448751465892777548865651319773336282095070422855283028778848