# Manifold: Census Knot K6_35 # Number of Tetrahedra: 6 # Number Field x^21 - 5*x^20 - 104/3*x^19 + 134*x^18 + 1396/3*x^17 - 1072*x^16 - 10223/3*x^15 + 2814*x^14 + 39329/3*x^13 + 7615/3*x^12 - 64253/3*x^11 - 19541*x^10 + 2616*x^9 + 26639/3*x^8 + 1112*x^7 - 4958/3*x^6 - 560/3*x^5 + 472/3*x^4 - 31/3*x^3 - 11/3*x^2 + 2*x - 1/3 # Approximate Field Generator -1.00807246493847 + 0.335973538614320*I # Shape Parameters -110717029471350642512997745871319/7547660868624030199443991189684*y^20 + 468132386451153533230749878477211/7547660868624030199443991189684*y^19 + 1070591096694011142715725298910909/1886915217156007549860997797421*y^18 - 11988460454476850015118033464284755/7547660868624030199443991189684*y^17 - 15846630121236211926374180178640318/1886915217156007549860997797421*y^16 + 41060489546794735133946326610905437/3773830434312015099721995594842*y^15 + 118032993164321164371987916639669801/1886915217156007549860997797421*y^14 - 49366239945029257241799352559782265/7547660868624030199443991189684*y^13 - 427687320766747505330652992153962700/1886915217156007549860997797421*y^12 - 319495772061548044800846814830411399/1886915217156007549860997797421*y^11 + 2247173417382372629728373915378154819/7547660868624030199443991189684*y^10 + 3737684472950624584375148806557379095/7547660868624030199443991189684*y^9 + 279852354902790900260161987218148582/1886915217156007549860997797421*y^8 - 502739706784459626528134427375530633/3773830434312015099721995594842*y^7 - 293918798192076956568749308980360261/3773830434312015099721995594842*y^6 + 39318840711012264636047649317434741/3773830434312015099721995594842*y^5 + 34057782200449004406347422318846289/3773830434312015099721995594842*y^4 - 1636221645330365669661121375087132/1886915217156007549860997797421*y^3 - 670490134694981918276345153726939/7547660868624030199443991189684*y^2 + 573784666819747381082717612807319/7547660868624030199443991189684*y - 96965667830698314389896594623789/3773830434312015099721995594842 -29580871562501054195251687598430/1886915217156007549860997797421*y^20 + 149842418838638790386252893435740/1886915217156007549860997797421*y^19 + 1005855360072598561814997358806223/1886915217156007549860997797421*y^18 - 3975490688457819074461331248291000/1886915217156007549860997797421*y^17 - 13196627641789403714203771548662432/1886915217156007549860997797421*y^16 + 31111872032061354093161661889187969/1886915217156007549860997797421*y^15 + 95073226042040939728466293821326689/1886915217156007549860997797421*y^14 - 77382464512854761367026864073458024/1886915217156007549860997797421*y^13 - 356826466934111433168244735964486552/1886915217156007549860997797421*y^12 - 89903054276667781473939791525352717/1886915217156007549860997797421*y^11 + 538519742592480035326497831886529727/1886915217156007549860997797421*y^10 + 561701568683885206892411661195617502/1886915217156007549860997797421*y^9 + 58135135465766244924405152529811143/1886915217156007549860997797421*y^8 - 162357094412537330524969304034442245/1886915217156007549860997797421*y^7 - 57031837714500633554489905343716856/1886915217156007549860997797421*y^6 + 12482749488251996219645686291749333/1886915217156007549860997797421*y^5 + 5816200234302202387649016984250677/1886915217156007549860997797421*y^4 - 382683213230735731704259503389496/1886915217156007549860997797421*y^3 + 490363152036358180662759594618/1886915217156007549860997797421*y^2 + 31654978856293739316979000797430/1886915217156007549860997797421*y - 16869944497972510625763087978794/1886915217156007549860997797421 46572449652374730027015887253933/3773830434312015099721995594842*y^20 - 258398920721757132566661977611593/3773830434312015099721995594842*y^19 - 731389839227964780470546912220017/1886915217156007549860997797421*y^18 + 6984963168094164549963119316843335/3773830434312015099721995594842*y^17 + 8768846159155648323501348566460483/1886915217156007549860997797421*y^16 - 28984973459358926295231683234685302/1886915217156007549860997797421*y^15 - 61722625476832607973527401697793540/1886915217156007549860997797421*y^14 + 185456443750267347199777953933522261/3773830434312015099721995594842*y^13 + 242402805168646541831347007724197724/1886915217156007549860997797421*y^12 - 51065145172138807107143773353628300/1886915217156007549860997797421*y^11 - 845073779701242156623895853688059355/3773830434312015099721995594842*y^10 - 490076436972450880426856453893497857/3773830434312015099721995594842*y^9 + 106280981971955157950144758520621975/1886915217156007549860997797421*y^8 + 113898149885376682763344708308090564/1886915217156007549860997797421*y^7 - 2834554010811587794644235873829662/1886915217156007549860997797421*y^6 - 16152542741222350566773305604562496/1886915217156007549860997797421*y^5 - 248797536341130571550343875849767/1886915217156007549860997797421*y^4 + 503719235828665177879067541964203/1886915217156007549860997797421*y^3 - 169855019245573314110632244679605/3773830434312015099721995594842*y^2 + 52432427685734065004764777135381/3773830434312015099721995594842*y + 6284903189590351377389730451987/1886915217156007549860997797421 -37157739224858194780749777618543/1886915217156007549860997797421*y^20 + 181259830159233541205750430397692/1886915217156007549860997797421*y^19 + 1303953175854525733023025733780992/1886915217156007549860997797421*y^18 - 4785030534257899209450776844372086/1886915217156007549860997797421*y^17 - 17679479411320616225396627852359439/1886915217156007549860997797421*y^16 + 36729127875310095494315529597989017/1886915217156007549860997797421*y^15 + 128805982007339113379693532002751687/1886915217156007549860997797421*y^14 - 81004410702153121179155233840893233/1886915217156007549860997797421*y^13 - 480987317519648191531830238873482006/1886915217156007549860997797421*y^12 - 178177043939829869454930881876725906/1886915217156007549860997797421*y^11 + 711349673143407457994928021362331816/1886915217156007549860997797421*y^10 + 828052457069911412026941942209201004/1886915217156007549860997797421*y^9 + 112428624569420011465543435709077300/1886915217156007549860997797421*y^8 - 255025570796682608743534403007264341/1886915217156007549860997797421*y^7 - 97376358896404023181258292698384178/1886915217156007549860997797421*y^6 + 24516527710098361029557665135207572/1886915217156007549860997797421*y^5 + 11422643566647677290563391365230609/1886915217156007549860997797421*y^4 - 1397780196305569190421750023270108/1886915217156007549860997797421*y^3 - 50427483220000746297633080801818/1886915217156007549860997797421*y^2 + 77898883124829777025785084197042/1886915217156007549860997797421*y - 34567435807137748582233241554566/1886915217156007549860997797421 34822369201894291511996117962251/1886915217156007549860997797421*y^20 - 228943062898995970289538028592409/1886915217156007549860997797421*y^19 - 894346476880268417363159901161885/1886915217156007549860997797421*y^18 + 6338462529488704674570334644251731/1886915217156007549860997797421*y^17 + 7720943725365460777927276570732230/1886915217156007549860997797421*y^16 - 56612547562698137735904684808885443/1886915217156007549860997797421*y^15 - 47464679710394525497823939010032936/1886915217156007549860997797421*y^14 + 231638144875599574872716719756616243/1886915217156007549860997797421*y^13 + 217708545787138861809007800104381898/1886915217156007549860997797421*y^12 - 441070294549186375720961115405876811/1886915217156007549860997797421*y^11 - 542395317840931044732904893229253171/1886915217156007549860997797421*y^10 + 268869705289514399786697097414138160/1886915217156007549860997797421*y^9 + 508267863850496629223497026491145742/1886915217156007549860997797421*y^8 + 10769218345636504955054757948554137/1886915217156007549860997797421*y^7 - 153602007082702947750875826737500073/1886915217156007549860997797421*y^6 - 11018836286440203336888324579189089/1886915217156007549860997797421*y^5 + 18955733275754767057198449333587359/1886915217156007549860997797421*y^4 - 1251518781767434369225718031139504/1886915217156007549860997797421*y^3 - 491738878688233630623942541581616/1886915217156007549860997797421*y^2 + 241284812568075946425734499048218/1886915217156007549860997797421*y - 47225823786682777168833275161869/1886915217156007549860997797421 -5251642545900065442690305759388/1886915217156007549860997797421*y^20 + 33161395541593560593440401929511/1886915217156007549860997797421*y^19 + 144164273385167332011595870677010/1886915217156007549860997797421*y^18 - 923614811191909539968086863602044/1886915217156007549860997797421*y^17 - 1415750550217862269376484191341484/1886915217156007549860997797421*y^16 + 8309695828865617778938553317034811/1886915217156007549860997797421*y^15 + 9308032080309336021960960489784442/1886915217156007549860997797421*y^14 - 33720366785491092302097334852494993/1886915217156007549860997797421*y^13 - 41161696258336609181231666919297138/1886915217156007549860997797421*y^12 + 60888032073752878330079889237142648/1886915217156007549860997797421*y^11 + 96609051738540165982419607725945041/1886915217156007549860997797421*y^10 - 26961428686716430187751366947986012/1886915217156007549860997797421*y^9 - 84851848678696444363128039611152341/1886915217156007549860997797421*y^8 - 11011958271881672232254822340367470/1886915217156007549860997797421*y^7 + 24789780494771193828027760769889763/1886915217156007549860997797421*y^6 + 3642980931090580802763401504363705/1886915217156007549860997797421*y^5 - 3180279993610440817944576146013072/1886915217156007549860997797421*y^4 + 129442802064451441598578234037891/1886915217156007549860997797421*y^3 + 93814223068844856324824553839350/1886915217156007549860997797421*y^2 - 43896708165647354991070192440363/1886915217156007549860997797421*y + 7187535847387221362575344726626/1886915217156007549860997797421 # A Gluing Matrix {{3,2,-2,0,-4,4},{2,1,-1,0,-2,2},{2,1,0,-2,-4,4},{4,2,-2,-2,-6,6},{0,0,0,-2,-1,2},{0,0,0,2,2,0}} # B Gluing Matrix {{1,0,0,2,0,0},{0,1,0,1,0,0},{0,0,1,2,0,0},{0,0,0,3,0,0},{0,0,0,0,1,0},{0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 0, 0, -1, 2} # f Combinatorial flattening {1, 4, 1, -1, 1, -1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 2} # 1 Loop Invariant 6295759629183665228290226132649255/3773830434312015099721995594842*y^20 - 15051588655938016019753050256828538/1886915217156007549860997797421*y^19 - 112251606555608857809908226295977320/1886915217156007549860997797421*y^18 + 792773273881687452291475025029332763/3773830434312015099721995594842*y^17 + 3092473351948756423290644646767585379/3773830434312015099721995594842*y^16 - 6024391912746979564042425020918510355/3773830434312015099721995594842*y^15 - 22644654033539052410375935658135591865/3773830434312015099721995594842*y^14 + 6179712152944039269036421878893941352/1886915217156007549860997797421*y^13 + 42176498817744047311256745125666146338/1886915217156007549860997797421*y^12 + 17865987131764936072624245009631622633/1886915217156007549860997797421*y^11 - 123583175445520793686593004682797150809/3773830434312015099721995594842*y^10 - 75400732438096896879817407821264128595/1886915217156007549860997797421*y^9 - 11235143502843092633324480031853641312/1886915217156007549860997797421*y^8 + 23830864765967501025973943520742599403/1886915217156007549860997797421*y^7 + 9467330986531975590527601994459381839/1886915217156007549860997797421*y^6 - 2416910369078582929154562580284497525/1886915217156007549860997797421*y^5 - 1177172591912874066418544202671767281/1886915217156007549860997797421*y^4 + 145360009385629317042456474489504386/1886915217156007549860997797421*y^3 + 16541637060269242524465673898818255/3773830434312015099721995594842*y^2 - 8131620697883091065807214991292980/1886915217156007549860997797421*y + 3628290011200757139448033781988292/1886915217156007549860997797421 # 2 Loop Invariant -145659867503254927979656631497652209559867213129016006084575787890628669005583478944530524748254251/84412296987353079242133843224241136160082232804441801415316474991420844207644625309198252260698064*y^20 + 714190272954780927537263824603511041436533901762485428869319796435623202046027963828201055938609203/84412296987353079242133843224241136160082232804441801415316474991420844207644625309198252260698064*y^19 + 5083662727935623280093115633675469759124049444477105783215612413112514779727778378170470023298971017/84412296987353079242133843224241136160082232804441801415316474991420844207644625309198252260698064*y^18 - 56489811040498311342073210712711733307817634379254367463056953327342772660617958594051448563697202311/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^17 - 102772007420859044017605710903033743612150220981993889734883851545232395460339077287963517439809681193/126618445481029618863200764836361704240123349206662702122974712487131266311466937963797378391047096*y^16 + 432661175930560998833751569322534797749110114602851256555615406687174893065594872517991613928678906861/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^15 + 1492342131989166766388080047888306455691062466841948890285583029046080638347570288429693959849109981789/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^14 - 953749977725277966391991989360388606950111247200171788310053619139990747589217464728797516942905869807/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^13 - 1387751749990194508694542573900816621955746363149686261322508689826736764773045862188056739812458504733/63309222740514809431600382418180852120061674603331351061487356243565633155733468981898689195523548*y^12 - 2067433017214925161695100294090346237128063268377753731135077148048342402463478738311126050466734933871/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^11 + 4051431992044825983951237774875836527699217907072411207380152191173440040266492588175890150944481489031/126618445481029618863200764836361704240123349206662702122974712487131266311466937963797378391047096*y^10 + 3189992688777662313814819668013013471541702679468642377786333452878748976797804790524570044399642266435/84412296987353079242133843224241136160082232804441801415316474991420844207644625309198252260698064*y^9 + 1602840615673778444143362346076251526848174804280577199947454886490786415114846638352887156150670709293/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^8 - 2685961026843715195680244781439686513888039192984541294618540235651656459570381396355994000078846863825/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^7 - 285696541201937302930673920178208697279279882808913027820330544007681298052551514702504170113875315029/63309222740514809431600382418180852120061674603331351061487356243565633155733468981898689195523548*y^6 + 202913036019121548174829017467736344497580665413065285798308853144104953269739195715788945260622893837/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^5 + 40823678607287520133062279010027019034058027079299967173938427500862086457779403352275654696916974665/84412296987353079242133843224241136160082232804441801415316474991420844207644625309198252260698064*y^4 - 593067578547752813804831517543759280271344141810688426881353123473535026035633328848403526314930777/15827305685128702357900095604545213030015418650832837765371839060891408288933367245474672298880887*y^3 - 541394569405061495582426206337886883420441664111359004404401886787029625033291213973363715774161137/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y^2 + 852244979849623681107490348416281111681386278068302165471534079342860205770461306053483794966686899/253236890962059237726401529672723408480246698413325404245949424974262532622933875927594756782094192*y - 137118860684702147359643608259285515787756395801244098380771600630432909836250100313945204987432017/126618445481029618863200764836361704240123349206662702122974712487131266311466937963797378391047096 # 3 Loop Invariant -28911395038288284493600656252758945323518211459490827226201184680895324151129187056927207280833555765349138040118031235113297187315/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^20 + 16558557988349723113471259981638344390022092049595732559108180448519413233556603820865161149774904708625770376049800100865801799853/70573620364781644284389494448755017438335879396286726967504899987838955672318671374645635986693616553101446680611899879575978146776*y^19 + 530246506081204130211571662624459904952447889723052800013816070136041034444804033370925115445651046813425433600726722544146518797033/282294481459126577137557977795020069753343517585146907870019599951355822689274685498582543946774466212405786722447599518303912587104*y^18 - 53838438993132131599333518974016499334278547772048659446590263094462649762092569483954517635136759608655206109974711795243374995448/8821702545597705535548686806094377179791984924535840870938112498479869459039833921830704498336702069137680835076487484946997268347*y^17 - 3747030077072678880876840868593142458617083192693263140594122076969279963442895548351523252694018134632041322907078024362043316754651/141147240729563288568778988897510034876671758792573453935009799975677911344637342749291271973387233106202893361223799759151956293552*y^16 + 25127100471789843611458686172857717074971180803406081142244278530093849397966592742241312380551649439015430220443066330508139832690965/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^15 + 110224734557640801302471146145403507427496813566706899026483701408826686375204690420641930346528562365528503365637145531689842993933717/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^14 - 19256668492097966721857650608139057364827848140137506596277702970310402143762177812912923760138055677820942407958557456891836196573147/282294481459126577137557977795020069753343517585146907870019599951355822689274685498582543946774466212405786722447599518303912587104*y^13 - 403736736342378335779040096853305362149322492553065608009684928821553045963331354840450159472780081390788430737352597921385688910747533/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^12 - 232872932751771104782276861121002483416381586433027988211925226953877124240941468163692420475511396360610345770053253975165819586996217/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^11 + 555061565097462182600827853395136695110717690528947935548526557780960650572593364929536956877458180710729437958628399521710034557090251/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^10 + 399210409469734448696904983071425081160689121061345542485456665085851488644824053616733471604974531329832795036503676135994847099379253/282294481459126577137557977795020069753343517585146907870019599951355822689274685498582543946774466212405786722447599518303912587104*y^9 + 50888722585787497631309053428696391231312408278898995731874872577577799287187985066960071567674541414917270795661161292285284411129191/141147240729563288568778988897510034876671758792573453935009799975677911344637342749291271973387233106202893361223799759151956293552*y^8 - 214259457881307537003541041674511815560758896477784868654772130346942685509807440960407638078183658844999923392159812320410349699055785/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^7 - 114650351709696141081290833267767005266955903400967998400573586059451889150245912905570614422754089388900007268531501433841512569724543/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^6 + 7784209393390881557250539546610592010746055611218632266909791166739687117604988624402351508575623983235602952499520713572540655884453/282294481459126577137557977795020069753343517585146907870019599951355822689274685498582543946774466212405786722447599518303912587104*y^5 + 12756219195958596495683502322582863074674297057609689640768214562156183435720453504163191666474098870560167366304879524229536159428611/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^4 - 562417873004878451523092452504476233020278571400666503869661409859786783886122756566503845785064458569759121541080694689233470369461/282294481459126577137557977795020069753343517585146907870019599951355822689274685498582543946774466212405786722447599518303912587104*y^3 - 99622147176024611652831249296616679950428133519662846113323442984047314207250655189119347851021690311651683420255221819206597966607/564588962918253154275115955590040139506687035170293815740039199902711645378549370997165087893548932424811573444895199036607825174208*y^2 + 12251988003086790029221378671855673671618137323124389473584686361001285988572762766789264496157012442534591130005122148466915328855/70573620364781644284389494448755017438335879396286726967504899987838955672318671374645635986693616553101446680611899879575978146776*y - 5970154737130954839643428043369163112516301855824650034906780301522633261595638666163925308166344885658562308973022597245350378765/141147240729563288568778988897510034876671758792573453935009799975677911344637342749291271973387233106202893361223799759151956293552