# Manifold: Census Knot K7_43

# Number of Tetrahedra: 7

# Number Field
x^36 + 10*x^35 - 79/2*x^34 - 3673/8*x^33 + 2663/8*x^32 + 6098*x^31 + 69035/64*x^30 - 642597/32*x^29 - 558643/32*x^28 - 2549843/32*x^27 + 1906735/64*x^26 + 29490709/64*x^25 + 4743155/64*x^24 - 10202783/64*x^23 + 6436545/32*x^22 - 21604467/16*x^21 - 9240133/8*x^20 + 19920501/32*x^19 - 4712183/64*x^18 + 816464*x^17 + 20642731/16*x^16 - 9338195/64*x^15 - 3145965/32*x^14 - 3789669/64*x^13 - 4599901/32*x^12 - 318693/32*x^11 + 93279/4*x^10 + 688873/32*x^9 - 343165/64*x^8 - 22643/8*x^7 + 16353/32*x^6 + 3127/16*x^5 - 15*x^4 - 103/4*x^3 + 257/32*x^2 - 63/64*x + 3/64 

# Approximate Field Generator
0.0694906682662578 + 0.961004033300696*I

# Shape Parameters
18173239527924768226565658521486275892001228098957096626349300167030746247272994521671386842201899033318466954459195175298992221101089101338443967555501298478743504128/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 + 186897335704291783678964330666570849394650249831250148010413645080638443096811308465000164320947519903272012419239242582474761182486034480738228326050029100882795483744/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 - 665046477817283556422434657010454119477467978721268773118930057491415140754331249451505157353801163317914703046490001587263917427173451108295059195998837130679851776992/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 - 8536124253004935506532084757139737520938182258512447151892765467684607265983382448726923272248877812428628299520576600303942230205837428229425551874383333607545226243952/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 + 3634872947914009265781085686259915364022255419570062906849587004589247328521275289520870650542144588239875371796253240890387249225555476812921524829287303515476356369220/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 + 112005119637130217965989483986931438036866523828922782597972339686482848928905447233698905404740523421837711069022533228063134791862376828188473704702305032837549749449528/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 + 51383573470196167408247078644913572845928381004985354802068217948320272162115346579708496918590056084119015138805767973677877761972318826712773849490233191784319109383112/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^29 - 704637542279782819039275727647607187177356639342907180685150929972190712183192341589565952120724451748125542855014777660693054759105216435171300622380359833372998416092647/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^28 - 836920936822594384330342547800344652495056538398134397052484021937972067430300683931342224487774374742989799659613218774463957368054869549042996014845381727148457511227881/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^27 - 1560872984350664825659312252868368077763489316165422262420559094509558501538379814119002627460963407736781680192453565701527405104505477960917568820080401596001334428805221/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^26 + 211438354309240793740336565853307142647969477396729984641223700488887924918918360670775815594217150652388628463926941731808225467263888652502581900073708885583254086609847/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^25 + 8432291016802419955600291365433910842579484721112393657856748504363331199582788291070051843820433288492930143394324999052000750122926575659080889120331837387327855538684883/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 + 3743721249125519073730530127743959024766234440829019892271257456468605318775811235093621930109849659286508074261788832178839191920219933291198241321378884675363653758001683/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^23 - 3964396011784127742032832956524308836013519077546710699562653373760457040974930515160578041640736828724523280713556761425932881886345829162127197829459015723199259813351239/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^22 + 3013786831963184661095728183519595244753337177400939047279566598166964427538395963881225638096646401904342427161883670030188942072733015515315795655411761683945864020755611/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^21 - 47305468317022117565518478499392740989885785373766960495458226348929067299103430460765285322219807466363305912752174701162551831555139721553817410997493379015019152406857481/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^20 - 55525401802904256992509649614784906091298673887911260962034080869561537253713048058470770797176597331259110558757920573378471527510714861052162660364938022615026827860946643/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^19 + 3836087654124178827621661885311818635171015676754775387798338748224851715265680536687733535876784818201197153629887492047482541461937355328719068205503015634306330883263709/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^18 + 552553284804462612303495617383863371096274449174220371202718500779665635208605181938622422379143236612272909544524591555072930357502647132630147098938421992147525207455409/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^17 + 14888475584562219550337014144773877187833426241359481078234519673694524984079419529108590018774595242044323022748128664623598119966391563727440244870322669636938160089414031/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^16 + 55333170447050365607921900550290425718094428567440076591025775632486036709636597890918177676387884817729832761485630114765641521238590238422482189780230467030275264569548391/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^15 + 9894847195369591442431477395362019397100425517224882929105250629043614138248068331804494166071474390518752718126233112574328208121425332084860485751303158706477334058291805/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^14 - 1780373336388088371787730958120992295231968551025208188585399401989480424440746718305079067410267662974006626214758093031784840771901290709232019794475082566431649231048553/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^13 - 1456249023443766194497787161775095974212149093709392216513189274000645835834060723746890025501015312485601795708176907335892843139154862840117677792333394796748754102205121/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 - 3016874784343519646968407410113223763148959463295539898934733625918105320192137321212119216285238887287969702023764927609098820761765039712699680406765259947561968326450401/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 - 1010586051777195314659994772131066427404575113788454718299133526767992389030772916496508153169461572439264673708148284808305811852664028383232864273283791483277933766379111/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 + 191977816229012862104227113701342232537416693863394289670109231692016637795444744670574640448300427906931078397093902996747079816759213495515349817092152065062442949029737/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 + 468015374780208694586212321400677107018329478896577261618981366470375840192086328439320462987220189843450394645723544903342089562138054586132971888470674642247066091640394/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 + 33540091879831304514054620893408317137016024009439536009011093737205737073834243706055513301740516681107336402460777515513003608529505540883720559749781903853440153959538/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^7 - 101103821767682861713475770533886153272448332013910832580864755933311975662850143225397122393277692897061908254362013662083836714397052349456063759499360104595494734354917/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^6 - 12727569099483647340755503549031433874438657696559660983862887279726218962175734300251898811675703819967615494911223468455489290156829270877314839795188588455990209161875/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^5 + 2587360330703861526816642434038425485801922006850275625217451020825541820227644796045999478782455923377876730878509630679321732535145188675476187998496586204756541123355/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^4 + 1323217142527582563765233152491656892969753185447569130158674705383892360666972663194533050661135795449862569200482050556476904750702652478012807461824746230376514857223/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^3 - 632778512074302238783813112958207762876874467688964056705876789692136497192261902553721992363056739123872671122622071509484880458527802825329531271185983530971150241991/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^2 + 40781216729034175544492131181702539241384017392196048905295360740408523730671900881813217125246314258606553300479429609450956584892220624237552189541508352990206273275/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y - 3974412171808350491737157781571073507447638969742385819939137814689823946979508302647427701517675526779364656488582657503897742627972582618687210808922365112798015767/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034

-52789664282141277394928283140029827572070052100783842827809940248429309050918597845608712546696554908475871339316895311035385140912168983003107302484353094360251880457696/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^35 - 76872847885085270216908376646908440351142803171224245900363341208327526824094886278299314519239087357982938528761326574723345301121789542017818217039620130626210824896480/63226504095937614938336356576907024874046647835357997886905000913613645705063317484801123350266134420409589476330022308573244543878623708800667367446392714604519386897*y^34 + 1981328470807545311498860533934181736504224848567014562127922473543410263772508869667960965061950887726576515023910114966372350293629404913946986915370038784733853936984848/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^33 + 24622871515663564345403618626457777668689228191672416742135059534104334152132608317460097420053926459593452221535196038774694419324542247421944611134911334526184838284133196/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^32 - 12817953033099085746876132433445340812151499410869872824544302493860526683517478096794296544200677579713414790338711217015220738388682437477446005313602184445391586512939960/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^31 - 324505396318870163023388637319720310473511855991868836197670325670429059299986574742949486017293752729853101093674657001692464967676824441738693179317729213200256757767127772/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^30 - 239313682373775460515749542561097806811494593584368503252619071667235592492746364658476193143560421520026831199042023486142650292004541275229636920388413379516279431334524765/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^29 + 98899238370283903404549047236732353239915382396107926461081422013366712601211127932032818082356497471676811515567530384365166226769251875983246195723659659241229261742353809/42151002730625076625557571051271349916031098556905331924603333942409097136708878323200748900177422946939726317553348205715496362585749139200444911630928476403012924598*y^28 + 1122937726600384503561669420976759324866207824979880469342877856042409969657671708367072227512762648444653202622746288046128384174931750074579796400081510795680893345446896489/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^27 + 8837373627513224209808276338788205355470375815936864095968127051235068167179259287849820567354666581268466581008917222935054927067245158572015125611618690303183999356699602567/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^26 - 722826713950149068295809072841326636431446773896951857212813257602593223790029863615542041450776880992444965085198951127150190288125937234175615964099072522679895750284605419/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^25 - 24484773986755707230300428135847463783729710701875290486608248085344284194619194270702755330723359983039126897640114657005810180476284642626648596567138569992581433459526887295/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^24 - 2469740629657285276604341206537383868098838462761000553726419047630952833333601293700572734724039859955839300150147985146833887980422755738600223119153352734286374143194285769/126453008191875229876672713153814049748093295670715995773810001827227291410126634969602246700532268840819178952660044617146489087757247417601334734892785429209038773794*y^23 + 6858726388684506781020791122583898575696898684214606024705386104009398259784558309220505625331967491610727619375006279089884663507389254320448347514438298526547768774604056832/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^22 - 6172474602870096443833255418904071813600968481380961570086481302128136861952099503744210768539332039613767321786089753520321077181359617401840031225879501450631457333089349337/295057019114375536378902997358899449412217689898337323472223337596863679956962148262405242301241960628578084222873437440008474538100243974403114381416499334821090472186*y^21 + 46297472665530804913739960829129547914865036244338071794046034366933983681844908746835047964735411664499266578909379940430677072845584900286469543170014102879899649787046488919/295057019114375536378902997358899449412217689898337323472223337596863679956962148262405242301241960628578084222873437440008474538100243974403114381416499334821090472186*y^20 + 74447849746832721540383566464631982917675860989256431619534310211000711353008608562341019037859441148870768544835039156994535755557710784640998415630426424009539061814436292366/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^19 - 12523428641223400579630213358288136901356959425981997729190125751722214916547008893829786832275882002926584480734374404988329470641652620571699977495800786189445180749836875427/295057019114375536378902997358899449412217689898337323472223337596863679956962148262405242301241960628578084222873437440008474538100243974403114381416499334821090472186*y^18 - 74309577375012230291135845365471340201034736716567591397791199130658514260822734679322951270254959588925846443024997769023819701537202044156798064979685346381266484258090219/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^17 - 85959474144941018364059480210554487538639030166475421104709758152008097538767030841457814312026147872976961531273751358169947949205177506242806389149920696499531709021745392439/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^16 - 152787433536749445427628782652507300539778753058801792095592578654280915979025271064911620469786107019836101001385207529501902200812190843719604403108356653379831795394283444453/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^15 - 13740965658810945026358795462274878113728425444365172984685438779993027624171370092835241218277913997341486521358169741714749473802272001969481222639997873867411090553840883039/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^14 + 1401532299214328057286071732550711823876703883759762847969256798634963861580270651176142005942166150089081157748457398114326925710543121687705462257611796088944361142927793037/147528509557187768189451498679449724706108844949168661736111668798431839978481074131202621150620980314289042111436718720004237269050121987201557190708249667410545236093*y^13 + 187210228858189397563764494570431088498524134638212348246801520881525761552362096669690030078823546966402050788869250294544139995197568075234261834143009412833994178019117123/21075501365312538312778785525635674958015549278452665962301666971204548568354439161600374450088711473469863158776674102857748181292874569600222455815464238201506462299*y^12 + 8294595771928906229807538791595868060940010939954721098264483580972884563867492543872264111652209160679236806414893121376787015499426683754530794406013222001618412681294293734/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^11 + 699544092336957191693551499340872322713652263935662076758687524814376151258545137227975200577307329014621603926354462423989477356640143474084600833822644865420820391553470873/147528509557187768189451498679449724706108844949168661736111668798431839978481074131202621150620980314289042111436718720004237269050121987201557190708249667410545236093*y^10 - 288907158309994193658315973348213836405506240641584887753885663952085342646293360183493073900239671456685716296841035952698551211874160176035653966475978656868777481246935513/147528509557187768189451498679449724706108844949168661736111668798431839978481074131202621150620980314289042111436718720004237269050121987201557190708249667410545236093*y^9 - 1311107642471729201822173358410344702739717449208193098075906277247359873783017673214775944266894303086836912420742321463711641193536498330044771693137986295488774011064340422/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^8 + 74261484026763136511263431235526138045070158820853052101728205504510516747349628320669671201125982085862557027382607924394976635594349644347977189829573644308959415121613225/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^7 + 328612725402743579084438556796151394928896843551804422718499409086233321165145751432043591759872348979782398766142045596696606672573720229464967051142321722865243177239322217/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^6 + 221459722086350702176130638152209983681360713324140791216056681232826320292829615739132581921326544574457666432127711808924437303773663914095124378694128616146575304850998/21075501365312538312778785525635674958015549278452665962301666971204548568354439161600374450088711473469863158776674102857748181292874569600222455815464238201506462299*y^5 - 20972781588625751763101863196546100173031434391846736262506000749276500283830144909475368229324415527981786147403839378004702378646934570945910268567069844931574688990763825/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y^4 - 885678776645429306392420755306165790287246782891428385155498598324196285800503855452885931213857766328196741804103578408755069552842566406208881282540578224271384520305067/295057019114375536378902997358899449412217689898337323472223337596863679956962148262405242301241960628578084222873437440008474538100243974403114381416499334821090472186*y^3 + 1160226013397640864084659382216879006334852665772610508369828853315209345775630035745331698852253346457959936439966063836107696341209872440882833670403489330776077327077486/442585528671563304568354496038349174118326534847505985208335006395295519935443222393607863451862940942867126334310156160012711807150365961604671572124749002231635708279*y^2 - 375230279059488254642608258886124133439391759314049813238950402036301013998294814545248350686643854491263235043384199987291306042897513471592929897027977239617044938090721/885171057343126609136708992076698348236653069695011970416670012790591039870886444787215726903725881885734252668620312320025423614300731923209343144249498004463271416558*y + 3449433775775204330182572825728344105063569063266729491612213648093610608948252153505502548698999156380071265542017837205499958078272039527849146922052691429758687427394/147528509557187768189451498679449724706108844949168661736111668798431839978481074131202621150620980314289042111436718720004237269050121987201557190708249667410545236093

