# Manifold: Census Knot K8_106

# Number of Tetrahedra: 8

# Number Field
x^32 - 42*x^31 + 430*x^30 - 1189*x^29 + 2728*x^28 + 5360*x^27 + 274604*x^26 + 639071*x^25 + 1601690*x^24 + 5916928*x^23 + 61350265*x^22 + 318879005*x^21 + 1028004476*x^20 + 2201180237*x^19 + 3272856459*x^18 + 3635665864*x^17 + 2025312097*x^16 - 3973438283*x^15 - 13596217806*x^14 - 11504646189*x^13 + 8445957748*x^12 + 8265728523*x^11 - 8639956569*x^10 + 1263960851*x^9 + 6044295275*x^8 - 4262822544*x^7 - 254115958*x^6 + 1512263760*x^5 - 807911286*x^4 + 112781735*x^3 + 47663429*x^2 - 15926744*x + 1032241 

# Approximate Field Generator
0.239685762236512 - 0.433676513503986*I

# Shape Parameters
669709707605617725993744302376834577069279414428894589845702362598001560019475183762166772527884828781196047636033252497536344916117917791702122044834919553047625033/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^31 - 27809796093417609420432301418463810789492502569020900645454066569201613848427554404283708070942436015401114819903194913587134195166836545094973492650565450346942546101/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^30 + 274769872392531911951425633236209231823166593891671659607732041039854892927243118072427177453332729075238338121708112562574132344289326243427900507002384794079975666322/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^29 - 665817930369041601593340748287042591477299694763686927493193714046458500608549879881773752741797777751430655695435420060088743154294727209938580429310206317405591745779/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^28 + 1510883356779364691278933625123283159870106465021464712855875066267112378391433156626854569699037809551489058136552564512779913139598642750296358712640457869914762944590/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^27 + 4306851769066171872213101971142590787007770470644431980236506529677920679321622216946220325966325674073905646566452940649285108802105813047387078160625524516273152074608/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^26 + 14303895082604339904108434001255638821111904179255285160882202896242793281201104168232686732565749480910508952174863832320278555645760666962771438919618908296722904403662/16880989216460830700790093257760175978970201236467952147207900941275301578957581916103464959775427697921809565453096217581971373156032773889569301531377881997301849871469*y^25 + 516291493382359369655668589787176894019487654764625779711890499354145362137971711940764043935434828321787239898452270855909312508987610403800173761286891308286938076872037/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^24 + 1317877153019047250742439717232094261781976114228664610452276534877087994217561218805342565686701062457563995718598605971089646262065965693393117257453535269811910274246664/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^23 + 4588519366887689251299634818671683765724443411343348320141272086251707015456487381438402612716035557972699949037304799006245073055082759528818497169543639634028795352909629/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^22 + 43265993237791191872974317688515871904343889463182258868086060979233860144397540729350651305705562156421628844071883757692117964571149848960051613255981215376384963601940132/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^21 + 234102237796642886451498600568023836185111647019391059408279096511980621435293817026814070418685001208565330013077658365426538536563631596135036661003865233090537823029248390/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^20 + 799638749576802382708509243088278122079106316102534522583061775200181535923955411422742738254708559081170743921620974555643401173492699988987054013946506865907610407109506046/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^19 + 142608806087251684641819245396997686165640604897784533862281075260039699728677428179800546518206386071900434060757270167444975051414566843201059680526518875827383137558721303/16880989216460830700790093257760175978970201236467952147207900941275301578957581916103464959775427697921809565453096217581971373156032773889569301531377881997301849871469*y^18 + 3072365908280309553870182968524851919736075995849525658452751613109512656203943967148292554937136556015621809872580509092099985247002074349774952567224371416569785357648914271/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^17 + 3894112824669956573261204519373149157668232568467827529518564068936591773918550443011432948844125087545797231708405232986838545517345868306593202281517344301754117270633741052/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^16 + 3206019686848569353746962132960365332159628430418574999130745997172488261880670620970560114271257032523576023970597753961949395929443131610953050380459625327847936816947115917/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^15 - 1138069757495276706208871015997109391122081382360458441519733834450765483689486296159281945546192993929633058242583853711198877825459260780258506268779768032075006488102705377/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^14 - 9645585296457205871326853263378077875567654647042829877505308819566145786333099116591813308288591145527902854518653500593635966537479649990006090462197508511274324881096693155/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^13 - 12285613210678789678404277253295876222468513021175503412984933182345052967977799512592249355520194881339148860352625901526471146881194340110270659162459216189633531481299939739/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^12 - 179623956259405532628498041465790707580703361103284711603259850055472242011852528095459770879259781221302296274405373936374581215644380648658125040977966089545144414345967236/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^11 + 5448722641475531350087543745706204527724501235841997565016918737569643298691069559645528323306073520564619391579171223531674132828869175014708643582284155918370816479301048536/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^10 - 3197593005475962988001364697212168905370659221458899105712445346352088794260119710279231672092052369804046276582262831436038142547059960315885801911973220746981693907113441983/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^9 - 671464069862669933910008059281564690299216991932070171710560812671065713982084049358353337086773409016425991421896264951736401158480400822025644203381978803164118503627457633/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^8 + 3727736522149900022468959559868402093916191177392025021159822359548364272953442887524075549020188648915610710846692006054814683394572189945936180646965257486328442348173428270/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^7 - 1083756604200429368780693705753261682098335323906319113021805672742495838200966789490409145687513095715551443630524827092686736562919940375668493087875143614567938388012503153/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^6 - 684603603261804828408131730902019939104876690175651216043716242374580217709738805405743403659684161769693042690287527909698004183279133274219243854158644184566020279102743526/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^5 + 687160078163631024402341637557720935363504343544604072359189999297375246092668248425456169145412398149696944468486512026392468839312380519732084230983145142649011109587016816/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^4 - 214511914119873382396759396507632708617672756960729088100265733733657771748904263415050701120999511055710783918794029341288810832370425047861027702493962059779233222589955337/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^3 - 26413142476421474731926374498524177840758385576339552624667654383536452407181717937261768772506668436554795758168912131281170194041907245109974456405236365817396514445847944/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097*y^2 + 17888853047080448008476336123791415006863996290471227628099648897717947870065021667358494606725718807879527376358107575689138345357737989441488691652613162625722248213839/203385412246516032539639677804339469626147002849011471653107240256328934686235926700041746503318405999057946571724050814240618953687141854091196403992504602377130721343*y - 1509056544040793679297111839558882170449734557100838853565193910192332497373451428636281117053061135086623029352878446270286808168270173592625023277012251309582364669988694/219452859813990799110271212350882287726612616074083377913702712236578920526448564909345044477080560072983524350890250828565627851028426060564400919907912465964924048329097

1300970353599551669389716692139083904272669998475198236712142447812795308266809713496821609836673191199367143890795497284193831111439886242810924366607058067709380/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^31 - 53995956883215420502101319135696763978387944759951393125028066431976757721750943189505138653726676143957079697993313552625388782296283111521700109852987600721755263/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^30 + 532644454684085791917454343979487993593432098289838563220975195780137887666094947074737234264158983164309113969589469408315268108106357144146971884446715988698934834/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^29 - 1282391878505526705134850098018698001671873159025326436427649228579335153092820409631580991720697114828749694607718894214459459060065767594062960992534460239417816590/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^28 + 2908275726878763268915521255008424850202746205315470439131269035214204216087801531887657837623632111048018996572611757262057933217461543585451450404719686937179922833/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^27 + 8433169904105523825246776532389236341522095178123513648296739697448097438060691042715210384345800803332491613213888722469578704629614124153023510502646136148693644923/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^26 + 361381670891346025373198311395672586755693973497256090757256733699962705275032943890010406038416263369112286129770053654739540728926251224648041956405027980720507548905/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^25 + 1010520373442822414056568992630358553555431349290789293457087113263775303751320861754089704828042310210333049877089302390447013314702893161116992511308971492336458978751/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^24 + 2581611211568021758103542571189279904768730767474706127598545986616214975452093033127692068946128019822733944953922905885825382579838835700967806162856636281177575644681/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^23 + 8973601332638556846847579142277256665875601352942019425747293125104246477300545986985063774083982364234657086847467442462002142668637923460526203763490849046380505405055/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^22 + 84249289564001629049374158667377942785758475147804123159899219644696215990730324764168685685554578767644654528343083015493683683768898515522713218226304615356775544333710/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^21 + 456560253101650432083073656994393101167903815548831541567248446545983885038315764240949529046624167356956727319851800636408031659083030924677666861607506764717549013972529/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^20 + 1563077708431655846144783546723137294586232127161998017632675677306017391843228988622092414713799871464284991102978234930740825360576009237609158583769112138247408393411036/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^19 + 3635590819383245895811850629801798868332521115485412017388409385542373586240865441574764318632148655714373292569459027008635749103002158023603037047971760940256484427341656/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^18 + 6051742010947392535615247229081189605453697404860545004449038353199414990772840958568839737798638777057577173208593848094219332243472031766803996053498180546611756037311977/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^17 + 7714707767820063633484238226319999027054814305993760068786883300297901447179651091960645089232743329914380294385695190728227587857357922028023438926249599877631055773399477/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^16 + 6441057485434563617470406861125530673486418622485746226332284207058230924935718635556111211490526884267616505710556894673474130550031281279545969921269720262104979389202507/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^15 - 1991142969206567214510959186661632111201420060980789541023238662388346542248942835292738376178345118295710060192859778674410478459168696863522294248323132795056281211347574/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^14 - 18668755872441035453566054196012545864264860728261022976871316384994675013059595762287674117947787195780170277454348524113803332254850236365023401828592640474551838232998334/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^13 - 24163500871491539155933802531557748568992872598321806115028308403960355496052771960174361523675936775406774850664086949878399233004320673233282471208115432405135477776531102/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^12 - 877306189675095816023422584044622063003410572346600636840272347471546839164913796446333122245393029142882241588716099053595972579749237693692812649470659297376339486677083/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^11 + 10340472016001323468996191052210253520260968750036574950379077468277905089651961902634221656694479294886403318060850255011052091199709514775165104709282793128198215249826127/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^10 - 6242420584804321996568271145293773767826004666742311354736022707936276812049577225275806131660893134350454094778709945926210792089419842391945143903141422141778938846194320/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^9 - 1454182264469101743064493033692752408914143091602281860432470503696667905006227363272496683389887419710663649815019634462298985380791386221009502614077153527141241635228192/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^8 + 7192379215090669428285400369643297223223912609305148033472003003963962000408039319417710007592238682145870117580661347010077268433655757636528845057889958315023393933726096/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^7 - 2052251264656017873126004547914192133588170402035206994151949290210739717366693796385961291139099734241077258363399243549001451195581644649634937394544295776700263258922150/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^6 - 1343556697161994122452718581198665117789893502746512288776145655057439860850035144501529833615776955163419200012591315173398757010235496879390028399312965743146364024338845/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^5 + 1325200984613286723189378380666917550538773129494103706589855367203313755292210701520262583003831277584840868548796321680781603769433288067667561758316919400034488624191773/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^4 - 410590376962790936750143712947180306651839481549379157476736650799162731342160079993454823359967538601026475166429144807171686563614587388831293641477405873671128582680182/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^3 - 52848256197672442340861057850300993349504655027174443388417257170193636326365129417578986487758117570507908348630943293316935854927993780799791148459117472930246081227377/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^2 + 438723171342205465488014462950264946651759540935540043875758902457822310044432820496627116777500595441041542051971612782663603723272068785794970293298617731827364492557/7013290077466070087573781993253085159522310443069361091486456560563066713318480231035922293217876068933032640404277614284159274265073857037627462206638089737142438667*y - 3034182895239899940295504057558928971505886587431639394036177899649574222895487974310209787057426642954856841154292737192703117807762983415668495488219047115043047638239/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361

