# Manifold: H T Link Exterior K9a2

# Number of Tetrahedra: 12

# Number Field
x^23 + x^22 + 4*x^21 - 19*x^20 + 83*x^19 + 328*x^18 + 1564*x^17 + 2430*x^16 + 5063*x^15 + 4301*x^14 + 5925*x^13 + 3600*x^12 + 3234*x^11 + 1754*x^10 + 1036*x^9 + 637*x^8 + 55*x^7 + 214*x^6 - 78*x^5 + 74*x^4 - 21*x^3 + 11*x^2 - x + 1 

# Approximate Field Generator
-0.495310339646618 - 0.599410113949889*I

# Shape Parameters
-3359366544590212934052189567367555109881/39391028880994648471345962359530656982732*y^22 + 3157723205345480432946425393850863169911/39391028880994648471345962359530656982732*y^21 - 7785059064651105806873293866618931968683/39391028880994648471345962359530656982732*y^20 + 87561208275988264521895986663856584859617/39391028880994648471345962359530656982732*y^19 - 203668931032215245986999587049171319514739/19695514440497324235672981179765328491366*y^18 - 137434490167737409468158829064126490744737/9847757220248662117836490589882664245683*y^17 - 1579433167230386090006758075493469260695441/19695514440497324235672981179765328491366*y^16 + 405211456307273470682026123267524436015824/9847757220248662117836490589882664245683*y^15 - 2994525848702086375814027134962666770559927/39391028880994648471345962359530656982732*y^14 + 14261156984272085085789329280245073645248967/39391028880994648471345962359530656982732*y^13 + 348171637761822580967381366754347471102201/19695514440497324235672981179765328491366*y^12 + 4153138872268139977559358752083571200348475/9847757220248662117836490589882664245683*y^11 + 853278150981635137765343157627656922675164/9847757220248662117836490589882664245683*y^10 + 1623795640356774380540954115500770261509474/9847757220248662117836490589882664245683*y^9 + 1501292082068095494801758564025414302076763/19695514440497324235672981179765328491366*y^8 + 1413137317845835074694033568781963878295385/39391028880994648471345962359530656982732*y^7 + 2465203490946299468395158495124427272672113/39391028880994648471345962359530656982732*y^6 - 1067451410491032916174848003111983977964691/39391028880994648471345962359530656982732*y^5 + 350702351569369702486052826752344702292489/9847757220248662117836490589882664245683*y^4 - 638634260205908077249231531555909020728909/39391028880994648471345962359530656982732*y^3 + 234342091109085789486938965865541778349531/19695514440497324235672981179765328491366*y^2 - 101204573259490577835294982416649004906597/39391028880994648471345962359530656982732*y + 53581656596695892470945525656004537033717/39391028880994648471345962359530656982732

1110246533596690441400453573315095559057/2670578229219976167548878804035976744592*y^22 + 1573673871172882593231417412183672311737/2670578229219976167548878804035976744592*y^21 + 5142111918143408265834766205572570191467/2670578229219976167548878804035976744592*y^20 - 18980441834248117157405430721594822232433/2670578229219976167548878804035976744592*y^19 + 42142526533206765209198766007784667606985/1335289114609988083774439402017988372296*y^18 + 99540700328075347835179915901787681735437/667644557304994041887219701008994186148*y^17 + 953796395772852509535916908656981591824891/1335289114609988083774439402017988372296*y^16 + 875798709820423981482179957572649894395667/667644557304994041887219701008994186148*y^15 + 7123835247168311481367361116805615308153511/2670578229219976167548878804035976744592*y^14 + 7723242420841101156218469757112945296780953/2670578229219976167548878804035976744592*y^13 + 4888370155395461917726774078577938818104165/1335289114609988083774439402017988372296*y^12 + 487172357164574252803439203350035969074026/166911139326248510471804925252248546537*y^11 + 824408576760498626762012093761805419330403/333822278652497020943609850504497093074*y^10 + 535754983783953759007569791864549226004857/333822278652497020943609850504497093074*y^9 + 1311956528947931823273934445749198422855541/1335289114609988083774439402017988372296*y^8 + 1546530002152715433400196620702512532278443/2670578229219976167548878804035976744592*y^7 + 536891981039646211661853280095558433807019/2670578229219976167548878804035976744592*y^6 + 364373017583008006764572970179508706782735/2670578229219976167548878804035976744592*y^5 - 1088592423029586283050770394790644941357/667644557304994041887219701008994186148*y^4 + 63613321126693467205709159389082830034373/2670578229219976167548878804035976744592*y^3 - 6401552342662291040905589973789050157837/1335289114609988083774439402017988372296*y^2 + 5272062589659135051833979455810205041053/2670578229219976167548878804035976744592*y - 687155840347285690655830550786655419637/2670578229219976167548878804035976744592

