YES 25x12400410013x125x12430222143x1150x11444404011x1235x12400151221x1255x12030403334x1454x14111214524x12304x12001130244x15510x13220513404x131525x13024120052x1025432x10215201212x1105234x11001304103x1115023x10045111223x1210032x12143003032x1250555x12012405355x1253021x12145212521x1350455x13403452033x1402342x14003143022x1525510x15544042014x1542305x15545434131x1551115x15010110141x1552550x13452534410x1554554x12225543404x1555525x12231143245x11405505x11433041533x12235125x12212403325x13423355x15324024405x14253455x15152504110x14255424x15532021030x14554232x14115351242x12.152x13100140042x152x13412220342x1051x11104044441x1532x11221510042x1552x14333040302x1454x14254121114x14032x14420311002x10155x14043150223x152513x12500214203x1234520x12121025120x1432501x13014031001x1320511x13221115400x1230012x12303003412x1555052x15535042102x1120352x11252125412x1554053x13302543043x1243204x12203413004x1015525x14102404455x1503245x11314345455x1511155x11410110105x1055255x10144352543x1455455x14043455222x1525555x15423411322x15055041x13351403341x15215322x15233042122x15533243x15044204235x15543524x10114052515x14245524x10301202355x12324554x12421535114x13654321654321963109446839445979441944528944573943156894316519376839375979375289375739311530929156419291634192710781925187319251078192519271914704904872189968318991913189316891891625883872881598187357418721926187146087046087052787029987011187088702208703968705870397870425870165686915668691653868164986180818551412853797845784184111118411870837868358618351693833771825740182517428177298096091804178380185479862817921754790846789105078568717841692777838177617971775182677413772500772164377116317711702764826763101576173217551741175568317551721175519281746704174470417427047415387415557415297411392741163374117437411713741172373515727338187329947305061727704172568317251745172368317231743722810172168317211741719405171968317191726718140771715091717674171367471267125187121071222171223217116741705674170367416971069692169270469268369259769252869255569252969217231690177468577568249967349967310466731243167371416731469672762665516166222966012221660460165851016564601654460165246016504601648163316461633164416341642687641499641108864010606332291632368163216576266346266666267886145614460614598614397614425614165660779960519316051592160315921601574160153016011078599122615911078158911115891659158715771585143358019358011511575995573528157393215718721569872156787215658191563151855552815551505553528154714945405281539147953852853630815317365305745297045291077528597528674528683152773252640515257321521151015211576520773520938519125415191432151914081519142515191846517171511155651060615101586508450845050848450839950811250812350790350712081506760150612741506376504720500150070450068350059750052850055550052950053850017435001723500174450017134991120499127649913284981109498112249813134981663498168814981548149715741495128249140514871540485501484115948413591480141214721532469346950946930046932614697144689624681105468133646813914679274611107461127245964595184595104592214592754581377144314331441518144110144161441221144123214296831429144242739742539742510441425140814251872141914081417704141768314175971417114175281417555141752914171723412397410397410598410527410299410111410841022041039641054104254101656141014704083974081025140814324062406844066040573139811433974603971168139467413926741380674137867437713776833775973775283775383771713376760376127436730013606681358668349300347300133766713356601333661132962532830032630032657232636632616832683326274326426326332517121314625309530946030945130939730941030814183003683005093001332298229297191512842031280148512775982752211275529273221273834273552273346273146273592732542734112736127352127217221261704126168312615971261112615281261555126152912611723126016471260170425522125322125312201253502124937512481496232221232836230623051823022123027323053023010782291424229159022815201227494122548822371312234872215182218622211334122148612111199120911991207119912055252041204529204555204172320314282031604202139319629119649219411946831945971945281945731945401947141941469193882193121011851170117551811755101175611752211175275117417101691121671121674841674167399167123166157016616551165831152397115068311505971150111505281150538115017131149152411491661114818901148189214711214511211324511132116811321044113259811325271132299113211111328113222011323961132511323971132425113241011311840113118981231121231357121512146012159812139712142512116561121111012087112012061119460111945111195271119299111911111198111922011193961119511193971119410119119811181718113659113125211245011210711110127811082931108118411062919217108922210875768712248498453784325841228438842318440784284301849948473284152783152610763751072146810705181070221107027310705741070530107010781070174710701785106915881069172010691816629609105962910471961045197419399103355510335541033348103316610336110332721033424103311032160210321724103117161024555102452910241592102417231024174418118538187041855518529181713181723171379171645121881085919594839625659614662546346641165525851115220529953965527440414442524327440945393833168327433663426357210035291003127510031744238212222312325240725371611166127213481424155440364016406640464026405622150915102219231924221524152522731732221534153522154415452215591560221599160022821822221634163522841842228568572210681069221689169022112311242215421543221552155322178917902279980022814815228298302216371638228498502218541855221470147122108110822214851486221919192022152015212293493522153515362215501551221560156122762763221787178822159515962281281322822823228428432218471848228578582210641065221690169122189218932272072122112411252292792822154315442215581559227607612277577622820821228308312284084122850851221850185122168816892214961497221526152722935936221536153722155115522278878922178817892281381422828829221641164222848849228588592210851086003500150065004500250055521692169352112611275216401641521084108552192219235293293352159815995216631664521067106852185318545216911692103410141064104410241054129039041215041505121514151512191819191293393412736737121594159512796797128318321285185212106310641287187212107810791219161917121517151812931932129369371215371538127397401215721573121592159312804805121849185012859860121061106212166716681216721673121475147612879880121490149112154515461276776812157015711280780812166516661216701671121478147912107910801288288312149314941219171918127257261217501751121553155412156815691277077112780781121790179112159315941281581612106210631216681669128808811210821083121501150212192019211211271128127287291217531754121561156212156615671278378412793794121596159712823824121636163712843844121065106612108010813033301330633043302330533214941495321564156532771772321821182232826827328468473216941695321128112932729730321532153332175417553215771578321582158332784785321001100232101610173210211022321647164832105110523285485532105610573215051506321540154132797798329991000321817181832182218233216451646321518151932740741321548154932158315843217851786328108113210221023321057105832112211233215561557321581158232995996321000100132808809328188193210201021321823182432838839321055105632147914802032201220622042202220520216961697021499150002112511260272672702192819290211301131021549155002175117520215741575027817820217861787027917920299899902801802028068070281181202181618170216391640021846184702185118520216641665021669167002147214730287687702147714780214871488021492149302150215030215121513027347350215571558027647650276977002794795029969970281982002839840021515151602722723027277280292993002737738021747174802175217530277777802158015810278278302994995028028030210191020028278280284784802185218530210541055021473147402148814890214981499021503150402153315340276576602157815790279079102795796028058060210171018021820182102163316340216381639021643164402105210530285585602147614770214911492021511151202151615170272372402930931027337340273873902154115420217481749027687690215761577027787790215861587021015101602181818190210501051021666166702878879503150115061504150215051421489149042721722429289294215541555427667674277677742157915804215841585421791179242160416054281681742101810194210231024421053105442105810594210831084421497149842192119224272472542192619274217491750421562156342779780427897904215971598421602160342181918204282482542182418254284484542106610674287487542108610874215001501421510151142192419254215301531421131113242732733421590159142792793421600160142832833421635163642852853421069107042872873428778784216951696421513151442112911304273573642153815394299799842800801421002100342860861421471147242875876421077107842148614874216931694421915191642154615474276376442803804421848184942106010614216711672428738744214741475014894900169169201302303011105110601706707013073080171171201519520015245250153453501117011710119519601599600014074080112101211011412141301102810290116491650014574580116591660016696700148748801295296017097100111811901117311740159759801119811990160260301120812090111120110261027016326330114351436011440144101104610470145045101125812590146046101677678018687016876880149549601510511015155160111611701114611470111511152011161116201368369013733740112061207011415011438143901165516560186786801127612770129129201518519013963970119920001119912000140140201411412016136140114161417011224122501426427014514520116531654018658660118701871014864870111121113011117111801531532011147114801374375011971980140941001101101151601122212230142442501165116520145445501661662016816823111151116311120112131327328311332133331579580312002013160961031122012213163463531836837316596603112601261316746753149749831704705313053063171471531325326311031103231834835314854863149049131520521313483493119619731201202311029103031630631311433143431104410453145345431458459316606613146846931670671314884893111091110317107113152352431346347313663673111691170311174117531118411853117183163863931125412553112591260312942953129930031511512315165173113341335315765773120220331102510263110301031311631163231143914403167167231127212733112821283318586131779178013178217831318021803516866875118981899514995005119131914511716171751172617275153954051174117425155455551574575511377137851140714085114321433511442144351124512465146246351664665516846855117041705511113111451172417255152752851537538511148114951552553515725735137537651627628511702170351303304515055065117121713511722172351939940511393139451120112025114181419511428142951125612575114681469511281128251498499511710171151513514517157165117201721515285295117451746511159116051189190511391139251608609511411141251628629511274127551127912805149649751501502517137145117181719511743174451137913805139940051606607511409141051142414255122722851125212535116611662231801180223177417752317991800231800180111909111292293117167171112012111938939119439441119019111402403111314112252261114371438114524531110881089116896901149249311507508111681691111681169111881891119319411120312041161261311141514161116171122322411124312441146546611869870111071107211293294111111121153553611146147111661671139839911600601111408140911221222116356361146346411107410751148348411690691115035041111141115111191201113361337111441451111441145111164116511371372115785791159859911603604111204120511456457116636641110721073116836841130430511110711081170870911521522111221231194094111116211631111721173116016021112021203114044051114141415112222231163663711124712481146446511666667118688690317761777031781178203182618270317771778031780178103183018310317981799031828182941484485414944954129729841509510411151164152953041120012014160460541220221416296304112551256418668674167968041512513411131144111181119415225234153253341114311444137037141577578411981994120320441637638414554564116571658416626634186486541127812794112831284419192413083094111161117415305314111711172415755764191041610611411413141441226227412312324164064141862863411872187341680681413063074111411541962963411588158941121341102710284122923041103210334118401841411244124541254255414614624166866941274275416886894111211341117118417187194177377441611612416316324125225341863864412722734110751076416766773318311832331797179833182718283318321833331783178433183318342150450521111011112151451521114511462113571358211160116121372373213973982189213839216396402146746821107310742112801281218384218889213003012150250321941942211163116421400401214054062160760821141014112122822921124812492161622166766821672673217077082111111112211313131421717718215255262113281329211911922140340421625626211226122721124612472159602167567621685686218990214934942129629721301302217057062153353421942943211149115021376377212242252114361437214664672167867921878821189018912150650721135913602136937021192193216266272114341435214041211257125843182918304318341835431775177643177817794318031804ttt2ttt2 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])))