# Manifold: Census Knot K7_112

# Number of Tetrahedra: 7

# Number Field
x^19 + 4*x^18 - 8*x^17 - 13*x^16 - 8*x^15 - 40*x^14 + 35*x^13 + 428*x^12 - 153*x^11 - 734*x^10 + 293*x^9 + 328*x^8 - 174*x^7 - 19*x^6 + 44*x^5 + 7*x^4 - 12*x^3 - 15*x^2 + 2*x + 3 

# Approximate Field Generator
0.308782396680889 + 0.569316164037012*I

# Shape Parameters
11904186961551030124141/379122616795237296647*y^18 + 40234724645299886075157/379122616795237296647*y^17 - 120207243649964882174670/379122616795237296647*y^16 - 80339201885129963802921/379122616795237296647*y^15 - 45407515673194264277672/379122616795237296647*y^14 - 447633750833351850143440/379122616795237296647*y^13 + 695107251973306210210092/379122616795237296647*y^12 + 4665799488543933341096378/379122616795237296647*y^11 - 4713367512428985021798130/379122616795237296647*y^10 - 5823680565414936696126268/379122616795237296647*y^9 + 7088065817383402771537896/379122616795237296647*y^8 - 487154165516069431049275/379122616795237296647*y^7 - 1753984933507299624601162/379122616795237296647*y^6 + 869536363555158831188589/379122616795237296647*y^5 - 21362258377988863473125/379122616795237296647*y^4 + 96850361195684938721875/379122616795237296647*y^3 - 200483824181759182803055/379122616795237296647*y^2 - 55012938097926599402393/379122616795237296647*y + 57054704856104447401119/379122616795237296647

173593319497583316007832344/29511283613958066408299127*y^18 + 581593731033770878281042229/29511283613958066408299127*y^17 - 1772634154053167174648323139/29511283613958066408299127*y^16 - 1129287103451437420692387073/29511283613958066408299127*y^15 - 609646309459612171315706279/29511283613958066408299127*y^14 - 6480121186837124397596884825/29511283613958066408299127*y^13 + 10351009499713493618054038973/29511283613958066408299127*y^12 + 2188539419769783821186491010/951976890772840851880617*y^11 - 23603356815587216112008350519/9837094537986022136099709*y^10 - 83862342660968298859688849840/29511283613958066408299127*y^9 + 106229621447128311305317995806/29511283613958066408299127*y^8 - 8651891333057932961752798142/29511283613958066408299127*y^7 - 967131151705251853497201917/1093010504220669126233301*y^6 + 13015410153871439962626028901/29511283613958066408299127*y^5 - 326016305393908803640011472/29511283613958066408299127*y^4 + 1273773927065671464804819553/29511283613958066408299127*y^3 - 328830806232247813052021753/3279031512662007378699903*y^2 - 8085116619516192846744014/317325630257613617293539*y + 878419316951439203231624657/29511283613958066408299127

2137517592816192161947494/2808919467835913130857623*y^18 + 6008412567992545391592867/2808919467835913130857623*y^17 - 26479794692017981469390507/2808919467835913130857623*y^16 - 5144571441686377906977781/2808919467835913130857623*y^15 + 6578636128664585418087137/2808919467835913130857623*y^14 - 67822823010976340716067943/2808919467835913130857623*y^13 + 177825147104300179744851474/2808919467835913130857623*y^12 + 799899079261964690154247747/2808919467835913130857623*y^11 - 1353752980035097105331305460/2808919467835913130857623*y^10 - 882314638972531719571447509/2808919467835913130857623*y^9 + 2033423968666960728924184134/2808919467835913130857623*y^8 - 12389064986659410617346039/90610305414061713898633*y^7 - 511490567143631594004322234/2808919467835913130857623*y^6 + 286410432161555603198243723/2808919467835913130857623*y^5 - 40873258376918971996519570/2808919467835913130857623*y^4 + 64727426816773015795640/90610305414061713898633*y^3 - 53236835552435730045284770/2808919467835913130857623*y^2 - 504018022358731946337201/2808919467835913130857623*y + 24807123227040857425929940/2808919467835913130857623

