/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 330x13021001210x1515x14410034102x10500x12303522341x13100x13553500000x102255x12543041354x123324x12125010554x140300x14352412120x145252x15211102502x1002250x10253401250x1132252x11352452344x1152531x12541102532x1224525x12243545525x1240200x12002541121x1245254x12410044354x1315132x11153512415x1320300x13413402041x1452312x14440124202x1452532x14134324402x1505252x15424434500x1525225x14455105212x10052425x10204212133x10520322x12124352222x10520430x11112433454x11032132x11111553515x12014520x12210003344x12155011x10123443340x12413052x12441534440x12443100x12421354401x13142300x11034334241x13214214x13542301155x13222242x13130114210x13250030x14341220254x13352252x13010515542x14215150x14454023450x15003150x14004054410x15004450x14211344050x15030501x15133453041x15032050x15124001510x15033220x14222253510x15142052x14051044042x15332155x11350212023x15503203x10440254103x12.1033x10121001203x1515x12014300144x10050x11432253032x10013x10000053553x155220x14531403452x142332x14550105212x100304x10212142534x125254x12052011125x1052200x10521043520x1252231x14432542531x1135251x12352011452x1525422x15255453422x1002042x11211452002x1452542x14534400142x1231513x15142153511x1003023x11402043143x1213254x12024210444x1235254x12044234314x1252505x10054344245x1522525x12125015544x15242500x13312124020x12230250x12222534212x10340250x14543342111x12312301x15153551111x10254102x14433000122x11105512x10433443210x12503142x10444351442x10013442x11044531242x10032413x11424334301x14124123x15511032453x12422223x10124110313x10300523x14520221434x12522533x12455150103x10515124x10543204544x10513005x10144504004x10544005x10504431124x11050305x11403543315x10502305x10151004215x10223305x10153522224x12502415x12404401504x15512335x13202120531x13023055x13014520440x12654321654321138074032268232288332210692042591867103186710578672163329107132917882421199012871279216685121662167216625892150128621508622150765731722731732731137718591850157384521387731579851157915841335137983533083515666858451751103217511769745728167494345412704541523454159783010201057208515291719152917441529204118752131056104310561084271712155131921522141141813952268175524439011098091089107279477379415589814091624453214166214496214366214120214432141652143882144214323897890252518502349570880870184226918421956184219621842196411422396114224508091652108282229912165316343873223876563878792247951224724701998227919982458206273497108897180815573191248170512482006124821961248222818642410186424262427901284171312841742128420391867213188595114798611479633147963114799014794791479368147914414798147921514794321479614793041479164236375488611103031764115821704908828707281135197763824577392056591811681186181163381163181190811304811164259068420405912461746956214119092291190922931909231820707461199021263232399199012495691249539124925912494124916612491951249175512491722124917722132773145901457641456145756145570145121659636257019901916190146111454611858157584529911768783878478878747878213787857787819731887187713271315153245318252592191236219110692191682219145221913212191142219167219121321914302191521918832191322219110705851004585162558516335852000260117026051589862550132620545912235912181189221892418389188281810184151891218451184311855018122418209618208818210418223518210218246525869054799154716315471644547201662412372086746255645364310536431361643175015778454116754119724121572588902545259525452599387316331923347341234941362135120887461727246610039069198156583021564532154214121321031789175523202569232025856261264231318501359186491913712140277923495979812729172992472992272910729389729415729550729912729223572921027299577292465170690171416618091755245974633143312143311933311953317383315403317123312180331175533117223311772567514252135321543054525841184584193151545351559351579919991170199910691999682199965819995199932219998811999367199926064218865925785927211000206915676841454759176423617641069176468217648831764322176410702411898242990161871289116219745376512861134234163985717511759241759121753891754511755511751222175122417520882374259117681756231118501866241818662442903199063390851908619015761931661965570231825712318258799599883993229934899367992603971739712762471214212385721770175649545349511127131611200719902072746237325092373252211322342343172280494228023402280234222802348140317271403180214031843140320551403247425232591530216153089215308621530765141189123213491450147718172598771210195789195720633052961299207116521011081883108151081682108132210812361081107020747469771075537557307555787558017554537554957555907555961267598219022462190228121902472570756570764570121516264532357247696582896510778211613382020172124641111110614121395477192917132462131916731478170314782008147821811478223617221661052924105291210521105238910524511052122210522088548554836754826016451634113029874715645905783907033909284498848701283187612832267128322731213222648045348057748077248016171376734119451511943119481311945911194205479677379613816346242564199016769562592746245190261516177217553301417159815921070236297121299313032358032351129920955920125092015481030833556139423316691605916849112689119909116989120192465746100590135313751971577197121312533213868396268526888326868226832226823626810701766175623656081410139512145475407385405695405395402595404965403665401205404354016523192131926259133998389746389924779173911710911111412190121157213827411610886277115127723128101002810162381016468102014147722402572199068614462156368643264792282885228223542282246825481877206473911931974119320731193213911932155186521312401468921292181292123492199214292121419219569211676105119151051192714567678891351159013511609455905128221651282255512822563431389431122110419241041912104138910414511041122210412088181117555221266522141152214705221531158586217411951741451174190013641351118121421583194333891146113620219065763622742591192215311922161350322350635350869118018491180186611802376164716342009199020151990159672814390143295143623143157492391318991877999181099918241014175410141816265211821942386241425148631455241119904434120416543664388449623220876041732019199082772755717485039612225511404730140457814048011404453140449414043471404163140487140419214044121404314044951404590140459647845347858947879347839048341001883100132210015100134836932275410557541133754136375417968027738206432453901587862101518411015207566923418923412456259419901452757104310861043131310431334862892862197612245512477845247568425311850348322187224121872242816921019622326800773925913169890174310321743176549745349759149779549711041143179411431818196317185623981856245259657859673023271877121629622419121378734124719251247195415598312600907361006163245317121021246374621623192094746187321325548925542561223791210851073108018729344147109747109767101239710155042942242214142956421676117922951179232015818526303292161661321367132151321260453595453801453217923751755237519523751722237517726371493119611851494147417951755709942191056919105391910259191016619103231910214174510321745176727862788612786332789027876427875627857027812127862327868327826127865927829527814327819902781698278201910831073108311647636437631131952924952389952431952957952210458645865695865395862595861665861955861755586172258617721975452137273041417214141771414205317741755207674677117417201661710421713501717736836362160319234225471549319718330158385115831588164901643041646312168862114421311481136242171874242018742444689870885462446221419282592671147221045341338941312238581621520932377453320296320821108710731087116614697732397199052115565212151105410431054108213609241360922136010136011360389136041513602465722206152335235155238135235915232054229282292235622922366105816612812524128125451271626259169725920182592209259223423555782546213711571136771126071123671110701165392201719909214531285214451389451912195519322102746247331919516622941850117139211131105211574685289885223641251124010164961016366101612010164101658610163231016214132016891320169113201970132021593673223676583678811908253019082532190825536113291441874144231059457812696071930259229618503961578115211361558171119420952104746121111851265602185710141973577197321371844234218071263262417971755576276116739216128881304685166259166269166539166549166569166388166424131990737584180317559921580992158625101755975956241919902164684644464421464421664489264486264476517192460209674624677461300367130051300260192211441538941592241547741534941589415414152324154504151415209619418131819259259890244590256245320011990232121325322593253225971690956222791211158855451290545198924697731728166259619904110801081412602614114711472412372237341959641625626417567574112121213412452245341600601416386394154354441817818412163216441753754415405414126326441749750415695704112811282412772784191291341105010514125852586414614624121652166411354135541157815794125892590412161216241156615674177777841133613374159759841197619774176176241135913604165665741728729412020202141901902411634163541245024514187287341682683419979984123572358419139144119641965411635163641215721584125872588411592159341886887411526152741155015514185685741107610774124262427411270127141145114524185785841244424454183483541120121416376384175075141197419754163563641118119412348234941144145413923934113981399412599260041215921604199299341126612674160961041573574411326132741712713417627634146046141902903411276127741173174411631644123612362412291229241128612874110731074412428242941100210034184985041853854419091417747754192292341118011814117031704419919924124422443418458464174474541768769412982994110041005411246124741760761412368236941704705414564574186686741640641418990416296304112781279416586594112911292415835844116971698416056064172372441237123724125532554415745754126726841170517064124742475411556155741628629417697704187687741135713584191791841247224734155355441129012914172672741865866411179118041140214034115481549412356235741142143411279128041158215834182182241924925418038044111861187411314131541259725984113991400521932193352212021215218841885522530253152190519065218561857522524252552176917705217671768521762176352199119925219021903522293229452176517665219951996521755175652103510365219381939521849185052229522965223122313522310231152187818795219921993521858185912247024711221452146129639641218521853129589591218511852122144214512961962122141214212191519161219341935129459461210271028129489491219351936121022102312211921201210131014129509511221482149121993199412199719981217601761121040104112185318541219001901121882188312100810094210201021421989199042175617574221232124421933193442200820094225952596422016201742239623974225692570421909191042188018814221182119422410241142201420154210261027421006100742256325644219081909422593259442201820194210211022422124212542176317644224202421422146214742211721184210071008421759176042200020014221222123422418241942241224134210121013421904190542199019914223982399421039104042171117124225712572422006200721192193211088108921213214213223232171671721165166211637163821110411052133033121135313542112771278211929193021121012112181881921158615872122792280213273282113171318212362236321551552217477482168969021117711782121892190217787792111361137212167216821861862211245124621715716211299130021389390211112111321826827211727172821847848211042104321885886219069072191591621237423752119419521192719282121521621107110722116171618211047104821234023412127027121910911212370237121170171215565572116091610212322332130030121908909211048104921112911302151952021158815892125222523217077082113961397211000100121172117222119251926215395402115841585211184118521705706218928932189389421101121932933212360236121989921119511962160260321297298218048052111411142211190119121395396211824182521717718211057105821546547211315131621119311942118161817212273227421823824213023032163663721171172217647652115162117131714211055105621608609211818181921171917202162762821824825211527152821129712982145545621458459218948952119561957212179218021184118422121872188211335133621147214732158258321722723212185218621522523211053105421610611503550655055504550255015402640664046401640364056022149215002951952022326232702964965021876187702188618870219941995021936193702189818990217581759022125212602101010110210331034021023102402946947021014101502102410250218811882029609610225472548022143214402956957021854185502947948029439440295996002100910100210281029201420642034205420242044318788311401140231159715983162662731131913203115911592311493149431135613573159960031893162462531116411653187087131391392311178117931871872311721733186486531949531159415953130430531896897315755763123623731775776312952963143443170971031104510463123672368311078107931414231166167311455145631676831236923703118431844318488493173573631453454311215121631996997311397139831159015913131932031541542315215223112801281312612623180580631724725318138143165663113371338311473147431752753315795803177677731759760318748753114001401311043104431713714312190219131119211933177377431920921311355135631748749311049105031117011713172572631743744311166116731265266317517523113201321311131113231107410753121822183311133113431710711314594603112421243316396403116816931742743317667670154955001107510760160160201161116120127427501995996013933940157257301224022410126226301128312840191992001223622370160660701207120720116441645012184218501939401643644011636163701223422350116461647012373237401851852019039040143243301206920700188888901122112220123582359016876880160360401772773012466246701999100001208720880121142115019299300112130110441045011468146901799800011529153001159515960199499501123712380193093101550551012095209601979801138113820119621963011140114101929301388389012382390121012102011633163401137913800121372138015715720124582459017417420151851901910011106110701165216530124682469011417141801128412850122282229017407410114031404018468470116716801854855016426430113131314011409141001246424650124124201793794012591259201213121320123924001887888011143114401158015810114741475018528530186786801156415650124024101770771012073207401905906012462246301222622270121032104014304310114111412011523152401795796018068070121882189011295129601909910011108110901126412650173974001122312240180180201326327011394139501825826012093209401754755012722730113140120752076011189119001171801900901012342234301329330019149150187587601208520860170370401126812690116911692014144150124602461018148150197697701412413018298300145045130323052302230423012306210231043103310631013105351810811511375137651916917511072107351832833512372385175875951187418755126626751218321845115741575511377137851247624775113381339516846855121392140518558565110461047511213121451276277512545254651890891511691705136836951147814795132132251107910805180981051108410855139039151235236512342355111511152514544555118661867511176117751733734513663675111351136511638163951578579515805815112821283512712725164164251124112425115761577517677685189889951129312945134935051206120625173473551119111925123182319511086108751118511865112481249515445455112921293511558155951386387513283295114701471515855865111451146518338345123202321511477147851296297515455465110821083515425435134734851688689511593159451552553514574585111101111511872187351727728513963975152052151186418655183083151114211435173673751130313045111471148511453145451685686518958965187387451157215735127527651259260512532253351547548511358135951106910705112431244511105110651714715511296129711516517111395139611219621971157057111118811891158158211111211819820111316131711299300117087091181581611879880118628631151751811137113721113611362119319321183183211123912401132432511686687111114111511161711822823112155215611152815291123762377115915921113341335111351135211124712481113181319118078081125552556114944951120632064115145151124562457111970197111264265111240124111163116321173073111933934116236241187787811110711081147948011738739111525152611607608112692701196971170670711598599111051105211477478111415114524531127327411633634119989991116251626112561256211147614771119721973118698701121812182119192111138113911235923601182882911746747117577581111391140118638641121862187112209221011889890116316321115241525113943951199399411883884111077107811816817112055205611928929112039204011124412451191891911325326111623162411118711881122812282115935941112981299112354235511136313641155455511174175111294129511204120421172172211577578112366236711496497113013021113501351118999001188188211113711381155555611135213531158458511323324118128131114751476112053205411808809115895901112501251119079081123642365115955961169069111765766111531153211732733221773177422175417552217941795221037103822180218032218501851221771177222199619972219401941221883188422250925102222672268229579582221162117221954195522102910302217881789229449452217961797221808180922949950229629632210311032221742174322103610372219981999221744174522190319042217501751222147214822181018112210151016221877187822185518562219061907221931193222193719380011006100510021003100413221212122321025102632193919403295595632103410353210111012321761176232175717583222462247329429433218791880322151215232103810393216731674321675167632103210333219071908322153215432974975321689169032214221433219011902ttt2ttt2 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])))