# Manifold: H T Link Exterior K9a8

# Number of Tetrahedra: 9

# Number Field
x^15 + 3*x^14 + 3*x^13 + 3*x^12 - 11*x^10 - 14*x^9 - 11*x^8 - 3*x^7 + 27*x^6 + 43*x^5 + 19*x^4 - 6*x^3 - 6*x^2 + 1 

# Approximate Field Generator
-1.38639826552308 - 0.131565010002226*I

# Shape Parameters
-123488/137641*y^14 - 235617/137641*y^13 - 6401/19663*y^12 - 2645/2597*y^11 + 5629/2597*y^10 + 1209650/137641*y^9 + 371708/137641*y^8 + 235520/137641*y^7 - 538152/137641*y^6 - 3309668/137641*y^5 - 1741242/137641*y^4 + 1440463/137641*y^3 + 1347439/137641*y^2 - 55936/137641*y - 376060/137641

2045/19663*y^14 + 3532/19663*y^13 - 79/2809*y^12 + 104/371*y^11 - 15/371*y^10 - 21435/19663*y^9 + 5144/19663*y^8 - 11793/19663*y^7 - 10816/19663*y^6 + 57146/19663*y^5 + 3331/19663*y^4 - 10230/19663*y^3 + 39212/19663*y^2 + 15336/19663*y - 11915/19663

-78424/137641*y^14 - 172506/137641*y^13 - 12889/19663*y^12 - 2398/2597*y^11 + 2579/2597*y^10 + 785284/137641*y^9 + 523792/137641*y^8 + 317745/137641*y^7 - 193211/137641*y^6 - 2049167/137641*y^5 - 1913776/137641*y^4 + 289718/137641*y^3 + 854573/137641*y^2 + 53574/137641*y + 72516/137641

-12356/19663*y^14 - 24427/19663*y^13 - 307/2809*y^12 - 97/371*y^11 + 624/371*y^10 + 131146/19663*y^9 + 40293/19663*y^8 - 16494/19663*y^7 - 75242/19663*y^6 - 357327/19663*y^5 - 193997/19663*y^4 + 241181/19663*y^3 + 224597/19663*y^2 - 1490/19663*y - 39689/19663

28928/137641*y^14 + 66145/137641*y^13 - 4671/19663*y^12 - 1509/2597*y^11 - 2069/2597*y^10 - 434172/137641*y^9 - 56116/137641*y^8 + 454588/137641*y^7 + 366180/137641*y^6 + 1182103/137641*y^5 + 526137/137641*y^4 - 1657031/137641*y^3 - 1397551/137641*y^2 - 18498/137641*y + 298462/137641

-15336/19663*y^14 - 34093/19663*y^13 - 1174/2809*y^12 - 127/371*y^11 + 664/371*y^10 + 174208/19663*y^9 + 82844/19663*y^8 - 19549/19663*y^7 - 79913/19663*y^6 - 461610/19663*y^5 - 348559/19663*y^4 + 278107/19663*y^3 + 321732/19663*y^2 + 10296/19663*y - 32278/19663

-3777325/12800613*y^14 - 2193325/4266871*y^13 - 514084/1828659*y^12 - 178144/241521*y^11 + 147125/241521*y^10 + 29115344/12800613*y^9 + 4943766/4266871*y^8 + 10242333/4266871*y^7 - 6694717/12800613*y^6 - 80359064/12800613*y^5 - 18195056/4266871*y^4 - 17773423/12800613*y^3 - 3263578/4266871*y^2 - 173020/12800613*y + 11803420/12800613

-130728/609553*y^14 - 826526/1828659*y^13 - 58363/261237*y^12 - 8069/34503*y^11 + 5771/11501*y^10 + 3798440/1828659*y^9 + 2773430/1828659*y^8 + 736816/1828659*y^7 - 1967068/1828659*y^6 - 9997312/1828659*y^5 - 3245596/609553*y^4 + 1116593/609553*y^3 + 7158022/1828659*y^2 + 564335/1828659*y - 536401/1828659

-6926870/6744409*y^14 - 17430080/6744409*y^13 - 1703153/963487*y^12 - 257111/127253*y^11 + 128624/127253*y^10 + 72913280/6744409*y^9 + 61770134/6744409*y^8 + 39228849/6744409*y^7 - 577928/6744409*y^6 - 185819860/6744409*y^5 - 208966948/6744409*y^4 - 13118458/6744409*y^3 + 57722586/6744409*y^2 + 3089764/6744409*y - 5632376/6744409


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

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

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

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

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

# 1 Loop Invariant
-186610/137641*y^14 - 1825681/275282*y^13 - 221133/39326*y^12 - 3695/5194*y^11 - 8172/2597*y^10 + 3672337/137641*y^9 + 4575386/137641*y^8 - 118791/137641*y^7 + 2149869/275282*y^6 - 8376430/137641*y^5 - 14900973/137641*y^4 + 1174673/275282*y^3 + 16093457/275282*y^2 + 941805/137641*y - 1007541/137641

