# Manifold: Census Knot K8_152 # Number of Tetrahedra: 8 # Number Field x^21 + 13*x^20 + 59*x^19 + 126*x^18 + 67*x^17 - 191*x^16 - 352*x^15 - 529*x^14 - 544*x^13 - 595*x^12 - 56*x^11 + 377*x^10 + 95*x^9 + 562*x^8 + 727*x^7 + 688*x^6 + 324*x^5 + 18*x^4 + 260*x^3 + 135*x^2 - 25*x - 1 # Approximate Field Generator -0.421383118849905 - 0.832167076250976*I # Shape Parameters -106118581009249514460458513/9169782753345272208866698306*y^20 - 831786348942206444380613556/4584891376672636104433349153*y^19 - 19626010234205801761643345473/18339565506690544417733396612*y^18 - 28439330011940000644925778921/9169782753345272208866698306*y^17 - 72569837399353693881391514473/18339565506690544417733396612*y^16 + 12069056652721680380278906199/9169782753345272208866698306*y^15 + 177152634081253048714103217635/18339565506690544417733396612*y^14 + 257157748626570237687257289433/18339565506690544417733396612*y^13 + 370126951632012686655518282567/18339565506690544417733396612*y^12 + 349799744733632668223550585223/18339565506690544417733396612*y^11 + 76442368265650915292842508728/4584891376672636104433349153*y^10 - 69971583645361706524535213533/9169782753345272208866698306*y^9 - 149584546578597751882473405157/18339565506690544417733396612*y^8 - 35476678929324059132373078568/4584891376672636104433349153*y^7 - 525015254656195688363581378997/18339565506690544417733396612*y^6 - 100676231446265221160971299810/4584891376672636104433349153*y^5 - 417359777504875506553603058997/18339565506690544417733396612*y^4 - 28888106206532334943992049389/9169782753345272208866698306*y^3 - 48322651039881185220592039217/9169782753345272208866698306*y^2 - 164834471327850361717499035171/18339565506690544417733396612*y + 31604912225966885881154160673/18339565506690544417733396612 390538191274306240436448399/18339565506690544417733396612*y^20 + 2369315620305331608510662585/9169782753345272208866698306*y^19 + 9404753895749967982651677859/9169782753345272208866698306*y^18 + 15627974504502359479182000353/9169782753345272208866698306*y^17 - 4247349632667272546732964055/9169782753345272208866698306*y^16 - 83582767476352399541177750519/18339565506690544417733396612*y^15 - 18396813223674160836858262526/4584891376672636104433349153*y^14 - 57604923269904734131722579773/9169782753345272208866698306*y^13 - 58908568214543341871152541341/18339565506690544417733396612*y^12 - 108775820264367090429347134593/18339565506690544417733396612*y^11 + 132857848817290326144161538721/18339565506690544417733396612*y^10 + 44878585562449527165574088087/9169782753345272208866698306*y^9 - 31148169849944215018244118727/9169782753345272208866698306*y^8 + 49138934883233940618764245727/4584891376672636104433349153*y^7 + 17121324698683664136712049690/4584891376672636104433349153*y^6 + 34946747756878885416722430999/4584891376672636104433349153*y^5 - 71785367688206609279313181467/18339565506690544417733396612*y^4 - 9031446568470439517573174701/18339565506690544417733396612*y^3 + 102357724906504588131862881595/18339565506690544417733396612*y^2 - 19151185330979921421900704313/18339565506690544417733396612*y + 18456938672537728255236039363/18339565506690544417733396612 y^20 + 13*y^19 + 59*y^18 + 126*y^17 + 67*y^16 - 191*y^15 - 352*y^14 - 529*y^13 - 544*y^12 - 595*y^11 - 56*y^10 + 377*y^9 + 95*y^8 + 562*y^7 + 727*y^6 + 688*y^5 + 324*y^4 + 18*y^3 + 260*y^2 + 135*y - 24 y^20 + 13*y^19 + 59*y^18 + 126*y^17 + 67*y^16 - 191*y^15 - 352*y^14 - 529*y^13 - 544*y^12 - 595*y^11 - 56*y^10 + 377*y^9 + 95*y^8 + 562*y^7 + 727*y^6 + 688*y^5 + 324*y^4 + 18*y^3 + 260*y^2 + 135*y - 24 -4851300073982026309485876857149/976613957470908198697034403033071*y^20 - 230915497289423608180421797399243/3906455829883632794788137612132284*y^19 - 217293844894824589072071775675925/976613957470908198697034403033071*y^18 - 1208926682209051357213389899190497/3906455829883632794788137612132284*y^17 + 644336843622507649283169778785415/1953227914941816397394068806066142*y^16 + 4959042916650931996212294212135967/3906455829883632794788137612132284*y^15 + 2806489792162382083526074461650549/3906455829883632794788137612132284*y^14 + 3339234237523460228237126822936175/3906455829883632794788137612132284*y^13 - 242771860838240596675627579062771/3906455829883632794788137612132284*y^12 + 45727940508693872078563411612135/976613957470908198697034403033071*y^11 - 2799919364071504074807574983532631/976613957470908198697034403033071*y^10 - 8284687811719735378409698123758527/3906455829883632794788137612132284*y^9 + 2781061164097258634038696563374963/1953227914941816397394068806066142*y^8 - 10354127427729458808156689613854621/3906455829883632794788137612132284*y^7 - 659558401170366273889738716063719/1953227914941816397394068806066142*y^6 + 2253129530823076553238808006205043/3906455829883632794788137612132284*y^5 + 1455299765601027784035592518576971/976613957470908198697034403033071*y^4 + 1856393257030636827293138895895782/976613957470908198697034403033071*y^3 - 3712060125352905423224584385636735/3906455829883632794788137612132284*y^2 + 3614289572165216276542535959311981/3906455829883632794788137612132284*y + 1945144220209218424042375784893127/1953227914941816397394068806066142 -85545249907010561974482649674429599/3906455829883632794788137612132284*y^20 - 1108305611917577037061549530315541593/3906455829883632794788137612132284*y^19 - 4997979184984303293681391311457041245/3906455829883632794788137612132284*y^18 - 10555287096070273157570214996903755579/3906455829883632794788137612132284*y^17 - 5253599914114417805862085966240120963/3906455829883632794788137612132284*y^16 + 4149076696969238406234165357902418331/976613957470908198697034403033071*y^15 + 14697135101226833205941870336706011969/1953227914941816397394068806066142*y^14 + 21960632075838800638216501762109150993/1953227914941816397394068806066142*y^13 + 44524853740134043423407617459664404125/3906455829883632794788137612132284*y^12 + 12205611114911593666467248172389938558/976613957470908198697034403033071*y^11 + 2515230133916991630134230658492852491/3906455829883632794788137612132284*y^10 - 32489369496209265429373827673543766507/3906455829883632794788137612132284*y^9 - 6720370804337613110320611975320877279/3906455829883632794788137612132284*y^8 - 47715285542470824962245780868278329939/3906455829883632794788137612132284*y^7 - 60053510539015057719376015970346531413/3906455829883632794788137612132284*y^6 - 56091880527052310348438219228924925505/3906455829883632794788137612132284*y^5 - 6271980235491292108801860605866165367/976613957470908198697034403033071*y^4 - 279050650087844248445449672429460871/3906455829883632794788137612132284*y^3 - 11073179542713574264861138619240083509/1953227914941816397394068806066142*y^2 - 10555032911334437373812004794788451627/3906455829883632794788137612132284*y + 664533878199341154334632724941079777/976613957470908198697034403033071 172741392606395212178278980819755/3906455829883632794788137612132284*y^20 + 2154153926490165463661176675259785/3906455829883632794788137612132284*y^19 + 9057538431296904824121614360804921/3906455829883632794788137612132284*y^18 + 17068496669801081983922291133488295/3906455829883632794788137612132284*y^17 + 3104601298968568782720771409524931/3906455829883632794788137612132284*y^16 - 8244451849833558848425163020766826/976613957470908198697034403033071*y^15 - 20541480826961768127099038304903773/1953227914941816397394068806066142*y^14 - 34890360858765071008405828586959683/1953227914941816397394068806066142*y^13 - 61936470487641613472237513698667053/3906455829883632794788137612132284*y^12 - 19729245095549682574817816758000473/976613957470908198697034403033071*y^11 + 20610190177296845196482397783947489/3906455829883632794788137612132284*y^10 + 42898179075639369498070391728995415/3906455829883632794788137612132284*y^9 - 15305912170801964810137957048892049/3906455829883632794788137612132284*y^8 + 106753443696786561783250707112502783/3906455829883632794788137612132284*y^7 + 75088860514359734213996949344843205/3906455829883632794788137612132284*y^6 + 86319737896608978296560326665296441/3906455829883632794788137612132284*y^5 + 5487797414894354553969483205377498/976613957470908198697034403033071*y^4 + 4151713734764775760406996461984839/3906455829883632794788137612132284*y^3 + 29471037715646890156207446121062611/1953227914941816397394068806066142*y^2 - 5226705190235882590279574631413333/3906455829883632794788137612132284*y - 99122830260255792006873512517878/976613957470908198697034403033071 -1891318436780134303362457726021597/1953227914941816397394068806066142*y^20 - 12297639882329965703271254833576274/976613957470908198697034403033071*y^19 - 223414392213057651214598862074373895/3906455829883632794788137612132284*y^18 - 238965914827644923214125780973331085/1953227914941816397394068806066142*y^17 - 257164055637936287810475343793619915/3906455829883632794788137612132284*y^16 + 358828882407025701567076005993597455/1953227914941816397394068806066142*y^15 + 1332173049130986008068318153554955885/3906455829883632794788137612132284*y^14 + 2011762209279702290710943963225297731/3906455829883632794788137612132284*y^13 + 2076979235024909708948183866725857173/3906455829883632794788137612132284*y^12 + 2275303860875599840436797723275205053/3906455829883632794788137612132284*y^11 + 59702570316570891248467186570951921/976613957470908198697034403033071*y^10 - 703213968414195138627619871874967313/1953227914941816397394068806066142*y^9 - 361144905269110867413468248751104699/3906455829883632794788137612132284*y^8 - 534471535845405209018217585740946765/976613957470908198697034403033071*y^7 - 2763251408970956290005843747082638607/3906455829883632794788137612132284*y^6 - 657185006976563411131234017762632152/976613957470908198697034403033071*y^5 - 1260763848238345867095238021710271911/3906455829883632794788137612132284*y^4 - 47702945197798791821605838435764361/1953227914941816397394068806066142*y^3 - 496787913055994246371576455629772119/1953227914941816397394068806066142*y^2 - 515597809292216935181676520291446849/3906455829883632794788137612132284*y + 85545249907010561974482649674429599/3906455829883632794788137612132284 # A Gluing Matrix {{2,-1,0,0,0,0,0,0},{-1,1,1,1,0,1,0,-2},{0,1,0,-1,0,0,-1,0},{0,1,-1,0,0,0,1,2},{0,0,0,0,0,0,1,2},{0,1,-1,-1,0,1,0,0},{0,0,-1,1,1,0,1,0},{0,-1,0,2,2,0,0,-2}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,2,0,0,0,0,0,0},{0,0,1,0,0,1,0,0},{0,0,0,1,0,1,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}} # nu Gluing Vector {0, 0, 0, 2, 2, 0, 1, 0} # f Combinatorial flattening {4, 2, 2, 0, 1, 0, 2, 0} # f' Combinatorial flattening {-3, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -83593097193177398396735731144925/73706713771389298014870520983628*y^20 - 247371219991699788234156181018308/18426678442847324503717630245907*y^19 - 3742984151945212641540463100168195/73706713771389298014870520983628*y^18 - 2861971386641959068029175210089915/36853356885694649007435260491814*y^17 + 2809285392324316043214855009862565/73706713771389298014870520983628*y^16 + 15483965148904022637844665427164183/73706713771389298014870520983628*y^15 + 10455482257610648063794059073533821/73706713771389298014870520983628*y^14 + 25142798291112688345499908861236305/73706713771389298014870520983628*y^13 + 2818216106832650596400270685945957/18426678442847324503717630245907*y^12 + 6188069826591184158536994762272638/18426678442847324503717630245907*y^11 - 31340617356442075677540539917255569/73706713771389298014870520983628*y^10 - 4037899750228591158225906376726045/36853356885694649007435260491814*y^9 + 12373895519461934559412814845092057/73706713771389298014870520983628*y^8 - 29168515586354198122176804819644093/36853356885694649007435260491814*y^7 - 453506620397239288711551162013753/73706713771389298014870520983628*y^6 - 7492443256774542390866796139402025/18426678442847324503717630245907*y^5 + 5928777878003996202165427646759249/36853356885694649007435260491814*y^4 - 1488290386925809868703478434635347/73706713771389298014870520983628*y^3 - 20094912861356166854392244706163117/73706713771389298014870520983628*y^2 + 3456139969831202854524454830849139/18426678442847324503717630245907*y - 717455473170902173098636201425182/18426678442847324503717630245907 # 2 Loop Invariant -1008869073358210457592173152135199398967144368889357886291375606227434601103255892118147942033178489/530198322793440007448552365716367241855770532322820057445445409678158017018991535775321847632088281024*y^20 - 6181691777238232573834826521028607067978775367296092313635850631525253991762833992860702925417693893/265099161396720003724276182858183620927885266161410028722722704839079008509495767887660923816044140512*y^19 - 75007941567976745073958390733944898529129588755193991085025202869764474686739700184649822106674325247/795297484190160011172828548574550862783655798484230086168168114517237025528487303662982771448132421536*y^18 - 129008747096197050706271151086018581115046671156368795893927305875546972029383233802369179835675690609/795297484190160011172828548574550862783655798484230086168168114517237025528487303662982771448132421536*y^17 + 19698631848726913045346564483100283627743296757971470159990631819454290222332320729917164907641996225/795297484190160011172828548574550862783655798484230086168168114517237025528487303662982771448132421536*y^16 + 647238920432471602726259560787849123948870588501892945156323968146743343965261430347126760279058989499/1590594968380320022345657097149101725567311596968460172336336229034474051056974607325965542896264843072*y^15 + 76522278440380641715948722607563719376148619766751843013482802555249695689466520087344515093687582841/198824371047540002793207137143637715695913949621057521542042028629309256382121825915745692862033105384*y^14 + 159752239440818836296615615289250134768166784964955596184809836480787113006951818554110858172211646285/265099161396720003724276182858183620927885266161410028722722704839079008509495767887660923816044140512*y^13 + 657297714004764471757117084315677921682533456024233948161050617252652732698791539188406654343844018269/1590594968380320022345657097149101725567311596968460172336336229034474051056974607325965542896264843072*y^12 + 908151228024766879733256858608569489376502997590119289398712883694802400052673903044684897417692474109/1590594968380320022345657097149101725567311596968460172336336229034474051056974607325965542896264843072*y^11 - 824129469758211848650153622220275870923736754532705341813446520417532678685732121032165153504066285377/1590594968380320022345657097149101725567311596968460172336336229034474051056974607325965542896264843072*y^10 - 151672018927832666740411160515442100293627543783308265709185190440554923899428327884939220737631855175/265099161396720003724276182858183620927885266161410028722722704839079008509495767887660923816044140512*y^9 + 241728438245896727103132083310269702021036549694504289036414039630313045254333352817194443924128215363/795297484190160011172828548574550862783655798484230086168168114517237025528487303662982771448132421536*y^8 - 450009437947706973551102110794624967231592662541698494102564314851357907898793247320194531014152644337/397648742095080005586414274287275431391827899242115043084084057258618512764243651831491385724066210768*y^7 - 57317519617882834213034411543411943803425269776944187865133645159630316108068966611733413971129480041/99412185523770001396603568571818857847956974810528760771021014314654628191060912957872846431016552692*y^6 - 246127776494762776213162477630396483764168827044319560507534601555505814329629915277801114248688573077/397648742095080005586414274287275431391827899242115043084084057258618512764243651831491385724066210768*y^5 + 110806125683095980649075224586938716848640710244169956903497002166197108846243507121609840039000744163/1590594968380320022345657097149101725567311596968460172336336229034474051056974607325965542896264843072*y^4 + 576399087091869915895361863346520546323879643650888505395778111292143173770131570317608218513926701141/1590594968380320022345657097149101725567311596968460172336336229034474051056974607325965542896264843072*y^3 - 234170916622663858413067008586961644105913752693503512507124238234559931960272439341795650099175083949/530198322793440007448552365716367241855770532322820057445445409678158017018991535775321847632088281024*y^2 + 63575497053296549635262753558680963202960960508924590030193377804156239041894832430417497335144350607/530198322793440007448552365716367241855770532322820057445445409678158017018991535775321847632088281024*y + 887185887166631891495721595299419381692888878868551780232505208601607746666653897866579775943882217027/530198322793440007448552365716367241855770532322820057445445409678158017018991535775321847632088281024 # 3 Loop Invariant 1131453490864353298873138418913590440078479774789415695961962919655624220379359295881048186373601145898284175844212889909838124300795/1544208981058631672148719710243961018952435159400677172992759840887620133037007172287979009543302190847339746418329871582826893608563136*y^20 + 14134928313551523879818425752948317685451815335710615699428588127385080956575429032423534902777954107336343932421071699685591373894825/1544208981058631672148719710243961018952435159400677172992759840887620133037007172287979009543302190847339746418329871582826893608563136*y^19 + 238321801362453464449885340992316692237310399983245948969530201041565328791465917938092890864500374811197048834643553919670219753990431/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^18 + 224563281991114252552177308669895276032022024354710132413374809302726911964315980684507887033579271426573759394990418012263731877404559/3088417962117263344297439420487922037904870318801354345985519681775240266074014344575958019086604381694679492836659743165653787217126272*y^17 + 75049890448056326438785183300044286110607019915561464370046864184668811434574122764469383983448474672387140265036849036688980824816783/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^16 - 56036765451074431876454415097340683159241615232579145771638860322358606246416931446647009057278924125852893695382583490027902984924053/386052245264657918037179927560990254738108789850169293248189960221905033259251793071994752385825547711834936604582467895706723402140784*y^15 - 1099747225295864016393201426792664954790078848700759779690245320462656257911519781360611460320992075759842874552728150166610246247737005/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^14 - 1732177186244810821085547339723649431121516091832425788713063434292604574807084559517012846635567478209452797413750469489699438629491171/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^13 - 1465362137401826659271639335334762572174911260712233926017870305669057090188185261790959263861307616879669844438923453138657479219468167/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^12 - 1989435550379223589606359729655596877751509604397089294644178157532537911022257338945369155752912957451826627548882282505683354543444167/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^11 + 227897121144813499187240167123969238190434111578838188763001083664561363730574415196737455016272285900401040249425713137359065333154703/3088417962117263344297439420487922037904870318801354345985519681775240266074014344575958019086604381694679492836659743165653787217126272*y^10 + 466451606081099501225942437831461147845304525699037687378807270953116451421128563184902271619994521507704348384666567620638815575141933/3088417962117263344297439420487922037904870318801354345985519681775240266074014344575958019086604381694679492836659743165653787217126272*y^9 - 754092229081338193108205222581980138676865627557727604584336598968442357670449752532316794398015722804030526117684269520171010117798337/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^8 + 141131433757374347638585299355909006856041659994095142674485073384138791237561834836914039290351565849688145542355474547851395812786471/386052245264657918037179927560990254738108789850169293248189960221905033259251793071994752385825547711834936604582467895706723402140784*y^7 + 1912836259118207201281372408008043669820794159818326868761834980890891157642467629020780059569161043199835191331525792835836668268212763/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^6 + 656316729295796321561371010473146075660273923237747192181667390664365890511090023851642482746979592702367821771350698325926696463188649/1544208981058631672148719710243961018952435159400677172992759840887620133037007172287979009543302190847339746418329871582826893608563136*y^5 + 762337760837599660014328882110793414815676110323700061721322044645454960360266120014447299045209439549970037897657539752754717218381433/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y^4 + 13590055432280683806468266215768397410764719745228239751357505441066874763140180337152892175606798657214841028638339956077020668004895/1544208981058631672148719710243961018952435159400677172992759840887620133037007172287979009543302190847339746418329871582826893608563136*y^3 + 197349656535472958565560646719963402350333537420477889056492475488721342292419476939802453415171363742906781797710945237637237909901743/772104490529315836074359855121980509476217579700338586496379920443810066518503586143989504771651095423669873209164935791413446804281568*y^2 + 171347190920644826353187845266724799216748418937074483815418570067076195395410936122202036725343094423283996385946934437224195132747531/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544*y + 262582766824975593958456976609941224206620241812999006394851845299762883616184314940807362989451532269593170102981153254507185254643555/6176835924234526688594878840975844075809740637602708691971039363550480532148028689151916038173208763389358985673319486331307574434252544 # 4 Loop Invariant -4013425554364096146619496626013784088390196523111981677653416142900315287651808266603056517511773375496179946312208598641588286574490281158106130301941016336998450189434763461015466643701141724344525627/4191712628806261842749980198755977766221334286089490181783705266875073620131842010511773316576852815485868107831634632705335245668394723846506673792144021214958738051891253094709296597094310857711162961920*y^20 - 224779273778697470334041426664558944390903389970698748085455834195111462553499177331486931081459093378354137279813404029515501852273436827473953129666082352673383133981560188106126530985862963097188185027/18862706829628178292374910894401899947996004287402705818026673700937831290593289047302979924595837669686406485242355847174008605507776257309280032064648095467314321233510638926191834686924398859700233328640*y^19 - 939982440897666626022971505610690840163412035929324398893949521261366908174549934716453445764245715276079336108702154881189997546382366729629362422002264129935095554784478139983391227287173988974311039267/18862706829628178292374910894401899947996004287402705818026673700937831290593289047302979924595837669686406485242355847174008605507776257309280032064648095467314321233510638926191834686924398859700233328640*y^18 - 1739350090661334254819106318009709070369446142735114390814278319254427916761660655995505377656316153006853999075922984416120228329136455642434107131892705752680018414540881901554704090358246194782027638673/18862706829628178292374910894401899947996004287402705818026673700937831290593289047302979924595837669686406485242355847174008605507776257309280032064648095467314321233510638926191834686924398859700233328640*y^17 - 158768628129475599631328522470798977262865670457956441386144143680599876763772093319374944160942465797935183957354375510720747561749152078419608572785232500565287926896023755242507535836314982927298678877/18862706829628178292374910894401899947996004287402705818026673700937831290593289047302979924595837669686406485242355847174008605507776257309280032064648095467314321233510638926191834686924398859700233328640*y^16 + 1519508394475849587885427040337069950133958845957745860778345828060140866957914967360854334491055182738110268928153908325415907774077149792741547745037870950377693227224085107620829609562677929373740866555/7545082731851271316949964357760759979198401714961082327210669480375132516237315618921191969838335067874562594096942338869603442203110502923712012825859238186925728493404255570476733874769759543880093331456*y^15 + 2318684603289323619886820479799926796661971532110061884418895706479042142195153382390917449362213300939445082271160643793984952886630981319919991131336965583101374754551110752196739974612497052226107539323/9431353414814089146187455447200949973998002143701352909013336850468915645296644523651489962297918834843203242621177923587004302753888128654640016032324047733657160616755319463095917343462199429850116664320*y^14 + 7041688948310176746351048912735760723442711856136996643734685384356523439198305425064396829072993146286722657061119287954673159977875640953651701563554832986480004816975085333829615480015991343509684803869/18862706829628178292374910894401899947996004287402705818026673700937831290593289047302979924595837669686406485242355847174008605507776257309280032064648095467314321233510638926191834686924398859700233328640*y^13 + 10239487036345549901923974450516974862022006815569050890791031456327131222944194693682269083219101192782572626912252553812151315219031930016660559528498191425291575187495006019955952166240138061746717020449/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280*y^12 + 4088430073775986337027474270064948312463572508098360343128572324150042385245476608135269869379518354958316528458743817971099734813786045511517839343431237782537708790515249432034041985543426741066476748567/12575137886418785528249940596267933298664002858268470545351115800625220860395526031535319949730558446457604323494903898116005737005184171539520021376432063644876214155673759284127889791282932573133488885760*y^11 - 9030824735910119694854061367695307705241329306899011145456237257426076273137333929447548419715421026183034869700688095343036252896372961118013706059754101995394507066645594282195076468887925388954217027649/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280*y^10 - 6014690960164923333091439821925404741508820978483112862532776580251345137004117891320850939706090281656189193046958428005861857319947578855726189523651564988902796576135940259563076901111996999055257604197/18862706829628178292374910894401899947996004287402705818026673700937831290593289047302979924595837669686406485242355847174008605507776257309280032064648095467314321233510638926191834686924398859700233328640*y^9 + 256185819034471278946449479645309345965657763610893029509228630198445753093249012183140409794782774825730478637961235751096829273277716295071918210025068943961401645785052514822074269448209586550414905525/3772541365925635658474982178880379989599200857480541163605334740187566258118657809460595984919167533937281297048471169434801721101555251461856006412929619093462864246702127785238366937384879771940046665728*y^8 - 4827341270266419257874199671723394071707169683441714855060638911175722739739302045808028022933075991185427609342164096132693124174941353013808039481396161628559706005182972245436230494997339040569534684329/9431353414814089146187455447200949973998002143701352909013336850468915645296644523651489962297918834843203242621177923587004302753888128654640016032324047733657160616755319463095917343462199429850116664320*y^7 - 1543728662052913013587856514961447590530361293158433942878931396951773017135385785628172876556815857454292545521200243107125832087255550107990962907266124368375016732633821141514591130241178438236905311261/4715676707407044573093727723600474986999001071850676454506668425234457822648322261825744981148959417421601621310588961793502151376944064327320008016162023866828580308377659731547958671731099714925058332160*y^6 - 286373719338619797887027829701103787124663996311336080898552014301948407150630664920939709446569419130307911337854128613024919574481919712237186238375008789271060744775032058882591219642595795452948677885/628756894320939276412497029813396664933200142913423527267555790031261043019776301576765997486527922322880216174745194905800286850259208576976001068821603182243810707783687964206394489564146628656674444288*y^5 - 3001634302857908985904155403724652814737515346881459683678097076901866563732828066456125874932063034795384018702729679636106930902494484027903770977257620784181119151861652343342053065686029167615757281849/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280*y^4 + 918923374970949584035552760476815106235106254205192076652946960893108908440944677338772647700477344266430252829096127204189243302680206767993245108069278610883796058312279616612200838530154821878766749353/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280*y^3 - 8806651338058204428009744237201538649193312138308120831251074815490642361778367530952111630320565097121690787576749003667331273184184890877384980087340760871704572295857529751843130990261899378214745352683/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280*y^2 + 1276516118267634794996494428620812218138887255735365830449524070757499298619029119443553222207181557679373324174495911746621961434348468746121293108735645716013803549651126050901144492488815164439709978933/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280*y + 186911347575639430717544394833349720444827440412010368366780501015789626036117611654656222948092722802316713066482569550306970537798532764843910895165435773745787072919584967440437509909306121390355413389/37725413659256356584749821788803799895992008574805411636053347401875662581186578094605959849191675339372812970484711694348017211015552514618560064129296190934628642467021277852383669373848797719400466657280