# Manifold: Census Knot K8_190

# Number of Tetrahedra: 8

# Number Field
x^42 + 22*x^41 + 187*x^40 + 835*x^39 + 2560*x^38 + 6515*x^37 + 8444*x^36 - 8443*x^35 - 30233*x^34 - 50720*x^33 - 55777*x^32 + 141515*x^31 + 77645*x^30 + 190148*x^29 - 12436*x^28 - 1060867*x^27 + 1286110*x^26 - 2134873*x^25 + 3326395*x^24 - 2806900*x^23 + 3086312*x^22 - 1647548*x^21 - 1466762*x^20 + 2698764*x^19 - 6607877*x^18 + 9709107*x^17 - 5182504*x^16 - 2058563*x^15 + 5185177*x^14 - 3602177*x^13 + 972232*x^12 + 216478*x^11 - 281690*x^10 + 141770*x^9 - 68725*x^8 + 28447*x^7 - 2695*x^6 - 4968*x^5 + 2925*x^4 - 626*x^3 - 29*x^2 + 39*x - 5 

# Approximate Field Generator
0.226272144945566 - 0.587626622969173*I

# Shape Parameters
-534407255658705905965992675933033665261992760334672759965897856435285261083841076105530621441754126518113/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^41 - 12394093951122492351555567994772847904856860264147040675328813219580588499596275679449363707786227657066173/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^40 - 57109860224265517726447628364921056439424123181636636384633827737218998514469711255439488895556698036561329/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^39 - 571468398935793066611589777385050609897834666737121965388094719718119025908064634685941174240014661751456897/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^38 - 150341974608344139413696387344721719645496505835175692925648965268842575653901820009317615405960247996463791/3438411121282975331140914786461449125270299583074402145920214101732384397177520794268300529380234047337100*y^37 - 1343230536758607338032060980506666597566365191058440574648933170044352742642603115163722152404575882290952303/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^36 - 36604722620791802264928089163182794645483402265871469448210563711367896428024867603906396601132668624781871/171920556064148766557045739323072456263514979153720107296010705086619219858876039713415026469011702366855*y^35 - 3146222919575725546552266133368050346865108304138015240826450369302519084280447569214698093460130294836227081/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^34 + 137596729592538150378394043163203908335360943604233308734571661774761345059667988983335203802426267406448847/343841112128297533114091478646144912527029958307440214592021410173238439717752079426830052938023404733710*y^33 + 932296293732493892454843754777097670461679082751341429668898243322517646766542409953825915843974266752209225/893986891533573586096637844479976772570277891599344557939255666450419943266155406509758137638860852307646*y^32 + 71122283813083192330021061146498405785807634065702147657488143703430638361409673318531968073802653698323834351/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^31 - 10297336724449572184667841315533587045194681587810019727646472024212608875048719837486368165065906923816739073/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^30 - 105222032225944276191324864510512173223479808372605683551378748046152698347118700873488994227150706822911873839/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^29 - 34967439654386479338369912290279899204667970848374148930314743124198020490372108169908040465211570971047813817/8939868915335735860966378444799767725702778915993445579392556664504199432661554065097581376388608523076460*y^28 - 156714495896532284974764835717351293471926604667762543531881371916162761223630404489470561059113862954567664347/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^27 + 251220548244321156974240360764072090697814667961830197324200909306622880215087260214635917622832411200999679809/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^26 - 13021133943807028543117879335011823168811544825655643461021143524333989742152152764911295152180154537059621112/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^25 + 594544121618329016940992333442057047044287350587944997112290556767326776010641480687622713040255806430869103197/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^24 - 142864956165987630316722998406331321027883019627519601376370999492641693577346068467915169147341910311945525883/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^23 - 54823386225920710594808374152151002953580648678076467766378935434018919756435003970985447244115050121157549767/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^22 - 101473157017300816148509597990049123530360387870426820819215217567963471523652796573960353208546286858697685547/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^21 - 213224421746362602672396879542686594660098509588294501883590340398701304165558679143847531881096973817030600297/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^20 + 690200283872909128674208112611154550003241705829585719722620805224813607693955742763319030382906142864697677147/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^19 - 279805049618951843006986954921309387471564499219938151312683015696995583699202622982648263739511527215823914163/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^18 + 2397443330492836796449603885403836227747796573334494340336506411228436409151160344009844749048123136623904932127/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^17 - 707358422062051552644576166952651656366291848950773430811822495673315173514967171204214294437681298921179021159/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^16 - 200808239224254466107850777317164659657636256788459409359384065350704678179414997246251999101889521509988456333/4469934457667867930483189222399883862851389457996722789696278332252099716330777032548790688194304261538230*y^15 + 2902014110531737236852764380700685493105483801803513678549671918733583019739335647160483094364637156483538765649/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^14 - 30759647318575216990840345155245230784709928042274370073795993501273395796191168759699992080993063053373951999/893986891533573586096637844479976772570277891599344557939255666450419943266155406509758137638860852307646*y^13 - 20646233087667453008101032841221212729697413094855717651222059629390241176098538046979217124777229096041125373/3438411121282975331140914786461449125270299583074402145920214101732384397177520794268300529380234047337100*y^12 + 803843226296875299746186018211873962144372237743560121931982561140592082211412208370335407429069700825616947033/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^11 - 475479596119370799929156619746055915185018798927292538728614354900038063330043834438963839038094438354412269447/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^10 + 168733546795636633764114416972539465343079452677743348321202442076156504589475812776436526288444631628011020217/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^9 - 47591038574519222107678124721514847528044262238205676793723225298970617717903971709404006983288954227382669827/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^8 + 2516565477259443948773483460895156343306755417215285160406834016034766802775621739026219970541039313781261613/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^7 + 6543574635483624690723397220498182264078197350721970216425690303009291469447637704551884476811041520245490037/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^6 - 326019694413905981544351718226354720431811570773104787815303097721832491866757116547644958371716052869615527/1719205560641487665570457393230724562635149791537201072960107050866192198588760397134150264690117023668550*y^5 + 1930405786069161424830499789907651804493410867825594766322613245292983623429742480655194595663765191366105343/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^4 - 823010663896718780639909491852639401418922943612582800407323408129373378681963755613648626737422581317449411/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^3 + 63010440562822337388618555848724170435319576930907280221661241908518250289961573591615729479881956593875049/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^2 - 21164261013907395430172038110331383086529756823522822521550897228244274295211686614182950609594297403895568/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y + 22182055014129724252677212618482257449020164656782854607447392252476698878414756302550667795619550611486653/8939868915335735860966378444799767725702778915993445579392556664504199432661554065097581376388608523076460

637134326630962420303729124246107269093019536784239956079060378004312755751772005127690036067636873667687/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^41 + 14285563640353031037254626330364817474855600180689466655644756321039653206261141279144751581505374414235527/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^40 + 62619170230386817564992946490483749702035355928835105408285004797327916451528668068911552668074983054416271/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^39 + 586363095422186693105111785092816172320753109400521742520738036020623215126090505290970609386592660067660003/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^38 + 145481452032150798058446279870996312391044456204105328262916011192425191893014449986719739301944261146023309/3438411121282975331140914786461449125270299583074402145920214101732384397177520794268300529380234047337100*y^37 + 1251173253655938979726115256712247584588354430215151317845676266304026081673627882595140637210080499531085072/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^36 + 29454705304239151963935162677964052241046589152475605204686638350713971321581991441437281270357155327033289/171920556064148766557045739323072456263514979153720107296010705086619219858876039713415026469011702366855*y^35 - 1730840286700303894121369039733101281731095545352168583445326137110995559409071313935069216266862255816239781/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^34 - 150074451381654854401131070888703200161505241026095916138265945290217029970420777827836789789791877235475153/343841112128297533114091478646144912527029958307440214592021410173238439717752079426830052938023404733710*y^33 - 826293006284151060259117753219631740769789277450302102497405179300794647078725392331875732032918675670460911/893986891533573586096637844479976772570277891599344557939255666450419943266155406509758137638860852307646*y^32 - 55031969335642621913441770903596085049161542303141176171281091105014175972182330210101429563198021366577283049/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^31 + 31863990430162028061297681593845887142106190248210008551913304491617487125131930259637534562652853834706494977/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^30 + 73220727422940786084227986108085010641102454849753388689578170015533480627290327910225765720151191206072918361/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^29 + 32672076905580790324271584127050900026624949327056906794963455531758393746093810422383787973472703454389383523/8939868915335735860966378444799767725702778915993445579392556664504199432661554065097581376388608523076460*y^28 + 64493925600242044395944030610905443969865137754302892198340342649686008640056710455574118531384552534891624353/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^27 - 317610989899995069274725661552093317277427664845701704737828159021324384081965117665219403466866890753985912991/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^26 + 136586874872884859161586087151281583253644729911504710493596424423559993793800392245254940337241537727808587863/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^25 - 1206189798522890510808856213634938234847634329503375389881278802186483941733599262480395854921376076431436389103/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^24 + 429830317703026112458794584671259051709552518423924710253448608741069469590493383101138922575329964552080394692/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^23 - 310863724489332169364919098921009125845157462163079317969752318704661059652895133245392752622239478571894906767/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^22 + 433339823057860002163011704854716031943864921664261860967664110792261644497598728457726222954876755726196609528/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^21 - 149138078155335866325481218971355193769868096631291538173035334687223833817513645263984438849665529902358723547/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^20 - 441314481836304049797216174114559445826993815705983246875620165615362512472633015974784857282805539533440442003/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^19 + 566927041403722904673620950031255234581312180923751046384335409329793528001874087221570308586275397825112021987/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^18 - 3773900382642628017266608917944845377898287045413146774870573647854192828356014636495311506479122484213538512773/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^17 + 2388825066161405326785444340082648649465650548145038505404073079037169194251100342371868429381635871398255629141/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^16 - 180190310710118463094969259975395191204276019911068871777599332969659288682680051000945366169763545653603251403/4469934457667867930483189222399883862851389457996722789696278332252099716330777032548790688194304261538230*y^15 - 1233013844745880863837010747654158162106687432940138993811894674473873334401369381492647347045837183808112011051/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^14 + 43868611102131743066803500527006063494370313313543896958831296359651193824089767812266435999505950648943427237/893986891533573586096637844479976772570277891599344557939255666450419943266155406509758137638860852307646*y^13 - 101800850867726943085793462270738396045336152546866129899934412761414026320421321959582127274971476827582691173/3438411121282975331140914786461449125270299583074402145920214101732384397177520794268300529380234047337100*y^12 + 359792182228885462817450457245424653396433130155563248996716718734640380581136085965790781169626388554024203433/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^11 - 18196366949135767112553940088963212175428712019069378566408674896900999394768620048269605534516911729123769247/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^10 - 28171878060215514181120656945511335196148451394440880386642113807859773745952177650077069218508528289090210183/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^9 + 26660876736106787592418912809917113271903430785139244787028994119375912356884490999247712076420395089832269473/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^8 - 5436464459301707899434497718191297734946526350990601554793896656255962822874916199131478516241155289326562637/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y^7 + 9916739608761767936731494935524748459108171329202667571305975263860738567156636730343173942450144745576318237/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^6 - 46379858693302765723921075606922783075586219319559048505178689992902694992113942123773579384803687776547127/1719205560641487665570457393230724562635149791537201072960107050866192198588760397134150264690117023668550*y^5 - 370065279452497997155309542625742034736202940183167511246463910971918004994135695997514220489854119374015557/22349672288339339652415946111999419314256947289983613948481391661260498581653885162743953440971521307691150*y^4 + 271528501479527559746092859285354904018687891038597867516990816219970323148522940050446439542656126606463689/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^3 + 100154854469732052993701940043383508638716817343796800125214626749600369752278137663792190460188059284607549/44699344576678679304831892223998838628513894579967227896962783322520997163307770325487906881943042615382300*y^2 - 32938039510334537899014944363449900047579635234241627668976744415839904893585895870217258303581540997909918/11174836144169669826207973055999709657128473644991806974240695830630249290826942581371976720485760653845575*y + 9474276170994441766932371120732801390964771676328118339358454520939484693745395141203111997830362649594573/8939868915335735860966378444799767725702778915993445579392556664504199432661554065097581376388608523076460

1203667285370044877293783128493854392219385332526483862921193327660927702375468544490407518388693378501780859564196862235418012746156730533720751258783147/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^41 + 26980485508877378781747471277423476728244137076157224087616549464420561463927948522765599706365592331447091987273938026468864851815670697952780024609630617/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^40 + 39383780350256307064653990093413635334070036178359134678955998007355842965748495103384848108508184445496678165982050791555047055059478341888221518682083262/261474246192449154269721165698833062853011344443593541548761972890386907204535667833343095727712303714618054518153317699089741063857551854873927974266985*y^39 + 1103484139754724595405082880120287511924693092680791997279242912660731993800987964088745083373400416719333807529914484779436196351713577086713875648681338313/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^38 + 272473625903812104710815510823415543921259120578749340305124325115045840655791702485717482709733317787805315695119256105153222631505130289566828821652751709/120680421319591917355255922630230644393697543589350865330197833641717034094401077461542967258944140175977563623763069707272188183318870086864889834277070*y^37 + 4662110549117754200127737845572953128961749951453086181474448695953007023833814572481518789626081768636222205787502114987288679435991588699219551798357784109/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^36 + 36079432275119593847701754798690567180068610477740111865230091956533156916802553880638454945945071386998416055844532308564615673881330851618827439818236273/4022680710653063911841864087674354813123251452978362177673261121390567803146702582051432241964804672532585454125435656909072939443962336228829661142569*y^35 - 4229068382707848179446154526372321958599192439622550555896719216285264355785901625057358519623209326736153276818044662396301724737801227681441782020051232901/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^34 - 97503363031362686912390475376434999559600871644082419050185882819724305163026833544008158155709269783061111941614611287238830853828405524202137194767936265/4022680710653063911841864087674354813123251452978362177673261121390567803146702582051432241964804672532585454125435656909072939443962336228829661142569*y^33 - 7694609851931330593215514065364762211870736812580327008112165199973297135921487913515535801809159111042913981702963664158327121705690031483330375739112541568/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^32 - 11055224278363289690727201643398397752675269627618915336955205315324938577442042450685301870525394846711813529611390917811122394956752075097119257470134155791/174316164128299436179814110465888708568674229629062361032507981926924604803023778555562063818474869143078703012102211799393160709238367903249285316177990*y^31 + 5832416284572170376851171353315479312756016662682242689109608889038740608067343721321026620330669989832267863253986803211628804331120302033108657874715683812/71311158052486132982651227008772653505366730302798238604207810788287338328509727590911753380285173740350378504950904827024474835597514142238343992981905*y^30 + 13267012556023550769361833538287491857701782206492181709083283322061051457472165655646835979073746549536227486428132105568774170668783507686661726885206355951/142622316104972265965302454017545307010733460605596477208415621576574676657019455181823506760570347480700757009901809654048949671195028284476687985963810*y^29 + 19422725406580821058670872405556971805679063135278290947407558757286703955396149381232944693744249089770464499266638460738992149505515305440967834101182739061/104589698476979661707888466279533225141204537777437416619504789156154762881814267133337238291084921485847221807261327079635896425543020741949571189706794*y^28 + 9734558311901130318716337520537855145174022246068095186499926201281132509339417043446616450879503702241069790798382361588973830560234317015928317168619027903/142622316104972265965302454017545307010733460605596477208415621576574676657019455181823506760570347480700757009901809654048949671195028284476687985963810*y^27 - 614881379360411102315446063924374443523298745722286149269916206250912105817144536883559599026092598671931280265984228470517951641643515479497830461588923957251/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^26 + 518674824647787217273832390155847601719083902007103372726425129904538099480550817852675432168007338210445713758001753577073103457365819819911974908126787362831/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^25 - 2153240598136431333920458893935453664413156388071692535406763030532617305018765902688358824207739946122238734032296929967085536621060862484831805668036945095943/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^24 + 1563432108728841102783260059809828874175373957155811394494676567448659530209828593045718056262280003863377322209783646342139417761995158048533832062464736713769/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^23 - 1054682298243284208846754142169646782064775960622602169391480299353176072101301831520037924731814566973781520760026293454069309739346550622713191983279419165279/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^22 + 160240702977190317875412584636818570388045328233040187498447253125794127822000465587403519611691299475233276937866004236758466907697152988809176492649647076034/87158082064149718089907055232944354284337114814531180516253990963462302401511889277781031909237434571539351506051105899696580354619183951624642658088995*y^21 - 412028414480374370498215677368976292343675404312824920540841292613175717307448732478648441052367389554929098897882816032498957340856863734869707917990882741914/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^20 - 1032105427339468007547049498496759853784206486640410184756185275170285782284639967236291889615490439422812701445543408558049218195377542739367566301306843126688/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^19 + 1183777419582897977075236263923231437286739771150912073800274296686395283662314589207019660684696386272444363228317273355518321776739937370558074334681222239122/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^18 - 70587315090503995404709147243912849405594322267090592258208872159199479851631747154949771098017512491493511237732490874116713313150749747261605731710887549427/15846924011663585107255828224171700778970384511732941912046180175174964073002161686869278528952260831188973001100201072672105519021669809386298665107090*y^17 + 1469838477670801346510944442076305430601427121895830006680255832068413330036738564287677110332911044629362805331998225108400501909519093944055598874304876200842/261474246192449154269721165698833062853011344443593541548761972890386907204535667833343095727712303714618054518153317699089741063857551854873927974266985*y^16 - 266488920336988840374453949622534604969175245533792200552859008481448837803800077825100871379001395778016483969569846489664924915598629678447205669911888841137/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^15 - 383725394341890837611107299425050290380466538306625577409948270269499023144028533263469053401914543003568468874565506275466397907180830408462870395918923213249/174316164128299436179814110465888708568674229629062361032507981926924604803023778555562063818474869143078703012102211799393160709238367903249285316177990*y^14 + 473589612842058788164482140852187080172663747759233854766380320755168834993815891451456661824622726091555644588901919976368935091752346207872784540354084163947/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^13 - 16730160023792942901595668227133014769028224368761750486508055994419300896674249194702931273005207601371275692563789953548211511725444969692345568995166624503/10970947392690174305023265693657331308517958508122805939108893967428821281309188860140269750813103652361596693069369973388380743938079098805899075843370*y^12 + 80252785558686539432391601217906361527118488888815520589459943410572996377605934797639852410187655787475470710447351208921675362213510161103246324849544086411/522948492384898308539442331397666125706022688887187083097523945780773814409071335666686191455424607429236109036306635398179482127715103709747855948533970*y^11 + 315323954543056084668253668951087231691396859977431200633161830236763945355621103717158034202877603147752272177388904999241688128989563457207426032226617151343/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^10 - 194047080346388962186041745184907770467644412579106581968211410191475835729591893481803362865431976965081349322987664357283836439072709090712759934757506641273/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^9 + 90265123993103804117019407428191377789132994193732521762100524940460605057330653659794848277682032111162876059344109142375047688190107934793115655265632956583/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^8 - 7845787700900722576264502089748609866082426587614940436170582210066639055015538066226214841275823597106009460233713340349591492709170101887965869285987241968/261474246192449154269721165698833062853011344443593541548761972890386907204535667833343095727712303714618054518153317699089741063857551854873927974266985*y^7 + 15878483128394257692131258207270602318485903054481296733903226053316476658501612632745835775320339213254815395730123906035309939348673430976888215834116321067/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^6 + 32297625969139973430444833538453863345093703373924076625623222310501447287538278789250045374009770599202289807389373324336271910313439519902008449685162481/20113403553265319559209320438371774065616257264891810888366305606952839015733512910257161209824023362662927270627178284545364697219811681144148305712845*y^5 - 753736847184889225552521860273953559533535966096097261269710081540468312029599798161355357764209839790854610526372871387435173293321406767231575690656094974/261474246192449154269721165698833062853011344443593541548761972890386907204535667833343095727712303714618054518153317699089741063857551854873927974266985*y^4 + 47772981342818039009373904856893481858639003489722797886671461528699555227325890212429395446953012995408784277420242563018305084438664070558131034747418493/47540772034990755321767484672515102336911153535198825736138540525524892219006485060607835586856782493566919003300603218016316557065009428158895995321270*y^3 - 137702546989744080164515657915562452093028677328271070041277602364482679928787511738628396664179313594955960390146596701285904365218670677797833486336258081/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^2 - 34084753574311153643695072456327594820442916745196330041300635921961230523860515422085091554055094411752321709819539745534858267009142836741824350253661296/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y + 2797170301995763398700613435609533853203819145844079447835198368138187356362959977647986975827858463137980961092068566401406618211408704053970316721504449/313769095430938985123665398838599675423613613332312249858514367468464288645442801400011714873254764457541665421783981238907689276629062225848713569120382