1170782156675237464748665761958420409767289372609892552122529612304969931204771454048050715252684854772319236083151204734211853053592096580266961995459760658710190/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^31 - 48586600413507238372344556683121164937147998676607093097267080341349887563082371767180025044630055431819435307510189020023329114323700822170324600617958826498498445/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^30 + 479065274542883984385652049524613182120556377380645379874550945437941906772895338227846548202796218918109132805370722817644430934598344741200623337745148591686024890/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^29 - 1150389959163478837265364408953011126612374774842064532441928735560632454633751349030650058592640914199575341209257931270110930812378045266355981270702600881427090854/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^28 + 2598986354373423062475580350464900921025785320864792144654571144707485367899393604282240647270221813724145129079987496706708361829975345347820846723117806445782136961/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^27 + 7635488122432129596787034219084611950083035738580956257318082625004734755786243773673412029191593492525802840635859326669356613751690668514267425594963748253491823206/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^26 + 325177574832961883801190340144279084027172111278562835538552935954199117748365033960105630332639338217938055983442643756163315143182518830478840488511268442151759172793/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^25 + 910900434447684122908723168597698970623362467923188557383815607513640661530682572895679971083587046406528095170966953461664479687194308600337688175334551048159480842435/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^24 + 2319785731367920040765023145548317519474509866194848399630707072038113228464546323908642905240225249424513542441014603268908595510125318525115146805285509307016180861681/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^23 + 8066901355849475903876791065432323556400235194604782444452516440880959712334638046933540421795747184975276952282406683097660518552109116842805541917723513201477037617597/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^22 + 75804185577703363598833641812656624334858480652421486024403825961055461245085149616362572633828887317217687085201550362955856386797888272962880513726638219659137560507197/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^21 + 411063481374288215364358371994137587338483005512348690318784920671169724566075724171021094779522200639644714158804411399281747653692334006618697206992229264854528840392668/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^20 + 1406890536548866590708597843163675363759835548841687220858240470251745569966944555202678338447839317127708340516247219720215911306680428699953240237915749423687799097264603/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^19 + 3269109158888443146231594324823275400456160921992209277140466892964832774224564222262987934842646800991958241763477546069952151739552692558935425399960993564598481156511843/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^18 + 5429647333253876693733925359119786192239978135344896052085486565462946592374297359187290872594001040485486214713835890917497553291215826830741227966024533023764179534072234/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^17 + 6893862674245133311200504921444150934982335511658650379928122349287909544936896995750258547632283298146028987542033824351355048509770775929178869758277784584506735296144132/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^16 + 5703132234212823342088753270283940049990394233668845466533276059448556281254983269724587955321132918402229932199822318658391793467680234565298340055093006911088776130872552/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^15 - 1933342079430723791787704147282661294042476551282049671018451426354946241909074151778414263334194111339178995880786251192588420005707312150858200952221270478872700938241319/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^14 - 16964768743502606421526137616461618900207327598675713752743712063290780101888653697515260867825425543000751002120974292960731068422226075056547689969994283781149819785106706/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^13 - 21821961793054076120433772454695484751761696579101551916601523947906075173831878183897197228793550999559795899570268396124113748964808872707511494863659857882106271272166413/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^12 - 559240954622918762602249716320913733922592114551884105559963953448828577951387313151089970301866893907732412347268829553517396390270558651734199404225409386095377518673838/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^11 + 9740074154007198336378145814548990552186594948773160978003619939159887904849484001797816514850576317195114115345408972333007589851695118032199961587182339953765748012105627/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^10 - 5536244569489936418863702498195787956013378287057983893563720129203669871824152192459717971796055053448474139246678368575623618542108350954542528381719285029592012706116004/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^9 - 1369145801526524078915465245278750027960512769955456184514266793158114290871705054584865487090665473942698158975613804418833949162796901756737386379743290024204604036940066/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^8 + 6663681470098277317809100658680288761069611797987500948850177353573363766838208259574270178634544879141370877128948685967523633523252664371804685905703460568110634927418236/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^7 - 1857528784001638054377653893155485573888455846875053525442830893761381436155792296579544318302758282872720677278649578574323978843897774478314422208186405857368493861106618/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^6 - 1281096711604374077083612327161446150046661577072268907691652063981038518242011782592960399170775230162759945416802021437355359751231019503926815556184054473776548105502815/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^5 + 1247814272424332340982962135130850657575499884191606454773675665486990407962696714328119959615619944135945796873294847126646090892211462386106598049775559572026709924574155/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^4 - 386430673584196486925535960492734499593458640974788891807700065415782880561652520075716226534539545075477359644208610242143672052869541856335353503223883075402701111765930/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^3 - 44956080463966990469787097396324801010403216773646534255720725535543770273030572997960595393700026301252393947023502144542054243610582160800500454110633019168192135062488/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361*y^2 + 392466423526139723136618864133116306554168722712872368725934428383704092699105209587894208435456252446609317153930793571230167026299161112026248562717049236112082108404/7013290077466070087573781993253085159522310443069361091486456560563066713318480231035922293217876068933032640404277614284159274265073857037627462206638089737142438667*y - 2033676274513470071519828821424309465052618749729502975839588058474663499366545844696424245789016446467091675239903708879828545130714646499945799061251621155013169308375/582103076429683817268623905440006068240351766774756970593375894526734537205433859175981550337083713721441709153555041985585219764001130134123079363150961448182822409361

-52871468774208397041300925058109173287048072057342783284046078176422205992370093652759347364261356810283586930509582869991549324483711782794482609389967980383064968158509264915729462610486594124109319561/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^31 + 2195000807800432500456836320730932270374411169778016042267809998242134065148983396180467984240502410693530476880572949043072002125840057270882115765027177068301324662891401303034916104529180022878452471916/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^30 - 21671662102098987663452630852507527958791668350568870188761937605040160946037585376046990760982871795105659697983528352043288919446607326773035790004953393321146668009477364284431679118125142524917855544615/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^29 + 52361077132578065826065699148293541397520421250755070591100380618508023232523763951529995625506502930114829303818721444994154170300718315181348432477886731036454307599439194790649382052887893451089371636158/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^28 - 118786840256621361542777992480095573108354481463114290772231501670887571505554089902577125711070968692428277369251941189025131736757955706338199580424272117769164220101050678050094383799961091040857253820223/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^27 - 341128158578210108816732665184061725136985358418535353557869007084885823561839651371882349162943743624338705162905322665538569456886667254663161168424624709148860050403510812260331066508069902039737368608479/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^26 - 14683373667765074746763459890463100955141691128865033521243249303740195041821253387113790858296423715622980462112255313899669610212898083226728539187442123024096815922306127919397430009298633236453175255184612/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^25 - 40897023899018204460492096814316205299193780984186924420142857424782866398637944940310064255975479383392832398236678881930527443752339861241840867006956279090298058290363696136294405521589027305286007016236373/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^24 - 104422525613261603681030998194554698208819042533863611643987317233632730137226005319544306664809497108399579378717308206392391534080496665487733495964625815935331176321729044587142018629663592061476266478467321/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^23 - 363215160557638598961167963724410206864097471667621083696442136038164576259961667530715703133134613182410966503228617782210742172656049956440394691773830194677668836608261351197624129862928135402428467964364945/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^22 - 3419061369786642727409355570474717177376452815210428650838930715083763873564410733716363671612379087934680518217549716941256590070282272582425393248174422583678298371124017580079847353903281842136012788651215897/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^21 - 18513490576852559409675820491824455064935019391171115702449647300655812448525674659567238077835255885459024363087281628003988142798237992739775288203395632968568967829200775107535147042835057648616242267379075283/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^20 - 63301465540636502372788664358260829851667612933374631300312340210320896163897397653117236219980307054107437130332982213150018023511209771227728727264944454947126853980533274714775542616483404725351922656539134806/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^19 - 146948794105501363266307634233851634936808585553325450096574924431082562637267038261128022071626144997002820236163089356739590916165308585178642913346364297320983902207847957219337327866870235970771922143230705864/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^18 - 243908314180524923049711581556265245745233378804642299915277713781857865685048961258112694650270830028610205555594715285745480427145216116759338933086324420372106723958031810644236344121910126827796367827330920478/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^17 - 309640843566685897855465423771171310211965357232015469217385056263201778480026208661859650314429419818161448263904105395727448735043712494004448425077147289995303935161021178397593464291891873619924659095105571922/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^16 - 255827762817149105968553753737012266769225284575257950815458594994263373650105021896015634404272285515892959312958929568850041124713294706268790234968704226099857654129786794553004360668853501121250861964038036533/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^15 + 87783510536246856386857205150643349272152350104274817899641210337082362282449359024222331413288156484508065776362655938339340883053823479533829735582739274461833450119695855776672592690199946461056133974730619173/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^14 + 762780175507850063857052831279395285496779579885677155083527171707156029323025089964579609347801520937226012444579422770133657984563485830509703814127129484953288120970870394987710258884624237715271499883384697256/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^13 + 977532087217203783226048689993427346752697740745076261274170942277614086050706122945843893695196658066967505574644067619060334212241059470050912709577863789436827418518929031913136515218088671076841537878192047078/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^12 + 23505210129639509540945532252334985173919103113325035417652610559736270194657784988795023618796272363695050978277091681480634591869270619206611644854450023456695955456742690930872478051201325505744278546705985574/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^11 - 430520872312394108036963751925566505400593708527840164185719940127505907768549945408102555230298718414450707567083523069653154660535215108835800125319235855932036195580599200128680362937537537648803715290202032247/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^10 + 246983804364228178015295730637807857834408608606514909306439939340834855087871563315546794614728359958385596612915193866038958945548307543447142536375212906142267840442728887982954691067115367888369616600131223413/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^9 + 54148887820078266117905780832493007286291371386235764737502112715570413602049834642138651004522019827513256154434017211621906463065615731641694164068164821479697088540347650517165198996462181023397833202609346224/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^8 - 293553898820523559228701673239736040571608035815293340088887106816108883757865877621363657923405285197913740368422468124098385166930803758333929964113934617937407705607675694883249005462990880618036150118713868175/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^7 + 83113970540706380675327815430171217716487649542547456849309471621876127404218730844263563610595914246342099372250301081647930161386699030365129088557801203595222698846230987476611909695020607201589206664038946528/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^6 + 54475725044804406792495008963363327863349102812033539057846342946577398790066535490835690834572523052567447811288295895311313890169959660556806946675092005070931271689072186937068624832861352103692769985256649225/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^5 - 53453059270852231777906673478704259232561614068039152657127167985857619457998691015938315819660313529155797944183114965549000837891955941259331676784575259102172353337812438822918433961787247746304004574621070742/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^4 + 16650909113911823312053291074907959903148598299550453480888213374007079565074655990709380311028016440809900057200405903782876126397892793522306414810715950661323244774095973943626966819041359755214739574340740894/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^3 + 2081970062352635248317826542541338203445634066676965430462768822803926171068490199866584465046323894930585691765124501574048890759928743472949813123908279455457921804405708862895846242520048941831818645621003854/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^2 - 17602281778277460303597268745177952171420686789872907102413469667666720347925057096600138544525621875887893958196461213552346202099876727232129213317516749182810324303402702849483132021413286895263202912138876/187481445333652438261114584094578217993934141640046897174549688965827715167172161312795391941917133209083587967567183746404415475523300486064683838882715738477227182904206733912109720632250588924590542561131*y + 113437090478673159915912699842306527844379684025317020536235664458074881059657578909512027773999527700991130078210778074426697133479788973363545975666130439868161421792491730461339537873328467847776494839851020/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873

93020402225056065212890605006913587064698859950632310411860819803692993334752475461598792196283520964875877137301199255616264351482184744354669448802280595318716023309894320705139063530768071231640506754820229/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^31 - 552165992261085172503250222564264953303388613918216966131584499399644732080406165221239802673952803866536795286979010434167323340898429521529817846204298648415260532802344582323478505126336309241299064572462189/2294665838978620328773795412890119384083279357279297554638201525069331746020826799164505991200266875796120729994292848194070848499168674144854187253452438608274590222026052121039159165888266193350712299748441034199*y^30 + 38267321748477073970486266891632972545083763976038977066281597826763280872088276759405088286374784334039382361956906990443052078130659673181094923775101944716150690936821341330756082327647379996811273500114340204/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^29 - 93491953929542150593956715943327455398193318159984173822674778079587250465488519837747369235512529747725558084586998531559725827879784461830136696709335301199934144925430201045913636116568973315419047730858647078/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^28 + 212280194720830285614746290518507493968309241948059686150216607201570044465988741428417346361079193855049068025219758060550974517250665738397940964257028211034213428440230799177544196364154965191362118709789118113/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^27 + 592728618679527108029813463005326284741123665569520709103165658437354905799323201393571939171804972983794191155163126133901851209600015177260213952701606524648079206105959768611754492045933051167355835053038351130/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^26 + 25811741433668734559417402292754944492927476846406296725168887089515354408075468920101169957709961410079552792181795167515158136241459920166374146083583088650959003639658833223652801053635740705474225331583224861394/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^25 + 71023274275972760844402145514821369767457859225716966857574947966820380042921097480356980600478041574368251342258005883509607358541096138101926984140081644989333348002814257103388199421527460115032346138262419109073/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^24 + 181116141314224020318998409224862444304333036558055136693249540230618157605359383097992651259711983356967786903205117059378635756354743813710979238156224218386800326909682693924204203850616256972805599671964934177597/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^23 + 632404352560972525283749372936164910351757752896630652742797049631788141739349095921686226453259682813444726795219315144391072367815118346743368051877258296588083774387304115324242644607797885251728430671581316273086/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^22 + 5992401744616097662319243839762906472472801992755718762321535905452231903167178501947815231670786046314859880836930316605837935833176138624339708005342557654404151910637029955683237285306947644674734096439640381028308/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^21 + 32355559971546348452589585482255618213521729239480080489545173103724550457849757317742700687284543900288985398858792470039975571979594687291413795398656309500219039099218311454788148046031473854885750757141509306216731/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^20 + 110196388528231026831675000584535701326623059470016323511813829949046410162966881084907071790113034940501786627626992573954004606344956459558057951060362674063027920987625459035905730295078736618389493874211344165953029/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^19 + 254519047250888968983639132111041307626455175235265817274546650998984401458148681330951308493192389925085022224356179218279852604298865543326858641938865248771642542990802591510228724715135598632595658459257936678969245/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^18 + 419800620632042558903427597548751641409103307798038777733334968926259322892328164997731158221177537059858779362292036370955148444894449461262213651352683117004703083199300781989722556233634982481550795400431335802629476/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^17 + 529337976909842786109853240862671040761063054919993619573880202421018224964268532048075622787983148444830288072958070282790815804806993357799898605890878130514814248218693952579019687772931460872803601462856511027711834/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^16 + 430645447110137644016551998941935280004897442618859243004564812560370271532340692361756062948567159183875832783068252760473576560158905912269761934489918871563674254001551421359498885459505583521318047982447441288944863/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^15 - 170202961959327370206321472644956243413134590257600404513720304627565805259417230363850664629559242679583564310497956498989716235648365646988754586897766579511303249569122053880901209106016430082323401221829955644233529/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^14 - 1335646246647008621023798014869320809246041083959492665640326705875725087989180613471465113844028422619040578163085568005144818622987394213564726115552417526257877267265183991138390567024998436192885590255279763390764171/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^13 - 1670357116030290994508487538486805674309765273272748633132186236348308376095916710365529704957789764131056501645941495273950063819922170935457464900934312261085033983345033020780898646424430615870848212195325747527895278/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^12 + 21686844142174576433790147139696989189660051824678018615639154976677322091296015550672402484283311326876257981452777021789232857562165203109774132037311890958937554599265660122433442131566360469421681118835124618920995/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^11 + 758422439532963631963700297073088805459659101572473820756475906013932769718236559214577924493053712006395121687348442050481842335804711459905284336707360928204695272017862891998179353659887817236823187873451954953052023/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^10 - 465133264337400433312241070841391337606922047919273314810315154303640081270856604765024621302131345847390827519646100773875370578730311700657896593907401435381340598676764842852986235666649167047386105993841577041344233/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^9 - 82299942828097719700368651533382951365726464568472010630611161558193117415016200484803888175558570969679669177092360343976630951846273411168167607371096836892233142759646587776384161160371941595895414525802910582848811/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^8 + 520845772437963190238252567356468628744000010825060544710859542397604051730236570293964673131696702878134560965894809042742602938046563607562978838720902327597221887413348151292052365605259364777494669185358338954222814/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^7 - 164360102603069554067553795892678432721626141275122828241132150008459511785066323712344861538291113419814191406219510498184811976196792992137573675821850904347376807471671617556128299243769592119290345665229977722406716/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^6 - 91467215494455648907033979889608173095798663060953763779860997367310827908580018324997119871080573647468042056485827037303632471727429668773528163583229827562051052517446558493685132662584034721680999302275988437212312/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^5 + 14031104590943996460113364512617881973552270393762611334727255659096799787346953663371002921427475644255212370685851515615073560885192698670075836300911594495350829365299803255894677503111133094426273216850845153129300/2294665838978620328773795412890119384083279357279297554638201525069331746020826799164505991200266875796120729994292848194070848499168674144854187253452438608274590222026052121039159165888266193350712299748441034199*y^4 - 4607890057559265466437227656252843233097760567685703790982824742855858568650009074046302495694114548638741590794705290120122505603375610111665939414742633518096817182124501743516769238255868894309702812496046179891622/2294665838978620328773795412890119384083279357279297554638201525069331746020826799164505991200266875796120729994292848194070848499168674144854187253452438608274590222026052121039159165888266193350712299748441034199*y^3 - 2939642757938287997418625340893582355383586766155254597513666767144035714443738093874242730466842165232719311015808316143621192396326611869742667064405940191701597925041643969230794090037160819970322714413666690737875/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393*y^2 + 33612611352860177468775634237327002398036613136563189817619435794824716544300257801772401509151497567603149660274557138539293467411204369021292224419581319246950186640650858943184225491104947436601416219609524288391/193526034612654726523091179400371514320276572300663649186354345487774966531876958965681228173516483500877651927229517317572240234869647217035895310532133376601471464508221263220170050135154980162108266243844424571*y - 250596048683481823343794358385298505832908420624427364539669940527077016088956620729560214500184616981018521828981617550128443047171816579317230271735465191323574264330160823834135451004864649782602376830731514608299/16062660872850342301416567890230835688582955500955082882467410675485322222145787594151541938401868130572845109960049937358495939494180719013979310774167070257922131554182364847274114161217863353454986098239087239393

