# Manifold: Census Knot K7_66 # Number of Tetrahedra: 7 # Number Field x^21 + x^20 - 16*x^19 - 37*x^18 + 77*x^17 + 308*x^16 - 47*x^15 - 1279*x^14 - 1051*x^13 + 2057*x^12 + 2927*x^11 - 1530*x^10 - 2933*x^9 + 1014*x^8 + 1295*x^7 - 276*x^6 - 452*x^5 + 47*x^4 + 97*x^3 - 8*x^2 - 7*x + 1 # Approximate Field Generator 0.510896413603901 - 0.384527550693854*I # Shape Parameters 122663061172833439208106535091/84942950699171587291723605195*y^20 + 136939992134745181674894093244/84942950699171587291723605195*y^19 - 1950105093269480172662209176199/84942950699171587291723605195*y^18 - 530488517870546793900975719011/9438105633241287476858178355*y^17 + 1787091064571394267861304762496/16988590139834317458344721039*y^16 + 39028347526761629769500204443748/84942950699171587291723605195*y^15 - 1235344665643164826361326555088/84942950699171587291723605195*y^14 - 158339670113092558416408940029343/84942950699171587291723605195*y^13 - 903027252569365777938962571470/514805761813161135101355183*y^12 + 21676604752239671209490250595127/7722086427197417026520327745*y^11 + 396597809771878788023453539820903/84942950699171587291723605195*y^10 - 138946878836971389287602872256831/84942950699171587291723605195*y^9 - 390412379650164147475452133017941/84942950699171587291723605195*y^8 + 66127659383397922540192070705536/84942950699171587291723605195*y^7 + 172559626732802566301369814489533/84942950699171587291723605195*y^6 - 5368900973377083322779687967537/84942950699171587291723605195*y^5 - 57881131063286071255933298339123/84942950699171587291723605195*y^4 - 4212199613455548787266765798082/84942950699171587291723605195*y^3 + 11314634169404645345267707881106/84942950699171587291723605195*y^2 + 83075385794331056587182649309/5662863379944772486114907013*y - 577890155227941934212341582987/84942950699171587291723605195 5375844195644400632423722942/1544417285439483405304065549*y^20 + 2202915515538215106670689299/1544417285439483405304065549*y^19 - 88433826807097714362485456294/1544417285439483405304065549*y^18 - 16447392425923398251328617066/171601920604387045033785061*y^17 + 518715215954041981915525489334/1544417285439483405304065549*y^16 + 1393738955388509919710569459882/1544417285439483405304065549*y^15 - 1149407940686007411762130091395/1544417285439483405304065549*y^14 - 6543800487602515520902109675885/1544417285439483405304065549*y^13 - 604628035367858454186481634524/514805761813161135101355183*y^12 + 13467809795398179652398295036508/1544417285439483405304065549*y^11 + 9186311329396361866352204321953/1544417285439483405304065549*y^10 - 15366921121196404606021920415856/1544417285439483405304065549*y^9 - 9904895900522961456642265990948/1544417285439483405304065549*y^8 + 12032132271147270430975762274345/1544417285439483405304065549*y^7 + 2442931027245191669385374758711/1544417285439483405304065549*y^6 - 3458985880254660344461461683309/1544417285439483405304065549*y^5 - 1272746371330554278042915584567/1544417285439483405304065549*y^4 + 1044687081260543020497929570617/1544417285439483405304065549*y^3 + 184997949049891903241641123748/1544417285439483405304065549*y^2 - 51060345317336520103957591844/514805761813161135101355183*y + 19419385121257678927651524230/1544417285439483405304065549 1195208683408838111259873868781/198200218298067037014021745455*y^20 + 2010466328460185721243128083439/198200218298067037014021745455*y^19 - 2545537786172760867619924672597/28314316899723862430574535065*y^18 - 56457415487050283022442385835269/198200218298067037014021745455*y^17 + 10910977384353601752028287331807/39640043659613407402804349091*y^16 + 407996929749886098388828627328348/198200218298067037014021745455*y^15 + 31115322950005611422343473155571/28314316899723862430574535065*y^14 - 1400833547156359988285089054444423/198200218298067037014021745455*y^13 - 40254117895513487449213581373355/3603640332692127945709486281*y^12 + 13346553278964241396344648371086/2574028809065805675506775915*y^11 + 25660333448605487242740522951949/1186827654479443335413303865*y^10 + 332068926337999299021763296377473/66066739432689012338007248485*y^9 - 1006216499143818287329589474667842/66066739432689012338007248485*y^8 - 811631923776001242528913110599554/198200218298067037014021745455*y^7 + 1145545298532434155769564727964853/198200218298067037014021745455*y^6 + 20274118750910138064892073132028/9438105633241287476858178355*y^5 - 100273228379364165667686832132871/66066739432689012338007248485*y^4 - 49761203940189225850025678920939/66066739432689012338007248485*y^3 + 1464250419067525303902435133016/9438105633241287476858178355*y^2 + 2411127565898682843655000900220/39640043659613407402804349091*y - 1915686510515761203136592532907/198200218298067037014021745455 -567444176723801796268494775/1544417285439483405304065549*y^20 + 141913171358150809512511972/1544417285439483405304065549*y^19 + 9755670590842871297851529951/1544417285439483405304065549*y^18 + 3260132702140875649496463926/514805761813161135101355183*y^17 - 69221401466683171289585283104/1544417285439483405304065549*y^16 - 121542883200190416253958422789/1544417285439483405304065549*y^15 + 236086470162286142082799062478/1544417285439483405304065549*y^14 + 693500302144946371982436591857/1544417285439483405304065549*y^13 - 28656304131808942862743243911/171601920604387045033785061*y^12 - 1867896031119781189069403142113/1544417285439483405304065549*y^11 - 366595962816899657696021998003/1544417285439483405304065549*y^10 + 2672640827324622172609164880946/1544417285439483405304065549*y^9 + 741358004190307870452666950452/1544417285439483405304065549*y^8 - 2137963757945662801287914936699/1544417285439483405304065549*y^7 - 38641809506446691842257311740/1544417285439483405304065549*y^6 + 669372988576742774146484144576/1544417285439483405304065549*y^5 + 112725337713055300519214054767/1544417285439483405304065549*y^4 - 213203535030632379970859260276/1544417285439483405304065549*y^3 - 20901001001029938564951262727/1544417285439483405304065549*y^2 + 10030623812960669061928934554/514805761813161135101355183*y - 837323169887655415471215497/1544417285439483405304065549 -567444176723801796268494775/1544417285439483405304065549*y^20 + 141913171358150809512511972/1544417285439483405304065549*y^19 + 9755670590842871297851529951/1544417285439483405304065549*y^18 + 3260132702140875649496463926/514805761813161135101355183*y^17 - 69221401466683171289585283104/1544417285439483405304065549*y^16 - 121542883200190416253958422789/1544417285439483405304065549*y^15 + 236086470162286142082799062478/1544417285439483405304065549*y^14 + 693500302144946371982436591857/1544417285439483405304065549*y^13 - 28656304131808942862743243911/171601920604387045033785061*y^12 - 1867896031119781189069403142113/1544417285439483405304065549*y^11 - 366595962816899657696021998003/1544417285439483405304065549*y^10 + 2672640827324622172609164880946/1544417285439483405304065549*y^9 + 741358004190307870452666950452/1544417285439483405304065549*y^8 - 2137963757945662801287914936699/1544417285439483405304065549*y^7 - 38641809506446691842257311740/1544417285439483405304065549*y^6 + 669372988576742774146484144576/1544417285439483405304065549*y^5 + 112725337713055300519214054767/1544417285439483405304065549*y^4 - 213203535030632379970859260276/1544417285439483405304065549*y^3 - 20901001001029938564951262727/1544417285439483405304065549*y^2 + 10030623812960669061928934554/514805761813161135101355183*y - 837323169887655415471215497/1544417285439483405304065549 5051315480341259712903506653/171601920604387045033785061*y^20 + 19000837261162682276279432519/514805761813161135101355183*y^19 - 79231297751843993357356208323/171601920604387045033785061*y^18 - 621072836105839216423552286644/514805761813161135101355183*y^17 + 1010073969884756754830336083949/514805761813161135101355183*y^16 + 1641855504091546585466309513747/171601920604387045033785061*y^15 + 533382880413269432651705673074/514805761813161135101355183*y^14 - 6420641212710742681484175275916/171601920604387045033785061*y^13 - 20809224634167427425091196268109/514805761813161135101355183*y^12 + 25957499088095853563659657265111/514805761813161135101355183*y^11 + 16994269771863347407368764753443/171601920604387045033785061*y^10 - 10369460600381242359588090192253/514805761813161135101355183*y^9 - 47209384761693028995326894876897/514805761813161135101355183*y^8 + 3499324399992930615358490531948/514805761813161135101355183*y^7 + 6883147216232059814490327107515/171601920604387045033785061*y^6 + 980588544270156150473500526582/514805761813161135101355183*y^5 - 6648972528611056886366886455402/514805761813161135101355183*y^4 - 957411035287075772156674902484/514805761813161135101355183*y^3 + 1245455033759330297379829350382/514805761813161135101355183*y^2 + 190858408057129012269391795946/514805761813161135101355183*y - 60451992652290931447144656436/514805761813161135101355183 121843523991808634134629345289/10810920998076383837128458843*y^20 + 196954083495103383794744759918/10810920998076383837128458843*y^19 - 260922077376247349642525462960/1544417285439483405304065549*y^18 - 625777391310557912242275314225/1201213444230709315236495427*y^17 + 5885063956389577210200779264486/10810920998076383837128458843*y^16 + 41088086653878707022788610259888/10810920998076383837128458843*y^15 + 2814421301712192387419577664682/1544417285439483405304065549*y^14 - 143175802881872036459211801929564/10810920998076383837128458843*y^13 - 72070406048625177605742818777203/3603640332692127945709486281*y^12 + 16487763741447842290871659542095/1544417285439483405304065549*y^11 + 425488257921030545808004272142972/10810920998076383837128458843*y^10 + 78069262244825844644157642898702/10810920998076383837128458843*y^9 - 304284745467528087547334696910610/10810920998076383837128458843*y^8 - 64442942242641174232199527757419/10810920998076383837128458843*y^7 + 114254641573799435143707886375780/10810920998076383837128458843*y^6 + 5299385786367497548722664843342/1544417285439483405304065549*y^5 - 30876914657696487516062402916625/10810920998076383837128458843*y^4 - 13211031207526984363541757410636/10810920998076383837128458843*y^3 + 467215234741772097583086466757/1544417285439483405304065549*y^2 + 327033684657477382070453836363/3603640332692127945709486281*y - 186114878465638741220928970342/10810920998076383837128458843 # A Gluing Matrix {{2,1,0,0,0,0,0},{2,4,2,1,1,1,0},{0,1,2,1,1,1,0},{0,1,2,3,3,2,2},{0,1,2,3,3,2,2},{0,1,2,2,2,2,2},{0,0,0,1,1,1,2}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,2,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,1,0,0},{0,0,0,0,2,0,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {2, 4, 2, 4, 4, 4, 2} # f Combinatorial flattening {-4, 4, -4, 0, 0, 4, 0} # f' Combinatorial flattening {6, 0, 2, 0, 0, 0, -2} # 1 Loop Invariant -18468593344086953290347137738/1544417285439483405304065549*y^20 + 2967260209945175076591225914/1544417285439483405304065549*y^19 + 312384195929007947573166833314/1544417285439483405304065549*y^18 + 113669259311570512053581199355/514805761813161135101355183*y^17 - 2137728411987839055605003708902/1544417285439483405304065549*y^16 - 3951518686996441037590569291908/1544417285439483405304065549*y^15 + 6937723161673360968002344433195/1544417285439483405304065549*y^14 + 21607487972027565010677486015400/1544417285439483405304065549*y^13 - 699139984635715980770733047488/171601920604387045033785061*y^12 - 55000087764812688780458771042563/1544417285439483405304065549*y^11 - 11325345707459882690559856209059/1544417285439483405304065549*y^10 + 76873780102377521970773438671027/1544417285439483405304065549*y^9 + 17441817466077981014955832004900/1544417285439483405304065549*y^8 - 62418981870586759395923855718037/1544417285439483405304065549*y^7 + 4049764555908716795373651707713/1544417285439483405304065549*y^6 + 18139801201953853397497559595730/1544417285439483405304065549*y^5 + 2343984957237752217123615445610/1544417285439483405304065549*y^4 - 6449701218444369535500209388833/1544417285439483405304065549*y^3 + 104460938088280098415273190162/1544417285439483405304065549*y^2 + 274034014902067731432885528203/514805761813161135101355183*y - 107751962528695160831379468883/1544417285439483405304065549 # 2 Loop Invariant 696244296312109602311775316463404938154998570186313645994913921969172578250130499922435/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^20 + 252974719498556348648569832678356701185787558392604974894942723538604962792356439198709/3141798549764818340222936967295796899367601370536539627511616149956402196685201453670766*y^19 - 9886312176758125188916740040303890191702626408400887844802148353465636103085784372040907/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^18 - 2603092900197908537514164496924259205133229713917147650595734220132030050945812116496713/1396354911006585928987971985464798621941156164682906501116273844425067642971200646075896*y^17 + 368320789773228587267508439465381213085664255601597738656151506674764109974474354802288/1570899274882409170111468483647898449683800685268269813755808074978201098342600726835383*y^16 + 315918830526601397986876734236048811080272988083497868473446857681789921774468926515293201/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^15 + 181210192218941912422848832903071751804452888140706404636873429459244501520439738219807227/12567194199059273360891747869183187597470405482146158510046464599825608786740805814683064*y^14 - 959304170851157714051103456057114735304198308741653021719512284298630802344293550637637753/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^13 - 786852696886263615176611234457093159057363148289085223763672651506053236004404238715260371/8378129466039515573927831912788791731646936988097439006697643066550405857827203876455376*y^12 + 122945975603468654619772705806150700812554373262806579936275083611519762506992499577293429/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^11 + 4580048146641331640122767165493040486234131234913374360982581881063296171843355441208117243/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^10 + 1222357121968587065132918852507460508985731479077665195795690742170899661309554432093018539/12567194199059273360891747869183187597470405482146158510046464599825608786740805814683064*y^9 - 486331316056196587529408343013653843757940341669493320107585788782430298600532031886382247/3141798549764818340222936967295796899367601370536539627511616149956402196685201453670766*y^8 - 2507367942725056296121121428033940236221367107788444715521287861917925183601809097834282137/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^7 + 546237566721261673411458624755505177531994704990768659251910763235211016857231611119997783/6283597099529636680445873934591593798735202741073079255023232299912804393370402907341532*y^6 + 241941481325292382358085033091922602343119240884323410878726973386772029743387819551823785/6283597099529636680445873934591593798735202741073079255023232299912804393370402907341532*y^5 - 560066935595947305060999042685982075950596891333993816819282995965215354776632316749090567/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^4 - 48687172785885361969082947512165097356307773272532556475783546416307661754170812028428359/3141798549764818340222936967295796899367601370536539627511616149956402196685201453670766*y^3 + 111761903586873083766469919915328067715065172478462001813248642164197265730751158292406111/25134388398118546721783495738366375194940810964292317020092929199651217573481611629366128*y^2 + 10684480589054704459662286915030773408742085951581353989706973667708655202709118870145655/4189064733019757786963915956394395865823468494048719503348821533275202928913601938227688*y + 17911494360106245701792975056042890733606021287565597068631497823976393641965476413574477/6283597099529636680445873934591593798735202741073079255023232299912804393370402907341532 # 3 Loop Invariant 570555751679450820879601666872621009264413907593166192483451294907309424298807011305474851082815799466506256923099803/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^20 + 155045133142960073191106916056207240355562949301946223562423154709197113092103870917509031458259790904453036399506353/4878409835066082603871076418098586670553708550293976536010544328806026282185400164611557956927555702524453888187945808*y^19 - 8949298717264499199935387176593228479081423683893445208338737514624307431830371793949543519618936702700172569970322895/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^18 - 1206482241340188638854176052417125589807112355656826444286847846555650866504114552219990345674569937815102635678736763/1084091074459129467526905870688574815678601900065328119113454295290228062707866703247012879317234600560989752930654624*y^17 + 40117178577618163599004145548172619183033178549371087383523663230060129137979513322251719420370742949903122192056534357/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^16 + 86926630464749529565094699533872755231632435487744430868799683867585962235695753624370432808743290289677396119317315193/9756819670132165207742152836197173341107417100587953072021088657612052564370800329223115913855111405048907776375891616*y^15 - 4216271898634597440279653401101300111598945871627062736912345875631153339873025292727777367805142806725760691667091051/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^14 - 689155321694465871816938472345951273143271412247376308462536542601430548167244226987475122634367109546645335928099900807/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^13 - 216616897841734747506453826165643388494583701131614668606801186266600404819272547584956381923504394773018947445438664933/6504546446754776805161435224131448894071611400391968714680725771741368376247200219482077275903407603365938517583927744*y^12 + 481999088218406983580964048760465616430030391944966158280041422876428126841330018676692227621773861297896637147841775111/9756819670132165207742152836197173341107417100587953072021088657612052564370800329223115913855111405048907776375891616*y^11 + 1569567506443381525809019661260949913412027731917135518156738470871587848024873900263636010945982615277061644520461013851/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^10 - 279978825872894998923012291935967929473588813742151230050163458507087660974106279362834134393648048469854714684729844919/9756819670132165207742152836197173341107417100587953072021088657612052564370800329223115913855111405048907776375891616*y^9 - 1321944875534535996247008227167563862199812309642371175639938088918723313765545698164781285848770530077967431672242494151/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^8 + 416282951690536670982760963875629382435923532748836396232217808425329676527557006463496589366492815258601314075942599607/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^7 + 7226490689647109085802906301613067480970441792698363417300033443863395967276119914500156571521829281235834997026650353/304900614691630162741942276131161666909606784393373533500659020550376642636587510288222372307972231407778368011746613*y^6 - 35651482053486312253202989814699523964047844576090521283864615420705695041471557116134144453921746415681395066336953493/9756819670132165207742152836197173341107417100587953072021088657612052564370800329223115913855111405048907776375891616*y^5 - 39950611276814367845562071407902387828976406291449657742999134397782821312585944674386377986243906142831318217262256089/4878409835066082603871076418098586670553708550293976536010544328806026282185400164611557956927555702524453888187945808*y^4 + 15345541683590362867985274824695238991647550478082582803829610822942105839674423720681836651982352293603264567731193603/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^3 + 23210957021798195993836473595877253008620669703834966381954198583841323731945705022325943311100514071030591237144615453/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232*y^2 - 1431529789539700988518080614135654905768889645646310093232213313857041276862025581196774090149555356708013022722154083/6504546446754776805161435224131448894071611400391968714680725771741368376247200219482077275903407603365938517583927744*y - 21543460219608594391747953102552480511707585084542633043553573223518872053844766377384464301279024599917998653413321/19513639340264330415484305672394346682214834201175906144042177315224105128741600658446231827710222810097815552751783232