/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 003x12244023315x1340x12122441323x13404x11313242245x105314x12510142244x133455x13120130055x150051x15313420151x150454x11123123454x150501x15130033151x151554x12420231554x154014x12242510144x154500x13221355130x1021000x10131313532x1030340x11113212515x1033442x10212220012x1052414x11532131414x1104040x11422253133x1145501x11412421331x1340442x11232240401x1354550x13100431413x1400111x13121121311x1503350x15220251213x1520004x15532252304x1534000x15331225130x10054550x10115222343x10324455x11113031305x10414112x13213521122x10500044x12231135051x10510050x12200320153x10542450x12211043313x11055404x12153224404x11455300x11114244430x11455454x12301355435x12054035x12120434322x13054200x13023420230x13343344x15141333302x13441040x11220043010x13515454x15140150325x14050450x14402513125x14051414x14002031305x14102103x11310522323x14342042x14325525202x14355500x14431245132x14410545x14155521325x14500341x14102335251x15044204x13135514105x15050540x15325502113x15334030x13152453030x15400214x12112132300x15412500x12340224250x15423050x13502131133x15433200x12502131232x15454512x13114342424x15500503x12401001523x15505054x12545532342x12.1300x15133204422x1043x13231442212x14043x15422423131x141350x14422410152x155433x15500310213x115005x11510243135x145405x14543213211x110505x11513300315x145515x14551320242x141045x14410152422x100545x10315531223x1000120x12353131310x1043030x15152123111x1244330x12100222120x1414250x14141312351x1040401x13313522241x1105541x11331242141x1244043x11040422321x1055453x13141340013x1111004x11131211213x1053305x13121520225x1400025x14032522355x1000435x10315221335x10554500x13432225110x15544230x15031303111x12114140x12211253123x14400050x11505311322x10500150x13510230022x10542450x13133401122x14045501x14044223512x10035541x10344424111x14545541x15345531032x15304502x12234340212x10024503x10320243203x14433433x12033331415x10401443x10103400221x14545153x15230510415x10540504x15213152044x14141504x15031302004x13012014x13232250131x12402434x12025255234x10055534x12315421344x15450144x15231255514x11430054x11525332014x14024405x15014155313x10450505x13112055235x10304335x10303542513x14120045x10032312112x10052145x10524220432x10503245x13311312053x10023345x12321312052x12154545x14242434113x13050055x13251001042x14505055x12432355452x126543216543211389101405730176017911659911793223825218582891160160224631151832867858242124386985886910479642426964253822534412253231822532576225325842253263473199217874815797632872161221616022162544835187917512158292111048301548280944114415511529243236748423672546236726041056104810561743271243271155227111551751146315762605105822052938220530552110114222689992268966226869622686226893716978582641108026412700715921715127871543715374715250371524862769161214161214396214680214414214435214421417221422202142533147549225255922504858100725113542101160322212962620296291229624162962253329626112962253729623992962239729622167296239629622220296221229621000296261229626372962547296241429624152962435296217229628512962417296263810820108291083722972259290590722474412247230222472574224725822247261220621960206218692062139920621411137944113791388137918991379192713791943148769621379122181602317102394277827671601864101518641887242724327281192139110179421325491015254925702549266864017496401795104610371717747171743417171079171731717309171733412509661250999125061250965123796712375461479671147924504483792603105811212711121948112133311212131121401121306112155611211112124271121509112124621473146214731480176917582204293616428386412471213112281073105815442109114010781140529114051111402431140107211402921140984114024193061306922394412494912494252037130914982493290429341593158322064352206714220669322061722206680220625362206950220635422061602206422206242220657322064220639622062145304855308182855309289710152897289828972914352221935222463522258352234213692136103699855328582952285829671273109343611705955461249221512492252124922731249236427322422732276827322852273228543062240179293019161036466442187010151870188515841871638612638851638161638637638463837363841763839963876263841563825376386206389126382533638239763821676383966382220638212638100063854763841463843563817263870763868063821463825396382535638318927166418118271182427185091824622586272354776154771454769354716154795054735454716054742547242547573547454719024649252827942935119241941465157776320471104254510092588272712092389317132683352359439461079105814111399141118691752907163491888103027934412793281627932900279329042793291211029808177982132487258390728931009258110362539161268310881340372919144291379232946798942535161180998629613061296130632437243566519152895308559259362143912685108810001008196992119698941969232196985719699196993619693081969191196966196928919695921969519699119694319697156596511965866228922591681852483239181599624162419992419662416962419372419472419652419132429243125212411252128561813416181372618142061821966182290219724402587907947937973127697314762435292439042431078243285616368306967061095510959211095894109523210958571095910959110954310957151110919286149212751268909901179089213443726161380397373397620991215991227991251991757992194190010362811225930649130643067201844120182023281948428192896281929067133179389922343484234325622343259018981036230122592613269038024024709124702495103414611034238514012131306133315561948193610581471146214711484147125241817242258227258261368270111041902103629071058144316122912259232510159171427954419362428936254028572432472845154574215451639168785718051085755240111212743161370895858895105512671606183810109659371352220913522213135222231352229613522366133837213381511174921622913108029132920224544133430928602922286029322024110322122197193490798718772529213134237272357238947232327231377234677239723697121321281213214212132164121321791213252616071597160716351607164123955462395967796251257710362724119224517621772224418071800180718291807289218073057175090717502501269243269527269107492069209929209999209669209379209539209389209471413139914131861233108023311032331810309434309739309747142113991421186330708572496858137344113731396137319151373193313731951135354613532135396751248551279717061709661709991709651709471701712253316186811911385107604892222441161416161693161695161714256310152563256825632666155375722141601896103017662379149989414992321499514991371499467149991499697236548423652548236526026192619546619967619595127712671277159670217727022168121454612146412142701214575121496412143701214189121422511343251137425114102512269285391389213810454932493639493546493576493967493905493557493968493179819441080194420252319101926104922244412224232422242578222425862224264089412021721611724141830100113101304273011929114919499376792406791678257310302938306564856488946482326481376484676489648715147767168621162916335654569521075105825691030105313331053184910532211166791166716962526280826931104468442468913104211301042115224625091397101927215098219821078982529982243982271982246298224275552555639555546555576555968555179812827952832243181198721531192137744113771390137717511377190113771949292243292511292107229215546137913363092702130270213627021662702528288523267967135674416786813551348227422594851808118043924036722611105890621449519371516288410143162642189227023702575296425371612161119219501080195020319379669379839379999376969376937951219521692165161114781679317134720862267283122672858226728714424160424243544573495052848580464711892258427292915108824472424410152441029244108721216121239821267116352107827166655754684373021511192850754257910362571103029232068103549125232527472524342527482523092523532523364403152085959354659317115931797754158231843187143186933184143184353181613181723187613181903185473188513186373183733184173186123186383186713181008318100031839831821231870731822203186803183963182143181670318317318216731824023182397318253931839931876231841531825373182535318620318397318621379138237913983792288104311111043147210431592285924028592860913929373168010637017951266795147813343721094152810941799177321393896253116114911787187210249811204981123898112409811768225544113694411555757738317120110491201192616913371691376169141816922711604246912169110021005461009671005951001059183210027467302779441266910881044610449991044966104469610449372817101020165818781026306685724869124862503102197320772712077242720775092077246216059921605999160596616056160593716059531605938694672694183162161213991935139919602567103025859079916479911430223744122372316223725802237258822372642290243290484290105730608581563489678168641737341763712391228158179225272133068858216311922575103626911104681672229922592079206826219682621639262122621546262157626211798162135495024209502536637248515107268564913107563101022948243494825428251633165783827261192828682899282899982896682893782895382893889385824015152401806227022599522418952253490819251383920762731207627662076279220762810207628182457322451562245181415127251512183718861030171339171378171412172300195210801952204694624129462532254316118941030945618120311922541161510485510816181399283699160915981901611286127826991104243524315497431641440250201714396391439214395461439576152341617889221129111226431080264326921933215219289077689976818162220160703992129122820321104221021971153949211284921470492159449220789741691862101518621895166591141913991419185120261104928492928148614691351179694123973172397240225198588651691054492105413001054134516958588291141722167235330935394635335235317135389353268353594353317429071281205228991030156175711202217112022361120229811202377953937928441798968102873029682431741216021081142399373399611399157822722259574546574150923031021022087575206757520845752396575246190339037479034349031079903309903334130616111315441113160811131656293924010161309137544113751384137517411375189713751941935169194210801942203325611015256125722561268423801615466392145119229011036215911924394391438574354369710651058148167212411490317167025911058167191167116942933916898581844100921802169203411042449105924889124882518442109613714415765465762254710152547256625472682102315502413243163975237848423782560237826108641793864181218502431468225424192431485672293744118521015185218932096135025899071880243146515809414741921611923721921843250285941537316408311381441196824361968253015951583216716130588518197982635108026352698266710882266289017449093056913056305935530910865531673911673168843591217679921767999176796617676176793717679531767938307243307509307106430715605125682569511772177351264226435169369451195119525120232024511484148551680681511105110651127412755114041405512570257151140314045119411942511576157751799800511885188651171851552553519409415144744851479480511074107551157815795167167251257225735137037151107210735133533651931932512731273251862863511023102451354355511024102551316317512906290751189518965148848951135213535118291830519859865183583651180818095161661751101210135111041105512604260551240224035174374451751752511101110251308309511480148151183118325125262527512322335128982899512640264151124912505110641065516997005112671268511949195051247124725176276351176817695184484551179317945198698751181018115125902591513793805116917051100210035174774851105310545161861951251252519769775116011602511887188851160316045110011002512634263551100010015118711872511016101751826827512502515114681469512854285551105710585118931894511120112151107810795126102611518618625199699751143614375115861587512912291351103210335119431944514894905119351936511017101851824825511803180451261226135125662567511795179651252825295133333451260226035198898951102910305117571758513523535220612062522262226352219621975223942395522177217852113911405220762077521150115152217621775224442445521179118052209520965222112212522204220552239223935222092210222057205822113511362229222923222068206922215221532222902291222729273022210121022212291230222273227422117511762220862087221193119422229822992222612262222810281122216021612227272728221141114222220122022224462447222957295822225922602211301131222150215122207220732220872088222441244222244024412220672068222109211022117011712211461147222144214522114211432222712272222389239022215821592222882289222258225922213021312212351236222954295522230023012220912092222269227022113111322211941195222078207922212821292224432444221171117222205320542211911192222052205322229622972227232724221238123922293429352211991200221202120322122712282212301231222725272622210721082223912392222170217122216221633223882389322059206032219721983211771178321137113832113611373212341235322199220032209320943212361237321198119932207320743221792180321147114832117611773224482449322058205932207420753211481149322168216932120012013229592960322173217432219421953229522953322092209301833834017547550192392401926927019189190164464501254425450114971498012452460118431844017917920113541355015945950110801081019229230113471348011348134901176517660117911792011269127001150915100116391640014924930131431501967968018588590110581059011042104301721722018298300128602861018258260110991100011511151201160216030114951496012501250201436437019049050154554601248249014814820110961097015565570199099101645646019739740110481049014434440196696701121301719720011544154501192519260143743801575576019329330110341035015925930192993001938939019759760179579601102510260190991001261326140110081009011278127901969970018968970110431044018398400113051306011281128201573574012892289301724725011635163601249250011580158101111511160172572601179717980118021803011098109901187718780183083101234235017417422035206520552045202520154026406640464016403640560220712072022264226502217521760220902091021134113502220222030221742175022171217202244224430211451146021174117502205620571014106410341054102410442193994021124712482142432124852486212382392184684721230223032110301031211050105121306330642147847921149314942110131014211384138521892164364421529530219349352121422143212442452191992021105210532171771821800801219949952174074121164165211766176721734735217647652126182619214424432112041205217147152111281129215545552169769821293229332198992175875921237238212469247021201720182161361421128512862171671721100910102110371038211388138921647648217637642112061207216667211006100721249324942151151221108110822198098121373374216736742115831584211716171721509510212620262121174317442113142111161117212614261521709710219394213763772113801381219219222111121113219779782128522853217457462197897921165816592125242525211664166521139613972192932116616721739740218478482114741475216966972116716821527528219849852123162317212792279321899021803804211091109221196719682113901391212136213721222322242110261027219102122382239211804180521126612672110931094211215121621168616872110401041211550155121111111122196896921404121281628172128082809211590159121149014912112461247211382138321279427952130653066211672167321167016712119651966211368136921306930702114671468212936293721223622372112761277219029032115621563211022102321908909219879882115171518217657662112441245211059106021910911214844852128842885217077082110031004211376137721752753219059062183283321121212132114381439211787178821183718382175075121901902212463246421759760211715171621149214932115201521211207120821140014012169869921222122222122522253211587158821163316342164652144444521642643219899902122542255211372137321313314216156162113041305211399140021104910502113741375211606160721166616672111071108219449452120842085212246224721485486212324232521115211532185285321154815492112721273211085108621146514662113701371212778277921641642212318231921248724882122442245211378137921639640217497502174274321159615972130553056419959964110551056419489494169569641171117124193693741720721411816181741111411154119681969412362374113091310416776784146746841851852411094109541924925418498504191291341109010914131231341863864419596419495411245124641196219634112711272418538544118141815414654664128582859412046204741111311144111091110412700270141120812094120332034411103110441130313044114861487411812181341840841413783794110311032411966196741964965418999004144144241165166411112418548554116801681419509514190790841292029214119641965412392404170870941269826994117591760412402414110511052412692269341952953418558564172672741718719412690269141289028914193793841149414954172973041168169411248124941202520264110881089411209121041109210934194694741101141848849411496149741203120324176776841171317144110471048411019102041897898003200520022004200120062502350435033506350135053117107111118611862117327331118691870114344351141441511816817119991000118278281129142915118218221112401241111279128011149814991126172618118018021131731811120512061115981599111801180211101810191114621463119939941118511852118598601115841585111519152011254225431121662167112666266711268226831172872911144214431137537611125112521123962397111899190011189718981173073111834835116406411125362537111171181113011302113723731115181519111036103711490491117617621114761477112215221611253425351114781479112574257511143014311111001101111004100511189190112213221411108410851123523611190119021117581759111434143511104510461148048111676677111343134411180618071167467511186318641113511352112538253911254025411173373411971972119309311114611462111656165711837838111760176111152115221121321411735736111339134011151615171113713811216421651191391411416417112576257711221922201199799811245024511110621063111351361123792380112768276911943944112900290111822823111268126911140114021179779811158915901127662767117227231111912011744745113103111114631464116116121114321433111599160011256025611148248311305730581119119211620621111038103911102010211131531611196119621192792811147014711110971098112432441113371338115485491144644711158815891125782579111960196111108210831116171130613062111799180011160416051116411642112217221811256225631113451346111027102811678679111087108811211212111119112011254825491139839911106010611128712872112684268511919211802803111210121111396397111678167911127012711175775811133313341164664711293829391114661467119419421123323411289628971179379411191519161125462547116146151155055111737738111601611163763811258025811124624711171172116176181126152616117067071114721473118388391196971126682669112532253311124212431113411342117017021181881911253025311148648711162163115465471114401441311083108431992993313059306031261626173192592631241224133110891090312436243731906907311412141331139813993126826931820821319839843199100317667673110151016319159163115941595318608613183183231898899311515151631291292311300130131675676313743753185785831736737311879188031234223433118001801311346134731242824293124612462311927192831306730683115281529311437143831124112423112801281315515523111061107312520252131979980311118111931241824193179879931176317643119331934311041104231700701311011101231258625873116316431868869311585158631306307312472483115601561311402140331176417653128182819311302130331168816893191491531845846317537543143944031196319643110051006317487493113491350312702713129672968311420142131160016013191791831933934319798311464146531435436312495249631110811093190090131289290311762176331612613311213121431175117523126192620311611623114153124202421317127133110611062312518251931176117623197297331124312443131131231866867311039104031309310311608160931438439312377237831143314343124262427311712171331711712311582158331715716314914923186486531702703311211121231756757318948953115163114181419311696169731171417153154955031243424353115971598315475483179279331672673319709713123662367311410141131445446319169173182382431143114323113501351311435143631242243311010101131553554311522152331794795317277283125032504311554155531283128323115921593311849185031258225833189289331258825893114911492311552155331103310343148748831841842318428433117411742312904290531942943319819823116941695311749175031236423653111171118312584258531377378312856285742220022014220882089421232123342226622674220542055421132113342208920904211441145422070207142113311344222672268421143114442226022614220692070421172117342123112324220552056421195119642117311744211961197301130613051302130313041122390239112239323941211921193122958295912295329541224472448122172217312207520761211381139121233123412206020611220942095122198219912295529561229602961122205220612238623871211971198121228122912220322041221692170122445244612226522661222632264121178117912295629571223872388122385238612296129621211491150ttt2ttt2 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])))