/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 542x15544340101x1545x10041505114x1545x10051002103x1545x10330130501x11421x11013201411x14054x14044133354x14535x13414402132x110452x11410331401x125424x12320504204x140545x11345500011x153535x10552413252x1013540x15034032502x1104352x11153344222x1204521x13033250434x1225412x13300524512x1240554x10311201343x1245540x10231344405x1304542x11233203340x1424125x13405051415x1505405x10040403132x1525224x15502510524x1525410x15115210132x1530421x15210254411x1542040x10111140251x1542230x10114211510x10403530x15124534250x10424242x11451231201x10425225x11425303125x10430215x10203154420x10452542x11431114201x11045435x11244305320x12225455x11410350055x12254140x13152323214x12540554x12012050403x12543545x12000234551x14124225x14222041025x15231040x10253403510x15530430x10104021150x15542405x13455243010x12.1245x11010434455x1545x14115051400x1545x13012001500x1545x11050310330x11241x11141023101x14504x14533314404x15354x12312044143x125401x11041330141x142452x14024050232x154504x11100055431x153535x12523142550x1045310x12052304305x1253401x12224433511x1125402x14340523303x1214522x12154250033x1455042x13431021130x1045542x15044431320x1245403x10433023321x1521424x15141505043x1504505x12313040400x1422525x14250152055x1014525x12310125115x1124035x11144520125x1040245x11520411110x1032245x10151124110x10353040x10524354215x12424240x11021321541x15225240x15213035241x15120340x10244513020x12452540x11024111341x15345401x10235034421x15545222x15500530141x10414522x14123232513x14550452x13040502102x15453452x11554320002x15224214x15201402224x10401325x10153043520x10340355x10511204010x15042455x10103425543x13654321654321118240213031292130313531303168428364712948193225212689124312282868295728682963140018071400186714001869140020651400257936634036612091868915281878613012711301712130125161301253613012700793109579311547931219867267528086928091428096089982189942689945324212407292678673311817331244733125673316382003200710200538200920053420087200870200222020018272780285919402872269019322393630295688133520718919189513896438971789112725587862489562248960024895831496696125715624542517202401202511202551202659283847123671912367239827120227150027165727142712694271294827601912760276333827333811878607411418202314182188879875341755162175521221755222517552509732211411171805111720151117207911172164533553316353327453314353320353318925332392533188453323611156145127406012740282165864698398710985389899853498879887098222098182779457941637942747941892218149127162885271628871475671252526832504401251228113541331251897288849110684116611552277602116322601163237211632527290823007427332738202247561224722762247255797108597116597122121734917345734717734513734897345627346007341217345837341637345857341886250927512509275753752591510282790285513671356242755943212914321314640630123716312374541237320123788123781237231123738512375123727412371892236319123632394194828618862211260387026031827147389961992933199456015608035607115604265604365607735606465606601979193247122484712330471236647125151993193214982311593710159353815939159343515933371593140159362159325315933991593315935361593651593182325952614655224265523246552362655252162826288206281162827362833862888162887219771932245773529022300278997811627259034020401110285819324724264727114724714722984721184724147227047236547214724362114211271211116521197211251627021932110773043642643616484361723119892399630784668124912281249153827326026592240659232065923606592519257078617927172517270127346012734281129927329911192991183668889668947668180325744711870891825870269619326385638163638274638189292799292717152369191236924005855621724348195319331811880318821184531871118436258634028287172828283125289725349720863401118273111832111182039111888111181719111827511181128111820381118111122495612249227822492561251127532511275925567864118474118974125912588340362314032533337339934352335242258356249919920883406521223652201765312506531560600562772748553149569128123896302684193220803406176021995193213247121324116513249713242536132419321324270040578012265142313230016781950167820871678217826781932285419326464266461274423001340133195389692971098809435933791409629253939993952494217148062535269958588523153205385545434166134186122756026426301000710100053810009100043510003371000140100062100025310003991000310005341000871000870100022201000182715247352281602598562112611191969193265965536651263112463725249727588116811671319273242955925687861664196821975247651248765156821794911639773249140112204912361191236123922873882308270523082707230827412308275523082780136582013651113654521365318136516213658613652291365383136521365273136533813658811365872291729391806871674346749169016490171716621976284071719008920181109244424332520972758191275827616218326218956225892072340237319123732402183387016681978116471011645381164311649116444116487011641825160162070053218988923448202344273234411234488123441187234433823448722523268714111181270129813651471258234026761932190219212325230081830818938258715912262654165480365482165442665445392219441884892833289128332901283329156901355690235824727351663972113877716208289260128922933242324076452254645233264523686452525901890278197275023005704570271570712570251657025365702700235723352357241613381331222864172122681721231217212541285619321426141128601932182387017223482024110928423402918972706365270628271130275221252416619744942680323312300609559120842840274340275040276727482300239563028127861547401796786257727332577274325772782168316712564786259234027172516271727127177122717253627172700861826861891862585139820071398215613982162291023002704111115922221159225052746230016699729169791670224356122432274224325551654235616542374783179178317975124922871193323332300197119323493349710349538349934944349514349870349182534918312533268586876586812008681273868165412124282283602222252422222473254297916983221452422142471924710924538924992453492487924870924222092418271896892365191236523966196021723226617232299172325351170115512144911418914163914111252319230053213045321368532166653223342688193221551036172317271017253817291725341728717287017222201721827779764269819322092340121892573273525732745257327882692193217114252550786279197257247164361206255627263396469275223357265726163726274726189272611101685167113366377921942627141062724321539735166797252697157175126932955294219327411472741180974119012106287013561392273660127362815384340384584384614384797118640527626301037710103753810379103753410378710378701037222010371827176317484554264551503455164645517211092171092257728328132756191275627653863403865973866163867993861207218949125152693217149124315591309129210477101047538104791047435104733710471401047621047253104739910473104753410478710478701047222010471827136424261364244313642833270019322302021827870764130811681155164177661560243315174331546270294736834036856136860136878525132695293278620108820102573657224665723266572364657252328698782580340240363016477742263561239163014389143629149053828946012894293192319529232009923209192321808537315691167569121711882022816786301273999243010361948808154080824792414270328621622229231823832452283447125064012008110921955242165491276463026941932269425162694295616791631679454167932016798816798167923116793851679516792741679189222676012267254346441424201430043674425804812804160023220223264523212652797972924972584340291529411504712194588279628534003404005824006104007954001211163576816552811848870470426827756557166050149217611748122249152017465202445182181666197025712737257127472571279029232949103521941892898027862819022811169281121528120252417240725942646251697161242766376671076653876697665367666576644766514766182376618257661831122449128372893283729072837291713342386133424241094108810452196535525234623352346242034813063481370348166428842772639251497800786225556122552280225525632442821136913562576471559130255913665591668559231828107861201201120125712038110923272300121649122415612241227222412551145510902315230028222822732823382822992828812821649152673528352899283529092835292317128067576687571202140116314014541401320140188140181401231140138514015140127414011892621159420943401943193211844032387629991710991538991999153499187991870991222099118272964193363511086351213635214627839793419469342093934218621874911563743156315701563163412362256123623451236237012362533142080314208211420471142029814201181420411420270142036514201142042614204534294252442435423374214042624225342399423428704218487197272527269164182264188364258121634912575273925752749257527961307129213071337130716801305129213051339130516822257561225722972257256929006012900292527882857453426237519123752390162221916224902622870262218276379006379256371129637180163718614342814341584154169222696012269254994892694817602655870265518271831870109026771718814990242825620225649111281119112817191981227186091518602767172053118868911161820111618591116189911162593127255318948912034272541267915694017188547181093718109771817139261038926122592615079261762237119123712388240163012451228124515251508718150817112298602254202254655254127122205242220245622796022766630186291532020373202085320217016659769373520311852026110914192213141925031266553928147423976302519269752134852114895211497167719312078340222664230977323094262309123096462309660295019323405993406183408011264125915614011649774112016401660195417983402522971955193219031912180434012104282775248827682874241527427386012738281719472039031021152106125112281251152321232012123283529401932285019329357109355389359935435935337935140935629352539353999353935534935879358709352220935182715186925581329558166255823142536976116022261561226122822261256743182443188543258312184912852193266064666077319307449618926861932669366971066953866996695246694266910669636698706691848669183366987121028511716814195120327822849888803888418882708883658884718882988881188881888453206627525784712544786137113563212733218632122932138332145232131832116232123213381638916364116345416332016388163816323116338516351632741631892163111079878619207445395255391487133016702886340235923352359240625102811274642708273127082809201688201625751488686194988194921201949222719492511282278664463064475864484827422300227360218023402958435245511852455203245523922455191245523611300207713002172192620175421052425240665664621212012121283710962031595158927542335194115041941254219412516194125361941270019412694194126801262558181975124747352552786819199256278640816182028391820284187980387945387982187916488797118791723879436879257623212300293478621572147268019321808870435251319117444172772841556557412957295841721722412120212141934935411562156341883884412716271741569570411011412082094111291130411363136441141814194110911092415265274167167241123012314192792841115511564120092010415555564163363441634635417637644179379441666667416066074127427541126112624116461647414014024115901591411750175141771772412015201641407408412752764134234341318319411678167941635636418508514112981299413403414165265341139813994115891590411157115841130013014143143241164816494176276341626627418098104113961397411200120141816817419091417747754111271128412812824111581159418808814132032141298299411314411260126141271427154173673741881882411112417737744133733841864865419798417157164111191120411125112641855856411335133641300301412122212341272273418248254156756841739740412065206641516517411397139841118111824134334441492493222433243422240624072219351936222481248222243624372224542455221318131922242024212224222423222486248722233823392223042305221101110222244924502219161917222865286622241624172223082309222770277122987988422112211342203720384291691742132313244224112412422485248642111111124213211322422025202642234223434227692770428748754287187242872873422703270442201720184219101911422023202442244024414224122413421903190442181118124289289342241024114221062107421814181542193819394292392442891892422007200842110411054211171118422148214942181218134224822483422305230642286828694211101111421108110942894895322907290832274327443224352436322318231932243424353210281029321115111632110011013213141315322314231532192119223227452746322343234432231223133211131114321934193532191919203227412742322409241032233523363223262327322320232132873874321032103332210921103219221923322747274832248424853210291030322341234232990991322453245432111411153219251926322438243932290129023221472148321316131732230023013229092910322439244032181318143289389432233023313228642865322110211132240724083223322333321317131832229923003223242325322749275032132213232328782879232618261951129612975142943051751752511454145551182018215121942195511489149051514515511225122651221922205181881951807808517377385112341235514944955151351451910516626635173173251689690514142511333133451175317545171471551761762511400140151520521518618625162635121962197516076085160460551530531511244124551125712585112651266518951686687515525535115881589519495519293516376385186875156556651694695514344511271127251197198517437445184884951174817495112421243519299305178078151125012515110441045517777785112271228512213221451862863516686695178378451992993519029035164655112481249511452145351724725517867875115401541512221222251280281518178185122112212512712271351167116725193193251159415955149349451164165511517151851664665517417420035006500550045002500150325942595032648264903261726180326532654032598259903261626170325932594032875287603287928800326202621032651265233265026513326472648332646264733287728783326212622302630663046301630363056129849851227012702122154215512193919401219131914122677267812244724481211031104128788791224802481122336233712921922122851285212215621571219081909121933193412917918122867286812285928601226932694121099110012922923121994199512214621471219921993122450245112233723381211121113128988991219761977122949295012876877122307230812191719181210361037122855285612190419051229412942121929193012267526761228532854121970197112195419551226852686122772277312194019411223402341122111211212277127721228612862122691269212210721081219781979122697269812276727681227742775121937193812286328641228572858129889891229392940122114211512269927001226872688121909191012210521061224432444121942194312196819691210971098121105110612243224331227682769121816181712269526961219311932122683268412103110321226792680122452245312240824091289689712181818191224462447121106110712284928501226892690121924192512294729484326022603432881288243259525961014106410341054102410440117017101926927019259260186686701179117920114014101812813012374237501753754011360136101856857011292129301136613670152452501189518960159960001636637011421430178178201188318840112012101582583019949950134434501194619470123862387014304310123702371016976980188890113321333018268270175875901930931015975980117461747016636640173373401202203018108110113311332016496500119819901196197012713271401270827090112281229014284290118991900012759276001536537016026030178278301189718980143343401147214730166166201603604018238240110891090011045104601109510960116216301623624019394011181190153453501236823690127572758011717171801166167016536540140340401115911600114741475011671680152752801688689011869187001899001803804011751175201566567012364236501193194018868870110401041012732740114150172272301158515860116170114511452018068070113681369012062070180880901947948018138140123602361011885188601765766015385390171271301672673016706710112351236019989990128272828018548550177677701584585019609610199599601561562011715171601497498018518520110431044011592159301236623670114531454011950195101496497015315320113551356011399140001141514160118931894011891189201237223730112971298014954960168468501141914200110851086012839284001137013710128312832012362236301884885011231123201275527561160860911194819491125512552115175181128872888116926931125572558111587158811720721112780278111250525061112191220111944194511293129321111831184112172217311142514261111871188119289291185986011229230111719172011730731119697117177181125412542112815281611175417551110461047111090109111135713581116681669111221122211256325641168768811166216631173273311252525261174474511278827891116841685117998001129232924112473247411256125621124262427111670167111242824291162162211282128221125325411959611249024911127027111280928101121702171111691701111201121111358135911341342117927931129152916112225222611281728181112561257119192119339341180480511256925701119419511255525561119920011667668112533253411216421651115461547111651661162462511121312141116801681112471247211698699117557561116661667117697701115381539112523252411887888112917291811867868112012021176876911115611571128722873117197201127902791117117121115031504116966971115601561112503250411252125221199399411168216831163163211152515261177077111725726111568156911718719111041104211279627971169369411256725681115231524117957961125272528112515251611293329341116641665112188218911218621871123123211150715081116601661111161116211149714981125432544119329331124562457117297301125132514112552561140240311127312741124302431112162216311498499111223122411121512161180180211222722281121021111251925201185885911281128121162062111139413951125352536112762771110861087118258261140640711254925501178578611136113621134634711167716781199799811295529561121782179117607611112171218111718112925292611278227831174774811207208112180218111665666111516117977981155155211141014111188588611203204112092101125172518403240524022404240124062502350435033506350135053217107112116761677212575257621745746211674167521821822211570157121270527062174874921814815211160116121158415852134534621123612372172872921240024012112091210212761276221239623972113591360217917922134834921645646212398239921532533211591159221239423952146947021622623212765276621432433211088108921787788212571257221695696216486492147147221283528362182082121425426214544552155755821657658212711271221750751211747174821205206211638163921863864211762176321176017612165565621257325742173573621641642215295302116816921238823892125772578211334133521172117222116721673212390239121643644218058062174074121822823211211121221659660215595602142742821629630212837283821171117122185785821435436217237242160560621172317242175675721239223932151952021564565211713171421123312342114951496217647652151551621120712082128332834216906912124022403211411141221165416552199699721713714216856862178979021251125122113921393215585592114141415211487148821250925102127632764214524532111631164216396402112951296132596259713264926501326542655132876287713261526161326002601132874287513288028811328822883132601260213288328841326192620311165116631139513963164664731383384317547553110931094312893289431257925803122542255316997003113061307313994003184985031141214133116751676311353135431224022413127727831258125823199910003128412842318158163110381039311586158731133013313142642731228022813112631264314044053120420531616617317787793127102711311202120331133713383114171418318528533125872588313673683127352736311413141431209120923122722273313473483113041305311123112431136213633177577631224822493175976031180318043188288331224622473111541155316476483111851186312591259231752753316106113119119231224222433152852931273327343160160231121331130213033162562631500501311232123331130813093178878931129112923120712072311299130031108710883127312732312891289231160016013113641365317387393111221123311752175331525526311229123031258325843122662267311293129431511512311169117031518519316186193113561357312709271031133913403161461531227822793127372738315635643114161417312268226931270727083111621163312276227731278279311039104031104210433113291330313853863162762831790791316326333140540631225622573125892590317467473136536631767768318658663133934031229722983127928031207720783118011802311121112231491492312885288631179717983116341635312585258631562563311711723112581259311393139431651652312079208031650651312739274031226222633155455531164016413112941295312274227531673674312260226131228222833155355431271527163112591260315685693119519631209320943120852086312087208831630631311673167431174917503119219331289929003111671168522487248852182418255221502151529209215211161117522448244952900901528898905223032304521847184852191219135224142415529189195218221823522773277452183018315219271928522445244652869870521034103552182618275224792480521832183352983984528908915219071908522306230752181018115218051806521809181052131913205287087152190519065221492150522483248452180718085325972598532652265353261426155325992600201120612051202120312041021817181802186718680219141915022302230302245124520219521953021033103402286228630298698702275327540224882489021915191602186118620223562357028778780224132414021902190302110211030229632964029159160210301031028958960224412442021098109902286628670219061907021936193702233423350223582359022151215202192319240220392040021315131602242424250298598602919920029149150227512752021932193302210821090221532154021859186002103510360219181919022345234602989990021109111002181518160223392340021926192702230123020228702871022437243802897898021320132102190119020221522153028758760219281929ttt2ttt2 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])))