# Manifold: Census Knot K7_88

# Number of Tetrahedra: 7

# Number Field
x^26 - 14*x^25 + 53*x^24 - 249*x^23 + 2141*x^22 - 2842*x^21 + 28239*x^20 - 9075*x^19 - 56078*x^18 - 117447*x^17 - 311273*x^16 - 813*x^15 + 543644*x^14 + 509099*x^13 - 78020*x^12 - 428931*x^11 - 162779*x^10 + 62315*x^9 + 15964*x^8 - 2617*x^7 + 11418*x^6 + 1967*x^5 - 2177*x^4 - 259*x^3 + 129*x^2 + 5*x - 2 

# Approximate Field Generator
-0.513642021274959 + 0.798617903221990*I

# Shape Parameters
-206693647499432526971961903598589827617599385621244534553090035410024558179966/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^25 + 3061220048445584573228968417878704908604142233890811435052472945405061597281672/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^24 - 13360148290889753864219507264521920203264559385550434687233341585746936951071299/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^23 + 61216245426324339270936726573617672386887225248641264157325704628488103623188806/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^22 - 487837325610174077381505436294630144958517145608848838971799104211319884332129104/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^21 + 962715618741867422397719388137584196364465991967138345712697891316635705968830948/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 - 6449554974659751521144937195162418377033051589699164781017896071684132716553240885/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^19 + 6840337069843305305046729357935315139979949625926873342289600702623264155821755607/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^18 + 8262974621252679104241312036319679323076520482032033704263813577963257481099273983/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 + 16263128688178785075080733157122170343257349732293805930915528181587426194949571868/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^16 + 47435298091306732354933102692641981096677701787123304127000766160922555945290194723/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^15 - 46193048674359737422436530866983479387829348383181462093210225733456822950423347754/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^14 - 96486062597547509437818032789062526093059418770267626404275559341219259649725641685/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^13 - 21653079944491792023720790250861178321088784068482449701690064539834309090836172612/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^12 + 71787500658872447637603320462152212527425491293208243288570095847004267915752835332/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^11 + 58674090410074444061466528113736181666831848934949174171977638567189606966689731590/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^10 - 25078571101878801867064396254724610281620894238725088217918702334149544004509682610/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^9 - 19927281221543862453960177569017146668839790178752213829732530227148525466152220583/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^8 + 7430741057541063167481561826937357523068186205175315149644945325682319818846076884/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^7 - 1111534101127157599977532418352097828454324112628317676604946485380600258550981154/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^6 - 1857239702832231172754963156761364974369406849404999241327655014016708587689414127/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 + 1309305840833976852546635187286494135060231557971868810512939471424532805863109511/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^4 + 182432446305726555973319845817367039823484621104026587867193353339794916028180591/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^3 - 150215640603494047192781758926902683586436944670044858186400048288034934039811814/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^2 + 191327816831821775723203035613296247089096733544664652729001316367967496423922/272656781672425641643568786506894539001175664506867393137704074650576154723141*y + 2464229409941839694671039062811561598486281915479160401363459278068986795730204/272656781672425641643568786506894539001175664506867393137704074650576154723141