-25656985018970172662489495917471312637456075464567383632815152654057630075595333562886888882292431049968999163731989606510973895951113006545211156208534480689907515584/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 - 261168147262713331517680483684798494193650667250957865685039192320868544632265972059434721012554362100211356038721776369764273277961396527286361024598444448227736350144/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 + 966969248569521652112410179092612742402678971359187845053522661078747923133579221608931093417237016668381361773612165704698958597852891121132144309788550239078626065760/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 + 11956441979248206067719456508820176260491257979470731148843779962322378817687205748927739106326538108365749168611663642974050720776224801039545060567991777590116949404920/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 - 6409300779436349213785924408404938309199940818134286645165922901782370468417705060394702356948132392583743332923327977630889157903557037054554119018965608417612367492224/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 - 157758789228992266906608107969863117354109441760529229774702952320034035873014152750842532917750656821127360398820051461311815328316394627204886046788419444094894704517280/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 - 55898632930078602734311827420223206170195665471898961139601023936890892652122767044548009883615254348975441245269940299774751620382023060030284321074671955449142764975153/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^29 + 507209012343932362906542799450062239689682794010102037581156765710079871707954944319639443677376399921914261059840425459643531540713491721910642895562485539523103296652707/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^28 + 539915876407776708053521510959273470288131380765807280736256545723926819468974499352584352691834630480569838254159488130322430037826364798891321026580755470100332691003767/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^27 + 2135035202676154240297311645117493185378771902423266078938986688885383328451984448513041931773010002114156493443764855347800622106960606467356860364592788778909467170532389/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^26 - 389746983789492898355768606305056057104521218797823425731804831463798574804712518712558601022770576416937717679887602863600139496909498713230650124848461677003190264394623/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^25 - 11921252231051412703293018597310324084283532043293799054655097297380533083311054709617927830885610988586162373968965150986270435748472030859847640746371794387539549854168831/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 - 4039092752850053001606458989843144764862161972318718206717382387417825170796229016549524194358295779966985320028535747169624348422240245941427727036625495763925494277968319/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^23 + 3516196513154448323458212238400373790550269970824513727143967028572635787934790879791499844212728501719964706141345128332092477690278447396080517744552015733921849028006005/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^22 - 4450117034738347228029103557368328938976613555267316129349608321683616345622176011008781185794753608462195179393366173634717517436944660657832441658564450460421996824091400/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^21 + 33823015605636641775186144865390286791877306196542556526330008242978887873102084531982863395818475769435020681664903114014683845923756983515279137446597178079828337560430433/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^20 + 35751903678356630491640398188756712697240957275463227129976413174145079096190852935717620665364803447248869904198632187199464142042112936864145944526286698012780882824159456/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^19 - 9982284511024371664211521411135690419133407441882751131439578393220365046129880092833498474342576464644780351681440421605032278219336385953600495890623461873772074666459131/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^18 - 433476898900162489326264817774695344014631275973199081117412103171472573154176503660390223952173306306079266177403694304429489236166394575582116431038186971387564104110206/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^17 - 21018400002187387744300275544010882039879408703219334885899652707354575133283926479982736082466553842928562151644153397055189874744964835840210706732468974051886521647975146/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^16 - 36884108318756319808127220696745210781900752922540620676301519692380089201962951664751777475283683801459977162456237372439484155425626236145563740620488946019456443265939897/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^15 - 2607959073378980162212713284310387380429320117931374470492162319326605925282243056745625021708664734020244112482611196809649827562493271651192519879880433791544008529738023/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^14 + 2571775341171580845690753520931560180565283307797308704764311671543813610261249527450367334995874360660602216955311576989915523843113522250759080050559141859540628791495787/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^13 + 2123547326683252162307088845266812987587066824454322226926399387995450586661626064245711894831150833752553540048423648819405400003120612930229705137153623549290802654340373/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 + 4084685747585752944820454194545269885989197367712814236550602566398590989319996155272116122603660313729454699644154561733942622521072726053586407137804483668008556541186258/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 + 973456055617055570221649330918759940488027455491330605156467362967504307319544919587596052890844649907796718111969899168675704627651321336380009029993962425994087124059936/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 - 475498308723833156045478503248893563101898859615485489143868075245803484520642440824144881209839442793154164006870761975329802384867027031608829774463112409521245911298840/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 - 659750107786529791135024058352033141824952659178151428778901123426487481780532375225818243008249626795342441615430375534567551388102640457321959776089443609576118784418127/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 + 19182548770245527015453048011859071566584766835838375725800945978584825243287458412182871297212730789370461383386445674111320654001480106443954984529233579325497598557560/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^7 + 83179361012944896321933725290241825602372345567068329675658501790682157072016844129184684105984255162554565474385786467582387476059188075055604134167590126366559364697308/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^6 + 2654821123108311997752185218073015428635958429131534660669604592218736601172986782252802639482392282134711122631714440827857962479510487448800641456535119969949794931566/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^5 - 5256596334839389011049645166699196399182557107008438803779902239745512673408001317709972510512104022197836677892426287734647271910941027495945027189169459163312933662979/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^4 - 662253192322425239435379737650150086206258928398382460714901406104658307535825249891672024403305403728205052284095970495175352685438860340418909545247495216252979768869/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^3 + 582069085497166950925256450691264442623757950239694246160033891686205229816648364544770757799625770252885419319267751999390407523554392819283231215912051936939230960400/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^2 - 87310000055487018904209504122641193273855748776682577357068943342431862474818616850147920273234313296012078394140183165234766192127003910042901328644827274250416388592/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y + 5160865817058851399858120081859329016093380058473753773095551123217744494271227672422909875767343683426896023711012502464589879661125420812218978631678217768198008116/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517

