# Manifold: Census Knot K8_49

# Number of Tetrahedra: 8

# Number Field
x^26 - 17*x^25 + 123*x^24 - 205*x^23 - 1770*x^22 + 16068*x^21 - 57335*x^20 + 140627*x^19 - 304136*x^18 + 499625*x^17 - 590235*x^16 + 608883*x^15 - 483430*x^14 + 27719*x^13 + 359487*x^12 - 251724*x^11 - 985*x^10 + 45067*x^9 - 9600*x^8 + 5932*x^7 - 3703*x^6 - 1351*x^5 + 1095*x^4 - 5*x^3 - 73*x^2 + 5*x + 1 

# Approximate Field Generator
-0.464022610255239 + 1.41500246698692*I

# Shape Parameters
1576285936090243334207372835669629139925022298486287881469943799/141335944737682235559325082865243278804746727542886187583616204*y^25 - 104980969565047894624232082680610799404733451737748571247024819633/565343778950728942237300331460973115218986910171544750334464816*y^24 + 738991388327370616807999611139512864160905503317631707077981166515/565343778950728942237300331460973115218986910171544750334464816*y^23 - 64830256261462424308405076255705745068470921421599408931487077566/35333986184420558889831270716310819701186681885721546895904051*y^22 - 5749472435365706609406711961047325566295728095247805417107800665199/282671889475364471118650165730486557609493455085772375167232408*y^21 + 48623258281712265986058402000902991682891674293602407056149571445011/282671889475364471118650165730486557609493455085772375167232408*y^20 - 163909011663803376936339935545355915846567683192292863585895145173075/282671889475364471118650165730486557609493455085772375167232408*y^19 + 775097963924083419735364216911846879547542936637631572541007692372597/565343778950728942237300331460973115218986910171544750334464816*y^18 - 1657656442647438289764681648126751832605518317983842615930804776019231/565343778950728942237300331460973115218986910171544750334464816*y^17 + 2598179264823731528513690361157628051009853539362447540396577044411981/565343778950728942237300331460973115218986910171544750334464816*y^16 - 718455717026602006157196227080264044135106434503193584443600511144497/141335944737682235559325082865243278804746727542886187583616204*y^15 + 1468058220048114387612088060969975730496671960083437161238963003941085/282671889475364471118650165730486557609493455085772375167232408*y^14 - 2147128747183302202316935835057462977734865590973011075643411618906487/565343778950728942237300331460973115218986910171544750334464816*y^13 - 219288623218471963331703711418246258826355387690403333658164656052703/282671889475364471118650165730486557609493455085772375167232408*y^12 + 124703644920930391462470050756532074543080393488027879930623809809035/35333986184420558889831270716310819701186681885721546895904051*y^11 - 857895428870778106777835267944433238224673993055495796339374502452365/565343778950728942237300331460973115218986910171544750334464816*y^10 - 129430488333236760320199434061760971261574301243798320329834664994101/282671889475364471118650165730486557609493455085772375167232408*y^9 + 75497212398592035478691717319125567518117339393910584148146648996915/282671889475364471118650165730486557609493455085772375167232408*y^8 + 1046659861934514312900015946945542636485767404059571004310445071295/565343778950728942237300331460973115218986910171544750334464816*y^7 + 2391863253599561587414960257756769045090600824719975017686357468313/35333986184420558889831270716310819701186681885721546895904051*y^6 - 10137791001469295092918678903724017171227905316563030594709777787291/565343778950728942237300331460973115218986910171544750334464816*y^5 - 10786301071927586321742131853243295879208166602936998122799865377119/565343778950728942237300331460973115218986910171544750334464816*y^4 + 297341484644406845232162550935578393357436186569581671331494245035/70667972368841117779662541432621639402373363771443093791808102*y^3 + 195279326616652019408922914134750182826203936544367529167581119109/141335944737682235559325082865243278804746727542886187583616204*y^2 - 119984978949027363971263554225391867911054891477641628129990439003/565343778950728942237300331460973115218986910171544750334464816*y - 15999566785990562610910058900661616839151202817552598699436628169/565343778950728942237300331460973115218986910171544750334464816

-6736691696899900685583786982615861590729944444162405669610810677/565343778950728942237300331460973115218986910171544750334464816*y^25 + 111529337623511708829595999608909329573339282863723675493465607217/565343778950728942237300331460973115218986910171544750334464816*y^24 - 389500307211976261611697972784438205616983559648305552394931449723/282671889475364471118650165730486557609493455085772375167232408*y^23 + 517057358624664540498619921507299724834818124302401584708413745899/282671889475364471118650165730486557609493455085772375167232408*y^22 + 6194110206676948635247328326012471083715707733356502408739538590859/282671889475364471118650165730486557609493455085772375167232408*y^21 - 51372925403384606489894058290140543629507451003060259945511134451549/282671889475364471118650165730486557609493455085772375167232408*y^20 + 340509480478446467033353535144745114647730454010456240237800579699089/565343778950728942237300331460973115218986910171544750334464816*y^19 - 795401614212112351301712926868765550485769422254558531201486969307469/565343778950728942237300331460973115218986910171544750334464816*y^18 + 1693212745215223123336780310837168463174951846030806880987067042752655/565343778950728942237300331460973115218986910171544750334464816*y^17 - 1304054225562121343819343837023923962145375700255796684131992185704441/282671889475364471118650165730486557609493455085772375167232408*y^16 + 1402958800144583222322553234401373237153052999602178544518750095136757/282671889475364471118650165730486557609493455085772375167232408*y^15 - 2836722087602613078950700528052676860492477927701385747816414052625339/565343778950728942237300331460973115218986910171544750334464816*y^14 + 123432054442162698586355682827219967008088750384197053638888565675641/35333986184420558889831270716310819701186681885721546895904051*y^13 + 178366065519192926103407071018489477473325082521650310262622160638505/141335944737682235559325082865243278804746727542886187583616204*y^12 - 2123068575833397461507746781914075471843962424827922966689493231690361/565343778950728942237300331460973115218986910171544750334464816*y^11 + 47121570126775670808845203266717656920514400832089997530316786354146/35333986184420558889831270716310819701186681885721546895904051*y^10 + 175899682721468276851027525241730777701864450376065693992962504841663/282671889475364471118650165730486557609493455085772375167232408*y^9 - 152508014263696744950559538520060595548650202385264414492508929374273/565343778950728942237300331460973115218986910171544750334464816*y^8 - 1736896726427208713267328648140113038606822132539792944641637976791/282671889475364471118650165730486557609493455085772375167232408*y^7 - 41628152327100806561047605581615042519751906190894845945593949434295/565343778950728942237300331460973115218986910171544750334464816*y^6 + 6667409345647250309310729707887061832700856129539078572257771892235/565343778950728942237300331460973115218986910171544750334464816*y^5 + 6173601513121741363910340138397524834208792784838765226728861694179/282671889475364471118650165730486557609493455085772375167232408*y^4 - 488395990473841121434700393724921083537759009524701931477758869399/141335944737682235559325082865243278804746727542886187583616204*y^3 - 872883145087064158833542567756780494391349822565973777258492737147/565343778950728942237300331460973115218986910171544750334464816*y^2 + 101931883313867021219103495351548199728656635217779088686432966757/565343778950728942237300331460973115218986910171544750334464816*y + 7058525019027028040213106413934367884372004226327951151146972131/282671889475364471118650165730486557609493455085772375167232408