-736752958112949587247063953356030746964/9847757220248662117836490589882664245683*y^22 - 2988361020623584172435538860017979955218/9847757220248662117836490589882664245683*y^21 - 4969435912982709856369817053806935974833/9847757220248662117836490589882664245683*y^20 + 5231577549388999555689244105750275491652/9847757220248662117836490589882664245683*y^19 - 17446712376330398687916602513610482976602/9847757220248662117836490589882664245683*y^18 - 432702384743891259673888545714113380825329/9847757220248662117836490589882664245683*y^17 - 1871842144751895007327417077621970222041334/9847757220248662117836490589882664245683*y^16 - 5235190516539410984857909715568472832653149/9847757220248662117836490589882664245683*y^15 - 8843021809314716733449660648249395903946057/9847757220248662117836490589882664245683*y^14 - 13984490756701400027449883402729499748372001/9847757220248662117836490589882664245683*y^13 - 12817106006341918082910857195877114633898189/9847757220248662117836490589882664245683*y^12 - 14730827261419362328596520319097616628380795/9847757220248662117836490589882664245683*y^11 - 8760382014144554848428960525209935363563148/9847757220248662117836490589882664245683*y^10 - 7079888634059680762579414152901014218862727/9847757220248662117836490589882664245683*y^9 - 3528842356370664653965309098324261647541338/9847757220248662117836490589882664245683*y^8 - 1925226404724546860645450810196173757143884/9847757220248662117836490589882664245683*y^7 - 1037005006391909799370807622962188688194487/9847757220248662117836490589882664245683*y^6 - 35446355695261105512982677764756952817694/9847757220248662117836490589882664245683*y^5 - 391437284412580660112742576551762379344390/9847757220248662117836490589882664245683*y^4 + 166866694636849847536246535775785220275714/9847757220248662117836490589882664245683*y^3 - 141794475462964375896120239193638071185283/9847757220248662117836490589882664245683*y^2 + 30755866923520902130672682619462934418679/9847757220248662117836490589882664245683*y - 12254739513984358645653963100063581760574/9847757220248662117836490589882664245683

43173727954956270273336341755505052208/500733417978745531415414775756745639611*y^22 + 71527318410126162576467615954222153108/500733417978745531415414775756745639611*y^21 + 185597552038365553798035705111747609181/500733417978745531415414775756745639611*y^20 - 733478844384749295482466343535535003061/500733417978745531415414775756745639611*y^19 + 2972507680327355311944433375647161309831/500733417978745531415414775756745639611*y^18 + 16764211157435727176576110998283937310278/500733417978745531415414775756745639611*y^17 + 75755127686726692330294167793875764355023/500733417978745531415414775756745639611*y^16 + 143251407227068887467212999358975416663195/500733417978745531415414775756745639611*y^15 + 259726291956174216888048043758988332157181/500733417978745531415414775756745639611*y^14 + 274554213486784137994068659183625294347324/500733417978745531415414775756745639611*y^13 + 273558696847680183213773731729751025848992/500733417978745531415414775756745639611*y^12 + 67463869365386997589555896519799169053662/166911139326248510471804925252248546537*y^11 + 105435079300701245547956406312113164628635/500733417978745531415414775756745639611*y^10 + 16632819233493286246720233215789572515708/166911139326248510471804925252248546537*y^9 + 8615732308841612919321084696622779284090/500733417978745531415414775756745639611*y^8 + 88908025224976697837599547281348249684/166911139326248510471804925252248546537*y^7 - 4063907625634769228691201299518879537507/166911139326248510471804925252248546537*y^6 - 6569698599383629580656036395907765204889/500733417978745531415414775756745639611*y^5 - 3840795695220778944601621239449970206531/500733417978745531415414775756745639611*y^4 - 1708901136812207583136577446531096911425/500733417978745531415414775756745639611*y^3 + 569053884139439046247811052555474429911/500733417978745531415414775756745639611*y^2 - 124018675071107958249235925340731804728/500733417978745531415414775756745639611*y + 61544620902890399383143986599158358253/166911139326248510471804925252248546537

563309037802005845435337859925366887449/9847757220248662117836490589882664245683*y^22 + 253961652550194203494022158682170666583/9847757220248662117836490589882664245683*y^21 + 1741325784684568414746452438667261858145/9847757220248662117836490589882664245683*y^20 - 12181199422970813522442407608010395620622/9847757220248662117836490589882664245683*y^19 + 51835383806957338146117863443747735094698/9847757220248662117836490589882664245683*y^18 + 162792604291370551076243745867713217239337/9847757220248662117836490589882664245683*y^17 + 763606845481361580618818750022294580774624/9847757220248662117836490589882664245683*y^16 + 814276167109429775636864245451767201786384/9847757220248662117836490589882664245683*y^15 + 1776039410060888425810822406965819160286650/9847757220248662117836490589882664245683*y^14 + 318275981902803972447825493729543810085210/9847757220248662117836490589882664245683*y^13 + 951813871738433037154993111895561692682793/9847757220248662117836490589882664245683*y^12 - 815929804286242564905845080756721641193032/9847757220248662117836490589882664245683*y^11 - 514011328382289699947770027910375562660733/9847757220248662117836490589882664245683*y^10 - 926416458596572488248504268796960210848625/9847757220248662117836490589882664245683*y^9 - 597925147378515183013912437641125038540275/9847757220248662117836490589882664245683*y^8 - 358066831138791971194180899314091940514491/9847757220248662117836490589882664245683*y^7 - 376694698584015161860015045911818105996992/9847757220248662117836490589882664245683*y^6 - 18065812583161748380383311669544349130939/9847757220248662117836490589882664245683*y^5 - 120678988023132074689713748418270420083963/9847757220248662117836490589882664245683*y^4 + 39644618257813350438729840193435142775381/9847757220248662117836490589882664245683*y^3 - 24969676870947786435979721797543238948532/9847757220248662117836490589882664245683*y^2 + 9020333281777639971986626127781953599702/9847757220248662117836490589882664245683*y + 2450173838361641945894388505732974069313/9847757220248662117836490589882664245683

