/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 010x12332232424x100040x13444122034x104411x10423222222x105412x13213342321x110030x11123232430x1000045x10232415235x1000204x13221241104x1004530x11223522114x1015311x13213212553x1020011x13423123233x1050002x12320543121x1140304x13225332144x1300135x12133205315x1314012x12322103112x1400131x13221205441x1450241x12142322341x1543015x15233321532x10012305x13213214355x10051513x13313350322x10052521x12353422120x10054202x13232200313x10105520x13224333020x10203002x13231344523x10225043x10411223253x10240154x13201321534x10300000x12052310244x10400043x10552132333x10455504x12351230244x10511500x13210520334x10522410x12331232304x10531431x12321344101x11031000x12422532444x11124402x11122321522x11244051x11332235103x11300335x13221245435x11413043x11351232251x11440000x12124335310x11500533x11543211321x14000402x14422324122x14000414x14432112100x14004002x13032335415x14004524x13352223440x14030251x14332343103x14040112x12203143222x14041400x13122002114x14105414x12512132434x14125400x12451303204x14140310x15320222514x14305502x13032322452x14355410x13513452334x15000140x15253223054x15021515x15323334332x15025440x15403221134x15050152x15323243202x15055545x15233233032x15301431x13221210031x15350101x15322155351x15404103x15322443243x12.1010x14242322332x104000x14302214443x111440x12222223240x121450x11232433123x103001x10342323211x1540000x15325142320x1402000x14011421223x1035400x14112253221x1113510x13552123123x1110020x13323213243x1200050x11213450232x1403041x14412335223x1531003x15135023312x1210413x12113012232x1131004x11445021223x1142054x11432232412x1510345x12351233325x15032100x15534123123x13151500x12230533133x11252500x10212243532x12024500x13130022323x10255010x10203334223x12003020x13254431323x13405220x13523221140x14510420x14351231023x10000030x14420132502x13400040x13332312550x14055540x14420321532x10051150x14330250123x10142250x14032321332x11341350x11014431232x10001301x14442352242x12044211x12251232211x11504421x13015322331x15330031x15345421223x13403141x11522321531x10000441x10135334212x13350051x11231123451x12040004x12214232244x14140004x10012112344x12004004x15145332303x14254004x10443222533x11520304x13013432334x12110404x12223413022x10041404x14112002213x14145014x14342312152x10045214x14023031542x10130414x14152220235x12055034x12542232303x10145534x14332543153x10410005x14503223525x15151205x12334333235x10445205x14311223045x12510505x12023423235x15455505x12303323325x11341035x11300121223x11010535x11535512235x13014045x13423442235x12654321654321138922791374135822375822324711579315789715796215710281400139014001820140019103663433669843667903664673669366874366274366923668366158366566366436646536643262593224343226451301222332933296733299243298493298583291603298603291051329841329877250125992501266924843195871887128722159642193964238826901018591004272231922164412216228725582212338780233824172021597897817891920105710027141627142729236778023672409187522071905102479178179198686084996795326299533653358653384053354911569324903192246166794127621412492181221271616271627318972022897203889720698972140250495322913172291633198931925129711288277128821288249128821431603925189861041610613219622127421562742370116991691214416912366217322122084411694467262027372137249221844122182245487116320291103915888224092728247294216429423722183221171725325072605250726711237249236378023632457206926228863886924886849886877886986886781886875886791220444116427801642170112801513438169319792211782228917822499326232924949321784986178492417847811784861178429417841191784401784185178454817843178484917848751784791125367013631358233078035234318499863911348270210127312622070931192217243416243426832399467273210122931160932762174276237427341046644225748158472211589318259532696106381940208293236978023692427185198620542626181183111818818186189151820218900182202428162428268924648246424692528100425341022255622141941943419826431346204791209312091212096612010321205120925120216534031193185329435483861499249995349935149929549996722789157472215741873163478016341716188831923897802389245526841010331022101134981725371114156219953198382568381228223292149221243816243827072313586231384080516161872028187204418720811872142267810184098664619982608221267478026742715946797009790995099847296802535272362011286201159620127262020305655138520152925523584877416432143249217522114154671415180914151830141518501999109825381024642168225249862289263027524827534210277621681121681179826279319198618151662672780267227138911012113992551327250526072505267381318893258122053923617802361244516367801636171810954982482888127512621031102283716181159225318903191890257329324829336722438625209862007110394293223737802373243725662219387972280911629396821509682350247084210342557190115612191258155018571471839147138414712481471831147144214718761471276147112114714214711871471585147121471516147146814713421471275181793226767802676271713084171902255122952632229126118778498771180205593922138992218181884101324728821299226954952454915752476888102210501022816102285910222471022140102267102220310225681022610221004102252410221035225699776981112311111218852710668951980206726249409322418162418269596995310117222321222636222692235778023572433268210965953524100452410507781102778113877812787701777015831318221111122911111229711112465111125252454162454270339223922773922493929723922143203711032293263425408161823953139931398871399521391021270610164590121521461215236459031939019728841155884123688414612503260925032675137613582288166249893210291022106413011700467168322176916047692083256422132319882039927242211161223961256121034612914612221612800612936121226122082612217573543917729110705313431234151464513989522704101030254391991441917889193991978918749127491929189115891566914913129122479124399178091235991221024969321157222922389243216243226993491325349169925332725385343222292542319140222114021684140217731402178514021822188122032483842487992488392482248259179992818615923657802365241112773466147302710101419314189914196414110304934493343493984493790493467493949346549343493385493914933664932504939414931036493525493780493980493684931103493223249323754932045493202949324574932278493236349326292005110313822379839712224926881019211052215522125712579152577212571592572022578982577012572201913103827301077949826981067919781212231277248277365255022114776142572221667614062036247656868592466172548221123512311336102110322555252610049212721468442468516468831468199418822561882190222015910422303208126283451650247888824481624482685141746714171426141718161417182814171848273610823582312082395282391682360482388782310218231398232151823254482325588232194823218313972515139725311302931351132813511375203111031041119510411206104123271824215218242352272081624581624582697120538512059841205790120546712059120546512054312051103120520451205244712057801205237512052232120520291205262952249711319498131949816352700102412162412270923042303852304323035223091230312230110323020452302447230780230237523022322302029230224723024392302359230221023026291827970182718392153221118192922182292237869932836834311016801987221900888202111032500931350172041595251036239178092388592317435695249519329511745235178023512419224816624221212187227625852876174685325069538143187877072165221117641114392694109799711347132813471362484924158427445664874237978023792453449319604916604168025821662582358178631921512218508781821953188159188857188258188156188901882191885501881188220103510221550256440328669669316697017488831390176313901775139018241390253325169702516252321472211043171155227114167414702036147020461470205414702136862849862117886215419138882610221225491045106093221936039391493968931034223091692120981971251497180081520936752023110312702293127022991270252792517302456162456270515361528250895398597198519124971826497185612196615332565708172440162440270123537802353242514022771216431216412161103121620451216244712167801216237512162232121620291216262967264317712563144052894493226002212486319102125531605910061044100610896212621839621384621248621831621442621516621468621342621275621166212458140122852952482953511399222125542211049531220222115637011686190441748641777341712511204272713262218061549885113088511578851261885200696221549622368117996815681120681962681897681102868115768121679573471122229511222301112225292045916758052375780237524472621110326211234262122322621465262123752621225526212156262187426212742621922621826211582621566262142621204526214326213432621385262120292621262963766663719186372491856797131422111001881191025478478221831971272622110901096262397631002270925611132561161256127425620209522172952236058652458615815662545219422121392492290221229024752290248322902507229027191774176417140117141617185811161610160673248088813491328134913731822215818222356128625716512568964896912507922068932371780237124311682168277168249168152916821431361108611299232892452162452267918741005242016242026816896878068941689801576723159311159721191910462298467229824932298250922982517567524567859567247567140567675672035675685676567549254187523243122210441221022473244943241084230246723022497230225132302252185884985811685171535237778023772451492167222869320632010503205243205493201022320722320551320917108713562670780267027112397816136023902292221229224772292248522922501229225351434586143461434840122791512279131227721122715912272023885871619780127191512712021271112719002592489538399533849532489538769532769531219534295318795358595329533679532939539692546221649129964923144222289222552522986102825492108152924461624462693190310222272916517732426162426268727381080739122942212294239622942479229424872294250325301004123316328139932814143281573101649213202212145221241016241026772536102221592214394346543110343202910654921065152618299711783200417832052178320671783213817832463680135012692201126923981967106822962212296248122962489229625052296253918762562686102712162712273527181627182733822131382216415515241857100419732218758499308052631925442219662180966237624883191167277116721167249116715291167214379849217022534392541108849826062218451747992769235978023592439251097127081023004672300249523002511230025191123311112318811239011232191123550112385711232581123156112311981221644464491644312644224764424396447806442359644221017192532336780944081300932502953249292916177804153918499243271602327209821672212633919411062181993115622092552221263591744850154215281611765182021481820233717318432472195247236288312178832335153411916738002157221253210042680109639531115130711151476176718831911102289888889872189815989885789825889815689890898219898550898189820215827235110421043511092109351982983512513251451434435511858185951109410955172172251253525365125292530517967975139039151169016915112851286511333133451139513965117711772514464475189589651109110925125272528518158165156856951250925105167067151316317516796805160760851523524512533253451103010315118281829515855865119941995513193205198098151835836511573157451530531511010101151103610375175976051839840515665675178378451126512665125252526519169175119101911512539254051164316445181281351147614775110251026511463146451176817695112761277515895905117761777519709715112861287519869875149549651102810295119881989514184195169769851239623975127192720519789795154854951158115825118561857511830183151892893511902190351253125325115751576516136145115831584519849855115331534511021102251701702517227235110321033513893905116841685518048055110341035511674167551821822511431143251345346511015101651251125125155055112119711981212041205122317231812121812191223092310121217121832231823193221012102321195119632208620873223232324322314231532110411053212221223322307230832231623173211031104321225122632119811993223112312322306230732119912003212021203321220122132110711083223052306022098209902208320840212261227011051105201177317740188488501912913016396400113321333014944950132732801147014710117631764012012020115815901445446017787790176176201956957011920192101247524760188788801108510860170070101885886016206210110861087011041104201914915017337340176977001100610070110641065018999000118101811012481248201185186011871880170570601758759019329330124792480014174180113941395014884890198999001219220016496500189789801256257018068070164064101955956016086090110691070019910001261626170115621563012032040117831784016926930124772478303530653055304530253015502650665046501650365056522321232252230323045223102311201420642034205420242044319339343192592631217221733122472248311401413119721973312485248631270327043167767831140114023121932194312609261031120912103184184231694695311775177631131913203110010131224522463127012702311230123131636637316436443114641465317037043116821683312081208231614615313183193198898931190419053110521053312689269031255725583177477531115511563113341335312563256431800801312232243112811282312272283125525631344345316676683126852686311313131431132913303117661767312695269631489490313913923144244331198019813197497531269726983125472548312469247031833834311299130031106710683141441531103710383172872931269326943164764831176417653110981099311206120731257125723112341235312152215331273527363125492550311046104731187518763113143112321233316036043110231024311045104631214821493121642165319369373179379431270527063110113116871688312551255231218021813119121913319293314474483114321433312543254431248924903111591160312537253831270727083152752831161162311048104931803804314204213115615731121012113127332734311287128831273127323118871888319103118731874311889189031174517463110931094314364373110871088311040104131188118823111912031121312143127232724318888893110441045312565256631191819193199099131443444317627633124832484315185193113731374312555255631229122923112641265312287228831167216733152152231588589311325132631111411153168068131267926803122892290316486493160560631259926003164664731255325543122422531799800311780178131878879318918923127292730312687268831268126823111611162311462146331142814293113813931927928312144214531196619673121582159311211223111151116319299303122952296312502513126122613311118111931115711583113621363318368373125412542312166216731220122023113571358312154215531526527311389139031698699317847853126832684316066073127372738312607260831267726783112781279311986198731727728318908913192492531205420553126052606311301130231133013313192092131269927003127092710311317131831531532311068106931139914003131231331179817993114271428311767176831725726311426142731272127223114391440311004100531272527263115311532314094103160961031229322943125452546312150215131435436318528533126172618317327333121952196314124133110621063311811181231818819312182218331641642312522533117851786312487248831137513763121742175312067206831181418153152552631834835312069207031197819793121462147317687693184584631215621573176676741139613974185785841178117824110501051411096109741935936411813181441246324644111001101419394419289294185986041849850411024102541328329411397139841669670418938944170770841780781412491249241615616419596419495418748754183283341112011214119401941411097109841101410154114651466412252264119981999412465246641786787411839184041497498417767774184084141921922411526152741854855411850185141645646413243254179079141314315412523252441876877417757764125212522411743174441861862411211121241587588411769177041184818494149649741106110624111221123417887894125192520414194204181381441127012714184884941125112524143944041178217834117184192292341151641254255411047104841516517411591604197697741668669412517251810321052102210421012106240234043403340634013405311241124121181681711243724381143843911133513361149849911250325041127272728111236123711247248112455245611843844112618261911214021411124532454113483491161861911243924401173073111696697112505250611177017711185585611127412751124312432111056105711170117021197397411964965112922931196696711276277114904911121382139111610161111120812091117161717114104111170470511326327119529531114301431112136213711247124721110841085114914921110551056114874881188088111245724581124824911674675111252125311971972112711271211122812291124172418118378381132532611271727181179579611229230112582591121422143115295301127152716111328132911244524461113601361111528152911242724281134935011467468113223231129429511242524261180580611822823111272127311271327141112681269112447244811243324341188188211182218231193493511128312841127427511241924201124512452113153161184484511171817191188388411126912701115271528116736741110901091119629631122222311182418251118121813111535153611240924101138738811764765111280128111146814691142142211126112621125072508117777781177377411894895117247251126192620112615261611642643114654661196971110221023111392139311448449119879881116911692111541154211441442116936941166666711168516861196896911182018211112151216116046051125012502211165116621262026212125732574212515251621239823992110601061211601612116516621135913602165662116331634211119112021108910902111122118831884212499250021266926702115301531218208212151952021121412152172372421819820211116111721225322542114291430219899212492502110381039211009101021879880211026102721230123022151751821126312642126732674216766772193193221831832216166172110661067216756762111131114211266126721161721404121367368214084092113461347212374237521164416452185085121347348213213222116861687211130113121235823592123502351212632263321954955218028032188288321126212632123762377211331133221204620472113071308219379382138838921411412214864872116316421610611219509512178178221204420452152852921123112322152452521126712682122072208212337233821444445211213212626262721132713282110071008211688168921263026312134334421638639212368236921236023612194394421313314217317322111661167211005100621532533211013101421222322242117301731212622262321917918211358135921228229212052205321979821239023912191992021785786211602160321953954212327232821222122222116161617213423432111641165212495249621141414152112291230211284128521225522562170670721676821118011812122392240218018022122692270218178182123522353211532153321181818192116801681219419422126142615211356135721141521163516362142432138638721109911002126242625219091216786792185185221222922302114161417219729732141341421311312212671267221177917802116411642212277227821103910402110541055217607612126132614214374382122712272211747174821232923302113901391211529153021113811392116991700211641652123562357219919922122122221180918102122312232211063106421177717782197597621365366216956962123352336217677682114331434212634263521227922802114671468211671682122092210216116122122972298211778177921120712082188989021846847215205212111781179213843852111211122211693169421238823892135135221168916902116041605211618161921702703219269272120382039211661672126112612211393139421221722182163763821918919216716722122152216216196202172672721267526762179779821237823792123622363213463472165065121121212132131731821181618172111631164217927932117651766211012101321223722382173473521249724982110531054212366236721492493212285228621135013512110081009212370237121146914702115491550218538542179479521249324942141641721116811692161761821237223732115131514211279128021146114622122032204212262272132332421128212832193994021782783212299230021182618272125125221842843212532542114661467211391139221112811292116501651211348134921892123642365211117111821765766211621632126282629222087208822120312042211101111222022202322121912202221002101221201120222208820892221032104222020202122122312242223042305222322232322110211032223082309222089209022202820292220362037222107210822200420052220302031222085208622231223132221042105222105210622210621072221022103222315231622110811092220912092221106110722209220932211051106222006200722122112222211961197222090209100110061005100210031004142209921004223202321421111111242120012014223192320421109111042122412254220842085ttt2ttt2 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])))