YES ++xyz+x+yz+x+yz++xyz2.1++xyz+x+yz0+x+yz++xyz0++x27+x28yz1+x+yz++xyz+++x27x28yz++x27x28+yz+x+yz++xyz+++x27x28yz+x30+x31+yz+x+yz++xyz++x30x31+yz+++x30x31yz++xyz+x+yz++x30x31+yz+x+x33+x34z2+x+yz++xyz+x++x33x34z++x+x33x34z++xyz+x+yz+x++x33x34z+++xyx37x38++xyz+x+yz++xy+x37x38+x+y+x37x38+x+yz++xyz++xy+x37x38+++xx40x41z1++xyz+x+yz++x+x40x41z+x++x40x41z+x+yz++xyz++x+x40x41z+x++yx43x442++xyz+x+yz+x+y+x43x44++xy+x43x44++xyz+x+yz+x+y+x43x44csicsi 1.2.5 [hg: unknown](if left-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)!