# Manifold: H T Link Exterior K9a34 # Number of Tetrahedra: 10 # Number Field x^18 - 2*x^17 + 5*x^16 - 4*x^15 + 14*x^14 + 27*x^13 - 106*x^12 - 331*x^11 + 185*x^10 + 757*x^9 + 200*x^8 - 488*x^7 - 190*x^6 + 51*x^5 + 82*x^4 + 23*x^3 - 2*x^2 - 4*x - 1 # Approximate Field Generator -1.26962253603262 - 0.901995376004689*I # Shape Parameters -17136898633581614888824/41521528368039170361507*y^17 + 11610856694932366485912/13840509456013056787169*y^16 - 87330250583985302138828/41521528368039170361507*y^15 + 24120530086102180816018/13840509456013056787169*y^14 - 244573957208184314279189/41521528368039170361507*y^13 - 453364064162802805956175/41521528368039170361507*y^12 + 1825407467108000491138190/41521528368039170361507*y^11 + 5596976372077048894693445/41521528368039170361507*y^10 - 3297342601434635522614996/41521528368039170361507*y^9 - 4229499127680305596393805/13840509456013056787169*y^8 - 3108004127391602234498696/41521528368039170361507*y^7 + 8036610779051898736579285/41521528368039170361507*y^6 + 971655310849624985158060/13840509456013056787169*y^5 - 220218269649071514901506/13840509456013056787169*y^4 - 1324949181665906403638671/41521528368039170361507*y^3 - 427503478862183278621435/41521528368039170361507*y^2 + 7139932470612933131685/13840509456013056787169*y + 67126495006873510491508/41521528368039170361507 -34489904501234203423191/69202547280065283935845*y^17 + 12871259163662179714019/13840509456013056787169*y^16 - 32586355117750156040831/13840509456013056787169*y^15 + 111532702734380665666099/69202547280065283935845*y^14 - 457865055372787395439496/69202547280065283935845*y^13 - 1010632002198214911625664/69202547280065283935845*y^12 + 3545072942677080619040318/69202547280065283935845*y^11 + 11873630595184053784254732/69202547280065283935845*y^10 - 4956550115754413108002541/69202547280065283935845*y^9 - 26779426013917772887946334/69202547280065283935845*y^8 - 9402294440016064088981913/69202547280065283935845*y^7 + 15781554991617917878661322/69202547280065283935845*y^6 + 6877327848782317716053114/69202547280065283935845*y^5 - 1943157017633286015141153/69202547280065283935845*y^4 - 2247036376088810807433078/69202547280065283935845*y^3 - 633602493847089802968074/69202547280065283935845*y^2 + 126275255629513795025579/69202547280065283935845*y + 108288442233008034902187/69202547280065283935845 94910964133005805662635/96883566192091397510183*y^17 - 229206386760200994042887/96883566192091397510183*y^16 + 568599515965279368784376/96883566192091397510183*y^15 - 87530713268746900307913/13840509456013056787169*y^14 + 225105494700278638373886/13840509456013056787169*y^13 + 1918059615652512631010605/96883566192091397510183*y^12 - 10878101120714927568078768/96883566192091397510183*y^11 - 26913992110084298181846479/96883566192091397510183*y^10 + 28847208596796083469611508/96883566192091397510183*y^9 + 8593373628228053486388940/13840509456013056787169*y^8 - 6375517210631045047192999/96883566192091397510183*y^7 - 44240696584085732390480277/96883566192091397510183*y^6 + 511909512505136816335709/96883566192091397510183*y^5 + 734371198472887111069484/13840509456013056787169*y^4 + 5459563368903889467230984/96883566192091397510183*y^3 - 22880022179735388210078/13840509456013056787169*y^2 - 120269928231454082052990/96883566192091397510183*y - 228000702939493708043174/96883566192091397510183 -5633370317026397625139/13840509456013056787169*y^17 + 11076674423316503732736/13840509456013056787169*y^16 - 26755896491945312693310/13840509456013056787169*y^15 + 18991727816089067289509/13840509456013056787169*y^14 - 71658629599624444658467/13840509456013056787169*y^13 - 161840979979363871482568/13840509456013056787169*y^12 + 609431304550660085484217/13840509456013056787169*y^11 + 1905111923655912755613305/13840509456013056787169*y^10 - 1100170892463119722976361/13840509456013056787169*y^9 - 4575867345277560761712797/13840509456013056787169*y^8 - 924586441531878506108127/13840509456013056787169*y^7 + 3300017639879821224572323/13840509456013056787169*y^6 + 958462552671853406179095/13840509456013056787169*y^5 - 668731926269950165179849/13840509456013056787169*y^4 - 269842094749166365694014/13840509456013056787169*y^3 - 54011824415858019222217/13840509456013056787169*y^2 + 6807557638377615612448/13840509456013056787169*y + 25143207400139391358427/13840509456013056787169 -17136898633581614888824/41521528368039170361507*y^17 + 11610856694932366485912/13840509456013056787169*y^16 - 87330250583985302138828/41521528368039170361507*y^15 + 24120530086102180816018/13840509456013056787169*y^14 - 244573957208184314279189/41521528368039170361507*y^13 - 453364064162802805956175/41521528368039170361507*y^12 + 1825407467108000491138190/41521528368039170361507*y^11 + 5596976372077048894693445/41521528368039170361507*y^10 - 3297342601434635522614996/41521528368039170361507*y^9 - 4229499127680305596393805/13840509456013056787169*y^8 - 3108004127391602234498696/41521528368039170361507*y^7 + 8036610779051898736579285/41521528368039170361507*y^6 + 971655310849624985158060/13840509456013056787169*y^5 - 220218269649071514901506/13840509456013056787169*y^4 - 1324949181665906403638671/41521528368039170361507*y^3 - 427503478862183278621435/41521528368039170361507*y^2 + 7139932470612933131685/13840509456013056787169*y + 67126495006873510491508/41521528368039170361507 12859264066407194385476/124564585104117511084521*y^17 + 608581233004277474917/41521528368039170361507*y^16 + 16098475261183107770749/124564585104117511084521*y^15 + 25383823730162963085068/41521528368039170361507*y^14 + 98380451941960489104661/124564585104117511084521*y^13 + 721138880319406914428066/124564585104117511084521*y^12 - 531050064748651178619370/124564585104117511084521*y^11 - 6943780220728447794413797/124564585104117511084521*y^10 - 7349804447213549016659521/124564585104117511084521*y^9 + 4066694919060274219868798/41521528368039170361507*y^8 + 23362108401858194857378066/124564585104117511084521*y^7 + 4627658931328531139077303/124564585104117511084521*y^6 - 3891296202456395389884016/41521528368039170361507*y^5 - 688938983621573221800111/13840509456013056787169*y^4 + 96620265838140385180550/124564585104117511084521*y^3 + 1902179893909201335427007/124564585104117511084521*y^2 + 104339705789845932531385/13840509456013056787169*y + 200047497569399588569369/124564585104117511084521 -558772817633869680088/41521528368039170361507*y^17 + 548585805359075898236/13840509456013056787169*y^16 - 3813995723980082892758/41521528368039170361507*y^15 + 1552458779347235278551/13840509456013056787169*y^14 - 9332198943900796042073/41521528368039170361507*y^13 - 8896211948349312922846/41521528368039170361507*y^12 + 75337075638465633507299/41521528368039170361507*y^11 + 127016354222036768182556/41521528368039170361507*y^10 - 284134882580365681658353/41521528368039170361507*y^9 - 106458533108240247755368/13840509456013056787169*y^8 + 326195754135929329166827/41521528368039170361507*y^7 + 341044807831631873402380/41521528368039170361507*y^6 - 71109007121815938208502/13840509456013056787169*y^5 - 26758835429262005748299/13840509456013056787169*y^4 + 33354810289806136178483/41521528368039170361507*y^3 + 12853999855324430382593/41521528368039170361507*y^2 + 473699842484316354596/13840509456013056787169*y + 17136898633581614888824/41521528368039170361507 -7435504554571782179578/69202547280065283935845*y^17 + 4391403397462313300649/13840509456013056787169*y^16 - 10283617353936515446009/13840509456013056787169*y^15 + 64219228925471676454192/69202547280065283935845*y^14 - 129470199965027457711698/69202547280065283935845*y^13 - 108983074663270870074882/69202547280065283935845*y^12 + 988375882380857113684309/69202547280065283935845*y^11 + 1689077646705665478376666/69202547280065283935845*y^10 - 3729268812248472612021073/69202547280065283935845*y^9 - 4145574237075325153489447/69202547280065283935845*y^8 + 4098884363835941965162201/69202547280065283935845*y^7 + 4417699565125004829760801/69202547280065283935845*y^6 - 2664068276206109090783928/69202547280065283935845*y^5 - 1048397791022932817454259/69202547280065283935845*y^4 + 441517676899014612742726/69202547280065283935845*y^3 + 148368451685702614151943/69202547280065283935845*y^2 + 20458509015083412745232/69202547280065283935845*y - 46663519543632861420824/69202547280065283935845 2099442256800655780593/13840509456013056787169*y^17 - 6273943454557177246975/13840509456013056787169*y^16 + 14567829637539399099371/13840509456013056787169*y^15 - 18069170079593653293640/13840509456013056787169*y^14 + 35634133642897231446838/13840509456013056787169*y^13 + 31958131431348204888346/13840509456013056787169*y^12 - 285127069962093297767527/13840509456013056787169*y^11 - 466229095190321819100626/13840509456013056787169*y^10 + 1089164239727148099672831/13840509456013056787169*y^9 + 1160955680736398895152835/13840509456013056787169*y^8 - 1283462017016578035069573/13840509456013056787169*y^7 - 1228671034027542255473201/13840509456013056787169*y^6 + 872765471200180960934354/13840509456013056787169*y^5 + 285616917285325912066524/13840509456013056787169*y^4 - 221116620538254167698186/13840509456013056787169*y^3 - 19351977511242342694599/13840509456013056787169*y^2 - 3356591866937075174899/13840509456013056787169*y + 42709872786558252136975/13840509456013056787169 -707236588596337627294396/9646835090841100580656793*y^17 + 113556909526538833993569/567460887696535328273929*y^16 - 268050841647060755847659/567460887696535328273929*y^15 + 5346722457860339168899549/9646835090841100580656793*y^14 - 11785317532040748262957335/9646835090841100580656793*y^13 - 12191643486127940989440482/9646835090841100580656793*y^12 + 89403787439627032959661008/9646835090841100580656793*y^11 + 179055675701198782661101168/9646835090841100580656793*y^10 - 7400128305652314579568358/235288660752221965381873*y^9 - 438040849169360909598244354/9646835090841100580656793*y^8 + 259722595819512190464766489/9646835090841100580656793*y^7 + 433393537699353525337149721/9646835090841100580656793*y^6 - 139987309352033705426988058/9646835090841100580656793*y^5 - 110094950552286508560678737/9646835090841100580656793*y^4 - 430589506535843756853641/9646835090841100580656793*y^3 + 15274092793125181683199683/9646835090841100580656793*y^2 + 4585392954815196838240405/9646835090841100580656793*y + 5727536799237862291645911/9646835090841100580656793 # A Gluing Matrix {{-1,-1,1,-1,-1,-1,0,0,0,0},{-1,0,1,0,-1,0,0,0,0,0},{1,1,0,1,1,1,0,0,0,0},{-1,0,1,-1,-1,-1,0,0,0,0},{-1,-1,1,-1,-1,-1,0,0,0,0},{-1,0,1,-1,-1,0,0,0,0,1},{0,0,0,0,0,0,-1,0,-1,0},{0,0,0,0,0,0,0,1,0,1},{0,0,0,0,0,0,-1,0,0,1},{0,0,0,0,0,1,0,1,1,0}} # 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 {-1, 0, 2, -1, -1, 0, -1, 1, 0, 2} # f Combinatorial flattening {1, 4, 1, -1, 0, -2, -1, 2, 2, -1} # f' Combinatorial flattening {0, 0, 0, -4, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -66539046095763666013061/27681018912026113574338*y^17 + 142930036733952681717905/27681018912026113574338*y^16 - 335648715309095343812491/27681018912026113574338*y^15 + 279903040863620253745325/27681018912026113574338*y^14 - 881355808018879699966865/27681018912026113574338*y^13 - 868335873360487272280988/13840509456013056787169*y^12 + 7565747588021237966599827/27681018912026113574338*y^11 + 21410873962033653658464289/27681018912026113574338*y^10 - 8692886358264595601606343/13840509456013056787169*y^9 - 53788302735346802616886473/27681018912026113574338*y^8 - 1101096660811950344981433/13840509456013056787169*y^7 + 45886211498242740263136031/27681018912026113574338*y^6 + 9141044647348037188300915/27681018912026113574338*y^5 - 12134449125333046031589663/27681018912026113574338*y^4 - 2588506316943449794817853/13840509456013056787169*y^3 + 342774356683947387807299/27681018912026113574338*y^2 + 657190138102548943277753/27681018912026113574338*y + 383254031050495958662179/27681018912026113574338 # 2 Loop Invariant -83069045820504080803103755510790661186533828593908269900135279882429/539931449553070881788156394479728597284174054329871442225599244556268*y^17 + 15731486783829599611530013007121463305165776929767521499579540690593/44994287462755906815679699539977383107014504527489286852133270379689*y^16 - 458830571976763827553794268907550293929812217661880375829404941725717/539931449553070881788156394479728597284174054329871442225599244556268*y^15 + 146942777273491126266670038395920685632348505118257534059230457752067/179977149851023627262718798159909532428058018109957147408533081518756*y^14 - 1240459451573164053487015899103374569563149116046194001044675423303731/539931449553070881788156394479728597284174054329871442225599244556268*y^13 - 1942090855226887849056080324756404583087450050306197137332636686289181/539931449553070881788156394479728597284174054329871442225599244556268*y^12 + 9455587093784166353257521136848956034245056409820422671840162224140317/539931449553070881788156394479728597284174054329871442225599244556268*y^11 + 25122918821206062084719267804951629534030265744679906248518311244670917/539931449553070881788156394479728597284174054329871442225599244556268*y^10 - 23053271084559388749927505590555323189993568470760186545625486165948869/539931449553070881788156394479728597284174054329871442225599244556268*y^9 - 19706000332384745652992442827069797251868908236034484774927437585217355/179977149851023627262718798159909532428058018109957147408533081518756*y^8 + 501772077901269056650168887616271391690534110247900893110052572369417/269965724776535440894078197239864298642087027164935721112799622278134*y^7 + 555654531596281714956345339279774428844653118203539479576646704859913/6584529872598425387660443835118641430294805540608188319824381031174*y^6 + 759644579118552473240900630265128966271657891269926291498728592647695/89988574925511813631359399079954766214029009054978573704266540759378*y^5 - 303294165498754009191699217178621559136854538887871723749821276805021/19997461094558180806968755351101059158673113123328571934281453502084*y^4 - 5004779498888751088706858463092595435450297659966477635789009296249299/539931449553070881788156394479728597284174054329871442225599244556268*y^3 - 422012728497863054681812064378187182519292525243521903113920893980757/539931449553070881788156394479728597284174054329871442225599244556268*y^2 + 111645698147172440377597975136318909412945748198905125028861728994/121935738381452321993711922872567433894348250752003487404155204281*y + 256152226176594924846984554215303944402084969496648208295141867452899/1079862899106141763576312788959457194568348108659742884451198489112536 # 3 Loop Invariant -163765484281764911693685337151173920973250057695305109595627340189901671509510818347221141/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^17 + 365620557838438468250641831750096962621933615047341813644958224916465746788370763793261777/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^16 - 33514053290156590439052028965723205959203312161785209781715133259783162969291617652128457/190031790910944324992088457567452897599612955295824116412232536665591241041275516249061374*y^15 + 96508981735521714672313859644048033240599416856241050243675068491349164906542705607131709/570095372732832974976265372702358692798838865887472349236697609996773723123826548747184122*y^14 - 2502586046444935094382940336814751003597042880660010708991086532932393446858538501271084055/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^13 - 3829793426620057740769250358402497280279136727696258334983976258534401656609461380007230095/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^12 + 18229230051035486609225459378581355585146404537443071514196410471419426501261557260263200467/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^11 + 24976718389908133097395734951693801226805791126695196806226809285791334466186855516996990819/2565429177297748387393194177160614117594774896493625571565139244985481754057219469362328549*y^10 - 20895271642170626916816963106693752422581740020329686016143928153992248764498678703643093626/2565429177297748387393194177160614117594774896493625571565139244985481754057219469362328549*y^9 - 114049008399401986085614377365136989660098415241660352666174471467651396923427831474691699541/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^8 - 3358227205306993490525926239133887159300921395735523590081045567291241444747760424226125275/2565429177297748387393194177160614117594774896493625571565139244985481754057219469362328549*y^7 + 81235266644095730758407671286346409334241081604062280007943060916875409893484995028864622001/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^6 + 6484441073047791593802086129275137763157323065203337179178213764689283394482982709065495538/2565429177297748387393194177160614117594774896493625571565139244985481754057219469362328549*y^5 - 11280237363766817178182374648932728063594330993642335207206824763803465584369394278251324293/5130858354595496774786388354321228235189549792987251143130278489970963508114438938724657098*y^4 - 1993311481238021839749170674552560289883403321896339921452114396172157770585671582888627556/855143059099249462464398059053538039198258298831208523855046414995160584685739823120776183*y^3 - 520897164816170422522570680206492106499448482702928345704456255307165526869463027149708452/2565429177297748387393194177160614117594774896493625571565139244985481754057219469362328549*y^2 + 507033007300762413308683481726249241004482875671199271244806425582642473444269660308181889/2565429177297748387393194177160614117594774896493625571565139244985481754057219469362328549*y + 79257280839288315482412925590495676658673642390164439120256756921082899204523006734430044/855143059099249462464398059053538039198258298831208523855046414995160584685739823120776183 # 4 Loop Invariant 78891431370880835730649803038348067171263207263487237997131554034037110795470713605653607200145150659431896118445550024466346974310566467/6004790064237106420852098783328954812004815170605318205657026276968303787569278308097543275630051652396355760225878315748724268333320257680*y^17 - 36170830759279499441217175348076977415561034307408458062204837159546198649468799176845944942861947690103914150631765227479430161259197693/2001596688079035473617366261109651604001605056868439401885675425656101262523092769365847758543350550798785253408626105249574756111106752560*y^16 + 74030623086623648556742225873147610881548055251224860835817070735590356353368172259691519659477397994920087878166981075329490201466351051/1501197516059276605213024695832238703001203792651329551414256569242075946892319577024385818907512913099088940056469578937181067083330064420*y^15 - 4199063534388641656943663641793458371084520141343849657908422732706797060244221880082810891237514521155687681904516421033720125583354863/400319337615807094723473252221930320800321011373687880377135085131220252504618553873169551708670110159757050681725221049914951222221350512*y^14 + 448161644488912599642914661358926772178053057524004926229006868632624061754926341981463848928906217990459987313749874525453158256266750779/3002395032118553210426049391664477406002407585302659102828513138484151893784639154048771637815025826198177880112939157874362134166660128840*y^13 + 1425691298505330665039264482642140282949936248220464170540342765119451195155505982916277747677076690627221958416090626750592484756708626327/3002395032118553210426049391664477406002407585302659102828513138484151893784639154048771637815025826198177880112939157874362134166660128840*y^12 - 1763350352216822450588930973255872820596999075699676600666610520546560325327140789742491622437318404544941189439852958967071747492348177821/1501197516059276605213024695832238703001203792651329551414256569242075946892319577024385818907512913099088940056469578937181067083330064420*y^11 - 31232555662535497260408599915961327160536744981082249857251180381800985781838119972434963346763303405883399649009571682363616885094944156253/6004790064237106420852098783328954812004815170605318205657026276968303787569278308097543275630051652396355760225878315748724268333320257680*y^10 - 387408882079783919765663091771338878046779729400172257300804713632880763400796467178519337900037103327809649208914746539840758619150242459/1501197516059276605213024695832238703001203792651329551414256569242075946892319577024385818907512913099088940056469578937181067083330064420*y^9 + 22707950966042849723812217046581873654312911498876736569878335831952792736973347090980080118717049653494998022249001325571977853158057179911/2001596688079035473617366261109651604001605056868439401885675425656101262523092769365847758543350550798785253408626105249574756111106752560*y^8 + 6352927570340507204668984568622822995910853329673051998344061936036026679682168715397904167798967424153334636853860069498491116326572943701/750598758029638302606512347916119351500601896325664775707128284621037973446159788512192909453756456549544470028234789468590533541665032210*y^7 - 339073276333299209236520912974668797209912770546193657253156004090042499150028410955094933574245847617827619813850612761185305441222702703/73229147124842761229903643699133595268351404519577051288500320450832973019137540342652966775976239663370192197876564826203954491869759240*y^6 - 5693936562729969590196720722910200228983426442627531512945025145682938186560599693786803907068616154197887612588770152099382836522543694879/1000798344039517736808683130554825802000802528434219700942837712828050631261546384682923879271675275399392626704313052624787378055553376280*y^5 - 323442959823408140168560892990540145830523278473673817467163384247820411682821535878547642662639499111493191513560406619334972935016208263/667198896026345157872455420369883868000535018956146467295225141885367087507697589788615919514450183599595084469542035083191585370368917520*y^4 + 1344539077907333412528185036457179423872814766867617742577125870755213279320859389201160232488840418519313453683719079570145655853597310207/1200958012847421284170419756665790962400963034121063641131405255393660757513855661619508655126010330479271152045175663149744853666664051536*y^3 + 4135183104409779039492245780414222512981485663425596799992613404968485925608235907588939577752048948095368700869694191482207811371769445401/6004790064237106420852098783328954812004815170605318205657026276968303787569278308097543275630051652396355760225878315748724268333320257680*y^2 + 252764057769059691376993381443431103787801873766359337916300238828238215858959891574457740968919581399466956173493393061534336967219243/2034142975690076700830656769420377646343094569988251424680564456967582583864931676184804632666006657315838672163237911838998735885271090*y + 7348602962466679678168898782776157457176286960147031606822564998270792828834355907332512885738093164446896776430798993731044243456713225/1200958012847421284170419756665790962400963034121063641131405255393660757513855661619508655126010330479271152045175663149744853666664051536