# Manifold: Census Knot K8_184

# Number of Tetrahedra: 8

# Number Field
x^41 - 23*x^40 + 191*x^39 - 647*x^38 + 724*x^37 - 2432*x^36 + 16561*x^35 - 10970*x^34 - 64579*x^33 - 62645*x^32 + 289075*x^31 + 250208*x^30 - 118403*x^29 - 488492*x^28 - 343903*x^27 - 767683*x^26 - 1731665*x^25 + 1661593*x^24 + 3509900*x^23 + 2552762*x^22 - 263982*x^21 + 3062438*x^20 - 657377*x^19 - 7794868*x^18 + 469438*x^17 + 797299*x^16 + 837646*x^15 - 561348*x^14 + 662212*x^13 + 196752*x^12 - 151623*x^11 - 53955*x^10 + 85463*x^9 + 27305*x^8 - 37656*x^7 + 2739*x^6 + 6074*x^5 - 2070*x^4 - 460*x^3 + 186*x^2 + 11*x - 5 

# Approximate Field Generator
0.164171222584461 + 0.628558437096103*I

# Shape Parameters
-219288910471153170122712938637028415700337070316404111294694175852930423003150276293084172038076284231534791/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^40 + 20569123844332279850208913684005654558874769466648272956766184713714307551458384550620259256634698108081052029/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^39 - 176784162464536785639176989383525320269523155749589877108509453205220360209303214041804607513806055076712226489/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^38 + 161733352004972076473118797536147861904079633723573536162943157221025137532168454232584825406912729366487601730/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^37 - 462600182356720982096486233068408915484646105673224134310934896167152224786175019354871037594740275444201884923/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^36 + 636645158851477962120640038596123917373428023405656379959124375912038861983962187100926789697445482191273363715/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^35 - 7834504790135894171503296294336021654140558450391243546706518124760504528189349813203372607984979182187216594301/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^34 + 16659129213667265901427264727776874063142641967412637421102291451851643827550460682389091014041199723690078592393/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^33 + 24613040488506495980331116465146452886828783575238268926556097488745433388453183547325858693369419626674011679309/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^32 + 8192125203376172875159552247111036639103309173318622171836831470825608678913291458500825867528349467663230552751/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^31 - 268583866100042303251410854414425926881236027184717252478367453851455003566374771518810379335993264410246617186651/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^30 - 98994267585588840696949076608018777378929103517172216240683551251470865663466235340823952664711688826421331589907/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^29 + 149540078073139314605070455150301150095039966307974516866523822065561949140367670205296704593965092731665058805181/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^28 + 181207305046318783973314721299828522511536431418748396500426267872966651298932300828308413260680407180111169220159/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^27 + 138624150427337519252970289929569685722448110176857314307675138079172004350148861505832785926065008029069960146355/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^26 + 609415117098688542926018390807934792316674832658201119641364434227636427907403803386935519853906190256020192626917/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^25 + 310778310677997955910918701976300324791326719234615552762200419477367522426808406666280248250489619677334606254985/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^24 - 1010489876311343437197025295610022017482003792509789928930878108467349430177811482833957349705179873216139065186647/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^23 - 2179175469330573163676236345903941472947269012863975478796058893439214529605278317185072885409848366847310663500475/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^22 - 313675068433641254280245321424145140554475949413841777366168209371129757589738245800974478169358524194300302998375/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^21 + 808982242877587097627588035051548411064614050026587719607286575390705825884619274924434975150343797897878466884625/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^20 - 759116489223071291209191372481519349473558735219473657703701088349448538777148164631110451923772721956747427821743/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^19 + 1949142144831469781613131105863812104660917712463824129672285597691068275133306215823120371212422853384920343177177/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^18 + 5981989270122103706383557352005572187831057632531443303616189045592018130569495800389800025096595223935654360627793/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^17 - 3097595806655682377718374018667555766641562094417678524651587075867286296304428635118362046492554567422437251032915/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^16 + 666504646300245667619055520670831444847389005437321011471469918864514715735277748105657911181612682162215077432095/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^15 - 257961429496305059007150199465710368430661231157156613709674975061853046624070704063125153920754442174305047642607/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^14 + 951790434810540545036482514270005632246188132147909551432729408433762164708743462671689482418751241086730653458643/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^13 - 505322603492571204778146713954122737667333972872228753934872226112423794666012478906118439027397445521773050244815/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^12 + 280314632081926210970617045608059148918485582934629068979042114966888275238623779759504368547291409402838016171581/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^11 + 1821600653583226168732761092594157388298823108899817387563022390291046189791724504578176992875752425138302073780/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^10 + 11185591535814885147278335451098445489550070778415904998144756685344389362757315647276218772986494365788011452153/15766915628767719560146837990282030747832135972862909798212889600735721682954104921678634934606935892708243337*y^9 - 95892340506101217175434049464456770329093390197643676474958002714789173647085837165429707744143376626039776918735/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^8 + 19166865076049018915982041608636852210697185105142837105749060798114774455113745797983516544781893777657583920977/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^7 + 12327317882308728125180067503959909592992381952167558748750963347903777697910905459762398239680168136217121410671/31533831257535439120293675980564061495664271945725819596425779201471443365908209843357269869213871785416486674*y^6 - 13542364951111751035539801892446280629776297149988226865519683203943149051415510569631820488418416064853528802885/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^5 + 737563374974566011449126964743888431854639514397652244147946106087154112996204761341157580975250514491422362291/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^4 + 1500544635195709405403516472873306114216868991647937242966253216353251320076780872232494093805004378979163970501/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^3 - 274542255405743446544963379523287674278472674074532546617635903999376190641499974247758151262891415068600508635/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y^2 - 15135601382483705378852800313887449129714264785625544622032038953427317976935858435119531076392266435727013731/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348*y + 48792352591247153275811864387764161535876997624728626222347469740808620386696715154307990452222113170590510571/63067662515070878240587351961128122991328543891451639192851558402942886731816419686714539738427743570832973348

71878246585963225362062046616393514333386127074911128706482110521944334585636904454885335454806384368102859209/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^40 - 841162354811827568444355898943405817916048549509026539631056244252710385743581517855772664931725262772952412195/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^39 + 14413763713626716405613760997642265934507855483421399339992924951702815495302964871366958561643807013259570702769/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^38 - 26210685501975364608526637015433293115928797572199409458051825305417311261556731596603122181125977052418000682663/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^37 + 36947118800733068062792085727731052077699835559816590309686437463746434761512863152381569313317022953331748285075/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^36 - 103364107683642541597162874935209316271484328382110071818095016732646457593655578824705793249759647415653873538605/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^35 + 1276110785068155633824568554633461990621003925497492023942532906554415655314672874281749848778315282574448182644127/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^34 - 1313796926461285536286563067726696060262475826928062262445300265820128252829853966602373012683576321075885165486731/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^33 - 2028082694175665810878754224669661424781099214961283581899336944335143046456198651134312005036303013013544787865107/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^32 - 2880664066405639188173818370766351489434202405558201120271697682624722038827706199568377389686886072153116367127363/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^31 + 2717835673690892587353105740348209492133134763719210391145329808070061834520037669781698958281609708638361234646521/2018165200482268103698795262756099935722513404526452454171249868894172375418125429974865271629687794266655147136*y^30 + 1110632793623035900151167616115952375599458562378606267781814371769778588568492310084338617022125390180135175868645/2018165200482268103698795262756099935722513404526452454171249868894172375418125429974865271629687794266655147136*y^29 - 11320185644944849536944398099867679380883462099909975854432494115156535943491141274188669506585370353570448694716851/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^28 - 29518494723162871130151636928739595832030577472713743760940229112033412588648820027890080455005683860015834675984959/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^27 - 6250684475093267378968417543235435647154265488288759639296634744489464493474785055439343265094102190849026306614507/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^26 - 51306713396303098684923233109304557895290322460976955177611088685735136754487168019738092473408846163794990481587441/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^25 - 52582088953100426469789156090442999265319198600038196651622516979248350328615839022542475931703288358382277234630853/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^24 + 158525257481426695594925426509833283801240941763196124335705872593565082693508741664273181102678016749836106954328983/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^23 + 180525116934720426097104321718285315697481979378572504355533491100947118735059635334491435993505522331505564306878083/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^22 + 111989028305751930900135712200367437161484355160225309753675542928797000526410499179613495872621086395595780327131533/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^21 - 54807344193234251146992664828222992692804644615894986173601319950699122613214797486776829785271240272576402564534417/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^20 + 254974513466226450070198845741994818440024774963559681332667198170785089523169991050119741740725507179657334580032965/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^19 - 35910440987851054381365526998048679726349969409338770149313274952322155710233926575357546410692384740094103184268793/4036330400964536207397590525512199871445026809052904908342499737788344750836250859949730543259375588533310294272*y^18 - 60620059457695628696221663114611649092318793259440065668599910673876909220503966222338351591638967981358363820484935/2018165200482268103698795262756099935722513404526452454171249868894172375418125429974865271629687794266655147136*y^17 + 118176631234031844496277211808954466201980998597620291742505451518792709934715644968477068689864059621988634501612155/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^16 - 55998433786511018518902038909280842553365321392041477333031848589180998427914536522635175306532103680960649580332735/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^15 + 80267641568119075795264948193348576826065400415969152895560512654881258125991934979165956814786591832169618671685183/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^14 - 77687691001191837268763646621501057366106315797218741919681253785302898388244757579039625034742813033476354362114725/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^13 + 79935193482723057083568074883744212346331321599326030724899869307377026626948975010825387238196066409303666139624255/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^12 - 21864188032101432821129089485227990646852264878802673644861700445846525100542483299386234133746107777555775840815281/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^11 - 36292386985604853296430009357536895946217743281823548571856714451004990382026219352112121323715278952959086227511/1009082600241134051849397631378049967861256702263226227085624934447086187709062714987432635814843897133327573568*y^10 - 3797219958571390910939673334172181577126237747918191607905230909879903489653737399137183180811741504705700195299723/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^9 + 1925818881909056128953799540743889605953497977865013632305441821325501265946863512074193592123901184007321930251153/4036330400964536207397590525512199871445026809052904908342499737788344750836250859949730543259375588533310294272*y^8 - 1372194518027391863810593338406529185325827869585223601634761710197894705764291933089409019494736837404672039556875/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^7 - 1934704277403906253416336828489392442545337285117325611495629318958985989438232955250324465856992360473901200141027/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088*y^6 + 139246020735054378523905375624761587987354849260861505763528589745627629657754192318524098080431364222802242650101/2018165200482268103698795262756099935722513404526452454171249868894172375418125429974865271629687794266655147136*y^5 - 1093745382270209871867808726215289942970643805089715181270454096418351028339167788631963878008599054003976468519/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y^4 - 17573142515022988095198027308448781900969637827210483588795587421938563389321263359367600593969499152186795540261/4036330400964536207397590525512199871445026809052904908342499737788344750836250859949730543259375588533310294272*y^3 + 1097189098165113680043323079628302583586556381275285483721928367027437559202341719778168725547292527561084074469/252270650060283512962349407844512491965314175565806556771406233611771546927265678746858158953710974283331893392*y^2 + 22848763528747273311425068751326382912403640030964143833608329254631251668550949914958043521058484032023792830501/8072660801929072414795181051024399742890053618105809816684999475576689501672501719899461086518751177066620588544*y + 15381953615175656725372382089309181569061312071566186227073575323396096910497058547452757889476583700708297343213/16145321603858144829590362102048799485780107236211619633369998951153379003345003439798922173037502354133241177088

