YES 012x10211x1231x13421x10120x100211x10120x102110x10121x102111x10124x140211x10125x102511x10125x104215x10131x100311x10131x1302111x10141x140111x10145x104115x10201x100241x10531x1503111x10532x103425x12320x122130x12452x121425x13012x134021x14432x143421x14531x135441x14531x143151x14532x134254x14532x135421x101022x1002142x101031x1034011x101451x1402511x101501x1001551x102313x1034213x104152x1042511x105132x1302115x105204x1042504x105315x1503415x105325x1043525x120131x1114302x120135x1251103x120153x1211305x123101x1032115x123141x1342511x123512x1232151x130120x1340210x132010x1321500x132351x1334215x135313x1354313x140331x1034311x144325x1342415x145052x1042155x145231x1534321x145252x1425521x145351x1455431x12.1012x1211x1012x10211x1231x121x1231x1421x1231x13421x10120x1211x10120x10211x10120x100211x10120x12110x10120x102110x10121x12111x10121x102111x10124x1211x10124x10211x10124x140211x10125x12511x10125x102511x10125x1215x10125x14215x10125x104215x10131x1311x10131x10311x10131x100311x10131x12111x10131x102111x10131x1302111x10141x10111x10141x140111x10145x14115x10145x104115x10201x141x10201x1241x10201x10241x10201x100241x10531x13111x10531x103111x10532x125x10532x1425x10532x13425x10532x103425x12320x130x12320x12130x12320x122130x12452x125x12452x1425x12452x121425x13012x121x13012x1021x13012x14021x13012x134021x14432x121x14432x1421x14432x13421x14432x143421x14531x141x14531x1441x14531x135441x14531x13151x14531x143151x14532x14x14532x1254x14532x14254x14532x134254x14532x121x14532x1421x14532x135421x101022x142x101022x12142x101022x102142x101022x1002142x101031x1011x101031x14011x101031x134011x101031x1034011x101451x12511x101451x102511x101451x1402511x101501x101551x101501x1001551x102313x1213x102313x14213x102313x134213x102313x1034213x104152x12511x104152x142511x104152x1042511x105132x12115x105132x102115x105132x1302115x105204x12504x105204x142504x105204x1042504x105315x1415x105315x13415x105315x103415x105325x13525x105325x143525x105325x1043525x120131x12x120131x102x120131x1302x120131x14302x120135x13x120135x103x120135x1251103x120153x105x120153x1305x120153x1211305x123101x12115x123101x132115x123101x1032115x123141x12511x123141x142511x123141x1342511x123512x12151x123512x132151x123512x1232151x130120x1210x130120x10210x130120x140210x130120x1340210x132010x100x132010x121500x132010x1321500x132351x1215x132351x14215x132351x134215x132351x1334215x135313x14313x135313x1354313x140331x1311x140331x14311x140331x134311x140331x1034311x144325x1415x144325x12415x144325x142415x144325x1342415x145052x12155x145052x142155x145052x1042155x145231x121x145231x1321x145231x14321x145231x134321x145252x121x145252x125521x145252x1425521x145351x131x145351x1431x145351x1455431x1true20131x12x1true1505152535455565758596061626364656667686970717273747520131x12x11true120131x102x1false123456789101112131415161718192021222324252627282930313233343536373839404142434445464748113114115116117118119120121122123124125126127128129130131132133012x1211x1false012x10211x1false0120x1211x1false0120x10211x1false0120x100211x1false0120x12110x1false0120x102110x1false0121x12111x1false0121x102111x1false0124x1211x1false0124x10211x1false0124x140211x1false0125x12511x1false0125x102511x1false0125x1215x1false0125x14215x1false0125x104215x1false0131x1311x1false0131x10311x1false0131x100311x1false0131x12111x1false0131x102111x1false0131x1302111x1false0141x10111x1false0141x140111x1false0145x14115x1false0145x104115x1false0201x141x1false0201x1241x1false0201x10241x1false0201x100241x1false01022x142x1false4344454647484950515253545556575859606162636465666768697071727374757677787901022x12142x1false01022x102142x1false01022x1002142x1false01031x1011x1false01031x14011x1false01031x134011x1false01031x1034011x1false01451x12511x1false01451x102511x1false01451x1402511x1false01501x101551x1false01501x1001551x1false02313x1213x1false02313x14213x1false02313x134213x1false02313x1034213x1false20131x14302x1false20131x1302x1false9091929394959697989920135x103x1false20135x1251103x1false20135x13x1false598182838485868788899091929394959620153x105x1false59606162636468697071727374757677787920153x1211305x1false20153x1305x1false848586878889909192932320x122130x1false2320x12130x1false2320x130x1false81828384858687888990231x121x1false231x1421x1false231x13421x1false23101x1032115x1false23101x12115x1false23101x132115x1false23141x12511x1false23141x142511x1false23141x1342511x1false23512x12151x1false23512x1232151x1false23512x132151x1false2452x121425x1false2452x125x1false2452x1425x1false4532x14x1true1234567891011121314151617181920212223242526272829303132333435364532x14x11true14432x121x1false4432x1421x1false4432x13421x1false4432x143421x1false4532x1254x1false4532x121x1false40331x1311x1false40331x14311x1false40331x134311x1false40331x1034311x1false44325x1415x1false44325x12415x1false44325x142415x1false44325x1342415x1false45052x12155x1false45052x142155x1false45052x1042155x1false45231x121x1false45231x1321x1false45231x14321x1false45231x134321x1false45252x121x1false45252x125521x1false45252x1425521x1false4532x1421x1false4532x14254x1false4532x134254x1false4532x135421x1false4531x141x1false4531x143151x1false4531x1441x1false4531x13151x1false4531x135441x1false45351x1431x1false45351x1455431x1false45351x131x1false32010x100x1false1234567891011121314151617181920210531x13111x1false0531x103111x1false0532x125x1false0532x1425x1false0532x13425x1false0532x103425x1false04152x12511x1false04152x142511x1false04152x1042511x1false05132x12115x1false05132x102115x1false05132x1302115x1false05204x12504x1false05204x142504x1false05204x1042504x1false05315x1415x1false05315x13415x1false05315x103415x1false05325x13525x1false05325x143525x1false05325x1043525x1false32010x121500x1false32010x1321500x1false32351x1215x1false32351x14215x1false32351x1334215x1false32351x134215x1false3012x1021x1false3012x121x1false3012x14021x1false3012x134021x1false30120x10210x1false30120x1210x1false30120x140210x1false30120x1340210x1false35313x14313x1false35313x1354313x1falsettt2ttt2 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])))