/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 014x15540220254x1041x15223532254x1141x11442035445x10111x10351203245x14100x11405425530x14113x14520523542x101120x13232354520x103013x12035501212x104413x14545054552x110410x12302342040x111431x11420544553x1000431x12320042433x1011113x13123234133x1013431x11545220351x1014513x12053231503x1015000x15210105400x1031111x10331303233x1034010x11235352540x1100111x11155333002x1105130x13230102003x1131141x12503254544x1253432x12520543332x1304103x15233021030x1310155x15420003355x1451131x14455224540x1513412x10442005522x1524413x15550522212x10000443x11544431505x10041103x12120350103x10341100x13330114350x11032131x12135535514x11103513x12535544133x11131130x12312452000x11134135x12552121525x11334052x14543425522x11340432x12311540352x11511352x10103324322x11531344x12545115414x12134311x15441414415x13045004x13050020004x13400130x14430324220x14014320x14502033330x14040344x14443514144x14043210x11423553235x15134131x11544343012x15144300x15025425220x15500415x15432025555x12.13654321654321272228026458212645267718398842441111185429502868635286829843142643146352618287587186226257313642091281811530061232501249089989186940112872948205105820510722051108205116920513612051463205157427591763239311548687883582229831011233892979228678991310571010571145105719732367111175074114061396140618931845885184520341905189723409260563526052714860341967173226291972641821244311112443273611562446110910817941480794211727691081277398976741475493147553814753311475146147585147522514754441475214755211142112312882506128826221288264425182821116627442297102297239422972687273327395227368227368027392738742738627318727367827387227364273116273298774217592509264238511111966811196665219663561966707196626419665401966263196616519668196624219664461966519666501966807196633221169952317108123942742173317162942642946462946972947862947162948912945402942632941652948294242294446294529491229464829480929431212502263250726426036352603271237426899331482933211910739264782126472679882674197219581593157521462302214623392146236621462400214625732146257921462608214626366287796281431100899628581770657068117066527063567067167062647068917069127066487068097063125021502852502393502197502226502665502836502559502663502579502245502603502262502613502884502249050226275022501502288216252616162527081625298014511514574014583214589014599528666352866298246148446162046115034611562122103522421028257440418251234913414911393172423181724233517242384172423921724256717242606172426341811822618953182241822861894218834181151826393651365665365852365393365197365836365732365559365581365245365603365262365613365955365884365954365249036519536525033652627365250136582236583536528803652882978120122619722617551118274864312325882750361316732233291345835561362404148314666536368127872684937128985212893931289197128952012892931289125128937128926112894251289112892266261934061246111924421119277211192799111928151119284711192859111928671119291529802988298029902678921411122919291949391948591913929682987699526476362437111158516552425263544655401471151477491478981471005147522147311147144147631471961474271474147863147111114724531200948270319734112633411548341171537229417781760642121264214336421455642231464223606422372268527682685280526852807268528172281103610762288107191055103622891036262719726722661256840412529521252682125268012523125291252874125286125219361252193889118482409111125052641220341261519423619243197756741270799519292440889400300229752311104419315254454042989108118909212241972520665252083625203332520245252055925201252073225205812520603252024902520250325201755252028802520226252019529492934629237311112566404159939326131941341270021189952470111110348191758837205726502059268529691971371125126112931425152019369364094066740861123105612310761231095123114712313671231461123159210779107767610773941077310778701077381077228727499267626611430561270126902295103619022618190227101443630101099610101405101941019100910199111019755101989810191151019494101974910191005101914710191111101924531026819159115758778628779359362103261428792472117739673997173942673973173919873944573924897391476739101073919473926132846404977271901891833822100499610041403332264332650332707332807601559601654969194316261009162691116267551626898162611516264162649416267491626100516261471626111116262453268292713176651317852131739313171971317836131773213175201317293131712513173713172611317425131711317559131758113172451317603131724901317175513172261317195131725031317288049013594901380490159849018244902162192292720379573349623342956193893628601724241963197333197393197612197852342134285234239334219734222634266534283634255934266334257934224534260329181620291829314284044286004264044265801342852134239313421971342113429531342224134222861342942134283413421151342263912131957121327222503249067766840224024934025214028374025394029434025234024854021392402175897069706029705789704049704599702576239511674873829783005280010811366404297229926345012451111126125002612612261270427119953893867638870386803833887438863819382717101186986680868742951922675401271510111729171655623415562345556240255624255562575556261055626382916115662266249366252111578751157877115721041402852140239314021971402520140229314021251402371402261140242514021140222622149332609635260927181766665176685217663931766197176683617665591766520176629317661251766371766261176642517661176666317665791766245176660323481081619921170111191289191210461214247149319371944935231910815402448268894321552139131016761358396788221026982885269829196796682092197810787810206518551618551921147714666396114624463136403649210759265389327981081105322610531249919362499193812561308125613331256205240446040460240413911161871161283116952116682116678116311691168721166411667611639411687011638116228711611121162295273510382985101146836414566357411027185349318535381853331185314618538518532251853444185321853485185313922743103614382510143826402745926371151092108118242278394627124212455712487512487712453912452112483712417565222454158515752987913644042153213929226461388361318446132624116887711688711168493116885116822511684441168538116833111681461168211688751168557116821045653633681631293291411461123203510252643562643662646522647182648115382452228710362287116228729878318222403115204105430081036261163526112720717698271310119515951811951652951356951707951264951650951807951332853142928161158738622723102722481030298188087878082067285214622252331244425388632101216121397879262919300311871114424634144419643114427452294167412913362379111127059951392485101810741018109110181110101811431018136510181459101815901018259015044618762438287419730041978274995574935578555722555744455753855733155714655728433645011070501108050111215011158501136350114575011584122212151404139652024692709995580250258026145802706425262695914657547412721101182048209208201009820911820755820900820751820115820821820100782016682036782014782049482089082074082075682083282099582014582024552453111115359711535426153549215353131535114153539153524415354031535615357311535198153524891535147615351010153519415352613287619713909551390884299111112147100921479112147755214789821471152147421474942147749214710052147147214711112147245310591010591141105919792957927795479510097959117957557958987951157954947957497951005795147795111179524531334265210452261045224104595310453951045228610459421045834104511510458381045263993179318562346108128841972607635260727163571011925888738185425764043005300758155958185258139358119758152058129358112558137581261581425581158124526191945598362810115190126001458635145816181458215215332671708698708190426391153352917143261626171949442683231510811543152615431838162329702264103610069961006177716321621140123161401232014012378140123861401256514012604140126321943243629141151980195823871152439111127719934293449393494393452315637441563207717652504176526201765264212611512683096012559601542960172888520367196986496467864872216321386816681122197111222241131627025795595796632621197752741175683715411526273710382655162655268111575511583411591111594211510091152286109095310908521090393109019710903951090224109022861090942109083410901151090263926231971987311989711984261982489198147619819419826131128784245197245175717252621725613172588417252490172526271725250117252882683668683978189492326518219451190156974323429269997126994262699731269919826991010651636154919715831151439490150212612068964114411222447111116811516875316882816890216810032401115264382114646351464213866665566465546215012063206952206682206680206920687420686206676206394206870206382061936206193820622872279103618478944922450147425081474262814742646228629862670485261228811266125613684042519287352149352119351682366207819429201941360404284840482982252349352318463402933288019728069144591264125626019112087311208771120493112097911208511202251120444112053811203311120146112021120871112087511205571120210411205391120981953135764963610022049321444922675358813102822471903493190321903943190352337513758523753933751973759533752243752286375942375834375115375263954149324261111210212119511953331956121952261958361955591952451956651956039038911251229612512337125123471251240812512561125126021251263025601118367920367129036710093679113677553679003677513674367115367821367100736716636711113672449148114661930935961696197196142696173196119896110102686371716188978527278519292591258019414761942115194248921048626035596036651211981185716185718952066964244911118758622631115447404447558447191911672444116727701167279711672809116728451167285711672865116729131661151667511668211669001661007984784192092873726605394932886197271910112882197112312212060602206057820606206040420604592060257628229228222968996156823369258917622621972622262623726226126242526252026229326212526212455111131226431264831271631280921209951096108114606351460215413812553661126566115406611730263311512629226162883280811112943485294313922635115146263514622160244511112445273425624041960241445940445957817311716232191534265426809219631020197419582110311032219119122114571458212932942112871288211871882125042505214874882118971898211579158021200201212912922131331421104710482192892921263264211285128621101121131613172170370421221322142119019121286728682156256321895896214664672188788821410411211578157921671672212162216321962963211048104921122112222163363421143514362110241025213983992112141215219192212606260721287328742112631264217867872179179221913914212054205521146114622114551456212654265521807808214014022116761677219649652133833921207720782146246321184418452128652866212506250721814815211459146021733734211201212118461847218418422149749821890891211854185521357358219559562112651266212604260521780781211255125621364365212608260921340341211259126021705706214964972116221623211463146421902903218098102113961397211529153021878821311312212247224821293129322162062121112711282112132190090121929321167716782113142118561857211001100221124612472122102211216606612139539621893894218848852114681469212672682181381421746747219759762162862921737738211357135821261026112199699721153315342110211022213313322178178221147314742181181221250825092120522053214894902127027121121712182165565621898899211397139821333334212602260321102910302113091310122513251412293929401229402941121119112012242324241211671168122588258912119912001224982499121156115712251125121212101211122974297512297229732226642665221196119722294829492226602661222512251322293329342210371038222510251122249324942226712672222734273522103910402224202421222751275222269326942225192520222304230522273627372212071208221088108922275327542229422943222661266222230923102213891390221164116522275427552226752676222586258722115311542213871388221040104122108710882223052306221082108322255925602223102311221083108422111611172213831384322490249132251725183229352936321205120632108610873211621163321388138932294129423210841085322579258032266626673213801381321114111532115111523213811382322418241932269826993211941195322976297732230623073225902591322308230943299930004330003001432994299543299329941117601761116166171161861911265226531112511252118708711119431944115405411119711972118768771119621963112718271911192919301184284311356357118568571187487511147014711186886911215221531119731974111718171911978979112714271511298029811113101311114924931152052111861862119429431117611762111391139211172417251119791980112685268611924925116426431119119211271627171149049111947948111401140211888889115565571148448511358359111018101911190119021128572858118728731112312411214621471129842985118928931128592860119459461193293311938939117327331121032104112160216111213821391117551756116576581182382411560561111957195811980981112982298311268726881119601961119379381127202721112052061189489511271227131117571758118558561153853911501502111308130911522523111218121911836837111429143011215421551115281529116246252035206520552045202520150329972998133001300230263066304630163036305652246924705211501151522663266452244024415211931194522438243952116111625224912492521081108252241724185227502751522450245152108510865226962697521113111452104310445225152516522307230852103610375224952496522581258252241424155225162517521190119152293829395223662367522454245552280728085211471148521044104552120112025225542555522444244552297529765211581159521089109052230323045224422443522584258552120412055227572758522372237352242524265224362437522758275952116911705229902991522668266952249224935224522453522408240952258025815225572558522384238552237823795229342935522446244752244824495225532554521110111152266226633329962997501450645034505450245044518228235111431144511251265186686751939940511718517047055175375451173017315140440551150115025110581059516146155110201021511052105351172817295113341335513363375119219351224122425174074151131313145123862387511260126151124812495126462647514984995162963051500501514084095116801681514934945111711851369370512650265151564565512022035189689751146147511981995127082709518658665137337451125712585114421443517827835113401341517387395136036151102310245128172818518158165193693751157615775191791851101710185126442645518628635117171718515595605127062707511056105751167168511121112251229622975189905122122213513343355121172118511681168251910516316325181781851271272511338133951139313945116175128152816517887895126422643512809281051165166511723172451102710285170170251196519665175575651879880511336133751272227235121192120511028102951958959518918925167067151139813995127102711512640264151819820516406415199899951121212135121452146517877885136736851291729185121152116511441455117151716511141155162762851140014015127042705518638645126832684513613625166866951105110525124022403511312131351405406511534153551880881519239245118511852511333133451199200518858865116781679519991000513663675195095151268269517837845111241125512652665185285351161916205112191220511581158251158015815112831284517517525167467551981982511618161951818819512400240151641642511732173351239223935137137251749750518388394121432144411339134041103310344139339441205820594194894941260026014110501051412053205441935936413683694112112241193719384177978041927928411072107341205920604140740841206520664117211722412986298741144414454133533641214421454166967041114111424123602361414854864119351936412748274941101610174123202321411961196241396397411958195941233923404179279341177717784128052806411577157841616241172217234146346441191919204196896941125612574198398441195919604196997041667668419169174122112212412335233641133513364112471248411070107141676677411213121441854855411850185141247124724119631964414995004119641965418586411341134241943944417937944111451146411720172141613614411582158341636441101510164121412142412012024117591760411623162441944945417847854123942395412341234241940941412067206841189318944188688741300530064110221023413723734118481849413738411399140041700701413743754111221123412772277341122123419189194194995041878879411161174126426541129012914146146241894118521853411250125141274427454110761077419469474182582641406407411074107541979980411624162541115116412722734182682741963964413940417477484191491541922923411013101441112311244115164167867941680681411575157641233723384127702771412042054168268341182418254118961897411904190510321052102210421012106240234043403340634013405301816817011311131201162116220174574601832833018218220122522601154815490126322633011562156301157415750115981599019339340161561601103010310114031404011584158501263626370139940001731732017907910165265301121612170165065101102510260183483501159015910121392140011625162601146914700126282629013003300401394395011046104701622623019579580120562057019669670117161717012034203501952953011530153101159215930129502951016366370164864901189190018288290122322401409410019749750183783801176217630157857901263026310158058101291529160197697701954955011542154301163116320113951396016126130119021903012913291401154015410173473501288328840165665701261262013593600160060101101110120120320401104910500165465501242243011961970114150118381839011191200126382639017447450179479501262626270126342635016636640192192201131513160114311432018838840185785801124912500113371338012821282201152715280184084101673674017437440111261127012692700120362037011112012875287601702703012442450116791680012881288201162016210195395401287928800114671468016026030146446501262026210119001901016466470183083101146614670195695701370371012885288601126112620115251526011941950161761801495496019319320178979001465466016356360114371438015585590165865901363364011471147201262226230166566601140514060195996023299829993125732574314034043133733831261626173113591360311365136631266267316997003114721473319299303193093131362363317357363110091010319159163113611362312968296931101410153196596631867868314884893112881289317367373120912092313973983196096131121512163118818931214221433128452846318598603117631764318889311465146631486487311898189931100310043125672568311438143931494495312612261331444445313413423117641765317187193110071008316256263171671731638639312681268231561562312677267831214021413110051006314604613118951896316236243192092131291929203185885931971972312057205831427428311434143531256525663114801481312679268031150315043114821483311284128531171917203112861287311032103331153215333145845931261426153118891890312624262531909131189919003119319431967968315635643182482531972973311568156931256125623142542631147614773111811931295629573163263331400401311125112631639640311436143731147414753169769831997998311526152731661662311314131531270227033125752576317427433113671368311433143431339340317077083186486531982983317417423192692731205520563112581259316376383128472848311971983126182619311363136431176517663110121013316726733162162231995996311921192231659660318818823185385431698699312101210231184918503144644731139413953110001001319739743163063131153115323146746831839840421192119342297329744212031204422345234642275627574227992800422286228742268926904229882989422415241642116611674211181119422665266642258725884225562557421160116142116511664229772978421198119942234723484225552556421148114942266926704210951096421191119242231623174212081209422742274342109110924222882289422421242242230223034210801081422422242342297129724211541155422970297142111111124210421043421202120342276827694222782279422294229542279727984226672668422494249542228022814223142315422497249842105410554211121113421149115042110811094225822583422416241742111711184227002701422318231942226322644212091210421159116042138213834210351036422583258442138413854229372938423007300842115511564211971198422978297953299529965329922993001100610051002100310041022755275602269226930211631164022691269202241924200211951196022697269802104110420226942695021115111602258525860224892490021152115302269526960213851386022496249702103810390212061207022936293702255825590225142515022500250102275227530225022503022518251902138613870226902691ttt2ttt2 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])))