# Manifold: Census Knot K8_140

# Number of Tetrahedra: 8

# Number Field
x^19 + 21*x^18 + 1008*x^17 + 21326*x^16 + 210459*x^15 + 949659*x^14 + 2113466*x^13 + 3686192*x^12 + 3743220*x^11 - 16502572*x^10 - 7794424*x^9 + 23181929*x^8 - 25991968*x^7 + 262092*x^6 + 35311729*x^5 - 18041874*x^4 - 3768575*x^3 + 2217357*x^2 - 56700*x - 29889 

# Approximate Field Generator
0.334583022061372 - 1.02267565862143*I

# Shape Parameters
-1968386304716225755597545939985365829510977166068358125363487229075616157/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^18 - 14156486578297718755707709773078307823338899921391017201062244580200589039/61258320162909228739348609210338714802449459089310191443837442353091125961217*y^17 - 223218923211734296730422853887591094178007504135133674713925033861005898234/20419440054303076246449536403446238267483153029770063814612480784363708653739*y^16 - 43142872680856763989836874617304423930421197043489719922319935121662999041406/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^15 - 146499534896461053048025932682502758827920367058663419774486224970573052358008/61258320162909228739348609210338714802449459089310191443837442353091125961217*y^14 - 710277631164959848908812162067780250368965875768099590015974007254460734938763/61258320162909228739348609210338714802449459089310191443837442353091125961217*y^13 - 5474198860822127521979494401296283557956156184326982830672556888962520751186284/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^12 - 10838465842098324897155841513166514717472310313785177348950845245110992899669553/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^11 - 4917085143560413843359870725710220492135393628101934663726323256913632722139940/61258320162909228739348609210338714802449459089310191443837442353091125961217*y^10 + 21674791699505478578747024224615058791266679041997488397373533774192577942170930/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^9 + 24535201766707416142410956915933778756861509971392124452878097850004089412454265/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^8 - 27864713719177176950890145992057504341882533568660558886731982063534707464803913/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^7 + 40480395939517810362042607644809076341936710245729288237373627668677077130747422/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^6 + 6111817614849437882107901589502402197635187368091563105818449848071646361704117/61258320162909228739348609210338714802449459089310191443837442353091125961217*y^5 - 7399230314927465784733624597673689551802207115313606377080598882625879673750147/26253565784103955174006546804430877772478339609704367761644618151324768269093*y^4 + 3453461676842771289765102323469946734382305389853502862280081510409894191982217/61258320162909228739348609210338714802449459089310191443837442353091125961217*y^3 + 4281522347963146376540133698807708042128596312253807500730299203197360240147403/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^2 - 177072419711650975600414598764521699359999813104955100695165108050530319184465/20419440054303076246449536403446238267483153029770063814612480784363708653739*y + 965603883199944662966768006330203733806997555753886791623699111370017897173/2268826672700341805161059600382915363053683669974451534956942309373745405971

75776576089174809346535670013829338631345838478720714004695324262554284736/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^18 + 551837992038818618686181832529434118563636039880217453941663974935615022793/428808241140364601175440264472371003617146213625171340106862096471637881728519*y^17 + 8642933806086466788961550723596042447844775624766934293634719719440180079766/142936080380121533725146754824123667872382071208390446702287365490545960576173*y^16 + 1681939413570444292711506521304385280334553181459503473135170335541948366320559/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^15 + 5791296524351521898432910296308765728416009913504978806215536358270499532400606/428808241140364601175440264472371003617146213625171340106862096471637881728519*y^14 + 28900845331955638832090920981970494397732657633178340567534620556480410295878119/428808241140364601175440264472371003617146213625171340106862096471637881728519*y^13 + 233816340529070353560562718267259001643453429603875355289690294369690354360326099/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^12 + 478433812188907095479216162499626996529879980516334122254281171755344273153940441/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^11 + 230549116420919463032211864907022972043522529134392956545074593963671681734215408/428808241140364601175440264472371003617146213625171340106862096471637881728519*y^10 - 659197261994057316079984176791878105405930387494650495139601339235559757398673021/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^9 - 1141776826268352704552911366362039546998161100365520618648732117038391349424119850/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^8 + 780365160198505939460410249878058467559568765668133947534935999550270061302837301/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^7 - 1321052425384549399004030134965682150292687145162325284930404000288923689605395018/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^6 - 363057229733395165021927626167771488512302615314339112584043795346058177811680799/428808241140364601175440264472371003617146213625171340106862096471637881728519*y^5 + 247977481506537284484552872183843848648618994925020399477508280614647910111059452/183774960488727686218045827631016144407348377267930574331512327059273377883651*y^4 + 30992168023577001847672375097732901639871860716623816302970655611415186907942505/428808241140364601175440264472371003617146213625171340106862096471637881728519*y^3 - 185761773451217033550596121583172940228947881451616126522022369658080647486460076/1286424723421093803526320793417113010851438640875514020320586289414913645185557*y^2 + 117630113164303740490241730531953726964439045994726541302994816133721151565642/15881786708902392636127417202680407541375785689821160744698596165616217841797*y + 39559929751051397367364959383811365627894929670833311885497465615882046206588/15881786708902392636127417202680407541375785689821160744698596165616217841797

