/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 01x12034311213x101x14424233133x101x14442103414x1001x15421413422x1020x13003222413x1151x11532430324x10125x11430344235x10221x13052112231x10454x11154124143x14510x12032425222x102001x10220544341x102041x12303242041x130015x13243221205x130221x13205413143x133501x13241105124x153351x15325441144x154502x15403452131x1000225x11321420140x1002024x15234452141x1002254x11455524443x1010401x10303330114x1024024x15054220142x1025252x13211115143x1030502x14212440011x1040042x10223544314x1110404x11213445442x1200135x14240244135x1250035x14133354055x1250430x12412205520x1254001x14424101101x1315115x13303303220x1351051x15301310534x10020042x11341005524x10043015x12545124105x10100042x13252042341x10104002x15534205223x10231024x13310421243x10231501x14553410422x12451002x14312134151x13030525x13312331215x13304004x13331154454x13350152x13151124313x15020515x15000032435x15113104x15123144533x15235202x15224412552x12.126543216543212645102027781728294872111987242430420301233520738823641321364153028182415212410302124892124112721244212485221242912124464212492124142721241311212413412124246621242415212428042421297153445341030534895344205349534102853441534113553490534446534435345915343575344295346553414275341311534132253414285341339534141753412845341295534243453424305342450534241553428575342874534282053429975342751534570534301053431072849241519406002770172830502966731722917889917178512811912811031281789745722167423141674236416742914149614042635562639981737934152914342367145614069372712271109627135627181727138427180514631371356491356816356933356109333829086038609608601978608898609328601154860998860556860263860744860235860168386029338602960860294696753322681130111725401117277526419982740172826591119981986009866498888986479891698621982547162416092181491236228322362288321418621474289738971165897766897186147524351475285025256001630919894201989219919892259294429331142570880227910253101119116611552196664219612196934210093521002157169110829717469719499719762208106325093564011325401153421982188124892394165527841728851270128414172851241557165713205711136571110457111185713185711094571338571116657130157127767437222468420254960056153112371387194849123631193831310383152119797216082981209623120966412097971209194012099342647102023961655308217281993420199322011993226322064201977721310724151671191671115290249217572514175725601757258230731573472162347216312804241512731407502931502153050262250231750212750240502196502364502150260050217905022539502254111926211956211996811911172434420243430092732172814511914511132517600299129966429993429962329925414912932491294749129964913106236914561724171626020781811860018664189161862118623110325381103276924284203653563658043651089365224311411665114116801141230631256001118110441941420411028226011192047256820472642120691120818387316832363300340336204991595499174849922751246975110410951104525110464811043351104118110481104185110435511046110487911042901104172811042776227811576009313823566911167691143721561006110296681779610111727101119352583119500150093150060050091650062150066450093450050250025395002541111411041531152219957961324131117892714178928992438420187466187380579614624491462819311124152252112981199298124729814552981475298155129823972539600268312009198892049960204919720493204988920499322049293320492960204929469899464910307291946476006478886472159566516652345289540155997742601471191471111120013643010570671198026851200296693469849959857011265336596542930651456145413591055226710271941681262168118441681211531925463192777304012001618931161860016186231618916161862116182541166410961664108230183041199142019912197199122611134570240923989731236973146638113383811536236114571295128427071861110966901135193174019324143185570103110201031172547319204731988473200829891019106897244442020071192373157311641155230112001341131122801157116257025236001416603175811171758562175851758262175896817581191758168217581522175815391401127119613171364162231337211936600258228422582288917261716270114561902113619072393101019571010288124604201776494285724152833241569029722441097242326762423267824232690242326922423270624232797225611059774977103097789977112797785297729197746497799771427977131197713419772466977241597728041112110412724331272856127294512729591004607895194789519748952205601127260114976012070199422831994234719942374969177557019395702751235723441721230017212308172123581721236217212370172124061111254811112783255772119386001426797147811917226641722117229342424502242417902424253924242541202411928412415299030812990312419718619772119711634282982392798193435619342251426210325034207232584208488610291020102917234023564027954021080152216822748172828122415179050225775012577301129729312820241511611986261126191626193126160026162126166426193421762943217629572176299821763104235186235744235115427761728816129481615178161587271592692105299789299731162250109927461728165453316541126137362313736641373797137319401373934243242025336002563420256326442563266422141081294130392941307029413072186766186116518625081862562234814562365145654053249310133029120052610055262072133913111921356307114569761941976274519136972730238313221311132227851311142759717425972875269230912692311226771200267730832071883147724411477284068611861856335635566482752172824072398246642025692638279882798290127982965292535640435615391522269311929428172942805145616558898842088488102888418814278813118813228824348824158828572106931823497311942031193184384356135169328022415306330481282603245842025153562200218812937972171664217112171934237186498190749821863027296631154212158100736325933629033622771297128411681342270122127012592701464270147727015402701802270237227024081987420198722576796744867101922745702009119289418622621119151614243012903012253803972025245720252811859174485919558591978264214622152337238326632008245120082817195049121952516219527312411239844241444213431943814646941859804128380415088041572129123822797301727973055237916091182465118280329243028292430644494212915127101877322581119287424151786504501270850128931222120031214201881062166618931666236027099155060015506231550401550196155036415506221550317155012715501181418058022025802218050817318290318225515351522287624152991110415051414161608161629204824732048255420482556285924152254110542168442110544211692887859795129679515197951589109410812531600234621222436420191519081915217628844202514268425142700357591200624432006283410121710121713202324372023284862360062320992442420311742125082682250826982576292425762988174342012224911776931436934281024151691191533152230842400160426002890420232712002639998672194231513111543220728352415102117382264111916059161605931160511605600160562130908163291958420621600621916217749225858192960721310524152905252908792901095220221881326131112696294629332276115512072729269114562161862167302299212216753561675108216751096290018623751573175623761756237813969752786240017454201745227110901081173936031134201975721229023371719331719921720061116110425416002160100626991456896191489619908962023153715221549252215492739237118613617241956491168245916828091260924524202643491147611919332326193323686646006649182405161625420438582000858216123779492501492665492299014741394320290320648320335320118320832018532035532063201728320277820261192307120023099722844722118872214462000246720002801266511191445134946542112719372601889649600312729334225354227689328899329609321813174142024223089242231202272570242624152450420276817282738172815201509474547411174745624742624749684741194741682474152247415391951195600195623195916195621195664195934111325301113275321232524212327471320934284324159351261935148819426002561420256126462561265815181509190819941908221329013110290131182901312629013132144242914428734394344630922415155218619419371942737210493129998929993114767722767264040313234031532267994474212547600427241042725021662431166285817027701920232019202366108885918032155235914561850532158815731747420174722732284120015901573288224151123164419814201981226529587211465145643042121202289212023491061260275417281262139711891352247442024742666191423952266111926675702918522911127200111935513403551538154824251548242725554912321120018088951115253211152767158279811264226431111221123112914291511308930901112312411556557113553561142442511212021211193493511180418051156356411527528111947194811691692111845184611225722581122652266111191201138138211216121621119141915111081108211360361112797279811910112658265911292429251155956011266426651166566611109710981142142211251425151115961597111907190811100510061120992100114014021193593611772773111994199511771772111544154511886887111813181411801802111084108511109510961110081009114034041118461847111101110211364365111107110811383384112159216011193319341111571158117957961119491950115605611119201921111738173911195519561121802181114274281121552156118528531160160211100210031181681711849850119091111213112261226211172117221129829911564565118948951110631064117707711125542555115365371125692570111123112411971972116056061111121122632264119379381110861087111055105611113811391176977011112511261119119211114111421118919011154615471121182119117227231125082509111108110911804805112259226011105910601135936011270271119739741159159211190919101218941895121690169112241924201215261527121203120412302030211224062407121286128712293929401211911192122423242412241024111215131514122401240212128412851213651366121311131212150915101224082409122360236112166316641211681169121388138912170117021212371238121265126612150215031213531354121471147212167416751211711172121202120312118911901218951896122292229312229322941224222423122402240312157815791214081409121460146112145114521229412942121313131412173617371223502351122338233912306030611213431344123018301912148914901215761577121192119312239723981212621263121498149912145614571216531654122290229112241624171212871288121240124112139813991223832384121200120112123912401212761277121314131512302130221214421443121609161012127312741214181419121467146812126412651212751276121428142912143814391214931494121170117112144714481223542355123056305712152215231230423043321696169732280128023213671368321268126932166916703223392340322881288232242524263215751576322352235332173217333213541355321399140032123612373213871388321685168632116711683228192820322729273032140014013226762677321614161532128812893212411242321321132232304430453212831284321261126232146914703211951196322850285132119311943214301431322378237932167216733223142315322858285932118811893216671668322289229032268426853216081609321315131632127712783213551356321389139032284028413230583059321340134132281728183230413042321243124432142714283228032804321221122232132313243228112812322388238932302830293223262327322320232132142914303212721273322340234132117411753223822383321658165932134413453228422843323106310732129012913212661267322873287432120412053224142415323110311132134213433213661367321688168932151115123216461647322283228432117211733214581459321407140832310431053213251326321524152532230023013213101311322337233832150015013219001901321279128032161716183213901391322834283532287528763230913092322682268332149114923217341735321294129532302230233213971398321648164932136413653213451346321296129732169917003214091410322938293932284828493222942295321419142032229622973223062307321317131832141714183217281729323017301832119912003214491450321206120732165116523228562857322398239932133813393230243025323043304432165616573216831684323039304032142014213216611662321410141132135213533223912392321440144132280928103216941695322832283332162316245227672768521898189952166216635215811582522745274652276927705216521653521689169052273727385227832784522775277652275127525217001701522753275452293529365224212422522731273252277727785219011902522404240552274727485230813082521727172852273927405216731674011001100201193519360129712972019709710125242525011130113101253825390129529601254025410120452046016966970185685701974975016636640125322533011937193801936937012207220801525526011718171901558559012516251701506507011058105901216621670172872901219021910162262301472473016206210188088101160216030196596601208120820164664701106210630121052106011603160401599600012546254701296529660126426501178917900125222523012121212201100010010125926001891892014964970153954001211721180125302531011131113201193919400160260301210321040125825901175617570159659701648649013124312501122123011133113401499500012548254901723724011015101601113211330179679701962963015015020110221023011802180301194119420179779801692693011617019339344035406540554045402540155026506650465016503650560213181319021615161602164716480223892390021684168502173317340212801281021459146002235323540214411442023059306002117511760212911292021657165802145014510211961197021668166902239023910230253026021269127002151215130216161617021470147102152515260216951696021492149302229722980212441245021207120802150115023014306430343054302430445188288351115511565115491550516676685118491850511080108151362363513011301251335336512070207151219421955110671068516896905110091010516876885111651166512692705121232124518218225146746851108910905122132214511017101851207920805168868951175117525110261027511941955110931094511111111251289290513193205111171118511163116451879880512573257451110311045120802081511154115551538539519699705121892190519989995119111912511115111651889890512168216951593594513003015172772851890891511021102251227522765129902991519991000512116211751111311145155755851495496511066106751112411255157057151426427512195219651337338511011101251110611075176876951113511365184584651317318515675685197697721267268215025032125762577219609612115411542215685692126226321260026012119101911211096109721606607212362372126402641211100110121939421671672212646264721225122522117541755211748174921255625572123702371215325332111211122211128112921888889215925932160360421185186211805180621893894211974197521159916002121972198212947294821802803211016101721180318042136136221526527219596212191219221219922002146646721114011412117521753218008012122792280211551155221939940212169217021216721682189689721263826392122012202211749175021686687214974982122432244212152162191691721216421652127062707211861872110851086212132142120442045211921932172472521105410552150450521208220832147047121154715482117571758211156115721256257212277227821289328942110201021213583592185585621725726213573582129572958213132313321473474212959296021105610572117141715218508512126442645212188218921208320842117501751211161116221160016012166666721423424211241252129129221255256219189192152953021892893214984992115981599211160116121197819792120472048218588592110281029212078207921101121196197211030103121234235211007100821171821154015412125752576211013101421289929002125425521468469211023102421180618072110191020211976197721218721882193193221773774215285291032105210221042101210622023204320332063201320533192933116011602312437243831246724683110991100312435243631247324743124432444312449245031124712483140413169469531257258315305313188588631219321943159559631670671311129113031266626673117551756313184318531102510263149249331263264311314312431243231607608319759763115163129029131964965311990199131966967311986198731218621873125742575316956963121632164312708270931471472311629163031199219933124572458311595159631697698318488493129982999312678267931899031533534311543154431893121192120312502250331163116323110831084313563573110651066312988298931242724283124592460311211223129429531505506315075083128832884311881893123762377318788318228233119881989312433243431113911403118071808316667311109111031271427153131183119312560256131299629973124512452312115211631961962318838843117171718312682693119571958312584258531125912603119801981311740174131244124423129629731217021713116041605312562256331171317143110871088318848853126526631963964311119112031227122723110601061315695703191923122052206315355363117191720313112311331226722683119081909319729733128892890312273227431646531212221233122492250313120312131424331242924303126026131818819316936943123082309311746174731109810993130093010312570257131968969312465246631174217433117441745416696704125682569416856864131143115412000200141266267414694704120722073418208214181982041766767412253225441187188411901914115421543411014101541940941418578584160060141177517764159759841448449414204214185986041204320444179879941204620474118441845412572257341100310044150350441112711284149449541257125724110641065411104110541422423412932944185485541204820494153753841144145417307314121572158412176217741108210834197984156656741172517264118481849411158115941969741225522564117531754418478484189589641668669416046054116801681417998004114154117201721415945954142943041193194411251264142542641292293418448454110241025411181194149349441112011214111051106412162216341120121411681694117231724412165216641105710584193893941742743413116311741202520264120082009418468474146446541565566414914924194954156256341184718484115481549412692269341297298411661674114614741115911604111361137417267274117161717412362236341127128411597159841290129024172172241200620074168468541744745418818824110101011411785178641191219134185385441113711384114771478412582258341446447412023202441147514764115451546412532544153153241219221934117151716411006100742143714384215151516421432143342153615374214461447421735173642148814894213601361422366236742141414154215771578421497149842234523464215381539421395139642150415054213691370421517151842137113724214051406423055305642242024214230573058422417241842153215334214901491422415241642169216934215281529421644164542149915004216651666421316131742145714584214041405422933293442143914404223422343421194119542135713584215341535423062306342134713484214351436421574157542165916604218971898421521152242234723484216971698421455145642120512064213941395422690269142235823594214241425421686168742140214034214681469422344234542304630474222952296421415141642269826994230493050421730173142146414654223842385422349235042235123524218961897423023302442128912904215191520421731173242151015114215301531421649165042144414454212671268421278127942124212434214621463421473147442235623574223642365421359136042304830494215801581421495149642139213934229362937423070307142145314544214121413421372137342270027014213501351421893189442239523964214251426421434143542306430654229342935421523152442146614674216101611422937293842150815094216701671421173117442142214234223682369422393239442134913504214481449001100610051002100310041221698169922172917302215271528221281128222168216832213931394222400240122165516562231263127221176117722161316142214941495221201120222168716882230833084221391139222306130622223992400221274127522294529462216601661221514151522141314142211691170221503150422158715882216931694221285128622234123422212631264221899190022135813592229432944221270127122161216132216451646223072307322136813692223862387222372237322241824192223432344221356135722166616672223552356221671167222237423752214011402221197119822143114322213191320222785278622301930202214521453221433143422131213132214111412221650165122157215732216111612223045304622142314242215731574223026302722140314042230473048221190119122144314442213461347221421142222124512462213481349221370137122123812392215791580222940294122229122922212921293222403240422158915902214611462222387238822120812092229322933222385238622229822992214721473ttt2ttt2 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])))