# Manifold: Census Knot K7_30

# Number of Tetrahedra: 7

# Number Field
x^18 - 56/17*x^17 - 8/17*x^16 + 235/17*x^15 - 486/17*x^14 + 33*x^13 - 1333/17*x^12 + 784/17*x^11 + 945/17*x^10 - 962/17*x^9 + 1792/17*x^8 + 541/17*x^7 - 885/17*x^6 - 344/17*x^5 - 219/17*x^4 - 6/17*x^3 + 66/17*x^2 + 12/17*x - 1/17 

# Approximate Field Generator
-0.0752465114615914 - 0.520089993741896*I

# Shape Parameters
179262439822350365827507146408842811/117520109614740173062133504867482991*y^17 - 601055746419193003805908129614291138/117520109614740173062133504867482991*y^16 - 41623149657525250085645740860411803/117520109614740173062133504867482991*y^15 + 2453891203117167072811545563379672635/117520109614740173062133504867482991*y^14 - 5260829529975003490815017821578575179/117520109614740173062133504867482991*y^13 + 6313465098913140106967900584762383188/117520109614740173062133504867482991*y^12 - 14669499035519719005749002429568452645/117520109614740173062133504867482991*y^11 + 9493413745260099672882842735299884744/117520109614740173062133504867482991*y^10 + 8628007986540917192716186620980953976/117520109614740173062133504867482991*y^9 - 9957707821941596830445509438710241031/117520109614740173062133504867482991*y^8 + 19379760167277040404057845571817020943/117520109614740173062133504867482991*y^7 + 4356754512625769503530561199330143799/117520109614740173062133504867482991*y^6 - 8556333014777283217592590401422228150/117520109614740173062133504867482991*y^5 - 3207807426091255489864423705067722262/117520109614740173062133504867482991*y^4 - 1972753850813106406695261058614277458/117520109614740173062133504867482991*y^3 + 163901273290718204333436053209949003/117520109614740173062133504867482991*y^2 + 628745078099112031712266516064831526/117520109614740173062133504867482991*y + 177818896832524958848761943626330003/117520109614740173062133504867482991

-53137266951667224167337932332854583429/2938002740368504326553337621687074775*y^17 + 7843551180399851497210893752301745738/117520109614740173062133504867482991*y^16 - 54445315737674354430191446182899346379/2938002740368504326553337621687074775*y^15 - 706027342307220182111930316216439226792/2938002740368504326553337621687074775*y^14 + 1795073720877501146312618304857749021651/2938002740368504326553337621687074775*y^13 - 2486034665231047975993585266579968069264/2938002740368504326553337621687074775*y^12 + 5215345286292730245859105253962473601619/2938002740368504326553337621687074775*y^11 - 4617800185875844027346757475459455645766/2938002740368504326553337621687074775*y^10 - 915200826174024083479788963673042384853/2938002740368504326553337621687074775*y^9 + 629753203815283873270983591553915199633/587600548073700865310667524337414955*y^8 - 6789798188091373917996610729953827842384/2938002740368504326553337621687074775*y^7 + 1048234695606495134435361813867602573021/2938002740368504326553337621687074775*y^6 + 2124955445970319427766589194607173376398/2938002740368504326553337621687074775*y^5 + 330512744938141760665599392182422583617/2938002740368504326553337621687074775*y^4 + 554192577674943377011357905880270000709/2938002740368504326553337621687074775*y^3 - 171278348245125658273708845523526464716/2938002740368504326553337621687074775*y^2 - 24971270538610970485551102315331178636/587600548073700865310667524337414955*y + 7022573753183240443444488877794147041/2938002740368504326553337621687074775

617961516167782016996637889371382174/117520109614740173062133504867482991*y^17 - 2348263099119896667108244424804182191/117520109614740173062133504867482991*y^16 + 860372355266038758722300557622865943/117520109614740173062133504867482991*y^15 + 8250901757567071173966399190995299813/117520109614740173062133504867482991*y^14 - 21893969555778354949197932798395749152/117520109614740173062133504867482991*y^13 + 30942747697460692350670362879052478752/117520109614740173062133504867482991*y^12 - 62761107504559019362562433201767706040/117520109614740173062133504867482991*y^11 + 58432521632057110747276278493695172115/117520109614740173062133504867482991*y^10 + 8382137170629058607990812602731642224/117520109614740173062133504867482991*y^9 - 42672594153061290181776948451840751563/117520109614740173062133504867482991*y^8 + 85572358534424424988476754951070813801/117520109614740173062133504867482991*y^7 - 20457819082501228390621346541894964365/117520109614740173062133504867482991*y^6 - 26689682445249773884357078019984861598/117520109614740173062133504867482991*y^5 + 2320343978783704943897778926950648731/117520109614740173062133504867482991*y^4 - 6354749574950260920703730493827819273/117520109614740173062133504867482991*y^3 + 3186769263733796301844152468274269529/117520109614740173062133504867482991*y^2 + 825022514086708115132484740885090952/117520109614740173062133504867482991*y - 403567004473096981336728941133331914/117520109614740173062133504867482991