# 2 Loop Invariant
-12338896237410955023673172104253393025815/62193374333488298528116228289795551334427*y^14 - 53193367219061266467201369257214484444567/124386748666976597056232456579591102668854*y^13 - 557990990969686827233957802016872432550/2961589253975633263243629918561692920687*y^12 - 244240289231304181189266012631181647173/782306595389789918592656959620069828106*y^11 + 1650876460844384145218677957166043130331/4693839572338739511555941757720418968636*y^10 + 248398717956437055470751519245158901276615/124386748666976597056232456579591102668854*y^9 + 66769396854673596338584891977646380845362/62193374333488298528116228289795551334427*y^8 + 47952256288940051880977318556037311713927/62193374333488298528116228289795551334427*y^7 - 109292573884807145956918791007577269486355/248773497333953194112464913159182205337708*y^6 - 660781727494141369275202110935669846896109/124386748666976597056232456579591102668854*y^5 - 503584441030900032452026592419826178041389/124386748666976597056232456579591102668854*y^4 + 249540167947915829570074823654122558353839/248773497333953194112464913159182205337708*y^3 + 141649444547610866034481522902919159916335/82924499111317731370821637719727401779236*y^2 + 1060109531445096341466910007427719367332/20731124777829432842705409429931850444809*y - 21185458221107076832822978995874150149649/41462249555658865685410818859863700889618

# 3 Loop Invariant
2156062488987312076070039513826458786068954871401786819/2298753187453887316948198795039164253677931703730716292482*y^14 - 46667684131272967531690254334330613130471210340365871695/2298753187453887316948198795039164253677931703730716292482*y^13 - 10770227275661362239842358726253271544628927077535068816/164196656246706236924871342502797446691280835980765449463*y^12 - 2410346390963828461065006861031253840718388673264796431/43372701650073345602796203679984231201470409504353137594*y^11 - 2591640795153550585837728762505252407280295537577286485/43372701650073345602796203679984231201470409504353137594*y^10 - 13219724715760345374247275717470467925872250605983994224/1149376593726943658474099397519582126838965851865358146241*y^9 + 298375123210283926379428295748863209251629386348711398564/1149376593726943658474099397519582126838965851865358146241*y^8 + 310266325807763795604045375164237425569621561097738855795/1149376593726943658474099397519582126838965851865358146241*y^7 + 455811432325422011623943473467334207777875421300146874277/2298753187453887316948198795039164253677931703730716292482*y^6 + 130472227735329867305354017522857156707675621978198636459/1149376593726943658474099397519582126838965851865358146241*y^5 - 735573855204267271466190921926847964285709851601566221685/1149376593726943658474099397519582126838965851865358146241*y^4 - 1011881683819642642270571020605271434259122517041742325470/1149376593726943658474099397519582126838965851865358146241*y^3 - 321397923859350846551140828644885984943849979845011292644/1149376593726943658474099397519582126838965851865358146241*y^2 + 104947717804533091186314124616379199021419595078943726663/1149376593726943658474099397519582126838965851865358146241*y + 208904720122008071787835401824636491859438396179831189343/2298753187453887316948198795039164253677931703730716292482

# 4 Loop Invariant
-11703117936080507479499920691973198030311062762181341145348561894908206437186050667266022989567/218126253604667157926404766657713164578210027446259376960881262910900224148146184281214369823340*y^14 - 73653545338130610768537844732993801800747109092407885639387030415088107014683077273901636964107/436252507209334315852809533315426329156420054892518753921762525821800448296292368562428739646680*y^13 - 4351798211718524572424317405469292963027565297822042829699526598885027234533868112743595700149/24928714697676246620160544760881504523224003136715357366957858618388597045502421060710213694096*y^12 - 2811271614969527621008330212134223553381777961482659416578767310903347210216520402655492882107/16462358762616389277464510691148163364393209618585613355538208521577375407407259191035046779120*y^11 - 152147486461925391337495836861355648782861128682995829028453620205446013134735123456077783831/5487452920872129759154836897049387788131069872861871118512736173859125135802419730345015593040*y^10 + 106623874644482390074184320984109782771289258508515774410089742665695212261950595890658299044119/174501002883733726341123813326170531662568021957007501568705010328720179318516947424971495858672*y^9 + 70675137273412603318724156810839394252703657347066171686105708448118981007149416646700643412293/87250501441866863170561906663085265831284010978503750784352505164360089659258473712485747929336*y^8 + 541324340336588349825740653829485509599271237098336107482881687262864062100850890299107657554449/872505014418668631705619066630852658312840109785037507843525051643600896592584737124857479293360*y^7 + 16024763323900790980967819521097678652707376662570005365149413506743370844808093464428614298103/58167000961244575447041271108723510554189340652335833856235003442906726439505649141657165286224*y^6 - 324158959762613183579313611689790936966374734434532429125205942003989638516441064235259132771549/218126253604667157926404766657713164578210027446259376960881262910900224148146184281214369823340*y^5 - 1080265747063087707588997590559459314439451932162106948621154849278389087619420716158661173661123/436252507209334315852809533315426329156420054892518753921762525821800448296292368562428739646680*y^4 - 985323205367621109348845434404001185305353548164660120217820910482088902323256784602667433480997/872505014418668631705619066630852658312840109785037507843525051643600896592584737124857479293360*y^3 + 25044535191141883099346716245355693055022300977854935404197374521658007151569759547471436394505/174501002883733726341123813326170531662568021957007501568705010328720179318516947424971495858672*y^2 + 90761246655048179481728820287263166370698052064148552446048462062721954861320364320623588405573/290835004806222877235206355543617552770946703261679169281175017214533632197528245708285826431120*y + 5101177421979505822873716237529038798316569643032966024106984566143568582205179658513886164465/87250501441866863170561906663085265831284010978503750784352505164360089659258473712485747929336