-152243897079796094786406633344752685253704105360581586481904158834293998779164363634528620030774614392654102943937036106532815853167689337811727627097412/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^41 - 3399600242488045499593515063965097986926338241371824451459004326659095441879943754826592659276169509110801419705841826686449927034946434944156812059458339/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^40 - 9865018388724230771892360120609983634517641253626778300891196176283753578594965221429646361101865648160423935574109206545657510801247184728265416946521731/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^39 - 136970985712401161120568948894134335277133332524454142308606748624907111214054415022631856803035380836038828803563074753494426455217247007374294155206783422/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^38 - 33511052063516880896743001567390394795011956917671273350891055798904093637270039259181424509598214292898924088545829625693655993883268503911268623411788251/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^37 - 1138798272140316873424477378417631972223104041442608447181531984750917669741670986788653215471143018234587333734850746008230264611787697590058645683691311095/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^36 - 42850563538918319091592985850625499395541020418209556982705351901156317182182913383664181237186825200614241338521348314327187735131491788432433246432756447/4022680710653063911841864087674354813123251452978362177673261121390567803146702582051432241964804672532585454125435656909072939443962336228829661142569*y^35 + 708742795464771322362435702898621198893141416280663105789658956486939515369958395460395514699196523681230608140242382856371221930071062501319380967143225428/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^34 + 123148853112502371171313351256154560734874998760577869597616056766077624219020341881860091162249595816719907778926458414673987709707599048837921288388912602/4022680710653063911841864087674354813123251452978362177673261121390567803146702582051432241964804672532585454125435656909072939443962336228829661142569*y^33 + 9335480094278430533205289218209564578510866046248460902445246363029163322166989433967319159042789185097345245695190346850435679451796738803888314669556748326/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^32 + 1299036694391922364864976064999054138718997268976218309707987810241714980002449437635753037579209201798957694635651085480052577960039206829397034117534278893/17431616412829943617981411046588870856867422962906236103250798192692460480302377855556206381847486914307870301210221179939316070923836790324928531617799*y^31 - 1589304556775897532367319509605430885705679280603894969922092266410202531154790765587991049378299568461950783585132539500622388419014045742352167739991446721/14262231610497226596530245401754530701073346060559647720841562157657467665701945518182350676057034748070075700990180965404894967119502828447668798596381*y^30 - 1578551170912108409512662592299281867197618441912253429353035373323943329705575001680069756649054919466576647415426289845335391228661332687938195807879147652/14262231610497226596530245401754530701073346060559647720841562157657467665701945518182350676057034748070075700990180965404894967119502828447668798596381*y^29 - 11731155976475391761389735638058825204921707557754674715315532687237043497507936827887146541823862114924893594382488840094164412285445205740902336831895980439/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^28 - 917988499366538668115681478044406625494827742359903096133764018203349494813275785635282079232006264791495226805962326184719873112598726562077030860572723152/14262231610497226596530245401754530701073346060559647720841562157657467665701945518182350676057034748070075700990180965404894967119502828447668798596381*y^27 + 157428007156883323964486528181609872398093789852133451800373066173647976231723561613395403994967654118161896658822824641493178012538113916926546539598811704519/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^26 - 143847276454411772983991927580583549359469788423991397861422669809905496014844886170831414192562624767585778605446460342696094015997382486382538157374027512595/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^25 + 281557321254395282062146915536550352697727661214675450917332464185690061616560617673513078636856795726769045876861833417962804590197735884960228821591486428950/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^24 - 417730526279917810594711322580434672886726839826021893525013685206486825219118623598589212600146993827919504944990129956932530874311607903310381204785036588608/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^23 + 296730584472216176486235800428966947901038807075443645711054071316174994705575144119224086167506637358547176002842947603341365337221743849791265682829652674970/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^22 - 42617695551022620644083353519150813411028018058993512765423620818285587989035177126196516069694865763263399150550041106499310633938004019788171083443500682819/17431616412829943617981411046588870856867422962906236103250798192692460480302377855556206381847486914307870301210221179939316070923836790324928531617799*y^21 + 133290885550349114821713627985650832382143187490475783918543648346371987511323246051378989001556158650111209606231216243867109739892540929133951552855090770466/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^20 + 256821168712602941214394678451707236200605808157637214080078119127438847978677038778723541623872917592164486505019164265357136129600355274834154399437292624749/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^19 - 320711545222834961556861394979021154742990397137979163734321124644902234234401427314364444675155086738388139489155441822184853493485171227619979297937544330894/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^18 + 9151048327121582844679517623917605811473435553730102496740974631438732324985702388471582960139354504356514777981722765127046538066620782049876544368774053420/1584692401166358510725582822417170077897038451173294191204618017517496407300216168686927852895226083118897300110020107267210551902166980938629866510709*y^17 - 395940380030306575550940373111396534043456721037120779046957830581571941989902492427923740344501848130557695160600736599872987490885476540628461105052142442408/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^16 + 419782810064660056314282963112371043948818944334761890222598718075666308747183316535042965864891207232110185287566563879368621856143129317327038397330761822659/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^15 + 46516241870476765781199859082291482692632065982414703569413673184487315855931525703004419511595762823412778726036595932411186501350459908351706702208107913363/17431616412829943617981411046588870856867422962906236103250798192692460480302377855556206381847486914307870301210221179939316070923836790324928531617799*y^14 - 636451402487347606923780137983829924571680040755026089678582081933559134599246718975862346792153563966296959710934907275740263003316281945258752502273116088490/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^13 + 2429160995131355652678236822460321174652082597494093838612183314481267669097487411397622775222722244187574885829882122722279676158671957623048679333682433062/1097094739269017430502326569365733130851795850812280593910889396742882128130918886014026975081310365236159669306936997338838074393807909880589907584337*y^12 - 16442109877845013593324703235409646146310380797774270091845538569432035659345779120044445318565404134825819306265210570731996228172742482172851313161841750620/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^11 - 39565775433529434524416433741632257681163434870282562116596233696371918198283531528835662560605883576811751807767317771138278714968998126304089218128974205210/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^10 + 27497221678429134244758315528496677299249771160575834067808125324974917874329391311339631259351501361735214825305500684056722420798914330661646853482954672203/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^9 - 12751820842462477234346460169865231895783476425426766544037360769161624868839987075983563444671836938558371907029391821809395062921261600660310545036882253410/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^8 + 2178607490429807588905191964610162972992627965231484942786645661518156198904481749896736464916530310003306573984105491863739949113412015401740745396685179216/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^7 - 2401823804971018037955542447261251423124803539795351904492062355522842223712171492577457522301930146025193860861217684495579079593533741429530221531298351225/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^6 - 4914189681775622719424787581590438555438730926377239599560046466315531956704602367861032935229828449432409073560494427337018103376834413545648133748603459/4022680710653063911841864087674354813123251452978362177673261121390567803146702582051432241964804672532585454125435656909072939443962336228829661142569*y^5 + 204675960778417879995646601733110610917260916093926048350002508414659477542905464323372448909410312280298495858426857588763450130792597318664506020022632988/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^4 - 7143665009350773875524033604508069217159887072033664981789412292899111503043177347798919802019575001076715854652506835936484628218974521522937792549028519/4754077203499075532176748467251510233691115353519882573613854052552489221900648506060783558685678249356691900330060321801631655706500942815889599532127*y^3 + 24098216072928675534210204175226819745629008957296161884763641813839195720293354108981257827895921007444470843454285810297359294797277717573007713993695695/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^2 + 9763881454644725607663889770721399859939412610511226161284518920416146348431800467625795536770854954926610916960251449460885008672287520837629305186957945/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y - 2449401423927830048766739024867514797276958522359562140429099646642964082728052413596152604664628732053530882941840187027507297633921000700867351455985161/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191

-11919697188976774256556392292530685761453673321316473512883895550350738037915529540477724909261037561479392525504939380484641433546357652410726027859144963/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^41 - 264573380320669813673810325425107113103792498931790096544530177214653151021383513099655750419732973606785083770948600395242676672295853612188329791968276379/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^40 - 15205756813658151824731406671613863544770104188610593047492179011566565229123062233416569196731852939694168411705546714885969019448147797680929201857956047/144816505583510300826307107156276773272437052307221038396237400370060440913281292953851560710732968211173076348515683648726625819982644104237867801132484*y^39 - 2079869610231055356326764990734399916773357848671821720609296716995789238104445055272519618275802541925436223765001350938586566292189694243365975669254616891/4344495167505309024789213214688303198173111569216631151887122011101813227398438788615546821321989046335192290455470509461798774599479323127136034033974520*y^38 - 6508731491459201785248397290882749672927152738391014993684981306553838506520142907086531367619052310664121779757551273741230049804980223894618667019142840097/4344495167505309024789213214688303198173111569216631151887122011101813227398438788615546821321989046335192290455470509461798774599479323127136034033974520*y^37 - 190876921303208934492214002060693366888473624937779686079854327792301279307080571376817105496319212592682898171355357262840481872779140132677199590499238067/49369263267105784372604695621457990888330813286552626725990022853429695765891349870631213878658966435627185118812164880247713347721355944626545841295165*y^36 - 9744831712456822824802938559550695138492801344946701214428597982835321587889618158470020422331499239475895525143991510503041831478941246054714292515700717721/1810206319793878760328838839453459665905463153840262979952967504625755511416016161923144508884162102639663454356446045609082822749783051302973347514156050*y^35 + 78223787011825496903770030372565063407497871979110979065266982431804261666066313792737651003901558494248234654218002123282411213591073193020471206906921386437/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^34 + 62773328593456045694030509728805834408989513442015261373281354617336767456814548779120117951220172514671392364780704631566263692739605545643754946978628718231/3620412639587757520657677678906919331810926307680525959905935009251511022832032323846289017768324205279326908712892091218165645499566102605946695028312100*y^33 + 339331565947741350392568655309785683175775364157669086808222659252504899068026373729863556940988600976257328590506536846266258496659303297355264057219888429403/10861237918763272561973033036720757995432778923041577879717805027754533068496096971538867053304972615837980726138676273654496936498698307817840085084936300*y^32 + 88478044611194733364900602057555420260668711764383620691455302164089272866011333286129178912858781887974410142984670874426651969726068470955906032878079149013/2413608426391838347105118452604612887873950871787017306603956672834340681888021549230859345178882803519551272475261394145443763666377401737297796685541400*y^31 - 767422266923761203623457417146114504409023427195013362818278250512187764258679297205848848471975457649883521923713087112051669181157637832501507077528765897629/10861237918763272561973033036720757995432778923041577879717805027754533068496096971538867053304972615837980726138676273654496936498698307817840085084936300*y^30 - 1233385851248381965665347253159922304966714416514794884275438107413871118499511442723488992128394808446070435988073233536308917684998412269644304676977380469573/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^29 - 834978324591754021892517760133616614374591691071380291314460384518007909011398143615982652809817964693435099156753146069157978895794874915721744747100621827609/7240825279175515041315355357813838663621852615361051919811870018503022045664064647692578035536648410558653817425784182436331290999132205211893390056624200*y^28 - 335378041372515304722458788810037674614389557693756294663733622807373690783427259497018221857412833675505716325007516271391405606375934866494019941046030248029/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^27 + 6297790552018937506217095418929832333450264196921556947357560258593048693364857747848833978091886492050019964764743176379313999384559219644424032004162321555401/10861237918763272561973033036720757995432778923041577879717805027754533068496096971538867053304972615837980726138676273654496936498698307817840085084936300*y^26 - 3211240538036596295770071396426197822516297140823268317832320656797043479419780974983709478105155152092848836118931987606052366056996026721323482638729372248127/5430618959381636280986516518360378997716389461520788939858902513877266534248048485769433526652486307918990363069338136827248468249349153908920042542468150*y^25 + 2079042226860547484876343856063369220995362940620758815146166693206759762628473216772758030861070375561095575188497002851392760083558441917222991006766166493901/1974770530684231374904187824858319635533232531462105069039600914137187830635653994825248555146358657425087404752486595209908533908854237785061833651806600*y^24 - 798333758681017153190696870379399971574544855571798516602707540400812992074257614102154579387296452466104570012519870510774140617816704660772682668306102915731/493692632671057843726046956214579908883308132865526267259900228534296957658913498706312138786589664356271851188121648802477133477213559446265458412951650*y^23 + 3308932437051219102297920163373619128613979442450206697225614043138607815201691995537177186070379667933830040573280400785630337063276287709122944640871714284137/2715309479690818140493258259180189498858194730760394469929451256938633267124024242884716763326243153959495181534669068413624234124674576954460021271234075*y^22 - 1590137419254098116603278467287748922799535107495857681755776049077014947997280104675991594379667242466301645907218032475073743752728967851318867020535368127/1097094739269017430502326569365733130851795850812280593910889396742882128130918886014026975081310365236159669306936997338838074393807909880589907584337*y^21 + 3351942805661267635856894780418430990700627513309609292800629696388836146331705685428945187471945834810805692280041331315991945598170106080832775836766857333531/5430618959381636280986516518360378997716389461520788939858902513877266534248048485769433526652486307918990363069338136827248468249349153908920042542468150*y^20 + 2021070104472986465860733462522723688673388999878852104729529900258251592813367254923572986342411292233248830416229281006346528191438976041235823796102108024417/2172247583752654512394606607344151599086555784608315575943561005550906613699219394307773410660994523167596145227735254730899387299739661563568017016987260*y^19 - 14084574865130487985214461653512631854210608474447971609151154852891682411476325266382228205021844331360672985952532439958733046732560046607789286968317300482031/10861237918763272561973033036720757995432778923041577879717805027754533068496096971538867053304972615837980726138676273654496936498698307817840085084936300*y^18 + 8123951398264554740274269545099723403196565367433903288112910287249046446497462349504696797108175780074967962365531281487901236836549784674723923832280658677941/2413608426391838347105118452604612887873950871787017306603956672834340681888021549230859345178882803519551272475261394145443763666377401737297796685541400*y^17 - 16878574366635941316214482537033201509563491392520733300725881487029922451176781612294310068413200588078839918248612012232972209085045452415694894019597154928947/3620412639587757520657677678906919331810926307680525959905935009251511022832032323846289017768324205279326908712892091218165645499566102605946695028312100*y^16 + 831634083455781806887617811533259267945552380692926091840987429778147696151157699315445506729646745387191398549732959545461034091837855187802199518926114526245/434449516750530902478921321468830319817311156921663115188712201110181322739843878861554682132198904633519229045547050946179877459947932312713603403397452*y^15 + 3666195273511894866202838287727022923333514699666267936952216705591327687736574399616776448249785551057198241932622951129823142936776399194048600265799176348991/2413608426391838347105118452604612887873950871787017306603956672834340681888021549230859345178882803519551272475261394145443763666377401737297796685541400*y^14 - 27654216225438231831497193185130904896703003364871997840866288848091905415389631504462682099688319451467599910310071708158231801038520379880375286629476984234071/10861237918763272561973033036720757995432778923041577879717805027754533068496096971538867053304972615837980726138676273654496936498698307817840085084936300*y^13 + 31821185096319326301769628403654091116235214048951271275159601941595423043379876685655835345303313199101494979968404875197483546305039141475914541077962510897889/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^12 - 1704495338137286484470172180655624744983718369763072749621145919465771357825272601834408591136175278309023460983954103095397413554857883208014499337859579287079/7240825279175515041315355357813838663621852615361051919811870018503022045664064647692578035536648410558653817425784182436331290999132205211893390056624200*y^11 - 3626703192726078027689054458417920384293403646572098015607552273490741978935914247999366011105142223587666716100118456419793624091091990370665954346985592243121/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^10 + 2596616837452719903885151729324582440373362435146672030247651555083835942105078935688301223662404875889485546864798513144734741398948560305590061034551841422339/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^9 - 1138915192323049586665251786129466227514150169158307107618876923945418410583541004403284069238004231927496498877081942376886983519927043736824825153307082779381/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^8 + 24299090578145728508485180062322090875490545901564386745823372427503044177078709274505327089519243240982554126246599432594437180092854501309901989254434456191/905103159896939380164419419726729832952731576920131489976483752312877755708008080961572254442081051319831727178223022804541411374891525651486673757078025*y^7 - 223094377342948020797008627126304981551583356450354369303961502762610172928440241748560402470899500728835348260817520869873629404812208884947438083336806699637/21722475837526545123946066073441515990865557846083155759435610055509066136992193943077734106609945231675961452277352547308993872997396615635680170169872600*y^6 - 2085221829439289964691339472794413261004387921402476356234302107808869324453589594000459560902255574119732526279778495604897734131954235435867123975917535987/3620412639587757520657677678906919331810926307680525959905935009251511022832032323846289017768324205279326908712892091218165645499566102605946695028312100*y^5 + 9477258682404676980593046892119926136201394062319664717982779275428228721440990802804375027853360191361546827325623775938716588255721686196200314636305332107/3620412639587757520657677678906919331810926307680525959905935009251511022832032323846289017768324205279326908712892091218165645499566102605946695028312100*y^4 - 7665027079006303926169309191020770635386389498406125876063954894013590650168750925203658485726195987360046175035564155337094992042029811819390591796768416571/7240825279175515041315355357813838663621852615361051919811870018503022045664064647692578035536648410558653817425784182436331290999132205211893390056624200*y^3 + 511513992838722656376810908542405983371418008537655544847152415232586748989798822466907914886308492762123412426127888306279574292207167981750156113553274439/4344495167505309024789213214688303198173111569216631151887122011101813227398438788615546821321989046335192290455470509461798774599479323127136034033974520*y^2 + 113353414353369223934124207656355310632838614247089079554534671206363030147679031769536885033474828023086152462869120160638755589756711181817325057474116634/2715309479690818140493258259180189498858194730760394469929451256938633267124024242884716763326243153959495181534669068413624234124674576954460021271234075*y - 50309862593530757407491231297285290687568146611181155893049183223866139335172398583968846423793251173162188559881889283642424129816505109782192850062134713/4344495167505309024789213214688303198173111569216631151887122011101813227398438788615546821321989046335192290455470509461798774599479323127136034033974520