2137517592816192161947494/2808919467835913130857623*y^18 + 6008412567992545391592867/2808919467835913130857623*y^17 - 26479794692017981469390507/2808919467835913130857623*y^16 - 5144571441686377906977781/2808919467835913130857623*y^15 + 6578636128664585418087137/2808919467835913130857623*y^14 - 67822823010976340716067943/2808919467835913130857623*y^13 + 177825147104300179744851474/2808919467835913130857623*y^12 + 799899079261964690154247747/2808919467835913130857623*y^11 - 1353752980035097105331305460/2808919467835913130857623*y^10 - 882314638972531719571447509/2808919467835913130857623*y^9 + 2033423968666960728924184134/2808919467835913130857623*y^8 - 12389064986659410617346039/90610305414061713898633*y^7 - 511490567143631594004322234/2808919467835913130857623*y^6 + 286410432161555603198243723/2808919467835913130857623*y^5 - 40873258376918971996519570/2808919467835913130857623*y^4 + 64727426816773015795640/90610305414061713898633*y^3 - 53236835552435730045284770/2808919467835913130857623*y^2 - 504018022358731946337201/2808919467835913130857623*y + 24807123227040857425929940/2808919467835913130857623

4997682180535819199000/379122616795237296647*y^18 + 16915429851902585612273/379122616795237296647*y^17 - 50405014521153801083825/379122616795237296647*y^16 - 33993771957035804695812/379122616795237296647*y^15 - 18859127366150636333927/379122616795237296647*y^14 - 188198994494731759880318/379122616795237296647*y^13 + 290553054921653109734068/379122616795237296647*y^12 + 1960437718255827012577956/379122616795237296647*y^11 - 1972538131857137152533751/379122616795237296647*y^10 - 2460853139159050941850064/379122616795237296647*y^9 + 2988724802057079382995895/379122616795237296647*y^8 - 186421434230014827894994/379122616795237296647*y^7 - 769801282320600932385887/379122616795237296647*y^6 + 371666339677010192949585/379122616795237296647*y^5 - 4649253395292763765443/379122616795237296647*y^4 + 36361687007938799869680/379122616795237296647*y^3 - 82128026283739577788168/379122616795237296647*y^2 - 23481996370672003093915/379122616795237296647*y + 25399711197301185610058/379122616795237296647

-4554344846060296504086/379122616795237296647*y^18 - 15359043007799552439656/379122616795237296647*y^17 + 46140321592541070762835/379122616795237296647*y^16 + 30522457978544520549056/379122616795237296647*y^15 + 16820219717149220991123/379122616795237296647*y^14 + 170821718968259347286725/379122616795237296647*y^13 - 267479022675334919557639/379122616795237296647*y^12 - 1784543114625171548517955/379122616795237296647*y^11 + 1818265991814757120148155/379122616795237296647*y^10 + 2228794691039866626295272/379122616795237296647*y^9 - 2738647207699168507220868/379122616795237296647*y^8 + 188756121132708385777550/379122616795237296647*y^7 + 685404925503414642942062/379122616795237296647*y^6 - 338330073304614042394796/379122616795237296647*y^5 + 5959418236817180363514/379122616795237296647*y^4 - 34965587914488039402838/379122616795237296647*y^3 + 77863139697356366464915/379122616795237296647*y^2 + 20948514482844621529609/379122616795237296647*y - 22146069602712703264221/379122616795237296647

-1418023193054778070734/379122616795237296647*y^18 - 4744284306286977760372/379122616795237296647*y^17 + 14411238461655276421107/379122616795237296647*y^16 + 8831440694749260334194/379122616795237296647*y^15 + 5771849695663835424677/379122616795237296647*y^14 + 53673903001282122148947/379122616795237296647*y^13 - 84154563327404585667687/379122616795237296647*y^12 - 550235337237830609279870/379122616795237296647*y^11 + 576484624303705840893797/379122616795237296647*y^10 + 646149238999253696307448/379122616795237296647*y^9 - 843828974914870764857692/379122616795237296647*y^8 + 120889116183720902968147/379122616795237296647*y^7 + 175373925390628786978353/379122616795237296647*y^6 - 108352380613874186397408/379122616795237296647*y^5 + 9808843729097209544630/379122616795237296647*y^4 - 12225824145224879229327/379122616795237296647*y^3 + 22725401685387724040564/379122616795237296647*y^2 + 5092829426482778929705/379122616795237296647*y - 5425581051006781522062/379122616795237296647


