/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 1155x12202130304x13224x14202041320x14010x12254020025x14010x13522251025x14511x14520325341x100241x13501403041x101151x14022252425x113424x11420340251x131241x14221420353x1002401x12212231251x1051245x10432523225x1054245x13153035253x1144115x10213321354x1150155x12553432034x1152410x10344041234x1234231x12225520054x1242452x10325323532x1250115x12041544253x1400110x14233022545x1401152x12211251213x1411451x13325143230x1424450x13351225100x1452341x13034332530x1452424x12044312255x1553003x15522252003x10110550x10033221420x10312331x12503034531x10400421x12300012525x10424511x12552133301x11111404x15254150204x11111455x15052250055x11115430x11255200130x11135401x11023502250x11142445x11441351125x11201501x10304041430x11313150x11132522325x11535442x12532531013x12011121x12204312255x12124124x12501552511x12341153x11445225153x12410432x10352053203x13410421x11355332521x13424004x14442203055x13424353x11341022253x14153415x14123433525x14224542x13101412533x14245550x14413025420x14431231x13305200254x14542124x13434300130x15123245x15522215444x15400234x12531504034x15441245x12153215035x12.12654321654321220711712207248922072822207680220767422072799264528117608331303246213032464283698541271124312361206167327922442792369279238523866811576431577401571022157186718681859186820892818462429402429763280250846362650181816527687338825346065342605341145348353420453441053435345642360234320515720573622534022722280028721561674785125721501257223012572403283815658923301106109516808081056885105692310568051056383105638110561105625010568951056301105690610562491105622351056117110562209190552519054481905563190528119058519056419051871905430190551905252190577919051666190522391463644155170935646013331436791466967954220511712205247787767871617871683226840253323322807402249024782181215923622343874362874116125182241081310715106081024910133104310156104011041069210849101551093310823101720102343102386102370496141222293542229243711691164224740215577091379524231728191539155341688231428511572183157157815675611480147928114791873147920424484024486754489641409498213127522239402149817962206279822062804220628062206282322062831220628332133274862856172825258492457189724575642457592136869952322461917472186947224472070997212610362434281213296591641575231829925046614761870765273917182572849162249194049125296766532602246260237126023872235354223524431811888518923188051838318381182501889518301189061828018908181868182491182235181171182209110321481103222811032399282828125282242528253125344754691994365355978242522494024121544122344124073833114320432603410360623356812335241523352458955191914832814995544999774992312939942088102220886432088157208897720882208855420884992088101120882072088253120882242088252822031171220325011104411110456311042811104851104641104187110443011045110456511042247227810446538758127823823556916826911679156572018889161102243122515722573822510202251719225224225252411141462199594217891572581234325811619258123922581851258169425817072581862581251925812377258160825812492581133258143258115625814012581425818382581134258170825817182581237821498624388852313644107423201258450125851258776125823311258224356418971678808267815729822382982361298237913486134681134707134838411402411677411966134015513404134055513402343134068113402386134023702049954949895249996914121791412639141406914151891423421332141418098682459917564585518752815430556377447593112159311259931140093115169312202931235720419549559541195565954509577695533956759596495448955259522479523319522439522391276232459256410007576592524224105523222215157997228116185592197117121972497164676723082825230828291095206567465323582343280515718665342311230089256113441331837362232328146744677084678514676944677074678646768146783846713446771846791646775446776646710467136467234346723924672378467245846724154672335467236646723804672362467103746728344672858467283246728924672878189091620189542444885252022462252323542343166877822805242118101214111161224130014491589147128114711871147120251791157181728118172048274922440993240672824062521101021010102210106431010157101097710105541010499101010111010207101025311010224101025282325281101910098252710091478279511729225712857690739728129917987167082892681165146869568269516811805854833991278181066137224181579699549659541338229713171300224540215073201507996150749815076150791507421507251150722921507117224246816892322392681590564590131459016515901804590323702343449134213311213215612132236121324092288524233128124982478609564402679402765402968761106376113431064104710641349280028832800288516761572612502613642618935733573564573592735165881531180786186694867178685128244981413498233623399623349823392334423332023342233251233842339972331654233229223311722331036233213423321262332132233231314215641421606142126014211141421831421204142141014213142159224657652243402165476813735257834662333281237223432432281253326482533265013855245623562534562158562767562875626095625905629245622153208723267601035760106517998541896916149915641499167714991806186157112711141277708127785112776941277707127786127760812772491277133127743127715612774011277412776811277838127713412777181277234312772392127723781214851121469412148061214608121424912141331214431214156121440112144121486121411712142343121423371214215512142368251320251996251498251625192514225122922853690540506231928153217983688526100320715720710112071858894885976258215586257133025720671358923135880513583831358113582501358299185582814772811477188714772027686135620662986447659110759231075805107538310753811075110752501075895107530110752491107522351075117110752209228253322822780279828772798289172623220649783374337851337694337806337863371173372343337233733721553372368186522221865225218652295186523401865235312562433404142425269337417287418222213157212898239331397533384355384240511867081186851118669411867071186861186608118624911861331186431186156118640111864118668111868381186134118671811862343118623921186237823682343287823434314024316524319532832681283228581811157218915712051830249224824923772492391104713701047137410472069241215721538713775243631363282363875363653363680363906363301363896363674363244236324433632235363244436325273632856363836328373632871363279976475433611073361244336157921349240072711469961146498114661146911464411806442580282720421252042133525533525116890688590624419511248951156295123592351283587311703012503013813018953015893013003011163014130122430144930113012491301117130122092723220627232794117861171550859361241415726221542185227924282620283423432506247723296532043954219522797921944434133415642494401460810181675101825058761743287424772581105258124225812982581577258211714251416215186850839279982799283727992856279928711881571887271666779270915730022083002214300224230022913002336300236718542423754211911081095820104682013418202299281220628122122812240281228928123342812365234168123412413139020632223157251622421478622091171220924911997828591577667547669167662081887223210458851045906104530110458961045249110452235104524421045117110452209104524449318162436885187291628842343639981218611251114244288549732712118120289544504024506734507534509627081619244088523272811216120512161824131513002241402151768115171788231528123521665235264423522132101324602822502823542828842821282676282248928211712822207736213173622671044263010442644248677924865252486968248667924866752486402248696424864482486252248616662486273224862239102110122264127224632448621564621131650611285061384140149822333572339681233924112649234323376812337241722373542237244521871626786531563681123618499601408806175980621521420218814202287429426342842206424474259142298421354264264464251714421579572817112223162733247836212043621265362138836214973622204362236313054122514022416157135721821357228515832915846815878415885315886715862115831588401745530183172811586115690115847115155621272750283028182818108282714952258280182801285257211265721382240872783251522904981383524821182190682130182189682124918212442821244382135482122358212444821117182122091720823171470111611392090208622313542231243926516812651270894593027512246512587146888968851549708718708250383250775250805250905250923206899621685651129111412601249187491612451236240472715766315765911576298157613515768157620615764471576615766441576213215922622984981407498768970762276282276218676272876274176273876236576238476210207622257622408762221597422542286524693682202695412661249146928114691889146920401682808222115786653923098402309853230946823096212309323093292309784230986723091588298208291548829164519042196190422201904225019042293190423381904235522924981264124925962599259632596442594425932025984259103625921342592126848839162055893259325259324489322529327799321666932223925229332446885282640124268682753224273828502738286027382873807253347419372294498194753319479681947679194767519475194740219479641947448194752519472239253095785283932843287083288513286943287073288632868132883832813432871832815532855532823433282392328237832823863282370137552523806812145130124107274325191218120514812811481189514812019680653124192229649815681950236623439612325071507923507805507383507250507299507280507364507893507261507186823886814764476851476694476715476864766924768494761554768064761174762343476233747621554762368785946195119402066249239872716892127168922651689231040349040390740316671797157263140113711350116781968271968283068286010231012102319961023232816661669961664981669166441666316664416621322020954237823437377287371867376207372797371547376273718573742873721920930288668184511138451376475112447513789752135248526772485273811239961123498112361123911234415801567185222691852227928702153155861556921557151558496441665941094941235941566942158235623432120101425022478249224786075646071653181928118192017236423438191482194621461946218019462226194623972266402883560232128121578625329561690906169030116905891690300169011616904116902241690449169011690896169024911690244216902443169035416902235169024441690117116902209222735422272435963954111518081115257415196811519179031529530312314231531694695317217223153954031118511863120402041312089209031246424653123242325312326232731186918703110201021311470147131201720183152752831201920203123222323311165116631692693311011101231124812493122812282312265226631225222533110113144744831202720283110501051312330233131358359317787793146146231135413553141041131133913403113531354311022102331927928319629633194794831104810493113361337311330133131204220433115001501315685693112711272311304130531202520263132732831281728183128292830318728733112631264311341134231181818193123322333311903190431208520863122442245316886893115711572311007100831807808319339343196696731149814993140140231772773312835283631771772312048204931964965311416141731806807311350135131449450318568573118081809311679168031946947316496503194995031243324343124252426314034043156656731126512663180880931724725317317323178078131148014813123223331109610973111451146311300130131690691311259126031681682315715723114761477314304313147347431147814793184384431264426453124312432316836843113721373315245253149449531878831141414153149950031503504311069107031775776311816181731121331190019013199199231502503314694703111621163312316231731282728283125125231166516663188088131137413753116771678312238223931283728383156456531194019413113341335311482148331231823193122502251311016101731150515063132132231926927318678683114681469311506150731257525763122482249312246224731930931311240124131917918319689693122422243314284293187787831993994311899190031648649317227233122672268311996199731141914203121172118312065206631973974312320232131953954312806280731254255311250125131134313443179079131106710683149249331224022413116811682322484248532244724483221372138322254225532245024513224802481322481248232227022713223492350321037103832227322743227212722322256225732245524563211751176322462246332234323443228652866322299230032216021613211721173322716271732103910403222752276322351235232234723483223102311322346234742230623074221442145422269227042230223034211791180422794279542216221634222632264422303230442225922604222742275421171117242103510364223482349422167216842286628674221252126422139214052248224835228602861522483248452225522565224782479522304230552245424555227142715522861286252271927205211781179522300230152117311745223442345522276227752227722785224512452411946194741528529412067206841912913411213121441180618074191391441957958411653165441138413854199499541406407412069207041162163412279228041323324411667166841186318644121312132418608614176776841138213834141424110651066411388138941140014014162362441228722884153553641626341858859412127212841622623412289229041250251411686168741229722984194894941282328244116511652411412141341229522964111191120412285228641208120824112571258412133213441733734418941194519464122912292416436444111031104419495411253125441997998419969974143444189904119441945412293229441143614374110031004419389394114621463411408140941732733419759764177777841258259411046104741862863411501150241186418654147447541992993419449454164654113761377411206120741143714384153753841937938413293304172372441361362411572157341336337413573584181781841116111624183844114061407416266274168468541157315744114401441415385394112391240411181118241864865411098109941106310644113781379412312231330353065305530453025301540264066404640164036405612287328741227222723121170117112248524861222022203122138213912220622071210401041122208220912286428651222042205122196219712226022611223052306122505250612216121620014006400340054002400442192592621114311442162062121171821868869215565572112091210211499150021164516462182582621135613572116016121490491211052105321533534211164116521157515762113161317211641652118601861216506512187187221589590218687211332133321257625772182682721758759211256125721253125322133033121246024612140840921833834218448452112991300211009101021230231216876882172872921120512062113031304216826832146546621333334212579258021215221532177077121131413152181081121206320642115715821355356217117122194094121980981211255125621142414252112521253211054105521505506211275127621360361211055105621282528262147247321107310742159159221109510962193942193693721839840214704712197797821208720882113961397215595602165365421112111222146846921608609213343352112101211212577257821174417452146346421114211432188688721971972218408412114152119431944211102110321729730211617211392139321189818992176977021123712382111171118212562572119941995212580258121165166211352135321462463217557562111221123211114111521785786218798802112761277216466472186987021813814219099102122923021910911211861186221757758219169172128712872218198202156056121263026312112111212216566572193593621101510162112981299215615622175976021141814192183683721114111422124582459211207120821526527216066072133233321405406211569157021228229219239242118511852211301130221920921211415141621563564219192211100110121156815692195095121941942214664672110711072215705712116191620211504150521127212732125325421107410752116881689211942194321710711216456462172072121501502215675682113951396211273127421955956111244124511960961118578581167367411223622371110181019111685168611273827391167767811223422351140740811730731114604611113511352111570157111625626118889119991000118938941146446511180418051180981011232823291113381339115345351118581859112529253011853854112800280111109710981112421243111014101511243724381195195211816817117867871126026111889890111006100711253325341111821183112228222911113911401110701071111867186811243924401185485511324325119079081112541255119439441168568611504505118768771188488511123512361170870911279280116796801176876911186518661130030111105110521127982799111502150311956957112812821183083111208420851165765811905906112194219511222622271186186211873874111355135611496497113623631112741275112441244211223022311114391440112982991115501551112435243611658659111798179911244524461118491850116546551122622711131411652653111556155711712713111854185511500501119749751191491511675676112578257911931932112443244411895896119589591125742575112492501119041905503250525022504250125062202320432033206320132053019293016276280118891890017077080110721073011183118401233823390183283301187118720110991100011548154901194119420110471048011562156301157415750119391940018148150188288301133513360190910182382401234023410191001779780011251125201215021510112381239011441144201289128920114201421011141150115916001106610670116116201765766018418420197998001151601135713580115181519012423242401865866011541550178778801890891018458460121862187014754760113911392011004100501506507018288290128312832013353360113313401233423350127802781014934940118731874018586015545550110121013012387238801781782011895189601536537018638640128562857019199200164764801788789019829830132532601223222330123852386011516151701356357018318320132232301734735011390139101135136012379238001359360011887188801404405018058060110491050019429430182282301111811190155555601149714980110941095019349350111151116012650265101168316840176376401725726011053105401753754012336233701215421550123912392011212121301214821490111120121562157011107110801174317440121462147011068106901111611170125252526011950195101285228530187587601110111020175475501288528860117191720017157160125525601773774013203210197297301116611670152552601789790012082208301252125220157257301175917600111611701158159019789790111051106017177180195996051251525165122142215511566156751383384518888895118521853518188195117961797517097105189189251168416855120832084519299305124072408511126112751849850512086208751820821511675167651495496511687168851815816511871885118591860513263275120420551186218635122222223511113111451686687518358365113371338511140114151141714185173673751275227535123992400518558565123972398512403240451240524065127502751511215121651112411255125232524512748274951498499511901190251954955519089095124132414513313325117901791511331133251163164518278285114381439518348355113021303512182218351921922512677267851193719385110051006512119212051156715685113491350517137145119381939511013101451121712185112081209511830183151157915805125225351182418255173873951364365514714725122722851811812511389139051181018115115031504518478485115615751251925205192492551887888513543555116171618518708715118518651851852518858865183883951824825519989995140240351224225518788795176076151112011215113331334512708270951252725285112041205516246255122122213512415241651157715785153053151191919205124092410515655665149149251168916905178478551185318545175675751928929511393139451558559512572585191891951118411855121882189511850185151178817895165565651761762512220222151116311645113701371519709715155755851911912511008100951124912505174074151569570512858285951719720517277285119021903517767775111681169512411241251189718985138138251139413955115641565517827835110171018518428435128502851519819825153153251167316745111281129512312325164464551241724185120620751114411455125172518511236123751280428050223692370022135213602283328340228832884022353235402244824490223712372022342234302103810390224522453022180218102245624570223572358022867286802216321640211761177022257225802216521660222712272022648264902236123620221582159022359236002236523660210421043022367236802287728780210361037022355235602235023510221422143022363236402214021410223772378022307230810111061105110211031104122272027212221362137221043104422214121422222612262221174117522286928702221642165221041104222247724782228622863222479248022244924502222722273222489249022214321442225012502221044104522273227332224972498222166216722225822592223082309222159216022245324542222622263222715271622286328642227182719222868286922234523462227172718222301230222249124922211771178ttt2ttt2 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])))