220849964012613179312156534991696690640246196377458376860481913489025332078688325827194240432242670436421432145607173420745596333280624886079987079760492/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^41 + 5034849083651835239041179057614115247528218208982615717230097183766160647455140729093886878624412804250612938288840280622894104514487934952622897950204274/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^40 + 15087322634999995627422289594753684203439739569885496183762228393478941104143540209502095311147651801451385667478168600952069548846338674711751233059301610/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^39 + 219313192910331144866789797069004448509769810437289287356072681859727631673480408604630208113211430207132721455247777356177692799315369146864157650106489929/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^38 + 56123849971148846332947996115230967720993993972226149187328834910831864843647094856986502419408259495750215419585604162178750700944149373478141467166417578/36204126395877575206576776789069193318109263076805259599059350092515110228320323238462890177683242052793269087128920912181656454995661026059466950283121*y^37 + 1969470124731646770108143834910361557055015471036290392891503649623988466704966881351844286714681922923603127786701784130091962299934066272903086322662660838/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^36 + 83757950913995018905701779568873215456814918550434269903257829940623492207462145065179944021966114564884337588269949016770019925059546938766685109620534020/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^35 + 287170796927735494707182929287819245332729371349189338444365595158657994151236549604542790460015062960029951514750038729340898418688907487324193168637151194/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^34 - 184172496488648133927728061535552852824622736334108081787621363624422843720551044657087909090815792142076914559701631914803981021386909426368831406658051128/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^33 - 16926063273646186323275276847236982131410335375238544429825875657188795134327273482244037935648082248869546872999093904984016997342925845486409592078680942394/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^32 - 2678067590048791389886241778499728482286623505305068257893701926519942519221303310014646105736101734113005261805464561817628369293025208454821385105778063390/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^31 + 1447477862436207578693907703086797680205699876340027335938292887035531889530603881922658100283403091053856163745014947018173831920564386508301164023164842685/42786694831491679789590736205263592103220038181678943162524686472972402997105836554547052028171104244210227102970542896214684901358508485343006395789143*y^30 + 3203093272664946884205195485367788008200198756435797745918986552805041998129483781261835839813495586953616904016988232190096897394731938302864085955737890281/42786694831491679789590736205263592103220038181678943162524686472972402997105836554547052028171104244210227102970542896214684901358508485343006395789143*y^29 + 21915949752119560014583286524612263956593000358867151655461875380247188820240438702113689402381474114330224415162211798441552442945167531601674242760676864636/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^28 + 3791912119932506447626342435025958709678539082373477624421154902737458007855105615179111848576365541771241071592270266342049218137706417947248580608839288130/42786694831491679789590736205263592103220038181678943162524686472972402997105836554547052028171104244210227102970542896214684901358508485343006395789143*y^27 - 216214318471774297866691058542953690073600186824558934368499366430282638840672243483462819515391558954445654252343687764149322743945312131196622656381664696501/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^26 + 103255365817795637785544072862076085617453544324487163612762023493525335201714587211055840051824812738971370803181603804022883833135978658278754809446491348736/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^25 - 336663801263133137441509325835544401636365120304905248763074560912692736205389230821196459269515995487423925770910554933762890754079553480509255975956548119196/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^24 + 436318118302512188467473448362001483098304240478446619376330194067171752963936265335485346599135984112373970656313011646043503442194350562748145387705991527203/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^23 - 186720123307845350130764176490919824998820680278173095165019264956743474942944320002103664902670506154743536162931717728109851772615291665032555580335709213452/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^22 + 46250870916902714939059079897698631555821968040986900480744083724649391053761157186121506184354951553485822493558793643611167719995342903416768538608517700639/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^21 + 29041682775939172552056283698412789527621040061631017793665891902394520281396231728444800196260101864957054675634967861796530259974128981105421228780616271400/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^20 - 413824568596320532321431766108191134652164004250075176921028013950809010564983850928938593864487304340822140936509859276400800884573750203831373899284903192710/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^19 + 278586614937471744535067427028677495087429256571949745261086087242723718402082107436968577034823001256220361185730062982058643454710081904723859833483784039372/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^18 - 11580107959477038046344135887930380507590466053397018970020253123015306743344030252937469725165261474331500226269880450304395589938886479183565238273802142836/4754077203499075532176748467251510233691115353519882573613854052552489221900648506060783558685678249356691900330060321801631655706500942815889599532127*y^17 + 386636045916229189529622962522804864105709618679140690537925801673902246350897559094321556729081144896492547836456336388368183237830272594065641969468267732718/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^16 + 62486065571318904575282952572419089097531992268599940726218924183896971481613248423148782300291764248461335140327054163848707828721994597060531705074145128449/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^15 - 79694530851650802992472922843057253754010294718238617011117610135357885800455142835372596553755901264449460870492267844966475544904444996157189392042539911418/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^14 + 602207107595422636220575033267929031130306999023020771642137056281206906380635304324519927269752345235948652795750652698872963021089849118624325189376884526854/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^13 - 1177589685840995819609092364786859170989591276452195792929329845798555540993389065727419445020946579934973463644716262775660664153882589877340248076153015032/3291284217807052291506979708097199392555387552436841781732668190228646384392756658042080925243931095708479007920810992016514223181423729641769722753011*y^12 - 20475200072352368685630541227570935136280943342368888561693001341486346011237562303236051439670375032077428435980908522384928725066965989056604109279528761164/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^11 + 53248788368693360133623751176129477146824266824292191057110687684713053031086039249396478720444991463350754780376730516806678996509235082821174125739918509750/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^10 - 20286816649805415543562149406226345155651896106585950417322604390931826650403275743694404018580305986952159864231092138506743575443007024145293623840505382545/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^9 + 11379681929829361988609424649467662242225825415399408836761660888023285196737307610241775777252623623621034114732953793567186667725699832240560294237157989479/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^8 - 1582431848315957619646629665678503146973090310476421432655048462946261887818779940558363120780015353850305019056910141584734155879691830798789093137338170782/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^7 + 284347569514883265270449298761415631141350425260355488253463862479656001187931655530870567024809378298611067188643925262692910784886140305604135957682828433/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^6 + 27164399849445600917653976797198230636070824470623473124238105331271418836285803397835003316785488607056852599134256948146464140082037884273010222500303988/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^5 - 194471119702927622099719525982403941054909765208759894449148328340128671208157704666244033929128074869841381369950222682145420460312982877746513442281326825/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^4 + 3286755903098794668075992855854031605590737797020861006480468059586297650041345363955048568719495165492102188893245682391880530427004346380325788547020076/14262231610497226596530245401754530701073346060559647720841562157657467665701945518182350676057034748070075700990180965404894967119502828447668798596381*y^3 + 1374612450760636069206269493589191671224182295647134738703177728412669346355433294785993859295535078823793373491870520170020658511745831018319011942390445/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^2 - 8454390936875956840211934539174947734158301868098464421009742386542756643120872875993425667735035164409890830472570904855888211104767577274611587680779343/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y + 1379250472060247764915441847091756782474150837004320548236589908353879509617139108518675390183354500667325538468346164874405339081179996458875068212598033/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573

127977441091219935268064715503439903495790762308959204051826539068001062873572775389626756183918962942552159180230950094410150654392544681340065956108466005/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^41 + 2844955159581143380604598533181205457250106042437347124238907698874779712088922102165404961831898755032689593952291522503761214403456535304865572811138821349/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^40 + 4097758693281418501783769229650630099626657644646863293005353580132896715798188745448616880750736743919538242010163850650854702929632086000675966043649398181/1255076381723755940494661595354398701694454453329248999434057469873857154581771205600046859493019057830166661687135924955630757106516248903394854276481528*y^39 + 112520653170147607693176857858248891486711014579732544424976605254397799808622314434966133345038803743321853856770924817997345219385901495352172949127580218681/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^38 + 2472230866591944719363032836188495872230875840412442368035564810283670236431328517613392267301980872254929371013523177269985775749080658934891527796092108413/52660547484912836664111675329555190280886200838989468507722691043658342150284106528673294803902897531335664126732975872264227570902779674268315564048176*y^37 + 57199384448490235479809299077947214673322473541139235226615567456204846587268876489805057636745188835717644813781925263345150985536213260194932044165316964899/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^36 + 8278527190727022562057606535793647561243316943014312728983615511942543580357704497745956319434157780002985920125926728543360675110573989758659553992414707077/48272168527836766942102369052092257757479017435740346132079133456686813637760430984617186903577656070391025449505227882908875273327548034745955933710828*y^35 - 782787418196759781311665627656051814300862798246074656738995742272214323007735093762551939976769097591269194144654369849322304205052767878787202115320449144883/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^34 - 51903040458534786887820049850855741129802895209646439757156823177417444356003098625536387034608507990425567503995076309508983176138191541926011310685568450961/96544337055673533884204738104184515514958034871480692264158266913373627275520861969234373807155312140782050899010455765817750546655096069491911867421656*y^33 - 3711352069185968177935496965231100191776500409837354441606214558753193360474308714278995296112412274042858066656679415901981746590137460128665427680295634276021/3765229145171267821483984786063196105083363359987746998302172409621571463745313616800140578479057173490499985061407774866892271319548746710184562829444584*y^32 - 983158353541496815179587609335466117919040304910604404281095766250800552527731799115086752123799101992373666351137077713619438758139379535440889532751922034763/836717587815837293663107730236265801129636302219499332956038313249238103054514137066697906328679371886777774458090616637087171404344165935596569517654352*y^31 + 8034946714391475480880173692788214997099182100775477293694709986146143955421058251687593629717206293850857854774476542331932879348917626635907825383918276454651/3765229145171267821483984786063196105083363359987746998302172409621571463745313616800140578479057173490499985061407774866892271319548746710184562829444584*y^30 + 13628783632048394024663751817595269903844374279184032679769987976687105844678273165892775091422452825684829826446996937360875153746827696532695437680071305921123/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^29 + 9158750553442426772364886438518333522779258245033556367569798228082079620228505690058690316170237004892600105783924019390039331087854627471964636334343963431847/2510152763447511880989323190708797403388908906658497998868114939747714309163542411200093718986038115660333323374271849911261514213032497806789708552963056*y^28 + 4741353075418171184591703613010624511084850027652961195573758170143949892232359538589119762266881785092914095176245073986959587919830633130724063829731551569795/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^27 - 67329220994950185205147061578538887070592696773792004388512003122760076115592181532865874252439394040122573618636183480127724752531926663171558240028102831943503/3765229145171267821483984786063196105083363359987746998302172409621571463745313616800140578479057173490499985061407774866892271319548746710184562829444584*y^26 + 33403361429477489010367426019241771728944458972494096181957478913797553476738830834013212674452820765477785232319105890155949803049098825553275716487115671047239/1882614572585633910741992393031598052541681679993873499151086204810785731872656808400070289239528586745249992530703887433446135659774373355092281414722292*y^25 - 242528816306971440803456447761425582842538100636451995285138895337947067852844658210759400332846003087118336193973888740623910593781246346895598378656102166177289/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^24 + 92480682861609028641467293889556674851542882543546681218143943837620141649822926971806363817024824989639005424852628760538470414330351881161234570691851885855385/1882614572585633910741992393031598052541681679993873499151086204810785731872656808400070289239528586745249992530703887433446135659774373355092281414722292*y^23 - 34272930182864713090175367784042895687517531214063396528533320643968703509485555395381098728719062731243796712533563850612951463910377076201397112218806950479671/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^22 + 2305634910575912154586587918557949491615317698828276702372223622767305324671758173149116291221664438441821467736952837741636376249311737321319636673467238317469/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^21 - 33626124865358476348951993567381816165778901836904337789983000630088861413796649787108346314508860043081120846629551811247186542247324267487726717358886341037703/1882614572585633910741992393031598052541681679993873499151086204810785731872656808400070289239528586745249992530703887433446135659774373355092281414722292*y^20 - 109272490671447045802225903276822236484273103871262005378999586785077902778133775332283334392004963691648799169769037249638802645601190363239166237298018480471403/3765229145171267821483984786063196105083363359987746998302172409621571463745313616800140578479057173490499985061407774866892271319548746710184562829444584*y^19 + 147539450585037628676976901066462868188449498521668844818518191166719836597105094803577109516625023738429212346753820907899107987524614090131004865735603637692797/3765229145171267821483984786063196105083363359987746998302172409621571463745313616800140578479057173490499985061407774866892271319548746710184562829444584*y^18 - 86429613523967257553809260416695956723560188715249788698324681114630210753444246340458370647178614468803829900631124326399892066306543497259025327922815072875491/836717587815837293663107730236265801129636302219499332956038313249238103054514137066697906328679371886777774458090616637087171404344165935596569517654352*y^17 + 16115386904245244435051409283402313954417162560077699377808969063356438142069687078169263063310510437850280991915260351349571338727002629334327765328002436026515/114097852883977812772241963214036245608586768484477181766732497261259741325615564145458805408456277984560605607921447723239159736956022627581350388771048*y^16 - 209395751132550946322393360372731329553171907297807078335866778287207364557207403204507019587699637294172093685160151852053365110637525311329160354616312889013707/3765229145171267821483984786063196105083363359987746998302172409621571463745313616800140578479057173490499985061407774866892271319548746710184562829444584*y^15 - 39941678173224536327496755771939001424413371769938484698639440701131362315089905560166245640890313633585138019319831146936570747342186391234506557050728544017401/836717587815837293663107730236265801129636302219499332956038313249238103054514137066697906328679371886777774458090616637087171404344165935596569517654352*y^14 + 26402461200914198891178229357698178761624406252196756699814637771116342449722375866026033436634001584077008920867613803112757256233763450144306677622876060289203/342293558651933438316725889642108736825760305453431545300197491783779223976846692436376416225368833953681816823764343169717479210868067882744051166313144*y^13 - 25193590666526605887198052081794163041217202287753505321442627204308630435721338726723072370634587542570914722856285313339471589065866236097248705057582693801067/579266022334041203305228428625107093089748209228884153584949601480241763653125171815406242842931872844692305394062734594906503279930576416951471204529936*y^12 + 16404234616256391361337617531109390099698814749781427736979493570090872348075738737704623306261649245221137609841544924162082742046093871769853378211835342884977/2510152763447511880989323190708797403388908906658497998868114939747714309163542411200093718986038115660333323374271849911261514213032497806789708552963056*y^11 + 38977950534678802208181069989835009212891676640356250752743366908473991490808513055433315582648691461946916588567193048643997996227227292180794904676687610214343/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^10 - 27087626861187727519883052820344470844806644504247991234013480153069702339366285860958895861121948695052309071731836972504321786139210530737006330611879150599685/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^9 + 11917089603464412648795765950622163849165083081442763117978244596231978978209661607913849141041089872916189210694528480866070044921062512690518552402265190698859/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^8 - 126152592031302731734312224733629361225107283205834383594326003570821308455058131958857864910330451302177990627571245934165918888242168216354339498014481140787/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^7 + 2250588909649710028819567804015444872331738890964627841448976355785042079214944954961919687271309480571025834648446765430847409029494290157658904473281853264683/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^6 + 2195299155976516105017187897649267204243934452477148740927616327236985737916451436226771642984917872022231040787356665748581193882929564866448061911563020733/96544337055673533884204738104184515514958034871480692264158266913373627275520861969234373807155312140782050899010455765817750546655096069491911867421656*y^5 - 99372728672308245040520845134086170792353909650221560527411831330769606198980746025480466096366621930381010501135672485249913249917813395043781759761682860833/1255076381723755940494661595354398701694454453329248999434057469873857154581771205600046859493019057830166661687135924955630757106516248903394854276481528*y^4 + 79133166226486807188502841380540877954858072393063236659752627619693685178213265679308903736479715988130801550733646458270113423737451611085509908389642121045/2510152763447511880989323190708797403388908906658497998868114939747714309163542411200093718986038115660333323374271849911261514213032497806789708552963056*y^3 - 25589184215429526924045458389304335033983672182651181322354899309850371376536637716953973056959223821789715750282031385220375257934403330439283169885065528213/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168*y^2 - 1199445688266090084273321005001931393124536879061396077751773945192601114440172609148604783291030612898350181183483077452454564837834463245920031742048375291/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y + 2787590390127767045795338818422874264169706399651874884828539432252507588572871787199219587400542022315668202017920238697856752943909157498388448208140058747/7530458290342535642967969572126392210166726719975493996604344819243142927490627233600281156958114346980999970122815549733784542639097493420369125658889168

