/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 000x10422323355x1005x11234150334x10002x10221042342x11300x11222234303x11300x11233554024x15420x15344035232x100040x11430555512x101300x10510235230x140134x14232441444x140202x15314321123x140250x13123445103x150025x10103345305x152000x15523342505x1100500x12155550104x1135050x12423235330x1154024x11012311055x1200003x11054331351x1200510x12535223523x1221314x11153222143x1302013x13055153343x1412141x13552144451x1501332x10335551510x1513020x12455101534x10001404x12442121245x10202142x12442411342x10300224x10105355430x10350020x10231543044x11013002x11010350114x11020020x11221311044x12002135x12542210034x12004003x11111005423x12140000x12140211314x12405321x12030423121x12520450x11222250210x13022013x13145114234x13402400x13245311030x14024013x14311221303x14405404x14451103424x15025020x13234250244x15214142x11324312030x15411050x14345551403x15411204x14355444224x15420013x12342431124x12.1000x15533232240x1500x14330514321x12000x12432401220x10031x13034322221x10031x14204553321x10245x12325304435x104000x12155550341x100310x10325320150x143104x14441442324x120204x13211234135x105204x13015443213x152005x15035433010x100025x15052433255x1005001x14010555512x1050531x10335323242x1420451x15501132101x1300002x11531334501x1015002x13253225352x1413122x13412223511x1310203x13433515503x1141214x11544412553x1233105x10151555330x1020315x14351015542x14041000x15421212442x12412020x12431142442x14220030x10345535010x10200530x14403451320x12003101x14110530101x10200201x14401131221x15312002x14300122452x13004002x13245001111x10000412x14131120412x11235042x11213240302x10540252x10120522221x13102203x14324115413x10042043x10301135423x13104204x13031221134x14045044x14243011544x10205205x14420524323x12414125x10302134231x10501145x13041555434x14021145x14224445534x13100245x14211342432x126543216543211206617314131467131430531466931493144823148631444339108933911171602198011512183846835212455921242287534510534878534164534453453653419795342143534173321661652593559225364522532328239355991790421788889191151319178910857891113789153410573381441884144162514418781441164144141441510144153614411979144121431441173315291521750938356331356509356355356139356643562753564363565356374356101014927688608252110808533201953324356586658845658581658567658886581406585116582192658645658225565821761624809214155916308701603645160317651015612196191227787011631796116319541163212111632250116322581163226221006452100245921002484224780712611254972972369730697278976507341074734111113791365219855916381732211655921162289915904168891918642251717919188522557856878131337433137415719610879611159615361435722218288560673560692178220019795592211245719722523159380713635591363145262874899518229951857995189899519319952173174025192056103320563085117562070628212655921262276243429724347831916397276225276103127611434662466741466255466615668466888466862566851066882766880066880866853466833218872252483332625194862521256252246625225462522681953457195320851811848218163184841886181732181649624615208666022638722612051118397224980722602377254580712088341311732773373345535332335200333142877265722718095532175162880916348701033618817645817137881714262255001114397460143619955592232807214945862661524382426129412848052461185822574072520121009201264920126702012672201264720128072012397646364684464667264667022522400253929613405591340163391639305948496713318093318185645139527553555436550977476521435592275870119011791190151219323976592524881918397199119967119930519966919991994821998619944199582199659199457199671993081991033199173219916381991649456397221522044834588912451255225255104611344571134129717681911768177916462352164623671646237516462449164625421646255216462554197025211806776180645718061949674153867415691866225902006221981344559134416318921933892196089221158922231892226089222643976473976493978073971009232319123232332247169224716732471560304233244482444253824442540252088116469211643541164511646731164560116422691601645160117671132457113212931162245321185591851161123513301396153584113648263398261489246045823251912325233487778987714831298128415708212122559212222722256239475564511123976679036679366671347833726332886219088183818231154510245455925578091507396342331342156319724741645259211306142212244374795193421012370457237024474491342559134216292084660228887023311912331234015151916061380161664516161771239555925771784266753651053687861211512176887354735884735625735878735164735510735536735197973521437351733177219117721781881870881105388114342971481297152899322011554397869864828666986535863308616186858623586396861861732861638861649134855913481450103029710301520556510556869233118923320132332057142172051820613736921373354137351373673137356013732267137322691622809233320019715101611978256319125632568205820471766191176617732112210125651912565257015648209121884912192391221996141946614212361422336142252614226684483584443984453384437384411784441844277844455844384484614537361926397217439650921912003243720712076712073052076692079207482207862077762071732207163820716492071949976671976305976669976997653597633097616197685976235976396976197648297686976173297616389761649257225172417288417262517287817216417251017253617233217219791722143172173377924167792439108488410846251084878108416410844108451010845361084214310841979171117817124242550257864863864814918108478108546666141622463716438655555451055461455476455488055494925692004041971032155515398038829688581886278884524486602213846221343922133221384411862140236819341092107555521852458872458248212928841292625129251012928271292412928001292808129253422005591047103261336138076136476136726136706136496133976995756157416152556155576153416151196154361525661541961526156267767656796745767659114650265711534854582022581202220692022219524035591346559204155343739743763743779916479164766916478516472351647396164753516473301647161164711647482164786164717321647164922638091490765569728853197118880711886471188672118831188670118864911883978088008088272432119225623412419255731391631393131313623131637232919123292338937919954950954969226780948487425443534421455312911689129117161291214411888118577255164525512562115051019451934582568582605582144622582392171191955721935011254182130925795598011058257120014517369041029580568508172417627158780715358002341200214755925536452553256416211910591056199755920482502913236913212248181224331122429712245091224355122413912246412242751224436122451224783122437221848822542402106380013345591045103224752462535217724362425226580916928830612602255645225523302376457237624456231952623213862322486232256623227024422425245655924562558160019941705886365636818636331636297636783636372851648851687851704852142244024251482758235322514088140567232719123272336121614716726601455738209866018328181832157118321010183233118323741440186314401915236225236104423611452361465155682215438121526186515261917152621971632870694700219288506209950621111943741194325519432194361511871970233920023412343052346712347652347762349234652344572341949233720022023978063128061374885870885106217802004291179121511791514719571969271935471967371956071922677192269112212832257645225723262251807162881625791628431396458125984315415591910189922698091572820948753218688278225109010754581157893482893163893484893868938589323589339689353589333089316189318931732893164976320695278614471436566312219488137216911372171013722146213955921392274229087019813951981420142972214847651774200207666020142003771241877124411711331713411715941716151716211719441116397114921792543807254155951055951062551077551088451095372720615378007189147189187181360164720206862811445021017305101767110177651017110177761017910174571017194911485101361559240155924525593987823981542870989666114720610912061119206150620618372061909223480770316911532189974247220322039283069285009281145928225928104492814659282362078660340534081834033134037434010340101014288142834465112146513434651586465160046516231290197267066016491638147274921881912355225112039742239793291925228879037908441741953174177517415591741510174172017411641741878174153617411979174121431741173319554571955209724466605742117152784424505592450256057511315751339575159257516025751627575180724732462194745719472077255987013751365101620021016202110162046194223541942236919422455194225441942255019422556256187055851055862355877355888219086711908305190891908442145559214521656111345226164522612322372331680206680154035433115628202591559194777115251019735102180881924397161519961961457196120755765576692576354576673576560576105762269166145420205812020206720202187237855943939710881075992221425102782510650975214897521632485332241962719494571949208319815592164332996671996305996669996999653599633099616199685996235996396996199648299686996173299616389961649227387022596452259232439543958843956253958783951643955103955363952143395197911472181192736780114965613332120559106180013811368159580719412576255225901466742355188635519254597124591820879870108610752555809883870883106014277201690881808179742039731256825693122892290319119123176576631905906319596311538153931233823393111851186312570257131151631563564312336233731200201311961973191091131178117823143843931419420311257125831255825593188788831192519263167167231208320843181581631761762311124112531234023413115531554316596603188989031244524463167968031223122323113711372311117111831455456319899903160760831233223333120852086314214223125442545312334233531159215933125602561311773177431107510763111131114312077207831642643313943953119819931191719183164564631145414553183783831332333312075207631223322343125422543318348353110121013318828833184184231890891316106113111151116311111111231724725316356363130931031232233311923192431561562313123133111821183317297303146346431949531460461318438443112561257318788793180981031713714316436443111831184311691703186987031503504317207213178878931128312843119311932311213315025033111581159312276227731845846312972983188088131144614473112931294311631163231899031629630312447244831717718311633163431971972312250225131608609318278283124432444316606613139940031459460312272227331884885311297129831209720983114153122482249312246224731436437312252263187387431194195319759763176977031737738311119112031107810793156556631112511263115861587311128112931162916303161962031823824316696703122923031122312243138939031228722883113671368311525152631108310843197397431121712183157057131220122023161561631159415953122742275318028033112841285311015101631177917803119151916313963973113801381122002200312193419351294294312243924401224352436121905190612171017111216871688122013201412243124321292292312200820091218281829121734173512210621071293193212918919122441244212201120121224622463121899190012242524261225052506122108210912936937122205220612171617171222092210122424242512938939122206220712243724383294694732940941322469247032221022113292692732210121023222042205321936193732190719083219091910321643164432242724283224652466321898189932190119023292592632193719383217381739322433243432250825093220482049321940194132945946321644164532180418053292092132221222133220522053321824182532180118023220552056322007200832210221033216411642321797179832200920103220062007421798179942173917404292792842182618274218291830421903190442947948422509251042179918004222142215421938193942183118324218301831422502250342163816394220052006421902190342182718284218221823429219224222032204421736173742243224334218371838429419424224682469011946194701751752017577580123692370011489149001939401517518017467470125762577012042050119481949019749750184084101731732017667670177577601195219530141420183183201778779011121112201822823017287290180580601951952011011101201647648012457245801993994011483148401890181681701166167012282290111291130017457460177377401858601507508016376380146446501112311240113721373014344016667011971980110321033015155160111311132017187190113651366015675680111791180019099100158158201676677012982990157757801217321740176476501573574016465011133113401143714380114811482011960196101667668013133140111611162015795800145845901209921000172572601195419550175075101150615070123752376011291129201307308403540654055404540254015102610661046101610361056221732173322180318042216391640221733173422250325042222072208221825182622190019012216421643221805180622204620472216401641221737173822182318242222082209222504250522919920222430243122205120522224292430222057205822939940221740174122205420552220502051222428242920142064203420542024204441170171416446454191291341226222634134134241756757417537544114911492411258125941856857411058105941296297415045054112221223418708714169269341800801412272284190690741203204416346354173473541353354418248254197297341335336413303314115231524417167174110091010416556564174174241226422654140040141857858419697412262274135535641789790413733744116231624417007014190914178278341105410554110101011411055105641339340415595604165365441847848411671684140140241858859413343354110771078419104187287341461462411621162241102910304115261527412062074133833941195196411181118241144014414122662267411627162841995996417267274182882941227022714183683741698699412556255741606607417867874176776841255425554122682269418528534114651466411370137141337338416546554181881941992993411126112741371372413883894172372421152415252161861921133913402114261427218078082139339421742743211996199721970971211450145121632633216956962174374421121812192119721973213333342121172118211219122021553554211053105421244924502156256321331332217587592177978021199419952185986021256425652150951021245324542113621363212146214721888889211771177221233234218889212144214521115311542119319421557558212197219821216521662179980021994995211333133421101610172123282329217717722110791080216216222120520621311312212330233121259025912115121513211060106121122012212121992200218328332121382139212140214121259225932119801981211014101521108210832153353421232423252123222323215695702155555621191192219699702121212122211151115221211921202124022403212115211621111221308309212142214321248224832119219321134113422111451146211420142121176517662187687721153615372111471148213903912111431144212392239321248424852176876921560561212377237821212521262117117221631632211157115821630631211452145321163164218358362123942395212163216421182018212115141515216936942125402541212326232721886887211534153521651652211767176821904905212312322124512452212400240121114911502116816921535536218398402113431344211062106321949950216176182181281321197819792113601361211641652150550621953954218258262175475521134513462181381421101121131421787788212455245621501502211540154121871872216976982139839921257825792125622563212123212421218721882113471348211970197121219521962182983050325052502250425012506230233043303330633013305351929351128512865112871288515745755118571858511013101451171851302303518018025112051206511369137051300301512562575162362451116211635123522353515135145127727851854855511216121751156315645165065151730731518558565151251351118011815130530651254255512354235551125512565112861287515065075178378451462463519909915164965051235236517527535115201521511368136951674675511863186451848849516626635199199251511512516416425110741075511528152951230231516166175165665751514515511289129051722723512022035150050151310311516116125129930051663664511085108651620621511884188551188618875190890951605606518928935181982051673674514024035185085151161751564565516616625122422551678679516386395110871088511127112851625626511561156251891892518308315157557651715716517777785161461551849850511366136751126012615114361437511091109251465466512752765115711572517127135111861187511865186651714715511089109051301302516286295166566651116311645163964051201202115165171121832184111395139611666667114034041116151616111651661120692070112254225511820821116776781170170211821822114844851125382539112179218011154215431124592460116756761110561057111288128911736737111555155611214821491169669711392393116526531139739811121512161125232524117807811175976011749750112418241911142814291151051111950951111438143911814815112521252211118911901130630711875876112175217611914915116646651121912192119039041176276311170417051113741375117487491121772178111439144011640641111600160111218921901165765811136413651173873911336337111122112311785786111602160311387388111434143511770771118118121120192020114824831139139211694695116126131125192520118038041110441045112067206811218521861116116211851852118388391180480511633634111076107711733734117607611124162417116276281121812182112252225311225622571191921114114211810811116096101113914011225822591111601161111569157011117811791145745811219321941116891690117027031178478511571572111159116011108110821111841185111254125511103110321111871188111521152211202120221110801081112260226111721722112552255311916917112550255111878811744745111522152311117118113033041173974011874875115685691113781379111221122211169116921114711472111046104711572573111290129111907908111191201173273352193919405218021803522047204852210321045220532054522464246552943944522426242752210721085224672468522004200552194219435216461647521796179752201020115221042105522049205052923924522105210652190419055216451646522466246752180718080011006100510021003100410219331934021735173602247024710219441945029249250216481649022211221202163716380224722473022474247502250625070224612462021906190702246324640218001801022111211202250725080223672368022003200402194119420219351936022109211002944945ttt2ttt2 1.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))![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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])))