/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 00x11123143154x1005x10201411151x10305x11412320511x12405x12101141555x15305x10334101414x15325x11211133414x100403x11114024503x103430x10041122312x105252x10353211051x110000x11313410521x120520x12522213111x123054x12311243010x125001x12145501312x133003x13355551140x140002x12011100141x142325x12104234114x152000x13115414522x153005x11141320452x155254x15202312433x155330x15555522431x1005320x10125221414x1053012x11010310212x1054354x10023101022x1300000x11103203452x1403525x11250045341x1423500x13511140220x1505052x11531533251x1522042x15555111202x1530034x11210241553x1553545x11320122114x1555054x15512113451x10004032x11114023541x10354023x10240341443x10540303x13145123043x10543430x11345053430x11253025x11254110155x11304030x11544533414x11340503x11315411554x11524305x11312332415x12241330x12323221042x12454300x14531020434x12503250x13450540311x14244003x12045344333x14503002x14141210441x15000550x15001341050x15030530x11300113120x15230225x15040510241x15400540x15534442432x15432200x15435241041x12.100x14513413211x1500x11511141020x15030x11150232141x15042x15551411012x15035x14141014330x15235x14143311121x130400x13054204111x103430x12132211400x125250x11501123530x100001x11250143131x102502x11113122252x145032x10103421132x110052x12131055412x130033x10411555533x120004x11410011102x152324x14114324012x100025x12254145113x150035x12540231411x145255x13342132025x103355x11342255555x1023500x14141225210x1210350x12120130101x1453450x12201013200x1000003x12543023011x1525304x11435400521x1005324x10220411153x1250505x11523351351x1240225x12021115555x1430035x13551420121x1545355x14112210231x1450555x11543112155x12304000x11453204111x13204530x13441430420x13030450x13403215413x10343450x10343505431x15203521x15510114521x10304031x14143354451x13050431x14551145131x15034251x15142332131x10331422x12401223232x10034542x14340201354x10523052x11130450543x13004424x13334435402x12003054x11440121414x10550005x10501431005x10350305x10213110031x15220325x11420150405x10450045x12342444355x10022345x11401425345x13654321654321138997414051380140522831182177917938452386744238670323863012386123423868823861045238666023862142386852386159238646623869272386123862682386973238616023863712386266623862159238621803662002169316853293043297686506946509716501017248432616279211910955341111964956898448915931496189520469917891789744789160789371789258789138789991789972789286789118789219528096941106917623997917817911248791141714186958710392268133822682293169716856581624108925862769935135492613549331354487135411913544313542371354690135421354101825186958097938098731036110629107601163101711636941163311636501163661210010717421402742192374219751313222916916069739769497101797661976639742597243097245615579261557933155748715571191557431557237155769015572155710181557183640187940188740125332385262023852766238527681487188163866316389251638528163811716384116381971638664163831638425163824301638245623175302317235123945992767916851368186423161864248118642485186425887436743778743217743327743705743347743574743238139113801393138043240710461027104626701237121926731474886588639088694588662788625988628788679088646788630288625321121536164216291280402221130322112423221124992211251923965992494780371744266142562860062885262812796281858628189720561009278530127898278927942789280220409853912070119102616259195491665926599266591018659936659946659183625709851916826878709236918820541009181188818160189471853118577182841814018258181381874418371182159182180182197242865119649352528399253485346920763658413652006978172081574212088120123634131173197352836643925150614951483745148317921483433148355414838914831871483215148321601104986172769581214126916502793368279328102583985178984417892752223240012267031226301122688122692712264661226159122685122621412266601226112262581226138231353023132353187424187433187576187179280579326081095347304347778916193469399973498085655137518655065649591519999482538826253825611190303119015191932231019322324193224751932249759826515677079977742568821972582587694258726011768826176820392482326111092311229819008952811873177039946762746779046794528199352520826252025691976935235418894243118332459183325271132771189888815992289159925371599254511622312116224771162248714031380153015209689562470238510342782185115912141466166019271791845258226051902895246024302325530232523702872591040102727954258402840926840101824729305819211392476326695832695100914891889013786011348172179217212037777769141223261412233614122483490467245424301922826192219832540916273132627779911478214724246291834662183424271391041689650211794491278744127870312783011278881278927127846612781591278851278214127866012781127826812781601278371127821591278218022881380249878019789352765258606172897095675113907511921751195548846748819137691122203921182711215927117442711703271130127111234271188271125312711211227119272711466271115927118527112142711660271112711268271197327111602711371271121802711280086986326868002692591503226715032535150325391729695141320991413211414132529141439014149451414627141425914149151414506141413714146514141861414649141451414269141479014144671414302141425323092646622196662221266223956622455249678013532078135321161353223119829352542916916969267113829241718968882675530267526991723793127722147024072710278827102814271028181388813825813812382005960231953023192368441109244111094411269532114140722252224744222470322243012224123422248822241045222466022242142224852224159222446622249272224122242682224973222416022243712224262222242159222421805094675097801528101715286941528315286501528661200395620032031824115382411898241191779769779867779156678810817881105788130578818137882158255093519849362071102127912216667613962356508666269313022593023902548916256926071235121918653901865945186562718652591865915186550618651371865651865186186564918655186528718657901865467186530218652532252682625262582577531104210278830188370887033453042478326276387322133032213242522132513221325252743694823176979939627456942745277655553124582430281325821111633270018811811755368121736816263681788900148490016842500793538397665650665366566183159727135991188663118892511885281188117118841118819711886641188311884251188243011882456803793103674410363711036881036123410368510362141036660103610451036927103646610361591036110369731036268103616010362159103621801171037243211922372487269029338721947871337214412182195258979788954368134765248487421644894688492911888118286150474415047031504301150488150492715044661504159150485150421415046601504115042681504160150437115042159150421801018182910181843400826400859400984106997382719035575318435378017931884572709281210352672103526741035273010352740103527703695369390369467369259369302369894369434369780369509369269369159436925323695993692396425183518146271108966966303667922516695222326323791379703379301379883792583791383797443792683791603793713791203792159379218014522084204899128159161470144814701486183618299711059766150976623762230221597299114911881962916251479330617842384276424562430160092616009331600487160011916004316002371600690160021600101826192304636137963617246361961636197763620471699612014252038984140881402842327530236187236530944936155624716978102315530231523552352188109188109116010913711091215910912180193991626694341559696152623871623910441027736115066365066392566352866311766341663197663664663366342566324306632456248678020771021209414541187231411872479118724931255576125542412554261255612556511255187125519812552431258599121718721755624391836635149425549352771823371474108025810808810801381080120278369427832784934916934967103810271239121996253788514698851639885169288520534294234442804117915291179172211791767137104318168531316130813161560207910711895932621826212660262126687522752926752101816213651756820637363710176376946376506376611510599529467529943529189943489413141401314577131492713144661314159131485131421413146601314113146521314258131421978256588251558109022971090231810902473109024951090256789319599078753194722701338227022952801133913728081372399137216113723261372704137241372913728001372861372102713729741372104613722113229013801981871025407201414811714711716411716961720551723089469361644162911491611725695160881602681601234160116097316021591602180248032665113159269161642004216865021686611502251527417802371188195691639863985763984243984263986513981873981983982153988939874539889539819023982431398216068968328688021591045159211215921791592531193374419337031933301193388193392719334661933159193385193321419336601933119332681933160193337166421946642210664239366424294641392464195346419812602301267326710172676942676502676612676632674252679172676912672430267245620329842383274223022609858850215187215554928916928963145721514578914576145774514572160865162286524618667882226221523072152307159323078442307892307745230721602309229828525916951685190489610931071229213802630279246544658084653994651614653264657044659744659465800465864651027465104646521131271181515617012591901147214481472149037814043781938378196325469167111711651154775969329169329551225226912252541122525531527228715272517152725471527254915272584242662927538675755314741447474147347416431951164195117819515051951548195245322941381253062721159256093510163783671148367213425368262536255126614672661628266169417839261783933178348717831191783431783237178369017832178310181785178022961381507467507599507935238859947654763904769454766274762594762694767904764674763024762532144919981152871194176119424571844875218021597673787671726767204593091693096526312159263174426317032631301263112342631882631253126312112263192726314662631159263185263121426316602631126312682631973263116026313712631218026312790254491696695624887804422442926442101813712291137125431371255998410942606109516312101475107047511074751807146814481468148822841339270828081485187258910092356188114769411471017114731147661164016296616503273043277762633368263327626073786071915238187238574238179024743262552936191489526671339256293640814087444087034083014088840826840816040837140814040857740865240825840813840899140897240828640811840821594082180408219740821951963196101719669419665019666119666319624301962456215714802532627280343418086272469270124692712246927442123142315211471147221406407211484148521159916002118618721150215032123242325218968972169869921232623272159459521102010212118971898211013101421958959211222122321328329211011211348134921344345218208212188892119131914218878882115661567212764276521122112222132632721920921212312231321235236217987992115531554211371137221144714482160660721786787211523152421189518962165065121214215217407412130330421278827892178778821155015512137837921890891217507512175175221364365211598159921392393216526532112491250216997002176276321425426211276127721636637212162172116316421427428214264272163263321146914702126202621212316231721744745211467146821833834218948952116516621704705211315131621130813092183083121122512262123182319211306130721826827214644652189789821813814214364372119011902213743752124272428219969972120702071218558562118991900211527152821346347211629163021706707217427432128122813212076207721117911802115481549211307130821197198217077082117881789218298302115031504216556562137537621237238211928192921267426753221372138321076107732243324343211001101321065106632119711983211171118321032103332112511263226222623321062106332107310743211141115322467246832279027913220902091322107210832221722183210971098322701270232134313443223762377321196119732102910303221042105322438243932108710883213861387322140214132108410853220872088322464246532221522163211281129322624262532243724381214771478122225222612200920101227022703121066106712111511161223062307121070107112229322941221642165121111111212262326241221382139121045104612208420851210371038122101210212138013811211261127122141214212270327041213441345121345134612246124621221182119121043104412230123021210741075121039104012210221031210951096121122112312112311241210271028122078207912216321641223772378122304230512213521361221052106121026102712103310341210591060122607260812108810891222992300121092109312108510861222142215122300230112134613471220912092122219222012109810991210811082122134213512208520861211011102122229223012243424351210301031121385138612148014811210601061121077107812104110421211951196122099210012238123821220072008122223222412119411951214751476122295229612111811191211291130121387138812106310641220112012122462246312119111921222162217121342134312147614771220882089122630263112108210831210711072122161216212216721681221652166122626262712148214831221082109121199120012119311941210941095122378237912111211131227062707122605260642213921404222182219422436243742112011214220892090421086108742200820094210751076421031103242112711284220932094421200120142107910804223822383421103110442262526264220132014421381138242148114824223802381422468246942111611174221062107422707270842109911004221102111421198119942113111324221432144421035103642270527064210901091422670267142106410654210681069422305230642200620074221622163332612261333215321543326152616332150215131191519163142943031941942312031203231489490319239243130830931528529311593159431252525263122312232311279128031433434318768773146746831169416953117671768312497249831100910103124952496312387238831248724883143843931737738313994003125492550311551155231856857319749753115561557319889893139139231401402318418423113101311311269127031150915103176176231111231255925603125192520315065073113501351312740274131141531653654312842853136836931239523963112231224312037203831149414953189589631793794312682693195295331889890311155115631888889312862873115551556317457463177377431198119823184684731136913703110181019318658663125372538311921192231949950311271127231118311843125926031877878311925192631508509312802280331118411853165865931177917803126682669312493249431258259311692169331181318143165765831190319043127682769314874883119631964314664673125352536316316323124852486311931193231462463311696169731917918317017023118071808317647653112481249312393239431595596311635163631252925303110151016311684168531953954317967973125312532311154115531271227133125532554311784178531197519763130130231836837311641653186386431281828193179779831307308313763773119771978311505150631152215233035306530553045302530151321472148132616261713215121521321542155132609261013261026111326132614132148214923261126122321492150202620662046201620362056522453245452262826295210671068522379238052246924705213831384521119112052133813395221662167521102110352228322845227082709522704270552280028015224592460521078107952214221435224552456521089109052103410355226662667522429243052238323845222212222522457245852210921105211301131522092209352138213835326172618532155215610141064103410541024104411152915301123532354118228231111431144118928931181281311868869111449145011973974117947951114991500115996001189111309131011703704111622162311145014511124232424118828831112511252113973981153353411781782112481248211110911101123552356111921931116261627119949951188188211131313141143043111118011811118601861111146114711372373111178117911200420051187187211183218331123702371111454145511149514961116431644112210221111242524261181181211263264111488148911949511597598114074081115941595111486148711741742111254125511400401112632263311969711304305111311131211898899118108111195795811373374111628162911428429119869871153653711434411909111782783111829183011431432113933941173873911472473116036041116216311162416251193941183984011532533117087091123512352113053061141421123682369111641164211168716881192931140340411676811115911601112701271111144114511149614971127922793111516112212221311273027311191011630631118488491146346411114211431146146211735736111769177011155215531116861687111637163811211221131111481149112479248011163916401114901491112483248411918919111891901124732474111250125111145114521113521353112471247211136813691130630711261262118358361120022003118698701110221023116566119879881119019111118611871111811182111861186211600601119699701112241225119639641111611162118328331185485511145614571117821783118288291147347411394395111157115811858611627628119679681125272528111926192711183018311115191520113613621124752476119899901113121313111220122111269927001153153211746747117487491144044111247724781137737811211621171112131111071108114344351178378411965966114354361195996011265266111219122011211421151117611762111189119011137013711118718811654655111182118311168816891171071111152115221183483511127712781111501151111720172111168169111273127411955956111105110611159615971197697741186418654118351836414744754125512552411520152141193019314160260341765766411218121941118511864127662767412784278541935936414374384192792841118711884116361637419459464184484541253925404185986041254125424119231924411983198441629630418498504126626741961962411024102541193219334188088141101210134111411142411843184441179217934192993041145514564159359441864865412561256241155415554118151816411272127341771772411961196241709710418748754194794841149814994110141015419399404116331634411998199941951952411011101241919241260261411412141341933934411689169041260126024136536641191192411162116341596597419259264125332534411151115241634635419159164195095141891892419439444184784841852853418678684165665741115611574115601561411938193941254525464195695741152515264110101011411234123541784785418738744125672568418508514117801781417747754128142815412543254441362363416046054170070141371372414024034125472548411021102241264265411500150141179017914111601161411859186041161162411953195441131441821822411236123741101710184117184190090141975976419919924192292341134913504127702771414574584193193241123812394153753841885886411955195641837838403240524022404240124062502350435033506350135053512742274351916917511634163551258825895169469551458459512762276351993994517767775127442745512808280951823824511862186351790791518798805115011502516966975146947051249925005169569651660661512586258751471472512055205651390391516496505117261727512794279551936937516976985118631864516626635136636751183318345115261527511931945116716851808809512660266151795796511305130651172417255128102811511924192551141714185110191020519389395145946051149714985177877951185818595160160251772773517057065125172518518608615180480551883884511558155951780781518428435176676751114511465142442551605606517687695127522753518248255186286351278227835116175168868951178117825188488551802803513963975125152516518008015169069151875876514684695120532054519596517927935119519651127512765116301631511941955113661367516646655117281729511253125451838839516356365140540651470471519789795116851686511722172351251325145185385451948949511365136643261426154326182619432152215343215621570199299301219621970144144201159515960181982001204520460113531354014044050111531154011632163301256925700194094101169016910185785801736737011831183201367368011413141401535536019609610157457501192719280198598601188189018990017497500193793801135113520127762777011591600182782801814815011371380114521453013633640184584601921922017887890143944001219421950119291930014604610116311632011217121801971972018618620191992001785786017707710111641165011453145401115811590114481449018708710117551756015765770163363401972973019779780176076101747748012622630110231024011391400113671368015305310176977001152415250147547601166167011252125301203920400165165201159715980198498501554555011274127501734735019959960187880155655701899900011549155001395396011171180173974001258225830153453501204720480137037101119120012584258501763764222297229822119211932222222223222710271122108310842224322433222269227022210321042214041405222289229022133713382220862087222672267322246524662213901391222308230922215921602222672268221340134122133913402213791380221402140322138813892221362137222287228822238423852210281029222336233722134113422220102011221061106222229122922227092710221096109722107210732214731474221113111422243024312226292630221392139322112411252224352436222385238622231023110011006100510021003100410221582159021384138502262726280223022303022179218002243124320214791480022160216102147414750222202221021478147902246324640220122013022303230402246624670222982299ttt2ttt2 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])))