/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 034x13121211354x1325x12253322112x1410x11202444444x10050x10022233311x10320x13412324011x13405x12110114542x14554x11304142222x15050x15242522324x103434x12104235334x134450x12211351220x143002x12110110021x143325x11114252145x145154x11355211522x154510x12115314210x155135x11141142022x1005031x10041145231x1035051x15125223240x1051035x12132251135x1055451x15520111201x1303425x11155512222x1352531x13011414011x1503325x12013043511x1540343x15314322143x1541000x13522122432x1545330x15043011130x1545454x11003011214x1550454x15344351125x10200545x10212140445x10202505x12531042511x10300350x10324222520x10344015x12424043212x10554405x12115050445x11203233x11243354113x11340054x11042044524x13300402x14115012551x13505554x12444541332x14004540x14312134031x14040545x11515515511x14305224x11241200414x14344335x12353514535x15013320x15213515111x15050503x10150123443x15100134x15532412334x15203024x10235512014x15300054x15115324400x15433053x15113543513x12.1430x14531121213x1523x12112233522x1014x14444442021x10500x11133322200x10230x11104232143x15043x12454110112x14554x12222414031x10505x14232252425x143430x14335324012x105443x10221531122x120034x11200110112x152334x15412524111x145154x12251125531x101545x10124135112x153155x12202411411x1130500x11325411400x1150530x10423225215x1530150x15311522312x1154550x11021110255x1524303x12222155511x1135253x11104141103x1523305x11153403102x1343045x13412234135x1000145x12342212253x1033545x10311103405x1454545x14121103001x1454055x15211534435x15450020x15440412120x15052020x11152401352x10530030x10252224230x15104430x12123404242x15044550x15440505112x13323021x13114533421x14500431x14254402401x12040033x11552105114x14555053x12331454442x10454004x11304312134x15450404x11155155151x14225034x14140021421x15334434x15354153532x10233105x11115153125x13050505x13443210510x14310015x14332142355x14203025x14102155320x14500035x10044235115x13503345x13153453115x1265432165432132133312721984272199827222722722302272246224936012493310136098943308457854232385423528542392165931261659313616593319165933863391339879339837339864339849339263836774251602767160218816027071602237716025251602100818688693086809330622323256425322417322586322172132998355417250160125013099383692638363841846232784623568462400212411233468104449443231973213197326335373670587186958718993646104432931334303031223030312830303315303033213030337845750945762845719603358837284913093320456318132131813247277010072051613078823471334239345623932694339988236974563697375021381123272289534459393886894329113091674732384093934253087236713343329346533293531332935473329355135164563516355927122827609553123104436933776369338513693388336933887232232123222704873206350413343039105227408953721524372137262773317035808952295178558378558731989923491334874865880865880428802880876100722163882308711662321016401011231031412196117222973212297257922972605222921502100704210014502100775210022821002552100702210027462100361121007302100354429081406273228273926273329225242922297519983162375180997303225094564013574015514016091487881148745614875851487569148751487330148773814871611487112314872511148721591487213614872885372760137273839487337326442585183785187518648042851130930323349294228294934323842543298943210174321280432149243222703323347334721044357430871578658123733133522273737784781193028633212863309723631334373552333843493338435093384352336693546933712390045639003901197910073110939608524107390154460132645134418943082809199391784303831793213179324522066962206704220627462206362222063611220635443147112335521713863211386161438489233032123302723728716197710071977219762832142461524246124922814161358289570674770619223157321315732203805456380538203314321382038453820384738203857382038593820386719239402132112327328952570739179217783821739354536283545363035453672354536743545372012290122674122894221721983910939273489525747398788651870870378542561060123691334585542585962379332137933829550555088155045655058555056955033055073855016155011235502511550215955021365502885223522212928524292829771811883718851182961886418849188561878418805182638182198182217183362183743352245635223565365169978815312510442261613623955224922372511456254546441318612090120771120791366315831853270338538549889801752523772765227122373466104433249335089377733037773865156545627931123279332983547367835473682354736961995998011953360837106212231062186522323477223235252232352722323529223235392232354122323610232032123202702122633071226340023453212345274129741602974334333778373846100712941288805784805856805184780518058758052198805864805851805296805849805263880522178051829806012980344218588178612026356680926838812683288627449262744275721401123358689592959672972791775171473925356759148951332321133218973031166030312551193175632013213201327633148136319585142520452275383585277476516291615270389530137842041104414157281415957141589614152552141546514154821415308914157721415223130097841999967165826858095921592592186359233575923461296618492966716296672929666262966357296636729667282966726296616502966255269867522813212281257522812631334478426958093322293107172910716261071611107135710718481071272107112110716810711601071356107141071566107139935124563512355530035233729159335688093036334738223881382238852568255116641649346410443671321367136767657297656267656117653577658487652727651217656876516076535676547655667653997657747652221765223325522819919342730871134112324093212409252834604562361133438961334217216128731334270789569667519297053482321348235751866856903219070390773908049091790362490354390899035379036149034789036158922141264083731379023183212318270067365883787910316091031729103162610313571031551103140199499765997299962699611993579956699399997749961399568993869972899367994829977299882996009954199384999289922219922339922319924849952499245324716012471310919009222989141335393645353937283539374235393744307217383289571310437131061713156471318612758955360389431411123350613341668730256625511164228116431164273116473016013042113281711327391132257411323821189889523013212301258123012616331045731633213163322296811719681871968200030075233492321349235851493147814931541141111912251252140018463814384938143871381438773814387933858373474321347434792582523363037722701895347633034763706190219362295321229525772295260319072304190723063104939354936803549368435493698379913341776777177629548319827951123285713092833223735508372244315636851334739817739936739756739854739270739158739667391857393857393739775739228338783716562024165620755499875491019549127854914905492195549297132151250338634873386350333863517374237863742379437423800381725513120312431203134312033173120335331203384212217143108939207490269780975517558797558377558647558497552638901592667658314511231994317221901172969979969100696912769691477969224836732237235713343761895135222181352279213523573135236087706803556809131895513181591318836131825413188913184313182061318398131861318230131875713181334131810441318270613182074131823241318204113182353131828731318189513181309131828573342432205252320521752350813342245101517131980171319941713225617132296171324543287130934313087369536243695354336958936952233369535373695361436953478369536153874523291214063699456369937521426728142636714264142648232073213207328235021334147815431722759388017284116028413006284130125481875113027962027104423343212334273333573485335735013357351513451885252967536813213681376444944657367932136793760250345619963200307417387883797019708799708379708649708499702638239545623952696249560124953103179017782978601297834444881249170043229722957634515423122128874813205321320532802564255129766012976345732348827248951988317861260117727773316456381546411371893356080928751334319932131993274142845614281715277692910140629617192962639296205929687929683729624002962327296400296225296412961192962522968462961296875296851354473081671381618573033105238773893387738953877389939028092532282746926274627593318456337834913378350733783521380332138033808914259111653070817135376431069393356817287113341703170817170936170756170775170228170739170926170273170730386242516133016145616173816188125422992254230732542336125423469385010449168952058902305903135901896895186161288145628813081236513342906140635648091277321127717531277177733593481335934953359351170267535263213526353555254261460114190141695141913194487919448371944846194425219441191944411944225194440019441194486419448491944263898318673439894193795530293351383870582417362910072071612155161213611233530140626502856265028722650288291889534981335257327672573277325732832257328382573292732404253856321385638611382328243345624332573810888299315933470104483914573098895319532131953261322542525727396436896206625463986836265386927529262752276130223525692765256927712569283025692836256929217267167261849105376510537741053222110532233105330231053362410533543105389105335371053361410533478105336151235879123583712358461235252123511912354112352251235400123511235864123584912352638773223277324087732418773254277325637732745773290738664577927843864329962760162793826938091051263338014563801382410423861456713889886708872514171713318932131893255301178438521123385238633129903223425384357384541384600276295534943213494358737438372637286226372874263728844556455955455159455230455757455133445510444552706455207445523244552041455235345528734551895455130945528573443939334043238635738656838661312925153295133432464252373237228237273237730237696237255237704237253237274623736222373611237354411312131113121561131233111312362113126671279321127917451279178913091895331232134863213486357921531611181730764223476424107642432764254476425657642751764290528771334325442516417083187321318732534333433273433730433817433739433673433671433934433294163745328854562885308519871007343789467967670672677256788671660201011962010221720101719201029620351044303833452033104428691334376789466552423167302580523240332124032526200931442009315420093288200932942009339252555258815254565251615251052518852555252596252558552576752570752526905252377525112352521595252511525213652510085252885525314938473889143901436971437641437831439155695428538378538772351133420251033101431111014331310143329101433331014334136058943611926361136228087612872140218722932366285017465232537464863338353667587223621611612008331120083325200833272008333120083339195068219502753343589436157059379273336730276420013558809316532131653224241132124112534468412141604272435648488042137804216080423448043418279711232379456237926922705895463122546321124633286463329225845231018100737658958768652879456287930792879321228793398106930361848811178688217867291786626178660017863571786848178627217861211786681786160178635617864178654117863841786928178624841786524178624532970295733268332633353326345933263616843140584314292151730215116683534159385023198502348850237612223211222128631212216312119993121192231216931217473121706312110073121198527991123366837683668377036683792366837983668382233628373348893480425188161188518810270989525712769257127752571283425712840257129291451167314511859374517328342518924545934645931577754138575414277541663754190128653212865309524174562417256924535242453248410152848101528681015287810153142101533943813966204066207366250266265029911593351013343484321348435771613761616481616991625673707457704675199791715198217151996171522581715230017152460862102186210721224322283716028373002283730081063129338197308876801334308751698134323033304643617705327742538123855334689149114781491153518721873575843576263577053577293876784925235322142533322551153660135848957381978738199273822507382294738245225765233005523114593611457561145854114527011451581145661145185114538511453114577511452282619784303710521226521143279834903213490358316911331691146169133116923641458145430848093683133423531334387215932639285026392870263928803376348933763505337635192617784308080930803150746172669319416237657361551736204273629812835223710201007311233233112333736943778369438023694380436943806369438143694381636943835246352424632494757955757115722332221223376522333624223335432233892233353722333614223334782233361529531402953148295329029532961943197619431988194322361943227819432438243952424392500277132046996966869715692692216691007691985198310073143112333613483336134993361351335389333873035788952774972437249367247567242297242287242711204696120425512048541204270120415812046612041851204385120431204704120427461204362212043611120435441861232118612350186123783043306942942666421771252767526918093520456352035633546739362545635321593225722372638837367516036753734367537362251223716280932971334386852438683869125976213841377138416283289130919101902847837366738532332321233227312839160283930042839301038238383089538582237337983735001334893745990980763463339582076902634891860819172074977122307712402771241677125367712561771274377129092772935888953795133417112217113517132917163217166717236022312221326242525434643076176834683765683613683568683386683609683551683401189418872651837836232583623548362394269980931029397142714880714670714725714887146771477671474771466871471571469714706714166071422167141999714100771419853773321377337841486198614861990148621891486228014862468148629697121308712133371213443051165930513355352845635283545113612361136135911361873143936714394321922391144212911442154114423331144236623714562371268416821394241723283212328272124014562401269818748823548837375930876820326820576825106826371599015970115990237691123567542227932122792595227925974641383464141646416594641909464222046425504642911232432123242706248760124873107315116319903188237745623772690276610071862837267091266926126677512662731266661266185126638512668541266270126615812663126673035628093884308721301123136013461360194538924257221032722108730942964128132112811751128117911227137462919386293014317132131713237263278435184563518356148980646544657654657164653674657284656094655514654014656134655684653864657264651650465255235703087375380984821358482158848232984823582188117278243123551334384445622193302219330932484251660164916608816602166025513127104433548173096895293052429302979314916135891979097189120901891217138071406399357399566399611190330003275425389032138903891277531802303321230325832303261827681007943422198510079038958522317852234685223702560517256022938096751016296101683710168751016851101622171375482377116193592793515793524456352435671942218719422669194227631942295619422973367357190816825362990253630712536335925363463346210442159161340180943319633053475330536593305375833053766187688196174566965815524563173321317332393514456351435571716739785126034961334343330871265212312652152126523351265236819923164299915933001660389432138943907384295538888942578523288345628833083254429982544307525443376254434713281425196197433938165893616587561658229165831658228165827173743298459013301309390889536603686108890315516126067848454548451928235913343870601387039091850235345893938541123232632123262708301580724856012485310533923569339236022419456241925712955589148526821485342414853434198110071580660206090357230872668827428953419308734193497227322372336321233627392259223728312237295832183779893779381237793818377938373779384324555242455248633284642604784114716117545232121279421212813212128642121287621213077212031463077343230773440348832134883581849837849864849184985131009392754705382580919413426194134362287562287752289362281450259878435422551378732137873831333425513540464339435713394360426673430266734383576895256225511542601879203487920598792508879263933273467332735333327354933273553347889347835373478354334783614347836242157161386016038603873386038759639732469524246924702596523413549355041263726384131163117411457145841307730784172172241161816194119411942418178184118691870413384338541171841194719484133783379412618261941520521413283294117811782413376337741178917904194094141189118924182082141358359412667266841179117924114181419413012301341354735484130443045413394339541458459413386338741123012314177777841326327411886188741848849411434143541300830094178578641859860411634163541122812294116716841261626174117191720417917924116616741846847418368374111951196411849185041135213534196696741165516564173073141373637374167867941517518411143114441168169417877884133923393418568574185485541332333418578584118611862417837844112651266413048304941748749411139114041850851417127134146346441762763411450145141177717784111401141418098104114851486411421142241114411454116917041852853411200120141869870412631263241512513417477484141841941295296412603260441768769413357335841548549411651664119401941417607614189289341374237434130103011416606614116401641413361336241509510411142114341813814416626634126052606412650265141387738784118931894419759764114531454419679684113471348413343354138223823411141114241186518664130030141899900418048054138753876417077084182182241164165419329334133593360411431143241263926404117791780414914924133433344412597259822205120522223622363222115211622312431252238493850221033103422388138822220022003222553255422286828692238573858222144214522366236632220242025221250125122204020412223132314221043104422141114122222262227221010101122350135022222722273222358235922102210232222362237222228222922296029612232943295221414141522367236732234263427222971297222102110222223562357221032103322112511262234673468222093209422379837992223062307223126312722236023612220482049223469347022227022712220322033221257125822219922002234633464222348234922350935102235733574221052105322287628772228722873221037103822236623672210491050222091209222368936902222502251221026102722222122222210081009222352235322125512562232963297222969297022379437952228702871222004200522295929602223502351221333133422349534962220472048223503350422225622572225552556223645364622255925602221422143222830283122202620272220342035222552255322298829892211751176221174117522369136922238953896223507350822224022412238833884223418341922224822492211731174223303330422287428752223642365222043204422222522262228342835221341134222343034312229872988222956295722231423152235693570223684368522346134622214131414221044104522230723082210271028222201220222104110422232923293223465346622225822592222232224221123112422349935002223682369223432343322255625572212541255222354235522211321142236823683223471347222342434252237583759223505350622357135722228322833223122312322125212532236603661222346234722330133022210301031222042204322103810392210481049122112211312220422051221292130121406140712303230331227922793121029103012205020511216001601122796279712101210131213341335123687368812200620071229052906121011101212298229831220012002123806380712376837691221412142121179118012279427951230913092121133113412159715981231443145121039104012133813391236863687121122112312220522061232983299123299330012213521361231463147123529353012118011811222372238122798279912386338641223082309122907290812105110521231423143121595159612140914101223092310122131213212200520061236593660121050105112255425551213371338121601160212296329641221982199122986298712212321241230363037123028302912314031411229812982121335133612330433051230383039121040104112134213431214051406121408140912204920501210071008122962296312231223131238513852122090209112100910101229092910122003200412295729581238533854122137213812291129121215941595122139214012369236931230293030121028102912349734980223152316022238223902159916000221142115021340134102112411250211721173021593159402218921900232183219023661366202141214130221952196022143214402133913400211711172022203220402209220930213361337022187218821419420212317231821313631372131783179211232123321127612772130793080213436343721316231632117851786212331233221315631572195996021716717211425142621177517762186686721318831892132453246213491349221331133122135613562211421432130853086213239324021106710682143143221348134822132223223212838283921165316542112211222213604360521228022812136023603213555355621308130822111971198211138113921140141211631642184284321818819213186318721230223032136803681213134313521116511662112341235215475482123042305212057205821185918602135673568215135142129542955213525352621128612872136763677213487348821385538562133133314211863186421107010712127592760211581592148348421134813492132763277211611622132373238211061106221909121229230213784378521319631972177877921633634212325232621148214832126842685211158115921113611372117781779216016022123023121492493213224322521776777212059206021328032812194294321135013512122942295213485348621349334942160660721275727582132633264213286328721453454211211222177978021756757213752375321337338213434343521389338942110871088213075307621348334842116501651213220322121983984211651165221320432052193994021889890215875882120732074212075207621367836792196596621148414852171071121545546212278227921193619372110621063211906190721286228632123232324213489349021385938602176977021377237732134383439213200320121304330442116361637211888188921119120211455145621355135522130713072219495211329133021234423452132063207211213217197202136703671212410241121138313842124082409215425432138873888213282328321362236232128562857211264126521326132622113851386211657165821188518862128402841211721172221899021515516213802380321362363219819822114351436217587592110112119391940213253325421142414252198992136743675217097102178078121233523362112331234212329233021297298213766376721744745213643652124022403217177182143043121230023012128502851213861386221229622972126942695217207212113161317212698269921283628372195962138243825214594602135653566211261126221347934802163263321127812792135936021347334742182382421338339211331133221461462211157115821297329742112311232213889389021384138422127612762212696269721340034012158858921329032912131703171211376137721143714382116541655213901390221148114822114221423212848284921784785212327232821374437452172372421299300213613622112621263213180318121319831992131643165213172317321336337213573582126922693219309312112801281213440344121192219232137923793213194319521177117722126902691211479148021308330842138793880211199120021232123222138853886213247324821375037512114381439213786378721389138922130733074213559356021327432752123123221130813092123192320211066106721335336215225232135573558213553355421356335642154454521325532562132883289217537542117831784213608360921286428652178979021312831292110721073212333233410351065105510451025101520262066204620162036205652308830895225512552522311231252369436955229852986522965296652222022215222242225522983298452102310245210141015523026302752309330945229842985523090309152369036915210451046523302330352103410355222422243521249125052223222335229612962522234223552223022315232143215521253125452204420455220082009501450645034505450245044313633643187883138313832318688693127712772311867186831199619973197397431423424313581358231304630473118471848311948194931189518963189311064106531381238133127412742312544254531979980313109311031427428311632163331309530963135833584313107310831106510663174074131304530463148949031873874312542254331871872319159163134573458318118123186486531358535863133033131390939103137643765313101310231148314843166673152352431810811318968973127082709319139143177577631586587313114311531344434453143443126692670313103310431189718983133233324319394311380138131234235311990199131187118723170870931414231332733283191791831277527763192933173173231862863311988198931546547311159116031270627073173673731167316743196496531151631420421312700270131273327343127312732313442344331232233311226122731383938403135773578318948953116481649313329333031311731183127232724317227233130973098317887893193893931298299311236123731381438153116631664311160116131199419953135793580313212321331253625373112631264313587358831879880313829383031902903311656165731353935403198798831765766315925933187787831165916603187587631116111623127392740313630363131390739083135373538312652265331310531063117821783311616161731422423313099310031270427053116351636317137143127732774311938193931989990313847384831676677319209213119601961313575357631686931931932312332343186186231199219933131203121312721272231119811993119071908313760376131161916203119451946317057063133213322311998199931270227033174975031128912903167968031955956312886288731976977113770377111751752119629631128782879112352361113101311117427431156856911190219031174374411919920119369371125022503113624362511934935111229123011188718881134753476111699170011237823791183883911333334113050305111217121721138993900112362371119051906114544551112931294111309131011757758112508250911134613471148448511137813791186086111969711215221531189889911135113521114161417119829831123702371119249251132132211566567118888891160360411185186114624631113441345114904911168168211351735181192993011485486113315331611735736111359136011493494113513351411979811138113821133393340112884288511510511113223231113121313113341334211352335241115511552112160216111369636971116331634111419142011429430116616621176676711225226111579158011113511361151851911243224331137763777119101152452511116211631133093310112416241711384338441145645711165216531138043805112376237711206207115905911116211622111417141811325326115415421151151211351935201112911292112510251111120312041135213522111146114711111211591592118828831114321433113698369911352735281132432511734735111313131411745746113000300111330733081114201421113042304311841842111287128811141511281328141186786811239223931117841785113349335011116311641171171211156415651133173318117597601131123113112156215711584585116316321116151616113459346011926927111068106911288028811138653866111452145311239423951126822683118658661166466511718719114254261124182419116596601131483149119419421131193120113515351611426427112400240111143014311160560611604605113319332011658659112962971130493050111223122411370637071122182219111451145211106910701121542155117527531181581611134513461133473348111433143411215821591133513352111196119711519520111429143011131411263326341112251226113113311411315431551133453346117337341192292311162216231114271428113511351211187188111202120311675676111288128911551552111478147911288228831113171318112042051145745811380038011113771378118148151195895911980981111601611168268311885886117067071183783811187518763032305230223042301230620023004300330063001300530173273301157715780118891890012745274601131113120167267301185718580192892901670671016686690112271228017417420117801781013818381901382038210130143015013069307001331332011942194301193019310160760801380838090127227301190919100125425501677678013335333601333733380138353836019699700196096101432433013545354601761762011628162901729730018908910125342535012571257201695696011617161801161416150135353536012751275201228229011901190201697698016746750133553356016576580116671668015495500125732574011486148701767768012528252901190419050125692570015145150122722801252253016636640113151316013543354401806807013233240113141315018408410127432744018198200111371138011715171601252625270114231424012702710133533354011713171401703704016026030189189201417418011890189101738739018708710131503151013610361101786787011436143701194319440112011202017017020129329401666667017397400196896901451452014524530130130201162163519749755114921493513833845175475551257925805136636751327328513983995117451746513867386851247024715125812582513603615130043005513047304851297529765131183119514284295125952596514884895137343735511946194751161751137913805182282351600601512468246951245424555114901491514864875154354451781782518078085176476551249224935192192251300630075113741375512921292251460461512452245351134913505124622463517507515114541455516136145185885951521522512977297851148014815168068151900901516296305116491650514824835131153116511620162151175317545125832584518958965135635751956957511543154451175117525138693870512460246151361636175177377451189919005177177251387338745125002501511260126151192819295184384451886887519779785184484551154115425138538651400401519192513720372151248624875110631064518978985160961051257525765124382439513111311251377837795118731874513837383851257725785161161251190319045133983399513002300351464465512484248551715716519579585129272928519239245188388451249424955129792980513614361551963964511949195051628629516266275134773478518818825172772851275327545142142251147714785129292930511535153651812813519279285172572651630631518848855148148251589590511290129151332533265137263727518398403236283629322567256832353335343237283729321013101432198019813229922993322763276432224322443229982999322200220132224122423220452046321046104732197819793210241025322990299132333133323219821983321047104832198419853211761177323025302632381638173238453846322558255932276727683220072008322244224532387138723215921593323024302532276927703235413542321017101832102510263225502551321976197732100610073211771178323089309032222722283220002001321036103732276527663220462047323333333432256525663235313532321256125732308730883225632564321035103632303030313223102311321178117932296429653219861987322958295932101910203225612562401140614051402140314041423665366642212121224230233024422148214942330033014222022203422099210042211921204222392240423667366842330533064236933694422094209542221622174215961597422147214842211621174221462147422118211942309230934212511252422222222342209520964221172118422145214642101510164220962097422097209842112611274236683669423688368942366636674236633664421127112842125812594221492150421131113242141014114211291130423027302842112811294221502151422009201042366436654221972198422557255842159815994221202121421407140842209820994211301131ttt2ttt2 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])))