1125149535059771677270663387508800773003780293764989090020672737263953869000766501027760484070263145620139648275273061814867530257315066064878754214541741/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^41 + 24701439446123794204430080606533555584624390141923921427702024619200685047403533817853241264870453475252376754572131487025968525369146451186477036275316553/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^40 + 1395025759735496195904331476335128854964037800061544537820197288506764428091766042799673682741393258255567122713378516560906835272685656519453012624177675/104589698476979661707888466279533225141204537777437416619504789156154762881814267133337238291084921485847221807261327079635896425543020741949571189706794*y^39 + 185939806882316916129544397523339740666374468343801657010135165322851914796137565552828841195466936904237006644404194013072944167261432589891363901308614957/3137690954309389851236653988385996754236136133323122498585143674684642886454428014000117148732547644575416654217839812389076892766290622258487135691203820*y^38 + 43651539967466052847891275542708728585998137848134862553742037018473594688158933405347620242353657262563575580400018706139957359494090351610474445213858143/241360842639183834710511845260461288787395087178701730660395667283434068188802154923085934517888280351955127247526139414544376366637740173729779668554140*y^37 + 360361546390754897548294275296854632143470831554347813590657686155004937822196296900021182353498025311936046507953532693816197847154278800795749533650538158/784422738577347462809163497096499188559034033330780624646285918671160721613607003500029287183136911143854163554459953097269223191572655564621783922800955*y^36 + 59122005831423717569115614941935585636687219502960840565662724547834412870949530251365532799865563559707217584557304941252590479787824733909223368360044444/100567017766326597796046602191858870328081286324459054441831528034764195078667564551285806049120116813314636353135891422726823486099058405720741528564225*y^35 - 9718148022870949453791803793005253195694580637293138428909739963897483259535595518874149133870581302443854905046621974061686337401025374741825282450941668159/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^34 - 421879788903593851092800954563792647932748119346607055847416352599802380001449141606685149067476038000124882743060073085898948294129967773397720869188488959/201134035532653195592093204383717740656162572648918108883663056069528390157335129102571612098240233626629272706271782845453646972198116811441483057128450*y^33 - 27085127505276480795477071960605033661273217890065241952485047526278175548306749760813354324005624689765731254833709027098494890539936094961674761859724691371/7844227385773474628091634970964991885590340333307806246462859186711607216136070035000292871831369111438541635544599530972692231915726555646217839228009550*y^32 - 6630334146000215578259404584839890229949914267892305019029959512151051414881841639138692185481950230427004214614353020453600096924142751564859135269325560591/1743161641282994361798141104658887085686742296290623610325079819269246048030237785555620638184748691430787030121022117993931607092383679032492853161779900*y^31 + 7264411644722747674820800338253805286244443913638015047656422502125907512808041362343238706965708798853356906446686414962653759221662056836143183664200659923/713111580524861329826512270087726535053667303027982386042078107882873383285097275909117533802851737403503785049509048270244748355975141422383439929819050*y^30 + 6721334127943654210375214534766805942154939947500623338793074664515704420070479989440975934072296304307925883529977209925888601081126891854796315801806174201/1426223161049722659653024540175453070107334606055964772084156215765746766570194551818235067605703474807007570099018096540489496711950282844766879859638100*y^29 + 66455554627185032638797065318528919656412794519816208008274190445348974210202124369002021547366160067991948822527625481070104125542718249172842027786264731663/5229484923848983085394423313976661257060226888871870830975239457807738144090713356666861914554246074292361090363066353981794821277151037097478559485339700*y^28 - 1758663820957374711206517627396124984324312375594158779653017029509561935988669643527548975095542533643077075093989401093021394198615654937458475849453178127/1426223161049722659653024540175453070107334606055964772084156215765746766570194551818235067605703474807007570099018096540489496711950282844766879859638100*y^27 - 589934398361506226902498376269746306770999210142805767031025267977223963325827869539450214175118056460134946962986696422231775645347286893469456202529408996157/7844227385773474628091634970964991885590340333307806246462859186711607216136070035000292871831369111438541635544599530972692231915726555646217839228009550*y^26 + 381875705897640276333934423833474308600728798009420141737629051866119326805748739194818206965889268035998074336401703897098274417428909108233440821516805251039/3922113692886737314045817485482495942795170166653903123231429593355803608068035017500146435915684555719270817772299765486346115957863277823108919614004775*y^25 - 2442744526205369515953575281299895908569512270032235835579985051680937285847182099443108379148764514462370645612570228459275083973065991937625552932177248817177/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^24 + 940957060048710315338173223437044750809505671411671214513935131618818362986108379244309657115022582891603159100810248641145848195105916302899903988350966685437/3922113692886737314045817485482495942795170166653903123231429593355803608068035017500146435915684555719270817772299765486346115957863277823108919614004775*y^23 - 822406824334711606659477088363497688835200718247588634522586422131529429275699712552368958430696818109338131048949208333119808101848004857983221582448612696693/3922113692886737314045817485482495942795170166653903123231429593355803608068035017500146435915684555719270817772299765486346115957863277823108919614004775*y^22 + 3869178725958944051146076888751700725335775937801398874118922228926967211195009921770437895321323126144203240076733225330688653651406744993150853389890630031/17431616412829943617981411046588870856867422962906236103250798192692460480302377855556206381847486914307870301210221179939316070923836790324928531617799*y^21 - 463092380944137877857023729411381809720174127453437804343562636054345275906330803436990518007408650248599293574752829058810298454508822783822068638736707794467/3922113692886737314045817485482495942795170166653903123231429593355803608068035017500146435915684555719270817772299765486346115957863277823108919614004775*y^20 - 162283696697524983394365688503440959376309958842503584235057528643922990022776810454908821419766068594083135921247049591932970304091416708823240415617060416289/1568845477154694925618326994192998377118068066661561249292571837342321443227214007000058574366273822287708327108919906194538446383145311129243567845601910*y^19 + 1626693854269352243470896330975698716109992456394246771715500847283103199337905676955516456239835195841170821135042477333629159989102966028954530846929654427767/7844227385773474628091634970964991885590340333307806246462859186711607216136070035000292871831369111438541635544599530972692231915726555646217839228009550*y^18 - 76033846398495774948896253032782371842539030097813516635643283516064783122891937471508787770629654542795304748930959680223972415419278950102879417519839067517/158469240116635851072558282241717007789703845117329419120461801751749640730021616868692785289522608311889730011002010726721055190216698093862986651070900*y^17 + 1847119185362357075201502420590338230672822124385474174795318453534859708998512466248035501112025559075132754966419297285733716503328700505054167525543530773479/2614742461924491542697211656988330628530113444435935415487619728903869072045356678333430957277123037146180545181533176990897410638575518548739279742669850*y^16 - 124131458833510437380604399632672585058824126999874723708616154645218099103003526685385085277853732456787282433561213822655507779692948083811207146482899813137/313769095430938985123665398838599675423613613332312249858514367468464288645442801400011714873254764457541665421783981238907689276629062225848713569120382*y^15 - 279088198820519822511819296404716124944359501156478198910453952887830199293563705480362580024733605024935839405406149740155556608083889954892673612491621519637/1743161641282994361798141104658887085686742296290623610325079819269246048030237785555620638184748691430787030121022117993931607092383679032492853161779900*y^14 + 3167558017676499014888342431274296611388680935278921390073851962412240154927293856772115626421345898213385715739412233645885941504925787910342198740022333293497/7844227385773474628091634970964991885590340333307806246462859186711607216136070035000292871831369111438541635544599530972692231915726555646217839228009550*y^13 - 29217405561812119442029240988552552403859442705530086974159043129861464797473168073420706749318527050335923571236142343455827473513682491551488258484716983561/109709473926901743050232656936573313085179585081228059391088939674288212813091888601402697508131036523615966930693699733883807439380790988058990758433700*y^12 + 316619904478702788927923929799255224777399425875005330414220599002440347193221322061372338384956520559453302350344313574042971576952595025187663503484135852753/5229484923848983085394423313976661257060226888871870830975239457807738144090713356666861914554246074292361090363066353981794821277151037097478559485339700*y^11 + 383574055575384047563659315786828659886141739534802735093137960440861210613156896806545964163405024410398458570600160314218336813124644450610541330315269467947/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^10 - 337170803422571389070982111049822772153427297399026166478892878637555016476612791572327151788598444167398578494534483392998945290092112108197604124989064443673/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^9 + 128943750925958887946914228470594779169759702082929813100006624958892315514991315040740223174811237744209554231388004204627643063762384112015579465922945071067/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^8 - 5669684099227500576104435814581014985538871076133652695231800125092539812180714275646913526122901529589514509796492462715269820682558740318554159087585767974/1307371230962245771348605828494165314265056722217967707743809864451934536022678339166715478638561518573090272590766588495448705319287759274369639871334925*y^7 + 33730450323059487043337876475181405000044512661399556487410298755676931073416037700256505080901035840130755231182840695850989037360720275482712850860513783459/15688454771546949256183269941929983771180680666615612492925718373423214432272140070000585743662738222877083271089199061945384463831453111292435678456019100*y^6 - 19238812678116833442851997455543616154723084189283698482981959967060121155513440088299670030021229677710806317577526494570121337204017067176036203069786457/201134035532653195592093204383717740656162572648918108883663056069528390157335129102571612098240233626629272706271782845453646972198116811441483057128450*y^5 - 1152232895801430081145537108437249940327893199504234248274297698644007612205519803996086487408237157399062941159560554412830594630365510910856399358543758049/2614742461924491542697211656988330628530113444435935415487619728903869072045356678333430957277123037146180545181533176990897410638575518548739279742669850*y^4 + 94230029162140277454883168627634541472898436005284278731316792051884247932572087720285444639496620712904001931215794418987621576080800663971300564942100227/475407720349907553217674846725151023369111535351988257361385405255248922190064850606078355868567824935669190033006032180163165570650094281588959953212700*y^3 - 68696343533529590146410277082516621364658722130780118391975941540942638655695391258463778246996393918753135955432305367840095183140576672001420815197512693/3137690954309389851236653988385996754236136133323122498585143674684642886454428014000117148732547644575416654217839812389076892766290622258487135691203820*y^2 - 28394110828064828850015420963800766407676631418665262820542286939672505280885365393342061965040926690816796127376194212875766016010861842468390572135423551/3922113692886737314045817485482495942795170166653903123231429593355803608068035017500146435915684555719270817772299765486346115957863277823108919614004775*y + 6386299616497445790780433411862418049972076428964645377746122468686521979275738064946689964553307454521598765254337362114960057659679720358598993716049031/3137690954309389851236653988385996754236136133323122498585143674684642886454428014000117148732547644575416654217839812389076892766290622258487135691203820


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

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

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

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

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

# 1 Loop Invariant
82255683074774360057967336279174276026371978034649037836954654915424770923098307926756422737622263295611404865200393103896341041755659077790069465902898539/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^41 + 1843522790001807397393876346304261614940910126038154319641297506880105671954225672511605837028871729903748045529405105515811194707730146363414485118209540357/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^40 + 2690270390716984382627760298271459060609828788273280323340330146383215216154331135948500062342572910405089259155089588918430172406569103222580549865477589901/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^39 + 75337411759341064764587872482433000099688625476563357703797165176284468858201644797227328507670707399233566528217619487699771494892167405259248207644762960003/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^38 + 1689767986470028983888968343064109394830376650950844056270650988914294587307567052096035273461557174834070296919986253582633095524753633534348681501466384571/6582568435614104583013959416194398785110775104873683563465336380457292768785513316084161850487862191416958015841621984033028446362847459283539445506022*y^37 + 317769643773738529993698449268148168803856830537631724964019443268679467116606911065617174434812233604321799490126922450067114598565752248916239676259810651855/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^36 + 12264814738045993852074769941376581679995515264445133805937449046243447726539187718729727715105536207140975107100192442430166716830105211228768425158276129450/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^35 - 299814527663248741503350669175261587229291968924575271818184038854237999188112777413035619609847742516417864428334156264964628203896613536757659301955155250563/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^34 - 33462019950679904003756686911541972054702741191886735099135215981398137151223746929646832027788619351965301184529912062782441653170223012042609788960482485543/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^33 - 2624483841767183892769297755765263194267718111500147821722887346839634583694074416215656702358924742345579109506133849138928243280423401102464299650712077327556/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^32 - 750400548894125148449992880946087952235215220639404426380774289864716076750582684405780532824583445277176472686373937955523742417866138261494811449142282944163/104589698476979661707888466279533225141204537777437416619504789156154762881814267133337238291084921485847221807261327079635896425543020741949571189706794*y^31 + 4427128182465186819020508536663533109440300723172922795768872142955146740632098064979948329513481708753954090036735659992606743419058575089705233467393677357038/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^30 + 10033906879587920807954876878664720603616107145388045849360449431088835744428391281772787478993144461818106467282802905260272860878536806655386979340929810070065/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^29 + 6597582020138009993817130421871617220733878843742101247041973942621577946765030958788766917089033967352216274314706792605052180442920981011159144905283099269529/313769095430938985123665398838599675423613613332312249858514367468464288645442801400011714873254764457541665421783981238907689276629062225848713569120382*y^28 + 7135035456130279927585359596483772949856272601375940811102654990592155124749791736745618371345730932307540111819686272695480640035842952553201969921631795735093/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^27 - 42155008340122480397429012172288593050393116635692494882587662507102966620752723755062845633463596997337796868102185075492178758167487564820002611733839670176214/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^26 + 35515297581328052628496532402503521131046556093656161969005648017030030552069085465532146314142149683699904621575658993162758128662300321141899216539401787475903/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^25 - 146432431723398701081418681881779838935576299725830545804721535520246275009598274508675273244564974790277731894884603857706284577157326089657005101999488611879817/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^24 + 106718678361062996504746266369279475903105845485013285353496276037396553056929814643094399420946627917492024126134327409001945432479291677459978788690655911753382/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^23 - 71584519863265445597809869885055862223983433434829770868881123199202225851698412772695277332279631831607413111141578152505604332836582490069018901422511971218087/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^22 + 10848770377901458380829477158703650898375900599306402795649138986527890212073614279602020346874037087545672450307655400901097983675679887492105897143068802647975/52294849238489830853944233139766612570602268888718708309752394578077381440907133566668619145542460742923610903630663539817948212771510370974785594853397*y^21 - 27731744592059484278618126901645346497486878347222672131109379598378644450385683058381741672022895218995827921908537875474211565082688016439450030123971572360985/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^20 - 71545447608145325352777019945107837725408175919259448176783105479080346952461545972591360267852769682448412486305169497682013298120039514319568888379811032469665/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^19 + 81344741894533527443763520902484275099288907395371558909286545832095947440521295794552693409174554243395017118129968854068797915482271802000891749126003275434739/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^18 - 52947692849158792095302509905848279773774245322367646046062233659946164178491192335680484756756937670339564938876753554423339861584768465640327274352204119224887/104589698476979661707888466279533225141204537777437416619504789156154762881814267133337238291084921485847221807261327079635896425543020741949571189706794*y^17 + 9129286130203032367650478433933588487452138211740870149639395082327365446228131919095872492703594200140173847841733629848106969898325200002541945871424982750345/14262231610497226596530245401754530701073346060559647720841562157657467665701945518182350676057034748070075700990180965404894967119502828447668798596381*y^16 - 89332119854989592983272966898084404981977664102788956645699199568461196860474419424784148794082021781566315538791188497134005918226757189906717056900332124926199/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y^15 - 26861714261638951725652068189482737357669092242952902456577290078401620985842932916426782197061385247834317290950813334492001284954844310183702963520690284989973/104589698476979661707888466279533225141204537777437416619504789156154762881814267133337238291084921485847221807261327079635896425543020741949571189706794*y^14 + 14816417475951315473353139061425443191994983612172122613308241895429753342062613976791557267927352594183489693124618193409756139903061135241217547443082871906390/42786694831491679789590736205263592103220038181678943162524686472972402997105836554547052028171104244210227102970542896214684901358508485343006395789143*y^13 - 12454254101072387966679162476183135902927711347195903229862406116659323950908894752551062627898368422529288539704612510707172663362207120735801280009660487500957/72408252791755150413153553578138386636218526153610519198118700185030220456640646476925780355366484105586538174257841824363312909991322052118933900566242*y^12 + 4575532935933681833818886561865604095201882064587154278220817440119543147176503553601050513337453066286676125717526847230189224837124438634941645752568797619773/313769095430938985123665398838599675423613613332312249858514367468464288645442801400011714873254764457541665421783981238907689276629062225848713569120382*y^11 + 22991334504256929774669292643259219619980201899377367095062860865276482768359553134358334447555420410643666093893125893305084629363678413144334939855522699395473/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^10 - 13472698624202883005547261263491398746369222457825838563449548423432402224936984675483398367868036053463604567564893296746916557906095852429993792149692040418919/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^9 + 6055429641523328288083644706829210461489155836252011992266145938779745582437366437013936100677825370568033644556295892736304997618549548315417180026270755010605/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^8 - 525522750148995648965166743409595020408363588890966542098230645883338139575046546987548176770759014100286854694576718608323181871153651599642194122452564748359/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^7 + 1044771563858234031944296716650018182198708917457182382583926129684552944000252905614064822753732925608794931155415258957262041422407239836836048617364890309243/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^6 + 2603756986861038529579983618506159690783161985946126845993989290693228581553344033007356641652398431042969895827833017868481515514090242341698190523547600488/12068042131959191735525592263023064439369754358935086533019783364171703409440107746154296725894414017597756362376306970727218818331887008686488983427707*y^5 - 53516077438841242044088934165596518060643001017086044981211744937202482627836641888320199986868501881168693100592559919475929455425140717598684553501568990584/156884547715469492561832699419299837711806806666156124929257183734232144322721400700005857436627382228770832710891990619453844638314531112924356784560191*y^4 + 35638112939501965950783660015713459805805600296201550757050296479526686412714669592527465537247140203063229316308319558801665577354155238261692342719370904975/313769095430938985123665398838599675423613613332312249858514367468464288645442801400011714873254764457541665421783981238907689276629062225848713569120382*y^3 - 7436234339418641881465765898923920919955124193519886273326923804336270187111519952618601669871643151849167822013327541872195293247409600220566600343233888429/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146*y^2 - 2640044798586971824432313641727661449388089258214998579016622753814240475707537393597369159519054345482869456316340038090807326405966288437462154642255938347/470653643146408477685498098257899513135420419998468374787771551202696432968164202100017572309882146686312498132675971858361533914943593338773070353680573*y + 989005337521490648006508967710847568938104495463971451679049850514239662927119267823706816646778103583041055329682990759178778462317556651251772181606148187/941307286292816955370996196515799026270840839996936749575543102405392865936328404200035144619764293372624996265351943716723067829887186677546140707361146

