/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 05x12450425232x105x13342443502x105x15132404145x1105x11114445504x1152x11123334444x10053x15443334333x10505x14413043424x10514x15314443454x11505x11354224501x12055x13543343342x14105x14021314531x105203x13001104513x105215x15403544224x105505x15351402544x110510x10213114010x120514x14554453223x121212x12324225343x140051x11024042030x151305x10403254530x1003505x10415204243x1005320x10304330130x1050005x15502441135x1100552x14510225355x1102212x11502404412x1105020x10502513034x1132221x10125042550x1200505x14415525535x1203012x11514032404x1210505x13421012445x1410504x14121430104x1550551x15552123540x10005421x15302521432x10005515x10445321201x10512124x10350542235x11045515x11504144404x12000521x12254131431x12030415x12012435530x12241055x14433002442x13205415x13514204324x13301203x15442352403x14052050x14345405230x14055505x11302312022x15150535x15430544205x15221005x15154553014x12.150x12325240542x150x12053442433x150x15414042315x1501x14055444111x1251x14444333211x13500x13334333445x15050x14243403144x14150x14543444135x15051x11054224531x15502x12433433453x15014x11354131204x130250x13154011003x151250x14224453045x150550x14452041535x101501x10104113120x141502x13223544554x121212x13435224232x115004x10302404201x150315x10354523040x1505300x13424025140x1023500x10310334030x1500050x15311442055x1255001x15535220154x1212201x12144042051x1020501x14303152050x1122231x10552405210x1505002x15355255144x1210302x14042304151x1505012x15442101243x1405014x14010341214x1155055x10453212555x11245000x12341252035x15155000x11021235440x14212150x15322450530x15155401x14044414051x11250002x11341314522x15140302x10355342102x15501422x12442003344x15145023x14234024153x13021033x13042532445x10502504x10325045434x15055504x12202132031x15350515x15024450345x15001225x14103554515x13654321654321220710091182192118221611821472118211651182914118288811829241182234611821466118227511182138811822714118213771182141811821412118234711182347711823487118238861182389612061173409612832618914310583186833373086339730863437308634743256105839271562130111923836128359112075911223591131459113225911411591141759115165911555591188117611763361768871761671762161769241761093176445176564176194176467176469176147217614741763981494485587165429261009292622012926117329263782387130283871145538711472332033032624913181196431463516314635933146360631463701325810722662264634223366731721315306316082856160830821608318016083579329832853886137789932521663252334532523355317788924891173428429192338109323384452338887233833623385642338595233826723381192338402338191233836923381233816723381942338467233846923381455233814742338398115139241513147215131671513216151310451513354811381126271413881737333158933725893423589345634123373347713772367336316718821680203010562471905188223401095348713881333123433811181418167141820122110934232234716972570169726611697280730391637115617511562243372195834652805982482982607982728982971982998983034983076341011843580356725049251294049403829622952193568222771052222928502229308022293178222935771653444131312834055104312619241261147212612163054163730544046289240289153123851141424542814245430342454309424543115371798537182837279213232153232323103232992323232403232291932324136356148435613726124811529151051136713472851150432389594276977156034724681184357438973574391035743992357439943574403335744159171717021717212141625314162420556123215613741268726643954393943189211769175817692376338411733669366040451384197919643404117311401126114024133082340330823439308234763179196419723156314759153048540824065138619213862161386147213861165138691413868881386924138623461386146613862751138613771386141813861412138634711386388613863896308758338483468313163831313208728120572812117281312728131872814097281415728155772818927283930167336167410167887167201799841817401731278513778112366307314723073167307392430732163582356795636899563756956379795638514282147542824293428243194036591315717993314330343622553820377159512515951346595145459525155952631595275059529735953164595392418931882306217514591145444145958122913910411835753758357537603575376235753803357538053575381135753853357538553575386135753908357539143575392235754027140811311584167737981283411941512369112824831226705675158917426542556355330643921156218118336188871816718216188881819218924181472182751183896258624096245836247896248612464117346944546910932402531374016449789599782368432812834194170441106741107825882577316117994098128312091120466120977120173938831643237326534083593583791583863583923583933107910723925156242041026939420122031009812181288781233681210458129248121678122168121455812147239944071399440973994411621816734951476349539514115137740721173354733061033164610331712103321291033232337741173980959980237483881437923752181217992320347297434735171476171033293618377536183827361838853150351431503591315036103150369916785643111234031115663111310231113135311115563111312731113983422942182252409225252252102252125322522976225239276462358260813253475293476723471005347113941156341110263523291935233730358635679706910699108092282729672911647299137294347292407297207292687291687292667291456729322072931267293042729155572914177291322729122372959172931517291476729351572913789149509142457133233571332341313323445320193364756471139647672647529647100564734764723406473102647313564715566473127568514452175239539155829311770214391330132340301395230135663013312730133210301315563013638301331353013398344314438874433364439244431674432164439144431165443145544314724431466443141244320124431418227591425382247173810801738706173859317382651738164173888173823717384081738317381069173891738125217382167173812631738324036549039112393911403539114153592259293359286359281359275559258359262259210725927875925945921081592835592925592596592227659220135922018592188259231655923567592361159235921000991393115625985835987775988371124344372992141322918267225859972274382212832413092411495166432991664373236713660113411262491117340841283420610439478941751813236133638961377327293439291563127512523253340932533441325334866225836228133159179939871484308358331373102318519646736399917445325339683938396841313444342444616033064324146744546722571068105820182013314167431413255314132571132820314235083142358731423612314236972344336141616714162206247011841034610349131034434103424010342661758240114011191191126713691595415015624200417810777834093474304356743024844302431778617868877863367869247861677862167869147868067861455786147278618637861466354930652872402877523432338139463072284528229223922108092270692210699229922125292221679221263922324028571504321591337423733165911651730157015123563484356337283438128321223481081107222561044755721316177431630741004991314559189517510666106691310664341066240106626636123777361238293612389135573064320393318389243673134657024837619122330421223305912233126122331341223322096517411541636115416521154170111543101222836782228374322283783222838394208328713179114121377291318862557203113239122452528224526332245275235553064369619643923473925113926383921003392113717131702171321134320324325401173273113772731296127313020131991201322764296306527061377164511814113137759014755901679590196359035893079556390347390493390999390113328891504193432021934396713451247367918821515150430855831208117330411753041323721699933175188216073691160737541607379516073849390914773302166424659129783471700168017002109280020312972156236569029763472039107220399332039863203978720392203958320395942039108139131479413629193610378136103837361038953915347417432231070105818072488180725091807260918072623180727301807274218072983180731721807391834323431554347142831581428325114141673211348323432234047403991468915319197991174110993541005292713731347380412833356913512485396039391971419934994212129375711735623544274188538503840336733042682402687202681540313563831353210248176824835541766246317662511176625931766262517662705176627441766297717663174176639321410137734463538188329031277125232093483436128314531152532193053223864413411441344344134923573420935734220357342303029300530293670383812832155959350914763509395716992547169926451699279036981964788778391915623240992385616713111203597128059713745971473350714763507395343261173147739121477413563989668690616662886346662124072587240726862407284437761173119310453375563371149337512351123517612352338792778792804792103530353443035307815394115393166795016678871667336166759516672671667119166740166719116673691667116674101667167166791416671455166714669211650921171692121449213057921312014563522345434510263459134597734512034541134586434514334513473451373345302934526323453838401035224010147640102339401031514010116440101684010351540101456415818842743167212891334341283385213771397104531193102399558339663938396641333294186332941885276222473082403087301763321417633233176332974240411727451672747167109245110414413469137734693477123430401234305312343112123431301234314012343216123433033396117321143482458116624912493362498872499242492162499502499142491165249147224914662491863249141224920122491418127912523312245733129503312914395239392412982153959137729671377302211813655118137241181405032541044336315041541752982347679135512605382101538396533981173359235673725958415634641564161164744416472154150040291500406715004083150041121439132501052325022773250792430943254309432743094329101472836115832414240826621422215230723892623814104231651882167925581679265516792805241130382411306124113136241131381347366844241214193428643714597941728804154230233005129111813590356723791141344234511501238115013361150144315043938582127658213705821469225810441655490171111391711672171151711529171110051711347171123401711310217113135171115561711312715013144150135564242290421519593121310238281283419541911394196724195294191005419347419113341949341979241999941939041923404191052419227741931274193210419155641963841931354192903419188341978831831964153831461538356425712548166631421666355216663651365267590439041080904706904106790499047049041078904419042201904125290425169041173904378234401283593127459313685931467593251359326295932746593297559331665933926181417998203319425992125941283251691505291810431183104312921043138711551225115513241155141911551553115515611155158211551656163313338228062859150414701455412643011715170217152119862814122491224593122426512241641224881224237122440812243122412521224216712241263122432402610128337313244177317581773238433303363617583223091422301672230122301165223014552230146622301412223020122230141833461086234633623463176348108634822233471137719628882514922552467225525992255271126562646415742416231278623137262314713221913333233613691347169816801698210735151476358435674257291942574136300539803148350631483585314836163148369537723028377214553772147218698871869336186911869924186916718692161869145518691472186910453084339530843435308434702038314841523939596583596835596813596755596259662259659240681173131512831771175817712378145530283700196415172413080338330803433308034681556347391715621013175710134000753721260012933236959369419641006991100618623703473704843706483709903701125621126262113666211465238711434034638699696746910576910713143591307548523373160296041129603029296038381049180939331562333833641483364148420340084207306016373578356716864411204113117653271902417714203004304317530433235378211734032531403240542161674160188395731626441283225724692257260122572713411114122375112822513154412742434127424541274295377811731541310154121683667216736673240273713772737295127373014383012834244484424442584244427542943939360637733606382136063883165753124043424075424091324032393455330431133102707675264225373690188219751964142911429176142923381774285817743084177431821774358314843562821591151235603588356717164817171417214217233717305517311817367227291420683368310806837066831069683968312526832167683126368332402751167510485727230683681416098871609336160992416095951609267160911916094016091911609369160911609167160921616091455160914721537355815831658158319613021300511361126150233615028871502401502191150236915025951502267150211915021150221615021472274116739583939114817168116416823391129119411291302112913981260365312603722126040483759117340661412146492414641472146421614763959147642832201100936195834009405640094069400940734009409540094101400941144009414740094149400941552602129323241093212928882129308621293184315159135593064230224902302250323022615230226172302273623022740230229812302317023023916330034723771141492442147414552286103030815831087240716653657166537201665403738841377230793441281208412899241281263412810804128706412894128392641282975412826294128146741281274412840841282374128884128164412826541285934128341282167412832404128122421309132130434213062130240213026638921377280627911281125217421731317118822630912632913907145539071472375334693753347737553744164944416492152147214554028346402840313923156264963931273102312739283127415736163779361638353616389341171377932293210729329339328639327879325839325949321081100299131495913806912968295279077834421293189110452108934165144416512150452171210923039142303167230312303806230314552303186323031466379612832102933117124890318112559254817755911233330113751347407011739352179935229741871378214591337801173105051050409105010105012531050297610503927439594583594787594259418825943167106515141065169710651974266240266216641817723607583372347372509372100137211353144349431443581314436183144369340534039400641734006424740064264271213883723958155280731731882359435673217913349334574312638785117278512097851282785131678513767851413785155978519047853920405140383173317413179353171252317126331725163179923173240317117331737822626911941671558347370219648881007888220029993471973108019737061973106719739197359319732651973164197388197323719734081973319737041973107819734119732201197312521973251619731173197337824219411721809933894137713711347442150344216994421978442356672521277253222725328442024178682236024132576241326632413282135513065539344315517991263125286481423593362510943301377369218821468145529843473854137730153005201631414853361485887148521614851472148592414853550293718641123253911232643112327841123393618101799356548528312409114723191921673993356721203483077531216799226161283238167238220228082791305816371466145581932003613583357659235761882305616373056405235524841342918180888718083361808924180859518082671808119180840180819118083691808118081671808216180814551808147231396384351141393715621767116417679131767434176724017676211767288176790176781767166176734617676176772017672681767168176714561767322017673126176730421767155517671417176713221767122317675911767315117671476176735154030188234751377317277283123782379316806813143443531487488318178183133934031415341543117351736316746753110111012319289293113161317314474483111912031344345318208213126292630313040304131446447314104113186386431104810493137203721312035203631901902314203420431306130623133013302319192311710171131186818693168268331106110623111681169317797803145045131164616473111491150315855863111431144311681693133833931109810993164664731107510763141614162311087108831228522863183583631449450318378383134234331372437253123012302311650165131168216833116173117371738319949953130423043311139114031237623773114414531340341313493503196973131231331106410653141541631164816493111351136311765176631224322443119701971313113123119321933316436443110371038311588158931180118023116601661318168173142754276312631263231909131193119323116521653311656165731403140323189489531229822993170470531113711383122502251311806180731262526263137223723311534153531158315843123842385311086108731813814312224222531930931311119112031861862313103113111251126311533153431132213233178478531240124023170670731811812311032103331203720383138053806312617261831142143311318131931153215333130763077311211223126232624311641653195395431113311343136513652313433443155755831491492313523533117071708523790379152138713885214521453523849385052393939405214191420522728272952388538865234763477523011301252255325545227362737522799280052141114125214541455524116411752346834695241994200521835183652366336645232903291523070307152253425355218841885524178417952146314645233743375521833183452124412455215091510522805280652267026715234923493523839384052374537465212571258521396139752276127625225302531521353135452275227535214711472521376137752118511865239443945524112411352347034715234743475521637163852279027915226522653521189119052151015115211781179521299130052420142025234863487523980398152310631075237493750521343134452122712285214691470524179418052119611975241844185522711271252283028315213091310521174117552258225835214431444523895389652388338845233033304522784278552128912905241144115523430343152282128225212401241521398139952120012015214651466522713271452385338545214071408523456345752123112325225492550523891389252140914105214671468521385138652257825795241774178521428142952432943305214811482523893389452133113325232233224523378337952280728085212531254523102310352385138525228442845522640264152148214835239853986523103310452147314745232913292522705270652273027314230073008422967296842346034614239433944423554355542147914804231363137421304130542398239834229222923421551155242128712884225802581422650265142263826394239263927422935293642405240534231053106423425342642124212434236653666422923292442398639874211841185423006300742130613074226372638423918391942135113524237873788421229123042346234634239323933421195119642346434654227942795423428342942384338444215501551422758275942183418354237853786423940394142392039214215611562423922392342150715084214621463422951295242374737484212861287423112311342400340044238453846422667266842188918904215491550421484148542292429254241594160421393139442134813494229362937421341134242134013414212391240421829183042142714284213821383422827282842156815694213261327423572357342306330644240384039421460146142292529264229562957422933293442156615674233733374423732373342138413854233083309424127412842324932504213801381423101310242355635574232313232424185418642384738484227562757422635263642145814594213951396423928392942322932304214251426422825282642122612274241244125422971297242264726484233763377421391139242404640474230693070423104310542301030114239303931423936393742140614074239123913423012301342117311744241254126421506150742374437454225322533421187118842266526664211981199423118311942373937404228292830423244324542129412954214041405421329133042164416454229612962421350135142404440454211761177421296129742156215634239243925421480148142266826694234273428421508150942254825494227982799423660366142255125524213281329423558355942147814794227602761421451145242252925304214231424423741374242140214034237883789423008300942151215134229342935421252125342264926504216381639421297129842144914504232883289423733373442133813394212841285423311331242414941504214471448423916391742130713084225772578423120312142312631274233053306424126412742125512564216411642423225322642279627974218821883421887188842355235534215481549422952295342400540063226642665322601260232265126523212921293323803380432132413253227922793322643264432128812893218361837321378137932263926403240374038321308130932140014013229542955322921292232291929203240974098323795379632322732283213681369323110311132133613373241514152324122412332384138423213521353321545154632189018913212831284322955295632156415653225932594323014301532260926103234433444323424342532412141223242934294323734373532342334243233093310323821382232305730583237833784323055305632154715483240954096321312131332418341843230593060321374137532300930103241234124322584258532300430053236643665321302130332342934303234333434323789379032255525563234413442321259126032130313043211801181322607260832302230233237843785323313331432282328243239593960323319332032134613473214211422321640164132137013713225362537323569357032183118323229532954323957395832266126623236663667321372137332163616373230673068323439344032324532463240084009322920292132293029313232923293321389139032263326343239383939321456145732375137523212461247321567156832302030213226552656323053305432275427553213371338321642164332405040513213141315321293129432266926703226152616323951395232328932903212981299321330133132264526463230283029322932293332382938303239533954321233123432259926003226862687322959296032136613673234583459321202120332119111923230383039322646264732134713483234353436323380338132154615473212821283321342134332408340843229582959323837383832132513263236583659323797379832382738283240484049321639164032263426353230713072322931293232373537363229572958323437343832432743283238353836321445144632164316443231073108322663266413426642671342414242132904290513424742481338993900133862386313344634471329032904134102410313423742381342494250133539354013389738981334523453133898389913423142321338683869134108410921175917602119671968214041216756762123862387219599602132393240211067106821104010412193942164464521677678211073107421111811192113142112091210213760376121166516662110291030218988992143843921220222032122482249211211121221168016812117631764211142114321201320142118631864211010101121173217332125092510213093102111211122213140314121160416052118661867212166216721721722219159162117411742211223122421220022012136533654211047104821109510962116917021889890211733173421892122062207211603160421224922502164564621103310342135435521899900214854862124112412213655365621809810219639642119681969219919922188892117391740216667214374382125112512211131113221153115322167867921938939217807812122252226211027102821583584211057105821104610472156756821109010912122272228212503250421114511462110081009218068072117301731219449452116641665219259262115162115401541211069107021203220332110381039211708170921954955216869211154115521725726212515251621424321180218032117091710219219222125132514211718219349352132553256211147114821561562403540654055404540254015234267426823336633672337673768233769377023420942102334483449234065406623421442152342234224233771377223423342342340564057233357335823406140622341044105233364336523386438652342184219234216421723336233632340764077233814381523341634172342534254232905290623406340642342644265233762376303426542660333603361033765376603421242130342554256034235423603427342740340814082034251425203345034510338193820033421342203405940600341064107033866386703422842290339053906102610661046101610361056123247324812151415151227532754123224322512349434951215421543122759276012188318841213831384124133413412390839091232333234123965396612328632871214611462123568356912279727981228222823124040404112351435151213941395121543154412285628571228502851123506350712411841191214441445121476147712292729281214551456124119412012373037311232223223123574357512150515061230683069121377137812418141821228282829123304330512145014511241574158123066306712417341741214751476124281428212138813891230723073124000400112279127921230053006121405140612285828591234633464124042404312147714781215041505123457345812413141321213991400121420142112398139821238403841123570357112351635171232433244122888288912292829291235083509121503150412396739681214261427124207420812384638471215631564123571357212324132423341034104334232423333386338643342174218333817381833422042213329062907332908290933381138123334193420333770377133406440653334473448334074407533427242733334143415334079408033381238133335383539334269427033407340743334133414333543354433422642273333653366332907290833425242533342214222301430643034305430243044411701714132993300412975297641299829994122472248413413424124092410411867186841323732384110351036411497149841370137024115011502411013101441153515364197998041244245419199204111531154411731173241106310644119301931413363374122762277413178317941170417054120142015414894904139139241353354413345334641112811294117217341149514964179179241408409414243424441155715584129732974414144154131823183419495413914391541569570412321232241116511664136937041170117024124224341215221534181081141153615374131843185413078307941245724584135135241789790413695369641536537411716171741782783411054105541109410954110551056413180318141104510464181581641977978411658165941937938414484494192934115551556415595604131631741369736984168168241451452412482494114961497412410241141964965412297229841109110924115861587419104118041805414364374195195241171417154199399441314315417777784135623563417227234115851586413473484143944041416417419189194116631664414033403441346347411538153941588589411974197541176217634117991800411122112341431143124121192120418088094141341441724725412983298441171217134115371538413235323641105910604195895941356035614189189241916917415605614143014302411662166341203820394195964115591560411031103241640641411736173741787788411685168641176017614118651866412154215541158715884110511052413693369441196319644189089141676677414454464110531054413138313941313314414184194117417541313031314116051606419319324122832284412339234041315316411213411666166741298129824117051706412150215141231923204121132114411152115341389390413208320941412413413373384110741075416416424136993700412977297841313431354132103211411654165541112611274119781979412432444137137241212121224195595641109710984115531554415655661126726811160816091148848911962963119609611116831684113483491131463147111093109411927928111005100611107210731132713272112306230711265266112144214511999100011893894111039104011424542461181982011168416851131503151111770177111534535111060106111222922301144244311391039111137263727118968971192092111533534119339341180480511173174111065106611196519661156456511321632171132203221115905911199099111167168119509511119341935112129213011214221431141141211241242113142314311210721081110031004112392401117571758113073081124024111217921801158458511158415851115161517111144114511425842591121272128111772177311222622271131483149112034203511587588112862871110621063113214321511210921101199299311892893115865871116811682111052105311288289112284228511486487111170117111103010311110011002114317431811216821691137283729119969971133553356111009101011176817691117741775113144314511538539003200520022004200120062202320432033206320132053512742274351403540365194094151672673512282228351237238511413141451217218511498149951887888512246224751166167511805180651568569515635645127442745511862186351170317045117061707519029035133373338512300230151103610375123682369514904915127502751511058105951149915005119721973516486495117341735517837845190090151115111525122232224511120112151236623675110121013517817825141474148511931945111301131512360236151233723385193593651923924519469475116061607512746274751245246519139145120302031512358235951104410455110421043519039045192692751537538511969197051333133325194394451234523465180580651104910505194294351141714185116771678511415512152165110761077519459465119119251229923005122512252511961196251166116625122742275511028102951466467511582158351435436513034303551197119725133293330511164116551325132525111671168511964196551224422455140544055516386395123432344511127112851101151203320345142054206512740274151232323245141741851385538565146846951979851246247511702170351141514165144044151100710085111661167514444455124082409516426435167968051237423755155855951175176519399405118031804516396404335443545433813381443341834194329092910434250425143291229134334513452434210421143335833594334493450432911291243406040614342134214433867386843390639074335403541433763376443423642374340754076434109411043410741084338653866433816381743354235434337663767434224422543345334544334173418433902390343354135424342254226434222422343336133624340774078434268426943407840794338153816433901390243341534164342544255433900390143354635474342344235434256425743386938704341054106434238423943405740584329102911013610361101888889014414420175475501818819013082308301108910900120172018011112019299300124072408014309431001108810890172372401484485013156315701989901102610270116071608013074307501778779013158315901180018010132573258015355360159759801112311240124132414011697169801193319340159159201308630870130843085015295300175275301807808018148150135643565012472480117641765011078107901914915011155115601104310440117581759012257225801532533011096109701730731019179180162362401961962015665670178578601112911300139943995011798179901203620370122552256013202320301924925019569570151151201116911700136163617012012201301114611470131543155011811181201176117620195295301317631770149349401167916800116991700011813181401180918100136123613019979980116591660015825830189789801180718080132533254012031203201201520160119661967012245224601176617670117117201222822290130803081011864186501726727015935940136183619011080108101350351016216220111501151019959960155655701509510013200320101936937012302230301210121020131603161011071107201531532015895900136063607017287290115001501015955960111411142014027402801720721014155415602399239930237913792021483148402188118820232263227021403140402324632470234313432023172317302367836790231663167021186118702404140420232303231023461346202358535860213541355024186418702356635670218371838021828182902275727580213101311023375337602264126420237463747022579258002357935800218921893023307330802329332940235753576022531253202358935900214241425022795279602282628270237363737021332133302359135920236913692024007400802355035510239453946021830183102255025510236893690023548354902400440050235873588024295429602358335840213441345024029403002117511760218861887023164316502359335940239833984021290129102190419050231743175021228122902139213930231703171023285328602324832490226532654021511151202145914600212541255021300130102124112420240094010021381138202306430650235773578023573357402358135820243034304021565156602400140020211971198023844384502373737380226712672021448144953427042715342714272534248424953344534465339033904534227422853336333645334203421534058405953408040815338703871534215421653410141025342394240534062406353381838195337643765533359336053390439055342114212533768376953411041115335453546533454345553386138625342304231501150615051502150315041221885188622394139422241824183224283428422338333842232873288221457145822120312042227552756223397339822119211932212951296223297329822400240032237523753224180418122342634272240064007223756375722118811892240694070221201120222132713282232283229223403340422124712482212741275223672367322133913402224882489223775377622124312442237503751223522352322258125822225522553222528252922404340442211721173221422142322119912002233063307221285128622394239432213491350222585258622366136622231093110222583258422398439852212621263223284328522123212332233773378223786378722367036712211811182221305130622337233732212511252221260126122253925402212251226222636263722413541362231083109222556255722340934102218321833222824282522264826492211791180223411341222246724682225472548221278127922140114022225372538223842384322154415452235673568223459346022375837592212071208222576257722120512062226662667222793279422366836692237733774222463246422119411952236573658222558255922377737782212301231222918291922249024912212581259224071407222432543262240394040221190119122127612772213791380223379338022125612572233103311223381338222412041212233953396222587258822124512462225542555221280128122257025712224692470221238123922406740682211831184221446144722139013912243194320223659366022253525362212341235223781378222373837392229292930223754375522248224832211771178223065306622366236632237483749221888188922253325342232423243221569157022377937802237433744ttt2ttt2 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])))