# Manifold: Census Knot K7_12

# Number of Tetrahedra: 7

# Number Field
x^16 + 2*x^15 - 56*x^14 + 160*x^13 - 56*x^12 - 350*x^11 + 489*x^10 - 5*x^9 - 692*x^8 + 532*x^7 + 535*x^6 - 402*x^5 - 293*x^4 + 44*x^3 + 69*x^2 + 21*x + 2 

# Approximate Field Generator
1.78314939320496 - 0.629454823877137*I

# Shape Parameters
-318373840944176706/1906645360305228503*y^15 - 586360268478515594/1906645360305228503*y^14 + 250732703426097577/26854160004298993*y^13 - 54015141013372522967/1906645360305228503*y^12 + 32980257492365040271/1906645360305228503*y^11 + 87920745850716609168/1906645360305228503*y^10 - 162377614477926261969/1906645360305228503*y^9 + 62070105757722913639/1906645360305228503*y^8 + 158038017714907279448/1906645360305228503*y^7 - 182469221989294557633/1906645360305228503*y^6 - 80139565763347947463/1906645360305228503*y^5 + 86458342451940723214/1906645360305228503*y^4 + 40455574306045533025/1906645360305228503*y^3 + 1276479310529923499/1906645360305228503*y^2 - 7090145141023473601/1906645360305228503*y - 253452046013840966/1906645360305228503

872400980570192637/1906645360305228503*y^15 + 1442308950073636587/1906645360305228503*y^14 - 696159238607681343/26854160004298993*y^13 + 156614563129546204291/1906645360305228503*y^12 - 99077319365880060660/1906645360305228503*y^11 - 284847330255387999008/1906645360305228503*y^10 + 539276517314891168549/1906645360305228503*y^9 - 180478727892037001480/1906645360305228503*y^8 - 578118583061734101749/1906645360305228503*y^7 + 694019115134921309321/1906645360305228503*y^6 + 243362260080922630219/1906645360305228503*y^5 - 475040255345014812118/1906645360305228503*y^4 - 92481947058417399563/1906645360305228503*y^3 + 85112333052983091022/1906645360305228503*y^2 + 32991515738898571403/1906645360305228503*y + 5638966669795528376/1906645360305228503

-659834706257018489/11439872161831371018*y^15 - 450778382834436547/5719936080915685509*y^14 + 89376576264464881/26854160004298993*y^13 - 64073037292084016842/5719936080915685509*y^12 + 14764040277758163724/1906645360305228503*y^11 + 119701933993783502939/5719936080915685509*y^10 - 458391087759822018079/11439872161831371018*y^9 + 128001007729294642043/11439872161831371018*y^8 + 253297654695601091989/5719936080915685509*y^7 - 298971261825506879795/5719936080915685509*y^6 - 252199382893374032227/11439872161831371018*y^5 + 239737167187868201303/5719936080915685509*y^4 + 61124924990396648411/3813290720610457006*y^3 - 43688005842768767642/5719936080915685509*y^2 - 86631415214460844523/11439872161831371018*y - 9319557667556559541/11439872161831371018

4028150067297829831/45759488647325484072*y^15 + 2735729457668181043/11439872161831371018*y^14 - 130605258277615256/26854160004298993*y^13 + 60059785378539507548/5719936080915685509*y^12 + 16395948502530655711/1906645360305228503*y^11 - 1094952965840243694025/22879744323662742036*y^10 + 1777572929389558553483/45759488647325484072*y^9 + 1598210354948970089891/45759488647325484072*y^8 - 2309066218502815193543/22879744323662742036*y^7 + 265373890196101584823/5719936080915685509*y^6 + 3903469582246771564937/45759488647325484072*y^5 - 571144281087585437705/11439872161831371018*y^4 - 479397505758449499041/15253162882441828024*y^3 + 76588285613959599511/22879744323662742036*y^2 + 159261590369913553135/45759488647325484072*y + 65224987080877174865/45759488647325484072