1720762286033094812293436989644713257910030718315358187146344840931214/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^18 + 11189168228056089388994949799655637019260446566020798421989464442869060/972354288300146487926168400164106584165864429989050657838689561160176602559*y^17 + 186613439205919040865537678913416972729837751047079904966695012262688425/324118096100048829308722800054702194721954809996350219279563187053392200853*y^16 + 34083980617587414943902068663895699725761844345002967985817532554102998256/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^15 + 102088044142356671868922475468937599164939178452883076775733895261108615437/972354288300146487926168400164106584165864429989050657838689561160176602559*y^14 + 356415311987928268834483426061846860847571394654075534964191564998797767888/972354288300146487926168400164106584165864429989050657838689561160176602559*y^13 + 939638931872284412646656590774527092063036185474742305937692242994655136016/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^12 - 437983979221888998903548977494666343535461931408377439061719368746554080796/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^11 - 2312979273784050878866259684360262163939811389566267035896518751175261854045/972354288300146487926168400164106584165864429989050657838689561160176602559*y^10 - 46276946287128944253923034898941002187492758094661333375047945756613623853184/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^9 + 16278113566041865577873708935078423716933828981159037634821467005388933192070/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^8 + 65374900768585620336003554545528402920383847356537963141766109094136485574106/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^7 - 80852867571631428383928770124425492129749577395992379071469484862295633160147/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^6 + 20676426009674540890409272998181586073210072081543761946328624333023568321127/972354288300146487926168400164106584165864429989050657838689561160176602559*y^5 + 68918316852720385648644579443293861873866849446615428737142441183218748933055/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^4 - 30379883961050298357533200802935896161915751593537417309814057167996229067159/972354288300146487926168400164106584165864429989050657838689561160176602559*y^3 + 19971510050418281712269790905413759434973235542835012956841907638905748229728/2917062864900439463778505200492319752497593289967151973516068683480529807677*y^2 - 537428786095381091685264557595763455519987656781486861326073960302691092543/324118096100048829308722800054702194721954809996350219279563187053392200853*y + 213738839787243859470782301753961881833624591993404764885608350163891030435/324118096100048829308722800054702194721954809996350219279563187053392200853

-202086846010394070374620573044437060688587552880133633171136548895881230345483748115793896/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^18 - 95698261206971374400688644622028711797616276747691858157987524630020423337345187358463981/100796815698090628019485494958583904065671096320734833496616859398828427080769374016484346561*y^17 - 7593506355623881606524516297366759800166890860971812220464409786733188958731887464389938629/167994692830151046699142491597639840109451827201224722494361432331380711801282290027473910935*y^16 - 4372939992177877167721703899665374803148926754750129676679105024654343774187108314936746762393/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^15 - 14624188250543430394565976010625817680452390801557960210292282186191719834311572730643464201852/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^14 - 68409042468158525856358374636540790361436635883146560470124609278552500390791890447600899795326/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^13 - 487912295448090840748491546447130150868164603618689459136890883982110931484811314778476459531223/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^12 - 883230652484274542762429061426743806367426999166647119381834088713708488596626974103226245814734/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^11 - 333230841023194114992428314019364854991444167999118333930523422527026232830707955026208181786737/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^10 + 3081110885405865444726404540697642927198919408582050548096932008316276383628010981570115832078643/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^9 + 2594670494755862072593915684212975665638733839002868657892506742974503893531785838882840899851041/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^8 - 813751684673220569930396419356071486205713020300500235892640853480166005856167951435819902568124/907171341282815652175369454627255136591039866886613501469551734589455843726924366148359119049*y^7 + 3862405045354301831884144472897369359072606579440920573474317433081983017179289658047166111531613/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^6 + 93197681990878626046302702389088661400832365247316924638380176622945507528252005764982553655724/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^5 - 6999404312901533810905561825967778683162712161052068505696148027734455909892303606477404945087774/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^4 + 53056696894465892934259530162607819222300333737886272574704390416167327558573418746206997871944/167994692830151046699142491597639840109451827201224722494361432331380711801282290027473910935*y^3 + 1617520680638100688755014789893269588384399065170419091887493390946526093229756462123938773947342/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^2 - 34571728169576186351299452345332755765252199734508625217952290428639089373510452979152288022703/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y - 2424534788028401288915050890326419573449274135480359544578755180575090041693094345418929210678/167994692830151046699142491597639840109451827201224722494361432331380711801282290027473910935