-248069811745404125950298570782261301490889396484288551714942711561004431305439/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^25 + 3622453096996551708906160345531752677699542479599738705845694149961010274946414/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^24 - 15300319411192987990775529252393120425530117537777847637522699741871057360813320/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^23 + 70558861514654020614260724910380374836216549941394182940888347091866915363669452/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^22 - 571916612219873559407153846952597582855221377826027400553028167041750523924739441/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^21 + 1041622693890041506234291468169376556914175006098432817825119692506806413728445122/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 - 7566081918798787926674669844680653624324206732072194662760777156794458707145620101/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^19 + 6705638922638355932465494957413497523599336299741670693897432710837283499028895204/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^18 + 10754923227573682410719026969818084488950168730921958400061365671486377068520346529/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 + 22130211418315462959802457500370081720563650578332372330695715067738478440670390153/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^16 + 62407064303228975758812552765239526451814648354973534878441482023990382523493267987/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^15 - 40566044784972469190828725628016612357912604965293229140517599209982602505629935188/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^14 - 119036989350152111500064149964222376772911434856266643874632495390032650847713810391/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^13 - 52473391910414668976790725124361286649100550025740991161462710244976492021342576256/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^12 + 66066333038605302748358650928264725329395517634358017679974777762786572474995569846/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^11 + 77860171737281590195699865565965445135825781811230209186569722796835715672483488978/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^10 - 10811008408201905208828654466625728010510994677711859244832612865545472724061589689/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^9 - 19710123520984847078766360491455283575013349227272614251885143984735052193906666272/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^8 + 5735811313087933119849637068156952001787481879102732202419336617814458811115208870/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^7 - 1175908550027069872962654901116569329774368168350302560456099165817637668031551132/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^6 - 2322493991584901485937427642384180501135494361668784286259506722688750676467379202/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 + 997878140166496493218851804767875459342693419887627226567342755542667185370397933/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^4 + 249456925146517917340481162052233314766158082364958369547516078146745326279779482/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^3 - 107666263587042337204259738784484402905169683667383731119983814456874158609133593/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^2 - 2468424462095363003334953190914988753370009486450984538380155728553605471509030/272656781672425641643568786506894539001175664506867393137704074650576154723141*y + 1906460181745974337358518558359033016566189209458063784006958995406758146182045/272656781672425641643568786506894539001175664506867393137704074650576154723141

-353154335724408606171372293326348556460988988372210614892297739605402021207965/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^25 + 4883498178049050227803975900648845318025550911517035913527862169859363565881638/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^24 - 17876017865100402751315828900626259451692677268846101973497366640838960157980934/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^23 + 84830005468896429741222178978063096265792109511294807309858142284621133671606045/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^22 - 741372439141374023734339765019150287497852074731248565700924583303917990361231183/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^21 + 875578460535591221255304420601988176296879127858334590757740942330932065875872170/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 - 9816632930517965904015646216458468124463894402717696172728309039783555579277105356/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^19 + 1506125608466269338002526399189837617444622250217793731311603383546033825707428896/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^18 + 20140029664525508407801726147491611272597447163132465437885262112635792376169911167/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 + 44836275253008912596344281725887171271636834396431319032042523559629526612931365057/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^16 + 117586928716493863413964595768316039018255594102954820495763053224634913683881817477/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^15 + 20303351081364506484781449270528691726236501953859459241605789468919205556011821530/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^14 - 189022139249279392497907117777282782446982702062603131271734556216172923026501617956/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^13 - 211679168939887680611652321081220951856751931085685125695831011372904523999696616345/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^12 - 8119138055637692627779363885832229797743187910646921811444673343847037371683623488/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^11 + 150184309641713965791898824552200507121496769231379447903515645290405200768575540513/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^10 + 82843515718745125549460133725653634436866490701594769755139140291448496723935763103/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^9 - 8032828184171985215133188455464857814511280884921967959185810441523411300367426885/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^8 - 6755083268007336901430742161868916759403802305996106986244105774388133996615597564/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^7 - 348895450188687598040863825622708103885581327886283540903566669000505138925521337/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^6 - 4190425357147157279901219846101232999711882646286687398086216384070862617871808378/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 - 1346875882079206928446551685100165598440955891559036800247156569779010589803102518/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^4 + 523387029100200994657123038746186379586540456878758816850177727096842178332870449/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^3 + 176504746217626516164362204673810179652389471541277526313665783106196489267059601/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^2 - 10277759567061111058301992412138379532101325829559181407145921350284449787541132/272656781672425641643568786506894539001175664506867393137704074650576154723141*y - 3815068674053906846141154091370568740495744136760477058180683956908328987181557/272656781672425641643568786506894539001175664506867393137704074650576154723141