-161237150593736314397244914199728381852988919521605894003704040020668617237065265502557417268394308337712851794277110884262744650144484480987787766572512455174278368845027594749928828033178616490033902459/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^31 + 6689852150174001500249342931120096845019205758274397858402687561557966554289165237607795776049270183044942183530370139962546935461477183137358475242683084758338432255057218817032727542297711915957142502875/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^30 - 65925655572849439321643587365349755894150094475091723090859679687023801480980901714038175612008120912961224423498066497050704189512918888564172471041756020743311893052031605228633900621831003717559228655412/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^29 + 158155978433144252540127445214711759248068631461863753881447687547657585385634554953617972396958680909994022219845614447004885245866405667632283436130261129177676195151751461857581388690970760018958209699188/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^28 - 359476761361959219704777411166111624462252966482042117862850947702772311979507907081524363600014572407970531631055262894706087285003578719816787697422076094644138150398666863258399892514389448564573293637941/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^27 - 1046952392038813304009929845941626154366068430314993042358570096078124432858333740852271611523579649590033170367237538626062274789912575700891623255443582255993861089749728289697054704034932201355603219056178/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^26 - 44810342389284867431186360634769430491967994170909594430110752893763748618427428818037178999849756662674456663768585051936821742924580033504939344764427758007366301453535855313337646236318879761878842380394614/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^25 - 125863975954086113919010193469618788620506465238063133442888575939060356822388471304943816845293236831539420686691857900685178939096130664260105477192829503403291262009447629123204394297753923029179872368664181/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^24 - 322462921862832867260733079986717801091288414948364659378313090513289585740260633768093323513214555406937902602323861282808534445432526777423435352267215778678805558502137430156845010437604215175265827504486521/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^23 - 1118611539191213874113484355733107861055310633899432929832197883760196466800687458669166179502866300619521592817114194765003148367967984148452983415681896384194924356794372415069320037304711991811232167494535852/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^22 - 10462605231641771492742909143403968374047830992426530266527739791043232064255180398592549941533998966062996544743771867762599750197645782215735173462128832124832598931304532202938656048622399893375907764406262882/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^21 - 56746465796885529653414367766412422117624358415406060076667344504472002772099677786957051870281934307057542715885896356936029297619996164174089748096252037846071985780807967774208675837502300889690444808157925569/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^20 - 194678406505344675544524313592241809949190128383865402182303080610478441723120263430504419085451570001779899382100843694967005016352652545099377194416381125969590623409830631283426382455555896669678267475650323325/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^19 - 454207800023359448507693359683727148834858879286239820693223193114539745188891743608183669445798504648548997150434750770348668553543642533202872800241761527684372961085692373611059384124099084612412110942885166079/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^18 - 759580345520904650687434150059956197716780349709392051380063909858612516873609564079876223894381087227444501660259500079535857124685805664521427742730960094548670385339341642028328582149213465025230659586652260456/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^17 - 974460515064581494220236978562304711730514471911762135028795896917004503821931382518038008400959819116244273355398840212810929724630075160859970939322461961332026771095394906170731450514917922036194991388102726894/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^16 - 825482629626562388272863167002417719676260619023032006234173729485856087396371673960520231718487082640033220237613094415272136099572144607985699928568611903192200787139289286058433564012945237645802291997369006783/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^15 + 216372491659811219671990597989202469805643736196851805813419373580635366276948048758471343121469949946339114860369378828891269451060861691342157570432399283411972835980789938968725663166129296427773784915454104471/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^14 + 2298157358592810681899631609848781155078033731655163785302902244966683531704003308923373220439080186426817799427428760111314057200523110288187309274718157482749536346643111745731511425356350983320883747174531457055/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^13 + 3023454778380727184434860668865033710479448986203060335965790648954221862671297478064392403452025697426733852523502038371282686049867511571781799935952492164266562016774184792074799709180566234519619365889686617954/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^12 + 182510665326555722511450122483186885915906235371375880414660871317474634004270785664911356126247065870749760637274562964598034452477532775006220816379896267448977412747901707131097909966764988553461027010836683757/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^11 - 1229840253004363039676635883418884881916780063037367158999605744778333620951076545339236916024715103146758373934357359846256831951491702804320564332499185688613360832795349709577955293030801188796905139002991571471/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^10 + 772882224864257782868890381409802480530726942509127670481392360404050446798650922235849252378138090573495004760072662933290888963785676775141818911823596003854322237345407398500896716360863890929364944092639029117/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^9 + 190446125634101695605614356376223302968863607853764391938886057503440955029397049953054048833641709586073390052878318130880960396751353781399524737785911993129439451630208889301678191334228605102241989526728744765/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^8 - 875339687340170306644596888469106084851636238530945940924377707801940046166800525708171810203714514920541222838375500026093637376902531227903867098934938183901793984795276628668644672847270977873609764452375890056/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^7 + 243144808179695728883730614846571982421896702383286812620100750560043139611874650363540755941820929036416741994375427089727180217200425266953478382126816540225415887541972453154778062449632051905092677826575239706/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^6 + 163557878677509676456608484829973422008906732934205224570698490718960437718017223986095930951187789683602168814164437577933012133571197523531451282822238572114879046396391028559889831416229717427565241184002415436/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^5 - 160631378390045929554810009343681713755706778230977781472879297128758264675023109622751216928473576937940652418011939826006212185531000171802718035683133225614794519506415960088578369467333148324859788860846032006/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^4 + 48753791004000017195704830663722847038097360874734089921669364329310658366989103916403052833748257309125614057102335394618179680859777451130147748192847182862332233985199068068378447502369247755138226430174100760/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^3 + 6399716494947741648611307708893658084412216057387444273836782055985953021734363602337144580957539002493558049451066952774913757636806417467771676644903161362757486934182452531818140717167582657782904136801241781/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^2 - 53247769322689321254104956963958818424249797030975052064974724834595977810329938892477489594734224602194599892344607731124824451384655803397766216672548605922959867099476162853125814602174643950364335429661523/187481445333652438261114584094578217993934141640046897174549688965827715167172161312795391941917133209083587967567183746404415475523300486064683838882715738477227182904206733912109720632250588924590542561131*y + 337909378174381545996457056285769630312864718260740603479052146689473845465022686151519891892578912623439324104714493166296235579402351194544238898323450750946887598361912605052215976416567610404355938547993336/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873

-21174211676487503861243772385762337375278388428478431254547069230658791596414790849547870854700626205249917539897623786447842071942034119183044043901810214875497681464480181183433745493282585063488/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^31 + 878386247410606161309542464383931724998588932552089024845062990467147443339661151800628961662673945743491179798523882296717793715445806784596385952784826986864666957350093731142054064787372011967580/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^30 - 8651553298261999186710626953294797739781661274733831680115868666630786032136777669484025151076836210382196019595000522817901697028129329216499007791159417353609853432765697756256395235529572992850106/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^29 + 20713557865829327969725164838786414805120572189687501078069588258253562614394350491433742637745268609059845749883544022816539318752920426324467283307534791624899256184218392345575563185215568261341947/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^28 - 47104550089090534955713129395491769260203150412488303728506303915960173256337103453306548204875877651646091276202324167484296804696827946397624501939913693493313534778013805027558986997668452155852432/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^27 - 137736773597187617103027189865136442000082908255591376817298346691938215766042338053917195120716716445864349352053935573992720970122628877635791776619143929382559294446528060304517095553205149907806562/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^26 - 5885803111510484912526050741647284053337071149008298710113505276040426663635780596255154524641448931750268144552053560999789052473565527600720769597036344795788084716221941622871311879333195209202329941/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^25 - 16570811504556044233756224308043125636795051887328834484385864851868286268243021509667655475535335015083433417955781979667600858149954304816192177784559161183228170094408176300923327770881209619057984790/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^24 - 42493165920796402891157373275795073310777866801277490585718969214095432317997540559979497879854246347299504396473456544438009297197094990769734350487503175284940137348276517449239045620354553187804323178/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^23 - 147298793930121817945782917596262373837350221889741196504174202679212284566111002206148998303442432866284817624317033561156544148971304412957315203785830600386654259314798069762027095077425496491414084084/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^22 - 1375290264703959487621573472367541543455870997759914197022914846069317357166411102506618786688402008006162252583641701944449603719133918253696035260164262510987976514378185679231900599471326457384470581934/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^21 - 7462657364723976832391512774124954297786575936593038180448130181784500749553620622933343935262881028192197112234204322351978432842819011281643202531600324436760318225585355393937436102076698743797942928598/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^20 - 25625501101089016406688657633096347528853450779327525327441926884845151984949543907604370521102909428396556931257478260609093909269688884806589517556965710059937574249187238603112064860171198591712223486150/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^19 - 59869526893664616741273921602764677134958224384353453428450603520863621459643912062152715143282417034359671492983385026881900735826534652181448641848947871159557075797366381256651551461007332350530076607890/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^18 - 100324165404916878908562604676731620442114570022394525027418164820172773562599379336760331211098870856242300970247839821866110505236536692842857520970916308367006629537908484700449156064929939345084622579421/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^17 - 129065777415609045262495631535256060141788240692672731181731470546714556268642464469640727074473699337421802400982613609428528050162538991427117396431158228741364357036741548619641924534345556675438096740683/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^16 - 110048165525709136916623048134910687321319355624086186098997385839151819439768130080102192779710333699116591458716762354675390251326249900967276453293729413827053412839677070843054610512740314551456505704408/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^15 + 26558043664809157570733909379536540627311377106074012621881219330309899503950459942743156022956097879940640121317385465833532681179630522375013580243482796724909799698943978804612687242155031537549556537188/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^14 + 300798002880809606319107900256109873200552742974837650150986994831186502039876499115869525525400450670571949603172763076255634317003423365667938702399017991583770783490866250675011074122634780793736124186796/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^13 + 398604448258687036439330737865728434642756874476559682950730288654714897729965177064910494632714514918868273428479094316914650607596491762825077207542315789801464349589620669129206323942601826824294327675140/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^12 + 27982872358857276892636452149005524526766964905148664048196256900706169275013681347997109599585117407667810531099999662348617995715858161822151370771279532478139601373044619715771269518033738971187245906215/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^11 - 158541766877582232950231763241169636811031095277385350170890311337751058791289164881187391971885015013185124832573512728302068836652792359198652623996803876743501196219440602126635342812072813366930645626403/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^10 + 102164917300203763186805032760620450831233133304292468250030829623438548503738873768768642592981260095120838685018075318293686783100329589969339707376482304717305869253891996868541811995851665873224091847236/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^9 + 25930120301956076029658129601151000443162329816088542966576311527851116245201746907424895724591192380115275161149035458728954290979963906410279480472423024588522279279631403315901970991617255167943484127223/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^8 - 114187575766547169674135071476045170770171069226060571630009158265495512464853066088100847973497269383339759674218744738560247688651650198834845177087450126132495853607142292577880924700617384714334528412129/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^7 + 31590526004181816619548252278583383564724650970517190807368562462946423654801807348155330030425439202541235926121169644700246749968279837900088721092125382496125795047273812723573658779339648323428305038079/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^6 + 21384931866806103004749103290335774535660828763377937503959439045894253251995178354909730253358206422698126416967951507032154859192145738144565522796296858736485613650908733828148128263718185765606848208864/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^5 - 20998147064056210500926357278031586513529896205189250690999187882107582386253329223444456807516998057642812025175264452236323326862520964109477420593336651659805339167401469340157690517609806034066972291566/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^4 + 6335096673645776894639306195836504495850182160739023985838218573658527790027869288470667246421504006802381472110504013827333234149260206162237535953920714378310933381852934722104078463515499583025171117647/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^3 + 831978657226203154026871110956894337201853904565001563769940036069800349066027601986560765623485708470384411230522415496911676449615370076109187146256752936027064457555365926221190453537859075662812666078/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569*y^2 - 6969682183076486550867357495507706437773513290617875307654276469719737906372893827624576741713191065344697119764929826753878640379257548244291564040373620635668204002164136812774866436646801092238082515/7265366204056104651356937896307430430292690765450764373742688776511289158422327169101621295819192719292819940074257598742297435223946772653519838520176901021124357630755790049280710676314836447962043*y + 43527963985497403007473238750166180359103448815253794322483696798902764385503182174935841896371064235983733457557144899066569231534916359503340419429359516209674646222061860437959739206941767996215047703/603025394936656686062625845393516725714293333532413443020643168450437000149053155035434567552992995701304055026163380695610687123587582130242146597174682784753321683352730574090298986134131425180849569

