YES 012x123031x10002x1300302x10022x1230032x10112x1230311x10121x1012413x10122x1230312x10125x120531x10151x1103531x10152x1241035x10152x1243105x10152x1313052x10155x113055x10212x1223031x10252x122305x11145x154131x11515x1135531x11551x1153153x12012x1223031x12015x121305x15012x1305312x15012x1423051x100001x1001003x100125x1200531x100152x1010352x101045x1540031x101112x1103112x101215x1210531x101352x1304152x101425x1243051x101442x1104442x101501x1011053x101505x1351050x102421x1212430x104021x1304120x105015x1050531x110015x1510031x110145x1144105x114015x1141305x120152x1210352x120421x1214230x120512x1031522x122112x1221312x125152x1241552x150145x1410355x151015x1315105x154021x1413520x155145x1541355x12.1210x113032x12000x1203003x12200x1230032x12110x1113032x11210x1314210x12210x1213032x15210x113502x11510x1135301x12510x1530142x12510x1501342x12510x1250313x15510x155031x12120x1130322x12520x150322x15411x113145x15151x1135531x11551x1351351x12102x1130322x15102x150312x12105x1213503x12105x1150324x110000x1300100x152100x1135002x125100x1253010x154010x1130045x121110x1211301x151210x1135012x125310x1251403x152410x1150342x124410x1244401x110510x1350110x150510x1050153x112420x1034212x112040x1021403x151050x1135050x151001x1130015x154101x1501441x151041x1503141x125102x1253012x112402x1032412x121502x1225130x121122x1213122x125152x1255142x154105x1553014x151015x1501513x112045x1025314x154155x1553145x1210x12x1210x113032x12000x1203003x12200x12x12200x1230032x12110x12x12110x113032x12110x1113032x11210x114210x12210x12x12210x113032x12210x1213032x15210x12x15210x1502x15210x113502x11510x11x11510x15301x11510x1135301x12510x12x12510x1142x12510x1530142x12510x11342x12510x1501342x12510x113x12510x150313x12510x1250313x15510x11x15510x15031x15510x155031x12120x12x12120x122x12120x1130322x12520x12x12520x122x12520x150322x15411x15x15411x1145x15411x113145x15151x1531x15151x15531x15151x1135531x11551x11351x11551x151351x12102x122x12102x1130322x15102x112x15102x150312x12105x1503x12105x113503x12105x1213503x12105x124x12105x150324x12105x1150324x110000x1100x152100x12x152100x15002x152100x1135002x125100x110x125100x153010x125100x1253010x154010x15x154010x1130045x121110x11x121110x11301x121110x111301x121110x1211301x151210x12x151210x112x151210x15012x151210x1135012x125310x11403x125310x151403x125310x1251403x152410x12x152410x150342x152410x1150342x124410x11x124410x1244401x110510x1110x110510x150110x150510x153x150510x1153x150510x150153x112420x12x112420x112x112420x1212x112040x11403x112040x121403x151050x15050x151050x1135050x151001x15x151001x115x151001x1130015x154101x11441x154101x1501441x151041x1141x151041x1503141x125102x112x125102x153012x125102x1253012x112402x112x112402x12412x121502x1130x121502x15130x121502x125130x121502x1225130x121122x113122x121122x1213122x125152x1142x125152x15142x125152x155142x125152x1255142x154105x114x154105x153014x154105x1553014x151015x113x151015x1513x151015x11513x151015x1501513x112045x114x112045x15314x112045x125314x154155x1145x154155x153145x154155x1553145x1true54010x15x151001x15x15411x15x1true1234567891011121314151617181920212223242526272829303132333435363738394041424310310454010x15x11true151001x15x11true15411x15x11true15210x12x1false4344454647484950515253545556575859606162636465666768697071728182838485868788899091929394955210x1502x1false2122235210x113502x1false5411x1145x1false5411x113145x1false5151x1531x1false5151x15531x1false5151x1135531x1false5102x112x1false3565666768697071728889909192935102x150312x1false52100x12x1false33343536373839404142434445464748495051525354555657585960616271727374757677787980818283848552100x15002x1false52100x1135002x1false54010x1130045x1false51210x12x1false29303132333435363738394041424344454647484950515253545556575867686970717273747576777879808151210x112x1false28585960616263646581828384858651210x15012x1false51210x1135012x1false52410x12x1false25262728293031323334353637383940414243444546474849505152535463646566676869707172737475767752410x150342x1false52410x1150342x1false51050x15050x1false12350510x153x1false50510x1153x1false50510x150153x1false51050x1135050x1false51001x115x1false174849505152535451001x1130015x1false54101x11441x1false54101x1501441x1false51041x1141x1false51041x1503141x1false54105x114x1false54105x153014x1false54105x1553014x1false51015x113x1false51015x1513x1false51015x11513x1false51015x1501513x1false54155x1145x1false54155x153145x1false54155x1553145x1false5510x11x1false1313233343536373854555657585912402x112x112420x1212x121110x11x112420x112x112420x12x125102x112x11510x11x124410x11x12105x124x12102x122x12520x122x12520x12x12120x122x12120x12x12510x12x12210x12x12110x12x12200x12x1210x12x1true1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575811021051041031001011021011121151141131101111121112402x112x112420x1212x121110x11x112420x112x112420x12x124410x11x12102x122x12120x122x12120x12x12210x12x12110x12x12200x12x1210x12x1210x113032x12000x1203003x12200x1230032x12110x1113032x11210x1314210x12210x1213032x15210x113502x11510x1135301x12510x1530142x12510x1501342x12510x1250313x15510x155031x12120x1130322x12520x150322x15411x113145x15151x1135531x11551x1351351x12102x1130322x15102x150312x12105x1213503x12105x1150324x110000x1300100x152100x1135002x125100x1253010x154010x1130045x121110x1211301x151210x1135012x125310x1251403x152410x1150342x124410x1244401x110510x1350110x150510x1050153x112420x1034212x112040x1021403x151050x1135050x151001x1130015x154101x1501441x151041x1503141x125102x1253012x112402x1032412x121502x1225130x121122x1213122x125152x1255142x154105x1553014x151015x1501513x112045x1025314x154155x1553145x111021051041031001011021011121151141131101111121121110x11x124410x11x12102x122x12120x122x12110x12x1210x12x1210x113032x12000x1203003x12200x1230032x12110x1113032x11210x1314210x12210x1213032x15210x113502x11510x1135301x12510x1530142x12510x1501342x12510x1250313x15510x155031x12120x1130322x12520x150322x15411x113145x15151x1135531x11551x1351351x12102x1130322x15102x150312x12105x1213503x12105x1150324x110000x1300100x152100x1135002x125100x1253010x154010x1130045x121110x1211301x151210x1135012x125310x1251403x152410x1150342x124410x1244401x110510x1350110x150510x1050153x112420x1034212x112040x1021403x151050x1135050x151001x1130015x154101x1501441x151041x1503141x125102x1253012x112402x1032412x121502x1225130x121122x1213122x125152x1255142x154105x1553014x151015x1501513x112045x1025314x154155x1553145x12102x122x12120x122x12110x12x1210x12x1true12210510410310010110210211511411311011111211210x113032x12000x1203003x12200x1230032x12110x1113032x11210x1314210x12210x1213032x15210x113502x11510x1135301x12510x1530142x12510x1501342x12510x1250313x15510x155031x12120x1130322x12520x150322x15411x113145x15151x1135531x11551x1351351x12102x1130322x15102x150312x12105x1213503x12105x1150324x110000x1300100x152100x1135002x125100x1253010x154010x1130045x121110x1211301x151210x1135012x125310x1251403x152410x1150342x124410x1244401x110510x1350110x150510x1050153x112420x1034212x112040x1021403x151050x1135050x151001x1130015x154101x1501441x151041x1503141x125102x1253012x112402x1032412x121502x1225130x121122x1213122x125152x1255142x154105x1553014x151015x1501513x112045x1025314x154155x1553145x121110x11x1false24410x11x1false210x113032x1false2000x1203003x1false2200x1230032x1false2110x113032x1false2110x1113032x1false2210x113032x1false2210x1213032x1false2510x1142x1false2510x1530142x1false2510x11342x1false2510x1501342x1false2510x113x1false2510x150313x1false2510x1250313x1false2120x1130322x1false2520x150322x1false2102x1130322x1false2105x1503x1false2105x113503x1false2105x1213503x1false2105x150324x1false2105x1150324x1false25100x110x1false12131425100x153010x1false25100x1253010x1false25310x11403x1false25310x151403x1false25310x1251403x1false24410x1244401x1false1210x114210x1false1510x15301x1false1510x1135301x1false1551x11351x1false1551x151351x1false10510x1110x1true1210510x1110x11true110000x1100x1true10000x1100x11true110510x150110x1false25102x153012x1false25102x1253012x1false25152x1142x1false25152x15142x1false25152x155142x1false25152x1255142x1false21110x11301x1false21110x111301x1false21110x1211301x1false21502x1130x1false21502x15130x1false21502x125130x1false21502x1225130x1false21122x113122x1false21122x1213122x1false12040x11403x1false12040x121403x1false12402x12412x1false12045x114x1false12045x15314x1false12045x125314x1false5510x15031x1false5510x155031x1falsettt2ttt2 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])))