# Manifold: Census Knot K6_12

# Number of Tetrahedra: 6

# Number Field
x^16 - 2*x^15 - 70*x^14 - 170*x^13 + 254*x^12 + 1085*x^11 - 407*x^10 - 4623*x^9 + 6693*x^8 - 2117*x^7 - 1821*x^6 + 1256*x^5 + 128*x^4 - 222*x^3 - 3*x^2 + 17*x + 2 

# Approximate Field Generator
0.530755884703574 - 0.386405372545040*I

# Shape Parameters
12578200538338541543/736987345392143470421*y^15 - 6827064420860908768/736987345392143470421*y^14 - 865598254508404301658/736987345392143470421*y^13 - 3470557116494531876910/736987345392143470421*y^12 - 3591816289038679218568/736987345392143470421*y^11 + 5715956787605009990860/736987345392143470421*y^10 + 15546980390758460394695/736987345392143470421*y^9 - 5897355417512858898798/736987345392143470421*y^8 + 41073666914698093066897/736987345392143470421*y^7 - 112278701144768812343537/736987345392143470421*y^6 + 54028302770269463208516/736987345392143470421*y^5 + 39495789847725527637216/736987345392143470421*y^4 - 30950602214041669187262/736987345392143470421*y^3 - 2942410248876542394516/736987345392143470421*y^2 + 4968115364359102918515/736987345392143470421*y + 957122684502160309634/736987345392143470421

412906028891786331428/736987345392143470421*y^15 - 661452842160976643341/736987345392143470421*y^14 - 29149680416874586577303/736987345392143470421*y^13 - 81845801301825752183066/736987345392143470421*y^12 + 71092422947198663338462/736987345392143470421*y^11 + 474458206489560019655046/736987345392143470421*y^10 + 30674177601537040038848/736987345392143470421*y^9 - 1870892929512374779209291/736987345392143470421*y^8 + 1997697260120632014221129/736987345392143470421*y^7 - 198951692565980576853313/736987345392143470421*y^6 - 690024787733191560328321/736987345392143470421*y^5 + 269778423803581952333642/736987345392143470421*y^4 + 72923713391995526222164/736987345392143470421*y^3 - 46083021180720807105785/736987345392143470421*y^2 - 2811125024261762001224/736987345392143470421*y + 2312758909362334387481/736987345392143470421

-3260467689472942390263/2947949381568573881684*y^15 + 1909503035682771547077/736987345392143470421*y^14 + 113053356914719044510951/1473974690784286940842*y^13 + 238025795065478842636621/1473974690784286940842*y^12 - 512949482665202544604771/1473974690784286940842*y^11 - 3285238834491309185258007/2947949381568573881684*y^10 + 2528235462683417799087835/2947949381568573881684*y^9 + 14760499654718232480366915/2947949381568573881684*y^8 - 26822534685283370031303797/2947949381568573881684*y^7 + 13915858264034641542081345/2947949381568573881684*y^6 + 3485789838757523888739661/2947949381568573881684*y^5 - 2775019786460437205919835/1473974690784286940842*y^4 + 193182085207122590259585/736987345392143470421*y^3 + 348808882541909836850521/1473974690784286940842*y^2 - 144111607818935919950459/2947949381568573881684*y - 36263943896031276526445/2947949381568573881684

967331414610759532686/736987345392143470421*y^15 - 2263687083844813567404/736987345392143470421*y^14 - 67106358257128438843642/736987345392143470421*y^13 - 141427361696561510257281/736987345392143470421*y^12 + 305347532332947308068746/736987345392143470421*y^11 + 982850079231457281274112/736987345392143470421*y^10 - 736763774905215980066728/736987345392143470421*y^9 - 4397852054206236126642526/736987345392143470421*y^8 + 7889426109404907167841806/736987345392143470421*y^7 - 4083592148033831826765564/736987345392143470421*y^6 - 951900793983947405334343/736987345392143470421*y^5 + 1565484858245730269087982/736987345392143470421*y^4 - 218635484923873810148066/736987345392143470421*y^3 - 198825059977780627618669/736987345392143470421*y^2 + 40891851508211460197899/736987345392143470421*y + 11867010869014873287906/736987345392143470421