-59891933057129610900661761593071291207798747202791001541830523311653045578837475212725411820815624616495249693518350805626773945235290002131736296780034378075723393041388643038184314158916387983013630/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^31 + 2482737647639410790030797698857870824958557006114952443344354945916100889584347342473823271701742157795313050154871374737962612892465968147463322528265288277921337355206823544254469669267311578761794207/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^30 - 24392082471336411432604940241527890727817576515316177692628319779538153276947528766984825980183140213994444474925250689539468151209198509212015485930307158175900712039739801193595310570967331591563519147/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^29 + 57677645608636518084709129500715071965077936170123456928482926010000757152058442666238484954415898645347969307084193934382400906486271361176281921846252645366999961372839366148051016371538992785092803145/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^28 - 129782505256338041894584664962157432839062199566910919491946155107150447159595610832105268570845116776820122241155356344072244364325064436959900156764253557147079803338800154288514127291621782836698104706/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^27 - 397470651100472609552935202074216846229601145260942548302828523656668869704061611067371259149065807054739086092824569292589005593120494748290750706159669153741942907456414969607115364270351503217832019696/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^26 - 16650940603216403452036325191023418965589624903742208509225075457358543463732909804705021455899949500060374288808992370259644420430725168853645484923237839041860089403137269421906274676331154424513075139244/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^25 - 47344933852150008564734860948922122736398987383336561190310012244299928234938044397060596513820165597825520270146929014773376413752780355252567139535928351443106851304524031333574491933806543953169737587624/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^24 - 120433572429271621999805455568773132066953959705913504964461658562664607733199039647215305599096341769935482277254470234749530099907816181816826698458147480588956984979503410469693673990474190147428897449575/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^23 - 416783327165475196975518602683769134766827665279113818129203712398538419101776625093711611527306241988926195462253658038593841624840076198723354396764136396115051630431496612110364254412651005384683761757947/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^22 - 3893433815625515990387734819976274551476672071591625515826828503085809474776148506864818638289016579239164185637397230731206507688745403546577944297765389474861290907204740228563060491123215224817808234661931/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^21 - 21194411564258122730027539461349683337476653669721811758517594806750354810911619900048682587659416666064982419982855330660438641926666680013591043363694151603541141183360763961218236470359369134564719077494514/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^20 - 72839808564883742521979187370312878788145589521405474108171721228873383935879800585025080143637695315708108200173399260402275700143938011606162525481987869117689890242114897379622947865840682175699673746897647/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^19 - 169998541531494653493702514801050242712205336129260086470421096273675658558864977502907743735631898884295233556272126629877602000843927462181314681904270944008129239691343495412278992216029459392392990681854606/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^18 - 283502074268242687799057005579922485473270631744706052045180249446108493481161852921713455714940175780274257640749147695965678991966776238985148091759748145955490282666610470292545286492761204491053239579410233/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^17 - 360634269471062782480198361017381290716905527854196778841017814906647863058524576510678227919502532404831795446261978442578327708371843197126668389133889136800836031428174701307668411409329738752525449307248946/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^16 - 299420991985755015776073148032576673706866204041721910970627043882462407140976503552216078023246333430192560486030200019650455733911225702971757848119710273163991952607670000778902168920009920519674981170733165/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^15 + 97105512129342216864521620667710948436599295345878833750188041315897053547906124545112532667927392859140748720659545808465349698100606260195490387693992304097896208342865214336934768957053751073697308525034656/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^14 + 883615305251289921091528171944936312390210681768820445640605134700287677606362142697696372700133814726149391136823209169666307097588941527121928787370793014042758538588935089530699500474762376865953796246280435/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^13 + 1157746922836687982350842328580638353249303201795878476660533898002870599727548649195527738852518655726225730824535622542233583053083476738942563643410936494820610072964818760765853775481766775580111612632610561/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^12 + 59001224495910695999858903923145281708935515185314242018553796036060551167485314149637944536575813103721378303489839166046292468242342698566157683471903191223168727858501156699958750094922045622333360091177273/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^11 - 533320575600909849350269415106420886079263448532492491683228284586284319526762091715239971881537459842203048571303917567927904458280805064736583114528774068264213686434705783721174493933400693408499082792418960/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^10 + 246960355491320918688213719972457520263123034239480163196634820090974461289328661001295869729249788354862468662539094451394402756063384695908874404016679608101687620205959549938776590098237914949259474818378162/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^9 + 95170409081127951379970050413781143535549669299024564418145582835223535807776929726370371709383046280459086860535453224260851983016205965295422371162416834195759380823716183433180426883455267607020224524503157/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^8 - 342931012200615931388352830533760518528029663192839071719520459359382644664375408761428593155002131796467356489376354615638758907840888458869036431518712303447014710691680229623626008667267655821674929726322734/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^7 + 73283380673680290349664032551125467131901749591361822115928507170228102959645601371608160053754177783490451884489842817956074758144914871866782763984125119940887432382938720842085322510717791847557315387756449/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^6 + 81247239164675873874316412519569577779864296036841160291440478352219929346543660353475649566922512582194997974125516278744352489401878054012393624294964136821886598329003863018132123228156152237796372345986925/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^5 - 62255190009983381697847445524337648136616084211383156219214383935604452281936956113208014924638566907539170000235664611122203971663099957695691017548403412644429131088723606531366065732481008420088328856432737/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^4 + 13869563916167445457301752833884631170761337865201631655860046463879573294915944381473128282405720028179874130379171569818586329007278101711364576651910118828039470731325894020240962626443336223319314498472337/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^3 + 6128494949291306894863041381444306513612215796769259402414191521231277797460866852828234576111332498640038279049147122795702941972134219215877316957672101516972241483100298088686940836896447626751223526037597/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849*y^2 - 32531017497530963780829006532964348814243567494883281926075260112350739563371170122199019044604113917668257471691313588036706064090412191706970206149155569164405157077627564303633434958674421478047215517025/415004982941888753790159649574976733608748789213313111792556125603101348018241750226253710038488107318725167796981668297758771797427063600741706696111024763227644432226401483404963474541779772744039858203*y + 207514985585278223826357907302148981690389175096806394691575064458940206678811277264140080493285925865309092156141293674186952003344683233483618122858259334598265096055431576107416337393597043209823125643917/34445413584176766564583250914723068889526149504704988278782158425057411885514065268779057933194512907454188927149478468713978059186446278861561655777215055347894487874791323122611968386967721137755308230849


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

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

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

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

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

# 1 Loop Invariant
-3988949424172125373311517981684645346691514660904102914514402314238391616938775691108476227119925041982878302694988686762738652206500254445601989775147470532945984235816391055917625011736104914181190886274/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^31 + 166222466821937767318224025820967991393259248254723810826074862207992196737847163249919766892484312062248782490572648808754177020542277774030655825478584590453369982224783645840781004066172671228126706248630/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^30 - 1660570753944247156265183297947550088774100851991589168552203917323153349781692899240754217422708850285918586393272339889088691944747256346183186195947400252237647120762341103129667295255560797044486455492157/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^29 + 4198354813091063596095770157154254068558735558243010793054500125413002714190087802595939478204943048273491546836405416045770302596278164134067964004758924959056488486412383285916045149354913105434422435336981/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^28 - 9523321460664979919461869194974386974811840068057468917545801678169623843709332541437519365859660085656423521772380512549937687618835434670466361158028707163125892635765970875163274560705798039446367457131797/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^27 - 24441940994241604068006807871852928376673355019955144333295226111590054520432602411995907840192423705182747638967109469958068348966983309537148093870672338331016339706045052376962111042700809948779780581712680/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^26 - 1103622385745845252407130357337673675260255814155562674241045552984087996159819503908524170494013110543884360778547271406939321644163883982513200924153758201878066470115339854564151938367679826697482370906062110/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^25 - 2912753286421059019342757127163790977889762219425642437589131304277564085793713794456428464955521156662859501908627024334939173409486320812062352968912893228264128564500895403725697791071824083754253512553738977/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^24 - 7362823561523582848430910884303812932819399960269023507458643301595994258787312662964508795802123362380143480158887989363896200990073189734203746869413547147229981187752552934469889089319622657236642359146723868/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^23 - 26054890148088894757632382977887774483615152576744181447967615115056911868788744301609640349588765083856902314340562563138702974889359297867952845535969613259863048987219041313903563732387854420917688119672699982/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^22 - 253387150345389470036190184782289007367344800818303167522822219310465662830152914637612025802917975726142460414855109434845340436623731624082911552298135426121858572556577427297632083707821501134505015905597476389/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^21 - 1355724728157901536613690627417628241286147900663070267745969042089623734647136904955697550096750808647411808365195257076679465039036198555809526849872640797795337177264671258472530782778877300353305842824481728869/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^20 - 4550253798487918004720502468849049895556049497326943232605172675222725475348122278965439767863232192029771965696644287632823321524372058794589277521048762394645012676276368625610701164529402066162016331658484567808/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^19 - 10294539386263615868922647544226933080673346365334502141889108687122369610425186246228268677393669688298006118741463288263773099079798904807836991535927385144442369505781532403004721534387010972673320048502961057048/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^18 - 16495652646247825216565378595278695850335573936958846746635310195598002885209330377890321368274589330041531602155448991862436250613356328435051901905879352520000504645896276214353100137228336560025827428958702351622/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^17 - 20042736334446781176601737856589220523727999584585453972094656663592831548340781290610125164440115517243826174037845258730554284382609373251240581968050118311713813797833955531667442604588252906850755768401442478932/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^16 - 14846656941772986964088581301075712354137505505316258729412797499772325929119436124714469068584171077500128467685026229199641573332668956770901730560122922979293797111294061346719004321165080865579240700275100092117/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^15 + 10755833655083133766337182684263232711834764872097822711228262219139703429906105500721865534187523732351711501260348497006872094870258646224298818036863240816361656749874103544335708096322818356993839787562857901293/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^14 + 57631163201783624369017339788096658910552728313371356796388600655709918864672340936446542489772392833827215362789190987013125085439486652196735137503262602235174917722599243724155422111136820782093084954278330220155/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^13 + 64996627204256422457775831899626545611140330223477546996605320909370430802402855970556944699093806824945840863692052113213091214345884319957291602149904562779538717904759124043430030486616767680207036794665972809239/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^12 - 11704492961539411908027451140817728843474601069369388876449017294486242369132414425858076660113639176378013213793406968579184606085983303261865781421010020337794436360720487422996552297236638154644767361570763518566/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^11 - 36324318476816224884420353430487888968125175755619603624078189806123331327328525051995555908955077082982079574049199128749349494330342199335785003579162759368105105669889655308881938499734183182153707645431208572018/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^10 + 22305599000970558682574329236161120154099326979649007233065268677564202173919488275291368967235542380088537609622805586400612157270866665968266946286708743216379444948648920509048881025389791393625760547014031218719/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^9 + 2284681815768809132632349441397742374034784444309941998368892147667964636815836018625548114031682917791567874687313139664791186386033754840503438628682139084179592867384657637419914668823038235659639064348398518943/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^8 - 23112836071652620582605241433600680864136620199445811975289252741652897369424977905644558896569537709814798429703584937438190550570922367276677025633613108829584990525573072617985714247782759755267487787061796892204/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^7 + 9181530080720408477043399427963793237616955509272667257452434197281497114835939745510578041654553333069615845109419886323501842520799266679743552067944227088242278958168239977769109727829544668176692862642445196509/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^6 + 3997844480703969294186254819980905515451074023305475186151268445000404360543463872707657798721305121289352763631317841591443631134443345605701390843600544045953765541521883613838084159374985442842529396738067093793/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^5 - 4637065875021912775317263977896660074060322468627892238510737088673219607157564500035487115029065101688235807076042244152926990923477645774402360613327613924347192244385170667797201407809074454233969958904087718879/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^4 + 1645223258471553600047836469346081584536834471577690799059979738327858427018621663521625971847572492727871818280567276962684306753171636854007855416513758950615814600916699599089269027672769509525051399037376823221/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^3 + 101703516572742159773703774043562227586610659018913296179323670135551312441222430959185805340396307368354607079641355451245974152502021373205163404327587191298782711227544094089956975169586479341763156422143502809/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873*y^2 - 1848360080038038481714865788313657107628567175225992137383181401265869242638811085375096582547160124276928137642691760791871762972442274658743396268007234774503166780707490401210257254495401506401270784222699351/187481445333652438261114584094578217993934141640046897174549688965827715167172161312795391941917133209083587967567183746404415475523300486064683838882715738477227182904206733912109720632250588924590542561131*y + 11942904788106941317231698405373475023132257148002361401839130924486630137419736942404069030019129386444269143330862553940922565077723906222757339738343748168405159141878622205899484619020191652438065958665185027/15560959962693152375672510479849992093496533756123892465487624184163700358875289388962017531179122056353937801308076250951566484468433940343368758627265406293609856181049158914705106812476798880741015032573873

