# Manifold: H T Link Exterior K9a22

# Number of Tetrahedra: 10

# Number Field
x^17 + 3*x^16 + 10*x^15 + 19*x^14 + 35*x^13 + 49*x^12 + 58*x^11 + 58*x^10 + 39*x^9 + 21*x^8 - 2*x^7 - 14*x^6 - 6*x^5 - 10*x^4 + 12*x^3 + 4*x^2 + 9*x + 3 

# Approximate Field Generator
-0.599050753946087 - 1.48680416698124*I

# Shape Parameters
-1359073/2309809*y^16 - 3773335/2309809*y^15 - 11492445/2309809*y^14 - 19548364/2309809*y^13 - 32271075/2309809*y^12 - 39964136/2309809*y^11 - 38566462/2309809*y^10 - 30006432/2309809*y^9 - 7473791/2309809*y^8 + 3873444/2309809*y^7 + 11850522/2309809*y^6 + 12532968/2309809*y^5 - 4790218/2309809*y^4 + 1935884/2309809*y^3 - 12856384/2309809*y^2 - 2331884/2309809*y - 1916534/2309809

-10817779/39266753*y^16 - 37015796/39266753*y^15 - 108839426/39266753*y^14 - 204585787/39266753*y^13 - 19251853/2309809*y^12 - 419340719/39266753*y^11 - 404816864/39266753*y^10 - 293421093/39266753*y^9 - 3628612/2309809*y^8 + 98712867/39266753*y^7 + 136573446/39266753*y^6 + 104441239/39266753*y^5 - 73572618/39266753*y^4 - 70988084/39266753*y^3 - 102779908/39266753*y^2 - 53401653/39266753*y + 26200550/39266753

1359073/2309809*y^16 + 3773335/2309809*y^15 + 11492445/2309809*y^14 + 19548364/2309809*y^13 + 32271075/2309809*y^12 + 39964136/2309809*y^11 + 38566462/2309809*y^10 + 30006432/2309809*y^9 + 7473791/2309809*y^8 - 3873444/2309809*y^7 - 11850522/2309809*y^6 - 12532968/2309809*y^5 + 4790218/2309809*y^4 - 1935884/2309809*y^3 + 12856384/2309809*y^2 + 22075/2309809*y + 4226343/2309809

-648801/4619618*y^16 - 2667093/4619618*y^15 - 7970423/4619618*y^14 - 16522229/4619618*y^13 - 13814256/2309809*y^12 - 38024191/4619618*y^11 - 20539478/2309809*y^10 - 33486627/4619618*y^9 - 7343221/2309809*y^8 + 5224957/4619618*y^7 + 8727423/2309809*y^6 + 17857059/4619618*y^5 + 9675359/4619618*y^4 - 1501328/2309809*y^3 - 4722379/4619618*y^2 - 10404389/4619618*y + 573653/4619618

44577/2309809*y^16 + 1415295/4619618*y^15 + 1997192/2309809*y^14 + 11141493/4619618*y^13 + 9745124/2309809*y^12 + 15438464/2309809*y^11 + 38769153/4619618*y^10 + 35279785/4619618*y^9 + 13097514/2309809*y^8 + 1572286/2309809*y^7 - 12210309/4619618*y^6 - 18394267/4619618*y^5 - 10443538/2309809*y^4 + 814817/4619618*y^3 - 1637885/4619618*y^2 + 5203710/2309809*y + 7243487/4619618

1916534/6929427*y^16 + 557461/2309809*y^15 + 7845335/6929427*y^14 + 1936811/6929427*y^13 + 8433598/6929427*y^12 - 2903059/6929427*y^11 - 8733436/6929427*y^10 - 4540414/6929427*y^9 - 5091490/2309809*y^8 + 5941947/2309809*y^7 + 7787264/6929427*y^6 + 8720090/6929427*y^5 + 8699900/2309809*y^4 - 33535994/6929427*y^3 + 9602020/2309809*y^2 - 30903016/6929427*y + 5727527/2309809

590503/4619618*y^16 + 1596595/4619618*y^15 + 4778249/4619618*y^14 + 7849715/4619618*y^13 + 6187532/2309809*y^12 + 15066923/4619618*y^11 + 6823832/2309809*y^10 + 11676903/4619618*y^9 + 2548353/2309809*y^8 + 4187893/4619618*y^7 + 3951601/2309809*y^6 + 4579461/4619618*y^5 + 12123791/4619618*y^4 + 12139/2309809*y^3 + 1694271/4619618*y^2 - 1974807/4619618*y - 461799/4619618

-733022/6929427*y^16 + 515222/2309809*y^15 + 2419792/6929427*y^14 + 16473118/6929427*y^13 + 25380050/6929427*y^12 + 49865539/6929427*y^11 + 65565430/6929427*y^10 + 62944702/6929427*y^9 + 20401242/2309809*y^8 + 5060474/2309809*y^7 + 3871012/6929427*y^6 - 11665388/6929427*y^5 - 9423194/2309809*y^4 + 24537449/6929427*y^3 - 6191550/2309809*y^2 + 31915924/6929427*y + 1357605/2309809