3361365406578495417526901482410846252505929520724752051865557055/282671889475364471118650165730486557609493455085772375167232408*y^25 - 27766387457298251057111775190916130601886069648184435258482230331/141335944737682235559325082865243278804746727542886187583616204*y^24 + 386783811321625911877118591319280950283662816772193522493559309347/282671889475364471118650165730486557609493455085772375167232408*y^23 - 251392050309505718144003286436772212447222940685852344239035253559/141335944737682235559325082865243278804746727542886187583616204*y^22 - 774702942381318906685539732235112506775210249849359851277098570319/35333986184420558889831270716310819701186681885721546895904051*y^21 + 12763226874683703790843077631981253037840374856473590882506720107809/70667972368841117779662541432621639402373363771443093791808102*y^20 - 168162496436352048195427977969429318858193433222075333005003355274701/282671889475364471118650165730486557609493455085772375167232408*y^19 + 195602539663746778216866283315719449795555681876707343314693162241709/141335944737682235559325082865243278804746727542886187583616204*y^18 - 415786264671117621505602109602318474752393456993640910991310885240205/141335944737682235559325082865243278804746727542886187583616204*y^17 + 1272762162962681662685451861630836762368051674961935507411161075783889/282671889475364471118650165730486557609493455085772375167232408*y^16 - 678038635574219141292633833458339406347738610166245514659401982317927/141335944737682235559325082865243278804746727542886187583616204*y^15 + 1366717857439492572649010000955594821196844369553185424793794356990323/282671889475364471118650165730486557609493455085772375167232408*y^14 - 932702495722731094412624275391751610685095332967965145709946655271621/282671889475364471118650165730486557609493455085772375167232408*y^13 - 197497807867016017503212850677343220582138974901561938344573923363901/141335944737682235559325082865243278804746727542886187583616204*y^12 + 1054566215587193028157159802611589135042709365426478705404667996732323/282671889475364471118650165730486557609493455085772375167232408*y^11 - 350999157635396166828873113452162859941087862742844674673122495162047/282671889475364471118650165730486557609493455085772375167232408*y^10 - 23021867939487275697814609878388885655860043467021610686188532272765/35333986184420558889831270716310819701186681885721546895904051*y^9 + 75408429470802514965923282775954734179282127940207543142833658819805/282671889475364471118650165730486557609493455085772375167232408*y^8 + 598966386252348881791032762461097660015956606911463144417089894507/282671889475364471118650165730486557609493455085772375167232408*y^7 + 20509350078537531124728638123096500289802478663779515309406440457649/282671889475364471118650165730486557609493455085772375167232408*y^6 - 1267976868820462478855298524107983595569928863581227907155274349841/141335944737682235559325082865243278804746727542886187583616204*y^5 - 6145781904709694784503853565733474509060434516435418060763577114591/282671889475364471118650165730486557609493455085772375167232408*y^4 + 118690363364740262533064239614114969434749140498185570487259210192/35333986184420558889831270716310819701186681885721546895904051*y^3 + 425279487582638183616200016869841588389607002086589487831015096525/282671889475364471118650165730486557609493455085772375167232408*y^2 - 14055940150231752917504022809923613175938522690872031674522837887/70667972368841117779662541432621639402373363771443093791808102*y - 6259744622398007218197000849226898059370494456875028834647783985/282671889475364471118650165730486557609493455085772375167232408

-43805263525214541657529655837302780090225762686392836154508218575/29397876505437904996339617235970601991387319328920327017392170432*y^25 + 186627913988605154104021688880516887474227400507186956413883860235/7349469126359476249084904308992650497846829832230081754348042608*y^24 - 5431411078403080162038259784607162930860874149810776519774383588321/29397876505437904996339617235970601991387319328920327017392170432*y^23 + 4707223739136728959037811253043340506162000963819510181972705404823/14698938252718952498169808617985300995693659664460163508696085216*y^22 + 18910376820956825143925874915453434131774051722287335059676197502451/7349469126359476249084904308992650497846829832230081754348042608*y^21 - 44034364427796456862152099711533605025088519242046585075862582281187/1837367281589869062271226077248162624461707458057520438587010652*y^20 + 2562556261797676386368073404207804214007488380466569204114946756427897/29397876505437904996339617235970601991387319328920327017392170432*y^19 - 807828838680661835468033072524226592659713819406894896409893857558407/3674734563179738124542452154496325248923414916115040877174021304*y^18 + 1785996942858742960571412983190281098445810888003394830426430672552125/3674734563179738124542452154496325248923414916115040877174021304*y^17 - 24200956850319919418001917464937428178469457257883482189255265216996775/29397876505437904996339617235970601991387319328920327017392170432*y^16 + 15310839268578421952269012847622243071622471049516872244280537018029833/14698938252718952498169808617985300995693659664460163508696085216*y^15 - 34171925324691206450009972899863402906574291157912508636304068804723491/29397876505437904996339617235970601991387319328920327017392170432*y^14 + 30168350999776361837598347179635136550530629332588637671814670362539203/29397876505437904996339617235970601991387319328920327017392170432*y^13 - 5335255872207600478728835061009780045536274057220538526825997910699469/14698938252718952498169808617985300995693659664460163508696085216*y^12 - 8401207188585649270865234457616502375631417981967651943920344560469939/29397876505437904996339617235970601991387319328920327017392170432*y^11 + 9858491603801673147349899798041677448769442976814890526339676038129773/29397876505437904996339617235970601991387319328920327017392170432*y^10 - 435145140257600874163194036193363429009008654380400105657120653455887/3674734563179738124542452154496325248923414916115040877174021304*y^9 + 671882929909844066560041523997504444328972455044831397683563969218019/29397876505437904996339617235970601991387319328920327017392170432*y^8 + 5770136483719695062261775055701661026974759265990714667981878894711/29397876505437904996339617235970601991387319328920327017392170432*y^7 - 319469986869596916033473465776070434824249819251663806297846808619345/29397876505437904996339617235970601991387319328920327017392170432*y^6 + 45552281507097210786031709778722736949297520029328688963917117852907/7349469126359476249084904308992650497846829832230081754348042608*y^5 - 30033214118204522491092247653257901414717844529259538040039276408115/29397876505437904996339617235970601991387319328920327017392170432*y^4 - 537863215883825282538210347631706426832013695469288422128937166875/3674734563179738124542452154496325248923414916115040877174021304*y^3 + 4714253855185245556971181014397074116054154995896402483109851647507/29397876505437904996339617235970601991387319328920327017392170432*y^2 - 418276475746325182645586932271516075200184305036898779198911058681/14698938252718952498169808617985300995693659664460163508696085216*y - 96121604993939898971699940721908572052693275487412517354597223661/29397876505437904996339617235970601991387319328920327017392170432