-43725974410272698276649223184086500128/166911139326248510471804925252248546537*y^22 - 7627296226961481263669178307324502114/166911139326248510471804925252248546537*y^21 - 130290217550677972043844406543209879628/166911139326248510471804925252248546537*y^20 + 985550086991219279641535916299332576526/166911139326248510471804925252248546537*y^19 - 4279324951292031496211080305653614605197/166911139326248510471804925252248546537*y^18 - 11502978835424711795151304393638837228103/166911139326248510471804925252248546537*y^17 - 55878480843754414373285448873383419458150/166911139326248510471804925252248546537*y^16 - 46857028986653550950602811376647588125418/166911139326248510471804925252248546537*y^15 - 119701566176407629840537810989653101299096/166911139326248510471804925252248546537*y^14 + 18042637369904455032843840111346633382438/166911139326248510471804925252248546537*y^13 - 57241588253124898586210625440433188411185/166911139326248510471804925252248546537*y^12 + 98257744491029254208874844787471567074115/166911139326248510471804925252248546537*y^11 + 40313759944681257737610286940218378166385/166911139326248510471804925252248546537*y^10 + 69285965907396869695277921887640572026952/166911139326248510471804925252248546537*y^9 + 41466363130214814066144872564271538295801/166911139326248510471804925252248546537*y^8 + 17761314617476464968097318069797978373028/166911139326248510471804925252248546537*y^7 + 23989798682556648934153006314913060124372/166911139326248510471804925252248546537*y^6 - 5602919604544962469929154571307161108520/166911139326248510471804925252248546537*y^5 + 9379832242524944781435353700079169609913/166911139326248510471804925252248546537*y^4 - 5427856262506762612579621254777515712376/166911139326248510471804925252248546537*y^3 + 2798787099606366175872938051514974370144/166911139326248510471804925252248546537*y^2 - 604264919092817126318866042311596826755/166911139326248510471804925252248546537*y + 246670172221825659810287955386927018695/166911139326248510471804925252248546537

120988763197033633937403876774975718072/166911139326248510471804925252248546537*y^22 + 142154434809220510873608257575543035969/166911139326248510471804925252248546537*y^21 + 482080833177825977847937633257342882938/166911139326248510471804925252248546537*y^20 - 2245572972912669940291231522582627930868/166911139326248510471804925252248546537*y^19 + 9542443774053597079217308651795357111921/166911139326248510471804925252248546537*y^18 + 41850792017473693457587808713588746374225/166911139326248510471804925252248546537*y^17 + 194430381891194637851607262797165343816938/166911139326248510471804925252248546537*y^16 + 318801347504612919351846836069865980759760/166911139326248510471804925252248546537*y^15 + 625412465209992052457872219007214537876008/166911139326248510471804925252248546537*y^14 + 559632440516630897276865719066582708952466/166911139326248510471804925252248546537*y^13 + 676406953953693023686705282672334603953655/166911139326248510471804925252248546537*y^12 + 430496522554251240459309997063303121348927/166911139326248510471804925252248546537*y^11 + 315464487777540433345680364283646748722826/166911139326248510471804925252248546537*y^10 + 172275707530976930901386441194798189247552/166911139326248510471804925252248546537*y^9 + 83515184397943998934518639696111541436821/166911139326248510471804925252248546537*y^8 + 54353889046410780446114136730169451137267/166911139326248510471804925252248546537*y^7 - 3553521138413288260633464554946561376615/166911139326248510471804925252248546537*y^6 + 13372747575253228012860177543972517642297/166911139326248510471804925252248546537*y^5 - 6754819687237355516004046564923881798469/166911139326248510471804925252248546537*y^4 + 4122669032483542137196858822169587146202/166911139326248510471804925252248546537*y^3 - 248114734825287327989845762617533482659/166911139326248510471804925252248546537*y^2 + 127217852359683769339285169239090011599/166911139326248510471804925252248546537*y + 289987427311712829654769305315847857346/166911139326248510471804925252248546537

-130772069393489502809915436898650508703/667644557304994041887219701008994186148*y^22 - 78071071599022954180559090291617599317/667644557304994041887219701008994186148*y^21 - 445333998972960820098259207442526114789/667644557304994041887219701008994186148*y^20 + 2718700847675684222630237828299628956217/667644557304994041887219701008994186148*y^19 - 5881602162424814494321613439660110326645/333822278652497020943609850504497093074*y^18 - 9754283511106100217845084521909449803141/166911139326248510471804925252248546537*y^17 - 92580677000970369815191254748406616050615/333822278652497020943609850504497093074*y^16 - 56800153449879137133707322612257862085171/166911139326248510471804925252248546537*y^15 - 495802426403705149309051116055361236504201/667644557304994041887219701008994186148*y^14 - 240324945860230097132923492981669399845641/667644557304994041887219701008994186148*y^13 - 219168233489308582772933158751040913754163/333822278652497020943609850504497093074*y^12 - 22108135874459255522244624905018408122307/166911139326248510471804925252248546537*y^11 - 36217112004539386458990263881637166823388/166911139326248510471804925252248546537*y^10 - 11850549278370645182188279378183200673627/166911139326248510471804925252248546537*y^9 - 20058852475502575256981772735993867064105/333822278652497020943609850504497093074*y^8 - 56004082991845378862717192523480838104873/667644557304994041887219701008994186148*y^7 + 2286644510555259186971681862655431201117/667644557304994041887219701008994186148*y^6 - 40602731328442552279543508858701083176353/667644557304994041887219701008994186148*y^5 + 2626217616883261397723123293853344090887/333822278652497020943609850504497093074*y^4 - 16949450414245967406051133603668094351373/667644557304994041887219701008994186148*y^3 + 817390174490083557117216979794924640867/333822278652497020943609850504497093074*y^2 - 1399226161147015333581229387636501088511/667644557304994041887219701008994186148*y - 60793737460692628058248315372431841407/667644557304994041887219701008994186148

