YES 001002x1002344x1324413x1553213x1501320x155101x11510211x11321104x101005550x102210400x112512013x114254353x145042320x11142320x1024015423x1220340033x1151305200x1113250225x15102414210x11351240323x101250205001x10141203121x11332311514120x11355444553243x12141524425010x1021014431030x12210005224111x11140252022425x1035553100514211x1035210121324521x1200425514323015x121013245244524x12251023354553123x1242111351043533x131202414442332400x125121440215413200x1050042003440504120x1035530422325124024x1555234042224145554x130112332250214344x141543254520222410210x145523204201404313200x1204122353534415305102x1222442001453335304032x1322425042340300405350x11141541321551352044x1510115215543525243153x1110345432254014302503x1510452302321431331342x101135045223044310013x12.1200100x1443200x1314423x1312355x1023105x110155x11120151x14011231x105550010x100401220x131021521x135345241x102324054x10232411x1324510420x1330043022x1002503151x1522052311x10124142015x13230421531x110050205210x11213021410x10214151132331x13423554445531x10105244251412x1030134410120x11114225000122x15242202520411x1112415001355530x1125423121012530x1510323415524002x142544254231012x13213554533201522x1335340153111242x100423324441420213x100231451204412152x1021405044300240050x1420421523224035530x1455541422240432555x144341205223321103x101201422202545234514x100231340410240232554x1201503514435353221402x1230403533354100244222x1053504003043240524223x14402531551231451411x1351342525345512511015x1305203410452234543011x1243133134123203254015x131001344032254053110x1177987208985208981208979359771059753597335971489694896712296512293711493327931279297992779925359233592157921936919499152391411419132391211378952389411438932389211398892088891788892718897888922889158893788924188978891958897988981088958889686889929888914888986888101686833785233785035850101884635838848152428132088131788131368132718137881322813158133781324181378134981319581379813919813929812970812974811198809196794180792179790179788727879687523377523875227175278752227521575237752241752775291752737521675210217521127523617522007523675211387519307511004751102273848736487261897141657144871477141807141117141671479471389471398071310147058676971656974869776971769711169716696932696100669610286959766927969079688726881126887936885668827168878688226881568837688241688768838688667688356881021686586868106746706725462233762238622271622786222262215622376222416227622916227362236062216622102162211262236622113862192252616552648526271526785262252615526375262415267526111526165259185248514644374383043863783807938049380738018379924376263552735492633619335112230673062083061783061363064930619530679306919306929305737305739304436304845286219272685272721255182401892396892289662225322278920969320785190201891080177118167227166617154961152351455411443511423511403511383512927112379112123112011511193511873511236010627105972104101010012098798165984898179811198169833798389891987398102198112983619820098369811389770497814978699680886278589285101210814880287806738082379178791957920879377775477791741467432273917333773387327173787322731573377324173773199733607316731021731127336731138622710624958978557551655548551115516551755180551385579454691491364938543204310613999397392423856387238793389123898436736165364836111361636723611236563638363373691367336667363536102135667102987028728392816528482818028111281628208281782819528792837828794287242881028582868628929274632781227849279202433249642410082352323777102387022102021721792149211821337213821912173212321165214821111211621272217242192921360211021211122136219132196521113810213520687201120101933810173516481611116165162711678162216151637162411671592810153510133510113510092757157227377787241727110072421005242507730774077107700772077516966975170670751120121511120112151125126517517525136236351786787512324512352365143743851250251515859518768775193945129529651330331513403415174474551345346511481495136536651188189512082095183483551616251273274518948955191491551323324513333345135335451166167511761775120120251206207514634645189289351991005191291351124125511841855122235183083151436437519798512993005132933051217218512272285127227351873874212872882169169221959621105106219189192132732821928929213523532136736821781782211851862110081009212102112121521621245246214849217879216896902129029121694695213053062111811921926927217847852198698721617618212482492110611062216676682176772196972110110221712713217227232134334421747748211511522117117221777778219849852178778821196197218128132122122221231232213940214950217475212762772187787821798021685686216956962111411521745746211491502175075121366367211741752118919021171821825826212342352124925021575821668669212742752127928021929321708709211122112321127128213343352174374421344345211471482174874921152153211671682198098121182183212526212322332123723821252253218788794130230341140141417417424117517641195196412302314173744188188241709710411231244112812941749750411531544196696741370371419769774118318441213214412182194182482541829830412382394156574127827941288289411211224196496541378379411861874119204183783841596041271272418828834113914041341342413463474137137241785786412042054152534125425541875876418283412842854128929041294295411021034111211341920921411221234132432541339340413493504136436541379380411871884180880941212213412021416216224182382441671672412822830129229301115116015245250133733801746747013473480115015101968969011018101901826827011028102901836837015354012802810183840188688701103104013353360114314401375376017797800120320401161701515201869870018748750128328401303304017377380174274301146147013633640162062101827828013435012512520154550167067101848501291292019495013013020171071101735736013513520116917001179180012142150110221023012292300123924001424301880881018858860169369401723724011371380135435501369370019709710137437501793794011516012422430127727801808101108010811110010111721722113223231117017111978979111801811179179211619620113334118518521166967011871872117047051111311411325326119369371113813911739740111143114411360361111681691117817911789790111981991110161017112627114142112432441184985011253254118848851168768811293294117077081111111211924925115255261132832911136137111141114211348349111151115211373374119749751178278311211212111014101511216217112362371186786811281282118878881192292311523524117257261133133211932933111139114011740741119729731178078111199200112092101181081111101210131161861911219220113738112442451184584611870871117273116736741111711811930931111137113811142143111721731177877911197198112022031110101011111020102111828829113536114041115051318838843185863188888931297298317117123133233331342343311651663137237331377378312002013120520631181931220221318318323138393127527631285286313003013172472531350351311731743138538631100610073181481531228229312332343187988031818231919231298299311161173112612731338339311411423136836931181182311004100531242531832833312412423124624731872873312962973110410531705706313263273114414531361362312728318358363130430531713714317837843183383431247248316061317576ttt2ttt2 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])))