-8052544998003645514/1906645360305228503*y^15 - 14637504578085136821/1906645360305228503*y^14 + 6389056604826178122/26854160004298993*y^13 - 1371053506165880342966/1906645360305228503*y^12 + 700135207916179101900/1906645360305228503*y^11 + 2692862410286117472762/1906645360305228503*y^10 - 4430514845812458614503/1906645360305228503*y^9 + 845927446938384504337/1906645360305228503*y^8 + 5425459594495542666199/1906645360305228503*y^7 - 5279378424621825535220/1906645360305228503*y^6 - 3349793556949925251836/1906645360305228503*y^5 + 3857149318355962408885/1906645360305228503*y^4 + 1650332523525481830060/1906645360305228503*y^3 - 659433858631503222332/1906645360305228503*y^2 - 431548482593813438827/1906645360305228503*y - 88196179942821714931/1906645360305228503

14653824205148342255/15253162882441828024*y^15 + 6033523583897751329/3813290720610457006*y^14 - 1454329972223015740/26854160004298993*y^13 + 330303580283467860652/1906645360305228503*y^12 - 240509154743919600658/1906645360305228503*y^11 - 1977886209306161751401/7626581441220914012*y^10 + 8303766547890407770563/15253162882441828024*y^9 - 3813620756964928048117/15253162882441828024*y^8 - 3730237473277325289651/7626581441220914012*y^7 + 1252186074518830026779/1906645360305228503*y^6 + 2905713744852849404793/15253162882441828024*y^5 - 1392922050035916406985/3813290720610457006*y^4 - 1377000753080925080843/15253162882441828024*y^3 + 335164264969276925643/7626581441220914012*y^2 + 315831570969266973055/15253162882441828024*y + 49717185240029686881/15253162882441828024

-9834963032244846249/7626581441220914012*y^15 - 4345573741173776188/1906645360305228503*y^14 + 1945378801465500611/26854160004298993*y^13 - 426833364058265061747/1906645360305228503*y^12 + 268815922188658968556/1906645360305228503*y^11 + 1426696372351006213037/3813290720610457006*y^10 - 5386508877140250965077/7626581441220914012*y^9 + 2009816124701756684147/7626581441220914012*y^8 + 2717680756088794676727/3813290720610457006*y^7 - 1618709251949806470582/1906645360305228503*y^6 - 2495709246605773234999/7626581441220914012*y^5 + 920190115919479728594/1906645360305228503*y^4 + 1002541910311801533801/7626581441220914012*y^3 - 178453945256565310187/3813290720610457006*y^2 - 152485088739155834189/7626581441220914012*y - 12244984722088138159/7626581441220914012


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

# B Gluing Matrix
{{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}}

# nu Gluing Vector
{-4, 0, -5, 0, -3, 2, 0}

# f Combinatorial flattening
{14, -13, 0, 4, -7, 4, 4}

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

# 1 Loop Invariant
-91065070636199298471/3813290720610457006*y^15 - 82310562000917465783/1906645360305228503*y^14 + 36147426680723218505/26854160004298993*y^13 - 7775688054293035369186/1906645360305228503*y^12 + 4002090740363875254454/1906645360305228503*y^11 + 15226253607873212525851/1906645360305228503*y^10 - 50094611745541319134487/3813290720610457006*y^9 + 9322146118975699246165/3813290720610457006*y^8 + 30750103701550810379693/1906645360305228503*y^7 - 29717367989584479200912/1906645360305228503*y^6 - 38716703058710306765189/3813290720610457006*y^5 + 22025413658571535878093/1906645360305228503*y^4 + 19684732244465642375067/3813290720610457006*y^3 - 3898764671686978481650/1906645360305228503*y^2 - 5307637240643266261633/3813290720610457006*y - 1082657726503909053731/3813290720610457006