-17434658049968347516471605900123665177282468447090814956992088261651543491987594179987073235682475983039211778763699674330825792737127244062988482347529137/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^40 + 12587274012851798604162627418101698483114879381987502236930467455036918344505002040507856440039344785655256856093696512995769646750687547867866984023514951/4996103694758485642830024368286501022317711965250854532225136153537501868443043749598760022314931293213750823580508462755734307821235558633137455312684074*y^39 - 3372062022194368500665069506511291084204373484574698105769142502824725584721017886730148927360086397873735370113374724048958642820138327925038598964222759863/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^38 + 5820167816682014638694533613244074136696557698275888024059625851471470853841286549997933610216195635760299696573260306156586011194235471326879912662560244823/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^37 - 6963878361629475683459315802364295717521834040345139950826435693782379614189195399524580660335210947927747523254670093127484603598393066999401005584733408777/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^36 + 22096667475672266926381569335989383967707337257545315138548500420942354964703047527254753615962897535390644406255015389288374197589979081264032877144166969913/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^35 - 293678211388454253845032960075505842850969851753856961252368010908510615557839124330533487814944383038903649524516142221801937171847315026829106649847706282819/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^34 + 222838934724872483164572284101203041993893962863590003013544497335917119373042023364354061337337816228260320960898931404658629793145156926804910679389966256197/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^33 + 546887834466610991568564794423230048117355289668833864739228973937471108542450781839018756457503387770995583782125526014825709932016980401757538439865825117679/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^32 + 985376693222420276306866575665498060021671655458255575419216052288843064711018660772330970053698815381160315661069367122462056857236282974247349195781678656999/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^31 - 2552464068630846588781254702330637669937464570691678557815079630518242729847150345920169320287278636320051161846249372267888996320214454370508675353953584115953/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^30 - 1900475152803080278896840829074289992633842214838453845617454625933743789980302398721701367442119783548711261581908226756137524884184996938733444674625837143147/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^29 + 2294509157610671018654768448008061902559255106784050162507865803182379579750882498576924339503042107319144380153347777802916947209401496772711786893825872181105/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^28 + 8135820392423594599896353853918862454846248825451563668327759253038690378622246974534531504130540212490232795287842272535976003970347240852506487200863363317323/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^27 + 1306308750344703267879306867840121457288285582730417023349798019081496556718146039324962218136613530044593252529696815924375879491373345659092107101894177913375/39968829558067885142640194946292008178541695722006836257801089228300014947544349996790080178519450345710006588644067702045874462569884469065099642501472592*y^26 + 13122843137958491992477718730274258412062508721718181393931403578036590355439757210570207715856264330398073780967765394572638653079812557599106682957784985082463/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^25 + 14518550768574971134295524783094909097637723466901195801581743473741060242800509510177863769098903940989753763760572927482018939686043126446913967168318325775617/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^24 - 31533898891407337881801911975373466225421148298915016800671648189437366299248306680930549951716930038294123793685497043581547554141914125440137819177464313206139/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^23 - 56974351277643592299727250698122648297277262814616486432251048123348393525375654345286952790412010795535226444153134948773507541993561708261315068327741655668105/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^22 - 39555149869840567804842014724487855731443454698126614257976334389373592994017561560461172434455907501092362811513649922233004146857047234517785558434022997942481/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^21 + 6669079557319033491259395638429481681363952537351100159230350847121827368914431577512762095448039399330804099973952486249322542689614512412502849243112477272647/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^20 - 55519158056124689745805689611434604182481234429182567309430980269364821016152471220811822691457757770138884882519973852951441803583663117048760062102551786599245/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^19 + 8666755450138646385366625166192272683280430856237172723711598600659350065519122307752324372826716541772639499976528266317278381851934252508246061035858539462115/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^18 + 66227595744560628975957278435243065316432758682842587418269133092065640362081889036165877926322210102707413456764051004562525724401872398769965147238036353280395/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^17 - 5375794744413778333298765652781541368163345847202848397077070317291909251937506202221508523706733555223560337166462473223845673963216530653362315317744960402667/39968829558067885142640194946292008178541695722006836257801089228300014947544349996790080178519450345710006588644067702045874462569884469065099642501472592*y^16 - 7271622373398264731214546093778820753852598547525331964010693558295652296053616497184717029087823156557257460899312095330359214243962632358621495502369519556479/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^15 - 14050423535176833309502222995840061219700756230187087653833422412489713076943588274369904800983033810503627831522313997232453188183505736593305983971892613851055/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^14 + 10668018064187077199199109108359058602469206419892207788352412636777977106678319978976760270800198444328839950691967561069818609096218348201236820256665527752747/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^13 - 13097381996269140574065429418609579311679593923449924651499234045161515225683962194997376018002382797129456112736645918437742273358266159780761021311482859967423/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^12 - 1823552218880311875110548256886255948914086312248993749923431386826063660698634400417653724590516025228996779235488310332336453034361020998570147419185875642793/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^11 + 39192620183513803336932974678447701695625538178764482570041446341358070629848747791980129703787788524040500243394117785258832741203128435296347174710905982166/2498051847379242821415012184143250511158855982625427266112568076768750934221521874799380011157465646606875411790254231377867153910617779316568727656342037*y^10 + 553700888723267943948590728769319759614525515207686472366986565904441245876151192601096002127299438466454084083877838947697860491825209022836071387430490649619/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^9 - 720579759881214455936239668434084287035477838326299207710749305340622089550061368391416170358531427737724454672977382341514627630609005238615913750125418490345/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^8 - 303615931082120797088458063779619927065720365509748170538712571891369521279896296094944369445046519488268055022743599176336143855321690084027953878924899347743/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^7 + 645185572927799959217163087847997310666481660846154840121313961684456237864963333302329549954055482992067430908846108958813481059412789097637065375460864998311/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^6 - 66311207275309924410115787241090089462920604772613664343520503945870568141508900521774215030259022045145996794442797427950640306280443194834169851484304595337/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^5 - 4409697266635760252345026498190403754644555182698318895734904523329895875125736603814389171147264935265220852688498283518144914213623884613910943249341481985/9992207389516971285660048736573002044635423930501709064450272307075003736886087499197520044629862586427501647161016925511468615642471117266274910625368148*y^4 + 20976178328569504060348673546228387801127658783129958483323031651985891956871213763259237632925816966253994321556648550179045892202491690854814055558836515159/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^3 + 293318775692283257549768955931667004195075598862795190261196447728611487969386237289029196817095265293687439734850163206590554765896653433926128928469234627/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^2 - 248550154608694848977581484164548811572080463313377930331027529465650115053633344702408986793763457548124347779590211623876196186456428467405030136177353715/19984414779033942571320097473146004089270847861003418128900544614150007473772174998395040089259725172855003294322033851022937231284942234532549821250736296*y + 170714038012838481477140591955433440721603376824024589755040458791688071195905018539807646183639290113559044268607430749532891930483401411114460971546784757/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368

430819869559716240258237485861458793178774622991640647483743694630563971860529425963754526783975303802725423978128680837473345109463242490905177216741859/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^40 - 631493392775511163843972417532064856809419359856192900161190808410255808608321625549550545421788997145202878715907254951788377299046874966135951001097755/59833577182736355003952387644149712842128287008992269847007618605239543334647230534116886494789596325913183515934233086895021650553719265067514434882444*y^39 + 86795691195944741094684952027069867263793404482728953257532910275850692614806033120051500172286848692924951268312304293174072181678129399117510903649919885/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^38 - 158267587217442972683939611338758162185460158735875313855786260162900748473343966135742315567604071238109299535913882128541440874515731357006997816863558189/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^37 + 221363580785852714726457108944344399617478004529757582978654649297785997700957885441058213029261936522503844441141597631622588007934675198393851722193862307/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^36 - 602765099491212717449226292221637382852416261143273986388636238438038643667254220678011110780724113808170843711800030716083146161986719293768728690637821771/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^35 + 7631082475209043489673590771405740460241634769812660979722726719400781067208604563560531683663643399154623577075244963703290495095499005552132509543590571865/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^34 - 8018037690352025483905046301014039128677651034664652757645429208976554958770733871147392985456029197879473740450829433810108389450781830801761004017724738207/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^33 - 12639207548989406290513880383145780617512683922204294200102898152052832937336927474610922265491266587422244708890025203746612472684699468729451374631848787201/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^32 - 14780667606823017140022183937931406008101319841850433035824062048557928095360117255359014989955744063993858096329138458981615415480310306578615041777890397773/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^31 + 67667027900579934005710880391683716524053425800971859297794854789373135499907917909553045511664251657280835856280902888542979325488517527740261065141996970799/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^30 + 25246303770972516776596124297659441494377112449022611123600973278318424702375297109622805656423823778609022556847665125308861620611739151004176232901142119513/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^29 - 92550736275821358471535798075336843857747258029095212639186861640227718587884873438448975541115735981006417393539289063151524840906375531560101712443592359755/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^28 - 183848993443066401121269043400647668721066881911997431733161330837047755938599267433240975119540131922191674885478396463859817058128035048617822680585391039313/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^27 - 14460416366782954105510420371054206024311767869717724981466646114961080867559334798639727673364765004799747912777039568723902686913971169091372937863257260861/239334308730945420015809550576598851368513148035969079388030474420958173338588922136467545979158385303652734063736932347580086602214877060270057739529776*y^26 - 274162006790402549312211806599926973121818153513665877253965378826784364183104723770507227282290395667957099184568712448197484628966195039496545593699114109525/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^25 - 300175222598460234691054021005592605821140130466155477836305233460140259037191105985422716985024805310026789979228359978673561586171230629892291151959625985747/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^24 + 1038793495068805170126029051115572225011611247266254181638677386816550052760582395432421633342750036851861912501944633400623887316892996350502345567742696948833/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^23 + 1154275252263008545310185452150620379878355030743414073445228802834097962933461467524511877058050510901729346816472160617466093773689889175348780120840616682955/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^22 + 468500108864951772191667115615595057204799503665628049269763680427039520592663056522699875570483009437833127978308239635530250194249262890064366614992374621691/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^21 - 542424787273961310047545220180091701588109220705099589886288284736057614984039962298630467408521993700361786939756055904715916434875374555478075380437569369965/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^20 + 1400668470851828557435953190820204569699773261352571621479731377104132627520578779252606382248775484439883954122107940596952370298755282116974807202416632530871/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^19 - 454427294526744021223483787368636198764889849851827101852125737511182497511211629871288168444508260190532470721699668082115046533783775320240881949081940369377/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^18 - 1579391317137801693729182944056054547656435440698367381152151111858906870303605595875666003060228872077949180107682840291854981220486428659740318105815130031925/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^17 + 420481893039031468243742893382597155658370587716341727610553466425621816645340744499827276401312005323006718951865874266171748230799036039322299043317527445781/239334308730945420015809550576598851368513148035969079388030474420958173338588922136467545979158385303652734063736932347580086602214877060270057739529776*y^16 + 73501642400651750494763627034343411895328523234339688143472715343847408951111948569015074756032661259848673816003946966338869098402492584916803918560663755461/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^15 + 280684680981306910079580772584639159119268072649376931867084677189108306241735216843781049110497516337016112831063202146393144815291408340018379440009276842829/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^14 - 386851932426300608166319783349369323584795859813010654538826597905875331825454419538080113961820335431924133891296131262699780094860880036303442315534171932529/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^13 + 407310376348645689305626750792874943140814476694201249857065184838884288711082088433826352307950412776451007975040057543222357176202259884023701508404013452149/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^12 - 62015342634270884630961983091558596229094064516112040566454716795384465022666996180834254128882797092552110790967521297097241225709042641600716639837666930013/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^11 - 1337044977833667306961229134916187138513490004462116992942352743092233619068633114093251668161957688270522739721743523301644267707882322263036521059632171888/14958394295684088750988096911037428210532071752248067461751904651309885833661807633529221623697399081478295878983558271723755412638429816266878608720611*y^10 + 6278635267132398135459739389059081880995620948595976043279118851639142008626255710228485528826598659456507343676777694119474508752655474367909062781781599255/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^9 + 20611018590636235229426353564586573834150393473329179094262787359005632998988446087415632545090555881963900197514487359168430460324239579420712264295558957507/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^8 - 4511251411987906106974602483157313086941112738609271661618343543362474963390443037748261799878151435421380875844279986746128041945463130664196281205458488507/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^7 - 19432753007457776124869624329257047633557235499710594417268843051566557556765181582693898889166474894552194064513738696211274174893967320223903478208387595365/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^6 + 4306415024875904135684443188044104750916270894290488707755603294209158924738460988798857901141510783676283131047591360352709305010081330363276219748965848827/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^5 + 116057006099883351354199413705351498036575019971638982719914978630920385539012165978951187758540764077510991980772821487770329124631487204705128617884314117/119667154365472710007904775288299425684256574017984539694015237210479086669294461068233772989579192651826367031868466173790043301107438530135028869764888*y^4 - 846969193430201583135984908072287798315194732377703039459523904811411384325319950026515494107159038417642237571748133746535940251121172869857510338658427669/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^3 + 156268137257206373660347204325820376783131557638198808505678271054117345684423311205862485768305496836842235482469439799741922338844067761251145521654570779/478668617461890840031619101153197702737026296071938158776060948841916346677177844272935091958316770607305468127473864695160173204429754120540115479059552*y^2 + 8913539114834168658560923427879485625104111193951724042055394799024513852915669762090230650886012521448817524268978285562424527324917439025577225806240413/119667154365472710007904775288299425684256574017984539694015237210479086669294461068233772989579192651826367031868466173790043301107438530135028869764888*y - 16800985544671649070371224020810642670484818887706778079268871446625834689703193219743045503580938258154557656416030782561380088511742864992034507061474087/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104

-73109300180588602625927312994087136578635994854985500400969100032057323083554287159269787389297133880468472808140698191328401711530363101267751468701431531/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^40 + 6644258582107161087229273648863429467090004232841991072408419259151003724781145649904298530194957676603089501993643467914818578290611636986317348052166991/2273675932943981490150190730477689088000874906341706254186289506999102646716594760296441686802004660384700973605500857302010822721041332072565548525532872*y^39 - 14414350417178751758140804161840557510119589708673825111529727196521527432226736599224718753621440581321097893704033169957433103370338331102120662264864226517/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^38 + 25550218104287946617783009867812996477636266905180857104736000897990308418866834370087042244446045823855587621382786266326295694116831974262780717906129991845/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^37 - 33125197981460496840135326055843421417100985642360521533689543407683601294125081451275658143916141175664028910057407291482081194093247944320890359946634243707/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^36 + 97242449337603919912520498185465705887911478649138734486047222874050904231258786793233633454856597001196386285652811642554201130554777990819897297529572240819/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^35 - 1261168845283767295644677539723241169364636115691364241912946860067879203999553777006442066382041442647899826295456616387786990347433815648010044450290869566033/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^34 + 1133496161171008948934017975184644696871642855240242395723605152195520627548421759887667952483229806987072348772483788295943283442690362571616855066083132451031/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^33 + 2221219781625588700122292851416452718961978372968209706490966486195063105016089853415290648333451744139932617478013385824656415217516605613249114181276231305897/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^32 + 3377733782742442218513102379927957197814320403658569613149160567837386705764612776977347983131533576492029692591870236347047657489064641388018048061228878768261/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^31 - 11053185449470447111766475417361340978347049061787980081630549623696341176107085369961287131354028832917718196136332471062897980062126015707200452130033756270319/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^30 - 6234580919061000155810871571974814733935517490899996128127837811374061617432040895821762705709419999387230062348110123563381709940609100104756191015443869560521/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^29 + 12364602657387535329352031941323537185234645493329692263039951360224145090300680075254736915047606757839681302509760402412444447905488669488697504334997336448931/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^28 + 32603352740409316394995477440948353179640871839655184995805664700443767504168320022055765178401098214157943697815097282951621234909730712655361780121295697253257/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^27 + 4053915978060164197223433738253700789902470641379449407660365879015248974932985578876349973538570165472042249026249603200926676870717319700495010378432732644449/145515259708414815369612206750572101632055994005869200267922528447942569389862064658972267955328298264620862310752054867328692654146645252644195105634103808*y^26 + 51231909117889827371300506205859675036427862979956744746140518324959504730711173647931735214408237406534754290209797360832047651619070952757430100654673039378013/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^25 + 56389327596136019657316978438923519473021157237352403628334162837641197317575141215784118577917848544101580104006680331654750462889474198366579927828659571463707/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^24 - 152214709242865218678180596348609656775347228699022092723346025481610311738424473400870239323442301223655235540645980510202296221094007078693653694886606435475353/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^23 - 217906489123685553736211657411379088775182903431775895943753430153278136923032365229064770159047206922986029371310119797878056789341467621873808435227017978346819/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^22 - 125727382498174639085178375903715247370053967106763913817606567919908518935558818072689791215515149364247856635391509086794078584826783948305660861295293081943107/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^21 + 56359256040141186484093901662193674803781384704753509958240204731085318355777793626766045721317704692488380712148079021362777324487934001488236856449685611732277/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^20 - 237221105741519911429517649079700752876715374040199151658129744670583737167985098315965354679016445675238288279520207180498447774580465715500490685491068618628895/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^19 + 54630125203027969083916350714022099036958212755072824784384727170522254894324573483927769397701029736790380134965956136187263463631744594401999234064322625227873/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^18 + 272210985140105281367103137537007644758276378233322568434231934585038127843743880518060030479402524802424016379270436887133797896843166115843235515613570765682965/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^17 - 2391133878007553895028930812568417623045543223850368286102159598865245805982585878622968661325618294066925924853290425923933526434173792709780372274609594586803/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^16 - 19568065153181149819004619049137431317077144563838749977843065391257637672691353327788736590905160917985037993573225320223638910652855328306602999197916043680845/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^15 - 51865558819031294479343172121568681881806198982239869032213243911338351697997072152148630448652391804192999674929194566697075119331169772322005851066113775495493/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^14 + 55620931596818139572525212413998892118448395996068552572890471553125220287300902721074923885389277042629333544020182928212030617371583918476421081756563152853433/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^13 - 61634585269009381040772081763426047073115497283456614435736930820139078192873643396084495063381040030150608587785743383644222908625803021675066546413498734248141/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^12 + 960814463145711052720337373029424950136768678065672302162725422452075267952908725281237082351860348317976904307353234271587462690535725187304200834408474251877/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^11 + 187791998409632576246612731313390646947462973100474020777959552587690905918271465216874144614025404107116645129912202451825892048024544769512126428689730464359/9094703731775925960600762921910756352003499625366825016745158027996410586866379041185766747208018641538803894422003429208043290884165328290262194102131488*y^10 + 497391527452212264298242813115129287989565913682769429831599393214546060065460833795837525666240474595357547263682790122177874065205136099375575534639477634881/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^9 - 3310694306507975001320779101273578883077059275133460907494432173901985842316402589722605267701365564644812768816436567242419760412238361377351993103174309847107/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^8 - 330411316807021730686138173325893070767788935260803657982643924835736991922545961886913363530982447131317878403112211939808721720525209512017817529994582705069/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^7 + 2952561192211519487186040337553452951158066117983168478693846590649072050526534156894136296664278583541319651783389430920815496964287902043560796690514541544445/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232*y^6 - 497061843483648187299266209225449608918711044139020732105170793071284465636353659761010009030282256232942703388085593431657235809717508146607668850188335869003/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^5 - 28868014190006638741651037458612244298457445473238680909836651977486512244964655669483341562508451878792397102857384424546576720577548090398986509269236032087/72757629854207407684806103375286050816027997002934600133961264223971284694931032329486133977664149132310431155376027433664346327073322626322097552817051904*y^4 + 113565854953376687988554796597036633595490938604122507487630887757418836752286254121217201620218580635827492830085024202703522339105965729787657040900592923797/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^3 - 11862449750387028169312162028393491487537466035340685350733259489878426227981301229728821094511748484360641241033953321339776385936490126652274482201529907899/291030519416829630739224413501144203264111988011738400535845056895885138779724129317944535910656596529241724621504109734657385308293290505288390211268207616*y^2 - 1294147626556827502778993373984485280752020190841979480524942029344658325079818221948967459694757181000596834351503469111193804823767597163463087109813250171/72757629854207407684806103375286050816027997002934600133961264223971284694931032329486133977664149132310431155376027433664346327073322626322097552817051904*y + 2116754770956721490115151855068450875669100055856088692359578492517755811825622032571417142842215226559265289511880296183005782504619856175693952753465941247/582061038833659261478448827002288406528223976023476801071690113791770277559448258635889071821313193058483449243008219469314770616586581010576780422536415232

