# Manifold: Census Knot K8_12

# Number of Tetrahedra: 8

# Number Field
x^31 + 9*x^30 - 266*x^29 + 587*x^28 + 8782*x^27 - 22814*x^26 - 146418*x^25 + 227175*x^24 + 1131196*x^23 - 1270042*x^22 - 4466966*x^21 + 5232825*x^20 + 9493223*x^19 - 14610377*x^18 - 9989502*x^17 + 23769434*x^16 + 3177014*x^15 - 20681365*x^14 + 857452*x^13 + 9624105*x^12 + 741993*x^11 - 2485949*x^10 - 1285861*x^9 + 285914*x^8 + 407222*x^7 + 35169*x^6 - 28511*x^5 - 5654*x^4 - 142*x^3 - 93*x^2 - 13*x + 1 

# Approximate Field Generator
-0.238264264631610 + 0.112084541607101*I

# Shape Parameters
-2904574015094607630631290343016291061433930285320376726578160152665048348025735575643355500706964210360810702350/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 - 23882107542223732699677858114878217548519801960997316567373720002354134156231124239341368683413305485693629094757/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^29 + 794262028424442035999513886258974471230659169359906681044990757754860490388143504547901787835555031458415614249836/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 - 2292678221324123317898343956571000374410073961232432042718101168015975660077965155733262782568188585609807370057646/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^27 - 24517578346911116195005195723442207158492437810805453846981492179123036394463228307926905974994823786158654892913038/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 + 86517561782340126241675499067698534263574609607661723375502846407941552802254276536120335745374307981915761040975875/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^25 + 385772900817484838600820675725396914484749004620224883942715227990475411527376509264460433051837574921404234615597066/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^24 - 1007923464973922533501946910504865001752513236900308503158640190444344956938413731540290281331036188202153528857173525/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 - 2984998334795314265565830521545333265211260087243870097627037795276687525408385586255394997281088463399897702275898983/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 + 6320922620356560370251370160191455125772043412514685498136252384165179638857828184366605034041527089601324454456454307/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 + 11704923005842018771623509032760158590876261380541869887409955983219845409299816632550582047832168586459363195190458198/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 - 25286429385094641812658845667483452001349433182229993655542478767586917276658039945009934686821614145816736457423762668/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 - 21859126343328611321920899295010965051702296441526463343900833176181231865472165950895392982560933564126299741301912166/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^18 + 64363599384362140637624753871205940033574013531532929943270760682719338473597872609712952450646224112559296917400565525/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 + 9914804124431236791846279089344949324452900358060110946686439296606705026137891354660288630977178561613738169062071809/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 - 96436229669380675524706561686444927335770836131411151395874108752597569800708353877338708848213542961586982863698225377/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 + 24195901551374485159333896173542896629679610952756479712175531506612804070985350049953560208687610197455329672677954710/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 + 78384808870867098712117184592449494534699423532184701352291153374996585796644816200631025717800700503865192378653891491/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 - 30560464915441330009057351242471680929417125918708392770025880213102720428051450636538991908993322468090525711109334620/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^12 - 35974436816825508897310315932134609280676331472488318309787672583607087577784116192291186931524164259937158340499880907/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^11 + 8112372441042490387635454012928223094779699957070683229387351371101223659269362330919789249594376367461018072372714124/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^10 + 11520827275909775853907642635640620880338126601213151413417705702643439126926784959910800811330499236189919978207733580/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^9 + 2960646607962316285812283500961168221073197433626816191694004675405857443579549840470914277942871706289188909573529049/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^8 - 2580694696174515542959766141115773005092087422965868641590590299569818548420413236371889968542993276901225714634722596/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^7 - 1521981682482373359087178267877486692442277189056688164455641275706929767454029332225104808514067361493003008076802293/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 + 125636460253456572753788759474135458151503944704567966289518983040345062748289432428470902804705252657510517548268173/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 + 115015031031136182558149396831807587346404134889761298040484648067456983862039512783922285429146125793033910285445984/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 + 6611891967626733250383297754140930860648215586928398713422795655588752553076563411060071764288682603009309987477741/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 - 345467960355617695528937895042324179158632853837707425616678054585266207136261551310204708562236896598203338089951/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 + 489165706711493508972568247180403403525722746610511316481868515222363543804253904156540489625774409348139482684729/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y + 103805529806110308403508917495069177596585509670133526714076098409001107865299950216511180668223483835371160631192/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169

-60238443423172759449456349905328844081754878919662661461660039006785549924915851730063258250076138621868265543028/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 - 480533903322468011494101494035487187899372580143931522940209608997096668015224813874535426451992471838084349244664/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^29 + 16615363723210854455122788093118921755180890205151270388503235684839680917244909192811773086847677113691769109737951/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 - 51373403492526991649196392871395621603202094901906990842249142339121514586033451099448079533489374299708159498872564/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^27 - 502421735774294872653574072765511789596879401665389843546515292741477219000908692529688674266703993434885142527847585/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 + 1927434577381676038654917790134127148744813560043375875577501236437153703547063351512185203120984410647055915571746995/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^25 + 7756589792375509902873459640623362931251075100354657061707882899185448030274712834302319266592423592133817626097531734/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^24 - 23209164295023958404936413085707085628380388847631683090393259584570568476785952912236236137062378533156491859065379246/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 - 60181052556835734058317883537930370282218800805854995305125618034577847802550922430898080450126381567736289387275562856/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 + 148558214713440396507588182929240279372474214369073921453597156095645213196918017653809596641055752165352827311736329323/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 + 236259335722233441270306295906052600227727173946302444230658129263470918363423884571234962823497304364115925231724552978/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 - 591661856403902427629099500866438568196138039552447696679870503239227368481634033475582021047471410047294702100296387988/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 - 422895210832511249682896613991688654757340090040618772404705489167873625533865064437385887661454301078436017966767931861/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^18 + 1483808162759546122594328258443949186861285303419023692692611801606928134725428608072555453859827082237704876267424355571/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 + 95358746582227825359181459783137996978832180073255041192447568684320198102860891504366350805467559825106405659918003079/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 - 2195995530994766761210896009610621212080863452502813723544202687293999466760604592607107740853521872718493073355827856395/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 + 703791587853343147475601953912345966626743090222544211530561697667062517246033184635866430681041241077673826949866221775/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 + 1773052295754087306853580781214204995978632160632575468304562336278528107962443794495933189727079871328092989463780206335/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 - 809022925939391186534896010367673323055906738406470643975085232789646635201147464327322154496672469726428850540098605681/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^12 - 821098192703947670708579703488670370809908376243381928123734463694737596860121784891640837629544568432531416295164951555/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^11 + 232964806292015075106589601531171867603551191350245921144992233123101443489055286838831247132808578071436520608854471820/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^10 + 275905531382164539441986742237650207537792396505332749272064235643930853909527279379541617604692181970997039390670232914/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^9 + 58760763525810413048568121138601563522198863971782981469543987060724580454807402303588533178664547785780406636519368458/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^8 - 66447709965153468749903800855585035226704619417404856473662226379709463215615129267639234720650816957789025048794641926/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^7 - 35358578555698964454142830275456937991180845788879614313942607027445662402854679399623525941081564220089447491295940899/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 + 3999043064870909775626933715621177225688943354289481916774488913840694007847906782485597625322268036832538560684070900/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 + 2927321666657806601154619833950334570730733639968002189650746598478194263442904551969355675098818097998332381058154649/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 + 162778040221653234176661559533554489100635553717878380172113560415371435346518274819222331514419764812773440542533244/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 - 5486620726512128745760194593711868384519582912839554173116774443635779228937951531252535001165445723686542724237029/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 + 12285248260589919722224549890612671878719946362584725500049448633234715072372556400370453684725663626818071795523604/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y - 542586946923556892131720356372195026726454662350612747822959542692319497588842857376012873828839348710219973653831/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169

