/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 01x10234514345x1041x10400345153x1201x15421252525x1211x12531533344x10110x15342335134x10133x14002153434x10410x15342220243x11041x14515333303x11052x11023451022x11421x14325154552x12100x14453350255x100422x15533544102x105100x10230222222x105524x10040055354x110120x11445114143x110443x14055322522x113313x15420533433x121011x12252250021x121210x12305154530x121313x15100255423x122443x15531545253x1033101x15320243241x1101010x13252020012x1111130x11530515310x1112014x14042122524x1140431x13021202154x1203155x12342450514x1303101x10245225342x1312021x13312055342x10033113x11035514150x10111400x14012354502x10411043x15520252425x11043355x15534503155x11111030x13025144002x11115040x11202055453x11210522x11053153302x11211300x11524234244x11313104x14451215005x11353435x14425522005x11425102x14401543532x13010140x13455055130x13041250x13102040023x13043301x10320522151x14033013x10332345513x15134100x12453512240x15201131x15305321411x12.136543216543212207185073010297301960106751067859106762910678551067590106711001067188106782110671991067123110672591067229510672376106723248548462441512165911091659775165981116597421659449165913816596516592171659700165921659679165968923918823926923985330864122042101313013351301195013012075793116242940442946542986189918991099899810899729899749899264815252383869126286913008691377869148212871099128781012871128772912877433078238481841218591099185981018591185972918597491859264827221022295672914376801437117714378791437575143711731437795143740414374921437877143745014372384143724143151885255825302921811745729167422411257109912578101257112577291257743204610138308225891510578692714173123958176262986084686021897911290791156979118607911891111717833039273911562674115627276581942981779478489712478971292897169189723548972599286260198997329448908748628741617880862114211311142227180978429052453290830753872003387256512611248126119881261210615578119719903054297926208452995297215463351284265112842963743729743203327288917948452468404561513561916448404448490448783448873267394726732721147318879619362211113122112257311072912091201120917631140743114074911407391140204611407851140406114095511409001140681114093911405761140264811402386239623841784845701679701189531473353147316065517511386136710089812056102281114662040101424612787246127932461285524612906246129102461300247215674721889472269028042384511466511885116511475511117451149351111785112429110715411107299665938765920651792845221792242222566817852574253087886287816191584404117278549146663841217248122603101953947265416220541022309131363091314430913148181187431874518992624591252859124022384109810591118611185111118117411184931118117811182429419419804115353161102138731603238343037153738583267148314731483167498838717528266005912181882182852185992188291888900188819212080106112891278258328034055844056522581282062659129802436185822101858221618582249185822731858228818582423185824272683956411125841112944111649146757813401741916295629100791911729810729890729109930312362437860243785456751405236540357135744774170200219912911892911292029113036177884525382461253830381999257319992713279433527942949279430106716612966188598172695973156724192628862191892019918819959019982119985522891883003297317648372568253016187531646778129533512952047756268210821059889488910978896768893778897598893598899088967088910818891398891029889115889730889918889190288922567497297492045903779037990676907659010978921909892207728212384313725967366147338747316251770837189016228192384180084520721037256625309389173163297238019172689956140111411981414168817482582404190291822951882907404542513315341224602969102698715912621173081226525752795316892217932614845224422257397291299335129919441299207321132527211329817166797161901157040414891473148916762122210820741037225690269717977252975514967551525316195831453353145315410661264106613061066138310661488940160921901113162676723572594103004205210222913753285613676882208688221868822556882294688232368824256882828192294025402530242446524242629197319710191978081975101977951974041976801974921978771974501974741978711974151972384197241419724261972584197240419724281972829197280434233613990139359139670139759139108142823976896796897426894496891386896568921768970068927477297472041239215561661165123702592370269413761019137680813765101376795137640413763137668013764921376877137645013762384137624146776616773122308531423085314630853152751103779678468719668714601676224317508241592699159221592105915921098675661134871413488461348742134844913481381348651348217134870013482134886013488541503113729972972225090309260917679194791205311573177831179170177722831177228387922835752283117322837952283404228368022834922283877228345022832384228324147607519949811619016134116167416176316110952681268109926881026872926874326874526874926838026826481896918267590290630771419014136114167214176114110834934664931749540513540924173281184479184417311937902827238413391831265089026502957273041294916116797756791049679110910841059597136659714275971472597197459724525972737161068317131711019171808171510171474171404171871171415171680171652171584171405171793171431171212217123841712426171258417124041712408171238517124281712829171280425502530309840686896187642866786746228227952064317337211977317991256261340451040457540480840487940410197922792110979277579281179267979268979285679286079271479211107927011240680124011771240879124057512401173124079512404041240492124087712404501240238412402414252659257713202462204124628902462729246298124627482462414246211424624024621982462688246212462100824627472462992889885398815378819032736103730111037982101311869028021962802308527472621818730128230834314044317932720172114106021141007211416221145412114262211474621144282114892114821141872114678211462114921149912114662114105028826012933352371882372872376252378332378457647513366313361585270260699679699172329822972114691180116312421231134625751346265313462955906316923668235110992351810235172923512033235174326819010368881179011733511766011775011710588081177241423842652138221724492700274225372842253728692537290425372908253729652537303087286215405922919811979817954412134725671347260544241164215444746984728129112782584404117811634492413101898719459471945205127961962796309111741163582179116502235178684529708929703109843192352020015202557153859218830818862918883518885910352539189216211086110810601108100711081621108541110826211089110899111086611081050669665416699166153931813181099318810318729318743104317611043219710432836114237511425831142647114266616297122091131146157620481021913582766751218451028372428795117388712771491147314911660169216502006172376259238233523822672238227359259171536592257640430052972303733612011769450404450492450795450877308424288348228342121200419911378136718328629448421526404260025902648890104488810442176283524281006981163277019439011849099123699912381991244099124672439242829641885635135639371983973314325975817018611850186126881207266123928011780845630591630837269172925752818216188216259216623216831216857130733513071952130720712909404362336167516511321142788259278829671899732416238426228451259124813841367856846191091811590115482865895215459521547280131622408238419751884142403905114720761037188657517126017129817138517149027292943307623841894162189425255102619156923958368221286255112862719128627291286291871467971417293603361583240116416312068103311449112910262420238468968560681005870487073087011587038187022562404238422341652232412317627512671779413241311094137754138114136794136894131110413701413796413809413716832822858846297730442612412521352110195218085215105217955214045216805214925218775214505212384521241416771651207810522950947190491734026420001098200069920007422000449200013820006520002172000700200022000108217428243882388110938877538881138867938868938871438884638886038885438811103887013881098388699388108226308622665162782266162075323552342378336195990221991660222431494121285268029689732422238422722258282924282426465242626274121130412114541211854121208412123041213494122834852736256025301375255913752696284330992380335241023842536309710502079439435124399314802994309241214819912852238428522619285210192852808285251028528772852492285268028524042852795285245028522414156840496141127129816692669699669105966910986698116696898221645317200531720573172549191291719519471951205512651248126519828881288888158388818498881893206620581857234118572356185723791857258918572611239823841350133913501809203410131924575403240931692972196195716582377165825811658264916582664447241557690057693957695516127346822039163907163174323782597371963155102112631248126319802606162260627118648839929819921099992810992100899219927299927474754661981973287051218102912295895624672826212021084302407106120674154044154744158714157954153415492415877415450415238441524141096105931002532223622252552253025981239226610142667162174482510241119154259119624218981141898114389811838981200898124189813388982438212121212221471472217657662131523153212107210821339340212106210721101310142118851886211749175021148814892119619721149014912191091121211921202115671568218428432144744821912913214104112176176221147214732117411742215875882168468521211321142113491350212651265221654655216796802176376421666667218858862127952796211368136921105210532178678721290629072190890921586587211661672177978021242324242111001101212611261221165516562151351421585586212467246821404405219049052116816921338339212077207821181218132118131814218358362144945021101410152114741475212075207621174317442121892190212425242621767768217597602116172140340421207120722129082909218408412175075121110111022114801481211995199621192319242185085121169116922111071108211589159021754755211112111321125312542114761477214304312116491650212039204021165716582168368421104110422178878921128312842118161817211051105221147714782197697721833834213363372197897921207320742168668721106310642125812582211338133921868869212969297021148214832130103011218268272141441521217921802177677721158315842116531654212575257621105510562186486521147514762128012802219849852142842921156915702186586621781782213148314921823824211473147421258325842131431521273527362158458521264265211017101821824825211525152621653654218218222182983021134513462197397421162163211641652195395421790791218388392195195221831832022599260002273727380225342535022978297902253725380211391140021502150302284528460225962597021171117202223322340224612462021156115702238523860225892590022391239202253525360214301431022458245902112811290222062207422539254042243624374211201121422225222642243024314211251126421231123242259225934212411242422274227542227322744225592560422850285142155015514223232324422565256642116311644223482349422573257442274527464211361137422388238942116811694211221123422979298042234123424225492550421150115142223022314225362537421555155642114811494211331134422264226542285128524229752976421554155542303830394211311132422198219942273827394223542355422200220142115311544225512552422203220442256725684225292530421436143742255725584212301231422227222842143514364215481549421165116612234323441222792280121134113512222822291212361237121123112412297729781222012202122262226312259425951211661167122741274212154915501215561557121151115212155215531223862387122432243312155115524330503051433047304843304530464129632964411831183241137513764131363137411035103641941942417517524117851786411982198341236923704112791280412377237841939441467468411260126141377378418678684112771278411201120241103910404119992000419749754113741375411631163241910411286128741731732411347134841775776411061106241129012914117911792417787794111061107411112412362374121721841520521418618624122942295411415411761176241228822894117931794418498504119801981412152164110991100412627262841169170419479484112881289418518524112081209416616624134134241769770411988198941303630374114661467411799180041177717784127872788415195204187988041296529664113411342411981994163763841261926204112471248419019024123562357411264126541387388411871884187787841199819994189289341217721784111101111412112211341177917804190790841262126224187387441920921411852185341188189413103114126942695411815181641309730984126132614411974197541940941412652664129672968413173184163263341359360414084094159659741577578411590159141977978416366374123823941361362418718724112621263416676684118091810413142314341827828419798412629263041987988411258125941578579411022102341237523764133533641125412554117831784411200120140354065405540454025401553304930505330443045333051305233304630475026506650465016503650562228262827222415241622245324542214961497222904290522283628372224072408222438243922274627472215001501222834283522299629972211701171222740274122316831692222572258223083308422242724282212391240221127112822307730782230043005222739274022149814992224542455222397239822239523962224562457222259226022220522062228282829222261226222307530762228442845223162316322299429952223902391222455245622241924202224602461221499150022223222332222632264222820282122115511562223832384222347234822240324042214971498222452245322298129822224572458222434243522238423852228032804222421242222297129722224092410221138113922142914302222712272222282228322281828192224132414222401240222150115022330523053301430643034305430243044511701715121092110513122312351822823518788511143114451866867511952195351812813514243518468475110301031517537545115911592515125135113661367515155165159960051138513865189514904915110201021519199205129492950519489495158258351128112825119219351205920605126962697512672267351734735516296305112561257511344134551407408511205120651730731512719272051204720485168268351465466511993199451510511513160316151770771512063206451957958511377137851271327145165765851789790512062206351986987515395405113391340519091512666266751131451134013415165265351191719185110231024511763176451623624519009015147447551199019915147047151285528565168568651625626511609161051929351676851194419455110601061512079208051982983514684695116171618514924935184884951315431555181781851188918905189489551176917705122182219512672685181481551384385514041515415425151851951137313745111171118511250125151154115425192292351165166511034103551265326545111141115512612625190290351110311045165665116561657516646655190991051943944515925935110591060511951965116251626511631645126642665511033103451560561517527535157958051185518565165665751103110325110151016512111211251960961511367136851895896512060206151138313845118501851512005200651252725285194995051863864516686695115871588515935945120032004518838845110161017518908915119501951511053105451260526065119971998517737745110491050513123135113421343511893189451189118925121812182513863875118541855511145114651291229135146646751161916205163563651732733512869287051137013715124402441511320132151221622175118111812515905915118141815517687695120012002511105110651562563311300130131138139316746753126742675315175183147247331262263313146314731118511863112041205312053205431137113723126326431211021113111831184311346134731153715383117231724311064106531206520663190390431158515863127212722311252125331189190312662673188888931772773312379238031205120523112801281313833843195996031153915403112981299311856185731110411053125252526311936193731218321843167267331279327943113721373318628633131131231949531153515363138138231195819593112781279311294129531189518963167067131896897311113111431736737318168173119091910311901913165565631581582311065106631114115311911923119419531140141315805813181181231269270311479148031921922312680268131120312043120552056311960196131676677315915923177777831308309311942194331130613073188788831224922503126882689312057205831956957311255125631899031268226833129572958311056105731129212933119011902311729173031729730311248124931106210633122552256311116111731287288311021102231116117319559563116581659316626633191791831154515463123812382312592603110113112511252312852863166066131975976311810181131272927303166366431158615873121802181311202120331151631382383311645164631791792311019102031516517313803813140941031160161313144314510321052102210421012106220232043203320632013205311810811111676167711916917111674167511199419951116501651111851185211859860117717721138538611855856112176217711469470111660166111841842112058205911102910301116111612111058105911210821091184584611109510961131331411783784111751175211190319041193793811134313441112131110501051117337341183783811193194111671681112821283111911191211808809117957961110831084118988991169869911111111121129182919119429431112061207111102110311813814111858185911110911101140640711292029211195895911631632111043104411857858111249125011109710981198598611983984116346351168868911825826116786791170070111108110821191921163363411199619971117311732117577581118531854115765771189189211715716111024102511793794112178217911713714119249251190590611260261118868871189389411853854114124130330533054013373380131093110013030303101165116520110401041011860186101204520460173573601146014610181581601103810390110661067011718011817181801111511160119921993012955295601597598017807810114781479016656660198098101308530860113691370014114120195095101100710080151451501158815890121822183011037103801100510060174874901738739017857860119911992016806810120612062015755760126492650011284128501969701847848015885890110321033012067206801316317015945950112851286017557560195295301843844013091309201658659011054105501104210430186987001405406019919920174674701269026910189789801203320340174274301271127120118571858019939940168168201784785012910291101756757019189190126472648012041204201165416550119211922013793800174474501911912012943294401315316011652165301787788011849185001959601272727280118871888019399400188488501981982011025102601728729015955960183984032112611273214321433322275227632238923903211691170322345234632123412353222312232322974297532309931003212321233321164116532234223433229722973322597259832113211333225312532322743274432123712383211541155323002300332154715483223492350322848284932123312343222772278322847284832143314343222802281322346234732112111223225902591321149115032245924603224352436322276227732222622273211371138322199220032220422051330483049001100610051002100310041521141114252284328445215531554521162116352227822795229732974522202220352259525965224292430522431243252259325945227422743521235123652223522365227442745521428142952224122425211521153522229223052226022615225302531522258225952142714285225912592521179118052143114325211671168522842284352111911205211471148522428242952113511365222082209522243224452112411255222652266522849285052222422255214341435522532253352221022115212381239522846284752243324345222812282521173117452117711785221972198522387238852253325345229762977522344234552113011315223502351ttt2ttt2 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])))