# 2 Loop Invariant
55343769470026354208465193571115449456776057201243552275674983/1590255459565932204969959010863731312392270884071712467878859576*y^15 + 525630955861189341111090785427036472621798362626836501660390805/9541532757395593229819754065182387874353625304430274807273157456*y^14 - 265544792096651384350916466127306438184483797436162232153554321/134387785315430890560841606551864617948642609921553166299621936*y^13 + 60948415832294078984707424564651252426356052232585483380508625951/9541532757395593229819754065182387874353625304430274807273157456*y^12 - 10449374192414377400139144382750665231598941417694705001243482781/2385383189348898307454938516295596968588406326107568701818289364*y^11 - 17814902246367309842562287065992232449588919859590560108903776795/1590255459565932204969959010863731312392270884071712467878859576*y^10 + 36013657092474541577767289525579573653551133025678529946854317621/1590255459565932204969959010863731312392270884071712467878859576*y^9 - 86514933018753880187352137465174566031618618830196176401727846295/9541532757395593229819754065182387874353625304430274807273157456*y^8 - 216082380953946645174147448055939397113845579003717764333705826159/9541532757395593229819754065182387874353625304430274807273157456*y^7 + 95229749819565659694792665891579818585385979524732899372762270853/3180510919131864409939918021727462624784541768143424935757719152*y^6 + 33980728597059904806599386679660209034890151395058503025796987191/4770766378697796614909877032591193937176812652215137403636578728*y^5 - 23547535359485216809972588149922943672615423291725060468623678491/1192691594674449153727469258147798484294203163053784350909144682*y^4 - 4469487929799854361155832531785159774759600070675180942885957941/2385383189348898307454938516295596968588406326107568701818289364*y^3 + 17368017222996574702311798976702246005154783719939439080746809091/4770766378697796614909877032591193937176812652215137403636578728*y^2 + 4200558239394349387718116445910293198359996111016295021971766161/4770766378697796614909877032591193937176812652215137403636578728*y - 2990742737288761388069424295962289617436833541188391828917418607/397563864891483051242489752715932828098067721017928116969714894

# 3 Loop Invariant
498338091513700640289266850637667070397405774989301612128371966130323646552883636909/64950183174645987410864050438527967596484919920333877185412237548958880118331599157728*y^15 + 1944766490728805976642550406565557979688648351351135491249456615719610220760787224429/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^14 - 395588207196760725565369700229193353880074377956662831329253717375249088185078985605/914791312318957569167099301951098135161759435497660242048059683788153241103261959968*y^13 + 20228093657790108052467048897623693145864085097544208229624974547326144836872538907079/16237545793661496852716012609631991899121229980083469296353059387239720029582899789432*y^12 - 48824217916478986790011982220668638235720362136176136903166422567391688541899662808421/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^11 - 49692351487964265993928223007395601858588983339604287081014191965741009234102014154067/16237545793661496852716012609631991899121229980083469296353059387239720029582899789432*y^10 + 559065670561664193529280439581705061634864870710504605704566218606924177516534509602671/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^9 + 7255042319133382936688728148597430178249166408718773659606330393636666674911730906869/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^8 - 827629198455867197774384932996310156845253556526602177337745622361328069904963733845501/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^7 + 675371710997248707673404578811835117483334464953739405442492585935969117913934988857599/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^6 + 577873263676353510192194836865159210435018618140430879184327372118669820131268235335777/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^5 - 593521781433353295106607272836385456691140292302176651481944869240052578897773285032517/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^4 - 265579795428173275721130991875518479446904098000493333852665493405308117287551880449903/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^3 + 135144424947567222380028488102876247487073121905356934069669665878694289010657839098509/129900366349291974821728100877055935192969839840667754370824475097917760236663198315456*y^2 + 939805453940648547120386367266253165311641266164321815763065224405869649749877978725/2029693224207687106589501576203998987390153747510433662044132423404965003697862473679*y + 2146441250087458965820412699068169635268394287941166555157960038267531273329519746149/32475091587322993705432025219263983798242459960166938592706118774479440059165799578864