YES 345x13232153522x10453x14032311505x10541x10141512201x13453x13232141032x13505x13214332015x14055x13322203535x15534x11144143422x105510x10245315140x123510x12125115420x134500x14331250430x152352x15221205222x154541x11534104201x1005055x11134302452x1054345x11502234325x1054520x10225332220x1055105x11202543115x1055113x10503214142x1123544x14020403224x1304533x14205421003x1340501x13213100401x1404541x14431114011x1435055x14325252135x1550100x15042442240x10050401x15144203341x10053530x10250243100x10125235x14431405155x10555233x11013054242x11005234x12414532104x11552255x11042531515x12343453x10152350122x14050545x11213225355x15355541x10120432541x15455334x11502341300x12.126543216543219949799929789921339986574986361986575986698629498633998511779851213961559955549925392921534919535917512917104591550991390591156491116091150791129391184911891115991148691159111899101248910138290347790147889947888747188545488344687957487936187957587968792948793398761314869420867862865618483878471246847127684713808465088465288463408461398466384620784650384618465188469798469948451261845139683988283547783382883147582429582229682029681829580077579877579677578459578425878485784648784530784359784157784827842277845057843784596784158776904765756763618763295763276348776350276212327621236762132076113537525487522597412547392517372297379007371106735229735898735108372429171770671532171552171533871513771561715205715501715671561971412507141394693683691517685861683870681423674367414067465067426067475667476567399965626566186562956564876565026474647477647229647964764646977645132263656365646361606362516365976362286358176358256291030627562720662757661991861143361182361183460393596648581301576916575675573657357457336157357557329457333957268257212115656665634025555465472547618547295547487547502547504547848546795546116554612635398865372565339225315085317645318475295085225085227555229545205085208385185085186351820751850351852851834051813951815171234517123851639350648750682150611555044875024875004875008194984874981147496549656449616049618949577449511634899604876184879934851684857384847424841183478604478832476433147138614691681469147014675751465145214631452146142645730145272045043314503861448386144638614443861442386434643457443436143457543429443433943486434360431902142738642429114101264140891406707403340359540325840385403426403117403648403596403158402692402119440212424011464139716813971443396884139516813951426394139450839451839438639452239497939499439379939311733872953872387502386124438612743861374138316813831449138116813811445137516813751441137163937043704773702293709370643701264370124737012773691451363868362451360294360863605213603383601373606136020536050136061356639135447713421713421466341294341106013411407134114091341146813404883392941336132313301191132413983232943231026321294132116813211447131547713134781307478302168295556295920295115329436129438529457412933862923292595292258292852926482925962921582921152926672921156292123512913861289386128338612771264127512641273648127359626722676182672952674872675022667052667342669142651032126292601120259548257162514692516281251912499124791245912437431241743123922912391312123913701237229123713061237135512358523313123385228160121411841212118420816020616020610282061068206251206597206228119711841195118411939791193994189160187160118091178911741681174128811721681172128216961695741693611698616929416936016957516933916899111661681166129211641681164129016241816274016153216110341605381605641588511566671154667114866714085138851126618112629511262112648711265021178511731177431171241116117911611961161240115851107108494694321946199453294161937979311711092477109222910924109291092641091134110901335852508525885442855958391074168649629624626462126462124762127710616206114621046622449429104220610425104257610334771031599102957710275761811851818548182591853118979189941771617736118661028410395106391091292299425947766161376205633865016521585845159529354865507443411641884322449945193823157322733593505353024121142186232024972517163113912071340150315281000978003600160066004600260056521185118652124012415214601461527427435214011402521187118852124212435214541455103510151065104510251055021325132602744745021405140602145514560213231324021326132720342014206420442024205442126512664212701271421403140442126912704213241325427487494212671268503350135063504350235053121322132312132713281214021403121457145812133513361274975012118811891214001401121268126912127112721213291330127437441214041405121272127340324012406240424022405222145214532214621463221183118422121312142212631264221191119222119611972213981399221211121222145314542214581459221276127722745746227507512211841185221189119022119411952214511452221456145722126412652212741275221399140022140914102214591460221464146530313011306130413021305132746747327517523211901191321328132932747748321186118732126612673211921193418988994149950041131213134155956041362363415645654156957041776777417817824198398441599600418268274110381039412552564166967041871872411073107441477478419394414974984130030141906907415125134171471541532533415775784199199241602603414304314167767841288289414954964150550641540541415455464116616741570571413933944199910004160560641817818414184194162562641847848412862874150350441130613074113411342415585594197797841780781419829834138638741421422416236244142642741633634418458464147147241875876412842854148648741289290414914924129429541900901415015024191091141723724415465474196096141561562417787794182382441232233418388394110401041414444454147948031489490311292129331519520315445453155455531756757317617623197897931392393319939943142242331102810293114471448312602613126526631876877314824833128528631886887316896903112901291315075083151751831385386311112311036103731642643318448453144544631144514463165265331253254312582593147047131147014713187487531884885311288128931919231298299319049053171271331530531317627633156556631777778319799803163063131443444311443144431453454312662673167567631882883316856863189903171071131912913315285293174074131391392316086093117183114261427312292303143143231144114423164864931254255316686693167867931108710883152152231112211233153653731566567315765773160160231151631621622314294303184384431104510463114491450314544553110701071311282128321909121908909217117122111201121217367372154955021367368216046052114071408218921427428218418422144244321434421447448211250125121452453216546552163642167968021108310842148748821108810892191691721734735211355135621557558217597602113701371217747752198198221395396217998002140040121161721632633218348352112381239214142211041104221124812492161622126326421864865216676682147547621682683216926932111061107215155162111211122211353135421560561211611622179779821398399219102114152162062121123612372112461247216506512112611262218628632187287321473474214884892169069121493494213013022190290321112411252155355421760761213613622156856921775776215785792111791180217957962140140221825826211032103321643644211244124521446447214514522145645721264265211072107321481482218283216836842168868921511512211314131521133913402155155221556557217587592116216321369370211177117821389390216266272110351036216516522125225321262263216716720185860110851086014944950170670701509510015145150191891901322323015345350153954001160161011165116601574575015795800113821383013873880139739801230231016346350186186201866867014924930132032101132013210134034101562563011163116401567568011681690111731174011380138101607608018398400149049101109110920129329401909910019149150133833901757758011171117201610611014284290164064101448449012512520126126201146814690167067101680681014834840190790801508509015335340113961397015985990161861901146614670167367401929301905906017137140192092101359360011374137501980981011394139501419420011030103101646647018688690187387401474475514844855168668751716717517217225111551156514024035164464551649650511068106951472473516846855155255351115311545176476551572573515975985162262351425426514554565110711072518687511086108751707708511161175155055151363364515805815138838951595596514234245182782851832833518485511089109051296297517057065151351451114115511391405175575651164165513663675139639751121351628629518308315112341235511037103851840841512592605187087151299300511371385111471148511571585198598651606607511011516316325112321233516416425144945051666667112872881110901091112972981192392411112511261116516611205206116096101113141161962011821822116246251162963011432433116396401125025111888911290291112952961170971011112311241154254311163164113653661177978011188189113903911181982011420421111026102711829830116726731148048111687688115105111172272311924925115355361195495511368369115755761178278311984985111861871160060111231232114334341110341035116356361110391040118428431164564611655656112562571110691070118778781147847911108410851129129211720721119229231153853911543544115485491115916011653654118788117087091173873911541542113643651116716811571572117837841159659711399400112072081122722811828829111060106111863864114694701167667711878879ttt2ttt2 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])))