-313432226365565795344578590223293853/117520109614740173062133504867482991*y^17 + 1152613907097272659797676855751635904/117520109614740173062133504867482991*y^16 - 306937431698092755886483114430380416/117520109614740173062133504867482991*y^15 - 4176080262743782898650431315890908282/117520109614740173062133504867482991*y^14 + 10570621716039142345370082106466698414/117520109614740173062133504867482991*y^13 - 14553202742211478613170170134060266284/117520109614740173062133504867482991*y^12 + 30484317106742840090435451460234056918/117520109614740173062133504867482991*y^11 - 26539285150985144827928382861629195463/117520109614740173062133504867482991*y^10 - 6218663106840269221301064315530507190/117520109614740173062133504867482991*y^9 + 19582662807012065216849855620574820891/117520109614740173062133504867482991*y^8 - 40922539872776314679369903848901798810/117520109614740173062133504867482991*y^7 + 6075213056509842839860995472769927455/117520109614740173062133504867482991*y^6 + 12768055118851823351641066321673471449/117520109614740173062133504867482991*y^5 + 875954984434062775344561812294308648/117520109614740173062133504867482991*y^4 + 3791992901287257983363588320101865995/117520109614740173062133504867482991*y^3 - 1205224485177658395300415796607489302/117520109614740173062133504867482991*y^2 - 703328575586698701175335681408287204/117520109614740173062133504867482991*y + 77712350258391107049810381162216133/117520109614740173062133504867482991

-576857160087478465083768022308670765/117520109614740173062133504867482991*y^17 + 2022927092594722152876648746559466009/117520109614740173062133504867482991*y^16 - 192107057464967363435276387361311410/117520109614740173062133504867482991*y^15 - 7831286412929743491147052441194649283/117520109614740173062133504867482991*y^14 + 18195431069832898415231170914338804116/117520109614740173062133504867482991*y^13 - 23357584517900633285984643442689504889/117520109614740173062133504867482991*y^12 + 51056853361514434109146836236635207624/117520109614740173062133504867482991*y^11 - 38379057472464503774676356841392533321/117520109614740173062133504867482991*y^10 - 21502408285884520840912278504121463400/117520109614740173062133504867482991*y^9 + 36279788436057068936069708241478941762/117520109614740173062133504867482991*y^8 - 70660282042157294333419865360943175624/117520109614740173062133504867482991*y^7 - 1695262998533551370740034262063300277/117520109614740173062133504867482991*y^6 + 26932489178345032309731092998387779857/117520109614740173062133504867482991*y^5 + 4303294118748641194248436327875602782/117520109614740173062133504867482991*y^4 + 7700868443630871483832744392549676054/117520109614740173062133504867482991*y^3 - 765548393118127579869247646964190142/117520109614740173062133504867482991*y^2 - 1380102228357133413487078112109011896/117520109614740173062133504867482991*y + 22193129975351155968777736717861105/117520109614740173062133504867482991

-3417829990320506758395166335523495703/587600548073700865310667524337414955*y^17 + 2891660856612477294080722674175122617/117520109614740173062133504867482991*y^16 - 11344918085732199777925669969895436098/587600548073700865310667524337414955*y^15 - 39077855660928278204515686366118018954/587600548073700865310667524337414955*y^14 + 136256780313029701903833055036227913117/587600548073700865310667524337414955*y^13 - 233915131240311248353990017080796775453/587600548073700865310667524337414955*y^12 + 463936725884846016525150018261775219103/587600548073700865310667524337414955*y^11 - 551591726131736224941467331535640347822/587600548073700865310667524337414955*y^10 + 245792596796367372815902844954530144384/587600548073700865310667524337414955*y^9 + 11836802314560690100833457244570681417/117520109614740173062133504867482991*y^8 - 463213870007389163914404278147412246173/587600548073700865310667524337414955*y^7 + 320160419293394337750137756023112419782/587600548073700865310667524337414955*y^6 - 43015254398829782968784789959235708014/587600548073700865310667524337414955*y^5 + 54152432750839165816040150032352275119/587600548073700865310667524337414955*y^4 + 8274104857291968586308415918611502663/587600548073700865310667524337414955*y^3 - 15917038101038575034379222286289557972/587600548073700865310667524337414955*y^2 - 61603886626913978571686722711180132/117520109614740173062133504867482991*y - 172858271591642917388008623905166638/587600548073700865310667524337414955

