# Manifold: Census Knot K8_244 # Number of Tetrahedra: 8 # Number Field x^22 - 14*x^21 - 204*x^20 - 1247*x^19 - 4128*x^18 - 7357*x^17 - 10068*x^16 + 19974*x^15 + 96777*x^14 + 32406*x^13 - 106863*x^12 - 20620*x^11 - 173901*x^10 - 179045*x^9 + 274334*x^8 + 339740*x^7 + 11104*x^6 - 307136*x^5 - 58272*x^4 + 96576*x^3 + 16000*x^2 - 11776*x - 2560 # Approximate Field Generator 0.222857226760850 + 1.30284656758365*I # Shape Parameters 2080841506048682153531592786938485871666667153277766049786317523/2574168473588546912297879822247747852071169341554866583117723980800*y^21 - 7285417770062789704902298113172487227992688641537234649302780013/643542118397136728074469955561936963017792335388716645779430995200*y^20 - 6617794678137791433394856467952688278502279762288975507621368173/40221382399821045504654372222621060188612020961794790361214437200*y^19 - 2603700643903143716818162861625773969078576436388179499856125398861/2574168473588546912297879822247747852071169341554866583117723980800*y^18 - 4374860453266035807444326299277969470082463903750576333868972490317/1287084236794273456148939911123873926035584670777433291558861990400*y^17 - 16392544204178020110938043786864372725781584789977620915678493486671/2574168473588546912297879822247747852071169341554866583117723980800*y^16 - 12499539778834584220041522067238725822871635686451180543016205644177/1287084236794273456148939911123873926035584670777433291558861990400*y^15 + 16322144815291445838430725517928601350199584235152876312342797607121/1287084236794273456148939911123873926035584670777433291558861990400*y^14 + 185518081839098580812654180146698538222056887026170866235414937635351/2574168473588546912297879822247747852071169341554866583117723980800*y^13 + 8585150702696498291717362030954871946182839054197473380793641098991/321771059198568364037234977780968481508896167694358322889715497600*y^12 - 150861320973911697649710787830842643113553081163191696791196041594929/2574168473588546912297879822247747852071169341554866583117723980800*y^11 + 2687875890016353768884139985342161588728267546478963447551295837273/257416847358854691229787982224774785207116934155486658311772398080*y^10 - 375318330296568116679584450152484397135891218188190073114512198061623/2574168473588546912297879822247747852071169341554866583117723980800*y^9 - 71863683217200077586752171586017639134306629988877644334837238109601/514833694717709382459575964449549570414233868310973316623544796160*y^8 + 110241265734478888896475458140707010664525839280728515735947335485333/643542118397136728074469955561936963017792335388716645779430995200*y^7 + 2452489391296332035426379863262591651575792212925684071463969650127/12870842367942734561489399111238739260355846707774332915588619904*y^6 + 927973496928840692128329548810516988289735126577834279032340080353/40221382399821045504654372222621060188612020961794790361214437200*y^5 - 27786176210815814687207849377716233833623897119157566844091768305803/160885529599284182018617488890484240754448083847179161444857748800*y^4 + 37818371538895070490389629991328335279337381379226616280862644741/40221382399821045504654372222621060188612020961794790361214437200*y^3 + 1601116516850173684272281321559504126896887670788176579519453801747/40221382399821045504654372222621060188612020961794790361214437200*y^2 - 3375396226452361076315907007469927708183263409417161374833056894/502767279997763068808179652782763252357650262022434879515180465*y - 23706881911111194537455548012453435323816782712798966536726584433/10055345599955261376163593055655265047153005240448697590303609300 -16296476411394779382689727439808283766535312506570721840592731/12870842367942734561489399111238739260355846707774332915588619904*y^21 + 940409717446519218920968440478234059351397245125369845629833909/51483369471770938245957596444954957041423386831097331662354479616*y^20 + 12903216725192695205438430074384770264003266776750569414685845823/51483369471770938245957596444954957041423386831097331662354479616*y^19 + 4731031992189576947811655934601521050681214925537727784054997649/3217710591985683640372349777809684815088961676943583228897154976*y^18 + 235425140108487319806235225802047070980247561146503919581925371769/51483369471770938245957596444954957041423386831097331662354479616*y^17 + 370165198135270671355282446286338907320816308363785611839794345889/51483369471770938245957596444954957041423386831097331662354479616*y^16 + 465396414540802710410570135112419095416999425137845289188045596853/51483369471770938245957596444954957041423386831097331662354479616*y^15 - 1572624693321894378329861284376302992298281487882423695313585201873/51483369471770938245957596444954957041423386831097331662354479616*y^14 - 720131971455325526551578944576207906215701689018505498678067703583/6435421183971367280744699555619369630177923353887166457794309952*y^13 + 366275141327186058329515657946455439223240365679890390240504014471/51483369471770938245957596444954957041423386831097331662354479616*y^12 + 7398916506907411635823371375198221045617599344789256180202859941875/51483369471770938245957596444954957041423386831097331662354479616*y^11 - 1236563382114182186230388758044629741316342503738397457536831125215/51483369471770938245957596444954957041423386831097331662354479616*y^10 + 11694957149828070510578583177631038878611712801076849605570966449173/51483369471770938245957596444954957041423386831097331662354479616*y^9 + 6650424524281130434269672265332421780956071512312859564116699045101/51483369471770938245957596444954957041423386831097331662354479616*y^8 - 10899715303278705683028702848966468904468569830378933509965031527803/25741684735885469122978798222477478520711693415548665831177239808*y^7 - 14641730594719338000478333592789868297238388632243805908430282422409/51483369471770938245957596444954957041423386831097331662354479616*y^6 + 92265132422784438019927925732487595231893337180160995749023508937/804427647996420910093087444452421203772240419235895807224288744*y^5 + 4845138194177968636591928507098371417301064795774497891420518566529/12870842367942734561489399111238739260355846707774332915588619904*y^4 - 207312429729949445267639780171943253090289709748772873161540026653/3217710591985683640372349777809684815088961676943583228897154976*y^3 - 44858786907353287979149150474205716748228867005091212132734560093/402213823998210455046543722226210601886120209617947903612144372*y^2 + 6225014888937855966511994126027584979471903670733209961915584283/402213823998210455046543722226210601886120209617947903612144372*y + 9134599295454813537063831358099751862532851505734849432345364027/804427647996420910093087444452421203772240419235895807224288744 -1207296500813413338020167736178913583781285350831498058547835993/3809769340911049430200862136926666821065330625501202543014231491584*y^21 + 16826678136788563887069552823442177083818641998506495686392141/3720477871983446709180529430592448067446611938966018108412335441*y^20 + 60355738445999184247010459456247792779981820581748089054082966775/952442335227762357550215534231666705266332656375300635753557872896*y^19 + 1442167623905819141066706381256543764995011469457006728627875329015/3809769340911049430200862136926666821065330625501202543014231491584*y^18 + 2315075631657243562053892504307431566676530365860676760918872372241/1904884670455524715100431068463333410532665312750601271507115745792*y^17 + 7885472289076817997190305992098735019683917857293474265082861794913/3809769340911049430200862136926666821065330625501202543014231491584*y^16 + 5516028939730520533875612180712261294183368370858531563993509188293/1904884670455524715100431068463333410532665312750601271507115745792*y^15 - 12315827558684162177805891506789209341800602475900281673247045220933/1904884670455524715100431068463333410532665312750601271507115745792*y^14 - 105301576024515176190188577048217842629551346145172560735518082872565/3809769340911049430200862136926666821065330625501202543014231491584*y^13 - 2006738024061526511816928844267090890524596603455074635429583792127/952442335227762357550215534231666705266332656375300635753557872896*y^12 + 118546567324820112469586883765221593465086519174936149174696848647375/3809769340911049430200862136926666821065330625501202543014231491584*y^11 - 13014981648389308430339239829238084644279033772900139666016665808637/1904884670455524715100431068463333410532665312750601271507115745792*y^10 + 207179561028711326550388012597514777585157481359199125374451800432681/3809769340911049430200862136926666821065330625501202543014231491584*y^9 + 144921013859175548185671514626258635651235194790863931296440785851683/3809769340911049430200862136926666821065330625501202543014231491584*y^8 - 87975615692748820886894403605129503759758363474923420807029243362249/952442335227762357550215534231666705266332656375300635753557872896*y^7 - 66914394777400813534960624639926177935387574973959443893446990371083/952442335227762357550215534231666705266332656375300635753557872896*y^6 + 1205786289574977091972923275826152092420638528737955305259713481867/59527645951735147346888470889479169079145791023456289734597367056*y^5 + 10464431790809044070592515282889490937361993469079789673516926369477/119055291903470294693776941778958338158291582046912579469194734112*y^4 - 355308980535332764216346737307213714776749814272308243180888788109/29763822975867573673444235444739584539572895511728144867298683528*y^3 - 1516071723176805227111155637121452590625246217191039272770281827577/59527645951735147346888470889479169079145791023456289734597367056*y^2 + 17227516638584298223158696718855187522394895953506146739622167543/7440955743966893418361058861184896134893223877932036216824670882*y + 24666088138975839707921316659429819824237073512285145176979195905/7440955743966893418361058861184896134893223877932036216824670882 -19947864801159411866609407050187884850901981083141469683062771/119055291903470294693776941778958338158291582046912579469194734112*y^21 + 619974570993414417834512045715126467553211672429488692424764957/238110583806940589387553883557916676316583164093825158938389468224*y^20 + 1827897446464965150038544049389852899844309648478798552971319813/59527645951735147346888470889479169079145791023456289734597367056*y^19 + 4600727819480061399006296806827367142362972593038921226362061629/29763822975867573673444235444739584539572895511728144867298683528*y^18 + 80720587501235475516963805310390162953128342458172099033701330077/238110583806940589387553883557916676316583164093825158938389468224*y^17 - 1499601088881003358406703846106333598000006634870398100427131181/29763822975867573673444235444739584539572895511728144867298683528*y^16 - 260207046465929678455029093383461210365382303667161805075281169623/238110583806940589387553883557916676316583164093825158938389468224*y^15 - 972619024426755529321306056383344640864315759406278811968304892861/119055291903470294693776941778958338158291582046912579469194734112*y^14 - 1827303581996872693613300174017457880773319922122021626161496678519/119055291903470294693776941778958338158291582046912579469194734112*y^13 + 4024937715263853996944953508334807746396014138546221635578060922641/238110583806940589387553883557916676316583164093825158938389468224*y^12 + 4476707110614041672384099426682354981721635508585226482195115928715/119055291903470294693776941778958338158291582046912579469194734112*y^11 - 525955916412241893462247295787100079683533095542706388134123485933/238110583806940589387553883557916676316583164093825158938389468224*y^10 + 129488340434466419646632564665998723425582903004621789532188870956/3720477871983446709180529430592448067446611938966018108412335441*y^9 - 2416635165927416685725888146110536423190790368740752212426861598753/238110583806940589387553883557916676316583164093825158938389468224*y^8 - 26164649917117347965290048405965110005619592607182368340555836057115/238110583806940589387553883557916676316583164093825158938389468224*y^7 - 4674659154989141167589623598799600073373889397782686322257750140361/119055291903470294693776941778958338158291582046912579469194734112*y^6 + 6654051112064779637131210527889445496211956392365235299536488325685/119055291903470294693776941778958338158291582046912579469194734112*y^5 + 4852908212039847720414240826557633103591804375125728121682653344113/59527645951735147346888470889479169079145791023456289734597367056*y^4 - 187721244466639997742778888627999731532117167714747142029571825615/7440955743966893418361058861184896134893223877932036216824670882*y^3 - 383805123453141968417116716549236706127776568063752140363683167789/14881911487933786836722117722369792269786447755864072433649341764*y^2 + 21286484862414202235434975741273617346388503782491800797784738571/3720477871983446709180529430592448067446611938966018108412335441*y + 11471244641170136282344505065964372713475390429788280315162571962/3720477871983446709180529430592448067446611938966018108412335441 397972738362085567673908332555917963060270534521574458940518995/51483369471770938245957596444954957041423386831097331662354479616*y^21 - 713065064908060317072643384913457398631498349629443483651551641/6435421183971367280744699555619369630177923353887166457794309952*y^20 - 9909600266690861299564641806284705687877266722319039770735525875/6435421183971367280744699555619369630177923353887166457794309952*y^19 - 469860165517097154170777839579612875663945765590181724537763245645/51483369471770938245957596444954957041423386831097331662354479616*y^18 - 743447099443035281221246670986605839323448326764406846561589526135/25741684735885469122978798222477478520711693415548665831177239808*y^17 - 2437602271683645866938682728395125043432064267214399015080272428927/51483369471770938245957596444954957041423386831097331662354479616*y^16 - 1607648913302162414147381276611222547112213093551906693011060901047/25741684735885469122978798222477478520711693415548665831177239808*y^15 + 4487553578397045655034194225061538668150109924265946641554346898433/25741684735885469122978798222477478520711693415548665831177239808*y^14 + 35437102927222687643078669606091621385671005336906826616563948023919/51483369471770938245957596444954957041423386831097331662354479616*y^13 + 272932968399315095372559606242850552083301545302385455476548098065/12870842367942734561489399111238739260355846707774332915588619904*y^12 - 42474537252676650876324948847736233196457797418482065744740072167033/51483369471770938245957596444954957041423386831097331662354479616*y^11 + 3163505394630128592711148380644166359563644070888676751273937427803/25741684735885469122978798222477478520711693415548665831177239808*y^10 - 71467547776190782596864123314008692659845590699905191646473937253367/51483369471770938245957596444954957041423386831097331662354479616*y^9 - 47329751416008431978101338594620811750459859616232491391024358855153/51483369471770938245957596444954957041423386831097331662354479616*y^8 + 15529546467729024278280212079577226215697878569852981954402951678201/6435421183971367280744699555619369630177923353887166457794309952*y^7 + 2892631298793962469559520291427282715498534760331695975121859949533/1608855295992841820186174888904842407544480838471791614448577488*y^6 - 815253984897241621524234653628982772832401653058255253266643514603/1608855295992841820186174888904842407544480838471791614448577488*y^5 - 7025590572977241914830467295034063241075825860924761663246087483427/3217710591985683640372349777809684815088961676943583228897154976*y^4 + 115866870520333532280962699943686108578001500324696173829146900657/402213823998210455046543722226210601886120209617947903612144372*y^3 + 511424852366608253348341841962902509882083650991879924869646346519/804427647996420910093087444452421203772240419235895807224288744*y^2 - 18800024221626995807370413668893837118038261887315932886721407197/201106911999105227523271861113105300943060104808973951806072186*y - 10985581728622603195488452232524646094791517249525092359345226025/201106911999105227523271861113105300943060104808973951806072186 547563831214037503416427467137731899114324078430209129242001411/514833694717709382459575964449549570414233868310973316623544796160*y^21 - 3990518345157643384361036656798334898508343903494801386896964137/257416847358854691229787982224774785207116934155486658311772398080*y^20 - 26810350387965151411877585407148845860126654377322306907167893121/128708423679427345614893991112387392603558467077743329155886199040*y^19 - 619269315178593551347500392973236137376279149047071173601000597557/514833694717709382459575964449549570414233868310973316623544796160*y^18 - 234594396867447207853372309998146795565238634100328342125625354541/64354211839713672807446995556193696301779233538871664577943099520*y^17 - 2778876036017523554620875673032316814317771974124245896470912447847/514833694717709382459575964449549570414233868310973316623544796160*y^16 - 833725978704959594614758459343697035910480554588253736312413256147/128708423679427345614893991112387392603558467077743329155886199040*y^15 + 6979357954062949357427780279308493888547863755517611726871777685417/257416847358854691229787982224774785207116934155486658311772398080*y^14 + 46587990046096618441392784259641483560872999901050885168912627465027/514833694717709382459575964449549570414233868310973316623544796160*y^13 - 5595336761271533862507172932109622373461788492410862202329294175867/257416847358854691229787982224774785207116934155486658311772398080*y^12 - 64840860690585094566952596219968384802326531824704490102293404510653/514833694717709382459575964449549570414233868310973316623544796160*y^11 + 962811347952804157782782370715573520957462400097127431736229846747/25741684735885469122978798222477478520711693415548665831177239808*y^10 - 95640179041405741503504846618743750314193455183270334395461263575191/514833694717709382459575964449549570414233868310973316623544796160*y^9 - 8010322132559355957664815879102500076437097058832114073779208259379/102966738943541876491915192889909914082846773662194663324708959232*y^8 + 98787630335997328529351595693395463110682845976446766351497876925457/257416847358854691229787982224774785207116934155486658311772398080*y^7 + 4990561556023340202605636403508078267273743341174816326768473393815/25741684735885469122978798222477478520711693415548665831177239808*y^6 - 9820274656615270891028135572953635582086986888038358086692165464167/64354211839713672807446995556193696301779233538871664577943099520*y^5 - 1303108594110950932498182061582194961020674766474470784918097570337/4022138239982104550465437222262106018861202096179479036121443720*y^4 + 406588756774891712452025329788093814257468551745221477648328985501/4022138239982104550465437222262106018861202096179479036121443720*y^3 + 875474587986014182520285152320423424144943573437700370942454289469/8044276479964209100930874444524212037722404192358958072242887440*y^2 - 18459773283928984890639078622932218248468048769468933464241782589/804427647996420910093087444452421203772240419235895807224288744*y - 11905237284029673055244145482323024496726858420971696456530518753/1005534559995526137616359305565526504715300524044869759030360930 -13741885284462300819451360900623676539109800873232117803184969/647564256637118832624935392784199069036653537484896124815552438920*y^21 + 33971893067682555031270001500216669396389690322494268692217290093/82888224849551210575991730276377480836691652798066703976390712181760*y^20 + 116516589732013660448461898562915853379244053310548855496977123899/41444112424775605287995865138188740418345826399033351988195356090880*y^19 + 55713640104874300084564709048693260532608307493986142854005373111/20722056212387802643997932569094370209172913199516675994097678045440*y^18 - 5515600154966070280758690929095276293565635602096169889171409831259/82888224849551210575991730276377480836691652798066703976390712181760*y^17 - 8355789160760178567937790661553459844299173780887958882628685652149/20722056212387802643997932569094370209172913199516675994097678045440*y^16 - 11684607971564738029161704860811083478531293936768233399991530152447/11841174978507315796570247182339640119527378971152386282341530311680*y^15 - 25464229684908394308197741847347325901083863664837027433761541426691/10361028106193901321998966284547185104586456599758337997048839022720*y^14 - 59871194625345363873485728754781630843768449567521993635984676142137/41444112424775605287995865138188740418345826399033351988195356090880*y^13 + 796573599522691451176539855539230334512701423316374065934675292744373/82888224849551210575991730276377480836691652798066703976390712181760*y^12 + 483668421532910623526119186880137477756147877550438791761650703971453/41444112424775605287995865138188740418345826399033351988195356090880*y^11 - 35700271187447248588198341006642256591787238601972686391130724578319/16577644969910242115198346055275496167338330559613340795278142436352*y^10 + 43076877241850824994088516624161403508561735728491095767627560598779/10361028106193901321998966284547185104586456599758337997048839022720*y^9 - 11499766519644350170920952124633986523590809112194864493297879468259/720767172604793135443406350229369398579927415635362643272962714624*y^8 - 2990583207396567365313683842856618925916194380138485518838086456269333/82888224849551210575991730276377480836691652798066703976390712181760*y^7 - 10163236404439289774243902717745268644821638452734631465286719450599/8288822484955121057599173027637748083669165279806670397639071218176*y^6 + 594802904228641806492085440992764139426050040155064550345490795454083/20722056212387802643997932569094370209172913199516675994097678045440*y^5 + 35502747487711708208078858448797720628921070636454211278259001336837/1480146872313414474571280897792455014940922371394048285292691288960*y^4 - 995586993369101126098609151122520119711570115535258585756024866109/80945532079639854078116924098024883629581692185612015601944054865*y^3 - 232276985221668483550042631805346511040650910492745665497208332893/28154967679874731853258060555834742132028414673256353252850106040*y^2 + 640176935697227087879254781861669075464451135824225968889281569985/259025702654847533049974157113679627614661414993958449926220975568*y + 1037970109266816214850727132903488032931695479687462362171978600699/647564256637118832624935392784199069036653537484896124815552438920 -863509357971044431376205426284381756545323817224886188805696325/51456569909580153373993947285161692817210043150281144010256267695104*y^21 + 4965475249383611097906848828895611198208132632705534266643635197/25728284954790076686996973642580846408605021575140572005128133847552*y^20 + 25487133580775603352735299391723428065859042540811813614753110817/6432071238697519171749243410645211602151255393785143001282033461888*y^19 + 1548386267734340505821730762398978723877175329824167549503416740339/51456569909580153373993947285161692817210043150281144010256267695104*y^18 + 1700647668191105023456464810524897247934236435298631634452166526057/12864142477395038343498486821290423204302510787570286002564066923776*y^17 + 19072397762367419868323811000326480447198093805274583153527310400245/51456569909580153373993947285161692817210043150281144010256267695104*y^16 + 155476465939422913858667497415114753193071910145316778607489809483/201002226209297474117163856582662862567226731055785718790063545684*y^15 + 21268028748137391297510375831997439212692241753347519862174074483455/25728284954790076686996973642580846408605021575140572005128133847552*y^14 - 52884364206127505912831920965625274510698441966084958358121284419749/51456569909580153373993947285161692817210043150281144010256267695104*y^13 - 96337113776631906360925336255996402539425632372463333988123342200001/25728284954790076686996973642580846408605021575140572005128133847552*y^12 - 168600749471440943860377992278288645856999288456055549555983199754553/51456569909580153373993947285161692817210043150281144010256267695104*y^11 - 11824269280959485186632509537326872431586568288667953139772580061703/6432071238697519171749243410645211602151255393785143001282033461888*y^10 + 17258054437660132413519243765303712917602402892424212372290890452149/51456569909580153373993947285161692817210043150281144010256267695104*y^9 + 378078299086544959381414496836320176045150161413965527453253219891013/51456569909580153373993947285161692817210043150281144010256267695104*y^8 + 210525468786768142534632454616457222902768921998347749572059487700969/25728284954790076686996973642580846408605021575140572005128133847552*y^7 - 4957752755273604984576716419431374918289254708187934510808479552737/6432071238697519171749243410645211602151255393785143001282033461888*y^6 - 40431278560475111562440604117020750458047933316454141929924820489407/6432071238697519171749243410645211602151255393785143001282033461888*y^5 - 5319546844420007819486921183340745166852726212749354643855825404063/3216035619348759585874621705322605801075627696892571500641016730944*y^4 + 2219933121251464080306316600202306070100813536213831350528217586511/804008904837189896468655426330651450268906924223142875160254182736*y^3 + 545313456306476067185907661383319965769916521469365274349064834129/804008904837189896468655426330651450268906924223142875160254182736*y^2 - 190875997781562512301196507234442031334511569505784064334548256945/402004452418594948234327713165325725134453462111571437580127091368*y + 31639813573678090018447370054207599272891682021782010206209480921/201002226209297474117163856582662862567226731055785718790063545684 # A Gluing Matrix {{2,1,1,1,2,-2,2,-1},{1,2,0,2,2,-1,1,0},{1,1,1,1,2,-1,1,0},{1,2,0,2,2,0,0,1},{1,1,1,1,2,0,1,0},{-1,-1,-1,0,0,-1,1,-1},{1,1,1,0,1,1,0,1},{-1,-1,-1,1,0,-2,2,-1}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,1,0,1,0,0,0,0},{0,0,1,1,0,0,0,0},{0,0,0,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,2}} # nu Gluing Vector {2, 2, 2, 2, 2, -1, 2, 0} # f Combinatorial flattening {-18, 32, 5, -9, -9, 0, 10, -8} # f' Combinatorial flattening {0, -18, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -9487761576116059851007579262746051454953444363699543097036476281/102966738943541876491915192889909914082846773662194663324708959232*y^21 + 33868627899587240600090608862279571081085180701729964707496545605/25741684735885469122978798222477478520711693415548665831177239808*y^20 + 59292420003410534513951618568922264365847197385416803197923116399/3217710591985683640372349777809684815088961676943583228897154976*y^19 + 11307152721989967042413092634399335677790665258692579791181620832807/102966738943541876491915192889909914082846773662194663324708959232*y^18 + 18043991450049647579672565833398895114620016788631709915585416056259/51483369471770938245957596444954957041423386831097331662354479616*y^17 + 60218325482465215091759289106295182562892194914939042165758601079133/102966738943541876491915192889909914082846773662194663324708959232*y^16 + 40217084817028348785093493078282754169375540838299866733965557651111/51483369471770938245957596444954957041423386831097331662354479616*y^15 - 104177377701907405491335763741592177541123198592149222089930315387419/51483369471770938245957596444954957041423386831097331662354479616*y^14 - 853781436562299983728616738300106324212181044758100818723641678433013/102966738943541876491915192889909914082846773662194663324708959232*y^13 - 4440433033323130780144537339679674952672464770743836569678430317417/6435421183971367280744699555619369630177923353887166457794309952*y^12 + 1005405139373697887706594559919518552299761643445224281159131802614611/102966738943541876491915192889909914082846773662194663324708959232*y^11 - 50556567794357846299628261518718308613634299887556710353387291365163/51483369471770938245957596444954957041423386831097331662354479616*y^10 + 1691044929467334776301696466395113505226907526342777151351595160442421/102966738943541876491915192889909914082846773662194663324708959232*y^9 + 1211570605684953949349304167080881114548940182715937346387542762330327/102966738943541876491915192889909914082846773662194663324708959232*y^8 - 721967608189725983817246632900916616858404186934893986179549061967697/25741684735885469122978798222477478520711693415548665831177239808*y^7 - 294688090138124710359901395136877772871122149211403840008678250828425/12870842367942734561489399111238739260355846707774332915588619904*y^6 + 3931919663565873874943080830712568561880804204459969973684564108003/804427647996420910093087444452421203772240419235895807224288744*y^5 + 169324758528626452204954888606446255804962520827686685842066809123833/6435421183971367280744699555619369630177923353887166457794309952*y^4 - 1706089421523411078725621757157522686251051250206950596990277715255/804427647996420910093087444452421203772240419235895807224288744*y^3 - 12303331164198090345489378507256801230805484913387366269245359726915/1608855295992841820186174888904842407544480838471791614448577488*y^2 + 274848447780193382723529074536667668025904761789912835290811857043/402213823998210455046543722226210601886120209617947903612144372*y + 316896085181829552874914874544017421422753179977219977847524169951/402213823998210455046543722226210601886120209617947903612144372 # 2 Loop Invariant 92320196969519976059392037402597025594656190029566370992937834340497779579406032788695743882120073915532551683841784541206972161169257603/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^21 - 428400189525592704377386359200149464413678058198904823333532661795316231934765669314805444199486855073225109249057893292208497130900527767/299984786227958629068708814281681353660464988857027287575258938958387764499757556301748626595445959503812752287969886303591901970201056077824*y^20 - 1181182931847554012777330637102964528569307188223860635029272801708859797763052854485131308428626846226787970410794586386628916461583502323/56247147417742242950382902677815253811337185410692616420361051054697705843704541806577867486646117406964891053994353681923481619412698014592*y^19 - 117090778238935187058083733744859302844054581493535192421821961517640177409811778433663088327770869480314256643759469572545429946517294176641/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^18 - 132644374112780907601076675367726155647004175816118571854103667595578007949677684333885263823637545952994829638037288329291930287636648382169/299984786227958629068708814281681353660464988857027287575258938958387764499757556301748626595445959503812752287969886303591901970201056077824*y^17 - 760533254070253143044390105467092122836432297450906144762490022596340276967165090228009388040017469022601559379628762361662306913023054217053/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^16 - 167784705285886737368921943512452473309167487655750248809897990166304463692853369369589374153643885324369611507088894305048979510802730024015/128564908383410841029446634692149151568770709510154551817968116696451899071324666986463697112333982644491179551987094130110815130086166890496*y^15 + 111549392560463929023264578075206954754873805025652231496926637014937629479663127442457068380187590360191485267249480887151790247150093219021/74996196556989657267177203570420338415116247214256821893814734739596941124939389075437156648861489875953188071992471575897975492550264019456*y^14 + 2769233416481689490895065420143874203636992256986528540069135882216474834136172401025690325489230947760624734523423073790321171731877090154959/299984786227958629068708814281681353660464988857027287575258938958387764499757556301748626595445959503812752287969886303591901970201056077824*y^13 + 3653780561879328520291257137957877715335961926695628614227764218648803310595845151106471813663663752113754966741170861213466080736148646052251/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^12 - 6499774028050157790357534413731531686687650363582755243918586947334562650390763200980626888031023741715302094457561505346146866553312978822893/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^11 + 769987411820471931811030737890117574952824268474401249130594523653505872183594898647025027445751525689915339166396754987710224967660980369457/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^10 - 16150918917485484636047289104720438885727839814719037699903270867436519641888577867098103966077818868247168345084251398416392690840446802772625/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^9 - 183965727911422330212319460664775130266627550940723564020724425017553011215160656881349635587376322462618675476815860165063152682523354526819/9782112594389955295718765683098305010667336593163933290497574096469166233687746401143976954199324766428676705042496292508431585984817046016*y^8 + 18448518011122045749364344340568997638817659917667839450418249641692615883610433170395938321153332618028663147031532576779118147217209671689023/899954358683875887206126442845044060981394966571081862725776816875163293499272668905245879786337878511438256863909658910775705910603168233472*y^7 + 5814291584368168023238421860005001535681831101362420141032286075968000910386413357707869152432425415901394177139433021979880775345433413744033/224988589670968971801531610711261015245348741642770465681444204218790823374818167226311469946584469627859564215977414727693926477650792058368*y^6 + 904774850072829381016402357419600885510087001911014869122558232301287633818203740266449596467244446379020718021871573145006766221205382437001/224988589670968971801531610711261015245348741642770465681444204218790823374818167226311469946584469627859564215977414727693926477650792058368*y^5 - 6543862877718484840585731809876848986676139335342680652573201546110248056050743282157276396798911466662100379528265243234093135684209146185/286975241927256341583586238152118641894577476585166410307964546197437274712778274523356466768602639831453525785685477968997355201085193952*y^4 - 16715009289566582582139384968957707370368832663716714843213038320347691348371202344177506719717820574229173645476703249932717653676335386049/9374524569623707158397150446302542301889530901782102736726841842449617640617423634429644581107686234494148508999058946987246936568783002432*y^3 + 1138065607640276545725395889387026771579245495369756360302370739403564368133196236909477297977629424088920618865526492133479461477299480595/203794012383124068660807618397881354388902845690915276885366127009774296535161383357166186545819265967264098021718672760592324708017021792*y^2 + 846877263000393544082924363809257050224558319434839294932757342623545131119321595328918883242487418246520537932075573293983686861724181335/14061786854435560737595725669453813452834296352673154105090262763674426460926135451644466871661529351741222763498588420480870404853174503648*y + 255335075707887734568934354942730571811406281597035315550916225893927843061331587868224353094252256983886377130646001535738025101979218540301/3515446713608890184398931417363453363208574088168288526272565690918606615231533862911116717915382337935305690874647105120217601213293625912 # 3 Loop Invariant -567033816211287859878389807172357444850144407555822632229660750565796106528617820179194794634001327517399146379565505411264528894660427899143945384431398488341566065668255338861/23389674711037562841513857420245162445741598579962388273893283049206354167573501634417549189893763050119034609406343720237481783328248377526438735036416376194061032542004454578804736*y^21 + 1077434095280780756317734719688662169239296950821071593691181309543540302574481273913038981796112016472993335540247459673653523178484116684244736810137425705781747542935691542235/2923709338879695355189232177530645305717699822495298534236660381150794270946687704302193648736720381264879326175792965029685222916031047190804841879552047024257629067750556822350592*y^20 + 13301188745466488975239064700090445515369342749847492858864235167128889408902113949956108591129417960258856612569347257424389551052997442637479612368645155474508434447269445197209/2923709338879695355189232177530645305717699822495298534236660381150794270946687704302193648736720381264879326175792965029685222916031047190804841879552047024257629067750556822350592*y^19 + 564861141893402130136359930118277272359557935517660559941719883579387257532922484316877780811084560928776794551984191923917677533615704294393387809048560335625285512807768837318147/23389674711037562841513857420245162445741598579962388273893283049206354167573501634417549189893763050119034609406343720237481783328248377526438735036416376194061032542004454578804736*y^18 + 715391677381336801799402536062144800885286463674667403945307246608026052071151177711010807126670704777183083972745997690677379733771182926702139957992268372436201701304241116421881/11694837355518781420756928710122581222870799289981194136946641524603177083786750817208774594946881525059517304703171860118740891664124188763219367518208188097030516271002227289402368*y^17 + 927396322486623354243936955883431406560934898900113600092750193816898522549230031970570819674674619390721139570255612204118459016477216257614801719738297870574365267195512901675713/23389674711037562841513857420245162445741598579962388273893283049206354167573501634417549189893763050119034609406343720237481783328248377526438735036416376194061032542004454578804736*y^16 - 76464118269527952713821288464697193713364741457530112826155750355304060470948758501500146091693514849136640386998029427125878939080352146279750065098383013514576673338238703909529/1670691050788397345822418387160368746124399898568742019563805932086168154826678688172682084992411646437073900671881694302677270237732026966174195359744026871004359467286032469914624*y^15 - 11339529585178354964237978048113688155135163272019744953343205626185457630973211975308823182669229774730010554737162614446950459257941695494919792651709924900279405801572764504758159/11694837355518781420756928710122581222870799289981194136946641524603177083786750817208774594946881525059517304703171860118740891664124188763219367518208188097030516271002227289402368*y^14 - 49844385733165612691694937547785913729436560903011209692272745985037566517294191672937258690256871125319459341936630279707600259386673073506318104387549169483901530539787343451438785/23389674711037562841513857420245162445741598579962388273893283049206354167573501634417549189893763050119034609406343720237481783328248377526438735036416376194061032542004454578804736*y^13 + 10562003351643327730242454971569996922139460322461607025412710888308728338052195496401167244224934353706351580309177345866671139247505052949422867351757682344770697243915145011497825/5847418677759390710378464355061290611435399644990597068473320762301588541893375408604387297473440762529758652351585930059370445832062094381609683759104094048515258135501113644701184*y^12 + 106497819944560881419710191508934090757715047796119711459073534498731005464277836399178602699142527679199542168602955040593121239045245648044720644687979246855798788080692961063357127/23389674711037562841513857420245162445741598579962388273893283049206354167573501634417549189893763050119034609406343720237481783328248377526438735036416376194061032542004454578804736*y^11 - 6273978127896465628192722739704887648866413439004506963949268932289315802551195310457806951494280611432098143850271292666286639091986984080065367066123475494043236496004133904606941/11694837355518781420756928710122581222870799289981194136946641524603177083786750817208774594946881525059517304703171860118740891664124188763219367518208188097030516271002227289402368*y^10 + 108356722875228954519938895475843344097305209921536576502381279405889462970087426429522524256826486321631765338452666825705497299994385219781234944555530157740341111602037795584241033/23389674711037562841513857420245162445741598579962388273893283049206354167573501634417549189893763050119034609406343720237481783328248377526438735036416376194061032542004454578804736*y^9 - 532477889057801679351202076249420474434170896393215182974804539036165704085334277080344109652953391018753642941394309064090710450898654109351163950905459983596259053120779579115367/1016942378740763601804950322619354888945286894780973403212751436922015398590152244974676051734511436961697156930710596532064425362097755544627771088539842443220044893130628459948032*y^8 - 39328762918722420130552991266502416166694194273030400091541586418527488716739309935851546821215345471270897313656476200202723384568622741682014072536545120913650501552252781884168167/2923709338879695355189232177530645305717699822495298534236660381150794270946687704302193648736720381264879326175792965029685222916031047190804841879552047024257629067750556822350592*y^7 - 7743494495684065381880581023849277257162050684370508497419649765106659015755373941325748251794292443957323698054477984408093164259671815312852863588608762752232418471807348507218239/1461854669439847677594616088765322652858849911247649267118330190575397135473343852151096824368360190632439663087896482514842611458015523595402420939776023512128814533875278411175296*y^6 + 9617094008251509739412560699834068039540420111354437352850136475479915382531170138432634171568197090673274520409267627617995822136974700688944698472511057996590981682470980087761413/1461854669439847677594616088765322652858849911247649267118330190575397135473343852151096824368360190632439663087896482514842611458015523595402420939776023512128814533875278411175296*y^5 + 310106623330119622612211999342817215766120124202687397044756907098503125232397721141454312812678864873291373154998533032087750862517689038010012839481094505392070554991538990226107/29833768764078524032543185485006584752221426760156107492210820215824431336190690860226465803435922257804891083426458826833522682816643338681682059995429051267934990487250579819904*y^4 - 585179688929742454429664280754222250517020937512528300757906661200526936113251700613309596999406262795115041346579348248957002839320728217979412437869736052470648235117717771663643/182731833679980959699327011095665331607356238905956158389791273821924641934167981518887103046045023829054957885987060314355326432251940449425302617472002939016101816734409801396912*y^3 - 53581985397602760371689801863656440455576415837931014126377422009474151839155010461326220636720709248556632313522396050372445808999401435623275432851002536078731569218320563531237/15889724667824431278202348790927420139770107730952709425199241201906490602971128827729313308351741202526518077042353070813506646282777430384808923258435038175313201455166069686688*y^2 + 61321028920922863755542939584408189800235802741168408904955525584745466473061685847255531963551781670245450070770874615419981928677823314732109463501078253617007069087981067156967/91365916839990479849663505547832665803678119452978079194895636910962320967083990759443551523022511914527478942993530157177663216125970224712651308736001469508050908367204900698456*y + 34720262823270292568155394211835793210064422153160193000245524820790655798683990951439663558790098777475646520034946384721940404111762179871068984955812084793040577061684840949119/91365916839990479849663505547832665803678119452978079194895636910962320967083990759443551523022511914527478942993530157177663216125970224712651308736001469508050908367204900698456 # 4 Loop Invariant -107924459055232762536350456937198530300983119987483148292972372229471926768991657351844944892651192137752681279012710584524454881011982970401525018610618190666209570056449827030926082999817365749990949742271395149259672442384005377112502886189493907710003/12265886976922574554904278343015094996473748443143011807167694957752166110189283771705728149044597523761840542035617319890807683407333330356056836707364397299067115182071462849652467188039982951419846425637920664252232497448859611264680106955868380630620815360*y^21 + 189817182026806373150930328561263860835969278910838043402049332735713849110716708219231676202294440001631087785050025268483132812791056302080350221948626825754598316901754889723857485200715734174476964946476548432841156543059315988619600776677677908871371/3066471744230643638726069585753773749118437110785752951791923739438041527547320942926432037261149380940460135508904329972701920851833332589014209176841099324766778795517865712413116797009995737854961606409480166063058124362214902816170026738967095157655203840*y^20 + 3983014877616707356983366146380612815713332167978505458812766889523936938100751008035508980311576984788294245806400052504272536674772847030307584094558890685570538968514361500492563405062581569038895476195657831480936601416555383766311609703879979144118371/1533235872115321819363034792876886874559218555392876475895961869719020763773660471463216018630574690470230067754452164986350960425916666294507104588420549662383389397758932856206558398504997868927480803204740083031529062181107451408085013369483547578827601920*y^19 + 32939471608522919819004747714748705953871302579246380396713024888323978711843714981597944328736035983724509164502599008253457138159044794778997549952889136840527919992001512787739508379385721493169100964799450311316431292886486347331277586058489659559323541/1362876330769174950544919815890566110719305382571445756351966106416907345576587085745080905449399724862426726892846368876756409267481481150672981856373821922118568353563495872183607465337775883491094047293102296028025833049873290140520011883985375625624535040*y^18 + 766359921545459445137892994023705213241468476965394558252916673466759778608606280711236007953126866939714979930083632004871625708348990265825675413757831495273399591494432158714096675494630053892919833930787222433460810371602633850343190636772351211213129777/6132943488461287277452139171507547498236874221571505903583847478876083055094641885852864074522298761880920271017808659945403841703666665178028418353682198649533557591035731424826233594019991475709923212818960332126116248724429805632340053477934190315310407680*y^17 + 549207826342536156531864321676045513679270508799981308601953198051692687823707770340325617457586921103607491212317175466461066714538630007974893665714444641654867264298405442077448343864589818042002865677125196536344382161115441177843554416382089633119603583/1362876330769174950544919815890566110719305382571445756351966106416907345576587085745080905449399724862426726892846368876756409267481481150672981856373821922118568353563495872183607465337775883491094047293102296028025833049873290140520011883985375625624535040*y^16 + 771211848237542873115394777287234686250771723548417443112507352623575893629500204983038877334668351925241826915903750837562159168760691705080788299733628587185364336611842759038269435391383963160075962057162590308376880643168473949688266624296262897524549731/876134784065898182493162738786792499748124888795929414797692496982297579299234555121837724931756965982988610145401237135057691671952380739718345479097456949933365370147961632118033370574284496529989030402708618875159464103489972233191436211133455759330058240*y^15 + 527207175564779260038703975874734098236722086497009942664575015605569552278045785963618273716351952600078772565580887551289277026928760058322710282653430860875960026134144483022131003752362990851979766943959550746454606176790079550770608885143859055652831909/408862899230752485163475944767169833215791614771433726905589831925072203672976125723524271634819917458728018067853910663026922780244444345201894556912146576635570506069048761655082239601332765047328214187930688808407749914961987042156003565195612687687360512*y^14 - 5516332715478088830702169113351341745930069879805518361328291379282519849847401864947186730082459884623544669078535692078046100944555040583913101311798444687525230898975882943119346976914971651274577835553984642400180428232071608411059922461630370081085051671/12265886976922574554904278343015094996473748443143011807167694957752166110189283771705728149044597523761840542035617319890807683407333330356056836707364397299067115182071462849652467188039982951419846425637920664252232497448859611264680106955868380630620815360*y^13 - 1352635067718895507805575079022360254463772788449849584018167964072372929616215169141657832860958905617350175008491737905694666727229660729640149559269857010063768931672663713078166162992782114756809295695547542476509437434392788863670127252116166868681170789/255539312019220303227172465479481145759869759232146079315993644953170127295610078577202669771762448411705011292408694164391826737652777715751184098070091610397231566293155476034426399750832978154580133867456680505254843696851241901347502228247257929804600320*y^12 - 13497017556830751356613434301599990840002392650848743566217677262612734657881117286750240342289302120405330241207098217921288002962393634693813412276786803868632850845830990855484819060993619649778147725885689521054041775950659036761753147509585906028274090491/2453177395384514910980855668603018999294749688628602361433538991550433222037856754341145629808919504752368108407123463978161536681466666071211367341472879459813423036414292569930493437607996590283969285127584132850446499489771922252936021391173676126124163072*y^11 - 7306267412273348232156008917494046095438510753277350582727602344322889301967554454798131870409444088481612069005815895978725545296687585442906963095286453118828230699066366648041683437036900159413842654973664915683420313393385851575035157733036431384854205841/6132943488461287277452139171507547498236874221571505903583847478876083055094641885852864074522298761880920271017808659945403841703666665178028418353682198649533557591035731424826233594019991475709923212818960332126116248724429805632340053477934190315310407680*y^10 - 8862047382824367749470251299881946406310328450627620910565685717395180479579114866092684605732390610601014250319886490733226815166166639596178023143823888406084194454927763631338776855164397603763975461572189859281407550184685549753777922611210137833829067137/12265886976922574554904278343015094996473748443143011807167694957752166110189283771705728149044597523761840542035617319890807683407333330356056836707364397299067115182071462849652467188039982951419846425637920664252232497448859611264680106955868380630620815360*y^9 + 5305386673458168400331122656850028958788013908725380910073010233720527854464900122000471592894555806230148403447564464559433280435303084040228314397840941057813355420712323153992700788126450202870682545420771110081565718401534188419350441470122507262899070987/533299433779242371952359927957178043324945584484478774224682389467485483051707990074162093436721631467906110523287709560469899278579710015480732030754973795611613703568324471724020312523477519626949844592953072358792717280385200489768700302429060027418296320*y^8 + 46581800455190770394719473225432747282521353187376961745260409609151316279170155989543318938529441103833688005261663137021002394977506015860603188295526965489488632473969401185194100078545698108827312712129223441097622822558465264055337615430607532953276734203/3066471744230643638726069585753773749118437110785752951791923739438041527547320942926432037261149380940460135508904329972701920851833332589014209176841099324766778795517865712413116797009995737854961606409480166063058124362214902816170026738967095157655203840*y^7 - 23226965949493356665475954016033839298030777151136940368670203845495536689079683905568462959970351562304809798316001109951393911971737365885123417159364171286072353044191495791835706836438899051329015472482873466460084216864017047575069878088540683738954151/766617936057660909681517396438443437279609277696438237947980934859510381886830235731608009315287345235115033877226082493175480212958333147253552294210274831191694698879466428103279199252498934463740401602370041515764531090553725704042506684741773789413800960*y^6 - 94390242981265994106167792756371586408546023361800227521986500697704494183874528111316103622038944850574193646130602481645054540799045177570040229260788490869613701646020191659948469728321395448770559013643640362258354907816196547849378636415038876655008213/7985603500600634475849139546233785804995929976004564978624801404786566477987814955537583430367576512865781602887771692637244585551649303617224503064690362824913486446661108626075824992213530567330629183358021265789213865526601309417109444632726810306393760*y^5 - 42380112062568557340482994002388505075572263679302023738158386610640467310944920219684130600344191640144282150147745443509924017042046064737706407773755522100694696784670799188817561523922547172019227559904720383820606861332976152529962943704306213232998089/5215088000392251086268825826111860117548362433309103659510074386799390352971634256677605505546172416565408393722626411518200545666383218688799675470818196130555746250880724000702579586751693431726125180968503683780711095854106977578520453637699141424583680*y^4 + 289332647962250633540842365520768119586824079414648456130889229617601188513299721027412049248631773155957461826926711340485656753208177576833377947551933103577700363194180482332531318108404317352201931673411448943220227018078139205939501425249166846206009041/63884828004805075806793116369870286439967439808036519828998411238292531823902519644300667442940612102926252823102173541097956684413194428937796024517522902599307891573288869008606599937708244538645033466864170126313710924212810475336875557061814482451150080*y^3 + 22606232668786773323443110936055432203392758051542233625539119848777249463369256942712922937447996052157398985440264389275540714395097393383646009817955295730769476082669930978104151146655431357804663472421014148153210351034917932571375931860957151558803123/8332803652800662061755623874330906926952274757569980847260662335429460672682937344908782709948775491686032976926370461882342176227807968991886437980546465556431464118255069870687817383179336244171091321764891755606136207506018757652635942225454062928410880*y^2 - 20568362970027518523633798856657849476054828274393502398084775712526355782165638146138214955475115251554133114602693317302401684558164413841117415452437015444267784300113922248097606144302974098728769443523930425417959422812670707803662924154370377915134911/23956810501801903427547418638701357414987789928013694935874404214359699433963444866612750291102729538597344808663315077911733756654947910851673509194071088474740459339983325878227474976640591701991887550074063797367641596579803928251328333898180430919181280*y - 1076018869606708076302123209425782630582435888926709723032789048891972969624122195177782414852681792432316655970014809101696575998922072241206651930925746141271606777049333823637397824392614195540023469138435253538759051152950793116805510896017206354759307/3194241400240253790339655818493514321998371990401825991449920561914626591195125982215033372147030605146312641155108677054897834220659721446889801225876145129965394578664443450430329996885412226932251673343208506315685546210640523766843777853090724122557504