# Manifold: Census Knot K7_58 # Number of Tetrahedra: 7 # Number Field x^25 + 12*x^24 - 44*x^23 - 102*x^22 + 572*x^21 - 335*x^20 - 2022*x^19 + 4130*x^18 - 279*x^17 - 8547*x^16 + 10563*x^15 + 1248*x^14 - 14681*x^13 + 12459*x^12 + 2715*x^11 - 11943*x^10 + 6941*x^9 + 2054*x^8 - 4503*x^7 + 1671*x^6 + 614*x^5 - 697*x^4 + 144*x^3 + 57*x^2 - 31*x + 4 # Approximate Field Generator 0.435117688546761 + 0.955407260522668*I # Shape Parameters 202180925970277216136653/93088024628444407722909*y^24 + 2587222736793823888383146/93088024628444407722909*y^23 - 6829803157291354035226939/93088024628444407722909*y^22 - 26045691602935912327865789/93088024628444407722909*y^21 + 94080965028702949150011265/93088024628444407722909*y^20 + 2724655156811045070559147/31029341542814802574303*y^19 - 131193710571255127267142017/31029341542814802574303*y^18 + 499314274647582072509596169/93088024628444407722909*y^17 + 330425161757705149733853190/93088024628444407722909*y^16 - 1362384262957267622310678214/93088024628444407722909*y^15 + 938321991018817347992510011/93088024628444407722909*y^14 + 908597039326667088524393240/93088024628444407722909*y^13 - 274793333101562560333913506/13298289232634915388987*y^12 + 768110256027998146908673753/93088024628444407722909*y^11 + 138660780720658866451561127/13298289232634915388987*y^10 - 1218905930944350151386455078/93088024628444407722909*y^9 + 233325713833780107074780869/93088024628444407722909*y^8 + 436157761021188893672859469/93088024628444407722909*y^7 - 44657404503349151748030268/13298289232634915388987*y^6 + 7663212857179370343812611/93088024628444407722909*y^5 + 10173061497816346892949805/13298289232634915388987*y^4 - 23766959560840444819587323/93088024628444407722909*y^3 - 130950688008270016940615/4047305418628017727083*y^2 + 332245480975940233205572/13298289232634915388987*y - 18707808040423406029988/93088024628444407722909 y 1/4*y^24 + 3*y^23 - 11*y^22 - 51/2*y^21 + 143*y^20 - 335/4*y^19 - 1011/2*y^18 + 2065/2*y^17 - 279/4*y^16 - 8547/4*y^15 + 10563/4*y^14 + 312*y^13 - 14681/4*y^12 + 12459/4*y^11 + 2715/4*y^10 - 11943/4*y^9 + 6941/4*y^8 + 1027/2*y^7 - 4503/4*y^6 + 1671/4*y^5 + 307/2*y^4 - 697/4*y^3 + 36*y^2 + 57/4*y - 27/4 6431923557443352258859976/1954848517197332562181089*y^24 + 83527353494207676283291177/1954848517197332562181089*y^23 - 201729656312423856476073290/1954848517197332562181089*y^22 - 870410324071565397875623132/1954848517197332562181089*y^21 + 2842860916173111751918647650/1954848517197332562181089*y^20 + 272442141590381339943781223/651616172399110854060363*y^19 - 1394415320305671106513500026/217205390799703618020121*y^18 + 13763379683095582157724827746/1954848517197332562181089*y^17 + 13550953084485392862529065029/1954848517197332562181089*y^16 - 42465556276487013378885415208/1954848517197332562181089*y^15 + 23133813500559946306034897051/1954848517197332562181089*y^14 + 35323525761621129186373817869/1954848517197332562181089*y^13 - 8501734372088952309987653729/279264073885333223168727*y^12 + 15797878591670686613972241035/1954848517197332562181089*y^11 + 5358432322965802443309485419/279264073885333223168727*y^10 - 38032608142411060962551113564/1954848517197332562181089*y^9 + 2543957888191727147928056162/1954848517197332562181089*y^8 + 17315777772578463131747925983/1954848517197332562181089*y^7 - 209546609184679115101920719/39894867697904746166961*y^6 - 894144815307150923556747919/1954848517197332562181089*y^5 + 447892179333877723430304785/279264073885333223168727*y^4 - 962100662319782993421908050/1954848517197332562181089*y^3 - 8271689892547305536970136/84993413791188372268743*y^2 + 21862385645722622252280599/279264073885333223168727*y - 21277149168913494050813020/1954848517197332562181089 411439801163490366660502/279264073885333223168727*y^24 + 4930766527751723817744497/279264073885333223168727*y^23 - 18407913295723678859510416/279264073885333223168727*y^22 - 44736991334215873048081109/279264073885333223168727*y^21 + 241584469750342077906108973/279264073885333223168727*y^20 - 35827095552640273915317002/93088024628444407722909*y^19 - 101494307624065664783802384/31029341542814802574303*y^18 + 1634437003837545158834740187/279264073885333223168727*y^17 + 276336514707560423923001827/279264073885333223168727*y^16 - 3772585837518898740569762164/279264073885333223168727*y^15 + 3714465549949329079358094916/279264073885333223168727*y^14 + 1647597003252494826456357110/279264073885333223168727*y^13 - 876767265457779961916803225/39894867697904746166961*y^12 + 3697079422786660781665380421/279264073885333223168727*y^11 + 347304861299097363553151318/39894867697904746166961*y^10 - 4549406212966559025680594321/279264073885333223168727*y^9 + 1514423932876757981562538081/279264073885333223168727*y^8 + 1461683683740588802136666113/279264073885333223168727*y^7 - 205326818209878074232367012/39894867697904746166961*y^6 + 170578685052418590038796739/279264073885333223168727*y^5 + 47989758253872978523014718/39894867697904746166961*y^4 - 158750548403018523996098672/279264073885333223168727*y^3 - 357388940678683994452076/12141916255884053181249*y^2 + 2872702177256226159990982/39894867697904746166961*y - 3125721852237922741248737/279264073885333223168727 14958456157642429883371/4432763077544971796329*y^24 + 190477533125009025304677/4432763077544971796329*y^23 - 518318063729773266405812/4432763077544971796329*y^22 - 1907449954496489495807807/4432763077544971796329*y^21 + 7121396926823352071254360/4432763077544971796329*y^20 + 279084432047969624223650/4432763077544971796329*y^19 - 29677816256528328693441387/4432763077544971796329*y^18 + 38946791138900276597993088/4432763077544971796329*y^17 + 24043068358282398373852222/4432763077544971796329*y^16 - 105591950502667833048534684/4432763077544971796329*y^15 + 75305057088516416543696927/4432763077544971796329*y^14 + 69852464807650354406975746/4432763077544971796329*y^13 - 153651193058226972354651385/4432763077544971796329*y^12 + 63678082885402919554751644/4432763077544971796329*y^11 + 78346124087106402268913482/4432763077544971796329*y^10 - 101579163351163866980804527/4432763077544971796329*y^9 + 20339192379186905226592864/4432763077544971796329*y^8 + 37673811415829786556431366/4432763077544971796329*y^7 - 27979352118841087616143966/4432763077544971796329*y^6 + 759222842409296334635281/4432763077544971796329*y^5 + 6908858810425503382221062/4432763077544971796329*y^4 - 2495246950194887924722035/4432763077544971796329*y^3 - 13507199455512588767709/192728829458477034623*y^2 + 308117407490050759769678/4432763077544971796329*y - 23380887611442708176488/4432763077544971796329 156899508541582356964537/35462104620359774370632*y^24 + 243640065235645911444974/4432763077544971796329*y^23 - 1510387627566162357336923/8865526155089943592658*y^22 - 9031070696895978259991983/17731052310179887185316*y^21 + 20235528703577812917713103/8865526155089943592658*y^20 - 23398206070247967747074911/35462104620359774370632*y^19 - 155392343478874085271371437/17731052310179887185316*y^18 + 260321586369081757207873541/17731052310179887185316*y^17 + 106588972209547910104184601/35462104620359774370632*y^16 - 1216234422391406336729699951/35462104620359774370632*y^15 + 1207808012449098984016897079/35462104620359774370632*y^14 + 120193147693703646779097455/8865526155089943592658*y^13 - 1958305673189614525059004033/35462104620359774370632*y^12 + 1280574126681099817382463359/35462104620359774370632*y^11 + 668037788742289524023224327/35462104620359774370632*y^10 - 1478135100133339011635538707/35462104620359774370632*y^9 + 607920608371029476306368353/35462104620359774370632*y^8 + 202059085095521532071522361/17731052310179887185316*y^7 - 498976986566644307918231815/35462104620359774370632*y^6 + 104985592475404039611551035/35462104620359774370632*y^5 + 50392936902903797973326705/17731052310179887185316*y^4 - 63207283525432659318735377/35462104620359774370632*y^3 + 26345802489154103294147/385457658916954069246*y^2 + 7586005090393694268233065/35462104620359774370632*y - 1703015997683920700199395/35462104620359774370632 # A Gluing Matrix {{0,-2,0,0,0,0,-2},{-2,-4,1,1,0,0,-4},{0,1,1,0,0,0,0},{0,2,0,0,0,1,0},{0,0,0,0,0,0,2},{0,0,0,1,0,1,0},{-2,-4,0,0,2,0,-4}} # 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,2,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {-2, -4, 1, 2, 2, 2, -4} # f Combinatorial flattening {1, 1, 0, 2, 3, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 2, 0, -4} # 1 Loop Invariant -1605943836538412735071839/8865526155089943592658*y^24 - 9965612815733913181860188/4432763077544971796329*y^23 + 31332641891674310006470573/4432763077544971796329*y^22 + 95909204748117932944176842/4432763077544971796329*y^21 - 424494395064182916202817307/4432763077544971796329*y^20 + 172841287391436255798741463/8865526155089943592658*y^19 + 1716393362018482848411334765/4432763077544971796329*y^18 - 2663983629829248865666063819/4432763077544971796329*y^17 - 2079641940727015080708328617/8865526155089943592658*y^16 + 13770857597485821479764356819/8865526155089943592658*y^15 - 11710588805306817265266029461/8865526155089943592658*y^14 - 4107065335618637458877080996/4432763077544971796329*y^13 + 22664638342110269508961614247/8865526155089943592658*y^12 - 11457556457470409568355321967/8865526155089943592658*y^11 - 11345559582522434994112390025/8865526155089943592658*y^10 + 17587330441341231919923790563/8865526155089943592658*y^9 - 4682279973629025369559908305/8865526155089943592658*y^8 - 3456067325583432333946904871/4432763077544971796329*y^7 + 6187879436256859181180229875/8865526155089943592658*y^6 - 520171125216440861078728981/8865526155089943592658*y^5 - 868523195732155815186737402/4432763077544971796329*y^4 + 852405078845507216981137981/8865526155089943592658*y^3 + 791591977837826399003633/192728829458477034623*y^2 - 134527293238094962597046169/8865526155089943592658*y + 30238046022362311842622323/8865526155089943592658 # 2 Loop Invariant 80882397989508759280056320297202889293270717400511805146931105889184547202065009211887752974926466943/721748938457894172211063789639536409887953702353317438248795561917310295239973309782462192063014189563*y^24 + 17566465832354456855737508653288834378675386222591916732309237503088417679201247176266319990487023645425/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^23 - 9836767539752678007156245551482948073478717021702460848448006041845466407077160081003682595311080713117/3849327671775435585125673544744194186069086412551026337326909663558988241279857652173131691002742344336*y^22 - 182407476567960988393701121462343077247577116434994787275170369725958105615954759615639947143320980625543/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^21 + 445181451581085689825671328396591569194803066604055998084493493065646040195079189521075261199936001147051/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^20 + 323126856638922402138193060631965133121489939516059022365016913656813855588140997971755632833812686360259/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^19 - 128041320685402588237025609210240340173934952958783069881287374510850628116748499723146518716329658665219/721748938457894172211063789639536409887953702353317438248795561917310295239973309782462192063014189563*y^18 + 2355315108943139313365812773635001695664321710935050692612664765095839684492494013206824763998922161203/15994436309316214342627452401984186368708115287608142675873585859663386044099131518724923923834109464*y^17 + 1227572280741503460501844570866292032580898549449912184239834353084369677198620825250926098581178228742213/5773991507663153377688510317116291279103629618826539505990364495338482361919786478259697536504113516504*y^16 - 1944465380635641989924925447075755042724383341859988237019824341670883557094003250327647016947968389361085/3849327671775435585125673544744194186069086412551026337326909663558988241279857652173131691002742344336*y^15 + 321682320973126640092186409165256337958292591180392868472682986001564859318097219665193734476441725321309/1443497876915788344422127579279072819775907404706634876497591123834620590479946619564924384126028379126*y^14 + 4712226804149490560333961752071974576368464698926992554413495662192841943873691481849358352258312336172893/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^13 - 7085301178025693884403316473055432504443429843344708920598361833655905680670383410884557889305339253822343/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^12 + 324643452649411082180672647633380569428911232232868727586608264034347653312381485947575954561099146793803/1924663835887717792562836772372097093034543206275513168663454831779494120639928826086565845501371172168*y^11 + 3666869719227231869909048663419611000851736998584957922536359696311400590196941528228395707147409794528583/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^10 - 487661157797482813659152252445276910414368354785303197153539567677439905664034572166356727078132808747309/1443497876915788344422127579279072819775907404706634876497591123834620590479946619564924384126028379126*y^9 + 276980033194671269561064499149224848799252852903820464677509539335238514979749254508861539351195365127419/3849327671775435585125673544744194186069086412551026337326909663558988241279857652173131691002742344336*y^8 + 91370695797976782376427226628782452054910391926909981350692132348482547799872375446708822117629112066353/962331917943858896281418386186048546517271603137756584331727415889747060319964413043282922750685586084*y^7 - 156648490066790423451795988301228027376925894983332242037820604021104575099666267556493585207176554057251/1924663835887717792562836772372097093034543206275513168663454831779494120639928826086565845501371172168*y^6 + 215943406204188441807222327840391587126539498952875432840572466258651447823849200182634446956068280523951/11547983015326306755377020634232582558207259237653079011980728990676964723839572956519395073008227033008*y^5 + 18410143011649612284738592440481154055774806924681542611652716258743026303117709403235313950243509975419/1924663835887717792562836772372097093034543206275513168663454831779494120639928826086565845501371172168*y^4 - 15046655738596890244793236157512782968057959999459899309283450676727892457717150950400682613527899019395/1924663835887717792562836772372097093034543206275513168663454831779494120639928826086565845501371172168*y^3 + 52541414905234863929035064853642067525097200360585012604185106316141199711015196566506631124955273235/26425590424087658479123617011973873130909060040396061812312880985530811725033347726589004743725919984*y^2 + 138892194847443558482558125479377263175313861438027696957303728082211567379965755309929607710974902799/202596193251338715006614397091799694003636126976369807227732087555736223225255665903849036368565386544*y - 862086179613968710404281303509588264498378208644692982954233580085160839409656464945414843733910220395/1924663835887717792562836772372097093034543206275513168663454831779494120639928826086565845501371172168 # 3 Loop Invariant 26066678526091772354522181429544343213020014951837379934366582267453583672053955155698289549408723578562187401045583241254976506289992754068433/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^24 + 43145096244814696048607336733506132044343743284126932553648297178832096441851249389202711065612270041369507497860130752664860761980998864587103/14179146044292922969558714508545679010678490769234305836388639262057471174204651076369467374524094859891851158574768992153355959671068705954376*y^23 - 728706042596845241663920618696803098897252352366633743097247807671006050367432347393203518286338117859465576144504653588202195792837221854967827/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^22 - 462282506020607525151851576530896451301106428018594068493068088729546512408633243834672349417941591055121568717052024706383442260811428497639807/14179146044292922969558714508545679010678490769234305836388639262057471174204651076369467374524094859891851158574768992153355959671068705954376*y^21 + 10618282469057953891904824047387422240476593791867540024517972481476413421123109276576950253081781834544663170248489263273845147615300406649109763/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^20 + 5817233955982564405181609376777992268272325711480885751865375138833322183853652807343665675739957827577336321498309660596145026600646723165447027/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^19 - 49715379193671409936059764066234954708149906200768394407216831305147948908166969438444398252919881575292262050255183135807560290589706027213676621/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^18 + 44702043334816767618175164536430545805126716842136192141976168606729968057748111817286344833711953388106447492661664490858740448844274095857855751/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^17 + 33135421805823127525858179458820345481403170974084672504007952272188379564884121885366775637745405601619648442675172645665453153515973474921577325/56716584177171691878234858034182716042713963076937223345554557048229884696818604305477869498096379439567404634299075968613423838684274823817504*y^16 - 80406852657309221152373743780145040137211275333450167896639041207305894724145115941262696649718081737848459130146202127258232294187429464500541701/56716584177171691878234858034182716042713963076937223345554557048229884696818604305477869498096379439567404634299075968613423838684274823817504*y^15 + 59282908983294566900791305615763217751709936357168926194356920951936971801406079117275885601216723174125320578509342617785337185751880052130693199/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^14 + 81671519085536068409316262666268848211019799272698954490866656476799358437233793291161264017269822459781723133564428386778383823747252072088790701/56716584177171691878234858034182716042713963076937223345554557048229884696818604305477869498096379439567404634299075968613423838684274823817504*y^13 - 108421404438282170324703374960900775580467352087412793104953911225389052711899836074488889423144137582833753321096910584003649773640446412533516761/56716584177171691878234858034182716042713963076937223345554557048229884696818604305477869498096379439567404634299075968613423838684274823817504*y^12 + 18746811265128944628024261458378072321686384513178985004216703064587549515498550943111343890633452028785455299266732186321656852268425588458679025/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^11 + 169192973081618037488111864429017976108951534840960403495839032006131223051713913920355827793641130284284328641736789292171991987167156121923059065/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^10 - 2076547051167233209043821364290002665415276295590015685550071675478380414915966377383971465031539609876129767395838961398156410408589614909635010/1772393255536615371194839313568209876334811346154288229548579907757183896775581384546183421815511857486481394821846124019169494958883588244297*y^9 - 4114045673800592475131442647722462331309318940254324077538358161769722929388062275093736832666786462878118610134830236744683084543069612550502507/28358292088585845939117429017091358021356981538468611672777278524114942348409302152738934749048189719783702317149537984306711919342137411908752*y^8 + 9621886172207616692534254782946046628606227899072126972122890198725439531281839507015940154258689938656952021016501784673701526119614093256993895/14179146044292922969558714508545679010678490769234305836388639262057471174204651076369467374524094859891851158574768992153355959671068705954376*y^7 - 34255111835344631080910658215484132138968054699762950442221042789835448124970130235116337116182380713635841786292838957325806551650703210167094293/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^6 - 9940177840483749577522389330994040381162457628378199045718361351310052011540511175972827124209299749053681406364813813280746620568585989952569813/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^5 + 13825296682925526390930605277927895027759033333359420471073724736430322313990728018744311461554185510074866797418875650220178533704796059404824713/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y^4 - 1560718238108641413356165007594104341494366552257572641084631001608145721738570339889340026464922276480140726857092315858013364502344521474166929/56716584177171691878234858034182716042713963076937223345554557048229884696818604305477869498096379439567404634299075968613423838684274823817504*y^3 - 50769029925128237026231306477817152545565748828894713678273452777974231672080915162231407816629395231249144166325527131810287887074705096977139/4931876884971451467672596350798497047192518528429323769178657134628685625810313417867640825921424299092817794286876171183775985972545636853696*y^2 + 679877981407825299214447492241445046853839267832168492106187839478353033064713311136432264915307160859130295091006722600341962150280505502473235/113433168354343383756469716068365432085427926153874446691109114096459769393637208610955738996192758879134809268598151937226847677368549647635008*y - 22558133449387982914417396532947306251257272645871162036631139745696337545118663091365157370492341994202780442786159380451491234222424666247541/28358292088585845939117429017091358021356981538468611672777278524114942348409302152738934749048189719783702317149537984306711919342137411908752