-11945276569074744825329907271056449082642291016684198987916167611/3109390784229009182305151823035352133704428005943496126839556488*y^25 + 98889699499447157596485777396290960956326505547031048979873215155/1554695392114504591152575911517676066852214002971748063419778244*y^24 - 1381096290558029265402972937884323707006911000995657900767499503655/3109390784229009182305151823035352133704428005943496126839556488*y^23 + 913650512791383893881472818375307099582105323698799202719345192023/1554695392114504591152575911517676066852214002971748063419778244*y^22 + 2752892870797613328905026787770472202425578906329336172201069214315/388673848028626147788143977879419016713053500742937015854944561*y^21 - 45574575146600357018377676553110405848963677474141538093197181921293/777347696057252295576287955758838033426107001485874031709889122*y^20 + 603122596831832393338742667936064683291263351136143906678502955749409/3109390784229009182305151823035352133704428005943496126839556488*y^19 - 701746785998254990576157054917495889574457440653826944954791944088953/1554695392114504591152575911517676066852214002971748063419778244*y^18 + 1489338916431685975479325173555257418881786845167732005544151205239789/1554695392114504591152575911517676066852214002971748063419778244*y^17 - 4568257663756913414455929517607173804725683747669100073731876483807621/3109390784229009182305151823035352133704428005943496126839556488*y^16 + 2425571873520020492510912288037423468665765124837416689374093542049383/1554695392114504591152575911517676066852214002971748063419778244*y^15 - 4833648752140982148184519875115773281652046592728378884064901214057239/3109390784229009182305151823035352133704428005943496126839556488*y^14 + 3281325384588154093096900695701353763673566889658631149512185237531265/3109390784229009182305151823035352133704428005943496126839556488*y^13 + 751610728004177736804033820063948649256564676576249419219414359934253/1554695392114504591152575911517676066852214002971748063419778244*y^12 - 3947751861781086473687576416898630855186718919804399137950957064474311/3109390784229009182305151823035352133704428005943496126839556488*y^11 + 1324359684598235237302217709006406611722816999335555828876319987510259/3109390784229009182305151823035352133704428005943496126839556488*y^10 + 93465383862190784888123230512712928988452022576483474165175179290425/388673848028626147788143977879419016713053500742937015854944561*y^9 - 323657214831363808539688873156198617007938443683665863153078210222961/3109390784229009182305151823035352133704428005943496126839556488*y^8 - 12343203427654694106775147219135254247127987206119548883487307929215/3109390784229009182305151823035352133704428005943496126839556488*y^7 - 73500015163845711849749686686620142797364775246776210607418301875757/3109390784229009182305151823035352133704428005943496126839556488*y^6 + 5990383014930033872328459286640635571413245261268796914146471280597/1554695392114504591152575911517676066852214002971748063419778244*y^5 + 25030230472003361968346915973276252863944248326225396733784384113939/3109390784229009182305151823035352133704428005943496126839556488*y^4 - 487540465248083200493869756410334871692221407144739552328057506629/388673848028626147788143977879419016713053500742937015854944561*y^3 - 1920270790850332742822038825371018111402915534566351911869154214593/3109390784229009182305151823035352133704428005943496126839556488*y^2 + 50952712886246032404980726002562631730897370007202296380030386909/777347696057252295576287955758838033426107001485874031709889122*y + 42551584679987414145551582455009281718169545126573527814911558357/3109390784229009182305151823035352133704428005943496126839556488

9479603635219824659066586426965083649673408153453570278594133271/34203298626519101005356670053388873470748708065378457395235121368*y^25 - 80799195129495435267692874559851211184680726143943819554719811899/17101649313259550502678335026694436735374354032689228697617560684*y^24 + 1168315265730785086646246358626665412067357864182203810577825067451/34203298626519101005356670053388873470748708065378457395235121368*y^23 - 955880814001158876521394914785803507975833776652920109755608066511/17101649313259550502678335026694436735374354032689228697617560684*y^22 - 2160748750661037194463600777048852461857847107023045555709768566131/4275412328314887625669583756673609183843588508172307174404390171*y^21 + 38464472199864835307857189878156310673053857106015539904422645453827/8550824656629775251339167513347218367687177016344614348808780342*y^20 - 540977083991934561917264320907636740303438281112014602576591798868213/34203298626519101005356670053388873470748708065378457395235121368*y^19 + 639797326995636586950086705068485795488162299316636537455695863961333/17101649313259550502678335026694436735374354032689228697617560684*y^18 - 1343872404221861590676783573461987754457035175605797052475049923611769/17101649313259550502678335026694436735374354032689228697617560684*y^17 + 4273669220655367235807021242695320609055720527538973267883581514793049/34203298626519101005356670053388873470748708065378457395235121368*y^16 - 2272618037758734303497181343890047345971092682852382728013148957672383/17101649313259550502678335026694436735374354032689228697617560684*y^15 + 4100885147262152681138721433385223960072470050149771929123308644529723/34203298626519101005356670053388873470748708065378457395235121368*y^14 - 2804440644998526315238432748252224393212603894622475195211141865175701/34203298626519101005356670053388873470748708065378457395235121368*y^13 - 803031814689844717305915209902903572450267889992254193681206196161601/17101649313259550502678335026694436735374354032689228697617560684*y^12 + 4786810252205898411890025517784658667962134894712311528293886652055371/34203298626519101005356670053388873470748708065378457395235121368*y^11 - 1879956333944130562541095176692685639642859976748945568870880669393831/34203298626519101005356670053388873470748708065378457395235121368*y^10 - 188681159687575646890806487320299922049547673932878317980434018745859/4275412328314887625669583756673609183843588508172307174404390171*y^9 + 998564221285000881077240423302786321807798659823655169594197056008085/34203298626519101005356670053388873470748708065378457395235121368*y^8 + 34230883360626536764595705153501690240705274705309339126325318810499/34203298626519101005356670053388873470748708065378457395235121368*y^7 + 29107997758471694479058612202837190775555535631850019476336576141785/34203298626519101005356670053388873470748708065378457395235121368*y^6 - 15338911666406296192836747141711046349508569157697755628926192623497/17101649313259550502678335026694436735374354032689228697617560684*y^5 - 51268661799715160983360530481088175337931450219691052803175260537687/34203298626519101005356670053388873470748708065378457395235121368*y^4 + 1787860052789323081625963095536353184773988732065850435528174233474/4275412328314887625669583756673609183843588508172307174404390171*y^3 + 4983012863693292716776551469373302248381278995298912372385175140661/34203298626519101005356670053388873470748708065378457395235121368*y^2 - 229738982980058000301436640054143718193752055983684808527396073799/8550824656629775251339167513347218367687177016344614348808780342*y - 58242036243007132921718866671604500144317528423278337619762345449/34203298626519101005356670053388873470748708065378457395235121368