-1298799404629171854656926292373433053566807566600615614848658948745046665109327272288284647525705718524826950935629354334485136437992717027294105567119242662146548416/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 - 13851975065119231606248489380441445264365951280337541012200899722930854759439821253676624675834911855591514822799132013403151592625499096564593188624142533200615731712/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 + 42369175205352306448402286606744966838652065006865604091525899748089174779554242347612118652509991085979357604928244650265402568881445827952439135035379713882850031072/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 + 627413640044236716357562496426371351466976082864972854632010096579485428313479666390546127550616358311931368809061699782438659007242389855352536796084571815269412811032/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 - 24984503970308135654130865591014761132503925027329043496249837874187439059303161130183635250781016164555366140455618248525805260133313153426001667692310971416240646776/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 - 8069666580110689650065650120958197049176488864052651197674510360370908128446683341659262640851941155891715884856735521242633464581581076949954747006826035925803887212440/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 - 6725363924685610235282137814522771049317293265657970666693819148286421713149358141006182600411407552723643529026017067549792769518119832414017278157519479692845713096009/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^29 + 23343168607191739840009424216533685746284884488450325687608822081709212825382062276214430746794997151601453245530262858490903584664865281097881377053290040233009454932808/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^28 + 39159178436468696716830265054137120580542364022676808929879421848105541674475971232715078662780628388976478228401320240328443558531578128636528042422897728307187892645577/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^27 + 124195899756453791337277660650681318575218087239043638416989693779734182362401145303561744886086800962957406173263320762942908416664226050179765002432491218861780345985611/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^26 + 36972181824746601583056795301019248524317993669165781621270728571507438599445320054326041552095146136204443075356237167564023192662253769677341806677286566714671527548131/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^25 - 598718335161030403629641605961482304599710821905395089986722341901710271574341650760424900697682468444027505491671494626943481792504936661461155014401131289662568010694009/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 - 495344032463780658064703239416240367926475360829409178878522441927897370617307865540617626562442292418154686418037435562696054580034708370514485076088541202940858584939845/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^23 + 7629026979269464105214319118458673219087939311311827930928643705755182120146272411915127623677133536849656884043371566114588354859458933062662109055109734484617780775406/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^22 - 186297625189688784075262919198011479206367225167718639531107961957419954070013968296647282066905009784327012307630030859494262786679109582288770995671332030453758338770175/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^21 + 1606817511842211121313246084150319942270163015470284636781691481399503007903576444001531110809956088452713933106812571202814593340713062276266955172598325294421242483957815/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^20 + 2615384743431905180792501221568585084889871138440300477550515035502953908154153779962186551755099334827895815261778156226408027759260647979927602230263399459167452114818693/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^19 + 570261485737319316543828576732354662656219064725916150311968323527921981777313284487382994193230357568797809331687997737525737503010739976627100718608372704531070836470111/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^18 + 11904090205714006378948193587856975883026902198018633618089648319858871521829465728194060834707802214243239189532849645742490190402338361933065955279334286530518273724603/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^17 - 1039253096075840493885871295610064585352174166609083124046358357161155618275983684565892710034363340522947057744975895993207727636862133910034359693831563682790636158888382/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^16 - 2369204570737177863560378415642454595525715850463114461651847327195099764327631884281471597348883837463662780498010380886177646596642062297224095446236066833019615305939340/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^15 - 1161037053984924743932801717385987793390105082636617881465491690818524023344941445358651674883722700334434925702619831491889071637263065809654523995946816394205211601821529/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^14 - 195928178898236465337728503950492242167431753585007902337316101276559959555713096904945086599461464945665275399468934161324539495699490141637568723551180818574139001449065/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^13 + 66664166653830996873110199558233098976746152478354243478849573427759714402923454970958200141999042850996245826720356683539521933147426945902877418564053590049454684256366/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 + 234784821420343605885530470749271550891292806787280176358158526838726290245555790759006036321116399914284475744707720439880467699311569266981253277098004046433494525410178/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 + 152556081126753363775290184870727302823523486667418378854432498356662300118019288439150997366392562558194897743189704017832925745567910583613607554442050888631233454420699/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 + 24641703361326724378669864795214454675192637179682331561018030940155265436864785398902217284166308279884676258751643444018661180434986535150766459461895990265503607380180/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 - 31115074412712794750534198672244035170796811484459862718604535947263616494169242960682423119999047215526220391533137282201344076772324298293425905568059277900052310554113/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 - 13044197325489796115607904186717850496297297769486698791499732832734855677987600088087485174971203231130705428662777860258164602002314151363933176800389666488140158880830/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^7 + 1706634282658469497466111118341582153448636210642683050386274063863075849322979970063369024389418113897229275140895736459592984328236193397068911986913175452550834692566/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^6 + 1398903246303620328737801769626535052325755929864885031412126704873991057036993043885633346413125667002128302776267103020827457923931140742391467246224830673761841957687/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^5 - 7298736788190306841921252041477937616005167833581971003653375377944673113464860188397948850042652203687781867004911396480557532494179607455208365184198966337667754911/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^4 - 93205495541894225923078993939994587216705486129556646935817363468583037031343388358940573517327421956024371950327036505145687810813369426244829049834680951604851556172/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^3 + 3543886002968394906843847796189654379928479540924869531122194010266665971572370624707599089700297612627568347876427515026610520947246530317216127011872442161091662146/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^2 + 4302719194953067735217863971124594972937578350091377318672378194411848879934100125324444820098570715003287152586177182454143737619036394402323128941775914922848934338/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y - 232899325777367276964972334620772165283246235089450529609426442449910388158908879367004882509522151054154693012803852261347854712854681967105173922204327452353708730/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517

4939241022121065141268380891744541997172442682703037015757461335145725594248417529216207181332877821200057786123494697483319886922600355934471514710971744668921680224/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 + 49341956853807891473074162894824889927500213095108104733387192392943417101194447313001990953764096789113511980542111741158029314269757338293221438135968881191228567520/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 - 196004534393133948368606509194786353155476421118345992274719316249430261345993840527931141543888709426908063109343990474537460620472846437975493823163914755216478051280/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 - 2269949721720089533891387313468496759450175608431039547013547312404431919781589115905682572929630314541045555485559327680182933768383615173926019691288893998670577168604/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 + 1680888990870350569150515967337361821528629954520069720122838342731728264703851247413066196357922241752034484055566569992732473670089881146124267320339968755765768644560/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 + 30293884346148531006343237233841599482041173042929291748568906812890714992097662001150304049074806724055374543209360492646697724658326212334963492941301490138091665306276/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 + 9976497799030076180779119262734445584564087089114133716743645675797623358099998008557749874689703447251297045382303180994109682184489174659250439833798599993594804110321/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^29 - 203418847066077629950311417783264164298250307650134979909215961596303279145829858651578419235310147798746354143033399210805558154949148227004240629197108660649080798326115/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^28 - 86962575782779114576846147805116248311316761532516615634977807206157604761055411223566176506620623141356487688554914363092591022054962193225083478075705212256465613759875/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^27 - 770844723169132125506445074598054752169378544741833257448371771177545828898794902027354098918942504614662045610357231534521354567408260394196802428740726097540928709462959/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^26 + 162154286788138469207106253911521569202237530324137498588792136289828831015308074341283029412883049809192176908906443902071694150031249514115532055401171290383859796273455/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^25 + 2311693129001231415811369292266284715395625909082991844488176819517151727010411637741834118499757556188339572132770013777757318799409474889089653892134453736471785218191468/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 + 700112103843096000958005920499725610769829366475115802269711925569468010024672254038209757669469831808169500827735026629187152305908928741296596980130579271763558294235879/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^23 - 974122840619812896518141734543184729857901070732042427478114321657579000901055720648106674237060653675872232598606587409616622491644608913368503072625503319140286073628514/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^22 + 1747410928320440814514435107137534964187612524800510065678506900680155954791457187257237478672280268609808097663921333072803778041824340903656149562124110615856473003532091/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^21 - 13342743183620573509874219344247772885447347345323787890133921460449952069449217177836246993588120584942712406700330275629579480975001235044848994823908860616559725385653553/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^20 - 5704648900004728580295677230750198348276476949492566652518419091160877646387556156828166294984235188922710752970107953511141407009052049134975875195671101892979582473535230/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^19 + 7271781980702960464342982340394324382696881455589132416929264515336177676340194628797378712968797895142675160666345292877492955294163739161932266897868754084571598436323719/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^18 + 340465530707601085421163752918289722826945130635058044273859131637445620382166420986712034615384326640867774346368980181903222411287710083690339611116267097175741624634946/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^17 + 8290993214595988574393543817750165497227401741992957215556299023408208837274559046859789717175469276164648369243328590449832937387735835444141594081238922902437727627284541/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^16 + 12739543015129804705491779904517805057372309572833941027207613771824948302111004725678068604027722261216609517370570949842742069101734050689502515775782656438990405514170877/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^15 - 2193903489279764825982245322137880477087697328371336852753906308922144695767000717452038200286411494351469794941102514267225209983976397787634253988816781674018369130634457/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^14 - 1163125573816918939348076118467909434773675823785560731383853089188451586725369115399162862487439805503202878174939180323321952307388425535369027112592981144642281797796730/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^13 - 573514042952453522513347395980419830942149806300934902669649072995485880020510212954330996457581676805947894128666346047582077355048995448109659688759985123680904615585195/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 - 774122508392130970990854379818698871339144725228933287712934361917530359894850047856231435382980459071428468461538489579083891433999564809900315237231046663084928011865690/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 - 36582464313369873218601228704749475025730141775775056929461832645153432290735780661468212479571602098941010836004244615663205998649713086700701004287941659403056379203658/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 + 179951500467154476979299592208943153025196998563894482136068922985098382927270639390201484053218748926326530207967866225186865758940701417344725800051937816170904382093426/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 + 142915794920888305699374222523518056082393786625033893265653619160006356069379348092558493455337745679903505442943734993604257339449259623843278386519694843365395547501429/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 - 42359270507635790763686233353951367942064389692602799948173855315973000987959062995953298265312684331168373232025853882684184494836542187310379183303787840509818100497247/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^7 - 42584858786193195014496176152056018914299312075360245226966665986316565260089232224023025610575200642122947595762596803146522367586194255645970604603937892375598336730949/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^6 + 412554119031289344758123957583315255327513008953449811047031180039214263493806309793005321183172972986552111736552699273190823601362293545587136183149414697473143802259/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^5 + 2828534894635103219325261565951462225565592797993101093632642718389142560412479949380346623436700392542561952115961374501020878291000346195981184833247559526607419720095/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^4 + 196480180448457600300984525283158271357499576734079296286054887327630147708239499285754323001063910538386264680934644107130612149968705687617072055057054240784721133129/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^3 - 143667753322507110487036627457971277776380839514158761013751768172181407909540019730236135163211616509158917753185701920119102477805393238987896843844131998463248020936/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^2 + 52746169976710806899317468914535866741414557276693923702311505907808582359138215788323409092944502325037210988935694204647240403858946036845724471078400542666288882597/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y - 1457113701869902495881164009157120775733326234369701456330134681739671132409266071484663827597924404319559122621049189607994771903073090102997262895232289938382042777/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517