-215633556767317039719967802611349600010186343167336306108066841362356522252201/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^25 + 3138526757130694026501941191245253515579923361464570559339609973025643359150152/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^24 - 13148339036721334741647331580657858090218605244307200123430250259357219301903795/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^23 + 60677462483543665525765662388852563526453271896308547767032466435007752191096313/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^22 - 494101654506520964835359170916503499447122917682999051435314324219972029891120791/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^21 + 881230653657386141416561151953497116168113059493788161471546876248455635055806722/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 - 6529935965184979793067806315624931945560584207756336044085362153721944871386110339/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^19 + 5505306689917029658721054730706807860871287103332278696033720859141122273850883449/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^18 + 9676632690166203098888800052956381905328225188901443639337727725019379036787931625/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 + 19585324866908584403814683233144929988892867715042604639240855335007843766806338387/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^16 + 55164819524177568779432979546936009768804978898455113050000826191241940827374584510/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^15 - 32741290682007153991595873008407470130275226601230350436428204715766943605329998014/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^14 - 105317232903919631106025241140364300968160086069872636252070339317064757525992328592/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^13 - 49850861991148299292449521953599029988192985499188670542521617300818967064334593483/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^12 + 55598400322607016830196235042229546393362796737696314396263736347337033514043299472/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^11 + 69969451003016005946326865904507087996669047912456354397310173736705457726698777023/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^10 - 6931102231411824090873194395620014942493428042323932278590936535709565198859900134/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^9 - 17652944866096364053253812357448093612359176484886330566551123932676235057494628358/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^8 + 4667972206230376563142431910820704858136322931921998343055796355473569550239979108/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^7 - 719173177376706095930617788068120711798222221537242995485057349137202542916432566/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^6 - 2132558468113632557733848019878239431546527685905510089989977578000660209415927685/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 + 812252349940588383865985830148725428021223280678353558467367426006885022394684937/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^4 + 251098972563822133510640208913672238518193987491617395534716233370992308325973903/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^3 - 95980399232433159988107574738529152949000623255713775148497114553437544803896210/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^2 - 4560567249788378414664103896609195365556962808598559544087865654892352798737609/272656781672425641643568786506894539001175664506867393137704074650576154723141*y + 2360296329113727270440671671125512837321745400926243692206165843480552109827388/272656781672425641643568786506894539001175664506867393137704074650576154723141

56645324860510234353120212267675755657575513928917996163625523693905718258935/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^25 - 876333884234488962120678322886867449840766190163430638296716047950134470573183/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^24 + 2098019995428864455599638117685068510292573109475816856148329873705625115904440/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^23 - 18920486114419132829704949306869831542528654706777415047771997655928991764142547/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^22 + 143684335780913244203498769873776331253614715354107448165954277202776782407337741/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^21 - 173515014687961603365298179797531155934192352994285050414295585711497041640609045/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 + 949660082368765694790619213693080746368395499576640288080151686363610391907098196/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^19 - 1488075389531472647493746512011255608241336509077954927523217161432490076937569747/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^18 - 793938016510580491541081632223669262819488369805911018712893402661573946480227810/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 - 1322593142120480176613906364913949827068622151402427121785224184230623212062118715/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^16 - 4553695582978507480629652918729380339453102987636436791129099910384031195860551564/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^15 + 23297706866127529128861633705513542965723744920268047904839552407587101058466659459/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^14 + 23614338753721893694529164693222064961554402987347892407639963084239653117596254651/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^13 - 12693241810537840725036984982449428939395495755155712382141871740029253425323653677/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^12 - 33308910781582897291884843261640279315238042770669849036105941754944588640366762077/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^11 - 10650517706180205099262339580995171179179928337753581678747665105053145467267057441/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^10 + 20117274198935586511133840654669025232549671272364907361224616478551486302289941985/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^9 + 8008310473807122042452527505541887551222724761713723575831147053463042134709006207/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^8 - 3985738398523062244591043362330690230148320987064788601972430678046287936695466703/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^7 + 270634722588129104773832188603870265315171922858466061157234984192861136718257649/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^6 + 167589036064957482928565373250718294035307557375428004156604740834726755341546980/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 - 725370618048029974360623454745758938629748607921106671613015083401221935373986731/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^4 - 17369282011453602241993048034835143538721248789531245026229687159582561469810841/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^3 + 82171532062722334372405749140752628078730851787275386500069143958443712831413951/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^2 - 355567812339389197783769182282339079383691984623920134438362227098586288226137/272656781672425641643568786506894539001175664506867393137704074650576154723141*y - 431044242699617198942771720276972753848403642932794321704691306826071311532871/272656781672425641643568786506894539001175664506867393137704074650576154723141

