VMath

is ☞ HERE

$$ \Theta(x_3,y_3) = $$

3996019499184929743169818581358608384*x[3]^76+149184727969570710411673227037388046336*x[3]^74*y[3]^2 +2711373230558070847958188015203322429440*x[3]^72*y[3]^4+31962718337315938013526965029424823533568*x[3]^70*y[3]^6 +274729172681549076057420643937906432409600*x[3]^68*y[3]^8+1835043986957858111715028506302174988337152*x[3]^66*y[3]^10 +9913377327700069161631306856165860586815488*x[3]^64*y[3]^12+44510823924423662306579259206453739273584640*x[3]^62*y[3]^14 +169398241492932672582018247263596135174897664*x[3]^60*y[3]^16+554547316442513614425127231307651288578129920*x[3]^58*y[3]^18 +1579308187414264809549807363028480647241924608*x[3]^56*y[3]^20+3947678146721526433655530706324271579720056832*x[3]^54*y[3]^22 +8721935905947247740313249301487927132967403520*x[3]^52*y[3]^24+17128154010913559071717466156944008912574611456*x[3]^50*y[3]^26 +30030955394381641454227495736174998957169049600*x[3]^48*y[3]^28+47175292080237871680428057878029271706055475200*x[3]^46*y[3]^30 +66577375654309324759210776871291463944214937600*x[3]^44*y[3]^32+84583044344049445580315374962876076381333094400*x[3]^42*y[3]^34 +96870501230424475925283452793842427432743731200*x[3]^40*y[3]^36+100093956062649363364043781155429553538282291200*x[3]^38*y[3]^38 +93336120142679765954321786677974292140203704320*x[3]^36*y[3]^40+78523475348952297182631574544515317297661870080*x[3]^34*y[3]^42 +59552567263726707356500374829259981843123404800*x[3]^32*y[3]^44+40657947301622693416864154079914028224363888640*x[3]^30*y[3]^46 +24937692167443381498632034739583361683239731200*x[3]^28*y[3]^48+13704177067283554409431964392620805981024026624*x[3]^26*y[3]^50 +6723716939168471732510013076453353744494493696*x[3]^24*y[3]^52+2932182796072558250760752719047359362592931840*x[3]^22*y[3]^54 +1130231516838288180465828059113876023303733248*x[3]^20*y[3]^56+382374228724232876634982034483620615500595200*x[3]^18*y[3]^58 +112539879397624047428052093759932019372982272*x[3]^16*y[3]^60+28491058971176282671102660102482125251411968*x[3]^14*y[3]^62 +6113750062337739740328909448130428183511040*x[3]^12*y[3]^64+1090367977843844995263756904134242262319104*x[3]^10*y[3]^66 +157278457442308443141968464313908639825920*x[3]^8*y[3]^68+17629626707032243079980659686996189380608*x[3]^6*y[3]^70 +1440855929112713650703703700966245138432*x[3]^4*y[3]^72+76380794395389988964905738802477137920*x[3]^2*y[3]^74+1971117274719741650707244872321990656*y[3]^76 -151848740969027330240453106091627118592*x[3]^75-5519834934874116285231909400383357714432*x[3]^73*y[3]^2-97609436300090550526494768547319607459840*x[3]^71*y[3]^4 -1118695141806057830473443776029868823674880*x[3]^69*y[3]^6-9340791871172668585952301893888818701926400*x[3]^67*y[3]^8 -60556451569609317686595940707971774615126016*x[3]^65*y[3]^10-317228074486402213172201819397307538778095616*x[3]^63*y[3]^12 -1379835541657133531503957035400065917481123840*x[3]^61*y[3]^14-5081947244787980177460547417907884055246929920*x[3]^59*y[3]^16 -16081872176832894818328689707921887368765767680*x[3]^57*y[3]^18-44220629247599414667394606164797458122773889024*x[3]^55*y[3]^20 -106587309961481213708699329070755332652441534464*x[3]^53*y[3]^22-226770333554628441248144481838686105457152491520*x[3]^51*y[3]^24 -428203850272838976792936653923600222814365286400*x[3]^49*y[3]^26-720742929465159394901459897668199974972057190400*x[3]^47*y[3]^28 -1085031717845471048649845331194673249239275929600*x[3]^45*y[3]^30-1464702264394805144702637091168412206772728627200*x[3]^43*y[3]^32 -1776243931225038357186622874220397604007994982400*x[3]^41*y[3]^34-1937410024608489518505669055876848548654874624000*x[3]^39*y[3]^36 -1901785165190337903916831841953161517227363532800*x[3]^37*y[3]^38-1680050162568235787177792160203537258523666677760*x[3]^35*y[3]^40 -1334899080932189052104736767256760394060251791360*x[3]^33*y[3]^42-952841076219627317704005997268159709489974476800*x[3]^31*y[3]^44 -609869209524340401252962311198710423365458329600*x[3]^29*y[3]^46-349127690344207340980848486354167063565356236800*x[3]^27*y[3]^48 -178154301874686207322615537104070477753312346112*x[3]^25*y[3]^50-80684603270021660790120156917440244933933924352*x[3]^23*y[3]^52 -32254010756798140758368279909520952988522250240*x[3]^21*y[3]^54-11302315168382881804658280591138760233037332480*x[3]^19*y[3]^56 -3441368058518095889714838310352585539505356800*x[3]^17*y[3]^58-900319035180992379424416750079456154983858176*x[3]^15*y[3]^60 -199437412798233978697718620717374876759883776*x[3]^13*y[3]^62-36682500374026438441973456688782569101066240*x[3]^11*y[3]^64 -5451839889219224976318784520671211311595520*x[3]^9*y[3]^66-629113829769233772567873857255634559303680*x[3]^7*y[3]^68 -52888880121096729239941979060988568141824*x[3]^5*y[3]^70-2881711858225427301407407401932490276864*x[3]^3*y[3]^72-76380794395389988964905738802477137920*x[3]*y[3]^74 +2869958745140950412292407523265443004416*x[3]^74+101546196584185201148648163100930036727808*x[3]^72*y[3]^2+1746534370189293039011799940230367653396480*x[3]^70*y[3]^4 +19453642231201153519858031671467233979138048*x[3]^68*y[3]^6+157729374789260780272152785565184361156837376*x[3]^66*y[3]^8 +992071221199674902413845612870434699398348800*x[3]^64*y[3]^10+5037294249577068507619335513360520553309405184*x[3]^62*y[3]^12 +21215808985809883728450591976186625689311510528*x[3]^60*y[3]^14+75579358333745730139728174285442982862567505920*x[3]^58*y[3]^16 +231074789859794234822454698864769112640348749824*x[3]^56*y[3]^18+613126958340400915349280933298384256738091073536*x[3]^54*y[3]^20 +1424189216030761646984418095252088946923619221504*x[3]^52*y[3]^22+2915870890261580800014344765032260446626900869120*x[3]^50*y[3]^24 +5290373887593622156616676761473087276254631034880*x[3]^48*y[3]^26+8541780252007897347644896826289451391810776596480*x[3]^46*y[3]^28 +12312846201397611533676609003546794392931260170240*x[3]^44*y[3]^30+15883932164702375852334688233137777215020245975040*x[3]^42*y[3]^32 +18368226525959509501390367019459730843707616788480*x[3]^40*y[3]^34+19059517159848972026545469585224158504975366881280*x[3]^38*y[3]^36 +17751663741889856606372215643381270101554836275200*x[3]^36*y[3]^38+14836189060222242823398801024311397409671390167040*x[3]^34*y[3]^40 +11116236232583798472241381780498954324197003755520*x[3]^32*y[3]^42+7455030372118625276875736210178982977491938836480*x[3]^30*y[3]^44 +4464616031037458876779974613559699481826468823040*x[3]^28*y[3]^46+2380083597276816297349389875972907566199283384320*x[3]^26*y[3]^48 +1124840186446819298520098186914284020901164875776*x[3]^24*y[3]^50+468816651978924472732066509320690080617037037568*x[3]^22*y[3]^52 +171175993861650251022718610896940547360864337920*x[3]^20*y[3]^54+54293697953686858811952516023525181278228840448*x[3]^18*y[3]^56 +14799327999710223548420442629065980699891204096*x[3]^16*y[3]^58+3418582747885584330377724815546683758320025600*x[3]^14*y[3]^60 +656896119939548355941474524036596203639537664*x[3]^12*y[3]^62+102359556271614259214818800751589232400662528*x[3]^10*y[3]^64 +12468903226640355875394345247174112764231680*x[3]^8*y[3]^66+1122205688901920574244639433005430099410944*x[3]^6*y[3]^68 +67723317521995621282392597603231020875776*x[3]^4*y[3]^70+2239624398410507060018097312642266824704*x[3]^2*y[3]^72+20920307186550961732622031804621127680*y[3]^74 -35958430872040025018609516793443848814592*x[3]^73-1237975375555804308419757554265570643279872*x[3]^71*y[3]^2-20702128089004420022356414601381330445926400*x[3]^69*y[3]^4 -224014035414670607960056560402207245233815552*x[3]^67*y[3]^6-1762987563518477375057618675753054226515755008*x[3]^65*y[3]^8 -10753375867591700079223133499757028514170142720*x[3]^63*y[3]^10-52898383491565203348647708700352533280321437696*x[3]^61*y[3]^12 -215624429368870784744810863488578665847602544640*x[3]^59*y[3]^14-742599435706587160112950948937781566593208156160*x[3]^57*y[3]^16 -2192316117036688553353300105906313113838070792192*x[3]^55*y[3]^18-5609822136409969584250420173269004046541921452032*x[3]^53*y[3]^20 -12549367428979617406496924566637504554170027343872*x[3]^51*y[3]^22-24708076376180976235127916735085713756027617280000*x[3]^49*y[3]^24 -43041018648770492307384658106328450958495548702720*x[3]^47*y[3]^26-66607094670875421347752935441436686520848891248640*x[3]^45*y[3]^28 -91852382986244730713660918430908390520007195361280*x[3]^43*y[3]^30-113124884667331718621281570675047284396129507082240*x[3]^41*y[3]^32 -124611193251768281212302214245740277659726354841600*x[3]^39*y[3]^34-122860687997982012968913793718468215835654954680320*x[3]^37*y[3]^36 -108431794017889911579931547124061933415749700812800*x[3]^35*y[3]^38-85610239569094745769315228193109644494150020628480*x[3]^33*y[3]^40 -60388660599308138970645272969388354509849902448640*x[3]^31*y[3]^42-37980272174758262031075578364402367176906060595200*x[3]^29*y[3]^44 -21236807923377390456802528198723054097841216552960*x[3]^27*y[3]^46-10517116879462482418162431935929025142017344143360*x[3]^25*y[3]^48 -4590367143627521216110401387767884363148361203712*x[3]^23*y[3]^50-1754782400548922503402664985842193892073193603072*x[3]^21*y[3]^52 -582869562128567583684296312136172119010364620800*x[3]^19*y[3]^54-166527299284269597874811647364271964862495588352*x[3]^17*y[3]^56 -40390281337938281553827205997869240037008211968*x[3]^15*y[3]^58-8174496119531723672716780582436303596022661120*x[3]^13*y[3]^60 -1348690353260248412578505074893703823958736896*x[3]^11*y[3]^62-175541527929495610356003984110772611910205440*x[3]^9*y[3]^64 -17164573571246073643664673864669183187353600*x[3]^7*y[3]^66-1164718662513443518746359798621569340669952*x[3]^5*y[3]^68 -47298501508830027164881896771481094848512*x[3]^3*y[3]^70-798768469297793409314393611676021686272*x[3]*y[3]^72+335847654058583121819366000343264593444864*x[3]^72 +11246698649894431828262347421912804924325888*x[3]^70*y[3]^2+182791969603049094653929307032023069521608704*x[3]^68*y[3]^4 +1920807998393146614210809668245729399187439616*x[3]^66*y[3]^6+14666964122683412063626503087263608841120514048*x[3]^64*y[3]^8 +86718105462643970410941993008861057149600530432*x[3]^62*y[3]^10+413092024204254188601596647977609971589999230976*x[3]^60*y[3]^12 +1628840098377715339854676896779470915227906736128*x[3]^58*y[3]^14+5420208351782291000242844759404004350489106841600*x[3]^56*y[3]^16 +15442406864223894859285389648735782218477999226880*x[3]^54*y[3]^18+38083933534533126423722376057993341423628715032576*x[3]^52*y[3]^20 +81994034375610185601225952543622053007200924729344*x[3]^50*y[3]^22+155133307947617429431387258203752300130020181934080*x[3]^48*y[3]^24 +259261137598314164873148402425543697394181508956160*x[3]^46*y[3]^26+384224584047889505893226846371159503503977485434880*x[3]^44*y[3]^28 +506425308575232324502517351477300175162622963875840*x[3]^42*y[3]^30+594858230513014929121055306158320755435792561602560*x[3]^40*y[3]^32 +623476729813054757096349332109047299144166796165120*x[3]^38*y[3]^34+583383930080222873023007736035538696203322481704960*x[3]^36*y[3]^36 +487216655356238217650622729177248997009891451207680*x[3]^34*y[3]^38+362839086721657684333926563891504972666618511360000*x[3]^32*y[3]^40 +240542280053914907096742298784586619736731932426240*x[3]^30*y[3]^42+141598234649585097661635744461145687154335783321600*x[3]^28*y[3]^44 +73759097634203768813697426380885336609515036999680*x[3]^26*y[3]^46+33845518962494309052644924740223193566773342371840*x[3]^24*y[3]^48 +13601689777139099906365656581815325672125061136384*x[3]^22*y[3]^50+4752022335011469429023162710026510401936774135808*x[3]^20*y[3]^52 +1429762127675048205769174657146278855626922655744*x[3]^18*y[3]^54+366006438573605681571448047909727484711131938816*x[3]^16*y[3]^56 +78468031371039250904597669265009918448446210048*x[3]^14*y[3]^58+13794946332086667040859244520920254025975201792*x[3]^12*y[3]^60 +1931713990633629435260722188104323150230061056*x[3]^10*y[3]^62+206591937899356064076641374249628864618692608*x[3]^8*y[3]^64 +15812862076239142280382049076105996843089920*x[3]^6*y[3]^66+774760001476909465108836818735224156323840*x[3]^4*y[3]^68 +19307671534149729431201736988512617496576*x[3]^2*y[3]^70+118688350865628620990904874744292573184*y[3]^72-2492874564515603712038165250131392292978688*x[3]^71 -81171449309110642529831477663932932163633152*x[3]^69*y[3]^2-1281753038350890391519263144531180385852194816*x[3]^67*y[3]^4 -13074594189550345919079963804615621235716390912*x[3]^65*y[3]^6-96824835020011263274764303052306743012146282496*x[3]^63*y[3]^8 -554675423463807788503169019001286999789398917120*x[3]^61*y[3]^10-2557475794164997780351001510764016333410415935488*x[3]^59*y[3]^12 -9749932297646873375490315392068353642971699085312*x[3]^57*y[3]^14-31331928009664438958318337649953679717512096251904*x[3]^55*y[3]^16 -86096757319823470318697601688261115208522321100800*x[3]^53*y[3]^18-204515344837038884813544191231545516993973588066304*x[3]^51*y[3]^20 -423491248714443821291715044351545950217265385308160*x[3]^49*y[3]^22-769413299521401879865266050529510565397151633899520*x[3]^47*y[3]^24 -1232653270888009796267952236521219819344441995427840*x[3]^45*y[3]^26-1747947315494229789658386093914738752343803649064960*x[3]^43*y[3]^28 -2199957867329578805266352994549935597500863243878400*x[3]^41*y[3]^30-2462060587357060467771039578279744589172233260236800*x[3]^39*y[3]^32 -2452582930359978802854290466466296571359286033121280*x[3]^37*y[3]^34-2175171438137103987751700996387280239749174457794560*x[3]^35*y[3]^36 -1716643608781829030523613272936976298949016824053760*x[3]^33*y[3]^38-1203971855868612848864058191545671209057333941370880*x[3]^31*y[3]^40 -748815350753848703296986777179422999035794990039040*x[3]^29*y[3]^42-411748350043901421545337909932900949826792429977600*x[3]^27*y[3]^44 -199348458907491948527088905102229753378417672192000*x[3]^25*y[3]^46-84530082428168882197413864603414797886146299822080*x[3]^23*y[3]^48 -31179836949395638445069848694639176533266481020928*x[3]^21*y[3]^50-9918244729437133547688818912586096759805461921792*x[3]^19*y[3]^52 -2690751774392486798214598860385034430057101131776*x[3]^17*y[3]^54-613691844567136229904370228729449829580912197632*x[3]^15*y[3]^56 -115461495492457103057584752513662847958904733696*x[3]^13*y[3]^58-17465744539342747763648281682464832459322163200*x[3]^11*y[3]^60 -2048833386640446553296274881093431927639113728*x[3]^9*y[3]^62-176626088134741417032249615910488047125266432*x[3]^7*y[3]^64 -10260306264076913988858683688794936882233344*x[3]^5*y[3]^66-342288366828852466969593473232739730718720*x[3]^3*y[3]^68 -4473234133250837388751118446270164762624*x[3]*y[3]^70+15309225294268850790314827922762384994729984*x[3]^70+484536122174304220966402668070613793701363712*x[3]^68*y[3]^2 +7430830717342875161993164720479012747057561600*x[3]^66*y[3]^4+73551210055510965361372799705124158380544360448*x[3]^64*y[3]^6 +528045982247434673513731146391746953314993963008*x[3]^62*y[3]^8+2929652598642613175667495625447570981257467658240*x[3]^60*y[3]^10 +13068366458837687999318053920707987407069375365120*x[3]^58*y[3]^12+48145185438448396591308736968828571651724726501376*x[3]^56*y[3]^14 +149332393816484949277124498714130022630075895119872*x[3]^54*y[3]^16+395553196517651693414133809571457091075946364010496*x[3]^52*y[3]^18 +904456615499971742622817586908868837940922014498816*x[3]^50*y[3]^20+1800090878928312739498073451748446428527874455633920*x[3]^48*y[3]^22 +3138254469799196386301784387230036336783969149255680*x[3]^46*y[3]^24+4815896315994323851927811891456770577491033105367040*x[3]^44*y[3]^26 +6528782464050582637144446366521521231918652782018560*x[3]^42*y[3]^28+7839109080575490396813199674406590595835148915179520*x[3]^40*y[3]^30 +8350058773528699171573054453185037913093183341854720*x[3]^38*y[3]^32+7896558992046468912154163126753546686510262082600960*x[3]^36*y[3]^34 +6629696781710775009342029846430800321309881820774400*x[3]^34*y[3]^36+4937251639152117409394611186052136190438956010045440*x[3]^32*y[3]^38 +3255930551555518809618810254843246312994806987489280*x[3]^30*y[3]^40+1896409557899053044455060615910444421676452187996160*x[3]^28*y[3]^42 +972044033128397215401815084297200839075725637058560*x[3]^26*y[3]^44+436373894550952020037977745503572304664242117672960*x[3]^24*y[3]^46 +170516595621917750323282330121960165224538229964800*x[3]^22*y[3]^48+57541039769701809069028600246463116431820213714944*x[3]^20*y[3]^50 +16599941321823157406145042411861480385418480320512*x[3]^18*y[3]^52+4041199801726427781494843569665831862003228999680*x[3]^16*y[3]^54 +816252785624707827400301865797522122049436254208*x[3]^14*y[3]^56+133729055310136290783586229429371215401176793088*x[3]^12*y[3]^58 +17226231316725290636073554589401354239318425600*x[3]^10*y[3]^60+1668226159685297426536802535976218703492546560*x[3]^8*y[3]^62 +113381958412764650605141418823630839586226176*x[3]^6*y[3]^64+4813203693259106375021400930437901720748032*x[3]^4*y[3]^66 +100967167633879641414682801957217192902656*x[3]^2*y[3]^68+521087915291026118691286766134782590976*y[3]^70-79960544355064550936835766442765841661427712*x[3]^69 -2459055514788322963703457273613827456796459008*x[3]^67*y[3]^2-36612582117348483058604447038650016540083093504*x[3]^65*y[3]^4 -351513771115556963948418575900140134647703011328*x[3]^63*y[3]^6-2445501508550882328231990066566743034495860998144*x[3]^61*y[3]^8 -13134488426927552164406204338534663335971200696320*x[3]^59*y[3]^10-56656101122185301173311887577504716048846165114880*x[3]^57*y[3]^12 -201605008435284950924853379311736187906335476547584*x[3]^55*y[3]^14-603231462234967355066655153292420477443836460662784*x[3]^53*y[3]^16 -1539339569521065377298690902000410658480917649031168*x[3]^51*y[3]^18-3386022794117757197772734099399722446702907364474880*x[3]^49*y[3]^20 -6472792822636688482963884523548117781612406841016320*x[3]^47*y[3]^22-10820473223820135376614163677168898739705921163755520*x[3]^45*y[3]^24 -15892690090977278726500554306668640701107790508195840*x[3]^43*y[3]^26-20579881699273909317436138104468900346901538526986240*x[3]^41*y[3]^28 -23551158179110577997627710606337779502415153264066560*x[3]^39*y[3]^30-23851632248595673610285785315939230621381121686896640*x[3]^37*y[3]^32 -21388772329225990644726131202062822531920940048056320*x[3]^35*y[3]^34-16977232141420052726036411354695348317002263513006080*x[3]^33*y[3]^36 -11913400682574532550805195089784962892895933861724160*x[3]^31*y[3]^38-7375167599706767198199207548594694498588047620177920*x[3]^29*y[3]^40 -4015356571248220026283215455926475358830895751495680*x[3]^27*y[3]^42-1914494947188869996813786620776785649859606735749120*x[3]^25*y[3]^44 -794975664692310293159762947526951746023799778181120*x[3]^23*y[3]^46-285446274131682354753623605792953144202800723394560*x[3]^21*y[3]^48 -87822166790633916524399259652916672316699523940352*x[3]^19*y[3]^50-22883142057463088265951910222499618584202594746368*x[3]^17*y[3]^52 -4973790390142788777960440273491574329699901374464*x[3]^15*y[3]^54-884032363891450554068108820173886271895956881408*x[3]^13*y[3]^56 -125076236758401626816081111351098818317594394624*x[3]^11*y[3]^58-13565970796089087665265465354675850889102622720*x[3]^9*y[3]^60 -1067055339004826080797755891865137489777786880*x[3]^7*y[3]^62-55721479956289732836059310472821063731380224*x[3]^5*y[3]^64 -1647553001071992066916212846989199733161984*x[3]^3*y[3]^66-19090456343488365626300388901836457771008*x[3]*y[3]^68+362384322386924715375975059930340953671335936*x[3]^68 +10824961844895358190542168936646715188566818816*x[3]^66*y[3]^2+156413664305954273815137798460223342098903990272*x[3]^64*y[3]^4 +1456034169087439026741839556356376620187563065344*x[3]^62*y[3]^6+9811945274017648359605830617598165119655065157632*x[3]^60*y[3]^8 +50992149808578729157705367980195712854680938741760*x[3]^58*y[3]^10+212595433503978125741792903650182347103123554697216*x[3]^56*y[3]^12 +730307215602258434560399378001658274964183338450944*x[3]^54*y[3]^14+2106819458041785463922576664525591904078676430422016*x[3]^52*y[3]^16 +5176266858966417676921475877325193842544409034358784*x[3]^50*y[3]^18+10946206408461461110559245864320397784501947950170112*x[3]^48*y[3]^20 +20084298167914016031251313978934568918243899273641984*x[3]^46*y[3]^22+32169352363056325421719241087880553060007670369484800*x[3]^44*y[3]^24 +45185257051603491423075856203093725529324260274733056*x[3]^42*y[3]^26+55839362205542095914337386627810727141113367791403008*x[3]^40*y[3]^28 +60843541589682530686539768330464100530629619270811648*x[3]^38*y[3]^30+58523348841672414478711740605979107488509238513238016*x[3]^36*y[3]^32 +49703979698882898559913310371541329472807744338657280*x[3]^34*y[3]^34+37248826004379260281761196184949069819875167372836864*x[3]^32*y[3]^36 +24592539951882241936363709788423877099689090756902912*x[3]^30*y[3]^38+14267452564533484192627018048721099722385040664952832*x[3]^28*y[3]^40 +7246915311051870645326166889017698464314717124952064*x[3]^26*y[3]^42+3206972049550534336450637989072802861419353499238400*x[3]^24*y[3]^44 +1228581162263654260743527813921404259233737794912256*x[3]^22*y[3]^46+404134688989730935324847311757582281683856206594048*x[3]^20*y[3]^48 +112957545227523734545338403895679143025437766057984*x[3]^18*y[3]^50+26468092279119516126457043740237272403948792184832*x[3]^16*y[3]^52 +5108942762643457763536325943192950492929638531072*x[3]^14*y[3]^54+793631190543965878209759497041489110036542128128*x[3]^12*y[3]^56 +96103300717462010402938915696951629137276043264*x[3]^10*y[3]^58+8668464585873247439278869482733616719055552512*x[3]^8*y[3]^60 +543640065231187804047652667234094171763507200*x[3]^6*y[3]^62+21136133765913555888076165560186317070925824*x[3]^4*y[3]^64 +406203858975003063436058958230829611876352*x[3]^2*y[3]^66+1945090840769557031180580617052877750272*y[3]^68-1446910348780785337610830320114832075722326016*x[3]^67 -41965793564109084162905168053719856163994992640*x[3]^65*y[3]^2-588237244346918342279931328747432207410014453760*x[3]^63*y[3]^4 -5306960409755934520872862426840667778996504625152*x[3]^61*y[3]^6-34624775950935157334013703871032633752935410434048*x[3]^59*y[3]^8 -174030211658354253171271860461081669763618425536512*x[3]^57*y[3]^10-700913440335071111238042071090850762940859610562560*x[3]^55*y[3]^12 -2323106649865893981943524182904085569866559381307392*x[3]^53*y[3]^14-6457557831360143368693862060202104466322772799258624*x[3]^51*y[3]^16 -15265646073965785293576011818514557218192577737523200*x[3]^49*y[3]^18-31013468329358644462151615302123351161407548610838528*x[3]^47*y[3]^20 -54576602971666449469825983904029301376073549817577472*x[3]^45*y[3]^22-83688803856792952205865549386103134979509171162972160*x[3]^43*y[3]^24 -112314966737449960911406982865967762302358713601622016*x[3]^41*y[3]^26-132329353811157564206424725244862035608318524658810880*x[3]^39*y[3]^28 -137141961972647687430006443212734720571729132275105792*x[3]^37*y[3]^30-125135906367565491343994217182543465331533429046509568*x[3]^35*y[3]^32 -100524322181457970302282708393875698284636685184532480*x[3]^33*y[3]^34-71023406478978895957098087708113198782464435645579264*x[3]^31*y[3]^36 -44046019058132357839144410158295647999833525054341120*x[3]^29*y[3]^38-23903326129324305654023606854296365731717107456933888*x[3]^27*y[3]^40 -11303474311942075724142659606236356671332742250627072*x[3]^25*y[3]^42-4631531014351950624427367866032741530127894891724800*x[3]^23*y[3]^44 -1632433292568043874391716526140939155284407516921856*x[3]^21*y[3]^46-490335688300011553158624731853922718456860020572160*x[3]^19*y[3]^48 -124024163547454106331348465477893676963873630978048*x[3]^17*y[3]^50-26011561389109261236797780637175892615860341178368*x[3]^15*y[3]^52 -4432792774449816426094711393107602705740097126400*x[3]^13*y[3]^54-597353986605360771900227758487900589802207051776*x[3]^11*y[3]^56 -61296699853707913207569588751610898564689952768*x[3]^9*y[3]^58-4533100805183987352619856262495459772119121920*x[3]^7*y[3]^60 -221597856248052800963739885711355546605453312*x[3]^5*y[3]^62-6137599960030067639190742461332489137815552*x[3]^3*y[3]^64 -67268107343247913739256194958552087920640*x[3]*y[3]^66+5151013174620947087796769308725236458835673088*x[3]^66 +144995081254956668531257498505325370824393228288*x[3]^64*y[3]^2+1970687709641318490636991463553597939201645477888*x[3]^62*y[3]^4 +17222413009658864000542838547789414682313930833920*x[3]^60*y[3]^6+108734071657371528556280632366244094132193281441792*x[3]^58*y[3]^8 +528263951867973114653695153098629400893158805471232*x[3]^56*y[3]^10+2054100775360147589983757805856954292051257847709696*x[3]^54*y[3]^12 +6564528306499639322163965097025057881144889697107968*x[3]^52*y[3]^14+17570498787361454445438433101867383390977101143212032*x[3]^50*y[3]^16 +39936529485613622046688885346188929585093024093831168*x[3]^48*y[3]^18+77884433105301716176132122190150239772405376036634624*x[3]^46*y[3]^20 +131340658774431821706269662007580602974199927808196608*x[3]^44*y[3]^22+192634100502494594867798823047847463784227609429671936*x[3]^42*y[3]^24 +246763964604871665970109441953427003285453021185572864*x[3]^40*y[3]^26+276883631411198590235619517533023227034687139659907072*x[3]^38*y[3]^28 +272601040766442183779292426773695112374154350282407936*x[3]^36*y[3]^30+235645268131695700471224755088466126013739456383680512*x[3]^34*y[3]^32 +178787092016324830016832590024764853641406408413937664*x[3]^32*y[3]^34+118895191512509454910162967316373534765763725860274176*x[3]^30*y[3]^36 +69133352407035482298252246442339931490577273850953728*x[3]^28*y[3]^38+35022762954304696714094868306588366909901312466878464*x[3]^26*y[3]^40 +15382657558222858345617838437983171497117356552880128*x[3]^24*y[3]^42+5820311666361360354255080790720640468847383214555136*x[3]^22*y[3]^44 +1881509260328946543838443049251801018714344169406464*x[3]^20*y[3]^46+514178705318624131361250781171241452976852620541952*x[3]^18*y[3]^48 +117182463316965418523303833252559648345140031913984*x[3]^16*y[3]^50+21881860397429944516118523889767881005313713766400*x[3]^14*y[3]^52 +3270725394734067783036244583020113443206843072512*x[3]^12*y[3]^54+379119987862687894253976017042255194281296265216*x[3]^10*y[3]^56 +32585423514618866169101160532051653366298705920*x[3]^8*y[3]^58+1941626409998384205458043653685099823393406976*x[3]^6*y[3]^60 +71743283762910593424255557357006245104451584*x[3]^4*y[3]^62+1316114413220575337160206943876242875613184*x[3]^2*y[3]^64+5909575609363693121898008805878242738176*y[3]^66 -16509932558406361851850793271169851917542096896*x[3]^65-450803733501457392912881533922498973560563826688*x[3]^63*y[3]^2 -5937738720562818366802273375788085090581869494272*x[3]^61*y[3]^4-50237413759385880007436979873511425315060389511168*x[3]^59*y[3]^6 -306733187159930290268546704157574559812671912804352*x[3]^57*y[3]^8-1439486777792932216846530947748058455807078030114816*x[3]^55*y[3]^10 -5400130815972100969678628240098953375367014314409984*x[3]^53*y[3]^12-16627874065419555509810433333351217100545893718818816*x[3]^51*y[3]^14 -42820220558284284773280437971850199789681574501416960*x[3]^49*y[3]^16-93497196224891930835546938255708222400937103733030912*x[3]^47*y[3]^18 -174871523761332409164396684072272288992242255028813824*x[3]^45*y[3]^20-282307413196269884874296961776859613652864821987639296*x[3]^43*y[3]^22 -395598718003434179509065905792377503508871931115339776*x[3]^41*y[3]^24-483131766173927929368399576472331160511424802764881920*x[3]^39*y[3]^26 -515602014610337509124642507926016506080352765621567488*x[3]^37*y[3]^28-481552018541546587970074693204605459402562381887307776*x[3]^35*y[3]^30 -393744076885196308732127093979981356190061099707531264*x[3]^33*y[3]^32-281661499472307716087004177688885843132299871701172224*x[3]^31*y[3]^34 -175961214412986380401533091333641902926035400135802880*x[3]^29*y[3]^36-95724449977441606139169381017681082685687123213811712*x[3]^27*y[3]^38 -45158917623810597794121021502588991684180013551714304*x[3]^25*y[3]^40-18372036485624277231660880251777186014561955150299136*x[3]^23*y[3]^42 -6398940545746910012613996430606379371265850391658496*x[3]^21*y[3]^44-1890335752426905651358923530187916741383584219136000*x[3]^19*y[3]^46 -468005106192942497272687089144642669543837530062848*x[3]^17*y[3]^48-95618844642187527139489312067334304696208166223872*x[3]^15*y[3]^50 -15800522986728234393322098203674354872246570319872*x[3]^13*y[3]^52-2055738441507029703725869724413364616911678078976*x[3]^11*y[3]^54 -202934123880399518825771500152663849383845429248*x[3]^9*y[3]^56-14406357548403404599776212498260204792854872064*x[3]^7*y[3]^58 -676216846890318916683566368287755959994941440*x[3]^5*y[3]^60-18040928306767236978317879889798497304576000*x[3]^3*y[3]^62 -190254470623578556689766132845143729897472*x[3]*y[3]^64 +48031829810710207505991736148119417050859831296*x[3]^64 +1271388568354393292129916304538083278992872833024*x[3]^62*y[3]^2+16217732880139326336930699924495018243155981107200*x[3]^60*y[3]^4 +132744915013988366346237631762295970282640754737152*x[3]^58*y[3]^6+783222996348219756809468677831952907555799443505152*x[3]^56*y[3]^8 +3547683305779819806021063418198716387875697767743488*x[3]^54*y[3]^10+12829056398097254225328706199881908090940513860452352*x[3]^52*y[3]^12 +38025882514432486435084972081547839101941153719910400*x[3]^50*y[3]^14+94122995892139476094320554698011994106506603335254016*x[3]^48*y[3]^16 +197219318164838176326166959412365795006147729060790272*x[3]^46*y[3]^18+353357912408668410614952452858993934505915159133159424*x[3]^44*y[3]^20 +545427599882653432224287173111348658042716200490893312*x[3]^42*y[3]^22+729268399459232837019760954799176089168080021749825536*x[3]^40*y[3]^24 +847867508458352834831850690894519500756155617904164864*x[3]^38*y[3]^26+859250532287186944611358452357372785778083197986275328*x[3]^36*y[3]^28 +759957619225531263673895713874867678024601907855097856*x[3]^34*y[3]^30+586631916231864356245342013554216748891584957115793408*x[3]^32*y[3]^32 +394813830929924482538527164590338124359054262601252864*x[3]^30*y[3]^34+231162409136793103488406785029227335616298175706300416*x[3]^28*y[3]^36 +117343491371216927792386718640801700369542783080988672*x[3]^26*y[3]^38+51398239994572814506034796301681966360373886897291264*x[3]^24*y[3]^40 +19303497455138173518102091087220904706763805104013312*x[3]^22*y[3]^42+6165384120448925947607940146983563891707125053259776*x[3]^20*y[3]^44 +1657110734917555372728939409833582093297759577964544*x[3]^18*y[3]^46+369786316702304958721224823085221669986004134002688*x[3]^16*y[3]^48 +67326285428650568645903734346619607945700440276992*x[3]^14*y[3]^50+9774758934019563894400444185783316938677050540032*x[3]^12*y[3]^52 +1097256137070261750008851965230143023929806946304*x[3]^10*y[3]^54+91196439358747050731408043825506740792480432128*x[3]^8*y[3]^56 +5259757778204877530850960436854438514837684224*x[3]^6*y[3]^58+188926215396361464499624734515119371533156352*x[3]^4*y[3]^60 +3387826638431202689268699749207602725126144*x[3]^2*y[3]^62+14629739900117705671831792783806280237056*y[3]^64-127725169434159186910147962804325073009875353600*x[3]^63 -3274867885684283962130922173042853360153634799616*x[3]^61*y[3]^2-40422637296292387394736613462476182451506302943232*x[3]^59*y[3]^4 -319810222376199225780075705324557024467053688258560*x[3]^57*y[3]^6-1821745502585614812922957798616062002566049851768832*x[3]^55*y[3]^8 -7956577166017873450283962599511483250044687293874176*x[3]^53*y[3]^10-27705505115925796604660753044746506804338000451862528*x[3]^51*y[3]^12 -78959822601998487498694903054680143982562645404549120*x[3]^49*y[3]^14-187626065107822174608162954496424990157961280392003584*x[3]^47*y[3]^16 -376769554035464135563991633354265140698427228283469824*x[3]^45*y[3]^18-645750132277973777898164924228354686290117384269463552*x[3]^43*y[3]^20 -951551119041062199913712545119584130396756858296205312*x[3]^41*y[3]^22-1211901430419183776454025294640237919801381897378201600*x[3]^39*y[3]^24 -1338868741995026025045985377187169741170834647062937600*x[3]^37*y[3]^26-1285868505587710492922017510266247906673453453298106368*x[3]^35*y[3]^28 -1074592343871844415623108010358375000890818501402951680*x[3]^33*y[3]^30-781199467730414063624544099009488816030816996186652672*x[3]^31*y[3]^32 -493313019201643493585766512319662182296529358385315840*x[3]^29*y[3]^34-269879368784524707649033984429608256776865436729081856*x[3]^27*y[3]^36 -127402723288232150245226984699259866720839554168913920*x[3]^25*y[3]^38-51616304089515541671368499574421142231964576649576448*x[3]^23*y[3]^40 -17819195026832888619003895676822515612854622426497024*x[3]^21*y[3]^42-5193731946900685390245243645053874386762259313459200*x[3]^19*y[3]^44 -1263108553256827186322539273718806129427791745384448*x[3]^17*y[3]^46-252469323600765955277605184885944845053525986639872*x[3]^15*y[3]^48 -40671256088168067032143985928623957861831097974784*x[3]^13*y[3]^50-5145985388046557876229296557004049437837995278336*x[3]^11*y[3]^52 -493727770877304344322027677945170066677465219072*x[3]^9*y[3]^54-34153963514219596094494333261413137816655495168*x[3]^7*y[3]^56 -1573786992085046860293454677125084607915491328*x[3]^5*y[3]^58-41754961387390136966172803697681227097047040*x[3]^3*y[3]^60 -443228603606037258966598389126040161091584*x[3]*y[3]^62+312363763066578185681348106774996415845107761152*x[3]^62 +7750496153484344762978652608653401555174476414976*x[3]^60*y[3]^2+92477538643400659049627394181803706174119664189440*x[3]^58*y[3]^4 +706433846655045767046005790446394786589146956267520*x[3]^56*y[3]^6+3880519791094075640300396434337908402586369832321024*x[3]^54*y[3]^8 +16321757476706279430538234055941683653209244490203136*x[3]^52*y[3]^10+54653243021501948873242033366891116820336899042607104*x[3]^50*y[3]^12 +149549917110507020549951744902094688132498407854866432*x[3]^48*y[3]^14+340618588984330080955498484776346485973503340824068096*x[3]^46*y[3]^16 +654407388467832595473895190247144079528966351230173184*x[3]^44*y[3]^18+1070939575179663740353706811644401553247100339115556864*x[3]^42*y[3]^20 +1503524868913461636937889973563878996942830606718304256*x[3]^40*y[3]^22+1820042045303828331515171872075179418923804922522042368*x[3]^38*y[3]^24 +1906072391806261414106433459045830129784733534159110144*x[3]^36*y[3]^26+1730272917131785646688314084619503768291017528181981184*x[3]^34*y[3]^28 +1362279019508300502989906366249270812999583458690793472*x[3]^32*y[3]^30+929631365249475911993299217396095724651924746878124032*x[3]^30*y[3]^32 +548815182826324244255171943063452612451455666561482752*x[3]^28*y[3]^34+279400542856043197771786032800313765793247286140829696*x[3]^26*y[3]^36 +122100686760868335725666379358723688429727335995834368*x[3]^24*y[3]^38+45521063503324727682925809451786106070575853569114112*x[3]^22*y[3]^40 +14362064478569981831317245373603207361366277672468480*x[3]^20*y[3]^42+3795461311953256410843200531221938686184923048214528*x[3]^18*y[3]^44 +829234395690636492640519194988774573863446417670144*x[3]^16*y[3]^46+147306146773729329271099065203045785471519774310400*x[3]^14*y[3]^48 +20824837348380816981299172870984961665760154320896*x[3]^12*y[3]^50+2277743612213467782088954405887475859260871245824*x[3]^10*y[3]^52 +185430353936312896833607554543972290734184497152*x[3]^8*y[3]^54+10608571053340765484899750574342559154957910016*x[3]^6*y[3]^56 +386539996516206385930253831130364726489645056*x[3]^4*y[3]^58+7242248013545482666234315674699347316965376*x[3]^2*y[3]^60+33137722382849215297106730761584795189248*y[3]^62 -706468995780279048675747189185051899584259817472*x[3]^61-16943742107334097905988791076634810155456489193472*x[3]^59*y[3]^2 -195187680478380917467915009904389897188204083970048*x[3]^57*y[3]^4-1437726306710362148438214151412491011763219277414400*x[3]^55*y[3]^6 -7604921380758846500444739105195033335205184089686016*x[3]^53*y[3]^8-30756575036523414901648271741453827585896394345021440*x[3]^51*y[3]^10 -98870911817303573850314346700396747633868263217725440*x[3]^49*y[3]^12-259285726097422772662533824756132219693615051164090368*x[3]^47*y[3]^14 -564929901434517805532575535184895267984848578963472384*x[3]^45*y[3]^16-1036165914553174974888783222613725548993890743787782144*x[3]^43*y[3]^18 -1615247984670232779959411276145881731220960018037768192*x[3]^41*y[3]^20-2154872283210848965140948208796714647200139418494697472*x[3]^39*y[3]^22 -2472087528302237506277486240839831012007948122269351936*x[3]^37*y[3]^24-2446260636564875757911068819740568531759261737898475520*x[3]^35*y[3]^26 -2091331781426115106108125611544098864689361580004147200*x[3]^33*y[3]^28-1544949687137743682189623031631849488432115921007411200*x[3]^31*y[3]^30 -985136563421817131315097685901409359073876840893054976*x[3]^29*y[3]^32-540898125482771995554184515874384892531023397993840640*x[3]^27*y[3]^34 -254751067964484064785242016167605511933238935596793856*x[3]^25*y[3]^36-102373243029371132919634055085910744687805582935719936*x[3]^23*y[3]^38 -34855893133939313185240065089244598559537670431244288*x[3]^21*y[3]^40-9965068891519655303563415014312781602446645351284736*x[3]^19*y[3]^42 -2365297477451649929679014269635285257269756295675904*x[3]^17*y[3]^44-459590170004087230871273307057588717803787040063488*x[3]^15*y[3]^46 -71834969757425777890016305859297824310556914515968*x[3]^13*y[3]^48-8836941145061824504657977841691953833691987378176*x[3]^11*y[3]^50 -832004676911717027226787000270016550645963915264*x[3]^9*y[3]^52-57670208888199185613990492196763343965574266880*x[3]^7*y[3]^54 -2760465111853933961433771117529719953782407168*x[3]^5*y[3]^56-79759934786547972075792788372108127100207104*x[3]^3*y[3]^58 -956631770456759316808402099419245643300864*x[3]*y[3]^60+1485214320896085204635019980738156910320623128576*x[3]^60 +34384081857390526749594859826238726397197769236480*x[3]^58*y[3]^2+381850880409102279353998900261825806586102535491584*x[3]^56*y[3]^4 +2707754767151649237382891738891938230904617803382784*x[3]^54*y[3]^6+13767975051691425951061714303878084751332629205983232*x[3]^52*y[3]^8 +53438247060133991841990169426103092997365944910872576*x[3]^50*y[3]^10+164572591595190353180209339271057450006291668502126592*x[3]^48*y[3]^12 +412675973904912193774803436753517632769228972415074304*x[3]^46*y[3]^14+857936199652242194764643354627775749641925811399831552*x[3]^44*y[3]^16 +1498020541763286645887763909569189245390113221225521152*x[3]^42*y[3]^18+2217431326580565547441748103825918440244804489027833856*x[3]^40*y[3]^20 +2801105152042449250610017847521471804229531586212511744*x[3]^38*y[3]^22+3033215756332331689208486428627657385901049904906956800*x[3]^36*y[3]^24 +2823221932189460696714780861458331025544641463829004288*x[3]^34*y[3]^26+2261243407058638311401622040398819777968978213099716608*x[3]^32*y[3]^28 +1558022546988711761620226690645998452366308362523344896*x[3]^30*y[3]^30+921884896393739203825648522089558598382443975331819520*x[3]^28*y[3]^32 +466968950380979988228718053823213572461529003830747136*x[3]^26*y[3]^34+201551220378642913648977347986239871067651814047526912*x[3]^24*y[3]^36 +73661211364738567181854185696745595901594593747238912*x[3]^22*y[3]^38+22612182174746470351640613079433125540644605090906112*x[3]^20*y[3]^40 +5772291139751258103253673716257781138006291571736576*x[3]^18*y[3]^42+1210690641473620265825078802366110508043444790304768*x[3]^16*y[3]^44 +205760057364900774997376042373767461222512063234048*x[3]^14*y[3]^46+27906513112755436416145251644739222049320635240448*x[3]^12*y[3]^48 +2972541316603144826446704948880560543075900481536*x[3]^10*y[3]^50+244171860963491815325744369202323852106600050688*x[3]^8*y[3]^52 +14971138569269828723355532250023828852299251712*x[3]^6*y[3]^54+628431765092269566181798278318197789608390656*x[3]^4*y[3]^56 +14220179921635868462923393123706947201204224*x[3]^2*y[3]^58+76434413907515664565293084160447897534464*y[3]^60-2916130091187146737623945736781533329319820451840*x[3]^59 -65064895987809639387344095711066600056863627108352*x[3]^57*y[3]^2-695395257076697954382252778031199814440270768685056*x[3]^55*y[3]^4 -4738278488617122058377916935756509800438104564301824*x[3]^53*y[3]^6-23111062797740592494453464211899564794981310174937088*x[3]^51*y[3]^8 -85889106634446954830850695812754394434799193650954240*x[3]^49*y[3]^10-252754559889152637230592674339526275817458334107762688*x[3]^47*y[3]^12 -604276765278912707977803016643282811635006025568272384*x[3]^45*y[3]^14-1194790828004499936188019850934746015408148919115554816*x[3]^43*y[3]^16 -1978641688116248564129577478864418040567679066388471808*x[3]^41*y[3]^18-2769297210859246471015963252408662989986732279086268416*x[3]^39*y[3]^20 -3296126706987995613919733948823855729599642241791705088*x[3]^37*y[3]^22-3349739102498038038498397549619890274226647997433896960*x[3]^35*y[3]^24 -2912818021451621746092957930551746207655226607473131520*x[3]^33*y[3]^26-2168192210187648518385430309577754010249828813368459264*x[3]^31*y[3]^28 -1379912512091459801277232817685804346866179189433335808*x[3]^29*y[3]^30-748793492506334881723675122169473527610152808454004736*x[3]^27*y[3]^32 -344894421649858544116833244301349820323146335294365696*x[3]^25*y[3]^34-133997662050663910606102956819463743066325320645033984*x[3]^23*y[3]^36 -43553905003939586528152452261023241927750474368385024*x[3]^21*y[3]^38-11723285087270704346024795044282646023397493395324928*x[3]^19*y[3]^40 -2582395750855652019212064651346580200107709140172800*x[3]^17*y[3]^42-459924941924241705842008116645365048845928796192768*x[3]^15*y[3]^44 -65660890419274430159754326972833456066383023357952*x[3]^13*y[3]^46-7533731671127012990073630417822118887842310709248*x[3]^11*y[3]^48 -709096109427711190573053191979360496313292251136*x[3]^9*y[3]^50-55694457408605427392816640268453634446316322816*x[3]^7*y[3]^52 -3431003931407832661540783840475852496707272704*x[3]^5*y[3]^54-133705503260837086735407278440375832074346496*x[3]^3*y[3]^56 -2045120035574513600580359690739911544864768*x[3]*y[3]^58 +5371114222678920235392866563276888507642630877184*x[3]^58+115299453784585510537835319620311532719890130513920*x[3]^56*y[3]^2 +1183662971386722753288220977136458009048739049250816*x[3]^54*y[3]^4+7733181880673454679142391233160623571757648096714752*x[3]^52*y[3]^6 +36094937374846020570101030524100678473987508556367872*x[3]^50*y[3]^8+128088282717554709100073763288648108642402271079043072*x[3]^48*y[3]^10 +359057406076182672065388104475846944297981966450006016*x[3]^46*y[3]^12+815482855414577609823361871648729229304986197206124544*x[3]^44*y[3]^14 +1527042030686128983380219115698643017216270416344631296*x[3]^42*y[3]^16+2386625923784331707169745040015128072215112381251274752*x[3]^40*y[3]^18 +3139714419000533329921729150280584485187746116111720448*x[3]^38*y[3]^20+3496079007483922322833848593149450992411154193951379456*x[3]^36*y[3]^22 +3305414325562009800294090016866230824738763693829961728*x[3]^34*y[3]^24+2656208065891979025164814753312716322450677356958441472*x[3]^32*y[3]^26 +1812310956035675175179504093890376289266739972073672704*x[3]^30*y[3]^28+1046523190769444880922121723212028520839947864717332480*x[3]^28*y[3]^30 +508595888959967975425773709619655038048650600782569472*x[3]^26*y[3]^32+206250973832650389875791317096289080046821032949891072*x[3]^24*y[3]^34 +68938232217138169306917758345776723218264002104590336*x[3]^22*y[3]^36+18660849223861784359250958621224714879761213741203456*x[3]^20*y[3]^38 +3989209054539317431824808045870813160870839953659904*x[3]^18*y[3]^40+649619907287410204708618357955490221037182501867520*x[3]^16*y[3]^42 +76804038030597603278627178373681359307119473842176*x[3]^14*y[3]^44+6435161573366988243911551312218562675398291548160*x[3]^12*y[3]^46 +502688320767388255635234441256907368445695469568*x[3]^10*y[3]^48+69354662711049134178206129650389267796682409984*x[3]^8*y[3]^50 +9856574024777690975027171314218423426516369408*x[3]^6*y[3]^52+785359913558510793067580201478957802493743104*x[3]^4*y[3]^54 +26275196135618981256168912029429130711754752*x[3]^2*y[3]^56+167559914629872206966176474081390233255936*y[3]^58-9318342347076191420775970132305511804439723753472*x[3]^57 -192104284919114582054049489123047594903835810693120*x[3]^55*y[3]^2-1890427370954962357048628887941703158476753613963264*x[3]^53*y[3]^4 -11814325925850881201982159266207043003616516392861696*x[3]^51*y[3]^6-52626571953642625243107271883944526580045279618017280*x[3]^49*y[3]^8 -177760692304222957901001092331320383136974890256662528*x[3]^47*y[3]^10-472887779352597136941716846717391556536584912082708480*x[3]^45*y[3]^12 -1015731615130181841018137092636061103141346951388884992*x[3]^43*y[3]^14-1791577360877026785645996204830807962756732590068471808*x[3]^41*y[3]^16 -2624907278389405051909601304515829365519860474335584256*x[3]^39*y[3]^18-3218524496384700333068628231744220213004006990878949376*x[3]^37*y[3]^20 -3316548222200454940686039240415755439599279183304777728*x[3]^35*y[3]^22-2875653543440879185231365730158308802766821024830244864*x[3]^33*y[3]^24 -2094200886713201331566927196649565989331872370870059008*x[3]^31*y[3]^26-1274017105897093380441059451201349824520131348580380672*x[3]^29*y[3]^28 -640737528483691785220718161944809374608734449941897216*x[3]^27*y[3]^30-261475208156538366459659394148471776996758820376154112*x[3]^25*y[3]^32 -83576755357524239369608976047562691883576801197932544*x[3]^23*y[3]^34-19308065254230651972625374658677464742832821080039424*x[3]^21*y[3]^36 -2408471795457673412290734742217552038201377051672576*x[3]^19*y[3]^38+262997966433574115126683032554467344232625307838464*x[3]^17*y[3]^40 +221944330267869775732353426635406705901105303879680*x[3]^15*y[3]^42+59485129041757296254119231383555803919016005113856*x[3]^13*y[3]^44 +9367352148321650833895538389553172143548659421184*x[3]^11*y[3]^46+857001551496244179096083018537708676227717867520*x[3]^9*y[3]^48 +30397213400056938769929214770918899573903400960*x[3]^7*y[3]^50-1759327179300661685219675801612045209579954176*x[3]^5*y[3]^52 -191012552287086378967539425403385585448411136*x[3]^3*y[3]^54-3981922474211671037786307135395886730917888*x[3]*y[3]^56 +15284594375331694507265918143660297756814699679744*x[3]^56+302064688759768692533714501491536158273737943187456*x[3]^54*y[3]^2 +2843355337352038171447897441750430752201183255240704*x[3]^52*y[3]^4+16956132028624006186331885131155975714634965331230720*x[3]^50*y[3]^6 +71871527247428245759545117717696894152799128656951296*x[3]^48*y[3]^8+230259702232243883130529210322467304741136650184683520*x[3]^46*y[3]^10 +578790312494690102312801290603884698436255610352538624*x[3]^44*y[3]^12+1169361219030620344395876132115170885425086455560268288*x[3]^42*y[3]^14 +1929280756049210865862489009007311236104308065158029056*x[3]^40*y[3]^16+2625580604287890602282148898059310186550335900539893760*x[3]^38*y[3]^18 +2963249115184271345152090304566500705571601848461997824*x[3]^36*y[3]^20+2776108678331647744685673145315136540958427164823778304*x[3]^34*y[3]^22 +2150017543873170970144643279173338190808734847966406144*x[3]^32*y[3]^24+1360895585288911496282370180804022106286200965246454784*x[3]^30*y[3]^26 +686696623657918504769384291809555846101956436502549248*x[3]^28*y[3]^28+260569544551500240792659926900879505760448413098417664*x[3]^26*y[3]^30 +61506949589950680066304919752676651603538521226867456*x[3]^24*y[3]^32-1589700797417935500980691060038085959895726724392960*x[3]^22*y[3]^34 -9706824680038545839119076679478105473263130440617728*x[3]^20*y[3]^36-5314378421654030104713882151056805015566233437616640*x[3]^18*y[3]^38 -1799401275122470612688686905072265091076916374875904*x[3]^16*y[3]^40-429361715925312900820444489214645844150097612514304*x[3]^14*y[3]^42 -73086543171996328954306460598395368018381187132160*x[3]^12*y[3]^44-8523622551534188794228995235411595174315204880384*x[3]^10*y[3]^46 -607898447892665689487569521864693138720437313024*x[3]^8*y[3]^48-17730242355128390098149266147688279735558481920*x[3]^6*y[3]^50 +562870299416362546243347059569188460719307776*x[3]^4*y[3]^52+42364892645253055553850596448292938504168960*x[3]^2*y[3]^54 +314333366552439239138799166927314134568192*y[3]^56-23782984034154569526541995263471617064619964735488*x[3]^55 -449795435209535724653438072999364103414842630463488*x[3]^53*y[3]^2-4041767902843365180251293430683291376523522659966976*x[3]^51*y[3]^4 -22943032096990424998068689456946169523125261543956480*x[3]^49*y[3]^6-92259656437401985697402049428739157278293290266599424*x[3]^47*y[3]^8 -279299798210867939236550402079993699039584254373548032*x[3]^45*y[3]^10-660168860679373388096475448237211925320784431393697792*x[3]^43*y[3]^12 -1246530424131867924627072818711297622872937368982206976*x[3]^41*y[3]^14-1906787442057664179980775071643453976119453045973122048*x[3]^39*y[3]^16 -2379866430061508610629188326371443633784068782617769984*x[3]^37*y[3]^18-2424709722161571558544897393154391070935837020249144832*x[3]^35*y[3]^20 -2000436673011745241798916156841098864252556705016521728*x[3]^33*y[3]^22-1306009304627373235602151531284179388868864075805368320*x[3]^31*y[3]^24 -635246519934986076479075327546235164939756797201757184*x[3]^29*y[3]^26-185571029367038727691345625288919331601821483581037056*x[3]^27*y[3]^28 +17991335224717924889354139153747969657025616164661760*x[3]^25*y[3]^30+61932581948603187708519498738850584041453099860958208*x[3]^23*y[3]^32 +44088215569559016667733248199117723173221349516081152*x[3]^21*y[3]^34+20405711604633368471686947837818281844557077920994816*x[3]^19*y[3]^36 +6943860629001248509798648569403197786157598659643904*x[3]^17*y[3]^38+1783588755729785436298428570959448804734659261667328*x[3]^15*y[3]^40 +343156203596448477034877489418930740107281660951552*x[3]^13*y[3]^42+47851008637834377080280580031816534688426352888320*x[3]^11*y[3]^44 +4514849303019723690114413574096235109488058130432*x[3]^9*y[3]^46+246828132984126226902238518430700725506026956800*x[3]^7*y[3]^48 +4121947310590350183137412849938008678681159680*x[3]^5*y[3]^50-220155541479254161313939311940482893674772480*x[3]^3*y[3]^52 -6668192086703109693262612147151614519383552*x[3]*y[3]^54+35208991704040993322417885505349744435589863796736*x[3]^54 +636274396533068068833433991309933038607866056757248*x[3]^52*y[3]^2+5447896903215262556997972500859800055501596476502016*x[3]^50*y[3]^4 +29370482266487713605857391902003787603705531091243008*x[3]^48*y[3]^6+111728729417126903653030102832530990917602583975555072*x[3]^46*y[3]^8 +318426111015240881863950839342929377517517292924647424*x[3]^44*y[3]^10+704189844443818301647988578971245161889321862289818624*x[3]^42*y[3]^12 +1233820930875838301441171617815630846631455997706138112*x[3]^40*y[3]^14+1731066750398511243583466274421296462659687255812988928*x[3]^38*y[3]^16 +1946881031058475199872734239749224382359677882308589952*x[3]^36*y[3]^18+1734694215105375435224282558867451956983750780283661312*x[3]^34*y[3]^20 +1179473865592491306537767273318405756634086492419896960*x[3]^32*y[3]^22+542974306144717243139768867036473384690406289405723264*x[3]^30*y[3]^24 +73107003319980981838737526592801201963589351070803840*x[3]^28*y[3]^26-141570437068137401617001368579412607495596489398458624*x[3]^26*y[3]^28 -164808152182603290939387647491888733823547049105228928*x[3]^24*y[3]^30-109345119380327363841160878229852646215849054219156224*x[3]^22*y[3]^32 -52527336417873822555710363891789383223569460427489024*x[3]^20*y[3]^34-19315453477676083284828313096233657389847553702310784*x[3]^18*y[3]^36 -5502123836190249957544745504702049699529547017265664*x[3]^16*y[3]^38-1203515566244304678231457631462645365147423406698368*x[3]^14*y[3]^40 -196942941893720982737858247980025130719343670290560*x[3]^12*y[3]^42-22947006505840668482279846501574655867171738681344*x[3]^10*y[3]^44 -1730868958734581259036609181869058014767431883904*x[3]^8*y[3]^46-66739078890497213540104637941460412463897436160*x[3]^6*y[3]^48 -49131649384286160831750281413744301138553216*x[3]^4*y[3]^50+62417811787878235333265662719207345722782848*x[3]^2*y[3]^52 +520373171690660225514753677677202680722048*y[3]^54-49718064432539838269506786802403886990173399515136*x[3]^53 -857443328049056959521231741201225088958634189914112*x[3]^51*y[3]^2-6984872259410980795543409069455028800652195220357120*x[3]^49*y[3]^4 -35696233839504215432769118656723893683994358030630912*x[3]^47*y[3]^6-128148553321456212813376424159410197456988330149384192*x[3]^45*y[3]^8 -342708983652024284064484437645538703729570783502630912*x[3]^43*y[3]^10-705806083437652957435694367391239070367400272783179776*x[3]^41*y[3]^12 -1139358516002352783738104714465750615870518487155485696*x[3]^39*y[3]^14-1448506794159911425125677831360554757139731034221667840*x[3]^37*y[3]^16 -1433978883141208100861919558312825527290051147920421632*x[3]^35*y[3]^18-1057908894758780821989605199285513704246229175229545728*x[3]^33*y[3]^20 -495935287054012676751134990983845371795972544216532992*x[3]^31*y[3]^22-8009452513181742659650138032369907612899549062845824*x[3]^29*y[3]^24 +246300216468544963100986843933848999566147052401388288*x[3]^27*y[3]^26+277850619215314147989761060750388225556226081741176320*x[3]^25*y[3]^28 +196244115477691929702402111313203129543473282074845696*x[3]^23*y[3]^30+102797804744331506320209728599151749118900637587900160*x[3]^21*y[3]^32 +41788281683840083889838347945284303660015759432183296*x[3]^19*y[3]^34+13328093790782551647204371941046237609149324836809856*x[3]^17*y[3]^36 +3314714232312737136262849853826462967995600337360896*x[3]^15*y[3]^38+629899479725514145504292383935297570162134691444864*x[3]^13*y[3]^40 +88045787198865314062069067942695078366902955091712*x[3]^11*y[3]^42+8450173592628506181096433172553933037064213293824*x[3]^9*y[3]^44 +482594780488291939678787223683115160018044264960*x[3]^7*y[3]^46+10043498835840309335718972371491453663671254016*x[3]^5*y[3]^48 -305599436200195970623210418946034584700433664*x[3]^3*y[3]^50-10799990363991131269087848241980101146298496*x[3]*y[3]^52 +67108573024170635491419050393953098395754116370432*x[3]^52+1103494608655320028072601747500263172039044046823424*x[3]^50*y[3]^2 +8542993928345224933573062367532379495694747471491072*x[3]^48*y[3]^4+41330017324431365169737069150361939797187490316697600*x[3]^46*y[3]^6 +139781248584200660023002545937915196412403244634050560*x[3]^44*y[3]^8+349973014929504815570508162294622859212790583142361088*x[3]^42*y[3]^10 +669001158955581752359246965422062055529426635052813312*x[3]^40*y[3]^12+989512846916358031473590215340515698064775603792481792*x[3]^38*y[3]^14 +1127629914969971443616233461816298825121953676261291520*x[3]^36*y[3]^16+956468464564168861007264288136892841285678544608531328*x[3]^34*y[3]^18 +530569227310734179813636712996183613662748352457081216*x[3]^32*y[3]^20+60249199987806385499789258533526833502753846678642688*x[3]^30*y[3]^22 -249606484946110723027725893199642009596190856239987456*x[3]^28*y[3]^24-334734574684712550866423511222612203642447026984171296*x[3]^26*y[3]^26 -267084397490411862082728707788933938819507885193001520*x[3]^24*y[3]^28-156496845677447366614294609550753211641482065228858240*x[3]^22*y[3]^30 -71145593967981858780471467090816107727680474420658496*x[3]^20*y[3]^32-25504132931708879998049110891036270904852924723900640*x[3]^18*y[3]^34 -7198236665653639353277171719633871527322182285994800*x[3]^16*y[3]^36-1575943786213638891837137962019020802443710518164224*x[3]^14*y[3]^38 -259688988965467665921706242520154904594026211382272*x[3]^12*y[3]^40-30504965193999505999608427634597008057540589033952*x[3]^10*y[3]^42 -2298229499096670880615446698787704170451392611984*x[3]^8*y[3]^44-83747697267390282437513288686193851849758950784*x[3]^6*y[3]^46 +614845029684010514965887547033867653899217984*x[3]^4*y[3]^48+111003803148953478852095852120117535802555488*x[3]^2*y[3]^50 +875065146839537420143596887183342436334704*y[3]^52-86740805605502511236705393323932361910810786783232*x[3]^51 -1359170011083665510900409649896779904259744301899776*x[3]^49*y[3]^2-9993560173506710104461512966152892251382581438906368*x[3]^47*y[3]^4 -45735837404575902249442420942147507226734849363623936*x[3]^45*y[3]^6-145613854343917709283152163071047661941693461231624192*x[3]^43*y[3]^8 -341057056200396303130692264041179561044804065648332800*x[3]^41*y[3]^10-604647618214598965544452111009246957032489240057606144*x[3]^39*y[3]^12 -818505114476886207590049877493480178062861374634869248*x[3]^37*y[3]^14-833406202516654539824595857652476865262884082493147136*x[3]^35*y[3]^16 -596172471537841421770836768092340872091846048206962176*x[3]^33*y[3]^18-215758084273044067503759878788155410245020167882188800*x[3]^31*y[3]^20 +116975482725086957723383877716612523238094928852794368*x[3]^29*y[3]^22+276324032102948351594992073020304642682367050504430464*x[3]^27*y[3]^24 +268744412737754177486889679989288444097280319861370656*x[3]^25*y[3]^26+180931039204990751643008721108680464030522998577796160*x[3]^23*y[3]^28 +92838448813431554872534872676831484390615265267729792*x[3]^21*y[3]^30+37427184696182114290590549716664093113687912710800768*x[3]^19*y[3]^32 +11932388748956933697053562553217105262781806006258912*x[3]^17*y[3]^34+2983150736295527900235730498110784483656164024452992*x[3]^15*y[3]^36 +571115567048265821134703883207497046037665551375616*x[3]^13*y[3]^38+79961369551445558822359266232925357166430991121792*x[3]^11*y[3]^40 +7479361832143963385332929015542978184026440937952*x[3]^9*y[3]^42+371195154825278562333852000869823092978553787968*x[3]^7*y[3]^44 -153067836440148891247922987248651762587506304*x[3]^5*y[3]^46-827221256451506021537525982490425143810406528*x[3]^3*y[3]^48 -19684431829263881237140633529148119575545312*x[3]*y[3]^50+107521776347646957363899549853536935672590903275520*x[3]^50 +1605189294764877902957033427487195262348890149531648*x[3]^48*y[3]^2+11207446168410961160778163780766722368530195589660672*x[3]^46*y[3]^4 +48518352214062822683718075145256330500222660730634240*x[3]^44*y[3]^6+145461679268690425309829454363501061034407246065629184*x[3]^42*y[3]^8 +319073026113290793547542957034416779471100082965043200*x[3]^40*y[3]^10+526096637866399242291497959786367716070733811657872384*x[3]^38*y[3]^12 +656017609225942543760668742134188377716190252347590144*x[3]^36*y[3]^14+605699846124161659664803202729131049235963204827248896*x[3]^34*y[3]^16 +378714558856290263956714685763145016417132760688293120*x[3]^32*y[3]^18+95508951813510149360742177923414429045591330765402112*x[3]^30*y[3]^20 -106180983304508556551661446451119202716056684409433600*x[3]^28*y[3]^22-172871641640896624093952587147065222759911291241785472*x[3]^26*y[3]^24 -143116132122298836801681814743774865504714129156504416*x[3]^24*y[3]^26-84091586607818036532967690698414495604961874279481152*x[3]^22*y[3]^28 -37876440551300457477386316891279541653142370864462112*x[3]^20*y[3]^30-13417931541149233719336022585035888901936414890239688*x[3]^18*y[3]^32 -3749984814468993431233376060922184882461623621879928*x[3]^16*y[3]^34-813337195538615651030221239296290361870797944583968*x[3]^14*y[3]^36 -131011804110014419476361195425338786699893805986080*x[3]^12*y[3]^38-14173049748994783824862758447804351987726814589040*x[3]^10*y[3]^40 -751368815106389565455081409170246847650193347952*x[3]^8*y[3]^42+24286099508062756116177196527084353813013480096*x[3]^6*y[3]^44 +5766560097150699649577328784009631784066253824*x[3]^4*y[3]^46+238488484778662833055234965989095661834423928*x[3]^2*y[3]^48 +1547138874026050279314126196975670590581384*y[3]^50-127974999996472696138936821628833815017407631343616*x[3]^49 -1820646454255304582532656530773725723124190588403712*x[3]^47*y[3]^2-12074418539362351235040568006279606104966906304217088*x[3]^45*y[3]^4 -49473654126655191163479222992879500418611025778130944*x[3]^43*y[3]^6-139848957367365752523064826466869929027604259614201856*x[3]^41*y[3]^8 -288112117073350301181899832216883067564735874421334016*x[3]^39*y[3]^10-444715537677366429958153423945794344962404047588689920*x[3]^37*y[3]^12 -518738080709937556763878090396398471080615202230476800*x[3]^35*y[3]^14-451593462927930560974760175208043943464754049692100608*x[3]^33*y[3]^16 -278144717380418379602231867739074765946461441615508480*x[3]^31*y[3]^18-98246346527705158567802225193537578387152093959868416*x[3]^29*y[3]^20 +10528598401627637546383392260880136346686466880138240*x[3]^27*y[3]^22+40971450881979066443026149896149253189944146030706944*x[3]^25*y[3]^24 +30578121360738075665043947361839215108001811721088832*x[3]^23*y[3]^26+14092914684890128439083213489853254771526330040548832*x[3]^21*y[3]^28 +4523572924630451038260504356213709431254706106419136*x[3]^19*y[3]^30+1025444834948040308216719389899962461545551407356616*x[3]^17*y[3]^32 +150485930923057154125915131506154555624804613593408*x[3]^15*y[3]^34+4691298075438169509454757605621639438707847434144*x[3]^13*y[3]^36 -5405391630763379831667412370046968803063616505408*x[3]^11*y[3]^38-1987586475748697194980644661935152328831472744528*x[3]^9*y[3]^40 -380130084419624837218452936529687475851291009152*x[3]^7*y[3]^42-40825825113739799298431272099515979417745243328*x[3]^5*y[3]^44 -2139930848971327523454745052558043844142312832*x[3]^3*y[3]^46-36208628834085422901041766138550425680078904*x[3]*y[3]^48 +146396157152172809438674186646085147860871507873792*x[3]^48+1985945663693069946248258763551845012793980411625472*x[3]^46*y[3]^2 +12519148737479771027180111958602067193435088058286080*x[3]^44*y[3]^4+48599476798283098514200999963542957015187825694834688*x[3]^42*y[3]^6 +129764295440430114873284355836688669327751591527254016*x[3]^40*y[3]^8+252049504608129888305145439403599099633685615674877952*x[3]^38*y[3]^10 +367385156711256490623548512060680392412170668918523904*x[3]^36*y[3]^12+409166746392451417757073803095266098168288957991324672*x[3]^34*y[3]^14 +353072385687660927779415412782711219234684032899600896*x[3]^32*y[3]^16+242139681885989359068282437725662237968384726266406400*x[3]^30*y[3]^18 +141926076829229440657640226910330380128882806835729664*x[3]^28*y[3]^20+82873262365389267544708188330340149946045510441996800*x[3]^26*y[3]^22 +54051227924153243783670152236111194691059729831177600*x[3]^24*y[3]^24+35599551640748803965629558650721371564350142406514528*x[3]^22*y[3]^26 +20103477665605160869956642996248684430408762044497344*x[3]^20*y[3]^28+8951032845698341330340495876073311309852534314281024*x[3]^18*y[3]^30 +3054120270491863042410312921041672702741089386716376*x[3]^16*y[3]^32+792731228734869445021170469140012035731890748195296*x[3]^14*y[3]^34 +157108965552373117109116717229003107535492238032101*x[3]^12*y[3]^36+24113321354923259842174069591656474627228010926462*x[3]^10*y[3]^38 +2900974197424544256822652306489518347664878160603*x[3]^8*y[3]^40+263872077212476058137270994159329308356668031012*x[3]^6*y[3]^42 +15702613539090060273296768168727675884346327147*x[3]^4*y[3]^44+445768929121439006582195330784112798717479294*x[3]^2*y[3]^46 +2496658516019055645314202619815884874314077*y[3]^48-161074946720813339850253887247874057212750310252544*x[3]^47 -2085690763891133630233095501231378428570285662101504*x[3]^45*y[3]^2-12510936451799385592258213483629694017429714444853248*x[3]^43*y[3]^4 -46072531243229509005306037903080894234737417972686848*x[3]^41*y[3]^6-116413345004198535404328885921090601393059350149644288*x[3]^39*y[3]^8 -213920259292406085097201779731463534086975151282954240*x[3]^37*y[3]^10-296649165292171527976946787936945614246908332468903936*x[3]^35*y[3]^12 -320752995408289889424176148457932712016810489798661120*x[3]^33*y[3]^14-283309403377658734976680915663621201360137809112692736*x[3]^31*y[3]^16 -221447464601617734500853858216523267501152399330951168*x[3]^29*y[3]^18-168927186936917743233997885489100697202528002563323392*x[3]^27*y[3]^20 -129438712784954034382383293269852531906553870770060800*x[3]^25*y[3]^22-92427656970662531278185966637404173319439841954367360*x[3]^23*y[3]^24 -56065397702121196353360456078730048383834719140214304*x[3]^21*y[3]^26-27312960142569850922855568247414805656567441660803840*x[3]^19*y[3]^28 -10395504409060880068566758006286536057192781516793824*x[3]^17*y[3]^30-3044715584639428711554613126399698390675447056338464*x[3]^15*y[3]^32 -679306902276691588784141493189183330282841902596160*x[3]^13*y[3]^34-114766200979768615491263640787300818176110213495614*x[3]^11*y[3]^36 -14660477662701530080874649769385146324882098330198*x[3]^9*y[3]^38-1404035245034869201944774505675989256430131782156*x[3]^7*y[3]^40 -95088338400409129058050808484946626011958146508*x[3]^5*y[3]^42-3785534248393478904394174518009992348419055094*x[3]^3*y[3]^44 -55249347324755701843453898422322727052015998*x[3]*y[3]^46 +170545771565400336361832831828754929810137190608896*x[3]^46+2110943254822983230123405902001034141589432575578112*x[3]^44*y[3]^2 +12065799534781729550674462850340291521850086453612544*x[3]^42*y[3]^4+42206025235217901678939218884976320628732490469109760*x[3]^40*y[3]^6 +101046527591254553335860225962668592784847377353244672*x[3]^38*y[3]^8+175927084163580874467541674901512505808720321765609472*x[3]^36*y[3]^10 +232677581395424147304010034753059217466617051311785984*x[3]^34*y[3]^12+245282260440199147056393432047630166174821098583380992*x[3]^32*y[3]^14 +221622489859455279649040060249354083518906688177026048*x[3]^30*y[3]^16+188548469340550619808515275630183629030953459905624320*x[3]^28*y[3]^18 +158753068443882378818982552196490839545771293087450880*x[3]^26*y[3]^20+126084697559603894399549147501867854915803918377329152*x[3]^24*y[3]^22 +86587613864624444918241679011179236236337581926533248*x[3]^22*y[3]^24+48351711965500070315923069622717360828037300245032224*x[3]^20*y[3]^26 +21260546562482954382059817706296445090556343619029744*x[3]^18*y[3]^28+7231489922654336727389932670020409881232661371870352*x[3]^16*y[3]^30 +1878322744066321469759894543882330566851762076350960*x[3]^14*y[3]^32+368473260923381242031624762480969592450527055995616*x[3]^12*y[3]^34 +54121359532744301591612746468649084592441284431323*x[3]^10*y[3]^36+5904733071996502213875253828943318700898256321211*x[3]^8*y[3]^38 +466254138237543207052097080510491155627351509326*x[3]^6*y[3]^40+24119565183093741967845451503160824774964611462*x[3]^4*y[3]^42 +617729371506336808166169854989188337226049351*x[3]^2*y[3]^44+3247174593763408092148108744617843487170303*y[3]^46 -173819221250525027052636021689822726849295866462208*x[3]^45-2060413697273854497604724947791877129303066499088384*x[3]^43*y[3]^2 -11241253242419582714105473950957031547394355380289536*x[3]^41*y[3]^4-37398521581686938180262639583110946129666348192432128*x[3]^39*y[3]^6 -84865942280577501672223339024324724129536057308143616*x[3]^37*y[3]^8-139778544165621247477856050513033717374924873028239360*x[3]^35*y[3]^10 -175428031453404302194795429073413897587271283867959296*x[3]^33*y[3]^12-178166571317649505346805460555251819738488630732851200*x[3]^31*y[3]^14 -160220071336063317805093773342343876316843917129638912*x[3]^29*y[3]^16-139931233633751517009113269989943316140628657947292160*x[3]^27*y[3]^18 -119882023799735794282898592208798202220063585935341056*x[3]^25*y[3]^20-93053885932917418423871676264755280876484795160331264*x[3]^23*y[3]^22 -60246737908162137320815100191473237354707808353081088*x[3]^21*y[3]^24-31017939571895971179222602025880846768285204586913408*x[3]^19*y[3]^26 -12397377906718286100316118186509524177668776920103872*x[3]^17*y[3]^28-3790196839609033961466752349539205652829756290922880*x[3]^15*y[3]^30 -875617604034455455526827860167188256932945072683792*x[3]^13*y[3]^32-151228021630958392160002036484726012930016691949472*x[3]^11*y[3]^34 -19359874322350398293854453045033310802622655758100*x[3]^9*y[3]^36-1813536319504989866662297195165832004022705174440*x[3]^7*y[3]^38 -118130403263828941739206072446070349752396712016*x[3]^5*y[3]^40-4522745208270203786856792997276649753465334584*x[3]^3*y[3]^42 -64009640928428337218515061465782009900742988*x[3]*y[3]^44+170545771565400336361832831828754929810137190608896*x[3]^44 +1940397483257582893761573070172279211779295384969216*x[3]^42*y[3]^2+10125402051524146656912889780168012310070791068643328*x[3]^40*y[3]^4 +32080623183693755022026329104808308318661699400466432*x[3]^38*y[3]^6+68965904407560798313833896857860284466185677952778240*x[3]^36*y[3]^8 +106961179756020076153707778043652221342534643812831232*x[3]^34*y[3]^10+125716401639404071150302256709406996124082407498954752*x[3]^32*y[3]^12 +119565858800795075906091175338223170050738691084426240*x[3]^30*y[3]^14+102056631058660203742948884911130913468167997092599808*x[3]^28*y[3]^16 +86491838281890416065566390719052715562785462813024512*x[3]^26*y[3]^18+72261230161991962753416161477438123982985830274426368*x[3]^24*y[3]^20 +53823467397611931646132986024429730932818088102902784*x[3]^22*y[3]^22+32764146467012513272108692986749505303519493823630464*x[3]^20*y[3]^24 +15587565498487557043814376635967855524517806421401760*x[3]^18*y[3]^26+5672981063995397338245441070328589566038537197627984*x[3]^16*y[3]^28 +1558508858658939389144491599691820315194124174242368*x[3]^14*y[3]^30+319813885407382080615402944190510251657637902108592*x[3]^12*y[3]^32 +48659375515999161416221818290459340792889153887024*x[3]^10*y[3]^34+5461984016745140175390928178189743799552130544299*x[3]^8*y[3]^36 +442749055251362038484325650753574901346125776912*x[3]^6*y[3]^38+23505082986181168567771429756916254281225732414*x[3]^4*y[3]^40 +614482196912573400074021746244570493738879048*x[3]^2*y[3]^42+3247174593763408092148108744617843487170303*y[3]^44 -161074946720813339850253887247874057212750310252544*x[3]^43-1763540870449506950532587726735630314144785041596416*x[3]^41*y[3]^2 -8822779764179558351342784142910559331927394051407872*x[3]^39*y[3]^4-26663430844420885352087881890524145256737844828274688*x[3]^37*y[3]^6 -54263703551177206348810337997131751547656266441687040*x[3]^35*y[3]^8-78729421345630787047493221846675885734924773571305472*x[3]^33*y[3]^10 -84926619049732747533150006246462091229402518884605952*x[3]^31*y[3]^12-72170335963193607310382914118332643823080678458143744*x[3]^29*y[3]^14 -54042112401538772822765081180493822484573933311799296*x[3]^27*y[3]^16-41192903835346581544940781737202978708923854249208832*x[3]^25*y[3]^18 -32499266864685807321351240834200917300106360753106432*x[3]^23*y[3]^20-23247275220235838194740029864247718597417295014639104*x[3]^21*y[3]^22 -13433839665505047567354666074707818824498891171982720*x[3]^19*y[3]^24-5950443150875263023911094065066692137419641781609760*x[3]^17*y[3]^26 -1978234175314277307678714042573602557229266925601600*x[3]^15*y[3]^28-488592907557062429298235856072638805314605883980864*x[3]^13*y[3]^30 -89295594211026545279427371680818222816968362775136*x[3]^11*y[3]^32-12122806297576068927050893754908079334299293065024*x[3]^9*y[3]^34 -1224994173589932357734481596666436690543264590430*x[3]^7*y[3]^36-87683017945596438354792821144193609496276084314*x[3]^5*y[3]^38 -3675035553743967500707266721165346894315023098*x[3]^3*y[3]^40-55249347324755701843453898422322727052015998*x[3]*y[3]^42 +146396157152172809438674186646085147860871507873792*x[3]^42+1546757192236551517932236203613589569211365888004096*x[3]^40*y[3]^2 +7439688689313598045067380787823043042218375870652416*x[3]^38*y[3]^4+21493742996480477015763474802586974033037728910991360*x[3]^36*y[3]^6 +41417243190811338172859552861845028532771911294318592*x[3]^34*y[3]^8+55876857356940844694208975622480048894038319188295680*x[3]^32*y[3]^10 +54009112071519465006579451805118186098702248559689728*x[3]^30*y[3]^12+38091594916259150481848967950626364657295343453049856*x[3]^28*y[3]^14 +20893407367384236619921177892997518072652937673086464*x[3]^26*y[3]^16+11175562963539732756392548389672403679837634328307712*x[3]^24*y[3]^18 +7627570920198382046850080111694250214115747378497280*x[3]^22*y[3]^20+5570453346790686515059124933242670191532427648495360*x[3]^20*y[3]^22 +3281592159646305341549988711628029794277570421891968*x[3]^18*y[3]^24+1415844201239446348952137604415021392804400816855264*x[3]^16*y[3]^26 +440715236157219283391139114876860677630420679760288*x[3]^14*y[3]^28+99762373862039091760677006569635304270499402542400*x[3]^12*y[3]^30 +16843239194641568002726952287163364233928322953048*x[3]^10*y[3]^32+2199153407608182339819477692755352588186891948664*x[3]^8*y[3]^34 +219413883584774320800420719611652798647190784565*x[3]^6*y[3]^36+14380286702821857587422067392094232797439773727*x[3]^4*y[3]^38 +438278953573381839646252722924665144094537063*x[3]^2*y[3]^40+2496658516019055645314202619815884874314077*y[3]^42 -127974999996472696138936821628833815017407631343616*x[3]^41-1308746454269413797976909244258390463054560063029248*x[3]^39*y[3]^2 -6071582722305859866299310099473041362644220264038400*x[3]^37*y[3]^4-16822944511829378125864779842921656929637153818427392*x[3]^35*y[3]^6 -30764722169138952933763272699682657465954674872801280*x[3]^33*y[3]^8-38520483982325367428483912718471940209462810900381696*x[3]^31*y[3]^10 -32681907963607870271879707402650970247631919212607488*x[3]^29*y[3]^12-17005711773168681244537913833310662039854806668124160*x[3]^27*y[3]^14 -2632509955168191717631351885325055515737389269630976*x[3]^25*y[3]^16+3667708916023323251523765131165249555607443222572032*x[3]^23*y[3]^18 +3582632595493293981922188329645374891893614652733440*x[3]^21*y[3]^20+1727566117355970224615369529918023548271712680420352*x[3]^19*y[3]^22 +527065130670320364567833159268966938803223771967744*x[3]^17*y[3]^24+106224835924473679867879095508456939976738717189952*x[3]^15*y[3]^26 +12727492253136651821031702888156293819567165567712*x[3]^13*y[3]^28-512699966189331117599195383548687368602627282752*x[3]^11*y[3]^30 -833793074237362278423587197575250607619717646200*x[3]^9*y[3]^32-237501919877697206801254463334432988108131586080*x[3]^7*y[3]^34 -32628188006195343433622709550669308297976781040*x[3]^5*y[3]^36-1995096333634985831850577988003842141421997216*x[3]^3*y[3]^38 -36208628834085422901041766138550425680078904*x[3]*y[3]^40+107521776347646957363899549853536935672590903275520*x[3]^40 +1067580413026643116137535678219510583985935633154048*x[3]^38*y[3]^2+4794326339801276006451489891133800091874608391135232*x[3]^36*y[3]^4 +12795698621313541916446273408856854844264353410662400*x[3]^34*y[3]^6+22326509752105289714888333876415995376117084253046784*x[3]^32*y[3]^8 +26094803900135303206072076711479163373522774612787200*x[3]^30*y[3]^10+19361322519501386799396518242354885955946584368014336*x[3]^28*y[3]^12 +6225040659660694965399188108044286126862366404731392*x[3]^26*y[3]^14-4414868752348705707766630140367706417891991680319744*x[3]^24*y[3]^16 -7875258426368830897657944472819984565227745954548224*x[3]^22*y[3]^18-6117891625407825930348347312505038371229383158832128*x[3]^20*y[3]^20 -3176779208098922472066422539293417618970808658264576*x[3]^18*y[3]^22-1206941980552609880123594003553659337888364819791744*x[3]^16*y[3]^24 -343553000275443180859793703554379669239665433517792*x[3]^14*y[3]^26-71893166517536557368875716826651268797150582620128*x[3]^12*y[3]^28 -10237244529805790027601227093768771792888968111104*x[3]^10*y[3]^30-794539708435514226929688695021354191177131081672*x[3]^8*y[3]^32 -1023523566601711395656917320021518650471778544*x[3]^6*y[3]^34+4597324756367776238490865847018788533752854944*x[3]^4*y[3]^36 +230752790408532581658664335004217308881517008*x[3]^2*y[3]^38+1547138874026050279314126196975670590581384*y[3]^40 -86740805605502511236705393323932361910810786783232*x[3]^39-838725177450650443480177289953185732794879581200384*x[3]^37*y[3]^2 -3660097024720269775029868326574792425951142149955584*x[3]^35*y[3]^4-9459561482384476722326443766922319440888587010220032*x[3]^33*y[3]^6 -15879414445711255785591348871969158822535053495214080*x[3]^31*y[3]^8-17583884300563450362027256064792587813854038085931008*x[3]^29*y[3]^10 -11741318836746440344323672170842725845620248386088960*x[3]^27*y[3]^12-2017918472191274453315982303915097428797705490854400*x[3]^25*y[3]^14 +5107459483654686193559004037152454680595104601420800*x[3]^23*y[3]^16+6772238043132151620305763630951467752863353539577856*x[3]^21*y[3]^18 +4857467457456782059950092770516484994790259478254592*x[3]^19*y[3]^20+2398492064181476415625809534767907684042087626463744*x[3]^17*y[3]^22 +863244408438523956705057071967056808473474090175360*x[3]^15*y[3]^24+227807098546129300645842742366141142279746146932256*x[3]^13*y[3]^26 +42789599207261361396640499011075249271539801590528*x[3]^11*y[3]^28+5292820630577845972783832362786609084127644634016*x[3]^9*y[3]^30 +355844243640876606578331368638648370230290826176*x[3]^7*y[3]^32+4396886633854345731997279603581788589188481312*x[3]^5*y[3]^34 -709114665475922734114682181315536426357134656*x[3]^3*y[3]^36-19684431829263881237140633529148119575545312*x[3]*y[3]^38 +67108573024170635491419050393953098395754116370432*x[3]^38+633734597486125579632668394742591483268765232230400*x[3]^36*y[3]^2 +2697571712434762530824583546061224046502554402099200*x[3]^34*y[3]^4+6789788734333418039479281274550591879174145552199680*x[3]^32*y[3]^6 +11074210514876353069988261968996287923372406123540480*x[3]^30*y[3]^8+11862977023629898040201803759679855678219660036069376*x[3]^28*y[3]^10 +7566096782504900026719599391615369154969639114085376*x[3]^26*y[3]^12+1035421503696820770714774840912553190415207399455232*x[3]^24*y[3]^14 -3409931841759233321003509780410414792481215160151040*x[3]^22*y[3]^16-4207961001039777549903579171568154918839876776234624*x[3]^20*y[3]^18 -2851396856799453879802619563499449937130468894465792*x[3]^18*y[3]^20-1319061273466209446023994547298637494657634906635392*x[3]^16*y[3]^22 -436978619890779360204078375964215319335836559486720*x[3]^14*y[3]^24-103391209752342619423439259609669906094312101006624*x[3]^12*y[3]^26 -16791034687739754262536973593064005620788675663440*x[3]^10*y[3]^28-1703920513177462398499154722899180284289686226096*x[3]^8*y[3]^30 -85017011459342179777707879794591035189234038144*x[3]^6*y[3]^32-137679768247156789234762704965821508501298720*x[3]^4*y[3]^34 +104878347121076716911090673909834138748212560*x[3]^2*y[3]^36+875065146839537420143596887183342436334704*y[3]^38 -49718064432539838269506786802403886990173399515136*x[3]^37-459698812588738253365177446781993993037246993793024*x[3]^35*y[3]^2 -1915175954589959297075799464731768020629364083589120*x[3]^33*y[3]^4-4719047842077639018845374368039300042466819162865664*x[3]^31*y[3]^6 -7547845841069109477175632106646356840233612887494656*x[3]^29*y[3]^8-7979895398825886404509327126614241479329555223085056*x[3]^27*y[3]^10 -5163001410385407328058997200543610738214624338100224*x[3]^25*y[3]^12-1085552781857133309734180751961910461605591400688640*x[3]^23*y[3]^14 +1583933244833439831318378809752791668983389878868480*x[3]^21*y[3]^16+2059698818871407726524667799457259576351538739924224*x[3]^19*y[3]^18 +1345822921285354691805590279211472665720591077450496*x[3]^17*y[3]^20+581960385969915033108461685688095115323438720371712*x[3]^15*y[3]^22 +175365914396456071274020056550518914605584626561664*x[3]^13*y[3]^24+36520296473537153627107124067832242218555017097472*x[3]^11*y[3]^26 +4984089242336328242908004648816374805597797854720*x[3]^9*y[3]^28+392541208942041345802890411418163897797014440448*x[3]^7*y[3]^30 +12099494672338196375017493186348446700007977472*x[3]^5*y[3]^32-219199513288266920470507633010193775530045696*x[3]^3*y[3]^34 -10799990363991131269087848241980101146298496*x[3]*y[3]^36+35208991704040993322417885505349744435589863796736*x[3]^36 +319393471196699128931673021761785338687557282586624*x[3]^34*y[3]^2+1305831961099494637005871426811141207632345836539904*x[3]^32*y[3]^4 +3162274350371649792181217894829866009672807830339584*x[3]^30*y[3]^6+4992925128968356602302583012197077107143728811397120*x[3]^28*y[3]^8 +5278113183295475012195093851485625290369061016193024*x[3]^26*y[3]^10+3574515947619748364903739800432890237412876616391680*x[3]^24*y[3]^12 +1154531388049110457156775700748378411495282557531648*x[3]^22*y[3]^14-428178622677485486761327116318630034308008830576128*x[3]^20*y[3]^16 -789404515771775911820319103504098254577277611661440*x[3]^18*y[3]^18-518089495546025935474325119628930111766251710005120*x[3]^16*y[3]^20 -210839523303039383023492701028497618653541196296192*x[3]^14*y[3]^22-57400127676860716705698185881545229166147977024896*x[3]^12*y[3]^24 -10334110608590370696938104760622747409169686838784*x[3]^10*y[3]^26-1142469527167412246431455234337751792860891609344*x[3]^8*y[3]^28 -63573954088913076439831864943189121638444366976*x[3]^6*y[3]^30-587475162749110568682977330391136292011106688*x[3]^4*y[3]^32 +57734453242662293303632879620112521596284416*x[3]^2*y[3]^34+520373171690660225514753677677202680722048*y[3]^36 -23782984034154569526541995263471617064619964735488*x[3]^35-211965594867990029388018120364647932768642983108608*x[3]^33*y[3]^2 -851877672626509257676722440180589280929194415783936*x[3]^31*y[3]^4-2031845517567232755655610207114525691489987377971200*x[3]^29*y[3]^6 -3176407962205478418257444100380591205772317209124864*x[3]^27*y[3]^8-3371262684221712436094420851392503771609062813372416*x[3]^25*y[3]^10 -2392345624368913116806932577273132729741991840362496*x[3]^23*y[3]^12-1003726436168657506980219452481127224207794509269504*x[3]^21*y[3]^14 -71943085415196796685099032928927282958613593704448*x[3]^19*y[3]^16+211296520543778775919812365372049666070067742841344*x[3]^17*y[3]^18 +157769730382068781205888690397955510387268376319488*x[3]^15*y[3]^20+62015209047401357417750938937718193761259807744512*x[3]^13*y[3]^22 +15227173021834118518735777119037513850357742626304*x[3]^11*y[3]^24+2316941537044373873222969977477511163982343050752*x[3]^9*y[3]^26 +194967107355938430331115502446967434761367255040*x[3]^7*y[3]^28+5956752160614220763147362301249498816862789120*x[3]^5*y[3]^30 -153473620612223064381313190468966748480936960*x[3]^3*y[3]^32-6668192086703109693262612147151614519383552*x[3]*y[3]^34 +15284594375331694507265918143660297756814699679744*x[3]^34+133934150631120052953789401911272882948776246710272*x[3]^32*y[3]^2 +529426989766474391056588522825112663139836059041792*x[3]^30*y[3]^4+1244098784551455378552117781255778728039649665548288*x[3]^28*y[3]^6 +1924905182211877162586449065734207725375067487111168*x[3]^26*y[3]^8+2045106456442053660267329551088491365012673812977664*x[3]^24*y[3]^10 +1498090185266874270824762621660070076816375087223808*x[3]^22*y[3]^12+722654913883677032945300090873814011751008730988032*x[3]^20*y[3]^14 +186180848871115379419504584709979921389897809686784*x[3]^18*y[3]^16-13943320580101267728714458595338737060816447600896*x[3]^16*y[3]^18 -33215000538947736132805947339722553295244823460608*x[3]^14*y[3]^20-13938414773768032239508010764475432365651440499968*x[3]^12*y[3]^22 -3126453211348278310994908686537726503606411419392*x[3]^10*y[3]^24-387518053821396852565890020926673162185309261056*x[3]^8*y[3]^26 -21215632076955674062665640999103230704682219008*x[3]^6*y[3]^28+117602482511039924934151243655168870054949888*x[3]^4*y[3]^30 +38907225613176223923323805612092483023918848*x[3]^2*y[3]^32+314333366552439239138799166927314134568192*y[3]^34-9318342347076191420775970132305511804439723753472*x[3]^33 -80284176754200285004737847535381453250559125651456*x[3]^31*y[3]^2-312006654997530303220560688784961940377022338416640*x[3]^29*y[3]^4 -721455083746536640452019634345111207578606813102080*x[3]^27*y[3]^6-1101573371120408090799599138720555965897852624005120*x[3]^25*y[3]^8 -1163517591836491150449452392404960254924666241982464*x[3]^23*y[3]^10-863096790571721553378642698222309692565955331725312*x[3]^21*y[3]^12 -443907263277942347951587854145364825354980330008576*x[3]^19*y[3]^14-149173635223437012071525200478437311990424648077312*x[3]^17*y[3]^16 -26232628644784552609202408756611221989542049611776*x[3]^15*y[3]^18+1242019557087552966854723382098422529273430386688*x[3]^13*y[3]^20 +1851372172332086434019342184910914560971181740032*x[3]^11*y[3]^22+419100715565309813387403770367959322709159366656*x[3]^9*y[3]^24 +38059580253885189690851465006083469193940893696*x[3]^7*y[3]^26+222233495155864521443465346667702650789384192*x[3]^5*y[3]^28 -143229482596546326514103739778634944677396480*x[3]^3*y[3]^30-3981922474211671037786307135395886730917888*x[3]*y[3]^32 +5371114222678920235392866563276888507642630877184*x[3]^32+45474968889759547477728054297711982120535929110528*x[3]^30*y[3]^2 +173541466450892857717112679330604937885646762393600*x[3]^28*y[3]^4+393956575724431638234778329544034660656645284102144*x[3]^26*y[3]^6 +591079735572107824178000130352440560932915593541632*x[3]^24*y[3]^8+615547082890435506826647511277242858241806905501696*x[3]^22*y[3]^10 +454228487169193660105343787037518183788578667102208*x[3]^20*y[3]^12+237710656089145179099835136888310119776705879246848*x[3]^18*y[3]^14 +86553510560525258556133806580310294424634325219328*x[3]^16*y[3]^16+20893690545210324873821729966155547253897700012032*x[3]^14*y[3]^18 +2996621240067031072252841265213250264021838911488*x[3]^12*y[3]^20+187471177324493875869799073594742993899166560256*x[3]^10*y[3]^22 +1036697325683364617124287109572799029577621504*x[3]^8*y[3]^24+1961698235701786105290389393962990332735940608*x[3]^6*y[3]^26 +459030316026782407571306404237785614467221504*x[3]^4*y[3]^28+24096917245430642565608617866371057679427584*x[3]^2*y[3]^30 +167559914629872206966176474081390233255936*y[3]^32-2916130091187146737623945736781533329319820451840*x[3]^31 -24239074711189585060608855396125133446386140782592*x[3]^29*y[3]^2-90680372822013410409949740438328413222761136611328*x[3]^27*y[3]^4 -201526117198560659628098480384046739825895196057600*x[3]^25*y[3]^6-295713814006180065931466059927161397013818481344512*x[3]^23*y[3]^8 -301174637621090078038900122716450834233410876407808*x[3]^21*y[3]^10-217831797146935268873486578967060329710876259172352*x[3]^19*y[3]^12 -112550261000193644000913811897924627371349666971648*x[3]^17*y[3]^14-41245607200711683336079194077717934127893621104640*x[3]^15*y[3]^16 -10530531166203881247245810028607152552534798163968*x[3]^13*y[3]^18-1833638474750229741734290808490061076383903703040*x[3]^11*y[3]^20 -219621422363656210332955711608324649734271475712*x[3]^9*y[3]^22-20554212991361936622138429311216811395096616960*x[3]^7*y[3]^24 -1773864489491437375306019709838281559877222400*x[3]^5*y[3]^26-105073822762793896327282242770017070446239744*x[3]^3*y[3]^28 -2045120035574513600580359690739911544864768*x[3]*y[3]^30+1485214320896085204635019980738156910320623128576*x[3]^30 +12105867043949248680069560115166372742388422307840*x[3]^28*y[3]^2+44315371055774602666278400556823739866610772373504*x[3]^26*y[3]^4 +96135645692640317872477827211251600758788351954944*x[3]^24*y[3]^6+137339352425423449256862711134534273582290106867712*x[3]^22*y[3]^8 +135813025006294195556470089190075179597887217328128*x[3]^20*y[3]^10+95147525078300567997111093457247641463343642796032*x[3]^18*y[3]^12 +47553688631661671204104452530068660813147989614592*x[3]^16*y[3]^14+16877019048358379225348927253203793001785269882880*x[3]^14*y[3]^16 +4199253999160416627840220062146752351065151451136*x[3]^12*y[3]^18+721791401395692903708560806568113297102258458624*x[3]^10*y[3]^20 +85580761195361339796009068363560400544754741248*x[3]^8*y[3]^22+7199108282024978794274965952866591101994463232*x[3]^6*y[3]^24 +424301195936633418985782551561847329294462976*x[3]^4*y[3]^26+13073663713023133494443996861300228738187264*x[3]^2*y[3]^28 +76434413907515664565293084160447897534464*y[3]^30-706468995780279048675747189185051899584259817472*x[3]^29 -5640238174849633127176836049673979762108332113920*x[3]^27*y[3]^2-20167590187153301591995970407399993044359592050688*x[3]^25*y[3]^4 -42593645096997080446639872989584487833280453148672*x[3]^23*y[3]^6-59005286512594602450096616339459240525526941630464*x[3]^21*y[3]^8 -56312484081811541254692360361395228231726022656000*x[3]^19*y[3]^10-37858229594190827372876602274175378965955272146944*x[3]^17*y[3]^12 -18035257102794935944992215647650407516978089820160*x[3]^15*y[3]^14-6052532454666839920336947388536841267314684493824*x[3]^13*y[3]^16 -1409793080260129543320110925808147436574886920192*x[3]^11*y[3]^18-223328387869132330056034448331553725310848172032*x[3]^9*y[3]^20 -23569506704814050830842317421768425545750413312*x[3]^7*y[3]^22-1614408076051285675307029189097007327668011008*x[3]^5*y[3]^24 -64453826459239823006858354781400196807393280*x[3]^3*y[3]^26-956631770456759316808402099419245643300864*x[3]*y[3]^28 +312363763066578185681348106774996415845107761152*x[3]^28+2440312181352515606395734793478462485807644475392*x[3]^26*y[3]^2 +8510759783353260488236560171270331360455052591104*x[3]^24*y[3]^4+17461114788825050012847623014730692616898135982080*x[3]^22*y[3]^6 +23379469729839669411106506104875603016659653427200*x[3]^20*y[3]^8+21428269863608160583254912489180343446727448985600*x[3]^18*y[3]^10 +13722499859282934307647095179627849426304243367936*x[3]^16*y[3]^12+6161737826384996177003134667637025743245487636480*x[3]^14*y[3]^14 +1922221025494070588018886256252166927114213621760*x[3]^12*y[3]^16+408396081945940931976696288728685896273220206592*x[3]^10*y[3]^18 +57368079436318792382174061164850799035368177664*x[3]^8*y[3]^20+5113344605648734882396389321247383277591265280*x[3]^6*y[3]^22 +268491851810509110544727794466998295765188608*x[3]^4*y[3]^24+6678906733037046006183501251752405798748160*x[3]^2*y[3]^26 +33137722382849215297106730761584795189248*y[3]^28-127725169434159186910147962804325073009875353600*x[3]^27 -975814835869418597748258842565002045975878434816*x[3]^25*y[3]^2-3316019327216497038015315987244409453429562015744*x[3]^23*y[3]^4 -6598466340007337121635676993383081694953882910720*x[3]^21*y[3]^6-8518226863386010209540284972495492755621586141184*x[3]^19*y[3]^8 -7469311974844281325661240871151280882232012963840*x[3]^17*y[3]^10-4529556447162259850539216109057580994240821854208*x[3]^15*y[3]^12 -1899732109440420826529873750770172591748761911296*x[3]^13*y[3]^14-543327564065845774421708837921415353841691656192*x[3]^11*y[3]^16 -103126070478852004584788524171685805404714827776*x[3]^9*y[3]^18-12460615445821583555205776341861418924127289344*x[3]^7*y[3]^20 -897989778328656766185632535107375387715305472*x[3]^5*y[3]^22-33776846522481466304774032693412504197398528*x[3]^3*y[3]^24 -443228603606037258966598389126040161091584*x[3]*y[3]^26+48031829810710207505991736148119417050859831296*x[3]^26 +358783801950899349516073317723814355026536038400*x[3]^24*y[3]^2+1187397745440793212600720006414125181954765225984*x[3]^22*y[3]^4 +2289484630431315466269421982127621993679376351232*x[3]^20*y[3]^6+2844897462914889621327524890225713051780311875584*x[3]^18*y[3]^8 +2379833447929163869699512697480156108279178919936*x[3]^16*y[3]^10+1360172702447821476479733195083932224300432752640*x[3]^14*y[3]^12 +528705354373451983404166119339017778609936531456*x[3]^12*y[3]^14+136895576378058956183129789312820818963341836288*x[3]^10*y[3]^16 +22758229616418917340430573980912520917380431872*x[3]^8*y[3]^18+2294389192908781667775607149014152620766396416*x[3]^6*y[3]^20 +127337159847190977481167479909098113000800256*x[3]^4*y[3]^22+3109861580328966281503895686315283400622080*x[3]^2*y[3]^24 +14629739900117705671831792783806280237056*y[3]^26 -16509932558406361851850793271169851917542096896*x[3]^25-120605082333330155875865668499101935209721888768*x[3]^23*y[3]^2 -388749887799006497433309284283774522054433308672*x[3]^21*y[3]^4-726127243489767931246412843872935998126574010368*x[3]^19*y[3]^6 -867746502848496260585727778404541980223691292672*x[3]^17*y[3]^8-691181091522138254361505006240561195825949048832*x[3]^15*y[3]^10 -370912176140671317657666106624714174510396342272*x[3]^13*y[3]^12-132682948989702461940215145545302161878541139968*x[3]^11*y[3]^14 -30714184504248642506674531603942567004880764928*x[3]^9*y[3]^16-4377623670257835054249400064781248682874896384*x[3]^7*y[3]^18 -355351719585925674022059658389266197181890560*x[3]^5*y[3]^20-14235838894295665844522557232895622706626560*x[3]^3*y[3]^22 -190254470623578556689766132845143729897472*x[3]*y[3]^24+5151013174620947087796769308725236458835673088*x[3]^24 +36823804587916779687525343022095405188844093440*x[3]^22*y[3]^2+115675046624667228761637705257294773880428167168*x[3]^20*y[3]^4 +209390544832468835398421522141624850916234493952*x[3]^18*y[3]^6+240636472673879668097491765130640640768294256640*x[3]^16*y[3]^8 +182321967152193217585521738451842727566909112320*x[3]^14*y[3]^10+91597645470264262029193333475155428009083142144*x[3]^12*y[3]^12 +29955495223960135726401055568943118472503099392*x[3]^10*y[3]^14+6115923978496604616487839298099435768790384640*x[3]^8*y[3]^16 +728574022027031545913803379628170412577259520*x[3]^6*y[3]^18+45469993051041524455049651569763018789093376*x[3]^4*y[3]^20 +1192013325423937781600348758952799778111488*x[3]^2*y[3]^22+5909575609363693121898008805878242738176*y[3]^24 -1446910348780785337610830320114832075722326016*x[3]^23-10133765890931806735466901011193550498103820288*x[3]^21*y[3]^2 -31058104178057181111557702554647886959873097728*x[3]^19*y[3]^4-54540259911019760605060144075862704204931923968*x[3]^17*y[3]^6 -60319494395086646690300062361927971707524481024*x[3]^15*y[3]^8-43467691049355981933517326652414020807863304192*x[3]^13*y[3]^10 -20402775882618120265905531315510948645675466752*x[3]^11*y[3]^12-6061179009208779300838470186172462766506377216*x[3]^9*y[3]^14 -1074610108351699066724582080966648072715108352*x[3]^7*y[3]^16-103589488285233035077575368886554463817433088*x[3]^5*y[3]^18 -4657701598478613536927106172244343203561472*x[3]^3*y[3]^20-67268107343247913739256194958552087920640*x[3]*y[3]^22 +362384322386924715375975059930340953671335936*x[3]^22+2490122429996089736894742558248873254126092288*x[3]^20*y[3]^2 +7457614852152256876437029458122995975155875840*x[3]^18*y[3]^4+12725417751682744218566180445948950513140629504*x[3]^16*y[3]^6 +13564109875130974145391788094297598321404936192*x[3]^14*y[3]^8+9304505500331169005003885976142326089659711488*x[3]^12*y[3]^10 +4075886092684944133343746114596130619368931328*x[3]^10*y[3]^12+1093126237375067203005093907254906695121371136*x[3]^8*y[3]^14 +165147544758506882958537796402296233184460800*x[3]^6*y[3]^16+12330290081540883169652649771183830256844800*x[3]^4*y[3]^18 +361466769637303251718905604038613423620096*x[3]^2*y[3]^20+1945090840769557031180580617052877750272*y[3]^22-79960544355064550936835766442765841661427712*x[3]^21 -540002450266773741219398878987447256922193920*x[3]^19*y[3]^2-1583413068948097210772202404747910075396390912*x[3]^17*y[3]^4 -2631039412522427217176036305496786404934418432*x[3]^15*y[3]^6-2708851963803274363757146232973898463179702272*x[3]^13*y[3]^8 -1772036586733465915909236412472846458137083904*x[3]^11*y[3]^10-724486352901223019696535514814180781509836800*x[3]^9*y[3]^12 -174370533882400362178815283469417089968635904*x[3]^7*y[3]^14-21907344833608432917960318815631207466795008*x[3]^5*y[3]^16 -1189382048828271291885003513345124746657792*x[3]^3*y[3]^18-19090456343488365626300388901836457771008*x[3]*y[3]^20+15309225294268850790314827922762384994729984*x[3]^20 +101805489817582951208531970001554168833114112*x[3]^18*y[3]^2+292925883622646144685417093611443027810713600*x[3]^16*y[3]^4 +475197842851569563953677142018346547463323648*x[3]^14*y[3]^6+473944536409840732157985531336622785700036608*x[3]^12*y[3]^8 +296513967881780123627301196306732902430801920*x[3]^10*y[3]^10+113308709411876541932479268589515157389967360*x[3]^8*y[3]^12 +24342013410071623292206292407834645182283776*x[3]^6*y[3]^14+2458378074881698828228999080501276240248832*x[3]^4*y[3]^16 +87939969751603988447400632803847628128256*x[3]^2*y[3]^18+521087915291026118691286766134782590976*y[3]^20-2492874564515603712038165250131392292978688*x[3]^19 -16356710631704946016839181160516732546187264*x[3]^17*y[3]^2-46294328458990588669040728065042844433252352*x[3]^15*y[3]^4 -73536826571913506912941347414949241196380160*x[3]^13*y[3]^6-71298398028435638837149891571318900115111936*x[3]^11*y[3]^8 -42829687995686477575022438094672873488646144*x[3]^9*y[3]^10-15347027005139125942702485076530273907113984*x[3]^7*y[3]^12 -2930913907297793771100895959384531715227648*x[3]^5*y[3]^14-225984279364330694862064393629715446890496*x[3]^3*y[3]^16 -4473234133250837388751118446270164762624*x[3]*y[3]^18+335847654058583121819366000343264593444864*x[3]^18+2178811990312687539139465412644660901314560*x[3]^16*y[3]^2 +6081519290043855338566274770131352886968320*x[3]^14*y[3]^4+9489580840853562509922338609857959051657216*x[3]^12*y[3]^6 +8980768782227812109027862471412332097437696*x[3]^10*y[3]^8+5206364868860441334110967813023914581295104*x[3]^8*y[3]^10 +1758954642208177466336945139597068973637632*x[3]^6*y[3]^12+298317066682074389200951962698726076579840*x[3]^4*y[3]^14 +16103086060777756664447305370416718020608*x[3]^2*y[3]^16+118688350865628620990904874744292573184*y[3]^18-35958430872040025018609516793443848814592*x[3]^17 -231139311138683607898691084049142876471296*x[3]^15*y[3]^2-637940507490149544158666900083555052814336*x[3]^13*y[3]^4 -981222057720894976943880413969647732260864*x[3]^11*y[3]^6-910578675668776279072088239565412249894912*x[3]^9*y[3]^8 -512642648105604905892211529081918110826496*x[3]^7*y[3]^10-164660618801106882311310495360563489538048*x[3]^5*y[3]^12 -24932984368491811704078875644552487632896*x[3]^3*y[3]^14-798768469297793409314393611676021686272*x[3]*y[3]^16+2869958745140950412292407523265443004416*x[3]^16 +18317392975097639192168344926232189599744*x[3]^14*y[3]^2+50126723384235635048200482923864295211008*x[3]^12*y[3]^4 +76276450423645784923412536612971702386688*x[3]^10*y[3]^6+69763946125897829264322490789320336605184*x[3]^8*y[3]^8+38429313269071555174990400549344593838080*x[3]^6*y[3]^10 +11874543594240584895558359371615473500160*x[3]^4*y[3]^12+1632935490000529169772058390308254121984*x[3]^2*y[3]^14+20920307186550961732622031804621127680*y[3]^16 -151848740969027330240453106091627118592*x[3]^15-964372705803296378018316217634544156672*x[3]^13*y[3]^2-2624052804464770531348180868425486172160*x[3]^11*y[3]^4 -3965542313429829318791184574071428874240*x[3]^9*y[3]^6-3594700010021245258126462864298889707520*x[3]^7*y[3]^8-1954593768190255066400925546165728968704*x[3]^5*y[3]^10 -590288026363727632460235237858176139264*x[3]^3*y[3]^12-76380794395389988964905738802477137920*x[3]*y[3]^14+3996019499184929743169818581358608384*x[3]^14 +25308123494837888373408851015271186432*x[3]^12*y[3]^2+68672335097103977808547993398162751488*x[3]^10*y[3]^4+103490875369837412278526988773731860480*x[3]^8*y[3]^6 +93551073780643988500363379682469478400*x[3]^6*y[3]^8+50725471116615851542419254761161228288*x[3]^4*y[3]^10+15276158879077997792981147760495427584*x[3]^2*y[3]^12 +1971117274719741650707244872321990656*y[3]^14;

Some check points: $$ y_3=4/5, x_3 \approx 0.39984994173582347683793523733456307400784208190495913835560574651625248400; $$ $$ y_3=4/5, x_3 \approx 0.40018066563023924656228820219165441555039861161000522704472470566342706753; $$ $$ y_3=4/5, x_3 \approx 0.59981933436976075343771179780834558444960138838999477295527529433657293246; $$ $$ y_3=4/5, x_3 \approx 0.60015005826417652316206476266543692599215791809504086164439425348374751599; $$

For the choice of the second vertex one gets: $$ x_{\ast} \approx 0.534247521472656038497127656512401, y_{\ast} \approx 0.2203957807140266216525443445079420 $$ is a stationary point for the Coulomb potential $ F_{} $ with $$ \det \left[ Hessian(F)\left|_{_{(x_{\ast},y_{\ast})}} \right. \right] \approx 6.70219 \times 10^{-32} \ . $$