/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 1540x13323144434x105151x10144344321x110253x14340544443x115215x13432222445x1051052x12432134144x1053040x10532433341x1054020x10343330311x1103052x13342412144x1112310x11333250220x1113453x13145500332x1115401x11323544451x1150010x13333230115x1150130x14420334205x1151130x11321420220x1203353x14201143232x1310042x13420124322x1310305x12032322045x1405200x13220233050x1452514x14115512414x1510103x15023214301x1510541x15333343231x1530020x14142443240x10135311x10033222511x10515300x10534333003x10535103x12333001113x11004110x14124323110x11005353x14455000011x11013043x14454433243x11053004x12334040543x11351140x14134443355x11510151x13431225133x11515530x13240512324x11535540x14435422221x12015313x12405022113x12031530x12003424124x12351104x13235002121x12353501x13232152411x12553511x12125000341x13040010x12204135141x13105501x14102340502x13530052x12224120411x14025400x13523232240x14515210x13514332534x15154225x15512303215x15155213x10103323213x15230520x15533324355x15235105x11121124335x15303520x14312411224x15314040x10555443400x15352110x15034502250x15354253x15523305551x15501535x11412440325x12.10451x14344413233x115150x11234434410x135201x13444450434x151251x15442222343x1250150x14414312342x1040350x11433342350x1020450x11130333430x1250301x14412142433x1013211x10220523331x1354311x12330055413x1104511x11544453231x1010051x15110323333x1031051x15024330244x1031151x10220241231x1353302x12323411024x1240013x12234210243x1503013x15402232302x1002504x10503320223x1415254x14142155114x1301015x11034123205x1145015x11323433335x1020035x10423442414x11135310x11152223300x10035150x13003334350x13015350x13111003332x10114001x10113234214x13535001x11100005544x13403101x13423344544x14003501x13450404332x10411531x15533444314x11510151x13315221343x10355151x14232150423x10455351x11222245344x13135102x13112205042x10351302x14214243002x14011532x11212005323x11053532x11142512323x11153552x11430005212x10100403x11415314022x11055013x12050432014x12500353x11140214222x10045204x10422323253x10125154x14352334153x15224515x15123032155x13125515x13123233010x10250325x15534233355x15015325x15334211211x10253035x14221142134x10404135x10043445550x10112535x10522054305x13524535x11555033255x15351055x15230442141x1265432165432127226127285924932467264526251405606140518591906223410674387301391730177733913397153393303399233912033981833914533956633958933993233981333916683392711339272533929003392910239141223914992391885239281023934271268123118688971380565355491637613493762580250124673468732319725645875661525730128792128711287932128727193181246727709762759295432589222534553422341123937326336076337966338256331345731173171573133073171673192731163731270934263411119122284867494868041437203114372054143721721437234214372388143725362558246716741730350535093505351335053521350535413505354558956658981815297332381732168020171680209916802170168023861680249475075735162121276010033810433381097338159833819963382466260581329962908608519679459671419141814152110917558663504931109110079413817941771214116521811658748661354514114222781142229510362104631166715116633011661116692116612011668131166166811662711219616522773772229431210092908247534003376217316522082617347632509246714871908305732791733852186489874319563472256410461027104611101046126114791457147933752673100236371620699140960614091863176922561769259017692618338485333841739107315341073153647114717154713304719324713404719247114347112047181847114547156647158947181347116684712723471271147114524711634717164712725471819471378154420331544205615442178154423921544253831792467159315597011891355233772855913865651386175211951188310799956132789908278967827898982789907278934112789344281133820401997706100211165211634334573211071100212629192126296221263283212632912126334421263350145921456881453111451621458914522914542914511452719191622804611478461187925172467273429321670821187089718252248269632257051379705176022354311811871518330189218120181431881818145185661858918813181668182711182723181452181631871618272518819183783522165469102646913414692101109810731098133320869224943125112467643264310206431656431018226029952260319212092366311732083271341236921411606141118651483703206393154732124612321246276931091009883771003686100314541003187134669157415596916786916926912716911176916669120869141269136916956911415691141869134116913436162810016347721888922389732128945981773825832564101125984601867980802907898334979625812564299829024381740243810192438101724383692438968243841324382780243825022438157324381047243810024382752243828132313145723133391564656429112581232740173201219973428341134712412539246732889134048692319431963299063491352734913547914161332486331981331187533119502437300324373021243732155435142519052925395567720916520952227039234120913412242341245520301997227537717781006421406100027901000282010003114228160622812688112611001567227615672674306519973065903065341306553065933306520283065293334173499341735033417353135129300333323003335810271127102712804564941681662168148516815371681216811651681660168123016812467168123211681216316812517104810271048111210481245302237716647973464162346434653464347369223286922716692275169228126923433328419972179165113415281134266611342676240973212205623460290973945973142116461019164610171646369164669416462601646911646816461641646368164641646968164641316462780164625021646157316461047164610016462752164628137566866962322696271069627366962800696342528619348293186689890990615909046166071344455282193342067318525642323100325733263444341128112780177093117701019177010131770369177069417702601770911770817701641770368177041770953177043017709317702502177015731770104717701001770273530643285306432873064329330643342306433463064335229634312963328929633308296333482932612938502018199728192780713140471322842949431289616523737323506931668813335124672343716333337715991559328034114168232118235496820299682093968216496823809682518268989820579296945734923771891162122913111429168811052683474916259925642599262434153517341535233415352582684434763376190710017761761159115592055927952780922103792213299222019922250069023386902724690276169028186903443355010073916277392410154567247681324761668338633761654851655391656621651667695678108166269723934813483348134853481348734813493348134957551265833283366283348583353783316583366083323083324678332321833216383325173353246789510458951095895159289520398952557278135153327242418347924183481969945969101996949699729693691014101101910110171013691019681014131019311011013101953101430101931018861017411016351017071017711016631013941019451019731019691012780101275210128131012735101273710128011012754101281577847013525147702770662770485770537770165770660770230770246777023217702163770251713384863556921753866111111007771974777277935081997350835372454244422454316882320688270868827346882798688342122933340320732813502278020241997299029034219481645227416452672121536368967874710727471212747155833572564449134248588413518841671884259672310012139250324672084923311006772336677272267727596772816677344132901023957322495246774837768756879068734168793368767687199768720286872933282028522820286028202895282031552820318032059276913857691773256426442615882617322618632618752611738177217612711923560256434322013432441271792291029003544246733092321348455269140826922973452914131732141319592337882331194141418932243432137013652283606228326909169389169962671100294143126751002365732191781819171451917566191758919171452191781319171631917716191727251917143191781919171201917166819173783359100352622106143772853199749347049310684931184540515343634111453680346152482480289412672155165353037717313871731775131012861310225234981006799892092102573906257343125733702573231257363225739257320302573209425731048257320222573294932409161382565138217463470246726778892071927912780668614462106309641466902752100119381811931451193688119331111931621193891193229119342911931119356611935891193272511932900119329101336486124067273510033312901042102710421106104212592478246713565142736294637711333771665377289934343411143890143834114386771438292143814214384314381901438395143851438199714382028143829333216100329416527621003494732263726251092107310921339394369322686528132780341834633418347734183551217116517451746717490417434117461517490174974174166174421743701741997174202817410481742623174202217420301742094174294117429331742947174294913092107130921091309225034869311571623016523053723066018278751827732182785918276182726118272721827997182719511827166518273771827226318272644182725641827318534089211687962706270875270732270859270261270272270997270195127016652703772702263270264427025642703185699116711011639776226077626686796756769967223767294134163501341635053416353334163555538515227429892274319011922011119220621192218011922394119224772022199712421231134649515001487150026042263377334371614392289416592323992313432262298722623184315673271716699511817803171014100510141063272392103671510363301036110369210361201036813103616681036271124121192188229023932696253724672329100353698723379377392165165355829068610416861093686150768615906862035686254095494579711614849141644260436846942325562797278011892237973213925651392175810181005345019978768661069101333552565300493827128847013474701486470188747019064702312470279420361997353416235343535353435531222373279927801538154834802780166681227099233371623337333833373401278732041035228236997236910193691417369174018929424405440672597256425972638324292241734892417349124173497121713041535741153516336622626626702341100351019973484199728471997281527808628512957431795479510197951017795369795968795413795278079525027951573795104779510079527527952813887878124412311334486109410731094133132822781939319310199310139336993694932609391938931649336893493953934309327809327993483381872916340291620068132006166810122392255290244278924567962456296833323459333234713489352934893549169816727381230114511341145152626196324973741143875114373211438591143611432611143272114399711431951114316651143377114322631143264411432564114331852028199734561653490932440243020381997333992639262510010471001082100157310020211002502145567969767823151457231533932669100154322441044102710441108104412632817278010201005187892663635663707663741663771663886195843869423306942718694275369428146943435370455209492914823877323292165334773256313555631697563258223391006996960669897233710035382357223743122022342902254290258829026226786986789156786926782716781176786667820867841267836783411678344214201415227629972276319610381027103810991239225812392574123926208854885931885101988510138853698859538854308859388525028851573885104788510088527354292163165257525642691898352016535462467229929563532145813051480225729027883055278831082788320627883241278832572788335418916522514852621632276129381494269310261273710010831073108313371083136135002780212717402127101921271017212736921279682127413212727802127250221271573212710472127100212727522127281321276632127932127973212796921273942127101262363224032409152406782406952409812403312406892406912409082408982409072408532401739240342224034442403442173985395223928012780572238197593112811009058981774176118608981886922014199717141025432467189494624802467319325642541246727512940128622991286231412862340128627021286279671437789668968758967328968598962618962728969978961951896166589637789622638962644896256489631853503350735033511350335193503353935033543154975830213330302133563335145835282902371732126012322452715245233024529224521432452272318749162420813242016682420120242027112420333424203385354825641576155946210046214294621873229822851407606140718612279606227926784641221762172203219974133694139684131017832104983210918321575832201583224928581005171369492114449221174922209169616721862898693678202619971266123113682902519246714573399521438292088668881422141533413777221243523515128116632632284626322854263228932632291326323153263231783518921264123246514823781378715378330378340378923781433787163788193781633788183781453785663785893781203788133781668378271937827233782709378272537888737893237827113782900378291022199972219195111652013116520681165219511652408116524799233092340927159220279221629223789225161002145610021877128526961028121410281216174185234423411210819972108243921082453152773327689482753294821021997210224292102244394377622948192294145222942709229471622941639037121113110041222362939431101610053524261367267346214581050102710501125105012571442207144290922613771481703175986613885651388175427259222962285328619971568662156848515685371568215681651568660156823015682467156823211568216315682517187691735149349624673963693969443961004396101739669439626039691396839616439636839643969683964133962780396275239628132591256425912636195199729334311826203718262070182621401826236418262542135051420341997267989829882901669742020199716392163145231912564439135343916954392563133048515115628648518642767345881747866271992201619973392337623009229554312419333624193407194999235293557352935593419344934193451341934553419345734193461341934673419346934193475258925642628121880922259290312261312565312861312865942941018942781942467942165942519942503191165191514395202539520853952156395237239525104303694309534301013294743132142126348816541536941596641510158497221096107310961335661635661877263314212633174026333692633426339452633969263397326332518263321642633202926336632633932633968263310172633413263339426331012754100126212322381869354273214669331466341146619971466202833943376354073226678672912612915862918732915402916291538291264429115742912564291258919601003056310630563239173184533274312321100347892215716589890819742023197420831974215419742370197425080130633064011957195801272427250176676701117118018288290115241525011766176701487488017537540118851886011562156301883884012716271701154015410111912001187718780115411542019199200193193201728729013114311501187918800115071508019192017357360116751676019879880116716801586587012342234301678679011676167701999100001886887011075107601334233430113621363011219122001347734780175275301854855013517351801145414550181481501260426050175175201271827190114291430014674680114414501754755019929930157157201812813017297300143543601272227230117681769012666266701588589011823182401764765018538540151551601153915400117621763018188190118871888012708270901892893018668670160860901827828017367370188188201271027110137737801436437011236123701374375017157160156556601123512360114361437013056305701855856018778780111891190011542154301100910100179779801612613016856860115641565011307130801142143013340334101270227030116216301340734080132413242013555355601345346015575580116671668014924932225742575223356335722319631972224332434222568256922290229032231923193222450245122258825892233773378222596259722259025912222862287223559356022221222132221252126222443244422146014612234123413222453245422258225832224322433223184318522244824492224732474222598259922256325642224712472222625262622228822892224722473222285228622320732082224742475223525352622199819992227822783221458145922354735482227872788222580258122338133822231903191222569257022220922102234713472023531353202229122920225652566022360236102146414650232103211022361236202346134620234153416023334333502289929000224452446022293229402290929100226292630022117211802321132120227852786022287228802320932100233793380022567256802145714580226282629022627262812281428151222132214123206320712279027911224112412122000200112244724481224312432122796279712263626371226242625122794279512211821191214651466122571257212278127821228002801122812281312281828191227982799122126212712350135021226322633121461146212281028111235513552122644264512347934801233763377122816281712257025711222162217122638263912349935001233823383122475247612277927801234193420122435243611325732581142943011365366116416421116431644114314321196896911348134821151751811746747112767276811635636116606611112591260112672681173773811116511661146947011682683112919292011974975114944951141241311224222431122992300117477481166266311168016811186886911922923112759276011978979115585591114871488117927931185986011163916401183283311191219131186186211124512461116781679111761176211468469113064306511143314341136836911275327541129132914117387391189589611946947111825182611182618271130603061119479481114121413111005100611799800111257125811136313641119061907112736273711275127521168668711347348119089091128202821111413141411393394119669671192931126426511134513461112131115441545117557561185085111119211931189089111350535061110301031111140114111244124421139539611972973111534153511113711381111911192111974197511788789111309131011126112621194494511823824113383391112631264119779781112311232112761276211273427351114371438119169171119091910118718721184584611182118221195395411634635116386391189489511516517113457345811191319141110681069111308130911722723111875187611414415118638641183083111100101113503350411739740111543154430353065305530453025301520262066204620162036205652231423155224692470523208320952145614575234213422522418241952256625675223122313523435343652339934005234433444522292229352338533865234113412523427342852147814795229002901522419242052339133925233833384523417341852347534765233933394522354235552337533765224342435522788278952341834195234413442522446244752262626275234253426523433343452341634171014106410341054102410445169069151677678518468475112331234516946955119481949516366375188288351128612875114141415518708715169269351906907513463346451267826795191591651791792518268275133033151128212835161361451353335345118631864511001100251123412355114171418513473347451100010015191391451373374517987995133363337514334345199199251164216435123924051470471511871187251167416755135533554516966975168868951982983518978985110021003511873187451340134025190490551461462511565156651777778517217225126902691511538153951805806518138145117381739511537153851186118625175075151121812195118591860513239324051186518665110761077516376385114151416512688268951767768511767176851434435514574585185285351142114225114191420519819825116816951749750513055305621334833492180780821609610212352362126762677211732173321632633219489492137637721936937211910191121934935217207212123782379215395402126326421227622772160660721191419152123623721562563212902912127692770219459462123882389213663672184484521991002113691370213529353021182218232185185221175417552189889921151015112117301731212370237121912913218888892112211222212332342117581759211280128121167916802168168221116711682161561621110411052174474521994995218028032180880921809810211558155921311312211381138221159015912135413542213059306021352335242149149221175217532180080121465466211136113721137913802131553156212260226121101110122181681721260261217417422122012202211103110421569570212372237321100610072116411642213204320521110111022178979021349134922192192221831832211489149021570571211432143321138513862179079121891892218478482181081121884885211640164121522523217087092117401741213225322621176317642123922393215595602119151916216796802116721673211819182021719720211391139221302130222199399421130513062123642365211144114521123912402114521453211573157421239423952186586621195019512171871921138713882123862387218738742151451521189318942194194221136413652152052121761762211769177021372373212712722149649721143014312113671368213153315421238023812187887921181718182170470521181818192133463347212922932115981599212274227521375376213633642191791821102810292181581621136113622197998021333233332110112124082409214554562116771678213493349421439440212262226321486487212342352182182221245524562111331134213344334521353935402112171218219009012118911892211102110321712713219759762130573058215675682122072208215565572187587621996997213467346821332333211575157621902903211493149421159215932160760821563564213093102117461747216396402153753821829830403240524022404240124062502350435033506350135053417107114133303331411015101641128512864129952996417077084110721073412338233941289328944116416541237238411099110041156615674175875941154815494110131014419495412662674117184116691670411108110941352735284194995041166167411353135441774775411134113541123212334112881289414584594113351336413643654135193520411125112641267026714128952896412340234141796797413459346041214021414115631564411488148941683684411314413623634164064141341342411008100941106610674129872988413487348841111211134198698741765766411516411035103641103110324143243341490491412328232941225622574117217341133113324122542255411499150041169170412674267541709710411004100541149114924110951096412322232341107910804182082141990991418808814114341435411765176641177117724117771778411351135241848849412180218141191119124117601761419769774116651666411916191741229230411339134041103210334110651066412164216541107410754114861487413333344110801081419099104118818941261262411185118641355735584110931094419429434182282341101910204145946041141541113911404111411142411284128541128312844151851941772773413291329241460461411663166441233023314119591960418068074176376441101710184119019141485486412336233741857858411097109841268269411337133841560561411063106441215421554198398441349734984176876941337338412258225941232023214111641165411775177641299729984193944126927041153615374131083109411082108341306130624121702171418678684121562157411824182541107710784170270341121412154111101111413521352241112711284121622163412382394117731774411956195741208209413549355041156115624175775841225022514113331334411490149141114211434111061107411627162841335833594121952196417737744133083309419798413455345641724725411033103441298929904132933294412312324121722173411711724113551356412178217941713714417427434110071008414954964113291330411091109241642643419697412668266941170171411341134241984985418898904114801481411482148341321532164113491350418938944126722673412102114118201821411078107941136513663113471348312620262131149214933134853486313451345231165166311188118931232233311237123831163316343130583059316997003120832084311112311306130731186918703151952031819820311135113631701702312236223731118611873114061407319899318798803110261027313465346631186718683122802281312968296931414231488489319409413133383339311045104631140414053116173134434531209120923116441645312932293331306230633146346431985986311528152931130413053112411242311194119531340341317037043177577631899031224822493175976031286028613129462947317937943137137231169716983120702071313313323110411042317007013113661367312954295531327932803110271028316106113195095131743744314664673114081409311267126831107310743110291030311560156131176417653133433531106410653134334431666731716717311190119131561562318568573110371038311043104431126512663110471048311567156831328932903126222623317307313193393431920921315665673133633731342343311671167231680681311034103531910911312696269731801802317057063115081509311645164631294029413193293331489490311281128231771772312278227931804805311731743199899931124312443111621163311695169631745746311238123931733734317607613168693143743831205420553129562957318698703190190231262263312252225331113811393135133514311509151031997998311526152731209921003193893931438439313535353631223422353129482949311161116231335336316116123171171231464465317697703131063107319359363126526631190819093122282229311230123131918919311184118531456457313489349031726727311187118831261826193132873288311216121731346347312109211031121212133111631164319519523173473531351135123114101411316846853198999031143114323114351436312938293931899900312282228331369370319119123110101011312854285531698699317947953172772831104910503143443177677731110011013156856931959631825826312962296331209320943120622063312085208631224422453193994031725726311343134431370371311673167431206820693120562057311559156031717718318931332633273191031300330043173273342249224934222152216423281328242221822194224442445422410241142221722184224702471423469347042211921204221222123422415241642256425654225402541422783278442255725584229032904422120212142200320044225422543422500250142241424154224672468422518251942354335444233503351422001200242290729084233543355422536253742321332144224792480422631263242253825394235373538422780278142146214634224942495422502250342221022114223562357423180318142200520064220022003422123212442251025114234953496422477247842278427854224392440422413241442354535464225082509422516251742335233534224662467423515351642317831794224292430422451245200110061005100210031004132241224133222142215322121212232203520363220112012322013201432278627873232853286322027202832146314643220172018322029203032350735083224172418322468246932229022913220192020322211221232228922903223592360322630263132244924503233783379322023202432200420053219971998323413341432202120223221242125322015201632145914603223552356322901290232243624373222952296322358235932235723583229062907321996199732203920403219992000322430243132285228533234833484322031203232341434153222842285323212321332203720383223622363322905290632344934503229042905322416241732229722983220332034323380338132202520263221072108322572257332284628473224372438323509351032328332843221012102ttt2ttt2 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])))