15896687445414171968364852782025775047350722947427181504084304847312287119676759/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^25 - 27742452823007288090907890858861662187440163625852835999376639508211980790669617/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^24 + 834846357776978984898798661561572134146234146866069331244690120892164798322479411/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^23 - 3938797406012642026720025885689318581086043197598152397956342435724674537968981645/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^22 + 33933672694686799753068964160664066090712960484744306046577152157401885749468317381/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^21 - 5513169467619910136913577678448628108298877464229677346574681706626645898258228995/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 + 449186817967320318091985747263964898445857696209107782648784022280389253169904887721/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^19 - 130020540616464994448205351470643650780206419346073992374254342558917252164814474711/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^18 - 217558897847925417338905654362045337562021775705988063682398686614345759041916582085/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^17 - 1916234985572115219023758288092124247939579802671562249716898280093166859808910427921/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^16 - 5066381327058946549188073017595276289047004759710666060978860777748067927652532370661/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^15 - 302353598697990732131524118976802091867764087440325841524513916174571402305148613545/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^14 + 4187686982685145885234068620386129352049970095961999646633326932040188139295036060079/1090627126689702566574275146027578156004702658027469572550816298602304618892564*y^13 + 8480772191414412334098079973841286937863928234250819910286173479933609624443953648025/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^12 - 230205394431220997697892897450201948625196041519027646858081551668717813180897608027/1090627126689702566574275146027578156004702658027469572550816298602304618892564*y^11 - 6502596682717482419824296914731716654914336765658211954284458978976646040128093042929/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^10 - 2972707894262236835666042570340580747961127077013565677493254693765699403099020511883/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^9 + 550279873386826393687166901472983132595494014857189605304020931423546199189003469107/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^8 + 105554760776853873074078594786232786198354466471831133429012583772725832942529803443/1090627126689702566574275146027578156004702658027469572550816298602304618892564*y^7 + 19321696907371589791436940774599484653997308641852128225844849089691640562773881349/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^6 + 44487051004274956191861530998721220081677555438332968774662938900336214408034354039/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^5 + 40516996608188651430954610722673465125193387415435172578181327342912105889507903817/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^4 - 23694612711113558361649108802421410166239526274782080360278853708996083670730845561/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^3 - 5710056446931117755863970881710626125969960053347895169154663274227152008880026187/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y^2 + 672153319555450676011691084279455874959696879912938840900810177697773417922574069/2181254253379405133148550292055156312009405316054939145101632597204609237785128*y + 151912438170681634994116444269835125202340524395060417202599060204496761068474409/2181254253379405133148550292055156312009405316054939145101632597204609237785128