-2504602792065606827546186806453225699173434302443557209210783799/282671889475364471118650165730486557609493455085772375167232408*y^25 + 84160740359396134696644747914377810247864765620633994970226564817/565343778950728942237300331460973115218986910171544750334464816*y^24 - 599442026600636713711636676388353054307352939751042726192394060965/565343778950728942237300331460973115218986910171544750334464816*y^23 + 227132581288366956664820071874667864070288122051653687240259509447/141335944737682235559325082865243278804746727542886187583616204*y^22 + 4519929417037169160872123463776572784828100724851982497747782799159/282671889475364471118650165730486557609493455085772375167232408*y^21 - 39333748536503824252047766760970903338631534915645661459030848293699/282671889475364471118650165730486557609493455085772375167232408*y^20 + 67903155486855180805910227432324503253994463147042664302572173764847/141335944737682235559325082865243278804746727542886187583616204*y^19 - 651306202088836234460693725457385861633045822222834275763414954366509/565343778950728942237300331460973115218986910171544750334464816*y^18 + 1398286528090619337258722350582511971567708380397092284513137263232883/565343778950728942237300331460973115218986910171544750334464816*y^17 - 2237208770361214651224971920788807550851390508779839336309642552409823/565343778950728942237300331460973115218986910171544750334464816*y^16 + 635137214174177624535340759560910649880409157774081866989604044473313/141335944737682235559325082865243278804746727542886187583616204*y^15 - 162555281638111421870600730108579146829016533854606050769707826344238/35333986184420558889831270716310819701186681885721546895904051*y^14 + 1986055165347352910345612645061838905352176083797642715953634810613253/565343778950728942237300331460973115218986910171544750334464816*y^13 + 81752241489704952288445435945424205263828024791048250276497847663717/282671889475364471118650165730486557609493455085772375167232408*y^12 - 837532295847611075122806472638708552725529564161671694435327397735941/282671889475364471118650165730486557609493455085772375167232408*y^11 + 867125523739979045132860642285758644430556254397895042707702629776459/565343778950728942237300331460973115218986910171544750334464816*y^10 + 84956784720636502652352104291715640811755724095372146697428123215311/282671889475364471118650165730486557609493455085772375167232408*y^9 - 9482141465700707444290147825831264045518672587733088282030937589024/35333986184420558889831270716310819701186681885721546895904051*y^8 - 526442072625486883164519220589687133508429538327807992040203909873/565343778950728942237300331460973115218986910171544750334464816*y^7 - 15007274628610069607124141262640112139977369212064047053346207491891/282671889475364471118650165730486557609493455085772375167232408*y^6 + 12691141152232709780749205317166690186830567978816361846025861364611/565343778950728942237300331460973115218986910171544750334464816*y^5 + 9086725333832801776493391589998365929618064934708831031030922940593/565343778950728942237300331460973115218986910171544750334464816*y^4 - 336855287686861291318042015308509573106037586330344779800615077259/70667972368841117779662541432621639402373363771443093791808102*y^3 - 348513056387582005690728198816536740932415098215229682463990893221/282671889475364471118650165730486557609493455085772375167232408*y^2 + 131175241600962629537271306109143193957897796913503117150431762215/565343778950728942237300331460973115218986910171544750334464816*y + 11474199881949677103087791478443209157860605353475674873245062887/565343778950728942237300331460973115218986910171544750334464816

-65125973932626157160514992987292740740794920729848964406293151/70667972368841117779662541432621639402373363771443093791808102*y^25 + 8736202405600302184839436903258681973139276039026104277304997815/565343778950728942237300331460973115218986910171544750334464816*y^24 - 62236080591788824658778370280279333300765545285910922941098148593/565343778950728942237300331460973115218986910171544750334464816*y^23 + 23841132749861585504221090529208754826598752222571832599333657475/141335944737682235559325082865243278804746727542886187583616204*y^22 + 461522143952442581687942217139840201417424507883032513292229556127/282671889475364471118650165730486557609493455085772375167232408*y^21 - 4062948192154174152992836758984588334660061353730533098349669418867/282671889475364471118650165730486557609493455085772375167232408*y^20 + 14153468729798840633576475411004063873089967112713721866644787297493/282671889475364471118650165730486557609493455085772375167232408*y^19 - 69480539564476907924813155475221461506601170170504916727034650815719/565343778950728942237300331460973115218986910171544750334464816*y^18 + 151905116868156162089928519714830578721146687195941254114904280553381/565343778950728942237300331460973115218986910171544750334464816*y^17 - 248343634257918814919431919689891091988763785925045453034641912067319/565343778950728942237300331460973115218986910171544750334464816*y^16 + 75154501531022140353059861452571159062876736389244424565170289082289/141335944737682235559325082865243278804746727542886187583616204*y^15 - 164744909340980165603316585265575895774802076291219877517593123409675/282671889475364471118650165730486557609493455085772375167232408*y^14 + 273104425230997174575642188542346499048435815830173378781923717964141/565343778950728942237300331460973115218986910171544750334464816*y^13 - 28756267941437638052609272316894138670576691600186516406429644939713/282671889475364471118650165730486557609493455085772375167232408*y^12 - 14281322185914441175437121672429337261931038985442943531801623375375/70667972368841117779662541432621639402373363771443093791808102*y^11 + 91326904754364532418774857436901701478970947633475558811474628871859/565343778950728942237300331460973115218986910171544750334464816*y^10 - 9461009789165429245769365032500777680678829868099164915569795577719/282671889475364471118650165730486557609493455085772375167232408*y^9 + 277334816917498361473955030204107284572859168616336576525382086061/282671889475364471118650165730486557609493455085772375167232408*y^8 + 843272107481396892092801636150733360493581301451630352745286139367/565343778950728942237300331460973115218986910171544750334464816*y^7 - 745963362364450897346783854533706663338000699806746743304552184807/141335944737682235559325082865243278804746727542886187583616204*y^6 + 1494828335281336943204733111572651761355612049632927236369949248373/565343778950728942237300331460973115218986910171544750334464816*y^5 + 23663663510695154149457124197143209241914862958606072502531778821/565343778950728942237300331460973115218986910171544750334464816*y^4 - 32585642673048689257693003362708432440225669143585006321780134101/141335944737682235559325082865243278804746727542886187583616204*y^3 + 3734371170205945153869051034576330104053054899464377133351982463/141335944737682235559325082865243278804746727542886187583616204*y^2 + 1394943846581424893480739277304208729155331911233774835256232265/565343778950728942237300331460973115218986910171544750334464816*y + 54899410906719336754944110695088328643218570468000479638658279/565343778950728942237300331460973115218986910171544750334464816


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

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

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

