/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0011x12342455244x15313x12242442451x100015x11342133455x100025x10132455135x114023x11332344214x125543x10134423243x145250x12442234520x1003130x12121332220x1111115x12232433115x1203415x12342312145x1405102x11023224522x1410012x14014224352x1511043x15214442142x10000314x10121155522x10010013x12033440351x10020114x15220444441x10053043x12035222313x10053130x15523542220x10100004x12451415542x10151400x12224024350x10254400x12342145400x10301013x10412453033x10502514x10224404214x10504043x10535212143x10510025x12142121045x10530144x12124255124x10530544x11112224311x10553432x12333024332x11043554x12221453554x11200530x12203120330x11230004x12123143254x11250005x11055030525x11405530x11243010420x12031004x12041153332x12052545x15122042245x12100004x12145522122x12300012x12040443452x13000454x13442130032x13005433x14252243521x13034014x14242430152x13255000x14311245350x13343415x14434421145x14340543x14341434214x15000551x15232253320x15001144x15503033324x15005512x15555141522x15012514x15055513244x15102514x15012424551x15110145x15210412430x15125141x15524502243x15253144x15243121214x15325001x13421434553x15345014x12321450242x15450054x15513510402x12.11100x14425542432x13135x11542442422x151000x15543312431x152000x15315542310x132041x14124432331x134552x13423244310x105254x10254322442x1031300x10222331212x1511111x15113342322x1514302x15412132432x1201504x12254223201x1210014x12534224104x1340115x12412444125x14130000x12255511210x13100100x11530443302x14110200x11444440225x13403500x13132225302x10313500x10222453255x14000010x12455141542x10041510x10534204222x10044520x10045412432x13101030x13303542140x14152050x14124044220x13404050x13412125350x15200150x15401212412x14410350x14215524212x14450350x11134222111x12343550x12334203332x14553401x14553541222x10350021x10330213022x14000321x14523413212x15000521x15250305501x10355041x10240103421x14001302x12333511402x15452502x15422402215x14000012x12212255412x12100032x12543440402x14540003x12300312443x13345003x11253422524x14104303x12510342424x10005523x10535421134x15143433x15411244344x13450434x14124341434x11550005x10233522325x14411005x14233303055x12155005x12251415555x14152105x14423155505x14152015x11554242105x15410115x10342140125x11415215x13422054255x14413525x14121213425x11005235x13554341243x14105435x12420541232x14500545x12040153155x1265432165432127222411821167140593214058941405314054451405455140518291405166140516028548348711235871125116021663293194294034297881895102049444519401588187971437658157983316088681335874133593913358881335471133515713358133522313355511335613359241335883221644822161308891476745604204640214419110623063563258608349679751117871117189479412017941974162489410746101020229787412619674011665375105378535378735374445372065376753726953753653751248123617339622240933294116529412472941284143165010462002104620451250123614799011237154320695122069214814091396140917269669628796874968859615996296962269688996116796118230363038743039393039243038833032963032873038853031593032262185448218522252185223714356589331615120912021544799326105032611283261278326140888221761363197213632158136323231368813638013665813676916751679661676331678591675101678331675351677051678511675211678551675541671424167139616720951672155998199882399842899815899881599820999856999881799818999822599816709981564998144317571917175719411757209617572162472445511597511944511999213235065975419169157583315327545859470515412097139618118169187381103202911032256110322682262962262872268742268882264712261572268226223226551226622688522615941941874132815778333853208327134733553388214111396206322411042871104874110488811044711104157110481104223110455111046110488511041591246123698816331727954227117701565828163489422556922513071114195819953182149771107410381074142810741434187158187796134884114411578411347411115411404411695411941166411328411824411570411818411874114141182241183541131841119959135934793499578567520652695444553658732091582098152091599203011720302066951270951745951779177882317784281778158177888417784541778168177840177823317785091778117788151778209177816701778156417781443193287193222981567828191893192150132815371328175199716311618702692166021798963813733251570144621981446220610951896889874196522444589444592344593244514422246852246942247047138619383991601199414482117159919961530747211868621182186211822272118223517589661758633175851017588731758444175820617586717582691758536175851758855175855417585211758705175883317585351758167140116812331454150918848268671308448130822231308225414431564144316702291874101999710266561957287922576840400129812851663933183719251837193118372296100470089591520675122067213318381448162689416261648162616685701749965408770762410120841015762228924117319561173200411732043193415816617021283397121312021376296137628713768741376888137647113761571376813762231376551137661376885137615913762262084139616168772044402170021521366135823142215634628634953634960634102968715663232012612302536192353622908818311750978869816797253224150373816699335181210518157451298322389337607027601900222292423051020924939112711191127150212771070211777021249702129755251055262755285725122425196725122512702005318192611062224924200331882479782413652071582074022078212155833131022416108751984924219344821998946861576223647165516888554510554855302162551965198745199395199245198831240870116881571833105110381051142610511432577357793257789457744557745557768657749457744857718295771665771602577130898260498217692061402455445104114381701190217011933170120371701208328811791131111911311519127910104716910471104773813649321364894136431364445136445513641829136416613641602215383321347712702247767596575766653263507128311656202217271180116712421236133713281647302226322495110489511126951127695114068033251036576265218822522493252028921746975872452686160744241864250449145344886232166118881183721187611181531117811664492178449220010181105101811161018184311748741174102011746117474611741011748874001241604126860413091594865165592420361172036206814256281425173221517991404202714042062153877110351440580606959724669661153791661155227199731879516679518258878741334196613342156535510535833348319348650348156011254002255933925182720113201600166136914226843261239612679202811720282131190110291691581694269891073989113098914109891617203810129612851497706101312827534101559799163289416321654163216622956295874295102029574629510295887295939295924295883217789421772221217722392342241049103810491430104914362187895902951207958103812621038136788587417801770421964422154216370222991020225722457982545341018915818981795015687521646175621921396142485683422691770158428158737158823158160116573028938749905990966990633990510990855990554990521990705990833990535990167952195285495282395242895240295286095215895282195220795210301429650171245171295160316045516018291601661601602683103768310776831118683139551063351085951096651014961569833718400143365825019152501939250209414396801129111911291356112915176896813368318159287159115415920601407139622019167683267681609223470270337039327038947034457034557039337034747036867034947031829703166703160270321777032255232419758325768588341153227492445974702108773869330220951396182810035215105218511677941866575222692482922336299916291593744126412711171271133612908711561799164992411201152195915871130119039152073847444594329135171935177185283413752035137522621375227019421581518738215983343943117431154340443443695436612691171269132719672241777218482279714492251449823144942814491581449884144945414491681449401449233144950914491144981714491891671942121112021265117605360593260589460544560545560593360547460518296051666051602605217718261000197322418448747671623192487192423048751012875167618971020142360763235472570292966357612125761578576232542740316610941661829170285417028231702428170240217028601702117021581702821170220717021030126335023261975223693332723277043276853279673272243272703272531039152910391695228155822820101542790883874883118188393988388888347188315788388832238835518836883924142765021578331115287111515911112211231135135211136513661129329411140414051118618711959611150215031119411942111295129611738739111013101411133213331113751376111358135911206620671194094111208209116116121120452046111517151811446447111566156711851852119629631171071111133613371192092111206820691112021203111753175411112611271114381439111130113111679680117637641185986011151915201110031004117727731116761677111172117311964965111681691111031104119859861115715811397398117087091185785811183218331137837911206207116046051134935011193319341175475511188189115715721112621263119709711185385411204320441123023111744745118338341171671711686687111001100211213121321111181119111327132811224225112060206111827828113994001182682711723724119379381112971298113773781192592611975976115115121119581959117377381113571358111021102211855856118778781170170211112811291186586611103210331115641565111442144311653654119249251151651711651652118008011157057111714715111939194011102910301112841285111611623219801981321256125732107810793223062307321976197732221122123219831984322017201822110811092220162017222207220822125412552223122313222012201322107710782212511252222307230822125912602210841085221979198022201520162211051106221925192622111111122220202021221981198222110611072222092210221080108122125512562222152216022323232402126012610223112312022325232602221222130219741975022021202231380381318848853112761277317517523113681369319239243175775831322323312290229131870871319189193111241125319579583121502151317467473114961497311631643111661167311165116631162163313963973122982299312304230531184318443166366431128212833191031791792317477483128929031988989311581593176676731117711783176776831831832319569573128728831144614473162963031942943315845853135335431752753311448144931375376318298303135235331798799311894189531203720383115291530319489493158058131111911203140440531690691318888893111681169311698169931771772318999003117771778311369137031222322243118961897319979983111231124319499503110001001317437443188688731451452317057063189289331103010313137237331222522263187387431164816493117561757312252263195895931155815593122962297311179118031222722283112781279311829183031944945311287128831302303311834183531878879311373137431165416553129930031103810393122212222311015101631971972317627633195495531579580311956195731156015613116991700318828833123123231118111823177477531120312043183083131376377316106113169269331154315443193393450355065505550455025501530263066304630163036305612230823091219751976121114111512221322142014206420342054202420442192692721878821123912402112471248214243218768772119961997217947952112881289211434143521105010512169469521177517762194694721515516211356135721892169569621160161211831183221406407211020102121128612872116951696211351362179679721133413352119311932219949952174074121764765212004200521628629219729732186486521320321216876882111711821597598211037103821569570217417422144945021111221120612072151051121124112422122622721126812692116151616218968972113311332215755762135535621202920302177577621373374219869872182182221116711682170070121191719182110941095211116111721661662215765772110731074217097102182382421109510962181581621214821492193693721839840212882892197897921182718282113961397214484492192932114321433216586592173974021403404216768211270127121104810492111211122211915191621202720282189902114361437211516211770177121608609218978982110021003218178182135035121894895211245124621104010412113971398214041211044104521298299215185192112641265213213222119941995211025102621101210132113313421354355218358362121332134212002200321724725216566211537153821192319242111541155211238123921916917212922932114401441217077082111711172211235123621124912502115931594219459462190190221995996211362136321858621136313642160760821863864211754175521713714211696169721300301214054062141041121218621872111001101211902190321115116219509512132532621153115322140941021609610213983992111521153211700170121715716212035203621834835211774177521144314442172072121749750211289129021838839211097109821976977011033103401177317740191992001765766015985990119721973011398139901428429011309131001748749017177180183683701683684011212121301102410250123323401880881011726172701966967012256225701799800011372137301174517460179279301691692012502510195195201120812090198398401879880011966196701269270011201120201252253016986990179079101196419650198999001769770011447144801583584011757175801867868011035103601993994011701170201160716080120622063017617620127127201426427011367136801402403018018020195595601326327011210121101953954014454460122622263011285128601660661015785790114771478012232240117511752003200520022004200120062402340434033406340134053516276285168969051209420955160660751534535518618625157457551324325517587595115701571519495515095105194794851166167511574157551101810195192892951226822695121522153514084095114221423511359136051650651511314511836183751969970519609615110311032517047055116516651900901518288295122822951630631511779178051721722511772177351681682515365375178878951227022715165565651229230511576157751139513965110421043511360136151967968516546555111021103519929935114101411517227235114155192192251176917705110171018519619625110431044512158215951137413755121542155518628635114451446517567575120832084511023102451215621575120962097517597605114241425516336345152052151190019015198098151140614075118371838515735745115781579517937945155355451217821795189589651664665519819825170670751789790511568156951551552511408140951154115425157257351968969514524535117321733511697169851136113624129629741685686411771177241123712384158158241225422554166266341163316344169970041165616574131831941999100041512513411330133141915916412902914151751841137113724110141015411101110241898899411718412912924137437541104510464116174169669741652653412235223641600601413473484117761777411668166941117311744114781479414504514180280341979980412184218541328329411041104241130713084114281429418889411591604186886941120512064114021403414444454160160241121341102210234151451541875876413193204114301431416036044116311632412942954175075141109610974118301831412010201141917918416826834121762177414714724113991400412272284117521753416806814122002201411034103541454455412239224041871872419419424111691170412233223441140314044177377441161716184159960041932933411099110041909141712713411755175641688689417557564118251826419879884116251626416026034197797841101141211721184118351836416566574114761477411039104041132913304149349441112011214186987041133313344140040141919241164165419919924169769841513514412162216341582583411204120541447448417427434116091610411170117141159916004114011402419349354193944116011602414074084114001401416316324149149241702703419359364129729841996997411833183441162316244179779841473474411098109941963964412198219941166016614198498541137013714122372238411016101741659660413013024116621663417197204114261427418748754183783841825826413233244193994041973974411670167141927928411046104741219221934117491750411646164741144414454113281329411236123742108510864212571258421110111142197719784210811082422018201942197819794222062207421107110842110911104222082209421982198342231323144210861087422013201442125212534223092310422210221142201420154211121113421079108042125312541011106110511021103110415222142215521082108352201920205211131114522310231152108310845212581259ttt2ttt2 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])))