# 2 Loop Invariant
-4036414790391809153940487831193641896979125463976072303575522701362192524642643273676031912061955023635242210912685638523921113292566328535521076728938831775318602635253746872868498237475934318561101022811614332120913295258424143523025434921549933518177058153989183115050103680030451309465666389586724530927899863/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^31 + 10475671513174393341564860856916057815727613775869244987976936326342827594265678474951026984441046113471077388974705105811783801870496546699060459353039108865120052632943196446019163689142435449119092637394411794457600543441217293258163841127728577128372508133290445793487887599762895759198427539512101020592139557/770481604685110115154075968928743105056404881448325994481576541790241958557770531307758502047211882269701930937399447035492132430459604026273503949913992723922921578187012599545351570472848097433763350838502562644113841132891438975086367242839989384054104872129578942084146553777998923698427428750342613000566828787099*y^30 - 1655979429294657730894024448516889494146112147387730611393958451259374638500025280662659147441092757052249798657968157879012519585320048068663869136605820085362916710503929841437267699810991598122434566838395437158100028093188455619284453589231589639864472960103908835549796015994476318014012618033305320681258690889/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^29 + 2005936844563772654390953443750302257143678790150333021982146655493111942354601995465926737149873215401214688130236477434391698621549429001206338345547076172971662343275255353919029110517600278595830084661365657999114374708840785955097232430723414259511848433853328335925902851257629557548887477146120325232314803625/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^28 - 3033936099187406387934857440032049855971838755003319626105656888182866559801739944114521744614421246696061051096085870049509434116348425862980272588307089442753757086640078732700887506806618743137035041531975255816899749151846775505629272876987250749547028131496273721949163195169781789009778643227611664123809852163/4109235224987253947488405167619963226967492701057738637235074889547957112308109500308045344251796705438410298332797050855958039629117888140125354399541294527588915083664067197575208375855189852980071204472013667435273819375421007867127291961813276714955225984691087691115448286815994259724946286668493936003023086864528*y^27 - 8655540463873151873591802648569782378742289806553556959960888247998749648357374224001050812667952276134390231771246328047605180286026740006059805895483242837952357440930878900130546551098739184005480835503839537338214308421222578780306897997578233002056421906420336445352977960681651121742456360959510493502010750195/4109235224987253947488405167619963226967492701057738637235074889547957112308109500308045344251796705438410298332797050855958039629117888140125354399541294527588915083664067197575208375855189852980071204472013667435273819375421007867127291961813276714955225984691087691115448286815994259724946286668493936003023086864528*y^26 - 280186818527807884984862512478102663532030669399567325393953814554657904107855025245352063467182709089229947580689594066358362891945868343116823593421004985017205515506336116184300115097094106574023071503697047573107002902224145675612111759582992948508915716530499925792201947214959887805959561211600818849754395613093/3081926418740440460616303875714972420225619525793303977926306167160967834231082125231034008188847529078807723749597788141968529721838416105094015799655970895691686312748050398181406281891392389735053403354010250576455364531565755900345468971359957536216419488518315768336586215111995694793709715001370452002267315148396*y^25 - 3112244463430886121228543277213879212834362069448788334138630638166836793317463497328419380533331630103857894318611658907640591565293947038380391495883347934330422636062873090495102411742881603239856825844921675659775947289820183678498327416319937340958661650058654241249851130412601017745042357909179524428343738646791/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^24 - 2647542237422390058285412556174857553273396020571374628698058925424664811270820022547788583212869869537489975385263302162448398478610783504573049773596663197117450118542880239190837221680123610388772552007978127640880855472501529123274516619720484913731357059888523427558064639910332881575191600477725801440597086035477/4109235224987253947488405167619963226967492701057738637235074889547957112308109500308045344251796705438410298332797050855958039629117888140125354399541294527588915083664067197575208375855189852980071204472013667435273819375421007867127291961813276714955225984691087691115448286815994259724946286668493936003023086864528*y^23 - 27652542076977340424857520984577560754335391175804312961749628413534281022164701134103661192949673213529162480114352593980387206619374460774640118483535297844294043018832755073661846749136154857633622839368337752632835693737176057891761862097732059795902931894753040388267075305893293400243590998527762660491882636173531/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^22 - 260763460103259195158132202852899116962498102207990368316377715220453321661427750531014925942864187914422155884202749191263020077121452974281317681038397674365160879166749343315373706900586276004468103689520531868805928314664102454371087999623055730554718711082278966695142572885492447109368154449956684198053679380029691/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^21 - 1411026857488515149158278697930755893323925382124727559677443941843618778300039248704603018380705802777011538970352139891592622820189294035518892617506132175741579845742949417714078270878404301959509135106886349764340950084907835445244104733769089164358820954799608864311253759490269868970112754004510012122960831977530537/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^20 - 803287281164141387161840775337265943431273445935302305729437695541607406590029742160313006698492044216346214643433217959667335089315991238373002596098820968993937821511137241348547974612375271759310671299769830928853461946893838542078393701556799123780196192562245116465172387832963025247618429059881140462676068733370683/2054617612493626973744202583809981613483746350528869318617537444773978556154054750154022672125898352719205149166398525427979019814558944070062677199770647263794457541832033598787604187927594926490035602236006833717636909687710503933563645980906638357477612992345543845557724143407997129862473143334246968001511543432264*y^19 - 465556668387389908381430361155978610858304653905790903432512899958562807294384794806801139589725645260127629399105510749242837361796295875317241258295889575691534656081894558054135056836182461513595205584671987360211976448641836258184065776939284916555672802109146243146614074499603934789416127101250550360531020866414331/513654403123406743436050645952495403370936587632217329654384361193494639038513687538505668031474588179801287291599631356994754953639736017515669299942661815948614385458008399696901046981898731622508900559001708429409227421927625983390911495226659589369403248086385961389431035851999282465618285833561742000377885858066*y^18 - 9256292468794755885568448865558711339745617698344878691821156551776645706375345675169209738523892041294512775904999813550303022894545193808808641229397838528841687606822899465059292963190820479424409843754729763878779205168423133760587119033379471258229905089256773079362437361366123530078133482703482495912384339470728035/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^17 - 11725958198960914121750835087102319588416567896257175218115976508055989600043568473978311927635656135580518134452738233978150228921825652947777029322011861647181584184362594067466779781742873099711280507707661949731374507046065499082637533816486606403489603164968571831456157916871898756969145595335151417470979259247924391/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^16 - 19281191372519447747515706352243225067408427821442922758384482912527272811947059955786192395769604342100970178555658603511686303451398391190121282474504103401680925229483618905222002693976685378857811018066587813435465945736218787428262780803213421366908526925752553538805878914126646017945062195316881652202293958231588523/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^15 + 6930641868759168693301341686566855530037372695693599645375475021023435906981879231519955948571691394159827114697207385224468345510406316669410511213131133888549452885696187924127747387247400041697996856744508977899371287627236840047484438919954325400199452275259606533852741222370887213505599299346748415981753557226075607/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^14 + 14557519813956589600259397407996388616721994158786547431687760632562278200757683834447039357038538084854206470612085027469744893910141762087740130696782665219824473581308345427752491892014980319982597327042367336987862786150679756123040696615175645742337102555359293461696641955761837490311647867614100353236028434481028417/3081926418740440460616303875714972420225619525793303977926306167160967834231082125231034008188847529078807723749597788141968529721838416105094015799655970895691686312748050398181406281891392389735053403354010250576455364531565755900345468971359957536216419488518315768336586215111995694793709715001370452002267315148396*y^13 + 37062727062033740135199304205164654140588025397677001532695648813635194490431217135354102520487458209265508907833625864909870910345712664779045303387229071236898976600774259791551653169168018091085966719285872743527153867551131506856981131538549905309315259756359403946865008834485642943903944006958850518812843894059278869/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^12 + 520980673301312108835537703776924926649459523823760017777066010177914517796249185236800582133112021728075384846132919895776419996059803191449608195062140422735160335216825950305878385136075159592931273450769650471249295331192985261172369004406758427646336882215631324549698473630073466347384450403002125483118005467006915/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^11 - 33051195272597669239502768310405388497264178971087268207899622797784129169305629053740022509773181069976479684171616542156144200201572162106810491914545523593802874292337082805194807595695931938036925385113398445146918316895338727355210029795695094013735555077228698932907436811583991564616470469313998041865945033499244001/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^10 + 6358675663234054684848115970480944248956452608904763871532086348271652946729719966200438764222954287824340077723865493727737181834862981346477867438010379429408103768972271903117864423220139725999717581455079363000983111887157715973782970719084187599685406886810323816458134380170631903730891411550450164284364502662665909/4109235224987253947488405167619963226967492701057738637235074889547957112308109500308045344251796705438410298332797050855958039629117888140125354399541294527588915083664067197575208375855189852980071204472013667435273819375421007867127291961813276714955225984691087691115448286815994259724946286668493936003023086864528*y^9 + 250647981794984962743705120730953282360335421854058273638895440398576938551930333474899760125375132498905049596460561799567168419316812758023120996763994890899605815604047792465277126241456787738927441729545290765533627804430776079049193665847233731854986029999836343504625927022127530898458369761687275875115461755834780/770481604685110115154075968928743105056404881448325994481576541790241958557770531307758502047211882269701930937399447035492132430459604026273503949913992723922921578187012599545351570472848097433763350838502562644113841132891438975086367242839989384054104872129578942084146553777998923698427428750342613000566828787099*y^8 - 22469962579873842075715546970135656061909414011510161925976013896054175704216123887936611010993213404164400121455360804573885958769134341847867297066637829803584163751535533891899385162662075999386589995273525721074499284021131880621784888836186023022343017454762875497170847768343441843784627129646062625083107798972800949/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^7 + 1628334251901717300529742028648335621656026291853854511014834214602741455994177964285598518010930367611357614166440810879385207003851389713715687990838587522266522663036125351074409423349862242459489344031833916440544724473484013022884351895534260546584799173654229346484915802144454902286851414709888359444992640357419031/3081926418740440460616303875714972420225619525793303977926306167160967834231082125231034008188847529078807723749597788141968529721838416105094015799655970895691686312748050398181406281891392389735053403354010250576455364531565755900345468971359957536216419488518315768336586215111995694793709715001370452002267315148396*y^6 + 4139310948023559764997439818213445911709461578968244424115139438045707618160211070515541563883735170444584158293718225131746560021015744567421994224449576256145024384846307746567297627295622189092277686847586778724883104934482964336638028445087695775752202836409066973783767426658109365050454547405401826713538394526739407/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584*y^5 - 686176804427782786282227056691252589053696147253346113687857380471563527816504383560711382106627794924004638139315106812150005097679868081836193408213202721233163327625610746105402098087189504164808968474808629313187627918726827258827040686946256807128871579221362238186447750941525649201163269335242844064823008613981903/2054617612493626973744202583809981613483746350528869318617537444773978556154054750154022672125898352719205149166398525427979019814558944070062677199770647263794457541832033598787604187927594926490035602236006833717636909687710503933563645980906638357477612992345543845557724143407997129862473143334246968001511543432264*y^4 + 648879980957372268094075393940155993309948229862123986842209723928521722845759368708472682314426716909888029150064170578417160496315280786575702490104830295690842155842158233979763782625675250970758939805832704313801380928451927593564232526334345171603077413120890451208321231579919095933565016122981648582964103957589695/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^3 + 77012996588354594408309994086462902054489330284531393380950166201929235094172852175969602758466749289133380592781795985638162218949725148877426281690466174183282570665099598834005253344729245896654850992365973183809077379387454021255055643477790199387332733042966802867572136013361443415061207373897113483197168428801895/6163852837480880921232607751429944840451239051586607955852612334321935668462164250462068016377695058157615447499195576283937059443676832210188031599311941791383372625496100796362812563782784779470106806708020501152910729063131511800690937942719915072432838977036631536673172430223991389587419430002740904004534630296792*y^2 - 344965489366691762340152276573063873966658213721017251705571315510617910005186758825818501236838511441303062193814893909674671886737264442086808189323313168322583966965585755084157302819389756384034431751771513412486817640134134468155847752993758691675063188724724877115142168942897442216277570769062617302478207644729/37131643599282415188148239466445450846091801515581975637666339363385154629290146087120891664925873844322984623489129977614078671347450796446915853007903263803514292924675306002185617854113161322109077148843496994897052584717659709642716493630842861882125536006244768293211882109783080660165177289173137975930931507812*y + 13238899407150382182500017037270526804806561118367375716069680469882611740039939782697911085546498542226428338575726345462992245505474338230241629090181665235162194934967767016138129230433842665572619893440517986079779810992117225208646432760189532246928216790278796382688404284743390628250646796799539686436014719137487/12327705674961761842465215502859889680902478103173215911705224668643871336924328500924136032755390116315230894998391152567874118887353664420376063198623883582766745250992201592725625127565569558940213613416041002305821458126263023601381875885439830144865677954073263073346344860447982779174838860005481808009069260593584