-10341929712754583944008842532198844583054916051265291292977891537873758132616887341400911/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^18 - 14525449781311847183905454000662733773364341982493138676628011848274954645674842404092052/100796815698090628019485494958583904065671096320734833496616859398828427080769374016484346561*y^17 - 1159893952234914939402228571308678966195919981484867983086199549080134375888600969452041392/167994692830151046699142491597639840109451827201224722494361432331380711801282290027473910935*y^16 - 221250729536954647740175408650743183430135360887256358407005224133985387600723330220559895658/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^15 - 730380003846727970642611613902780083776840367607365058390101342075390065203805735493176772617/503984078490453140097427474792919520328355481603674167483084296994142135403846870082421732805*y^14 - 3320218387471494226819972961071695191476876581970917046219887249116598662349313081491459647356/503984078490453140097427474792919520328355481603674167483084296994142135403846870082421732805*y^13 - 22431851829043499992605661963823791107029851438108214062281718193670196976272835685712632956998/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^12 - 39083530164789744568353547451624841047518492231382536973951411436489143939205982478750302798429/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^11 - 13202972751543926582725237721274098710286499539498309929670685281113825212501830224008550109282/503984078490453140097427474792919520328355481603674167483084296994142135403846870082421732805*y^10 + 171884905421808513596339990098171796647090315983094379758178247699365433852404934565871334213923/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^9 + 98725647518539755042985152547108660087392883549767201174636921807031434460502578830904659502811/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^8 - 46480546326654352363517849216516195576514632096468665931018643892384239704010391109064276842729/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^7 + 242424871553662607680530775953106792451032683773794834421692322087220350954781458812448355438188/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^6 + 782890994001188135877803564870821603167716596608603583837949139916188788323935287560094519027/100796815698090628019485494958583904065671096320734833496616859398828427080769374016484346561*y^5 - 364920476154535577884878029118820196202644423324905285029346980817884219017609620335941307896834/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^4 + 49128448146921971632606062149136619774954896902160021900898831283963291851231022211471402877591/503984078490453140097427474792919520328355481603674167483084296994142135403846870082421732805*y^3 + 53277631909793399147449317982573120302608340101773926605517628882589184331801397858180889760357/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^2 - 293729209209737569807631348002440020870278596923884111882216136939886201600641165439528825147/55998230943383682233047497199213280036483942400408240831453810777126903933760763342491303645*y - 37079919029031544948065793634136903000348741919195846641109488371492557200160451360544230058/55998230943383682233047497199213280036483942400408240831453810777126903933760763342491303645

6394506865189510200501142172779867965208552803557397247736255548171940226797928108963604168/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^18 + 9044966716727659406644007868438263849174934786639916203472089999373760744596248420933962017/12398008330865147246396715879905820200077544847450384520083873706055896530934633004027574627003*y^17 + 719450865296732461956545755277000584777473441935410458796020721236351721757737515357467106986/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^16 + 137774538842527641521644019687796994764233579739522147850667325112181057649062245027017675526724/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^15 + 152847767837263437139176500806213728736813577804967085265907425601773904326542628333944890903242/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^14 + 2123161542995776017858035744751583203746911772731830466552782108061633070989920913705173370279538/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^13 + 14876958906078301899141480552733457344146336973134271208462185121565566557160826194068865843922359/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^12 + 26692993755589929879596634841741252802211874438230340898910985445265018368520740789082199683911087/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^11 + 1089997233199037518645839170341291507109249973083336988342093827524209329014858953080188047274189/6887782406036192914664842155503233444487524915250213622268818725586609183852573891126430348335*y^10 - 99755673710724225725229908682721044430367542465712868937908700176377218081318385824822703173289404/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^9 - 72427371943458820584831064947381042664295805194861344516490456803232613259515678973377712842276523/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^8 + 26662512231100441096204030622955763151819481599553236635980289128182078615545826348874156289388059/37194024992595441739190147639717460600232634542351153560251621118167689592803899012082723881009*y^7 - 135338872788200473042469672311105686266476591377981344973753598634774800531844986335603580623296734/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^6 - 211631385478252256801080732138527556712795832862123912207859107354281014847178700755120442561186/1377556481207238582932968431100646688897504983050042724453763745117321836770514778225286069667*y^5 + 220885279346159410077921198318890759968702941790334268133807801568561903594384267227305676314923602/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^4 - 21775449339626783813258258318099348962866011943251022824290459004976321331559937635503702559171938/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^3 - 40792312191231490372629473159537222111474456442749569947059725878893692902412347398965727563443146/185970124962977208695950738198587303001163172711755767801258105590838447964019495060413619405045*y^2 + 1521865063428779513627678114173722440891824970180475685193765391969890327234765815517601035742544/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y + 16083828263180886048827264597501430478161896756033022467408776447690333491808704369632454538103/2295927468678730971554947385167744481495841638416737874089606241862203061284191297042143449445

