YES 0123x10223x111445x151005x123325x135455x151153x151453x1025114x1032245x1121403x1425453x1152043x150111x1221540x1235403x14023144x14130505x143543222x14123414x1022234333x1054053553x1453411052x1443132052x13341045152x13341503024x1245405512142x141011330142x11004543451540x153312110313x11221232440032x14443201312245x14154533312020x1414344013115x122330202505551031x155520250043214331x1151130333311515252x1354205134112524152x1243342354040230330x121304415210305015x1255123503003310132x1215001522231050433x12351300502245403142x1520203235224135512x132341255012340514454x132015015512302425224x135520445503521210223x131330542412350345243x1451453155350212445104x1440215204522355220354x12.13210x13220x154411x150015x152332x155453x135115x135415x1411520x1542230x1304121x1354524x1340251x111105x1045122x1304532x14413204x15050314x122234534x14143214x1333432220x1355350450x1250114354x1250231344x12515401433x14203051433x1241215504542x124103311014x10451543454001x131301121335x12300442321221x15422131023444x10202133354514x1511310443414x113015550520203322x113341234005202555x1252515113333031151x1251425211431502453x1033032040453243342x151050301251440312x1231013300305321552x1334050132225100512x12413045422050031532x1215531422532302025x145441504321055214323x142252420321551051023x132201212530554402553x134254305321424503313x1401544212053551354154x1453022553225402512044x11777612975529743577413037392807332637312417252007232971516471573071315571111970911270778705216944669230690196881968630368224168010167120066920066729665296631646636816611656561336547265072648726366296366916346286346856322161319961362613286131361318613456137613636047359887598759840598145987385983035987415284874924864902794901104906249028490134901849045490749026149029490629490636489689489693489722488687488760487742487754455464254638329365293433293435273436553321832081297162976072966682781172561012554242391621316220270420022420070620071219810019748517960163221624911626641494114116127101118811186701176491027102199102241102631024710273110138210165310166295142953029571093348866082782603821998263822418294827282468273176217377731197315467166319961761279611106126161296128061629616366034260454606665932848334774772446724694466354671446740442244633426473516346273222311853159629110292612927929708237232402313223572316423192394237223462395231992342232622363238723402314232632373320331957191321916419240197197301971517717291764171331741178717401714171111719917262176317303177411536415679157321440148771371872874576240775077007710772077307711287288114894901112012111125126111401411117517611629630112552561158591148748811724725111481491118818911607608112332341126326411969711121122111361371114614711161162111911921119201125125211596011266267116706711148848911710711111341351115916011199200116036041120420511668669112692701172731127928011304305111121131132933011137138117387391116216311192193111971981120720811611612112272281160611180812170670721135136211851862119519621230231212402412124524621270271212752762128528621295296219899213103112131531621168169211931942141422146472124824921273274212882892110110221303304211661672120620721141521231232212612622130630721311312213163172173073121144145211741752160860921229230214243212492502162632177782111711821151621631632212422432127727821681682013023030130730801317318011451460117017101210211011314012252260126526601527528013303310113813901158159012082090121220124324401666701116117017327330117117201186187012012020122622701236237012412420174750168568601899001291292019910001114115011191200112412501331332017407410123423501575801486487011671680159659701212213012021012622630127227301282283312922933195963111011131312313311151163115515631160161313823833120020131609610312829316364316646653173743178793128028131123124311331343114314431754755311731743117817931597598311617312382393191923131831931722723316306313163563631246247316556563127127231281282311391403176076131189190312092103162862931244245312892903197983112212331132133311471483136436531177178312322333140413125225331666667519091516916925110010151342343511651665120520651181951235236516796805168969051290291517047055130530651113114517147155122822951313251253254516626635126826951283284514854865168768851313314513283295174274351211212512930513435516606615164655127627751164165511691705119419551222351224225514748512542555126426551878851491492519293512942955130931051314315513193205118718851247248512672685175764119019141333441434441649650412502514188894120320441612613416276284164764841818241293294413083094111111241712713411261274115615741176177411961974161061141798041286287419495412962974115415541633634416536544127427541284285416936944170870941142143411571584117217341202203414244254130314123723841454641454455416566ttt2ttt2 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])))