-12338294535417784282002526767010104542/166911139326248510471804925252248546537*y^22 - 22570408431608099394486926964575405228/166911139326248510471804925252248546537*y^21 - 53633454780906522680845908696589288489/166911139326248510471804925252248546537*y^20 + 201206281797205161951754026473255907316/166911139326248510471804925252248546537*y^19 - 804871913535292359940945882158354357265/166911139326248510471804925252248546537*y^18 - 5002318505134464209889883003579251680065/166911139326248510471804925252248546537*y^17 - 22195021539880840203606582932384991863493/166911139326248510471804925252248546537*y^16 - 43870601847480378688248323668401241094187/166911139326248510471804925252248546537*y^15 - 77527561689051501927715676237166226999289/166911139326248510471804925252248546537*y^14 - 87854747734650182497713979677400156605063/166911139326248510471804925252248546537*y^13 - 83664746014800129658456425958711497308847/166911139326248510471804925252248546537*y^12 - 71364816994483983931861312170437257972671/166911139326248510471804925252248546537*y^11 - 36492046893187710161240963516070268341509/166911139326248510471804925252248546537*y^10 - 24059621861362929005090918795431959257445/166911139326248510471804925252248546537*y^9 - 9299957641432101945897205025800949154339/166911139326248510471804925252248546537*y^8 - 5099821457509164959591416525791785370641/166911139326248510471804925252248546537*y^7 - 1819666288694675519087606500173210645984/166911139326248510471804925252248546537*y^6 - 313681686731510246206498493971681024699/166911139326248510471804925252248546537*y^5 - 1763648742774656315429106375920930784455/166911139326248510471804925252248546537*y^4 + 180592783115080771373286101491923911983/166911139326248510471804925252248546537*y^3 - 716921538891338742103724880601042193376/166911139326248510471804925252248546537*y^2 + 8344659929548285022271206849516840054/166911139326248510471804925252248546537*y + 46939726741585825042575091923964581020/166911139326248510471804925252248546537

-25010891734710434063361829668851163679/500733417978745531415414775756745639611*y^22 - 36225422247774851082054244116471190604/500733417978745531415414775756745639611*y^21 - 98263594092240187585123895677567036585/500733417978745531415414775756745639611*y^20 + 451504517143363218421313965747231155700/500733417978745531415414775756745639611*y^19 - 1803967961354772918073532555486217974813/500733417978745531415414775756745639611*y^18 - 9349750185023053302454909127701318026575/500733417978745531415414775756745639611*y^17 - 41875967417041007955024711138003684246932/500733417978745531415414775756745639611*y^16 - 73351694656967388418355721958731293145487/500733417978745531415414775756745639611*y^15 - 130988386183322013177445356207423042361331/500733417978745531415414775756745639611*y^14 - 120438003578470169988419880872366801881811/500733417978745531415414775756745639611*y^13 - 112652741539301287729801376986712759401366/500733417978745531415414775756745639611*y^12 - 20639278708159908209714908822021137593340/166911139326248510471804925252248546537*y^11 - 14265212051055913829880801870557692378666/500733417978745531415414775756745639611*y^10 + 3548915258192207737733126418412797503724/166911139326248510471804925252248546537*y^9 + 20364115094816968443976468399537718503549/500733417978745531415414775756745639611*y^8 + 5528770694058014985381016841426134432097/166911139326248510471804925252248546537*y^7 + 5471259530898478359185656378567895934882/166911139326248510471804925252248546537*y^6 + 8090984704246619123273893858324317457370/500733417978745531415414775756745639611*y^5 + 4536723198248658574541127636532423123571/500733417978745531415414775756745639611*y^4 + 1541613311257589006550635837827121037107/500733417978745531415414775756745639611*y^3 + 890130438735744011457201093284370593977/500733417978745531415414775756745639611*y^2 + 102712934472147054140715491388027636337/500733417978745531415414775756745639611*y + 101994241314301681160818534958936021880/166911139326248510471804925252248546537

