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