/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 330x11414543415x1333x11133111015x10430x13125521510x12403x12525251120x13000x13310154524x13302x13341043115x13305x11325011505x15430x11252414424x102432x10223120041x105432x13155015202x120355x11542102245x133330x11300040410x133555x14120512313x145353x14315124213x152430x12425401101x153322x12514031015x1003203x11254542513x1022230x10254515442x1030335x10324235150x1043033x10013541555x1050035x11303135135x1054540x10212545155x1203530x12452012231x1223343x15254551314x1330532x13554105104x1340302x13201134112x1402355x15121111024x1403022x14115205411x1434033x11524242403x1450032x14421152502x1453520x15025554501x1533032x12541534251x1550203x14154450253x10203355x13225443314x10214335x10551053114x10303230x12300413112x10340303x10411510353x10345344x12350101450x10430332x13145341102x10510332x12045114551x10532245x10001311053x12233335x12235455125x12235500x11532235431x12432332x12540254411x13304305x14120211434x13352432x13041150311x13355422x13444134102x14230332x15504110452x14233513x10255241023x15045430x15101134025x15324315x13233151215x15333030x13530130410x15335043x11201353414x15503433x11550501553x12.1033x15143454141x1333x15101113311x10340x10151255213x13042x10211525252x10003x14254510133x12033x15113401433x15033x15051105231x10345x14244142521x123420x11400213220x123450x12025105513x155302x15422012451x103333x10140400031x155533x13132150214x135354x13124215134x103425x11011045242x122335x15101304152x1302300x13152454521x1032220x12445154520x1533030x10515324230x1330340x15551453100x1530050x15315313031x1045450x15515452120x1035302x11322102542x1343322x14131554525x1235033x14015014553x1203043x12114311023x1553204x14201111215x1220304x11145025114x1330434x13042424251x1230054x12052511244x1025354x11054555205x1230335x11524351452x1302055x13520544514x15533020x14133445223x15334120x14113501550x10323030x12113140032x13030430x13530151140x14435430x10541010532x12330340x12011435413x12330150x11554115402x15422350x13501131000x15333322x15215545322x10055322x11345322351x12332342x11144520452x15034033x14341120214x12342533x11130511403x12245533x12014314443x12330324x12540114055x13153324x13201425520x10345405x15204311015x15134235x15121513323x10303335x10140310353x13405335x14143531021x13343055x13551050551x136543216543212207103524931634118224491182274211822764118230901182323211823306130312922836321283628578544401793321179318481793293036342425409670340964129207344126252600115111921151243332211232042888130169338161902501319326944184683821249192124214516522208387140723871407438714113387141417336439581987316631393166408932394413358329427591746269034322690344626903471269035902690369226903700413844133993212138198186371921781011170311191703107817038111703282170310651703266170377617032170311417031054170369317037991703169170312517031382170332941703325917033366170333421703240231773139317740914038115128445052983296824893712248939102489391874524637452746745277874530767453258745334139455132838321283828431138117411381463263129110571047271416943425113040646454064410915293701529190823671292238113613423113016801247507357508257508837501091750578750113075084575037504447504897504357503204146113018451837332932941551197146323783123841404418608483693260087193017551057175510551117319303988824903639249037082490374124903747249039482490400124904009110917178790417871862178710091787635178710201787190178723517873124178737017879191787311717871869178740982769177827161694277317782297124222910811313235413132473131328331313286113133108224725921429632116919211621473709268337094015487444239413612767177841088887431922743195874322387432713743300013911012139150813912578410686434723455411288818677261479321147923044120513236313052069513886864402431916423641164237101642374516423788164239501642400316424011933920933149718416703061152634419223936831791081882864701370111187017547017567017797011891701291437055132146988401244131319883107319167114167256167755167790167104616710581008988278517782789177818495051757190149114281464528143036394330551909792285850551112140361151243425753820190192319121923202519232228213293736423213642402911601057116036811601120116010551160182911603971221229122179612221151223149378537484073177892767970521831953194426022423921863223536830915133989398018118692189111839718105718399181036182194282819012301222123020782464321246434142402138224023598240236353740635374037902935319312598822492594194148640981869399393473946938431243200337835733745233595831137583115058313815831648583259910791059107914202063513217098831099193109313032674413640321364040278127918129038121110812182540626454062411134954059335032943777374818882715188829171888293418883014188832082793645279330523624257825839342583702258318292583105725833682583397397693417891778315031393711268337114017231331914623181462332146239914626141462630338932141145136461926260834382608344826083454260835862608369426083704401632952191902199192199873288441146728935864033986931193499488922443031888323344140203294193183162057656551485189539855575734931920147114147214713821473294147336414724001200363712003739120037861200396312004005120040071200401333643294584258412558411195841054584776584693584266584799584106558416958414758428458425758428358426758450558431258413615841382584329458432595843366584334258424025843239584332158432755842434584326158433485843615952952829581195107895257952839514795267952424952400953294954419532759533649513836715823911296829668643931888269526821918247719921991078199811199282199105419977619911419969319926619979919910651991691993239199329419933211055104722891241027319319148031917213192064319217731922683192776319333936383213638403141328410073538593849382219034642424346413831183282118381111831078118363118323611835551183753118339611831461183211831471183240011833294118344111833275118333643427113024911093249182724917352491109424917452491378249112424918424912002491573249132491757249110902491746249120832615260023611912361295923613186344991929829231131974924657492748749278074930827493260749334732534416225761344236439873116308351331851081673109528404413973683971829197684828961869237319193822187001235700179070021297003157230132137564045375640553756411737564133375641371162115196844010347321381168121614181539174731339884094177712311236921239111233971231047123105712310551471321147123021791321179118461791224827496352749281184113041726170717261760341511308268142295124406063554251354260354285710109882291124232511514040114195719442795645279530202845360428573606247232124723422378137487163486411851337426353742376035871133587387135873877358739773587399021229192122216926971694284650590117569011777901226090122989013304278117782067513106610599403501219010232357114376139321223155412232141342111301228893334232947777563307329422452593431115136952600387479139515132293124291273536995134162352416283741631164163138142624551426275414263092142632852777177835023487172217071722176417221860202420001971619197163319718681834704284270329186452918296529183178747245774727447472770747307474732387473320198684913452358134526941345294913452982134532188848641312248113122498131228793901636228827682288281922883236228833182288337167726811978848308551327651778387879140546354054406110649671607219133213294180137062495319281264528123030204488874873574881374886374810807483842193228201902564163432366637151133715390024973192176101139132968735827735885735109341364411251141257531253961251461256312523612555512521251119125105412577612569312526612579912510651251691251382125329412532591253366125334212524021253239125332123519039864076398641211232122212322080275563527552790330932949209531503111015037911503101915039321503100715031901503751150341615031661503815032341503512150361503930150323715039031503812150328961503177815032751150327891643757164310931643827164373516431094164374516433781643124164384164320016435731643316431090164374616432083556513556601556855556198529166452916295729163184321136822431105379164537913930137050833563294310637823106382731063944310640233231441233392432369198285037573124375723537579043757102037573703757919375731173757186937574098994893336611192305113020119020192820199526091093260982726097572609109426097452609378260912426098426092002609573260932609735260910902609746293183023651292127712593209368540513540575540847540186454019792319115184458344116054411890441256144128934014329434391151302988882481419217468943762572843111360316431401830704306751391890939645137797567791118391986367916136791879209220843856409538564101385641032433361419848492993296834703455410264541024105410241271477321147723082071513279164527913038319531932253686861666234641665126751246632124663420402631910538352285124249931918657274056635405640631256191212562023125622061256222229852968269326824684442081903247815182448321244834044010441274363527432794377637711103777913771019377932377100737719037793037723737790337781237710203773703772353778003776943772896377177837727513772789377312437791937731173773295377369377217377442377409819271914376840473768405737684119376841391763645176320414075190206151327456352745279627476352747279810921081206551312341222123420742832190211491924583212458341232594413340329412423241242334124240112426161242632522352210935228275221094522735522746522727522187123719023793023710072377512374162371662378237234237512237612791911279200912792224412244131159193115313229262921019292932292190292718292672292369292217292102029290429223529217782922796292274529227712923124292370292919292311729218692924098341311307646764111076479176410197649327641007764190764930764237764903764812764694764800764289676432957641778764102076436976427517642177642357644427642894240013822400359624003633164137141641391216413920415411303187108128325741043193686923687023689113689341101583394751341241902010200011462447114627521146306611463287114640212641278264195626422342642692264296731583139350322202220008312137134693413467021346368134610111346747134641813461681346381346216134653913461134670313464191647506226322512263228828941869315631397173193261441853323085332934116513360513612632146223623962555275328343212834284534479200841720089962008101020083139195023721950291919502932408610574086921214498795421892267225122672292440411342184367454147499419012651265934265702265368265101126510122657032654192651047265105726539730238882797645279730223590403723791361101852160457632514411650213139789341848239347044447083717793054203688817864043178640531786411517864131178641358431928843211329297574110888176164517612035382819041936814041382279964527993028337232133483294278717784050319369672369718440207244040939591975754735754823754881754108975474575437875412475484754200754573754382013026696632166443318154431818353182143318315523419287618693589113358938483589387335893973358939792223108129912968379368379183315051498104319433775374811428211477811481111410561141078369126006025762209104137072682184318371997694295286441261908628488622220218410155161040104582110941081109420911343274013432758223030682230340622303780223038213939888348322226522512265229080079138767911925191219252021192522262075903244291224563212456342631179193117312431172353117631171020311718693117409815551547314872731481871303788863672641306721963194485985467169114169266169776169799169105416910651201257120128312011471201267120124241201240012013294120144112013275120133641201138345016934501998450298432374412353114327344138723192327115151482951489526395132241368183270426172600236249423625632362895236291374673574610947463746757746109074620832779177812471047124710571247921753247175327507532788753308475332747533363104424091878112018789341878702187818291878105718781055187836818783972148988102115042077903305540872192102950671122333684004829147353303578408840811980849337432137466353746379418891491889576188975318893961889146188963188923618895551889218896221889602403411512171902771177833193294307551337891778223767229608643933888278317784008441414811307109412361222123620766782230678224018462380417368417397417104741738417216417539417747417418417168417141710574441028444113017656451765204372420707242312724377672438191861719902583960123396017949602123400286492691107826918112691282269110652691266269177626911119269122691114269110542691693269179926911692691125269113822691329426913259269133662691334226912402403211301614160640223294112250922993214052163439495132079903225122967527356371981179532117951842179522467092068709231070937707093815856848131475313143961314146131463131423613145551314213145841314138213143163131433641314327513142400226922512269229430538883830190165723261657234016572407165726241657263831943784319438293194394631944025340511301154341159621151339109010813636242528301902623260082881482811023991861763182776319247631952240813822194103622902784229028292290326822903355229033961981231198179219818661982121198316513832424177419082112558211528821196282122328212698821299217201707379564537953938358840351714701717251720601722641740192090111820907542090756209077920901891209029142231319114992480370319310812751635275128133591113359138583591387535913975359139888363761906351909321901009190101919018622699169440483214048415365129030218881136901321936821689882741635340731910171773101717881017217510172250101723004071645407141071129742404432140444145371311337133898359913848706421464164637833748191923663769312437692353769904376963769102037693703769919376931173769186937694098414231939749347031011267257762122176212371847505858848297799629771010320332081332010803208853207483209123207463207793208813208233201089320754320777320750320208332033653201880320291432020823201891320342332016351087171920262000182870318282236521114852111615211403521165952126221682167622251081222110612307113023091130295031941281081213091921302167389963622922772229228212292325022923326229233732880539174217071742176274427441497445767446227446024894444898451264107812648111264282126410541264776126411412646931264753126439612641461264631264236126455512642126426612647991264106512641691264323912643294126433211620160623551144028113019591944221910521660164945131945116724511977189118801891208218913365399368399183128261903275441180493418047021804368180492118041180410471804105718043975745135741983574219330935131527111015277911527903152781215272371527694152780015272896152732951527177815271020152736915272751152721715272351527442152727891527289427751778230311302450321245034242753635275327922294278622942831229432722294335722943398293931932826328433612377137489108213701513194237055851355861955885924101382226122512261228433053294360713611481321148123061759645175920334058635405840706801680934680702680368680921680104768010576803972296278222962827229632662296334922963390328644140068961596155896185696186296110602712169417169341716702171636817161057171611716397321736840901778349633503496325334963267349632733496335834963329822382274682211188227548227568227798228638229128228138221080822748822189182229141951198293319333433115188810358881798299929681826695300129682034888339732131164049311640513116409731164099179732117971844263151324884123442644211104427914421019442932442100744219044293044223744290344281244271844267244236944221744280044269444210204422354421869442177844227514422789442289644227964422745442277144232954422894442312444291944231171658109316588271658109416583165873516587467251792992016128204042123830695137984411702343017023440170234691702358817023690170236987371276192023601920247919202711192029381920299819203216108844118032496180329113857289638573295385717783857182538571020385736938579033857275138578003857694385718623857100938579303857638571903857100738572373857111038578123857217385723538574423857289412632356126328351263288112633114126331764092177823591912359295123593192381819030152968374939422284277422842825228432522284332822843388288272629373191949236228709342870702287018292870112028701057287010552870368287039728221906441644934644702644368644105764439764411206444176449966441010644101164470364441964410556443139996988996191026217062621745225974929588641802319418023224312505941476941741942066942266942766943308191645191887114769211479111147397114738114721611475391147747114741811471681147130775133391321164041252633513103983412622492126225001262287524741892474283924742841247431062474312211353774113538173787177838554039385540418191517361313613597138429114782911727291206229122622562163440183295413483327329414271019142793214271901427718142761427672142736914272171427177814272796142727451427277122271081404632140464147208926962089291520892936208929902089321043516815136215138611728170717281758191179340301130012023202401507508011999200001397539760121692170012957295801217521760170070101409540960118371838011011101201505506011918191901883884014474480163964001313031310183283301819820018638640113391340011085108601214521460110461047019219220192092101108110820115001501012009201001410541060172872901286287013977397801202520260139839901702703012965296601885886011263126401987988012841284201506507012177217801224422450179179201321832190121932194011646164701650651011007100801202120220114991500012951295201321032110129592960013224322501223422350196096101642643012473247401397339740119819901320832090138523853016476480122322233011827182801378379017597600131831901171117120132163217013132313301954955011107110801122123019959960120062007011102110301762763018438440119081909019399400110561057011421142201312431250138553856011180118101418419015155160110511052013673680192930117141715012238223901103510360110991100011610161101112311240110161017018818820120842085015095100110541055012248224901224622470143643701416417013743750111311132011119112001214721480110091010011651165201146614670131431501221822190189990001154815490137663767014404410121672168013733740137633764019569570111331134019149150125825901224022410139639701398639874225992600424083408442297329744213871388423942394342186918704237063707422681268242248924904219871988421939194042242724284215251526421932193342136613674213901391422928292942262226234226872688423058305942269226934236923693422932293342369436954227152716421699170042305430554226962697421746174742363536364216351636421153115442375037514226142615421749175042269426954226982699421780178142261626174227112712422861286242369036914216931694424084408542115111524213691370422713271442248324844211571158422578257942198819894236333634422580258142164116424240794080422624262542242424254211551156021523152402243624370231403141022486248702314531460215171518022582258302257525760224772478022426242702175317540226022603023165316602244024410218721873021384138502409340940225792580023751375202130013010231553156024076407702199519960219371938023149315002296829690231393140023754375502124612470215241525022975297602286428650211981199021781178202136313640217501751023493349402257625770231633164021638163902313831390213131314023157315802292629270225772578021784178502317631772226012602222875287622292729282219961997222784278522277427752223622363221295129622186818692227882789221308130922177717782227582759224077407822124212432212991300221875187622292129222240974098221368136922374737482227802781223780378122278627872227642765222366236722129112922217881789221698169922193619372213041305221312131322187418752230593060223294329522130213032213061307224017401822170017012237883789224072407322174717482215181519223784378522277227732224882489222778277922377637772216401641224091409222277027712237823783222434243522163616372240894090223300330122289528962224842485222969297022378637872213891390222487248822268826892228672868222893289422187118722212931294221993199422174517462237743775222686268722236423652240154016222782278322276827692240854086221639164022198919902227762777222766276722286628672212391240222863286422152215232226052606223770377122151915201334583459133471347213361836191334593460133455345613361636171334693470133454345513346234631334603461211773177421188018812131083109211276127721212921302172772821198319842121132114211036103721514515211344134521104010412116111612214494502140594060212080208121374137422128192820212251225221102910302126326421407440752117061707212825282621180318042138193820216696702132332421387738782181481521207620772128792880217317322179079121220822092169569621820821211498149921274627472111511621439440218418422183183221445446219009012123623721194919502110261027213827382821274827492116781679212740274121122612272122572258214053405421172717282136836921373937402117411742211223122421197919802120742075211650165121191192216936942119851986213123132179980021275427552116761677211725172621109610972127502751213821382221412941302119451946212744274521347348212829283021387338742128272828214414422119471948217197202173073121101910202181181221212121222119719821283128322117211722212162172184884921193194213213222112561257214055405621382938302189289321387538762141254126212115211621247924802110301031212000200121679680213723732131143115211100110121118119212821282221175617572137453746214484492138153816215815822116081609214057405821518519218398402119191920216366372183783821218219211464146521903904211108110921275227532116541655211891902127422743211708170921212321242117191720217357362112621263218458462111151116213817381821207820792136937021579580212143214421200201211926192721191319142112581259214123412421852853218648652123423521311631172134935021223622372115281529403540654055404540254015033461346203361736185336193620533621362253346334642026206620462016203620563232963297323057305832335733583211561157323363336432348834893224072408323339334032334133423211931194324041404232268226833224332434321876187732314731483240194020323489349032119411953240134014323606360732371037113228682869322690269132260826093217021703321520152132169416953213611362321360136132402140223233043305321782178332329532963233553356323612361332332033213233063307321237123832239323943237523753323318331932239924003233083309321381138232314231433226062607323347334832360436053223782379322409241032334933503224282429321403140432238023813237083709323326332732240124023233283329323293329432138213832336223623101410641034105410241044318788311143114431225022513140094010312262226331165716583170470531123312343179479531142314243110131014319329333118401841311020102131400740083191992031105210533161962031692693312356235731208620873188893121912192314135413631930931311544154531184818493171671731376437653132603261313703713111271128311842184331412141223128228331124125319289293135903591317417423122642265314011401231323232333111101111311461473157557631711712319409413135883589313238323931225322543160360431326632673162162231323632373132723273312882893158358431148149311838183931122112223116616731696697311463146431325832593139833984311121112231964965314039404031207220733111761177311229123031601602311111111231323032313114153132853286311044104531907908312562573116721673315215223128432844316486493110281029319089093131131231112511263123522353311175117631188618873191691731226622673112351236313586358731326832693110311032313252325331111811193123542355317137143122522253313287328831184618473118361837318908913192492531413741383151952031226022613128572858312268226931413941403128392840317327333110621063313250325131113114311844184531336533663132743275312662673128452846311681693111051106311655165631123112325118641865517517525148848951142614275129112912516746755131843185512622635131943195511930193151414741485112571258511050105151414541465172072151342034215110931094511944194551869870519119125134143415514674685131923193512913291451851852518988995123062307511606160751400140025191291351188318845138583859512794279551753754511024102551577578512358235951435436511890189151317318511087108851893894511758175951230823095111261127517057065122942295519599605177877951756757511141114251200220035123602361511213514029403051155415555167267351188418855170971051949551229022915131063107511709171051229622975132232351120121518538545134223423514127412851699700514003400451291529165112781279511879188051109110925114651466511674167551670671511113111451392039215119981999517497505173673751260261511901915188989051113511365134123413513424342551237223735140274028513186318751194195513790379151776777513768376951200120025166766851165216535111821183511037103851200320045122282229511546154751125912605111461147514131413251676677519159165140054006518338345138713872517347355141334134517457465119219351134113425198999051724725511171185175575651208220835172272351708709511547154851281328145129172918518678685127902791513853385451379437955127982799511762176351384938505122222223519939945112551256513760376151637638518308315110801081512224222551391839195172672751865866514384395110951096511764176551279627975122262227513178317951103210335118001801511132113351188118825140314032519049055193793851406140625129129251134313445122302231511550155151225522565134043405511130113151739740514694705110211022511161175143443551738739513193205134263427511798179951406340645128112812519539545144344451200520065122842285514099410051486487512292229351714715511017101851963964517607615112241225511225122651171851313314511089109051747748512792279351697698512085208651410141025119221923511023102451407040715186686751901902513848384951516517511924192551230423055141534154518958965117601761512288228951230223033032305230223042301230625023504350335063501350534141114112413930393141861862411948194941113811394119201921418218224141194120413122312341324325413052305341203520364188788841385638574126322633411047104841694695411801180241389838994141094110415085094166866941859860411128112941206020614154154241910412220222141204120424198898941375376411422142341150115024183483541131441855856411607160841411341144119751976415125134130203021411516416776784137123713413938393941105810594132632741204320444119771978415395404141154116413850385141188818894130903091417217224130823083411882188341214121424139463947415575584118661867414107410841396339644116481649411342134341263026314130283029415805814116591660413076307741795796413948394941207020714186886941106510664190690741303030314192292341398439854139803981411140114141261262411086108741992993411677167841555556411710171141263826394193493541306630674130743075419589594110381039417637644139003901412842854137043705413068306941104310444139793980418578584121892190418428434120892090411097109841106310644139323933418408414136983699416736744174374441962963418478484110591060413714371541327328411082108341376237634111124130363037412004200541134513464167867941114411454163863941106010614128812882414504514139883989413038303941195019514151051141757758412033203441891892413981398241646647418968974157357441114211434111061107412206220741411741184137003701417377384196596641103310344130223023412872884120682069417067074144444541838839412062206341206420654163563641180218034110221023412642654139443945413950395141309230934120662067419059064118251826413990399141308430854117071708416666674119461947418978984110781079433620362143362336241118291830116456461121832184111083108411344634471188888911643644118188191192592611363736381117961797116566112254225511338833891124712472112083208411285286111656165711849850111048104911245524561133963397117237241112611262111675167611186018611111161117118158161110151016112902911151751811198119821110141015113982398311186218631167567611835836119559561111141115111831183211195619571116171140411120912092118138141129492950118508511116131614112447244811913914112312231311191719181111241125111605160611171317141170370411147814791189901179379411213121321133713372113713721163641196696711122712281110411042111790179111150215031164965011179918001140234024117967971184851182782811194319441164164211196219631124982499112242224311165316541171871911179417951114971498112088208911110411051111811182112496249711404740481111031104111885188611183918401172973011640641111470147111142014211191791811179217931119101911114141414211196197112340234111410341041114801481111174117511289290111915191611363936401116491650118298301114241425113851385211990991111222122311339033911140454046118178181140254026112835283611376737681131631711113411351190911116811682117127131196796811106110621112112211576577112500250111126012611119281929112457245811114115112465246611233423351110111118351836111914191511195219531111481149111476147711134013411110421043114374381186871111201121112256225711167916801191921114251426119919921151351411582583112833283411229822991111791180111139114011938939117427431116091610112463246411383911225822591193941117121713117077081133983399115205211111781179119099101171571611957958114043404411213721381193593611195819591192392411200720081116191620113641364211816817119269271111451146111112111311183318341124492450112572581132532611233223331175875911249424951179779811109810991110841085117617621140494050112934293511792793111012101311191619171138543855113985398611231023111134483449118238241133733374111177117811293829391174074111315316111549155011191219131169869911936937111504150511104910501137637711113711381137653766113406340711293029311125926011195196118258261144644711344034411118871888112087208811230023011115451546111025102611167316741129362937115785791128372838118911376137621111912011171517161217511752122492249312314331441226002601121192119312175417551226042605123055305612129812991226892690122437243812349434951215261527122925292612242524261240814082121940194112350135021235963597121310131112232423251234913492123487348812329933001219411942123297329812193319341226832684121297129812152115221216331634121362136312163716381216971698123301330212286928701211521153122920292112123812391234303431121990199112297629771225812582121785178612292429251217011702124037403812119912001216951696123432343312115811591212451246123598359912314131421212431244121385138612199119921234903491122685268612178317841237533754121752175312314431451218731874121161116212232623271213111312122923292412343834391224812482121934193512119511961224302431121779178012243824391224852486122865286612138313841234863487121364136512231823191225632564122922292312115011511237493750121877187812349234931240514052121197119812260726081237553756121196119712256125621240334034122429243012403540363336153616333457345833361436153334563457001100610051002100310041521241124252136513665226032604522992299352298429855211591160523756375752130713085230003001524082408352286228635213091310522431243252305630575226842685521296129752177817795212401241521642164352193819395224392440522919292052163416355229742975522971297252298229835219941995523146314752174817495213671368521305130652178617875218701871522441244252199219935224352436523298329952120012015229702971522998299952408040815216961697524087408852296729685239103911522490249152349534965211541155521244124552193519365230143015521294129552138613875213881389524078407952330233035212921293523912391352248224835237483749522990299152306030615229722973ttt2ttt2 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])))