-2898465673347210831665569859105171852021680520940140824658969955221861302410513279601026155593313408353067660927738/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^30 - 25560846834794499699584565913437239897386580231848034003295012616470321423026404703438199337871669190917140710986593/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^29 + 258564315132458860496668005424112846604386384076551440737685273164149006994755509657654511544976511346871617333775687/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^28 - 1841323049180608637953678835779491718121500184055452362924139507754143046056077414290203908525250344326683260180938161/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^27 - 25138156397758916779025224105014456861201942013384301935274138204801860141528445688292728815927436992678653331422636304/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^26 + 70707600448272884507600544634062613670616940870818613762202970313555392328761780093823390845330880186691961094552506664/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^25 + 412186751666970290249503302222955259475239996203146327033161325764892157991050280281546062076740811404019083950787648455/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^24 - 734204796770976422629915052109278041957116742909829955545318078426046268731755410402869289441061933032842507158445807764/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^23 - 3156331553510400742211357393209685317143735993569455994768446253042589043597502601109604643664495932028116368878538449487/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^22 + 1419835820915230600137645778542626256289842112397682480979576266514642543103233085316955139521495930628375609243681491671/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^21 + 12254911126337234946536637143968726262720812282933625019192777229189482240243028463827356587122734689521344216132872996209/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^20 - 17405096011157142846247025083327671964011337372859126404828737123787942569184408052122510808184191900672489586603371690081/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^19 - 24659892979941271335383168429004628506822778222064290178359694040415382628304809077107214476795256159974247401778580862927/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^18 + 15634949986840135859791978168433910360065818963405997444285297721475534009961538857736990982812216195258150413930362581924/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^17 + 21102341401377593138849706396472621140325059936770960449025039392244362777142526602599404956422822593908602079588913129023/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^16 - 73090084111027431608884537980578635700965531147841228638182198491164927945610528869482041305081071205515941235607625904733/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^15 + 288698515878550311223370090128511527572061667443817709183768096218367469921439350344669470258846717837224441795984715911/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^14 + 60050080951394931467919481011506443883125243325613350757789917297032259180822311698577642329258958512566465037659315929639/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^13 - 4223236561570696932904128836380828314913526799302074050433537327999581377701886299884110629194692055563788630129342048840/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^12 - 26132939991745833620867364896476213814379924530881648781590160034677339867655443887109474421053963683489801691989100425927/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^11 + 2174067816955538206846755821676715496310308894869618042797156875727294547535464578105316468217537996291580268712135057041/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^10 + 2317753438611575210489443483977808068075779024931012618503965488212243277571789719569489758822996097778911376373300527043/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^9 + 2651417829202623886103280488310429233622317990031176718624611021156773467791093037714899410320813596422894243706409389009/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^8 - 1272851004111252778188550680483119493384555290831970347532715214846787061122539317761642600234079511039882558622819205423/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^7 - 329711466673502135994832545159755981399518608105644665174271627621424669162370548746732475045875903476977517553708512503/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^6 + 4971847889747220241767151090692508994119707245674711233108697085359213019979896786086835434626608589741578984867007490/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^5 + 23766446589051320741108456048274904095535069805709518120911932013508994763108860767773359187116875240840856125386519016/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y^4 + 4328305830645396865149844228634492095006355457914127967984380487608943552731005161209084308365344563440375896914079320/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^3 - 338372993717659048029953504976187349426041525610269443457058344892529801411690630101088879283639674008999890427442478/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347*y^2 + 103029492672731323587074758478150762904393082477117887316246666653214403652011193519140064004740983471940226185766794/17357902233167755248091390606121120284856251187913817135895736007693538048706752391537418250249628280301251573473449*y + 26685047731107727761924292421860380251980148934516687681816704284239163998544944091525015224522639798758037687996683/52073706699503265744274171818363360854568753563741451407687208023080614146120257174612254750748884840903754720420347

-104316684178541740487488363725860464415636330224057999703680730812992177348702857914703523651356626282504207335663/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^30 - 2790952867111942396167988049425396833494075852019083311799953011426993789146283768507061644650407413965328984626027/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^29 + 83431875994944873579203502851866463187210185963833709800153782117570798158723423585707801163298707540955075792453562/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^28 - 63642356006039208680531423275818689631308197232723498913264981047644745407259667344961854313852265153683802468611718/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^27 - 907360881864728601980514084505749257398686798300015279163749142899227352767685245595122080907747065244521973750812586/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^26 + 7346090037601607144503801359640447630482800557786695688904197084870482002060429818459220958241945206158958625526641354/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^25 + 44849424407396505884710260230013508048868124002046826892363500400964678992641787498111895980380574944253494166646158414/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^24 - 24702682080656147885819173294302485371056100045465416342492004311963714821594523818702478872588327198320426067455873601/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^23 - 341505416502863549503743607588922961577978827392086786075836875523652076407866782555310543632368168893213011215231641769/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^22 + 140348389859038014366604560925881917843171813692088906357286745938492824564071483366121014576642883256691898171344822420/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^21 + 1314983206373709617716871644695821084543537985363799118517142049963436906056095433981792627080404832774540878950441838529/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^20 - 1730510858438279220446092024958057957901513491144843364934396457739163247354776451502775677063411629013440008562034587941/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^19 - 881436264662919162013160279331226069985309209087800682510175016436980827105111536061976712478387984565807253998015634250/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^18 + 4716749241411081995376481980741673933991711017302393243478849102081881472432924796670743853371053093780742462270853469204/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^17 + 2333093417894005752498006798467075679948776127214031738596496840568963841769446017777719193364671659625247105863711794558/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^16 - 2451163722430881011307704062517743770854113370118527078881566519917963363263898173932655227815903138499725177732576243906/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^15 + 13098713534084963196006069118094566616726218842513420032992842764849211631777916623079729390082930059731163026295656916/430361212392588973093174973705482321112138459204474805022208330769261273934878158467869873973131279676890534879507*y^14 + 1983638411303821106176091352061007990953087675791917977325780188242807220953398404260775515850954618938228096260217864080/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^13 - 387873249670604912160855484481695692753789126390116184971527726674994874549568185026119503369354174045353154196425848979/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^12 - 2488628031719653173011532830580731964114301951328514301635554088098316282542094864508020704118341984983982575372715768114/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^11 + 181879132800459025237991808554665578520960333448963964576108047650963315632509429314435404191006429011717486255669837816/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^10 + 623772429741140059763646349404579633544342173233813929168327917640713324743904986087958725865242289766276103442779010239/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^9 + 252760194352891014462224561818417946215271727556156557530824251270514293816366181017434541100645568795036174760805919737/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^8 - 117061247087498083107106772191464756810196067217921359381747377136278552119664115117412046500010049922909194302880835265/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^7 - 88772380691518890358750341528317495386437531603078900856258618035799852896822318786523914179368473977670162558377039410/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^6 + 232279175515431032133802832723222660484850608967517420004070036364225387670705228877885299499728064323525555721553602/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 + 6829468650540635252001311823362034741799910157855112062572625982213241028391321857597517555101130877274749733522109307/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y^4 + 146335171534133117076383003040479155749575857478901439602702599749216847518722656523535942587770233541508787730030875/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^3 - 20308800154987877452964683924876668769795890639431551835429493314628308822487811668745203661865915389099347385062835/1577991112106159568008308236920101844077841017083074285081430546153958004427886581048856204568148025481931961224859*y^2 + 19232934084702221460141302261649684362983377052880886547897935172198763021141051707437107070990308666202298084446959/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577*y - 4042663679390310058417153366708882829679670834065750091044498595348106606465016799957771271746198336514348791261945/4733973336318478704024924710760305532233523051249222855244291638461874013283659743146568613704444076445795883674577

-6031156168427420810228914222875321040445946382239779741673392362627435228112753162231522286956145484875673314235/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 - 47600241530422763376909465841260880875173581358479010412284902568231410129303206245711107527010790299873822664827/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^29 + 1666960549578044291086259883537895607773383677680483593300148373482458174167449865293646035107067466797492761177367/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 - 5291160935476427732652813290690914982485072050640654238997795354856962843178087719987068284465782959747245147396946/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^27 - 49692584440787456426007905746300212904557320542794556837202607456311969289100534526577398098296743264317006679664351/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 + 196963226456263142165337537984213012629235934137709234529126530093090700378608762906408184353374323744837524269468139/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^25 + 754197533367842735602682406478381191688104391746851872115100669044693021248069588807769254902018175347060585691474665/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^24 - 2378390964039961762859015195934670164720408996798702621268854413150640566062565079031704965887622360637699468646236039/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 - 5724356885722880349604507577516345674960274071943889987497310230646810874964561087148752486477868805293784162514070903/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 + 15305654351660702605052329601792283970850251472730060867373054936113392285040163435114791508161381626275655578914240120/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 + 21614037935340009511221402296517971374990503268440594541587789657863920409587772644572277653278366931932263822472899007/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 - 60941903062589272956551605334342160545921100651861407525549509804449982435143052013636365755156585622781532328938605601/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 - 34374365701594677295054153922985678973447675141891979888427365985735017146311505355688572308756457434076596914039332246/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^18 + 150730649338943660176032752490773618928275280991746796765732625547996472461747035914409450436818759906488974361359434708/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 - 9369127282190084565631767144608139482613234165506854968896106533267051062839248713760163547055064526333273988661176077/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 - 215656533809903007974968090329124884608553100556283810562042140095437504706457750135832314978149292388783613007769855240/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 + 96953880110639081555139542581281681336918926474053149158121973061763312876753161388456775664532418946855459154021930807/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 + 162755370092593877667248474256371848958312981856852827526762937066723985051176335834125564144281766477480627062850736441/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 - 101243713714759132747589492076361578157091733741504050635751419617111756507382951178417620185140332288736788979559829204/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^12 - 68368655425152591879628668758174568292552658693399261304274857015309088843273048461129031102557679864089951925405307896/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^11 + 32469493472278252361012219246667038132988178652403621033358359527546509442372542591596623931340893202267947397843971676/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^10 + 23630372848960409613563891569258584861813227021203125061735662821907398958307660528696842313148011022719064773194747120/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^9 + 2496333512025872130566079886386966201710811794305693663217807598830241815935613103934821201367578808124134422094457851/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^8 - 7338881885155410467687984658249140352259932742845244084876093592771692300153677397046430869543534283424651407429146308/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^7 - 2642357763495172449348551645348189777432579403798626353354940289860813469954983953002363851121943756923696131444346022/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 + 843945256964410403201481804889256335398848423194619037616871754831200790636113863913708459860126149420381726078762523/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 + 260722406586522955166268014029975434880021318548912628346082550872139426817519936903601503077453133786676446126664691/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 - 1041879770855662111673582675871494857660598854712237996054950503626849309325045278907570100344726905834659815267997/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 - 7121768885135473365944495943497328284039906853868941822642083338315295746555435986676560184355941793414180862805798/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 - 779536380263449122597443956738148870637438555577678181695766685089613099422061214486835064642927734158369879331688/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y - 149923663566778147563156499692636989411493571598673392350646386057158492582478244611222692895498784507629609196445/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169