-960092046851850787858605859393273989703982481032795754348515224027346793905183092451821463/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^18 - 12247507332675518785777845400969442727297164860512458535796832443093930663039039897834361822/12398008330865147246396715879905820200077544847450384520083873706055896530934633004027574627003*y^17 - 973082581541884623854504722423099703212445384314773468874395042439347978529195269301535515159/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^16 - 20728520744408844642910130858808734413550056760177808836182889940113651725872237053007062278189/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^15 - 622356488829275660088795996091817517980792283206250618470345605210979049457206843031789063381049/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^14 - 965526185225294214472493523324668492212779596076002277671603614693073516277174654185240716351894/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^13 - 759132959185331210252571845737424005756593143843040580324051240708113607760882707856483873202383/6887782406036192914664842155503233444487524915250213622268818725586609183852573891126430348335*y^12 - 12350162957488471631671952692058185592987283211820223830575264646375243250981505604349370341855506/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^11 - 13891978881693759467710622828742450659135843883705690246732689010792256637189690780230622268953969/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^10 + 14703455794130097831118045218836677247217845032061579073067783906767729132441911210333323855074154/20663347218108578743994526466509700333462574745750640866806456176759827551557721673379291045005*y^9 + 34181331405813084858676596035844051030905080252965346289452229159759165546729686920342980255294659/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^8 - 11736352080988086043389420917973514564701630278451308251252214017232198495711408203453261750551682/12398008330865147246396715879905820200077544847450384520083873706055896530934633004027574627003*y^7 + 59251011905342226599925045604914554468332730311083301015230696791176867425400506427930442207570122/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^6 + 3142344563578278329215550519043550547663441976426660187034370285053150290513318619007548651875661/12398008330865147246396715879905820200077544847450384520083873706055896530934633004027574627003*y^5 - 11002218138587888670923955798261278586270369485278781056228516140146979865667004436544972631191464/6887782406036192914664842155503233444487524915250213622268818725586609183852573891126430348335*y^4 + 26408929098964164361750977475520767249648619522628170317053543077343380826963879681105329949125942/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y^3 + 706975798363313770177592495312625005373914060869057630414446999070232573811899650903821868927119/2295927468678730971554947385167744481495841638416737874089606241862203061284191297042143449445*y^2 - 2115528654351538941472971735507069185023945790012822183969279105976913791630040714432358151042496/61990041654325736231983579399529101000387724237251922600419368530279482654673165020137873135015*y - 17091250524446336509362647805694705559309032651109939824269116271556654562932713308823026008657/2295927468678730971554947385167744481495841638416737874089606241862203061284191297042143449445

-32449085502614402612339334109057349319357956261470780326417091264859485110698069215693652/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^18 - 687388244986821795298439754610064235200956303856324068083385374017440615077307765868561063/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^17 - 10945165016972651438561267017514924464659611445224852884111854765886032141887052687750693818/100796815698090628019485494958583904065671096320734833496616859398828427080769374016484346561*y^16 - 698050754668508881076754714661492467392584220977766413027083029310008710830211822620055381954/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^15 - 6957986159843932552390572487308732540010144071252290158001166567470025179730907528514118907939/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^14 - 3567375679821457987839762267934915980773432306584191538550987975125241843080700564272238614408/33598938566030209339828498319527968021890365440244944498872286466276142360256458005494782187*y^13 - 74609135664910512822375033142399257874845822627166498442287444003122292259645673650161732788082/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^12 - 133946366805186372421107637967154472907214900432614764650609034212732275854527681163891095280862/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^11 - 147605625234835139937701198738771149217694815296712913262250314402922646206419951469391261949483/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^10 + 505458515101172975873126279479386418751781957820747383863978324465205104663396234432704856521478/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^9 + 342071911142055601621624290065873825605819464088621940493448897029770958973098428234772494066938/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^8 - 681165049165640390563786585955737919735393803426209561904752606792136962627974310335277152487245/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^7 + 725162263480254168745832107987177151743403323191855945870228151760243302257343827286238552532490/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^6 + 113835680047507272272228296503636868934025112309319455245074312569179953237048357161398716748422/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^5 - 1111339852285618184591369950810359718244919853433416263419377459029153518970323265268304635092932/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^4 + 384792103496512194275828169899141397197659045684460442189870941241459866268992766286005797603125/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^3 + 174425829168479450401910744546830147661611630464529525877419868798999505330484359702173372583745/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^2 - 34395940162600381903264728969826344789698591452330203204361864559245260006893237777052390816227/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y - 266593739097208284217511791138023758294025676241179408129417535908759760195533223320414817345/33598938566030209339828498319527968021890365440244944498872286466276142360256458005494782187


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

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

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

# f Combinatorial flattening
{3, -3, 10, 0, 5, 0, 0, 0}

# f' Combinatorial flattening
{-8, 0, 0, 0, 0, -4, -4, -4}