# A Gluing Matrix
{{-1,-1,0,0,0,0,0},{-2,-1,1,1,1,0,0},{0,1,0,0,0,0,1},{0,1,-1,1,0,0,1},{0,1,0,0,1,1,0},{0,0,0,0,1,1,1},{0,0,1,1,0,1,1}}

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

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

# f Combinatorial flattening
{-6, 8, 6, -8, -2, -4, 8}

# f' Combinatorial flattening
{1, 0, -14, 0, 0, 0, 0}

# 1 Loop Invariant
17682604302156133050496/379122616795237296647*y^18 + 60177741629684292505528/379122616795237296647*y^17 - 178321735692232613152621/379122616795237296647*y^16 - 127070440944982293338002/379122616795237296647*y^15 - 57483275509148403244597/379122616795237296647*y^14 - 662490912115726419102928/379122616795237296647*y^13 + 1021456006225106062163612/379122616795237296647*y^12 + 6996679676529024713570409/379122616795237296647*y^11 - 6921532836653709229976585/379122616795237296647*y^10 - 9245962625386697495605314/379122616795237296647*y^9 + 10902165776023297553303478/379122616795237296647*y^8 - 107790040653732533133398/379122616795237296647*y^7 - 3351467093227493819430616/379122616795237296647*y^6 + 1533446984738281842810046/379122616795237296647*y^5 + 19320009568568933052253/379122616795237296647*y^4 + 72201865892008943859966/379122616795237296647*y^3 - 278327025441697361706553/379122616795237296647*y^2 - 114410096071235512711623/379122616795237296647*y + 108376469816239945519573/379122616795237296647

# 2 Loop Invariant
-334242143306553798225263075429705447316324566204040019718789774500687175218/627360688976293528500123693946162514477642150904803630844763930304471369781*y^18 - 18293078920587097974806212105531694973397978106840375594274883941557942381737/10037771023620696456001979103138600231642274414476858093516222884871541916496*y^17 + 26615500227118180010444308236815185901857817292285553144230279630440801796067/5018885511810348228000989551569300115821137207238429046758111442435770958248*y^16 + 6336400735217972036210391373245817621891411508759566191445268325669553033777/1672961837270116076000329850523100038607045735746143015586037147478590319416*y^15 + 1349420951025852238777864253976344724632682379175060183001523559409480473120/627360688976293528500123693946162514477642150904803630844763930304471369781*y^14 + 50822340034389677496277437076313279012442218968481363844305337064811365188025/2509442755905174114000494775784650057910568603619214523379055721217885479124*y^13 - 25191364490667120235254923447952011973298834127796861611638712552117320236401/836480918635058038000164925261550019303522867873071507793018573739295159708*y^12 - 701829207512998376732880106577007238128965921736744125321320235286087078610921/3345923674540232152000659701046200077214091471492286031172074294957180638832*y^11 + 1018724013978874936935696656300323032714399531649237328864978523482483840332993/5018885511810348228000989551569300115821137207238429046758111442435770958248*y^10 + 895017624538246744084083123691902562906029831402292548155017450308713863606395/3345923674540232152000659701046200077214091471492286031172074294957180638832*y^9 - 260490035074476465119287185590677429541448755553061011817663615867604679272485/836480918635058038000164925261550019303522867873071507793018573739295159708*y^8 + 41963675481029824568497971057294929934580477197102257336092587602533549065491/3345923674540232152000659701046200077214091471492286031172074294957180638832*y^7 + 850998236585108914994671835181185244862784503516682005672361072711648828158627/10037771023620696456001979103138600231642274414476858093516222884871541916496*y^6 - 130128268772566244782455103907015471546518823080142395608888330987694623388551/3345923674540232152000659701046200077214091471492286031172074294957180638832*y^5 - 353350335606411151835040255188954356719522953801498684161508806896691200857/836480918635058038000164925261550019303522867873071507793018573739295159708*y^4 - 37929957082351514170901315494385259973170642209080856282843365681052268648907/10037771023620696456001979103138600231642274414476858093516222884871541916496*y^3 + 30062995391882724718144821080115428420009447318214892953395363671274365833167/3345923674540232152000659701046200077214091471492286031172074294957180638832*y^2 + 4425448280339694166424745730900478520379912046637598997185840376422539174339/1672961837270116076000329850523100038607045735746143015586037147478590319416*y + 5666389908300809732992940609941866867633854304318529905460774346397070112585/627360688976293528500123693946162514477642150904803630844763930304471369781

