YES 3444x15103352332x15313x15521555111x104050x10422240433x1003514x10411525330x1050450x10023020010x1100344x10221330033x1354203x13201215133x1440440x14300451510x1540154x15432110331x1545050x13332110420x10030544x15513312042x10031543x12150253303x10130544x10133345035x10402244x14255233244x10504131x10012345300x10534354x10315133533x10553232x10553455341x11341440x12043300420x11442144x13511050310x12115410x11551215330x12532135x15334345511x13101544x13043333205x13231244x13252513045x13443244x13552442022x14242545x10515434135x14323532x14515201152x14405454x12024332154x14542412x14353331322x15011545x15113041451x15032454x15355224520x15054514x12100051552x15344405x12335315111x15401414x13320410035x15412501x13343403001x15413454x13242555504x12.14443x12332533015x13135x11115551255x105040x13340422240x1415300x10335251140x1054050x10100203200x1443001x13300331220x1302453x13315121023x1044044x10151540034x1451045x11330112345x1050545x10240112333x14450300x12402133155x13451300x13033520512x14450310x15305433310x14422040x14423325524x11314050x10035432100x14534350x13353315130x12323550x11435543550x10441431x10240033402x14412441x10130501153x10145112x10335121551x15312352x11155434335x14451013x15023333403x14421323x15403152523x14423443x12202442553x15452424x15314345150x12353234x12511025154x14545044x14512334202x12142454x12231333534x15451105x11541403115x14542305x10254225535x14154505x12551500012x15044435x11115135332x14141045x15300140233x11052145x11003043433x14543145x14055552423x126543216543219965209945199885109865129825009805019669539649549629539604979381239361239306149303069305669303529301689306693028493047593019303539291340929134292642792442792242792042791887916879148791287910396910987910118891012739083969081271899396899125989342789133389118913728901338890137989013938833108813078705268701218870123886886286612486513668601212860122483981883910968378188358188351094833818831818829818827614827306827566827352827168827668272848274758271827353826128882613188162278169818146937881927867767869637846147843067845667843527841687846678428478447578417843517841365783134878313567831358778119476275476051676047976020176057601167601477601420759129274473574411007425807423967422742238742283741133274113817411399719706717706715614715306715566715352715168715667152847154757151715353714140371414097044977039526966696551696480695832695100969510386874856877876815776731766519965557864762263149763089862336236746234276236976235896232396234376234556231443623135162210506221063615927613461357061387613615613961367613130361285961290760417596487588487588815579457957057987579542579957941579605579517579131157913015788305781007578103257165857199556955156755156793756555156593556355156155155920955298554919954883854259753140152762452786752535256745254275256975255895252395254375251443524836524102452410465176055152345076507551507561506785506913506921505917505925498149861449830649835349833349837249788049711314971170496116249111174907614881488614488306488353488351488136548786948790948097947842747642747675314691714635701461551455427453427145169714496971447675144566614434274374271437526435246143552642866642888642752642767414205161418516412171412582411112514105704042091404551140255114005411398541397682397688139654113945411390526138852613825263801380333380372138052637983437910223791040370306136752613654891359489135742735330635356635335235316835366353284353475353135214173521434351306135142713498713478713453961345145013433961343144813412391341144413411446133922713391411133722713352273333063331133322733214193321436331306131991317931320813119130993076403078923064893066143067763042381303930313081301912959129391289127812877761287489128711287306128735312861460128614622852381285146828413022832382821294127469712726972662382651316264238263131012606972472247580247396247307247373247238247285247509246716239589239697123967523839623854123858023822371300236123661423630623635323633323637223571823512771233605123357012338712335621233332123314612334212332651233452123341233371123391233517123313011232133412321387123213952288112281102121966612136662105210516210479210201210116210147210169210149210141820991120991920996120881720249920288220012006142003062003512003532003332003722001365199915199923199965119966211956501189641171116117111631691161169951168140114911614951491471499281491420148134614813501481364147116113211261130522127116125512551612547912520112511612514712514201247051120600111859111719211710821162011162271164791165081165161103590110159210975829629658096396962389628395828951001951030109558289111989119888405889938691083583679677436591064105310625701062871062542106241062910624110621311106113361061138910611397105155110495511047541439437344194161541562413324114641424126541452414416741130310415414013444014421039541103354110315411025526102352618118614183061835318351181365171048171052106481010526987937195701008526664614862826350645465645851155237530554265550442414642654332445245623853170330333693477356824021262263233024362560100252616611681284135214751566103610161066104610261056021279128000350015006500450025005550345014506450445024505422128312842212861287203320132063204320232053321280128132128512863212811282321284128530323012306230423022305252128812895212771278521282128340314011406140414021405112127812791195961149950011706707115095101152452511741742115645651177677711619620114274281162963011123012311124024111644645111048104911861862118868871193941173974011542543115625631137537611577578119819821159259311193194114004011140540611208209111218121911122812291165265311146014611110611062115505511155555611560561117777781114031404116056061140840911910116106111161561611620621111231123211867868116706711168068111685686118990119495116956961131131211735736117407411154354411548549115535541156856911578579119879881114011402118208211122923011244245116486491186586611678679118908911151151211112711281156656711374375113793801198598611192193113994001112121213111232123311242243111444144511105010511110601061118638641147948031888889314944953189889931504505319289293152953031134213433195895931372373313773783178178231584585319939943139739831139713983140740831811812318218223112251226318268273123023131432433312352363110381039312452463164965031105310543126526631674675314824833168969031709710315125133152252331123124315475483155755831759760315825833113951396311981993120320431111231161731627628311238123931642643311046104731105610573126326431677678314804813188989031692693313033043190991031712713311166116731570571313783793178278331585586311393139431822823312312323143343431645646312462473110541055311468146931675676314934943130630731907908315085093151351431518519311241253152852931937938319579583155855931573574315835843159359431119411953139639731406407316086093112133112241225318258263110321033312342353164364431144614473188088131481482311082108331284285314864873150150231708709317137143193593631134413453175875931116711683157157231197198311399140031611612311516316266273112271228311030103131237238311040104131641642312822832148949021711712219239242195395421554555217617622196396421117011712113871388211951962120520621624625211442144321452453216646652147747821888921492493217147152111811921921922217347352113401341211350135121754755219569572111681169217797802111981199211001100221617618218198202162262321228229214304312123823921145014512185986021869870211273127421475476216826832149549621500501219199202195996021373374219799802159059121398399214034042110091010211415211024102521241242211448144921660661218628632112711272218928932111912021135613572111641165211366136721138113822159859921603604211007100821171821102210232142642721628629214364372114361437211259126021698699211171182111171118219259262174374421753754211162116321137913802158658721138913902160160221202203214094102181381421818819212272282114341435216466472145445521661662514844855185865190915112921293511100110151701702511302130351312313519139145151451551716717517367375158959051895113145161461551654655511058105951659660511462146351106310645166967051679680514874885169970051130013015131031151131013115191191251517518511128112951552553511188118951597598516126135124324451864865516667516726735149049151919251702703511308130951510511511318131951520521511126112751929930517377385154554651134813495195495551575576511961975112261227514284295163063151640641511059106051646551700701515035045170570651710711511316131751917918511346134751780781511941955112291230514314325142435110521053516586595166366451878851491492519293511294129551110211035191591651516517517187195152152251738739515415425155155251955956515565575157657751778779515915925160660751140914105161661751621622514041516716725167667701686687016916920130730801115116011125112601133213330154454501756757011701710159459501141714180183683701694695011481490111631164011681690158758801602603014104110182482501233234018348350166766801485486015055060170770801308309011211220112612701530531011131113201133813390114614701580581012012020120620701812813018178180183283301650651018878880192792801133613370137637701199200014014020120420501209210018158160161861901830831012392400186086101668669016836840169369401703704015065070152652701133413350154654701783784012072080110110114191420018238240182882901429430012322330143443501838839016666674151952041120121413323334135235341116511664157457541599600414024034160961041684685414974984150250341305306415275284133033141350351419619624157257341607608416626634110961097416976984111611741757758411358135941787788415955964160060141625626418828834148348441690691411094109541111911204152352441112911304195295341755756413713724178578641411412411411141241653654411057105841688689414964974130931041122123411364136541965966413693704158158241995996416516524110551056ttt2ttt2 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])))