YES ++xyz+x+yz+x+yz++xyz+xy+yx2.1++xyz+x+yz0+x+yz++xyz0+xy+yx0++x43+x44yz1+x+yz++xyz+++x43x44yz++x43x44+yz+x+yz++xyz+++x43x44yz+x46+x47+yz+x+yz++xyz++x46x47+yz+++x46x47yz++xyz+x+yz++x46x47+yz+x+x49+x50z2+x+yz++xyz+x++x49x50z++x+x49x50z++xyz+x+yz+x++x49x50z+x52+x53y+x+yz++xyz++x52x53y+y+x52x53+xy+yx++x52x53y+++xyx56x57++xyz+x+yz++xy+x56x57+x+y+x56x57+x+yz++xyz++xy+x56x57+++xx59x60z1++xyz+x+yz++x+x59x60z+x++x59x60z+x+yz++xyz++x+x59x60z+x++yx62x632++xyz+x+yz+x+y+x62x63++xy+x62x63++xyz+x+yz+x+y+x62x63++xx65x66++xyz+x+yz+x+x65x66++x65x66x+xy+yx+x+x65x66+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)!