/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 010x12223340033x1410x10343334303x13014x13250343433x15314x10333443330x1013523x10133233054x1014245x10020503331x1100414x11411034333x1153110x11033205433x1153240x14103033323x1214150x12443433232x1242141x10030033022x1253154x12233352221x1300231x13551332201x1311010x13034041513x1532100x13334403035x1535325x13334433505x10010123x10333503430x10114140x10443252333x10241524x14254132333x11231532x11302533455x11445325x14344333425x11502310x15230332330x11531153x14542532334x11542440x11510204330x12031513x15503404433x12101024x12545504332x12141200x11323340403x12144441x11420353341x12313141x12253023331x12314501x10043353111x12413155x14553300433x12444410x10250505033x13102144x13204331142x13103043x13405333503x13141010x13040533405x13142153x13103340330x13153050x13221433514x13153124x13311012124x13154432x13251043344x13221410x13120333550x14024432x14521233513x14055311x13331011121x14243110x14104405433x14550240x13330034240x15131441x10445233351x15153110x13134332213x15200224x13335134024x15311554x15333155451x15354131x10334351231x15510110x12554512233x12.1010x13300433222x1014x13034333430x14103x13343430523x14135x10333443330x1325310x14503323310x1542410x11333050200x1414001x13334301141x1011351x13345023301x1042351x13233303014x1051412x12323343442x1141242x12203300300x1451352x11222533322x1132003x11022331553x1010113x13151404303x1001235x15303044333x1523535x15053344333x13210100x10343053330x10414110x13332523440x14251420x13332314524x12351321x15543352031x15235441x15243334434x10132051x10332330325x13511351x14332352454x10442451x10334020151x13151302x13344043055x14201012x12334055452x10021412x13040433231x11444412x11433530241x11413132x11333203522x11054132x11113533400x15513142x13340033554x10144442x13305050520x14412013x12411334023x13403013x13053335043x10101413x15043350403x13512413x10330433013x10503513x14153341223x14213513x14212101133x12344513x14433401523x10141223x10553330213x12344204x13153321254x11135504x11211101333x10113424x13345044014x10420554x10424300333x11441315x11533325440x10113515x13122334313x14220025x14204315333x14551135x11545513335x11314535x11321534330x10110155x13322154552x13773213171321333691303124813031906183964519063288190633181906343419063472190638932836281745742307243019322310533125627917712791777279195027924662792827157844337446343374469433744874337449343374525431018761268393126876126877126827912689812683012681912684412681181268712686612682171268311268800126817721268177826252255262528262520093086303086314140357994035410440354130392717613816193189518761895266328031828060028032628047280734291933429384744026384402442424841811248412124842546248425223197578211911652119101211912021191832211923262119174221194842119387211932621191180211962021196721194402119270211929821193182119600211929921192802119235211911921193272119852119184538714010457746176129861235613446110061270611196143961193611716118061412614561393617661108614416166612176131616016154661121611212611221618006123286122456124356112596119516122646118336117616117786117726122206121356128176128286125461940193023604923253307830307831353581417835814184358142023399801437823071191186011911896119120511191205511912083119121631191298629729393297629108296629217293129298292352934429100292702911929129293372943929193291712918029412294529242297729600293192931829280295462912129271294502920294042946298002961929133229177229177829241929168529151729136729116929842918302922202919952922212917112918129125529168629195129226429178629181129189229164729102729201292467292329291833292817292828292546292522292721293213293347293870294009186376186321992178298170331388617145841932844281744501939453112571842027202393202762027720266202217202312026002023262024720231820228020245020220202404202462021082028002021772202177820223302021892202164720210272022012022467202232920217220227212021712023213202183320233472023870202400983016578301681830180483019703840283505417617378003457281718451832184544771905172860313039378130393805280719328073198224633986583936587665827965898658306581965844658118658765866658217658316588006581772658177834652817164820141858416241931624350021412012362492358029928658163021740497994049411440494144809546809121809441809800809181180917728094880917788092220809174380918338092546809317580925221166102219639445122393116916851169171011692419210034412611639206231822083452208229022082320305421730543402386340482198394163857834033218143218119951546450154620154627915469815463015461915464415461181546715464041546461546133215461892154616471546102715462011546246715462329154627211546171154632131546334715463870154640091248165512481663124817961248197816888002784314203245644726644724479447244953032193032303530323053303236493032366732383166246827141431370357428021353721885118018852701885327188523518852981885119188530018856204318187688629888623588634488627988698886308861988644886118886788610088627088611937481176924743384799338436993384373716426131435764382061782311979235311084404379940434112404341383712484326618326174232621343262326223943427921932792319045504511253124422064062133187642151712727187638482815974501597201597279159798159730159719159744159711815977159740415974615971332159718921597164715971027159720115972467159723291597272115971711597321315973347159738701597400919772388411698412548413678414908415178418448429291361206136137513614221361457136189413620491362984205631818498425902419259016852590151725901367259011692590842590183025903691259037291491363582843943314139232920703181192351192701192981191180119221911929272434217451819312494391249193124917112492791249981249301249191249441249118124971249180124941212494512491212124912211249232812492245124924351249125912491951124922641249281712492828595129959540321893187630622246306233774019187645343045344535453445414534454345344551116022442993872995183784239337981934073281724833262172416301724318118518419531931953244126547426543581365030392117612054203929282916292845012828281762427242854725288002402307240210724022412402993740232944192020862820862101208623533623604328187620472578392812011651201661120168312018101201829136227018417144566232934732817217029831093400362841623628417033801934400118763828421822384145232941152307162819316342182156618215647215660021566192156125221567992156118215644215619215630215698215627921567215631921563182156326215628021563292156388377423936178361714283138492334918763792239325811925812757258127832581305125813085258131172974334038462833701501678203111338164625801082036108230410824272195714536345453645494536455941113613402351340397413421092674266421402718434031455145671332221193122786473936477664766647217647316471216474864744164780064718116471772647177864722206471743647183364719956472221647171164718164712556471686647254664725226471521584187599331778312794193279431964177193110228422815844003181598133359815885981984367484456136140671934067420031912524222431730406026721772267217432672177826723202672800303660382221724122611664201183145940171876275732942757332027573436275734742757389555212342719334273845237451838120083449281738961712172298163684696257229174557392917616161341616143461621323987187716622041312329201282032520122020221320237545687994568457345684575991079924199307992367991832992436991638991843445582471201177011801770270177010017702351770298177011942324327244457820182591201825992018279120182835201832043832284223171252080027581723042602007450200740420074620072329200717120073213200733472007387020074009235449243904923166317631217313939423033401118763506423811641156314249223014581599159031633228375649211626001162299116227911629811623011621911624411621181162711623181162280211826532118290021182915211830612118357321183683211837214216431126892663247027121493414381419319363174274932782749331227493420274934582749387934512817341519334153831430418762406239328253918282539342825405628254082282542082825422214437619071723104841776176122914513985316843542817129849724722708305174616566381545170215451736154524133386799338637033386373918051786225622453481281736842307127281271430126717731267177912671952126724681267283333213527501721994129361234536123665361237113263193263337532633410326336283263365932633681367340501626546342119334213839410172541031631749934420842464208426142084347420843532052203935082721350846350817135082375350812203508128350818923508176035081258350820135082720350879935082466350817773508279350898350830350819350844350811835087350824673508325350822133508203508321335082329350833473508387049074490237322452306224523283925117133132871761192217220373112293452432018761938646606486068760124160133960178532071713207335644807724241933880171197203201327228422817117313315481114113230733753928337539443375406633754080337542162117303133571501934324341691933681404244226331033385205020392084282084209939014000135214039751011996244393531387817130413789304138133175217332131274817244171833179841791153320517132053371425544014255440742554418425544712592176111611831116118481161192511612014116122071161230036768439136117721761341131437544854041799404141064041413634338287564531995782776312755327027553304275534142755345027553871271518763902171387739944239171164318901348247210301641141318621413189814132057141320851413216944867994486450344864509141429814142351414714141291414270141411937042307142128142114243378193224656053070168540331553014178630141761301480030141083014177830147301454630141213014177230141811301418333014254630142522331331388540241622193187721264338172386228197123522833022832361222241520583182305462201102720112582011647201176020128162214405248164337382329420928211502137021229218616291863180373223294201283895401611701191170117111701492117071170129178637178709178180223192307117629491926313573392035733936357340583573407235734224346220538382836296020720119213272192133101921341819213456192138772155257018308417220217223304502287036982307391917612092282092210720922359121546121393121761211081212791219812130121191214412111812171216612121712131121800121178612117611211778121177212118111211833121252225731925732749257327812573304725733083257331113856284065193406541945972381277187517132641713302171341217134481713869350739263507394235074064350740743507421443842329185513443261876320633422653357126533980554162155424072466272037762393206431822854444346799434643774346438330353773303537973864841539197629852147413723295778414566001456319145627914569814563014561914564414561181456714563181456280145661937062307318921181853845461254116739951876130217404081281710372981037235103734410372791037981037301037191037441037118103771037100103727010371192368492407528172747328627473316274734282747346627473887522755560447031757754397519375171752827518075412754575601753937576756675217753175298752357512975270751197545075207540475467512127512217548758007513327523287522457524357516377512597519517522647521357517727517437517787518927516477510277520175246775232975281775151752828752721753213751878753829753413753449753347753870754009394116327561723443193344338613790239345426018111786220039432951761365830304860313649223714323879401849860249201412123072987214711811172341319334133829613228011681113244800615199734371933437385520353011192991192101119227911929811923011921911924411921181192711921203508203508598313183110883178314418318008311833831176183117788311772423043191242159843716194372392164718922009282015280150020105252464334318764241194241433742414339424143674241436942414375239113321684638226222452713187645528418991876189926731036164910361677103618121036191910361982298121478081744241419328342817368284304737833047380731358386940083435193343538531347242928225511879929242825292439861178187311781900117820611178209111782171117429132019280389339921650688163519293355150159424331848252918482553171131150117121501173815012421345928171425344364422474193836688425791925792755257927732579304125793075257931034510232933721501882825711925712747257127752571304525713077257131092709187636523029234026103517484059193405941924404914405784409944074262314517145180451934541245439447817884494281727211876437030437043898023379121720771217272612172980121729901217300423412329402719259417614376842991298458223931062731404923382799338236973382373118431832204810952048452048720483372048242204822622048579452617134672817419528225410822541833382424564504230732123346422517141844345133423510944391094193109417110947109428210941801094412109445109412121094122110942328109422451094243510941637109412591094195110942264109428171094151109428281094187810943829109434131094344924752582149140414911494149115383409303409361134093622340936573409367524365783067430619048003643200642302376520201128244257831173383297517129753354170531174348318838213188382331883863318842323188439912211212117729741901187685785600852998531885280852988523585270851198557885998549185440851208510185678532785620851832852436851638851843145814477714277375308430308431374488193448845193273176133396038721712327485100344337617237002307327917611219298121923512192791219981219301219191219441219118121971219270121911912193274541458145414583697108697121697441697800697181169717726971778697183369725466972522231512912472053124720692600317197307447987118727931128445202822642245163221724631937408328172162214742384309209434429148133033144314533118414441255181125522213746232945582308334718764214432525543138081931983235331931233713322237413220239441612393306021730603404710201686800168630672774311135118617618612197126144212621241207118317803188530693782239311793931179761179711796611792171179311179481179800117917721179174311791778400318763068224713771373931377613766137217137311379913710113712013729813723513712913727013711913748137800137118113717721371743137177813729161372928331531216594640446450417921729003903423317136754040241619338001931735162632971761179512121795282179512211795163717951259179528171795151179518781795382917951931795341317953449125916375291561384241328917614528187636674034157212037302329372423293830281745191745192117451927174522361745228217452302303419303430393034305930343651303436732782012781210340532331731212721124464176124022217398004163239324082393304660369023078319391372302142937090588117741761201425932014260120142793201428432014320633113147484164420127291503076303076313913491775134917811349195813492470134928411813178641932843674511436745173051379130513815143337215235281502393150276150271502661502217150231150248150280015021772150217431502177824233724210952424392421932421712422792429824230242192424424211824272421802424122424524222622421951242226424228172425792422828187476187422012420193410523071919328019193314191934261919346419193885140720341928312220414227922474009187646411824641446464203846420634642146464299226023130526040571934057418618471832324518586964496218136814061682638207828207820932950187633411876284828178296461904329619043324190434421904348019043901523186109316871093170410932415436860144537674830748497416234892405489242341072307465741620193195919319592443378261536224160362241682546316498782017280293029162522800380619310281633174193418911876210834424221934224430339926190315528264842826472826233028263752826237528261220282612828262304282617612826176028262329282620128261778282680028264628262028262802826772826202423117145762329230345842171712102344247320194334494310094311809432709432359432989431199432419943168594315179431367943116994384943183094336899433723195524195549195594253080021252110351844171193402518764187281518185415182012290128290133382901357934017993401370534013745182925211829254512181846121818521218201812182728330531193023181930234019302456320433483173152131732310431218764051799405141204051414639690443481931944581941088195119319512435278231299964438874002391242401857761857219513504501350201350279135098135030135019135044135011813507135040413504613501892135016471350102713502011350246713502329135027211350171135032131350334713503870135040093894171311884189718763888171142328142314261423156514231625179717862544313281176116582045254527576163157616353265176131915784391842439185043920161920172454430366030366037551803178618032868425444491263129638701714147232918502527185025513692230714685461468393146876146810814682791468981468301468191468441468118146871468661468217146831146812114688001468178614681761146817781468177214681811146818331468254614682522385428174793427191876327117613722232920162597201626032016280620162847201632124560484216429818522519185225433572283419193341938374432291644322927443211804432270443210044321830443230044321181443232744322354432298443222194432119443229284432456559946425893408246720126043139931876164059516401902109610886075763666451156142015618561562161156217715626882552312598176130453775304537993325312471627232148414273442469201393731425629164256292742561180425627042563444256241942561685425618444256149042561254425684425632742561172425611814256300425618304256100425623542562984256221942561194256292834752817513579358051614615511092109351222122225143443551205520565119041905511861875115381539512016201751124212435124642465515945955135023503515765775114081409514647511375137651328329512014201551134813495142084209513703715133753376512757275851153154511156115751134913505130083009513983995132732851121412155120632064514559456051144714485145545651737451236237517980511464146551157115725132532651190619075127472748511499150051358135825143374338511639164051248249512018201951191919205135063507513507350851394395512122135135733574511376137751205206512749275051192119225137837951144814495131831951497498516046055117217351571572514964975112671268512069207051878879513711371251301302511588158951112113516206215141841951618619513873885130063007512755275651298299511241124251347348513010301151307308516056065123732374514144155115701571511711725113441345512792805120120251136713685124424551146014615120572058512320232151206120625115941595511407140851221222513963975114621463224565456622189418952244014402221876187722178917902241304131221892189322399439952240024003222313231422200020012268868922183518362216831684224000400122188118822237373738224138413922431943202243274328222475247622292329242227202721222124212522211421152218751876224016401722294929502237453746224311431222431743182223402341222311231222188318842218821883224024402522246124622293493522639640222669267022164916502245274528222714271522399239932223852386221990199122430343042240084009222871287222267126722233423343224136413722432543262233463347222718271922189818992219001901223184318522247624772229932994222462246322287328742263763822210921102223282329226876882216551656221985198622238323842241444145224383438422334833492237393740222132213322457545762237233724223986398722247424752218961897221681168222373137322240184019222708270922334033412245094510221890189122372137222263863922271227132243094310222400240122401040112227262727222110211122372937302239843985226896902226882689224146414732239223933221122113324034403532370337043228702871328248253219981999322306230732404240433226222623321767176832391239133239073908324430443132266826693222492250324082408332193919403223942395323069307032262326243280680732424842493225882589322041204232178717883226162617326416423282582632282228233264064132292129223229192920322874287532318531863226182619322841284232823824324511451232411241133222612262328568573231873188321718171932803804324249425032231823193244854486321833183432340034013217401741322250225132398339843245674568323472347332344834493217681769326916923217631764322046204732282128223221502151323383338432407440753218771878324426442732239023913217291730323783378432178817893264664732450345043237753776323773377432854855324120412132199119923222632264324428442932258425853224832484324581458232261726183236833684324106410732802803328088093242544255323789379032407240733224772478324377437832449344943285285332281828193223872388322116211732173217333217301731328218223238233824322405240632443144323217911792324114411532410441053241624163322407240832379137923222442245323385338632192919303285085132176117623293994032204720483244774478322817281832291629173223342335322457245832171717183224592460322621262232317131723234563457323381338232457345743223932394323705370632933934322920292132424742483243454346324080408132346634673269069132369136923223332334321726172732172317243240404041322154215532345034513225862587321931193232420242033293793832405040513217211722322589259032696697322843284432215521563282782832348034813242534254323908390932267026713239043905321993199432339833993280480532281628173220022003322149215032369736983217281729322115211632345834593224822483321746174732391039113234743475321719172032176617673228272828321879188032390639073218341835326956963228332834326456463236993700324353435432174817493218781879323781378232238623873217621763322665266632404840493221172118324160416132200320043219891990323172317332853854323186318732199219933233773378322478247932266726683228472848321734173532283528363294294332225522563280080132941942322460246132425242533236893690321790179132398239833217151716323464346542801802429409414226632664423909391042292229234219871988428228234280580642258725884231663167422044204542306730684228192820422336233742318131824228692870422984298542200420054224792480424429443042231423154269269342291829194219341935424250425142291529164236433644422045204642204220434231823183422335233642855856422820282142442744284217651766429389394229292930422666266742183818394222462247422664266542390539064222782279421720172142298629874224582459422146214742826827421764176542225122524221532154422927292842851852422381238242172717284264264342425142524231673168424501450242317031714223322333422619262042267326744228682869422585258642316331644226202621422917291842171617174219321933421731173242216121624219841985421794179542298029812344084409234409441023440744080128228301137713780111861187013316331701213214011431440132232301393639370110361037015495500127732774013934393501171017110131932001146514660143343401300930100118621863012280228101301130120118731874011370137101221922200118561857011631163201138013810110210301186018610131131201178179011831840152552601787901391392013093100115661567011704170501433943400185986001492493011471480111631164011461146201417841790142614262015985990112991300011625162601278327840133183319013839012599260001447944800135003501011927192801146314640114421443013314331501446944700111551156014044050114091410011342134301382138220112651266016546550134134201727301278127820114414501254525460134534601115311540117771778014404410139423943013973980187988001260126020146046101485486014471447201109110920125512552013312331301390391014748011742174301260326040119719801444445011183118401192519260127752776011256125701341034110124224301177917800125432544013723730133103311011702170301550551011027102801149214930139539601332033210114511452012213221401206207013007300801171217130125260165565601162916300115201521017677013324332501394439450117811782012627011157115801808101126312640110710801413414011182118301124812490114521453011221230112061207013031011540154101329330013304330501180181013059306001199200012433243401317431750111891190016061011434143501300430050111111201118511860125532554013302330301305330540112012101830831011254125501223822392077434412441343323432354332303231507712184218431219881989124557455812238923901239803981121786178712239823991218841885122307230812231223131223302331122397239812193519361223952396122456245712184618471223082309121937193812199719981221182119121831183212239924001231643165121844184512238423851223102311122401240203441444150344134414033228322903323632374077314154163115431544311251263119521953311187118831108109315735743111581159311449145031230223033110351036314517451831149714983128328431103010313136733674311258125931441442313426342731246247311321333111721173313414341531303130323138153816314064073114501451312423242431882883311421433131093110311351363141741831379938003182833155155231585931123124311260126131281282311511523120320431418441853144244331488489314058405931145414553134083409313493503130333034311177117831458345843161361431505131574575315354313863386431320321314934943115215331407408314445311241253159603140564057312421242231272831141214133124192420315785793130123013313043053111881189312412423114614731575576311981993154553115671568311345134631657658312829311411141231368136823152252331162316243115421543314240424131406440653160260331270271313103310431342834293165265331284285312752763112591260311958195931494495314170417131339340313420342131108910903110951096312392403137637731118411853114661467312134213531305306312570257131222331487488312791279231437543763137973798313483493138133814312806280731143214333114551456316768311159116031651652314066406731181182312415241631838431344234433117441745319049053119419531601602311266126731109010913143643731453454311245124631193194312429243031273274313117311831121312143116211622311031043114514631416417311029103031484931353631126412653111601161312580258131346347311346134731313231521522311034103531257225733114671468313383393113313431707131343434353158058131448744883145445531102810293127427531151715183145514552313435318182311175117631124412453121922031575831279327943115015131302303316006013123002301311627162831416841693110331034311211121231159315943135043505311300130131379380316566573112121213312578257931134113423117517631121122313503350431138313843138073808313675367631581582311635163631434743483159659731340434053111741175311592159331453345343110911031341834193113691370313313323124132414311498149931195019513133343188088131122012213115691570313111311231214215311301313137383136673668313013301431137113723132623263312324311296129731174175316869318858863137737831156815693118541855313805380631129712983149549631130213033120420531435436313412341331389390311619162031343634373171723124524631105106314449445031340234033113781379313713723138838931884885314176417731159615973120020121303304213373382123523621393394215725732117617721190219032113311332211647164821553554214232423321236723682111781179214214421521777821156157213137313821452545262142304231212021213885388621164316442146246321121612172124662467211551562135013502214644652111671168212361236221582583212197219821235923602140324033211591159221212221166116622136113612217097102119202122902291212199220021214021412114131414213879388021491492211490149121336933702116631664212432442136653666214389439021518519212201220221277278213755375621222223213204320521235323542116571658213212321321246824692169702164864921124712482128028121126127213895389621314131422138713872211589159021142814292133563357213139314021386938702137337421583584213371337221344345211481492130030121119011912131031121177178212470247121145914602142224223214026402721454621520521212034203521300530062165065121623624213887388821149414952114301431214535453621335433552113431344216226232111911192211088108921121512162132063207213901390221159815992115221523213877387821389338942124722473211210121121313531362127282729214216421721110111211176117721167716782113413521156515662128528621136137214418441921121712182122072208211154115521454945502161661721136813692115415521203620372121952196212974297521124612472119951996214238423921450451212202212164965021422442251077307741117111724131231341606607412372384121721841131132413628362941437438414894904116331634415556411446144741126212634124724841305130524112913041375376411848184941197019714115011502411976197741130113024130413042411982198341201020114112812941118011814127227341223622374110311032414324334127627741242541184185414104114132632741210721084121632164413213224121692170411041054144344441495041154415454132334111691170411379138041201220134155455541597598416536544121012102413503514130473048412712724114961497411339134041103210334129902991416126134129132914411173117441242724284114441445412900290141109310944114101411411961974135053506418818824121521641217721784161962041185018514129930041323324411457145841182918304156574122842285418838844174754136223623413039304041185218534114261427414541454241304530464113821383413035303641164116424143674368415525534115451546411381138241357135724199100411347134841363741142414254134034141220522064113331334411406140741218219411261126241209320944119519641209921004114531454412008200941515241405406413423434133033141547548411541154241197819794145245341486487411821834121712172415465474141241341449544964157958041136113624111811933323332343332313232333229323033441544163344164417334411441233323732383344104411333235323633323232331111651166111218121911307530761115191520111595159611382938301130830911208320841136573658115195201124432444113853385411484485111001011145194520119899111871881138613862114594601133383339116156161140840911209120921131983199114634641145145211409410113845384611308530861141944195113077307811848511528529115245251114951496111518151911666711436943701143944011603604111420142111365936601123262327113651365211526527113855385611458459111851861136493650111731741131963197111243124411383138321138473848113803811145434544115275281111611162113837383811207720781146146211230423051139743975114186418711125212531124412442114564571115211522112435243611265326541114221423114192419311101102116216221116371638112282228311319031911115901591112382391138138211420042011120852086112292229311383938401115391540111500150111119120115955961123752376113083308452212621275229982999521837183852203920405220532054522051205252282528265229962997521936193752188018815221482149522329233052442444255231883189522994299552316931705223882389522823282452200120025221112112522049205052179317945293593652224822495220052006522872287352258225835231833184522147214852238223835220382039521986198752200620075222532254007702193319340217851786022997299802392039210218041805023926392702224522460285785802299229930242464247021685168602168716880231653166024425442602328632870230613062022593259402181218130223962397021836183702446344640217711772023296329702176017610218101811023918391902211321140217331734024399440002258325840284985002176917700269369402326432650217251726022624262502259725980222472248021714171502248124820232883289029369370225192520021775177602230923100218321833022824282502259125920264464502248024810217381739022527252802179217930221512152023180318102252925300217731774021999200002299529960232433244021930193102327832790231683169024255425602179617970220432044022252225302261526160232803281023270327102694695028078080239113912021722172302820821023379338002204020410217361737027998000239033904021802180302392839290239813982022521252202215221530264364402327232730223312332028288290232943295ttt2ttt2 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])))