/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0025x11302201225x12142x13210412332x12340x12413413244x15240x15113304100x100023x12133022111x101502x10545101022x102114x11022303104x111344x12454341304x111444x12121233354x114242x11255231302x151344x11011022434x152340x15121030220x155140x12104143345x1001141x12103052241x1001503x12101223303x1002342x12132534103x1003400x11031242224x1142201x11041545401x1233402x12553043320x1311400x13011020554x1345514x14122154124x1500511x12533024132x1505550x15045410430x10002002x12131255312x10003143x11100244554x10024053x10353250415x10035455x12101224305x10151443x13541404301x10205002x10320325030x10524240x12542332100x11315555x11215045413x12023402x12104053425x12024005x12010321215x12142205x11020241215x12145251x10454312131x12353533x12010410253x12354144x13111213434x13141140x10412031200x13143542x11101022042x13233405x10100554105x13425023x13533224134x13434340x10304133120x13435240x13330414050x13440051x13010215453x15053351x15311024121x15144422x11335413510x15144551x14101100433x15515431x11122411021x15551400x11103050154x12.15200x15221022031x12412x12332140123x10432x14423143142x10425x10014033115x132000x11112203312x120510x12201015450x141120x14013032201x144311x14031434542x144411x14533321212x124241x12031325521x144315x14342201101x104325x10220301215x104155x15433414012x1141100x11422503012x1305100x13033221012x1243200x13014352312x1004300x14222421301x1102241x11045451401x1204332x10233403552x1004113x14550201103x1415543x14214512214x1115005x12314203352x1055505x10340145405x12002000x12135521312x13413000x14554420011x13504200x15140523530x15545300x15034221012x13441510x11034041453x12005020x10305230230x10424250x10012332452x15555131x13145405121x12043202x15243504012x15004202x15121230102x15022412x15121420201x11525412x11312134540x13353532x13520140102x14414532x14343121113x10411413x10021302140x12453413x12402201011x15043323x15014550010x13205243x14314223353x10434343x10213314030x10425343x10504140333x11500443x13545120103x11533505x11214201135x12244415x10153145331x11554415x13340011014x11345155x11201142211x10041555x14510503011x12654321654321220723992207240913037731793927923020738822393239870239715239341239795239366239351239234636634136679587185987168871487178487186787121268712080871183212685252042859867859846826162785916528728998902119951211921348698591021017102153310215491191101348612594861678175193111381127789219958914435892183238194105634496762322681233111739811171750111717787151916715201971520292246441103210360610316410322810318181031922103182010318701031099794787178796216241966162421932141962897238147576023492401234924078097968098321093116918822208238022082382220824112208241714879221487230148766014872961487120148741148718914873501487114872971487125048740648716514871707487172518643261864193064061721359621250608210552578127817827813267811647812287811922781182078118701121398112117581121177614731796148816428593833413838063838682211220060811141544153623967952396234615938041593235121339512133214813639101363750136388913636161363923136367413632761363143136381363209136334013635136394136374813631211363165713631959136360972817811796811847204085995610611909525706951706102651151951154216255251625181519236802991875878125787816768782253187032618701922153239817244881724705172439817244172491724421724231172417931953739209752520542191205423201811892218230187601868018607182591829718342182576241722402398109821621098233210982345365195241182136731613227325633673678233579513621853136218631362211213622269206388298896998810773821944772221012546238175481789962181229818121972214996211193981119175211191780805796805825125852564661718403981840208818402120225244191949194889197059193989199919429192319191793146773993989463970517068901714892193168019312245585143520952765340567477417749227742307742977741250162985934171534181034187020027952030344584152395147051512555151906515235564261767166167167667127867193671436711636713656716671673152415151076106310761513210352510272331681882221522001664608618912125261776523632529918062349235860874974074987219657396736611031119810311325445106944610249523818906071068937201880420182041201820622354608166854893861416018041601164116011690159980415991628159916881530398205760814111201189129613501660123941236411239021471754179196217261716826226724063261907189210781063107815211591819104010291040147420555252055216687722291009146819577392244173051112211352571675271688271616271655495549882549162549752549716549144549890549911549874549166054919475491955165408148976883382619943982418795969122696913271838398183820861838213210116247781665118511892228220017539316884688706688706882326881996242470520243445481261548160654816207473067471057590525590105344944412831271128322511278179412781993127820017231118723114972317707232271233139867766119963986091657160780416071643160716801522151475174075188020448591683882687101568715316871543881873881136810701062180721601807216418072330180723342972306756611030118455612675561600556161822432403224324216629436621024109916410996701099258109914110999110992071099384109921099181851835188705187155183415187955183665127752238172333398208164349102385341385808385866208793189017131127129019175251723192017232015172320231277205461498961410416141454614215840764076614076734076771528787526452670552639852666252695264452687152648852642526231526819526344526203052617938244851921525215599225723025766025729625712025741257189257350257125729725712501733173870173715173341173795173366173368173202018303981830207818302118918126591815989181616911890788180978823266796611219412161612174812188927723064861714777602071882643693616362786365667677312637731490773160877316221256525792125313369101336750133651336647133681813369413361953104210291042147620819311356145622132200823166738419561037182318181641824164206588212344362111525220022751205782120532612056701205258120514112059112052071205384120521205606120516412051818237968237991237102815858191279706127970127941279232127919962412398230689230922230124923022732153992240039861526157826153266151646152286152086151922615182061518706151924615187236834111011641355174220108042010203920102070227443683123735017923501811350195835021542022344437406525109892316591188348803525803125110149491014142110141889103618252912141220722582384267023293982161942165164686164916795484694122419142294382467212916801018100810181584115011271150128219457394007914001727582172165052516501813162170517799511779178625818372581871258210455725577825573265576065571645571818176193152015271666608100176010016801001607100119233005503006981550153618543981854209418542124181434280214788021592802161482017442147962220918182209210422091837220967022092582209141220991220920722093842209222091099704102218439822541717735252230220014919514912237234679518723261872192419155253061100112549119256801369719174392423505252350239718563261856193219011055190166119016737596142038859200479523273981771525145573915172056183239818322080183221266972387461466235285910132386193968016237051878543219239822372405223724237245724910724750724889724616724923724947247487241217241657724195972460912041914120420171204202513266991038910103875010388981038941038674103827610381431038810382091038340103851038639103814210387391038195742942442992422155216394957929181634211331891113319081133235720799311629495091895023531795941541179815412328218639817459262314882127951212721469909699901075227080470785170796225618312561869256210224087391975951975224321943984144052139962905890102516717112217115117177416448591822164727147216098041609162616091682190164190324714571491071475071464771481871494714898714639714142714195371419578961269148619181486197414862009148620211643261646061647821136870113671511363411136678113625611361611136671136227113636711363113679511363661361221412605256898701819240432619336804624391919525464439238316451711205171126517177218623261862193820263442095931126652514697541457741865727167754810543421422696722222734019541429414263914289810583421227575170889016197051264525259230259760259125968025960725919238488268481232164919641649218519597391660874929924611285127112852235790177902265195573924227053994803995753995832272804144473980779680784515207821520326152021520164152022815201922152018201520187019477399038901113164212595121252140351341351804351858351678351256351161351673512273513673513351690177552510161008101615903671946241093144941446451447391449042159992431817175993117839511783179017859621967739187651918761877177795117771784210164210298669406178195117811788785812115211271152128488849418261641973760239834216898827671124709704381615705930525179794165887492910079291529929153557673957619472020804202020432020206479813004397669753482284784201680420162037201620721485221211233981123176011231782181017999464794750948189491023566081911796191199519120031921641929119220719238419267019225819214119221921818780111678011377801766212195121212138161770566110552236441327299327430327510216734260768060776022816412625252389872381039238135423821521135182911351855113520962266810154277218201648797138791663879170587917151534398232173985710218081641808109954572511154422089931172891517675253075307910307750307898307943076393071423077393071957307195315191839151918611519211001614615017277280113281329014824830135035101694695013843850116241625011543154401213821390114701471017537540120172018019659660154754801201920200123423501891892015205210118751876012265226601101101639640019129130144544601689690019639640189589601125112520111841185011273127401947948012009201001135913600120012002015555560116001601012269227001171717180111241125011608160901398399012382390185986001682683014904910115231524011744174501791792012054205501178417850123342335011592159301167616770120152016011075107601214021410140540601148114820164564601647648016166170110101011019469470117861787019439440110621063018148150151051101882883017437440116781679011598159901860861013403410196970112031204013653660160961001164916500158959001301302019709710121342135011715171601214621470185285301234523460172072101775776012349235001122612270136736801106610670176876901171317140113140140240301132913300134734801827828012148214901160616070114681469019259260174674701757758013823830162162201855856017847850111281129012417241801153515360161962001706707011032103301107710780120032004011725172601782783012271227201707708011790179101178817890164164201240924100197397401130113020195695701345346011186118701154915500123723801151415150116671668014924933217981799321806180732180918103223892390329929933222042205322392239332180518063222062207221894189522220822092218991900221893189422238623872299499522995996221807180822999100022180418052222002201222393239422998999222203220422179918005222012202522202220352227822795210001001522280228152189618972111511152211490149121136813692146346421926927211811181221348349219139142111981199213033042111261127211631642118611862214384392139940021103910402149449521663664218748752110210321111411152124032404217087092166266321181718182118631864211330133121216421652148348421151815192117181719211269127021761762211112217927932185385421227228216136142182182221114911502120720821181918202118711872211823182421111211132185485521752753218268272177978021951952216206212119119221580581211825182621952953216876882152352421104110422117017121484485211033103421106410652144144221949521238223832180080121121321755756211013101421147814792171871921400401211034103521488489219299302122532254215505512111901191211100110121972973214304312110281029211357135821113711382119741975217887892158158221668669211008100921543544211278127921432433214614622157757821302303217647652115162112741275212092102178678721189190211855185621991002115271528219719722118211822218758762124052406216836842157958021154115422181581621147214732149349421109810992152252321544545218308312110631064211869187021699700211617303530653055304530253015402640664046401640364056422394239542227622774219061907422281228242227922804219001901421802180342239523964223902391421897189842189118924223872388101410641034105410241044419339344121022103417977984169069141126112624189289341812813418768774112331234411908190941172117224166666741151315144113601361411482148341856857411201120241524525412104210541695696411711724140640741979841191619174194894941553554416926934174074141342343411641654177177241176617674117217341133213334151351441177217734157857941744745418108114113311332415115124115361537415865874112571258411255125641127512764112591260414114124170971041209620974179379441583584411265126641112911304116716841660661419539544151651741177017714123523641894895412112211341760761417217224121102111411918191941769770411335133641806807411538153941588589411263126441678679418088094115171518416726734167067141916917411134113541927928411456145741610611418638644171371441883884417787794167667741725726411484148541409410411302130341191419154148548641684685411421142241674675411131113241192019214171071141152115224110111012411774177541795796412273227441804805411267126841742743511055105651517518511930193151936937511199120051197219735118131814516066075110531054517507515112821283511483148451118711885115191520511537153851229230517487495122512252511057105851136213635119321933512357235851780781517567575127827951701702511815181651133313345186286351147614775179679751205620575113581359512237223851341342512582595169169251716717511722172351166316645189689751816817512355235651113511365113341335512243224451235323545177677751964965511284128551148014815116511652519159165122452246512166216751436437511889189051172017215114741475512235223651719720517117125125625751193819395123972398511249125051151515165177077151861862515215225172372451587588511488148951135513565162362451932933517007015162262351739740512962975116651666511290129151343344519179185127627751226722685112701271514394405112531254517677685112321233515855865117185171271351665666515515525119221923516076085144044151192419255140840920322052202220422012206200230043003300630013005331170517063110110231101510163120882089314344353120942095311682168331745746319189193175875931949950311661673130030131179417953110301031318858863119581959314424433121602161318238243191031232233312072207331696697311454145531175217533172672731208620873112001201311611623141341431902903311277127831969970311443144431103110323189089131100101314104113116917031828829314914923120782079318808813179879931175817593116801681314334343168168231165716583187887931680681311026102731935936311760176131208020813116591660311133113431151615173120702071311065106631148614873189889931127112723161261331403404311952195331922923311185118631514515311272127331194419453190490531611612312993003116901691317857863168668731196619673176376431101710183119541955314354363115391540311132113331401402315485493123802381311723172431175017513123202321319629633191091131939431196419653151952031545546315565573155255331702703311221233114314431216221633119561957315155163180280331135613573114661467315755763175475531715716311024102531777778312332343177377431240724083176276331100710083110671068311204120531873874319319323144444531206220633120642065311411423112012131872873318898903117071708311946194731179617973188688731486487316086093154654731717718311688168931135413551118291830112183218411974975111614161511685686111837183811165166112421242211818819111877187811667668112330233111305306118208211181982011111611171176676711989911100910101151251311162816291112761277111361136211326327114044051141421113001301111035103611324325111202120311955956112126212711147914801118311832113443451123992400118138141182282311240124021117761777111130113111703704119549551116261627111118111911204320441196696711937938111325132611868869117727731123623711118911901130630711112711281178378411102910301113271328111780178111914915118458461166466511219121921123512352111037103811183918401169701172272311945946111782178311179217931187787811158415851185885911112211231121322133115425431116161617115255261123262327111727172811829830111719172011162016211184784811676811968969118018021192492511242324241170570611887888114434441179980011218521861161861911141511431432119449451148048111870871111742174311851852114894901110611062115765771198798811866867111641164211112011211115291530119192116616621116816911164316441193493511202520261117781779114124131189389411304305112193219411864865111618161911185318541121242125119239241116221623117417421121202121111533153411928929112039204011233223331178979011171617171134634711202120221110691070115545551183283311101210131120412042112037203811103610371123282329112982991114851486119899901120292030112118211911199519961123023111698699111590159111434411617618111540154111199319941178778811241124121195961182582611584585112023202411693694118848851148148211231232118911153115320222752276029939940218011802029969970222822283022207220850115061505150215031504112221422151218981899122158215912219922001222772278129979981218031804129919921222292230122388238912220522061221542155121892189312180018011222272228122212221312228322841223912392122210221112215221531218951896ttt2ttt2 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])))