-5952701308470647458631855534829243487228874359924120368604419937892793441437162595968256202601991422890778609015465786158624361272540382074830026426390861/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^40 + 1075360005052067137481677584628946721606197113297692200275966930972091765144227836467844465595130350635355252368160002129892653707694117740511177058573985/59833577182736355003952387644149712842128287008992269847007618605239543334647230534116886494789596325913183515934233086895021650553719265067514434882444*y^39 - 1153651302144044349189155572925256163582636216064367235637787621373184149886463758387636276494821835310212969629370421905598999978140582172232709613232962803/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^38 + 1993445362041245216328354315798931837200982472718130172551048241526627491722599976563907748354248973213906093909816577113746061579509041648641811923593813155/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^37 - 2371342171863644416378706258636929721815271036947484225916012535299260858881642214750224095933150997714934072386417347557969211136986655124016903112520126141/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^36 + 7420984863824864552019594359675112002450308279071867944229151378400594822835613125627107950489692533444340431582235978005060563750084267663341226242843469125/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^35 - 100077006458461239905620913488935687640814427581661666064424200007922906928445771895451311181801418716849613573626910518266494253353860941325738363495985756375/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^34 + 76754599998326122110620378391429021939005940714645139711001839251056288193255970166854284640047591673564611587131636446649977085798659298686853307796827511233/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^33 + 190101810801467725782345265062841909515901123415825699792202997608187499784661294401805381610610400991458086696485344809306803940076261694785537437472895583871/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^32 + 319802505414194284682712476272551266876443809342424561553166684561770005204219760890657357047807420765211417277196255913031581731845867961758869539174108606787/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^31 - 887599192233146061237351344099164048410345798939826070672403312629005153365507942305958237203922252489190178315517857567205167537726933053602714819114825006825/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^30 - 639584394876570794286405976509898835335222058787511635374774238572972307246703700832699916614352618790277997991883772928740967075184023115767871202478340435295/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^29 + 950892652782515263537815796940114086771675560413018180320714735188515593338307371863702653006666839914456628997548886605973677068649243825238461821701026323541/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^28 + 2809634250023892105963289361278875423557512760515061424201280101433799294332189088125655692405004719747293122477525491524266915325536654624598013945020734909023/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^27 + 412945239235471416380927634631063221313191365199245142561051223085075489099732613481632909041249083075970992513734108416616520477264959883856001369752639082087/1914674469847563360126476404612790810948105184287752635104243795367665386708711377091740367833267082429221872509895458780640692817719016482160461916238208*y^26 + 4256068332009204304434453026163289156856502357437379299138269691428421408410162931028938524109318706232775365321611173108393923897167569724650570374729820547755/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^25 + 4876137992835204267513058328032541941792600222037453219285785569949796096701206480342308574221485182018943224711833959630762490124680728897842967315994466035613/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^24 - 11291058978358410899721577757151174175213675193417597512873343402498207142880919074277231176294306258034678180663592404821763209294414054551127173487224391395279/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^23 - 19878322987320572518702588470025122808845925990636212808560623394040340096938210776291664095201803997858718083568885947585173241600610557918489348467238099870773/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^22 - 12035083066244537640324624504815391869447532560110904771195367763160271760357202257921359627037039981278515291304832682974511880235148511604876144769845405515061/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^21 + 3650463636196990120509856408453326146058008841889202492286727349501174318679959819930133121239708226480635011584882645572640196425577170143955131646261701272979/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^20 - 18337839415355289858850612363432750282309420699551383005827454237321296464748468168640226037511048715793105035947001216505312389594027524117630649781049010920761/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^19 + 2941060073429653947142410962703867111604127179079853858499154376048489206374151768975967600911238331838789715678147820148491812891837353286696457706372889561351/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^18 + 23357114609255002826075355672546466970507147882085254956290663720169286769358508514056614604933011745783424584941683834666078925317440946629679133719750042279987/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^17 - 2338918563267710039264074881413742372116885699865782719952136967386144302837526291152666347982015969788985648282271882695974245060029943177985482127732474281855/1914674469847563360126476404612790810948105184287752635104243795367665386708711377091740367833267082429221872509895458780640692817719016482160461916238208*y^16 - 5400361560794769527954694032271184714545078568541786871649621442717856838452211577127341525670918414460955773081408854722263386413630507837013171735754052157243/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^15 - 3060706306366710484596017771036003579624530730306060435084442579175684022073944065067594374744819702154769355833111904056285179792631027454762099255137728869123/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^14 + 3255914741615446531215601310413725075912095108971233950408322234812474957940049795153335253702983056086892729511876785625877996757083733673342947979772524842287/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^13 - 3901589635729018176498379243299671844342509092633187459556013153427284208120000985571104853920191408968653038899635303637307410512832744303980895166196870931771/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^12 - 1058899077371703942487148217014535976425828812350031798928385417429168585421000819682362168081733283724394050021929604734773361602668518449717175630619367288349/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^11 + 22206937628400624545102594773354168373204589630266703926108746958054183642811801726135684910227702062309678671057797574494506256591173468469306194180482735857/119667154365472710007904775288299425684256574017984539694015237210479086669294461068233772989579192651826367031868466173790043301107438530135028869764888*y^10 - 9701373796005040356180370554054038628456277183887475404958451297298934143670432934353373846023826193327867557472005612833509363755530032252122188297057990297/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^9 - 241667859984223627710916657132548996634994294857633992066234849653387247043273581358449646829309315589132053814190142766290227243091299596818362730368981628149/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^8 - 121064722533392940712396232635384462300878749828332274089461062446611898338749589613370190903869520823105584006254152291582722428321647707895991775967546039515/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^7 + 269772091200344038652208402853564605622153053618014107372934520659833642674079104917872053602902276833908510278051504115032861751321873329285284812107851203595/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^6 - 29745205954127470268593708979789873219633725407601957903051196067092882491364199893917004108002963097967457257006722789167389775122109174756367411199324546733/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^5 - 4375989586241307384682001500642746282886908412748407063375713042131627605144465042248840060193202820094485523603849724452390804906099573817285052901865012577/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^4 + 11089274602097884088425985843010484057970177771752872885865629309394816946764025557248677749729256564434826099479582245977497201770842293008773709544647292531/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^3 - 782050260125842174326559684086022495554482037781774402270678435507628712273641998132225934788084150646751373071184317007207223166450984242723992577771642621/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^2 - 123804361104271795187386717054655626026750855919515837069068846168539248560062244005832068201201656661207849759305997949047107973421072343939677846411001421/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y + 166540251382359543259656877076409965017708168521587584464384039326277941922677136204022465977216953594390646566902516808706432398896349436587988977434244697/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832

389912459474873439864489599063155191553745349970297226044804876412273494752925089136318881564591746696240466917864694437050971289191256441048695491665685363/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^40 - 566359890394505074694579215791408041724435020835046978587540682607204779084540826601259751034063073279824823370110395652492295183500452361931325939589662457/79937659116135770285280389892584016357083391444013672515602178456600029895088699993580160357038900691420013177288135404091748925139768938130199285002945184*y^39 + 76658632473521840067404417713388113827858770776911673459820424954526461034457539125570443082566279880302357862379321439646663957131929807888069706891761255485/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^38 - 135425595923902654529372905248391250495965840953033211146943962508918838864768385255761251759015924654382561863920337225963161511584759082416998691032108821661/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^37 + 174326305619218120915644318322894380585049089412675017441015566242209395225460073802019862597850107166718239265627774458209836371856235445557308535178676840179/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^36 - 518276400408868960760360512279444454306145595025810390619547718781846895243529059399162060593643053463570810210357678299118122270937883924627197306463232691355/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^35 + 6712831717529062978599438329279134654690059530623166163024987996276575867325137718071933834730782861122730155693845856704764593513214326031639893735725382526537/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^34 - 5908755542221255811540717024977786639432145483550153298863636737277570178505723325887368207965375521139866597213063224606799401324482650089100385817636359246415/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^33 - 11825932908084052123186985556490123426056599405346422340001401194230758836834041285605327534979933769122122633073224148547974785305621504335830444779587347270081/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^32 - 18849957870759623951083335498615417962485543078882689649612624399304494006041765436762934199167533183236913215179156431238026539082650095768076630787833318873757/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^31 + 58447237891614691887571074803571861136568311120877748931186344228213401510852385330776725445219562455492463073123331841972765588578884394974706974994328115123711/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^30 + 34614898506452318156838776134923291347177732652131440583422868507842062655675758102840219914191602083767814294053836754747464161993709037970905245470976497831481/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^29 - 60925742416396609156501508217938040060020291247669630021656911047021172977244299685396147922232680740514229797868236878501854714184967918125767093527148541635355/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^28 - 175089353235364381939306289921133247879926212165046942990918378125640340283560503975759160297380916232861694852093092540720775203475516020784855638350571591719937/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^27 - 23304813464071047518953424779699638953921720607026901266996085400178191548938961872836153830022606402970875531515607668388828930235889123565738880149210441364981/319750636464543081141121559570336065428333565776054690062408713826400119580354799974320641428155602765680052709152541616366995700559075752520797140011780736*y^26 - 279510695887677478849962934353753053144927017182053928541976754196748269022414125652137473419822183172763764763661411352022891719476834511124273535270609323643973/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^25 - 304417562468084304558392178570994137042417800957129436294873513546308098561029862419599674012492409651786867570384362552410376974155649311541807597778761327155267/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^24 + 790385905712202012943866405527289051864859722000227890626859784101058381850907075086809361411220817724165625303329641504714897737653715695765761532538524721079889/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^23 + 1169972315942888683888409050548539798313901032175503353110869655683653782035371150930501216451409823927674733668681556324439410045591484518582032272433790554736059/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^22 + 728302726913007362631539631103550267867872948647491433912036444927482391249598231700644800303010047051544705309937614972851177579227998639227646514960382652692011/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^21 - 261954727111473725541433808872943869022736977056046925807133392191995346528915780946586606479134254767748342699076834094554744347620021853646473670507320630145949/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^20 + 1264327608474900799568472146492222654942138414816404244923500596924342186903593553207596198177932641541967840237192913789795148509300965346661211272465594945640583/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^19 - 283861053191233365344243497311852063975016937041931861843052318115046720755096763496879125719764415241477414582190146449431127153017814213959538336478421480911137/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^18 - 1441452719246938152739104969515242507929243217691712802546012016005747274722891786065024656194386178016997547601139675332609751737833321059771547261702756917306565/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^17 + 215968443055364154181200745974242552078042748467588965334165911022502994969285550609129056655466067601810612906508525288040921997377516557363984523040160976624221/319750636464543081141121559570336065428333565776054690062408713826400119580354799974320641428155602765680052709152541616366995700559075752520797140011780736*y^16 + 59545112577128578684920653165807698366812503815749506643847983426262118486576478613117670128002335843039007014691571829669486075651291096140242616773991740345269/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^15 + 334700197398570757649622723716354930127518798775337159621845953617050229974865664423801792531481862438720948773188919397231675104511409522255135164467562228341629/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^14 - 298996624890400040702452928053858823193670496563859221446633596119363799368024147248005416008393604826518273809906498800573747108311204766828051148859402967442113/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^13 + 335060277523240443237740190073874542070525682227277693054096505051429340071574897793786372921458198156243973772325145464283256581618725700615942196854864859750661/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^12 - 10298477811270430250430971840341704386167970489779568872866798891235825973005262192274164790430910018776477359508880196266841049097211125084561850409061868989645/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^11 - 791372003691349934868608124512984962697369017752424655650428852269595049028079389067163799216942959931362764415266625167028714682352621735024018583019781764025/19984414779033942571320097473146004089270847861003418128900544614150007473772174998395040089259725172855003294322033851022937231284942234532549821250736296*y^10 - 9889557942941144920862602097315943226016516553589627687064886763144557814710684045321715291628460553693832024905739490993930272312032387218302122346545129301849/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^9 + 17454756471090171212311375340739865071419936989563973045801444715824583794874212905688937508655775373727903391963454746433420913508348675455905002500406937552035/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^8 + 2157386835717343801379626234724127916987303190756362403863670214492762367451888600865299417349632720812932390557223187145677885001470222160923569933965948654837/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^7 - 14538809495306228847068011608929873137660948605663586280625208149063055472535944526916422151159898596526580327827216989445126366545673120478283700039625031808277/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944*y^6 + 2252434818349828749783567862650123509013845318161637369344870388147337354738985313168324823696835788416644453220227973715630956076155670263843336946690605150427/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^5 + 127556616349803796120389061970783254663787443203572678934140405684974886642042343459088515542361768674353099346936358671850533052062354200121818843292987964813/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y^4 - 476933752459503468522204063536749392566558093529965424227920491646091044014846047798250407992036802626387490669444099617439215778165406486877812356607943419989/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^3 + 32652625401620236642064754308313464956782541793993146142120672727121405831761751886033613215009189077726239821178844978940392872527001171834589785364879674155/639501272929086162282243119140672130856667131552109380124817427652800239160709599948641282856311205531360105418305083232733991401118151505041594280023561472*y^2 + 5031760323381819418438193121077367624268017790393969064007383628845824504929153052083854482262019535182938812197589835711946380932389222994225404394933204617/159875318232271540570560779785168032714166782888027345031204356913200059790177399987160320714077801382840026354576270808183497850279537876260398570005890368*y - 4730730854183989367750720139025215130361728159306317214545597884682651222144783347061724469915151291903734977841945114547861859040907270218852640733197451063/1279002545858172324564486238281344261713334263104218760249634855305600478321419199897282565712622411062720210836610166465467982802236303010083188560047122944

