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