# f Combinatorial flattening
{0, -1, -2, 2, -1, 2, -1, 2}

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

# 1 Loop Invariant
-682139161944762515055263321535429461196586739087819997579944170461/565343778950728942237300331460973115218986910171544750334464816*y^25 + 2833577132371620407733172328787439851156029631078615868207834613935/141335944737682235559325082865243278804746727542886187583616204*y^24 - 79548292127678603795975052432213267417672298999914206730749167488543/565343778950728942237300331460973115218986910171544750334464816*y^23 + 54635561143414324008450485015379780605677422126209875522059076550429/282671889475364471118650165730486557609493455085772375167232408*y^22 + 312350721831084874420767700864597147039986722810747206958110751001381/141335944737682235559325082865243278804746727542886187583616204*y^21 - 1310068082113334292749646511981800102533570446824948789251577143547007/70667972368841117779662541432621639402373363771443093791808102*y^20 + 35082902910288937123318986167322416668781098627231095955792074384974411/565343778950728942237300331460973115218986910171544750334464816*y^19 - 10305470299071861561473671957826544244474856622097556742549429361516617/70667972368841117779662541432621639402373363771443093791808102*y^18 + 43946415535157723318104888275201669031963462832021981172617434966301151/141335944737682235559325082865243278804746727542886187583616204*y^17 - 273296694549347729840445739423363727763814937346150049102477002163912309/565343778950728942237300331460973115218986910171544750334464816*y^16 + 148843051356557982075137229900678549362591919423153234056729651933335337/282671889475364471118650165730486557609493455085772375167232408*y^15 - 301186697283318956098301479358021417823860648794752745163983918068391429/565343778950728942237300331460973115218986910171544750334464816*y^14 + 214514212045594173303851083063299226284090619098308916890598861476615349/565343778950728942237300331460973115218986910171544750334464816*y^13 + 31458367822785217357361593257822816869429898813971512607610323218891361/282671889475364471118650165730486557609493455085772375167232408*y^12 - 220348552167788624673242522755998380947808761930787608585246715712309761/565343778950728942237300331460973115218986910171544750334464816*y^11 + 86308207760108750928441265980512170456712429633172225840744037194155159/565343778950728942237300331460973115218986910171544750334464816*y^10 + 8521784656919791787183394406592855569661451579446846064117619380926699/141335944737682235559325082865243278804746727542886187583616204*y^9 - 17292147705604318796901073970857352229378923728963617748947345918175123/565343778950728942237300331460973115218986910171544750334464816*y^8 - 433904156645669345405112764861436147474092375757377301990640471400447/565343778950728942237300331460973115218986910171544750334464816*y^7 - 4164736009106474646386154904769045919031933540022401051305040858743467/565343778950728942237300331460973115218986910171544750334464816*y^6 + 238253719173360264209511740778647519172047370460477427867984001385281/141335944737682235559325082865243278804746727542886187583616204*y^5 + 1279174260104566936815755164751702777259124334031772609481557933906091/565343778950728942237300331460973115218986910171544750334464816*y^4 - 15254750274728818330416559384070662205420299035896213243023628400984/35333986184420558889831270716310819701186681885721546895904051*y^3 - 96655753165583885421244219043320495006284924643468460981221998458831/565343778950728942237300331460973115218986910171544750334464816*y^2 + 6030531575664828751894224383156929118695667864668990323600471755509/282671889475364471118650165730486557609493455085772375167232408*y + 2165798793251891820446308912744762894716579967519306382441632312557/565343778950728942237300331460973115218986910171544750334464816

# 2 Loop Invariant
-16533356383762387550857112795568070776880579530587230994486082228220749678636597665181626626336861885949099628372627566532527105282123598635937319/9141198609638704467449506031899097374562299087444789351574868878218191107112337857172332407435549462180320641360246043759094100644864903273291904*y^25 + 366312755690952366971839951098377016628238380439819179382339866076857307856826301298394078255330404778884960649925579189778230015716587059701358433/12188264812851605956599341375865463166083065449926385802099825170957588142816450476229776543247399282907094188480328058345458800859819871031055872*y^24 - 7713456963126949526418769458535911946383481595169398675083286395783199550305456810015019443049302538906511090259258615208052096412994347548802825039/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^23 + 2650541841716328451816087601669912968545232406888029392469627279566333277790633250455558937567474264183301058232417147493681598403737363152647296405/9141198609638704467449506031899097374562299087444789351574868878218191107112337857172332407435549462180320641360246043759094100644864903273291904*y^22 + 60561655871412662474554913427853311266499815707689577235248057065795794051888000893165377941419144933437046659676390567955680372098915704248056840991/18282397219277408934899012063798194749124598174889578703149737756436382214224675714344664814871098924360641282720492087518188201289729806546583808*y^21 - 508127209903665475634187041788840394252107271330339432637511497387365757291622745064734672543707312335359014160418908797504451662768179452102400836785/18282397219277408934899012063798194749124598174889578703149737756436382214224675714344664814871098924360641282720492087518188201289729806546583808*y^20 + 567074675156140806371507987941425638649314741956039516538257217468044172249744859618138874004419020484398304766434099052706839829001162546502439495445/6094132406425802978299670687932731583041532724963192901049912585478794071408225238114888271623699641453547094240164029172729400429909935515527936*y^19 - 7996151906723114866298969796175713022574826672534437741734848951041891579201997189717427678810299892214632629736377791547682097435040051424040990843479/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^18 + 5682544595816268949434950147585333234827008811673826100704233081414304026604309316006659617632900012839901157618092984902841935685223636752098669387689/12188264812851605956599341375865463166083065449926385802099825170957588142816450476229776543247399282907094188480328058345458800859819871031055872*y^17 - 26503533827365092619315478332138314820369338300706867214942385107507860754227046125119514748564284183829894636488841528920399194737278679443146677328547/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^16 + 14431384821692916772388413261604599777329794529250714420062896290109740320777987530492004970470224914882939662888092138073597383693031584175999436609723/18282397219277408934899012063798194749124598174889578703149737756436382214224675714344664814871098924360641282720492087518188201289729806546583808*y^15 - 7293936656245740173725181838531535561584609499248970745134617477512943868813977941340648075868679621538616854156237267221731338999679991923867227645017/9141198609638704467449506031899097374562299087444789351574868878218191107112337857172332407435549462180320641360246043759094100644864903273291904*y^14 + 20744757847202200435898480618006430362045889512330708047748679453090295363951947200470740370929457728897837938576137999631726303559054012182562257874707/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^13 + 3086117691883098687860574191392197723076291456496496023811122882548567155235603684424035515984701961328468136864305501428558414667924241194422356100595/18282397219277408934899012063798194749124598174889578703149737756436382214224675714344664814871098924360641282720492087518188201289729806546583808*y^12 - 51606308047468457607203776265278954571446792293892851230211681150193164009482349600177981624226734729951851928469647353534919944144503209889933928099/87896140477295235263937557999029782447714414302353743765142969982867222183772479395887811609957206367118467705386981189991289429277547146858576*y^11 + 8459001050721461591325089914093553543855586023740686976878653928833024572144216524730312990245838488074834034129631148803844588391129844804173364986047/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^10 + 15897227412870978925506425521050758438291091596623726803491459740514807715113723167772090535131792552740901810067397107153986737610281255823214375953/175792280954590470527875115998059564895428828604707487530285939965734444367544958791775623219914412734236935410773962379982578858555094293717152*y^9 - 144291767448150670739127855050519863254081959915941614995663322762111159805234787260992555377897277378164633866717700917629507592270175563961667220399/3047066203212901489149835343966365791520766362481596450524956292739397035704112619057444135811849820726773547120082014586364700214954967757763968*y^8 - 17655664620339550798941097992821896238968477194437339696263849984294428637632992127321945290997452699970273082249458644780306073415962513784773073507/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^7 - 7723813538244028275828874279532850492666782385146937152318356303553920796795112256093149022182133802254558815803086220341497023995427167567215515263/703169123818361882111500463992238259581715314418829950121143759862937777470179835167102492879657650936947741643095849519930315434220377174868608*y^6 + 91537085128956660865282470686239938986570005917269306523133771676764209999407625256812392847553310130228874246794669939035965703780263105556456507669/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^5 + 124560287833330043276169223220765127978216533390711345984735253883438099990467040933355777886825464215461514021844376412521507953448262320618362279519/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616*y^4 - 3140970138939455037124536258762681330200011712366904945819361408295385613367476884061565890913218096699540757697577881411619750408450038718905680833/4570599304819352233724753015949548687281149543722394675787434439109095553556168928586166203717774731090160320680123021879547050322432451636645952*y^3 - 2283923691295233381830638080373397371038098037528934220492796427205870676608776322405342521883772444270221328881014124065953138943863137481486974045/9141198609638704467449506031899097374562299087444789351574868878218191107112337857172332407435549462180320641360246043759094100644864903273291904*y^2 + 444458472320224759111299049739018403922755749768979115181883825586216812289200190257472679150640336131936175810877625364848077908510115932999393963/12188264812851605956599341375865463166083065449926385802099825170957588142816450476229776543247399282907094188480328058345458800859819871031055872*y + 192200443468629872578352357132440248661659085742025947022463981910271762014435021262583619603462183904844256519629731659425029165355661366547745817/36564794438554817869798024127596389498249196349779157406299475512872764428449351428689329629742197848721282565440984175036376402579459613093167616