-2837266421570434788036561118243035137203925740210737630521374329806349175243744817706280080249702898442478837501022861400516482680362593157632363822859985/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^40 + 256400053433890903110493954407378241641739955406000658093601087133979799774822902127917936242890944680720725136433546185381201960385328813441121123590871/29916788591368177501976193822074856421064143504496134923503809302619771667323615267058443247394798162956591757967116543447510825276859632533757217441222*y^39 - 550785884233146114940198259302340273468646121128560556608483265744524579286300318039951751264122532753969049190606578228289830069817409510796228622332975343/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^38 + 955393973825636058022341174537071954949278743849370913883096521116575972658102167983394075984148780776144315132739641965127502964664213945201142954452181727/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^37 - 1159685782871360843586677272190644277145541140942813128401147380167130426879460255159992662949618387930012676400084598549680276173829538230114653973295144321/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^36 + 3618679777447099013165811163194178318792379205337208311821375613287406348851461008385173599338940853756928920218391932723129082929279286827630358620440757545/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^35 - 47976738872901741272064043930059211622812995237090607515722189897912158763710880102221890825576469928605848417076328232809088485275510949654368447182668280611/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^34 + 37663301558147519819614246518992205706221127181792541594104091402639647884856215374039873817808643333227974612971850164173791386857430756056782094321465880277/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^33 + 88728365198229381308242189689970309611681894187030753716504292639246091163277949092370517465270950845863338093716107123334529546121183215657527992063311041899/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^32 + 153961345724367401542952647138684885984644087416184453002952869606415715029766510518098596643101885300024179393067849241694154083490049309126560171344461677823/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^31 - 418716233379952661343777052478271946728709987278584498643915844619157104674458912250720831988064419384955429087389493765514030630503359168956370482372960226397/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^30 - 296454965945643210303975709900611051832236448646157386687166353150044029797516060231755671781396922731991412725411642338718033665320545059186657775742848132363/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^29 + 403361348139749471081174719992521385972405543483677177019387618301509738680510377221195286280988081240801346356408191196120747046761154072642957828596054552825/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^28 + 1312496170180329554358950718209962999951277347082911284758309261423580184139120832129075107902762656697748526723742156069902737681622467221690920845221350436171/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^27 + 200078496841783448134139549566712053607975146623434961298236797054990193491289969751935418362147593202619613250066194186038451509022176200490060930687618431955/1914674469847563360126476404612790810948105184287752635104243795367665386708711377091740367833267082429221872509895458780640692817719016482160461916238208*y^26 + 2096130644022061219990414055366281426936600566102077280971515812084956144347711653884723360430212896815773682308709470406116686206312838475169174925107099500807/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^25 + 2329438243426455379300499452589078761264373709899615663122342677836159825713226312720632361401170006739244432771178845795835907715057771893915662329927748236129/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^24 - 5296939204513355122633593143979624354238746338365376960081802847360700484095779248816138067456182730160631931374349655614769848653188461358814834669664906797435/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^23 - 9144216113307930079343571878372120205788953260462869229318541753871538273758402920929384431186144273155744878944391094760372838691412858463356563713457775056729/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^22 - 6050518991052460881334845831741785062869787295741177069862546636334854213507327096018342173553555292460202167941610606358955697281500527215233626935166054499545/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^21 + 1348256824692366025218832505151434773842717773257424391242730429277917065144146625202967091258488400865174727559315468594891660937460732581679182945053648297999/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^20 - 9063246314551965462703977839101283836789443296390598056498237290172962367592376295063435826783599054914020558333569510223471271788039711546375581010280628349229/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^19 + 1517270779936443018840735470742523698017191453861706624694921332999067633583691746723740246168552468495887048248057619426501081215521246695161113803629390752595/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^18 + 10783763896424233610946951086426869097169006276264698828614607026082122295700084107211706323578083511117183079750724345662342582723445390718061160955422682683119/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^17 - 1072553796101113759845575022882131155935382094195690667326379494427108531411026686338636663290879647225800268224298821057060855679281014617777124912740276042699/1914674469847563360126476404612790810948105184287752635104243795367665386708711377091740367833267082429221872509895458780640692817719016482160461916238208*y^16 - 1278170612451406345663191151497885864393656924439532033128893591584756289833628840532566734626211855760332064583964365201596827729852206718115104246538608793815/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^15 - 2049249474284391688223449533066161960389712089107551610038746455647761865875544360626078103227197211480854318111534167204884301000228614295085790671084905603519/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^14 + 1788096419858790002590616748592980351403554563378202859609663592330874229856135756339965866808653601259657451138917691237444935869182889697221697071130633814235/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^13 - 2131790204903034051284690025643671049136916470721006447909136641864051494755158903814149123115465501579563124066466826619942519674531280140726137685449914996055/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^12 - 281822381453769586849295819074354604944691327267769080626725762367525636149517658859710226205722819376756171286216354973746349231441564905727287281170268899169/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^11 + 7156774429319345283081446434793343842735632547087082162482317985399350737310753646311720280931157891095528052357163816078747084015930485121410613424320133301/119667154365472710007904775288299425684256574017984539694015237210479086669294461068233772989579192651826367031868466173790043301107438530135028869764888*y^10 + 54596600785270536022582337190028603239537344520861643734832896521039498481864117653969992960651333842298060372626911157297272792026421083827846282536400584691/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^9 - 119018888259725436008337987197769031056903145823441080353385245875848371897912069819493893872184407197919737188331063662860635209815328096030636373497665166937/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^8 - 44362839136786081605165102526090357957125067230971658199961469148731538806534638969330576123529531539931008425399759464045702628921566048709995815601970439671/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^7 + 110723226088515710904679339045172190190657859045932244096308837412206822744235031628584711660654611965468337284844940744248975815013357950549066605415601485927/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^6 - 13053878569305943024694222662860093864601722041278828401329781953853175410735588444690188703216759259609058632004634471836466648394912001825070532982015191537/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^5 - 1488247129441122597984379551685684409746737798935384333761217177112809648909805537190120400242578533682518482076800978101484584027512863533888545725984865925/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^4 + 3920392683762241375492643286851917195968833993649234499824697026626423588450054563240085849928854009771555200377294553805107270930442634584545304428341642799/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^3 - 131140025251553690450583911610398816140514481795172494161840528023958013650248981350606681916305422996328898335552087871201563646299666742805230976843454465/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^2 - 41675995071405622338193949290803940284549698191953733806891545152394651119955348532864731803198729755888720821408044431435044767618889270304880335186078785/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y + 38718248483080429579854747376634762039122052463580295731868209418658385631098441356389303284462162957318342150641446733739468800975792035953820068687915085/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832


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

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

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

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

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

# 1 Loop Invariant
-7478403661572305769412449806609451149924114349970092826640251329941220172136375235093941150303100458896989383995366616920972267457253130311719701179410227/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^40 + 5472883652141950762509472643612495268286461218018694632808273686107827174126670364970602833863801446420730735046969900476466071166296050575342036378711779/239334308730945420015809550576598851368513148035969079388030474420958173338588922136467545979158385303652734063736932347580086602214877060270057739529776*y^39 - 1499700222930807592707795188457851495880027152443498384200697666558574408986850379190223320701663058145618904350584278512831607125643092615865560513489180973/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^38 + 2710832817602002020061614813975343351575894712725478376956440929351829948634051347220697213129361805715489874865818200091967612467061547624778610710525088605/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^37 - 3661020002723980013798211752904892400761788033782398261355738793638007119699253645759263043311214864245135950711074528130542380213491656337199832038030100323/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^36 + 10041394629795451047538399519252548474812225999346594697812052959603632556432897644598938873470238242401385756889919813455413600485291991330244336635779448315/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^35 - 131125316975682659658490755333756443568888471487765826547515398538869472556353319577742103982347437121687431988569923004342325375412465015331821620220283661033/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^34 + 132356635518792399404335582956626262194219188979609486660693674873649579823165534350421227590416697217269582349478403819015522887393179922814143430230737851935/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^33 + 229382437781870312980032016426404373656674676727067690312802974150980147758077238311287354008607867823728070687754468339232531860163322465513720567596720849345/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^32 + 263176550104231165180338445366730241411381506763111809529762987916484167410816455133912134783873301746895347662735857589338334118614071197831875644248333790333/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^31 - 1199405820113913240153565036437088243713681083570054767447871937968031265493192836841546914396552668272809307400081008620187567220624150261864643653536706324871/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^30 - 512898529817447250427625868885247721838974468257849052160800357501123324794378980787896276696849042874582804106472375221622553087145169041811832726397451258353/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^29 + 1825376123032766700053574449366657556159969610899708783941869600247204062892778154842920843663885015674286237757390524509291643044664342239219251238797278502987/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^28 + 3504769500788007816320215567991767351201213185388907379440759884258870757734791888249822055227512505415794911231048696805213813584936930124411995450603284024033/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^27 + 271666589317757664985979012585218395165046466068084266148555334156117037967390745891521378617886704304623618075206615689403387321160718697042363822407351233249/1914674469847563360126476404612790810948105184287752635104243795367665386708711377091740367833267082429221872509895458780640692817719016482160461916238208*y^26 + 4370089329367473713888338304235930132781546468252965805754220394530811960901690076765318933443797125229709462769810067330483417214817952725671021651643468953845/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^25 + 5095944623141153019369123270683512026185750439984589825723647169748534823403314011517452527005231544386524325279921220008479884429604129964539790669725575013795/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^24 - 18513390664598865239351048253063267159778290353699893851442121644657650827339411507074476422530837515305508588976101176988593821450974728826794505501341198100465/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^23 - 22434644028796187700318402771837890731429514957981057333999499596440398528669538581723573555048468615531930605657014245004489970896731512173018970715336722606059/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^22 - 7668915596573383197407380837633764234609322389578902209800946575087309172975535601566046687540374190606854318417687162266936729404065499535509146362420426691723/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^21 + 12274858333565504571332648503203877177719066649404357154351252536195125480787430434868775802302192841514277653479999164153058405953821960379095888395409049251213/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^20 - 20906626611022383654605067522084896513338775679351253083340265795322823475249894612682019393178265308216595300738539954105054100130575546359697333473146180504391/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^19 + 7809188222581759270597868013193816817693205836609799031632279929582804463236919883314983909862252001279858076925364402422594441306105157678430994619769432860713/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^18 + 29369203451270815642000434721360093373548586442779320564067362011609293453787006433239059934248880522716214605402231813106548788600396252846870392298005817657757/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^17 - 6851980282031803527502315306385913715115709642948727967534530092191533528036257347242874937831075722192514349263589064089829226181369595413558042302568663462537/1914674469847563360126476404612790810948105184287752635104243795367665386708711377091740367833267082429221872509895458780640692817719016482160461916238208*y^16 - 8905875484429389303139332257204501289227339903040271542873310265088071160470495377041630382302776368338303217423915990254029286047204107313350377539254969281381/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^15 - 5555068941110963367074308170388128167940521544219988618961155916161930010929913181914762161635295817391275552926626695994502274810477466879030344117759145625341/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^14 + 6084677938345476121483829356051866790669114237286849989254786732649168841644771895736013037342843314080199032127021549952666249765662843575011216232549146174705/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^13 - 5959893671454259498121752551266665777169838915355202414439461644603607302125394794651787126367073002132861466496250680588435428449538300903577188474611887866821/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^12 + 298189162477145648901602683553251246899078187538388437528393280198091531170659237548956948224446812425077606135758282970117287355389272899395885801880844654141/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^11 + 34368714528391467148823263942469914488518953248745988078961560597339763770730353349268576328384307439804971412194712294609020755521251089338607150182007942627/119667154365472710007904775288299425684256574017984539694015237210479086669294461068233772989579192651826367031868466173790043301107438530135028869764888*y^10 + 58517342277190381406219926515577256270827759708407787157540800030590421545263290320357190369830205644719020829691840887407863529187643870027364405526341761817/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^9 - 345785683779488628814290262996183191155536079313697415528799517047978762072570498218440969096979864405917343779814420930102076640261224015028464231537657817179/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^8 + 289552014769392138064379946860070949879801226710311602106695907305262758668122733266442770771288056206111588075736912558706745450649004276558026626546726907/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^7 + 424475405679682746355484034470859115696954207954782383293122173941846706037448962880566710669989484890995277560648216842171107538176755082001541894894024379829/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832*y^6 - 54266092480397659328172077927802866317085794693064730110319343019170774446441706776189941190637850216308821240318441308581498243774089534944021967454103957827/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^5 - 3982338047795712303130207003337174407815365937102553685579276367840160676060879979480501698243290354096993079997833229015756681349022495728774168138821530707/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y^4 + 16027998053478271086063536683215126764451901498323779602584264346200754738213467407149119702110159615451685469127435569461882008496102569423013612204329679101/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^3 - 147856843853713847329722849512237379092851310238599653309423517364081375448504791876895152762108892666811603613039558510396930990855973907617383012823774323/3829348939695126720252952809225581621896210368575505270208487590735330773417422754183480735666534164858443745019790917561281385635438032964320923832476416*y^2 - 218340966641541279956098153956421570107069385735313840241837422972060585020879816481926209884403444829634499884929648703713659304311331309481534399267629255/957337234923781680063238202306395405474052592143876317552121897683832693354355688545870183916633541214610936254947729390320346408859508241080230958119104*y + 171601145803941471560289032996982453139211952505794767820869245083144675212528484230719505381737041980942550223079740504194641595750008916949212404276940039/7658697879390253440505905618451163243792420737151010540416975181470661546834845508366961471333068329716887490039581835122562771270876065928641847664952832