-33433521123172621055343203008491730845/333822278652497020943609850504497093074*y^22 - 1525130968349684756786218949229076708/166911139326248510471804925252248546537*y^21 - 111617614340574346314384350477715672691/333822278652497020943609850504497093074*y^20 + 368151278059481421727736438810274435429/166911139326248510471804925252248546537*y^19 - 1696245945593294320860352594033334762707/166911139326248510471804925252248546537*y^18 - 4161809712002200718802302773125231436829/166911139326248510471804925252248546537*y^17 - 21375733711700667237678992317924719568679/166911139326248510471804925252248546537*y^16 - 18758160052964034975080095646139025588113/166911139326248510471804925252248546537*y^15 - 112100844866832880909101399934254631246965/333822278652497020943609850504497093074*y^14 - 13431838615750370028596648335636529718609/166911139326248510471804925252248546537*y^13 - 64295935018579154252634640680214743559404/166911139326248510471804925252248546537*y^12 - 7018251140981671208201016496691329968969/166911139326248510471804925252248546537*y^11 - 28924798336649240687746463919990001396475/166911139326248510471804925252248546537*y^10 - 3438927156605433263811915057439441892070/166911139326248510471804925252248546537*y^9 + 1554028818698364735548151689166216548934/166911139326248510471804925252248546537*y^8 + 7654171436118871992916241227216573948867/333822278652497020943609850504497093074*y^7 + 10058444253087951049615726137437669998083/166911139326248510471804925252248546537*y^6 - 1478500070998200298547225974335175392601/333822278652497020943609850504497093074*y^5 + 11962006049278958693574666918881091074513/333822278652497020943609850504497093074*y^4 - 579181989753513331400979059663738963373/166911139326248510471804925252248546537*y^3 + 1781621642947849879013158305903996481384/166911139326248510471804925252248546537*y^2 - 272819972698512621629967974780533880731/333822278652497020943609850504497093074*y + 213495156341231151998164579198497089730/166911139326248510471804925252248546537

-428652411153923474960083853982787328719/9847757220248662117836490589882664245683*y^22 + 454395033633276355198284182261107820271/9847757220248662117836490589882664245683*y^21 - 550409280000856189927951221252939524598/9847757220248662117836490589882664245683*y^20 + 12157443866408740823376969004411397748872/9847757220248662117836490589882664245683*y^19 - 51068246146089807625509699706186032173161/9847757220248662117836490589882664245683*y^18 - 71935244669974599487150636990191489020883/9847757220248662117836490589882664245683*y^17 - 361438892042825610708961549271406315990799/9847757220248662117836490589882664245683*y^16 + 448718180359879427212178658583914632786250/9847757220248662117836490589882664245683*y^15 + 478648780886590905038945159295239176982768/9847757220248662117836490589882664245683*y^14 + 3606784929361694755500769998875137615286629/9847757220248662117836490589882664245683*y^13 + 3092786262303230652736873953752379682832275/9847757220248662117836490589882664245683*y^12 + 5736303749459670359544464612889651285541739/9847757220248662117836490589882664245683*y^11 + 3987659373351598418532984905908845405012358/9847757220248662117836490589882664245683*y^10 + 3840940093941969063230630833329422296875866/9847757220248662117836490589882664245683*y^9 + 2235062615950543088754884304794529736330863/9847757220248662117836490589882664245683*y^8 + 1295218360051108525176673309828656221878649/9847757220248662117836490589882664245683*y^7 + 857711594824604294985186459314291610837700/9847757220248662117836490589882664245683*y^6 + 118482637801302414074658550210207608837299/9847757220248662117836490589882664245683*y^5 + 238992321046821152997705999758489654580204/9847757220248662117836490589882664245683*y^4 - 90846895226430652485878953315023389698771/9847757220248662117836490589882664245683*y^3 + 82777468946422110148608077496211479314005/9847757220248662117836490589882664245683*y^2 - 21502589046445744814375604771197253347243/9847757220248662117836490589882664245683*y + 14676151617530064897576305965938515525781/9847757220248662117836490589882664245683


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

# B Gluing Matrix
{{1,0,0,0,0,0,0,0,0,0,0,2},{0,1,0,0,0,0,0,0,0,0,0,2},{0,0,1,0,0,0,0,0,0,0,0,1},{0,0,0,1,0,0,0,0,0,0,0,1},{0,0,0,0,1,0,0,0,0,0,0,2},{0,0,0,0,0,1,0,0,0,0,0,3},{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,2},{0,0,0,0,0,0,0,0,0,1,0,3},{0,0,0,0,0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,0,0,0,0,4}}

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

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

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

# 1 Loop Invariant
1734329143244722782593552207606667044531/333822278652497020943609850504497093074*y^22 + 858269704261146978418642530407381151637/166911139326248510471804925252248546537*y^21 + 6507529498758483361111398720801662307671/333822278652497020943609850504497093074*y^20 - 33594034475103430323828990787437481929647/333822278652497020943609850504497093074*y^19 + 71289222314433588699204900337409857080664/166911139326248510471804925252248546537*y^18 + 574707100837061780648821987003309334046539/333822278652497020943609850504497093074*y^17 + 1337948867530958193421521430149100108689878/166911139326248510471804925252248546537*y^16 + 2018282600220717807895500057996425655885553/166911139326248510471804925252248546537*y^15 + 4024378134113951282260400838261626884173078/166911139326248510471804925252248546537*y^14 + 6154750809506029075369782757714397880515021/333822278652497020943609850504497093074*y^13 + 3945774305257981533982153113887715346854696/166911139326248510471804925252248546537*y^12 + 3851675611554335525845186253801386097022493/333822278652497020943609850504497093074*y^11 + 1496360212214517083478279887075665177396003/166911139326248510471804925252248546537*y^10 + 1133911457464566440419854423456057671079879/333822278652497020943609850504497093074*y^9 + 541126095182789377519202134538208842497413/333822278652497020943609850504497093074*y^8 + 167427896722242341031889739948216600991091/166911139326248510471804925252248546537*y^7 - 141502801914762785796256612133443243588648/166911139326248510471804925252248546537*y^6 + 155580879839680593222608415588818476698457/333822278652497020943609850504497093074*y^5 - 173368912338607216391580350204723953306095/333822278652497020943609850504497093074*y^4 + 97285811526081141932649432938251324129943/333822278652497020943609850504497093074*y^3 - 13987522198393872050601339142427014276276/166911139326248510471804925252248546537*y^2 + 12447755531544094584793603168224622038557/333822278652497020943609850504497093074*y - 4888812300384103355728522958210355423553/333822278652497020943609850504497093074

