YES ababx1aabbx1bbbbx1bbbax1aaaax1babax12.1abababx1aabbx1bbbbx1bbbax1aaaaax1ababax1baaaax1bbabax1abbaabbax1aaabbbbax1abbaabbbx1aaabbbbbx1bbbbbbbax1bbbbbaaax1bbbbbbbbx1bbbbbaabx1aaaaaaaaaax1abbaabbaaax1aaaaaaaaabx1abbaabbaabx1baaaaaaaaax1bbbaabbaaax1baaaaaaaabx1bbbaabbaabx1abbaabbax1bbbax1abbaabbax1abbbbax1abbaabbax1aaabbbbax1abbaabbbx1bbbbx1abbaabbbx1abbbbbx1abbaabbbx1aaabbbbbx1bbbbbbbax1aax1bbbbbbbax1baaax1bbbbbbbax1bbbaaax1bbbbbbbax1bbbbbaaax1bbbbbbbbx1abx1bbbbbbbbx1baabx1bbbbbbbbx1bbbaabx1bbbbbbbbx1bbbbbaabx1aaaaaaaaaax1baaax1aaaaaaaaaax1abbaaax1aaaaaaaaaax1baabbaaax1aaaaaaaaaax1abbaabbaaax1aaaaaaaaabx1baabx1aaaaaaaaabx1abbaabx1aaaaaaaaabx1baabbaabx1aaaaaaaaabx1abbaabbaabx1baaaaaaaaax1baaax1baaaaaaaaax1abbaaax1baaaaaaaaax1baabbaaax1baaaaaaaaax1bbbaabbaaax1baaaaaaaabx1baabx1baaaaaaaabx1abbaabx1baaaaaaaabx1baabbaabx1baaaaaaaabx1bbbaabbaabx1truebaaaaaaaaax1baaax1baaaaaaaabx1bbbaabbaabx1bbbbbbbbx1bbbbbaabx1bbbbbbbbx1bbbaabx1bbbbbbbbx1baabx1baaaaaaaabx1baabbaabx1baaaaaaaabx1abbaabx1abbaabbbx1aaabbbbbx1aaaaaaaaabx1abbaabbaabx1abbaabbbx1bbbbx1bbbbbbbbx1abx1abbaabbax1aaabbbbax1aaaaaaaaabx1baabbaabx1baaaaaaaabx1baabx1baaaaaaaaax1bbbaabbaaax1bbbbbbbax1bbbbbaaax1bbbbbbbax1bbbaaax1bbbbbbbax1baaax1baaaaaaaaax1baabbaaax1baaaaaaaaax1abbaaax1abbaabbax1bbbax1bbbbbbbax1aax1aaaaaaaaabx1abbaabx1aaaaaaaaabx1baabx1aaaaaaaaaax1abbaabbaaax1aaaaaaaaaax1baabbaaax1aaaaaaaaaax1abbaaax1aaaaaaaaaax1baaax1true12ba111aa11bb111ab11bb111aa111ba111ab111baaaaaaaaax1baaax1bbbbbbbbx1bbbaabx1bbbbbbbbx1baabx1baaaaaaaabx1baabbaabx1baaaaaaaabx1abbaabx1abbaabbbx1bbbbx1bbbbbbbbx1abx1baaaaaaaabx1baabx1bbbbbbbax1bbbaaax1bbbbbbbax1baaax1baaaaaaaaax1baabbaaax1baaaaaaaaax1abbaaax1abbaabbax1bbbax1bbbbbbbax1aax1aaaaaaaaabx1abbaabx1aaaaaaaaabx1baabx1aaaaaaaaaax1abbaaax1aaaaaaaaaax1baaax1aaaaaaaaaax1abbaabbaaax1abbaabbbx1aaabbbbbx1aaaaaaaaabx1abbaabbaabx1abbaabbax1aaabbbbax1true121aa1010ab1010bb112aa1110ba1013ab1010aaaaaaaaaax1abbaabbaaax1aaaaaaaaabx1abbaabbaabx1abbaabbax1aaabbbbax1abbaabbbx1aaabbbbbx1bbbbbbbax1bbbbbaaax1bbbbbbbbx1bbbbbaabx1aaaaaaaaaax1abbaabbaaax1aaaaaaaaabx1abbaabbaabx1baaaaaaaaax1bbbaabbaaax1baaaaaaaabx1bbbaabbaabx1aaaaaaaaabx1abbaabbaabx1falseaaaaaaaaaax1abbaabbaaax1falseaaaaaaaaabx1baabbaabx1false23aaaaaaaaaax1baabbaaax1false12baaaaaaaabx1bbbaabbaabx1false2baaaaaaaaax1bbbaabbaaax1false1bbbbbbbbx1bbbbbaabx1bbbbbbbax1bbbbbaaax1true311bb10001000001000000000bb10000100101010000000aa11000001001001000000ba10100000011000000000ab10000001001001000000bbbbbbbax1bbbbbaaax1abbaabbax1aaabbbbax1abbaabbbx1aaabbbbbx1bbbbbbbax1bbbbbaaax1bbbbbbbbx1bbbbbaabx1aaaaaaaaaax1abbaabbaaax1aaaaaaaaabx1abbaabbaabx1baaaaaaaaax1bbbaabbaaax1baaaaaaaabx1bbbaabbaabx1411bb1000000001000000011000000000000000bb1001000000110100011000000000000000aa1000000100001000110100000000000000ba1001100010110100010000000000000000ab1000000000000001010100000000000000abbaabbax1aaabbbbax1abbaabbbx1aaabbbbbx1bbbbbbbax1bbbbbaaax1bbbbbbbbx1bbbbbaabx1aaaaaaaaaax1abbaabbaaax1aaaaaaaaabx1abbaabbaabx1baaaaaaaaax1bbbaabbaaax1baaaaaaaabx1bbbaabbaabx1abbaabbax1abbbbax1falseabbaabbbx1abbbbbx1falsettt2ttt2 1.18 [hg: 65024290f751]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))