# 2 Loop Invariant
1292774628186660552596580298560894708263253530845560194626950338235885890283237525369119562220541590306258753182542137267274152944353570637682812617912194161965110494826208672496148320996701379969053075781496838728498846672683433174213029711625280813235874520183332882894488766296146636834803654021816852051/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^40 - 477317601056891335200402764603600784311847228294385719576418221970007876054761095394260310018945437986789536484045696594822109508976566336932840188991667220246291250563320508847047714001149196846217347922341938001223054204485315959296940517331940207876777271289393875146130092909269067197189100739070511987/563444723317728007081008425080537167038337873718080178214436748234987148254964450002283046565453382451609387316875132333495726135333741009493801288109620064413542562729346080526681854222687613838187112418290594198302962692222246240091285541589033730826264236587819809210787123755983393549266987692870009872*y^39 + 88578103772779663590296542559871293015051689132622622895230916532281193150830725537624188746623015779698267727366173789911693384835027030316142979799108715794028901167206560853375557454302066223390006688125793894140289894557269394929346517296739078922549415715991208967657580762364092203322408915716593848079/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^38 - 496945925600860140293671576715101317295247312875333911382885273691106686354990887301003639049099332955021691505793775554788507661084462712928788384056236941253750219343910519083520749229155117158161362305410171694428710796211993381529512897995679702996253924332304764636684526626106189183065773198140747904285/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^37 + 739648246897570447579099415420352503149158964530675298023407661518710369139053021461892769243213972864230204250047141583243654163417468748238585153951073179136577324408475006970187654994848995847628929647286788036253408339055895264515217888518483550968707833752004121219352053621918459577874606717569254277411/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^36 - 1896858151108271181673435076632831912035280156145262473671913279461530043761369562376951254830363373129184084943174438547985001001830530720838639582324998233746066737805288587340224203081596476555339475156056008434173284919152523278037547684658020143450443463525281025118945490556976601327106230392200768851099/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^35 + 7825162126255159161358664852736430044185900022681161019164905129480510073960829778403093079781611239761800625357419050651385581650836724158912756423022088789170757498375626177875863139479883230831262589187052089172125641208937498020060653571941819233019044261017031684989986551234136348910000626874739428835203/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^34 - 27897130228620517247013393160297082857447887754616826489375896026997119705591448753159078079729782253189322688688938573033462411894944690651517096451221617365764456421597815407632249680874452818187665381808776322193677621892336229372642223770653293937360646462397004995005285853685078214743434391852096892823903/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^33 - 36557680325224141895203516335146718377840302266976528746493089380324921614541936436123215072495756506212834189369309499164601700831960908532415009926755254012384072948246255418556210788095327499669392439836839600125606903305702799917733949315107596854914653348360352046163764472031229634237729679811784760797025/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^32 - 29948280660808887754688514982593050799323509092368227026228587925920126678992865615779698413925696178638301914396238736147481994675609663089800215467497015518807357001446149110864572137834762562847379578137707211246695223599119135913184472212308179350458218731870754850783475734065254676342351451005703305268637/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^31 + 209994389982024065617966972630160705669362771318922485812230787707197820274537810749843082633955531624737329732485476486694970526597973479889034272253194499831358444163106432508696169312911615184088304274149673925613571302398927262164970291141065748392712774757159386316220221657262255215937748638519590736307095/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^30 + 42786487329686333293484502225279085316141036251028302170747413669024707417946983280391051686406603376474176294934253464951726971891207324967264949686051954821855381166274639023307093667078684075216788790132172077459022271923653808244750208707460071884238094823876501763011011767042420925171786986264377254057025/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^29 - 110350701321696221968128517546242511794603837393049339444586230090053053675356392734728063299619845732659237014291164024798892922543751409280358662276749681035544216106268898389704312460060667896889572434272840990380317751754494407568709367402969065912728450256922924115874083598492970628883813008648591366232217/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^28 - 526672464564351570474000281799966862249205721195563963211477305564115163854700088560719309915670026996891942112062993646425720419063011254348773508132634601927405890872905743113983930156203014657971434323375645288972369764757456389182671643016263251627626653406012898132052127493624482246798878178083763586566593/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^27 - 16538468212051011164705358199891913002855087541580564550637600400947251254408014187389708807080532843405697701400399262499122388242408204702513583558604150734361094528839246611437869372898659310633309754106066495096381539160852601043872039799301496855233093485588302918766117602623119198340982287830917834030265/9015115573083648113296134801288594672613405979489282851430987971759794372079431200036528745047254119225750197070002117335931618165339856151900820609753921030616681003669537288426909667563001821410993798692649507172847403075555939841460568665424539693220227785405116947372593980095734296788271803085920157952*y^26 - 746930642333248132533856534884647123248719706961119863065172680490742612025544499608229529207097912560395883468923775870761250414917429904145102091423134525072552121424996690752434632946420456825989496512634796223508073088480310887822879031348691745995891132841741825470360822015761134232195154592060860994311157/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^25 - 810851740104324452252548613343493519426386015963649395123292203910803499851830014400130011342972125903982800402068009959223540688704803312385155037942906400968325789858117517309963139167763916058098434812364652669036883652687396408531173050911037664449673171614781317805558419799146518563207290772353600149152099/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^24 + 1170110513798189038358995084441308069959649442197393517776777356855181484742287327676295488612057038865039749645616483948667611217950345497456766645433313002137385223110678625277357314373122396825532852752947950090266346349169092450655957144707211294505124873904037110880667007283654974781694063382379024733352795/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^23 + 3076170911996903365550115244973263782710765753532829587043546968979528725952951001202664810751253601766518251755961123140547199446104171374169459474600985021101292241298324095781923690622704007098149088680056618479123186011788193589539553594972613960065776308414650088347768441390447784081960778612337809332816171/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^22 + 646034116482526281063826193060563375492014912936242094467001802380133055640330705218153603770645679719854076166175759706517746478494610794241996371564325136656912998562852274846147758022622034507590599321466920647877985445330145943901947650395552214688300565153737264154014583819320481816823341105106475483857899/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^21 - 2205841638537036460301333245213773434771383580865370433823260938568994777697226796633258900260834670984025167090215318958810042004308375496245821766161642582494001216279219373577165394246262387703352646150170901532435698311211717888276107227695525540657025490771944980023362055947860231153629575857336825080715853/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^20 + 1413318800313070986452653290788201570373908573873079295502767030365592119148126464228415434816331636876879825051350626558307180457452581226250695346003354620055637450684076573964574186022981203417998218845279330172853159709071901385634284266083085752105977091571004700351291886306387694681148717786571360599257805/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^19 - 577925753564896721433350385052993759063826829933131693839435164912666205603211670809144368452032383756108243426029864466316746870112896416749291300428775767075691132734944647055021664386256956757381234352444396802583566732845146906210620858946864330933975656581689629001375474477843067085838890284583619562836723/6010077048722432075530756534192396448408937319659521900953991981173196248052954133357685830031502746150500131380001411557287745443559904101267213739835947353744454002446358192284606445042001214273995865795099671448564935383703959894307045776949693128813485190270077964915062653397156197858847868723946771968*y^18 - 4643481532039055760711926318328724541371302417601514457491373717870222845750877530058115788828811884985371982040515200391615097799614210070297428391321420894348960364711389312161728144553909808477948401155433566737810280600524180388550168312451581208650247383345802665586513990751806026486067333699511419760138477/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^17 + 564452535002585503155369952442281235686064817109691425991054516303826964159752428539926439871539049504970137252463149752000196167079658794386453873325964198194934726208552674129897966951826812660682917730536957430212259432306122946069703553944335045404223479557426971879579430869850945777957972519454553167896139/3005038524361216037765378267096198224204468659829760950476995990586598124026477066678842915015751373075250065690000705778643872721779952050633606869917973676872227001223179096142303222521000607136997932897549835724282467691851979947153522888474846564406742595135038982457531326698578098929423934361973385984*y^16 + 16039193730001750920295155704547488506446895671482773375962176409192706235287143918073609234551463191131183072192315263991369592564435547884543221293946986570805650212052498799977164340682677048931892454653542667281633889662306719716477880152931454222050298233859692319009332452297500928431109280902427021294391/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^15 + 786923717674116132537751857391202660406720783363928195903707669808057837251036602768444277850157627754926680663080606994019037392226570244542665109728664817689669201242281893616450515163363024662938629402627332202848390942899257965918575720958228269738396156651025550717457131602200096825119118410555875371076445/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^14 - 1370901000590542701156081928807810789657815371740811543661929768878310377930147604573523632253395165993676033495198417413375462170567542800934677083103001715547142364214643012234292670938007630094775935838266552807377058979771519438674012514960030096844858384142360831331655358776461379544945413060862458288845361/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^13 + 1357536103716004833133452590166920249372480818624972856877026023006760189119165495787720213891400746739569217988711014303267766047026830974334989647904789111704835328728875136216515107952208583954328456049477708325025010242321631451745586143588263005316079525151397569616256024387941559060258414826065680618274597/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^12 - 119770061497705307599741357544715999380269912535275665034722952922684394195587994266861931834242136412255239458155192742822562669144335487758507962400260599870716654710317643251488380893610940970552182963473354157999066070946694248871080799908649020453754232913578736592409240282149581482538313839200374082784063/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^11 - 736629213465647145503568959026641572998041181368044528005609754464839359171299159708925332719598041101418809178610655069613302373112013740474464815180881954044092065083841066721388844572135715388551056846259593166713576817092757423896083045751812662479565661093374651491616578342026425988203401931577103389987/93907453886288001180168070846756194506389645619680029702406124705831191375827408333713841094242230408601564552812522055582621022555623501582300214684936677402257093788224346754446975703781268973031185403048432366383827115370374373348547590264838955137710706097969968201797853959330565591544497948811668312*y^10 + 14063764186247499858259593073141025879211085071710877740324670797039722289518044039435844670082777786998705053532132365185665750846874704280400726195893630776323864776639762386606556306871134168982331309416484431782512788045755586112296007094461102779657449724887414399628120201591959512630610483053304012345965/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^9 + 22363015466417804846271157924465907306679191115212823866939912068059584117936973714107690633491866031506371431604983294331306582337529075036043894113809762799808153289448882326299649202743088327365567028139299035371815433223314521994242229892499156771857943155567223662556540341833144135198598322713764695624473/6010077048722432075530756534192396448408937319659521900953991981173196248052954133357685830031502746150500131380001411557287745443559904101267213739835947353744454002446358192284606445042001214273995865795099671448564935383703959894307045776949693128813485190270077964915062653397156197858847868723946771968*y^8 - 31948782190140735703412135720503048988881115906682389563005262816711446319789070138610926056931090407328373078311600548485735187066292551045346491573343001585610144907241846040022691900320018465663062693511376895964759161537383321270366904336698929442111816196434498209634646155482699666904365333856774652273403/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808*y^7 - 21012191412725562020061858832419156188983645270785021672891935077513385471121809071226616224735022077650748855010871313486063239610699079370561470057672888060818695691328715238120310383198093872661341209869817796957447536935014940580458910542720865812822991518798236969583216649539728762610940775857333903757767/12020154097444864151061513068384792896817874639319043801907983962346392496105908266715371660063005492301000262760002823114575490887119808202534427479671894707488908004892716384569212890084002428547991731590199342897129870767407919788614091553899386257626970380540155929830125306794312395717695737447893543936*y^6 + 16682450456759544040313254750093984045726522282052405855062089894597325635558399145705515928034264534574460763377246190840925630476218532889611477668463197637184097080832230964130416218054234104063125952148161019974354704095802867803979312821659659199990077605170255282506572266700355358256280743955036811347859/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^5 + 64804560987975842613097640275455715001554761778549085521959965622897487947264825825040149124049840719334146111904854378418695885927767879707016739090253869646003196391061783663163458546015252620787669039582838235434346148669942301687534372222500451949626190385218304143929141760597914253891770867656943765101/1502519262180608018882689133548099112102234329914880475238497995293299062013238533339421457507875686537625032845000352889321936360889976025316803434958986838436113500611589548071151611260500303568498966448774917862141233845925989973576761444237423282203371297567519491228765663349289049464711967180986692992*y^4 - 2942372545341746995622585404246298731396371117324036655296418707350019851870586950746283191287448257757334737021737919662014893670823146132320740124041243915644795690303050862275259296282634076673942039718827866915079376844463438035103688292889525361371528697246821739313360845858961733076424526693183810045325/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^3 + 674002948031208464815514785026891982052762761821450929710306370818872584212217874430323556648803014590753459590737120971264455704132074104756394446619230584220328107594763548651352667889257663679824112296590125491856056664102257510510705089537086729746340401423233649482068707053780989977632615786126597673315/18030231146167296226592269602577189345226811958978565702861975943519588744158862400073057490094508238451500394140004234671863236330679712303801641219507842061233362007339074576853819335126003642821987597385299014345694806151111879682921137330849079386440455570810233894745187960191468593576543606171840315904*y^2 + 31782147701431974047452942543677434428256638151731258773767756745136596631055260776824564715947981229388210239571153421095969531954802994346127550855391293509700138435007231469309205049367917058629433040228029234121480790678258898114271250966762222481166454415152755461270336976657645813209523892998425074315/4507557786541824056648067400644297336306702989744641425715493985879897186039715600018264372523627059612875098535001058667965809082669928075950410304876960515308340501834768644213454833781500910705496899346324753586423701537777969920730284332712269846610113892702558473686296990047867148394135901542960078976*y - 67198382088610981264078398425569688525803430379803472989010436141282604880970716753616223427156288554904018295412957762037728885862890814700099432685683645826461343830511132753144728565333226930635164320534453712527712067450198234683306255799597938506487904568648897027936021995814906561586694440692788044103/36060462292334592453184539205154378690453623917957131405723951887039177488317724800146114980189016476903000788280008469343726472661359424607603282439015684122466724014678149153707638670252007285643975194770598028691389612302223759365842274661698158772880911141620467789490375920382937187153087212343680631808

