/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 541x12551110234x14113x14451402033x14413x15114553323x100414x13311031424x105042x10035332345x124340x12522550323x144234x12245331114x152430x12552325400x1000201x13353131401x1120132x12032123103x1135435x11331151015x1141012x11031533452x1324355x13555144545x1343205x12335331335x1355502x13351003310x1504301x10312511121x1554324x15422521234x10020521x10435235521x10134212x10120312522x10141443x10101120523x10511341x10220231553x11310410x11333300310x11320121x15242442513x11354412x12050232222x11400250x11032221050x12015142x12255212405x12040430x13133452303x13041000x15235455130x13043034x13531032304x13404423x13244511450x13441411x14203213001x13504150x12310543033x13505553x13354014530x14152015x12542330005x14301242x14331103225x14341443x11433313122x15042042x15220155242x15042550x10331230023x15412041x14542234553x12.12654321654321503350358550344350349150346926452614140567018395661906654244189165916416591948165920091793494120617314431452931419231423931453131420393142024314245531424513142649314266731426612312195323122650339233971933923833936033993392213397173398733966339196833915573391604339159033915533391976339230633922982391922392040239279722116462211792221184420052006952005832003812003822005772004202007602007612001734200201720060120019842001733200244920023052001897200155620021082007192002382009200258620027262624261327706012770277118599781859221927223832216217068531389164895068963989653145914487452670125763912571272202192830164083016548301790830183811385662714164271427471056585105631056443105649118455662340266814631448155115382152254533895333810653381141260526992605270526052789860855879872218736087717262926131117172111718065335192443892740249265926149829871998238989986698330981919870598449819539819769815389816069819709815599823142181217027692840271638328624111425661288181616032305251819125182541251825472518258319356861049410610139101412108801089310168910168310170010209421962170219623652100254316532411313678387151998901557153897196322082170219821702198236322182170279082240639272821701393695139318002135164157815382105209257856714096701409143917691733220421706418131704168921311642131225321312446197924401606911405662792919721953197226362661261465513617285546281080628218019772442245720242789282825902492461202495693828042094502955502105750211471198978427847197842387843307849784191784705784447841538784195378416067841970784155978423141249630273265419166542242925172642158491327797132751913275181327404132713813276713272401327490132741327531132720391327202413272451117216581172172649144361024967652515892297195326661811876718556182411826818520181118183841810431815191818531828232586919641953196426644694434691005469532469440469116469654692854694884693469654469217046922049782128978213097821504119712047621258823493653116328534403488353213621355141167014111441141127159881726525141727168917521733812592553111012891650128917781289181825832723258327414053814055661062104722321851232019532320264411191113171016898056015649375641063564114518582152201275364611372608153892389378971991042921089245424592024647249331585331333144333149333137933121703312208585885269541954425530774144777418507742023341331210720924435852041776584567141590515209167172165197525242411918654145422311454246414542466199140819914621992227199246010551652105517801055182816811641681194216811995361331241508241556241677241767891880217972121791986122060512201520381583381670381695381678381538167238117333811767144676824310911970195319702660696753696896965346964216961406964369628769646869666967078898802358653235816423588932358189823584942358196923581707235818992358155823584682358287235843235814023584212358534235862358139235810235815392358209223582109622663622776901130190063919001915467443467994467127018906391890190920187532520241275870727581955275827082758274727581642758271419761953197626541800216993813129381445189863918981913380168038017013801766968938968130614111181305138014661545107710721791494181789190263919021917282563281952284562192269592258392238192259223829225779224209227609221734922201792260192219849221733922230592218979221556922210892271992223892299222586922272618846391884190716631641663193416631989716706165630165806165120716520921652109183756669519836952038695210469524509772259527516206715381066104719949022219222251822240422213822267222240222490222422220242222455222264922226672222661235725172228185128418913989139494505495117376711735561173241117372111735451173380117311811734111733051173466117311173671117327011731986270697028896211661164166119191661198719867214494419144330447051283127319786011996901208596402167640217034021751106410471801249180121562748686154711181547384154710431547164717001689280020942314195323142648132913191683164168319461683199728872024198890203962127241733245120243301562330161133019013302201180754717501733142890861967164324123041953230426561413744917472465202466236624697838217839137831256783157778321972823185319826011982201522221853222226032542331155315382671261326824126854526838026811826841268305268466268126830622142170260928051799494924916112719771723168955228701418949344344138144157984482222241851193768621555861732173719173238173360173917322117371717387173195317315381731604173155717319681732306273063927302731255063919846011984201719842448279128462791288627912888643614062876421646865341075573265326145541069554141055414585542106554245225481027981665196215197975198924041682404169940417682526970921198192120469212229921246246815584681605468189946822032201921456157914561583145616301456190314562195982152230813902637261455565556535555065554945558955513955555755511955569655550455510555163555199555519425551681555170255516615551955555172355519935551898555194055516775551704555209255524355552105555210955527085552747555271410921084288241158523031131112324998924916882491774104712012700241215324921532154164124127024156565656535655065655045651056516356555756511956517045651902565167756519135651898565153956519955651942565168156517025652092565210967197311465662010902033104220333782033705203319120339203333020334420332349203315382033195320331606203319702033155920332314831767831556831241831545831380831118831418313058314668311831268202275416472418531262853128222482491178928621622267240224922528106010473139493131061313114311751166276419541159597967297967897969597958397938197910769797389794449795799794419791307979131397917449549384674138424044044490451825845542879209358256716559701779494215124921512241215122474191660419172241917325201219520123852012541001164810011776100118365805671892639189219114401662440170944017435939805931724820182076782055682024182026882011188203848201043245320241587231166935933123411704234116323411677234189323411884234118982341494234119692341170723411899234115582341468234128723414323411402341421234153423416234117932341139234110234115392341209223412109379331379104410433841043111828471697602160276760255660224160230660272160267160227060219867046146114487663382610922546868877198872388873608879887528887402887162887868872678874928872887221887717887878871953887153888716048871557887196888723064211674421170742117495168435168525168785161537516221710454472230185153551953589098113289811427196270719621955196227081962274719621641962271430624120932221169819216982391698202416982455169826491698266716982661250815381586963662872070672019857202585720272121011538210116032101104221013782101921011604210115572101230645019816049263926142241250722412549224125871455223514552628144075394459274667466537465067465047461074616374617047461677746188474618987461793746153974620927462109266926131559153828351954160523131006995246320246944694797694519694531694203969420246942451209427982094280019436865686481980601198020111255632258527072585271325852725563140423392523233925312339260526492614198324342202217075857267875967813041563153844473844410761326197913262044132622231326245612396244294220142340427134224266421953421976144275313076782045621167516416751936167519911305673278820242621279126212842262128447525639509382622230526221897262215562622210826227192622238262292622258626222726265726145295195291174191065422691689226969622691661226919552269172322692092226924352269210522692708226927472269271427866219489382655261416579701831566272617332726274989388089314129909819901318990135299014145315195318887072021586603112816421128179811281830277275317947171059171139171656111628821725168926512614254126072541260925412727254127297271046714706243589360154836015853601883360221515491538718706158322957125532505250695250583250678250672250670250381250382250577250420250738250444250579250441250760250173425020172506012501984250174415238071144566114856624479024254711296531129506112950411291011291631129170411291902112916771129191311291898112915392643261326432763689682196835868715664128422981953229826581407670140714332663261422202171260282129168920322066203222392032233120322613221021705173517469517331858818199090210920921087212210872134261220926931406693146069322256932458145771914572381457330145791457528145740214571621457861457267145749214572145719114577051457441457153814571953145716061457197014571559145723141677164167719401677199322261851136069613608913605341360421136014013604313602871360468136061360707136016891360166113601955136017231360209213602435136021051360270813602747136027141904639190419053401550340158734018893402213143475328062613280628346292496291164105810471281469174215191742185317422823744967744969744248217081689266526144894431271506129046916492412601273978226233781556378160337818973782207254621707759777512484223814225811002719100223810023601002910025281002402100216210028610022671002492100221002221100271710028710021968100215571002160410021590100215531002230610022298358155235815893581891358220916512412306195323062652574554282924919476861775173321231689284320245465191908654594159476759455659424159472159467159427059419861829566431969229619532296266223662350177749466950166911205074955076865078595071264178149419126541265650199290403381403575244976026312614254433025442589288328715765671612925472611254727692547278525472787166307163891635041521802798923170216891920686108833012636402606235716311921588927081689201675315909194968619812444158015381852280327425062455202424552799245528222467621235625192356252523562601260424871921518249276724925562492241249272124921445249213062492938249296824926712492270249297024923091968195319682630223651919416861819566236423501914654266726141744173324458916112319215758625329704203814205771767173319741953197426381519800151928243194194231693694312840284131247248319829833187988031556557311792179331521522316256263117801781311897189831201720183156356431691692311121112231272927303118911892318889314464473156256331109110923114014131198719883177777831104410453113191320312266226731104610473125472548319219223192092131761762315685693120092010314484493118831884312797279831112411253191031243424353155956031112611273114271428313853863198999031106110623166566631997998312549255031190319043116616731779780318228233165065131233423353123372338312422433116761677312015201631106510663164264331980981317087093119819931145414553112701271312444244531814815311682168331711712318908913180880931780781319169173121302131311995199631118119315255263122602261311778177931592593316906913127412742315735743116581659314964973113261327311662166331560561317627633113813931198919903114501451311256125731939940311776177731141414153118891890315545553111711172312134213531852853312771277231166016613127132714311816181731774775317477483110531054315155163111271128318888893124422443318808813114331434316866873120112012311651663110631064318928933169569631244624473189903111231124316086093160560631104910503122392240317737743119920031139113923111611731108610873114391440311997199831244024413119011902311941953124524631105710583113241325311453145431769770311357135831112011213151451531334335319969973110821083311899190031132313243116801681317017023119911992317817823170670731144114423181181231742743311059106031567568311790179131244245311674167531500501317397403165165231108310843116216331199319943133333431942943312791279231179817993112841285315575583114521453315225234215371538422097209842230523064223132314422642264342250725084215561557422753275442195219534215481549421579158042197319744228052806421577157842267026714219671968421552155342230323044297097142206620674223112312422031203242231923204222972298421969197042261426154215621563422871287242155015514217341735422357235842287328744228742875422668266942262326244226282629422295229642155815594224832484421971197242197519764226072608421963196432169016913218501851329739743222252226329749753219561957322177217832976977322108210932170717083217031704322093209432195419553228032804322229223032202820293221042105322030203132202920303216881689321726172732279928003215381539321737173832210621073219591960322707270832212221233217241725322091209232261126123222232224322755275632235123523223542355322128212932169917003220262027322094209532284628473297197232196119623217221723321709171032262026213217011702322231223232262126223222272228322749275032261626170228342835022350235102236323640217741775022725272602174917500227632764021743174402173317340217681769021691169202977978021857185802261726180297897902195719580217321733022488248902195319540227232724021540154102236523660217511752022355235602234923500217661767021853185402217821791110511052118848851119151916117517521112071208119239241164164211233123321111221123119199201112021203113313321191891911113011311110731074113303311199499511131411135213531168068111180018011111661167118108111111651166116966971151351411128212831149549611111411151119071908117727731111701171112152215311226122621144544611778779112241224211633634115585591149249311776777111085108611141511468469118268271165365411130413051188588611145614571191591611107110721182582611378379113323331125412542114904911158758811100510061114491450118018021167267311710711111701711135835911524525119959961156656711340341117717721110481049115865871194951144744811121311755756114424431113901391115915921119719811628629111074107511193194115085091111671168115755761110761077114884891136036111233523361119619711550551115835841114511452111911191211132513261158158211152015211185785811466467117837841174074111577578111711721158858911512513115955961119051906111909191011106910701111741175117237241151051111127212731163463511273127321182782811579580114984991151651711191319141172272311571572111917191811692693116246250035006500550045002500153026306630463016303630561221692170122195219612154115421215421543122217221812209921001224872488122173217412220322041227502751122172217312154315441222072208121856185712287528761226182619122180218112217621771223522353122619262012219721981227272728122201220212221522161219581959122587258812202720281218551856122032203312202520261221712172122545254612220922101220982099121858185912221322141226152616201420642034205420242044416997004179779841843844412609261041856857418941979841336337411921934176476541868741689690411691704122642265419697412412424111101111411081108241657658418218224115831584414344417827834112751276416596604193944111121113417457464141424114551456416768412340234141914915418178184115891590412715271641721722411585158641938939411322132341678679411276127741813814416566411603160441600601417577584181982041548549417547554165665741180618074172672741111811194138238341158715884188388441127812794144444541251725184154955041135513564174874941160516064199910004111131114417257264127212722416096104116111612415205215160160251267268511518151951881882515725735176576651120412055120212022511219122051553554515895905182882951449450511354135551107210735116175111151116511646164751226822695130530651683684512828282951335336517537545160360451312313511280128151383384515615625117217351799800511359136051959651132113225194794851967968518008015166166251670671511042104351749750511652165351269270518188195151151251273927405116421643511084108551882883511671685116501651515475485169869951308309517247255194394451640641512523252451128712885116401641512263226451116811695124024151198519865155255351630631511080108151111111125111251126518868875122652266512247224851254325445193793851135313545116816951604605517007015198598651622623519499505112731274511116111751287288519989995113561357519559565125192520519539545113611362515235245116481649516546555151952051226222635128528651688689512699270051697698511516517037045113921393515515525198498551607608515975985130931051639640516826835166866951246247518298305112621263403240524022404240124062102310431033106310131053019293011948194901225322540123382339015095100110471048011288128901909101917918012769277001282428250150450501274727480121502151015265270119811982011070107101807808018558560119421943016776780118361837015015020112861287016676680170971001181818190113061307011977197801506507016486490144344401140414050164965001193419350124824901719720016716720124925001750751011254125501184418450123332334014944950113281329011522152301126412650113121313014044050114101411011830183101113911400118381839011141114201705706018068070119191920013803810163163201193619370162662701114511460198398401258925900125852586018248250111371138011979198001743744017567570124482449014024030111120157057101108710880164464501759760011412141301593594011143114401569570018028030176076101140614070142142201715716011951960110541055017387390111471148011318131901770771014404410171371401225922600138138201635636014194200114081409011172117301182818290119461947018538540119831984017177180119401941012332233301258325840130730821645646211055105621646647216666672133733821643644211203120421687688212040204121163016312114601461218158162112481249215965972117182167567621940941211458145921246624672122352236219139142149749821499500218598602127892790217987992120462047212336233721215621572121922021830831211911922120442045211205120621528529211320132121564565212339234021502503218548552131331421664665215325332158558621144514462162362421135813592127852786211164116521144814492159859921803804211447144821116911702151851921201202216796802112851286215996002138638721663664212267226821120112022180480521260126022198798821243244212154215521101121311312216586592187887921123812392176876921627628216326332191922116416521606607212212222112771278217677682131031121707708215305312114621463212844284521384385216746752159059121105210532168168221702703217417422181681721203820392166066121288828892165565621809810211001100221127412752167367421621622216846852182382421986987217447452172772821238239211289129021127912802153453521105010512110001001219819822133833921112811292154554621763764221694169522263826392216891690222656265722266626672224502451222630263122248924902223532354222023202422217021712218541855222756275722265826592218511852221741174222278727882226522653222454245522265026512224642465222452245322263626372224602461222219222022245624572226052606222458245922169716982226442645222024202522264826492297297322265426552226642665221695169622266026612224822483222662266322154615472224622463222490249122217521762228862887221955195622248424852223562357222842284322173817392226132614221539154022209220932217361737501150615051502150315041521735173652260326045228772878522822282352169216935224862487522485248652196019615216931694529699705228782879522754275552209520965217401741522100210152165416555220962097521544154552217421755218521853522531253252169616975217391740521545154652252525265227052706522751275252275727585297597652275227535222212222522872287352287028715216561657522882288352287628775224912492ttt2ttt2 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])))