# Manifold: Census Knot K7_67 # Number of Tetrahedra: 7 # Number Field x^38 + 11*x^37 - 311*x^36 - 1311*x^35 + 18809*x^34 + 58256*x^33 - 467752*x^32 - 1118139*x^31 + 4513240*x^30 + 9603564*x^29 - 20034696*x^28 - 66346657*x^27 - 38356864*x^26 + 200715534*x^25 + 359051364*x^24 - 389229024*x^23 - 567463794*x^22 + 943420512*x^21 + 226251970*x^20 - 1423173174*x^19 + 265958016*x^18 + 987772872*x^17 - 416148786*x^16 - 262531215*x^15 + 242742158*x^14 - 16945027*x^13 - 69408377*x^12 + 18501609*x^11 + 11278254*x^10 - 1818117*x^9 - 1752526*x^8 - 7042*x^7 + 212463*x^6 - 4767*x^5 - 10463*x^4 + 475*x^3 + 191*x^2 - 8*x - 1 # Approximate Field Generator 0.222273232026943 - 0.557357899187100*I # Shape Parameters 211406332541316589458722343735827455510141042129355678276986291011858450430070394843226772513563802891282517529216649008693695999005716414550406154728008942201571758579472817/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^37 + 590745219007037261017529048737387808885042363774294770696903713239879530391961683380801055765010374518480442903162466717931230245754221713748770699113996349867888119654238219/16891905627423228246286935945121910124151687571613798662440069577306196262226583597306369224572616871422631197112464593587993035891338933147943793917638280618242294883090624*y^36 - 65327269446704598971102058721119782853203468427624554859678862962268300221526085829769812033942167912154715768617429355644788224485636097753482424973443956988750793494406791495/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^35 - 144367941897463653633081138685016088527738945605967215198374364976020481759511325691147690826961307869387281823890431536346377484724977738732924702461259049026602146260961197761/33783811254846456492573871890243820248303375143227597324880139154612392524453167194612738449145233742845262394224929187175986071782677866295887587835276561236484589766181248*y^34 + 3924856790604774704240517290839961301512509111705940860415877408027481950617531504010304857727050133662280949387464667689101474687872631782754596271924899266913143430576994917567/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^33 + 13010950726570633810934000752493111901595746968663835718782745177317950599105859435432370514061872360165760594220901538297293709173280442486867876052215565173182215146754978870143/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^32 - 96561995460306879640510546345441478045412569857186129398711414166651733529001782848326536862492313477421136948519966533062933913608528543395995183457708287969641300427404189457677/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^31 - 7920720084883673710768057810543146563829528886462500762557633972581001129430096263728456068091103978738858857021954911529317068223171184840650922092715537826601513809054025703333/2111488203427903530785866993140238765518960946451724832805008697163274532778322949663296153071577108927828899639058074198499129486417366643492974239704785077280286860386328*y^30 + 227196022891784616408886253554128635813704926731642318230783445852593365742806895653679574427041079318057590416046740696790160902020869755764553357585763670971807623040435236641371/16891905627423228246286935945121910124151687571613798662440069577306196262226583597306369224572616871422631197112464593587993035891338933147943793917638280618242294883090624*y^29 + 547619655256194138612509442427444366088398123874262445545674425067151509681453453892627056277206268226250716215501865176217856962040987734484715244366359030510965733549923692689095/16891905627423228246286935945121910124151687571613798662440069577306196262226583597306369224572616871422631197112464593587993035891338933147943793917638280618242294883090624*y^28 - 480419621583564390650134258819611012891823887843327018993125023292116657458592439269915612129915553526379445673330823333135087083805948589423473954059313522289855859337465171958093/8445952813711614123143467972560955062075843785806899331220034788653098131113291798653184612286308435711315598556232296793996517945669466573971896958819140309121147441545312*y^27 - 14699140984429317105485429421607452198541587829305085399830369605598238840831520175099376566772208350431729688737477760959241705758307177054112400697053189065724694821005965649301621/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^26 - 10731184849568048357173177192664293183278465733858139318825360654173877302673587524364265271292653917450236541450676046949897993849350041339448054324406496256590042562024494883335841/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^25 + 40469601085199310335614191246910124910177764733410231671769939654932197145230071137422806725725720425535004164004132730525954218518021412453956785357051815370175074594914862030515533/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^24 + 83039317606395475874303595725599247944807932238749137386698596594982309465661927729170218368623907369624811007559430551170972124512353249938663383919719629335010787050653254686951837/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^23 - 67397815251044161761667095643482969161260633624631595994195868087298273684932707512565557303491796291484883403221185079329224816717366713988628388526687768149013962254848037078181667/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^22 - 131585164616317908928847654675998717410358905843436660856803984170261717044716343263362142062712239734077645602514478050361649215116493623686900248631097411300783729168303763574251473/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^21 + 175865247766008816217043043319911396259793502685507258005835355522611793437369603108606753432154514515887503869567227942732970826685220718512428965369931545217447919722020791995356423/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^20 + 78493274578109363777165161287175198870371608256561050986265517569555914903878963895241437669476206502639729550036711302972831264315762383659517059641204867792049840989179802645428333/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^19 - 286293410898860284281668583767310571619048093394243872663302917878865570398993465534020975217193364750630504516694086344963927666479264137208338193088802461723532787960239114527295241/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^18 + 5802999038403311775094172293890801418434549041119862670903765777073698988153489310423793096382721804598230836127123207999983570258245062743386823748384954067833489327397911954188635/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^17 + 208735614032206170640006469175677113394844854336541979786952281735327340297288114679832653933963875635000682073777618259918881964724956959872337182196012756911647728597577300617094435/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^16 - 51004290717305536545532983673789306623480200196283780930952070274390495611182517780410883011230312360243833124226811707807022748542725857770818725233190399801310758783708050700786835/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^15 - 31856810065956588750340603674098856571831317231169857958869665401677172665080963535123149244312602055951933704783952312734922057419039036217851693892071615064671937066239761115331445/33783811254846456492573871890243820248303375143227597324880139154612392524453167194612738449145233742845262394224929187175986071782677866295887587835276561236484589766181248*y^14 + 2490768945057095286646436861140118026892900983793935348322949773079756986186260298666708743918857359956742242920048133097153431712932947895956804840723589538293519403978518183181721/4222976406855807061571733986280477531037921892903449665610017394326549065556645899326592306143154217855657799278116148396998258972834733286985948479409570154560573720772656*y^13 + 3227705592928793507019759320850628837537914549289536750510158811156758216205535886955782218562584288750237849253221016936787853569373979678264486731521858939810240508682876838149745/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^12 - 3486672838028888120464886653995868143226945182391178378778185906578999462359716279576725222957099864272586234887778900973291435502573916959572712565756003181440534112583725742809493/16891905627423228246286935945121910124151687571613798662440069577306196262226583597306369224572616871422631197112464593587993035891338933147943793917638280618242294883090624*y^11 + 1451027440858399089266521258841906627576540645121870579099215206026142480328457356779548196868963918722507979458101544038152587581836147552459026230534391262131805684193801995851117/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^10 + 2586619607536873752619747966025077472150968050085277430211500257328154871863801923495641058885690951773030615309466730607466269255814208822759371674978930073140009071485614985014867/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^9 + 39869715006342747750282990447589910833364307384011071874262076634278618329115802524264117673012767729891823613359708724697741503069148107301947239513902175963928214481679310962093/33783811254846456492573871890243820248303375143227597324880139154612392524453167194612738449145233742845262394224929187175986071782677866295887587835276561236484589766181248*y^8 - 86811060146300058778661253198622397082063139880594492850729639880105702083268483891461188295409677997635330596868915808632593870895122299519204634959867724564024078068630841022675/16891905627423228246286935945121910124151687571613798662440069577306196262226583597306369224572616871422631197112464593587993035891338933147943793917638280618242294883090624*y^7 - 31187121377345627561942946259735871040387850512770586063787921743941176289193542212760758106101193635619768334057408747434951269828697679025185986583111702716365722298204501966911/33783811254846456492573871890243820248303375143227597324880139154612392524453167194612738449145233742845262394224929187175986071782677866295887587835276561236484589766181248*y^6 + 32778411918172900836762255443618124069337455777686922214405122153327538681575182351884416345924972472254389122935123863089829208226173608187243302392224397453093925042993255582465/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^5 + 2272975257534972437450793978350098164145085080074310083588859873692057412328648799913760147214663955206760305082300826389295894892314201468263035996696358963531945409851288429261/33783811254846456492573871890243820248303375143227597324880139154612392524453167194612738449145233742845262394224929187175986071782677866295887587835276561236484589766181248*y^4 - 1311106667010920895438330787656268983366457058860213794527280002772048475038179488811844637619219284617643263093375761106486993119960587713085797272405757078462129172920648958649/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^3 - 62005327338504219354386853834067291249606276650907618890526930676974729787590720919990364960250435031390324506712929119343594842683352663756734084311200133533399698449194512909/33783811254846456492573871890243820248303375143227597324880139154612392524453167194612738449145233742845262394224929187175986071782677866295887587835276561236484589766181248*y^2 + 16119003887559370670468672868268180353561212963012266168308479226230987542978244744295668565443338862519796955761861104048401420300766644565873392459522335673828474971583743077/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y + 1301902859475416425292884486867321863626962050675670425430296873679118839892667153525008654006550697172704711446368914053398309062874688757077149250544078947307708829185156901/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496 329643794596852993731243933034675870371687378723212371998597120128132601098216532950302048420399950191962934122689301036683747638500404510850344490737841789025371755031129231/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^37 + 1817980922424944182791495214028977091899849532422955249756164138961060517736857200564809780956685190750615815077418510421187964386108990130522146969768024167221311956151923099/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^36 - 102404585294740835707302553612487675311683700301797636243989326499081946069670056536610974368461808895476005637679921144868471657129880702318976992823322643031894671310311093911/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^35 - 217585674762818668800347576594389115245630369485293371131863813591718384233002164119489973515117164688196943903936244261029819389573500119473668370928002396692056552691512449857/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^34 + 6185453310372248857516757760771477727296085945675549525021632399127582975005961180749773222298598212656567143580355941738950748445615563530701832883459533428079466238687703962409/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^33 + 19382102441574556333703726425384453065524942310202006540858195169875751731478374152969173658501972119976283093183497498514257701190991446831939602071013286752464788485268638019079/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^32 - 153502477307221958683054403896705654446318729538922311868212003359774115700823955787654700945524641126377871307209502855139464551261579263509352573221148159533554811212791391656567/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^31 - 186441402407066953832549076566724101407350158588411090912807111097580524640065849892708879561781125645317022266385606722057673809164778054176914422598979131943633422797227064200327/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^30 + 736930865308492124327132456458273927926292195077267563947539831047695518326192798170069549479596109694995010650934809628172756252636914907335195955663702177047105001805578473805895/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^29 + 1602097460702520984214218906964536259096913656442725986523138350115636572738952476127276927748714137995501273965767103690061142840819738029247580161256792586309733423247817476468831/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^28 - 3240625859345011485048734620463271817803762033888866854501708296814933490877594755055409843705582854229963515474181662673559309909588969791328925962270840748535017739785050392339583/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^27 - 22016237034980583801230294401508084042579394085639474883309187077460119390727000458606081808592670131996459775700545102244221500319966536387947042910350635912012700580906852564963705/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^26 - 13430019443136216201910690407754172575396605851165797030091967216603410767855078439040838552059137805241268767588478541584857408112596142111148264773486287099255748528894348847827023/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^25 + 65410140152895313884956875700460152695398088444183919393271778750434664766237888007378089738799724113331568484743777204686597957571992338382148308420429024119940490249658976221161537/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^24 + 120188215626927234517856967893968360782263397734621556257043032296996699285560373694180953949974445935311822645283023954971343452262566285420052885464459642215776028927546178334831907/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^23 - 123505707261616382076787921007939241281737857389137848667054642961327713466601806105031606360861131285748409783143632557194482979627592495649425247600497204771793171284623291671375587/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^22 - 188966951031124633282373903998785331084053278500771403717351615811859706152077716098612487059660783136274340704749441885252247970808943942550314539644116583336305439221912541143279091/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^21 + 302650637304191558518235590201881091280273588971247645195086704684663861931667418552491999910728617787491516258674204625352196701732149839522183350050486491608108399010905624677855043/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^20 + 80848561855384372533614697448709419856006175795602095033053834567854091627814201807975888533696669789028851026701878804377991798163837726272646103869226433682165292976647691519675571/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^19 - 460695970073276572943023928497040331829581069411768575401063131451507032168309111293055893348136292365474942227324899052829477568605853305188477580539350287675478752442965050027167997/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^18 + 74080088715384722340108061256016344444618236283825806515452616570283676937481044763782414448052363845809197932803783750151963411543315287650556852096450568244655432044559467756097429/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^17 + 319500201215718130636141086320126135481060801299815338542957587141828220234590420519441969041440427022633938901601327179266084426428904816158094435933025149429582116994723512174651971/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^16 - 124503875694909862406985365938977624146315786227741061470404223980439503254312543899812943535727557714223352730746909537217717130433578858768522996045961799623800833337367132045696201/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^15 - 10611630196079130764539987702887028471921393887413486622493795068528468545478898795471606743548989028967143554576458828851674944656180186591583219826389729412437899856794973950024785/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^14 + 37059933929955190126967594565005114955756352030223711680899700358398791525650428267806998541972748599210497744639079446992402142642476043539336459427748619716000064418515303849196833/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^13 - 4473023699001603600741846075788452667882309215160056601728819593624100946270840691119989746372877552076169964329504812172534602564038431418081978020062552935282167489492686097431895/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^12 - 2678771806295849710708755661322747019323342086877481045043761360166311553092872939300712386776382965430874375375312265024352536795406362495272138951417916130778039601098835973763469/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^11 + 5140387172753553941787074821713287349786458286151980520396340501779433122132957830027230312485939563012835219564091788135563968969388162047518609056970223969585809720712669049694399/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^10 + 3506652845582190079745301815923082537182176233920837809389043328332396746938154494868385675012016776406313896388643195937101572017689370702963385444211721960739881580741142892864163/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^9 - 166113310667423505495278871836550860094733875312110825472786410543562240797945630810221856179266884801952959737290762853691247740086142330635781883099969097780243010949421523366179/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^8 - 134197781619237776915253685571625606024251519451214883466503117754985122680803981615869101638939482919718655793649691678451828948791653184500512697835373462899547214436805543561719/135135245019385825970295487560975280993213500572910389299520556618449570097812668778450953796580934971381049576899716748703944287130711465183550351341106244945938359064724992*y^7 - 17990552390522131489598546696422359965305720644125382127723259481560666902993504224118586943772505130538564928918307207527578442302003632927064468774101687308218219938687388718449/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^6 + 59136789617998311178734163572475561882981012487772156347689206369019681148632209044419586979444883953888160336340958450855614842335499454973133215231196466990749662887337545051107/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^5 + 263793139388257682635076718611479001192596981058696397742497434672309766772272047245051198477239658197449946588045019174164191232186356291162153947484641376559204305289401147991/135135245019385825970295487560975280993213500572910389299520556618449570097812668778450953796580934971381049576899716748703944287130711465183550351341106244945938359064724992*y^4 - 2148361276751048499672424811182968188432294084880473361866454980217291068755445173217982328734932308222755373648673574737821111902546811785229042326537880797459149196645523668517/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^3 - 12218525805608649417089291648603380748084424106310766149780353670003323114557995626373790026972247737786277105132176445296793216589638843926046579471294985049766833192468319015/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^2 + 19358596404105744875587625058859634013696811078428468608865239408399716197492915482732496449085605963315831132030711359780277821332691072413580948315062524369865343855076490399/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y + 2438000474115881862991826011580687878056349564578346620360858110464521968653343468168024771211621067203459781101290143220575321049353680766052818409404560543912860844688535033/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968 -231097649986862127816333081651067692073309506111431737654023285174339471809729579190941384539399848202518389301738559993510555775737791121906677754663040227044915859821936201/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^37 - 1303147874651919187729312550576564917121798626892314990765472308572965793178246190067150969016735365940893247783951454949241249390889215140718967229627301434004679870968416037/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^36 + 71151818660875872018042619292965346845623883066764833261442632842807683718024809183704155684966869792821487139336506752412880477637663365266348449212925208762002748862214176497/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^35 + 161396974658702420133705660309694071768303617248787059705790879589261946973963955147360327858940724871154869300313466590292954031519964575868834395990167724528997437041209820535/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^34 - 4258485224157983114983113503365392487538203377155732698274226220623501615567046074759300284875196235004446904433763602407008870534556271191699669958125348191429989541430307175167/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^33 - 14652423739729936382398066552987498806540221343551886549547088341896332046276128583274132404081844370088769195315151492542609757025450766955452825566550921717591540808473679739841/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^32 + 104113656506777096083474053344178948084872416738146531187013193812900766815660254870157945123682973777540778640952542975369147896461217309418840380308961593257188555584948761533505/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^31 + 143803038556618343518348293261658249772891786372480712247891681665377189997077101440342993539507909113150673869123262318219120494363423976108392499332325574410896193422448511166985/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^30 - 482646259482754009092396551151149400246741382030760628058559749843128968125457378397279084158108417561841584948535601565617165968740820965188146312875726982510801679533801981088697/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^29 - 1246428157176604179250489895850554379353596687860501719294614754208578429410194448848772027163621199735716223723905991407585935256084054411469179574618892207599408574645499492707105/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^28 + 1979322359104087975335588214393174461743481367115610836044873183347074241498483161710404425373297806118830107389290925947645990107037433190520646882065783357877441271624341152518385/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^27 + 16477599280830242003259539839439904974973134064599872938526279466006147586339749378388366148723370840924065493758706487560113117035965441162409698182543322071727232543881017073402079/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^26 + 13347941391677483806343915605749271139082579835660638146766096529138207166945302862818074361751373602014227264936674760795508034953876682452491299647352614493596830519062959641418761/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^25 - 42987057009584162091670066793012591968041995454816096922293848577417312849652110620567881631773352894343849467763731846497729101655653165975240020857143118585603360468630232006838487/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^24 - 95099308386689657898149258824306644098319733574081096045233425492525006361714548763541933898024214632394128454718552059440658825699122056179758616396972644106785520537467704840398421/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^23 + 64471541752819621240799374732178159905870908767363145739763048466384501487457547428205965031176972654848541001750487343957694870294585636546074265040602568985403961099764702902866885/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^22 + 150736939542906794185900972348750112990677056588855377018186379006884376094540705745030658094217236470522048361784160288270410915481411563296510824319501673055112680023132350606569637/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^21 - 177990059625236482939970481608863899193608288457359023516492806765301624698235987512594067184863579320299267139866395846262302442725006104857983428757844338579495660391714922831364613/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^20 - 104377321722423282138599164392671562197223201929651672217608950703138848552294299390965466875588570775049440445632092254902163868585233847684029634034324240356163262359148085536895557/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^19 + 304348390968822293069088917329084192089242967288596356038974011371870735730147889269571130698060490233167487162309996605865331147018395094211903162532206341365461883524593808446338747/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^18 + 24062668112840646138336345554716684827615034185038539518509252487833787034945560037860649756653346347164242402275213589391737514542869413885329259836532593176544769825572933069998925/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^17 - 228229877168889059869269138279676247208623538021446991352358446541212251522922535316751020650751515001420649372844686949323690117584899383612847098448369542694067925528192955499551973/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^16 + 34110554867150955808553702642322754992494663938060194895395156373094626398919581029447786813822626189109543574450950004745018138098885622259710748339191557574796443858949854775080831/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^15 + 9333516105838631852841157937980126731200274147917975489377902246048771337474165332344970137124533152420135280924346792351586268874621002764172787770087690111438669846936982977674745/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^14 - 18657630620057448130160307102436288585972802408806321254830983177651048628833713909908136804512532727894453743673957797517026949830729415615882014506790824103936663282007276898051151/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^13 - 7584737218095158145597663890727874125171578471959013879219539348146129992411578617171285293118420916088072764225806455033952062812728633038684897562663839524063156111813699583434639/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^12 + 1879372271808911893852934776367620915955044087761012067542483718356323051318871255485053133313892486827172678905319389157242914242948005318752822409122571839491671288413513745631223/67567622509692912985147743780487640496606750286455194649760278309224785048906334389225476898290467485690524788449858374351972143565355732591775175670553122472969179532362496*y^11 - 206401235384483767263412822923204497758794234021770168109467035164743085971126720313272317343627594956370772598038377026807797325152514439336393537818596045193882368585375936059385/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^10 - 2967010906957259711588361006066339793039777947673698818267034319725975475813616844009362651931261035277047238604779634332686395739022924226043666332564989101702674167211445195852805/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^9 - 159484301243402710376021804327601047409390431187792703677824081501641720542823839575963773897776083647252414264313577637691553931658697312447051385731051379042543690463743936664379/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^8 + 90936748188754334926350199300351900890369472877134830746308532293052973930924582839656937410298578336024900083684163996768154269046725907848748738331594328189722087272543159351185/135135245019385825970295487560975280993213500572910389299520556618449570097812668778450953796580934971381049576899716748703944287130711465183550351341106244945938359064724992*y^7 + 47945682618570209459505479554912570706667062036347217755162571505140235979627448691571406784633852182037229145956013394523613956909110840324788388664226260419949356618371115849207/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^6 - 29775701912749710371859776372931329019006234588541422341655923376539266843459981213447421183219541366672200379968503334675953043371130902540294631613587761762148387578070612762293/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^5 - 1840173372946970055283304213033531815062875373982354453732025513712893153539841314003178934811886195863755192441073718929635969327358682025339569561081536187338342669063728293709/135135245019385825970295487560975280993213500572910389299520556618449570097812668778450953796580934971381049576899716748703944287130711465183550351341106244945938359064724992*y^4 + 1210515898796452226538776905371779349021437430114535301754823106639657296427912291861082200020883417002722407344335796331578133866968980307109526845022664574158152081764664506643/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y^3 + 101727215226385116713431911953874179453061583518528035642214973585168074939722325683297722982486850350456494329898083460671074744201160630517779506525797539605418816176970059217/270270490038771651940590975121950561986427001145820778599041113236899140195625337556901907593161869942762099153799433497407888574261422930367100702682212489891876718129449984*y^2 - 18224520226297754868476061849254399607421288609760033568237927589564492622403744668872754638635222412286720061736506391708087632849939922276930963430940381601779319038479079513/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968*y - 1171945491519394706538285007050650956766857508440979550887452725188564490430275266261977215967068265779996788574980926766460614486803204978745526927792121647028307273840612319/540540980077543303881181950243901123972854002291641557198082226473798280391250675113803815186323739885524198307598866994815777148522845860734201405364424979783753436258899968 -13723506299564006812611750847892449411225904606412757898994376021098060039653473872257080011199777855382543192833351263195337477926958505388000802740601487774569021994756876452962221/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^37 - 77760657516833742607471951189988645747216948720568253177236112278391670619446331063181723838214907937646617024298479069539577714740997043114523909420979556208991041025826467560064115/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^36 + 4216358207194979533238366292045996455903352187345819332933310673463104241026413558020954314991495049054248596496629817385297029587134298594906835613564785296665502145876336283306777825/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^35 + 9697027584578688500852149171670292612196974940970594865335449647460695653206869864187068102212994082092596230639317672141399890796970468483853182471743499683550556724531224218761657815/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^34 - 251693393549239403716883340646706584938321879888374760409356304374271005287448075054516686923904751331339123347877525613555221314921442270638095681843211829726956629064112304220703704843/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^33 - 883259408016812295425801267514317980955935428166856196918315482230996334216402379816483934789062690637535495960865202703438857492270944823700433764289598525234288576270195395809771483553/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^32 + 6126435782636508953040426124918301797283168492492541658549096243882330861477474090081724182367787398059641852350882312456683621191942609897141414864881513105537672759127732557536910162797/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^31 + 8693296560101280749586849358184476256122374613411096965163305059294123059694097788764831358821392374202772494309823253802218083669105399489232271068675670155227068943066183281381601374083/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^30 - 28088254914899561718214839043464181315444694926446094428612170539774412864787690826705119017929180823564044218495987912456885515972834644692740977435965664071687439598674504526294005323583/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^29 - 75287478597097304475021282085103930557565362592948256740830379221510561744946119746835927279295048818841605178304383389526718939245996507679070470930557497288445008135142763682522450565303/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^28 + 112506233831353808166069940123997080154846298066312662545716182176750126013209763864831663218307454932487939463010984611350474295337477187331375886108811593005999414928884280331119663413027/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^27 + 986229497873512956101857378138546010445830823042071157158769861945246121994089017237356789885572241176656431263613253331949704669244856520525205638815802442549407051747781403670019856351911/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^26 + 854223455936117187644156543715342814316676152298818916546726836363496505741765851864341029637304706804160662802831450706441285856420821375370607213280771915712715031318865488220424342959437/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^25 - 2475691260305654049736697583629270037258558804866491810281939105387506365249775623656039908466117685067928438960735545223589873047609865347686567108499282917597944643851123477462773483514079/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^24 - 5759431905585139708181717796688636818963297430013920005556242429856861674518574369263752124877022335948664982307933165965810369299762636721756477148371868941474892476108766742053783761231305/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^23 + 3431932132044237570093569566265019896364865891600735287224533989038294868573688971459503876388177567915122708553936091847773000216503781098156979786638554698610651634697625859372064529999349/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^22 + 8965374482523123491982274615639637646257162068069180811706263973763889553590970462881467864756231084795766234423297257987198971401738197223903291307121436821477318311218565940704468569575201/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^21 - 9948077249719629002008782412545888234672947842115046336600177354566980115131706470982436462934705831970855739368610557850556276205468957902795706100384930246089718379134611796224650347555005/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^20 - 6467290594749696523987813169887405022863743829007593427414399095184552595446280415731147418334720715368698097818192652858792527435722847340974681956748987128451179453470381143373753098174553/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^19 + 17369533788907931994087994352565597001282947297608447135255736961235211139025286228204417120882213946435506184369506076221992209595018132816803469904879761747589285865011244562189441689067619/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^18 + 2206457853093889878214600469361078682389379964059331848435566563712281325629205040365740638951762419313959257832833327296706193997812041474992867799902408951657558407708750148277368079888929/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^17 - 12852995848687851755285916784544084965265459875080373326462141451790669535151876015649295837059257110612370367782060417869504984384148914736193137963404907231466929005739132039702891845454549/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^16 + 1329563690952530439674926998078770613105845716086864213062029662906516827121887361813697956137041141262962176353736319380324652506739458387974998091055610729875082855924974579539754309944691/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^15 + 1020758468242063445759255840814460489221113015787150995174961824652136654317569419735045385844980448703472996677003184374755861418561639109257314144488520494091321722974560356762130794172775/7093622370746156737366834291434920535773012004303500767671945096955276436126896445579818877798207852126923237780987009305324036843064221585506560300078654116424024399470928921755944*y^14 - 951524909585362068022355562707570698277824902029564004045147286096368565176520403301072647062649911947065224330730975382745688587280800523093279595295791447358977519211031792718005252795973/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^13 - 425626738341661249332431816831602221954466443444964954211255506753665436525916182088610357623411980581875201235780032355360215275609996786667535615590939945935950662506419639732824889971759/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^12 + 49598088303269517451244743201929621511504234690852914899554510395260838992317662637181731241270732145116498343599836452620851601439950449103634568627738914867694495512655188322258687128087/1773405592686539184341708572858730133943253001075875191917986274238819109031724111394954719449551963031730809445246752326331009210766055396376640075019663529106006099867732230438986*y^11 + 23986496653654251031214150749393713270558266701491605072513984531980645712871842223417147559814643812169057609367048975612248194479000060959190999386383796924290418787357104870989307253899/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^10 - 147579253854606755504065415488683301797160658874342644314044838498864630177236020256776825434171715406331120426933365986074848994964664981227345466991082153481612085922798185880439510263157/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^9 - 14576285504084822015919905750488103748761101741209111555678666954249804038151462435222582725683495861720851193365961751319558869336186412126391100434679115710523537036584691488404599452331/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^8 + 3762375094929876803274717424250704478763113008579644324147949469026944748598978288599804816101524548503024714796403828968732410373154128990812170592121005871281069644564804821920816745849/7093622370746156737366834291434920535773012004303500767671945096955276436126896445579818877798207852126923237780987009305324036843064221585506560300078654116424024399470928921755944*y^7 + 3043881809544042349036271209713021364562714842794610263653381216463540200846484372528640714140760717724915963525972147809599311993344127045005256722186039388441470898163036889075525193267/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^6 - 823373805976715154845241397823437871240988965764745654772365711379954263593283004487571133133697032301644767855190564888438507717944721124440651976860199005370011310632351414257127791857/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^5 - 10296512121710500848974349539705772962533574117612722367386497047763418191348216797516965703812687728220399083623707951619762026114944737747001977723943276702308922901646666293850297254/886702796343269592170854286429365066971626500537937595958993137119409554515862055697477359724775981515865404722623376163165504605383027698188320037509831764553003049933866115219493*y^4 + 4317084782423930660407256221329452812381939027898318135106205290207368749008169855461411821849519826108478746361867659192813115974166431021235112375179052414972221605383933437305097739/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^3 + 1949514278070602827823940883471161503355197555171171498044128600719780339850655918332096205842025245018339894914940625525233418117398647218415460212047452738911686092528250983087571389/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^2 + 351176372548279275678516062310049714762956873946087765918248871505645179207666074789203199899057759682621323933366815644253428573700381549292389581488159315100934297309233270564420059/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y + 109247236444797805738737588351590014908838122691940912621874344005048902473203894302387914945504272976713342041148557656136628819034060825394199679719890163988557291503402083388566489/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776 -13723506299564006812611750847892449411225904606412757898994376021098060039653473872257080011199777855382543192833351263195337477926958505388000802740601487774569021994756876452962221/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^37 - 77760657516833742607471951189988645747216948720568253177236112278391670619446331063181723838214907937646617024298479069539577714740997043114523909420979556208991041025826467560064115/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^36 + 4216358207194979533238366292045996455903352187345819332933310673463104241026413558020954314991495049054248596496629817385297029587134298594906835613564785296665502145876336283306777825/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^35 + 9697027584578688500852149171670292612196974940970594865335449647460695653206869864187068102212994082092596230639317672141399890796970468483853182471743499683550556724531224218761657815/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^34 - 251693393549239403716883340646706584938321879888374760409356304374271005287448075054516686923904751331339123347877525613555221314921442270638095681843211829726956629064112304220703704843/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^33 - 883259408016812295425801267514317980955935428166856196918315482230996334216402379816483934789062690637535495960865202703438857492270944823700433764289598525234288576270195395809771483553/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^32 + 6126435782636508953040426124918301797283168492492541658549096243882330861477474090081724182367787398059641852350882312456683621191942609897141414864881513105537672759127732557536910162797/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^31 + 8693296560101280749586849358184476256122374613411096965163305059294123059694097788764831358821392374202772494309823253802218083669105399489232271068675670155227068943066183281381601374083/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^30 - 28088254914899561718214839043464181315444694926446094428612170539774412864787690826705119017929180823564044218495987912456885515972834644692740977435965664071687439598674504526294005323583/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^29 - 75287478597097304475021282085103930557565362592948256740830379221510561744946119746835927279295048818841605178304383389526718939245996507679070470930557497288445008135142763682522450565303/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^28 + 112506233831353808166069940123997080154846298066312662545716182176750126013209763864831663218307454932487939463010984611350474295337477187331375886108811593005999414928884280331119663413027/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^27 + 986229497873512956101857378138546010445830823042071157158769861945246121994089017237356789885572241176656431263613253331949704669244856520525205638815802442549407051747781403670019856351911/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^26 + 854223455936117187644156543715342814316676152298818916546726836363496505741765851864341029637304706804160662802831450706441285856420821375370607213280771915712715031318865488220424342959437/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^25 - 2475691260305654049736697583629270037258558804866491810281939105387506365249775623656039908466117685067928438960735545223589873047609865347686567108499282917597944643851123477462773483514079/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^24 - 5759431905585139708181717796688636818963297430013920005556242429856861674518574369263752124877022335948664982307933165965810369299762636721756477148371868941474892476108766742053783761231305/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^23 + 3431932132044237570093569566265019896364865891600735287224533989038294868573688971459503876388177567915122708553936091847773000216503781098156979786638554698610651634697625859372064529999349/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^22 + 8965374482523123491982274615639637646257162068069180811706263973763889553590970462881467864756231084795766234423297257987198971401738197223903291307121436821477318311218565940704468569575201/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^21 - 9948077249719629002008782412545888234672947842115046336600177354566980115131706470982436462934705831970855739368610557850556276205468957902795706100384930246089718379134611796224650347555005/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^20 - 6467290594749696523987813169887405022863743829007593427414399095184552595446280415731147418334720715368698097818192652858792527435722847340974681956748987128451179453470381143373753098174553/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^19 + 17369533788907931994087994352565597001282947297608447135255736961235211139025286228204417120882213946435506184369506076221992209595018132816803469904879761747589285865011244562189441689067619/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^18 + 2206457853093889878214600469361078682389379964059331848435566563712281325629205040365740638951762419313959257832833327296706193997812041474992867799902408951657558407708750148277368079888929/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^17 - 12852995848687851755285916784544084965265459875080373326462141451790669535151876015649295837059257110612370367782060417869504984384148914736193137963404907231466929005739132039702891845454549/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^16 + 1329563690952530439674926998078770613105845716086864213062029662906516827121887361813697956137041141262962176353736319380324652506739458387974998091055610729875082855924974579539754309944691/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^15 + 1020758468242063445759255840814460489221113015787150995174961824652136654317569419735045385844980448703472996677003184374755861418561639109257314144488520494091321722974560356762130794172775/7093622370746156737366834291434920535773012004303500767671945096955276436126896445579818877798207852126923237780987009305324036843064221585506560300078654116424024399470928921755944*y^14 - 951524909585362068022355562707570698277824902029564004045147286096368565176520403301072647062649911947065224330730975382745688587280800523093279595295791447358977519211031792718005252795973/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^13 - 425626738341661249332431816831602221954466443444964954211255506753665436525916182088610357623411980581875201235780032355360215275609996786667535615590939945935950662506419639732824889971759/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^12 + 49598088303269517451244743201929621511504234690852914899554510395260838992317662637181731241270732145116498343599836452620851601439950449103634568627738914867694495512655188322258687128087/1773405592686539184341708572858730133943253001075875191917986274238819109031724111394954719449551963031730809445246752326331009210766055396376640075019663529106006099867732230438986*y^11 + 23986496653654251031214150749393713270558266701491605072513984531980645712871842223417147559814643812169057609367048975612248194479000060959190999386383796924290418787357104870989307253899/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^10 - 147579253854606755504065415488683301797160658874342644314044838498864630177236020256776825434171715406331120426933365986074848994964664981227345466991082153481612085922798185880439510263157/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^9 - 14576285504084822015919905750488103748761101741209111555678666954249804038151462435222582725683495861720851193365961751319558869336186412126391100434679115710523537036584691488404599452331/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^8 + 3762375094929876803274717424250704478763113008579644324147949469026944748598978288599804816101524548503024714796403828968732410373154128990812170592121005871281069644564804821920816745849/7093622370746156737366834291434920535773012004303500767671945096955276436126896445579818877798207852126923237780987009305324036843064221585506560300078654116424024399470928921755944*y^7 + 3043881809544042349036271209713021364562714842794610263653381216463540200846484372528640714140760717724915963525972147809599311993344127045005256722186039388441470898163036889075525193267/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^6 - 823373805976715154845241397823437871240988965764745654772365711379954263593283004487571133133697032301644767855190564888438507717944721124440651976860199005370011310632351414257127791857/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^5 - 10296512121710500848974349539705772962533574117612722367386497047763418191348216797516965703812687728220399083623707951619762026114944737747001977723943276702308922901646666293850297254/886702796343269592170854286429365066971626500537937595958993137119409554515862055697477359724775981515865404722623376163165504605383027698188320037509831764553003049933866115219493*y^4 + 4317084782423930660407256221329452812381939027898318135106205290207368749008169855461411821849519826108478746361867659192813115974166431021235112375179052414972221605383933437305097739/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^3 + 1949514278070602827823940883471161503355197555171171498044128600719780339850655918332096205842025245018339894914940625525233418117398647218415460212047452738911686092528250983087571389/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^2 + 351176372548279275678516062310049714762956873946087765918248871505645179207666074789203199899057759682621323933366815644253428573700381549292389581488159315100934297309233270564420059/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y + 109247236444797805738737588351590014908838122691940912621874344005048902473203894302387914945504272976713342041148557656136628819034060825394199679719890163988557291503402083388566489/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776 -257396682759596874206271521087219493501672170545343331333210078014795210810457729027716826899905454054930161884585468664967482918847757562901613063090984005386876175218023219616118701/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^37 - 1436162326016047434242310962826881061825528078781669693425322955318618040112660701056940395353846816558563228882615695541280990354886344920388480866846684029701293916086688122150341515/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^36 + 79597317226640542271048248515194937968473630797038066899950220555936643498994582737103094677995549590749713918091489555668222488532607914384383089158361441804805675388566716965486583385/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^35 + 175078025904161892520384549447757673338223088113673752367792159547701534924426909046786946494609092996686415231887026871049689358298721138617092499392814268830009881856742804976371339879/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^34 - 4786931053684721182281154603784056584529813588842741269075815372979702498539239583274453980380217092567619307302270015999940785252373379091082379124615366802646818771822208637747944188923/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^33 - 15761251116013432522258304090485116913801221118217362582894727328130920069304175025853683758118319582025824718367236030437023385519473540367931265494008084441309160224826968456089686590561/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^32 + 117967984146051154806662389873875620340902425467371729791085972568496264622565054530707071584877981582877062120011969882742813380074331766288990942059633014231890994103594033414356092743893/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^31 + 153384583792567160101156046456661719388759344562989950299592772406565157494523766639032182649149339578532413468903495286508388283168473376382276754247648004707864557037533543197250272549903/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^30 - 557429985514936595531115222691386513300945047736924814072840757987197637360451243657185085898687119635593612006261877291736996209224958797939995138404841207193748461498468074738000560888407/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^29 - 1326360159234130866848060905742931389441602617707019531055510255701436098002301091379458617169951726382781728510563686305513451065521328540906882365648800409953090123067832764915247319512555/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^28 + 2377279108165572259084412253744440181292564054827686393395175892876400729209284073754811809178157333096765527426119301047890749859451225921680570759489973343563327632161374194017986312363467/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^27 + 17861239446390738473945197400823163450110565859273695723837005292430676155193699335453971077207692130127025849274557712344182443544688246859394024370294556834811784929001756667748983588020415/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^26 + 12621968587491149551091908349313838897932420146237863514844921015383780421123800020989567829849276068659241091761216701861041707446329778421287819632613627009896288462984842626360219273537613/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^25 - 49866649321319570766059518801523658389731393303018464401795178277224719496782429893935572877365508894431156141707137595330089819961214097009088537540432657322613245528690234158965053576926959/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^24 - 100403915773518294844070296684675234256906408318003192707623628957671044542933497502272155285862360129028067685657355042841962723809839234790158879159125070087619076079333815443712917298300145/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^23 + 85015395822166225348167166458789246667131303850514971108725345841455100169896257042351021708818842335018767592154561386141467098224006946922655187382751401727490149699816499293699676533845229/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^22 + 160581894030922360994675665455848755203438343865483123273135643141545224269420224525998362664701087765377019543788339080299945863665663446509539161410206548802326476730264435371493542093323489/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^21 - 219289529564475134724498482714506239151121358658539578892628096014257563337383800902681783082580614391231739338413119100769985410742523196522201096532365828685501902096940399495488119265520125/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^20 - 94150606949767962498802860956011880144403700054430002522630878310274505928171744165664099205761760828836781651204307868615665210058002052567606088401507005976813276294204341565415915321347137/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^19 + 355443705307737948598238671505309771946492864672856352283532092324704421426947866168580975291185217450157761865203167547976683190292613996664386953589981333532597867147312557027459313173020955/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^18 - 13440270480923724251243199456110677907315365244851230616113263455775397745706068603161286844548739087592638984139266684588464819958338277744924235320925426520642274748666864690212877023280863/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^17 - 260701869765723489285747122808171874070296003490523123588649445280034587895734421194900330405142389580202857112968348919519023592840168872153785621420611572205271412571619407832324468740050469/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^16 + 68938323278323142317288712839174623687673180076790056535160090328244454002158607483744206208689217323105633040470180732334194881069057104790074638829207416558623896305800917931459561431880011/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^15 + 20014464517854952479543103459524954439570586147206645803903034904943526434030455688874521885750019242284218726007707573394408415228742976260375865949310015759907212686075933364034884297703249/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^14 - 25924241327360104716069738353678098687594913212236477218912224634141546644301736338543194606245534609039408989749329617106227744530540491545924213888900139626388794204866547028628135440403437/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^13 - 3526521032065441994308316196438417507472930297583845222330764329846322199682862671922827629689028704116357508304426390582063431602495945908800204718868991479862686182614925069734106150260247/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^12 + 1112702241683803890356174736384597478739619649471063114750001634619197815503853564535682324850696914522877032639082796405415718919043136580138891326742961273386244601429260167639260611874921/7093622370746156737366834291434920535773012004303500767671945096955276436126896445579818877798207852126923237780987009305324036843064221585506560300078654116424024399470928921755944*y^11 - 2244214842814147361876819867238376892216188340869944071756251300591706210906591545932707478088391077280198433599102930102530629590304518599554657647387356010602633891597745606619143555900133/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^10 - 3291454684278121565959694958336135868731532710073596170386437908159415723336997288260572661572464045968217136578805141183940659247517379884601116461355591103584578084906963838317366886563013/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^9 - 1597407525584585984415762660203220003060392411389496348911453722360729880107511010949535970979072383671094441723062343203718644438949638543325284510531714713569159193919967887176764210815/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^8 + 114904664940812653382573570361986229135159624790306906098483181944679302957254790327245554960809395696201528111459832129188749443979660139260813410195325670213356142974555351825392983454455/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^7 + 34699350012233672789817051662389100397039570354413141673147947608766980148300283008746869082160977055507592264618223874006728263534328697959000788338309357677553389094469129143205247355415/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^6 - 45992375455491421504224320733082256572347398178645333349317905622323928576518475894180818061941189128812101691321718200534352839484331430097097019466577216401169434448303412359996683051449/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^5 - 680621192705232728707913299356062058476605649907942828250054547629159806513920566242699996729779941756627757874931383499202999631960917384117416194931766843287394873971128078696000610559/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^4 + 1970466639036377833690404350938298910179451461556898130957544208817558941285720581501252934276395309862455816953196799593361845330780972805822011332432094729620209606890541738317626909787/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^3 + 80703709107697671447112703118605786489634628322807504186476078729858400075471367566684539922807963973524428274177881129893430773836035146009514840436554131869901945886986144481496319633/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^2 - 26716222969133641638388919112820252460917998297517706280526948935332539860483243331890431938743118059628800445131788735283588328609468455525927859284557651472207758129029607293811648557/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y - 1722630458748773719723338755871644330238155212004995834958899955386786597562811417699900639639762372442387255305685557025435006923352114875257610055272155725832005221632497978559135583/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104 -204380995902767037222115075232527037763992310124097259853605536237760101208548200990473538885772763459516324482581494431231905235883763590169430582542070189597577597478954260947680899/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^37 - 1152348698061031948556581242036401098247490513432326315875784590939808951065678376125232244955833609747209612292574319115012040574119900885739678280218579950656637402297724821834672199/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^36 + 62929774665836944442933352200334997969493839337696906835178810197840394113746336486592600047056332771141898870454133494808595719711088660645545332005182904250409715309328432696845490227/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^35 + 142694575724934396612969858733136575419734310544827810155312891861892391166489915360492494328850739277589749275034455462920306893707773813517464523450073645745567246110415928186838263517/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^34 - 3766713656994121761015446044430412807482018744363628176527316182837702005771873636685914549067833026054930762685617755618133426608918787877539287328214308985453210948437053741978718160837/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^33 - 12953001883170314612269983249278065729257559268418963509937448352001001813918852436899771619703721299157880099035051859543139265824133138063141903565228698291925929730815365158716712715387/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^32 + 92104896253518115127571398752729578260995178643850715381819433563427970498938795492569678286168185551580363040180173057547245087989691428362608190312353062952008529096158584319186519400099/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^31 + 127104573704227736353977052875765333167091156536461884899130570176771358028102225410764479349602821097415386075384853190112004841015784844466202243700036031736658744745217404136213924266431/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^30 - 427160761670165689460712260781065433116156622183360729514448442920033354144815929950244281697384208285315596383743489890660872579745186710341860923209857872361342058733382229616005541413571/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^29 - 1101446108441423848910740922365426468305243338747970968026258829436792934173012796572283671328850075127734502052663459354184695279362223515540722610218734234911678840486719772296854399439711/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^28 + 1753674541429140160411184244768258872043633645439157518679962271435419714801581591334949227356179725720873914477739043261919117923107863601091883533278869139852023325874920227588255705815883/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^27 + 14561428911024228384970005866164788151074943603576501583133824834147552758429245316367522121926650191103440735277750938852591402396010571902818262143124424924686509847911911437292233466196621/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^26 + 11764367298411530345179356446591817643367033744155781888295003086416303017479677744238008225805577345596773245614929259265419046632904618393990162589929271232225908750690375764295031011895331/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^25 - 38011846935709376993578775094498928855449683945888736411699337121985375698527483889050618097363175034490234775152349573293021171218695130744361149821719211046308064497244975478111891484282717/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^24 - 83966523516310962935582139570272237154184697483419687918598295784328460157022873023658656239743002609863424935786385692372472749677240375261861456497007029900122030951131909246068666040690111/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^23 + 57223654973574951363451329542977761016239152403378882933154039252472510747892109067444747912114469603523628194702742701157730907886555167558310201626647865999734050666110632084287352430557039/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^22 + 132962373957129252115692001275151880707667901021697461815936081276930359694340088959750452875975112400680098479200520174667684264203973223394553342500251712949831848900341869067891763645163447/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^21 - 158191481971946875384882824252806401653670425946320728094939944817979727893325224005850221806267809729809579033648290134229128796491223974402797562113046418039046732676735696696437034739591015/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^20 - 91255056562640144574364703912927691106583341486459354073045860219747549471279574823540747370326386142267771404911163415474747477712701844557847192826226388673746729353103100978405125282540591/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^19 + 270076412293612115935742620391598956212602012068136565971481290450588952417011675888783305765046973251250445694811155061085703930246780020812067082516759157881512733415455099718137197847217377/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^18 + 18916245468172339021518014850897819631617609455211272905050416736196595848096779467174160381332397799553479822994289525260894544664009413754598579290894138840158799516020545736346083168898575/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^17 - 201495801082705958375422244663218143771446324569542235561467660791011539733092502366005685475719469745938685832578015286262742115266457407367190169696399382956136200034378183533240343969543863/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^16 + 32638634948667156223127002564250333285733851023519143552234201560259794816037525439237273810276493786684869067539837496067689607442854228632087681830338736219126753337544106334012304570780733/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^15 + 504355032717080138961049994741335413680709020501502551184243922291934862772810445797934132248916600688558008497944536261688743809328899809255098339263499124950468289183616994853881389996031/3546811185373078368683417145717460267886506002151750383835972548477638218063448222789909438899103926063461618890493504652662018421532110792753280150039327058212012199735464460877972*y^14 - 16962107023470169949380830754650252745341128378412805070998002085993609510876323001721743959229277594571882714659400381306249614562004200005743266670295533373945366761291734159396802718214821/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^13 - 5656818909606480804424980341727762875226349688379501607680850311708688020110869937360083305452680301914519747391058877730901628346164293107899333961936585463206138718327536583104679360159725/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^12 + 1646316941561196066971652601248198377609775519529170929251557120590017464300520363637029910465981457647829688148495385165291870527862910293579188695874312253338500026076442286368048122568237/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^11 - 445891805518406159186295252276306521209645515718692320021254370773530812856790172554910126456758606887525976057910362815784872661177987101350500581367191002500103608283737713691053900317155/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^10 - 2480144328711105861974488227364475242775174898707350837517035615036613494436254127151467657527757605971000717357238557351671418091782513825176963318596140090867274031304970633547534322181719/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^9 - 131500621603396427021505838852010465263050196188281235681218208948837733013776476402014177593110627346822165130747312668495441419599253029089307654526107653132556348019494827610716905425493/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^8 + 74718297032947561871811909916814209484423440106069531962143498318282363940927542783417784874552416284321103886721776531852292604600367094649442169805712515422025699619134052877710658657981/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^7 + 39767435080829678516901898665695402983329587280526928876619062891628151721550374399652239059009686653021602209098885457850479350338199472825037345797624567150734558497644242789037702649225/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^6 - 24219255079548584496429011449758101294303416307166081744852599990941707413083641642011078432802634826316122384204515679547003795878465956527042751956267869897519853476394227951507962768895/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^5 - 1314765247353342993792473456276645035838932858881545431254708508711401520476816676662723284912124177020836523246654752361856101406722072977171895710433422665618478470269666525036180541877/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^4 + 833566711045427559736764067407813803373664948502101738549429568538225512825314535881200689549705601505854701821244952139829720746535505210762701222338445146408876584663516240713529503889/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y^3 + 58139255113155136096417142570434614821344679155342000056933929221722278108188206706509618765766695057092719432115726238517599270233327594373699476375903564362619855746531494653631035911/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^2 - 9245882039323703595643124084676009082613977784674629017462878564000055249699059779384453846235223298822923529352847833507060287062106186231527801530909912186704457332226584567029983915/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416*y - 431347759490159265777467854439308957688174474786359183658351260321358217238804271982997617190726914581584056607835195715089606879331468391358148433916225553409265994050760107937216045/453991831727754031191477394651834914289472768275424049131004486205137691912121372517108408179085302536123087217983168595540738357956110181472419859205033863451137561566139450992380416 # A Gluing Matrix {{2,-1,0,0,0,0,0},{-2,2,-1,0,0,0,0},{0,-1,0,1,1,-2,0},{0,0,1,1,1,0,1},{0,0,1,0,2,0,1},{0,0,-1,0,0,-1,0},{0,0,0,1,1,0,0}} # B Gluing Matrix {{1,0,0,0,0,0,0},{0,2,0,0,0,0,0},{0,0,2,0,0,0,0},{0,0,0,1,1,0,1},{0,0,0,0,2,0,1},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 0, 3, 3, -1, 2} # f Combinatorial flattening {3, 4, 2, 2, 0, -1, 1} # f' Combinatorial flattening {-2, 0, 0, -2, 0, 0, 0} # 1 Loop Invariant -91695202468565081664802445113599076351390023469116263327291093987255808106189904480361671086407248412256160087239390743378038779520679758798868365693079845479375817424304936569304136727/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^37 - 511303609297794981304078686334857791697465055065864931892866427659944056010338348782480898667288742517675878239114715204294385876791241239711427751028071689370802512799904278917079345315/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^36 + 28361427588914239539656957658523994926246107283153928393347696986180839524224829432747767398534321633654083758327939592114255915856534182200448451290108066678417774287837442609673937796631/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^35 + 62264646055760806303268611323484466080170749894756696220072612740334082039692516557854927299228206558410528408235783802914527206903977016291314066930382540378333587563151592836373607549625/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^34 - 1705705685447944124013822106175006376335475163519546041729101036327433554083372921313984525763892067062419633624224999024041737345298506595220808991163926539259526610275025801327404717593297/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^33 - 5601380048067686037527544298145912564180227999782086174227911157319290554129396414370789693687035632735437586605059726084160325720447061021600139911396506719876513772681357328368333228779455/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^32 + 42035919584641699597054432070633884273831838332116016618725749254023101871522982253195265553160329926259675053906016065006921818709681967021530187050358107651307346796376171946942768656912727/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^31 + 54461849512004355363345421397731864591481567485290046017570702147302784891022007507319055976615422994682205369192507010510708721114271435994210963050751832534695708145717059890677009461727531/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^30 - 198604462652016137456957599629832637688097324276840270913897327377937854795937126465050506301165679090489588501909979794898738793671558182247460648102346651094721627633893005533174046090875343/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^29 - 470502068499337031572952197615808830933885525827112643869695003236690171551937853305135270857885082488069822023011218605645741377230192083919235165239888700569579665540636026858382650756244251/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^28 + 846636135829843108170889377494457074384583903417220261681550737209213574049508881205274864810861030452032134806225745397271030638598076770304819432744347635637187557855327820045934552990714759/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^27 + 6340869619749001221034855334120373840426104799210109958647721642906557365614159531411231311128667257365053159583000087659893277296447339195339993640328707208632793317351090238076089106001220681/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^26 + 4485459610582549606245208086868741407706041516719108742315752586930808676857164521453397642705712835876781312928289466308672821123516916508402277186566244204484606355751154136169589458109158199/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^25 - 17716595434102103164655436808858621408389356487097212343493789477358176677436141230529737910449921682428988019510133067619497042344416797870038869904006523488282242415658997912392506202831708441/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^24 - 35623502473726792336591513817778931013482984916128628601326863835229037406853362123128409124553597192234887565252620236921313323687320591654183422464681496487247401016381930661205496182382683427/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^23 + 30240566190961339634637407946894262123492396651227996805526368542251977301827985280557839899563217978444286232817460773951138973005036035446923685120435212052641511612661687989291313044840156707/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^22 + 56617142042313194459614860067726211727420337410845339625328633248224382168367046682033128258614375648302800969709274418067188455541943951881278665459995122699656572934247933263501878466028917979/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^21 - 77809936673245733561832617745491165340552275929718143548181725385076828197613460634995003768668243474773670398054774664606090398179250783877913865078339633766188472442578982309057882808698109147/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^20 - 32548819526737772127986354095711213499189970537916093504951268064355419385683466823008989594696828094797973610792499266698949105825731758150979500243320166039528570416666458677351811213398515155/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^19 + 125392863724078727119420956712100552375668653799430419977171016085603252268818984996181399788986001403995712429589392398567688735116891356096153496699130449037160107691508581183957445241319735437/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^18 - 5270051766749855621590389473087257634968800789513998742542618923491017770911938938466597167275950733847884869271275526465534956416546348898123379174064412155844765143427943004570781782409104269/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^17 - 91186071155395799190173928764397705948499768046693550862713483079101267621182745464536164410719025613277110844764336189926706340608539765378852535825525195357744259186954977940084272955267969931/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^16 + 24152242808711674796574398790508713553978116464089060552160270999692362184000366685365095499823047258538294635535095931329286733954782030610848806725526834776333921750577179629479100627346633481/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^15 + 1726048487794210774354134731400260285002414348435289237144381827720485879921980476251592969078616924609129786869571712074231642234262237811230498086260692606992093483845311781756685429755108847/14187244741492313474733668582869841071546024008607001535343890193910552872253792891159637755596415704253846475561974018610648073686128443171013120600157308232848048798941857843511888*y^14 - 8970537593676240541553112211687299021741831641792593359673327457368804303781447530601131872700381220493813708238539190637649264209191388352738593049091977924778464662043125273473026374118288457/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^13 - 1145848379470078675942711134946057719581404750006501177370462827670634822160802006089717008136303586074751580624048810045533509751712753367256011305154864964567019185840393817762368853170253641/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^12 + 767874691877503680933536103985441866369138403014120650028208796972715717135167257803752013364735383266312467673239204720021058627845992531795141409437700226463229773015662474759133816151968013/28374489482984626949467337165739682143092048017214003070687780387821105744507585782319275511192831408507692951123948037221296147372256886342026241200314616465696097597883715687023776*y^11 - 751235655324282748462952415481756463615780519204888632503389136329482904902243309050957240961957972251585841964419639194009332192801589817097511986844214083701220442531535193715629273504044951/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^10 - 1137919062807625141854610460098090573561431494635296633367783126530369083602599978845031567418844760517903999061059064885908940576940224093686496367953670413918702521182191136335554594095850539/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^9 - 6295536446734687096007600551637197588246252946270121668282454326727174190108185971273568100219449691266305090280912965642350362822431600770235276462172623698317262796001228413397236121617073/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^8 + 39214760247717928457472622260671610651583539896902727196392783918520377220211855545979935512572624112291740865643515094255099486711183686532607674614622909128870723151755743544405540679313737/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^7 + 12650859555171406485215786106061228592501867512753944842523629195168562029791110344452767547892935052855485538971665406674636873021604663906807014668843850813333631951688955071105722772067941/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^6 - 15205667491419189274963678577646548359524617456690279034480987345816519831318290293111359503657892827762319495731155512696447859010661451989205909802144053276532549740290832889845815569576003/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^5 - 474863920751730816312350024165660111017624849586171983993421278431113794020295900334881753407677696342966802492693220414149774145712128617086646701090229117716152114973301654234731196972213/56748978965969253898934674331479364286184096034428006141375560775642211489015171564638551022385662817015385902247896074442592294744513772684052482400629232931392195195767431374047552*y^4 + 619373321177190812205831488388387352360923108247506763383604382936200726763203314096125082505922722123197377739668438677145538514293950112008476759499960992157881430677516909148210516229245/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y^3 + 25918749900384370846171209978328230908719599538922354846118255054178173223761002451477675789114192467463037858991936521903510784541935687473628472423682807124264094627581595668976160777227/113497957931938507797869348662958728572368192068856012282751121551284422978030343129277102044771325634030771804495792148885184589489027545368104964801258465862784390391534862748095104*y^2 - 7710421944390897826884292581316482777014319321402234387659090517700662569179328103840029525939940161756002361037990430391718988357926075609970683011886356406736053615486535863778205861823/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208*y - 441705600101254632812287823977393354114945801969258364148296129691427805447010869406588608466499653080690455546037565214122740327588759071329041326445358945563730344149728085663922711657/226995915863877015595738697325917457144736384137712024565502243102568845956060686258554204089542651268061543608991584297770369178978055090736209929602516931725568780783069725496190208 # 2 Loop Invariant -83217058603729076654539270325767289262164035208265186252391395413837347304389316234671131661723875160694145614389085022570106051529171571314146522333589702258083150949226508687564299199203354959488691553672094427974752838435106593464311608553840341863916325623521440417296835278685391166988220901577050971040090697133456867592421/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^37 - 216409604785273474475054707530285575602940734390892549832177562855514630922609025502666008007082710259939500802399165483022309108101364518194104418642320926305126744032470646169458925052140563016164162867035862128417260478697149045303035102808523484001596960634730962780080260050862140654820083768741873987106008927213387620089643/1660520902777905962493210549369261683243540039012322386104705579582875586886511424474722572363201970350870320676231566232379102948392410449960027112366337893313453038387296935506468450975456694658730830964138758900675302855466447479640648420147670685250657021419765593104513053209363088651639446981759708368458569165835753458695936*y^36 + 8814569651598025770680162504013309380894268955516442096530668939958372765847529143343044105885325990228096132410754068005238772270011677073216405345883993832555351339851465590783899361461914046956605583684590770025823559324943768452644166152605615239775682580472987910218820803002772340723783916873388621933653551651530190922309281/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^35 + 15634425034870714992341245637815729272584233589862677458397312074127858006767717898942770360053964013935409142437099500954868296694088384862936101793059167884301337170244211645122294805136484660586169222967994134523149306257200594615233706926256548730074731752778157450901145379127864447651926975428976678245000176837553155284230007/1107013935185270641662140366246174455495693359341548257403137053055250391257674282983148381575467980233913547117487710821586068632261606966640018074910891928875635358924864623670978967316971129772487220642759172600450201903644298319760432280098447123500438014279843728736342035472908725767759631321173138912305712777223835639130624*y^34 - 1635353776330525594189973307792645336432758343516956476886816878489733632445277791211346154771593511406453038021566887653296807235449450074048853122906402575303349193230562090403046618906947066518823288855318492895751636268915379710317893234818860032231200003443196365901154769493686697540114869238096938120830180668427623351430942091/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^33 - 3934748388596067504075916988305171759495329435075849850587005225006294089215672649976446058190543552290703221592550527727737269509574119161229532482119637283419001765315648573253387188157980811894521703426606677806558391026292103300977319273159751177595657531873619208354242770566514005404370456810410164155707491601057912499823511227/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^32 + 1831117533995855145457906695499557162110526232930687987761458159347372394930241050951657313467833500768883728890473139965498436922403851926617180722342889151223140518790958408278511710238877741265118457293816409221323826981453144740967772535531957680713037644905040606830519531244465664418023031395200972132271846398354420130444564759/288786243961374949998819225977262901433659137219534328018209666014413145545480247734734360410991647017542664465431576736065930947546506165210439497802841372750165745806486423566342339300079425158040144515502392852291357018341990866024460594808290553956636003725176624887741400558150102374198164692479949281471055507101870166729728*y^31 + 4425443695051980671589335584551205211849225062347154117603158265692449843439546550891004761255643400496885366085265403698317017438091423121166641862893481814668907274957194902436744166269599292147552155240590750416148481748678836128514564480567974008950737462038128929262662686737769042340926538337615611589137279042123810897783994781/415130225694476490623302637342315420810885009753080596526176394895718896721627856118680643090800492587717580169057891558094775737098102612490006778091584473328363259596824233876617112743864173664682707741034689725168825713866611869910162105036917671312664255354941398276128263302340772162909861745439927092114642291458938364673984*y^30 - 109580453705666219124871790726672086260896953119874571359400113373494420759337665305772090565992986534987201307504214848149131581825517944353048027463128545749472014914030645316403153233969355959255916023791871635712109505391377053514996521647486368965280148889346104290009632956707410825148041718188632766803390986473265453861857603227/1660520902777905962493210549369261683243540039012322386104705579582875586886511424474722572363201970350870320676231566232379102948392410449960027112366337893313453038387296935506468450975456694658730830964138758900675302855466447479640648420147670685250657021419765593104513053209363088651639446981759708368458569165835753458695936*y^29 - 148729137816149003083151546898502277203342377949492861541610968206775727133948629008032602701825324975504121847950311617920760673425154691282134892279226061375969847047909415200224233626288868108971674438159847354685719171746874457972106025399615591962800910933758891786256253708652826064166463810113430998492758141278303375150663590631/1660520902777905962493210549369261683243540039012322386104705579582875586886511424474722572363201970350870320676231566232379102948392410449960027112366337893313453038387296935506468450975456694658730830964138758900675302855466447479640648420147670685250657021419765593104513053209363088651639446981759708368458569165835753458695936*y^28 + 276267827832154218941322443452134930854595581580482021293086175759693439496224241785203229008012722122029777057770164715072875685838754874376596396356999013038371160635509376542851191521135486884196101971931893791914603074272938591797125205300320381482656517776029245529620837476983607560822160453832330104511983184036875858376219451175/830260451388952981246605274684630841621770019506161193052352789791437793443255712237361286181600985175435160338115783116189551474196205224980013556183168946656726519193648467753234225487728347329365415482069379450337651427733223739820324210073835342625328510709882796552256526604681544325819723490879854184229284582917876729347968*y^27 + 4699998708232515605138559912076908688839115092883679817941154694065454618574632306911510072512865929656408261681627363840799026321637630134500542394834727837032776434712728132835745590367508467958063099489552336828680319010447078328589257851234256811853920985411052382859918730760200969419664450007386796981502177391343119272114141215849/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^26 - 122878183789162873777282841852254273919332811036123469102764569023725147979141622121783117524742168764243551782810950033929713506959586302170274111786061703587274920642903470078130288803132764311660400275007513775501764310292526384748972745246468304527466349930000881848240048530436587837819432475080999541102664276907665450273174492409/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^25 - 6586642447438650042327438249026085537481318572582528888149596664206605972822159143822047896342090806731622852684924779881542574621212866105301228860317668818302469939288491305874183318322190737401390851916301520167023230805640578497405505747688319096281484103747087027353524346849420595473871200927735864487904318964733199387082970656075/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^24 - 908626571734079769000959972918646107938850837868574854389658374999002483191883295979310163944429967593178262641326665780066617458016043494551396381888398908480697497819583921005012902103389447472777178945975790921662152183995744673618951896827871988711303323421810281930997210831693795922205109019184426760516300194753344181858532206759/288786243961374949998819225977262901433659137219534328018209666014413145545480247734734360410991647017542664465431576736065930947546506165210439497802841372750165745806486423566342339300079425158040144515502392852291357018341990866024460594808290553956636003725176624887741400558150102374198164692479949281471055507101870166729728*y^23 + 53123409890451744349224288977247216083681151326490395776736853451535734163048024843639174279410214599266498278536231251321896117308213292885100366955371131656998197857218636319330022292432145795468514785467357763853510675527844415164942229858041777799409824818450733608973133063892664050521557970349319758798241546313121008358177663486255/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^22 + 11527395256457225824877644980844996474930784708604943670299662507455264639116771094533595026859323564394097126282979246056609096392795318851816166222845533522527727018527544394987307494766841731684518037244278525209162191837722219832431354092978338321603832711541583652767635101565172896719061305362751245424878920444512442165694786958455/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^21 - 36887862236448640440117678531585571591970214923486562483276206653062316264266626984030417807862816228242722237743429635124885867388049665898060792465170388151039396771912744973691739482621266744929553211555911085736653885500773136811074038092594197590732049791390703000878292795724652455761855839620700903053775991908924973000002081949825/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^20 + 5884006109366958642461358994013091728404238304259825970822197234993460140897493607775515505177937558947752825353974434668465525623762263209324912601738122212022775674749312074023930244658301660689159561152943248810736542279341923391392255302970217826449076160514944310486272612971705978395712989377660355682649732640952457814447945933093/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^19 + 141100684940138552680828555113022679683631456312752708321719969315523622896825912649651626154356175853737979821293616624326464623312244087126759842865724514942364718617697880800408890869980683052322100830630980528858640884786584255719851880943663825656459491898523635853643616903749788059795989052680492529713889325376139053000133618447629/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^18 - 85287234229743391991022419051565343593615316346845312261982011847921498266343970133834652008766928121424006735189105480529376585019974244391325734964486147796848775739712701701220254014570416816702979984897019420056915419217661010347995501455565381146370627456226077226881848334590248704068249835223969638144321750815219523430427555626839/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^17 - 29657767305792949501969620526975886168313216481910339658350875049609787583127758062934075842253342774631818230967511384242484098793530729353451563090457841009495340411710662991317353368567526813464426784116691827956116608256360588385283996848160601383269322175448435254941362951966936590595688208660354225636714858924813444829669607871525/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^16 + 26957443169465259415993572319970727595954271075894461687569364384209094394545710640605289341131840381995932548394515553118709367497076603269249562186044414435091240484172827762558084002897435452939893498949555150335305879065141390092601505101119251290561316644499926848085756755780252620014715188975765742834552045363809366008418806229125/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^15 + 8012331805234211568789782528738905369704884390347648477553507557539057995484092928913186753161939737483010522909918309327180553278804711205866108940083959549972533990064661656683891119668998772599913563445216290982547336037361128527127626913674002814012461784758174578437615192396382375577680713473329676106916952011896178324729178574017/3321041805555811924986421098738523366487080078024644772209411159165751173773022848949445144726403940701740641352463132464758205896784820899920054224732675786626906076774593871012936901950913389317461661928277517801350605710932894959281296840295341370501314042839531186209026106418726177303278893963519416736917138331671506917391872*y^14 - 1076867881004541861173910226677477262627536569888549791428152329549194482679297857691573686866211815826195871919572343509223628076174573079050983386378382184494822641517616069787001179723124541177362454505282000331409845583851222068109863917517515076224566617446275443049524841114997299062257790827037645410427880719718620897069162473389/207565112847238245311651318671157710405442504876540298263088197447859448360813928059340321545400246293858790084528945779047387868549051306245003389045792236664181629798412116938308556371932086832341353870517344862584412856933305934955081052518458835656332127677470699138064131651170386081454930872719963546057321145729469182336992*y^13 + 125062030577006479382863179556169005072654494755483675421521078151779831558619590953220068871811545530197420335070383040666091287152764658462724628821606764510490769195935892563337170451253350112029541963502956689992518262476725616672608568837221155062461506299893446982788305131879181171070009589171511054039668350096892957367351288975/96262081320458316666273075325754300477886379073178109339403222004804381848493415911578120136997215672514221488477192245355310315848835388403479832600947124250055248602162141188780779766693141719346714838500797617430452339447330288674820198269430184652212001241725541629247133519383367458066054897493316427157018502367290055576576*y^12 + 1752113390314918414865425414305949175748924037347615336519600748720706542847442204205722072147518398548326889494274240519145146591653539443021060448430171965831539825914636124479128012944615722605809731908006736535369446290049863074363327774828600350740120354610656507565060750287944478568506163113233214852325806773491459685576356610497/1660520902777905962493210549369261683243540039012322386104705579582875586886511424474722572363201970350870320676231566232379102948392410449960027112366337893313453038387296935506468450975456694658730830964138758900675302855466447479640648420147670685250657021419765593104513053209363088651639446981759708368458569165835753458695936*y^11 - 1462075031421272846570793840347405115926816610709641470957570216889469627038439973105504715262163965230386611104963437107611689638727565958937952576007516498967821032737305076348982290407214719215112693311691398953255423285417222251820640491641136235996921393294686999390832355902248519729528224912430262862631895365613811424476766750523/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^10 - 314332641795673775026833925024916390960503221312626941027933546625089034585528866257974584727820470980856221330660885063178165543676352555868787594051944462539099242374939638380829764117333348559775039304417678285877375344857293367715797785556355822753414894664191269224658727094977493869619128456171089958728102093309438402725009956085/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248*y^9 + 108538212894282614496554982350988103096816550155542946905795170979871992573094836123746802607736686389555667949258215696526978674185786709711112809193281193522402048445239403474656288574955348823418737107754918402516832714791328958594039140379248772397221729238050159075966329542941523367085616975104628587644650482608212238931121469877/1107013935185270641662140366246174455495693359341548257403137053055250391257674282983148381575467980233913547117487710821586068632261606966640018074910891928875635358924864623670978967316971129772487220642759172600450201903644298319760432280098447123500438014279843728736342035472908725767759631321173138912305712777223835639130624*y^8 + 59842865154587303301535779790227763851675177616561616898984536899186929723536794390435508182977995787345349364513733345608836709560835622339498087071377851065273096436863668032562966995454932898970312520003167422868756098628152183598859844768412614657394650874712831836793995052946313425746679836358316292512614679635725909336926498495/1660520902777905962493210549369261683243540039012322386104705579582875586886511424474722572363201970350870320676231566232379102948392410449960027112366337893313453038387296935506468450975456694658730830964138758900675302855466447479640648420147670685250657021419765593104513053209363088651639446981759708368458569165835753458695936*y^7 - 8290973682494624652997602991419853625893180212210813089133885099396777420052896422710263839248435033658573479720029255458461855498621398647751027524502827090504234257448165554240073981055022910385611322381964744501008912264140589535832133486054556020370009509281967438171210735435627704356754489338432650348430670289479527659690921895/1107013935185270641662140366246174455495693359341548257403137053055250391257674282983148381575467980233913547117487710821586068632261606966640018074910891928875635358924864623670978967316971129772487220642759172600450201903644298319760432280098447123500438014279843728736342035472908725767759631321173138912305712777223835639130624*y^6 - 37292127076082876762259502178929402008707343718487180921167137206899227301242071249066963116003300755409241320676325794179090178158455454891152627763202263536793261368337830842313201594880912509521187719364822306604526410060146826262009025838005534178868290017979509531552192013735451466563127388938654952365550073939166431254431629333/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^5 + 559007062724962230170041827700445732016295745758014948686374608008626543215972548938227905089918779330706840919995891513240888247906858504755911550095117162346139763918152769406415738991785918038439649488862717914911484276557549033620644199013206186531403334581746974678428221897576963335325088939380149050364232462060729911015747549/1107013935185270641662140366246174455495693359341548257403137053055250391257674282983148381575467980233913547117487710821586068632261606966640018074910891928875635358924864623670978967316971129772487220642759172600450201903644298319760432280098447123500438014279843728736342035472908725767759631321173138912305712777223835639130624*y^4 + 1744568194495288376630130661887736922094673177673441885529829493933667879326864298103667212430876630387229576688236514469858294507066606730738577247956695613347605327107226382652333803523207216094643555136280854960199418532036950483539405386265106323659238146481086843589086886880761859860401128054635185431691774236081963970304067773/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y^3 - 9711463880863833122657090635763043650157199582901568384915251083144360513408640064098352700653636647804121101166597221550637217097751493210508493953643838417027240417316982295624139577735648323095002000752039429020857599026079011495285630659638699214325603427034404146249167376733248282218168186464701138535016836491974778574237829/1107013935185270641662140366246174455495693359341548257403137053055250391257674282983148381575467980233913547117487710821586068632261606966640018074910891928875635358924864623670978967316971129772487220642759172600450201903644298319760432280098447123500438014279843728736342035472908725767759631321173138912305712777223835639130624*y^2 - 20527457699337940602775238566501334999573642570108796842225398335686826285654839468078754954189945375206342669957463285580845618780786574683237737563568564947047335484755070225433341921216791792755653358259030035609723715458073950637523314427645828224665443146950315070367456577404784574690389498632556406510901659483785460232956809/6642083611111623849972842197477046732974160156049289544418822318331502347546045697898890289452807881403481282704926264929516411793569641799840108449465351573253812153549187742025873803901826778634923323856555035602701211421865789918562593680590682741002628085679062372418052212837452354606557787927038833473834276663343013834783744*y + 3251972755961593178451555066907972365566878689497089411836963198470667992497354090083573037733042016409495282010641904169533357933864496512300135055194376673789658068414000350038339138610679146437702930192003333710621250272594568117036789917677006273953498810022906530528096968452752458858770377127883349452478209844534873389200333/2214027870370541283324280732492348910991386718683096514806274106110500782515348565966296763150935960467827094234975421643172137264523213933280036149821783857751270717849729247341957934633942259544974441285518345200900403807288596639520864560196894247000876028559687457472684070945817451535519262642346277824611425554447671278261248 # 3 Loop Invariant 6783800505362023818734751076373857182522432725345449410640333659849219612929874037326537566656604457252441826570456164047882745785778279997246632897107555122577086343367880709821651822938599606267352695686477940078224225019935079557834335799988878008211140759725592698112380435606002417911814611133226388689875631390552244896435369177116622827248201544029624791856611999953655223355423954461372916803901/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^37 + 152982954409029613017246048519348362260731224219198015188400735219588246582789814595804261624233899300756870490651949075879773589302353536427524607832589864121257931564895298740480506472733289663260731928004270135058537790859864502285924815500773928082268030363115738971946619369140852436181276143154763908790116386882343412283321091333415559443489161844526964985386841634726331467090057397958488464235183/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^36 - 4177560687634596199533834023735525166290666895289274459686870637298239714506757498916402963444238001547179142558462716365500537605302304485319354190938017760925579030967597020095981602351248381066985717703403116253764103768942843477278305528669285009950592024011635153726836445448823602397583584152194174897250558224274881520750476911129647814278397974690534115559148535571881478785120674859842380530685895/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^35 - 9470354524695280486827590164771681174351293045725420090994567574869674441093792864710239805974707891074045020477422630473239233634838832805895205409530167076687583581976274562366156258005357812073046102164272802435262354802264613242165643924470642106427479330100902211622964739808726721058794685453395144384714585127973126899659120510714320954065188903804214246089866409159692178295188433069315307655785185/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^34 + 5435541342945164002552089683994882668838224742288187837303281076887786357011763086057035158419129021940133761334283978752952628287900741715731671646739657915248455146506009962750292583241052354068415681098364355191764429584091917142766216731431870699562049118210069271228043066564327622420787345092657242654753099444668526116352973000716081471783513919710768181191001333970694522574521110009989000961855015/19013749294201493502431835471650941078828585638106547098550271511484170136349810830832485227735097823934102154001407176265710566834210188537522258445532594987898092698639656671027163482503185715448718985705045892894986261408525904096972895348614694371463988012617204911059095907192122130649271315640533546577565148617759403714719935877644171528704710348117429143011288101087060869402367682507683705106432*y^33 + 859572034856865745430341802089003659547644668415183415124992603126625314611842618138225545137710662996988211368491606166991931334689335747210501528470490718698005364683038185694482294066178783874125672595646253078567261064098745931455380683000407707257246210533392867460766826366844114582660930149649738028635278163476809064610161489558998094714173337414236801134481210401175779861301194472921321612575095691/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^32 - 764139497671272763084563400674343555938170457247124216019820674485266912894441059285744544215801503794199344708364566013573437479985530532082050964051442289568099614500852486320720801273261638821973714217381096693141316439012944838668780651993794756242544068273143218135803220004866616161342120416374364920220055413183304234147500575420437213963276556079625836332422224598292217776003245992592943881072425981/109329058441658587638983053961992911203264367419112645816664061191033978284011412277286790059476812487621087385508091263527835759296708584090752986061812421180414033017178025858406190024393317863830134167804013884146171003099023948557594148254534492635917931072548928238589801466354702251233310064933067892820999604552116571359639631296453986290052084501675217572314906581250599999063614174419181304361984*y^31 - 16867177009170153398264106315105149906610402148067318101538892121910623552720005635223683332102889624731088996931882163053231853270418137857745406643062297502577336490090130443636380451262258951776278567200314019701024324306547356463251679544711304237922392391463546270578611995775808697107220032289920721782107051790863061423855482818931197851547819245533202497146428416302801595994328989401561480803367542985/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^30 + 56678023713326461479450952900620810734755551956579314047678881439842406306420322188340733480838558573176777903185356628507788727684192244656947467988370611602898499413955263189597482351878762407787820696489451814438786979955871348397657069573499163916715752718633129609478458615358012968185890498446418032731449029177060686544005805359192611700116125665337534082128525807974917426618411442441664950217428128771/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^29 + 146147671058983318892236480203496929145169440943553308484847328829656937371945509035131578713370019610924488940121062313064908587745888550794282862402050867388709440750989678571600645848365905099405753123401060647859025555262256161167807720954523708952557508627147642504266330392996878450940134395644155911596262819660519858723724198059083090781021018061480712970882825493763002839155288811345356241954398797835/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^28 - 232433272306082379450684359760577732017106860216924136009655101078088465493020341473872887330708640526035509848917007538538790371935005800006496101947079784525436358215609613777652162991093014372089568609987762711288897475022467998266881935984471876158563230456969473016769186748993849677441513019362233600819245800186694842670947460705834221698759434927289181305314823008857831909981328360003628404044369228245/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^27 - 966200523558516581095926485717691602032642543956272738502020900953417379559734449642578002032894081090113944176326094201124036104914270895779584193001938671807690467743511794546470510361945227652783997960790373982856788610259234054150229963749976354626266321923738652992272194109298674359301149415082839076493953400894067841671267911923552915308984896073878623111178181139584803610701763901788629215312952697099/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^26 - 391402767161782060402999056807527057628430882406737747279319597442962158948374104251689640799355834577356214779058512152935615227525681062010866563088724634351337170770042205512355850925129423896719762039126103647546863287335266539083056903998120735741001934449085676156817958265374650561930415435431557793003822900734370583840498095904674151851408483351788129130258250175574291174554501740679997498093752600305/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^25 + 2520982127805047558849261701623091866429097317428880138988945446369507114217159872915945108110121412091191568731762016315952270853914075356974986832584802281317166130556688964449602343099716970277766107726681365062698183289270165606408049438655671236775938725404296124569146648541804199427943223483348853513007889400949800226073097164064487456570608359580239878824223566507192935429781061382564955798189463025891/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^24 + 2787358873459386804564912256873421038883878496479192136627573189574827666342038146103850064742198804978917752272525539014392164238132329602851968138208121198718034799913245797541988591518888841589695731294188966491543834359262317252259041586954664984065532976813093965081545304313159666955327019986442438344705049237780051527076360418519975268065538068485621924829129529702746481870308714605681828432065468594189/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^23 - 3784073538556167817880369012398400573046050952838925230381277728286463271938384598734498071568127004303521524635854706851178996565782193470722408959593113681250817648385933336959024497238767722399989441966852499210158045379472621320547943863064447846955390950061601804567131057365923404842370730183411821654925153458088693641181496094057264101658896829064104378541086558732336724186638431901137758764234948713739/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^22 - 1102014196865156850595213840086722745990950953418720951847710583849172256999504753820741302608646198070865428007593099019499577185502082430749761850304441538488961727122847163109852390644976307519316441255675431605910916723774115457234191427102756191717181522423096898556965576285597017654057769500888199970040988839660073616749080884054717430517366828512553647374139102413779698635563493465771341060601563040377/109329058441658587638983053961992911203264367419112645816664061191033978284011412277286790059476812487621087385508091263527835759296708584090752986061812421180414033017178025858406190024393317863830134167804013884146171003099023948557594148254534492635917931072548928238589801466354702251233310064933067892820999604552116571359639631296453986290052084501675217572314906581250599999063614174419181304361984*y^21 + 10443788147911760943664207686940867345794174075629247072271035735909023714994321483727639823472893163800808038793318923540593276298858262465661492900723531809371002034909536308888991084119184569895381313029778040414081105059514264184301215720881796512552479252235339511236994388184237825392878517390713596477713806677560381705890414911420497555878303242418859075374969637697843790163685249990122997651606352269449/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^20 + 3032766444848622656178534399809236046026303232114059744618023537729510314488077952650387251268572079627094203295626342310056815271240154115846688343742412480792417057351381524459662241008641291628697982467700041669634533731353043826245795517126712368152550458102929621698259395686105864729156852358029830415433608999177748708001172630794070191682675264254913037929831655065147287931086577061839243491245951858229/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^19 - 774804119584539585008040839254941916878368205678642723340527273987264605833881378482494589773025606013043431539236625548554115225909578825599589662078867061708876750166069032769176026338858183434937808879679643805256040967467179865716578829428998068754161161163299225209424042585303247597952861471365693352817681666173536231259272669764483523324767047783650827268311762808796489340326465596780129118192646240017/38027498588402987004863670943301882157657171276213094197100543022968340272699621661664970455470195647868204308002814352531421133668420377075044516891065189975796185397279313342054326965006371430897437971410091785789972522817051808193945790697229388742927976025234409822118191814384244261298542631281067093155130297235518807429439871755288343057409420696234858286022576202174121738804735365015367410212864*y^18 - 678758336204563528694970589460305898067986308660441543402351980909823698180738650040180672148759702679538597007179395139417126992085454115908229841950722483625763261536651154994205554206280235328394642629531446882166863290506381312802563423867974118495505116214340075303659335183751274097924068411708477524905069825187849794440655834009327996768209936473545672113048590105108999530192532251681736310718981685917/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^17 + 13310986672565880630045317266646313216862043917413731536867442171872163782913444928232462830703868413672160632001389015362338416901062687974629107628896885158935002790827813344739488242938078452688380901458624954944754447644524880590739620371528050807455003080936653286535495828185166611315689660222649594818465402450766607474729207402568486741510313185404818954438202275030633102744029483961345037460604174231379/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^16 - 252295493365383105582567832171486680888504573715955284544291633397366519119163528484193456138833084267802203708792881375831321699317705452062964293518079271942568793250918078559609708797270784545016491564658074959792485539228727066650704134097560706336746310916167469220658368183778199832799301499824287034361299707799555497173032995430276405350274406630789220224945102315406532280272441158677111854470045856601/109329058441658587638983053961992911203264367419112645816664061191033978284011412277286790059476812487621087385508091263527835759296708584090752986061812421180414033017178025858406190024393317863830134167804013884146171003099023948557594148254534492635917931072548928238589801466354702251233310064933067892820999604552116571359639631296453986290052084501675217572314906581250599999063614174419181304361984*y^15 - 4317343584057345316743923826013854149228555910503235344941891087723415065727791698041109884120928126268406702942784730941329244178848743965997999922086038631684000661103311390076980559806574395565950589739087814466108203945659336147097693539137289765237749019825003772850674389610542508028881013456254614190873416371881676239700840434183707707505485536362017113005436640002900037980721881999267660913057635456907/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^14 + 2179911300100700372160177907355462897415910026010267861576071860785544973965385653793972664528430083653246981638266374085542126461173195361147923496030389985392822809507155606294337560214990713849098847131758054204005667641525880135986298938423927269206491735767824574951788448622663342481918853872108646258385517134935366815896675355709688000249896948062029934377912816034994237737521177189419663959156264900031/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^13 + 424493507103385774162901295240931801174933915488673683186183346144380545841104337625770605127837952749533560933899384987515366226609619846044221025444331222561425100314366861596373407739569414752083574486418209349312969046379401715477963172179509257537022126100283991645232710930753302615201801113524733258296343581677723588427315485803438693834746656288889450124686314660065510229813195204540724145997096296365/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^12 - 435859977687663612306208610283029321349642839263960041712802995142294351506662793393930242326568581997937801141043571043532421101542267891800743059293866231338571008303948363931002253444661973896107749234381971268123784622791684901544950712003721260626540409593277580225801514335843257217366340405797203932729186812321013617908237817047393977710195325535969141861204172565074614075104862779782927166569580101517/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^11 + 3435313585457742741348357726323015495544027296773186610685350814233199630211011002510856664621126490307339225793984185937286319318122909339671993844074425910377191519298340283115397735392790675033173020310351903326222271358060355023375125775911667888062471918458673318216589686751601917648303800051957307469635129729854350823260100336736794142654207577561158999394277996354813236578643586954769515191586591791/218658116883317175277966107923985822406528734838225291633328122382067956568022824554573580118953624975242174771016182527055671518593417168181505972123624842360828066034356051716812380048786635727660268335608027768292342006198047897115188296509068985271835862145097856477179602932709404502466620129866135785641999209104233142719279262592907972580104169003350435144629813162501199998127228348838362608723968*y^10 + 170342973403369517299729163936379660316777548463244587730881309391853407916071916209490541282017144823139691570314749216356023317557713873539574902552145781874394033109443372290039960005740039494978433161494124286234912357328459980830778186916863221450819333371592827687021870026161222748201180825636283599060420688801355918414720768244465108090950113928349888779286885875963714606076552649559788234835371534827/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^9 + 9437107935978025497817267552254103695921842738181021027639947995236214958625919202804339593915852289521800385874638039993967343516081941527622109510019583959149444513831635356507298333788841388019666675688269074061214497437326230624878514642079382250634328956476074060924183008207825377748570989978217541451594761553870451914735599514082625427574509811345404843732324837118604725322271891661000241728473328889/437316233766634350555932215847971644813057469676450583266656244764135913136045649109147160237907249950484349542032365054111343037186834336363011944247249684721656132068712103433624760097573271455320536671216055536584684012396095794230376593018137970543671724290195712954359205865418809004933240259732271571283998418208466285438558525185815945160208338006700870289259626325002399996254456697676725217447936*y^8 - 5165714579352279449704760522030621199554299548032869924063354183462089876183046643427043761023070373522051068366453334358350028962572288033904863026939517209605502907881755026788890398407626661369034871616145570924236836291787666542844965515550038336400494979553437916928981318932295923740137742810315065656472230525961192661823957344363296503044190367428964477822423669432340298699003782989440151968726841639/218658116883317175277966107923985822406528734838225291633328122382067956568022824554573580118953624975242174771016182527055671518593417168181505972123624842360828066034356051716812380048786635727660268335608027768292342006198047897115188296509068985271835862145097856477179602932709404502466620129866135785641999209104233142719279262592907972580104169003350435144629813162501199998127228348838362608723968*y^7 - 1388550849957261235600463199359370202887966399478785711757716560369267728486073528745957833402285054128992282045653799460877930546489493468995472678102625870976314363932339509466660911173164552352252691319494178855990625093768670184325083768256305675253627497999619655532260480907082217907604816950054171718141353344517958037813737151080550112995458185116106818562395246104912915133564018800896052152686614873/218658116883317175277966107923985822406528734838225291633328122382067956568022824554573580118953624975242174771016182527055671518593417168181505972123624842360828066034356051716812380048786635727660268335608027768292342006198047897115188296509068985271835862145097856477179602932709404502466620129866135785641999209104233142719279262592907972580104169003350435144629813162501199998127228348838362608723968*y^6 + 52089994233749455976919721607371141195707691106224885594745802326919941821780026329271259404189830251620399872734786454441152498253245198812812006006147874240378642571930538218400577555762362166076056910535592858719402862236595658807552831606079103904867443894700786538812369404496345518476477185745924097681490824734251986788566562708475838717324186502787604970047544833759070996588499716204961209784403425/27332264610414646909745763490498227800816091854778161454166015297758494571002853069321697514869203121905271846377022815881958939824177146022688246515453105295103508254294506464601547506098329465957533541951003471036542750774755987139398537063633623158979482768137232059647450366588675562808327516233266973205249901138029142839909907824113496572513021125418804393078726645312649999765903543604795326090496*y^5 + 411352884592924448650386348590706103568737736936387905718529490332649938588319802658365318572668695661981248795345167266688567897674845615894564501890991500280311951092969008813152551184657861029617859635488330761112757580548979762842234733537793725975598148666729112537995603957160581986438346740376769528818705749360319663113127161121766220792403470430559969060985121025458645765201204687547283820114163785/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^4 - 65122816849339917205695600059354102630942407564356426734637968525629139516322033334490737107277673895705641429890659016807169816879723702148057789620098427064293414449891125919842587619683247202752632880545896941614980213435846121629482075646353261501258290242488172091744074179430487406145245029998050642545189666838941935327008391481068979849102535322908727803332211622329175075541102043574221473740836179/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872*y^3 - 1355880410020964949198869878337570316570591885694145707839022807967438095925206226854737739439546298260518157640041038400522370304687769288590790334604806200155737818176073386096171819432472423801161273677882692945688255443711644880159931237024145268377514747736459767518109166329714289128391972373278723705732059017130932409088680791451474933190741130613034134903196803585338838287500413108172246554681283/109329058441658587638983053961992911203264367419112645816664061191033978284011412277286790059476812487621087385508091263527835759296708584090752986061812421180414033017178025858406190024393317863830134167804013884146171003099023948557594148254534492635917931072548928238589801466354702251233310064933067892820999604552116571359639631296453986290052084501675217572314906581250599999063614174419181304361984*y^2 + 116486090791893091015428664477216640809243451473698227399906144888558884752427104504523143951630918844909617845308852060900514734237969840838777357676303330401407647612115711378587828663106224883081276297672344959578114742792089895447522727813120403642169596154478660019759341735419052983313709004817490382654333167117417349045775642937273102012024690923261596247958282467365953313562802110023681174456259/109329058441658587638983053961992911203264367419112645816664061191033978284011412277286790059476812487621087385508091263527835759296708584090752986061812421180414033017178025858406190024393317863830134167804013884146171003099023948557594148254534492635917931072548928238589801466354702251233310064933067892820999604552116571359639631296453986290052084501675217572314906581250599999063614174419181304361984*y + 93310016159367594056259210259201331472128386558173812175627964651763953439942977556351089256330201171643984276312391767207059072827353903456736172678481988759120359353247630081000284245043845655253736899259235394457590161360683768263203145224114801762588138355359612293664202722260696239418742825645791412613935329191177176608677412815119975078393676441669984504089894774845989720890957869819245110046195/874632467533268701111864431695943289626114939352901166533312489528271826272091298218294320475814499900968699084064730108222686074373668672726023888494499369443312264137424206867249520195146542910641073342432111073169368024792191588460753186036275941087343448580391425908718411730837618009866480519464543142567996836416932570877117050371631890320416676013401740578519252650004799992508913395353450434895872