-3606048405875980131089866051045760646947211721529347929993428814474398357144770054701110377250497779590655034302/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 - 31438660448259924401514196694325574162258190866101752625830715502490235177056826711806012250395804798149116751643/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^29 + 967988540106262585059597167558787411486587425978877708730116471617576291249358313031025971877846652301445172235464/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 - 2390151700140062056800256201148318677753003952208252677467338642145583231235112441739080632945074525588004849125558/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^27 - 30975271542777822379061441146191199109451940182162299173039431579263910341634249320455320820019551647204323570484912/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 + 90960562943582085960839620938890792671348567276652758314482100634327883437103883480710937955060406937316179236165734/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^25 + 501691253676018025567369567595859499781287086752623839910840048519589750500052245065405034861550947930417349924540003/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^24 - 959220172197609936209208399162545120423683033240069012375893674835389203570919507721051752264446361971565331254595249/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 - 3797422346047846757911359983624568598848096351098491299980586063859185766352112912769434585163878217445471384786880283/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 + 5640121314315512524202872630718632637184310604997605420623122730690095609186717033473487410245642476712420718632250171/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 + 14434623204869137869572746810948589419007794776036222164892436577299525376626865887949894941732131099749178428582686865/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 - 22898217216428676414988937826501462825620570671610258219952502516050677949831679224283683798389439602468114584204301185/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 - 27473984480044579709599204186725793958773784693473773018073434248645178597124325432718882355442952664161194299466324745/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^18 + 60250138031429248149420839810018115534338144756291914541222134533405248860182935577587813281341502177911076455795801419/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 + 18429967125604326970630827627683644547406553489554555047721624070000986575783127031878907294888236354579990524062953679/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 - 90324868773388477416769492749394452641203836192855557416856690215428046749997514226505823099592443866026234585799519756/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 + 14655125786161986663510012573330903623166179841627461885745343720398584023021670788365379104541186506254749895519432148/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 + 69519391698246334904787927650628274072457257475143008287395179176293544984273945847131785565277264922577863067843378741/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 - 22957636789304133170945439965740713818460078116034451351661106902712421861073988998525844614209507030021844249541063177/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^12 - 27625077907679873111803180823441603868867935017444832285478694493363414647368217690314719143005640905400854928546091513/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^11 + 5108693156262541635346520735423539226259442522003528478791673186619923701218405965000096871476070925443420303687713866/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^10 + 7448519801718634769187055449234626592731372281131216736549974063587450934311093401996702855628550899727553937037193066/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^9 + 2556020619058434411307317832422752018758541837977431397886806854697349046621322697242203294623848635434339769906177533/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^8 - 1810599785867854914455630102261160828849816377069419904131537633164385465074304158008179374802591600830510423295021034/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^7 - 985253810988662185877592447629326282591461692401957740765561877208968961648304176817245364613581881192298503769939528/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 + 155077423487057078947015572610907540813481418429430104967549406075729005824741598907488628274469538633607386791203517/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 + 76302977340321635548288642971277081200517908252509383922626547448990221685240445772198760706976412642846957785332803/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 + 8190672664635180302367848265367172207457059375401546254777935035043697517371813926784343229065575255688991808116196/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 - 2279839579935256975851691303313723645409600174251826973523324815355471191222858709850052907424775886537875331835783/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 - 333441935499641850920788912144397129882823239828353681502805673639829433846003561864902875726039999846724587908571/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y + 81759306985513223498877002823132798074617027170944336481636359815117611482700779538317471047473661057265442610906/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169

-3606048405875980131089866051045760646947211721529347929993428814474398357144770054701110377250497779590655034302/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 - 31438660448259924401514196694325574162258190866101752625830715502490235177056826711806012250395804798149116751643/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^29 + 967988540106262585059597167558787411486587425978877708730116471617576291249358313031025971877846652301445172235464/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 - 2390151700140062056800256201148318677753003952208252677467338642145583231235112441739080632945074525588004849125558/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^27 - 30975271542777822379061441146191199109451940182162299173039431579263910341634249320455320820019551647204323570484912/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 + 90960562943582085960839620938890792671348567276652758314482100634327883437103883480710937955060406937316179236165734/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^25 + 501691253676018025567369567595859499781287086752623839910840048519589750500052245065405034861550947930417349924540003/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^24 - 959220172197609936209208399162545120423683033240069012375893674835389203570919507721051752264446361971565331254595249/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 - 3797422346047846757911359983624568598848096351098491299980586063859185766352112912769434585163878217445471384786880283/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 + 5640121314315512524202872630718632637184310604997605420623122730690095609186717033473487410245642476712420718632250171/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 + 14434623204869137869572746810948589419007794776036222164892436577299525376626865887949894941732131099749178428582686865/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 - 22898217216428676414988937826501462825620570671610258219952502516050677949831679224283683798389439602468114584204301185/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 - 27473984480044579709599204186725793958773784693473773018073434248645178597124325432718882355442952664161194299466324745/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^18 + 60250138031429248149420839810018115534338144756291914541222134533405248860182935577587813281341502177911076455795801419/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 + 18429967125604326970630827627683644547406553489554555047721624070000986575783127031878907294888236354579990524062953679/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 - 90324868773388477416769492749394452641203836192855557416856690215428046749997514226505823099592443866026234585799519756/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 + 14655125786161986663510012573330903623166179841627461885745343720398584023021670788365379104541186506254749895519432148/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 + 69519391698246334904787927650628274072457257475143008287395179176293544984273945847131785565277264922577863067843378741/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 - 22957636789304133170945439965740713818460078116034451351661106902712421861073988998525844614209507030021844249541063177/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^12 - 27625077907679873111803180823441603868867935017444832285478694493363414647368217690314719143005640905400854928546091513/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^11 + 5108693156262541635346520735423539226259442522003528478791673186619923701218405965000096871476070925443420303687713866/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^10 + 7448519801718634769187055449234626592731372281131216736549974063587450934311093401996702855628550899727553937037193066/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^9 + 2556020619058434411307317832422752018758541837977431397886806854697349046621322697242203294623848635434339769906177533/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^8 - 1810599785867854914455630102261160828849816377069419904131537633164385465074304158008179374802591600830510423295021034/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^7 - 985253810988662185877592447629326282591461692401957740765561877208968961648304176817245364613581881192298503769939528/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 + 155077423487057078947015572610907540813481418429430104967549406075729005824741598907488628274469538633607386791203517/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 + 76302977340321635548288642971277081200517908252509383922626547448990221685240445772198760706976412642846957785332803/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 + 8190672664635180302367848265367172207457059375401546254777935035043697517371813926784343229065575255688991808116196/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 - 2279839579935256975851691303313723645409600174251826973523324815355471191222858709850052907424775886537875331835783/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 - 333441935499641850920788912144397129882823239828353681502805673639829433846003561864902875726039999846724587908571/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y + 81759306985513223498877002823132798074617027170944336481636359815117611482700779538317471047473661057265442610906/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169

-2596054399547266088732588862183874059275229035359148716764737262259804039575457864124136906142677375383087467371/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 - 30075782981410240640225403143303088710704439123298096851760441353390902730844754310972277653024373561335106775992/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^29 + 624219208607517759431819378216681935839880748727430457839086436172274655789267440799421682289178576377315082010396/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 + 202578235870380039694146732283877480896588108189513645371722879049879426323127889137443614265204810326265568728071/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^27 - 25214277889434114999689879054420057051852589445461439338312090364214018154071137103853520141032342320728253220519041/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 - 1813695619319827955724664973783079255307804576693151182634121579245441832071454917880272865784899478738737174939584/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^25 + 479301050016199211789788835543351546859651449101595471018478453519810066372910047442940231054626865876884625290361456/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^24 + 479189143281028696040896716581796350455056435535978100712438538694948086092276893015213657124139843837656486939013012/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 - 3516883140799690859553588160115377357430198170702362045691458135026469110142751306666351305094329614232802971868908668/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 - 4781458919322954655964331046776281771643014742278236982015250559099143343679145568372327880738629705657405511464567352/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 + 13005843356541744584583599201833028625335115657326689648196376345504997360328277830820581041504918695325088762324239716/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 + 17442626535297325746531117666297673785834418658882909281652528326504299338430803742599271752193423504447251838965421703/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 - 32586178110865487387724384653963672678315561148702707890353558871924921446483594866023336684969372182556055457556271399/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^18 - 32022583476229865907816794633712393093776907139927111157332120863053945431055717187602605908678690106188762926214157878/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 + 63025064716767551694867157721098992872765527845417146958999656514838962879728860310675936919590538476637796865139303705/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 + 36043308309585741795580116883032817432250607492417095843481415675835187246020301796183921394156735412153872224181322496/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 - 82781354705445951496053994463253378932210616608256812833515998346520115629072463188942588003968881480673336093920744285/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 - 29447958263439925536153317862065472461411160800517089931512903036333054213581032939016264738136274872114455205729676747/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 + 64118557838484985758196029467799564103423873992423069080130670498883312579736343562773027807814560546564248909801530343/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^12 + 22753364190953211374446271672536583904882642416516924850369565266933283321000481423500234478974530503078781614342360435/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^11 - 24464324299442498598105671736140361376502214375050275724060834188759986238850518835718816216731048931756076624909059670/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^10 - 14753103632378247007487747691728131882385193268479228219420588398351506153875080220602373964379715147753684248484392438/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^9 + 1383133240092869189820574418155286396962592735087816421004139782847573324012707530617774160737341047164905767009078380/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^8 + 4839400644148259859291197762611828329133988542372030254375922380454663735500658718375762020576579612596200566813687640/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^7 + 1555731762773685550276881186649418918134083444156975068983422712145903371832659076756836838260297563913706881121292823/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 - 365134278080592188782392532562113258901970024744138791215722049432922814503043319845739867592334025735788006088235780/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^5 - 193608924723204874303305852573339494279758847794210574814505474533700049857927211717247547074900028238952271657570710/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 - 4627005286908547646467971900953498278573486312221153676867573264272259039956180198053160336999711011386441389265382/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 + 1781544240929335193607079455057338469116612033429218213946930666542023728751090745071974202935488923995578062018035/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 - 93752397655132156691298223127713408256700687953531287746202018778901017382337306147614557238208521648199274115118/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y + 184016020253893524270825607312898369562658583760828164337688169121452602946217218835113292363289957697446952755200/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169


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