67472013558963552260224492039050252341714879854624784545983354408095043596435/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^25 - 899881569331541369699946614880022659259309152467905647242715262408445911210795/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^24 + 1471018352429477129743707264460336973332961194960200177657497749688793361639334/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^23 - 14315237164385998174804882210157932590751834227641183044989886433468896336715021/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^22 + 132827640887690374406160875358522590744458067098260529333162800269344699334091901/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^21 - 46862598189589202870351871395853484701346641450438656158998800868635879760425748/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 + 879999958300429077117665233518233524465849841243956913252035895740810754964802624/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^19 + 342669922359407983262750402990946061796858670398141842960249358781998093856354109/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^18 - 2215649062455973047805745448974166735713894982110003785256672467610386927519981320/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 - 5098602001692197010717436320352967708588294857755073112226213926321462686053274324/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^16 - 12971056115530579049156866588608748578860588505122779832169270208046452285948631694/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^15 - 13309673473265923549208935903201261220833625333488825665041193338379653408721729827/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^14 + 38543492677781976682925195768623259234768728078973845664616905063428514953080301505/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^13 + 57205808633908762903770679108478578023492471923199445709782665195438600871621317099/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^12 + 13921421312229202203911898756321844481497840595301336234004062519989848928765496389/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^11 - 33733986608673500011685007907345158861647149320717202282319977332239739614960310861/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^10 - 27978320876210168199753506800904219497247699707908891544366595433967763500483873255/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^9 - 861095424562332189241683826532915942256247144134040126428602347770575918173986319/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^8 + 3298177282927755198676934324345361226074962739221792937318925004584689294360196153/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^7 - 11212862236345427316814092666578001645528587508007562566859346869310354301907022/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^6 + 447262146025870823195651025499866804912374979404016017519744231430250663852066320/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 + 595575392805885138779076691108244074132146734159108369624505332021571983325358945/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^4 - 120838681936453194515600495854218880098722803923845604228104312752977899777645205/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^3 - 78291333864939393507631098621355406977907339193326575951381955903967999106759231/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^2 + 1090908865331337583627515894608470165436915051457290337752388092329270945505634/272656781672425641643568786506894539001175664506867393137704074650576154723141*y + 1079136090571196987606428296326352277113760987981009087730971213470751148239375/272656781672425641643568786506894539001175664506867393137704074650576154723141


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

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

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

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

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

# 1 Loop Invariant
-8875080910602268784803376071542358857897152011915228067035684425838858246173161/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^25 + 54273137085093123648104139547627960762128514030397043280079908275513301279930124/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^24 - 245275382203840763376929207594328646721227813155434803513596564170030599797652607/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^23 + 1300495185430362325270906949307800483469335170245429886350717787076405072379270621/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^22 - 14759168475493905424631934117503970837140763123777589919606593024945686478522622339/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^21 - 4966169847002985111965333975027485889214626849951822656626554303706361608118308973/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^20 - 193725663432023118566300532401983768781974250759065300321231041255916840418154710005/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^19 - 386406538468819957815762750259892289582887540609649114528520473738420264735163197439/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^18 + 401664504789037484767061179752826345160174675613318516396448311691085299202131938045/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^17 + 1761552401658720009548015377760300359156938457908761100357676066079910085084211246009/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^16 + 4408842414288489838321576723089627145838506329938812595087379815314365544463754490717/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^15 + 4436950184146284144799389096456231188987098647579333975881493911025115442353800308975/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^14 - 3042489395307532969784192021165639116884269110479148350174840052395070768664677750531/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^13 - 12083914610897288600172427488284921225007161323845570810114213568919533096332731851777/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^12 - 2484631732190381953292373821373660301712411698230004449244531211498394475222401494250/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^11 + 5962231589292440832931332212812891796860441463251225176634835713745838080867433774173/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^10 + 6793267015447596237621467228673085497743184880747243983494557274135593279159564667837/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^9 + 535025362979764673519162272054682594995022720933906314360426072490194991699126956161/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^8 - 406901242991397681756042474416856346861269149410517801011427393800613214010529237387/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^7 + 98077306273533364426563012286418846457355081133853944510036699506306584518550286569/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^6 - 90609695412992499893407816125800737819984119759720342304368358457061151212547880990/272656781672425641643568786506894539001175664506867393137704074650576154723141*y^5 - 155817936406929979242697835461832957183648615192733136012687066563923643491795089195/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^4 + 24229769913758367441055747356903174565384203846237551891292912278894319615265402593/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^3 + 17669475944282793398650606024507063773012294797217099696952004426992660233430072871/545313563344851283287137573013789078002351329013734786275408149301152309446282*y^2 - 517167478385732011531363898905646985748610610245428176573110328303718451819408733/545313563344851283287137573013789078002351329013734786275408149301152309446282*y - 329885850570846510254312589631677871563430452871165066605279529025262408923280139/545313563344851283287137573013789078002351329013734786275408149301152309446282