648801/4619618*y^16 + 2667093/4619618*y^15 + 7970423/4619618*y^14 + 16522229/4619618*y^13 + 13814256/2309809*y^12 + 38024191/4619618*y^11 + 20539478/2309809*y^10 + 33486627/4619618*y^9 + 7343221/2309809*y^8 - 5224957/4619618*y^7 - 8727423/2309809*y^6 - 17857059/4619618*y^5 - 9675359/4619618*y^4 + 1501328/2309809*y^3 + 9341997/4619618*y^2 + 10404389/4619618*y + 8665583/4619618

619652/2309809*y^16 + 2131844/2309809*y^15 + 6374336/2309809*y^14 + 12185972/2309809*y^13 + 20001788/2309809*y^12 + 26545557/2309809*y^11 + 27363310/2309809*y^10 + 22581765/2309809*y^9 + 9891574/2309809*y^8 - 518532/2309809*y^7 - 4775822/2309809*y^6 - 6638799/2309809*y^5 + 1224216/2309809*y^4 + 1513467/2309809*y^3 + 5518134/2309809*y^2 + 4214791/2309809*y + 1792083/2309809


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

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

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

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

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

# 1 Loop Invariant
-1358179/2309809*y^16 - 4798627/2309809*y^15 - 25817731/4619618*y^14 - 23518097/2309809*y^13 - 63128263/4619618*y^12 - 37512901/2309809*y^11 - 48248295/4619618*y^10 - 6583795/2309809*y^9 + 21594574/2309809*y^8 + 36394642/2309809*y^7 + 41242113/4619618*y^6 + 15081613/2309809*y^5 - 1920697/2309809*y^4 - 7008068/2309809*y^3 - 2036769/4619618*y^2 - 26888593/4619618*y + 19156755/4619618

# 2 Loop Invariant
134009459242262110015735693582510123222684132331/14830895146548466477650052666497842279060897031372*y^16 + 8260342928535248676342663878006043833751906749/1235907928879038873137504388874820189921741419281*y^15 + 346358640350432210923438476001836804409833372959/14830895146548466477650052666497842279060897031372*y^14 - 218511721068568384768756257241539083094403757089/14830895146548466477650052666497842279060897031372*y^13 + 19599976798968713650518761318770849641023433292/3707723786637116619412513166624460569765224257843*y^12 - 150838659101639563427597852388674965205271530837/7415447573274233238825026333248921139530448515686*y^11 + 535408381946827515970360077378763518286847179289/14830895146548466477650052666497842279060897031372*y^10 + 2174467181465372081170911866418690047427294068447/14830895146548466477650052666497842279060897031372*y^9 + 498241065523458156114667632038851042363319421689/1647877238505385164183339185166426919895655225708*y^8 + 861956695762277115603162822821799197236422192443/1647877238505385164183339185166426919895655225708*y^7 + 6748421024057808425568295525000545863146110274151/14830895146548466477650052666497842279060897031372*y^6 + 2333848859856955600949177877792368801905667283781/7415447573274233238825026333248921139530448515686*y^5 + 103498115920577099491067541171962130101304971299/823938619252692582091669592583213459947827612854*y^4 - 2210406381507946508421392755721593746681212944001/14830895146548466477650052666497842279060897031372*y^3 + 38987374103767875846138218479710402100893210145/2471815857758077746275008777749640379843482838562*y^2 - 2676561326448411215992305501823298775017049330445/14830895146548466477650052666497842279060897031372*y + 73336600541663316175249246864539920705934776602/411969309626346291045834796291606729973913806427