# 1 Loop Invariant
-4033837561078591313795607746542592959918448901512636002174819757593968149079977339401705826/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^18 - 5732725295188380968011397623964435071969198999178557749553576236428663392949496368284725805/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^17 - 454805562863400669328012447370550901322971897485614521269428099441698703988983179597344567932/503984078490453140097427474792919520328355481603674167483084296994142135403846870082421732805*y^16 - 87321595163044436147345165693411139912060071623026820632637864337571077497303773052788035055658/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^15 - 292173402808425768033683741036664054714513000771801565950081867582284529478557698184321295113152/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^14 - 1368581988732734878979694248681168170955371980844073630572051078455543140059075978456847154192001/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^13 - 9796621423467839190115293582728427651150985376896355621112933288450092021396135506936875808936168/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^12 - 17834310550990731623284253001437398714696689878533270230785523059431679152840918576042353044674789/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^11 - 6812265850552666211537679083651495121264252576195278853480025822193043482579834643817734771377027/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^10 + 60640339299087299315690334239134348217173599168404127687565557390002360802364827194273424197637728/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^9 + 51246209958701795575338861343068097447057229120381950752800719207214921473200513079688242718837876/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^8 - 15955456763211334196163837837957981399636156816590564897356010547838363748909306602697906118354743/907171341282815652175369454627255136591039866886613501469551734589455843726924366148359119049*y^7 + 78115573635511033700169187417321835581047686725685594264568544140421776389500315122210305430849038/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^6 + 1822670968181711231083440809096948370596295063587376240099362893032597528117302058325127636510057/302390447094271884058456484875751712197013288962204500489850578196485281242308122049453039683*y^5 - 137478911166151059273768071860723429574286046481333017604680298700541831499826045136551984187213814/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^4 + 9642034400620055122608188948279084152600030845563762414620498321062492547841735785788602670277561/1511952235471359420292282424378758560985066444811022502449252890982426406211540610247265198415*y^3 + 29854915960980609976414459920763985896030821837093139098297281808737534775535959829378294879235227/4535856706414078260876847273136275682955199334433067507347758672947279218634621830741795595245*y^2 - 204983602422452061264146822021119164845091895851037163579576514814870518284216188675032824517086/503984078490453140097427474792919520328355481603674167483084296994142135403846870082421732805*y - 14752939817701454451636584988747998946729419653302641504800945418031683663332301548364927206486/55998230943383682233047497199213280036483942400408240831453810777126903933760763342491303645

# 2 Loop Invariant
-143434412210251638075674508221326003207647674280139388856256465333998241818770455012073963640966068665299884359325666107817156329562987780306347/119656750173366717200995425063798367769091751065808840064717105688783539175813275533644929311781125983448936298286012557933537871834962686143517901040*y^18 - 100903769121136213264825036183240196628060433285871097262582040561359993941554148450248736973211741132003954522407870266310729153500622670599759/3988558339112223906699847502126612258969725035526961335490570189626117972527109184454830977059370866114964543276200418597784595727832089538117263368*y^17 - 4024564707809752815387867672598727383219400026607930571488469726340843476651781902903813227362261609676650182141015989649183805718691604543867801/3323798615926853255583206251772176882474770862939134446242141824688431643772590987045692480882809055095803786063500348831487163106526741281764386140*y^16 - 1536857957376866956320255432762417113139681789518634188618712815137202569966330733307026505839596723477508829067155224662942100529330717447954754543/59828375086683358600497712531899183884545875532904420032358552844391769587906637766822464655890562991724468149143006278966768935917481343071758950520*y^15 - 10164638672797656948393330854873582101360830466133166660699631502092043146735859122232186034380249666660847902174246256089601099173543779355820746719/39885583391122239066998475021266122589697250355269613354905701896261179725271091844548309770593708661149645432762004185977845957278320895381172633680*y^14 - 23181240278097708631325586957330693824644835021657130226054211539406887444510678201186719111147018889879452522675370166917373582782298055570604712071/19942791695561119533499237510633061294848625177634806677452850948130589862635545922274154885296854330574822716381002092988922978639160447690586316840*y^13 - 19649748439609866381132939066132035641125060069049094723921845284799840326829827686972741539158651312180449867154120144120352734169623841325297904521/7478546885835419825062214066487397985568234441613052504044819105548971198488329720852808081986320373965558518642875784870846116989685167883969868815*y^12 - 544706328065480521332520135686823661432906251783198755082383407462563573565697186133465681175754294643463486257018534904522452883761703616878319029423/119656750173366717200995425063798367769091751065808840064717105688783539175813275533644929311781125983448936298286012557933537871834962686143517901040*y^11 - 11377714325396996771329851619379968110360758926942286039922050149983087461774872671111382160518418015496046155941884499746256806152337223191335943084/2492848961945139941687404688829132661856078147204350834681606368516323732829443240284269360662106791321852839547625261623615372329895055961323289605*y^10 + 2410725427264039831021680739367555942676434470307679790921852668791309936995067224343067224718295161163414833845361439051038561024084648641294596594441/119656750173366717200995425063798367769091751065808840064717105688783539175813275533644929311781125983448936298286012557933537871834962686143517901040*y^9 + 1523420019944637772643920521816506258180826780514563515156123215669435889663642795461921509182965091605021837542075159932668293491821976591520837872467/119656750173366717200995425063798367769091751065808840064717105688783539175813275533644929311781125983448936298286012557933537871834962686143517901040*y^8 - 649721514362096398317677443862655222535295026967255185513877479389258756847977974101641620681925952893453227416992040296481121855331340146240101892481/23931350034673343440199085012759673553818350213161768012943421137756707835162655106728985862356225196689787259657202511586707574366992537228703580208*y^7 + 1572221891552698412189909395812099029154783469457352698834271419460612579590593713771068875128951636990234861688862869602992491575539365245644325735353/59828375086683358600497712531899183884545875532904420032358552844391769587906637766822464655890562991724468149143006278966768935917481343071758950520*y^6 + 24809831857196661371986192194468030531962193185763265741425758684769436542618084466903683347215472933032518709915004492239269458120144288369059976401/7977116678224447813399695004253224517939450071053922670981140379252235945054218368909661954118741732229929086552400837195569191455664179076234526736*y^5 - 2613467789751835327323288955769726313008897761069409638263630138605245791587183369810979793096369317542063017093606848943493302246607741949982309810799/59828375086683358600497712531899183884545875532904420032358552844391769587906637766822464655890562991724468149143006278966768935917481343071758950520*y^4 + 593240824472183869899094037533368765102057957273962747711724565950771618867788804767158784032246076346222339974686752414775717602328822156243326579777/39885583391122239066998475021266122589697250355269613354905701896261179725271091844548309770593708661149645432762004185977845957278320895381172633680*y^3 + 981037755378053859495166247977537796445830123079554090537997661252987597090962861292706946861345165485623807322678733168676104918792483577008000188759/119656750173366717200995425063798367769091751065808840064717105688783539175813275533644929311781125983448936298286012557933537871834962686143517901040*y^2 - 451056427825305561312111522435891372098127288995893364637302020678791780662152791075337397337178487862542763344710825171266434005999084095408758411/492414609766941223049363889151433612218484572287279177221058048101989873151494961043806293464119860014193153490888940567627727867633591301002131280*y + 5576983729168044939997634708127954285374433805639122005665707367684357934281941352836803179509995159051823284346500705909700618251424183833856952273/1477243829300823669148091667454300836655453716861837531663174144305969619454484883131418880392359580042579460472666821702883183602900773903006393840