17939487642660536736865/5895898763137147763368*y^15 - 5056043905461666845553/736987345392143470421*y^14 - 623097594352332563172291/2947949381568573881684*y^13 - 1365685914374798272604339/2947949381568573881684*y^12 + 2652136923974992565232273/2947949381568573881684*y^11 + 18276736186164657189616625/5895898763137147763368*y^10 - 12013877630332522166286869/5895898763137147763368*y^9 - 80687916854431801933186617/5895898763137147763368*y^8 + 140308119855866547688070331/5895898763137147763368*y^7 - 70681527828466064057301287/5895898763137147763368*y^6 - 17382320361069682379578411/5895898763137147763368*y^5 + 13473778089289973273432973/2947949381568573881684*y^4 - 891616599833564492205507/1473974690784286940842*y^3 - 1673253649450228397143575/2947949381568573881684*y^2 + 668582109007411675801857/5895898763137147763368*y + 182282955320016120728843/5895898763137147763368

442078646491220217898/736987345392143470421*y^15 - 1089737571754774476990/736987345392143470421*y^14 - 30607099085194484079070/736987345392143470421*y^13 - 60702002845206406425242/736987345392143470421*y^12 + 152423393203221278467197/736987345392143470421*y^11 + 445820844001769726404146/736987345392143470421*y^10 - 401687644237997644721934/736987345392143470421*y^9 - 2042731407081875065330757/736987345392143470421*y^8 + 3844189982823520927931815/736987345392143470421*y^7 - 2025017414003700808912163/736987345392143470421*y^6 - 511020094520969459500110/736987345392143470421*y^5 + 822607442288362528334875/736987345392143470421*y^4 - 115113807586213687295173/736987345392143470421*y^3 - 108903714859700404126561/736987345392143470421*y^2 + 23584729379110277501717/736987345392143470421*y + 7030039297849404994902/736987345392143470421


# A Gluing Matrix
{{1,0,-2,0,0,2},{-1,2,-2,0,2,4},{-1,2,-3,-1,0,4},{0,0,-1,0,0,0},{-1,2,-4,0,2,4},{-1,2,-4,0,2,6}}

# B Gluing Matrix
{{2,0,0,0,0,2},{0,1,0,0,0,3},{0,0,1,0,0,4},{0,0,0,1,0,0},{0,0,0,0,1,3},{0,0,0,0,0,5}}

# nu Gluing Vector
{2, 2, 1, 0, 2, 2}

# f Combinatorial flattening
{2, 2, 0, 1, 0, 0}

# f' Combinatorial flattening
{0, 0, 0, 0, 0, 0}

# 1 Loop Invariant
11997286166786617764419/1473974690784286940842*y^15 - 18556700962557647256693/736987345392143470421*y^14 - 409518457052858166424274/736987345392143470421*y^13 - 557165180839865901476960/736987345392143470421*y^12 + 2832853847464989673054936/736987345392143470421*y^11 + 10900019789812967175554791/1473974690784286940842*y^10 - 19648194762401623158925557/1473974690784286940842*y^9 - 56575816167933153747892837/1473974690784286940842*y^8 + 138453247725709273121748769/1473974690784286940842*y^7 - 89114734239277754875784001/1473974690784286940842*y^6 - 12585924073433620753498351/1473974690784286940842*y^5 + 17184036873672959211381204/736987345392143470421*y^4 - 3141851827254196948459810/736987345392143470421*y^3 - 2332113003347150914537106/736987345392143470421*y^2 + 1120209916974933856735287/1473974690784286940842*y + 324858288795117291238313/1473974690784286940842