# B Gluing Matrix
{{1,0,0,0,0,0,0,1},{0,1,0,0,0,0,0,1},{0,0,1,0,0,0,0,1},{0,0,0,1,0,0,0,2},{0,0,0,0,1,0,0,2},{0,0,0,0,0,1,1,2},{0,0,0,0,0,0,2,2},{0,0,0,0,0,0,0,3}}

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

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

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

# 1 Loop Invariant
288361886937119776621320336303533001029346333499125813328661808086112223142921113709480011749905712149294600006129/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^30 + 4740732812735392895535662635177142894515568631679555539971094886988861389665061839323570808180733362128290080273033/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^29 - 78717444590235717512985552893554858583889526042359548883189463475418192008580304302058697537877361517195548440384607/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^28 + 458331074490864233480551867811320247271759225578106968451725377436490382502737431145923664888515146619570001776910315/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^27 + 2397296163691495228213598405598308699433175913736618745509306411600523911809771038490395960466437944492200334639970859/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^26 - 17083602792424243381410321760284386893611273398313748900257208796618224388719314086529840861342744756768722351864161833/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^25 - 74008869946732418901128762118128478167782557953476351132476911219666533766551380847934142978813064904675047900272434305/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^24 + 97998025927967830303504941866728554867565587667587681599538771735837564627764941803196704148891551806065599167998137318/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^23 + 273873544271533658883894075693920741553072443473441282897856594515654889126901184248228414202584011701213277341424853725/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^22 - 614857818768614031838045024621368214994259105451169823767720178655522080316914434167793592102865370251856261383086833044/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^21 - 992767432454037579552831032456400400800001523031615035559337993974317314673639789499090255469171704393713979237584385641/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^20 + 2474769439622743963185369201114015237961887237360380211598610651870002569880185437905085503548543423446015874306206855085/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^19 + 3043993910150058304549638203800169226896399170565416068225392154523864891169502946977451916883487500927228447030430361189/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^18 - 6195570418080292010012752365125010198259235498315470174016437187131298095158308479579902354811899737824945112341636331564/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^17 + 462947520666107020589845398136949274126803666779276949469512508471141264395750376490564564370554973644705400173631574793/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^16 + 8732443246704156868610460566464500280290661833350836572593694438248582211436285799263086288373993624520667565717463480351/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^15 - 4377652162996362669045132390530837762918152805499734499485062298336303641354515660998690889812775610822738382411075155505/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^14 - 6149322102591589306348770705884422432260345517196412153686819597643934679883650654054060501051364724318600876789953104943/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^13 + 9290342904597311915077603504060588913151222517630872216088327656998075969484549366279878503724227594346617004557311448437/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^12 + 4320369036630698191393968529135590578487824527684254414972590404314304868916434067635164560109580493146086444589257223911/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^11 - 3397198535559370183712302092994418106068479166221742987015645399415168469054814362800823206218529690392415787254199849269/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^10 - 1361340721293028281073815253765224202333650584444465310285669111024974839355315069493768273443854638080591337490083353287/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^9 + 222337925469307391731383101476594831885542992515797137843036068550508598152017237267317380224406822632328995152467055833/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^8 + 591265221678586726918270123298572000812968641330140142563861110215502725238748766262533088519265103453484967022891405163/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^7 + 41055381216485305309170018843500177729360517444820535652801088002911370524553929322072132299728335775367266718681515332/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^6 - 123960751592172923061414037262103713695180867186829602173775002769662820954403518553442796794793576153499624630814044219/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338*y^5 - 6752654293388541938615276744119210704167364374257189736765765004082545863480804153335098973893414948422124565071935354/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^4 + 3700796594609496672545918952445993320838945869100136603060756689865342178276157867288323105088235013276300662843145766/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^3 + 517638210609643713812337004501259029356614504068307664279669563021660767171984111489170666891430446026657551022821312/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y^2 - 17424598352378344691897602696609941840629998054964092125770863617632330038195547817391243557945146472953716124605087/143453737464196324364391657901827440370712819734824935007402776923087091311626052822623291324377093225630178293169*y + 34551225850601784638734173947265309782202152517055635260234210674846604751195574188001896094563026793727822249100525/286907474928392648728783315803654880741425639469649870014805553846174182623252105645246582648754186451260356586338