# 3 Loop Invariant
-1543315809817680044510553270893803537605532308543049579363882630208724611263391492222008230133267132488225052589084224133525151585650049062949760969621866642799082812333/6570853051102411992658997177643410691615054214671223556481486644405970398165031877915862473113040813935487545275898684875113661350800090610874983993580676924094253596000090080*y^18 - 13239437220707654736981696464334646335875772489576481881803205886157665555771558064188532738232550526336142413143175420322926103847023387773045742160828571566562385920293/2628341220440964797063598871057364276646021685868489422592594657762388159266012751166344989245216325574195018110359473950045464540320036244349993597432270769637701438400036032*y^17 - 32719587512110667632454729810917987941998167448594803602059602999349320199720973631731334321606209286133739165674205198880203816223196883929712787075716778926994712494513/136892771897966916513729107867571056075313629472317157426697638425124383295104830789913801523188350290322657193247889268231534611475001887726562166532930769251963616583335210*y^16 - 67232310127878662023135870010264435863488561815294022311800139491293089360180533300855710294664648574599147791329371285872177438675152259219692357481271855922366639268160723/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^15 - 679835112817827248614491524881176691396468345866489966823154379681300568456636303722556305293863341240924932124170030662990699287462383126720399748163854179489943439507521151/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^14 - 89982950570735649082237616785064481043601758758388176706554152427942890715689619460748505754930065376426796833752748174848670213010532446320108358294859781007830281901205873/365047391727911777369944287646856149534169678592845753137860369133665022120279548773103470728502267440860419181994371381950758963933338367270832444087815384671902977555560560*y^13 - 8018938883185605026575116317817435529434483120657179702881938006081025081834992641787269128515792676326773356424743382642895659369028518359813791140632956773154808454614834723/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^12 - 7608597295164236367396107343589931034078834826072994420812395994665156522790545123650443064117983653991570233477428161986443203018251239535586122332724574865470844370584679727/6570853051102411992658997177643410691615054214671223556481486644405970398165031877915862473113040813935487545275898684875113661350800090610874983993580676924094253596000090080*y^11 - 19105278846650570859156133678671287764760011030242261485468085085331645014257870713508057014375644950667698306349969720071325998325433586643212008521685188908659884706237492941/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^10 + 10194443404731134840507607178847088643577146934748535319190144974447309585083234296589408591688769723260211245439057502687353909289104673256745043503393492971669746434979330757/3285426525551205996329498588821705345807527107335611778240743322202985199082515938957931236556520406967743772637949342437556830675400045305437491996790338462047126798000045040*y^9 + 39706025124083425405970523952799488909724325502178253328122632635866429258946298272501336726912441147901556689312739539200453528207425643751156424639773428653247796980060379131/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^8 - 5303654565357895719785955776908310695032634821829335007341903448002561475668987437228334416911746308407248182683084624865567296717524356185158558026764621110266837517051760091/1314170610220482398531799435528682138323010842934244711296297328881194079633006375583172494622608162787097509055179736975022732270160018122174996798716135384818850719200018016*y^7 + 7586756004906753616398857501902883901401960142684654005922403935513825981798287065133094675120401787637628767295915474383871786813478893415574693668430514134992226954791836921/1642713262775602998164749294410852672903763553667805889120371661101492599541257969478965618278260203483871886318974671218778415337700022652718745998395169231023563399000022520*y^6 + 323375391211259216178561839680487134407214635231862994842595438883193653920408044595670628905997633926805175394254179190076055901786988548892448852063018458766771533345463489/164271326277560299816474929441085267290376355366780588912037166110149259954125796947896561827826020348387188631897467121877841533770002265271874599839516923102356339900002252*y^5 - 95077535518849564179665180946131203307085813647683960212421953433728357672949181462563604416956294011732349441167379308070015773614151454931584078279260003743400950666782319799/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^4 + 18340173373885430585253451205104901231800391749455805915289594153158144942819205809994106342251856655916256045501610557428793217951951150534303825550080632176548433985030648373/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^3 + 16713904975284354332331015867029899144381894745864704640880487376988835960736487602590688897013699807253147830897645692657084599281840118998143554855512156873693284071706218207/13141706102204823985317994355286821383230108429342447112962973288811940796330063755831724946226081627870975090551797369750227322701600181221749967987161353848188507192000180160*y^2 - 1242355464173606831123189044622318165202190125804590955679199097324182287362212169379703344595998953882721718828319954625658920758358497147075620555678350287001727669606538757/6570853051102411992658997177643410691615054214671223556481486644405970398165031877915862473113040813935487545275898684875113661350800090610874983993580676924094253596000090080*y - 12895155249246107615970715162922086566491208540500224009704148283774545734568880577299384219956326191284322441933345810624738161751962087099677563142058649237927991982800819/1460189566911647109479777150587424598136678714371383012551441476534660088481118195092413882914009069763441676727977485527803035855733353469083329776351261538687611910222242240