# 2 Loop Invariant
-616599549852779521233345939045082298266529297073900605245348282557574124481728092614515416994253013339043015484089917731813515145532523156583383152129958691367617340289193773382095592499443056419914821203956509451810952513029709027084616824809149943105694764542824261361643209116675160450303278863542131/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^41 - 5177324153890569295699659842995844421227696124744784126744440352277799357697101415808851797706122028378616169997916255741671307422070241871442519547792647418525728871819332047952139182169689190353202273512204111840014410350229385019258736661668007065087976378921979406032794779884326937662584861124267369/1389421522769402407515146482918646908405855896837024715852147000313560107434775777602072054272197354378664560864281503461657442994477864163618887729876063513160658748841187323902421704936543023921176383507321747208482418599095189873746281158841713396879498048628442599379561841790553968661604028504846574*y^40 - 120712309822750582758887948823265228038145386524427236979695937147137105092727158095199454806265045585771167574283770246291344158251018738682904517938474709632633791128841780585188695627843560391768772778709698913516283615035542407976058584787684977700143881731102590643519435564113183553244645656886665875/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^39 - 1686920876376372164524687323801187837572213392575319561968007726770735407017530493918553724237765685890783729119876359118809324283332017257398500712051923137744515918145524738377081914133579817413458387913900382083889213684265060180566159031702495485053462656043354461698360236420010590688898375207956571397/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^38 - 18887198027099059249540813576892508487409008396787748202164708694296304943365333257272662695616168050729283814286974859295909765047594507743205541856754600328437426923059708918124184248590612348941432278720377136092926631548092661594885494046286899234660911823934370042268610073261831836128310848051573515/38864937699843423986437663857864249186177787324112579464395720288491191816357364408449567951669856066536071632567314782144264139705674522059269586849680098270228216750802442626641166571651553116676262475729279642195312408366299017447448424023544430681944001360236156626001729840295215906618294503632072*y^37 - 14194686990092598391322151695752036091424846327370530999033416262788148818790934705248475583006261001018176621146862978420197442828222027076096054978080813258983100479836430302168405931611605207549190946708115290718295942650934472747212365470214029772516223428257036986164861931850350432953155035842819985163/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^36 - 1636096221264557471931170153681700160086664972480300962258234734504899129511287092308843987245855633140131750390028190651297920901320397362246426492998578537022364018939263671669796586017387942615533166727727582581383647759754641206795152901492150052467880673178976548940956391643391140929302272819629030081/855028629396555327701628604873013482095911321130476748216705846346806219959862016985890494936736833463793575916480925207173811073524839485303930910692962161945020768517653737786105664576334168566877774466044152128296872984058578383843865328517977475002768029925195445772038056486494749945602479079905584*y^35 + 7039921433686194143824737729586953059716675684228822227182241646478401364233084705428666526248918351220426328110591784665213001366536338563624279601683547056374760915698200037750862398239271644647652513087088404382522378836815547102585944970318826156672870759172133549313403518115144073636689017109616637187/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^34 + 1120961538708561184167147260212666557228772219149354366184563322105908955031751333918976745515093481594826766610523011022869292723494713820635312280243456984034143522130198368613398090741511433988459876016351845769848438946845449040752481447499394218904703676793626781643939963485978065231218629000794022403/213757157349138831925407151218253370523977830282619187054176461586701554989965504246472623734184208365948393979120231301793452768381209871325982727673240540486255192129413434446526416144083542141719443616511038032074218246014644595960966332129494368750692007481298861443009514121623687486400619769976396*y^33 + 58388790481181477427695940479532193404972132412997242982010809944246936957481725849008189560329035736004103663982729990938006951275689145950945050269674672230483827994467063649567851015716891589244192435356306042447671806855768621508271793118848403360075268158776448183230796538359998203793606431426353644185/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^32 + 24991817475044182865045292244999770905107758805253452065629030101779989277943014461343832971546278815063043905242294140747355336374197719028998950976133765666368775842801592169920075268964347718573546493806357519454933653741599826647692623093296065978297084628543056422786477684172977866845693338646117225217/1852562030359203210020195310558195877874474529116032954469529333751413476579701036802762739029596472504886081152375337948876590659303818884825183639834751350880878331788249765203228939915390698561568511343095662944643224798793586498328374878455617862505997398171256799172749122387405291548805371339795432*y^31 - 66996888150936167360166662310303235639509231399492237403655125470596368313358038242896917817693541590705282027956310751480443483034874978952981303628702813404777934611998322063074720608732020529701559242759481149127350943976297663985891305260433040092745319867435807477556011333433123915661884445472354964655/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^30 - 219505987287781239420506603697434432753240472235042832587606683391104298689468864953152952562545020381578996125240753023569968931122267215483613137777997836056463821897870096223509812115449149402252734496845785911213552387077457005305794572025103458748603819261224270875753199576843413475435491947092982233411/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^29 - 220842456797825698925825054471600830546435282636545302469921660517963999940447379661142432278255387961149797277550632560455580772216494797575543756669281854166242318916066432580780439126243530556173829582374824550617733029614325726035652864561235750687623736802926303222077945331872260126438960226670830128821/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^28 - 51254700695777209146213267810673375546921014981602320429945468065520759306042101608113839791383355439753148414550450679831572413420960680919231916537764233833540607834622934452179132744129012967925851939162621253779647689294147628187023149760674208707407125942343976926545398518020440278075337239080977770561/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^27 + 631390986401785684793240621746259892139480995920775967782731409513779931532559997259449662044450100177837492345637741509715438485014032818315581855078335244055852048457610703342791103512062703975605586377228992947360031201257941360934159067680141319357147687204105636767040514557508855347012781386108756719693/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^26 - 546910286023697900068095326750616976200021713050148159836501571437329422771936505841909163617519075069824836516822513844567115736838347078121208953442935338501427487695698107728210568114455908741777145242033216461363187967597864510976928070270134602698213428019307434132782103229716619640388221259165752877803/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^25 + 1114902272383961143276046480726587636559122810485668595063707123334050578082046178849162184161888100413714433407599561012779864475943063884977949940873247332811407768112475097030749913063546314622560854042632208342958185934274450479471185051492290615549814356012686368222842373021557053984153128470860822360155/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^24 - 813206816513704478243477478173195675235184104574190125855141796213608401166597590588579010544968887738996159129033556366875865679233008281356782419562291756685309927491305865150637047094066111917029859867221683646389634768989597262603340248926082682593297738890259569755574999921681503404058925327352841123569/1852562030359203210020195310558195877874474529116032954469529333751413476579701036802762739029596472504886081152375337948876590659303818884825183639834751350880878331788249765203228939915390698561568511343095662944643224798793586498328374878455617862505997398171256799172749122387405291548805371339795432*y^23 + 558288870594098779304945121460220584862652185340416991948807692790723885688020481672122778763731671888907230035884011265973362150678693053086759078464342282145193931645168542171600854680621704719076553450898059221505804354492856653915320303186500175455657595293059324076478240371064581364301789432157962080643/1852562030359203210020195310558195877874474529116032954469529333751413476579701036802762739029596472504886081152375337948876590659303818884825183639834751350880878331788249765203228939915390698561568511343095662944643224798793586498328374878455617862505997398171256799172749122387405291548805371339795432*y^22 - 4497634953467373690363183223255176707428509727897082543144886591528939592826995282922675224566667205092208017475826387266576317143546582053997114053323092562218501770801676678090624589049890814200089089688884938725485966674259599240742462695349368727418525245820362891691592461655160229082069686200029350369235/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^21 + 169886186092631523741170227032016988305283362184263794586274747282637047755077833672574780106762780979101575683423637128346799636356096208125756496435119348624542400725934414113077061069297782320230532883202599534763780189479163339061655528132896143308316825956058094350040890884609235865604420579217257338637/1389421522769402407515146482918646908405855896837024715852147000313560107434775777602072054272197354378664560864281503461657442994477864163618887729876063513160658748841187323902421704936543023921176383507321747208482418599095189873746281158841713396879498048628442599379561841790553968661604028504846574*y^20 + 3155154898640745142970853916166044124516326837044064086251756815852581104801299455325757734948883344517395349243918801853984719667412733805381043998631399612561375448884252012511107189211178773131677203188870993067320282999600508227781574575013454581496846679545820103910811361698075366786764529471055703066625/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^19 - 465685521848809978113710196820664249588435174580330007291387842690039611033149729813771956804552227748208186748463361758996572223166158826048840651326035012009935528291284970719440282035563818148462430396669508161729257401163082341082707723842383238972434516848357542367193783166520098968033728464446253928145/1389421522769402407515146482918646908405855896837024715852147000313560107434775777602072054272197354378664560864281503461657442994477864163618887729876063513160658748841187323902421704936543023921176383507321747208482418599095189873746281158841713396879498048628442599379561841790553968661604028504846574*y^18 + 10825618246838265639632288688191565319824846392004516419697992420014871656141225046838961719519515582544455262682978590258549105315511770549900560729108001158893307926554094889754384180352986069547616872151763647086558189829093151603015758171914192666662369139252074598186738678155565177856879363457605227783237/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^17 - 156831689848913014477402538387338552807347519220250838633266208382637998533218039829926956581573174984059006287401639396281700239458488395014186799535973057532041462604445798111417704133245105138493242622847251506519499628820760561539801242471735925325555815181368554147704878749817251621288789602336332875379/126311047524491127955922407538058809855077808803365883259286090937596373403161434327461095842927032216242232805843773041968858454043442196692626157261460319378241704440107938536583791357867547629197853046120158837134765327190471806704207378076519399716318004420767509034505621980959451696509457136804234*y^16 + 1466553199945243828623946153174093089729366685685061194433393550108681817610559728083103566499930278235001297059848987980520152243281956346311069052853609044411660868858669010412351395958364539285452451677261237083823470897234643100286915179139375183761292392729299679677293815079551544228175257054478462460423/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^15 + 2625184809653120973737253968162006356983157923265786105035283753728658231503963099149395371309847670212507644467840119191332417068063487570190073426857100669743921441667790921063860940528555060220585531103973557879617958617119112857669676171839804738914928930057702455174247770248437371188219392679278931533045/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^14 - 169150445842465246237957028124651310292788526189637019418214740265092982815119649365735643250261390054729258171847016763004098759987812950599868261392970959188296590320059641182077666220346617357425002164842076699667371112876695008416626654803154976315196810811555335756800295884280924188864669473628691329221/252622095048982255911844815076117619710155617606731766518572181875192746806322868654922191685854064432484465611687546083937716908086884393385252314522920638756483408880215877073167582715735095258395706092240317674269530654380943613408414756153038799432636008841535018069011243961918903393018914273608468*y^13 + 296263610946032182014706073774241609444463475972341708404103977283430679907999981168013096542338509088157539992292694046201923061322523642572797896930918736384075868750490847232134257858369869086639134702111113147610953504114230246630845473777396113706241405934705619588498635934225067690259591130691970275099/855028629396555327701628604873013482095911321130476748216705846346806219959862016985890494936736833463793575916480925207173811073524839485303930910692962161945020768517653737786105664576334168566877774466044152128296872984058578383843865328517977475002768029925195445772038056486494749945602479079905584*y^12 - 432284817811799771038983924935240777352934521562434332077463711007262115363503308523678439381388510446723318541900488491530707297198543986882610147843350585716716261973825642206310699650089977026005611619107506675728734628126634665401508735702499213044785521238539034137434393540905743116304371068242369257697/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^11 - 165296449705272445271943163256281514962273090950126850420760525595162614802103180355132751466166768262690824033842482140421400618840783234596263312990666467344441466301788300222040654878209897359177321530191599287670102468978564069492570593020533670535749449680602460989388852306767795255032355445394285749319/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y^10 + 157740055833504490721727177522800003698530625218719395450879561529572877597432218241372363056666382926611573020448164622058518621425452240509915929542654795516895043952658886499441121342378171588645271401230707878513527777722930685479296038736418805403844669213773040905255700746830968973047222309503326836017/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^9 - 144517226778901113497104215274841476611907099686760744963416129241168061355196800280261495236498241547450845766476849777268087519690733561773056119852910735734513555295573589530510085999707104298457293577950200342553453620036051390906368955042710223108926539632986143473331136495850028691389495427291819382131/11115372182155219260121171863349175267246847174696197726817176002508480859478206220816576434177578835029316486914252027693259543955822913308951101839008508105285269990729498591219373639492344191369411068058573977667859348792761518989970249270733707175035984389027540795036494734324431749292832228038772592*y^8 + 37124272780257165297648571529613150289080272475603247829451714054409690793097497508532116650492538410090587890890142434823719500060254923427704830479025085714900196445349362662840371870370038450691911095761400251429529357138939497421932967001806415493014151433197883433915410270380423913567866289436916032561/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^7 - 12940174778039666218544429891967121553643558543834889379066251120149453136087676404510075904294365608557334187369625358777409741205137025300998447803817494637273849154872317718074651983811830300264296806653512578650580339329338876167208271779838292824301389880754342057461677611944031689380636863374799616485/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^6 - 276207847896759022185045265747002166882240378715859377693003041134757888065136577844409815150304643012928695563927067488620137552346960125889704930281463143889357813530687848347151901469606056201743828683562080251671555322407963793530513689735621637930893264000649763777854849168831321443667832202416873963/855028629396555327701628604873013482095911321130476748216705846346806219959862016985890494936736833463793575916480925207173811073524839485303930910692962161945020768517653737786105664576334168566877774466044152128296872984058578383843865328517977475002768029925195445772038056486494749945602479079905584*y^5 + 454791950421153811591447275395765931462471790727745919974990440567395346201170327378921557035909585615919568556303460720682569712667727388840059917039681911942171507050940754886060628503271449271010864946986848485644871168054518430403515791902812916610117604617353180169874914298245398668308663016347588557/694710761384701203757573241459323454202927948418512357926073500156780053717387888801036027136098677189332280432140751730828721497238932081809443864938031756580329374420593661951210852468271511960588191753660873604241209299547594936873140579420856698439749024314221299689780920895276984330802014252423287*y^4 - 1308653217922795378833863767658141607249333455785770841638897856973756323519417231489821732832204038867389778784713488275256089735217688205384537676631779718246718538174179169849762377743398992371143288209812359416893370548487957164694568851988234342708079243825822323711062840272881044737656486619549673777/5557686091077609630060585931674587633623423587348098863408588001254240429739103110408288217088789417514658243457126013846629771977911456654475550919504254052642634995364749295609686819746172095684705534029286988833929674396380759494985124635366853587517992194513770397518247367162215874646416114019386296*y^3 + 55173159050709257020841078718348812842224866872588961178838007430539248963689552915367091205443347144504821481272677199913936322697358153137430669086245583091184856423031367876877876177076827989185339896096565340769303897442574647031422938780446722165849854388878682490478481153870852973398463792492331497/2778843045538804815030292965837293816811711793674049431704294000627120214869551555204144108544394708757329121728563006923314885988955728327237775459752127026321317497682374647804843409873086047842352767014643494416964837198190379747492562317683426793758996097256885198759123683581107937323208057009693148*y^2 + 38684116427354919090368216393034422674638340771037850217633686840645805030016374933970907642483462429324654601892725881761787295209003410265579654435551383464651516671655702590924941418484823370350893104291738353875680758270917240997510158063992603570158999195928285709201697815552685288085030245394389725/3705124060718406420040390621116391755748949058232065908939058667502826953159402073605525478059192945009772162304750675897753181318607637769650367279669502701761756663576499530406457879830781397123137022686191325889286449597587172996656749756911235725011994796342513598345498244774810583097610742679590864*y - 5731291561263687809601750534631321303409198628255985428560802763288778484961701552916717892002297839785154062022089207952854516101476500931635219578972587748986267925253194683839608254298788597093735218702234062110978442332829434711461982202830919373035133765935552991608632967337431533785854556875040411/2778843045538804815030292965837293816811711793674049431704294000627120214869551555204144108544394708757329121728563006923314885988955728327237775459752127026321317497682374647804843409873086047842352767014643494416964837198190379747492562317683426793758996097256885198759123683581107937323208057009693148