# 3 Loop Invariant
-22254959022726260779756288326406523363460153221174927569636470185451253997501554603122622557582293738583081695269014090131596980273604123272031510210914269795515520735117365361521510982936885809673471544377771832764108204204909033613346777890403827249031088797918761277294356487748253474998152316884973380503986544214620342683905622372627306391368731915149077720704397/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^31 + 230966378952202898292744601140186302372292157628766644995878179635904549965149649425086361326214028414894118972066560043369303832706942180353015687431008426588838629210394091378326263727618785099948701904156249714580232932170518080463413204602068383427471376860490397413188241724048525331651252659141033752767328132657670972220755086808128831735005132752020602654407303/16694111870394987708238723009497023567001911045273299771222882359083587353912522054335549548620035958159674420439797440434356367903487278136415264697252011092556032619636985149980156701916487467744269438288493528340626994339845031646039606464469599666784530021056481211001268790337517225403005519340577411013185559119030589725432574629324247949965068458252321004615246514992*y^30 - 4559718272187351381645345132169570177804791748703606341053903719760578197614217412699299687383187452239201433898405849792617219497032247629466970743333883373760545393786203635002100911315287468515999986595103173031291469428917966278012578390577028658222677275289206028750555985320796783891745583829555677785187866149992428815870273348357919821567966765713888469651317625/33388223740789975416477446018994047134003822090546599542445764718167174707825044108671099097240071916319348840879594880868712735806974556272830529394504022185112065239273970299960313403832974935488538876576987056681253988679690063292079212928939199333569060042112962422002537580675034450806011038681154822026371118238061179450865149258648495899930136916504642009230493029984*y^29 + 22014697344666100144894643821325156484581570617108503125028936642189603891552202638415950735615998328302738204795684451670239012992895121573022564161591407330488669057522571199296921368161790406458265488173898932842780377220150108024859376985978857412600721156194719945116315138954875937135536372124290009665866461314778207071621614459956332066259852151164474669252756045/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^28 - 12488255208310733658969573733916994145305258792303432405092226763149016308682586950415754085469049645117324366326812996289944071423158414814495782586773152827018518782013286740987862754913713373654159404143058984317021952221360683498093578476315254710234694762438737360822074633337527454315548742700801605235893565832758344133288383717924431307215607661725580754331616639/16694111870394987708238723009497023567001911045273299771222882359083587353912522054335549548620035958159674420439797440434356367903487278136415264697252011092556032619636985149980156701916487467744269438288493528340626994339845031646039606464469599666784530021056481211001268790337517225403005519340577411013185559119030589725432574629324247949965068458252321004615246514992*y^27 - 143695628688828329131385414837088094359724413196598673876580921148611764669396091816082135403698163304908442933117180441226457875302073428247120302348991402988466233629480486875649731159251484807600455961766886734338765893968527305398334674697150512069274719353596627548971367846046410643201202699929177343991088786400844980694603027086189647260028251225626523274022682351/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^26 - 3090575915440087649126084895606764173198025522382765933245353464298498631765017146722117085767110831937644270043187360271742213790466731559901610820952568839318955104280483297752302406510886690755946114850008256513496022497509931836125233067656716643479068850787452694273608022333554745591838012917928236889723292074117129896287028127996053268409933931948479995324521334307/33388223740789975416477446018994047134003822090546599542445764718167174707825044108671099097240071916319348840879594880868712735806974556272830529394504022185112065239273970299960313403832974935488538876576987056681253988679690063292079212928939199333569060042112962422002537580675034450806011038681154822026371118238061179450865149258648495899930136916504642009230493029984*y^25 - 538543757868807686262228504450081488544959130138146068617445771344209351310545141278605394694781357332214351241621163720842479415517131415070609156686948918882283236765847499710862227379267889304491570951925875261171004583559892304378531572088859571488104540163258949542984144101409122813339414897646806301531797346535187182450016540759095692357549038159636719579339372753/2086763983799373463529840376187127945875238880659162471402860294885448419239065256791943693577504494769959302554974680054294545987935909767051908087156501386569504077454623143747519587739560933468033679786061691042578374292480628955754950808058699958348066252632060151375158598792189653175375689917572176376648194889878823715679071828665530993745633557281540125576905814374*y^24 - 44018750061276423461946247123565432974777157763759599128191659662123823816479412045180937452341531053328703350120708400348375427187876368362900618855710327241013816834433825986404030965969492601332647800966092311493154878315215615873775038807023003723638199436924555238878868404644922339083796111583920072397480538914603662914342919075771679076500953953083941486944223849355/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^23 - 76528424456948243175925416678268355972301912208431706684939475981568510118306379261573533768762510048976736602660726636212251997329132762691765230758955401020819797102038112761463407196438971878245658520141743476226496167542753726592047736403577978039435096897357874081831822686216880183491605243923490801234708535797037218103006026025241331976202894077192892506032396058427/33388223740789975416477446018994047134003822090546599542445764718167174707825044108671099097240071916319348840879594880868712735806974556272830529394504022185112065239273970299960313403832974935488538876576987056681253988679690063292079212928939199333569060042112962422002537580675034450806011038681154822026371118238061179450865149258648495899930136916504642009230493029984*y^22 - 1439738636952613119316540627813262485833229161703222588749017309417896098919951941811818053890738148696116140467043828744789229984142525129709372733457200941205676361639195257409951785894644948785134328942379139896703040942437394115773494296264900711006105076367266151744983161760184491410903205559365340419790459054542556237687604012321229300000353029282568556252742653790935/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^21 - 487342422841571954428744446153211890568534610560391203423058136549851890596081384781237835902242282651083853067146280617889162271821297449591971231604671134920223466585673475495069031425346617899589114717092960083687162880012950373951372339513063418318192400777395747236302338009970949477681248695495657094253927227731634668443488297438000552926057107596617266399305923988675/4173527967598746927059680752374255891750477761318324942805720589770896838478130513583887387155008989539918605109949360108589091975871819534103816174313002773139008154909246287495039175479121866936067359572123382085156748584961257911509901616117399916696132505264120302750317197584379306350751379835144352753296389779757647431358143657331061987491267114563080251153811628748*y^20 - 26671694242031884079509142636890443931922093637331328936631732102300527237131103393387204497894793604520795283709346609141590279182212963228507647066651963411174526701103027983043867235471380201843720618023996981454421948113800614414033121213900237307014780815381762415113482747122988280817609243909447136039230033337672362086043209842387506727575996323650455540398469094172401/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^19 - 967991045614265227960092690198862863802281465761142114702509189592349500345844590344638121123113391660014798767389056747016834275912924289264490637744630233206059133971249937642218705512013342517383628318435450483297348760351811741418936337275055586555444040249903573630148636757382269082297242419070846343672369646307490675391486416041685162636181245720796093920862225779636/1043381991899686731764920188093563972937619440329581235701430147442724209619532628395971846788752247384979651277487340027147272993967954883525954043578250693284752038727311571873759793869780466734016839893030845521289187146240314477877475404029349979174033126316030075687579299396094826587687844958786088188324097444939411857839535914332765496872816778640770062788452907187*y^18 - 102913792616636261753736524881458501030837344768156023860149295914798390624036498359636108999788623704099001253894785350278373059364195386374386479797915675870502046006975634548561562411046741453100160052340114159195044927056283301523241214643871562194921566262815957600787283320230474995181390696993390969202073845641267994634725033127123896704467861379887591816701427330069971/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^17 - 130796132947629736587966163154515177756083507156615347306209739382139947003113131412141240346864061485467333273904849610382254393473638490382773630964765863881294256664714356319247390195341937095648125700347158460752830546765911988258422866782381413907878304450703042162613732905096177092965199650209530772244995747156401638647712200162992165770253367494993045282381766224123083/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^16 - 108357048841018795857031003097554440951529832348926599382435232386718711275567681397460113179463964839870864048557613730283526162934403500582923560999377082855603796793135400178035923865132807828498755375650069539192148449686282126888887580179405035982897027656881632819827428737433319732534591997168383680256256186343140215930473375421832350977934325977996405821662636449425977/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^15 + 9054675062826391113195714988875776337768260351272365203938871521531493681345385327598031937071353685551190726225324669151654610141831312080827746591664702205421706679640636048721493857723671677829803492180886393320548496796635638506199717018574051666345794187882512019633906497830911956825724023943282155375515922910197081520870254332807732533930331766579261737333237451181427/16694111870394987708238723009497023567001911045273299771222882359083587353912522054335549548620035958159674420439797440434356367903487278136415264697252011092556032619636985149980156701916487467744269438288493528340626994339845031646039606464469599666784530021056481211001268790337517225403005519340577411013185559119030589725432574629324247949965068458252321004615246514992*y^14 + 80188673690290212756397774999712083710846957005943977468672546435157456899513462861627172521422023327236815599101175651605068907109527624143763865184714358320651616325295614110524906510521913125435908597651270359785826935679348672937160590764360017431996538876299254929569980671831083561286695334122020774209517925905714283132305174298755783465529721141671459747860618843172541/16694111870394987708238723009497023567001911045273299771222882359083587353912522054335549548620035958159674420439797440434356367903487278136415264697252011092556032619636985149980156701916487467744269438288493528340626994339845031646039606464469599666784530021056481211001268790337517225403005519340577411013185559119030589725432574629324247949965068458252321004615246514992*y^13 + 412276108674924249267673377803012304611218557486629139480811771447250365238421752058411636465313741996622450075909736817338254651564817351996088723689778372036073737268427326861288350657775583657682886781796802298875253116849908031763795262378641946654259265903180364882029129182814949054703272098567572845260375272987880741818993517434939873933857229022459790123136794075518587/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^12 + 5835803738497034596691835732315386890311884142537963237339480736574012808241152976702586405802820770641245337020898995236144895517629870785370781409536329563158120018542450354753462905229177115305395056378673136290467625182311875655981235604682350318762153361604536103238515839770069876774208699790970449579452954105416763329277603865536326634073068830954417551357621557732929/33388223740789975416477446018994047134003822090546599542445764718167174707825044108671099097240071916319348840879594880868712735806974556272830529394504022185112065239273970299960313403832974935488538876576987056681253988679690063292079212928939199333569060042112962422002537580675034450806011038681154822026371118238061179450865149258648495899930136916504642009230493029984*y^11 - 2814056797161676665402740331081096001950033280468964277876932003160870266136891357127129338369239660053216424455312037810973018687844995557132565885180059088711237427806436854346540642223501487217297485370594763857469989013744685494014999753772517883024051341806778523973249494304422677674524184016463910950589139758182650560028479337921497377997773587690933684117601266304116/1043381991899686731764920188093563972937619440329581235701430147442724209619532628395971846788752247384979651277487340027147272993967954883525954043578250693284752038727311571873759793869780466734016839893030845521289187146240314477877475404029349979174033126316030075687579299396094826587687844958786088188324097444939411857839535914332765496872816778640770062788452907187*y^10 + 52066557449782768541302270281773778203161742685477758379974376333890496682166323797773498380676377032671725962126022632494641503555485689753628780898084707022906723175624551108926179959742321708763199945174111249555171222107456410539060077122090436957691856427076841990368008987826472639136251003229777758283670833078874817715546446427484547382246122478180298279524811867626303/33388223740789975416477446018994047134003822090546599542445764718167174707825044108671099097240071916319348840879594880868712735806974556272830529394504022185112065239273970299960313403832974935488538876576987056681253988679690063292079212928939199333569060042112962422002537580675034450806011038681154822026371118238061179450865149258648495899930136916504642009230493029984*y^9 + 23284789068311073129314898831569680602802781656418152462811773820116566912511458436133055671132915263050583061089728487987594030944522112874362057612684505178485598027459647879554552474826829620720337941952290449835076185364941985507692408649823361013739080914395510981040696583703233265666613643485996231907523296897438291454829727841374043054975045874992538566722164965026695/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^8 - 123448981811492244216033593757437417663944171006306053624871346823009015413321236198178144205102979496983689685709420389021561844286607271246038639134272188226646611419572750611362694846836075659374876544286251792127774364531485665934431495632361426032165338743556567513715209824380371745246444819733067804441647068741390322039860273167483180326812992636310199953918593493343573/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^7 + 34523407203053628438628368658149648741802028640807842096764649457855613466714316304025820141130813447043108716662810819463197172394178058111124646287705820686854060146496753546502312149734509329954707874750516274807117349437173362230092024715842097487652543809330379979599866598751508522767035065757063122050376076754166058972564271544629921199968048231388719655293910497359933/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^6 + 22960252654053960536987963697247130290866271506458428118896558474879019856739920160816010413988932981524237751446717467301009164342312613396015471908100058186583152958718103709496922714127022570782843228820674703777116913930136039968392612959143027539097373780908140058118336310591129143781385669628762604735234593105135862390313456812347304962881080632851250164501434527733979/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^5 - 11257270132059936649959180714929072312941930328869088863633713872005107152671107824462763936153844932135665418951179456849812927364297148656957627139199212253730092039753514312613718520638403960809492678570000539440421604153982532085677097340716159797727921671521200013729569771273970400836058909495720176605535240695457987503285364690275055282151070216012172976500575030561899/33388223740789975416477446018994047134003822090546599542445764718167174707825044108671099097240071916319348840879594880868712735806974556272830529394504022185112065239273970299960313403832974935488538876576987056681253988679690063292079212928939199333569060042112962422002537580675034450806011038681154822026371118238061179450865149258648495899930136916504642009230493029984*y^4 + 6885720286626651659693881726940297757129005978397272043962222739125833494817357524142632969637926398835149888741538511607435619713839879957451726406593013266094509465504106703987275351756497905394016310943962823650787105903425108203993102448292628196088671101334218996717851106537320400050188126164207345207450213061431830085344289603729618023383656465120444017139371996100719/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^3 + 929510305904767209056741143032114768019411433460118682929762541559958088984003460983577169488152610097024095066326473382191316286852653581869919777198161892229561969626118324863973611134904960000857082823233935579575503775084861597183837762229367253591210487656295042290741697689185887926090634132573009467717747299643628660299300212718785779830433690932867972635268964856745/66776447481579950832954892037988094268007644181093199084891529436334349415650088217342198194480143832638697681759189761737425471613949112545661058789008044370224130478547940599920626807665949870977077753153974113362507977359380126584158425857878398667138120084225924844005075161350068901612022077362309644052742236476122358901730298517296991799860273833009284018460986059968*y^2 - 1883059380149040370399796659022222005951403042680813385696256059150780649706045109447101541311395385749137488679892983877234775545870577548905239356959485913264430136268976158494414236601905753165932382429412456805152977192364283470801272396473080011288478592284652945375795235454166917532578713408802528378243146254100061740795653203398109971146131256292256406782147893473/201133877956566116966731602524060524903637482473172286400275691073296233179668940413681319862891999495899691812527680005233209251849244314896569454183759169789831718308879339156387430143572138165593607690222813594465385473974036525855898873065898791166078674952487725433750226389608641269915729148681655554375729627940127587053404513606316240361024921183762903670063211024*y + 5417486069527978392657301378239664325077394185170343012002739972680517721027735136246064936342782195107175240783850818498191220884655703661295117339925189765598148770604923723421829522248415058914814778164308683728449127868831640112848872247215833025551459227863731078665307586657648679756964776461728969716029992885538689232485218912850351671663197889001588142081363820935/8347055935197493854119361504748511783500955522636649885611441179541793676956261027167774774310017979079837210219898720217178183951743639068207632348626005546278016309818492574990078350958243733872134719144246764170313497169922515823019803232234799833392265010528240605500634395168758612701502759670288705506592779559515294862716287314662123974982534229126160502307623257496