# 4 Loop Invariant
105491383177684486789257831992163513412047187887217107602309160579494948480876845464727054793568903931523112127488129655336711910110254459969268954625819183142934746779023088922718170536291154708476882677317199498821158074003/208008402253937330004745759392191743495743515888389373977617718844050332566656477692022644513475940008865151818793771823327381929651380415402093914941536637650545201017040303034840370782625391115199804001879900832494181847248325632*y^18 + 234124326148541577630901702044935165203018333382995395510834581048150117754001545410249029103471270805468226380313034261247835739874054693691338717985880513866672849826053835858528874310479619484210688334678399076910937118129/21667541901451805208827683270019973280806616238373893122668512379588576309026716426252358803487077084256786647791017898263268951005352126604384782806410066421931791772608364899462538623190144907833312916862489670051477275755033920*y^17 + 825822172915715141792304734933694819255209796215433945322475734291094270016917821671972196315707174009463542089431716187014087397706275841840526692554696789693362860315554582600473836097627516818581893568279382929387780832157/1605003103811244830283532094075553576356045647286955046123593509599153800668645661203878429887931635870873085021556881352834737111507564933658132059734078994217169760933952955515743601717788511691356512360184420003813131537409920*y^16 + 2282532934283112170495675088822925918537447332921459346135849472722940598894729328045009473448767385335684355664345386197351342131299089682527241234084158501264126576609674108071431174433988357056962243566556793655153840742611255/208008402253937330004745759392191743495743515888389373977617718844050332566656477692022644513475940008865151818793771823327381929651380415402093914941536637650545201017040303034840370782625391115199804001879900832494181847248325632*y^15 + 596449340703590240094166573600099499740924994567802372265954048946454516793042599752163544185077289953998563429768929259724546598960636271283248886779281826636736831515804487756788825334605947347273696984952108250632451349508357/5416885475362951302206920817504993320201654059593473280667128094897144077256679106563089700871769271064196661947754474565817237751338031651096195701602516605482947943152091224865634655797536226958328229215622417512869318938758480*y^14 + 178781511469674269244337401099445682625627317675456510805350700508165917993824766562399014889552708667713293632036980520857882898966944847660290472541248676178249332268153981640006923792730238998583681246503594761711412400114119473/346680670423228883341242932320319572492905859813982289962696198073417220944427462820037740855793233348108586364656286372212303216085634025670156524902561062750908668361733838391400617971042318525333006669799834720823636412080542720*y^13 + 320769980686495388016945393899324534627651703951293475514385045480628813172893989604760035860023518037015559757265930151612732410811188871352954934193068871276312115690738001139129743740200956790172874120193623493475860774525819251/260010502817421662505932199240239679369679394860486717472022148555062915708320597115028305641844925011081439773492214779159227412064225519252617393676920797063181501271300378793550463478281738893999755002349876040617727309060407040*y^12 + 589623896262711013013427502409331245072702927764653229705120273080273843715724498151920576388000399395126510704628261256057843108692842436226353039266833583817734221615797698353698334041394772600649877954614271152868440122543773709/260010502817421662505932199240239679369679394860486717472022148555062915708320597115028305641844925011081439773492214779159227412064225519252617393676920797063181501271300378793550463478281738893999755002349876040617727309060407040*y^11 + 114871910586280879891625425578943496354520558434269828665135795727835955788084027635196000849549600183231045721420988002683259241305623271362489858585073591068716665516851255327660149370428831654640132736813607732027776107258291671/43335083802903610417655366540039946561613232476747786245337024759177152618053432852504717606974154168513573295582035796526537902010704253208769565612820132843863583545216729798925077246380289815666625833724979340102954551510067840*y^10 - 3865790983179404949744559735452074359724265151061372742100050601994038937672232622962193619956259364319090294916483113072526003899944091102225374344249921343538280583922478280556098124993988441217352047103891399260884989897563349117/520021005634843325011864398480479358739358789720973434944044297110125831416641194230056611283689850022162879546984429558318454824128451038505234787353841594126363002542600757587100926956563477787999510004699752081235454618120814080*y^9 - 627871625787323448239679305083765840655388907221290012099867029789552725213420789152827732734766182795273948029993606024575918899208315202815850248788236693012094804656038124277917472075646319695116359025423298849776227025896896823/104004201126968665002372879696095871747871757944194686988808859422025166283328238846011322256737970004432575909396885911663690964825690207701046957470768318825272600508520151517420185391312695557599902000939950416247090923624162816*y^8 + 10202682997885989226132684134221423863949080123258577286932592348554965373757410650030038004912259945285949852893279547827190712946202389305366153913151969101068454017731016750943293898267650389457220200076529616870386822331953620803/1040042011269686650023728796960958717478717579441946869888088594220251662833282388460113222567379700044325759093968859116636909648256902077010469574707683188252726005085201515174201853913126955575999020009399504162470909236241628160*y^7 - 679820844737384550522966956150664846339560923140330503373410064673636291092076140088928741250334412629746084615024629738896779411091699496508045852006508932227094822782936218129193498766684222247661997578539083173720859490981814081/65002625704355415626483049810059919842419848715121679368005537138765728927080149278757076410461231252770359943373053694789806853016056379813154348419230199265795375317825094698387615869570434723499938750587469010154431827265101760*y^6 - 514124261317029501011526512403368746910382193654587295985960886026691797767384194897542712773352843778715739914078074388909652509619967479245400679837963573415429921211472332098971160542073059675149306380471936026607390308359446579/173340335211614441670621466160159786246452929906991144981348099036708610472213731410018870427896616674054293182328143186106151608042817012835078262451280531375454334180866919195700308985521159262666503334899917360411818206040271360*y^5 + 17390614917455304670141315916633544613721256022336762692000160483400373782980185811682646502239843570906878639514826368725516424043174646605195705400318299608783452526422337952496575104237863608048856714823128832213292539969092568839/1040042011269686650023728796960958717478717579441946869888088594220251662833282388460113222567379700044325759093968859116636909648256902077010469574707683188252726005085201515174201853913126955575999020009399504162470909236241628160*y^4 - 1505080095410181172116102747847349266708509657226830314422022444125528193481109975619867855533388622197260339707184262841358691316314592709922112902359927777707434410535163812726849318179794469689732781739789981001305702463126944347/346680670423228883341242932320319572492905859813982289962696198073417220944427462820037740855793233348108586364656286372212303216085634025670156524902561062750908668361733838391400617971042318525333006669799834720823636412080542720*y^3 - 3063265357715822524852762009616567822983866768713030010674845161914055187932127915131734570755624723323556914503208115489533159591363371149729460004746700627397770710273596798305011244415026729410606142382946772529361521798194645613/1040042011269686650023728796960958717478717579441946869888088594220251662833282388460113222567379700044325759093968859116636909648256902077010469574707683188252726005085201515174201853913126955575999020009399504162470909236241628160*y^2 + 18748676830555050128712304407820722626494435885581644191917598484613393240933672344408827255099768273697260436923720455302036160977822828762179367598467709456253339300797276179711176340718400678326607094663120712797263842767749591/57780111737204813890207155386719928748817643302330381660449366345569536824071243803339623475965538891351431060776047728702050536014272337611692754150426843791818111393622306398566769661840386420888834444966639120137272735346757120*y + 6394630152267152192596253825798721412319623953249937879304523303475052637122124172660625688411957378716526127066390937872379023808705727211867501889849841543947000710145746865556253377105947411324548686046617451778046276689982623/115560223474409627780414310773439857497635286604660763320898732691139073648142487606679246951931077782702862121552095457404101072028544675223385508300853687583636222787244612797133539323680772841777668889933278240274545470693514240