# 3 Loop Invariant
14906778272692433873881574506778466189026137682909831717994455373355/1808094556565431730739604627782719391466138159956679960895392294221186*y^16 + 29049895764189501311790985269319283420774561779693871741384337845183/904047278282715865369802313891359695733069079978339980447696147110593*y^15 + 175029662964604833281392706205294586911563143272269135515269782705989/1808094556565431730739604627782719391466138159956679960895392294221186*y^14 + 363635414473452866960374259488251514048211487359036377931057255799323/1808094556565431730739604627782719391466138159956679960895392294221186*y^13 + 34067339622533130761120367843752893180618521134808105438346933020587/100449697586968429485533590432373299525896564442037775605299571901177*y^12 + 143925100305939176845718004973831347544600040019660920881111627421432/301349092760905288456600771297119898577689693326113326815898715703531*y^11 + 943029794483812358243161439429361598866095459330636054513911486199363/1808094556565431730739604627782719391466138159956679960895392294221186*y^10 + 824461132197669707125255292459717501803655686749299712468279452925005/1808094556565431730739604627782719391466138159956679960895392294221186*y^9 + 221119678599305564266917017679812869032897618343472514231124238950673/904047278282715865369802313891359695733069079978339980447696147110593*y^8 + 1372915729637523401253368759775586592608840923781168647158293864091/200899395173936858971067180864746599051793128884075551210599143802354*y^7 - 114716795264459626011979561604183044150830992647027074747926923903060/904047278282715865369802313891359695733069079978339980447696147110593*y^6 - 161654698344817520844686096972859871863675503688587028188779493737280/904047278282715865369802313891359695733069079978339980447696147110593*y^5 - 96417842333875410316181862291029670140372449635751432984964617482215/1808094556565431730739604627782719391466138159956679960895392294221186*y^4 + 35104406721645349017182754302472848522952723990125261667966702326815/904047278282715865369802313891359695733069079978339980447696147110593*y^3 + 76904695515377554167450038110382779146462830218301814760743326904721/904047278282715865369802313891359695733069079978339980447696147110593*y^2 + 194626347468404376756538722406826924346368821064769580739002033780771/1808094556565431730739604627782719391466138159956679960895392294221186*y + 45606034046550595080831367942123351898187632489129411891473456525381/1808094556565431730739604627782719391466138159956679960895392294221186

# 4 Loop Invariant
1641411211541197367691160757381288666795686013519212373594635737526559685394980716040589469754185716390050245453/348284132369390237108584183972703707557047150164083274257611472363512071514913689094177331897255576622235803282640*y^16 + 551948876986923317335927071497274991308305846364886472102249695818356842054202745980865962229442344641775076495/23218942157959349140572278931513580503803143344272218283840764824234138100994245939611822126483705108149053552176*y^15 + 3015364496242805633344544494441628693864569192210163595288342408519664624333198432890850044855559038311019233461/43535516546173779638573022996587963444630893770510409282201434045439008939364211136772166487156947077779475410330*y^14 + 26574109248255796720130695279259415990681875873959993363021263923627456617767264248670395878724330684660206445227/174142066184695118554292091986351853778523575082041637128805736181756035757456844547088665948627788311117901641320*y^13 + 4282223312394393017695234936951457624652721268473651029785750988189962950307058265905902612282276552828153741681/17414206618469511855429209198635185377852357508204163712880573618175603575745684454708866594862778831111790164132*y^12 + 118359826590103640402847614053321948144081234322748661573910409418099317190783414044185291452703082957047311438049/348284132369390237108584183972703707557047150164083274257611472363512071514913689094177331897255576622235803282640*y^11 + 123476011480087598372944046865875510287738300546820652753606208651215168654212299585376998700666664645838984121663/348284132369390237108584183972703707557047150164083274257611472363512071514913689094177331897255576622235803282640*y^10 + 94726492858800913256351255270369078604947452259404539665618716864354486453641183816446675388072579688313897080079/348284132369390237108584183972703707557047150164083274257611472363512071514913689094177331897255576622235803282640*y^9 + 531983786722049312859548128507338146105789944153663181905454822047487270654348201353505490941114891937848712251/4837279616241531070952558110731995938292321530056712142466826005048778771040467904085796276350771897531052823370*y^8 - 2955470663865555918879850235869021091346322113404868652503868966266090087057901603022344416094553833193030688763/38698236929932248567620464885855967506338572240453697139734608040390230168323743232686370210806175180248422586960*y^7 - 2626379888407063415835029130723052729327187690133511769340817500466701011557164738823847495315831030681356466881/21767758273086889819286511498293981722315446885255204641100717022719504469682105568386083243578473538889737705165*y^6 - 16155878682582174796598982507724046910099502432111383372616757812613162121320609899815917773742743308730271359913/174142066184695118554292091986351853778523575082041637128805736181756035757456844547088665948627788311117901641320*y^5 - 152622507561166399224712061200601931232034708160653471113311643573822829128368670287663722631137722150510011829/12899412309977416189206821628618655835446190746817899046578202680130076722774581077562123403602058393416140862320*y^4 + 23934580036264777417779616050805191160799650252806954087981896267518621901794815433554031197748336281230784737773/348284132369390237108584183972703707557047150164083274257611472363512071514913689094177331897255576622235803282640*y^3 + 404785707483574724515497681155375680913810764513538966628362298190143971301026061773285095211129153938767509543/29023677697449186425715348664391975629753929180340272854800956030292672626242807424514777658104631385186316940220*y^2 + 15790594616687140263289894184754206740640239089665227006049436483293357051620238891368619274905000858921680198037/348284132369390237108584183972703707557047150164083274257611472363512071514913689094177331897255576622235803282640*y - 14846282543579632945174522622988690279102001648822743598983641350999282139511320469228911642424287995793435977/38698236929932248567620464885855967506338572240453697139734608040390230168323743232686370210806175180248422586960