# Manifold: Census Knot K8_183 # Number of Tetrahedra: 8 # Number Field x^19 + 17*x^18 + 101*x^17 + 333*x^16 + 621*x^15 + 937*x^14 + 1704*x^13 + 2974*x^12 + 241*x^11 - 417*x^10 + 1602*x^9 + 780*x^8 - 485*x^7 - 285*x^6 + 99*x^5 - 23*x^4 - 84*x^3 - 19*x^2 + 3 # Approximate Field Generator -0.476769658034688 + 0.415130160570191*I # Shape Parameters 284129736018854535523481/3254578024979867472977625*y^18 + 1609198996309678264577131/1084859341659955824325875*y^17 + 28708706836752598630047109/3254578024979867472977625*y^16 + 95277889947505704763093102/3254578024979867472977625*y^15 + 180824042777870427188534683/3254578024979867472977625*y^14 + 416400076409995930824887/4821597074044248108115*y^13 + 170006758327116927469046603/1084859341659955824325875*y^12 + 882910081048430483141063948/3254578024979867472977625*y^11 + 140534482257020428186086109/3254578024979867472977625*y^10 + 15707514042669012492630367/3254578024979867472977625*y^9 + 418698569547500917253697304/3254578024979867472977625*y^8 + 226386048281105531906997649/3254578024979867472977625*y^7 - 2936480034497238492138338/120539926851106202702875*y^6 - 21811842880949277169838947/1084859341659955824325875*y^5 + 4739388472002134118828251/1084859341659955824325875*y^4 - 2256302427409328098429586/650915604995973494595525*y^3 - 23482018619489581897181269/3254578024979867472977625*y^2 - 2781697447130036184768851/1084859341659955824325875*y + 1381070856819667016280544/1084859341659955824325875 -2781697447130036184768851/3254578024979867472977625*y^18 - 16025834809236953257813891/1084859341659955824325875*y^17 - 294642584946656667947487934/3254578024979867472977625*y^16 - 1010786277359755792191250582/3254578024979867472977625*y^15 - 2018762547729086531951115178/3254578024979867472977625*y^14 - 70921748848111145035422787/72323956110663721621725*y^13 - 1886599835372727102188825603/1084859341659955824325875*y^12 - 9897694155697891720369896623/3254578024979867472977625*y^11 - 3525847995751417039608399544/3254578024979867472977625*y^10 + 86993628218235649506086273/3254578024979867472977625*y^9 - 4267947648908736384486992509/3254578024979867472977625*y^8 - 3448845340857489137671006159/3254578024979867472977625*y^7 + 35031043071152868789961639/361619780553318608108625*y^6 + 316297306667857809150719932/1084859341659955824325875*y^5 + 9553848072707192407137529/1084859341659955824325875*y^4 + 10267687020662889030890204/650915604995973494595525*y^3 + 237583320152422263708636469/3254578024979867472977625*y^2 + 43460060352845959040645801/1084859341659955824325875*y + 12822109107664743304078061/1084859341659955824325875 930932887653896983761923/6509156049959734945955250*y^18 + 10266831986643006173149181/4339437366639823297303500*y^17 + 87077379124224045702354637/6509156049959734945955250*y^16 + 543475683801261610180435967/13018312099919469891910500*y^15 + 925100937663325724491399493/13018312099919469891910500*y^14 + 10185817919062896764361611/96431941480884962162300*y^13 + 438745103304325875746666879/2169718683319911648651750*y^12 + 4462627811202809762418612553/13018312099919469891910500*y^11 - 1340940490612148427246580711/13018312099919469891910500*y^10 + 131506690515213988062049651/6509156049959734945955250*y^9 + 671724246728457877023773741/3254578024979867472977625*y^8 + 121326434516092887120269677/6509156049959734945955250*y^7 - 13394693757435097628225559/241079853702212405405750*y^6 - 47481433251829524320398907/4339437366639823297303500*y^5 + 14535128292088931895676354/1084859341659955824325875*y^4 - 27642816150420740788321633/2603662419983893978382100*y^3 - 69021837930317065607755109/13018312099919469891910500*y^2 - 1842610273309547436566243/2169718683319911648651750*y + 1677306783470619703005089/4339437366639823297303500 930932887653896983761923/6509156049959734945955250*y^18 + 10266831986643006173149181/4339437366639823297303500*y^17 + 87077379124224045702354637/6509156049959734945955250*y^16 + 543475683801261610180435967/13018312099919469891910500*y^15 + 925100937663325724491399493/13018312099919469891910500*y^14 + 10185817919062896764361611/96431941480884962162300*y^13 + 438745103304325875746666879/2169718683319911648651750*y^12 + 4462627811202809762418612553/13018312099919469891910500*y^11 - 1340940490612148427246580711/13018312099919469891910500*y^10 + 131506690515213988062049651/6509156049959734945955250*y^9 + 671724246728457877023773741/3254578024979867472977625*y^8 + 121326434516092887120269677/6509156049959734945955250*y^7 - 13394693757435097628225559/241079853702212405405750*y^6 - 47481433251829524320398907/4339437366639823297303500*y^5 + 14535128292088931895676354/1084859341659955824325875*y^4 - 27642816150420740788321633/2603662419983893978382100*y^3 - 69021837930317065607755109/13018312099919469891910500*y^2 - 1842610273309547436566243/2169718683319911648651750*y + 1677306783470619703005089/4339437366639823297303500 597959736478022666082080156/9422003382316716334270224375*y^18 + 3456443351092735863584735126/3140667794105572111423408125*y^17 + 63956606049451082791467751669/9422003382316716334270224375*y^16 + 221253631887781869877334580922/9422003382316716334270224375*y^15 + 447565295862919953008007532888/9422003382316716334270224375*y^14 + 47459627834963801596152908753/628133558821114422284681625*y^13 + 138933739375748099562603726641/1046889264701857370474469375*y^12 + 2190199081957493891661193452518/9422003382316716334270224375*y^11 + 881102821745069425920723632449/9422003382316716334270224375*y^10 + 11072021435539196303992003177/9422003382316716334270224375*y^9 + 781532307973382741461405274029/9422003382316716334270224375*y^8 + 934606521462934130095857363214/9422003382316716334270224375*y^7 + 4728236871515875623265622503/3140667794105572111423408125*y^6 - 36697533331631839257776205844/1046889264701857370474469375*y^5 - 1576987799450518933081777183/1046889264701857370474469375*y^4 + 1627373503099904566814918747/376880135292668653370808975*y^3 - 71602739509120371066996130804/9422003382316716334270224375*y^2 - 17085468201591811364627756591/3140667794105572111423408125*y - 647378055981167403869654111/3140667794105572111423408125 4206991065479587388394800557/9422003382316716334270224375*y^18 + 24108849540128216110007030447/3140667794105572111423408125*y^17 + 438587569111657350315157517243/9422003382316716334270224375*y^16 + 1481818924824776211683821388459/9422003382316716334270224375*y^15 + 2879113382668525061605521311486/9422003382316716334270224375*y^14 + 10968941364632814675088840468/23264205882263497121654875*y^13 + 2648371521096101671864490467606/3140667794105572111423408125*y^12 + 13934402167678252979337482144071/9422003382316716334270224375*y^11 + 3471581253510817471649729138603/9422003382316716334270224375*y^10 - 1451159617065740918380383478456/9422003382316716334270224375*y^9 + 6837328886957362932774651314513/9422003382316716334270224375*y^8 + 4617656537355779773053914558558/9422003382316716334270224375*y^7 - 170621687886595439258964400753/1046889264701857370474469375*y^6 - 463916898759584891924193774479/3140667794105572111423408125*y^5 + 121847308328123070118461744547/3140667794105572111423408125*y^4 - 3597637943209385782449013898/376880135292668653370808975*y^3 - 435994724082827344497782190338/9422003382316716334270224375*y^2 - 39157542868776837622159667602/3140667794105572111423408125*y - 3794620257012464621506366642/3140667794105572111423408125 597959736478022666082080156/9422003382316716334270224375*y^18 + 3456443351092735863584735126/3140667794105572111423408125*y^17 + 63956606049451082791467751669/9422003382316716334270224375*y^16 + 221253631887781869877334580922/9422003382316716334270224375*y^15 + 447565295862919953008007532888/9422003382316716334270224375*y^14 + 47459627834963801596152908753/628133558821114422284681625*y^13 + 138933739375748099562603726641/1046889264701857370474469375*y^12 + 2190199081957493891661193452518/9422003382316716334270224375*y^11 + 881102821745069425920723632449/9422003382316716334270224375*y^10 + 11072021435539196303992003177/9422003382316716334270224375*y^9 + 781532307973382741461405274029/9422003382316716334270224375*y^8 + 934606521462934130095857363214/9422003382316716334270224375*y^7 + 4728236871515875623265622503/3140667794105572111423408125*y^6 - 36697533331631839257776205844/1046889264701857370474469375*y^5 - 1576987799450518933081777183/1046889264701857370474469375*y^4 + 1627373503099904566814918747/376880135292668653370808975*y^3 - 71602739509120371066996130804/9422003382316716334270224375*y^2 - 17085468201591811364627756591/3140667794105572111423408125*y - 647378055981167403869654111/3140667794105572111423408125 -6576275044228333444208914373/37688013529266865337080897500*y^18 - 35448002606066556793227247183/12562671176422288445693632500*y^17 - 143704875596781036011869854313/9422003382316716334270224375*y^16 - 1693156517584630998582931779301/37688013529266865337080897500*y^15 - 641189392626138229259220887326/9422003382316716334270224375*y^14 - 20386729681630022561458727087/209377852940371474094893875*y^13 - 2506252445924304292695938497559/12562671176422288445693632500*y^12 - 3085840631825746683878307629111/9422003382316716334270224375*y^11 + 5247839992462507604795767487029/18844006764633432668540448750*y^10 - 1416442382371215902036645048033/18844006764633432668540448750*y^9 - 2169103676917273994118943872433/9422003382316716334270224375*y^8 + 579110734207000387400845491422/9422003382316716334270224375*y^7 + 323585934406566988663647761767/4187557058807429481897877500*y^6 - 169462453115174328694690973969/12562671176422288445693632500*y^5 - 126870632027636402459288035429/6281335588211144222846816250*y^4 + 26772255085599225735583566421/1507520541170674613483235900*y^3 - 53061121507217618698158677543/37688013529266865337080897500*y^2 - 2036361940145296238840847043/3140667794105572111423408125*y - 481006945937647702561408228/3140667794105572111423408125 # A Gluing Matrix {{3,2,0,0,1,-2,1,0},{1,2,0,0,1,-2,1,0},{0,0,0,0,0,-1,1,0},{0,0,0,0,1,-1,0,0},{1,2,1,1,4,-2,4,2},{-1,-2,-1,-1,-1,1,-1,0},{1,2,2,0,4,-2,4,2},{0,0,0,0,1,0,1,2}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,1,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, 0, 0, 4, -1, 4, 2} # f Combinatorial flattening {-4, -3, 4, 4, -7, -7, 3, 4} # f' Combinatorial flattening {4, 0, -10, 0, 0, 0, 0, -2} # 1 Loop Invariant -86708247129743709016310017997/18844006764633432668540448750*y^18 - 249694895893462945263838611206/3140667794105572111423408125*y^17 - 9152684571340350065658605461603/18844006764633432668540448750*y^16 - 15527655221373074493887033768357/9422003382316716334270224375*y^15 - 60366709046719674657328234835881/18844006764633432668540448750*y^14 - 112686804355923626115671071649/23264205882263497121654875*y^13 - 26879645588418893576343010538113/3140667794105572111423408125*y^12 - 142777009815597908819920735594558/9422003382316716334270224375*y^11 - 67863637545781214456967285424813/18844006764633432668540448750*y^10 + 37012671500802455233423324693213/9422003382316716334270224375*y^9 - 63853582034594629766399530184924/9422003382316716334270224375*y^8 - 57973063646033493903706345996559/9422003382316716334270224375*y^7 + 5969136592517514015465454685813/2093778529403714740948938750*y^6 + 8089578055977827068128296611667/3140667794105572111423408125*y^5 - 5361550214261828964285193512287/6281335588211144222846816250*y^4 - 60057232081927351215549948514/376880135292668653370808975*y^3 + 6638234492060507726776333966049/9422003382316716334270224375*y^2 + 731840668422285870322996825517/6281335588211144222846816250*y - 474727323139537411658516712193/6281335588211144222846816250 # 2 Loop Invariant 6583903602489460574220677261154713634129445188791772229895997385405670421466579/37169690836346730148630907035240855365098538138003795066660805787825327875319250*y^18 + 37835124104271678803726744641191780888748954028559333855244226811860862849791219/12389896945448910049543635678413618455032846046001265022220268595941775958439750*y^17 + 5538546970904622010228095157213452606431759712223500807741239966528966561029481143/297357526690773841189047256281926842920788305104030360533286446302602623002554000*y^16 + 18884536745801020232259672989940879409463974295900623576216992597611772596694039289/297357526690773841189047256281926842920788305104030360533286446302602623002554000*y^15 + 2333635768786752325440656601103119486036811304557942321245432057634141018276824736/18584845418173365074315453517620427682549269069001897533330402893912663937659625*y^14 + 434386991545274567350008979388988186771447162404696700432043375936427739054127003/2202648345857584008807757453940198836450283741511336003950269972611871281500400*y^13 + 34817569768236104919752532652357961809109364692710962637818181489123743012204375731/99119175563591280396349085427308947640262768368010120177762148767534207667518000*y^12 + 45667048842942856014120879726509642312281150961403853668219959917323469092501096269/74339381672693460297261814070481710730197076276007590133321611575650655750638500*y^11 + 29131000376098201936388680298847093393046732857646956986416908431468979381399053129/148678763345386920594523628140963421460394152552015180266643223151301311501277000*y^10 - 614739400307309499468305393205462515110666670289633201546076165161254650006900537/37169690836346730148630907035240855365098538138003795066660805787825327875319250*y^9 + 83716283454097121297033644213820465857483491644414038989059207463019816741034123203/297357526690773841189047256281926842920788305104030360533286446302602623002554000*y^8 + 30407069184812312945062690246215081306301097302221204155801799527539935071456803139/148678763345386920594523628140963421460394152552015180266643223151301311501277000*y^7 - 516105200007500183019653949122441151646632471291048853200996743880956723168387299/16519862593931880066058180904551491273377128061335020029627024794589034611253000*y^6 - 5489012112058125611634873744015541169205571250231576608362340720427354696097400909/99119175563591280396349085427308947640262768368010120177762148767534207667518000*y^5 + 313206467983067332548905253488297470974321498054325948887211346632441238835753077/99119175563591280396349085427308947640262768368010120177762148767534207667518000*y^4 - 120872750799430652822544634673417993954845180999034878523197409620090450843318687/29735752669077384118904725628192684292078830510403036053328644630260262300255400*y^3 - 4737698526991470433291658658245753576116834807947326037826473461318070731841874783/297357526690773841189047256281926842920788305104030360533286446302602623002554000*y^2 - 719797978537896874840248589045429129446765927855904574663344758422774421769377947/99119175563591280396349085427308947640262768368010120177762148767534207667518000*y + 646842582007811805141763979882972491900630819795334896465797849242874119894044033/99119175563591280396349085427308947640262768368010120177762148767534207667518000 # 3 Loop Invariant -402585593297624217065247264400918705957475553019892108601465835644960944597366603702315979204943676075480317/56831602813491410211646563628009248029490203554263792489717759500712077878806750893140617986757086885820000*y^18 - 579237476383951231184311672368556352565313750049930803811849490700151571942196165492799663976611970059942963/4735966901124284184303880302334104002457516962855316040809813291726006489900562574428384832229757240485000*y^17 - 21253291589691409193787970610083292814870371968671166342804675629963688369426741536739883608457258189982701539/28415801406745705105823281814004624014745101777131896244858879750356038939403375446570308993378543442910000*y^16 - 145344844889437395695237527356680308717554474971186315570469464537661218141705952258723189514739501598508301249/56831602813491410211646563628009248029490203554263792489717759500712077878806750893140617986757086885820000*y^15 - 577167182512331052060138124906925686185810905142011523065924170849363951832253062752090369694703845996154126307/113663205626982820423293127256018496058980407108527584979435519001424155757613501786281235973514173771640000*y^14 - 6723023302586484292247618661925998517745384172620440737796323891602816633040106867582949405355238359164217469/841949671310983854987356498192729600436891904507611740588411251862401153760100013231712859063067953864000*y^13 - 268809057782483412777532714068721738217973801977119932264125387275786126348120725626330560487593741278972377401/18943867604497136737215521209336416009830067851421264163239253166904025959602250297713539328919028961940000*y^12 - 2822604431446446348017171004934236356312103409613788066208916959784500089608296893610290592076284357678037004817/113663205626982820423293127256018496058980407108527584979435519001424155757613501786281235973514173771640000*y^11 - 58942368355153763070090484012036809543761189190515243140676106762337798517670711301879959948471351172247092741/7103950351686426276455820453501156003686275444282974061214719937589009734850843861642577248344635860727500*y^10 + 43032664566669530436835203153036749378958154721850597863179501689860957319254719190265342165249257441260462381/56831602813491410211646563628009248029490203554263792489717759500712077878806750893140617986757086885820000*y^9 - 1267279634787040289266573536267373465633288996888863963442416090786338712168566016970961654513582548581690875161/113663205626982820423293127256018496058980407108527584979435519001424155757613501786281235973514173771640000*y^8 - 964362348064434530647288209472497552247419869545001175550174401514191912072863662331332468279325473779185200021/113663205626982820423293127256018496058980407108527584979435519001424155757613501786281235973514173771640000*y^7 + 14985763747010767021949370732880162012550652660289355650654184068384264909515932745594128747280446087736963491/12629245069664757824810347472890944006553378567614176108826168777936017306401500198475692885946019307960000*y^6 + 44214979374229612895818900942334700358599815756263197433439599061070521398884308189682414265226893311700314749/18943867604497136737215521209336416009830067851421264163239253166904025959602250297713539328919028961940000*y^5 - 3118432168277572967464349756152488958541773550664614802769444289746479841100212300157054168768174041933690649/37887735208994273474431042418672832019660135702842528326478506333808051919204500595427078657838057923880000*y^4 + 1602734809021159656898217833337444939398172132382170975726319173310951345884176040356200843168336943500495127/11366320562698282042329312725601849605898040710852758497943551900142415575761350178628123597351417377164000*y^3 + 17979423101245943136602380108559395349544082735720272243937190910989625351158641212620445474250417129620494809/28415801406745705105823281814004624014745101777131896244858879750356038939403375446570308993378543442910000*y^2 + 11454455343543919999363177296070863149444812835654810466346610794713498264429754944487472981790470409797424449/37887735208994273474431042418672832019660135702842528326478506333808051919204500595427078657838057923880000*y + 1519472268302154623519917353017204236975716684154553410588854359259153845284590701710919706472981108586443387/18943867604497136737215521209336416009830067851421264163239253166904025959602250297713539328919028961940000 # 4 Loop Invariant 157556948642356849185343090789294515463098371358649126711860050907162099473637589494403706838399775303585791008561065348073155120676297981324771553511993237653427253/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^18 + 302249555814553677587523827374091057123378536011614878563498379926864816543812253899613668080558873472487966739525712918509701215048887526599311575432250796945803431/29893332597412291567833260236891290638353168193919911631553266043268049114447035649367525241747466387133157542974120245452034314097010391203899246401385251200000*y^17 + 16634551598185612462822151855749727760804687009453379879355286354313783762121260684594841435418273152848391403157092172771412885287970904256540205825148752859540958027/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^16 + 56877257364003192653482765943037954996716110099384909087648536379654871951790263702321145612716280831628577496649388224054369728723039480785711979245806003703362182841/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^15 + 112924282897180223577561686605304858086017140902554667639455820746682544668855672825912496088055476096396019464699040209574723887485759689055109205785547474757756813569/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^14 + 11838222768658782794131790806734659287949257493636963836304625016418282477824378862358310501311838866828532462357890980941814158300136441487982295455861352817240631957/17935999558447374940699956142134774383011900916351946978931959625960829468668221389620515145048479832279894525784472147271220588458206234722339547840831150720000*y^13 + 52593578630758853509421540437150939414302563945744204537190663325689599460180856841379129188293805421033812018485920535432238882446470185007111090500900390225129735417/44839998896118437351749890355336935957529752290879867447329899064902073671670553474051287862621199580699736314461180368178051471145515586805848869602077876800000*y^12 + 276123641145764074165260926573024715418977506426021363508067043529861701651294777886177108051301710531917594702788425664264373288448223351626643576479228751447978911007/134519996688355312055249671066010807872589256872639602341989697194706221015011660422153863587863598742099208943383541104534154413436546760417546608806233630400000*y^11 + 92201253497135255545746229583383731311956842560068269893755041224682915331147288077539552612162449736059123648383134460844609017198555667728601778122669719847713073451/134519996688355312055249671066010807872589256872639602341989697194706221015011660422153863587863598742099208943383541104534154413436546760417546608806233630400000*y^10 - 8404928846732981753973849165970514527006390111890247831865604878469142239959238081822776058070701033329827815840326121215051821180415230454783442014383084139295108427/134519996688355312055249671066010807872589256872639602341989697194706221015011660422153863587863598742099208943383541104534154413436546760417546608806233630400000*y^9 + 247949921338795795358023118547015437212241976143967704279829233954664571740095206431672957957980166237592539460360765008942082909797774317637728154519285517060046227987/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^8 + 188640405880352223623100578031051446348823095444019626367383896509682910100499177412237832798895557070918483346919822066699518026094708736628930026297853302378205291657/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^7 - 8799278434862809331137887107328771417825970823753554210808930027693822327046209106457773337002980546082043087054335130890113163461469423295921726593709368049307160991/89679997792236874703499780710673871915059504581759734894659798129804147343341106948102575725242399161399472628922360736356102942291031173611697739204155753600000*y^6 - 17301278113398980933121181801162080426126058402054395148754436729789474125238489902855534594222811333794067788189320383530630906894977774345345333563742252616027885441/89679997792236874703499780710673871915059504581759734894659798129804147343341106948102575725242399161399472628922360736356102942291031173611697739204155753600000*y^5 + 152992451344432562428772128012576060409241688246954722510803897144237126988981974106801796063345526714655588861043032207118412990526979642863831754360636975178929627/22419999448059218675874945177668467978764876145439933723664949532451036835835276737025643931310599790349868157230590184089025735572757793402924434801038938400000*y^4 - 313681099631318277885207439107152050656131011618522368588116254442297278562757753032339881212880685750105939095437093709570539438916187124950911167508352960114955139/26903999337671062411049934213202161574517851374527920468397939438941244203002332084430772717572719748419841788676708220906830882687309352083509321761246726080000*y^3 - 14066683269557814021349167576024578579379278540388945749994620190364040104491876310208243138909419912840203970162033883677286333453024563345960431522605250672714531037/269039993376710624110499342132021615745178513745279204683979394389412442030023320844307727175727197484198417886767082209068308826873093520835093217612467260800000*y^2 - 2241118004638449625591314293060774862073235795344746967107357536522562747418522071084138365578999919605204182061282534008469503346888206357073872420004461430760132333/89679997792236874703499780710673871915059504581759734894659798129804147343341106948102575725242399161399472628922360736356102942291031173611697739204155753600000*y - 297116206854088821847626859249885436069915414120472941202992026944882947115103339796189647660417460610208732280558013600578542356232925630440199982507660432301017079/44839998896118437351749890355336935957529752290879867447329899064902073671670553474051287862621199580699736314461180368178051471145515586805848869602077876800000