# 2 Loop Invariant
-1394009275695169033172891578086407559163870530231398869813908699665678156645254017426229303045824453743844999127931975314314684145532188091720298159259368646475379029338461907658527569783524476910316635516681718120625903/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^30 - 2147749709379888694765417391908890567318503097752041073582055207485067064279258223401176900565222735054049959079967715984945895927158072269976528560267287735042096000492713954123752548946530774815628143962638215013987285/172925108366560857215064777148137973899217813274694586970138119091971845481106348429671118851608588618366308705007160298232279022047702013573528066457884862869233105644301551685521849515388155832574831134719665960926729352*y^29 + 367022506210503033140562067066114074930844629144583672482119367210198665988433104781933760284168443732736695696926351624387271002573824096662886873477903258351418462561565988514188537090941197286514011771894241228834934419/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^28 - 27211890696709147932537643044126591495979756147019989716590507912039482231619968156452332004428450624438480159916123838308954182367659472313039040694147418280556510590751585517344004116232323479383118438383314603417472469/38427801859235746047792172699586216422048402949932130437808470909327076773579188539926915300357464137414735267779368955162728671566156003016339570323974413970940690143178122596782633225641812407238851363271036880205939856*y^27 - 12255532687345154085042690371374851722270223665623837085410956359462231480451376533089524337447457025441773661284693785599632269612289744476265336155315766527124314115343957024639670603469074230349054609345540369266201004683/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^26 + 14259889431092517590200753980822454568277469570145128453746601028219474746391009239438979695707184580782908069095929584005853030963754953777335865179021832396377830649702040815221536484282465504793127296362158842654982887515/518775325099682571645194331444413921697653439824083760910414357275915536443319045289013356554825765855098926115021480894696837066143106040720584199373654588607699316932904655056565548546164467497724493404158997882780188056*y^25 + 102696526145482125255993874389711626256966863642398414716978466717652498366330470285399760732299123094951827794409026949095464114896231648261185873404239280632374802297123314754444510302252139509881866545540864470454933293215/518775325099682571645194331444413921697653439824083760910414357275915536443319045289013356554825765855098926115021480894696837066143106040720584199373654588607699316932904655056565548546164467497724493404158997882780188056*y^24 - 255048510281403322962770282140205871062218659178239159817685512352423016623270964156036246635639614664949508035382039965439775363678568860931891314500569737809454200312552770737596691489494717717295376037629582352180933154213/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^23 - 1542212118100198613805550390055653713764751729661954215031709607725841347841152164206357516030703831301208195689330261249866540443083902342645456855623013460970136085099886582904220023734995258664685699261773280903689574512067/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^22 + 1303862524838937756047897398551057625440608929747883635476458211200403203220910665332301743743690560857997408538472191881420176679669502378389249651606612606265991102183933830523662010382783729418811294668939120416337760380343/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^21 + 5816788551891479367143433728018391671571645864979835497384050617258472275265478922893918652520723392731616313282182530870557428981427095806476314819602125338249784024443271920702472072787709255476555815102782858318271751249589/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^20 - 1369414726926615807441350352429345561238616912662789437906166687808160195752264713700341657533929233567914141526846671237928496062821368528740985261413172517995480611520488324388535363390042949741482205677458733956285665893601/259387662549841285822597165722206960848826719912041880455207178637957768221659522644506678277412882927549463057510740447348418533071553020360292099686827294303849658466452327528282774273082233748862246702079498941390094028*y^19 - 5905799942687231874819709022449381847965558220896259276517175680556700073455198626089209609763169608398071884381707040068639096944655999658590876771628979856164357882801184258326579670728805694074697418709147498466613612888517/518775325099682571645194331444413921697653439824083760910414357275915536443319045289013356554825765855098926115021480894696837066143106040720584199373654588607699316932904655056565548546164467497724493404158997882780188056*y^18 + 15732185300077884435419945067559018054547830387094276540680998641735849367243053720473331885277115383551425793324436321216748060756840444604360163138667345480003242180373474313939984819002600068507771541724000191689332661314435/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^17 + 11923227902107124706555280890159064581565802505757266994633619755728733284436548040846910565816880309369948297302690445160291034279075297265825204995656876628589544237308714986043456534860024740566649475424128655123542901062767/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^16 - 3078175371883152900892527981090515784479820002077887679101071008729129298390514799209060953856635438766686134981398144546609013742042323081759938402452635569818348646260732637640058256298717366441914029383382311971000750680015/129693831274920642911298582861103480424413359956020940227603589318978884110829761322253339138706441463774731528755370223674209266535776510180146049843413647151924829233226163764141387136541116874431123351039749470695047014*y^15 - 444705130743496925879033747675251521499167313238326148431395585925734890622626393545563799598492699640003835822437665384817306703468169461628074726761366404906131425280053866149813827576101234283612984899511657879965623819051/129693831274920642911298582861103480424413359956020940227603589318978884110829761322253339138706441463774731528755370223674209266535776510180146049843413647151924829233226163764141387136541116874431123351039749470695047014*y^14 + 1549951479921586027240229428122981537313403794698194690673755684004471779097170668799831051842114897004516292266820094275495766804786462873731230953892518159669569580668027163582171560458212881838870439931293840530705411127359/86462554183280428607532388574068986949608906637347293485069059545985922740553174214835559425804294309183154352503580149116139511023851006786764033228942431434616552822150775842760924757694077916287415567359832980463364676*y^13 - 655102528321537351513214169132364331556261272009635158805045491742274315333044430475712412276299656675463650444417530087250571838210463376483542027950756685174132746911559200399069751956896527273390415695543958867177458283457/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^12 - 694045484502513107072600601672259864861317788905692057156968691592052577277158663289304655522234176397945638993590856202608116062626666728629408190497117159008136185627989441864533211154370647070052737713980708571398254314533/115283405577707238143376518098758649266145208849796391313425412727981230320737565619780745901072392412244205803338106865488186014698468009049018710971923241912822070429534367790347899676925437221716554089813110640617819568*y^11 - 269668488894015145901896257577576610704994906132346004317992668966482235127914742540640307427532934439282718653811486908468129182446618220579006416696186345942931004983467903517766296234069414707042323084216115820562288018413/259387662549841285822597165722206960848826719912041880455207178637957768221659522644506678277412882927549463057510740447348418533071553020360292099686827294303849658466452327528282774273082233748862246702079498941390094028*y^10 + 447515059812621835595091383046316704594231561064758023373919277250498213408216983665833792944433140893145356178738339362580681371506764234692121396563677570002244095050455633551037058631766672525621221299515785892112043537627/518775325099682571645194331444413921697653439824083760910414357275915536443319045289013356554825765855098926115021480894696837066143106040720584199373654588607699316932904655056565548546164467497724493404158997882780188056*y^9 + 1045219462462435671459655099209887323937525325771316653451712037963409361386658839252510199868344711068675135698190048861110528431207567793936823599373284069784664364502239974616725025329608646072373353523373521008757248885981/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^8 - 4050165552019671910022531570910381225129839862576690732153840413697155359406149420322393412183501607412809923319774056578459812258045037086501822674210669327055899494742785724266414496904778703150389263361231248094048599231/38427801859235746047792172699586216422048402949932130437808470909327076773579188539926915300357464137414735267779368955162728671566156003016339570323974413970940690143178122596782633225641812407238851363271036880205939856*y^7 - 175686742000142793415292463316002767170263052469932796494939242092139468685180417339623141902091620356491202342341196914772877242620255576853801595631168937939032245429548997413686945160027696196306409492509621488136513458183/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^6 + 1665969046146117866228682322589802763239982760353757902434610931825123221760179744222746251694678559166899529751950560548688117380735078823149043998945267960517390556387355427429863387873315123624247223860913178492129259367/518775325099682571645194331444413921697653439824083760910414357275915536443319045289013356554825765855098926115021480894696837066143106040720584199373654588607699316932904655056565548546164467497724493404158997882780188056*y^5 + 10722568276286355304092751462492767116897060742405598314509918439351720619345233463029033468617891504913123317010447858730214871618938244916588634212513253212819809138428329368992021300289466061939412339327445201047858389639/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^4 + 532479300432163818945697598154003923998604000085754166027234507545229233689187234023033701420733611345407071292588126918620759473827167091531388203832909480827565897278381342271070281446532659264927622933207439695873032279/86462554183280428607532388574068986949608906637347293485069059545985922740553174214835559425804294309183154352503580149116139511023851006786764033228942431434616552822150775842760924757694077916287415567359832980463364676*y^3 - 1442524520058155880214425870189674449961960000137392568427826693997858755147463729184791755177902319611766088893335952142147293050956607039701784676679013798011228999240305646702281154431139083422555218871159816093105880689/1037550650199365143290388662888827843395306879648167521820828714551831072886638090578026713109651531710197852230042961789393674132286212081441168398747309177215398633865809310113131097092328934995448986808317995765560376112*y^2 - 5958937752343250366705594124549063994384772723205909249974484089870656577740804426600494209228375870954716945767460945620332004345460000575234060582769211062734425564028933035111975056124403701363629203480117037796625107/19213900929617873023896086349793108211024201474966065218904235454663538386789594269963457650178732068707367633889684477581364335783078001508169785161987206985470345071589061298391316612820906203619425681635518440102969928*y - 28461612594888926488502049430230542202342253173304909313357823250726585455129779759449305726452153073223609102758853994263490050465404666606062775538128607138709628727847403599456622342810729760650767898839336066502328703/129693831274920642911298582861103480424413359956020940227603589318978884110829761322253339138706441463774731528755370223674209266535776510180146049843413647151924829233226163764141387136541116874431123351039749470695047014