# 3 Loop Invariant
-2739079674369753181507764859504606959909113558562287517447063601078554435712010827434323599264044366467/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y^18 - 2316750531677392471005669267683362456465675513684726380039902806883249446505945986547348545498570352499/2484987490251543828049827509745344580159970624292638577827882533515211756979856866008766953143365379728*y^17 + 27618666067274453957108417339048809928343823595885308182104080996906822315591261177581921022095610503965/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y^16 + 18535915331747165788263305459212198292353403911257517450993516320796701956957333136993510040172787501673/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y^15 + 5273804319277835516045703369095570768082263371843535751064319218592511160534921937836550902028263117851/4969974980503087656099655019490689160319941248585277155655765067030423513959713732017533906286730759456*y^14 + 51588086172091165567747471800856442665868197581125224925946714329369860610576759440596406033210866666733/4969974980503087656099655019490689160319941248585277155655765067030423513959713732017533906286730759456*y^13 - 39838724145061743692819340108031769969019323146735927955238736402138295463658635135001508928808911933789/2484987490251543828049827509745344580159970624292638577827882533515211756979856866008766953143365379728*y^12 - 536801074219965184635451789817001639521406900930435242393028241457192828472822312729131362657740904922885/4969974980503087656099655019490689160319941248585277155655765067030423513959713732017533906286730759456*y^11 + 1080912080369286165728345973046800015351360643892823877502523082093775670008732678756069941460103670491979/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y^10 + 1339809054589263332942880287034319684532634592122034127982862879213924475259079268814014381128296955239843/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y^9 - 407110238221714366075210703510594626131902658836742001731321495151226660082726633495416196008965900108729/2484987490251543828049827509745344580159970624292638577827882533515211756979856866008766953143365379728*y^8 + 27672327620240521877427847095388941683142202282538167370538809479496714000451205935108854460524639983541/2484987490251543828049827509745344580159970624292638577827882533515211756979856866008766953143365379728*y^7 + 204070129645683444429244793821698059412169636435354646933308059911021772438449430213654955322207819614481/4969974980503087656099655019490689160319941248585277155655765067030423513959713732017533906286730759456*y^6 - 198383464188590515204648832821206346309268112038734395586798185666142863165999915737183936249328966387111/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y^5 + 57062832428542532873791579644618350084122037912905025850681129963197255432604337838426154901626044121/310623436281442978506228438718168072519996328036579822228485316689401469622482108251095869142920672466*y^4 - 671107815537561233864594946015033227887308739090465687020479360665527425880456359066217432822089342533/310623436281442978506228438718168072519996328036579822228485316689401469622482108251095869142920672466*y^3 + 23043315240268301318169761769827875410358122254423194370629598210156613835363344670000324712723370112075/4969974980503087656099655019490689160319941248585277155655765067030423513959713732017533906286730759456*y^2 + 12069316071708163832268384428068036170285207213483635209470348410009474683945847359990070992294207467381/9939949961006175312199310038981378320639882497170554311311530134060847027919427464035067812573461518912*y - 207751672332563722418206502993942906694209425602605148506287814610742508762043109108946228639035909260/155311718140721489253114219359084036259998164018289911114242658344700734811241054125547934571460336233