7503382352952871594857366148398355278519273720458089738962032568622916941340540051143435918517326485896036548925567845518948755836519014823487141700707599686682299648/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 + 76185984929316564723717277661029898620501033756770151123415907289233176951168123914691090860149427762010164038093302859920444572632805423283440502421637856289439989888/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 - 284708634471614411457840811578988340095208667134952994859291874102370414784070395224872473329833854419103801843415468377805515135538465896710934379297641144842664722176/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 - 3488953727032801857441341086532494890735934859043663526897447397756684129776168801839893031174565052784503525288944884079921635084080085458722571421367128385952664148128/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 + 1962776578219139407395493246567224549621421095573064701801057691616808164910965161712729404488340624484400193332752132545869330106158849329047684767614490875563783395920/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 + 46068170401302201838639745832787570218022424416036711762005985733997738078672174449581053750165544434276684659128872694070652654582791207808768709082241254047649302472160/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 + 15164512366839057136175887753395040535458934514788064328512265963522888249173506536876645972047497349382229162452437514479196304546098037172102645672169841293943355926228/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^29 - 148492428516792951527527011396105755078365394883555651842011489333896152837583880458473197541972000803317985558132425531492363542950749518265223900877121713482841643072258/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^28 - 153879603442721174135605167752799600515475360042561457951912322986712345037900364230813541027920034319995555820268998388227590743362561489010177905414440533060526585241082/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^27 - 621089551018559091009280728134818071877131371666445300022559035283895986697802358777681090079964311641527039065760518741630247811732463276822856711778899688591373062910379/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^26 + 128768454034397603630093403135972908150215655740143051160141301784508653309109207430966525078285331468015590269947914519363369274872908756604926341939697825008536266814958/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^25 + 3479431019078277355814454553810928227295281246881653001469439040889838677393716118654006796066404741264454209372810256690021404147484272601710029798327357828775617265899176/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 + 1090602730578599323806700320256470730572757625424392213372379474050140933570224575314109216675195895768704198535599874387882285178232778670120869615572814295696267956064663/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^23 - 1039371470621909990991057995629462254849268336273189343101641888652303259072452511466172913250829731141817768970307808770250456141313367401833942151932376810858841133852723/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^22 + 1343327221270255228871126054474161251267335654719244181703896326422503241579161164503338332745095045975726643914392106973443892550618525878896765613531091308413936068649495/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^21 - 9924949529372939946384070967721887535694786417539250651313993626739387632571185153469571504850453912923887124908241438509731173574909617054220856554409596992969405449275147/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^20 - 10195181025344746892009911149981628334021242410007901409102891302924401531065880079799092905935610376301931841955466884220916643243438322854645963934351798050780365522674307/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^19 + 3135669986258952475658776751599495271510563729733214942296970737845150268293138019896666046784847956414477103992873841292475874255651635140275496200366442328523549838940707/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^18 - 31155094273984243241145678321529339011229331364431299754018645674076044687461306689815824420535960489944012215815960884995899401162574118709509519985305921619352450106590/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^17 + 6125457976860370036326567421859857855940584008793223959711132090020901293381597399333901412894060106874296482046604584953314722170252223351330863577638161945944411008425046/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^16 + 10626260812987668155847444738844641967334153732883612877618948489291166440347005664634737535514312848590343722698155488211699247199541234096083426008372039293228978122125554/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^15 + 518538660855794922805697982690862359921433052260155003403183994770176651816682294531708155472856769900188461699644719214822666141099216163782204483107684317839733726187682/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^14 - 696487067996154377124577008812850183245049941848308884025562154470868800502017072699735550735211476635821597247549071834688294175864844332887330765531224210420483197126919/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^13 - 565126261122506133524263488026540292925138509577464895612725088043660057568861435941071565996964858252990676380591167504751569306661692908074649890826119606715056071012365/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 - 1170737376422849646473722436480215812234039531835631512709810290420484014997461812954984584929090805605386513468346511378327879262441371211139657864248047863697333998162881/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 - 254904187435755274275461759330294549142641110426356464901371678519220176438581766132190250686596387299670598399997603075924838649543917787603115939357273871870376304143873/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 + 139544291715788856250270486305782601548440883493987862852203084042554639918304539121207360357063360574985882194541072016969438432058020508927044326837539237089207787711751/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 + 184870668979291402408129890397116753561563288042221899120708768123519245296843724742510509129198249534744295880722990837688148436769515262641285209458458013885455284016491/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 - 11349000223275830671031745649452573243298080547147493576460493466321117549563188798137050649787645494541793163449490369337402939185496468082550370834876860586322552597616/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^7 - 23297031744853369765377400459601464903675553468647252952423949681348600430335555973164190503289855419162478842579000695901254019721023989127973608615464704894851181099184/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^6 + 186075188709246452926813026400513038576969807623701053802592506253995926281475246840934736001038148642939767452407504307976475825283955759361498729648054282958913508508/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^5 + 1492831964143114458622135281771909877082520690321064520669677321541784036239909264588781245303401551878173346610893398677860504427549642572623756236648480779659183880463/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^4 + 110127988111156392498576382863304552565426037232652663978595101338692833637520194681519493513342365056082526415140951161862262825552048741232828775223289517832643432208/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^3 - 174806444965491285697422654479967057382507641846549097768991489953564818046407538910983439554096888992111440468636214019862207123301286568977213110628109983802383306813/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^2 + 33121348683413722710913283607234659850443979704201150855407941758554393600631802215101325181652740121593194658802092089917174207674361749832943234389733304756861796104/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y - 2186515126523788417778404341562641938977290363308916697816218905214714570979044265602883440340945506518735118299367433549074570521545343957313428542965961434213794535/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517

55437518640076428193613089866555360919526126297057718554399915548290108285603835486339763538668870767634730372059840547284910593746355177216173654980445305092817929632/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 + 562667490283571377661028158927770224757105065729841476832751850671161183073114862346601254865114549094471784528028281863094079752173171694798405609731835415078903076896/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 - 2105882931685803770100669596730070331332683505136491435593971436905902789208583806903155276457825225579897302112643230395006983598255771873755162464481358897215290001392/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 - 25770516762857787772863189828380890228473939015366592190368582325418518119950344296728482934354367106930730316984601494161566946166232268811352377506329195109124144207620/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 + 14608160003540727031912745629842835172448810620989660579135267362834515756692262044680404097152566717019284495656363696673106707610672927636398663335778880865196764140656/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 + 340368910173161722202987882520989910384172738016756157963656488166911973170479794906854345846088517607290614812505274814695325003785770139237416623468130822153203292791556/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 + 221365360106067702816234493786979066122457988130239890483932405839649245031137828322667563924201551261348273218666963538498190114091538435878386535131495634243081064848871/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^29 - 2196649144761079783482901666023664248046510690761541827663306260704846646655575709384008433647000598734203687667541376504580747637749300750624214716234484309291749201947453/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^28 - 1133153830920929677775003472869345443405443357914754203860814474621625452537268115434274218036450768448860924823817271372672035741326193552289989726610683870396751704170340/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^27 - 9164058206476503819795301747117797184167656299012529410325436738785713089908728869846839411322745022929804772716768498835522883137647955577659596010227744029229006422850681/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^26 + 973235677379787885554654282717108499247008929845381971230284665382576589078158287706735371864403454763147046704723893945407687588068362298259501207972491425366659461836747/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^25 + 25714938399150760560927142746671460895326558781104761114833773736304036221995090481957559720017923221431621760840653611715156832100590467651367094634305998594166727841131118/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 + 15916774290023855423886673004025809810909483789742920693301358033006302574975153629490835323490198868486057253957372329632565724730682483757682282413444542834599362497148233/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^23 - 7768579610672524528535119128393607261778635465991169168337821347275333526276282987172116084288242456675049101794734165503023958112305102927297896215901883820067285428558716/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^22 + 19822655301403125369233851954444200447751376646490869369970058282270739558829169627391838973217976039208361149948365628918507945327051657517615767978768433717052628533397673/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^21 - 146726363049645665889503592709472653864032327575790613887849835294735681033573251948217037827382840086971318408580985606830673886267083012744256498090041383163031070627520219/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^20 - 75050405808549249209274473104060458194523085159237427890578350078380695616415926702474329235578379112652203430953564314702493657551104491077115956888867002678898825087036903/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^19 + 47238919326300908535295354792489154687931766571367254401358215890101521026669475425651751912857361343073627637930279429550081619318202563615164501210698729207993756635743707/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^18 - 81457224439967402835754115309588686967864130954120605356157724674422939749314689094283922388253189429684058367184320805755676571246105967311324554560738073548551111626798/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^17 + 90588006782435673743579632712858394750998801237723875521738064562226824359796510572760377430521975008335848892811349022267956726303611515797425817877553654303813639845088341/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^16 + 156641735572261921173899129224239147670991483597955043873637891623932838519297190798452981754777374398645783653242369014231774793209588268672425477212183101527418117186838963/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^15 + 6841259870730103249544839377482293552907151045171478300130060823836678955286068876964791640365857029360749297279839895781903362938322392921758258153958710173536168809001943/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^14 - 5379811274721143051854420164645791963031511210132793928398289235652822744997342489199551323078845674837643024327753580678719496784661879622884597441785848844557432908634315/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^13 - 4250114381931485603821381778409368672915961369791639819207646142678800114648975830533402087937491064880599050793253174616319789722171693979418381534436785823433940109220569/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 - 8638464458875497446341590669844155234589347068741877096170951640572957938525600456213608523289584812501350661736997415111183312846323143084384165799039691195199118398720372/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 - 1839439720042930923258750157499395921607873865619257416296546502239568674505457842302575605702195784235269664810162346257195902284357504147214476059157093654553901432599190/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 + 1059855422813891752557078279837388599364345110826508468794405831553489684540307848170322992515342093884015624359682130780340692927147647517224926400765895124164141744190283/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 + 1374582332374388809633405000049900349433563529226381227372644594870902545303709809822907944629847841287865905208131599218890021913725562282965687957078908278852131489122722/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 - 177462686461506283613732324955874760361425370333243133275119084387409755380856489849268405715298735384697877270013319235806215578557186938875880714055631953496929736428605/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^7 - 350535227814958557445082812697334585899771946225977076224667001514894483748882207844064614639347216259596515388734657293072704221041164575759245403247293956370357022390275/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^6 + 971230100480964238216864607148265418891483001136544713970728674043298332331044214104889375626312210509028004052455635281235819494810068736279732713862330709362147703936/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^5 + 22747869465224355892833195731318685949845809802432802352258808725435403128987283689222248321102675959936860063210475029040391313390717642218413368033896524189211373922581/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^4 + 1877700546713956004632778045124484397594068540979307504549883214985322843371253152779121353796418042354243068565351062819887678469826347957851453810845567016169862076455/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^3 - 1309633920427399474701565067850046814164045475992051242309288672072084784133201035349447777860432717642639162876799378341344054024193500684577739621732969841923932649278/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^2 + 484049668024140377296451844361812819822146521922489413774148956493041259134080631974615046268940887765801255183263417735980011367152319732819633188787932988569697045825/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y - 15371804707928021934806554683887778763039042919308057916636819851526490827179074223235571143593055256142589860727512508297498811401383454215670774247875015531425023193/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517


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

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

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

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

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

