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