# Manifold: Census Knot K6_7

# Number of Tetrahedra: 6

# Number Field
x^19 + 7*x^18 + 11*x^17 - 230*x^16 - 155*x^15 + 567*x^14 + 1280*x^13 + 4939*x^12 + 3431*x^11 - 8823*x^10 - 7165*x^9 + 5450*x^8 + 3875*x^7 - 1451*x^6 - 621*x^5 + 151*x^4 - 32*x^3 + 9*x - 1 

# Approximate Field Generator
0.0382236023150993 + 0.297332564676564*I

# Shape Parameters
-428514001861487880738786746509488/6609147792976338393347535944365*y^18 - 3330559428329177221842799646250268/6609147792976338393347535944365*y^17 - 1455768253025058938212821472078917/1321829558595267678669507188873*y^16 + 18597805179884041962337036184272546/1321829558595267678669507188873*y^15 + 27667697391211958980325702955199535/1321829558595267678669507188873*y^14 - 137719112706480050890138892796498996/6609147792976338393347535944365*y^13 - 656497213113415159319673321924903154/6609147792976338393347535944365*y^12 - 2620442667332996777558264097665990493/6609147792976338393347535944365*y^11 - 696884887290136408956274161141315755/1321829558595267678669507188873*y^10 + 18511213338286686849918095538650309/108346685130759645792582556465*y^9 + 3983585940990157076833960670289159341/6609147792976338393347535944365*y^8 + 704089313127266398702205735664408384/6609147792976338393347535944365*y^7 - 1168021716789105999823763661428128884/6609147792976338393347535944365*y^6 - 269482079750914707181899126254170668/6609147792976338393347535944365*y^5 + 73488773785547941768620788748582911/6609147792976338393347535944365*y^4 - 10204020477769041107167801723250709/6609147792976338393347535944365*y^3 + 1094656524167533855505202919666291/1321829558595267678669507188873*y^2 + 909152629315801940148810710875834/1321829558595267678669507188873*y - 591975657077520105287786517590522/6609147792976338393347535944365

1850650075900692888090350794239/1321829558595267678669507188873*y^18 + 13503751357914994276063280706553/1321829558595267678669507188873*y^17 + 24439892665001896137031608170191/1321829558595267678669507188873*y^16 - 418000012006219705977686323774229/1321829558595267678669507188873*y^15 - 411075322750228754146530288274299/1321829558595267678669507188873*y^14 + 907792067155099438158540618942767/1321829558595267678669507188873*y^13 + 2654667373825382272766731224733885/1321829558595267678669507188873*y^12 + 10010180657745993626884419909676559/1321829558595267678669507188873*y^11 + 9383128045909673579916493825577797/1321829558595267678669507188873*y^10 - 218874736886570755601613488905072/21669337026151929158516511293*y^9 - 17763052177743221083514446454636605/1321829558595267678669507188873*y^8 + 3065040412238925440909614777439367/1321829558595267678669507188873*y^7 + 7626276975638516222880307911418426/1321829558595267678669507188873*y^6 + 708681702718151344641847992986695/1321829558595267678669507188873*y^5 - 482221415842538250113786038702692/1321829558595267678669507188873*y^4 + 18530426467615636307493774681953/1321829558595267678669507188873*y^3 - 61830364319181943441773313782767/1321829558595267678669507188873*y^2 - 16306756796825974464217426824709/1321829558595267678669507188873*y + 5802944489903342408119747019503/1321829558595267678669507188873

46041634058321721618570229062194/6609147792976338393347535944365*y^18 + 357180570601590421419618301866289/6609147792976338393347535944365*y^17 + 155339744009220232526508064187043/1321829558595267678669507188873*y^16 - 2000817672917512911799142411848403/1321829558595267678669507188873*y^15 - 2944575074880131453279806195545310/1321829558595267678669507188873*y^14 + 15043981730470835000763473671574703/6609147792976338393347535944365*y^13 + 70426577393264246871129336762728602/6609147792976338393347535944365*y^12 + 280564917872303861001181432988183629/6609147792976338393347535944365*y^11 + 73994560019350441580716841848790110/1321829558595267678669507188873*y^10 - 2100748910833295107188058025192772/108346685130759645792582556465*y^9 - 429151261555130476997969272291887523/6609147792976338393347535944365*y^8 - 71370427284688041353781999024461147/6609147792976338393347535944365*y^7 + 128191072403347566934916641485749042/6609147792976338393347535944365*y^6 + 29443396327674522547318046897480504/6609147792976338393347535944365*y^5 - 8176538897626290792869128995167803/6609147792976338393347535944365*y^4 + 704392339204488226529316529561112/6609147792976338393347535944365*y^3 - 131267930188585983572539431814995/1321829558595267678669507188873*y^2 - 94352740159196443614396439419797/1321829558595267678669507188873*y + 52593384393630524344051118537256/6609147792976338393347535944365