# 2 Loop Invariant
-2435630950793085169574226103734353102734842093293473032062027504394001372436795342346744161196985433/37899717477102147612291409462186817265590322548181572410405307715786821691876282856591976881019284744*y^22 - 416122154205374088505246757503365669529740377524001458586230013377127163977482387585506345308816035/37899717477102147612291409462186817265590322548181572410405307715786821691876282856591976881019284744*y^21 - 22773825081572002066643302797181307361266967023806321951107679681764770533998361218525544561549775107/113699152431306442836874228386560451796770967644544717231215923147360465075628848569775930643057854232*y^20 + 162255987599514295500892374291993442436156225367209217451890294255306669316049361470924277259338335741/113699152431306442836874228386560451796770967644544717231215923147360465075628848569775930643057854232*y^19 - 120172017807255720096960890539843891318187584544064855007358130721353256049218463324062804452826065315/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^18 - 317612394124952367846958972885907907117514470397351012581829528086751564189699226605132078447710802747/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^17 - 1564036261190063078064097310944679336804761777821931998553069286565851672262422533347807132337038660745/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^16 - 2063230306541795398481023625320313340165495797264868039545121710535079306443936638409096874965268725967/28424788107826610709218557096640112949192741911136179307803980786840116268907212142443982660764463558*y^15 - 22040698123947207478298001973102040773668403520474786385246910967419618865298552394795248147998794306079/113699152431306442836874228386560451796770967644544717231215923147360465075628848569775930643057854232*y^14 - 531127828035263687036880611998627822772077779237777879687383100505734219008296109323929651223292729789/37899717477102147612291409462186817265590322548181572410405307715786821691876282856591976881019284744*y^13 - 2966997517737264726664894313858792868353577209853020819779059729479885055366035502049456585884844309463/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^12 + 1003323596422553023952986431973578788605474420225159903500667847528200496517485189349627889314867417909/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^11 - 1634680749996058590723919833299152648399770709728632027106426224709517509228264007075171367777968958141/56849576215653221418437114193280225898385483822272358615607961573680232537814424284887965321528927116*y^10 + 120121152375174410647388502183400173609926640279289355672567742650468846385929887369446104494792855114/4737464684637768451536426182773352158198790318522696551300663464473352711484535357073997110127410593*y^9 + 260073872480133617081949095520479833071044919237359203646822857122523043625938641236745027816330436807/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^8 - 23079655637750967559935767416072382381331197989996068498862238675141203405282267100162054950093945919/37899717477102147612291409462186817265590322548181572410405307715786821691876282856591976881019284744*y^7 + 819888663858479379252757957517817487050123562223530064906335746131939808695495206502714827657366004361/37899717477102147612291409462186817265590322548181572410405307715786821691876282856591976881019284744*y^6 - 1707709161166831865899455710659224598160930771177437057948829532445427542039712363645198215685161825333/113699152431306442836874228386560451796770967644544717231215923147360465075628848569775930643057854232*y^5 + 224633365776680442888322869996593545437775772764102922772776609442314504819423469834966191563182817999/18949858738551073806145704731093408632795161274090786205202653857893410845938141428295988440509642372*y^4 - 868272790556119825394889950021440993065452160493252046811682571947687107109915573834994028365512550795/113699152431306442836874228386560451796770967644544717231215923147360465075628848569775930643057854232*y^3 + 202610269950244905122271235919284438177032190444416686280723443025809544992962447182285502482749935997/56849576215653221418437114193280225898385483822272358615607961573680232537814424284887965321528927116*y^2 - 101621679835092807143593578899811722565244400812959068189047274273844642335516768394341318662911145987/113699152431306442836874228386560451796770967644544717231215923147360465075628848569775930643057854232*y + 1349749211145872069214383714382842086889243029996662200591164449862486884758971930667829663609450451/56849576215653221418437114193280225898385483822272358615607961573680232537814424284887965321528927116