# 2 Loop Invariant
-1319803751868547354102280927985724797416689063716619193735444355707518133350650828863498633405572917975350999544747795974818469564098699229477277651168008924861/18902226709806146684895404099366178822826148291745526502426181022869088837383611209267609819766986131549296507439327754896250522780880510199375862430850934752928*y^25 + 7242545475160564788067632120570085836430109413298841014428283589340739573335133400726678507559709923644322076462074626539452067175881687023810901761961824743163/7088335016177305006835776537262317058559805609404572438409817883575908314018854203475353682412619799330986190289747908086093946042830191324765948411569100532348*y^24 - 245840668138889898328213522623796825208877963166210694461510702871086819533202654478020401540107249300343941434954266218036866647419493669965105668024536446543407/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^23 + 1131397954174256872901606448417244725301946766794917042466956770415449780020573478282026614927279881980231475567899738462494357134903320392725698266025811712055419/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^22 - 9152936446327909781179100553881017672889175019727752561216429959754110690501747738433359210880927935333929774529547641486875205768386267212310429567085021238204105/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^21 + 5620273592387577356743063012997269379123267425549209522853711587050819954771644313237893427474595606057799169092470947082796734694015360364388998831693663629298559/18902226709806146684895404099366178822826148291745526502426181022869088837383611209267609819766986131549296507439327754896250522780880510199375862430850934752928*y^20 - 5037455089800390251988317989329531762105846726864719057292163232412454926256625601012560005071584821406749145115266548641043923310628229192864689246666242515060325/2362778338725768335611925512420772352853268536468190812803272627858636104672951401158451227470873266443662063429915969362031315347610063774921982803856366844116*y^19 + 36676305320607875880224944178747132476724557873535835660670841186038825960569600549845305760455128020203655783098223258814872993455966561428635717200589868848686885/18902226709806146684895404099366178822826148291745526502426181022869088837383611209267609819766986131549296507439327754896250522780880510199375862430850934752928*y^18 + 173396044444277622704235849371845901185080585514238548229552698768111754579573295469818723731407273091296352118254774270099519352665561215441428259012339112967527915/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^17 + 114180484180453391460885905109475104009138483757614521533378054242413117252480341128101630945126227181437312315317223094411578333352467094934168276701595036320942121/18902226709806146684895404099366178822826148291745526502426181022869088837383611209267609819766986131549296507439327754896250522780880510199375862430850934752928*y^16 + 979904440050909065656852500011254569200515651664265625149178416336366057069682125681315691363614760018447219081679233546621768041020976191708649976861294133768426711/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^15 - 692686544018835941912301606583632745618919282270009408688896309446839426533464032731863163700897977770310351043412953674035702119262997995408907685115108004729313377/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^14 - 639285729672140554438155526456525235271017618456527532225734809867279947330173101738112808615972488145714768012634299719385415618753224196462576952262684284839086389/18902226709806146684895404099366178822826148291745526502426181022869088837383611209267609819766986131549296507439327754896250522780880510199375862430850934752928*y^13 - 124576165309187227912456844660265278626508687165077958924026610762669028600323512074158737389859638105224946185007102541296564935065709289345071024138914246987599283/9451113354903073342447702049683089411413074145872763251213090511434544418691805604633804909883493065774648253719663877448125261390440255099687931215425467376464*y^12 + 1146870363308038465553374442838718581808743108668442884718505929762140799056969360482165060348077201723883483627936919058184664247050282829093448370125304815420418951/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^11 + 309509869614903690571212349069571206189020377467547763405248162445776579439292607668716718685513424323769233844650307094581478483217112332203299868272353889590730385/14176670032354610013671553074524634117119611218809144876819635767151816628037708406950707364825239598661972380579495816172187892085660382649531896823138201064696*y^10 - 41815905763873309056525942664861984361121040167266209109692422380654790908708463357898565296172203663164386639836937620538824913569703119178189331496323860864385447/9451113354903073342447702049683089411413074145872763251213090511434544418691805604633804909883493065774648253719663877448125261390440255099687931215425467376464*y^9 - 350860204869024851234251159271990004135232074028707997628333848407220070427060709161272841865272295485924680794570441579573335868122538370395243739886069314599811807/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^8 + 108976201466846787491087785322929182591145506615096011731223089039986743221102709103479494380362125670276268563041529531905469343932959259922692280438696148606410605/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^7 - 14576259756905859030851525714256496183340906608815402104265808861098758907808297802533288380596964589832840215387049007723090620315400524903197486078642483025376223/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^6 - 38960398350613516864602996547474690978620312198762986931592791795037037920742186848721602730696062166252366049131265975290736143352987084105681046150342835893891349/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^5 + 3136217507096616058304652029885944422434505974498174238882393476147852466740572081833892676842977153530527099242746628277439997818464320470960087233197580044374677/9451113354903073342447702049683089411413074145872763251213090511434544418691805604633804909883493065774648253719663877448125261390440255099687931215425467376464*y^4 + 4280590340217191799572087717511174539303688853599531775361172747314345710317726298363767343925199949880369855245938329957264687319028418376634865442620148238658783/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y^3 - 753687731931305733643439329446172783319090190585394957663207933122258245341400769784061831785073452698348722639702494096982280249092019376746780484464837401874679/18902226709806146684895404099366178822826148291745526502426181022869088837383611209267609819766986131549296507439327754896250522780880510199375862430850934752928*y^2 - 53722297309905250393607103959030274182128430418606840440572700100817479958782695882718662238225961575201163461428782659350494361710681839569827816365342978278135/56706680129418440054686212298098536468478444875236579507278543068607266512150833627802829459300958394647889522317983264688751568342641530598127587292552804258784*y + 25808521197116797992178530325314942122092482509109510939140057089209385408855726183433586011086898053779017783007457596824443012949723040696001968824410875490685/28353340064709220027343106149049268234239222437618289753639271534303633256075416813901414729650479197323944761158991632344375784171320765299063793646276402129392