# 3 Loop Invariant
47257901133946256315079139081361483948534641225786352827106468716325212471094552688789968441178154285366228562245129062226882375082896381883737935721617645025954135677102060263943046545771521939783878807040698693680273338017800046955520492000394868577449187098629593813173/59666922037941514425091850182075971418478430210759773674335513735678796283807778343665070049841823836937544649193300665227887566711193546242880139057149147316113140337698028601811067484711889838153338796842676137108803819232594124041567160835170554503902825365011086683263424*y^30 + 143286299431470481315783820803671520166224254129923542144098471015674584683336050532671214308087352169999948687327118785186691176738183908679959505837666944754248243018333451881723046381575644655221251276819027326258698606946160416121160020890205827862756906963676268084189/19888974012647171475030616727358657139492810070253257891445171245226265427935926114555023349947274612312514883064433555075962522237064515414293379685716382438704380112566009533937022494903963279384446265614225379036267939744198041347189053611723518167967608455003695561087808*y^29 - 112679796430642866934076528900376040109234473714204953960897480465173768814423250897230743152872495283454962066940715525704588479341045494541743360689150992362442684742638269066448421215385546212576878823733228450767034327858555983623438257021831558665143780619972249592301401/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^28 + 239664367404068668489869071766704070832254235080215842179339184385815143869731830185991916746291723865205758177147087658104417086057470950207032098045412651074525817046308191153171232123156616637460015936693084355590031307197084337874908418605230627335335641211463008458881499/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^27 + 1245477786151744890985285846720911805448159861838622900100003046404274076771889963802638872105438310553009453519286707611923599449755274028290282032595164288650139568040150585490250599619320181800584650082018733403436054633694819137219148586153766302334069442851612542861713157/179000766113824543275275550546227914255435290632279321023006541207036388851423335030995210149525471510812633947579901995683662700133580638728640417171447441948339421013094085805433202454135669514460016390528028411326411457697782372124701482505511663511708476095033260049790272*y^26 - 4655680908855393526110277372238207277365584180464706115766293450833155129476152360083964697654660373321259839181130962230559026262578516515121407958336074266086610304739368180975375442898057756528127360168719665111912156533048783823677720210108680122227066383713513516188407117/268501149170736814912913325819341871383152935948418981534509811810554583277135002546492815224288207266218950921369852993525494050200370958092960625757171162922509131519641128708149803681203504271690024585792042616989617186546673558187052223758267495267562714142549890074685408*y^25 - 325042604268997538144517170021758363131740622816393549747492312680166711561112146384999590321271212818012173163466405617681367610223476793010244380792883818806819274770653268273985894990047003472489809672382794925236398314713055457714847334037415750113788035816023432372118894/2796886970528508488676180477284811160241176416129364390984477206359943575803489609859300158586335492356447405430935968682557229689587197480135006518303866280442803453329595090709893788345869836163437756102000443926975179026527849564448460664148619742370444938984894688277973*y^24 + 44643713912668381281175430434803841884493867530748518030658220647613447122364694505271726459895300415582666382677619014322814175056443936949713536327810942234269308295459779165791926798079452151281093601890935171098598908840681019667026448139201181441483508327449709106843472005/268501149170736814912913325819341871383152935948418981534509811810554583277135002546492815224288207266218950921369852993525494050200370958092960625757171162922509131519641128708149803681203504271690024585792042616989617186546673558187052223758267495267562714142549890074685408*y^23 + 59560155514616444993559596068456281184656715422158257633459604766062714450683024783676962610924644431388143362109304876430694197883768138290268588222452184853212795013691664199987234508776404125886691576765045069221752141890271342795631344121474388448493794321297995671430906537/67125287292684203728228331454835467845788233987104745383627452952638645819283750636623203806072051816554737730342463248381373512550092739523240156439292790730627282879910282177037450920300876067922506146448010654247404296636668389546763055939566873816890678535637472518671352*y^22 - 485441886901272487343039898415603446795103236363614184853042004611174817476617351697131611807898555044403433681044445017471400272175648013471357128284122779899661272986031429269939592191584996063697015929947512456767857979480512203846976932453837739166516579583537596472181832381/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^21 - 923308378451159412343449225528555016785823316675807473595120822507861423698363692373639275138514453714588564680986485046943174904217740346549761006289752879491795017909909947465892453176745579374083217429607092417670587901779549833874203792349164012149694142792892043374851129513/268501149170736814912913325819341871383152935948418981534509811810554583277135002546492815224288207266218950921369852993525494050200370958092960625757171162922509131519641128708149803681203504271690024585792042616989617186546673558187052223758267495267562714142549890074685408*y^20 + 2017688061395606318058446333294539972080654746674073393876458250776399468107359375736179921237244467038172199554747995032312341449179929628187011216391890090822222116729979361249083229892268302322394003885924210033649362034173643643233632911782176128470213754684237265043378713187/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^19 + 3848080615222041351858255466203730635033223292091656809998075093908783026685928576880262385984503720787732039463853890652347813858753867870355626696564621100687640912890719710594789802066846153422632770942045468744658276623348548786571765710123037954853056111630970657726610784105/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^18 - 7473753758548405013730055573410965406326016063990337088006029339620514337424556127946148548571569263738048235487565404899419374370206410478339222284223629623320914440243701698662174507975305068011336250324108204759257502923389534449515333437093993835415557653937066580483763253/704727425644978516831793506087511473446595632410548507964592681917466097840249350515729173817029415396900133651889377935762451575329057632789922902249793078536769374067299550415091348244628620135669355868220584296560675030306229811514572765769730958707513685413516771849568*y^17 - 1314894379021504828090954355933069312388407911295535223087684333692048146184228426039971586951285320967776647037286212364483129957529325862235237514582441021878296816696366615726497016048666840454718164660720066300128933043314338109819652274232637011605984764491550343582967810605/179000766113824543275275550546227914255435290632279321023006541207036388851423335030995210149525471510812633947579901995683662700133580638728640417171447441948339421013094085805433202454135669514460016390528028411326411457697782372124701482505511663511708476095033260049790272*y^16 + 9155189406683202953043288719473925691468999568252473102735047371262245714128918990907614091641305030481851969292166724248611391877694391911110193880782988529056803027735464252242245455927014597725246644817676361018574750823857886622310326808070701092848457064417846013285435368361/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^15 + 1095611356461315508308070050965111119425131531777519478606872911508870834934470960403313776159454271249702409470978125203228281770983623213350942201880450850981148326350836278041955793003462190894911294595248352919597789121069880323260745236655069885021775568681647628059351685973/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^14 - 951693043011172921882997540919547335857662948036646168794570063829077625830977018686770531297319768647724195440937645520633417578721521319905220186213325908054315641228154062288664203456367673314327600560565618890562732924117498453044550096157306386135039877174433002757256341419/67125287292684203728228331454835467845788233987104745383627452952638645819283750636623203806072051816554737730342463248381373512550092739523240156439292790730627282879910282177037450920300876067922506146448010654247404296636668389546763055939566873816890678535637472518671352*y^13 + 511199630643028390794008498795897504745718161688634391900625472089526457183145213706763323473961515793261060865506823382089552618316282886786339133098877762682942758496825839459388035692798869375722110820401979180301920268991982911974909313077715483963528052471493657746976649387/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^12 + 267453362709105892798149543332927049494887183400786338847193920510622471304313416224504498390278634420473131133359836379984467396530325206396843310389695931829906206636418110307929518087172110574107989194160536584815905686285066722930228350882970530137309028035555216679527134013/44750191528456135818818887636556978563858822658069830255751635301759097212855833757748802537381367877703158486894975498920915675033395159682160104292861860487084855253273521451358300613533917378615004097632007102831602864424445593031175370626377915877927119023758315012447568*y^11 + 85237395570788914717204162434858097165087431901869792499545633572191933966239986335368323129980595430973248633754849559612699651912681340527332983968707941927485364630060295260131740076328872330144019114061748029109842807529390026479209235593484798333283122493788717578322783707/268501149170736814912913325819341871383152935948418981534509811810554583277135002546492815224288207266218950921369852993525494050200370958092960625757171162922509131519641128708149803681203504271690024585792042616989617186546673558187052223758267495267562714142549890074685408*y^10 - 29735770222227847777248819269136612880489884014186149835627426580813249374473810197811804025233672846855196612123965372371276299881514124664180471707339208196805067582669698658590381224610825920345752641017953819769164455042681743780530152485715924925955972659098122712737373523/22375095764228067909409443818278489281929411329034915127875817650879548606427916878874401268690683938851579243447487749460457837516697579841080052146430930243542427626636760725679150306766958689307502048816003551415801432212222796515587685313188957938963559511879157506223784*y^9 - 203254243818621441873015541375064570066329955101212098211740655431477268143389975447481574898596380562666495123003517129931658209902346605501720976491729714136419457535352912833162799422438718309619291382573925425980270877889022135992244707509963587200521058694688796152140289389/268501149170736814912913325819341871383152935948418981534509811810554583277135002546492815224288207266218950921369852993525494050200370958092960625757171162922509131519641128708149803681203504271690024585792042616989617186546673558187052223758267495267562714142549890074685408*y^8 + 2680999461854079826606222416169345265597700045878224261761569987893444547113131201883092799753373026122244413366549003365653390230969956319757709366512655423501014940643729849104360430944697191169111803140255732349803699674423233648847583656667161258237891161611250308063996865/16781321823171050932057082863708866961447058496776186345906863238159661454820937659155800951518012954138684432585615812095343378137523184880810039109823197682656820719977570544259362730075219016980626536612002663561851074159167097386690763984891718454222669633909368129667838*y^7 + 58318750524479572948295088786455835691458204403072126251970135147152531575851410828262826894773763061305717590754819915163369182188309586820903948125147957204403111540287558012703816769652699820720168988857194154240049705494089307306883381572859512430767457447288118704642910753/268501149170736814912913325819341871383152935948418981534509811810554583277135002546492815224288207266218950921369852993525494050200370958092960625757171162922509131519641128708149803681203504271690024585792042616989617186546673558187052223758267495267562714142549890074685408*y^6 + 390207149200195127514515859469345513627614366920678875706937029647629867773609450972503270384711133878991332426078263525327383230337274286811837178637855675320346774738909501861644946685331716506383298460441647826709352858832662348284390838077394148833971556119377077531368391/89500383056912271637637775273113957127717645316139660511503270603518194425711667515497605074762735755406316973789950997841831350066790319364320208585723720974169710506547042902716601227067834757230008195264014205663205728848891186062350741252755831755854238047516630024895136*y^5 - 6686372907222353745955545619894869709926576675208249042525429930405173650871647063228404530933154344543963639964869852910370755312363576784094882946511245643035669378046478312107257312511036345806204543963129101532830402282305638285449127396961916755968112581632933723892791275/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^4 - 1205543045500756826824940882694197728886946857435511056694621422730372216212265431398212528806915490981964225535553394274927795603703620013803740803189669220883557164433732838599838314660465590152228542927404069441345621288185902461141320988222560162303155887603472109547688549/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y^3 - 3592865885556301065708420154255593448981048134425916328697468037159318681358783217741672322620415440581577727804620814894100537695595373955413552449301446078909735378917276885689837826643499669489629552989503778299943412167982002360387423279005914410525490589516644831692997/22375095764228067909409443818278489281929411329034915127875817650879548606427916878874401268690683938851579243447487749460457837516697579841080052146430930243542427626636760725679150306766958689307502048816003551415801432212222796515587685313188957938963559511879157506223784*y^2 - 1244412675970826533935760590108632128062709284122466575552556782679252139673057244806649306261323289529352743507994287700306333222585174515615678447282644511907214520967208587664274344150220323900466796465903907285717373045774038911509519030592344228352918360333422639915105/537002298341473629825826651638683742766305871896837963069019623621109166554270005092985630448576414532437901842739705987050988100400741916185921251514342325845018263039282257416299607362407008543380049171584085233979234373093347116374104447516534990535125428285099780149370816*y + 198173023415498212135109273899522180017103320261315676901858030941083354649391460136662834043623052467156145168514351036704627567528053428467285817734856110480775661616716211185206405007462252480460020193307238898251690356354229574250350809142321308164731981745402339700991/14916730509485378606272962545518992854619607552689943418583878433919699070951944585916267512460455959234386162298325166306971891677798386560720034764287286829028285084424507150452766871177972459538334699210669034277200954808148531010391790208792638625975706341252771670815856