# 3 Loop Invariant
3846237616089670789320895667928929492521795143717307123901805090031238591484288171668359856502439437696562074348023588839673461823/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y^22 + 3818001111071410612392254307014660522417759198257040300021725957455454551183628629704709942626378128947436761534780305830650346409/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^21 + 21932164141782526188042291416105848292889975247591062879951267266548908264823514089159443647823488680231848653237880450495672915999/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y^20 - 13787277413779163593874321329090527006092900758049978439922321464664646579721210800135562891413154717426259212953360266752504231415/100956970262602978207900155050654026652744452525815994495276965865385626624093071600790463310833735892311278873045286601793440842924*y^19 + 129197197176390108633803661308600328331280114977073827726273438768285146348775659571736637320251214600611225492700977088658036512869/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^18 + 762130456975965586266533134536140909684282273212108202834254291805263413126684992804907283684535894382254100817128949303743029315299/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^17 + 467991531189214421803282844613405922626496816119889695032785158969757163165052480618148576206817238707225776020793616281730090168770/25239242565650744551975038762663506663186113131453998623819241466346406656023267900197615827708433973077819718261321650448360210731*y^16 + 4044486423641611592712330501112837597366981843086633396130008809105437284321961422277807662371709380584279096779433499366515750592261/100956970262602978207900155050654026652744452525815994495276965865385626624093071600790463310833735892311278873045286601793440842924*y^15 + 33001784589157582778580926062838730553965677351243215037110473263829177099763674184116474521016481632017248583050930818216381573876421/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y^14 + 2657692361953141560119603661614892547434466498155317188956589462080098898198420447354741692097215953996488430088046276981938236584211/25239242565650744551975038762663506663186113131453998623819241466346406656023267900197615827708433973077819718261321650448360210731*y^13 + 26688730352399798009232754676357144646768102616219216476443503757602961244251449162236381739548499433173031466581694553301789922513303/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^12 + 24510530099452309712545041289016823057485087315039614733023794993591698270646886116193697232594965127377501955860948565180132889914531/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^11 + 21837125531423418995527804678856394171819000792944182517246262050756819516814581126579596935773416073187153046590648422689636027774963/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^10 + 15388994711647359482045259070743413624198196809136219082396808097557222472462001628294195412907467987900360806185418077669181189861011/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^9 + 5209298291065573298923445726255081262131348981221387929534464019054274380366495528275057143581097349452354592609836767067736928927831/100956970262602978207900155050654026652744452525815994495276965865385626624093071600790463310833735892311278873045286601793440842924*y^8 + 12650797552167086222207031816368188442960366773068250548917558753424507903853273834427739807141435864145871500020953340442785462007481/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y^7 + 3029626870679464453277588964890753691851080420400776715836696554836141931919773347850366702629838789999735927859917222910099476937477/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^6 + 3186408880499827099348217352520135274804212002687349818226738898716360929857023424005964948492770602994567168181916027217023111137947/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y^5 + 858525216201772305927428839377847869959860008557050773610198974664682792604738424476998396103984672479468593750444952216729532800371/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y^4 + 317248307987908424505363558254183878999031496614688840801744685973879909204335561443720641590246014932262078482399609712953480331097/201913940525205956415800310101308053305488905051631988990553931730771253248186143201580926621667471784622557746090573203586881685848*y^3 + 3296303468756488920992258987238534580595277116161755416828960294720305789324629650241323221775489754752033022182720050134126705303/100956970262602978207900155050654026652744452525815994495276965865385626624093071600790463310833735892311278873045286601793440842924*y^2 + 85400486411283379950864843877002448863659842061750339281956780766221461934105616991485595893354119043058423768959109597133255438223/403827881050411912831600620202616106610977810103263977981107863461542506496372286403161853243334943569245115492181146407173763371696*y + 166142418113821635620154920187881944173626207823218865949010951648265473032494211716848605634068618995575789853079112913237733437/50478485131301489103950077525327013326372226262907997247638482932692813312046535800395231655416867946155639436522643300896720421462

