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