90821071054499661217696506939717657/117520109614740173062133504867482991*y^17 - 339227483918418768098336181278227215/117520109614740173062133504867482991*y^16 + 99034985007228515842842349307151841/117520109614740173062133504867482991*y^15 + 1239511147431253143020412132123328412/117520109614740173062133504867482991*y^14 - 3143630674269589869436372890559368701/117520109614740173062133504867482991*y^13 + 4267569620214306108213127698424022456/117520109614740173062133504867482991*y^12 - 8754582232567413695310809555268907922/117520109614740173062133504867482991*y^11 + 7764843890906486821127488120269410854/117520109614740173062133504867482991*y^10 + 2243724824858478460554366045160968964/117520109614740173062133504867482991*y^9 - 6577419956809719751493326422450815032/117520109614740173062133504867482991*y^8 + 11973474907019927506719031692870821238/117520109614740173062133504867482991*y^7 - 1765293373705565442662379622867216603/117520109614740173062133504867482991*y^6 - 4766292147050174256672257523988693729/117520109614740173062133504867482991*y^5 + 139176632850243219400144994565217114/117520109614740173062133504867482991*y^4 - 539468847233012064465293359022226290/117520109614740173062133504867482991*y^3 + 323528023167039922872013215801861549/117520109614740173062133504867482991*y^2 + 116359268265127753237998515584739904/117520109614740173062133504867482991*y + 14459370825423221699190501218718899/117520109614740173062133504867482991


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

# B Gluing Matrix
{{2,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,2}}

# nu Gluing Vector
{4, 2, 1, 0, 2, 2, 2}

# f Combinatorial flattening
{-4, 3, 8, 1, 0, 1, -4}

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

# 1 Loop Invariant
-9978477428776242172915637025051252956/117520109614740173062133504867482991*y^17 + 34850585697946616435028191105497345809/117520109614740173062133504867482991*y^16 - 2764727388054144406984117788452685652/117520109614740173062133504867482991*y^15 - 135346883744133188451319737729709633103/117520109614740173062133504867482991*y^14 + 311474464228213056789799047042284815594/117520109614740173062133504867482991*y^13 - 398431595764072312024269558697239161113/117520109614740173062133504867482991*y^12 + 880502966859184825286296545877229660888/117520109614740173062133504867482991*y^11 - 661288787473503341728807032856289124406/117520109614740173062133504867482991*y^10 - 369842588824795952387423787132581005108/117520109614740173062133504867482991*y^9 + 590050454658374338707124394420683032129/117520109614740173062133504867482991*y^8 - 1180543218665654133229282792397215467061/117520109614740173062133504867482991*y^7 - 44406018331365327597933628400636574424/117520109614740173062133504867482991*y^6 + 450686388585593843451118812008655854422/117520109614740173062133504867482991*y^5 + 124484709380136061283128021164839159815/117520109614740173062133504867482991*y^4 + 127637775009080516397998848433207857580/117520109614740173062133504867482991*y^3 - 28766307052945632332080524519945120380/117520109614740173062133504867482991*y^2 - 27695274300536793293522368838308960894/117520109614740173062133504867482991*y - 3427724843184911459930193106959469580/117520109614740173062133504867482991