# 3 Loop Invariant
-4746525872263471710659623780476945584899875033307456629636887526055985386239160008752440879010093652977277534807833661144599108157563492584186630333892387817083335725001035334986212697912172131501790018685110595483727236292693346947015149687956036395919558674868606973797657176107282815785488978376679278071868980472843398222080014596549617299610920186298128044986706385299432758547/30197394690142734418590916093600855296214081948143066533076887333495432799617831551617241448301267795927612185738365806698923053468585539296268019945768275204679838752455777535082893628531913862944425890403363496787701421192432262681857261097957425874821202832722450938186749799188598820279997271572530339218158642045266325250224646094304832001697044112143507638016657914654144803376*y^41 - 105652035607928740557909368955827720424399371739550651182029577943201113870127381238730427265091724182557379645368162107448772176241523628230138868508594220794779190550535102452488418958951447850810586342290279035062178649334895581007497992602905804028297399265046480640887050964399260064469803700227967338786485714412847509202027244240373727022441395057912293800642791498566653560965/30197394690142734418590916093600855296214081948143066533076887333495432799617831551617241448301267795927612185738365806698923053468585539296268019945768275204679838752455777535082893628531913862944425890403363496787701421192432262681857261097957425874821202832722450938186749799188598820279997271572530339218158642045266325250224646094304832001697044112143507638016657914654144803376*y^40 - 304987177946034175207778738616594409914496192577972286909861138126988790836535079847864458192689260707660787309255459564960567725715607800573396243376711101546451987342433175524582914173704192496184240989527971026730307217789658923220873520307696140918318309190260494053735503568712342076706957969959475453820403160224379705273151080212118522199064022573294040777446234805331339707951/10065798230047578139530305364533618432071360649381022177692295777831810933205943850539080482767089265309204061912788602232974351156195179765422673315256091734893279584151925845027631209510637954314808630134454498929233807064144087560619087032652475291607067610907483646062249933062866273426665757190843446406052880681755441750074882031434944000565681370714502546005552638218048267792*y^39 - 8401111741840492979232186753562044049653083259465073094503466434361814959369746550246531842400272328038205261549641978236137364840086827752679741405177584727176843058687231285907664169219884517827833211814840027650204233867456145838094409650258906584617913389864214921912757833326550815943760397124352076309541505256843671991257752348767410623404255204134354773167883971338306438015725/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752*y^38 - 2037243188559477077066107213124155040774256012317772916454692384205009535566836922722880334492916373022630069783352734768520129956519586233945626916663076032472260136625611581882639035361305560079201943931057281829910310128093271199830246607099670261955959188461758056806424891190925974937284193856729789309300803229636568386961633299403850847842523141096753097607362792894364802677377/4645753029252728372090910168246285430186781838175856389704136512845451199941204854094960222815579660911940336267440893338295854379782390660964310760887426954566129038839350390012752865927986748145296290831286691813492526337297271181824194015070373211510954281957300144336423046029015203119999580241927744495101329545425588500034560937585358769491852940329770405848716602254483815904*y^37 - 34370615141365038032170156618241417343090485484372075021109969160072182449856371241750671576030617200832755144976082750443948678624143984557859780754175446897322844014457562620907906930501031297662078575632537961274883748507395203948627549844788926882247529152354903332020430787206057020562292306928528880586800049971071787384947090611836140833992506625662852333432762756309464850032669/30197394690142734418590916093600855296214081948143066533076887333495432799617831551617241448301267795927612185738365806698923053468585539296268019945768275204679838752455777535082893628531913862944425890403363496787701421192432262681857261097957425874821202832722450938186749799188598820279997271572530339218158642045266325250224646094304832001697044112143507638016657914654144803376*y^36 - 1257561113259257323694161724737376554385265853281948079658218446253836575452120559660606690594068885885427312027434332417843623235435998455488886604693513634701007539951797542269724187172590800279301513145159715055849081494683434669574272426915895132995922026699042023819057889772630068220495847711957464420037687152110053611111419164540123368014724075701342827958317932898276142287293/774292171542121395348485028041047571697796973029309398284022752140908533323534142349160037135929943485323389377906815556382642396630398443494051793481237825761021506473225065002125477654664458024216048471881115302248754389549545196970699002511728868585159046992883357389403841004835867186666596706987957415850221590904264750005760156264226461581975490054961734308119433709080635984*y^35 + 308939232812128347936182408073840013216095019513536689322382710097213245899309000827603011564552619996712802653102834585167332573454961105566721883267022070013537504890340020332807735743355972512052379917859930905049530276640294773574133372068224669700735244671355756597678276090702063213236709721719806948124493725284279971341737281428864251806299315229157385092722817914902180874295/343152212387985618393078591972736992002432749410716665148600992426084463632020813086559561912514406771904683928845065985215034698506653855639409317565548581871361804005179290171396518506044475715277566936401857918042061604459457530475650694294970748577513668553664215206667611354415895684999968995142390218388166386878026423298007341980736727292011864910721677704734749030160736402*y^34 + 15402369005968166762893066572498613616897841911659901642918472927263439925264654988419372098702492734461119548776287211705789312584628677543505769325120226827038508505345397199904234662305904734084263606070935015826399181355939341314564244470534119289242436901544833474532992548020493292752112468969537667571190117718766513214003515745858332612665424295045731328531497869676231677346269/3097168686168485581393940112164190286791187892117237593136091008563634133294136569396640148543719773941293557511627262225530569586521593773976207173924951303044086025892900260008501910618657832096864193887524461208995017558198180787882796010046915474340636187971533429557615364019343468746666386827951829663400886363617059000023040625056905846327901960219846937232477734836322543936*y^33 + 1117673589882641896368824514414135149262474740532697806123852939687708306657231595374116942493336582287925150600123188033141967454748373506821607512806890174867904720492494606207412003039795922695227050469296528969613418732073289528416970205695947152366587898516767440717909520891420732698695264157971928563572485100777068394832679172663116277170348238784249358581598237069544045793545749/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^32 + 75038758467731901714523938811693598420321128000357846727188489940539403669486419543173592837802438413607757916282705247982608286416532452727327073698433158099095138442778527680445795686209619563812119430083070429986626613394298742179358527481342271641397581135890171615571285657385821824733091609112713410334695754782041973510518812274985994357882507521125306401614540642129438902058621/6710532153365052093020203576355745621380907099587348118461530518554540622137295900359386988511392843539469374608525734821982900770796786510281782210170727823262186389434617230018420806340425302876539086756302999286155871376096058373746058021768316861071378407271655764041499955375244182284443838127228964270701920454503627833383254687623296000377120913809668364003701758812032178528*y^31 - 2330127277421017557521246911011005491368879646622463204376622988980110882034547833353665642349039299334578369494802986979610017693476992461770161633002247343205715967014792123811473136051874809440158708700861249777374145698390119700343766770560263679752098558544959046382587110408719584830378969218165948449577053341068430716339258416233627313515736848831024069243605906540218440777100497/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^30 - 2066025933351307292293353515195910207837340016716210055326876132080031820026336806676854466085421862060751961628864258966997403376032941705379543635786089369938601553319566177185944434102578204444798705835408485910835649824948253093031732628927213020996627503531642864467189621241597401082062977600087529548952143816367089459130643743243823308903034637098815530624747675936389237440712985/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^29 - 345414092410032784154632008081155370628561452403400563046733546043159940893948692050853724605785887948864647413575025144458522394978338007871111787987862447666882308976304813443209924075898989121674729128932824600391586382535521700862986864746194397768466034044644112672303999297351270919193950863567487768144411110414696062907210070696485055986396347669757205609691857804996298149681817/10065798230047578139530305364533618432071360649381022177692295777831810933205943850539080482767089265309204061912788602232974351156195179765422673315256091734893279584151925845027631209510637954314808630134454498929233807064144087560619087032652475291607067610907483646062249933062866273426665757190843446406052880681755441750074882031434944000565681370714502546005552638218048267792*y^28 - 853999055482481274013126309600353601770266084513511377960391921668551916193402890103056148385191026262146190704560872193200238430289226273108860964797391098470135023006143564500997184052786124111246033612442303695157652289714544183779181669155633443352173117733876290353977839696529249979770139774442044958354011551029416728721997387119729873486174202852014698174580883771723044290940579/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^27 + 9946517169260447930149055276974136760192854915052225025251036588706230939531185106074352733275077632344208244670058453253196925567379102378559716693324643041449976111982177006237182231624177132003860250906324136232515196781590232999464625563560685769317458007405564111986405453424750900676078106310476205283232300173121961940992640452084404882476502957829322669354849196137036200570624295/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752*y^26 - 4824229636853180677575796694029857409476510155491772385709970982885053476766890624248283406311937349484397649946973393154980534622569476423300669640762598362887331088222196075704321993710602541080925156773747472924407734344601504200393711333329081742819016279073935064183041053247705551346551819210825044179288928228343679360118233867942037770052260857459137393173098986299324174196004221/30197394690142734418590916093600855296214081948143066533076887333495432799617831551617241448301267795927612185738365806698923053468585539296268019945768275204679838752455777535082893628531913862944425890403363496787701421192432262681857261097957425874821202832722450938186749799188598820279997271572530339218158642045266325250224646094304832001697044112143507638016657914654144803376*y^25 + 35600442978714630550395040203116652220005135087599316778064752649872550810458042826622741341504839025418543951625587521074517073319828539012496779878280013817113904755672814305501222751703211295749163864264076605619786575377117642008359949411613728395533087601424697225703419913594333800645432650897435328852903836763661735725851641460132138650178398560293493768139042597668955369930173291/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^24 - 13478046901345648929288605515397408266559531129600958174815663007580713814473917681015318881309713837604056581105258836046544752864578596157324232746595281107822309951015312090890933797900556879760225146553293342060691346053716844374915397688010634137905845215387325639267270485683461168905447222245726262618722446418770670059796719895369019576788819436969304132905655708787998078870526975/30197394690142734418590916093600855296214081948143066533076887333495432799617831551617241448301267795927612185738365806698923053468585539296268019945768275204679838752455777535082893628531913862944425890403363496787701421192432262681857261097957425874821202832722450938186749799188598820279997271572530339218158642045266325250224646094304832001697044112143507638016657914654144803376*y^23 + 4924037715784106320447507318277956538013956868647353331866977874903993437311562582270536301549571653563116773040977326265555597821255735142531029320937469050184824863652505788785784884946004533145363167720680100944700914438495258135775242734472825774470462099701636298719878124574175194364893628536961904347068833998427995203429368570506563078764501821103841239515516731913090006526408879/15098697345071367209295458046800427648107040974071533266538443666747716399808915775808620724150633897963806092869182903349461526734292769648134009972884137602339919376227888767541446814265956931472212945201681748393850710596216131340928630548978712937410601416361225469093374899594299410139998635786265169609079321022633162625112323047152416000848522056071753819008328957327072401688*y^22 - 672649648963577521418379957705716999779220862956712739012224237255542274246502042041725345239077352059753106260802609854278038735242114480564377137732720448634850277505675582273342893408026509069510151316495370176662700366944253120843821542171253997141317824675668267709174467374394970357289691829460149405561573638954059280930713529616326274542432143415761503530213840443584361765213103/1677633038341263023255050894088936405345226774896837029615382629638635155534323975089846747127848210884867343652131433705495725192699196627570445552542681955815546597358654307504605201585106325719134771689075749821538967844024014593436514505442079215267844601817913941010374988843811045571110959531807241067675480113625906958345813671905824000094280228452417091000925439703008044632*y^21 + 9323406616751238340092867374503109212773153498278134104510486916307205859771254486808502681405822080429563798667995859131336136277652798810756094193722298485058739887188012824968432068843033671319736653605194756038004715786505477037015663825723326015809606592385187047919256195040845235752998921329443956832138092534175764509240114317748997779972508428093383101144530942612443942106174321/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752*y^20 + 1020359381716157311392059127023230253778442630877121663401373959871102657740917533893346035307441906573955879973353235941874018352082096049858692342504290301113552919677905063255812323227893566420308083619546855078588603556612657719397583434579972208631203616392367151355248411632400854430818064525591022216746248709750868104065770918687044196307570006089777337869472066077379213959476913/3774674336267841802323864511700106912026760243517883316634610916686929099952228943952155181037658474490951523217295725837365381683573192412033502493221034400584979844056972191885361703566489232868053236300420437098462677649054032835232157637244678234352650354090306367273343724898574852534999658946566292402269830255658290656278080761788104000212130514017938454752082239331768100422*y^19 - 42943430967849051739819810471934409160517428730494066036262363529290504222217602048378159848975301650272951583137474982178319715060897460996919706491703909540258540132612626960811330709397644695930327658584312661143084949228924571873300534533663030613411737890713397973990467602155526272311236735035764427102416538454929338476554474126978132007466568764127459093292363102452405377626394303/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^18 + 1590552084187133118782275124980267507138391645532827850774607130351748157814572703305900498781821026079454168071131848579417589799761061468012539024038360000219012345190121315918422694256192748998467729202474376914851893100919228825675513151541949315983637619626958153138121573684578424319754383833985122042420869363791188094218964686907040156722858267843462438596072370946523045834052749/1677633038341263023255050894088936405345226774896837029615382629638635155534323975089846747127848210884867343652131433705495725192699196627570445552542681955815546597358654307504605201585106325719134771689075749821538967844024014593436514505442079215267844601817913941010374988843811045571110959531807241067675480113625906958345813671905824000094280228452417091000925439703008044632*y^17 - 805665941124460166303165747623301570914282652423768208915814910982111028358390869402792746334168996851469101061992758790252097682474443229249485729534528679787037513986627975607376487417857248555651809725111528340736053831114468663658347887162057000994297956403527764718008325388815061927415532606202735423970357445287269800042953820211026236665171528896749506331616959588049214683656177/629112389377973633720644085283351152004460040586313886105768486114488183325371490658692530172943079081825253869549287639560896947262198735338917082203505733430829974009495365314226950594414872144675539383403406183077112941509005472538692939540779705725441725681717727878890620816429142089166609824427715400378305042609715109379680126964684000035355085669656409125347039888628016737*y^16 + 29302612677325194064839509319589494401974737019518677565317750146755696878497947420982077299652111437493932396419302916317926324225581446053434048405016447521456599369210603891627536560491579234788494188206136061021031522939593687948304770700769367965179200930284884021999545654691281347593280258441540737270498576964594117357711163363138290813139808168654423627269638044196906509188250023/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752*y^15 + 49801250226767695062910474493825017614401324346522359589545870006941503286498897171152849963811521974938540579540889933771877062651459996147969851814306633554506587387794080325591126765338093345403278656258747586460578295949684213698594685458734502432469643802454242011661150403190945716914910751402287048997449122465423427054905083931112307887576577206312914681365445965655125062004307/110917886832480199884631464071995795394725737183261952371264967248835382184087535543130363446469303198999493795182243550776576872244574983641021193556540955756399775031977144297825137294883062857463455979443024781589353245885885262375967901186253171257378155492093483703165288518599077393131303109540974616044659842223200460055921565084682578518630097748920138247995070393587308736*y^14 - 10608318991485194366387089894816370278205123832151973600213469488061909994677224590069594255221090885097376205996513673564742907687855220194466463401086650834543883226424362190490808956427597146180689441535130611556622414140769239302739834574120134401378956303856897226581875498061966753030385287444159146067619605868497293675469228214789580985562694638537612068126557774852168909448130303/15098697345071367209295458046800427648107040974071533266538443666747716399808915775808620724150633897963806092869182903349461526734292769648134009972884137602339919376227888767541446814265956931472212945201681748393850710596216131340928630548978712937410601416361225469093374899594299410139998635786265169609079321022633162625112323047152416000848522056071753819008328957327072401688*y^13 + 3598535842397897976282699969081768113250188923021580966429894590925434314082519427343664554821794893253766945964517947755781569995457077730786361472881222702071653907356281503778230436048340603923961868732212978199908584252828374199215461947974691126974497483316239997734399009917963841018239996293633921217542193272647421620922511851410144874618607441688364566897908140928054760523126021/9291506058505456744181820336492570860373563676351712779408273025690902399882409708189920445631159321823880672534881786676591708759564781321928621521774853909132258077678700780025505731855973496290592581662573383626985052674594542363648388030140746423021908563914600288672846092058030406239999160483855488990202659090851177000069121875170717538983705880659540811697433204508967631808*y^12 - 1063656350121925308968704579422146382789497353664711661072634460862013196189700376917605169897542324619019197062982408305330837101827808327668027275623500524743527677109904183859137612284568714244842523717750784843966930277706217876107855499612908604032468355627417604277169906710291647179344160532388768290478204344481610936573412364130785784205503175033950918019755992491370594759323625/20131596460095156279060610729067236864142721298762044355384591555663621866411887701078160965534178530618408123825577204465948702312390359530845346630512183469786559168303851690055262419021275908629617260268908997858467614128288175121238174065304950583214135221814967292124499866125732546853331514381686892812105761363510883500149764062869888001131362741429005092011105276436096535584*y^11 - 5919368690186388743748407620790211991515814448240269404237803988368828067463744328887310300124025505321658101846275212452171008716507551139790022136977015309208209930502983660702108461994568865908428770123195303478582468611593353350428583031069593908656519630511219949936048690814121966627706864276515640860447153401353613562570212851862960888145300937416269624882754882134845291965373499/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^10 + 1970895631416747251563476272384610900188766049856767346365524380311485463191619303346116577481419268237093640819845148271966606455062370206628802429958865654023649177433938602913203349703390073773507663771087394882225953108819840970165536066461015512239059238454208018270989411408106293895426970763262244170060633550192473423674749945523126083356834746482258089903393674635705447879839039/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752*y^9 - 1703489954056011721882656251079512012439259455274636261154180641346078463857553566360685209710054730857072849391055257937635248953129690438027778277002568258520775937836910389041242659563738787819871353270006719597060813668577972209733195821443601781972346886734250753951751536114001452113287751865552465599015534421135310212186990874993420454352574636359544255036990857761727218488897341/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^8 + 288215296495499714986377156276925547560139700069024609577543209303515954384864161886348567465694663471873920173145624755617019238902967954378052042616959676071150378754259417029714752932220117225132201964879935575704876129046324741055337962566900084673123112840424346279023655979574519037776321262479270194089938747895841616485396349744483352353267653992704729972333285436192623708468735/40263192920190312558121221458134473728285442597524088710769183111327243732823775402156321931068357061236816247651154408931897404624780719061690693261024366939573118336607703380110524838042551817259234520537817995716935228256576350242476348130609901166428270443629934584248999732251465093706663028763373785624211522727021767000299528125739776002262725482858010184022210552872193071168*y^7 - 317090482282404864015337404075900483550874014258662773200054732908757054448636102522844004049709033336540996144338235730783107963336689480952550867931558416107033381464770702164977056178876910370880825756952572154264413816035376659192362425764747895796208042050721239538911551192769879302489375304510466336709901102920691294375163806618077207040397689098150546879374575176111649046496027/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^6 - 404978270886373716252481908418074614799418473396323661846956569827855119553352187794361608387566782260061631862044490620963203581525538643118632396026452913248414941503948521056651774819974793143190412818721756486890752475044805692945137948509114293911478967281343763851512944289904995754870583180056051502843859470992019602411938396908060664817452418251238148967391592081042618275653/1548584343084242790696970056082095143395593946058618796568045504281817066647068284698320074271859886970646778755813631112765284793260796886988103586962475651522043012946450130004250955309328916048432096943762230604497508779099090393941398005023457737170318093985766714778807682009671734373333193413975914831700443181808529500011520312528452923163950980109923468616238867418161271968*y^5 + 14677288110608037855961138302565559457877016931345253202598403026384115949367686393731613671352878603224148674026616137754882854526004001512501669673935060904271158667319196017642433012122695044215565034912177311186110013221190265933807809377488464916845719377408618565907743102819115282879254388459943013467079477233195116512333249936090598972747205235050365179760734537553762367242707/20131596460095156279060610729067236864142721298762044355384591555663621866411887701078160965534178530618408123825577204465948702312390359530845346630512183469786559168303851690055262419021275908629617260268908997858467614128288175121238174065304950583214135221814967292124499866125732546853331514381686892812105761363510883500149764062869888001131362741429005092011105276436096535584*y^4 - 709036698176779580102289639138527635739796574430273265922723234522183120935149654045425630913281714260432967898040062884989658865969454309445966262839348427530581623226376667994744823738829949168724046803719478331413806817988591906058005438756991806516204597943302238036415368050834820777711018351908568295292537914187328216738545382143975156092880295301682101993384805675666705185981/2516449557511894534882576341133404608017840162345255544423073944457952733301485962634770120691772316327301015478197150558243587789048794941355668328814022933723319896037981461256907802377659488578702157533613624732308451766036021890154771758163118822901766902726870911515562483265716568356666439297710861601513220170438860437518720507858736000141420342678625636501388159554512066948*y^3 + 3361544152896637566603467529127211126637436599042263788704697499919197415390507146295099472397629401258620400264166450960175722092304109688039744214198684184875875013643633679366705823053708754810308994819465506091586502854151620802508273826658702500794678185564385082183278098040363558037265441669030699007237407219585694028562399822827540181187138502326450526571461227109275157299435/120789578760570937674363664374403421184856327792572266132307549333981731198471326206468965793205071183710448742953463226795692213874342157185072079783073100818719355009823110140331574514127655451777703561613453987150805684769729050727429044391829703499284811330889803752746999196754395281119989086290121356872634568181065301000898584377219328006788176448574030552066631658616579213504*y^2 + 727221409108989603912525160853475972079734719935215891109795892814702451337308219607772978075333288357654385168616138348071224974345600915708314076599285714864089877224321158501344442117707594308864549369638471537059509126013070732886163387119007206750412108814947393589840796210607945520721713170561786010212448473290642680366760019623878460393147092560359925060430872038901483983343/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752*y - 196314068683396017680626427485815084028018597823322468955073440489488778672996143276664064585270862408221488870755336023432153455281725574035904512896153941698176349527632052418320789992856372825894766477563142081980415611842958794704763443556829370738831456543208369446429764699088285846634973153356208120771680256620807784093025198726376438172653928169966651877360318178462337598413/60394789380285468837181832187201710592428163896286133066153774666990865599235663103234482896602535591855224371476731613397846106937171078592536039891536550409359677504911555070165787257063827725888851780806726993575402842384864525363714522195914851749642405665444901876373499598377197640559994543145060678436317284090532650500449292188609664003394088224287015276033315829308289606752