33088789451350859711393220411281/6609147792976338393347535944365*y^18 + 255551026250719637597253500255781/6609147792976338393347535944365*y^17 + 109969039160688034194682312290505/1321829558595267678669507188873*y^16 - 1440988927231630001626569084554968/1321829558595267678669507188873*y^15 - 2064830339472624791590163809111916/1321829558595267678669507188873*y^14 + 11060512591741844258650680410293917/6609147792976338393347535944365*y^13 + 50095851232920586433989649117243183/6609147792976338393347535944365*y^12 + 200084657710853291197042033409753571/6609147792976338393347535944365*y^11 + 51933876770015028919036900472314354/1321829558595267678669507188873*y^10 - 1610072876105900735347670240892503/108346685130759645792582556465*y^9 - 301590194631788079182063895445133117/6609147792976338393347535944365*y^8 - 42729424161654390974152852834249573/6609147792976338393347535944365*y^7 + 89790092399719715349704635861423363/6609147792976338393347535944365*y^6 + 18192847761870969142270432172203971/6609147792976338393347535944365*y^5 - 5471878240605716199246841089919707/6609147792976338393347535944365*y^4 + 652516709926660611186276377933698/6609147792976338393347535944365*y^3 - 107752082737148980348060059818447/1321829558595267678669507188873*y^2 - 61164246249786814640174286703330/1321829558595267678669507188873*y + 45834073277611521544537254449354/6609147792976338393347535944365

9656102690879041285281917417871/6609147792976338393347535944365*y^18 + 76408836277522541877389595346746/6609147792976338393347535944365*y^17 + 34762906727610483463478275403711/1321829558595267678669507188873*y^16 - 415564978005878297516031776185156/1321829558595267678669507188873*y^15 - 684367782207694505095477576301971/1321829558595267678669507188873*y^14 + 2836132085431931235863537792584357/6609147792976338393347535944365*y^13 + 15376995185164985923347331441930423/6609147792976338393347535944365*y^12 + 60800401540891107246803694522854466/6609147792976338393347535944365*y^11 + 17168562922969705363714552725147747/1321829558595267678669507188873*y^10 - 303276069099396480815554391469598/108346685130759645792582556465*y^9 - 97167122963746093086390077747823267/6609147792976338393347535944365*y^8 - 24273726761764953442900099343055168/6609147792976338393347535944365*y^7 + 28775208537862870700547803194777628/6609147792976338393347535944365*y^6 + 8318671997711260684406235034131901/6609147792976338393347535944365*y^5 - 2219569034005474441626994855806562/6609147792976338393347535944365*y^4 + 219434846993418567623584984591008/6609147792976338393347535944365*y^3 - 7552894393636979368676802689814/1321829558595267678669507188873*y^2 - 24503423704066622418732885979419/1321829558595267678669507188873*y + 25188806042460331871668907703789/6609147792976338393347535944365

-13862119454350686670357216706267/6609147792976338393347535944365*y^18 - 106406878497284620421446208731967/6609147792976338393347535944365*y^17 - 45144681488273060206865047838060/1321829558595267678669507188873*y^16 + 605242193019725082572489416936136/1321829558595267678669507188873*y^15 + 835430177928729291668163850029880/1321829558595267678669507188873*y^14 - 4745245269181998821541232838120284/6609147792976338393347535944365*y^13 - 20673718659849874629893911091178596/6609147792976338393347535944365*y^12 - 82994029042588950548505392006164862/6609147792976338393347535944365*y^11 - 21078423051527551996954133053776028/1321829558595267678669507188873*y^10 + 720265270639290911900437100494381/108346685130759645792582556465*y^9 + 121915920403297178598759048748020414/6609147792976338393347535944365*y^8 + 13734856173980165126537954953293221/6609147792976338393347535944365*y^7 - 35729192010627838840368244724251431/6609147792976338393347535944365*y^6 - 6058753972992557071711538607770442/6609147792976338393347535944365*y^5 + 2023301631998704673773481922903299/6609147792976338393347535944365*y^4 - 421730062631096191966411685312661/6609147792976338393347535944365*y^3 + 42721863662273385800046384254581/1321829558595267678669507188873*y^2 + 24959135272764439524553085574936/1321829558595267678669507188873*y - 14188955719662285116483330568338/6609147792976338393347535944365


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

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

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

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

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