# 2 Loop Invariant
136970643658184383069495164270804486364613589407284911179947955228783194469602884766255/516610632081280270096309297715167173072278363481201011061548647083604583779351877708586*y^17 - 1396477218829827385208949494182831285620988028765207557806897143011192477695795862550097/1377628352216747386923491460573779128192742302616536029497463058889612223411605007222896*y^16 + 1608495788747832142133524566606558186571654577600307630419587062734649126197192198931509/4132885056650242160770474381721337384578226907849608088492389176668836670234815021668688*y^15 + 14641542769224790199936702036151579947301796603882625608688587327435892758225941030919397/4132885056650242160770474381721337384578226907849608088492389176668836670234815021668688*y^14 - 4893933256663297377163582034215774633147103687347255137002858450355786788116237345154947/516610632081280270096309297715167173072278363481201011061548647083604583779351877708586*y^13 + 13888786246474739208680651399079640750230626198768662519655837775940988374705006991293567/1033221264162560540192618595430334346144556726962402022123097294167209167558703755417172*y^12 - 9345995488487094578966992826519260246126145210711508297406355240134364130639279742910843/344407088054186846730872865143444782048185575654134007374365764722403055852901251805724*y^11 + 105805492010984088502503071812049511900457089232529517069690231099426480143567299095098071/4132885056650242160770474381721337384578226907849608088492389176668836670234815021668688*y^10 + 2227511246737465836842801736269238856104497767775647342622072024495584819074523541044331/688814176108373693461745730286889564096371151308268014748731529444806111705802503611448*y^9 - 25468264881280760061366020264973475077438525065123389656828282589719086066252249696445877/1377628352216747386923491460573779128192742302616536029497463058889612223411605007222896*y^8 + 152136028558585528583392328717912461681392898184650613655919710599981583913581432518479787/4132885056650242160770474381721337384578226907849608088492389176668836670234815021668688*y^7 - 38468986101003585657545197113111547026831843514543972028349664058986558385375908586620181/4132885056650242160770474381721337384578226907849608088492389176668836670234815021668688*y^6 - 2997099441480464755122261065674118669890655206300225578265897315514356283903643042021569/258305316040640135048154648857583586536139181740600505530774323541802291889675938854293*y^5 + 1511479263829115176323835512143301823543470118574311451449133391129830232973906739271307/1377628352216747386923491460573779128192742302616536029497463058889612223411605007222896*y^4 - 9887461173418341606408765504619113497666717072672429994615588784163285326318164884828813/4132885056650242160770474381721337384578226907849608088492389176668836670234815021668688*y^3 + 1985593670414778377822433936547276408956382916015062158332995052200073257408304449128577/1377628352216747386923491460573779128192742302616536029497463058889612223411605007222896*y^2 + 606752601130398668771729863745659279213220165345996544141947803325968075469346154328215/2066442528325121080385237190860668692289113453924804044246194588334418335117407510834344*y - 1434872700438889929910637471606924588546646307554040840108009698650768224479371223232625/2066442528325121080385237190860668692289113453924804044246194588334418335117407510834344

# 3 Loop Invariant
35746960688208823955793176545922954103568485784908545445102435469161253655833539018879514872732224419480773921273/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^17 - 63733470440165650378362722540522784062285581497287703468525835492960616712979326055152883796281538099411938873091/74578220871174726854000260438870015869172142750862712218177296244468669776609845471482201012312274565630241288032*y^16 + 18999621516073728627814737225459091438593846327174984826401866188342515725856929721277006420140761132429649224225/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^15 + 484417018789764329698205853286040111399853848344757321586400937948899528451048463299166078606310336478663849703919/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^14 - 1151741936759243267954419572715498697641840062819343792952806257903406736998171567077184089937011104905544934003247/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^13 + 1508391317287924388241314548489334156850402474084807467013932135118603161114113529809214386616748655568185386403583/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^12 - 3255266979885041566771082649365533262258908289350581632022763118388148004408042260184513524493161470627876413127451/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^11 + 2593812804174066863754187185640072059329881051289436406500681125604580967968188894462424493484692395804601495634575/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^10 + 289717915857403246978305768083040943700628703709971866238908637840866855028126289319093961355575967027087989647071/37289110435587363427000130219435007934586071375431356109088648122234334888304922735741100506156137282815120644016*y^9 - 2218276750438702623171845281060616967303082535113912262099118174730372680648539779009216395507771460964979967639289/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^8 + 4380165195302950178911613160360579501273440965414114262402109886314030387571195998743002860478746990373765740849809/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^7 - 126489519352302710526754484408128904541848796221610488732006016286319127221034058480892431750460781433573215396735/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^6 - 417350580945101544442346009004377399674596315986336949045967589515002268020979925349427604721430363597584886098915/37289110435587363427000130219435007934586071375431356109088648122234334888304922735741100506156137282815120644016*y^5 - 311428080428806118740760091876686076375006623145207294071429759368764451243418759695212709233641429902906042720423/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064*y^4 - 213806790083316903548413111268252572703156762011668415782931442590756698566975717710903937454691740325371645111111/74578220871174726854000260438870015869172142750862712218177296244468669776609845471482201012312274565630241288032*y^3 + 49673561799678499752231593545789353395001152302373587807825245030955692844045686630595627646461483780107503283213/74578220871174726854000260438870015869172142750862712218177296244468669776609845471482201012312274565630241288032*y^2 + 25378012665374184256774421282721588492410042741332016798522589932684374780089449450077206278404619531020948339071/37289110435587363427000130219435007934586071375431356109088648122234334888304922735741100506156137282815120644016*y + 3251359418681348032417911726763244687092605397425260509108237671885417343466203698286889769483092783847404888425/149156441742349453708000520877740031738344285501725424436354592488937339553219690942964402024624549131260482576064