# 3 Loop Invariant
-75651342345947435483494982960263111051257655183075588009273436400626563960372044846214154672941526907874636732934676129175336956856017251175980487908446661737235649025689804938717747266802309907142611/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^25 + 255556461457131479086280428169910183001498686957267445405621460845070833136320244699345790942879262741410653360306332849606489588804548670453379703072856742075951941720972340611294578944907349422872315/1759609532193989069862891924386276488417942923229086337724473476448818612038780100442819979677700044234965922055632726467846372852932012275024934121358959117297667430828075648592099040832402843420779328*y^24 - 3489432134432131449576210811745455615108909135666133395322882076014456319346291716090619625885124167224898130579467468911435613916152582944997179481205326491439837065578690757219389065997392290417466589/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^23 + 8414567224906278825695493970338013290538064425504024747759780530800682597226732972931343845042360608764585789166630527368705015565871823383534260570193388143228872394745776887376348973748281195342674819/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656*y^22 - 152557832673752046208865961636626641148436967054809084423478500925537227374411856390846319038893186769713492716234099472154938661048035945726512755208503002751455724017259005940036695861495974841776714099/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^21 + 134984215411975890761080066096831769674475222001968531874475817224786781202596636542430842128754382231830735891362408081781698434244105998573935279205351061101615215357468324176688750949706486371196241153/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^20 - 2023155020405518960031020734539212968548388418242059790875734624531286671419599790808419181036769382195327449329251640135230840392494373050731620847547544136225297989979088994844020916893736467879773719309/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^19 - 23179520652249097198910328150155194609970201741609140766226448008183366567584132340019510394244898929825310482426788140660000824866783168891608077967303491817526473071180025191784012012002370652966714379/439902383048497267465722981096569122104485730807271584431118369112204653009695025110704994919425011058741480513908181616961593213233003068756233530339739779324416857707018912148024760208100710855194832*y^18 + 2343039457400239329740517427974214818266270921222487807901009393624114485070327387663775843132522025445383969798878844128353456855003026650167130892001048539921010040226435979688892853794321284502469674223/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656*y^17 + 5425341927287269395262727007777823480676778961928229482532972004545109389205003475565486638641349852555726715856256638821847344662582529949753126214145061448942221149249481161879920667104291306722938918553/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656*y^16 + 27708707370574807836273164116584967991080003169888734036735581912168977126448628873333661587816084045710364552813899628069097127241101414070258763194098380572353897206823454099387995165931983603695490178365/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^15 + 5634502771129261508842154623349968205958908225708046673433199870878500818361408717301809175892772260723586643509222593717372740054380628962844026184142336930722772601291058163703347809264625898213155782469/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656*y^14 - 41949209595959110463094842096792143183730618957844019948686275963474598462534347565406437098522383959963610969481605941309150898361636028352093107012543410439804171149189605289495591725523958932553475424769/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^13 - 57826432996520498726000047814387694437145212866226750068003514485663564960443487436513964560152780403842480054479783726304158197685202764474898190347284947040355093029495833789444299873668260541025581850487/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^12 - 11025853823407324323425467403328300383646369257159430431096944497632521620769348345816101068614222283439886671459046000054776155028286958053344112828797847315455398126715576319230093062019137613601564265281/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^11 + 4470540429491881858511699646305392137925930852217100206751493334427382628239900824489909839508114263069765483398752726828961779204661940636856714752229968290118949717324366497249119253092162531639595934835/879804766096994534931445962193138244208971461614543168862236738224409306019390050221409989838850022117482961027816363233923186426466006137512467060679479558648833715414037824296049520416201421710389664*y^10 + 26812054375590382994220243431760761351068019185647991727610640172697069653576438588341800073987523053443308441019306769756694645580037160359203849693681768522576909964610294598032427278760546420153753194227/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^9 + 7510491144001745876925945369821836009246634100968737195911657178921736617441033256428376126212579208127585195201843919153031885590032842643619456552991288708586919280360130099469748359813813278388543557/439902383048497267465722981096569122104485730807271584431118369112204653009695025110704994919425011058741480513908181616961593213233003068756233530339739779324416857707018912148024760208100710855194832*y^8 - 3062179495123554617503276280804039291105491095795860644130982180953698511135437836165270288776054424600366712476405532736614917060276725037597570041012677438029357689220499476461500929738183262312252213083/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^7 + 29578217508154988466177364325700846560135034344848899141477252553692840894490000824969469610035558886140660044126249215714059913700450340855908976855067836956020448465515603778822137748442234651262290663/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656*y^6 - 14276862665053204847808618465142852686938991343222036542076957303598520315065260287750278160716577950302675853094324635060453959026236185385955998044572867941400571962434443902426803989806239946274458751/109975595762124316866430745274142280526121432701817896107779592278051163252423756277676248729856252764685370128477045404240398303308250767189058382584934944831104214426754728037006190052025177713798708*y^5 - 563457877842539132250922515239101446769762865733480455509386723636113562503370578029242217604381618528288957277483227637841618339617754754063729640601672986681814296691965431959855140240424314523328864905/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^4 + 67459726678995453224234080383128742082302279004235382033137670934339296082313411306640485870878555257097784414413556441789985030096103595864609816521864977755626181931493341878786668543452551037706403481/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656*y^3 + 73308580064534174901701714746795178358445490990265644399818672615423250466109381467563070471939621601246297847195460956903266842584653808311127268940617812055166633699819936281367623108672632593668114211/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y^2 - 4794227064537206592512415234679692443155516514555428067508207147181358776116249425665021464048334455211394330887869777686796677815585191420143615597801221624157674115856058852946476297198693703068823709/7038438128775956279451567697545105953671771692916345350897893905795274448155120401771279918710800176939863688222530905871385491411728049100099736485435836469190669723312302594368396163329611373683117312*y - 820454720588170894090562347077647844614483110584092165366447757995341127415412135181571710146530908044601369100574146624997008039086260728030129635912610120302390739576676286267681908173697899431066659/3519219064387978139725783848772552976835885846458172675448946952897637224077560200885639959355400088469931844111265452935692745705864024550049868242717918234595334861656151297184198081664805686841558656