YES 01232x14313x1324420x13110x112534032x13411455x1213104501x1211233200x1354344434x15050014x1453321032x145453143x10140534445x10555035x14120524420x104310030x101031213552x1430245332502x141223010302x14330202222x143451534225x143224331055x13033203105414x1355441501543x13055520002422x11354112104042x100315142104405x103432121202405x121454334342215x105422243313100x1010144403240450x14152524012300x1522551044312024x15031010443242114x145411534035310031x1433144211320421431x1101205320540032052x11114343443034401422x10010102435431442315x1405433343302241523x10154324313344330122x14103044050155211542x14530421130300513245x145511240325125303x152514333333314522512x113231341012505545045x1153142011035414520100x1140115034124114541330x1401302020405021025502x12013412352245035213x12.123210x13134x1024423x10113x123043521x15541143x1105401312x1002332112x1434443453x14100505x1230123354x134135454x15444350410x15305550x10244250214x103001340x125531213010x1205233542034x120301032214x12222020334x152243515434x155013342234x14145013023303x1345105144553x12242000255503x12404012114531x150440124151300x150420212123430x151224343345412x100131334222450x1054042304441010x10032104252514x1420213440155225x14112423440101305x113001353043511454x1134124023112441334x1250230045023502101x12241044303443434111x15132441345342010100x1325142203343334504x12210334433134234510x12451125510504403014x15423150030311240354x130352152304211554x121522541333333341525x154054550521014313231x1001025414530110241351x1033145411421430511041x1205520120504020203104x13125305422532143102x11654321654321999269999467999311999106999439991999993959996999353998104499810649821056982108698054997841997651397449797410589731072965100894526994546794531194510694543945199945395945694535394410249441078943109891862917114091262911114691047690462889452877451875451869451840822834823834105283256583237683263383245083226883264832883216383238383258329832638311038831106282711008184298166780740178938678738678337678210367773807627367587367567367405467401050739101873810967217137218887196327194517194717193527191287196271923271939971937194667191103718102671810827171094704651704170416470417470311066883986884688652687102267666967466967265167216721646721746711046671107067080866996466910006671065040663113563197761358161283959846158265822695823535825995823775817575818765644255501092549687549713547354746454766547976546697523273510675108945099815005834986498269498353497673497911496100248538947497547245147045146845146645146445146241745261445154845163244754475654473764476334479447634467554468744421006435389426417420532418141865141816441820041819841823141842941881841793140767407821406868400384398384396384394384392384390639059939026939037739035139048639031039056739038538910123887353854863853103856384401384473384110238211377599377776377637726937611043532693537883512693511010312269312786310269277269275527556527537627513127592752427546274806274101627377827051127046527030927085270252701972703932704269833269102023316423116420016419816419811982001971084174164172317263217245117246617211031716751719171701004164651164817114945111474511141451113945113611366511361641361741362331369791366713611111351014131909129651125451112338411173841111671110112210965107651107451110545111034511101499109948410974841095484109355010875008665108538484651083621082113810796210781148107345110714516846839868652685116839668270683946810856766867979651306543610654516396313163450632686364638631636338363563241063451621054621110105943710574081055401105338710513851050112410476746910456744910396710376710279269102592491023910219101991017671016111610154511013451121126511216412174121981172011761101160110408104191042793769499956510095841007499643610661996311639564675856451635268538354501005982425485419743094393446536231283232335233993471100398222328321732276239124631451108123013501397146910019835036501650665046502650564035401540654045402540550034001400640044002400541033101310631043102310533032301230623042302230522031201120612041202120514111001101417017024150450541130131419339344153453541544545415545554155956041377378419889894189411018101941232441639640414344416546554110981099415175184113313441552553415675684157757841981982415875884110061007414104114182482541102610274162762841632633416426434144544641647648414904914110961097415205214155055141555556415605614196997041984985419949954110041005411024102541630631414384394164564641453454416756764148348441109410954153353441937938415635644138138241401402411002100341603604418108114161861941102210234183083141461462416263416686694167367441274275414864874189589641698699415165174154154241571572415865874110201021418238244125264142943041439440414546414594604166166241474475015095100173673701943944011701710157457501781782013873880139739801604605018068070110081009014224230162462501629630014424430149749801931932017397400155755801991992013953960140540601612613014204210163763801460461016876880150550601515516011116111701717718015405410194494501565566011711720138338401585586015905910139339401408409016206210182782801433434011054105501458459012712720110841085019029030151351401982983015835840158858901391392014164170163363401663664016768012692700148148201496497017187190111221123017387390156156201970971013994000110001001014044050180880901651652012722730148448551135136513523535176176251579580519839845178678751589590515996005181181251821822518268275143743851103810395145245351105810595127027151502503513503515177978051385386515925935199699751597598516076085141541651829830511036103751839840511046104751662663512682695150050151702703517377385175775851378379516106115182282351625626511044104551665666512762775131131251932933511341355173573651755756519679685137637751780781513863875159359451411412518158165162362451628629514364375144144251105210535165865951703704513093105196596651566567517787795138438551788789513893905162662751833834514344355163663751444445516466475110501051214894902190390421111011112171671721519520215395402196896921993994215945952160961021614615214174182142742821230231216596602148248321487488219019022150750821936937215425432116316421966967211731742160260321809810218148152110161017216226232142542621480481218999002193493521535536211661672157557621580581218178182142342421428429216606612147847921488489218978982150350421169170219729732199299321997998211992002142142221456457214764772150150221713714215215222193593621576577211971982160660721409410214144152142442521232233216416422165665721666667118988991149950011514515111140114111549550111651661161962011432433116346351164464511457458114674681187687711477478116997001151251311522523115325331153753811113811391111481149115625631197197211380381114404411145045111652653114554561146546611666711273274118748751110861087114954961111061107111311321111461147119649651197998011595596116006011140340411101410151163563611640641114434441165565611463464111064106511670671114934941170070111110411051172072111112411251194294311543544115485491116416511578579116086091110121013118258261164364411648649111062106311471472111072107311109210931190090111110211031150650711132133115365371194094111546547119759761159159211995996115965971160160211101111101010111161661711621622118288291145445511656611868869114694701110701071114794803185863188888931494495319389393156957031973974317767773158458531998999314024033141241331831832316496503166466531669670311078107931838431492493318968973110810931911912317147153112812931941942311681693157257331986987311112316176183143043131105610573165765831475476318948953169769831106107319099103193994031545546315705713178278331388389319899903160560631910318128133141341431615616316465314734743150850931715716319179183151851931538539315535543155855931568569315735743197797831987988314064073143143231638639314464473145145231653654311082108331491492315115123155155231556557311671683137938031581582319859863199099131611612318138143141942031671672ttt2ttt2 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])))