YES E+xy*ExEyE01+x0x+0xx*x1x*1xx++xyz+x+yz+x+yz++xyz+xy+yx**xyz*x*yz*x*yz**xyz*xy*yx2.1E+xy*ExEyE01+x0x+0xx*x1x*1xx++xyz+x+yz+x+yz++xyz+xy+yx**xyz*x*yz*x*yz**xyz*xy*yxEx*ExE02E01*Ex1*x1xEx00+xy+x+y02+x0x+xy+xz+x+0z2+0xx+xz+xy++xy0+x0x+xyx+0x+0xxxEy*E0Ey1E01*1Ey*1xxEy00+yz+0+yz+0xx+yz+yz++0yz1+0xx+yz+xz++x0z1+x0x+xzy+y0+x0xy11*xy*x*y12*x1x*xy*xz*x*1z2*1xx*xz*xy**xy1*x1x*xyx*1x*1xxx11*yz*1*yz*1xx*yz*yz**1yz1*1xx*yz*xz**x1z1*x1x*xzy*y1*x1xyE+x509+x510yE+xy*ExEy*Ex509E+x510y2E+xy*ExEy*Ex509*Ex510Ey*E+x509x510Ey1E+xy*ExEy**Ex509Ex510Ey**xyz*x*yz*Ex509*Ex510EyE+x509+x510y1+x+yz++xyzE++x509x510yE+xy*ExEy*E+x509x510Ey*E+x509x510Ey+x512+x51302+x0x+x512x513+x512x513++x515+x516yz1+x+yz++xyz+++x515x516yz++x515x516+yz+x+yz++xyz+++x515x516yz+x518+x519+yz+x+yz++xyz++x518x519+yz+++x518x519yz++xyz+x+yz++x518x519+yz+x+x521+x522z2+x+yz++xyz+x++x521x522z++x+x521x522z++xyz+x+yz+x++x521x522z+x524+x525y+x+yz++xyz++x524x525y+y+x524x525+xy+yx++x524x525yE++xx528x529E+xy*ExEy*E+xx528Ex5291E+xy*ExEy**ExEx528Ex529*ExE+x528x5292E+xy*ExEy*Ex*Ex528Ex529*x*yz**xyz**ExEx528Ex529E++xx528x5291++xyz+x+yzE+x+x528x529E+xy*ExEy*ExE+x528x529*ExE+x528x529++0x531x5321+0xx+x531x532+x531x532+++xyx534x535++xyz+x+yz++xy+x534x535+x+y+x534x535+x+yz++xyz++xy+x534x535+++xx537x538z1++xyz+x+yz++x+x537x538z+x++x537x538z+x+yz++xyz++x+x537x538z+x++yx540x5412++xyz+x+yz+x+y+x540x541++xy+x540x541++xyz+x+yz+x+y+x540x541++xx543x544++xyz+x+yz+x+x543x544++x543x544x+xy+yx+x+x543x544E+yxE+xy*ExEy*EyEx*ExEy*xy*yx*EyEx+0x+0xxxx+x0+x0xxx+z+xy+xy+yx++xyz+x+yz+x+yz++xyz++xyz++yxz1+xy+yx++xyz+x+yz+x+yz++xyz++xyz++yzx+xy+yx+x+yz++xyz++xyz+x+yz+x+yz+x+zy2+xy+yx+x+yz++xyz++xyz+x+yz+x+yz*x559*x56012*x1x*x559x560*x559x560**x562*x563yz1*x*yz**xyz***x562x563yz**x562x563*yz*x*yz**xyz***x562x563yz*x565*x566*yz*x*yz**xyz**x565x566*yz***x565x566yz**xyz*x*yz**x565x566*yz*x*x568*x569z2*x*yz**xyz*x**x568x569z**x*x568x569z**xyz*x*yz*x**x568x569z*x571*x572y*x*yz**xyz**x571x572y*y*x571x572*xy*yx**x571x572y**1x575x5761*1xx*x575x576*x575x576***xyx578x579**xyz*x*yz**xy*x578x579*x*y*x578x579*x*yz**xyz**xy*x578x579***xx581x582z1**xyz*x*yz**x*x581x582z*x**x581x582z*x*yz**xyz**x*x581x582z*x**yx584x5852**xyz*x*yz*x*y*x584x585**xy*x584x585**xyz*x*yz*x*y*x584x585**xx587x588**xyz*x*yz*x*x587x588**x587x588x*xy*yx*x*x587x588*1x*1xxxx*x1*x1xxx*z*xy*xy*yx**xyz*x*yz*x*yz**xyz**xyz**yxz1*xy*yx**xyz*x*yz*x*yz**xyz**xyz**yzx*xy*yx*x*yz**xyz**xyz*x*yz*x*yz*x*zy2*xy*yx*x*yz**xyz**xyz*x*yz*x*yzcsicsi 1.2.5 [hg: unknown](if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)!