# 4 Loop Invariant
-665306287723785432632664161210179463288883816976622707261811837422903789824388111250104822116226686848386510131005840896058487458618626752250936645744777893085929890292882866766766688325537947871319420199076475840384577095774879742598528824682320645430213768527921893920985054723936293267902352181771347950362387710845313924247463386339715093301808611966873924300995462576954188531/14564810936221052565664427059192317064610199260060124717069961410458419483786668032311280560890812588953568819166069513829489377962925687955686019481931787972997805819901357256286992485293397738507912465779962055088232582436039376475393457476339702318406786904753895118775683562653864991471941739516387799423373243806382420225061565943437756910485254462258139131802079468264015919706880*y^30 - 231577342696177717691589958288752531668971551631905696899050082190905183229573259979354860116428442403298610591925771871108557914987356746126226751963643553311225506377130411165454354928623282916466240907538911385008482800872365715413149084537300221870122411120552064363286944011309746143184885994703294933560841324272748096470515817980356778477817267421668530490397073732258404867/4854936978740350855221475686397439021536733086686708239023320470152806494595556010770426853630270862984522939722023171276496459320975229318562006493977262657665935273300452418762330828431132579502637488593320685029410860812013125491797819158779900772802262301584631706258561187551288330490647246505462599807791081268794140075020521981145918970161751487419379710600693156088005306568960*y^29 + 456942462024814836098657139230480698743729855184699344648514323523487551648383821273621926158438496699293906977094290542036411528482317528652363530167106977900915342578078697464602504850560794100376855676672406654583441340280725183256646593387591657765156486955376217733723955962435152395349972371380827102660791919860563947265457957177219874231883525207890286350426439876286998717689/29129621872442105131328854118384634129220398520120249434139922820916838967573336064622561121781625177907137638332139027658978755925851375911372038963863575945995611639802714512573984970586795477015824931559924110176465164872078752950786914952679404636813573809507790237551367125307729982943883479032775598846746487612764840450123131886875513820970508924516278263604158936528031839413760*y^28 - 86908055229913240443363479948605396592825548900218419961716769565115661147622943350487076725108322464474696111366873651013648668670346775155275408139569036600421764463719737102470039649056674398044395841462647390096665076178340889296076198282735107608354781112069908649521407170625216769617878868377043998628005291249101597460820912264658760975002914291977928527514327585048673294569/719249922776348274847626027614435410598034531360993813188640069652267628828971260854878052389669757479188583662521951300221697677181515454601778739848483356691249670118585543520345307915723345111501850161973434819171979379557500072858936171671096410785520340975500993519786842600190863776392184667475940712265345373154687418521558812021617625209148368506574771940843430531556341713920*y^27 - 3725236234109224346131029144356907984925705849261145603174131225255648122187495931199397166000429085617153881637148141948885114068595076365772034011544619160577834660282102300725303697443980852233701319666174964259652388280783529301247836738725686303868514388310976735999281963271418144007354362624109565255510684976692274493678094752596712883083157485561829075429250520296035017070913/14564810936221052565664427059192317064610199260060124717069961410458419483786668032311280560890812588953568819166069513829489377962925687955686019481931787972997805819901357256286992485293397738507912465779962055088232582436039376475393457476339702318406786904753895118775683562653864991471941739516387799423373243806382420225061565943437756910485254462258139131802079468264015919706880*y^26 + 50356002090640625960908107593096938327092141973925755102341682671873281891172449082000662887296518606248024878271476996159576893869613430205602054535487014351978421313623236029361063098835660984283165232912327194727600781727850519846917292716707107512718869246912026947891216788337954178182425327580937935775558368305232905833385738607404331173895839944245861229336854741737006050426339/11651848748976842052531541647353853651688159408048099773655969128366735587029334425849024448712650071162855055332855611063591502370340550364548815585545430378398244655921085805029593988234718190806329972623969644070586065948831501180314765981071761854725429523803116095020546850123091993177553391613110239538698595045105936180049252754750205528388203569806511305441663574611212735765504*y^25 + 11938590086254461728187320326975112434489222809200156459609957401251304385587975749281209878201738320857427179893354873218553197769876494444595231063214570380930968230710898508541263801514874686181926917211918356358393530821431804115304643167713413002538258575264681930869888545155596067973488262987745953288211390583454210816085685093801501533458731311093374192323147981541302986953803/14564810936221052565664427059192317064610199260060124717069961410458419483786668032311280560890812588953568819166069513829489377962925687955686019481931787972997805819901357256286992485293397738507912465779962055088232582436039376475393457476339702318406786904753895118775683562653864991471941739516387799423373243806382420225061565943437756910485254462258139131802079468264015919706880*y^24 - 3917786851910358468210678676033280124374094719915727225022157409696625786479733747154875065005247135895536856442642610123859776936862936470974997474824526404319525332142601177579752925583798418342726396508178829234291482622644009429657033888131540643536079452988828437459692793660940026404709179705569861521984805165495231782623541703797918535202440177412310460432647027039582332669869327/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^23 - 686089771620404215133125148901999046402332092363116285221145701816903657119276540197414293271862075600952046098201294356585722471078082478303569037719938229819250904605381559597916150247832445282076345796157654034320273887698110762060635601525053935742111425950083977622707617712986885999563113679921815285912413850883315765041037145503765002706312342221370175169829834086281473682344699/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^22 + 28401251217775828182024920663962357166497040245951524207397883195461996379084591649231793803958267121552128509159634994992486819667013326196060450153137196184333942901890564912026817600884381457440390095224013705058456634720024141364519970428364828117163651575127800461723444003458934854247640461961960769115812725230901497427639393154374207175660468601740156785637755914368404841022951519/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^21 + 3740369692603965394606941224330590557431188812469525406164403755696390247345281737765680512825727088492009819577639453547019760655792070343949675149490013410738542952854050319550202949318660999273537682553269351240963256591178624234177306603941821953016559172917699998708688933625742781086111251052944815060003108106052414482680490432819104295707347214178408639104915806204660495319873749/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^20 - 109752727197608219874053079618654213429892653980349163874717451443616298217420509600895526294024777201964409804757317415674927580491342305264749573078760155006056645364800472124803478182417543660301600703005250813033272380950639335634226782692163619152686939758430002868823536883385287134506336863458978400942671814581407216358233642478163028151718903195477979631526176049282878458787795801/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^19 + 6872987616388710845119991147447154650252422141602553401877443800336135525569389748400590042423097723576040169828983641959524240362017003176191924563876449509192460860673822979462580757719666632818508736947743654110953465700259195513330264930213149159954044080636088131368447821689729738799890290847074360831007972491500080564554430026027960836456731784997346926577755472549280642160249569/29129621872442105131328854118384634129220398520120249434139922820916838967573336064622561121781625177907137638332139027658978755925851375911372038963863575945995611639802714512573984970586795477015824931559924110176465164872078752950786914952679404636813573809507790237551367125307729982943883479032775598846746487612764840450123131886875513820970508924516278263604158936528031839413760*y^18 + 50105908445436529627891854599468661560834588670575355279922735825324691620227918293663417453652622384966246000405980664244659666449106367442040022519335680145225385919034813715211517993928924656930099197767218057128960001449492531735883452023906259233389325416682680482156574078519067907334783892791045534518965443467499671896631432146813191557489661363685872717622300012821079646166690969/11651848748976842052531541647353853651688159408048099773655969128366735587029334425849024448712650071162855055332855611063591502370340550364548815585545430378398244655921085805029593988234718190806329972623969644070586065948831501180314765981071761854725429523803116095020546850123091993177553391613110239538698595045105936180049252754750205528388203569806511305441663574611212735765504*y^17 - 119751742955867877019231156993374738482937824720862375130701368053957070658071756912355591971928801255147766403925063641593447372560035576006170178184611182549951112554451439199239180818080176622452914405282171794316780815216859886132245695259850090545396566241368929945008384511700596115105169675155748105763070056253948153857929713990477138441251626001431221248872051315135003147451444811/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^16 - 8576265601011281362389462253587901930288637830430291613331573862408861775320838760579534616500870840954320064787639088178992007616310642317444768002416866204586280088570533544546717030778459113545245696019012111582906728026472264838495658860361541646365775821671476758005194222411535807514196297405292308633226709260410327809440921442784122913581057087844092022825074891110667009339961309/1456481093622105256566442705919231706461019926006012471706996141045841948378666803231128056089081258895356881916606951382948937796292568795568601948193178797299780581990135725628699248529339773850791246577996205508823258243603937647539345747633970231840678690475389511877568356265386499147194173951638779942337324380638242022506156594343775691048525446225813913180207946826401591970688*y^15 + 130352644829218398968791622539533147350332272571575846814268134623863963019236214690707397116982068346764748947802857319943064731974996996008661759966503755402303630043127755428272195228417635200165774866185901378580936256621141600600168714594983851298249025839794881308688688962895891434075544113620771159993760816180930743276517850093939908158456192368805957202767283863234520243714624477/29129621872442105131328854118384634129220398520120249434139922820916838967573336064622561121781625177907137638332139027658978755925851375911372038963863575945995611639802714512573984970586795477015824931559924110176465164872078752950786914952679404636813573809507790237551367125307729982943883479032775598846746487612764840450123131886875513820970508924516278263604158936528031839413760*y^14 + 18011002674449857283670115737115169578581640617399594342796335852043684597817080640076240590804317339255803467817479390135663775840970757283528908832284099276111757364557992429892632493714778133486126617420380354177036514964709698877435180359204541698632594806008512372929431868442426307016214355692769931284263772171329816571900287099657521783965728369245298200187714969620506757423395639/3883949582992280684177180549117951217229386469349366591218656376122245195676444808616341482904216690387618351777618537021197167456780183454849605195181810126132748218640361935009864662744906063602109990874656548023528688649610500393438255327023920618241809841267705365006848950041030664392517797204370079846232865015035312060016417584916735176129401189935503768480554524870404245255168*y^13 - 23080164295618826845185682156247159837135585564219208961858303034805201048668506082448479064209987436475337496691161673935568415732872440269258180573005857126405382650485478040396727344700150399210590437236049128306990651980985435160329558463058118275837807513727935633614276374702835258019674498915850313077368308655934174618244152709807364937305640587408478873414569491265820198227790993/5825924374488421026265770823676926825844079704024049886827984564183367793514667212924512224356325035581427527666427805531795751185170275182274407792772715189199122327960542902514796994117359095403164986311984822035293032974415750590157382990535880927362714761901558047510273425061545996588776695806555119769349297522552968090024626377375102764194101784903255652720831787305606367882752*y^12 - 7782312663562663490678794214389796062593455409647965542549148696209817690968073219594142344189020770929643033780229022617914849103742610133512794483199385878229002111759217749799710612653815188515468119377363577414169744776162905246925267112890536998434362991590728883133986321218645554478473265508171526014104568914474259467894293832374786918714867374640007721380068001506389163216967423/3236624652493567236814317124264959347691155391124472159348880313435204329730370673846951235753513908656348626481348780850997639547316819545708004329318175105110623515533634945841553885620755053001758325728880456686273907208008750327865212772519933848534841534389754470839040791700858886993764831003641733205194054179196093383347014654097279313441167658279586473733795437392003537712640*y^11 + 76290112130999339712265228383714103297007182137712000030680884295556722457583127095812560493464411155476864429256421086157084038075950956887526955086788793838336827799904749800164572642049821972581419071731363220287111720698440729438972806789279683496329840842972069091887745384903398277902011712539838285290248826041447896771721770356354453574091576651879642881935097251480633605655241793/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^10 + 12499340463032181065667292813101873471262177005089016908989766213737979734737874694618005606290465485698789140517627906033160943984925736761626376460447969273754658057157602510805834703546294508990746207426106342388939796918486299803057187563252243332113149517724627971107962019936433832924958281910400235078464983969801915539523095245449564784238579678043704371967533601880805028718039283/11651848748976842052531541647353853651688159408048099773655969128366735587029334425849024448712650071162855055332855611063591502370340550364548815585545430378398244655921085805029593988234718190806329972623969644070586065948831501180314765981071761854725429523803116095020546850123091993177553391613110239538698595045105936180049252754750205528388203569806511305441663574611212735765504*y^9 + 2320292568622451949913892473759491452685324142356344098515507762995200207570202196141188365638765686626629949679193921464850548212039920929381355960586735644403190834032180022179872343065713108238759091456000658354393889973261373054656722846156615504911411198513846072124719286369708277214299740742997315653017209460065922812849666819750733564574559437929484842362283161483164108718421223/29129621872442105131328854118384634129220398520120249434139922820916838967573336064622561121781625177907137638332139027658978755925851375911372038963863575945995611639802714512573984970586795477015824931559924110176465164872078752950786914952679404636813573809507790237551367125307729982943883479032775598846746487612764840450123131886875513820970508924516278263604158936528031839413760*y^8 - 674407175498539590581014525410289380266506917217198975501884686475295371440439255390245508851956001306904771765696277277933826756259633988402627744357288557706208891823395423790212700742695164903798434178923158835815455337323423120718305909822078500731522084768971516092619816263548594044841683467717157136558767981950457305687436723529450155962277077620749565065493352748929588538363953/2157749768329044824542878082843306231794103594082981439565920208956802886486913782564634157169009272437565750987565853900665093031544546363805336219545450070073749010355756630561035923747170035334505550485920304457515938138672500218576808515013289232356561022926502980559360527800572591329176554002427822136796036119464062255564676436064852875627445105519724315822530291594669025141760*y^7 - 3642624726141718031605943789593706542969101683086026367837530505285331609837136921521039942766364516007951534142915726393768936966593318653432554856373051224645139208272294394083343917870282551995959286004711294762428333748871721525072950315105159316044518126116824739509080087861533326263838677969032249554645452880060168209593017454642107497744036325097050779200454997586148960382300783/29129621872442105131328854118384634129220398520120249434139922820916838967573336064622561121781625177907137638332139027658978755925851375911372038963863575945995611639802714512573984970586795477015824931559924110176465164872078752950786914952679404636813573809507790237551367125307729982943883479032775598846746487612764840450123131886875513820970508924516278263604158936528031839413760*y^6 + 604633517405902450410796659683719380102274359017355181510302011482234136706873055844296770475732503592668087498094397403585818915614874849577220008776033240700652589127344642940943406744676108267442831932892747822099196568548488803279040283330681567966178097090174226026642085137778659205804841156151823894533378423633258055919397337536674038242778096940596903634739511943082113342701549/29129621872442105131328854118384634129220398520120249434139922820916838967573336064622561121781625177907137638332139027658978755925851375911372038963863575945995611639802714512573984970586795477015824931559924110176465164872078752950786914952679404636813573809507790237551367125307729982943883479032775598846746487612764840450123131886875513820970508924516278263604158936528031839413760*y^5 + 809204834599584959998928267154430970058638499067326192351892045972889230984746524772368509782091143753751217627228189778863718911738558029285759635107331082975048912872163963673949868412365556317382039052000243326633703839977173953065154837588306259200891947436527965429280034994430502305642571819538991241472663813454716307805462068580856552916423985720710558025895083616420469903025663/58259243744884210262657708236769268258440797040240498868279845641833677935146672129245122243563250355814275276664278055317957511851702751822744077927727151891991223279605429025147969941173590954031649863119848220352930329744157505901573829905358809273627147619015580475102734250615459965887766958065551197693492975225529680900246263773751027641941017849032556527208317873056063678827520*y^4 + 8223313568412827433438938831972661531980576995541343218000367450377985606709228388463909482296451843005551710773084801795906875837912938222748831399583017812898378412928519503359775095653999245557355358114002328634362021895864219695633836416645981222824685025341105634989327236575696721461388524619899833778860009856663081962586416942356546365563188321089060727272254791687870294841683/9709873957480701710442951372794878043073466173373416478046640940305612989191112021540853707260541725969045879444046342552992918641950458637124012987954525315331870546600904837524661656862265159005274977186641370058821721624026250983595638317559801545604524603169263412517122375102576660981294493010925199615582162537588280150041043962291837940323502974838759421201386312176010613137920*y^3 - 1505672986683101652515631457139797447515438238061078270368133336215003288261523700386744825834511297981983924273569003113448623983743845143436445044662369344769450711381943776334444134530638854085798004344171821833316834376353566065996742783853353963497859026375996174293379436249048861875233570758039990935722892472297014274923489547632450783458047923482071259680886494014620506251223/7282405468110526282832213529596158532305099630030062358534980705229209741893334016155640280445406294476784409583034756914744688981462843977843009740965893986498902909950678628143496242646698869253956232889981027544116291218019688237696728738169851159203393452376947559387841781326932495735970869758193899711686621903191210112530782971718878455242627231129069565901039734132007959853440*y^2 - 18263533920367926400778369727589323812732550245051605082294276333144789227042250306140294936557237516453472376734978984631546682250628941970932659985406097764382554756792913395206369599343859341055107235932382640767197302381255206374138373653766410634612288190945059744078106736843619000006232183131476884250358719258124364222158132342663573164798712938391478041170236944117114565839/1294649860997426894725726849705983739076462156449788863739552125374081731892148269538780494301405563462539450592539512340399055818926727818283201731727270042044249406213453978336621554248302021200703330291552182674509562883203500131146085109007973539413936613755901788335616316680343554797505932401456693282077621671678437353338805861638911725376467063311834589493518174956801415085056*y + 3225571039397805322122606789170277677303538633510661362806100700201358748742158454171961630458634379101761270708439000735290361554047355326570118851745224674565694202418012958944053703955236323445316661937958629201734785278895511434041216110609493018948082072352116621490929464517365120031341301671804449773673927752304553743394115370178234582895663612909115004620043335459373908195/5825924374488421026265770823676926825844079704024049886827984564183367793514667212924512224356325035581427527666427805531795751185170275182274407792772715189199122327960542902514796994117359095403164986311984822035293032974415750590157382990535880927362714761901558047510273425061545996588776695806555119769349297522552968090024626377375102764194101784903255652720831787305606367882752