# 4 Loop Invariant
8251511369647622637607899816192357936507173023288209272564435497997238667043861121844916679070320657487233955917537226719180884913284528926216005854749283663092415767686786552889964178980172645343085820453794916672273218614346749238598972734640161302200163933456200996680758663198776413094971862352194475640803128746516563508306293750336021604703284472795324258200259642761849685034952109584036330672013237324955187296818276345280243489112519519468163169017822690401217308710679/158704937075743304610185558033707981475173928628994166941495902541748180367949861511703372531883835212438889953662282153299713131939482305210853067464608410883509709045991407966671147417767349903113403441468202271232077266368685743963731174117346137492116339578568840816876117447722903601299058420785894969626994080911120610292326348692516173504443255903673716202004550308545706883868812749490919363155746501076892416742488252557712238563346529771009845323426767779718168526997816364032*y^31 - 71396875367750749083206999381142561395983969832821718972914790895784919228043716329545715596530156414699954810910567463006823503041416466500335317075173022973912644162600740696842895321823616724734869650481901434702125423568113456684862362592465719398661563693114976510840456553162415456471491016375185623373505583674273612448754884777536679913377218600816206536690613789530631909929345911948508617169979136879681542755423130277945573389733634009427966878090296106831524864115189/33063528557446521793788657923689162807327901797707118112811646362864204243322887814938202610809132335924768740346308781937440235820725480252261055721793418934064522717914876659723155712034864563148625716972542139840016097160142863325777327941113778644190904078868508503515857801608938250270637170997061452005623766856483460477567989310940869480092344979932024208750947980947022267472669322810608200657447187724352586821351719282856716367363860368960384442380576620774618443124545075840*y^30 + 1058721638014408167253755679852539471489428013369775845628277778627402475425985496181985070926268198490304977142410983220388685526203929417137660464356666632794621956988426004889254250846817268859336382826421277866848074718701608967848658394612331124383150947282228439802719097712019130985477353701453047113547571759225286110626658761927733178702251810046334226312920597248638347830924136629528084978242514746302064468856981749993082552316406865901533996561956206544268838606453791/49595292836169782690682986885533744210991852696560677169217469544296306364984331722407303916213698503887153110519463172906160353731088220378391583582690128401096784076872314989584733568052296844722938575458813209760024145740214294988665991911670667966286356118302762755273786702413407375405955756495592178008435650284725190716351983966411304220138517469898036313126421971420533401209003984215912300986170781586528880232027578924285074551045790553440576663570864931161927664686817613760*y^29 - 1371220214744547449076930589623143698786495742283292667669013871035726911596007030882321129719678625628493489511542917557145254758424418780509961552086406034425610822482571932005195934208159748108989966690250777304553021135691388342115357387784653619988049782236585905540804796953865797529638666366506388317686442767631288933364074462283353721802266440963145772987723234802756792079245507058220980583258571834999349406442430808412318166961267656599162927671616716308001393586663623/26450822845957217435030926338951330245862321438165694490249317090291363394658310251950562088647305868739814992277047025549952188656580384201808844577434735147251618174331901327778524569627891650518900573578033711872012877728114290660621862352891022915352723263094806802812686241287150600216509736797649161604499013485186768382054391448752695584073875983945619367000758384757617813978135458248486560525957750179482069457081375426285373093891088295168307553904461296619694754499636060672*y^28 + 93343577455461486926386550485413383413035100396209841452231618553230011902964359022811878648536095341212772662544174957257877747180803467162583060429381059140261831463897212785217498774162807965869648416740219020512722455644524964106904391856157210879051591648309768561831693562622371699217273447455355384132647410853137545694865122203571837792362171184157623981741213899868697227284479335648439437479177587061735185919723422536005078612278569481473388973890836938085498025004009151/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^27 + 66168038977636258963934705912432420223717679647831968340359132979940498245338919819656280488716353538179811198008061185725793087073016261785457932621876734519204237851409039821140199544893819303425122012256815493380240052039232815840518314892953465404019427005596836494480263074839313749652146541170697882379172783326175779602262905336395316241111228683376493733560390967515942021546617503915473159000960698574602099098973329407590123204527845278914937543801738744294155985782850057/198381171344679130762731947542134976843967410786242708676869878177185225459937326889629215664854794015548612442077852691624641414924352881513566334330760513604387136307489259958338934272209187378891754301835252839040096582960857179954663967646682671865145424473211051021095146809653629501623823025982368712033742601138900762865407935865645216880554069879592145252505687885682133604836015936863649203944683126346115520928110315697140298204183162213762306654283459724647710658747270455040*y^26 + 11453544822268402707865867452139759495257516345063308457682616734068144925301659828481939035872538901999263026928775558116667262394822793073470525854489625662611325306382119121842550855470179694455700847259493094457314820709206066161238788825013686117571133183135025267058410555230240379545019939649480031516997384526477904202783065439156511159087508314783994032610295514349848796131982613596421606685578172176143701901430111556056569262296797061442180623283215869096056949900667500557/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^25 + 793056013741217796481068580161571920744443860918628956148055958390041557450996232762633256709489615790424930225821098953837554807806397093351856995678481710549654744233180279379468555852075279167100009338069942502723323984983280309892528576558508929283672628403280038097804126962673445381200475424976684511319988355668076028088912166143813909896320544269668870522966672379385992192039535641627124782785403917744439066333941657462359383037672943868496476023634677387627498575815610727/19838117134467913076273194754213497684396741078624270867686987817718522545993732688962921566485479401554861244207785269162464141492435288151356633433076051360438713630748925995833893427220918737889175430183525283904009658296085717995466396764668267186514542447321105102109514680965362950162382302598236871203374260113890076286540793586564521688055406987959214525250568788568213360483601593686364920394468312634611552092811031569714029820418316221376230665428345972464771065874727045504*y^24 + 20232507863198470369174917726856656026492430012698739428783847870463951755377902009126951101624874064184008016872436579323368239711418128549883663638324136705186294707529932133912441120928227040444860010036514787022549903232242728479702339465687967368988171825313478886151541195146188901837198597619366004021335115365480389460278146959443295204911125398016527968044190209598210028883966163090782322416430023927931988595781822971630889455667176631120538118016584249396403876443085694637/198381171344679130762731947542134976843967410786242708676869878177185225459937326889629215664854794015548612442077852691624641414924352881513566334330760513604387136307489259958338934272209187378891754301835252839040096582960857179954663967646682671865145424473211051021095146809653629501623823025982368712033742601138900762865407935865645216880554069879592145252505687885682133604836015936863649203944683126346115520928110315697140298204183162213762306654283459724647710658747270455040*y^23 + 28196427710839794297268594060040419043153425239093106952731101969987360111336620176909992500155543010859762699629638045640012650816283412646967304787479699887092134483046717230150837642413978114309458432128922555726373741947389314141749897532743905204492752284569356671335106864016113482225179368957507656727718983027492152599025411206926878727914670830420038732848292229247774489705695154112560266469645857984400914580473514514521747112359224721860019651999072488990786671196863183999/79352468537871652305092779016853990737586964314497083470747951270874090183974930755851686265941917606219444976831141076649856565969741152605426533732304205441754854522995703983335573708883674951556701720734101135616038633184342871981865587058673068746058169789284420408438058723861451800649529210392947484813497040455560305146163174346258086752221627951836858101002275154272853441934406374745459681577873250538446208371244126278856119281673264885504922661713383889859084263498908182016*y^22 + 166438917364083859732815325229299771882017704468541800936041751125640191698611697508107810831881436167451755224510235264492967285338913832490312973924079477056908562298119496165965918457718402313974328056409171208070134522730965447642218824282471906194289090370998126588965419521955874274362681868757644976621424020563129493679505676226226892444427091595296432081288666532086305261624616111333675192452397607831239065344469556691103964472652338983592407196257157375281800042947959632361/49595292836169782690682986885533744210991852696560677169217469544296306364984331722407303916213698503887153110519463172906160353731088220378391583582690128401096784076872314989584733568052296844722938575458813209760024145740214294988665991911670667966286356118302762755273786702413407375405955756495592178008435650284725190716351983966411304220138517469898036313126421971420533401209003984215912300986170781586528880232027578924285074551045790553440576663570864931161927664686817613760*y^21 + 1600171450821218128548847974864716139755936758967073398168331125165817969759310555968960460699742059576541507041376670068109517515832599528004886839452744901072879211550960320180089235182194301343210293896656746711854095436336253297708762444090199750462426325259417954041334407689820471486883705687348070312978107496348085051281640662607163334625693188543758789222951768002378476135180733017867153385946439512083333019180446683402048180601082760822974700994095914611185430774924371677461/88169409486524058116769754463171100819541071460552314967497723634304544648861034173168540295491019562466049974256823418499840628855267947339362815258115783824172060581106337759261748565426305501729668578593445706240042925760380968868739541176303409717842410876982689342708954137623835334055032455992163872014996711617289227940181304829175651946912919946485397890002527949192059379927118194161621868419859167264940231523604584754284576979636960983894358513014870988732315848332120202240*y^20 + 12287475658874594495832928229490028464944864731784740874145063377410916662462489143479104207907928285808274396861390858762023430931780314245876672253014065038089376269090004623071916748000057515838405339266063368965831069837084327267671743552655851590953529475203759968919507481102233298991736879538909498783505492756666032048257697236181014343262183298536246621547781073204231931528950393851988257556890309754730539116604593690625073634395456898296464008708110774888258613479925530290969/198381171344679130762731947542134976843967410786242708676869878177185225459937326889629215664854794015548612442077852691624641414924352881513566334330760513604387136307489259958338934272209187378891754301835252839040096582960857179954663967646682671865145424473211051021095146809653629501623823025982368712033742601138900762865407935865645216880554069879592145252505687885682133604836015936863649203944683126346115520928110315697140298204183162213762306654283459724647710658747270455040*y^19 + 37936176998268161821611705363062734002633136103874399026363773971564705695602695095782698674394568360507367719408676103600820283966520037976172583283452948962722147363318934191393850319392201456821198258073966371081692432897299784767764735790692814497167350506708257180369903347434441173262952053959062800184880042666434319412343521511304062605908160449153138501343040578313705705509985952818166032621502122854675284880936118651301784174828850163800098433319140319014994892606629660733873/264508228459572174350309263389513302458623214381656944902493170902913633946583102519505620886473058687398149922770470255499521886565803842018088445774347351472516181743319013277785245696278916505189005735780337118720128777281142906606218623528910229153527232630948068028126862412871506002165097367976491616044990134851867683820543914487526955840738759839456193670007583847576178139781354582484865605259577501794820694570813754262853730938910882951683075539044612966196947544996360606720*y^18 + 188266577765945445526517473961280381641003544436677996985352230192828820931466802536045621843168642118411665455149428770612980198124028985185489794010386370101067490565711418782849847599165793736067201645933949724823400775507242041078429729686117512011023152117554746217064900056966800855096299449375997012394134736457974513442230553930576902517380442791041290288396460460107747061792772379643924597715715168282622082372157603094289691404397217088459313358547847347992071921682413533721181/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^17 + 26447760420958041889764175437760953496138519690469234572972812088296896828396603701867802312178329974016291154191449232718246625974972025374328489534885160071083235919008907479477287593358435165628603053345761517708458646067100965861656765970037027876657572626722792184677940700016011286466025911411144905894459935337738914443954894805110189983218105098032929829292038811596857306236933358115535660282121190024410495535637539240989638785198341773149969062105573562630143592682301306757533/88169409486524058116769754463171100819541071460552314967497723634304544648861034173168540295491019562466049974256823418499840628855267947339362815258115783824172060581106337759261748565426305501729668578593445706240042925760380968868739541176303409717842410876982689342708954137623835334055032455992163872014996711617289227940181304829175651946912919946485397890002527949192059379927118194161621868419859167264940231523604584754284576979636960983894358513014870988732315848332120202240*y^16 + 2164075873148773913698543597887476644488921279723415684036560373281029242042208807211586205846730151226634099724570288271702335700951864962423237224409453392367682786950926815527861664736002107470159986330956775099308791257646351490203712714353016122376044066325000342425448626424520237057143658326448188703379601929110470860419234587112771658123299069618134299191914972833204751016277987344552660994498760682481839456821473675369083701960562131894433879272968189018356406675129304861163/8816940948652405811676975446317110081954107146055231496749772363430454464886103417316854029549101956246604997425682341849984062885526794733936281525811578382417206058110633775926174856542630550172966857859344570624004292576038096886873954117630340971784241087698268934270895413762383533405503245599216387201499671161728922794018130482917565194691291994648539789000252794919205937992711819416162186841985916726494023152360458475428457697963696098389435851301487098873231584833212020224*y^15 - 12183166242642043641990835516133385479125174439167820254359950216203758736600995197785646319106294931062121904127551227201623888517181992441247111595476424216961238412355593282493223629739880073905649455908841174758765444474624273670916088808606683387176593889541645029282892238327912986699677578929074883052857891483145504604470719858419807455909525642794875090788789337982367578191524593093788609670251690502777148243395448169400153207191173597465900838292951356487215455337323939149263/132254114229786087175154631694756651229311607190828472451246585451456816973291551259752810443236529343699074961385235127749760943282901921009044222887173675736258090871659506638892622848139458252594502867890168559360064388640571453303109311764455114576763616315474034014063431206435753001082548683988245808022495067425933841910271957243763477920369379919728096835003791923788089069890677291242432802629788750897410347285406877131426865469455441475841537769522306483098473772498180303360*y^14 - 99258923914072165309782330737684879765291718648250314309996852194735160908669259972115884339730666514445961124199569237451437979294528326438196023146872768944170064089299950448624233730532985904774241546503747704271911959827319234509638271772958567707682793508723231577748826203747130507043682124300266831732250107386853136869507281629782166751420925523465476325821018111885053942807124827340497414448720578389423013351543579903791622126562252642427496855024527202913367190223248915510939/132254114229786087175154631694756651229311607190828472451246585451456816973291551259752810443236529343699074961385235127749760943282901921009044222887173675736258090871659506638892622848139458252594502867890168559360064388640571453303109311764455114576763616315474034014063431206435753001082548683988245808022495067425933841910271957243763477920369379919728096835003791923788089069890677291242432802629788750897410347285406877131426865469455441475841537769522306483098473772498180303360*y^13 - 753757524066018061940317214255417239564179490281638612504545430789829056644877287294741620786793814116033353851413196384859387734960624038959292271946345478103412807054768942776199040069983899996136180996100133432648657084577829338490048221116259890429337608785993670044576052774644276588014713047133032862748510859727764212934582429446374904305728930094296111926990823470967675516531757307464739064512655226572517211274007012544415187592047792465095644363305626932336478949028910934971193/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^12 - 248017709811844188206654533817068080358873819185486990875876556672256515561495672871883311312973690738583796351975717204388025033583248117934871232769122336892753440335751297168439145176512377316217009101371636595372486854015980926036669426334048413725748779689622309074292040600119053433086265113172539123425789376725430202252122892936547058194839162454952728049797951735044917094931077261521775677215323466596849489646982025104512636382110538584290816448042766333335895276822827847057/44084704743262029058384877231585550409770535730276157483748861817152272324430517086584270147745509781233024987128411709249920314427633973669681407629057891912086030290553168879630874282713152750864834289296722853120021462880190484434369770588151704858921205438491344671354477068811917667027516227996081936007498355808644613970090652414587825973456459973242698945001263974596029689963559097080810934209929583632470115761802292377142288489818480491947179256507435494366157924166060101120*y^11 + 56635756830678716533053964932177768896620874331418296820578027530656977573277394598896039057685307474087888018757693641775961585390986116939271426232969490206764829665476445277087106638316770615483213303517051698473873669208446550970241469323587560248563944054018512906155844717803459240847333554450883234729733006088364248175974559706212013587696396214994636424835463373682319221581239536318897405082752836195807782594286293118230848885907538637077679388066825865839972311811501788016817/132254114229786087175154631694756651229311607190828472451246585451456816973291551259752810443236529343699074961385235127749760943282901921009044222887173675736258090871659506638892622848139458252594502867890168559360064388640571453303109311764455114576763616315474034014063431206435753001082548683988245808022495067425933841910271957243763477920369379919728096835003791923788089069890677291242432802629788750897410347285406877131426865469455441475841537769522306483098473772498180303360*y^10 - 39107368142122691522881596047912842674162555371328535867796673885094739859661495132155532536502849321611145966746920794544718891500488961783512278320549515115669507127244041600002434512993091551511743888588740352646820891778446438125289807617632604211233981702915121758887645254398896169866807648964956582616214511096344741084143858854151789088374699006545311634804239610116260703364431985883185226457481175886533359415162704682207476656043957597397917575725858740922164277125071325107779/158704937075743304610185558033707981475173928628994166941495902541748180367949861511703372531883835212438889953662282153299713131939482305210853067464608410883509709045991407966671147417767349903113403441468202271232077266368685743963731174117346137492116339578568840816876117447722903601299058420785894969626994080911120610292326348692516173504443255903673716202004550308545706883868812749490919363155746501076892416742488252557712238563346529771009845323426767779718168526997816364032*y^9 - 39248621706189195029078948953686461055089133911045040261680292698386573020035882746465817207198626289496435277296979602384892214891929465751681939278579083904106747010569194181938025116214551191762105470539625462721513159242113347308009674795733763861158561774083323709835882596918509924141573588523099477424225543006593178230084502949310905087913986850254194413554708588820005338614261973607776354141343011725793840984495735903542899471997200958511151238782172532999960162234699768053297/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^8 + 229948597671971365962964478835634587217656601963722938653711264948923917233002801293035240844363002428087945862206164893240507876852052617097168180925523710164231646143521870624040617769359777011643784138174381328145737977671861763129667804501390207830053272753462232325761214265266978776814971426126290235620345639904556362381707327470178511899552742513071638349058573667998690666236852001928732669965166465516673717225933226733532496840449812167205586959534060861003383878115321511058929/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^7 - 67538103194466215890253036549534941196620828017619652658806996014898732310212838815511305622308457591774517950630115124736816169940912677192009127274617188023117239192333362648977635321124802206647233269885284945460346002659907240337652145488261389727792483886901232313498394338608067162330289705909379274669739120013164564744053080736456416823303238354995407590286448264812589137773471351981700663170146197601204040946597565998885216012810383038300825558087977823681374299831398560755601/793524685378716523050927790168539907375869643144970834707479512708740901839749307558516862659419176062194449768311410766498565659697411526054265337323042054417548545229957039833355737088836749515567017207341011356160386331843428719818655870586730687460581697892844204084380587238614518006495292103929474848134970404555603051461631743462580867522216279518368581010022751542728534419344063747454596815778732505384462083712441262788561192816732648855049226617133838898590842634989081820160*y^6 - 349652770926480004841947920666531804755700448697912292646685186265954299177132333975417082685022871988835997917428650676494311736649248760731563785602320417897101588255668841015409481069463535018026568161449219938548477816772980247877228810024345781210511349061210774926748424945611073955390161801177208285092210550957471562167636169696225856049926485226810163568186498061411850339362751682379785321519147088092296875600907407019714515539041054822092306408834468730574001671525473297977/6612705711489304358757731584737832561465580359541423622562329272572840848664577562987640522161826467184953748069261756387488047164145096050452211144358683786812904543582975331944631142406972912629725143394508427968003219432028572665155465588222755728838180815773701700703171560321787650054127434199412290401124753371296692095513597862188173896018468995986404841750189596189404453494533864562121640131489437544870517364270343856571343273472772073792076888476115324154923688624909015168*y^5 + 10525043272598186897009106191730264368413489999378838087859037666708035100320224326751777606953917678523818867267701496044137006655632302422773949933663037445609886848797161756310361015580444916916054442138768915538481286814531547997618823822817627617828177476055681508838776527242661578523571701139937633516000511021184217868305956423657530969745240593289849631274936648606993885898405550236395008467046807009265917966108124914154712384715505012157339516775428551048864283743325382820961/198381171344679130762731947542134976843967410786242708676869878177185225459937326889629215664854794015548612442077852691624641414924352881513566334330760513604387136307489259958338934272209187378891754301835252839040096582960857179954663967646682671865145424473211051021095146809653629501623823025982368712033742601138900762865407935865645216880554069879592145252505687885682133604836015936863649203944683126346115520928110315697140298204183162213762306654283459724647710658747270455040*y^4 - 1480751456920013447340687830081976959545719683635504266342743765350960304462248198991192442762004460418364152310687229013575688033365302240921678071734454715465378303395258262317920748397212533885773222077182631115703068535358788463328378741118840156093378887760441557106732436192176887016142024653609347949869517103484696401199710123441600458000377142463432161910837993968962063972806952717490581461813135828405894904913858564204278541755068252588902055012220824305660775892792136164431/88169409486524058116769754463171100819541071460552314967497723634304544648861034173168540295491019562466049974256823418499840628855267947339362815258115783824172060581106337759261748565426305501729668578593445706240042925760380968868739541176303409717842410876982689342708954137623835334055032455992163872014996711617289227940181304829175651946912919946485397890002527949192059379927118194161621868419859167264940231523604584754284576979636960983894358513014870988732315848332120202240*y^3 - 310574745947750031552280362747923213797819100568557507845283279702800084141798135319949190021125876957598484583175837652608737121901479658276972738549394539708411326036877555087894409129807267507761310968302900006769276546168507012709279777693199860181287438360569658677701591405718685703314522442614273657896675061564277195191019555055579603852297133840416676553387892530582271262298397001049054886067234550676673757528408586138880984250781898099053385673807068831746153274477145503307/158704937075743304610185558033707981475173928628994166941495902541748180367949861511703372531883835212438889953662282153299713131939482305210853067464608410883509709045991407966671147417767349903113403441468202271232077266368685743963731174117346137492116339578568840816876117447722903601299058420785894969626994080911120610292326348692516173504443255903673716202004550308545706883868812749490919363155746501076892416742488252557712238563346529771009845323426767779718168526997816364032*y^2 + 6850918214758804370795085091926756286572870967475940336727006059305059936019958550508657855058355192500188098123136933486707983394624118999311264263487115232600909427809552072249865747774664034430560458148855373513453941878868801170507178934988772245362279888812081055357146306052159977683385310550468406621795736832580121535552386657711276759948429357388144283293098759710829255663922353228161581888154396016357156045695854116343458383153136953127482032088953883252304907157423456371/4780269189028412789463420422702047634794395440632354425948671763305668083371983780472993148550717928085508733544044643171678106383719346542495574321223144906129810513433476143574432151137570780214259139803259104555183050191827883854329252232450184864220371674053278337857714380955509144617441518698370330410451628943106042478684528575075788358567567948905834825361582840618846592887614841852136125396257424731231699299472537727641934896486341258162947148295986981316812305030054709760*y - 2048681717966136165606375962818431916798891588984956507963146199602444578504770224841471898098044782471083696977119508124943346054760000857687222026333694446276933908505789876747533754666116861950944932169379059000783268433820614824941947727908255579101159345610825502364095311201487817663219948980319704575958864626035408801666239893001855137191227791845591757736776769700405174787992119670035194418897913206386275934015532102950353688989439415495279649486467338322884745499520969067/22042352371631014529192438615792775204885267865138078741874430908576136162215258543292135073872754890616512493564205854624960157213816986834840703814528945956043015145276584439815437141356576375432417144648361426560010731440095242217184885294075852429460602719245672335677238534405958833513758113998040968003749177904322306985045326207293912986728229986621349472500631987298014844981779548540405467104964791816235057880901146188571144244909240245973589628253717747183078962083030050560