# 1 Loop Invariant
1044283550966116007361920646257226385229485510428455682186593508309231820369934273949634741970192565777916966678419183323248391848104802555669976559073767321576450689376/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^35 + 10568885845037085750664908499830027922889097569050401439842841690045880219095004153848439781468324448914594282774541691471502444703040647948026066673525694624784268840864/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^34 - 39981202511566000986379217294718784380575841703308566957924981055988939162944569006167227964692361923135102647627275545022904826897224857443181701551487680987685525439504/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^33 - 484363262341925118035361190597468875402865824648250401082442042930504871166111483728565434192585604269737187075838076404123587270545765750987181940946911059458537006142332/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^32 + 289419857334054045248321949007796218454805767776323749498343073807006402037474146217782448287881931226232227709529769852306627425914591908673489063437485088754888726741432/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^31 + 6406640398551967384663796231825977075516599670451764922465747442408559959194037431662138131173228138083665800859749564077545280966494646730379854415925060556014903541923172/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^30 + 3797631353484260941425223148651730415996053750364053365872014203212175983233820810162006413570938989016278659820714132374154513057608006165293205582388602241803855192654113/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^29 - 41577474955038628460182048754337123556023724096654043343418204118255969809747470962173992318340255925591766930631620983040254407526044696362504658492116571361044626118374393/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^28 - 20769526608565543608445586146969009399425166607189648569470460667510323980562408943271510382348580728705219058557530189974291314075266936115137210702848784815424750942655574/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^27 - 171152309434607018725163049347728947795086507374635548944700747087866660837136739343264335425338644918744808295552314377485964125405099517252893345797531145666545013529859479/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^26 + 20981528223748610837609897900994371637884280420215701583284794442741780415149225989064154996032043044876234760183552896683412090777475281482470907957865308470948994692794787/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^25 + 484434102945755893611822520346246475607528299664040196184631700362997099359760856410794344766947059601663956529480664905015105290745142024550123689580893057465478726798757341/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^24 + 271895012419471688464423456819993560411343180353536534212571732302883982088888858413901205380192187634273722720235715621602081721823652268933208372291538853872946301138132635/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^23 - 153595412057644073266034982236804374635417787431807794850845011007992171734227520640215396819772272331559413887732179214225550728906248126515179335314527760602481894730192086/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^22 + 378710432892556725800277616155498558043135294353079651377868241300779785066017958026714806063340258412511279442396789164341634617818612739641651357986304024358346536115116977/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^21 - 2773869850312565524293052930321001275718910948707088974783360629400222936823869084550024459269279434782184943421719077962733432232061525516814116329265470193951100547003373517/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^20 - 1374933647383319129397620532342700896346555029382785413249795834147735855096071591331714414384555450859984971012186873014756128895967180525349536942455807063931254548138056086/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^19 + 987928429660652763971550264700903126343866385596209309071819113701414060081324471557012309796128052167416941709674993541488650601555227888736623120136514412723565831511974317/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^18 - 3971439273115948013807584085118354070818114381834581615741711100127424460866174253843784106687540318323739792004334363193831295634794073648029623743343191840203618257495258/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^17 + 1706499631307407061703898893680535519782792392944557927509388230222914737357817900602361517208578891615576655367611507123308910896419056694382339029877549037521196834026431815/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^16 + 2902279328535857617131229030257296901335477335688366754680079322993598550892913104051717977184178069060610644023663209636623323204890210850947969875443723583285757529316383675/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^15 + 33332025568449999666718329244637735357257744956496311888866387072067133204713186115462751035630814056724100812507773494554747725026175976128886842149528460902295471081780821/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^14 - 113317947960614498622673219475212103648664262606674718050307987506620959889236142598715109849336649746515011915172778133459363652678558264088076609947875159771104826455597843/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^13 - 80027318547286693601709639577793369547217416694177499767755638985855121116888084676816257388838260467625683110460191119831880569406891204345324595729953825564699582896942221/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^12 - 160871992217334161519855596980339532590113150700173268144659402502436352556283330330708587480022571804890177736120158814733859228278501548079450498256249171599235826892379579/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^11 - 29642415198990092851320383938989299902735156306492039438986331938946299535569086482651513372896570499818983469577723883443524102294066716416778939125376531860861475170702068/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^10 + 22000445015652847768840230804787608536458476780867420922536251856846129237624509117672900882704532026100926160604226670024006910316253919874436622396106265893036999330169708/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^9 + 25769318543455526504977838226458488242363731626508566559929470123474661477579440637242316708621018369905536344923224445072940267587468478514704406090570391778485663971183926/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^8 - 4796402913716315874007830502531558153181762066858865531283023679691478028602252203906774469710949621955138324798261253498028290255199038341643616490602231669220014132041811/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^7 - 6782918259115884946462807732855860395479180096559144321005070059744483803405883246224420041455836984587029225945652367166638986991444131567598974627375850784896651919103881/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^6 + 93296407311389849966038196508941972798964619044555146480335142623843219997835840113148455915040920168268167104752955015678380640606765737675631802207381037333044962922215/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^5 + 447269201865246121675215244945699294587193620562377289362443363325624895694082245246307152022192683681065578909351911329784159696806505668360476460376833973496070140826253/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^4 + 28347181918417778123764683638106889219502341881240960371558619198725427661056734674557291354847151582171271543681312608203241021349340029031075624724309486872105602643891/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y^3 - 25786480846761194471258950811191211714268627998584886624261410658521706855343649031902700052077178887838236371811563741662308385340170314153239773700086284921758458710572/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517*y^2 + 10073331040332681453285397961994873956088977667957177389296898448149703100096163994521504663794410893162027609077870621398539465953496959064722413876384497587997493964445/896829845332448438841650447899390423745342522487347487757517743455512705036359113259590402131434530785951623777730812887563752395441471046817976843211244178787509034*y - 343081706271176868324121796160754239230686389875300200255034984887315943130743504682738733375942731590124599707809408553325714345579512736986787493416754574703700681711/448414922666224219420825223949695211872671261243673743878758871727756352518179556629795201065717265392975811888865406443781876197720735523408988421605622089393754517

