# Manifold: Census Knot K8_254 # Number of Tetrahedra: 8 # Number Field x^19 + 11*x^18 + 40*x^17 + 65*x^16 - 226*x^15 - 2060*x^14 + 1686*x^13 + 19023*x^12 - 31085*x^11 - 58044*x^10 + 203322*x^9 - 121926*x^8 - 295166*x^7 + 651615*x^6 - 534057*x^5 + 107887*x^4 + 168850*x^3 - 162388*x^2 + 61636*x - 9175 # Approximate Field Generator 1.33103408512932 - 0.549943529693925*I # Shape Parameters -y + 1 -7451313993584020636406306963775932258400638767/323694864976975222875245580878655477845706401575*y^18 - 87395884294554454108168592545698310478329203487/323694864976975222875245580878655477845706401575*y^17 - 72440234232209448587468071683905744590776701476/64738972995395044575049116175731095569141280315*y^16 - 150780685912387495207525577800800542125541712956/64738972995395044575049116175731095569141280315*y^15 + 1108716465513958553929097225752969551560368524517/323694864976975222875245580878655477845706401575*y^14 + 3219015496610019303073790111716738261482758480284/64738972995395044575049116175731095569141280315*y^13 - 802037490752010705478794559241764531895313005787/323694864976975222875245580878655477845706401575*y^12 - 141313986399336903708213067089025200471230757461816/323694864976975222875245580878655477845706401575*y^11 + 25878506709561730142080704821381343413975169914859/64738972995395044575049116175731095569141280315*y^10 + 518673942545361395745414808065252683901545074103998/323694864976975222875245580878655477845706401575*y^9 - 1136250977200004021727440681422938189384841571732824/323694864976975222875245580878655477845706401575*y^8 + 113938611394480613628245238761255928845363888318992/323694864976975222875245580878655477845706401575*y^7 + 2243293841797986771537381130266099636169897560741772/323694864976975222875245580878655477845706401575*y^6 - 650765379401740429226764537731888849465619938813991/64738972995395044575049116175731095569141280315*y^5 + 1718217741493810751328605407439088740737589018021394/323694864976975222875245580878655477845706401575*y^4 + 357726536301036156067936039581465746655692780903746/323694864976975222875245580878655477845706401575*y^3 - 39548097075467613169380583008897425291772726372855/12947794599079008915009823235146219113828256063*y^2 + 524304076815062565807802696081716915654528213561096/323694864976975222875245580878655477845706401575*y - 100719053266968137340552078976806204562359044813362/323694864976975222875245580878655477845706401575 -7451313993584020636406306963775932258400638767/323694864976975222875245580878655477845706401575*y^18 - 87395884294554454108168592545698310478329203487/323694864976975222875245580878655477845706401575*y^17 - 72440234232209448587468071683905744590776701476/64738972995395044575049116175731095569141280315*y^16 - 150780685912387495207525577800800542125541712956/64738972995395044575049116175731095569141280315*y^15 + 1108716465513958553929097225752969551560368524517/323694864976975222875245580878655477845706401575*y^14 + 3219015496610019303073790111716738261482758480284/64738972995395044575049116175731095569141280315*y^13 - 802037490752010705478794559241764531895313005787/323694864976975222875245580878655477845706401575*y^12 - 141313986399336903708213067089025200471230757461816/323694864976975222875245580878655477845706401575*y^11 + 25878506709561730142080704821381343413975169914859/64738972995395044575049116175731095569141280315*y^10 + 518673942545361395745414808065252683901545074103998/323694864976975222875245580878655477845706401575*y^9 - 1136250977200004021727440681422938189384841571732824/323694864976975222875245580878655477845706401575*y^8 + 113938611394480613628245238761255928845363888318992/323694864976975222875245580878655477845706401575*y^7 + 2243293841797986771537381130266099636169897560741772/323694864976975222875245580878655477845706401575*y^6 - 650765379401740429226764537731888849465619938813991/64738972995395044575049116175731095569141280315*y^5 + 1718217741493810751328605407439088740737589018021394/323694864976975222875245580878655477845706401575*y^4 + 357726536301036156067936039581465746655692780903746/323694864976975222875245580878655477845706401575*y^3 - 39548097075467613169380583008897425291772726372855/12947794599079008915009823235146219113828256063*y^2 + 524304076815062565807802696081716915654528213561096/323694864976975222875245580878655477845706401575*y - 100719053266968137340552078976806204562359044813362/323694864976975222875245580878655477845706401575 -9423711619608930382962400286572837671408286/317520848478776785381712286420479487805052601*y^18 - 37708233055544119871376603065148059558536990/105840282826258928460570762140159829268350867*y^17 - 491184995471209680077531166902028781596865216/317520848478776785381712286420479487805052601*y^16 - 123750562513408079919906918085696387758245300/35280094275419642820190254046719943089450289*y^15 + 973972518261252322693158750084524375403045451/317520848478776785381712286420479487805052601*y^14 + 2255347335637123035782669350565472797063659113/35280094275419642820190254046719943089450289*y^13 + 1509094874748112598632392408898261842023157785/105840282826258928460570762140159829268350867*y^12 - 19253000504156146923624136497150094273233569119/35280094275419642820190254046719943089450289*y^11 + 120161655739042635269777054634050469032551197029/317520848478776785381712286420479487805052601*y^10 + 656293152011142557994965608228768879125043263713/317520848478776785381712286420479487805052601*y^9 - 1256950910929736453725560054376150824607085003629/317520848478776785381712286420479487805052601*y^8 - 66094281690143809271935368143684633252355517744/317520848478776785381712286420479487805052601*y^7 + 2663680866236895201153056094488614477314201869686/317520848478776785381712286420479487805052601*y^6 - 3515630288393234345477528798494967805807373910450/317520848478776785381712286420479487805052601*y^5 + 1653666951232761216944865538916104498516952826682/317520848478776785381712286420479487805052601*y^4 + 58290921299433840072136802881522759547772512992/35280094275419642820190254046719943089450289*y^3 - 1057609152013169651481006836032561361801287588843/317520848478776785381712286420479487805052601*y^2 + 57612515197588082431763940749532651780289465215/35280094275419642820190254046719943089450289*y - 92848573484816913133561851577445859197290309933/317520848478776785381712286420479487805052601 25394416362241325553253154548425083509547245/317520848478776785381712286420479487805052601*y^18 + 103271269966854474015502813498817131284144532/105840282826258928460570762140159829268350867*y^17 + 1385028515247004968410094498827542681307039089/317520848478776785381712286420479487805052601*y^16 + 364454740062928999860988805792918397432430273/35280094275419642820190254046719943089450289*y^15 - 1962287222371955488593462895132203959735698033/317520848478776785381712286420479487805052601*y^14 - 6121922073065589275429793778105340443728639327/35280094275419642820190254046719943089450289*y^13 - 7794300927054998275466690927578922699606234378/105840282826258928460570762140159829268350867*y^12 + 51164847412417622492693805963391981222245633392/35280094275419642820190254046719943089450289*y^11 - 231009370463806860977187167284981145969927715401/317520848478776785381712286420479487805052601*y^10 - 1793674364838948682684023909279808305352152727784/317520848478776785381712286420479487805052601*y^9 + 3007549272878483754935197813303334268842620228402/317520848478776785381712286420479487805052601*y^8 + 690005477256038099924244193441947717212979518191/317520848478776785381712286420479487805052601*y^7 - 6859258554590636187801535919719985216774710722607/317520848478776785381712286420479487805052601*y^6 + 8131081378123962398758437568596043520142420467195/317520848478776785381712286420479487805052601*y^5 - 3234024946323662223319394092228118283429500665369/317520848478776785381712286420479487805052601*y^4 - 178588663338578513825570244331626021601021512780/35280094275419642820190254046719943089450289*y^3 + 2403701550162378687954588389332881812485454517925/317520848478776785381712286420479487805052601*y^2 - 117295198579807100574359725863214059555553553575/35280094275419642820190254046719943089450289*y + 170106948052373391271886920856207555105364208201/317520848478776785381712286420479487805052601 4830572244167058599771400148868826616839469/105840282826258928460570762140159829268350867*y^18 + 18905197992249674328062620986846416382498049/35280094275419642820190254046719943089450289*y^17 + 235413768992328078747030229183983068293398682/105840282826258928460570762140159829268350867*y^16 + 163557435076898421985763731240595996986662283/35280094275419642820190254046719943089450289*y^15 - 716144447551627585289803926838365835053780439/105840282826258928460570762140159829268350867*y^14 - 3481727601680742502162125173716104597142866997/35280094275419642820190254046719943089450289*y^13 + 144932343122030395828747832961134125834967481/35280094275419642820190254046719943089450289*y^12 + 30624952913995586945183299519140069289804041284/35280094275419642820190254046719943089450289*y^11 - 82707219291900699787461950295270006883771699976/105840282826258928460570762140159829268350867*y^10 - 339354567375449592161676946516721228566659875912/105840282826258928460570762140159829268350867*y^9 + 732594064662501564742939718398336387932535817923/105840282826258928460570762140159829268350867*y^8 - 56139473324185242113557814545991221826213517137/105840282826258928460570762140159829268350867*y^7 - 1462198774985367529418412771354517654418391957121/105840282826258928460570762140159829268350867*y^6 + 2078941086204041634765158708042099654245616939537/105840282826258928460570762140159829268350867*y^5 - 1064723244392924812933483951725380221738677323386/105840282826258928460570762140159829268350867*y^4 - 84702885189436127259817249821196437003586518898/35280094275419642820190254046719943089450289*y^3 + 630416324136363751874803559162654421921612905680/105840282826258928460570762140159829268350867*y^2 - 108275369330172974963632237833586717202381154614/35280094275419642820190254046719943089450289*y + 60700646031032635163916590552245693395717099784/105840282826258928460570762140159829268350867 4830572244167058599771400148868826616839469/105840282826258928460570762140159829268350867*y^18 + 18905197992249674328062620986846416382498049/35280094275419642820190254046719943089450289*y^17 + 235413768992328078747030229183983068293398682/105840282826258928460570762140159829268350867*y^16 + 163557435076898421985763731240595996986662283/35280094275419642820190254046719943089450289*y^15 - 716144447551627585289803926838365835053780439/105840282826258928460570762140159829268350867*y^14 - 3481727601680742502162125173716104597142866997/35280094275419642820190254046719943089450289*y^13 + 144932343122030395828747832961134125834967481/35280094275419642820190254046719943089450289*y^12 + 30624952913995586945183299519140069289804041284/35280094275419642820190254046719943089450289*y^11 - 82707219291900699787461950295270006883771699976/105840282826258928460570762140159829268350867*y^10 - 339354567375449592161676946516721228566659875912/105840282826258928460570762140159829268350867*y^9 + 732594064662501564742939718398336387932535817923/105840282826258928460570762140159829268350867*y^8 - 56139473324185242113557814545991221826213517137/105840282826258928460570762140159829268350867*y^7 - 1462198774985367529418412771354517654418391957121/105840282826258928460570762140159829268350867*y^6 + 2078941086204041634765158708042099654245616939537/105840282826258928460570762140159829268350867*y^5 - 1064723244392924812933483951725380221738677323386/105840282826258928460570762140159829268350867*y^4 - 84702885189436127259817249821196437003586518898/35280094275419642820190254046719943089450289*y^3 + 630416324136363751874803559162654421921612905680/105840282826258928460570762140159829268350867*y^2 - 108275369330172974963632237833586717202381154614/35280094275419642820190254046719943089450289*y + 60700646031032635163916590552245693395717099784/105840282826258928460570762140159829268350867 -17496277698921397308697638726955213329264/35280094275419642820190254046719943089450289*y^18 - 2116040757412516051775820979449737770374/35280094275419642820190254046719943089450289*y^17 + 1632498517778616403799789176447311402942051/35280094275419642820190254046719943089450289*y^16 + 9255379357775000594647592187133973288119024/35280094275419642820190254046719943089450289*y^15 + 27585698536501321911285425301613046387572072/35280094275419642820190254046719943089450289*y^14 + 14782534613480805061353680216038229130968011/35280094275419642820190254046719943089450289*y^13 - 466208872909243358471152133731020024894726790/35280094275419642820190254046719943089450289*y^12 - 543882134363112637191147409271428478780596232/35280094275419642820190254046719943089450289*y^11 + 4227545450985507793866597589690071699370648671/35280094275419642820190254046719943089450289*y^10 - 136203460251942035804231959991458056225271623/35280094275419642820190254046719943089450289*y^9 - 18823394613951409588877970602414610875414054234/35280094275419642820190254046719943089450289*y^8 + 22705571683410914497124827902097593510786012293/35280094275419642820190254046719943089450289*y^7 + 19165277562473278393546483495564996809960520104/35280094275419642820190254046719943089450289*y^6 - 66173060205714338534717825914750368731712486000/35280094275419642820190254046719943089450289*y^5 + 55077046929880855159379080473389522161407298716/35280094275419642820190254046719943089450289*y^4 - 4331762107224075746334064926896312028857064239/35280094275419642820190254046719943089450289*y^3 - 22287024934638212109156282686057609387887549850/35280094275419642820190254046719943089450289*y^2 + 14487680919563652165872418739312493221400948373/35280094275419642820190254046719943089450289*y - 2954651790272082363941981328110666360121450482/35280094275419642820190254046719943089450289 # A Gluing Matrix {{1,1,1,0,-1,-1,-1,-1},{1,1,0,1,-1,-2,-1,-4},{1,0,1,1,-1,-2,-1,-4},{0,0,0,1,-1,-1,-1,-1},{0,1,1,0,0,-1,-1,-2},{0,0,0,0,-1,0,0,-2},{0,0,0,0,-1,-1,1,-2},{1,0,0,2,-2,-2,-2,-4}} # B Gluing Matrix {{2,0,0,0,0,0,0,1},{0,1,0,0,1,0,1,1},{0,0,1,0,1,0,1,1},{0,0,0,1,0,0,0,1},{0,0,0,0,2,0,0,0},{0,0,0,0,0,1,1,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {1, 1, 1, 0, 0, 0, 0, 0} # f Combinatorial flattening {2, 0, 2, -1, -2, 0, 0, 1} # f' Combinatorial flattening {-2, 2, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -17507047080775573953956881703337553662481202/35280094275419642820190254046719943089450289*y^18 - 201950694362508807580066619444027353109476460/35280094275419642820190254046719943089450289*y^17 - 806113696852580698786862643280984715359793237/35280094275419642820190254046719943089450289*y^16 - 1541542761903101944527235351348018692564447803/35280094275419642820190254046719943089450289*y^15 + 3255159436158718041145681608038558900805273782/35280094275419642820190254046719943089450289*y^14 + 38083105485438667687113516122310114532328171693/35280094275419642820190254046719943089450289*y^13 - 9421894593999536959898484840656962184691064804/35280094275419642820190254046719943089450289*y^12 - 343437057310078973836768032628992571681951239951/35280094275419642820190254046719943089450289*y^11 + 357786936426953130171509653844598292346387715665/35280094275419642820190254046719943089450289*y^10 + 1252713153838684167227164173067200334034711251920/35280094275419642820190254046719943089450289*y^9 - 2901724880385243392284559969051961356631167391953/35280094275419642820190254046719943089450289*y^8 + 396251490708222919992086178763910062147425423574/35280094275419642820190254046719943089450289*y^7 + 5622017894440140126076408843916609855430493572759/35280094275419642820190254046719943089450289*y^6 - 8231845957804420293648998056833596793763285589842/35280094275419642820190254046719943089450289*y^5 + 4301480504509877101309750309502189959829888264296/35280094275419642820190254046719943089450289*y^4 + 968264855920309049238286605439788177921904055103/35280094275419642820190254046719943089450289*y^3 - 2502714334232031465768393292582518858786802140873/35280094275419642820190254046719943089450289*y^2 + 1290229724887178922599056308039287130216682045172/35280094275419642820190254046719943089450289*y - 238410572561514721787473313752964048665356468006/35280094275419642820190254046719943089450289 # 2 Loop Invariant 76200712674041155029462737542257276418802575958409079827654964004602954255574863222334963333/4739702144238220165712612222524947736966771461661745229709815997306727881291609122631748268012*y^18 + 444590885243437204668142985152718527009191493288147814238980675817715765116084876512028054305/2369851072119110082856306111262473868483385730830872614854907998653363940645804561315874134006*y^17 + 3639846370690316442383857535256062295836923355857673659333481362364133734386602060025167474643/4739702144238220165712612222524947736966771461661745229709815997306727881291609122631748268012*y^16 + 14700246987290632408911119326961353428654399302241671635628972085912426084077250702631093317491/9479404288476440331425224445049895473933542923323490459419631994613455762583218245263496536024*y^15 - 49930264520355018496517165748195377695550047400619613550772428621787298742820324107162295906415/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^14 - 663082146956723564864302030064352820329748917193218884852946562169768425860122930785222873924627/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^13 + 70826636982192782820509294154447012699508486125203963594848354801695728373942610458055545715613/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^12 + 1468212500555241198465281932156288081462782541252288742815683595836285168616835576622058628730667/4739702144238220165712612222524947736966771461661745229709815997306727881291609122631748268012*y^11 - 5522632520052855036570609093146213516460228675361356400075534346654022686650472789303781692374453/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^10 - 21601057312130091845972723762173256986429248247296800447780998489321159770964147108251027130904299/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^9 + 47524579139790588387767445483142231222861247549329065261776599379839983717818586375357385218616819/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^8 - 1493324416282606343325430648219639815810991783795455493224926923109056047760842854690418364180333/6319602858984293554283482963366596982622361948882326972946421329742303841722145496842331024016*y^7 - 15657629358896082757266719482835693025400411463339914363377073081233772743785817193920523071897017/3159801429492146777141741481683298491311180974441163486473210664871151920861072748421165512008*y^6 + 22471879345907942699685494818802613302057171988537123951448053937604305735787480795699442611695279/3159801429492146777141741481683298491311180974441163486473210664871151920861072748421165512008*y^5 - 23238618639127026549862902691380819393183188150009283674296674974220500845782359556850902378124249/6319602858984293554283482963366596982622361948882326972946421329742303841722145496842331024016*y^4 - 16029394871664445278346312454464249230530806292704483229846122333566172425720530933879403508559093/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y^3 + 10222894816465087664542616002310698684494762536396658370119219295366905806153031683687769016595221/4739702144238220165712612222524947736966771461661745229709815997306727881291609122631748268012*y^2 - 21208768098563701421563844584353003159829066895417736010410586449359576334938054616676519122795413/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048*y + 3997630581708389556166173594068500004666634800834435578749804661487585899813888985903430685595839/18958808576952880662850448890099790947867085846646980918839263989226911525166436490526993072048 # 3 Loop Invariant -400395130314015896897543645278365615119960936630945023667479225051493475763457751682597147324753257736817264876897457/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^18 - 1185301649510025607634808385679857248314586692370030676095388310403397306248379680182799439027057963783967946635362045/21145103756662668210148658203421588954888203553048550845639886494533180719832350188848958769543513873075750051060125648*y^17 - 10005347104724718069709441343409467234131231539969452489380961737421002811277654035993667889587657115452887985618882033/42290207513325336420297316406843177909776407106097101691279772989066361439664700377697917539087027746151500102120251296*y^16 - 10733771227780686808968844976414512470267050985617247095221453147836801874101706232941125410714157215104133368259037103/21145103756662668210148658203421588954888203553048550845639886494533180719832350188848958769543513873075750051060125648*y^15 + 6754252696706303827230687545304412528347668578907435353240536619283019213964321086168687108041748819230053503400616079/10572551878331334105074329101710794477444101776524275422819943247266590359916175094424479384771756936537875025530062824*y^14 + 869494660840141935636790302928983716591835827290749365612830556523295997720095914901252596750898029240924092186537097289/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^13 + 28504895477953079554832736822559965693929927191324617316161495240430698229175905478398046089851675848281117016835907279/42290207513325336420297316406843177909776407106097101691279772989066361439664700377697917539087027746151500102120251296*y^12 - 260522032255034739080826765053847826189523292167482981918232873636461323762490587013197016617217947973386169401751096493/2916566035401747339330849407368495028260441869386007013191708482004576651011358646737787416488760534217344834628982848*y^11 + 1524320873031004076637346443292570424514047967542027681613078984179476799629426860663659092792658429609810651833964213867/21145103756662668210148658203421588954888203553048550845639886494533180719832350188848958769543513873075750051060125648*y^10 + 14128691164341191693124787154344947496839644482092939198111423929837619127240751222867020790877167417882049036834164775451/42290207513325336420297316406843177909776407106097101691279772989066361439664700377697917539087027746151500102120251296*y^9 - 3600024209874978636351301479740424543813014062312172323709748556130542813292771650226485791276168459180461746976231876975/5286275939165667052537164550855397238722050888262137711409971623633295179958087547212239692385878468268937512765031412*y^8 + 816432628944164147444675207029488733001344340700781701822608904576165707124968652475244902962406832026194802913395151723/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^7 + 118228895748433550520425698539385353971143065332539359785741266939375351767128574024284266740193920763548512309441181867895/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^6 - 80894532736073369084963812524214128658020271874506422995894267880012723884184870894889889741683154128398750784913426220799/42290207513325336420297316406843177909776407106097101691279772989066361439664700377697917539087027746151500102120251296*y^5 + 79362841586907493496667011674923868460410459758683042371476003934594460464338947755876017379274927077351080877264982905763/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^4 + 22006386907525460284332725692174710637920774191109065093987610151183099904605875835246489036432056189519124925203570259377/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^3 - 48787471518952739795342061557360427390594241485230770125259602511216884997454675833870584777304284448092442743435639265381/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y^2 + 24514815912286312261029385569762322421008680217039370945990198838906332074374319548709242293360268278960978998517658748723/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592*y - 4496084059271340987990417809757933044524954961495487833214575217984705165629106756992232714659103544318714274663530340727/84580415026650672840594632813686355819552814212194203382559545978132722879329400755395835078174055492303000204240502592 # 4 Loop Invariant -1007152107431814522617508848823886929023306133884967690523075240829601755846581854675311561399868235341645071515474000168483070864501273468602999949151844935135937511899/136355409256946400031546090273868676755187194582612676628694691669882144395470632779014550681503101393833968691153692516579436068144645122606022883742558818355703758124032*y^18 - 19684810080144319849755776554815137006647640544968477787174430543383642332768985945771029305289057939012453963039754230791418047525474339458995147740499029195179457315993/227259015428244000052576817123114461258645324304354461047824486116470240659117721298357584469171835656389947818589487527632393446907741871010038139570931363926172930206720*y^17 - 3818642969820953560905971261271958292612869204957930043087511689535497590289335434861054686872133952941811871589419024964903237096817226889839917242558324891379127907489/10652766348198937502464538302645990371498999576766615361616772786709542530896143185860511771992429796393278803996382227857768442823800400203595537792387407684039356103440*y^16 - 8422649707870538206200964486532454229520459383598758311585964201489298839789971765947434896328355658543357844994331842064080471896786883376957006749398521092082036868213/11362950771412200002628840856155723062932266215217723052391224305823512032955886064917879223458591782819497390929474376381619672345387093550501906978546568196308646510336*y^15 + 769102643995804023953452433968374495070462172712223852144565449253169287269240180725386789424356381657565062524695119955094719639424779318818755341085077141771876860633369/681777046284732000157730451369343383775935972913063383143473458349410721977353163895072753407515506969169843455768462582897180340723225613030114418712794091778518790620160*y^14 + 1821543798950961433812636872687841487707621114298943954327534379357827178717824348480973688196723623162994047067517657951430499055415147107860935013683342390609335549924277/113629507714122000026288408561557230629322662152177230523912243058235120329558860649178792234585917828194973909294743763816196723453870935505019069785465681963086465103360*y^13 - 541194583695044140971720640505548853234752311929952724670928954149067576568059584913865354783573641935287684485893072136479225874009854347182589475025071285733982246892269/681777046284732000157730451369343383775935972913063383143473458349410721977353163895072753407515506969169843455768462582897180340723225613030114418712794091778518790620160*y^12 - 48061125895982735173478899027583272807259277693741340267133168875956071068470125273393312849626326904592800170208056213479962554095487979320194404217862784694604563061271703/340888523142366000078865225684671691887967986456531691571736729174705360988676581947536376703757753484584921727884231291448590170361612806515057209356397045889259395310080*y^11 + 5417540897451264245354785569484804158405035434472861172279812898109535149851820600774826428969895609198763349911172201001565847632096920811674247322620220978662090872904169/42611065392795750009858153210583961485995998307066461446467091146838170123584572743442047087969719185573115215985528911431073771295201600814382151169549630736157424413760*y^10 + 5542926648817042711820948788457390704451612694218360407422435145129807999955459386227849792438293066276039448109540398708889917592584376448171363034249269382483159374051509/10652766348198937502464538302645990371498999576766615361616772786709542530896143185860511771992429796393278803996382227857768442823800400203595537792387407684039356103440*y^9 - 382871204989833436198259511107456395973330729720055523082478678445820554713208348969214779840984176874982128475472378634143955030751651896061203401102845436244411973977390237/340888523142366000078865225684671691887967986456531691571736729174705360988676581947536376703757753484584921727884231291448590170361612806515057209356397045889259395310080*y^8 + 19860001051457303274714058349983026079713658414019620203135097380782382565997793395818471290471635368411450665792705676825872204887001792147665511973949442220604173647412897/227259015428244000052576817123114461258645324304354461047824486116470240659117721298357584469171835656389947818589487527632393446907741871010038139570931363926172930206720*y^7 + 763158601615445262878398720900483028066626286811993895395294263479335248451270469316277297725870218087224590761607623273274585513312728987296619492111062249754477671200964139/340888523142366000078865225684671691887967986456531691571736729174705360988676581947536376703757753484584921727884231291448590170361612806515057209356397045889259395310080*y^6 - 724464246408603970671614879316983209333504885504695907480602421691671138799538801009367955063521946792630103472163509284066106032330759577673452991968220749479904884503815223/227259015428244000052576817123114461258645324304354461047824486116470240659117721298357584469171835656389947818589487527632393446907741871010038139570931363926172930206720*y^5 + 124194249484031474668418684572113665237897562947659629608425126653485729593216370916891434655110202413711127188237589332550457963461586343566963542167560397525613350770516093/75753005142748000017525605707704820419548441434784820349274828705490080219705907099452528156390611885463315939529829175877464482302580623670012713190310454642057643402240*y^4 + 13058113286876140337987375619762797403798502147337854145205908399560816426388569860424808085654342684635939070810855498609567281368747216577459505904696039666290957404600173/34088852314236600007886522568467169188796798645653169157173672917470536098867658194753637670375775348458492172788423129144859017036161280651505720935639704588925939531008*y^3 - 658777194345669988229785811422343766250954955075986607180732878984347099754018051923799656761387916822779368196656267108434904277633825926010263088175915572313171869348207027/681777046284732000157730451369343383775935972913063383143473458349410721977353163895072753407515506969169843455768462582897180340723225613030114418712794091778518790620160*y^2 + 34160370370253347879885327393479886621800162950600481424728596032527277743539719066894543929712754872847981481237475292356235711808456908990296322090115703409502660506972923/68177704628473200015773045136934338377593597291306338314347345834941072197735316389507275340751550696916984345576846258289718034072322561303011441871279409177851879062016*y - 201166579677295147135339268687427376295614914795342448080417849570768291157551544953240847690572947603688584899681257674806155636883075803781626943427621562990389761461721/2130553269639787500492907660529198074299799915353323072323354557341908506179228637172102354398485959278655760799276445571553688564760080040719107558477481536807871220688