# Manifold: H T Link Exterior K8a14 # Number of Tetrahedra: 12 # Number Field x^18 + 10*x^17 + 97*x^16 + 532*x^15 + 1666*x^14 + 2819*x^13 + 1738*x^12 - 1800*x^11 - 3263*x^10 - 142*x^9 + 2897*x^8 + 2004*x^7 - 216*x^6 - 767*x^5 - 254*x^4 + 46*x^3 + 47*x^2 + 11*x + 1 # Approximate Field Generator -0.639198369522141 - 0.235843608156657*I # Shape Parameters 362938678892120570923/6855878952101851947*y^17 + 3398318872647384616571/6855878952101851947*y^16 + 1223434411991195861582/253921442670438961*y^15 + 171976735138727459041390/6855878952101851947*y^14 + 494419961346910441542371/6855878952101851947*y^13 + 704702136859514694703894/6855878952101851947*y^12 + 172672269883462695230744/6855878952101851947*y^11 - 773796597639078828789940/6855878952101851947*y^10 - 25501097669896063140798/253921442670438961*y^9 + 403550132095695044057528/6855878952101851947*y^8 + 799786978187629299155011/6855878952101851947*y^7 + 204592504989318016585849/6855878952101851947*y^6 - 19899065410132068472699/623261722918350177*y^5 - 136849972380557764121293/6855878952101851947*y^4 - 359601642955776851567/2285292984033950649*y^3 + 17982740420998089298582/6855878952101851947*y^2 + 1722895491488922109946/2285292984033950649*y + 546566361677113661738/6855878952101851947 -183328504988199748363/6855878952101851947*y^17 - 1713751371063483742478/6855878952101851947*y^16 - 617249976350511098593/253921442670438961*y^15 - 86666628299963735938204/6855878952101851947*y^14 - 248939299580316740865398/6855878952101851947*y^13 - 354590163935087167143841/6855878952101851947*y^12 - 87646616224512836608094/6855878952101851947*y^11 + 387010088656222732389976/6855878952101851947*y^10 + 12821522453411472638407/253921442670438961*y^9 - 199259023071594043065422/6855878952101851947*y^8 - 401401371152097608044303/6855878952101851947*y^7 - 106156925396375556978556/6855878952101851947*y^6 + 9895059087629320429516/623261722918350177*y^5 + 69895495099129869678721/6855878952101851947*y^4 + 337992317420654776796/2285292984033950649*y^3 - 9142879284191697469690/6855878952101851947*y^2 - 884032806019761546608/2285292984033950649*y - 279891712375127315459/6855878952101851947 -4546530946905527638/623261722918350177*y^17 - 43611199758443738972/623261722918350177*y^16 - 15675894222183971629/23083767515494451*y^15 - 2246295242890475336467/623261722918350177*y^14 - 6659936608970040514895/623261722918350177*y^13 - 10106487388068549312199/623261722918350177*y^12 - 3789546375073628522930/623261722918350177*y^11 + 9735822367300667573635/623261722918350177*y^10 + 403720021522193199791/23083767515494451*y^9 - 3784192990554722519558/623261722918350177*y^8 - 11669987962141623668827/623261722918350177*y^7 - 4378609833328765725811/623261722918350177*y^6 + 2796170621032090564625/623261722918350177*y^5 + 2367243653050519200517/623261722918350177*y^4 + 60811519897188719126/207753907639450059*y^3 - 288456071390109144121/623261722918350177*y^2 - 31733788374052457204/207753907639450059*y - 10346653457454912407/623261722918350177 21703032757407790493/623261722918350177*y^17 + 203551134020233795285/623261722918350177*y^16 + 73285249087155687349/23083767515494451*y^15 + 10316349668751448710608/623261722918350177*y^14 + 29742973624351934909386/623261722918350177*y^13 + 42669049545859293145661/623261722918350177*y^12 + 11100147218594619054376/623261722918350177*y^11 - 46138646375071066622525/623261722918350177*y^10 - 1562879232430241842687/23083767515494451*y^9 + 23367803779764383416882/623261722918350177*y^8 + 48552241849241778779894/623261722918350177*y^7 + 13157395285410652122974/623261722918350177*y^6 - 13103335743504287925013/623261722918350177*y^5 - 8496964157237221246286/623261722918350177*y^4 - 46352215088658447184/207753907639450059*y^3 + 1101065552139068028176/623261722918350177*y^2 + 106563606591209845804/207753907639450059*y + 34194249068996606248/623261722918350177 -543547892644299423182/6855878952101851947*y^17 - 4995532194068997450553/6855878952101851947*y^16 - 1801514293499719825179/253921442670438961*y^15 - 249455959047439284842858/6855878952101851947*y^14 - 700285499946981773928166/6855878952101851947*y^13 - 949240855086285158775116/6855878952101851947*y^12 - 135096115161459372128587/6855878952101851947*y^11 + 1131647650310316264460154/6855878952101851947*y^10 + 31116526305194072467262/253921442670438961*y^9 - 675113443825658367325126/6855878952101851947*y^8 - 1045039209859863668094068/6855878952101851947*y^7 - 183324329169071926707644/6855878952101851947*y^6 + 27761173672063904180957/623261722918350177*y^5 + 158519349899471285031347/6855878952101851947*y^4 - 1987106126743217769122/2285292984033950649*y^3 - 22101313647691365285446/6855878952101851947*y^2 - 1977108105211360590523/2285292984033950649*y - 586779550642878304732/6855878952101851947 -183328504988199748363/6855878952101851947*y^17 - 1713751371063483742478/6855878952101851947*y^16 - 617249976350511098593/253921442670438961*y^15 - 86666628299963735938204/6855878952101851947*y^14 - 248939299580316740865398/6855878952101851947*y^13 - 354590163935087167143841/6855878952101851947*y^12 - 87646616224512836608094/6855878952101851947*y^11 + 387010088656222732389976/6855878952101851947*y^10 + 12821522453411472638407/253921442670438961*y^9 - 199259023071594043065422/6855878952101851947*y^8 - 401401371152097608044303/6855878952101851947*y^7 - 106156925396375556978556/6855878952101851947*y^6 + 9895059087629320429516/623261722918350177*y^5 + 69895495099129869678721/6855878952101851947*y^4 + 337992317420654776796/2285292984033950649*y^3 - 9142879284191697469690/6855878952101851947*y^2 - 884032806019761546608/2285292984033950649*y - 279891712375127315459/6855878952101851947 -27496138137798034610/761764328011316883*y^17 - 256987812143864702896/761764328011316883*y^16 - 833069353546955034703/253921442670438961*y^15 - 12994873647418183791947/761764328011316883*y^14 - 37320031016972980327867/761764328011316883*y^13 - 53145209386656307573670/761764328011316883*y^12 - 13123654652516466684685/761764328011316883*y^11 + 57984434645970568833236/761764328011316883*y^10 + 17275455449924530572313/253921442670438961*y^9 - 29868659332254364373689/761764328011316883*y^8 - 60106056943519847102663/761764328011316883*y^7 - 15900597456370654751678/761764328011316883*y^6 + 1479687617785811954642/69251302546483353*y^5 + 10458542503188229065362/761764328011316883*y^4 + 51464383943900550926/253921442670438961*y^3 - 1369380325210259365967/761764328011316883*y^2 - 132703469334514921807/253921442670438961*y - 41946344136687282352/761764328011316883 -817086601269035154499/6855878952101851947*y^17 - 7633671123796443705950/6855878952101851947*y^16 - 2749604363631964432840/253921442670438961*y^15 - 385886498786387528363833/6855878952101851947*y^14 - 1107616420549928971193678/6855878952101851947*y^13 - 1575383672944479500955493/6855878952101851947*y^12 - 384788277666270758977292/6855878952101851947*y^11 + 1723682527777649929951591/6855878952101851947*y^10 + 56811953728257547541220/253921442670438961*y^9 - 891619884458933093721341/6855878952101851947*y^8 - 1781916482502303431304073/6855878952101851947*y^7 - 467112334119992808131224/6855878952101851947*y^6 + 44009219958767897215225/623261722918350177*y^5 + 309217538896306151250958/6855878952101851947*y^4 + 1384583751276301408055/2285292984033950649*y^3 - 40542735068052052883254/6855878952101851947*y^2 - 3916443637703473406567/2285292984033950649*y - 1243797019336150984724/6855878952101851947 751966716653199549022/6855878952101851947*y^17 + 6985063965655890100916/6855878952101851947*y^16 + 2517459713621303355748/253921442670438961*y^15 + 351692050782229013638282/6855878952101851947*y^14 + 1002445986510059695390844/6855878952101851947*y^13 + 1405608682417595769090049/6855878952101851947*y^12 + 303512454945395223945212/6855878952101851947*y^11 - 1574465835771572101684927/6855878952101851947*y^10 - 49409774278420565342649/253921442670438961*y^9 + 848918640545083824592121/6855878952101851947*y^8 + 1578832676750908336508329/6855878952101851947*y^7 + 379240239770696574746749/6855878952101851947*y^6 - 39791094588318662447656/623261722918350177*y^5 - 265398928606327112578024/6855878952101851947*y^4 - 81570486961381244756/2285292984033950649*y^3 + 35341702852006250013607/6855878952101851947*y^2 + 3341765497573826835740/2285292984033950649*y + 1044586105177875351503/6855878952101851947 1428795590381556265453/6855878952101851947*y^17 + 13292239729441698734525/6855878952101851947*y^16 + 4789913956603906375623/253921442670438961*y^15 + 669971364033954092577745/6855878952101851947*y^14 + 1913277103031779234291070/6855878952101851947*y^13 + 2693415332305904745056587/6855878952101851947*y^12 + 603450507076296133905191/6855878952101851947*y^11 - 2995884831272711170134571/6855878952101851947*y^10 - 95338987726135813489119/253921442670438961*y^9 + 1596066358600313656994186/6855878952101851947*y^8 + 3029486203045174323835030/6855878952101851947*y^7 + 748157316299164459006318/6855878952101851947*y^6 - 75801280700320926098413/623261722918350177*y^5 - 514399199543451932331022/6855878952101851947*y^4 - 1020432429527051953085/2285292984033950649*y^3 + 68102134407908893635352/6855878952101851947*y^2 + 6515629753228440401825/2285292984033950649*y + 2041659317367310780499/6855878952101851947 2912513813215107530735/6855878952101851947*y^17 + 27153803259162875997490/6855878952101851947*y^16 + 9782483079760889173232/253921442670438961*y^15 + 1370616480261147527761295/6855878952101851947*y^14 + 3923893486364863819173079/6855878952101851947*y^13 + 5551330671994323163233734/6855878952101851947*y^12 + 1296469323362650968426718/6855878952101851947*y^11 - 6128667681945974412021854/6855878952101851947*y^10 - 198222524166327590526615/253921442670438961*y^9 + 3223069908438561616799401/6855878952101851947*y^8 + 6259387543559597580769550/6855878952101851947*y^7 + 1588230678603792369745589/6855878952101851947*y^6 - 155624813909987947814621/623261722918350177*y^5 - 1072975310428368219571331/6855878952101851947*y^4 - 3493285078290329468176/2285292984033950649*y^3 + 141405863001656114955491/6855878952101851947*y^2 + 13615309402266941427901/2285292984033950649*y + 4289549850587209411195/6855878952101851947 -3245527835531551043308/6855878952101851947*y^17 - 30275080891363516332359/6855878952101851947*y^16 - 10906776254937727979351/253921442670438961*y^15 - 1528837387068531689011603/6855878952101851947*y^14 - 4380406030885566827349209/6855878952101851947*y^13 - 6208366521435202812139753/6855878952101851947*y^12 - 1474941746696690532590384/6855878952101851947*y^11 + 6827210483422044903391282/6855878952101851947*y^10 + 222405290767524901462501/253921442670438961*y^9 - 3564680161797678783113894/6855878952101851947*y^8 - 7004269725655914487302715/6855878952101851947*y^7 - 1805298773599097736421831/6855878952101851947*y^6 + 173455781327928049847896/623261722918350177*y^5 + 1208283018697419895921540/6855878952101851947*y^4 + 4951639130102245845620/2285292984033950649*y^3 - 158838398936887135230238/6855878952101851947*y^2 - 15358210285403954005706/2285292984033950649*y - 4834341338100812121041/6855878952101851947 # A Gluing Matrix {{1,0,-1,1,-1,0,-1,1,0,1,-1,0},{0,0,0,0,0,-1,1,0,0,0,0,-1},{-1,0,2,-1,1,0,0,-1,0,-1,1,1},{1,0,-1,2,0,0,-1,1,0,1,-1,0},{-1,0,1,0,1,0,0,0,1,0,1,0},{0,-1,0,0,0,0,1,0,0,0,0,-1},{-1,1,0,-1,0,1,0,0,0,0,0,1},{1,0,-1,1,0,0,0,1,0,0,0,-1},{0,0,0,0,1,0,0,0,1,-1,1,0},{1,0,-1,1,0,0,0,0,-1,1,-1,0},{-1,0,1,-1,1,0,0,0,1,-1,2,0},{0,-1,1,0,0,-1,1,-1,0,0,0,0}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 0, 0, 2, 1, 0, 0, 1, 1, 1, 0, 0} # f Combinatorial flattening {2, 0, 1, -1, 2, 0, 1, 2, 1, 1, -1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -2693629832616550622596/6855878952101851947*y^17 - 50784961984025124359941/13711757904203703894*y^16 - 9127737056179387716805/253921442670438961*y^15 - 2578689064423537984313909/13711757904203703894*y^14 - 7449807726719663821298089/13711757904203703894*y^13 - 5343077720159434995924859/6855878952101851947*y^12 - 2644048185431305318486951/13711757904203703894*y^11 + 11864333027087605696965269/13711757904203703894*y^10 + 195604188544551037925364/253921442670438961*y^9 - 3166664293142819387602730/6855878952101851947*y^8 - 6135816700996579053915646/6855878952101851947*y^7 - 2909286004875075764097743/13711757904203703894*y^6 + 156411737417064518941009/623261722918350177*y^5 + 2015958909001140811340969/13711757904203703894*y^4 - 7629063714612715415813/4570585968067901298*y^3 - 268513225184717902376231/13711757904203703894*y^2 - 24818070935856479761069/4570585968067901298*y - 3751940687909538726455/6855878952101851947 # 2 Loop Invariant 27970784345731132923087414662232822869559553/139331520440221506942329918598180122359524*y^17 + 5010285343530370405677604564450551290731331/2679452316158105902737113819195771583837*y^16 + 31290595378278740369259481394793859361119673/1720142227657055641263332328372594103204*y^15 + 13142772374921226411357273981094411140201378787/139331520440221506942329918598180122359524*y^14 + 218529138163278897428722276609376165638844363/810066979303613412455406503477791409067*y^13 + 53068557946500536182604697558156273668775091765/139331520440221506942329918598180122359524*y^12 + 12194412790547160347065705352585830148615708699/139331520440221506942329918598180122359524*y^11 - 58751126325477051205446542858669121274128496003/139331520440221506942329918598180122359524*y^10 - 944021319513872126677510897189659205306332851/2580213341485583461894998492558891154806*y^9 + 180528507522334253473730600125392423041144060/810066979303613412455406503477791409067*y^8 + 14942242303829152273637822294039467491912635290/34832880110055376735582479649545030589881*y^7 + 7508967849699625169710786888894872585788241761/69665760220110753471164959299090061179762*y^6 - 1489409833998797701692129903193375603204192195/12666501858201955176575447145289102032684*y^5 - 10210006312865421490686973918806144817240678177/139331520440221506942329918598180122359524*y^4 - 7011840189257602227478354000613414558058668/11610960036685125578527493216515010196627*y^3 + 337014359894064485965127799260041076730826072/34832880110055376735582479649545030589881*y^2 + 129316364798115056908317418651068543902847149/46443840146740502314109972866060040786508*y + 780829769157651354348458500499701962933020/2679452316158105902737113819195771583837 # 3 Loop Invariant 4191716634339622481753494210246098637860204591294723/35394587591026390350802967956029667675161981404858*y^17 + 38285003910910619987575668504184249785096713699534921/35394587591026390350802967956029667675161981404858*y^16 + 186645235951785756782430034470296811995036802673209849/17697293795513195175401483978014833837580990702429*y^15 + 952700313998341428249658185818247160118003570485584086/17697293795513195175401483978014833837580990702429*y^14 + 5321227855666005608726506581382590818353375362480842085/35394587591026390350802967956029667675161981404858*y^13 + 7151627423315074806974740415693400274118284965443628853/35394587591026390350802967956029667675161981404858*y^12 + 949968012446192523315558964973480541253620780322828671/35394587591026390350802967956029667675161981404858*y^11 - 99050674004844961149927040885571811588049653892499364/411564971988678957567476371581740321804209086103*y^10 - 6243867738621411985296078850278837628811203684907494569/35394587591026390350802967956029667675161981404858*y^9 + 5057105822788585246495086715006942789263748358588641303/35394587591026390350802967956029667675161981404858*y^8 + 602056921331898357189579045356904314574019556764189297/2722660583925106950061766765848435975012460108066*y^7 + 709397147909688829590354214134349969465683498612317602/17697293795513195175401483978014833837580990702429*y^6 - 206965472024762587373961323374402373036217597426795279/3217689781002399122800269814184515243196543764078*y^5 - 603770036197794501239187598666142538651444045547298059/17697293795513195175401483978014833837580990702429*y^4 + 19004534755719150740853975567692994134941931171517541/17697293795513195175401483978014833837580990702429*y^3 + 83606901123604009509696278950805204097410188960936618/17697293795513195175401483978014833837580990702429*y^2 + 45184136419836012174846772960705354103444706161286087/35394587591026390350802967956029667675161981404858*y + 73514041428901447083731275125439592621838350589089/580239140836498202472179802557863404510852154178 # 4 Loop Invariant -1332265372806791382209314414726638229641058199564707496162902628153092961385539/44819267897745360463630649139759178088461864865573646314318939592745150320*y^17 - 12408110247177874851718484545622671834131193310109167693335252545562806924514147/44819267897745360463630649139759178088461864865573646314318939592745150320*y^16 - 2235408843980597855452144936542229796963561276393428025022964610070377435850061/829986442550840008585752761847392186823367867880993450265165548013799080*y^15 - 625901505106857301435911377776926797385591129308099917406049455735269398632978861/44819267897745360463630649139759178088461864865573646314318939592745150320*y^14 - 10406392511737618391321107575483998914185150947968641958719584713612023291954589/260577138940380002695527029882320802839894563171939804153017090655495060*y^13 - 2526977659244565719447506454124993624828143922350745003422843377759880339165528627/44819267897745360463630649139759178088461864865573646314318939592745150320*y^12 - 44684486652850882112181320293024645693912512962221348197334874360604357506342173/3447635992134258497202357626135321391420143451197972793409149199441934640*y^11 + 2796557487356606696782695165103517808552989247049478109096547118481586593659270033/44819267897745360463630649139759178088461864865573646314318939592745150320*y^10 + 89889379794891543860862355452995619508979821148147066210433892233148161189327673/1659972885101680017171505523694784373646735735761986900530331096027598160*y^9 - 34349988825998857205944310103680737450914131894946326517101884610691554671656433/1042308555761520010782108119529283211359578252687759216612068362621980240*y^8 - 2845286879648487010334839286373392606777986332578215065002759699976238428287952161/44819267897745360463630649139759178088461864865573646314318939592745150320*y^7 - 71632363082424312415017311518418872940229788590662750727790402623937579108294069/4481926789774536046363064913975917808846186486557364631431893959274515032*y^6 + 35424691789773807267755692455948669768713473003311769827099971793023148400009561/2037239449897516384710484051807235367657357493889711196105406345124779560*y^5 + 243245732290939121222606613618562648095572509476061071356886328391540219788142797/22409633948872680231815324569879589044230932432786823157159469796372575160*y^4 + 142958869585354570905748684568101469422673608337860870679773297887756898891633/1493975596591512015454354971325305936282062162185788210477297986424838344*y^3 - 64198948398672965444400350862675807031299052362989021081576496278392946063807759/44819267897745360463630649139759178088461864865573646314318939592745150320*y^2 - 6169735662016220298348251961809882266701605299277788304598628615713432870913261/14939755965915120154543549713253059362820621621857882104772979864248383440*y - 1939301583661732954619350275122209620989234769760302056319807302396790200203957/44819267897745360463630649139759178088461864865573646314318939592745150320