# 3 Loop Invariant
69424520982960342592253208207041315018602911521550109137577552137835896204022537720008076700490797294775213321436860901424815392416450024207155967921027590551544062126711385521224903364612505801119691769996266036008782938095505956720883493546763774162379763536670582866975349173290185062840773827030501957455123887992228328529760211648999911489146322259547019796450934956893232892465/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^40 - 25217099548807466001732685773815651040212106732602600680591014724943417641295040695320885280003706521407657803126443811513157313181394872153607588807885370191626170257531095782640338256107441091941924516501535293664903490762408887943435458685119881188551144463229598377866522535458340991589835518726220364894324507693577381663900168672268976728220740440999157013934933720861747764193/21045178011633258825429630099471014604432821781297202213021597314681334064345671224822858578734529679100393033650353809739581352226715028245712973374144591813659642332317577517807928460828959439237293851925746800309644240242254126443756935053818007514650837416585208865169000162371215732373227107928905522463145231694568047223532735621341250585442584265503123057612088108379885768128*y^39 + 13658385925729537799856823063789174176843778611398552349809400465772759532883653309780554786691008609158721796142342884677118699577567862171035312043492390008982117381050439437547740216268258057702327249128970931287769654430942198337032876003630066187107459344905347088633572923829287949309157137232133606402318337344782636583913813559962977915463206919699690509412555407812049366556367/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^38 - 24144696525119775598638439640024387652617700018516944214008360085725905547893977027417683578792690324848510266719184191194542851231305425384767222835508680443666901640013037575012088287401340857834324369157115312271919436042934980349628787518742720465826711692651135324890533257666403932978227585594380055344935150734362652790151179310610671059477143674344964896677527945235336245572831/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^37 + 31094134670185712829258017287108980396853242268197035087325282531913524165630881671567487839606283911041391514578238051438296398189884207409310045952197629039797271617875578610973511671454734994812583080548104357632856094791130224138408366121344277261086304497268274889745968821741438654775375973875498957532147788763406262957552964199191254706758907370920157946029220802038346619487265/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^36 - 92096297962806420272845636716017635060809470780033145353695285929440186543479320587287181646208483064629312119851349390485245577055096655442288954192101890054761974734930423349055709521635550968276456703992944345447317805051088036183669567715827898833083123063663778090471520050406514544199141257747810477422625155858527675518270630237597479572478340351564496672379633661629215733905289/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^35 + 1195097686609561180631007658635858291176939759904101470979808152687477981303919240497896565992921627619811890920038596461198889541494133108368432991708734271739225249546739098752058839719826668407785252520691172367811381064233220504812598553153823776213777299185152802352673856266777020926414887291948736323289896215514503897592382202537723040872080227611197582317464682066808279430539843/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^34 - 1056481200928565492108293907908213152886295795860401180171329534137757944246098038555233385704524666644542855238793172555765859511523081416149279622894640897483874765489964612885919856105441398943994875221985551806222938686358001384967156897123759604346990277712243106624233889954304253300089159283226877909893290210534179801275190498300241396161571880585172830778179885083754647249532085/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^33 - 2110993429224835584986264518038524359598192589826902891248724686797135722638339519393911905938847976820806807712072973069302837758732463005654717811030332256246642398324921314596774631370370857539344631709560857942681057446813165613653064539126712137007990327083228175795916986571877620090797527991555391097161570724702360060449652748115368900171636046443918622119243126537594147806148299/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^32 - 3304466406134650475397677261107414763990441733185349710715377128729841377419502090397661412382054509994627904820873109081661797918490751661092777322095302928976103391761691900556147110240735459818672626881175436837972054519220621967966875048595374776664212954000057187102424791563182074433882487816605502622780536950961656554970496157490957003894490331244056648116742870240611451030002207/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^31 + 10438219682493097293519090410371632427830100268806064676204772289279721384764046251165940242035660630035756603948037973357056390296318531485255039952396435988580246702129801636773063417545043638065531433363421404061770193132577149253126450076496523017786408079427564109775052683795526687763968181029298662585440586928864423923026206075801426039281232586933987219296167044728369918426485789/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^30 + 6100685679483829391552086954243070714539390523369139987175086564656527371844744230794826514379948974808015242030244587004126033379027708871705258331150980865291085222007889077346806795303364628311655692534596289794340765293802331780892495267934604623949869307915805163661744484423689645177913945674390946351688979511641265748603417715421222546185007513247575220384350311145039712768267851/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^29 - 11221362816863965318057821959583687654303544757890136522874857244993225171687471466136432493731174687000019462646352031835138051049898186517999798317155957555765692737837138641274435710565262513659211029104666554858832614435195818208030053063326688612281010097375726384077759252368551136140518813322798198341821966048977025785691477222391120532111965418648028835795072774360144712804161817/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^28 - 31063079819149944173721586220513020150124258377476134511374459605489547534690527230156630546192304855355874340204057008528138676689377244473232103752309763313738368849456909568935044834608603442777568158721992304951221291507501758061354741197096442006702982057446640392109679001745093158541690981981074622585470390164476057951586246870314075613584029925116098430689015096408469990377898347/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^27 - 4043402732134500342061650577783849226779046600245237964401650609348760550759957010613304755360196827348518779721875146364752773470643958597655619510115565403733299906604758368619919194109603418925742265923520702857605558375345495145475636396436913941358816566908608775959661857985534030661065836164435547265056608347230332329950316921934844963642328116957158680106048098441714971657939347/336722848186132141206874081591536233670925148500755235408345557034901345029530739597165737259752474865606288538405660955833301635627440451931407573986313469018554277317081240284926855373263351027796701630811948804954307843876066023100110960861088120234413398665363341842704002597939451717971633726862488359410323707113088755576523769941460009367081348248049968921793409734078172290048*y^26 - 49362859899558645385181692961151387293418317561345252508887699747901939491273865206245366088964410799557333460952180671769933938697176916647360238098984936690970583072089298325059675108131941191311118111805396519323860408761100187282528303905690399369249850117596652721388773755567193633759943251360187528590917011866792437894789245391517487947804321526428179463004344546379063308032117671/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^25 - 54081582683803596772692638121830971269082723841802846163154525883961871585786360529004484222952714281519231898061174347006157754063734308041588692386474176498727862447133721472173837889203279488538118801072403759422173441803907942251640193758521867696207990985871523608252485434600845582526724170899511236472208850474821397907088726195879847817097405506581547089663845140678924201266413633/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^24 + 141916633969422601208443672115758697600821672890792988946236414487063092989485771983462431801922557636760077830518741206523217393418079230444599770732429835567714685599840151333148561578047421829599179665063386451070173548439672521548280049954399084133735930374015281326839731517532284611609378376531871771461194781778563020657457750377036256606264391368498279804023690022230217552778571867/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^23 + 208346220322499972469419173560245139349737330204330446042880421596579366664494324060246567427247275021266724653949192024829734592916775757513843471791570851996886084323958550163336391042388748919962019843030183665725562449432528725436837404724122592986367000000548982520606791756828862058695277792369038145201006729096428353374023297979841009062788035418355015532463159021472728961129680441/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^22 + 125572545629298445141096299854242888342079366729556637275313451515380388691310513184498581324437019629831179432020922645730622851481922592540090862773921286628059051633769610282258303973052125864651959206138500397125356033638460599487520653110383423895331370854975555619837341086957954020628924149393693401660060613627504972004148295585502588509736864492413507265824820197667958303250495289/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^21 - 48669046849573095250142802968053567971295093602629391681196210410454365038271242088268791919900096188294874653369232383693596086799565949336773589920325938746908448761609921746957238669253929184873368674271402551236084775328201577031026647360432196270959011155413402889882612964344581906658256784163755543639498997640402331848057919869340381187360212907362592769057894890235454907889577327/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^20 + 225479519594809293211299492194720617589473167744056061515698025930600642207489290198021968055460674977980091575529400802580325691455681979911515891303260320963199464452568962867235470755953707651258163088774227757842566031508956078744794818681723565568577719423932575084237427034275715202628762823145510286191527354988130768793762105803719024370201295836544293738937390385811303489056595277/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^19 - 50371603708628805831255677185140544341322322679224296290407736850335720121616342288832517674378526238114506604377090374809678120331788779676400790954895069804605658440077813723722726961676093774857932152818932414355814642638255962236324683618900565123521341304108879249236852710920447118100810224202758068538329708046896438261353430025889452202655752420605650407885403129851717090249949555/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^18 - 258032975715174724313487746319008174315496183289961392229900893690655720789563889800868410310006101216067600660693403798301827107247589750585789491838730209605955928071029609870747722944076338308568661586622465155632376472365569638187806658390351185154646038177154496686301669553667580999267299529573984044826286503024404259831651054038152539455811153696703222006738943017108976402239631919/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^17 + 40157899726073135840959107834818848350653143807751845118258579404935916454089014534206861750425830195714570656009483791395861513569471334866131938156801141476878045410109017567536350588075907098602429690262736053040588107975785521074309797928153783376322269160734862132696674220632097990964248927818915486901117920566965418762901266148080509362150606508660519730378228540172883186565506331/336722848186132141206874081591536233670925148500755235408345557034901345029530739597165737259752474865606288538405660955833301635627440451931407573986313469018554277317081240284926855373263351027796701630811948804954307843876066023100110960861088120234413398665363341842704002597939451717971633726862488359410323707113088755576523769941460009367081348248049968921793409734078172290048*y^16 + 14886792871143687139567437527192968129578282629501544910723507288088669842528814515852364919048724450885446611920474946149705708119511003008132431181402358708140027017130450237271894953351228191348882598742486962575585060610692866393762371771269631548143749259249259126695954510567819154920668312451164006432422989533431831902486767215605848774539680814817247488017001002322660873429640759/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^15 + 52958562802316409385165009994974276804468303023289289553579595226127783464822768532517873338000332032034219635952244701352290346443657238725066755045495760831089752295644507281272850101527680991976113819773626037327742487946745406897872078090422287632380787912628073200779152424772177996931016219909484056486009758765780442786434705301543502783184542622944290531675834209937956723477722463/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^14 - 51753089526215172456610312177005484677035161262486113236142090306556356679097353299993811942070701842835911506860497378786019378508970996976750113553043787239512000887447966398475340916051853515220674692674107817972747694129126938740903925264052818435356928759309437137337133044860786380583773890701331908024031957033877481402050869125825483049743280683656678415839472244845723852827354299/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^13 + 58693027106739745202023482565327404767670255839941567904357159617802779676171854800063654600098676389562631894691100754386926725759984653601744715682581471908967426133560453314705057642473342289341263696925065984123381031952417702804523975611108196227636100867626437831703332719005345915077694660176987778128503471479891863919408012773640391556275668243823010455377260491675971497738714807/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^12 - 625316265626917906153065746142894181499569432692434117557924924090553429857884045331074615719228590160882986231818367577639320616295663791862956490276855373830764539360686890972343816063997440117369873517120600810344656632584880246467287850819397261959745415105679408780719800386428388061199684201410240657370564695672877933255427587381651657637950168067800565701051265698183555404964287/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^11 - 163663962579917202293115898454041143792907804866500901722980071680500676122267609172409151440208634112242437476725162293302457718504470284782714762680872836082487083878320399019755048381407338779326424749837123465015752830470970327806348896451234909548116473940482322628155587050783350215002334848465437772101072507982885473149454382327015949574716833134123081685293985342442401744825283/21045178011633258825429630099471014604432821781297202213021597314681334064345671224822858578734529679100393033650353809739581352226715028245712973374144591813659642332317577517807928460828959439237293851925746800309644240242254126443756935053818007514650837416585208865169000162371215732373227107928905522463145231694568047223532735621341250585442584265503123057612088108379885768128*y^10 - 948610021671321196199231427621585435366062125233539119021535736387889088193871652940579738257375120455587370110171159896604384951094269898325418118728668735079306965880278733661346218657192301713860807598526583208251086794320443475898135945117248569547743586110395492852218874404897367874668215470769398169355945594551585878453381611573277932067656941578854235307761843408721975499406419/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^9 + 3076405056316440977617645183959712786661814199582064200522324303686359339163981873349791781729019512642843010113574061224216760844553775523427183134549290403993842428896749101582234896389806750272413448279734455446911757579361971749177723000933703348756745611923916024253844254565792980781135528820808804816900478046218093134009016600799400314339025514391399814320888663022140198824874265/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^8 + 372733091682265667270219676045319711882459107952108811250799673933833437827250467982438918793302503518513593513292648931524447451605847901650015848836225196712461751340288867137687636332076481951229908040829250273120671467329116698654757948164855811241897289752465501662781147593964768999974540171642124228031849182929448115065377140159946603051101202693674776811977038070789443687509591/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^7 - 2710796870917241517977985540123984067431232986277677101650353261934593340451006161257165165846116393199377282499951857900828964089339149074043508173552659174961136846903419119541263325920074568113024146158558917949314614794840226526533941267511735787840458942577766238582063014426290401982077084360306507098911723792639662680348880550413619818604211833394237257413475875193421959428656071/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192*y^6 + 439298986475836116755257806213257351644780527266089273067336639697400058773574901665393534732916339130239961218864662533201439415670489536342578893972743609087752202907205949180688974132758425610380598369331303263965598157315860599086087432227405949205734147034648690068130628731073869488348096164722258526291710666322730128036775629471193320242863406242107689917582355985828498573304913/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^5 + 25586146538821501525119333555821570775737095206442744216404394544430658106606621755079121834847445330109409954506856723465070879809418840139073071928175239835887388871360591294110074804061746691691794638078351117454846531776102021746742488231736656273009889416131651881935482471046258463194962055514619543906348269943102732653906573583028471575029948071883932239547818399900282613005125/168361424093066070603437040795768116835462574250377617704172778517450672514765369798582868629876237432803144269202830477916650817813720225965703786993156734509277138658540620142463427686631675513898350815405974402477153921938033011550055480430544060117206699332681670921352001298969725858985816863431244179705161853556544377788261884970730004683540674124024984460896704867039086145024*y^4 - 99663870832519934675474711990691981404625916247605453152358788614302759001520865359638749020444214104349185349257416386979408250029579330218767304960193366019816094906079962473207463870129221321202771771691552733240403343928146604909282479270629789780871463216385144567465713191090774409566641913862723959391685960565852081444721936991995765193723066440905587192742728166511720066139407/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^3 + 9586567478943452604924703594511244615971531541568536506101209768393892784666776743243725159759955076871549269141844276711120051384072236260250140684142415094520115596232579420200946386957504449575416227476278415055696499345324802216443033382831994915487446496821311184610660163942958171250053835776532721098366074470049286727144581214859163824415862952867582998369151958425335281907233/673445696372264282413748163183072467341850297001510470816691114069802690059061479194331474519504949731212577076811321911666603271254880903862815147972626938037108554634162480569853710746526702055593403261623897609908615687752132046200221921722176240468826797330726683685408005195878903435943267453724976718820647414226177511153047539882920018734162696496099937843586819468156344580096*y^2 + 1025606978952736487688670783681091335816694422638255993244694015533620660458122331247987957270974870718453953704606707389248831404401988994002009282055758936306535308371385864860489916246402688242346548269202064141437575896081970743215653224075371848499121298961383628510788072423527756857962903467475029766500326822877032892348814370202135870226272586771974648513157450984498588536897/168361424093066070603437040795768116835462574250377617704172778517450672514765369798582868629876237432803144269202830477916650817813720225965703786993156734509277138658540620142463427686631675513898350815405974402477153921938033011550055480430544060117206699332681670921352001298969725858985816863431244179705161853556544377788261884970730004683540674124024984460896704867039086145024*y - 1469547050357049235480898363772455727055494615482850426519100778439039415999773948110996111760098314040421369773450075112453157705069717388669873638435617714784689749849940299237746893397632688248267630335760345577671275212664973062245879493017814584140799925433912355002647177206618930312368655686494894010835791705688199719882151515427404326244645938652947854017364489605942664908077/1346891392744528564827496326366144934683700594003020941633382228139605380118122958388662949039009899462425154153622643823333206542509761807725630295945253876074217109268324961139707421493053404111186806523247795219817231375504264092400443843444352480937653594661453367370816010391757806871886534907449953437641294828452355022306095079765840037468325392992199875687173638936312689160192