# 2 Loop Invariant
113828443330067656996474198128840734693177160642996290042939115715768008835324872346071548029689415574254325387281020571582766637556633835876639791957130261118392386913620347571973997337005384027181576570590070855221266352298012136565419652701030702861291787255963970876525375871774866195189546205920480/168350108099659440723454460160415018539670582247610703458167245312856837793154108381057866902664515657122852948368544504469785313608365296685701281966164958685679705641671560359779331510231225489117426549763301299386267743082774399600609233116661306923802720596170131278879956856038817610967049580362711*y^35 + 1097365342316460913031968096730209394155454753848838354596805637003112552567560674011286568528961485440501717226471123802829824318574668944417568837599711781486117851829830270810387787751572068187636753362082044987662340333286890717551941040644508391998205142230777302022612620808089286048759414831407152/168350108099659440723454460160415018539670582247610703458167245312856837793154108381057866902664515657122852948368544504469785313608365296685701281966164958685679705641671560359779331510231225489117426549763301299386267743082774399600609233116661306923802720596170131278879956856038817610967049580362711*y^34 - 4916762556905962445035253605202576435591294699058835827773623390641012212941200189863578768878421905438850531300379172211820425177727290812663925655957108142151617020350073412336581435580349977967493730219760009325791834114039110686312185900661271670885655152294275915405168385661017613482075978621883828/168350108099659440723454460160415018539670582247610703458167245312856837793154108381057866902664515657122852948368544504469785313608365296685701281966164958685679705641671560359779331510231225489117426549763301299386267743082774399600609233116661306923802720596170131278879956856038817610967049580362711*y^33 - 50759994075469656911323099687918083293349209643774829151460786558768556457243288766553819548492920096393823623408247568852570968427748686492155047744127696682757394638070594100931189482055602437102346462600837121389945519361423019871860308959553726897632414490537742243542075779728495592578427137997454108/168350108099659440723454460160415018539670582247610703458167245312856837793154108381057866902664515657122852948368544504469785313608365296685701281966164958685679705641671560359779331510231225489117426549763301299386267743082774399600609233116661306923802720596170131278879956856038817610967049580362711*y^32 + 57112972181966739165058592954654640384209535676957847138030127463834326822768651085305835063623805150681322618362872259251406009502106953939420115848876150326797705157984091812819050666929210583557646649320709121104795025102534159174612315630121643124849619370188752324229794847124315381574076556119046672/168350108099659440723454460160415018539670582247610703458167245312856837793154108381057866902664515657122852948368544504469785313608365296685701281966164958685679705641671560359779331510231225489117426549763301299386267743082774399600609233116661306923802720596170131278879956856038817610967049580362711*y^31 + 1371544854451113410217325885310318375568475657548008418981003807701243157000730042287845477112956678618518098585405591729185171015733237187934769437475630279352503492392261054470335982901500398099978639354447321825555897225328967696972460637039839280437899357793294191102236952806667942759713965394146071173/336700216199318881446908920320830037079341164495221406916334490625713675586308216762115733805329031314245705896737089008939570627216730593371402563932329917371359411283343120719558663020462450978234853099526602598772535486165548799201218466233322613847605441192340262557759913712077635221934099160725422*y^30 - 129919510578298854748815813370990018509591355315536241562021242222027310788864428631681384867535249182194039668755984598569251907433956663844382284236930888969918956085260115324507244319288695544946686435258506949978759261878309099781559266139830028384555651609976097636793782850174163367647725487416073317/168350108099659440723454460160415018539670582247610703458167245312856837793154108381057866902664515657122852948368544504469785313608365296685701281966164958685679705641671560359779331510231225489117426549763301299386267743082774399600609233116661306923802720596170131278879956856038817610967049580362711*y^29 - 355525814914445375426878845842147173447116523590609629133453959546594897798463523974385590658444654367693761538317443613199630228304280308834212433111417670162336009342754585602682393613021890425200015623822695727369318737993061993344396685194498762560086231243391081006032104692813050628527895862463145023/24940756755505102329400660764505928672543789962608993104913665972275087080467275315712276578172520838092274510869414000662190416830868932842326115846839253138619215650618008942189530594108329702091470599964933525835002628604855466607497664165431304729452254903136315745019252867561306312735859197090772*y^28 - 18974053526663109444959567902127480113016606038980512077682578651224102748913668085471777914492579649486260110902824155491970719424488079130114999950107000759828414364388395238792788868580084010374759412244692964839233274906724822755505997992439181406352845651470048468983066059709694260175271233445069007987/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^27 - 65013653119797177338623769129455716534817202279720355786547779196496971762882867672401204490748961228791035793961971117990807072019229378895901961518206107500166655522582692993310417810543665308937116811993442408599475171865441352940735431818146768223197339967908257436940704682787966892685990338917501890401/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^26 + 110072320211915846703080301970561119721668438855800954051818874084660471533717101903393318211362864947381309933390343976776757070225157765648913655712996218646258622344777701398201268805757609288784381105289293316293810450587971641520455235131529849716008692672287516072194234149107659879426218237029858349607/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^25 + 834443812575158452824469427808719398946089603705075134827109410404230105616568829600677966445277668159728973984887043885081577703559216609539646202012233189011197841471435321095045502430605625203583558911635063322085051904749194814396262494741135175877801305668940242790337151938974608896112742326119325560071/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^24 - 85324431704252513204707574873009871610019972191611685253960519224882703673258476273239726729251947238186808209571506646362575185063131709394485326332824660955391956338773040902707263688633233506707034167703182058698788651338913931539256064374714769806115028198385187485330460136953969704436910258417672461881/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^23 - 423876449356554590881741903630552307852119599784757287620466445626462847332646915064404457118921015160451356853875487058975460648356529612137618433960176937180258200202701219486151608362134450275906079503314932134779917168784988967090239341069629823275723128644149628158760571970109095255540436291207076776131/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^22 + 149016598716436653593656041223770831482373960104304857453051658571145634911964868255945803395379002847329214316013638668185843007376424194752396963336393206457265481120952694463852046723595305828508660620632630080954461261232494783353609026753386406481101910080980993410450973817450384130836945050936636303143/897867243198183683858423787522213432211576438653923751776891975001903134896821911365641956814210750171321882391298904023838855005911281582323740170486213112990291763422248321918823101387899869275292941598737606930060094629774796797869915909955526970260281176512907366820693103232207027258490931095267792*y^21 - 426745659351981180110766419550366731272709137818016070758522594081569087121048691300056354322662149835197502456274361008665318480587665691957505096393451642485386617516245292198499669445523197004970294159315138397303846566473194234054383519896609102526641809124085025915741046193822800923868135594883288960835/448933621599091841929211893761106716105788219326961875888445987500951567448410955682820978407105375085660941195649452011919427502955640791161870085243106556495145881711124160959411550693949934637646470799368803465030047314887398398934957954977763485130140588256453683410346551616103513629245465547633896*y^20 - 312334378059796392986804251676186665518528778863395016828714306856707588802959097668100320662860709363650296684638951579107709017570294234891869681715979838937153307330502412021571015314983406400069002174830841654924446558120282618779756130928743821096207095489925893008894711770347063287081858756867657303905/673400432398637762893817840641660074158682328990442813832668981251427351172616433524231467610658062628491411793474178017879141254433461186742805127864659834742718822566686241439117326040924901956469706199053205197545070972331097598402436932466645227695210882384680525115519827424155270443868198321450844*y^19 + 29606239377953868428103369558082960041095493455221902808904512249589452975060970037108245428029900649227829680479760978984516811827021198243968420675680871624947352277534053963373701168643222660380383468678339962298624315433585159522190163492790564269802265549221508829844153117447528136082264324218729024103/37411135133257653494100991146758893008815684943913489657370498958412630620700912973568414867258781257138411766304121000993285625246303399263489173770258879707928823475927013413284295891162494553137205899947400288752503942907283199911246496248146957094178382354704473617528879301341959469103788795636158*y^18 - 150941023694958496882845314379666230590592187200477502142176378869951121254593638662561723473468872416820355477717554675778261877940906837841966804379646139907943829931545610048229977289755336451484601540380343397302382327684519122414302518141767753727581749788631351939712130509204120194711826487167395632157/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^17 + 1438653772977400105968556357736277692137811027093402245218301497387722764423359053488543135604461051158810023722503400028708697734617466228774892491138379907923539596940604389133348078364667313575312597698164633607563297198904428957202667359275221882482888722775034894414437042197942075531723806962671671058059/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^16 + 899779914511290150761283885184621059686345625681807390815206897233890640690388039896955224557215447791576293680630647588538951800016375915813054935181076125770926030435663865990101744291148864013175560191677225787276759394163700332447835187383050236019084184849802263435813181311427094323305036004656739669073/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^15 - 315999899154192560795337680154694020327473336276789464984716954850292011683757527144435636581183496610077898695099117669960049543630634380338071999572673520011803400944741781819870483216274719589765029935380709729526506949454641646520704795893977680318665855900217481666704426708710503544572818805532149996643/673400432398637762893817840641660074158682328990442813832668981251427351172616433524231467610658062628491411793474178017879141254433461186742805127864659834742718822566686241439117326040924901956469706199053205197545070972331097598402436932466645227695210882384680525115519827424155270443868198321450844*y^14 - 112424752246439556348148772043840585396507763680796598904777686424682384825357869298628727763551593440337729821975864921640991436524477080422074307641237608653965071184783915632040674985615526155493391386968297367006424240257333271467748120975931240179006681368002593876394870529498273461105454305602135138981/897867243198183683858423787522213432211576438653923751776891975001903134896821911365641956814210750171321882391298904023838855005911281582323740170486213112990291763422248321918823101387899869275292941598737606930060094629774796797869915909955526970260281176512907366820693103232207027258490931095267792*y^13 - 13245327710364426299501361519218823915413772325696540801862709414354326966366522934827827616778664204078907995264031237538173895560416638279648213257335407021249954793154403927224443564006399485873801440260136661574174100940288515873560616914597160894551269647359768806649338312621778750287178512178440656039/897867243198183683858423787522213432211576438653923751776891975001903134896821911365641956814210750171321882391298904023838855005911281582323740170486213112990291763422248321918823101387899869275292941598737606930060094629774796797869915909955526970260281176512907366820693103232207027258490931095267792*y^12 - 94224830735180792354628609828382587676050932336424185008025452434676074195218056944720707431004169525188831152046376906539706780811503230334667865890902605829381108767548917341004950705144431835935000942464383652175140662674781658982397678918567146950535951021442203685511561945680950216657469262766575554497/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^11 + 16382466601889555386377708655846205243134069901414659519295692436302822041571753555644050492850663075842146661902776914089203352938580396813491859502704595637728853637226935145094568630757624326929146190696208037046555412108517843810451227776639003864262028418140752459822501004959976585528367820410026487097/448933621599091841929211893761106716105788219326961875888445987500951567448410955682820978407105375085660941195649452011919427502955640791161870085243106556495145881711124160959411550693949934637646470799368803465030047314887398398934957954977763485130140588256453683410346551616103513629245465547633896*y^10 + 2221017013782466410120184683728452871949058554292194931338116784989663488502452632841944035136151135402915804908561354992953585360563948516377312322646752678927850032140007792725816653854535664596350151153543915728827901193340971526934033394676317744666446652669529382588057909118940128764069988468318099177/74822270266515306988201982293517786017631369887826979314740997916825261241401825947136829734517562514276823532608242001986571250492606798526978347540517759415857646951854026826568591782324989106274411799894800577505007885814566399822492992496293914188356764709408947235057758602683918938207577591272316*y^9 + 29589446031336630471644262549534786248798951313526479656491003975677598908906567971332121265126785061956453822974198153713487237767960099133952368016147147452120666989875453750400446206167461797450337854164279936698494541771169960419817899069010117120257269523579351999547912896933927408246305439275853218247/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^8 - 28866892415274917483726930194973609131471260599620963301458799008753903159799119997715694294820174327538215249484812295629369768006764323628190454297838952417883511412416372745899105412923228669310800082462938634651085582681140830063529346632696222428609311923202467697493397524929575281487019937481750201161/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^7 - 7088304751144186725990441384042127092049073301044998405207911045337208670183607117140497094842329658376520634612198912549859068702328969579229865594078766892895298459462362152941550580249810829867054331555191062063011664065651056253925497704300018091769026800073955502372174393292431119363328704737453663495/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y^6 + 481958524273496202401192036529890216326449267092785577180698752414521156769535338994578518284392197816978638221660802999260134088598794705132911001370576668181222636501566643389679894683846971308484039870397899966748479251355624054874545419783277235477729563270805165338945779688312027322579054173162173511/448933621599091841929211893761106716105788219326961875888445987500951567448410955682820978407105375085660941195649452011919427502955640791161870085243106556495145881711124160959411550693949934637646470799368803465030047314887398398934957954977763485130140588256453683410346551616103513629245465547633896*y^5 + 342686012150113941734074250730781253807638267457904256949371128347208473714635613772928230046136811695531727235984487080418140294959100842754963200714472342459986523117317974762119942140222457717217947327354362253646135623128814817671937222376352664290283093823400790033064938922490439811712128717872759507/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^4 - 9979389617788123207022752149668523870865846778674539309507619724349159620931073055287662484390143955508320792858425606419946571648811319322494723446810486513313628684051395833382030969708802368490014081217755202016294154236315646220539450274994854540844879554688798141445671005442079015261139195365620903/224466810799545920964605946880553358052894109663480937944222993750475783724205477841410489203552687542830470597824726005959713751477820395580935042621553278247572940855562080479705775346974967318823235399684401732515023657443699199467478977488881742565070294128226841705173275808051756814622732773816948*y^3 - 37422086593355512767332354938630684492458449149177749091428950914223321327630360629336501709283705176306827625344873639103758070939718449522971427502303604467427341300468893027963117834582479418222221722339509659762781911169253787308110591747569910376025634170279158169162019120324264773595120976781564715/1346800864797275525787635681283320148317364657980885627665337962502854702345232867048462935221316125256982823586948356035758282508866922373485610255729319669485437645133372482878234652081849803912939412398106410395090141944662195196804873864933290455390421764769361050231039654848310540887736396642901688*y^2 + 27891511687496028820488788734835568522705892673681165872707087240920135758890417622180269278139582675632557333737434814444764005188566855154648545553836819034891324810469939630621313261304464051580358912499346398637853374054934546023596765643716379585315885801188925195194777031202779670821221240038794907/2693601729594551051575271362566640296634729315961771255330675925005709404690465734096925870442632250513965647173896712071516565017733844746971220511458639338970875290266744965756469304163699607825878824796212820790180283889324390393609747729866580910780843529538722100462079309696621081775472793285803376*y - 352321947799254999731659194449851305405625599259906377458654592063808013742968700535106750153414316979142354524964376398542031356853922540735431997947056363050965972204605223848065329315946870925898506142841912881958601070275670135596506156724801899856298295539138358800752365535367494772337191444556641/897867243198183683858423787522213432211576438653923751776891975001903134896821911365641956814210750171321882391298904023838855005911281582323740170486213112990291763422248321918823101387899869275292941598737606930060094629774796797869915909955526970260281176512907366820693103232207027258490931095267792