# 3 Loop Invariant
3687259815789067162899336840846621133597304053956499158664546251792899376341825448695115573932421251194678536149259513412613109221009206393310523211783847997667842668513995165703559452235/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^25 - 30605505862545088758781593793048932862243722395258211802000486784323151381472947137456412655286877642779661870663854023316808775589738894651944200114380925920513198777763805385314420502653/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^24 + 429083027678327944440228113923567203894100917984207401596453037351798054319118727150239819405043030964315170374058491946962857326601751331806231721178830340421385885286387177905534135003283/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^23 - 292214564909300737245900784050003107349513420370470053992892194781492614104047416428290211438552992434348900505314142470043307395541001854959286966263755555762612307481830446018911927873991/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^22 - 845080980984823830215901060743103267602442981975907739043288884519779096333306762799295534198175315448738705960376951811532017768969060486397510758935115783251676855217767234679216493405691/632719938031909346940347671937832310463189185883357892605139974066834311032777534800375976276055678742977797523437823681419247192148816775144150771763200013346235295573509565400349359104*y^21 + 14137094584909484517751212463396537032901462496756082697946624256049010696531758211430673968196033890966242336848429845937029763465481483116627504929810566577661803382555738297951066653392709/1265439876063818693880695343875664620926378371766715785210279948133668622065555069600751952552111357485955595046875647362838494384297633550288301543526400026692470591147019130800698718208*y^20 - 188815291526688225452778320569223360332313967114664904870046664924832377610788265401888011600653552490280979412596261801551907679654565514300279683305585539153971309535198511339805912175410225/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^19 + 221511019514255316197968192882709239206177662179862375526008863595109873010895188459674281118624588078467344969846724796828722615494606006971202134746837375889639391041344154002196421899139031/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^18 - 472077027753312636899165609264582484727465928537030368369872175913590587179479687594992174245411348812324944681918497055264251811231997801109151259970296998947651998665501566329388286535200563/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^17 + 1464355107074854273707553343973849656489952236552539007192164486747263556064441300054505960636897001117619418247973384048233492890257065376738831500019926603060744005325600868622029124951206313/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^16 - 794865716457637918448786183839469251134200796918498275620538394771985301556594053981637578104701579561587228091022038678616393394422974445095047998287565837917655744572654058149626163485482803/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^15 + 1607347754182805060259162884683753381421595054537076731677914399492708594061910238553652497694755375767439576757887236545851212708251996276686238840123291355164939658179889287754959032147223759/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^14 - 1137369788453511778983085428860913529566846770655482858730807949991262312759602377793204121772347667546072407154497423090276972624725135842801350814052651763718554846459116787738220166308684725/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^13 - 177699948815453198831653951479385419596144990902132642822383440229338594050220704408303293414019593925469407959764966796222514105774808979474051201524498832085961553960365289783475763550044541/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^12 + 1186153537638269282401160792582586061704908351271266084009333498271889496781269305957421895142168561271861436018539366935619494414154009824968075443226627961486110966307679906373093170538338807/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^11 - 454178986763080578127357488150998317061922070030776962880726756316069355635434728784414203380834189049619398048864708437863882975212900488020679515349514905155805164538782081202675958528891423/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^10 - 1799459173275860717349430970010360153160976306258976176781995963814315809922139828311740766987336326426136917208300766320285778320974856460080383882389100682803107993817660858152339961830847/48670764463993026687719051687525562343322245067950607123472305697448793156367502676951998175081206057152138271033678744724557476319139751934165443981784616411248868890269966569257643008*y^9 + 92507506678774886666713198735528733470186050001796233557279187783831349642733530309378484142869320846910233993482081970380188432469901651120820092790928505899439295609670065739661891302635025/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^8 + 1669440004098838398756112142247801889766739751948324542076418032408612314793219557400051769830459575889554991038355924144019911525671693906922745972694566768205259012396031957863105264508211/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^7 + 22408556368300448803163891916913813652520745905651675964744444240304151964769003860207734433762280128627651531834489433916794116248992359583532705796462070254237886157125270268321631989856293/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^6 - 2337019286083978668386870215376903978450190657513133271837244491622510448960520020330598906846713703734567908229909344813068685312649322210037424768854507985079239254358005195477830039753735/2530879752127637387761390687751329241852756743533431570420559896267337244131110139201503905104222714971911190093751294725676988768595267100576603087052800053384941182294038261601397436416*y^5 - 531030359511068146095291153941825320348650842693313907090701167653083019816103536058813716236165153523453286224514289537582136268113216918347356216080795950468737327429023476787806895630827/389366115711944213501752413500204498746577960543604856987778445579590345250940021415615985400649648457217106168269429957796459810553118015473323551854276931289990951122159732554061144064*y^4 + 958108066798825785260455420344970250365521079355853631161267322328871857339415648061897168335103537416755012337479655626516797809539253589823091267598321733326490502447184090483502391767/3743904958768694360593773206732735564870941928303892855651715822880676396643654052073230628852400465934779867002590672671119805870703057841089649537060355108557605299251535889942895616*y^3 + 506791181060975791286785778274142827518865018933859497811384473356425340625858531050900906062183494377620251913244500870280839544645092462599545692103595728774616951737521257504159122850353/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832*y^2 - 333874352944907605942596337782926614961649085970140965870170090514453406914605251666754471356751977166983898372254393653156809440496125529793252757921373574289958159892900135363424783319/24335382231996513343859525843762781171661122533975303561736152848724396578183751338475999087540603028576069135516839372362278738159569875967082721990892308205624434445134983284628821504*y - 9232097465077557869640081142732781408960883056591004425630880668949006134345504349592030199021624757436797468336596391118305022417784326620844523386746899318390677185670010223454636620209/5061759504255274775522781375502658483705513487066863140841119792534674488262220278403007810208445429943822380187502589451353977537190534201153206174105600106769882364588076523202794872832