# 4 Loop Invariant
792928275672123018884026878446176987358543268495131463516939624041978870960782799839603082162945237415789988209758063552891326096266311357587771064285086393684857872684373351326083969623222751362432634364615785485368862269382893452665191553400115588375432676075963987542962228975963754176703152765686071516862381847334616326924637034666221277520428098678749493897274101917340310879472281320853892450432671991830867653368615363033052125868079604414591173867492186380899269479066186754570640303676980317364053194610918482935034569527604951/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^41 + 17972868656027556473405625506216051622499889930491992022504689136898000764442595023239060884160667631127854882730683893626599185658272426093708275622728156514478567002389949137482066894006135160020211152154748413744453929708789851645629709218989712912930737416448855661260575599541449160221976021721932766754005182725338646919066365947917202012067338779882381369886386896127044652677357389293669731553088602273921250313250052614716508046828122000214756538556295367248431862603772123640800455057242438898461728089998529686406066239756638183/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^40 + 53395945608643925275150465820021588188877324772222880942710227005814627116390123834989774131366157129327457995057440598820323071636164497242871975325533083092319144980404631864565396163574269767007156682487960139242208454644752650746980467568106238130440889985351146019582520766900790383591196127524639126855453066589074418220814653624462652749804723604968798303362632248047891051207117824915905018420259284908749088804390136497419047911359864692653097453649940170439532301903597210391811345839194743808318007114330313537140080839384224513/813011916113172078076787387283593092496393114798688767284587708360635354841031985316193166160188304848848970522144031140248511103538333979071856140367688186678843990355634545533132472033933400285046948444544242333750082267861179519390753522603861538880400186206592122590884521092449117017039334488459096886638490625296394320512628485150133875155238747407771068162563730498694054091954418034807764800135934159036186883315774719662282020412648099649501941080477024292702667183543073808755656410187855257610441225287478816204235564882498560*y^39 + 153462682910049493459387070592878562883440270187120966186780575390412256761811647216240229706936271343349566363503625422427987038417897202537091346074771738104129486488692641572194104268071802074413241057222375112531045344298475282918600404646547283032062821611987224559663519098585118442396943537444958256333880798596022880656939634458701678890436817111270918526815755067394423558709695011380296966451738527809636692818350710764118458449613720205532001767475390884990279949835319346836418450757940527098360405712606971050573770609092880391/487807149667903246846072432370155855497835868879213260370752625016381212904619191189715899696112982909309382313286418684149106662123000387443113684220612912007306394213380727319879483220360040171028169066726545400250049360716707711634452113562316923328240111723955273554530712655469470210223600693075458131983094375177836592307577091090080325093143248444662640897538238299216432455172650820884658880081560495421712129989464831797369212247588859789701164648286214575621600310125844285253393846112713154566264735172487289722541338929499136*y^38 + 883747189710633926188254208436037356177118176924483367686678550336282241392430545278162358531683556778046951736441450627733607473629424761119734451218558357891969572129820853016123608612127036310928031213377255142349084022573193274878754340800599594271158052045674453261347513577854471603365561099812769775436023971189252812124529094145893583679157327442965186358049629839891986274203253324611003313096106410957387885771843027078316493034132547831736280857069903848232437201046937738980897511762508218233728109957181332243244176495807317/852809702216614067912714042605167579541671099439184021627189903874792330252830753828174649818379340750540878170081151545715221437277972705320128818567505090921864325547868404405383711923706363935363931934836617832604981399854384111249042156577477138685734461055865862857571175971100472395495805407474577153816598558003210825712547362045594973939061623155004616953738178844783972823728410526022130909233497369618377849631931524121274846586693810821155882252248626880457343199520706792401038192504743277213749537014837919095351991135488*y^37 + 6784232299712681181120159453463390139912127775941023847155867846171830225839857678684897249318968446107695791689023351528127427898622856582621994125697701405100332328998613994530246728984173297150084906077756857950771630570380399928543889139979030240332711660273331210249271876176732505369968908322431988526754455570428087472279805703425102060392082742985929593852923563322681447500098786334166827889877394760774083387561349353656125069231541462208652193284778736096301017132243219225794221436996237732107321823128771939049147965476436641957/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^36 + 4700025045081598512758479223679694002651944191617423787293913112589079268297757996820208833341134387388498771105284207654013185067847193437421053628735536520567581969236196572493088597203680462869890824993951310066242184047201081714810875024015270356523567727233788987418115069041162013662295551527019245819065988279297689292523623632774473689102353656946037058749774728536830585578986082857981231708795748457645719541847964725965898804090944277530929140311554475766080572502083361611310358247015446014118979441495414664203275897608338125/1042322969375861638559983829850760374995375788203447137544343215846968403642348699123324572000241416472883295541210296333651937312228633306502379667138061777793389731225172494273246759017863333698778139031466977350961643933155358358193273746928027613949231007957169387937031437298011688483383762164691149854664731570892813231426446775833504968147741983856116754054568885254735966784556946198471493333507607896200239593994582973926002590272625768781412744974970543965003419466080863857379046679728019561039027211907024123338763544721152*y^35 + 23062085647344972389341166543208288453647581135482658028661600316789112784165532808963987590502218573684982857715132718631473238694825790069460165632366734629126175479973949142289718519108437383429879167592159051206859924744199523109507763677790314655830536186991042401921974594123676636775395806917221220963611322471694779039206321085142795892681695765767384061782898439570416614821664440556419836895264712425735621090350279535666942409558876430239600971410617107414815128754864995993767865837547850530450361171337304618415144498623376329/1219517874169758117115181080925389638744589672198033150926881562540953032261547977974289749240282457273273455783216046710372766655307500968607784210551532280018265985533451818299698708050900100427570422666816363500625123401791769279086130283905792308320600279309888183886326781638673675525559001732688645329957735937944591480768942727725200812732858121111656602243845595748041081137931627052211647200203901238554280324973662079493423030618972149474252911620715536439054000775314610713133484615281782886415661837931218224306353347323747840*y^34 - 42574163862270502582243909879571204490607205176542413764741549143308203437879503427590169929531037104911527091436365170270489792181199293493120100616316955684006292129462591798774921029021564072561246657832112291603348508449722358706832230287771638204225531557308280918144161928151562168388375660480906941496679370962646153629789749989126848404088274824968665830581580149990999896605189775178122187655257718956664957403208701784216591034922401646010673608022865562999903514935454627221891362090586346777184982254601335330248126280750994289/4169291877503446554239935319403041499981503152813788550177372863387873614569394796493298288000965665891533182164841185334607749248914533226009518668552247111173558924900689977092987036071453334795112556125867909403846575732621433432773094987712110455796924031828677551748125749192046753933535048658764599418658926283571252925705787103334019872590967935424467016218275541018943867138227784793885973334030431584800958375978331895704010361090503075125650979899882175860013677864323455429516186718912078244156108847628096493355054178884608*y^33 - 56857918669332099682506072669812725131449908557932223982384833358918480293907451935652956056452889887478121009124907414961533982873091341212346297435928928431398590647335040718569426973499759098441171413971077059265682803276604819865226400543589016944061673807179968394598887655947452549835094417898967976093280118007336644118290739242692175552185904836767017129677674319674388918366802144589083672312782923290671364637847262663769827715953509573250774310688604619483325028398791160328143257520276036586005651830597665196568808454689294552661/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^32 - 592497811482947685282717436635502508665772894849514819773829164532608170117602423628381077902130403998265630507974117939939894993633838955770851838064692785311824287152034437399894728296552169938922011431746973141658894987437965205738862079587956902581450708594195216896410250957232501563690062760660690917084739273782271003249619240533506701727204544801104922602060010327005856380502276216278649306912331788559636369042634670607218298291887876989560975726012157544100939164210668973937547233246736339331367258516641027216209823424802135923/18066931469181601735039719717413179833253180328859750384101949074680785663134044118137625914670851218863310456047645136449966913411962977312707914230393070815085422007902989900736277156309631117445487743212094274083335161508026211542016744946752478641786670804590936057575211579832202600378651877521313264147522013895475429344725077447780752781227527720172690403612527344415423424265653734106839217780798536867470819629239438214717378231392179992211154246232822762060059270745401640194570142448619005724676471673055084804538568108499968*y^31 + 63856897818408530050756655664711935831152301399652654034259730350424341815028232081750698214836797410380335425546277778853925701662256547751086879671704153149861964740991768505209634899312669974045797719533853433881181543277056098006101848606866459050004944302295870827344758052997161950843288111465125846987796506891184607065138407602987967532396206802295766696847321449064131410513493187997894798756244774315139675670529572064950366082732785419666788581279990656358778677777545158780859136100223815442126138574599412195704107531176895461131/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^30 + 22232458569196361890796217854807113918613368951182328392629245227801854723781933227240197505592737329669237368087254096349781987901360860642494316384013878973767431395344130636862960596996515023454311963444255172385740763248161886671934550258402692356667378921639278418487341755447230641517640188424073834237631180338543904817710478700933332097090915375509125829658453994487982375123076499979334844327040701732111924277008794659344437583588834954281939373250980682706322912271275969315743355398804564912092527771638909703515842812620283028825/487807149667903246846072432370155855497835868879213260370752625016381212904619191189715899696112982909309382313286418684149106662123000387443113684220612912007306394213380727319879483220360040171028169066726545400250049360716707711634452113562316923328240111723955273554530712655469470210223600693075458131983094375177836592307577091090080325093143248444662640897538238299216432455172650820884658880081560495421712129989464831797369212247588859789701164648286214575621600310125844285253393846112713154566264735172487289722541338929499136*y^29 + 12204165729608911972777967673621412540118448439842790679074937255832701700507555708874927540944133806453504533521238837184742999456364064734427375624313014484158618551655217534164536101519267773647598679471155545730187998623314980149041304830819215713688634518046621161966312143774372426869148784801068798570628236023141475002680572257841477199789301116108144479600087237832533218892293700636974932740858180463357152318000201996868581084689647315891447969215830643969325008847818123566875537555409631409354100913839752903348149703867497759911/135501986018862013012797897880598848749398852466448127880764618060105892473505330886032194360031384141474828420357338523374751850589722329845309356727948031113140665059272424255522078672322233380841158074090707055625013711310196586565125587100643589813400031034432020431814086848741519502839889081409849481106415104216065720085438080858355645859206457901295178027093955083115675681992403005801294133355989026506031147219295786610380336735441349941583656846746170715450444530590512301459276068364642542935073537547913136034039260813749760*y^28 + 25353928642560016006578704288791577398345090460262049003884850826792945488015391281879923897191483235608715651386812171150390286657174113142763957334896666732330879589845371391211104216163967761674488169823657819930225167078225238803200865134997617109106599525788567294954814349070192630604057998954603636813928278858810039909634478647389050615229925413310100296650984681180476958432840410175258150305242565472083962541610392525227144185234294220646687565571044311107284677301509819511254640003655423684418994343043636611076143857477156482643/487807149667903246846072432370155855497835868879213260370752625016381212904619191189715899696112982909309382313286418684149106662123000387443113684220612912007306394213380727319879483220360040171028169066726545400250049360716707711634452113562316923328240111723955273554530712655469470210223600693075458131983094375177836592307577091090080325093143248444662640897538238299216432455172650820884658880081560495421712129989464831797369212247588859789701164648286214575621600310125844285253393846112713154566264735172487289722541338929499136*y^27 - 775884841872478141562701288262220389858668588449062840590533028825387569058434157060400935702103313627777368853303687273294587180980477398519258938347919685276434746903291852671928998281066859967326625917858634039678806145382860334583093611693114376534342487215663025876054468122349069188379836787856141810515256901554967124073661495152487582397659102901940906728359833549998911837838107201579172503472334734904878716397726779186697956024023413051308588138461366918722373562667972408493404737217014984768449642056861789380894624758553637452181/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^26 + 245553032238162560394300201382876633547982638163256484226851374772186846944718856574525820598291740329387842836476459629380819376454280762155468754654807451563878867224636869482397063708496660054687958816405284199027393135360001272015062976228339562435407873295849842827213150028866283105401037125526745674635896715803988382373288824244506311360495049296500547237127199174567192586547266990446380291105705626047269414093281218832547797665538119226077377274144603423369702478299177835027361834308438584864331797522234055987368726536965808773269/1219517874169758117115181080925389638744589672198033150926881562540953032261547977974289749240282457273273455783216046710372766655307500968607784210551532280018265985533451818299698708050900100427570422666816363500625123401791769279086130283905792308320600279309888183886326781638673675525559001732688645329957735937944591480768942727725200812732858121111656602243845595748041081137931627052211647200203901238554280324973662079493423030618972149474252911620715536439054000775314610713133484615281782886415661837931218224306353347323747840*y^25 - 1299585428666394597010675855257195067948345578874908916068325794814095737933076854185080155951922492545625306161812880056887364007764488025353849297500686986027051845837746845520145682794675977958600047287773248757526927114160103367166856634937683719230379392959624706912552718500032932042721007680133245085633829690613843193782900062045671059313344720138851065994436874753133277175095088423928542376390156012740010835462796046919396692917897429737405589196092707963611359828588999373270589486367668242572410886538822655403921120837412663174341/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^24 + 866239458548342747220812227491256788202613387245949086578702583281044620820691757681720256484942881312055808784587403059606660561970736563650977611633966887440893200896844328287741222093250521818500870790948481063801261652662835052813991636236945569872878688877872073140633720344996347476997580843747399506931058342986670744962891353687584413841326631333550598035802741437982965137056135846084621651142992867487179188984491165437437603961433200968398498710755676302804646650730339131289380916129735516731184638734745612168506442783815149282929/1219517874169758117115181080925389638744589672198033150926881562540953032261547977974289749240282457273273455783216046710372766655307500968607784210551532280018265985533451818299698708050900100427570422666816363500625123401791769279086130283905792308320600279309888183886326781638673675525559001732688645329957735937944591480768942727725200812732858121111656602243845595748041081137931627052211647200203901238554280324973662079493423030618972149474252911620715536439054000775314610713133484615281782886415661837931218224306353347323747840*y^23 - 481025282410600174494928894041160605996459632994780185353812863551507253600462095283020852861485479898818334411107909844568440293024296259160020621405293410257930460500027103125992672806966467973530117174227777273232775448903057455530345722949068752538802298395398633781217787332132780962136378980316982896064281775531030597885365940338190582625469443760987028934816939521192379737871131628047666549348357844508983483748529983550945431540029158888102129708226322986504967906068498764276517856123885649622467142425495399484470599298113357149543/1219517874169758117115181080925389638744589672198033150926881562540953032261547977974289749240282457273273455783216046710372766655307500968607784210551532280018265985533451818299698708050900100427570422666816363500625123401791769279086130283905792308320600279309888183886326781638673675525559001732688645329957735937944591480768942727725200812732858121111656602243845595748041081137931627052211647200203901238554280324973662079493423030618972149474252911620715536439054000775314610713133484615281782886415661837931218224306353347323747840*y^22 + 15396687863968093830024196743116287780303085656153893733382957630749668591542167489349504088531255466269592757751615761238102233484602862351722311357176100207713286618633609053821463833792028470726114074815927874651017318939981435926921232055210473541994095628407605738457641112638392158595042435878670600141197985487361702116016669558251278689820326039792957758206316704914702170290259235825567971453652477774392020019147973638835818417236324912856951645367332354574308784429152750488626602324858159514112958331434572323240918575218617650047/22583664336477002168799649646766474791566475411074687980127436343350982078917555147672032393338564023579138070059556420562458641764953721640884892787991338518856777509878737375920346445387038896806859679015117842604168951885032764427520931183440598302233338505738670071969014474790253250473314846901641580184402517369344286680906346809725940976534409650215863004515659180519279280332067167633549022225998171084338524536549297768396722789240224990263942807791028452575074088431752050243212678060773757155845589591318856005673210135624960*y^21 - 15335118350295435343964949768945526615010315743440640598732149194702212399476356004435757080582819234653233169651524456099570562481637657356056434473410793877859261712612564405741043609485025261993936973472622927532045117833016082068566601293676756711079080674699151468978781477774832096458976043594525763769080826784716956145500046222304378746542109106469913746436106626060523569355866203044810745094547640867675797176746897095109421754105882053538645672537328446014594001562361308786696549097808661555564547490047981607252758918047580788661/304879468542439529278795270231347409686147418049508287731720390635238258065386994493572437310070614318318363945804011677593191663826875242151946052637883070004566496383362954574924677012725025106892605666704090875156280850447942319771532570976448077080150069827472045971581695409668418881389750433172161332489433984486147870192235681931300203183214530277914150560961398937010270284482906763052911800050975309638570081243415519873355757654743037368563227905178884109763500193828652678283371153820445721603915459482804556076588336830936960*y^20 - 1383105587442109924086768252616544262767473457081868125253398718360910218902328952631598558716402639983730031076556952293456299034812593549918711784998172732966994700790979992777771358688479222339552809840530811509180896115783279516924959323617428137902407214096304822784008009935029322827648186505126351564847441652502997318151189787425952102707874604237281925558320710916271595859001052327867648831142749478382108688360662992096364663023444728837891753706020734745420069082600361818389820388735890213614601301700648746175168439931270702584161/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^19 + 1222620185158480920807614680958212247990716531780071497130668031330609615095824964334391874829695074385251711520198732373881669719236972764361849882416566999908419427785944945220614658495289701183376174861522629481783182178146794484922299400925374395199383284621465217543894659663722962769402216572339394002496600835817366712585097966641077425131894833125071689048594770028827116225153354117640147601998021914783311937202595191070983316854476959722173963325842725163017542512577181464016748490246162290187585906281227022691979743412872747955287/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^18 - 159479188346370955340436270518128902043330761035068498269606852888034416612962130990143276105003752079754784897146842538128991174197426527509119271819897024615408460982571446125336499939805588993363949160667128248971179632206130915081268546899928040359476077996175033998969773708912101033933329964101582282865463857132698083923079618486039654294974220481149725654265558528085578697402228128259005022268438651003954451741066340320793085480262123024678867400309415825164981387104514471881243884943424513103830293118114604067703396777730920761231/90334657345908008675198598587065899166265901644298751920509745373403928315670220590688129573354256094316552280238225682249834567059814886563539571151965354075427110039514949503681385781548155587227438716060471370416675807540131057710083724733762393208933354022954680287876057899161013001893259387606566320737610069477377146723625387238903763906137638600863452018062636722077117121328268670534196088903992684337354098146197191073586891156960899961055771231164113810300296353727008200972850712243095028623382358365275424022692840542499840*y^17 + 651523119346512985415767893502515040839345179316670270304423703622787728106137334340020932000914658374579598711896433593823901015879877450610841591586144794919094631450843210218071195048156254663150962862841949499575019378031772701266598110954992127602829608805139046916190394518122263487425096004439098107789830856472250768717039999156678810127570184841291574921015685693707990394817269277420731852668907065873297868533614283976693946853873562422889457483436116771363606450452309116250464267394198142025465320052057981771785750980937621893/335955337236847966147432804662641773758840130082102796398589962132493948281418175750493043867846406962334285339728938487705996323776171065732171958829623217635885946427948159311211765303278264580597912580390182782541356309033545255946592364712339478876198424052310794459043190534069883064892286978702106151503508522849749719220094415351294989733569730333789697587836252272187625657832404146614778843031377751667845819551973024653835545625061198202273529372097943922604407927083914797006469590986717048599355878217966452976956844992768*y^16 - 594226967386468081780084715492524439559974554185464279244214287523859939411229796133783945556610572995262123295518074085174152686072457582230632975767367748770259544351808757345088839381793056118844160499438069003996781035307146554720708998555023181404607354987583910871959692132149484381494301312048923656610944685291532227950290575395633165758543803659212353072605994827024959980650113709787531657080376566587089550045175410406739680594766368162202092565788682226381426985906912175870456358581728168761362223259381403786899937349755628158341/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^15 - 402716961610140542988749032743275495598277166066562321480668412239042328860101693807322693619324159430133888618215545130497558031768984426849857704071935810969184260991908233738130349688827846776801077963508308665777952018855902322120892068109316394656433897616571766945382579734278354347248095131871196524713575783111042304095806825886394902441499229801318544744090617027941739069571092117576228841920801288488380301314967281450950539726405761223966488882009415538958185003058607892449426609499325995732995779622926240308559125706140279097219/406505958056586039038393693641796546248196557399344383642293854180317677420515992658096583080094152424424485261072015570124255551769166989535928070183844093339421995177817272766566236016966700142523474222272121166875041133930589759695376761301930769440200093103296061295442260546224558508519667244229548443319245312648197160256314242575066937577619373703885534081281865249347027045977209017403882400067967079518093441657887359831141010206324049824750970540238512146351333591771536904377828205093927628805220612643739408102117782441249280*y^14 + 230294941077771884356473794186840194852521949332498362700018474708649242828962011902030525855430420938020080744105939444997948016788573039399180668192921863950369744095167594025248783325973496105610719511042618543031041664822981566022862598106526174981125508301346549785750134802523006922012482695021180852183881961689051365700914925364030995760500339176628750751105538359156172963147091413031085870195756590349653042090422451919816257527635466491711604010406079138456457226329167170525478730955217390455347879285851494573866016267063492477333/221730522576319657657305651077343570680834485854187845623069375007446005865735995995325408952778628595140628324221099401885957573692272903383233492827551323639684724642445785145399765100163654623194622303057520636477295163962139868924750960710144056058290959874525124342968505752486122822828909405943390059992315625080834814685262314131854693224156022020301200407971926499643832934169386736765754036400709316100778240904302196271531460112540390813500529385584642988918909231875383766024269930051233252075574879623857858964791517695226880*y^13 - 18438002745504955260158095090104874763309525175731851247148599299480404228423965389692474961301325631898629458714493559927264239953368408989749735487331641899145458095472166979750085372077972575651259152809232931144239210396862663160258186867124083126616359885567965365473652827510078930394702499431155681673486507716524064247690858029718237248965751178985258364347121771432164990811999489522653131880493079877289199152774381630540152088465931470453678471103908453537808696294754054142551469161485659641497364424674781750899187043383396264029/46904533621913773735199272343284216874791910469155121189495444713113578163905691460549605740010863741279748299354463335014337179050288498792607085021212780000702537905132762242296104155803850016445016256416013980793273976991991126118697318611761242627715395358072622457166414678410525981752269297411101743459912920690176595414190104912507723566648389273525253932455599836463118505305062578931217200007842355329010781729756233826670116562268159595163573523873674478425153875973638873582057100587760880246756224535816085550244359512451840*y^12 - 12426903956973105761625746815481122512884398967901758239152110422342605467353475334311245677157752480754560233660772976574217806967999166855223876581832980920344607496744345946322546098866178631056246709860482402475752015808387378446180709840758068864896021499921754054895009156850850586687845749720324731928624473008402747832208649181661771825890284853464270810193559264253097790041277994815213328202940942426148118275237966593882197672739675490344316458263251880228717570734639413745822480345840250864486693452459880105709123637445871138629/406505958056586039038393693641796546248196557399344383642293854180317677420515992658096583080094152424424485261072015570124255551769166989535928070183844093339421995177817272766566236016966700142523474222272121166875041133930589759695376761301930769440200093103296061295442260546224558508519667244229548443319245312648197160256314242575066937577619373703885534081281865249347027045977209017403882400067967079518093441657887359831141010206324049824750970540238512146351333591771536904377828205093927628805220612643739408102117782441249280*y^11 + 48286803888340139005681415148451694123127385912127032049570642336044803822152656735095359518590616327635358244376084350036137601950532621681716619971931339429629814994628669897607110355217764215963514291531303013063866077971406909871416584947746125750983780195067862579336131493604690946845810409107902141020109196283831206350804271603236801279124557160832852232973092378747225827146285866001657811620879115250612047071535295999929767834083059918221792483596411102586136956688500340868015800979473887367186411607492749839597043044227229632001/609758937084879058557590540462694819372294836099016575463440781270476516130773988987144874620141228636636727891608023355186383327653750484303892105275766140009132992766725909149849354025450050213785211333408181750312561700895884639543065141952896154160300139654944091943163390819336837762779500866344322664978867968972295740384471363862600406366429060555828301121922797874020540568965813526105823600101950619277140162486831039746711515309486074737126455810357768219527000387657305356566742307640891443207830918965609112153176673661873920*y^10 - 83939137761003002288742677204240823554246726055562292932051331815265753676730869786389602535212783467785152663356624345960904421201750029107318561801482433417828947359027086745806768160213547558254163287300099752587543884680074229045578907241679194933363592552105802739476270159080491942781558541696438722249750435773200305408774339447457520550690411162491008786362061449123632671946061028746272649083316569391103434012368555429420462641960737854284730081652183518780094323282486024050313076871985203163329923228720631712533820300413247381643/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y^9 + 20159778517346290935074971720625349811614735651144893641817918476168446688960768757996796350829909032848026060040262398997852994568033761068643468354154480855245202610734412156798027463596705422551805307773933050685257350625899788289960202457182579049836117205244145710114209200300156410707397768245897894883281807956082230769943582633687298506565096608155815094678145553774374682592423208562848293604143251449322331704991823930322145613209247611769681859489085814672286303279830420408212102804501425225578487579109350314102207518942387428409/1219517874169758117115181080925389638744589672198033150926881562540953032261547977974289749240282457273273455783216046710372766655307500968607784210551532280018265985533451818299698708050900100427570422666816363500625123401791769279086130283905792308320600279309888183886326781638673675525559001732688645329957735937944591480768942727725200812732858121111656602243845595748041081137931627052211647200203901238554280324973662079493423030618972149474252911620715536439054000775314610713133484615281782886415661837931218224306353347323747840*y^8 - 2397663519742534868596333325617610798681586033143269823761618797829238047584201091546903131827364659764029957746799596909562493898829948904785187805075238467682013060887281556273760912296897272472215557628563525229835504636663185345939847426509336831983658310531728926337467119924131897187983733461783201903345866067280617744212777647411680778453534021288930801319772342907569092673271574041101601744101496326753295984426049364382284698884132907864901748203444291146769397133953456167202015463040563677132318441809710568012451445917919831463/271003972037724026025595795761197697498797704932896255761529236120211784947010661772064388720062768282949656840714677046749503701179444659690618713455896062226281330118544848511044157344644466761682316148181414111250027422620393173130251174201287179626800062068864040863628173697483039005679778162819698962212830208432131440170876161716711291718412915802590356054187910166231351363984806011602588266711978053012062294438591573220760673470882699883167313693492341430900889061181024602918552136729285085870147075095826272068078521627499520*y^7 + 1069735874353012361895028318654623864138140533097961077712561746739481998979925651635448918464705444075976391411401780979061179504226599144092332392618428245830118889123421032124075006153430937407444582859853296983854374776747623345162372973193079803372210744206055039167758525816172718337785201105844674706470408225799041759344975689219930803329923799438217873476059591306534151714388334764847789922462301687636571978732762152204671349914312070194466104109161048360117343055494389029201145946259967441756820276517343383955396723680904308787/487807149667903246846072432370155855497835868879213260370752625016381212904619191189715899696112982909309382313286418684149106662123000387443113684220612912007306394213380727319879483220360040171028169066726545400250049360716707711634452113562316923328240111723955273554530712655469470210223600693075458131983094375177836592307577091090080325093143248444662640897538238299216432455172650820884658880081560495421712129989464831797369212247588859789701164648286214575621600310125844285253393846112713154566264735172487289722541338929499136*y^6 + 25596152039963781829807343082803738610563438102822757589297222950973671921230655608555342068811958485172496187879296852725598451498774159017043679654853190329790853148456508677006794720692243164717554516741372293312374968709372844515037837075016831501996075595669353307756999516770625570474575747019197882085238596877174597883787634049747901558192902967020420924907149752851178710978542134962962131549403957328282443955292042187962928343988777836432141777571683770346660712410540175606588678008701743458087087752156053005410192086250915431/20846459387517232771199676597015207499907515764068942750886864316939368072846973982466491440004828329457665910824205926673038746244572666130047593342761235555867794624503449885464935180357266673975562780629339547019232878663107167163865474938560552278984620159143387758740628745960233769667675243293822997093294631417856264628528935516670099362954839677122335081091377705094719335691138923969429866670152157924004791879891659478520051805452515375628254899499410879300068389321617277147580933594560391220780544238140482466775270894423040*y^5 - 51151174767064404148738058189212048773838512977736080703099125579671814699181722214770975205811176197840055336571291698678859062928754774401140883189800192644979612772882387361536545123704568274879488791865683960003913950794593581197637014146313884971739252226468743977603827682264503262855101315157822505591906393798721282920269391440013948044777314790339851396393502629888578539528710430705903499053531377617586353862522160818013704372210252044453279608030532992897639338132307305748751055091856247988895982968734867399592448278251949517/54200794407544805205119159152239539499759540986579251152305847224042356989402132354412877744012553656589931368142935409349900740235888931938123742691179212445256266023708969702208831468928893352336463229636282822250005484524078634626050234840257435925360012413772808172725634739496607801135955632563939792442566041686426288034175232343342258343682583160518071210837582033246270272796961202320517653342395610602412458887718314644152134694176539976633462738698468286180177812236204920583710427345857017174029415019165254413615704325499904*y^4 + 58420034111947333117665292008692385736869469387072016547758317656225691136627346931739345200205589919040625812171425409985103589589848748137511068307427452138042534938358839032037811540116285659940867324525773501537245700547161380618389637602843547378109942873147264327409675338698808167988963759611974708378958351551839061171392284760424411809402650653740235226247652597496929117993579764485664481157783466243437289340436067916602729286285115296439554954109750311627983148042049054344051373152420950711231600704372819865254635430734675107/271003972037724026025595795761197697498797704932896255761529236120211784947010661772064388720062768282949656840714677046749503701179444659690618713455896062226281330118544848511044157344644466761682316148181414111250027422620393173130251174201287179626800062068864040863628173697483039005679778162819698962212830208432131440170876161716711291718412915802590356054187910166231351363984806011602588266711978053012062294438591573220760673470882699883167313693492341430900889061181024602918552136729285085870147075095826272068078521627499520*y^3 + 675438706124895635832254925916574110013333918597803074268550657560087582528707591189906152495643431814993999562440842101252399204019589713153440425879729148961733598245049365578160094731792935508967530424107860871232245396480010562453850951292318910151231801941901096043666478942823806762349852565508756787057898825168947011785588318725124756700891645257197775093387221861542214510652111310341155437764668142167113960350379609715016181336075085974112587424500521659279218394686875797728531697371578933818571773101322947396291574827889869/60975893708487905855759054046269481937229483609901657546344078127047651613077398898714487462014122863663672789160802335518638332765375048430389210527576614000913299276672590914984935402545005021378521133340818175031256170089588463954306514195289615416030013965494409194316339081933683776277950086634432266497886796897229574038447136386260040636642906055582830112192279787402054056896581352610582360010195061927714016248683103974671151530948607473712645581035776821952700038765730535656674230764089144320783091896560911215317667366187392*y^2 - 36900641671997396509919855423024192481284771902065852195772289421741339813557203481631922680963613734965626562447618540386858167576265577357561292748447687358106219492791210304124287236664250775250621992294435022875103420088693039371383661078812331192831974219069300166627317608674311624255778764294305531798014993830444366617261873623969830794547941940702013565692459447957607276636738322687555010344776582962289818464104397869135654887175775426535577432636686182436354932247639821884575007234453709960243048562638607450794384245664216507/2439035748339516234230362161850779277489179344396066301853763125081906064523095955948579498480564914546546911566432093420745533310615001937215568421103064560036531971066903636599397416101800200855140845333632727001250246803583538558172260567811584616641200558619776367772653563277347351051118003465377290659915471875889182961537885455450401625465716242223313204487691191496082162275863254104423294400407802477108560649947324158986846061237944298948505823241431072878108001550629221426266969230563565772831323675862436448612706694647495680*y + 230001506125805773487772690641824651528809268281618314448495066501588744062804149772268962880334120232057118685163806891704215655459052767400450406646259877713639293461158188535997289945952323775818408593627698636662025776250952979394583125606628356538832189479865598189806297409385715714536206411132068193659202106385800490552945568657963692760641797084123116661540869860430084295746912188432460243036450885606658554303110134075796895775144243919447233652722720165228755639046586717680925597701315633797597261852024719133376221050459905/487807149667903246846072432370155855497835868879213260370752625016381212904619191189715899696112982909309382313286418684149106662123000387443113684220612912007306394213380727319879483220360040171028169066726545400250049360716707711634452113562316923328240111723955273554530712655469470210223600693075458131983094375177836592307577091090080325093143248444662640897538238299216432455172650820884658880081560495421712129989464831797369212247588859789701164648286214575621600310125844285253393846112713154566264735172487289722541338929499136