# 1 Loop Invariant
129409461511852872593720971944656/6609147792976338393347535944365*y^18 + 963298309951497643289200548824351/6609147792976338393347535944365*y^17 + 379860060155419121676651462603793/1321829558595267678669507188873*y^16 - 5716666024430275455507822085612630/1321829558595267678669507188873*y^15 - 6437600298635348373960776482519509/1321829558595267678669507188873*y^14 + 48161273055262860894552471292351682/6609147792976338393347535944365*y^13 + 179846439830658290045984183129370033/6609147792976338393347535944365*y^12 + 740717015010914242853626092849978436/6609147792976338393347535944365*y^11 + 166076618669138020138974288047586468/1321829558595267678669507188873*y^10 - 8588915963529188904931711799409803/108346685130759645792582556465*y^9 - 963739223765114710060733693158049947/6609147792976338393347535944365*y^8 - 17031371189626699230738852518640193/6609147792976338393347535944365*y^7 + 259781013406951671870634231673170613/6609147792976338393347535944365*y^6 + 47710280756341940720519544823411881/6609147792976338393347535944365*y^5 - 2866502284630886862380280682256442/6609147792976338393347535944365*y^4 - 1597322512501664623735138285178132/6609147792976338393347535944365*y^3 - 732464877642840056970317624058777/1321829558595267678669507188873*y^2 - 159108597668933995905946144269255/1321829558595267678669507188873*y - 102539814950561112763065869058251/6609147792976338393347535944365

# 2 Loop Invariant
-168258143396792625933947318625124663146913283052022304618036723268524717999586472739197/1685116865769851558139101186697808867388219075110288783792474746670499994760608897786480*y^18 - 434895088677336835106023791877442008681233481320791779654171752487838434819743072210959/561705621923283852713033728899269622462739691703429594597491582223499998253536299262160*y^17 - 94940232942008015468072714484602896452714682081287938241215239761779862152967781644661/56170562192328385271303372889926962246273969170342959459749158222349999825353629926216*y^16 + 1215391561486444531336503999054272433040596619515747220410841342897515150707502155256797/56170562192328385271303372889926962246273969170342959459749158222349999825353629926216*y^15 + 2672770679393532690122560399586804138794804233332335955477656935798130045046636828583325/84255843288492577906955059334890443369410953755514439189623737333524999738030444889324*y^14 - 4329566245166411256429115236945447393253352595577376704871375695205407202241767994008247/140426405480820963178258432224817405615684922925857398649372895555874999563384074815540*y^13 - 31702414834832734774598478347501650826714295421542072824262390959192037987393251794037647/210639608221231444767387648337226108423527384388786097974059343333812499345076112223310*y^12 - 171599777117751046919429069845239915222541123094073670383963918470907387699431325453623157/280852810961641926356516864449634811231369845851714797298745791111749999126768149631080*y^11 - 68404703442057812244675710351360323227382120494400575853443981944976196291324898884830941/84255843288492577906955059334890443369410953755514439189623737333524999738030444889324*y^10 + 2129413941104369560938989103265820542787159892332062535968307864024386334058906745043487/9208288883988259880541536539332288892831798224646386796680189872516393413992398348560*y^9 + 61363214118038570021060881839310515464438374828395833349159970600809770113381164731347061/70213202740410481589129216112408702807842461462928699324686447777937499781692037407770*y^8 + 308392496925022559093127756634322800090860937845948045444200982441829326119707508901647251/1685116865769851558139101186697808867388219075110288783792474746670499994760608897786480*y^7 - 123855009903391972513171215762155233765160630613149366291117195135136739037903358310768737/561705621923283852713033728899269622462739691703429594597491582223499998253536299262160*y^6 - 51740360732196381629885848754978557349658476694301689893268476215562903082832762599749851/842558432884925779069550593348904433694109537555144391896237373335249997380304448893240*y^5 + 9308935594707720665913655454774943793547672705198551794115975358359256295785978556644749/1685116865769851558139101186697808867388219075110288783792474746670499994760608897786480*y^4 - 6049927670604989916870504075635450072085513092779150336095621145339444404711913169054701/1685116865769851558139101186697808867388219075110288783792474746670499994760608897786480*y^3 + 123322162585285825550826187109322439837965564818695870950491041506303843239800402556391/112341124384656770542606745779853924492547938340685918919498316444699999650707259852432*y^2 + 179530883008321058015708586908528785460556211600413229965240202329859165937590775860265/168511686576985155813910118669780886738821907511028878379247474667049999476060889778648*y + 345202974175840930204110623034892725292891485804099502450756204926570570115608294622841/842558432884925779069550593348904433694109537555144391896237373335249997380304448893240