# 4 Loop Invariant
519271459382606076252546655814265149024771611747307390729495908540653517255144557174861423507001065199380253681105636739066082115932450642525855473754648682975421180779508375959821502666064223197276930605944168659180694102877306938258344857759940972098374034694124794677843151493272364645812597456504274376259444150088863788057887800971263544252354851144688661043733726446394573921171766773321664633601872119595110199366010155976761312156565627262824381217573026160819121826793984082183218068766867318682477391668701159943378308477972007/15854368146129611058822853950216624002850256704990007882067852631033413767005750904627687002567351502927221353210341686813237923140548206286355082342176837416784347185018116575493065156773311153692632589906060807718326121378089083938382337582120653183795299904131723047098817142227056319674469879513884850698083095274167765565712573503567663395774563703967064326208829184873193485539042843982572981257577436694944489884316425745912186525577805646985567890014239633606063121573179077631554308431459242253050270128167529880279254791665029120*y^40 - 9060321320289288691939782979308833885484728960369354837892268690772415003166356992264190632411839686298105021642903333212145553004504008083256227681807466218023631538407998011443063844815495674187607469205070634769760024589028534249852006323083379226179603752684344722770894784694359408697722609285631275228377728149991632445954939466904561431801442414842128823726536284613756628575895359382892867161347257169546958400913391547869253430032418326253195915460717046032228146607107401771475805968897842100557887143099006116552833790535043243/11890776109597208294117140462662468002137692528742505911550889473275060325254313178470765251925513627195416014907756265109928442355411154714766311756632628062588260388763587431619798867579983365269474442429545605788744591033566812953786753186590489887846474928098792285324112856670292239755852409635413638023562321455625824174284430127675747546830922777975298244656621888654895114154282132986929735943183077521208367413237319309434139894183354235239175917510679725204547341179884308223665731323594431689787702596125647410209441093748771840*y^39 + 307100431286740516890900981529528158653852913470439955361820117676949657884712258897515054316180827840296919760091850872234681365927947062390315183445505361291573524984921103524601452168035107650805503291539656315976049627547278730912816673855709631374218967455498044006939392141797887446404834768655449188884312702242744138514798797470894650982200274112633925024338930152487487043844949301113091703755588726663255743596454058414245122384916415482738143439303756055951464086673135963435915859041317357329022262324749301550685509310356702731/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^38 - 544326417831746910012859257750684366139242785008444054620281213636312901173670442807919079100038907519894505877695241106460422929162687676836083231817642805794698590713346376175750242655640726454154477575533532084386887720218708664599191601357485640130250437098623481789992027177765287853821235826879996708189528248296827755870154998283035131732124645141293387367242838434545579517321843573273256928634586039715626065025105694712702597992834371895625779849951334608058507624842031705921082977017308249309649258288097095847953743067457228703/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^37 + 78456460515922789844288628837767081521741996903070380976959429409115188944557690201114698678372355960141633609464087448919320517006145061562492060467021002336476071748177517870901483013276752419339986901986345795969221774483740563495845673598885914833204772181590698347181947066434243108069495639055869337775741430976948931319987450543212189430329621604252532723950675661356231419510373228274292792745611689474900385962918697767977662751551634428860710980359699210334137130971899277803593437295068970797039900199554300939854015540747583423/2642394691021601843137142325036104000475042784165001313677975438505568961167625150771281167094558583821203558868390281135539653856758034381059180390362806236130724530836352762582177526128885192282105431651010134619721020229681513989730389597020108863965883317355287174516469523704509386612411646585647475116347182545694627594285428917261277232629093950661177387701471530812198914256507140663762163542929572782490748314052737624318697754262967607830927981669039938934343853595529846271925718071909873708841711688027921646713209131944171520*y^36 - 2075125680629762144219248029014719714067261134868870952482973282560765279956698237351881335281491484758813014861282129005954088595556241279330182735159854980668005603181210414724437239340183244696011382975936879760997129058113749195306721181755014352763292588178073916372471567449532584376407334920551366790205808122961789810046188203973959053905175497355346608199446105425931660425488481260961296900291089449801972864534241674373092273353447184533709045884531030288667574625213162829567209799611066907207225035019715827967548708813958154933/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^35 + 5376128734174429514476983289288280530614664741902308958331276457835607627449099698650682479618246347198206864732056248500478339262135495098020158449863305350539807629287197001727592846969154935675413510986692660467323833841593579693658704485159496251652257718711849001975526863689040244428691574837425729953972719475379923761939399033792853112158872745760138683572645264799075361313236300247561375204586273369739793602481451310904941217674139676337683005233086653248483467645367332981726544453572209808557890949035258556165266141168044761431/9512620887677766635293712370129974401710154022994004729240711578620048260203450542776612201540410901756332811926205012087942753884328923771813049405306102450070608311010869945295839094063986692215579553943636484630995672826853450363029402549272391910277179942479033828259290285336233791804681927708330910418849857164500659339427544102140598037464738222380238595725297510923916091323425706389543788754546462016966693930589855447547311915346683388191340734008543780163637872943907446578932585058875545351830162076900517928167552874999017472*y^34 - 1609722043244844745783744015096675647682423518277606682814706840881150940837255396879592888579689927929840438609508571950177148227596543205614438100693471889123813618806570706865205492012589944562007234624558093493895574165683912055083884361717460959711363210823059823446562669454411264875997935039162040953171222243675007569620723420822873201913660441782613900335824771377297803882538980367663771741662522254993227715969610747863959374499003580333602550734027497425959212737514711550941937588282615502765567935110383443116803628454691343659/3170873629225922211764570790043324800570051340998001576413570526206682753401150180925537400513470300585444270642068337362647584628109641257271016468435367483356869437003623315098613031354662230738526517981212161543665224275617816787676467516424130636759059980826344609419763428445411263934893975902776970139616619054833553113142514700713532679154912740793412865241765836974638697107808568796514596251515487338988897976863285149182437305115561129397113578002847926721212624314635815526310861686291848450610054025633505976055850958333005824*y^33 - 5250492605967622148883904648628543266289552506801147265525294294654260373217948114286796801695227686416872495604909159577470205194420116627113934240332812602195886183486411716574716110345934535095689631237544110755365750445259269759755114754329849324533596013710737596963542242578775214130046082872641951670285520869067777639175038879414975323140920084606091024594654265682321806402990480266579640352024452288107281101388355354151231640282571292213972474057487137840058436474032820157133645919700054026195664807887715301711133644947532594171/2642394691021601843137142325036104000475042784165001313677975438505568961167625150771281167094558583821203558868390281135539653856758034381059180390362806236130724530836352762582177526128885192282105431651010134619721020229681513989730389597020108863965883317355287174516469523704509386612411646585647475116347182545694627594285428917261277232629093950661177387701471530812198914256507140663762163542929572782490748314052737624318697754262967607830927981669039938934343853595529846271925718071909873708841711688027921646713209131944171520*y^32 - 72375962289038242987877779256421992025610772907152106172111352017694910975313609892740829181862108153283871351380683958887632445964938183189878512464626165683020143824261131847921233462398979849027850706497733504429539712166934581526622395720410527853652758851784653468022667500982051424395765073981005434563835460003059979501056422989803579442246389572718567558412374992294704593505217705843649406126487696130033664408069553696591117119299966908531471962574724769213656723125208099986867093980162232789461061795434187152075175916340025152203/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^31 + 235214246751456808934481803676571023852922307412869216941874763079080889938811944157714569828151286118716116571130027857730720687184325428454584344217535703267996471328488434126597254462270021694531112336506576376047685117527428780780934227649768571826634457451140256149140908601596444860452206148756255822223914537747035218684796528903157340402521837926601955343848215148847850421417181670492538500563150806013754563516287817061534018439154148634522098741070543867947879763569549325021849675915272599445149373362605687822051033662094222251977/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^30 + 133185703478818876160499750036785334289426166755029911950202248363548168618478452907604704658355252966833877531115706324813566297181846973681342516320596064885144564716950321441485562193106579448835791364877314968860581045917279268888004226820293706777430986160667526311108506623555957624222590265784266774393530270923785863340189471471067196045207344512298964356880502909811507951229968773691282822279916879615125314046022292219038144798136442441514398901288358899002629493583760602294802512139284437275952595374461957052867797800697890858367/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^29 - 51929436553261583727383748007055502881616108401152518202053069751611416353397139769850143527834498383517275710332834941616481494377639917601220420420138050875775846955730351198931177215829760652996246439428854003143916074059371294945376882143149249360038991580464574874876280764732156967388282762250016779227633375476183238703379043138147577294442986632023036274861359089074158088141212010695672731276553327599936323087462256389640049154397978260743502932782049506414793592358036934319812270459809351368478506095820998142253718109670845488561/9512620887677766635293712370129974401710154022994004729240711578620048260203450542776612201540410901756332811926205012087942753884328923771813049405306102450070608311010869945295839094063986692215579553943636484630995672826853450363029402549272391910277179942479033828259290285336233791804681927708330910418849857164500659339427544102140598037464738222380238595725297510923916091323425706389543788754546462016966693930589855447547311915346683388191340734008543780163637872943907446578932585058875545351830162076900517928167552874999017472*y^28 - 231812780003995591217298850077087646411843141854924104004386106786955625847743291973781156281927478809069985535409388184149689366622296701136473074689389670285963854644309705749516395553407862864745505740319454177069199432048742820941183075390074508171627949872260853586427135181688892461813758726261058527772859175191327363069677578890093595167840055954511467325392941706093950050745602016600350217534009589998146048251517170880349883816766439704217353568726815430211720202508743844762417138171343556579846556092727791619003097717379472144157/15854368146129611058822853950216624002850256704990007882067852631033413767005750904627687002567351502927221353210341686813237923140548206286355082342176837416784347185018116575493065156773311153692632589906060807718326121378089083938382337582120653183795299904131723047098817142227056319674469879513884850698083095274167765565712573503567663395774563703967064326208829184873193485539042843982572981257577436694944489884316425745912186525577805646985567890014239633606063121573179077631554308431459242253050270128167529880279254791665029120*y^27 - 87532743266646242611905482731364337184957398545911733715832669153140378766939351371181735198122175698954397070756976723370864193587439773725074817895248148690342955617586678488388706778412528772125786808461743570665949420550644827955145363469413531676197893591156464992669764168756998307539492261944607728848240411934376724315844018363195198722800208231476760118979690136066513298151747220202486519433886416671114463520806577332055192163655821439326601569112829629257578504622442343961790511441289343278365194860026522022335982159574267503893/11890776109597208294117140462662468002137692528742505911550889473275060325254313178470765251925513627195416014907756265109928442355411154714766311756632628062588260388763587431619798867579983365269474442429545605788744591033566812953786753186590489887846474928098792285324112856670292239755852409635413638023562321455625824174284430127675747546830922777975298244656621888654895114154282132986929735943183077521208367413237319309434139894183354235239175917510679725204547341179884308223665731323594431689787702596125647410209441093748771840*y^26 - 219236909487438687414409732010266992767752951116690158112091401292329311554699057140529159114479527890678344740771228440044895248284480853783857017026265041748607078455398650181420297822474585305811910448370825034532175695326610042108074453476526686845507095652094962314430450282345904584588320517111793782485052854669271923829396213811033329645344711057830348290946922904447179148211235581393403109080064136286663872844717067929393032491191558428575922578028355936379615386091175612021396059193354915570340718643256552232920065437987259455375/9512620887677766635293712370129974401710154022994004729240711578620048260203450542776612201540410901756332811926205012087942753884328923771813049405306102450070608311010869945295839094063986692215579553943636484630995672826853450363029402549272391910277179942479033828259290285336233791804681927708330910418849857164500659339427544102140598037464738222380238595725297510923916091323425706389543788754546462016966693930589855447547311915346683388191340734008543780163637872943907446578932585058875545351830162076900517928167552874999017472*y^25 - 80115508865104897577929732750394082453459016068487686557075897776769003112512691996997478447804416125622530233298496414640332018054225860022290455708353235839766828865913341563269699429857710468464310336267175536842734117769004424915748977112796297202610139229835311106904199613465094302084150606781959088648794311113194265375427846195388141405199313120924408997398552414414321064362399721226036154231707635910550481785415415517439140205035373585547638930809005208913196906771297155159213611635171960625506501774061998925372200036045769262273/1585436814612961105882285395021662400285025670499000788206785263103341376700575090462768700256735150292722135321034168681323792314054820628635508234217683741678434718501811657549306515677331115369263258990606080771832612137808908393838233758212065318379529990413172304709881714222705631967446987951388485069808309527416776556571257350356766339577456370396706432620882918487319348553904284398257298125757743669494448988431642574591218652557780564698556789001423963360606312157317907763155430843145924225305027012816752988027925479166502912*y^24 + 3236355930695998890852834526390143757162639969010324777748165494515766782637330177508902194934343925755664458639442406112467843625795364674400012350159572845628513665242152248692665162368927982940795690179859843900482801349723161168631871176533385626144217669041940824930563869396624851384758650295324147839424460274879191176204170456016898334715828033718384566348240840501380314296524664188019821815008840287658781844448485268863718754161791665273131500524148076607135436862832291739529693210923747778467334238377816078814397785046049885388483/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^23 + 4639661231040354716260803579158703808869361050055585945070802807338821842970326161311638816388753890508664463534888235717658898036754146615346421766286555845726162574312878102012208193588979800545071153409139188142647475296124448895657470498279723361848205020631066421958276423687609456866465429949069549257688479077525032831854111453785729227980818314073934364258728526731998298902617559393852614417553785859241022782242201545999561887812499886218089705021561568204785598621099512880948559160419452659069703274660207682583300869926041023287541/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^22 + 2719897602895294558615148826453913869318248050919953544737311735842087126313372067112998557245252837142814903530070555514454688224604603745716727188722977350395072120682781622801694317849237424933885342915485327866947444850765311639456875590456861659266862352082683008611987227551070492442443441995164130791591432124294124373999426787645007554684851826321039635550501621670398079715648273163339667593438335650321736876571418295077472687456532572982614819544794525942990301912766138264423982358777356439481649876425261767656238671526533887451217/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^21 - 392625442051552217602664715038372792935531639867791011748737391580458464392681273739797392519007180824248109770306609881554979463443709164818498221444282255323870068488153557096314940242732094640707148712157579683048394173741961756822640117061027739360276558552060779866608714875662062418833283683167911978312418598188221217013132423523347529889434447854037516144962927193266772394756708030729385265984820487921856837310962317107152124468377510579879205476701922241632056772854282178874913693594685884468532265506613011923490424530697447704701/15854368146129611058822853950216624002850256704990007882067852631033413767005750904627687002567351502927221353210341686813237923140548206286355082342176837416784347185018116575493065156773311153692632589906060807718326121378089083938382337582120653183795299904131723047098817142227056319674469879513884850698083095274167765565712573503567663395774563703967064326208829184873193485539042843982572981257577436694944489884316425745912186525577805646985567890014239633606063121573179077631554308431459242253050270128167529880279254791665029120*y^20 + 560532755040219923081348593480458580132051961567855478947290190060761585569976825963094831954367766298700202186995242083110975836462556418193722744643492539166886721041689898227595030014281349187773696229735007054360706109954283292461338960249391633856340473446867554445372313741552572251844911173706778309588415266106561865920484557464938303601000092472086785048945184173903029963520454918657249927485303269718484161649518854020891972840379125666040990389058914747519939939510577345413636561158577886561141159354311428320929579979980557983337/5284789382043203686274284650072208000950085568330002627355950877011137922335250301542562334189117167642407117736780562271079307713516068762118360780725612472261449061672705525164355052257770384564210863302020269239442040459363027979460779194040217727931766634710574349032939047409018773224823293171294950232694365091389255188570857834522554465258187901322354775402943061624397828513014281327524327085859145564981496628105475248637395508525935215661855963338079877868687707191059692543851436143819747417683423376055843293426418263888343040*y^19 - 130707789778776971537612669306848446009800668319500469076413035646133920490982864684585035068284197885049121320827997546098834938461469745060314777779577110356525373491078633585700492986764929350610311436879863060780002552906201480283912145771602560153587359506419592533688797250075203848020141455116349539839582816352997244613974858037184735389509030685819943550296340769023385780108680395933792060593043968649393715121094542481175328448695887186931685141675338620855446812089522001546819011459395179308231379275871689244971632082801286630243/2642394691021601843137142325036104000475042784165001313677975438505568961167625150771281167094558583821203558868390281135539653856758034381059180390362806236130724530836352762582177526128885192282105431651010134619721020229681513989730389597020108863965883317355287174516469523704509386612411646585647475116347182545694627594285428917261277232629093950661177387701471530812198914256507140663762163542929572782490748314052737624318697754262967607830927981669039938934343853595529846271925718071909873708841711688027921646713209131944171520*y^18 - 5789379950981070402162576442427552635426017887385874830061267398040680691762218634528867744746185217149995890458328788620715843574839652943052483597398713233053194798645835182577351349418605689242415594405775748148797272675183831582277076618754413806367394769013376218059418874752110679262527180319229552528656385894345015481932199030917484298313995835218381218775563409816849801132139579792104892605650835083543587680914604991292985709269508446853894821188257251700337419068391820897781247506204292351674911132868364567863463955267115223993137/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^17 + 190662812683839166900249001926654490446935360461002883582726908580601941418753541500177355477184261546158913694795543214532001319726473473777727045583125885911079210759154132304616789412279426738786897475634693367511153936115826812240040374791420801117189848894391316992874328658157414974472147436250925127457192035312589607432313295291845948891761984987438221784019155506642081569975849789564082721072495516032918860620163347959272963633046117615578024019035088884119100723674712757662356361241958041457310163978977112660086162542149596406545/2378155221919441658823428092532493600427538505748501182310177894655012065050862635694153050385102725439083202981551253021985688471082230942953262351326525612517652077752717486323959773515996673053894888485909121157748918206713362590757350637318097977569294985619758457064822571334058447951170481927082727604712464291125164834856886025535149509366184555595059648931324377730979022830856426597385947188636615504241673482647463861886827978836670847047835183502135945040909468235976861644733146264718886337957540519225129482041888218749754368*y^16 + 351672449555919600465708158320628152605857450352269762905510548276641940908453160102829712437485446393783905493182908884326160820243225198813122045941556271358669691040224403133860360084911289854891228597115950629496326599310449515305161004193798162942977728342407477970213381754304883175603156382477046632112607428304429624314841392466558378837700192949617071593105101542771973118801722098459324193131369654338903045332611887688332823358900481408096078357231199580089346035136574282138645834387128909046156948429210836678268288612491942923939/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^15 + 26304191903536899381308908116919067050385253002687746898335391053058299111498977077149792999298788215376376917908953408559259750516526313750932705758920831483442654045245563313895921705701832399898458208957366273858608163598352728911280645195933575338442449380986064256606855209918448590050879520664357278036371929268634231233951362890753216223636173528832308164132286889628506989179402618717176330009102619193313524794483305870047668736305144498058594683618668309771323145301900162136376280607457990641615533587814409688805970450037591547311/1056957876408640737254856930014441600190017113666000525471190175402227584467050060308512466837823433528481423547356112454215861542703213752423672156145122494452289812334541105032871010451554076912842172660404053847888408091872605595892155838808043545586353326942114869806587809481803754644964658634258990046538873018277851037714171566904510893051637580264470955080588612324879565702602856265504865417171829112996299325621095049727479101705187043132371192667615975573737541438211938508770287228763949483536684675211168658685283652777668608*y^14 - 392211563210610694993337748873676555278792794765870348561898400513126098816907328289890216947519186411661661868748112377387937587818347144177884155001362781583235724025198612241986949807289855120688283890793297402886009311940290709541632501659044163552846397354415264105130003881194758627131485915966093188425352070771865416907406465388186502699141207101958934683582970985150762900193653210945632508006100327977316655773706468706457233600436316790046354321280759325295064217374419595147652225000035644492153903221086201209178834271212999644641/15854368146129611058822853950216624002850256704990007882067852631033413767005750904627687002567351502927221353210341686813237923140548206286355082342176837416784347185018116575493065156773311153692632589906060807718326121378089083938382337582120653183795299904131723047098817142227056319674469879513884850698083095274167765565712573503567663395774563703967064326208829184873193485539042843982572981257577436694944489884316425745912186525577805646985567890014239633606063121573179077631554308431459242253050270128167529880279254791665029120*y^13 + 1324057204182136803893851332780751160005923654707848268004956496194605852826205274227875884111576903194915374384034934526983133597252967750408991896945017086217275507264003716506678337515345618290794209416971397683964942886102779738997492920633164265507193937621126359777596592121773531224627775818231291805990910743786702355858082661752528667796888741877492612467219177397578200620249781162922905031833469556998233229742400726215956964541503885054100215384286866491577075511117584343116920981651620325287359711146842381016812062477605552021443/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^12 - 30214682721025306986540986799387717190881660469902988914109146452590810753108914945670842304415298490271492645283403618123181277741584250869844416577283712910641551581172216494207875513390981173632917089324574020518856155627529632616816100813826371472063202901201356660099989894902550431097337836978881590358941851562461897656122913985831583307830208307891239104043741085428794555438118499576986797109289845754945676850335379427048296851642947428902518262521601801736992834621637155967657192544795808812387029819754411069237624480243631569599/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^11 - 15249005722458778617281652582265190583426909753293283229571814622411703510386062224489852064308076832041375510302370185056161397820385250322525987058046427652243366028647139712264612328342761364863560417146018290894986554628115765852560396500554571754807970793041402966244569291154713156244846764833953525721336248478673776798847608396240513923022778406830893842144490588401543602551900264377018955013954843977901413286270986395807949989349467089189239626868502180934465922813700018938621089636914946278680799172037659655487350153081002740357/2972694027399302073529285115665617000534423132185626477887722368318765081313578294617691312981378406798854003726939066277482110588852788678691577939158157015647065097190896857904949716894995841317368610607386401447186147758391703238446688296647622471961618732024698071331028214167573059938963102408853409505890580363906456043571107531918936886707730694493824561164155472163723778538570533246732433985795769380302091853309329827358534973545838558809793979377669931301136835294971077055916432830898607922446925649031411852552360273437192960*y^10 - 18175246204763216461647945628988413624579274968636034812844790507544316290488792327994797523492257204651710507958976474774429651549338100117990611152114005539948888823147488989225587285955491852486274926290450771299559909697634180780172094571099299610690274847577191269666732237138449912760607165035398990891581128216286962822234693848562777629277908943079008495807627833850839165122984081509114629982870911395515312007454062457588969748022215179956268771910790183386790879407428174428834291691114216040102169638083308106272193069898434067559/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^9 + 68886314788511345419830940022335819972684491986586851092322150103457628002453669374701940035410721848585884273369796661154756030388933870526260896583820959075918085158405710745426302183147067065744894586319172897587110662374053818822654315066277878092803587911778966719723667670681679332596781026719071514752417741421834183781735246805346497853695370727280248367804094780509753194877761500115493181682181315114002336753032446374711971337590715375384865505875650650998841982053259084680642525520318733552189540648724044162378240880883312510683/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^8 + 6866423524658227118713626678887007722142879304740803711564084626897332227554921682803614702766074602555005763576852116722087779599004408454991947301298280480283052674788560774833670068621781949273707998678608159124757667244367876427824526705540492360061605139653948125728883778402469760465216623175956747557441016164770488164912590507378768547572227390229413503672250621878816320144758262023208965679344312916747046387050211378010025935216207062297676525924564567199159767889538179458356866545985438289438689671313601067798101675663005068991/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360*y^7 - 12384262213082359777697116532741015442459040591100403305019960605338445814237001857477040732527816331898444174573489424100216871506229734179950824714887050830463313751216247769909493551874671119705344550481735351344105014467191866628541931855178896636664480268144526595111527791838599971993368610272336328128195388194690576497794411183917292016904687966803126022618301850731759327454662977396142887304877773569594032835440872354675283546681249797041391410747216713005807090368985099684479442504981876681336466552242566859877477617949665741063/9512620887677766635293712370129974401710154022994004729240711578620048260203450542776612201540410901756332811926205012087942753884328923771813049405306102450070608311010869945295839094063986692215579553943636484630995672826853450363029402549272391910277179942479033828259290285336233791804681927708330910418849857164500659339427544102140598037464738222380238595725297510923916091323425706389543788754546462016966693930589855447547311915346683388191340734008543780163637872943907446578932585058875545351830162076900517928167552874999017472*y^6 + 684446208544305798917881192353514763654266820313287483695741543312882826498347672534240832488312843372309694998824989528535012891355882562269368629452997736473014874493671218119426378868188530801280990364339221192817673861867748530265289791880640349808634599484102833884779602985874674237293411325227494812383274064779063373806761612397412123873176554884726377365386017919518153540693055388186397533787364389999315053654249200253291624960039035336878953355582787723357658177753119831485132826036807196148971932067614593706750366227951340677/1585436814612961105882285395021662400285025670499000788206785263103341376700575090462768700256735150292722135321034168681323792314054820628635508234217683741678434718501811657549306515677331115369263258990606080771832612137808908393838233758212065318379529990413172304709881714222705631967446987951388485069808309527416776556571257350356766339577456370396706432620882918487319348553904284398257298125757743669494448988431642574591218652557780564698556789001423963360606312157317907763155430843145924225305027012816752988027925479166502912*y^5 + 555904022463320287360135936168944618390822548151485027802204322343860822461716105587053921052853018027439641279085276065691999958830529608431611940200749400710560938795464273706321105256390068490116712572745642785726097594041581223351626785739192179429637857342255909325505410548424315787181507356613157384597465884983141902138448379820147637086492881986949562938514907582437377355385435202166641570500105862002921571082595765071093410125583462155236513120619863703657699940274676808119150459398594533385248017901553594919919944202825555093/5945388054798604147058570231331234001068846264371252955775444736637530162627156589235382625962756813597708007453878132554964221177705577357383155878316314031294130194381793715809899433789991682634737221214772802894372295516783406476893376593295244943923237464049396142662056428335146119877926204817706819011781160727812912087142215063837873773415461388987649122328310944327447557077141066493464867971591538760604183706618659654717069947091677117619587958755339862602273670589942154111832865661797215844893851298062823705104720546874385920*y^4 - 2267600860660507312730800736110023874238042452543435156667319206796792090687433285993131842001735415201137499996744825933976069454709338425216104124102227803909637339953046009758403572587569810782610222063962006655260922756978795608326610504284837087802461363378774832007720554830823142368756277580877620579505586277359887934401915489419282193392755129395268473146231727195310210305537203126708197423412257728311594019146503496627701043886361671162959522121288021441596602504681697778477296266935477647321849585736365466764533170222682326613/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^3 + 239867083344858988309201070659982291707379153269800709647847961699925465944098121838854086639608761499627862964112817414407461531223252324056959303184076945530745274140686314671726144040350809048352677385007724818486172162134180642942530334610034515503762223053086724400365070581814785206518853529941211561514127635168167535902242375345377407006499656576889936810224585780496586333726275297990260024955542238867790334087567953572537823452109699445638463492018386957798035567359455375773045418091981847312827470075838296929109918001211003357/23781552219194416588234280925324936004275385057485011823101778946550120650508626356941530503851027254390832029815512530219856884710822309429532623513265256125176520777527174863239597735159966730538948884859091211577489182067133625907573506373180979775692949856197584570648225713340584479511704819270827276047124642911251648348568860255351495093661845555950596489313243777309790228308564265973859471886366155042416734826474638618868279788366708470478351835021359450409094682359768616447331462647188863379575405192251294820418882187497543680*y^2 + 361936109473584097915967113090821366843639145393173916333077947188365577161298223099374313576515552344702028438600371970899178846919513838823315540243250610100586071564573848853515280531531712081655179750177555728137148362171652038189573244490063475943506065394380859994531363535502951917904968408194689522222111644720090740910108168068226598261126127078364833704194934833996870086296443139581914309768108236313786120867952234202570583770390384348214844476051524038839108074404244611550169611661900599909905149116662646957138925589801677/99089800913310069117642837188853900017814104406187549262924078943958836043785943153923043766045946893295133457564635542582737019628426289289719264638605233854902169906363228596831657229833194710578953686912880048239538258613056774614889609888254082398720624400823269044367607138919101997965436746961780316863019345463548534785703584397297896223591023149794152038805182405457459284619017774891081132859858979343403061776977660911951165784861285293659799312588997710037894509832369235197214427696620264081564188301047061751745342447906432*y - 26541391100330561925616069558800984725929134865899737898358409815759566254439462066411164836989686147291075818578338716932689428519088164964701247097369259154220662510458571836960878451311879771890822444667590456017168246464624402052793593941384056555681084103436800869384805372036369671969287169190967441529366526491415386964953890716325930050207273370323611182838459362276497819975024206614959401638006023615252234302481950655071625157799342681227936271725389792561049293192964538573167460699203148525239590778570463849924862594630790061/47563104438388833176468561850649872008550770114970023646203557893100241301017252713883061007702054508781664059631025060439713769421644618859065247026530512250353041555054349726479195470319933461077897769718182423154978364134267251815147012746361959551385899712395169141296451426681168959023409638541654552094249285822503296697137720510702990187323691111901192978626487554619580456617128531947718943772732310084833469652949277237736559576733416940956703670042718900818189364719537232894662925294377726759150810384502589640837764374995087360