# 4 Loop Invariant
178622508157805023951835743709832521727712642912034364833629117547912509517259415981029258533072695076488230505504164170724469325006451096235372010802172820421217251315204353782113439480812063733/4126287315714974355169513041703157522241678053833697738815024314198559951549144093681524714206446246423172733193431896617089732146828743772284962963231058414666989990332253810291341693743964883840*y^22 + 17201676245955728208903001673594783392933712607241524267758246218051834835352689713296630042144307410556899562769840652889719142880179208288493778992656026012419530379661901548608475915236716405/275085821047664957011300869446877168149445203588913182587668287613237330103276272912101647613763083094878182212895459774472648809788582918152330864215403894311132666022150254019422779582930992256*y^21 + 259767610219508058699248709019949218733627246137648064399513715722227716599276418118567523511092397360074722494789994627281652848918754337698770489822471732548580841089937720239526073216047548817/1375429105238324785056504347234385840747226017944565912938341438066186650516381364560508238068815415474390911064477298872363244048942914590761654321077019471555663330110751270097113897914654961280*y^20 - 3095514888269244712762004144652278680001128942312739780137599503317304498308675558693787723985394043206336313629023157946303806868376648078773862292634483876896032480226267480113345307159334817167/4126287315714974355169513041703157522241678053833697738815024314198559951549144093681524714206446246423172733193431896617089732146828743772284962963231058414666989990332253810291341693743964883840*y^19 + 6627349040976370871609410463535892141679957007300290156227338046281384767451711671037212570480135724929912140547542567850044885987401704077874212477639621903062253967636252839339062049140535900873/2063143657857487177584756520851578761120839026916848869407512157099279975774572046840762357103223123211586366596715948308544866073414371886142481481615529207333494995166126905145670846871982441920*y^18 + 1635984036282585376903033261679320753830248188580008647746166298062745205816419929681361595763875239156464131597367703754137015027663466801339111919379648001842712465103255363720403587085699277819/103157182892874358879237826042578938056041951345842443470375607854963998788728602342038117855161156160579318329835797415427243303670718594307124074080776460366674749758306345257283542343599122096*y^17 + 152145396471897628497122144204863099141199687295587788269730730394415304058902905159560421094955728454200567256191915011798650333733873039474405445848505903274563605686355190218127441906934447012773/2063143657857487177584756520851578761120839026916848869407512157099279975774572046840762357103223123211586366596715948308544866073414371886142481481615529207333494995166126905145670846871982441920*y^16 + 138262976046162615084615573960076163214559378183188215146202868489723253295827539685195879784739216566234283170879044803916165290451444169773016966606928015939175190855296980030200647789033065885329/1031571828928743588792378260425789380560419513458424434703756078549639987887286023420381178551611561605793183298357974154272433036707185943071240740807764603666747497583063452572835423435991220960*y^15 + 214594889499481884116402290801882985654044674303100011394605651135605844047760998916659353547324991671312201099711268534019025281238042167848590128818250317128139910246241637828853421923818713918447/825257463142994871033902608340631504448335610766739547763004862839711990309828818736304942841289249284634546638686379323417946429365748754456992592646211682933397998066450762058268338748792976768*y^14 + 75191459817728786029704474179515499977599462686499133329604183184236845584348471011867971227704847912402580911663958498957036319795426940616294122875362925366714988616260180348987633910419794590953/275085821047664957011300869446877168149445203588913182587668287613237330103276272912101647613763083094878182212895459774472648809788582918152330864215403894311132666022150254019422779582930992256*y^13 + 658047812619182163986930124081136949121519162511434248398236666211466316657659469954203101548748595864641406602698000967568733310304002186379075400725246574052004931655648986534319217704752144065677/2063143657857487177584756520851578761120839026916848869407512157099279975774572046840762357103223123211586366596715948308544866073414371886142481481615529207333494995166126905145670846871982441920*y^12 + 257642813512324160418367556732263381780056767556570422330244971000978038054789489845492207331399318809724280063355103801265675505657663212889353299346087816364696539560463680001549524031475340842437/1031571828928743588792378260425789380560419513458424434703756078549639987887286023420381178551611561605793183298357974154272433036707185943071240740807764603666747497583063452572835423435991220960*y^11 + 12688352786275152163021264397575607809161178545022475998622249696426790487619891515919493944600893903409794540135764192198838413249598456792098321294903831875439397581142915622104639328785383178951/68771455261916239252825217361719292037361300897228295646917071903309332525819068228025411903440770773719545553223864943618162202447145729538082716053850973577783166505537563504855694895732748064*y^10 + 24780027419570810120761438353890397820432677189627569060647513976545198484715546090751134200717753775605746246501553482814466579741415597547152837054810809342940665230763094717123126255611339806147/206314365785748717758475652085157876112083902691684886940751215709927997577457204684076235710322312321158636659671594830854486607341437188614248148161552920733349499516612690514567084687198244192*y^9 + 130594643251557652484220537342911294324808942428335843842629134926616401626922545722494712616529876252464056850900406147650006161063749398079248638893993408079930804704535018718986479231397133528819/2063143657857487177584756520851578761120839026916848869407512157099279975774572046840762357103223123211586366596715948308544866073414371886142481481615529207333494995166126905145670846871982441920*y^8 + 52649761770624387320154160451351485541549758972569390815785228190931880082511293955170385984804436804485033656919697161185838943269572415205058572567068930632410901539341010090828566071268517249709/1375429105238324785056504347234385840747226017944565912938341438066186650516381364560508238068815415474390911064477298872363244048942914590761654321077019471555663330110751270097113897914654961280*y^7 + 34455506710923532989127523572827190106189152523417043774883878519662823880325995017197297650278263860397756322068860724464200814721357442796624015088862531085997835044290553872636401373163496412073/4126287315714974355169513041703157522241678053833697738815024314198559951549144093681524714206446246423172733193431896617089732146828743772284962963231058414666989990332253810291341693743964883840*y^6 + 9290765085961586208631613473400452602346393613605707539911079346714125433272854655811693084546243298308850619883155658164019638905913652433202060451264751515447675057691091892692459325882279301541/1375429105238324785056504347234385840747226017944565912938341438066186650516381364560508238068815415474390911064477298872363244048942914590761654321077019471555663330110751270097113897914654961280*y^5 - 1286225377659731502924662168326630593747145321840625783388104738904726862061925153571409308582533455001248737079414557574590657043028985340627647185747134051143068432450044871727618143424697265151/2063143657857487177584756520851578761120839026916848869407512157099279975774572046840762357103223123211586366596715948308544866073414371886142481481615529207333494995166126905145670846871982441920*y^4 + 1107893950772198548423777723682585451155176107140053733898447475119323823288445068243269400012303315693529185099685778756817938371434057828285536708381469513720865227466469856093637744345366545589/1375429105238324785056504347234385840747226017944565912938341438066186650516381364560508238068815415474390911064477298872363244048942914590761654321077019471555663330110751270097113897914654961280*y^3 + 549240778647115705601557082336771128758689153815055971931400172175389325443198520733205164907492447358288375085958351848349256860793549881992427781144047067060077239314875707623117912505461127517/2063143657857487177584756520851578761120839026916848869407512157099279975774572046840762357103223123211586366596715948308544866073414371886142481481615529207333494995166126905145670846871982441920*y^2 - 161340852246818405726510667165505226465046604001332629535105786351323301111197375643333819172216720970625290716784208516073655949640120060245766959314055320362576801228774081024503117109299980779/825257463142994871033902608340631504448335610766739547763004862839711990309828818736304942841289249284634546638686379323417946429365748754456992592646211682933397998066450762058268338748792976768*y + 521755131836005321317640901053251477123233345477995863400365167955851644352752047243217487201891583624005277128568389162481144672162140178443454867245091597720817248147436055729027637841371974221/4126287315714974355169513041703157522241678053833697738815024314198559951549144093681524714206446246423172733193431896617089732146828743772284962963231058414666989990332253810291341693743964883840