# 4 Loop Invariant
-60121978412304269937821738559763114031999344003863167144673119791452108505266058437500828272099655242685132152055251222736501572960215882523101589065532904696331676629458573356160150799465636160831641323251783615836587965077370696087432288202823038491200791853458093089/188873025304660502404496629965397767239400618965021829759199751984662562688566777991711195069097277302943508257646315580752102596627375313612695727765760833273358247366494798918152149084830630843139561330716984761442384827596053323876608642664993076697724723347090964480*y^25 + 166374838995374657807569394626265488982115707623969827946159854367093032845106118503784165964865148638697010085561641584073769319843936613369059406144995810760805804419880399804461200817966294702409577624036087207159733389217478812134645814721387038129330468442417585731/31478837550776750400749438327566294539900103160836971626533291997443760448094462998618532511516212883823918042941052596792017099437895885602115954627626805545559707894415799819692024847471771807189926888452830793573730804599342220646101440444165512782954120557848494080*y^24 - 6999873007535124039241756478682962666239682064923525538531149292880525096075400211138927937896045276306607168961762300008238273094856487292334332265066866801863592325098741884810506420068605307535430067224496912505127027424734962744142330998942277311177926512970831095327/188873025304660502404496629965397767239400618965021829759199751984662562688566777991711195069097277302943508257646315580752102596627375313612695727765760833273358247366494798918152149084830630843139561330716984761442384827596053323876608642664993076697724723347090964480*y^23 + 106208765695788584370435964632579401765293159039925235054603268027401390186150030677113862865493909089732270548699473205165537385455358687033786272142916817186016651316035476666661702804767741099117784722213588544953204342223050101988882935383244319881551354923322622743/2098589170051783360049962555171086302660006877389131441768886133162917363206297533241235500767747525588261202862736839786134473295859725706807730308508453703037313859627719987979468323164784787145995125896855386238248720306622814709740096029611034185530274703856566272*y^22 + 9179014665183321603063342628598268493386708662161667682943677729784196914831710178395586364559979811176818323389031200481883968816790873795812621261462191221183259563410994689954776360141993254626096290672468859266602392003804673018864906276174127264366885995195398905243/15739418775388375200374719163783147269950051580418485813266645998721880224047231499309266255758106441911959021470526298396008549718947942801057977313813402772779853947207899909846012423735885903594963444226415396786865402299671110323050720222082756391477060278924247040*y^21 - 76857886101942548146516679577471120261171286613214728923080913309191052345829411263796318262931328360431201415238372658111108356762268698986614305470103866866358995363107992643322407662658175274178721581644673094064932289464412919143273634517226311491601185972548879416199/15739418775388375200374719163783147269950051580418485813266645998721880224047231499309266255758106441911959021470526298396008549718947942801057977313813402772779853947207899909846012423735885903594963444226415396786865402299671110323050720222082756391477060278924247040*y^20 + 1027463828077517253860888233211179245976774104041442542126804324421544476739911882909115427105767309003321861851837885966064263956717471908783217724901325592168715966006236497827781161223180879637885400278736408640186317116112914108551827093100862996684280021595763465355381/62957675101553500801498876655132589079800206321673943253066583994887520896188925997237065023032425767647836085882105193584034198875791771204231909255253611091119415788831599639384049694943543614379853776905661587147461609198684441292202880888331025565908241115696988160*y^19 - 3620268474831947528441979833294706483891399200430385343926005440136179935484487933448743433249773139067695512161170726829477904888239151626963712232680676304931739079535245854816296115283538114737440221557450286676055773683137946556456665844325969750031595926599128941578347/94436512652330251202248314982698883619700309482510914879599875992331281344283388995855597534548638651471754128823157790376051298313687656806347863882880416636679123683247399459076074542415315421569780665358492380721192413798026661938304321332496538348862361673545482240*y^18 + 120643026217899392071786088918302329910709869190377288592708330312069868280929992440906463456285517100439285679892020522859036857855541623974741687428116254922330554998301824800890074929943730396764517784859513701950466042695773388291248024071169098381568741464415322477563/1475570510192660175035129921604670056557817335664233044993748062380176271004427953060243711477322478929246158262861840474625801536151369637599185373170006509948111307550740616548063664725239303462027822896226443448768631465594166592786005020820258411700974401149148160*y^17 - 23984852443964562918602391528335623882151203178617745753317347636636864155161105614782333866114233324419556677730804914678029400515335851771456100628777161093753906092101449965728696210569128811278712171623275548252074435699663947536206482321137253713832179076725235475433851/188873025304660502404496629965397767239400618965021829759199751984662562688566777991711195069097277302943508257646315580752102596627375313612695727765760833273358247366494798918152149084830630843139561330716984761442384827596053323876608642664993076697724723347090964480*y^16 + 816433498981687294232250748502288730446055114741890870214462139331911103681174366591370593116991088362591469331943919299607917062673862058778361849737428039612891188670829258322490917049759435131715572104549704400674249999683845601791620913453318651470601972093049041924101/5902282040770640700140519686418680226231269342656932179974992249520705084017711812240974845909289915716984633051447361898503206144605478550396741492680026039792445230202962466192254658900957213848111291584905773795074525862376666371144020083281033646803897604596592640*y^15 - 2944120532666743868307831242242931137389289123665343371462544912890790265524064490168392863514586680356195567953258425615113526501342645250196143888388782996595448623684093878667735303135261299132187110160517033346564882958022758683567019537100850704134387921136392252066599/20985891700517833600499625551710863026600068773891314417688861331629173632062975332412355007677475255882612028627368397861344732958597257068077303085084537030373138596277199879794683231647847871459951258968553862382487203066228147097400960296110341855302747038565662720*y^14 + 6288581272032287787931755099745886442181978316278332516304091486118311127874922812018255253263048364663404446721034727924007946320891618040033331891749754972793531072482467963669034799551511774213638317677713048501178370844271393757259530319426076743863951238260861903499479/62957675101553500801498876655132589079800206321673943253066583994887520896188925997237065023032425767647836085882105193584034198875791771204231909255253611091119415788831599639384049694943543614379853776905661587147461609198684441292202880888331025565908241115696988160*y^13 + 2741217242533810574251710130604236289092714347908002659474271493030188189483378455482557112386812035998013366669748311152444840478492501874765629540855040144193482532807904630664948188072402675177469087204690253214603825927448087763509825914969257717204354015028456716975657/94436512652330251202248314982698883619700309482510914879599875992331281344283388995855597534548638651471754128823157790376051298313687656806347863882880416636679123683247399459076074542415315421569780665358492380721192413798026661938304321332496538348862361673545482240*y^12 - 163755642907387287608734068026301735775688175135749073703203589837367512122474971949294511259976667503249325542813852062414503733341893325672293629681679898654910665732801172624673018963722228311749587569477671529933370909653956061786194008605706343605332651233156959007321/1614299361578294892346125042439297155892312982607024185976066256279167202466382717877873462129036558144816309894412953681641902535276712082159792545006502848490241430482861529214975633203680605496919327612965681721729784851248319007492381561239257065792519002966589440*y^11 + 7464166115945637308314559362970494106041713300723560329039703669920216193073017318455972358297109313475642226207478374171006590513968347042639181285652313738632588229640439119821370316535879368994237021741673584406482270075676038297093608539980120214730041563811847819816521/188873025304660502404496629965397767239400618965021829759199751984662562688566777991711195069097277302943508257646315580752102596627375313612695727765760833273358247366494798918152149084830630843139561330716984761442384827596053323876608642664993076697724723347090964480*y^10 + 22313938811998880688229114448010242925490915023691833781157927563883604496210267490210712153893901988393926845470826908541902724258689896417587946590288916699172356351081240882227890181555484698767078058098751573583256695370807427347894005308008585644241528472380358528243/1452869425420465403111512538195367440303081684346321767378459630651250482219744446090086115916132902330334678904971658313477712281749040873943813290505852563641217287434575376293478069883312544947227394851669113549556806366123487106743143405115331359213267102669930496*y^9 - 96728533088718014004037007371268334295618501266786694734084563187716759643994503764097175866533970858548358991762271851581679639876186917948721489332805438764870664882644554096851270528125860529903579700790854473175598934316074561570755031291226131013761005247030009722719/12591535020310700160299775331026517815960041264334788650613316798977504179237785199447413004606485153529567217176421038716806839775158354240846381851050722218223883157766319927876809938988708722875970755381132317429492321839736888258440576177666205113181648223139397632*y^8 - 4025897235381511633136165681419787859945483645193160950221152412661289910386683813118319251519308760262759741543401934860337801494580331579674844017882041582971028814749090221925822296649965780093763926165290339422829954563165611234980962054716985956996863975961747459627/37774605060932100480899325993079553447880123793004365951839950396932512537713355598342239013819455460588701651529263116150420519325475062722539145553152166654671649473298959783630429816966126168627912266143396952288476965519210664775321728532998615339544944669418192896*y^7 - 28316818483249359045906188708304941393856628488479232750032281573109915954965008036205218526773397662054862176468338749694291144944103400789775682532630703848460620111997730358124908623155462214812797369832331214784003087148938798885918868125157035504002936129828274024039/14528694254204654031115125381953674403030816843463217673784596306512504822197444460900861159161329023303346789049716583134777122817490408739438132905058525636412172874345753762934780698833125449472273948516691135495568063661234871067431434051153313592132671026699304960*y^6 + 4324083793671545222231265585129107846020657215893231133646277079520533825512294412659207187350638592754425833531750370521336571327698147233249128753338715792993872055280063311743612628374903006705203934937880360538853299689799766945256466381860471003808731056707075905457/10492945850258916800249812775855431513300034386945657208844430665814586816031487666206177503838737627941306014313684198930672366479298628534038651542542268515186569298138599939897341615823923935729975629484276931191243601533114073548700480148055170927651373519282831360*y^5 + 108986794039646275778954523051400454585363979091258483559949934065686117233544940250359936699534716895385991488408110469507766840416032566304592956928633575050548053805941132406734145206708830814548505014296904571310232723006497644979315550316735682827687334871863932532247/188873025304660502404496629965397767239400618965021829759199751984662562688566777991711195069097277302943508257646315580752102596627375313612695727765760833273358247366494798918152149084830630843139561330716984761442384827596053323876608642664993076697724723347090964480*y^4 - 860459604694862601534163313615352186379778525036152843935885849077812399074287374053388848712647920682568524229656799161486258932358796777433431433173410504225228918811639818049225175945185194760472057570205684295373130117047761426717561362236585042253239684905993060321/7869709387694187600187359581891573634975025790209242906633322999360940112023615749654633127879053220955979510735263149198004274859473971400528988656906701386389926973603949954923006211867942951797481722113207698393432701149835555161525360111041378195738530139462123520*y^3 - 7825554313086346780820969239385950613421907795854112090164202365820724019458264950746616114426879258513888998268783179975581314998349404825086209100469177430944635128310818963168698143687650512988511968706572562837633201654397397574617630711062361447423913235100329151723/188873025304660502404496629965397767239400618965021829759199751984662562688566777991711195069097277302943508257646315580752102596627375313612695727765760833273358247366494798918152149084830630843139561330716984761442384827596053323876608642664993076697724723347090964480*y^2 + 29924521705087277058960010452837780361054186507305953466584273577227046363449447793542527086781026138597680977851188489124659950242014443479297281787915101627487669453823581104174726706066427674777992376543438349518833088695035948731731028805922482220371699218798596239/5246472925129458400124906387927715756650017193472828604422215332907293408015743833103088751919368813970653007156842099465336183239649314267019325771271134257593284649069299969948670807911961967864987814742138465595621800766557036774350240074027585463825686759641415680*y + 28676084429658105293599706609872644721396798213738069341407812638072249438347152478099160333318235268534637301282795342271702401512060409180100332291064819188845438178975535005467811376593777399029737705581554868927120558382476010179085788360058862196184935212249431165/37774605060932100480899325993079553447880123793004365951839950396932512537713355598342239013819455460588701651529263116150420519325475062722539145553152166654671649473298959783630429816966126168627912266143396952288476965519210664775321728532998615339544944669418192896