/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0220x10010355130x10321x10000000233x12050x11242545500x12052x11434033003x102052x10453040125x102405x11041033405x103052x10101100534x122005x12310455010x125255x12240114505x132012x13433332344x132520x13430245050x153022x15300041000x1031054x10045212015x1032425x10325104040x1050224x14500515114x1205322x14300112050x1210350x14300440540x1244152x12024545113x1252140x11455110020x1402051x10251114315x1412552x14230000103x1422552x11333235134x1542215x14010155225x10220120x10434235400x10302153x10451300050x10302424x14501214424x10323553x10334132553x10325054x14500541401x11021035x11000211215x11205524x13134423445x11215030x13432152010x12022551x13254314550x12030422x13322011132x12325235x13143103135x13210315x11131302425x14052020x14044200100x14202532x11434055541x15304225x15120501505x12.10220x10315530100x11230x13320000000x10502x10055452421x12502x13003304341x125020x15210403540x150420x15043301401x125030x14350011010x150022x10105540132x155252x15054110422x121023x14432333343x102523x10505420343x122035x10001400035x1450130x15102125400x1524230x10404015230x1422050x14115150054x1223502x10502110034x1053012x10450440034x1251442x13115454202x1041252x10200115541x1150204x15134111520x1255214x13010000324x1255224x14315323331x1512245x15225510104x10210220x10045324340x13512030x10500031540x14242030x14244121054x13553230x13552314330x14505230x11041450054x15301201x15121120001x14255021x15443244313x10305121x10102512343x11552202x10554134523x12240302x12311102233x15325232x15313013413x15130123x15242031311x10202504x10010024404x12352024x11455504341x15224035x15051050215x13654321654321190611211198205324411725212565238659224812242042173292993291023329108532921895252518952553280120028012482802020846569534523534629457204123605922051009205127221501888188102138809186323592216198891238255815861459809125717204617144156817372241845155627122521528215222152152222721522267133372222683281117109011565465331979224616224624606586467947762362592114211211288173812881881128819111087104941013321166166511662217116622212277209021962462219624642196247621962478219625212196252327484319985921557915571155756315574215575921557631557602155740155719741557841155719781557198015572364155723841557238615572362155723782509328196619545371977214280922181700239459211998191199270119980911992521199837119952211994131199146119981199326119948211994119911711996451199167119921381199172991518089152055173322418645232549256910469171722418852355250732815788157816841578178315781850561172105155657817886841164287756011891782562178229917823432211247022112545221125492494248517842243714353717501972592149820181498209262819415971647245781671171672521676451678092056172590592149117149250204017246111751130710977171273175026502680502554502523502621502538502678502536502112150220465021874502190250219545021952502187250220505021968502190043611552126776243425317842784329784361124964512491504213280925705922993602995624669544661102466157146617124661943668116911585631825183949145824831823185132818512079205417181181971850318421856318592186318821186518662186811860218401883918154318197418197818198018236418238418238618236218234618237818252611031090258680919641954246425572464257124642579252859225345924694582556188411716411871411899157721531577242115772434204723772588592339316833443411349235339559461483823988562652279600125677275855354412541997162811716341172080369128936912893128945921541586225719225991258125871119109013593701467809146715404112133214080920492383919792729503961917062454914180291419691809361193111212459117620593562516653425368548455377747581471171472241476572041239995495819952709525095117951499516479521489517179516289515979516262538645253825556592524112119968919910621681166716812065104894834582568592161815976185932197167821974672197154821979062197215476595276511047651893240925352053236923085237561719701876963696369696459192911212358592186652374972874980123181121837876397369397757397775397104524718247125061900112146724673294673611890523621728621873621901197659223545922566592189811212344592247025592470257724702581185112613091394145715411105109040940602258252313086981902112154252354255254263154266110103612291253322912537102637020552391654646188452322441622442458165656216562991656343549111654911411570154815701680695958695111469519131022361212275721222127212221292122241512711712765512781752771383328337588335628332998333458337746014601819601270601809601252601837601117601645601167601213860117295701951626159717072297170723155249175241282115454477075822282241318781205217490205122452493688124171317002540205718341823201316545488961130362113068011305541130523113010241130678113053611301121113019541130205011301952113018721130196811301900221218502212168422128221217832212157822122468221259222122352221225322392592134572713451358198659223705927231350723209620501719785921801170779677623141121634622168316671683206784236625641823203923672451809536523536678735501125173432992091680209155420916212091523209114842091538209111212091204620911874209119022352252359898698661781666825322525398110303721729224230452323352338362334582334852334832334932334692335062331086233840918652465824652474246524802465250822432484109910901370819137027013708091370252137083713705221370413137014613708137032613704821370413701171370645137016713702138137017297838747831025783137178316197831965223843619825921709836170953717093681709166170962170934217094841709517094581709485170984099422499414602222224254220719165629162999165359164339161489164191632891646891629163431881235318961121189619541896678189620501896195218961895189617141896633189652318961872189636218961024189653618961968189619001499758149956214992991499535149943314991481499411499328149946814992149934514997741883235111701160251225493458540523540543540654036254067854053654010245401121540195454020505401952540187254019685401900194411214411753265326805325545325235323625326785325365321024532112153219545322050532195253218725321968532190014538091339727133913562136809918200131052367966225505231984592257220826646116629863966490653925485237262321685198206483920641543186523451256199910323652526592188252346820495778725779075771360577161757719633452998810393772802128776135136930853088363084583084692368592555544555102955512781092130739421394842045522198512796841309197511686802134809240059243321471101109011011468368213753852353862153814844854582033237583120052316112125805232041159204179320152006525697906535906433906148906290646790615489061678906168290615727171338951279873117117187117270117659117819117163980823224121482328243324682535106020332506256325062585863213119505452144809154016411679166722672482226725514841464326441344824522232125412915231181542258480920191682712417111700215124662151254321512547501127025792589188571145180110011736100118791001190336974836977336979936933001049189211219599468208102812281562281299281343281118281327245380915051881043156910431710104317341043188510431930187923571461810204817184322821843231350470417152247664766819766270766809766252766837766117766645766167766213876617291063105624771700109413192475198223018753519732346592187252363963592631635636342196290580077680013172093727209320941270198923765922384592136917301369186313691891250825612508258315861773158620692028178018712363169117169234169653120111907591087121611901832154218321181497201415562151155622191556230315562317235259212476451247149015438391044329104421044361214880920772229207724501605155624631548246324723701315187323611980592125517188923652554812391944294214256363062268166268182168165681168115436814068156368119826814268163681186812394957946204523851675562167529916753431316782207924521891027189223724165691735224135737043436943473643477143479715418388561053310299157215481572168223110982311907458836458537458368458166458624583424584844585990275173922453112155311246908115341436941472741476941479541410471372136113721450198682198148290515779051699905173290518839051928207622431886523179451711001718971952370209024441272199118941121683194951012171286188912861945243552371867186807185547185237186217185387181121718204671818747181902712371236971245911361121206820571361143611292343112924561874523229810902062206562206299206343768758222022470353170311572032645203221498321240832134441321351990592492204716961986931118693113520953701469824167716662078369207845986686223072527213080119041121523554523633523680229211212292195422926782292205022921952229218952292171422926332292523229221432292203122925392292396229211622926422922982292490229262292187222923622292102422925362292196822921900200059248220391708224517082409127117129019717821452782182216201597195921871959220295394625462082711146610028361002537100236810021661002621002342100248410025100245825225231028372195520572422208254119832303252924731667247325391958551959931951290195183320512393253059241236911131090256015863281625328162732819513281967328212113207143672315465561908112124101725365921050912181190660646124116680171468018656801895236659266923266910213962143194130919415851942081191211212104244060359319925925514662066205713502141203417244980987511763262225782082254420821167159611671633116716951167195311672119576167625472567798776237859273772873799543910894391120539198153920311088507180317948648198642708642508644864117864149864164786421488641717864162886415978641626992275185022351850244814858231880523245582467158694145823565923953693957673957931918282479224656646212075721202125249290410616801061554106152310615391061396106111610616410612981061490106161061621106153810611121106120461061187410611902164087719681954159581915952701595250159511715951491595164715952148159517171595162815951597159516262236182322362541327299255280923645921914112119461121244517256218231024362196022691960230710865061731224196219656219629919634325325925451031111510902469158730795630711123071905197459221103110322172172221117118216986992175375421563564211332133321328329211540154121119120213443452114371438216026032177777821326327213603612163363421684685211167116821498499211438143921702703217717722120182019217087092183783821667668213423432118081809211062106321814815217677682178378421577578217247252173173221750751213093102159259321119011912149649721204205211361136221929321298299215485492166866921629630216176182177377421146814692177677721105510562143643721374375211057105821769770211240124121757758218618622110211022216216222110091010215045052186586621619620216486492182382421631632219149152220242025228978982217941795222102210322207420752215991600221592159322179317942215971598221828182922167316742220582059222099210022879880222006200722180218032287787822184018412222052206221959196022220322042289990012249024911211281129121710171112112511261217731774121702170312195819591216191620122274227512221722181216721673122027202812112711281215491550122012201312207220731220872088121712171312210421051222022203121625162612247624771287687712896897121798179912210021011216171618121554155512202020211217751776122276227712209020911216991700121596159712195719581216411642121797179812163916401217761777422204220542206120624218231824421706170742189518964218931894421680168142112011214220572058421701170242207120724222692270421666166742248924904219051906422313231442191119124225712572421682168342252325244219031904421928192942114111424217951796421799180042898899421598159942194319444219531954429019024216471648421831183242167016714219301931421830183142231523164222072208422097209842242124224220052006421601160242254525464219011902421967196842113511364216491650421841184242196519664224722473421129113042257725784220862087421899190042189718984225432544422088208942208120824219451946422014201542178117824219071908421963196442881882421913191442231723184287887942189118924216781679232188218923219021913119219331128312843120792080313733743137137231503504316596603113441345319394314334343118501851311029103031195196318078083181081131396397316826833122672268317757763122923031812813311350135131598599316536543172872931394395313753763121272128316226233136836931805806316476483119119231793794312792803137037131799800312506250731646647316906913113711372316856863155455531645646312092209331228229315525533111531154319495311213317827833113641365317077083121212122318028033113601361312119212031143614373122292230319509513137237331732733311027102831704705316496503118818931795796318628633114911492312508250931909910316556563165765831543544317607613191791831413414318438443121252126314114123111961197312993003198698731199200314584593113381339318638643171171231797798311617503550655055504550255015132187218843218921904321922193402640664046401640364056322023202432182918303218221823321704170532182418253225632564322485248632206520663220592060322007200832202220233218251826322021202232183318343219541955321651165232256125623222352236322482248332207320743220692070322541254232166816693215551556321780178132202520263220772078321826182732159415953218271828321593159432209820993216551656321551155232209620973220672068321652165332170517063216481649322539254032207020715321942195532193219453219121921014106410341054102410445166666751694695512245224651490491511201215127827951224322445112312451650651517647655122882289511221235191591651149514965175875951829830511494149551844845516866875183083151116211635176376451523524513043055155055151198199511054105551131451572573515055065170971051109510965157157251228622875183984051559560511060106151149614975146846951997998511287128851438439514924935123223351109010915110931094511415511191119251665666511368136951528529519859865190890951600601514844855111611162517527535199899951828829511367136851136213635152652751593594512052065130330451228322845144044151366367511198119951495496514574585110851086514824835171071151501502518458465156756851565566015495500122422501199719980164650190910199599601234523460185785801695696012285228601692693012589259001765766017207210183883901104910500111551156012367236801562563015255260125312532018788018608610185986001576577011369137001509510011979198001256525660146046101305306011981198201198319840191291301625626015445450119491950014354360123832384018889012357235801999100001200201011045104601464465017787790127327401193194015755760122722801236123620123592360012525252601154215430119771978011166116701459460012702710119891990012529253001239323940146646701223722380120220301691692011043104401109110920115771578012502510171671701465466016616620121512152012363236401104210430191920123552356011901910198398401277278019100180480501256925700119992000011941950152452501235323540123692370018408410125332534011284128501199119920155855901111201624625016263011286128701252253014995000123512352012464246501858601719720013073080123772378011985198601116511660124702471011157115801899001197519760185585601545546012399240001414201104110420169369401258725880125672568012391239201252725280123123201237523760162362401197119720136236301124125011439144001949950011215121601507508014614620123432344018901105810590110921093018588590125352536012762770194694701825826017547550185685701813814012284228501439440011285128601234235012365236601121712180110011002011189119001171801238523860139400166366401824825016266270112881289016786790168068101120012010110471048011493149401984985013013020191091101197319742032205220222042201220623023304330333063301330534116951696411889189041209420954118718841257925804122822283411114111541187118724182182241225226411278127941302303413763774180180241947948414374384115041505411160116141255325544150850941522523415415424120412042413653664122912292411025102641730731416836844112561257411112111341258125824181581641205120524124562457412215221641729730416876884153153241110011014124342435415395404118919041245424554122972298414624634120552056412549255041369370411873187441186318644155755841204520464173373441597598412555255641125412554153353441136313644119511952412415241641254725484149449541361362415665674128028141831832415375384123023141121122417347354182282341127212734118791880411102110341111811194114971498411484148541103910404170570641131913204123032304411684168541204920504110531054415605614190790841214921504118851886415565574156456541102310244170070141111611174120472048412409241041230723084175976041130913104114921493411270127141135613574151051141203320344191191241188118824119719841535536411490149141715716412053205441119511964118831884417627634199699741136613674124742475417137144111041105412039204041252125224198798841701702411358135941131713184114821483411865186641109810994112901291411089109041201202411181190321962197032195219611247824791122192220111365136611662663111633163411213521361169970011172817291110401041117237241181982011146014611125372538111248124911596597115735741124502451111056105711145814591173673711689690115745751146346411913914114974981111941195111161171178078111244824491195495511806807112131213211119211931113071308117797801152953011781782111969197011306307111315131611145214531150050111363364112032041166466511958959112440244111275276117487491110871088117227231130030111245224531194594611173017311110961097112227222811836837113643651116271628115065071122212222118118121111641165112742751154654711872873111193119411706707112583258411803804118178181195695711116911701124602461111450145111594595115996001175575611119711981195295311244424451110111122902291111238123911627628119919921169769811168169115275281121392140112458245911178317841114981499112031203211714715115305311122872288111246124711144014411117381739112143214411173417351199399411213721381125852586117517521110941095119829831121292130111661671121332134111516116516521114614711115911601117141715111716171711272273118098101154754811761762118268271111631164118328331114814911255125521112612711989990115695701117321733117277281187487511568569112141214211948949112262271112821283111000100111725726112480248111841842111466146711981982111736173711717718112147214811595596111059106011228922900216041605022487248802154815490217071708021585158602215321540215501551021665166602210321040217781779021571157202166916700220842085022557255802195619570217741775021777177802112211230224882489021671167202201120120224862487022089209002196019610222112212022272227302183918400216761677021654165502156915700218431844022271227202246824690220832084022008200902249124920224622463021796179702201020110290590602159115920219551956028848850215891590021587158802158615870220622063029049050217001701021703170402221022110220632064021590159102165016510225592560022009201002165316540215561557028858860211231124022466246702158815890011006100510021003100415222092210522270227152160016015215531554522026202752177917805288388452903904522075207652206020615218441845522484248552227322745211211122521602160352166716685288288352249324945220762077521842184352227522765211261127529009015215521553528808815218001801522208220952208220835290290352196119625222062207521124112552167416755217081709522085208652160316045221012102ttt2ttt2 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])))