YES axxabxcbbaaxbxcxccxx2.1axxabxcbbaaxbxcxccxxbxcbbaax111axxcbbax111axxcbbx1bxcxccbxccxxbxbxcbbaax111axxcbbax1bxcxccbax111axxccbxccxxbxbxcbbaax1bxcxccbaax111axxccbax111axxccbxccxxbxbxcbbaax111axxcbbax1bxcxccbaxccxxbax1axxbxbxcbbaax1bxcxccbaax111axxccbaxccxxbax1axxbxbxcbbaax1bxcxccbaaxccxxbaax1axxbax1axxbxcbbaax26111axxcbbax26111axxcbbx261bxcxccbx26ccxxbx26bx26cbbaax26111axxcbbax261bxcxccbax26111axxccbx26ccxxbx26bx26cbbaax261bxcxccbaax26111axxccbax26111axxccbx26ccxxbx26bx26cbbaax26111axxcbbax261bxcxccbax26ccxxbax261axxbx26bx26cbbaax261bxcxccbaax26111axxccbax26ccxxbax261axxbx26bx26cbbaax261bxcxccbaax26ccxxbaax261axxbax261axxbx26bx26acxaxxcxcbbaax111axxcbbax111axxcbbx11bxcxcbcx1bxcxcccxccxxcxacxaxxcxcbbaax111axxcbbax11bxcxcbcax111axxcbcx1bxcxcccxccxxcxacxaxxcxcbbaax11bxcxcbcaax111axxcbcax111axxcbcx1bxcxcccxccxxcxacxaxxcxcbbaax111axxcbbax111axxcbbx1bxcxccbx11bxcxcccxccxxcxacxaxxcxcbbaax111axxcbbax1bxcxccbax111axxccbx11bxcxcccxccxxcxacxaxxcxcbbaax1bxcxccbaax111axxccbax111axxccbx11bxcxcccxccxxcxacxaxxcxcbbaax111axxcbbax11bxcxcbcax1bxcxcccax111axxcccxccxxcxacxaxxcxcbbaax11bxcxcbcaax111axxcbcax1bxcxcccax111axxcccxccxxcxacxaxxcxcbbaax111axxcbbax1bxcxccbax11bxcxcccax111axxcccxccxxcxacxaxxcxcbbaax1bxcxccbaax111axxccbax11bxcxcccax111axxcccxccxxcxacxaxxcxcbbaax11bxcxcbcaax1bxcxcccaax111axxcccax111axxcccxccxxcxacxaxxcxcbbaax1bxcxccbaax11bxcxcccaax111axxcccax111axxcccxccxxcxacxaxxcxcbbaax111axxcbbax111axxcbbx1bxcxccbxccxxbxbxcxcxacxaxxcxcbbaax111axxcbbax1bxcxccbax111axxccbxccxxbxbxcxcxacxaxxcxcbbaax1bxcxccbaax111axxccbax111axxccbxccxxbxbxcxcxacxaxxcxcbbaax111axxcbbax1bxcxccbaxccxxbax1axxbxbxcxcxacxaxxcxcbbaax1bxcxccbaax111axxccbaxccxxbax1axxbxbxcxcxacxaxxcxcbbaax1bxcxccbaaxccxxbaax1axxbax1axxbxbxcxcxacxaxxcxcbbaax111axxcbbax11bxcxcbcax1bxcxcccaxccxxcax1axxcxacxaxxcxcbbaax11bxcxcbcaax111axxcbcax1bxcxcccaxccxxcax1axxcxacxaxxcxcbbaax111axxcbbax1bxcxccbax11bxcxcccaxccxxcax1axxcxacxaxxcxcbbaax1bxcxccbaax111axxccbax11bxcxcccaxccxxcax1axxcxacxaxxcxcbbaax11bxcxcbcaax1bxcxcccaax111axxcccaxccxxcax1axxcxacxaxxcxcbbaax1bxcxccbaax11bxcxcccaax111axxcccaxccxxcax1axxcxacxaxxcxcbbaax111axxcbbax1bxcxccbaxccxxbaxbxcxcax1axxcxacxaxxcxcbbaax1bxcxccbaax111axxccbaxccxxbaxbxcxcax1axxcxacxaxxcxcbbaax1bxcxccbaaxccxxbaax1axxbaxbxcxcax1axxcxacxaxxcxcbbaax11bxcxcbcaax1bxcxcccaaxccxxcaax1axxcax1axxcxacxaxxcxcbbaax1bxcxccbaax11bxcxcccaaxccxxcaax1axxcax1axxcxacxaxxcxcbbaax1bxcxccbaaxccxxbaaxbxcxcaax1axxcax1axxcxcx28cx28csicsi 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)!