# 3 Loop Invariant
37836526012141563685737834744265878689607684400905495332002768675421633579027987509184096942076109418834441820663/5178338355859281121481173388636578286617799259681587878616245873424575511937594137522606047649419626200161636339520*y^18 + 143267917233419830609871520030727330057693958763006723402150025576745510633567988134626408957510658251176582717129/2589169177929640560740586694318289143308899629840793939308122936712287755968797068761303023824709813100080818169760*y^17 + 58709791969508562346966194264215528439144034480443493953495740321486008381553962908135676793947498383453382152667/517833835585928112148117338863657828661779925968158787861624587342457551193759413752260604764941962620016163633952*y^16 - 207910690244188197332857307419128601908964662590829698136620153851700098080411061703304637916337048696138841439125/129458458896482028037029334715914457165444981492039696965406146835614387798439853438065151191235490655004040908488*y^15 - 1053391761789418744838692951407915021874624485297152696234314213020928860799575060948431727661945969328940568844737/517833835585928112148117338863657828661779925968158787861624587342457551193759413752260604764941962620016163633952*y^14 + 870739212928634718569067394511003947489920775081028822576831956454781414986146186513881805621715077868118576086531/323646147241205070092573336789786142913612453730099242413515367089035969496099633595162877978088726637510102271220*y^13 + 27417512260142499029174789839292480357624436139495040409015651766628707987859492881030846802321702671528559251492097/2589169177929640560740586694318289143308899629840793939308122936712287755968797068761303023824709813100080818169760*y^12 + 220787346941074574111707085505016996007463091158505697030463353531587313969846386191963075383665685033744223147879773/5178338355859281121481173388636578286617799259681587878616245873424575511937594137522606047649419626200161636339520*y^11 + 26552514000143768896989637525306626004810521852253700159985164277446510572506858112035414222366876207173019138832355/517833835585928112148117338863657828661779925968158787861624587342457551193759413752260604764941962620016163633952*y^10 - 1177725232305429836363008573800428010911856530856195910404946509867626122403811720977636953181329737470152751302267/42445396359502304274435847447840805628014748030176949824723326831348979606045853586250869243028029722952144560160*y^9 - 78056680251432638848750274996521329136784776871154893492799680101274621766390604210602883902542344668584996297749599/1294584588964820280370293347159144571654449814920396969654061468356143877984398534380651511912354906550040409084880*y^8 - 131993259155821220196811555108009269985316681447617481284612223565722585348867190294398435833980646425041956006827/2589169177929640560740586694318289143308899629840793939308122936712287755968797068761303023824709813100080818169760*y^7 + 49265745188676068546743327747602478742574125088056769711528366303653513232615496676655909844772347841307327767195817/2589169177929640560740586694318289143308899629840793939308122936712287755968797068761303023824709813100080818169760*y^6 + 1827369107799716584371904275482059265803228638765275740910406937138802345550078166012049386690727616888546629296773/5178338355859281121481173388636578286617799259681587878616245873424575511937594137522606047649419626200161636339520*y^5 - 4333867087983988083660571942351799029832694243973669634980392103544070648130867891939701827851051022389023673211153/2589169177929640560740586694318289143308899629840793939308122936712287755968797068761303023824709813100080818169760*y^4 + 991140533422205379008273545005258090560217466442477772633747185543041377934754599791250321243691981854295962930107/2589169177929640560740586694318289143308899629840793939308122936712287755968797068761303023824709813100080818169760*y^3 - 5624547098151541677092978125450146514301579619209769556936833827326780072396920142633434037697077570582144445761/64729229448241014018514667357957228582722490746019848482703073417807193899219926719032575595617745327502020454244*y^2 - 32464567120434583961178376463862999566268101498409105132215507458390591200259364568123671380820745937155756287411/1035667671171856224296234677727315657323559851936317575723249174684915102387518827504521209529883925240032327267904*y + 115626156157422190870818641988326128195729214245892322510654360111864361947184659033091650795608044162958777568237/5178338355859281121481173388636578286617799259681587878616245873424575511937594137522606047649419626200161636339520