# 3 Loop Invariant
-60691349316773312549761856992675690033599246881470948437582277478135299601851639325091309662895484244996790674664769671004699864012351522279824426447454360804245768425831296609614620150574675365702663210657463240849394676772332846110448295466497504128623621630113000909708275373780164633094130684999052191024863231320485177759052945626450171250871354581282125786619847517/19851722185619567770749073284301988136476553632477812874599510883731773047104507793713056263802190612604576241332671509289101229957122675515590196716029660315091949685136247073170314565571933296496135136126391207856377391465306480702200923925081420572903224531864108446192180008553364030030983198986388000666859362300941066927405630936384490496999396753784009161067350297*y^35 - 206271126768881598735869758451381949122461156108134446375921615982812848093225492318893336341169428933292794871069592917400608633417693835384189112988413816171884884450294203920984746483244519289869990615161842612403679362244307009847384953525206391745433020283844778107028349852045591215108938180769239336202598709075036579930604696941345348537327849684989661540520365404/6617240728539855923583024428100662712158851210825937624866503627910591015701502597904352087934063537534858747110890503096367076652374225171863398905343220105030649895045415691056771521857311098832045045375463735952125797155102160234066974641693806857634408177288036148730726669517788010010327732995462666888953120766980355642468543645461496832333132251261336387022450099*y^34 + 1517238830890997863828737794912230661945934884422164842019265695541526398889653174049438902666480216662676802939859744869085146286896467937226287694801022259685302724621823474091189942403790942074440232513696087235251854759577699132299754633544959272838862860848437710155209134770300261613698578665429522083070808022563653314371547310715868909723943688143336241360108988245/13234481457079711847166048856201325424317702421651875249733007255821182031403005195808704175868127075069717494221781006192734153304748450343726797810686440210061299790090831382113543043714622197664090090750927471904251594310204320468133949283387613715268816354576072297461453339035576020020655465990925333777906241533960711284937087290922993664666264502522672774044900198*y^33 + 75492935413910086172634943313138842950275989611202530336630039268705162121933704016964015909957178434214439252631119646091479505642716727122342779657347897928185225802848269041775128490171100586529007903095872350568475082998817540529265545518576585748540485387400816580590876949943626146713412566052151148092969099482883361675818344958850669560142219458501740967498009988847/52937925828318847388664195424805301697270809686607500998932029023284728125612020783234816703472508300278869976887124024770936613218993801374907191242745760840245199160363325528454172174858488790656360363003709887617006377240817281872535797133550454861075265418304289189845813356142304080082621863963701335111624966135842845139748349163691974658665058010090691096179600792*y^32 - 39062486536407577037718551180507170619862734570623385216074458681212874994348090655774481126752066102806098237672040271830140771588821175007797890037816056525801480746369535890059686396588500084586718022566298863818216390633042747395558090855976141992734513481394338800333007071167350352339861099925657092582373615595979111314610268184012704017205536838223900576253526957907/52937925828318847388664195424805301697270809686607500998932029023284728125612020783234816703472508300278869976887124024770936613218993801374907191242745760840245199160363325528454172174858488790656360363003709887617006377240817281872535797133550454861075265418304289189845813356142304080082621863963701335111624966135842845139748349163691974658665058010090691096179600792*y^31 - 372909725217836810068871458398333495140427243577467746048092245397545276235802199358341639808861867382880865271742738777863616951267835001180425834913469720541296271169051655070959601888751243195365196726301495932572950345099993324010130011873880436940365616218749287346197826465120151127531024053319375004465301326376722319613219040712895129564448941139840264915280492587716/19851722185619567770749073284301988136476553632477812874599510883731773047104507793713056263802190612604576241332671509289101229957122675515590196716029660315091949685136247073170314565571933296496135136126391207856377391465306480702200923925081420572903224531864108446192180008553364030030983198986388000666859362300941066927405630936384490496999396753784009161067350297*y^30 - 985361439300765758028629438659925894940343018578237915919265730982375284329893482530580623340163140399699314181282225195788372659500846765974687434114598096009113879120630596606892303168922489003481708384294233836347985628903561108070856471598519443480923663548939859776698812156899778894825665292408752531005333519381327661947527062122643517385839769745504815942588854381047/141167802208850259703104521132814137859388825830953335997152077395425941668298722088626177875926688800743653271698997399389164301917316803666419176647322028907320531094302201409211125799622636775083627634676559700312017005975512751660095459022801212962867374448811437839588835616379477546886991637236536893630999909695580920372662264436511932423106821360241842923145602112*y^29 + 19053593860012701351257591343134047124148695645593709335680451196308654516783825925685012476727655539979665714587074527433785040013686867304933110148932450987090258622376115723642951968594456472359116317619775138165898590961904316346897275771380975105003208847738785978564278851103929236510864733202858447038389965174332184320716491228518557286747968836557596583870598861211125/317627554969913084331985172548831810183624858119645005993592174139708368753672124699408900220835049801673219861322744148625619679313962808249443147456474565041471194962179953170725033049150932743938162178022259325702038263444903691235214782801302729166451592509825735139074880136853824480495731183782208010669749796815057070838490094982151847951990348060544146577077604752*y^28 + 2584323198390322668539558070000868911525478624717457135359251528482397687826978612077745575870273104342835481044049595105256146945893205600458344496937856069986293225573563414044266822309806573112601157925511160336082153270741553638850749210897542348879552238037300377533056257370454816561230311485976358592857082109433797715238714029428437088435842776058448829622819058546627/39703444371239135541498146568603976272953107264955625749199021767463546094209015587426112527604381225209152482665343018578202459914245351031180393432059320630183899370272494146340629131143866592992270272252782415712754782930612961404401847850162841145806449063728216892384360017106728060061966397972776001333718724601882133854811261872768980993998793507568018322134700594*y^27 + 162922232911112729025846083710994237464730600781304830986833492236949007592638032101719742898075568510056060286620351157477569576523481918886318782283965004005037953660497360655150139362778214072068078342051343269508069045775583870691685092996041270136693182764650720928194171797135618036729753930335076183335086738694262756038510715135351505281195956391796050625646477150509065/635255109939826168663970345097663620367249716239290011987184348279416737507344249398817800441670099603346439722645488297251239358627925616498886294912949130082942389924359906341450066098301865487876324356044518651404076526889807382470429565602605458332903185019651470278149760273707648960991462367564416021339499593630114141676980189964303695903980696121088293154155209504*y^26 - 12890212517989631740251539240792144728391304804145139724224644010427315712202100352870496949689375136853374597013866518199078794775584987823486097135898007177977335955871454056896110120874921488883711788356057037285921832469245158135747528775966741146753299789158794668276962943128357014522442394000129518215290240377767173172595400912774398827944813654219932909078925797684105/317627554969913084331985172548831810183624858119645005993592174139708368753672124699408900220835049801673219861322744148625619679313962808249443147456474565041471194962179953170725033049150932743938162178022259325702038263444903691235214782801302729166451592509825735139074880136853824480495731183782208010669749796815057070838490094982151847951990348060544146577077604752*y^25 - 74964323158136472937855837313741327149337776183332054296113757722549146396185601437519045941057817775653108658693176412029074110094345563655197917976742761654565384849620891253632356710079481169927175506218276878046667058845980951543348282795657033298980037971803836119913497013108112513935078478432059926271720151966884840525452623865592931076006652565971566576620159857479691/52937925828318847388664195424805301697270809686607500998932029023284728125612020783234816703472508300278869976887124024770936613218993801374907191242745760840245199160363325528454172174858488790656360363003709887617006377240817281872535797133550454861075265418304289189845813356142304080082621863963701335111624966135842845139748349163691974658665058010090691096179600792*y^24 - 10002679147123070200027923274966454524312188058576621355846905375127885074035937982171978466169919138456220517138004367189445239373173207286331780748094041352191515007128763117568011058057456962873696223955651004172679008711921396383386130164742090216545885232095051963051846216387151698660535579682035173750654616891951840630800188354383545905807456153828279646283399581121400/19851722185619567770749073284301988136476553632477812874599510883731773047104507793713056263802190612604576241332671509289101229957122675515590196716029660315091949685136247073170314565571933296496135136126391207856377391465306480702200923925081420572903224531864108446192180008553364030030983198986388000666859362300941066927405630936384490496999396753784009161067350297*y^23 + 245146687549629366925804634966186058428811234155195270380337010030120506196624065680769026993705013927765849260418360176041081999038711832453355117603938921061288419368862844962942958577948787849131759697091917702842827096685258382251061196048803818794576041873193560202149705260611092784061557759864162204259601205227875246382461891364814108250718631119908118698859164594344037/635255109939826168663970345097663620367249716239290011987184348279416737507344249398817800441670099603346439722645488297251239358627925616498886294912949130082942389924359906341450066098301865487876324356044518651404076526889807382470429565602605458332903185019651470278149760273707648960991462367564416021339499593630114141676980189964303695903980696121088293154155209504*y^22 - 172296784886479867926663196339076256958693076060816380493596259070259382290514674458881079875570064040254204341927887566552979609543595547096973659303016911109970921142831791153337756472738820793024119812135984719559741738201440475499280315579590252226604438521017024439501380142605669514993463948566211156432026308839185474529238741558195600717999289559096635536529820605139175/317627554969913084331985172548831810183624858119645005993592174139708368753672124699408900220835049801673219861322744148625619679313962808249443147456474565041471194962179953170725033049150932743938162178022259325702038263444903691235214782801302729166451592509825735139074880136853824480495731183782208010669749796815057070838490094982151847951990348060544146577077604752*y^21 + 94607161336417732525711909087852426254817731456657940912541658485507434111696496103897690741633050291537599651812728109108692530214516088656668144382657161657857405176687074911645277820664313085401266846125826075580621986278001268841015059283857601571935326898635392417077048664616667378125048109483311912974900845923468870041058513284873354715684053365295675583753344685594445/23527967034808376617184086855469022976564804305158889332858679565904323611383120348104362979321114800123942211949832899898194050319552800611069862774553671484553421849050366901535187633270439462513937939112759950052002834329252125276682576503800202160477895741468572973264805936063246257814498606206089482271833318282596820062110377406085322070517803560040307153857600352*y^20 + 685866947304976594566285403890189980418081083897474701323589666279045512862519164155468984604363596130657007146245737273391840802151744082427361272894620526224712964287862314949525508928284702843613817511812475887319860583765216616309065441618642314115354764016919219071008003552535602443610307737777331544099345779835231471742746343631762581744639692418838259837253372622890927/158813777484956542165992586274415905091812429059822502996796087069854184376836062349704450110417524900836609930661372074312809839656981404124721573728237282520735597481089976585362516524575466371969081089011129662851019131722451845617607391400651364583225796254912867569537440068426912240247865591891104005334874898407528535419245047491075923975995174030272073288538802376*y^19 - 1333242943430234799637651766751932834286617558742961210868364650614513287649226995989225098383232755952880921954795175155433515399005142141275788499798662262372068324869680745969046621347896275627005116111951422494690688685951864985874760466903007832437108840021391029618013523185304866375116342759589406163049308540236162303140933919458302543918682119323717916671074385623856935/1270510219879652337327940690195327240734499432478580023974368696558833475014688498797635600883340199206692879445290976594502478717255851232997772589825898260165884779848719812682900132196603730975752648712089037302808153053779614764940859131205210916665806370039302940556299520547415297921982924735128832042678999187260228283353960379928607391807961392242176586308310419008*y^18 + 42926857794999163980352274399065186372342814443648310213207334563421006151147739206207936569777211766345579518331451325643565333932915974185726273249719101144659805887526742491266480713841426988293393345818596630589763680770023238678996542327923248657031578996304396649185679328125346070806124551398632029583474396296574793206213809374658220367420957505924349174658794274500087/1270510219879652337327940690195327240734499432478580023974368696558833475014688498797635600883340199206692879445290976594502478717255851232997772589825898260165884779848719812682900132196603730975752648712089037302808153053779614764940859131205210916665806370039302940556299520547415297921982924735128832042678999187260228283353960379928607391807961392242176586308310419008*y^17 - 788648389607066319655935109459315101827205718623629643415848806208761624675023868760332291370855675858477035897535833560097576382165883788207009759089683013888625709145733796348813174446906864430493744365297615384232023881849365222510013532243753834414432867781164409741952978023796556638792035956788839677159557199926513232392156621264885941886248029016716047305497686142931587/317627554969913084331985172548831810183624858119645005993592174139708368753672124699408900220835049801673219861322744148625619679313962808249443147456474565041471194962179953170725033049150932743938162178022259325702038263444903691235214782801302729166451592509825735139074880136853824480495731183782208010669749796815057070838490094982151847951990348060544146577077604752*y^16 - 2814286161009542396525111202581083715378669524001547966719420967697638795372975767018203900250921452278100993340525961087755670903931211465707920081605404384546639800555639088382095611835741834273337855718927983409233939224945548699719971440543206042774545544634357164319749341143770218445851213579708116013964716848190471313124516569268803211611689585678021784309631152328917257/635255109939826168663970345097663620367249716239290011987184348279416737507344249398817800441670099603346439722645488297251239358627925616498886294912949130082942389924359906341450066098301865487876324356044518651404076526889807382470429565602605458332903185019651470278149760273707648960991462367564416021339499593630114141676980189964303695903980696121088293154155209504*y^15 - 90434116703595495469441418564636871327702798874474898280559175090083684034487738471842042932780026400387763569055697455444507938844218898861724014051407112048472611557597604112474902408199237669203174645403494765290922755297652426260144828435550681382348090318815043250449347387573838892964274574331548611092525575968998055746725876914482600067450751910997074621378073794954801/211751703313275389554656781699221206789083238746430003995728116093138912502448083132939266813890033201115479907548496099083746452875975205499628764970983043360980796641453302113816688699433955162625441452014839550468025508963269127490143188534201819444301061673217156759383253424569216320330487455854805340446499864543371380558993396654767898634660232040362764384718403168*y^14 + 129855321488919213615172324275400962793877358469620550718456774853593010092378701026698797241325304784600124949666820866768593239363401670116510238811908215953967372890968696179002227247286029853460451655911802168062803520530152685891989416129001007885932943024534950972246390185785165770830235444203247539897048082517846456238420320932536799159178440583456474295843375003645197/635255109939826168663970345097663620367249716239290011987184348279416737507344249398817800441670099603346439722645488297251239358627925616498886294912949130082942389924359906341450066098301865487876324356044518651404076526889807382470429565602605458332903185019651470278149760273707648960991462367564416021339499593630114141676980189964303695903980696121088293154155209504*y^13 + 44934390395326930836365456816928076169045148330488929530339642347844758230439909664566568356449000845743359978052136948139326246398844742893952036405250968800012251086970357112697918252547533619228257732226635350470036879171125822431002116004495801833311775433428958264173952447188922280458935829877747520096475259226951284019598210527545147496586128028295396728468298006599635/211751703313275389554656781699221206789083238746430003995728116093138912502448083132939266813890033201115479907548496099083746452875975205499628764970983043360980796641453302113816688699433955162625441452014839550468025508963269127490143188534201819444301061673217156759383253424569216320330487455854805340446499864543371380558993396654767898634660232040362764384718403168*y^12 + 303882767512514427694412432204514621611198503427298468324065050270935147470247615038416451959384526063717608817925001513254801566926715341060543362055613108099470969431600974886420589568924657734692044883793422790099434657267215336399048951375604853730254964105745734533197192316724690935843440603721836509353756550363558808910144301289366710673386545174102175848698584337817435/635255109939826168663970345097663620367249716239290011987184348279416737507344249398817800441670099603346439722645488297251239358627925616498886294912949130082942389924359906341450066098301865487876324356044518651404076526889807382470429565602605458332903185019651470278149760273707648960991462367564416021339499593630114141676980189964303695903980696121088293154155209504*y^11 + 157620340942681531585957715554683241366912961281377116672158339815865550642783464188388880504233901937902246459500415376743873199645355820161209582738934968439729568354593489017346941527771611367490472752395964649189721477840522265502169097872858721270884637233412112520715607261187075396648374100700699488119116953937354849410028614145160828703443962255567876873787123996456711/1270510219879652337327940690195327240734499432478580023974368696558833475014688498797635600883340199206692879445290976594502478717255851232997772589825898260165884779848719812682900132196603730975752648712089037302808153053779614764940859131205210916665806370039302940556299520547415297921982924735128832042678999187260228283353960379928607391807961392242176586308310419008*y^10 - 6475482842006522736380446773936787691627434962246063878436241593701357469947192607131994714760221797315926976361895517429405360957364362130955389558519540723557776890862806061073847985224128936544664374794627714057837769770912373328975612193303726133679312518965393440538834172231552823021576237535687389012857895919109590183692713575988918464696059127599408594764809252379541/141167802208850259703104521132814137859388825830953335997152077395425941668298722088626177875926688800743653271698997399389164301917316803666419176647322028907320531094302201409211125799622636775083627634676559700312017005975512751660095459022801212962867374448811437839588835616379477546886991637236536893630999909695580920372662264436511932423106821360241842923145602112*y^9 - 93731752901295090934079398051564828377285620575163875418671443826790596649509102803481310852500930470069696756743748541699098976729388412723719175294020014200451274396834139107568347926473034177167097037442583062902547503383805293754833809294207315911610579161709502716136636159630319185442726171857197649156368598649104342148978308485871857401779894803569531251059617466779549/1270510219879652337327940690195327240734499432478580023974368696558833475014688498797635600883340199206692879445290976594502478717255851232997772589825898260165884779848719812682900132196603730975752648712089037302808153053779614764940859131205210916665806370039302940556299520547415297921982924735128832042678999187260228283353960379928607391807961392242176586308310419008*y^8 + 959244895861670881235179219145119568240248156631971827650565882717772909714167224623412422479124698593388236584402791025821207471819326752234044984890822677785370014033965677264848687855345244185455976821407948690883997931484870250759679089396003767651549994913028772628469101320566372684990417566612027056121369259355710436456460004157443523274757768176510695220376374656827/423503406626550779109313563398442413578166477492860007991456232186277825004896166265878533627780066402230959815096992198167492905751950410999257529941966086721961593282906604227633377398867910325250882904029679100936051017926538254980286377068403638888602123346434313518766506849138432640660974911709610680892999729086742761117986793309535797269320464080725528769436806336*y^7 + 1271724125436398426834281285814178443390181193272312680442581726970709016614273795921754621497174348177824096271336766847217532763030688877346559979004937415770715911088995155758972064979035040643799882624740753738738011548985120400154104205165057467962226867423739216512328637678025416577304456815348636999963533071458643427692383663655550124465027338371611462809123802828881/141167802208850259703104521132814137859388825830953335997152077395425941668298722088626177875926688800743653271698997399389164301917316803666419176647322028907320531094302201409211125799622636775083627634676559700312017005975512751660095459022801212962867374448811437839588835616379477546886991637236536893630999909695580920372662264436511932423106821360241842923145602112*y^6 + 33926109231880017168343563888184710898593210718213894073695072884929175403311189013712979222645141363776255287040377763383314718942695356591211555952986126415904469833342539461558231635514335722365501157649778971182425058930060477508592815179786208856667227429761982074963189126902196102148204443906670398285455372265111674537076710784960078531988897975468138714976672057067/317627554969913084331985172548831810183624858119645005993592174139708368753672124699408900220835049801673219861322744148625619679313962808249443147456474565041471194962179953170725033049150932743938162178022259325702038263444903691235214782801302729166451592509825735139074880136853824480495731183782208010669749796815057070838490094982151847951990348060544146577077604752*y^5 - 93043968266731100894207883276464029580296879623583690623798521193440464747878630241570854150617155313019096057335064289877876140597213832394526745106261155546651235470467188890484155465612653803913298264257201797239131811277442943124939452599300856198532536076971758808883099214909113108022987344506574097356185921006870780073528968972362773522579211426695273858553618620173/158813777484956542165992586274415905091812429059822502996796087069854184376836062349704450110417524900836609930661372074312809839656981404124721573728237282520735597481089976585362516524575466371969081089011129662851019131722451845617607391400651364583225796254912867569537440068426912240247865591891104005334874898407528535419245047491075923975995174030272073288538802376*y^4 - 19480618462301557999645676924345177389155324553301850337746387592634620031934474265230473329321750925870580446603597303318739236408451152066072730432355836186151162612199757162965204854902489749057263059021661807262372774986814317407501304865223022370818165562872302449427520367719951864847137391298561680856564626527138329785589556893588652732043347734882158991285969350153/317627554969913084331985172548831810183624858119645005993592174139708368753672124699408900220835049801673219861322744148625619679313962808249443147456474565041471194962179953170725033049150932743938162178022259325702038263444903691235214782801302729166451592509825735139074880136853824480495731183782208010669749796815057070838490094982151847951990348060544146577077604752*y^3 + 86840599757250852244899722801167425436041602918624435420784375741704026808503532045784194153158259606273750229064577799899782389176479474491714281303071811409746423999151931197614925956710373844106825015168984923350182600865902892983925390243413798875309447166370584121697280265301141585278678452321908734973750573840042961703218276095964416595894864175524622339526560918323/1270510219879652337327940690195327240734499432478580023974368696558833475014688498797635600883340199206692879445290976594502478717255851232997772589825898260165884779848719812682900132196603730975752648712089037302808153053779614764940859131205210916665806370039302940556299520547415297921982924735128832042678999187260228283353960379928607391807961392242176586308310419008*y^2 - 1822843916471436752033462139004064345304501645480556880404464901255218989702540324445698795472415153173716384750136966026486563291228342043825458982722658234580391385886328458292144918912626888446718285207580926123148722894716983480033580845368180174917373736014332052473677793971200248637471240304652701440394005258288551453097036660017838330351718615872079016945840886379/158813777484956542165992586274415905091812429059822502996796087069854184376836062349704450110417524900836609930661372074312809839656981404124721573728237282520735597481089976585362516524575466371969081089011129662851019131722451845617607391400651364583225796254912867569537440068426912240247865591891104005334874898407528535419245047491075923975995174030272073288538802376*y + 101255380281167058568954446533592767847272653189546901318279584436710785967243535654571411984368517914642849640259665381398725659780078282571951849148817250598697360138334106889142938237105913876649004070190553208962104170164609470096416708567450615588401980790366189359742293759990844308286386813809394803599157677812548448916936245757614007561702837026885985720845872223/158813777484956542165992586274415905091812429059822502996796087069854184376836062349704450110417524900836609930661372074312809839656981404124721573728237282520735597481089976585362516524575466371969081089011129662851019131722451845617607391400651364583225796254912867569537440068426912240247865591891104005334874898407528535419245047491075923975995174030272073288538802376