# 2 Loop Invariant
228479731532082506855784058458687201927680881305816239669414999913/932237084734486636617529971413876985160524659982693134480793765584*y^15 - 756210496912840910075505501769337620845723122121800732555012834335/1398355627101729954926294957120815477740786989974039701721190648376*y^14 - 3971556337520597242350853456595622557240822321897704589570782741383/233059271183621659154382492853469246290131164995673283620198441396*y^13 - 106716180623932870931871982423889695344894468985329949073971258266841/2796711254203459909852589914241630955481573979948079403442381296752*y^12 + 32576942422295213704721741185779117728579631443196139484801296586537/466118542367243318308764985706938492580262329991346567240396882792*y^11 + 702638307429338483964106196897943588592677676782226838973600223594817/2796711254203459909852589914241630955481573979948079403442381296752*y^10 - 417807966723217278077729914652203238959299266900528034456329802051821/2796711254203459909852589914241630955481573979948079403442381296752*y^9 - 3069796970609328479176197257582936948321500750248604927744180190105069/2796711254203459909852589914241630955481573979948079403442381296752*y^8 + 1734830898648179197607152131995888771568547477719220643499272510235153/932237084734486636617529971413876985160524659982693134480793765584*y^7 - 862791277556990422205747366903665862178409563452122692171407228619449/932237084734486636617529971413876985160524659982693134480793765584*y^6 - 152310684076410547657192997600160636548392755325323378455891141121905/699177813550864977463147478560407738870393494987019850860595324188*y^5 + 237683044868428514389894727812171763508884195632087227912725108856913/699177813550864977463147478560407738870393494987019850860595324188*y^4 - 31700281027881787276135634200657031126732190919845165109514058388705/699177813550864977463147478560407738870393494987019850860595324188*y^3 - 38271483279197208335364565688785851198640773601635395107971829065881/932237084734486636617529971413876985160524659982693134480793765584*y^2 + 3770061533709974751503480211939472646383055596091157828286847130485/466118542367243318308764985706938492580262329991346567240396882792*y + 3279258977125953074455879927776897309821936425902596584998012562327/1398355627101729954926294957120815477740786989974039701721190648376

# 3 Loop Invariant
-966291010000551799073385077006127316356738155061468032090251240902621312145730059529555/33155802776148799730736379544239883948993856717330394722356414252511212725981832176442432*y^15 + 1023414740892506426882914609755213504985314076746208801751430047520450885100322428332861/16577901388074399865368189772119941974496928358665197361178207126255606362990916088221216*y^14 + 16842594076566044192236315079930667809023762245003151162940221409730140073417965331407479/8288950694037199932684094886059970987248464179332598680589103563127803181495458044110608*y^13 + 78152474934111002537573078458320534827273493123801133685973840265492069403058422170317551/16577901388074399865368189772119941974496928358665197361178207126255606362990916088221216*y^12 - 130936494691729326084569026834776431766389001522661913312510192885738367277737433394841571/16577901388074399865368189772119941974496928358665197361178207126255606362990916088221216*y^11 - 504411194941039464208027420710472885380114469626340524798090555780865422663181996164973329/16577901388074399865368189772119941974496928358665197361178207126255606362990916088221216*y^10 + 516560140556202318774634857451787465346504359569375276916674387127111503808407306969763911/33155802776148799730736379544239883948993856717330394722356414252511212725981832176442432*y^9 + 4367492090859700189974635585027275977794247281305734978845409105782644809549368504067175331/33155802776148799730736379544239883948993856717330394722356414252511212725981832176442432*y^8 - 879283682852184708330101137538274320451920257479706016161785228059390201628271407515785645/4144475347018599966342047443029985493624232089666299340294551781563901590747729022055304*y^7 + 2996290222387648708150133819100305276714955977750199923964957806577126762939886835349579753/33155802776148799730736379544239883948993856717330394722356414252511212725981832176442432*y^6 + 181613596170028265699221116986862973664611462904711519760871982903888201811373277993778883/4144475347018599966342047443029985493624232089666299340294551781563901590747729022055304*y^5 - 1579411357881613845018796203524123173677031279407974746087062815650791246920258449899175959/33155802776148799730736379544239883948993856717330394722356414252511212725981832176442432*y^4 + 93512930040784024191261116689881455741563420459835013516073290004503886756646698842016137/16577901388074399865368189772119941974496928358665197361178207126255606362990916088221216*y^3 + 46486103140304195342697194724711069553541467788006947732372447620080291577677130048195691/8288950694037199932684094886059970987248464179332598680589103563127803181495458044110608*y^2 - 18511957002091516271814577309464315220186161223552613883123543354351246970093919242692693/16577901388074399865368189772119941974496928358665197361178207126255606362990916088221216*y - 2172192967431465124231940743669346594151284475340114632994412008761869778499394120546035/8288950694037199932684094886059970987248464179332598680589103563127803181495458044110608