/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 25x12400410013x125x12430222143x1150x11444404011x1235x12400151221x1255x12030403334x1454x14111214524x12304x12001130244x15510x13220513404x131525x13024120052x1025432x10215201212x1105234x11001304103x1115023x10045111223x1210032x12143003032x1250555x12012405355x1253021x12145212521x1350455x13403452033x1402342x14003143022x1525510x15544042014x1542305x15545434131x1551115x15010110141x1552550x13452534410x1554554x12225543404x1555525x12231143245x11405505x11433041533x12235125x12212403325x13423355x15324024405x14253455x15152504110x14255424x15532021030x14554232x14115351242x12.152x13100140042x152x13412220342x1051x11104044441x1532x11221510042x1552x14333040302x1454x14254121114x14032x14420311002x10155x14043150223x152513x12500214203x1234520x12121025120x1432501x13014031001x1320511x13221115400x1230012x12303003412x1555052x15535042102x1120352x11252125412x1554053x13302543043x1243204x12203413004x1015525x14102404455x1503245x11314345455x1511155x11410110105x1055255x10144352543x1455455x14043455222x1525555x15423411322x15055041x13351403341x15215322x15233042122x15533243x15044204235x15543524x10114052515x14245524x10301202355x12324554x12421535114x1365432165432150347119061894730604106718341659159822382287185887118491602166211513751151201386774886767186766586765486717938671991867197118952044221625221103022114523768573761368457427457524123115431231187919406996334351459912571250204620672021490105780110576811057771105765310577951057663871293111717587157007157311109671110911641109813110965411091741110920091109188811092010110978511091991110915271109200711091506110922881109151679417948137948017946817947487946537947997946717946547942009794785794199121811510147573922915152291737198978612881280108511632222297189427322112614631557211423941137915997168810332240173722401988224022922401888136762818645982427690571157181357180157168157174857165357179957167157165457166557120095711737571198857120105712295711888571785571199157173957119711393160010461033157816445781032578127914737391769114443842743850243811101544914326300326422326610239611362239240117848317841889199378519932011655674655625655665522165525321332006543471543117754313661195118084984708842843018410828485884189484195384190684184784156816711216711529567894362436844361955436190811912911451121451146179236817921863157573915751473122167012218152242223366819076681954195369920541897181186811880118665188131874818799186711865418739187851866718197118200918199162459862469012302304123023124696469690469232469598469624469189024025701118671419416991577171339912010431201287383314632313325345836621506152765219376521962653681653773653801653229665323087727401254198469189816341574188822918881988626135812945492313699185859820128133473003473683475973471448347186586116912982291359600919595449714171417049141100561514452205346545256667747401471126716536717486717991738116519321894698569842769868219697392289674275221275995102718211048177024291894161815542552212551021255130519917851991200911347031866629231169974974019310451931289196573910311143973691890690106816871068181971370062962712235414418333017007167008461599142813811681252136614261670123112123412342912310331231671130854882615871902114422911894159116521957699654813654116465418879221791922196414897392423832423242610811020742053667653667739667785100492257011945701389570143857019031626156513188313181873477104713172298131723101922189419381894609607101426144614261589505471428122568919374757072357072311622288239710294276095981522785152215397517401547161179678642336911612231514143229723951232801123268112321123265312326651232197125322125399325366825334825316625382532722534562536253116530953094513094611669160966219056621952223824032238240719717393493003493983496081212461994862305189455243511762911453725976855131056512151214271216821610139568616662726348645666686279096271063468148810511569188222910426825771855377137780137768137765337766537719711397688308152120312005203119872031239918184701234427129212802431699230623025323067423065524001794156613181987785198720051101223290098520108136656536651118013912041204813204671204654204200920478520419915254719231923571923180792319915691179569120256914245691893151615061516200715162288118819928599772592122227423272437266420088147879461540813111456440411142544299445046522322211178293117812561174676106980110696811069771106911069653106979510696631848182582715058271994178636817861857215111371761144176118711538813478108047811754781454478147247934796234793004793284791889479178425219903004243006234253691108235380278623411441390682149173918724261692105280078680023552006813101293315368515366251536615362211536275153610136965413691881155515107385707381121738131118351824114525311456741145655114511651145202311452059114523011451738114522891145239815861506158615161586199515862172121881963699185618241691121691160112460200485200410177117621455732109181310916541091671109120091091188810912010109178510911991109121501044103310209556636536637716637951712152817121996125569012552321255668125534812551661255812552721255456125561255598125562410491627934577168610331137241131319112219622991894181647020452087131615565794579123579545453427453504453124870970085670284711259481013108317621083224110902340828435707229144771790869324086998315678216821858216258212218212758211020142221714741718096831309182247012866329261005143365414338011433681143374814331143365314337991433671143320091433785143319911439142511441760114419861144212424012422240124242401242824012430187422924041894666192166619561508154566417836641929664193985810821153114720315192031743145732713682290136823068661785866196823076992309699722113519041894523471174211371290128084896967019236701958112019719596997117009217102816851028181745142745147019556993993693751931375196016511585152078515201537575924198573913068621231874212323933283003286623283253281463288332823132845832831320573910133673003673963676065465721908189461159817591136680193680123312418319301894156885815681847669653669750144972619411948011946811947711946531947951946631947391947851946671558161916711033605172066203023981165192418941961699725130742754242711194271260427573791398486699290718501825158815771588170315901719181017939968620961898180278918802292356822114715411921823242512036613083271970607598228157611894511189511894611744113615428231820470459427459522196291196563180817945451235545145843587017281429511515151651200520065119841985515765775114881489516746755169269351149014915113921393515695705113131314511541154251123012315113191320511472147351200920105166466551187918805167067151150715085170270351142714285166666751151915205113681369511873187451786787511317131851150915105119641965518228235130330451199219935114741475511968196951652653516906915119861987511064106551729730511970197151118311845160160251788789511539154051152115225120112012511887188851668669511282128351472473511505150651429430511428142951662663511235123651152715285170170251189190512401240251139413955157257351824825515675685165365451570571511990199151188118825137537651153715385122722852223622375218971898522238223952199419955210521053521171117252217921805219951996521206120752180018015218961897522239224052114211434222342235421650165142171117124212091210421898189942155715584217061707421048104942202520264215691570421658165942101110124216681669421825182642174317444216331634422065206642112811294210031004428999004217681769429179184299199242157715784211331134421590159142101910204285885942861862429029034221322133421593159442172217234211411142429259264210331034422127212842847848429479484217951796421580158142108510864216251626421560156142160416054285085142212221234297597642173717384212111212421170117142116411654295095142160116024223952396421135113642161716184215491550421758175942928929421035103642103810394215461547421727172842190019014221742175429149154210361037421034103542983984422397239842114411454221172118421103110442110811094211731174421090109102160616070220012002021551155202970971021628162902160316040292692702112511260215921593021037103802120512060291591602901902021770177102108610870284884902160216030223992400029489490290490502108210830298698702157215730221772178022023202402170717080211001101029279280215821583022027202802170317040211021103022118211902217821790293093102110411050211271128021793179402859860022114211502100610070291691702919920022126212702105010510210141015028648650219011902021129113002202820290210841085029319320220032004029529530222352236029059060297897902199819990217211722021583158402156315640217231724022124212502206020610216071608021571157202155815590218301831022024202502900901021595159602157815790217051706021798179902180718080210491050028608610221722173021559156002154715480216631664028528530215911592021713171402121012110216531654021612161302156215630221282129021552155302176217630295395402159615970215791580029209210299899902211621170217991800028498500286386402182718280217661767021620162102171917200285385402103910400216451646021828182902154815490294995023206920702320712072232070207123204420450137337401452453016596600143143201127912800146746801548549011389139001746747012952960112931294011951960181881901396397017347350154754801181718180170670701820821016036040111871188011112011121112201625626011111111201102610270118191820011871187201598599011415012912920172672701368369011432143301130713080142642701793794016976980139839901374375016866870152452501566567011510151101450451014604610147047101125312540186870154254301464465011175117601456457011971980143743801153315340110110142442501123312340155055101125012510174274301118119011815181601122812290163163201461462011287128801302303011182118301151601153015310110241025011229123001502503011821182201199200011280128101683684016266270145845901656657011113111401681682011161170181581601504505015225230142242301153515360112891290011291129201307308017897900112371238003500650055004500250015032046204703205120520320682069032089209003209120920320472048032087208803205020511320722073132049205013205220534026406640464016403640562216151616221647164822190719082222902291222298229922229622972219051906221545154622101510162292492522206220632216561657222173217422999100022223322342216211622229899902219992000229879882215431544221587158822898899221047104822166616672218951896229719722221802181222176217722192919302294694722206320642218321833221623162422161416152216291630221801180222206120622210011002221834183522846847228578582218551856229739742216651666221054105522189418952219371938221017101822162216232219211922221997199822164616472210551056221654165522192319242298898922114311442210001001221007100822120312042217941795221204120522182318242210161017222304230522179717982211681169229799802218931894221931193222100910102215761577221589159022972973221008100922161316142224032404221172117322165516562219031904221556155722160016012217671768221630163122242824292298098122981982221567156822113911402216641665229139142216481649228708712216311632332053205433206720683320932094332088208933209420953320922093101410641034105410241044211529153021699700218788211239124021195219532130130221243024312157357421191192218921130913102129629721145814592142742821192193211316131721740741211939194021430431211180118121372373217147152147647721616221888921826827212306230721106710682136937021596021564565211314131521575576211424142521700701216026032143343421195819592123122313212407240821196219632137637721708709212310231121658659218990218384211954195521114811492181481521404121139313942172172221123612372115081509211956195721577578211227122821224225217127132111811182217377382114381439217877882169169221383921300301212282292119601961211425142621142614272174374421153115322110661067214354362173273321632633214774782171071121230823092112311232218168174160860941139613974127427541695696416066074167767841229230415655664182782841629630412972984119819941705706412340234141370371411213417447454112811282412426242741131213134146546641610611419192416556564174174241910411141154123532354411511151241102510264111171118412522534130830941306307416946954174574641790791411171184172772841188918904172272341719720411391139241113114411080108141657658415455464118571858411112111341186318644110221023412312324162362441471472419099104110211022416006014111881189411151164127227341654655411251125241142914304122622741103010314112251226417337344168868941118611874111501151417037044167567641254255411023102441143114324159759841176017614120320441228822894111211341220221203220522022204220122062302330433033306330133053316276283111141115314634643134634731748749311783178431171831993994315685693115341535317717723114461447318238243172072131348349317167173111791180311256125731305306311791179231704705311430143131144814493163063131676677318586317507513136636731125412553132532631549550312002013173573631130513063124222423311395139631145614573115281529312942953120072008311185118631196197318138143120220331299300311115111631478479317257263112491250318198203132732831145214533111191120311116111731111011113117851786314684693173673731773774317247253113661367319959963159960031679680315515523113581359316936943173974031119411953154654731604605312012024320732074432090209143204520464320482049432095209611122612271111521153111506150711685686111311131211687688117957961112481249114344351119019111428429111617116966971157457511151215131111471148111881891137137211102710281122322411791792114664671118651866111111121171871911131513161129329411128312841173173211222223111441451112212311124012411114541455116826831178578611131411128412851122522611801802118178181115321533117998001112851286111146114711909111678679111931941156356411126012611111621163112922931112381239111068106911221222111063106411120121111681691120132014111160116111544545113043051110281029114324331147547611166167111252125311146147116606611111841185112355235611114911501147347411628629117927931168468511117711781115131514118258261110651066115785791171771811728729114624631147447511198819891111912012105110521220292030121824182512932933122150215112120712081211691170121764176512206420651210181019128518521210401041128628631211361137121550155112224122421211671168121166116712162416251217411742129219221295195212157015711285485512929930121165116612101010111290690712100210031216851686121616161712163216331295495512184718481211381139121032103312918919121056105712223222331210451046128658661298298312184918501215971598121687168812104110421215731574121691169212166716681216571658122026202712179617971221752176121649165012160816091215531554122000200112974975121763176412160516061299099112105310541215941595121564156512156115621215811582121584158512104310441290390412114011411216701671122393239412113711385011506150515021503150413222372238322121212232155415553216621663329229233285585632101310143210051006322119212032156515663295595632203020313299799832907908321202120332200220033221252126321089109032157415753211321133321899190032969970321106110732165216533216441645321725172632172617273218311832321720172132110511063216191620321809181032205920603218291830321710171132211521163216091610321996199732108310843211261127329779783217091710322424242532161116123218261827329859863215851586321765176632866867321724172532113111323221312132321704170532108710883211011102322129213032170817093216271628322130213132108810893212081209321107110832159815993221202121329339343211301131ttt2ttt2 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])))